c #BEGIN: [Sat Mar 19 06:57:21 2022]
c #HOST: mini12.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_03_0562.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_03_0562.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 (2) step 6 SAT 77495 1620919
a YES
a 40 132 186 233 280 321 374 434 456 528 572 612 655 716 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1658 1710 1773 1842 1888 1918 1970 2003 2063 2111 2159 2217 2281 2301 2376 2402 2495
a 40 85 132 186 233 280 321 374 434 456 528 572 612 655 716 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1658 1710 1773 1842 1888 1918 1970 2003 2063 2111 2159 2281 2301 2376 2402 2495
a 40 85 132 186 233 280 321 374 434 456 528 572 612 716 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1658 1710 1773 1842 1888 1918 1970 2003 2063 2111 2159 2205 2281 2301 2376 2402 2495
a 40 85 132 186 233 280 321 374 434 456 528 572 612 667 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1658 1710 1773 1842 1888 1918 1970 2003 2063 2111 2159 2205 2281 2301 2376 2402 2495
a 40 85 132 186 233 280 321 374 434 466 528 572 612 667 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1658 1710 1773 1842 1888 1918 1970 2003 2063 2111 2159 2205 2281 2301 2376 2402 2495
a 40 85 132 186 233 280 321 374 434 466 528 556 612 667 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1658 1710 1773 1842 1888 1918 1970 2003 2063 2111 2159 2205 2281 2301 2376 2402 2495
a 40 85 132 186 233 280 321 374 434 466 528 556 612 667 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1970 2003 2063 2111 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_03_0562.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical"
	User time (seconds): 8.58
	System time (seconds): 0.72
	Percent of CPU this job got: 189%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:04.90
	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): 7900086272
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1
	Minor (reclaiming a frame) page faults: 508212
	Voluntary context switches: 53
	Involuntary context switches: 9173
	Swaps: 0
	File system inputs: 0
	File system outputs: 0
	Socket messages sent: 71
	Socket messages received: 0
	Signals delivered: 7
	Page size (bytes): 4096
	Exit status: 0
c FINISHED CPU 9.3 MEM 0 MAXMEM 0 STALE 1
c #RESULT: UNK
c #FIN: FIN
c #CPU: 9.3
c #MAXMEM: 0
c 
c #END: [Sat Mar 19 06:57:26 2022]