c #BEGIN: [Thu Mar 17 15:41:07 2022]
c #HOST: mini10.local
c #TIMELIMIT: 18000
c #MEMLIMIT: 0
c #FREQ: 10
c #SOLVER: isr-bug-finder
c #CSP: benchmark/graph-instance/core-challenge-2022/color04/wap05a.col benchmark/graph-instance/core-challenge-2022/color04/wap05a_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/color04/wap05a.col benchmark/graph-instance/core-challenge-2022/color04/wap05a_01.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical
c (0) step 1 UNSAT 5430 98826
c (0) step 2 UNSAT 9954 153667
c (0) step 3 UNSAT 14478 208508
c (0) step 4 UNSAT 19002 263349
c (0) step 5 UNSAT 23526 318190
c (0) step 6 UNSAT 28050 373031
c (1) step 7 UNSAT 32574 427872
c (2) step 8 UNSAT 37098 482713
c (7) step 9 UNSAT 41622 537554
c (17) step 10 UNSAT 46146 592395
c (30) step 11 UNSAT 50670 647236
c (56) step 12 UNSAT 55194 702077
c (74) step 13 UNSAT 59718 756918
c (131) step 14 UNSAT 64242 811759
c (292) step 15 UNSAT 68766 866600
c (292) step 16 SAT 73290 921441
a YES
a 5 7 15 16 19 37 38 39 40 41 42 43 44 47 48 49 52 57 58 59 60 69 70 72 80 81 85 86 87 90 91 94 95 107 108 110 119 120 121 125 126 127 128 130 131 133 134 143 145 148 149 150 152 153 154 155 159 160 167 180 184 185 190 193 201 203 206 207 213 220 222 224 247 310 343 349 445 464 553
a 5 7 15 16 19 37 38 39 40 41 42 43 44 47 48 49 52 57 58 59 60 69 70 72 80 81 85 86 87 90 91 94 95 107 108 110 119 120 121 125 126 127 128 130 131 133 134 145 148 149 150 152 153 154 155 159 160 167 180 184 185 190 193 201 203 206 207 208 213 220 222 224 247 310 343 349 445 464 553
a 5 7 15 16 19 37 38 39 40 41 42 43 44 47 48 49 52 57 58 59 60 69 70 72 80 81 85 86 87 90 91 94 95 107 108 110 119 120 121 125 126 127 128 130 131 133 134 145 148 149 150 152 153 154 155 159 160 167 174 180 184 190 193 201 203 206 207 208 213 220 222 224 247 310 343 349 445 464 553
a 5 7 15 16 19 37 38 39 40 41 42 43 44 47 48 49 52 57 58 59 60 69 70 72 80 81 85 86 87 90 91 94 95 107 108 110 119 121 125 126 127 128 130 131 133 134 145 148 149 150 152 153 154 155 159 160 167 174 180 184 190 193 201 203 206 207 208 213 220 222 224 247 310 343 349 413 445 464 553
a 5 7 15 16 19 37 38 39 40 41 42 43 44 47 48 49 52 57 58 59 60 69 70 72 80 81 85 86 87 90 91 94 95 107 108 110 119 121 125 126 127 128 130 131 133 145 148 149 150 152 153 154 155 159 160 167 174 180 184 190 193 201 203 206 207 208 213 220 222 224 247 289 310 343 349 413 445 464 553
a 5 7 15 16 19 37 38 39 40 41 42 43 44 47 48 49 52 57 58 59 60 69 70 72 77 81 85 86 87 90 91 94 95 107 108 110 119 121 125 126 127 128 130 131 133 145 148 149 150 152 153 154 155 159 160 167 174 180 184 190 193 201 203 206 207 208 213 220 222 224 247 289 310 343 349 413 445 464 553
a 5 7 15 16 19 37 38 39 40 41 42 43 44 47 48 49 52 57 58 59 60 69 70 72 77 81 85 86 87 90 91 94 95 107 108 110 119 121 125 126 127 128 129 131 133 145 148 149 150 152 153 154 155 159 160 167 174 180 184 190 193 201 203 206 207 208 213 220 222 224 247 289 310 343 349 413 445 464 553
a 5 7 10 15 19 37 38 39 40 41 42 43 44 47 48 49 52 57 58 59 60 69 70 72 77 81 85 86 87 90 91 94 95 107 108 110 119 121 125 126 127 128 129 131 133 145 148 149 150 152 153 154 155 159 160 167 174 180 184 190 193 201 203 206 207 208 213 220 222 224 247 289 310 343 349 413 445 464 553
a 5 7 10 15 19 37 38 39 40 41 42 43 44 47 48 49 52 57 58 59 60 69 70 72 77 81 85 86 87 90 91 94 95 107 108 110 119 121 125 126 127 128 129 131 133 145 148 149 150 152 153 154 155 159 160 167 170 174 180 190 193 201 203 206 207 208 213 220 222 224 247 289 310 343 349 413 445 464 553
a 5 7 10 15 19 37 38 39 40 41 42 43 44 47 48 49 52 57 58 59 60 69 70 72 77 81 85 86 87 90 91 94 95 107 108 110 114 121 125 126 127 128 129 131 133 145 148 149 150 152 153 154 155 159 160 167 170 174 180 190 193 201 203 206 207 208 213 220 222 224 247 289 310 343 349 413 445 464 553
a 5 7 10 15 19 37 38 39 40 41 42 43 44 47 48 49 52 57 58 59 60 69 70 72 77 81 85 86 87 90 91 94 95 107 108 110 114 121 126 127 128 129 131 133 145 148 149 150 152 153 154 155 159 160 167 170 174 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 310 343 349 413 445 464 553
a 5 7 10 15 19 37 38 39 40 41 42 43 44 47 48 49 52 57 58 59 60 69 70 72 77 81 85 86 87 90 91 94 95 106 108 110 114 121 126 127 128 129 131 133 145 148 149 150 152 153 154 155 159 160 167 170 174 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 310 343 349 413 445 464 553
a 5 7 10 15 19 33 38 39 40 41 42 43 44 47 48 49 52 57 58 59 60 69 70 72 77 81 85 86 87 90 91 94 95 106 108 110 114 121 126 127 128 129 131 133 145 148 149 150 152 153 154 155 159 160 167 170 174 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 310 343 349 413 445 464 553
a 5 7 10 15 19 33 38 39 40 41 42 43 44 47 48 49 52 57 58 59 60 69 70 72 77 81 85 86 87 90 91 93 95 106 108 110 114 121 126 127 128 129 131 133 145 148 149 150 152 153 154 155 159 160 167 170 174 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 310 343 349 413 445 464 553
a 5 7 10 15 19 33 38 39 40 41 42 43 44 47 48 49 52 57 58 59 60 69 70 72 77 81 85 86 87 90 91 93 95 106 108 110 114 121 126 127 128 129 131 133 145 148 149 150 152 153 154 155 159 160 167 170 174 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 343 349 413 445 464 553 588
a 5 7 10 15 19 33 38 39 40 41 42 43 44 47 48 49 52 57 58 59 60 69 70 72 77 81 85 86 87 90 91 93 95 106 108 110 114 121 126 127 128 129 131 133 145 148 149 150 152 153 154 155 159 160 167 170 174 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 343 349 413 425 445 464 588
a 5 7 10 15 19 33 34 39 40 41 42 43 44 47 48 49 52 57 58 59 60 69 70 72 77 81 85 86 87 90 91 93 95 106 108 110 114 121 126 127 128 129 131 133 145 148 149 150 152 153 154 155 159 160 167 170 174 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 343 349 413 425 445 464 588
	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/color04/wap05a.col benchmark/graph-instance/core-challenge-2022/color04/wap05a_01.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical"
	User time (seconds): 294.24
	System time (seconds): 2.52
	Percent of CPU this job got: 100%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 4:54.01
	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): 4092755968
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 1167619
	Voluntary context switches: 46
	Involuntary context switches: 33756
	Swaps: 0
	File system inputs: 0
	File system outputs: 0
	Socket messages sent: 56
	Socket messages received: 0
	Signals delivered: 5
	Page size (bytes): 4096
	Exit status: 0
c FINISHED CPU 296.76 MEM 0 MAXMEM 0 STALE 1
c #RESULT: UNK
c #FIN: FIN
c #CPU: 296.76
c #MAXMEM: 0
c 
c #END: [Thu Mar 17 15:46:01 2022]