c #BEGIN: [Sun Mar 20 12:55:03 2022] c #HOST: mini08.local c #TIMELIMIT: 18000 c #MEMLIMIT: 0 c #FREQ: 10 c #SOLVER: isr-bug-finder c #CSP: benchmark/graph-instance/core-challenge-2022/square/hc-square-004-002.col benchmark/graph-instance/core-challenge-2022/square/hc-square-004-002_01.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/square/hc-square-004-002.col benchmark/graph-instance/core-challenge-2022/square/hc-square-004-002_01.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical c (0) step 1 UNSAT 264 736 c (0) step 2 UNSAT 483 1366 c (0) step 3 UNSAT 702 1996 c (0) step 4 UNSAT 921 2626 c (0) step 5 UNSAT 1140 3256 c (0) step 6 UNSAT 1359 3886 c (0) step 7 UNSAT 1578 4516 c (0) step 8 UNSAT 1797 5146 c (0) step 9 UNSAT 2016 5776 c (0) step 10 UNSAT 2235 6406 c (0) step 11 UNSAT 2454 7036 c (0) step 12 UNSAT 2673 7666 c (0) step 13 UNSAT 2892 8296 c (0) step 14 UNSAT 3111 8926 c (0) step 15 UNSAT 3330 9556 c (1) step 16 UNSAT 3549 10186 c (1) step 17 UNSAT 3768 10816 c (1) step 18 UNSAT 3987 11446 c (1) step 19 UNSAT 4206 12076 c (1) step 20 UNSAT 4425 12706 c (1) step 21 UNSAT 4644 13336 c (1) step 22 UNSAT 4863 13966 c (2) step 23 UNSAT 5082 14596 c (2) step 24 UNSAT 5301 15226 c (2) step 25 UNSAT 5520 15856 c (2) step 26 UNSAT 5739 16486 c (3) step 27 UNSAT 5958 17116 c (3) step 28 UNSAT 6177 17746 c (4) step 29 UNSAT 6396 18376 c (4) step 30 UNSAT 6615 19006 c (5) step 31 UNSAT 6834 19636 c (5) step 32 UNSAT 7053 20266 c (5) step 33 UNSAT 7272 20896 c (6) step 34 UNSAT 7491 21526 c (6) step 35 UNSAT 7710 22156 c (7) step 36 UNSAT 7929 22786 c (8) step 37 UNSAT 8148 23416 c (8) step 38 UNSAT 8367 24046 c (10) step 39 UNSAT 8586 24676 c (11) step 40 UNSAT 8805 25306 c (13) step 41 UNSAT 9024 25936 c (15) step 42 UNSAT 9243 26566 c (16) step 43 UNSAT 9462 27196 c (18) step 44 UNSAT 9681 27826 c (20) step 45 UNSAT 9900 28456 c (22) step 46 UNSAT 10119 29086 c (24) step 47 UNSAT 10338 29716 c (27) step 48 UNSAT 10557 30346 c (33) step 49 UNSAT 10776 30976 c (37) step 50 UNSAT 10995 31606 c (42) step 51 UNSAT 11214 32236 c (47) step 52 UNSAT 11433 32866 c (54) step 53 UNSAT 11652 33496 c (61) step 54 UNSAT 11871 34126 c (66) step 55 UNSAT 12090 34756 c (74) step 56 UNSAT 12309 35386 c (84) step 57 UNSAT 12528 36016 c (94) step 58 UNSAT 12747 36646 c (105) step 59 UNSAT 12966 37276 c (114) step 60 UNSAT 13185 37906 c (126) step 61 UNSAT 13404 38536 c (145) step 62 UNSAT 13623 39166 c (177) step 63 UNSAT 13842 39796 c (192) step 64 UNSAT 14061 40426 c (239) step 65 UNSAT 14280 41056 c (257) step 66 UNSAT 14499 41686 c (482) step 67 UNSAT 14718 42316 c (527) step 68 UNSAT 14937 42946 c (587) step 69 UNSAT 15156 43576 c (600) step 70 UNSAT 15375 44206 c (627) step 71 UNSAT 15594 44836 c (641) step 72 UNSAT 15813 45466 c (653) step 73 UNSAT 16032 46096 c (674) step 74 UNSAT 16251 46726 c (770) step 75 UNSAT 16470 47356 c (803) step 76 UNSAT 16689 47986 c (824) step 77 UNSAT 16908 48616 c (842) step 78 UNSAT 17127 49246 c (863) step 79 UNSAT 17346 49876 c (878) step 80 UNSAT 17565 50506 c (901) step 81 UNSAT 17784 51136 c (935) step 82 UNSAT 18003 51766 c (968) step 83 UNSAT 18222 52396 c (1038) step 84 UNSAT 18441 53026 c (1087) step 85 UNSAT 18660 53656 c (1129) step 86 UNSAT 18879 54286 c (1176) step 87 UNSAT 19098 54916 c (1483) step 88 UNSAT 19317 55546 c (1489) step 89 UNSAT 19536 56176 c (1502) step 90 SAT 19755 56806 a YES a 2 4 6 9 11 14 16 19 21 24 26 29 31 34 36 39 41 44 a 1 4 6 9 11 14 16 19 21 24 26 29 31 34 36 39 41 44 a 1 3 6 9 11 14 16 19 21 24 26 29 31 34 36 39 41 44 a 1 3 5 9 11 14 16 19 21 24 26 29 31 34 36 39 41 44 a 1 3 5 8 11 14 16 19 21 24 26 29 31 34 36 39 41 44 a 1 3 7 8 11 14 16 19 21 24 26 29 31 34 36 39 41 44 a 1 4 7 8 11 14 16 19 21 24 26 29 31 34 36 39 41 44 a 2 4 7 8 11 14 16 19 21 24 26 29 31 34 36 39 41 44 a 2 4 7 8 10 14 16 19 21 24 26 29 31 34 36 39 41 44 a 2 4 7 8 10 13 16 19 21 24 26 29 31 34 36 39 41 44 a 2 4 7 8 10 13 15 19 21 24 26 29 31 34 36 39 41 44 a 2 4 7 8 10 13 15 18 21 24 26 29 31 34 36 39 41 44 a 2 4 7 8 10 13 17 18 21 24 26 29 31 34 36 39 41 44 a 2 4 7 8 10 14 17 18 21 24 26 29 31 34 36 39 41 44 a 2 4 7 8 11 14 17 18 21 24 26 29 31 34 36 39 41 44 a 1 4 7 8 11 14 17 18 21 24 26 29 31 34 36 39 41 44 a 1 3 7 8 11 14 17 18 21 24 26 29 31 34 36 39 41 44 a 1 3 5 8 11 14 17 18 21 24 26 29 31 34 36 39 41 44 a 1 3 5 9 11 14 17 18 21 24 26 29 31 34 36 39 41 44 a 1 3 5 9 11 14 17 18 20 24 26 29 31 34 36 39 41 44 a 1 3 5 9 11 14 17 18 20 23 26 29 31 34 36 39 41 44 a 1 3 5 9 11 14 17 18 20 23 25 29 31 34 36 39 41 44 a 1 3 5 9 11 14 17 18 20 23 25 28 31 34 36 39 41 44 a 1 3 5 9 11 14 17 18 20 23 27 28 31 34 36 39 41 44 a 1 3 5 9 11 14 17 18 20 24 27 28 31 34 36 39 41 44 a 1 3 5 9 11 14 17 18 21 24 27 28 31 34 36 39 41 44 a 1 3 5 8 11 14 17 18 21 24 27 28 31 34 36 39 41 44 a 1 3 7 8 11 14 17 18 21 24 27 28 31 34 36 39 41 44 a 1 4 7 8 11 14 17 18 21 24 27 28 31 34 36 39 41 44 a 2 4 7 8 11 14 17 18 21 24 27 28 31 34 36 39 41 44 a 2 4 7 8 10 14 17 18 21 24 27 28 31 34 36 39 41 44 a 2 4 7 8 10 13 17 18 21 24 27 28 31 34 36 39 41 44 a 2 4 7 8 10 13 15 18 21 24 27 28 31 34 36 39 41 44 a 2 4 7 8 10 13 15 19 21 24 27 28 31 34 36 39 41 44 a 2 4 7 8 10 13 15 19 21 24 27 28 30 34 36 39 41 44 a 2 4 7 8 10 13 15 19 21 24 27 28 30 33 36 39 41 44 a 2 4 7 8 10 13 15 19 21 24 27 28 30 33 35 39 41 44 a 2 4 7 8 10 13 15 19 21 24 27 28 30 33 35 38 41 44 a 2 4 7 8 10 13 15 19 21 24 27 28 30 33 37 38 41 44 a 2 4 7 8 10 13 15 19 21 24 27 28 30 34 37 38 41 44 a 2 4 7 8 10 13 15 19 21 24 27 28 31 34 37 38 41 44 a 2 4 7 8 10 13 15 18 21 24 27 28 31 34 37 38 41 44 a 2 4 7 8 10 13 17 18 21 24 27 28 31 34 37 38 41 44 a 2 4 7 8 10 14 17 18 21 24 27 28 31 34 37 38 41 44 a 2 4 7 8 11 14 17 18 21 24 27 28 31 34 37 38 41 44 a 1 4 7 8 11 14 17 18 21 24 27 28 31 34 37 38 41 44 a 1 3 7 8 11 14 17 18 21 24 27 28 31 34 37 38 41 44 a 1 3 5 8 11 14 17 18 21 24 27 28 31 34 37 38 41 44 a 1 3 5 9 11 14 17 18 21 24 27 28 31 34 37 38 41 44 a 1 3 5 9 11 14 17 18 20 24 27 28 31 34 37 38 41 44 a 1 3 5 9 11 14 17 18 20 23 27 28 31 34 37 38 41 44 a 1 3 5 9 11 14 17 18 20 23 25 28 31 34 37 38 41 44 a 1 3 5 9 11 14 17 18 20 23 25 29 31 34 37 38 41 44 a 1 3 5 9 11 14 17 18 20 23 25 29 31 34 37 38 40 44 a 1 3 5 9 11 14 17 18 20 23 25 29 31 34 37 38 40 43 a 1 3 5 9 11 14 17 18 20 23 25 29 31 34 37 38 42 43 a 1 3 5 9 11 14 17 18 20 23 25 28 31 34 37 38 42 43 a 1 3 5 9 11 14 17 18 20 23 27 28 31 34 37 38 42 43 a 1 3 5 9 11 14 17 18 20 24 27 28 31 34 37 38 42 43 a 1 3 5 9 11 14 17 18 21 24 27 28 31 34 37 38 42 43 a 1 3 5 8 11 14 17 18 21 24 27 28 31 34 37 38 42 43 a 1 3 7 8 11 14 17 18 21 24 27 28 31 34 37 38 42 43 a 1 4 7 8 11 14 17 18 21 24 27 28 31 34 37 38 42 43 a 2 4 7 8 11 14 17 18 21 24 27 28 31 34 37 38 42 43 a 2 4 7 8 10 14 17 18 21 24 27 28 31 34 37 38 42 43 a 2 4 7 8 10 13 17 18 21 24 27 28 31 34 37 38 42 43 a 2 4 7 8 10 13 15 18 21 24 27 28 31 34 37 38 42 43 a 2 4 7 8 10 13 15 19 21 24 27 28 31 34 37 38 42 43 a 2 4 7 8 10 13 15 19 21 24 27 28 30 34 37 38 42 43 a 2 4 7 8 10 13 15 19 21 24 27 28 30 33 37 38 42 43 a 2 4 7 8 10 13 15 19 21 24 27 28 32 33 37 38 42 43 a 2 4 7 8 10 13 15 18 21 24 27 28 32 33 37 38 42 43 a 2 4 7 8 10 13 17 18 21 24 27 28 32 33 37 38 42 43 a 2 4 7 8 10 14 17 18 21 24 27 28 32 33 37 38 42 43 a 2 4 7 8 11 14 17 18 21 24 27 28 32 33 37 38 42 43 a 1 4 7 8 11 14 17 18 21 24 27 28 32 33 37 38 42 43 a 1 3 7 8 11 14 17 18 21 24 27 28 32 33 37 38 42 43 a 1 3 5 8 11 14 17 18 21 24 27 28 32 33 37 38 42 43 a 1 3 5 9 11 14 17 18 21 24 27 28 32 33 37 38 42 43 a 1 3 5 9 11 14 17 18 20 24 27 28 32 33 37 38 42 43 a 1 3 5 9 11 14 17 18 20 23 27 28 32 33 37 38 42 43 a 1 3 5 9 11 14 17 18 22 23 27 28 32 33 37 38 42 43 a 1 3 5 8 11 14 17 18 22 23 27 28 32 33 37 38 42 43 a 1 3 7 8 11 14 17 18 22 23 27 28 32 33 37 38 42 43 a 1 4 7 8 11 14 17 18 22 23 27 28 32 33 37 38 42 43 a 2 4 7 8 11 14 17 18 22 23 27 28 32 33 37 38 42 43 a 2 4 7 8 10 14 17 18 22 23 27 28 32 33 37 38 42 43 a 2 4 7 8 10 13 17 18 22 23 27 28 32 33 37 38 42 43 a 2 4 7 8 12 13 17 18 22 23 27 28 32 33 37 38 42 43 a 1 4 7 8 12 13 17 18 22 23 27 28 32 33 37 38 42 43 a 1 3 7 8 12 13 17 18 22 23 27 28 32 33 37 38 42 43 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/square/hc-square-004-002.col benchmark/graph-instance/core-challenge-2022/square/hc-square-004-002_01.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical" User time (seconds): 1498.33 System time (seconds): 7.05 Percent of CPU this job got: 100% Elapsed (wall clock) time (h:mm:ss or m:ss): 25:04.33 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): 2279915520 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 2483461 Voluntary context switches: 50 Involuntary context switches: 144966 Swaps: 0 File system inputs: 0 File system outputs: 0 Socket messages sent: 44 Socket messages received: 0 Signals delivered: 6 Page size (bytes): 4096 Exit status: 0 c FINISHED CPU 1505.38 MEM 0 MAXMEM 0 STALE 1 c #RESULT: UNK c #FIN: FIN c #CPU: 1505.38 c #MAXMEM: 0 c c #END: [Sun Mar 20 13:20:07 2022]