c #BEGIN: [Sat Mar 19 00:19:22 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/queen030x030.col benchmark/graph-instance/core-challenge-2022/queen/queen030x030_01_3761.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/queen030x030.col benchmark/graph-instance/core-challenge-2022/queen/queen030x030_01_3761.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical c (0) step 1 UNSAT 5400 99014 c (0) step 2 UNSAT 9899 153919 c (0) step 3 UNSAT 14398 208824 c (0) step 4 UNSAT 18897 263729 c (1) step 5 UNSAT 23396 318634 c (1) step 6 UNSAT 27895 373539 c (2) step 7 UNSAT 32394 428444 c (3) step 8 UNSAT 36893 483349 c (5) step 9 UNSAT 41392 538254 c (7) step 10 UNSAT 45891 593159 c (12) step 11 UNSAT 50390 648064 c (20) step 12 UNSAT 54889 702969 c (32) step 13 UNSAT 59388 757874 c (57) step 14 UNSAT 63887 812779 c (99) step 15 SAT 68386 867684 a YES a 21 48 82 109 162 190 226 247 287 329 355 368 414 447 480 508 533 560 576 615 643 671 699 725 753 781 814 842 896 a 21 48 82 109 134 162 190 226 247 287 329 355 368 414 447 480 508 533 560 576 615 643 671 699 725 753 814 842 896 a 21 48 82 109 134 162 190 226 247 287 329 355 368 391 447 480 508 533 560 576 615 643 671 699 725 753 814 842 896 a 21 48 82 109 134 162 190 226 247 287 329 355 368 391 447 480 508 560 576 615 643 671 699 725 753 804 814 842 896 a 21 48 82 109 134 162 190 226 247 287 329 355 368 391 447 480 508 530 576 615 643 671 699 725 753 804 814 842 896 a 21 48 82 109 134 162 190 226 247 287 329 355 368 391 480 508 530 563 576 615 643 671 699 725 753 804 814 842 896 a 21 48 82 109 134 162 190 226 247 287 329 355 368 391 480 507 530 563 576 615 643 671 699 725 753 804 814 842 896 a 21 48 82 109 134 162 190 226 247 287 329 368 391 448 480 507 530 563 576 615 643 671 699 725 753 804 814 842 896 a 21 48 82 109 134 162 190 226 247 287 359 368 391 448 480 507 530 563 576 615 643 671 699 725 753 804 814 842 896 a 21 48 82 109 134 162 190 226 247 287 301 359 368 448 480 507 530 563 576 615 643 671 699 725 753 804 814 842 896 a 21 48 82 109 134 162 190 226 247 287 301 359 368 416 448 480 507 530 563 576 615 643 671 699 725 753 804 814 842 a 21 48 82 109 134 162 190 226 247 287 301 359 416 448 480 507 530 563 576 615 643 671 699 725 753 804 814 842 895 a 21 48 82 109 134 162 188 226 247 287 301 359 416 448 480 507 530 563 576 615 643 671 699 725 753 804 814 842 895 a 21 48 82 109 134 162 188 226 247 287 310 359 416 448 480 507 530 563 576 615 643 671 699 725 753 804 814 842 895 a 21 48 82 109 134 162 188 226 247 287 310 359 416 448 480 507 530 563 576 615 643 671 699 725 753 781 814 842 895 a 21 48 82 109 134 162 188 226 247 287 310 359 384 416 448 480 507 530 563 576 615 643 671 699 725 753 781 814 895 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/queen030x030.col benchmark/graph-instance/core-challenge-2022/queen/queen030x030_01_3761.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical" User time (seconds): 104.60 System time (seconds): 0.94 Percent of CPU this job got: 104% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:40.78 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): 4449501184 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 439079 Voluntary context switches: 52 Involuntary context switches: 14301 Swaps: 0 File system inputs: 0 File system outputs: 0 Socket messages sent: 58 Socket messages received: 0 Signals delivered: 5 Page size (bytes): 4096 Exit status: 0 c FINISHED CPU 105.54 MEM 0 MAXMEM 0 STALE 1 c #RESULT: UNK c #FIN: FIN c #CPU: 105.54 c #MAXMEM: 0 c c #END: [Sat Mar 19 00:21:02 2022]