#BEGIN: [Sun Sep  3 05:19:36 2023]
#HOST: s02
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-suisen-cp2
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/ash331GPIA.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/ash331GPIA_02.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark suisen-cp2 /benchmark/2022benchmark/benchmark/color04/ash331GPIA.col /benchmark/2022benchmark/benchmark/color04/ash331GPIA_02.dat
20:21:00 [INFO] Time reorder   : 84 (sec)
20:23:46 [INFO] Time reconf    : 165 (sec)
s 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
t 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a YES
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 119 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
a 1 4 6 8 9 11 17 19 23 25 27 29 31 33 37 44 46 48 54 60 64 66 68 72 74 80 82 86 88 90 92 94 96 98 101 109 111 113 116 121 125 128 132 133 138 140 142 145 149 151 153 157 159 161 166 170 172 174 176 178 179 181 185 188 191 195 200 202 204 206 208 210 213 215 217 224 226 231 233 237 239 243 245 250 252 255 257 259 261 263 266 268 270 272 277 279 281 283 285 287 292 294 297 299 303 307 309 311 313 318 322 324 326 327 329 331 335 337 339 343 347 349 351 355 357 364 366 368 370 371 375 384 388 390 394 396 398 400 402 404 405 407 409 412 418 420 422 424 426 427 431 436 438 440 443 449 453 457 459 461 464 466 470 472 474 479 481 483 485 490 494 496 498 501 503 510 512 513 517 519 523 529 532 534 535 540 542 544 547 552 555 557 561 564 568 573 577 579 582 584 587 589 591 593 598 600 602 604 607 611 613 616 620 622 624 625 629 631 636 638 640 642 645 647 651 655 660 661
	Command being timed: "bash /solver-dir/run.sh /benchmark/2022benchmark/benchmark/color04/ash331GPIA.col /benchmark/2022benchmark/benchmark/color04/ash331GPIA_02.dat"
	User time (seconds): 245.99
	System time (seconds): 3.44
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 4:09.48
	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): 9197652
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 4161239
	Voluntary context switches: 28
	Involuntary context switches: 1199
	Swaps: 0
	File system inputs: 0
	File system outputs: 128
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Sun Sep  3 05:23:46 2023]