c #BEGIN: [Sat Mar 19 00:19:25 2022] c #HOST: mini03.local c #TIMELIMIT: 18000 c #MEMLIMIT: 0 c #FREQ: 10 c #SOLVER: isr-bug-finder c #CSP: benchmark/graph-instance/core-challenge-2022/queen/queen040x040.col benchmark/graph-instance/core-challenge-2022/queen/queen040x040_04_8369.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/queen040x040.col benchmark/graph-instance/core-challenge-2022/queen/queen040x040_04_8369.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical c (0) step 1 UNSAT 9600 229354 c (0) step 2 UNSAT 17599 353629 c (0) step 3 UNSAT 25598 477904 c (1) step 4 UNSAT 33597 602179 c (1) step 5 UNSAT 41596 726454 c (1) step 6 UNSAT 49595 850729 c (2) step 7 UNSAT 57594 975004 c (4) step 8 UNSAT 65593 1099279 c (14) step 9 UNSAT 73592 1223554 c (26) step 10 UNSAT 81591 1347829 c (38) step 11 UNSAT 89590 1472104 c (58) step 12 UNSAT 97589 1596379 c (96) step 13 UNSAT 105588 1720654 c (241) step 14 UNSAT 113587 1844929 c (451) step 15 UNSAT 121586 1969204 c (671) step 16 UNSAT 129585 2093479 c (680) step 17 SAT 137584 2217754 a YES a 27 71 104 146 180 225 301 343 367 412 454 491 558 579 604 673 681 756 789 832 874 908 935 978 1022 1048 1097 1133 1176 1209 1246 1283 1360 1362 1405 1450 1510 1559 1595 a 27 71 104 146 180 225 301 343 367 412 454 491 558 579 604 673 681 756 789 832 874 908 935 978 1022 1077 1097 1133 1176 1209 1246 1283 1360 1362 1405 1450 1510 1559 1595 a 27 71 104 146 180 225 246 301 343 367 412 454 491 558 579 604 673 681 756 789 832 874 908 935 978 1022 1077 1097 1133 1176 1209 1283 1360 1362 1405 1450 1510 1559 1595 a 27 71 104 146 180 225 246 301 343 367 412 454 491 558 579 604 673 681 756 789 832 874 908 935 978 1077 1097 1133 1176 1209 1262 1283 1360 1362 1405 1450 1510 1559 1595 a 27 71 104 146 180 225 246 301 343 367 412 454 491 558 604 673 681 756 789 832 874 908 935 978 1008 1077 1097 1133 1176 1209 1262 1283 1360 1362 1405 1450 1510 1559 1595 a 27 71 104 146 180 225 246 301 343 367 412 454 491 558 604 673 681 756 789 832 874 908 935 978 1008 1077 1097 1133 1176 1209 1262 1283 1360 1362 1405 1450 1499 1559 1595 a 27 71 104 146 180 225 246 301 343 367 412 454 491 558 604 673 681 756 789 832 874 908 935 978 1008 1077 1097 1133 1176 1209 1262 1283 1360 1362 1430 1450 1499 1559 1595 a 27 71 104 146 180 225 246 301 343 367 412 454 491 558 604 673 681 756 789 832 874 908 935 978 1008 1077 1097 1133 1176 1209 1262 1285 1360 1362 1430 1450 1499 1559 1595 a 27 71 104 146 180 225 243 301 343 367 412 454 491 558 604 673 681 756 789 832 874 908 935 978 1008 1077 1097 1133 1176 1209 1262 1285 1360 1362 1430 1450 1499 1559 1595 a 27 71 104 146 180 225 243 301 343 412 454 491 558 567 604 673 681 756 789 832 874 908 935 978 1008 1077 1097 1133 1176 1209 1262 1285 1360 1362 1430 1450 1499 1559 1595 a 27 71 104 146 180 225 243 301 343 412 454 491 558 567 604 673 681 756 789 832 874 908 935 978 1008 1077 1097 1133 1176 1209 1262 1285 1360 1366 1430 1450 1499 1559 1595 a 27 71 104 146 180 225 243 301 343 412 454 491 558 567 604 673 681 756 789 832 874 908 935 978 1008 1077 1097 1133 1176 1209 1262 1282 1360 1366 1430 1450 1499 1559 1595 a 27 71 104 146 180 225 243 301 343 412 454 491 558 567 604 673 681 756 789 832 874 908 935 978 1008 1077 1097 1133 1176 1205 1262 1282 1360 1366 1430 1450 1499 1559 1595 a 27 71 104 146 180 225 243 301 343 369 412 454 491 558 567 604 673 756 789 832 874 908 935 978 1008 1077 1097 1133 1176 1205 1262 1282 1360 1366 1430 1450 1499 1559 1595 a 27 71 104 146 180 225 243 301 343 369 412 454 491 558 567 604 673 756 789 832 874 908 935 978 1008 1077 1097 1133 1176 1205 1262 1282 1360 1366 1430 1441 1499 1559 1595 a 27 71 104 146 180 225 301 343 369 412 454 491 558 567 604 673 683 756 789 832 874 908 935 978 1008 1077 1097 1133 1176 1205 1262 1282 1360 1366 1430 1441 1499 1559 1595 a 27 71 104 146 180 225 277 301 343 369 412 454 491 558 567 604 673 683 756 789 832 874 908 935 978 1008 1097 1133 1176 1205 1262 1282 1360 1366 1430 1441 1499 1559 1595 a 27 71 104 146 180 225 277 301 343 369 412 454 491 558 567 604 673 683 756 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1262 1282 1360 1366 1430 1441 1499 1559 1595 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/queen040x040.col benchmark/graph-instance/core-challenge-2022/queen/queen040x040_04_8369.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical" User time (seconds): 682.48 System time (seconds): 4.33 Percent of CPU this job got: 100% Elapsed (wall clock) time (h:mm:ss or m:ss): 11:22.82 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): 9032089600 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 1610048 Voluntary context switches: 50 Involuntary context switches: 72008 Swaps: 0 File system inputs: 0 File system outputs: 0 Socket messages sent: 63 Socket messages received: 0 Signals delivered: 5 Page size (bytes): 4096 Exit status: 0 c FINISHED CPU 686.81 MEM 0 MAXMEM 0 STALE 1 c #RESULT: UNK c #FIN: FIN c #CPU: 686.81 c #MAXMEM: 0 c c #END: [Sat Mar 19 00:30:48 2022]