c #BEGIN: [Thu Mar 17 11:43:05 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/le450_25a.col benchmark/graph-instance/core-challenge-2022/color04/le450_25a_02.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/le450_25a.col benchmark/graph-instance/core-challenge-2022/color04/le450_25a_02.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical c (0) step 1 UNSAT 2700 22814 c (0) step 2 UNSAT 4949 36919 c (0) step 3 UNSAT 7198 51024 c (0) step 4 UNSAT 9447 65129 c (0) step 5 UNSAT 11696 79234 c (0) step 6 UNSAT 13945 93339 c (0) step 7 UNSAT 16194 107444 c (1) step 8 UNSAT 18443 121549 c (3) step 9 UNSAT 20692 135654 c (6) step 10 UNSAT 22941 149759 c (10) step 11 UNSAT 25190 163864 c (10) step 12 SAT 27439 177969 a YES a 2 10 13 18 24 27 32 35 40 41 47 55 56 72 86 87 108 110 111 117 121 124 134 135 137 148 151 154 162 166 167 168 176 177 179 180 184 186 211 214 225 234 235 240 243 262 264 267 272 278 279 284 285 292 295 299 303 314 316 322 323 324 329 335 341 348 354 357 358 360 362 365 373 380 387 391 393 403 407 408 412 415 424 427 431 434 435 436 440 445 a 2 10 13 18 24 27 32 35 40 41 47 55 56 59 72 86 87 108 110 111 117 121 124 134 135 137 148 151 154 162 166 167 168 176 177 179 180 184 186 211 214 225 234 235 240 243 262 264 267 272 278 279 284 285 292 295 299 303 314 316 322 323 324 329 335 341 348 354 357 358 360 362 365 373 380 387 391 393 403 407 408 412 415 424 427 431 434 435 436 445 a 2 10 11 13 18 24 27 32 35 40 41 47 55 56 59 72 86 87 108 110 111 117 121 124 134 135 137 148 151 154 162 166 167 168 176 177 179 180 184 186 211 214 225 234 235 240 243 262 264 267 272 278 279 284 285 292 299 303 314 316 322 323 324 329 335 341 348 354 357 358 360 362 365 373 380 387 391 393 403 407 408 412 415 424 427 431 434 435 436 445 a 2 10 11 13 18 24 27 32 35 40 41 47 55 56 59 72 86 87 108 110 111 117 121 124 134 137 148 151 154 162 166 167 168 176 177 179 180 184 186 211 214 225 234 235 240 243 262 264 267 272 278 279 284 285 292 299 303 314 316 322 323 324 329 335 341 347 348 354 357 358 360 362 365 373 380 387 391 393 403 407 408 412 415 424 427 431 434 435 436 445 a 2 10 11 13 18 24 27 32 35 40 41 47 55 56 59 72 86 87 108 111 117 121 124 134 137 148 151 154 162 166 167 168 176 177 179 180 184 186 211 214 225 234 235 240 243 262 264 267 272 278 279 284 285 292 299 303 314 316 322 323 324 329 335 341 347 348 354 357 358 360 362 365 373 380 387 391 393 394 403 407 408 412 415 424 427 431 434 435 436 445 a 2 10 11 13 18 24 27 32 35 40 41 47 48 55 56 59 72 86 87 108 111 117 121 124 134 137 148 151 154 162 166 167 168 176 177 179 180 184 186 211 214 225 234 235 240 243 262 264 267 272 278 279 284 285 292 299 303 314 316 322 323 324 329 335 341 347 348 354 357 358 360 362 365 373 380 387 391 393 394 403 408 412 415 424 427 431 434 435 436 445 a 2 10 11 13 18 24 27 32 35 40 41 47 48 55 56 59 72 86 87 108 111 117 121 124 134 137 148 151 154 162 166 167 168 176 177 179 180 181 184 186 211 214 225 234 235 240 243 262 264 267 272 278 279 284 285 292 299 303 314 316 322 323 324 329 335 341 347 348 354 357 358 360 362 365 373 380 387 391 393 394 403 408 412 415 424 431 434 435 436 445 a 2 10 11 13 18 24 27 32 35 40 41 47 48 55 56 59 72 87 104 108 111 117 121 124 134 137 148 151 154 162 166 167 168 176 177 179 180 181 184 186 211 214 225 234 235 240 243 262 264 267 272 278 279 284 285 292 299 303 314 316 322 323 324 329 335 341 347 348 354 357 358 360 362 365 373 380 387 391 393 394 403 408 412 415 424 431 434 435 436 445 a 2 10 11 18 24 27 32 35 40 41 47 48 55 56 59 72 87 104 108 111 117 121 124 134 137 148 151 154 162 166 167 168 176 177 179 180 181 184 186 211 214 225 234 235 240 243 262 264 267 272 278 279 284 285 292 299 303 304 314 316 322 323 324 329 335 341 347 348 354 357 358 360 362 365 373 380 387 391 393 394 403 408 412 415 424 431 434 435 436 445 a 2 10 11 18 24 27 32 35 41 47 48 55 56 59 72 87 104 108 111 117 121 124 134 137 148 151 154 162 166 167 168 176 177 179 180 181 184 186 211 214 225 234 235 240 243 262 264 267 272 278 279 284 285 292 299 303 304 314 316 322 323 324 329 335 341 347 348 354 357 358 360 362 365 373 380 387 391 393 394 403 408 412 415 424 430 431 434 435 436 445 a 2 10 11 18 24 27 32 35 41 47 48 55 56 59 72 87 104 108 111 117 121 124 134 137 148 151 154 162 166 167 168 176 177 179 180 181 184 186 211 214 225 234 235 240 243 262 267 272 278 279 284 285 292 299 303 304 314 316 322 323 324 329 335 341 347 348 354 357 358 360 362 365 373 380 387 391 393 394 403 408 412 415 416 424 430 431 434 435 436 445 a 2 10 11 18 24 27 32 35 41 47 48 55 56 59 72 87 104 108 111 117 121 124 134 137 148 151 154 162 166 167 176 177 179 180 181 184 186 211 214 225 234 235 240 243 262 267 272 278 279 284 285 292 299 303 304 314 316 322 323 324 329 335 341 347 348 354 357 358 359 360 362 365 373 380 387 391 393 394 403 408 412 415 416 424 430 431 434 435 436 445 a 2 10 11 18 24 27 32 35 41 47 48 55 56 59 87 104 108 111 117 121 124 134 137 148 151 154 162 166 167 176 177 179 180 181 184 186 211 214 225 234 235 240 243 262 267 272 278 279 284 285 292 299 303 304 314 316 322 323 324 329 335 341 347 348 354 357 358 359 360 362 365 373 380 387 391 393 394 403 408 411 412 415 416 424 430 431 434 435 436 445 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/le450_25a.col benchmark/graph-instance/core-challenge-2022/color04/le450_25a_02.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical" User time (seconds): 13.62 System time (seconds): 0.22 Percent of CPU this job got: 117% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:11.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): 1386725376 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 37 Minor (reclaiming a frame) page faults: 107845 Voluntary context switches: 43 Involuntary context switches: 3687 Swaps: 0 File system inputs: 0 File system outputs: 0 Socket messages sent: 50 Socket messages received: 0 Signals delivered: 5 Page size (bytes): 4096 Exit status: 0 c FINISHED CPU 13.84 MEM 0 MAXMEM 0 STALE 1 c #RESULT: UNK c #FIN: FIN c #CPU: 13.84 c #MAXMEM: 0 c c #END: [Thu Mar 17 11:43:17 2022]