c #BEGIN: [Sat Mar 19 00:19:25 2022] c #HOST: mini06.local c #TIMELIMIT: 18000 c #MEMLIMIT: 0 c #FREQ: 10 c #SOLVER: isr-bug-finder c #CSP: benchmark/graph-instance/core-challenge-2022/queen/queen050x050.col benchmark/graph-instance/core-challenge-2022/queen/queen050x050_01_6006.dat c #COMMAND: /Users/soh/app/scala-2.12.4/bin/scala -J-Xms16g -J-Xmx16g -cp /Users/soh/app/IsrForCompetition220315-22h16m/scop.jar:/Users/soh/app/IsrForCompetition220315-22h16m/isr4competition_2.12-1.3.5.jar fun.scop.app.isr.IsrSolverTj03 benchmark/graph-instance/core-challenge-2022/queen/queen050x050.col benchmark/graph-instance/core-challenge-2022/queen/queen050x050_01_6006.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical c (0) step 1 UNSAT 15000 441694 c (1) step 2 UNSAT 27499 677539 c (1) step 3 UNSAT 39998 913384 c (1) step 4 UNSAT 52497 1149229 c (2) step 5 UNSAT 64996 1385074 c (3) step 6 UNSAT 77495 1620919 c (4) step 7 UNSAT 89994 1856764 c (8) step 8 UNSAT 102493 2092609 c (22) step 9 UNSAT 114992 2328454 c (37) step 10 UNSAT 127491 2564299 c (66) step 11 UNSAT 139990 2800144 c (119) step 12 UNSAT 152489 3035989 c (160) step 13 SAT 164988 3271834 a YES a 40 85 132 186 233 280 321 374 434 467 528 555 612 670 727 764 847 858 950 954 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1888 1918 1981 2003 2063 2111 2159 2215 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 467 528 555 612 670 727 764 847 858 950 954 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2215 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 467 528 556 612 670 727 764 847 858 950 954 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2215 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 467 528 556 612 670 727 764 847 858 950 954 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2205 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 467 528 556 612 670 727 764 847 858 950 954 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2205 2266 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 467 528 556 612 670 727 764 847 858 950 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2205 2266 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 467 528 556 612 670 727 764 847 858 950 953 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1981 2063 2111 2159 2205 2266 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 467 528 556 612 670 727 764 847 858 950 953 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1954 2063 2111 2159 2205 2266 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 467 528 556 612 670 727 764 847 858 950 953 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1954 2063 2111 2159 2205 2281 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 467 528 556 612 670 727 764 847 858 950 953 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1954 2011 2063 2159 2205 2281 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 528 556 612 670 727 764 847 858 950 953 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1954 2011 2063 2117 2159 2205 2281 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 453 528 556 612 670 727 764 847 858 950 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1954 2011 2063 2117 2159 2205 2281 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 453 528 556 612 670 764 847 858 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1954 2011 2063 2117 2159 2205 2281 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 453 528 556 612 670 716 764 847 858 950 977 1044 1091 1149 1196 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1954 2011 2063 2117 2159 2205 2281 2301 2376 2402 2495 Command being timed: "/Users/soh/app/scala-2.12.4/bin/scala -J-Xms16g -J-Xmx16g -cp /Users/soh/app/IsrForCompetition220315-22h16m/scop.jar:/Users/soh/app/IsrForCompetition220315-22h16m/isr4competition_2.12-1.3.5.jar fun.scop.app.isr.IsrSolverTj03 benchmark/graph-instance/core-challenge-2022/queen/queen050x050.col benchmark/graph-instance/core-challenge-2022/queen/queen050x050_01_6006.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical" User time (seconds): 164.52 System time (seconds): 2.47 Percent of CPU this job got: 102% Elapsed (wall clock) time (h:mm:ss or m:ss): 2:42.58 Average shared text size (kbytes): 0 Average unshared data size (kbytes): 0 Average stack size (kbytes): 0 Average total size (kbytes): 0 Maximum resident set size (kbytes): 14187642880 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 1252697 Voluntary context switches: 53 Involuntary context switches: 23613 Swaps: 0 File system inputs: 0 File system outputs: 0 Socket messages sent: 71 Socket messages received: 0 Signals delivered: 6 Page size (bytes): 4096 Exit status: 0 c FINISHED CPU 166.99 MEM 0 MAXMEM 0 STALE 1 c #RESULT: UNK c #FIN: FIN c #CPU: 166.99 c #MAXMEM: 0 c c #END: [Sat Mar 19 00:22:08 2022]