#BEGIN: [Mon Aug 28 18:09:59 2023] #HOST: s06 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent2 #INSTANCE1: /benchmark/2022benchmark/benchmark/color04/qg.order40.col #INSTANCE2: /benchmark/2022benchmark/benchmark/color04/qg.order40_02.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na /benchmark/2022benchmark/benchmark/color04/qg.order40.col /benchmark/2022benchmark/benchmark/color04/qg.order40_02.dat c /benchmark/2022benchmark/benchmark/color04/qg.order40.col c /benchmark/2022benchmark/benchmark/color04/qg.order40_02.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): INTERRUPTED by signal! s 15 73 120 144 186 205 270 311 329 387 422 451 490 527 583 638 676 698 748 780 834 857 893 939 981 1039 1069 1092 1121 1164 1208 1272 1326 1362 1435 1443 1517 1534 1576 t 10 79 81 138 191 221 255 309 325 380 430 454 554 582 604 649 693 752 783 835 852 908 947 984 1040 1065 1113 1156 1166 1217 1242 1317 1323 1371 1426 1447 1518 1536 1568 a YES a 15 73 120 144 186 205 270 311 329 387 422 451 490 527 583 638 676 698 748 780 834 857 893 939 981 1039 1069 1092 1121 1164 1208 1272 1326 1362 1435 1443 1517 1534 1576 a 15 73 120 144 186 205 270 311 329 387 422 451 490 527 583 638 676 698 748 780 834 857 893 939 981 1039 1069 1092 1121 1164 1208 1272 1317 1326 1362 1435 1443 1534 1576 a 15 73 120 144 186 205 270 311 329 387 422 451 490 527 583 638 676 698 748 780 834 857 893 939 981 1039 1069 1092 1121 1164 1208 1265 1317 1326 1362 1435 1443 1534 1576 a 15 73 120 144 186 205 270 311 329 387 422 451 490 527 583 638 676 698 748 780 834 857 893 939 981 1039 1069 1092 1121 1164 1208 1265 1326 1362 1435 1443 1517 1534 1576 a 15 73 120 144 186 205 270 311 329 387 422 451 490 527 583 638 676 698 748 780 834 857 893 939 981 1039 1069 1092 1164 1208 1265 1281 1326 1362 1435 1443 1517 1534 1576 a 15 73 120 144 186 205 270 311 329 387 422 451 490 527 583 638 698 748 780 834 857 893 939 981 1039 1069 1092 1156 1164 1208 1265 1281 1326 1362 1435 1443 1517 1534 1576 a 15 73 120 144 186 205 270 311 329 387 422 451 490 527 583 638 641 698 748 780 834 857 893 939 981 1039 1069 1092 1156 1164 1208 1265 1326 1362 1435 1443 1517 1534 1576 a 15 73 120 144 186 205 270 311 329 387 422 451 490 527 583 638 641 698 748 780 834 857 893 939 981 1039 1069 1092 1156 1164 1208 1265 1317 1326 1362 1435 1443 1534 1576 a 15 73 120 144 186 205 270 311 329 387 422 451 490 527 583 641 698 748 780 834 857 893 939 981 1039 1069 1092 1156 1164 1208 1265 1317 1326 1362 1435 1443 1518 1534 1576 a 15 73 120 144 186 205 270 311 329 387 422 451 490 527 583 641 698 748 780 834 857 893 939 981 1039 1069 1092 1156 1164 1208 1265 1317 1326 1362 1435 1443 1518 1534 1592 a 15 73 120 144 186 205 270 311 329 387 422 451 490 527 583 641 698 748 780 834 857 893 939 981 1039 1069 1092 1136 1164 1208 1265 1317 1326 1362 1435 1443 1518 1534 1592 a 15 73 120 144 186 205 270 311 329 387 422 451 490 527 583 641 698 748 780 834 857 893 939 981 1039 1069 1092 1136 1164 1208 1265 1317 1326 1362 1436 1443 1518 1534 1592 a 15 73 120 144 186 205 270 311 329 387 422 451 490 527 583 641 698 748 780 835 857 893 939 981 1039 1069 1092 1136 1164 1208 1265 1317 1326 1362 1436 1443 1518 1534 1592 a 15 73 120 144 186 205 270 311 329 387 422 451 490 554 583 641 698 748 780 835 857 893 939 981 1039 1069 1092 1136 1164 1208 1265 1317 1326 1362 1436 1443 1518 1534 1592 a 15 73 120 144 186 205 270 311 329 387 422 451 490 554 583 641 698 748 780 835 857 893 939 981 1039 1069 1092 1136 1164 1208 1265 1317 1326 1362 1436 1447 1518 1534 1592 a 15 73 120 144 186 205 270 311 329 387 422 451 490 554 583 641 698 748 780 835 857 893 939 981 1039 1069 1092 1136 1164 1208 1265 1317 1323 1362 1436 1447 1518 1534 1592 a 15 73 120 144 186 205 270 311 329 387 422 451 490 554 583 641 698 748 780 835 857 893 939 981 1039 1069 1092 1136 1166 1208 1265 1317 1323 1362 1436 1447 1518 1534 1592 a 15 73 120 144 186 205 270 311 329 387 422 451 490 554 583 604 641 698 748 780 835 857 893 939 981 1039 1069 1092 1136 1166 1208 1265 1323 1362 1436 1447 1518 1534 1592 a 15 73 120 144 186 205 270 311 329 387 422 451 490 554 583 604 641 698 748 780 835 857 893 939 981 1037 1069 1092 1136 1166 1208 1265 1323 1362 1436 1447 1518 1534 1592 a 15 79 120 144 186 205 270 311 329 387 422 451 490 554 583 604 641 698 748 780 835 857 893 939 981 1037 1069 1092 1136 1166 1208 1265 1323 1362 1436 1447 1518 1534 1592 a 15 79 120 144 186 205 270 311 329 387 422 451 490 583 604 641 698 748 780 835 857 893 939 981 1037 1069 1092 1136 1166 1208 1265 1314 1323 1362 1436 1447 1518 1534 1592 a 15 79 120 144 186 205 270 311 329 387 422 451 490 583 633 641 698 748 780 835 857 893 939 981 1037 1069 1092 1136 1166 1208 1265 1314 1323 1362 1436 1447 1518 1534 1592 a 15 79 120 144 186 205 270 311 329 387 422 451 490 554 583 633 641 698 748 780 835 857 893 939 981 1037 1069 1092 1136 1166 1208 1265 1323 1362 1436 1447 1518 1534 1592 a 15 79 120 144 186 205 270 311 329 387 422 451 490 554 583 633 641 698 748 780 835 857 893 939 981 1069 1092 1136 1166 1208 1265 1317 1323 1362 1436 1447 1518 1534 1592 a 15 79 144 186 205 270 311 329 387 422 451 490 554 583 633 641 698 748 780 835 857 893 939 981 1040 1069 1092 1136 1166 1208 1265 1317 1323 1362 1436 1447 1518 1534 1592 a 15 79 81 144 186 205 270 311 329 387 422 451 490 554 583 633 698 748 780 835 857 893 939 981 1040 1069 1092 1136 1166 1208 1265 1317 1323 1362 1436 1447 1518 1534 1592 a 15 79 81 144 186 205 270 311 387 422 451 490 554 583 633 649 698 748 780 835 857 893 939 981 1040 1069 1092 1136 1166 1208 1265 1317 1323 1362 1436 1447 1518 1534 1592 a 15 79 81 144 186 270 311 325 387 422 451 490 554 583 633 649 698 748 780 835 857 893 939 981 1040 1069 1092 1136 1166 1208 1265 1317 1323 1362 1436 1447 1518 1534 1592 a 15 79 81 144 186 221 270 311 325 387 422 451 490 554 583 633 649 698 748 780 835 857 893 939 1040 1069 1092 1136 1166 1208 1265 1317 1323 1362 1436 1447 1518 1534 1592 a 15 79 81 186 221 270 311 325 387 422 451 490 554 583 633 649 698 748 780 835 857 893 939 984 1040 1069 1092 1136 1166 1208 1265 1317 1323 1362 1436 1447 1518 1534 1592 a 15 79 81 138 186 221 270 311 325 387 422 451 490 554 583 633 649 748 780 835 857 893 939 984 1040 1069 1092 1136 1166 1208 1265 1317 1323 1362 1436 1447 1518 1534 1592 a 15 79 81 138 186 221 270 311 325 387 422 451 490 554 583 633 649 693 748 780 835 857 939 984 1040 1069 1092 1136 1166 1208 1265 1317 1323 1362 1436 1447 1518 1534 1592 a 15 79 81 138 186 221 270 311 325 387 422 451 490 554 583 633 649 693 780 835 857 908 939 984 1040 1069 1092 1136 1166 1208 1265 1317 1323 1362 1436 1447 1518 1534 1592 a 15 79 81 138 186 221 270 311 325 387 422 451 490 554 583 604 649 693 780 835 857 908 939 984 1040 1069 1092 1136 1166 1208 1265 1317 1323 1362 1436 1447 1518 1534 1592 a 15 79 81 138 186 221 270 311 325 387 422 451 490 554 583 604 649 693 780 835 857 908 939 984 1040 1069 1113 1136 1166 1208 1265 1317 1323 1362 1436 1447 1518 1534 1592 a 15 52 81 138 186 221 270 311 325 387 422 451 490 554 583 604 649 693 780 835 857 908 939 984 1040 1069 1113 1136 1166 1208 1265 1317 1323 1362 1436 1447 1518 1534 1592 a 15 52 119 138 186 221 270 311 325 387 422 451 490 554 583 604 649 693 780 835 857 908 939 984 1040 1069 1113 1136 1166 1208 1265 1317 1323 1362 1436 1447 1518 1534 1592 a 15 41 119 138 186 221 270 311 325 387 422 451 490 554 583 604 649 693 780 835 857 908 939 984 1040 1069 1113 1136 1166 1208 1265 1317 1323 1362 1436 1447 1518 1534 1592 a 15 41 119 138 186 221 270 311 325 387 422 451 490 554 583 604 649 693 780 835 852 908 939 984 1040 1069 1113 1136 1166 1208 1265 1317 1323 1362 1436 1447 1518 1534 1592 a 15 41 119 138 186 221 270 311 325 387 422 451 490 554 583 604 649 693 780 835 852 908 939 984 1040 1069 1113 1136 1166 1217 1265 1317 1323 1362 1436 1447 1518 1534 1592 a 15 41 119 138 186 221 270 311 325 387 422 451 490 554 583 604 649 693 780 835 852 908 939 984 1040 1069 1113 1136 1166 1217 1265 1317 1323 1362 1436 1447 1518 1534 1568 a 15 41 119 138 192 221 270 311 325 387 422 451 490 554 583 604 649 693 780 835 852 908 939 984 1040 1069 1113 1136 1166 1217 1265 1317 1323 1362 1436 1447 1518 1534 1568 a 15 41 119 138 192 221 270 311 325 387 422 451 490 554 583 604 649 693 780 835 852 908 939 984 1040 1069 1113 1136 1166 1217 1265 1317 1323 1362 1426 1447 1518 1534 1568 a 15 41 119 138 192 236 270 311 325 387 422 451 490 554 583 604 649 693 780 835 852 908 939 984 1040 1069 1113 1136 1166 1217 1265 1317 1323 1362 1426 1447 1518 1534 1568 a 15 61 119 138 192 236 270 311 325 387 422 451 490 554 583 604 649 693 780 835 852 908 939 984 1040 1069 1113 1136 1166 1217 1265 1317 1323 1362 1426 1447 1518 1534 1568 a 15 61 81 138 192 236 270 311 325 387 422 451 490 554 583 604 649 693 780 835 852 908 939 984 1040 1069 1113 1136 1166 1217 1265 1317 1323 1362 1426 1447 1518 1534 1568 a 15 79 81 138 192 236 270 311 325 387 422 451 490 554 583 604 649 693 780 835 852 908 939 984 1040 1069 1113 1136 1166 1217 1265 1317 1323 1362 1426 1447 1518 1534 1568 a 15 79 81 138 192 221 270 311 325 387 422 451 490 554 583 604 649 693 780 835 852 908 939 984 1040 1069 1113 1136 1166 1217 1265 1317 1323 1362 1426 1447 1518 1534 1568 a 15 79 81 138 192 221 270 311 325 387 422 451 490 554 583 604 649 693 780 835 852 908 939 984 1040 1069 1113 1156 1166 1217 1265 1317 1323 1362 1426 1447 1518 1534 1568 a 15 79 81 138 192 221 270 311 325 387 422 451 490 554 583 604 649 693 780 835 852 908 939 984 1040 1069 1113 1156 1166 1217 1265 1317 1323 1362 1426 1447 1518 1536 1568 a 15 79 81 138 192 221 270 311 325 387 422 454 490 554 583 604 649 693 780 835 852 908 939 984 1040 1069 1113 1156 1166 1217 1265 1317 1323 1362 1426 1447 1518 1536 1568 a 15 79 81 138 221 270 311 325 387 422 454 490 554 583 604 649 693 752 780 835 852 908 939 984 1040 1069 1113 1156 1166 1217 1265 1317 1323 1362 1426 1447 1518 1536 1568 a 15 79 81 138 191 221 270 325 387 422 454 490 554 583 604 649 693 752 780 835 852 908 939 984 1040 1069 1113 1156 1166 1217 1265 1317 1323 1362 1426 1447 1518 1536 1568 a 15 79 81 138 191 221 270 309 325 387 422 454 490 554 583 604 649 693 752 780 835 852 908 939 984 1040 1113 1156 1166 1217 1265 1317 1323 1362 1426 1447 1518 1536 1568 a 15 79 81 138 191 221 270 309 325 387 422 454 490 554 583 604 649 693 752 780 835 852 908 939 984 1040 1113 1156 1166 1217 1265 1317 1323 1371 1426 1447 1518 1536 1568 a 15 79 81 138 191 221 270 309 325 387 422 454 490 554 583 604 649 693 752 780 835 852 908 939 984 1040 1065 1113 1156 1166 1217 1317 1323 1371 1426 1447 1518 1536 1568 a 15 79 81 138 191 221 270 309 325 387 422 454 554 583 604 649 693 752 780 835 852 908 939 984 1040 1065 1113 1156 1166 1217 1242 1317 1323 1371 1426 1447 1518 1536 1568 a 10 79 81 138 191 221 270 309 325 387 422 454 554 583 604 649 693 752 780 835 852 908 939 984 1040 1065 1113 1156 1166 1217 1242 1317 1323 1371 1426 1447 1518 1536 1568 a 10 79 81 138 191 221 255 309 325 387 422 454 554 583 604 649 693 752 780 835 852 908 939 984 1040 1065 1113 1156 1166 1217 1242 1317 1323 1371 1426 1447 1518 1536 1568 a 10 79 81 138 191 221 255 309 325 387 430 454 554 583 604 649 693 752 780 835 852 908 939 984 1040 1065 1113 1156 1166 1217 1242 1317 1323 1371 1426 1447 1518 1536 1568 a 10 79 81 138 191 221 255 309 325 387 430 454 554 582 604 649 693 752 780 835 852 908 939 984 1040 1065 1113 1156 1166 1217 1242 1317 1323 1371 1426 1447 1518 1536 1568 a 10 79 81 138 191 221 255 309 325 387 430 454 554 582 604 649 693 752 783 835 852 908 939 984 1040 1065 1113 1156 1166 1217 1242 1317 1323 1371 1426 1447 1518 1536 1568 a 10 79 81 138 191 221 255 309 325 380 430 454 554 582 604 649 693 752 783 835 852 908 939 984 1040 1065 1113 1156 1166 1217 1242 1317 1323 1371 1426 1447 1518 1536 1568 a 10 79 81 138 191 221 255 309 325 380 430 454 554 582 604 649 693 752 783 835 852 908 947 984 1040 1065 1113 1156 1166 1217 1242 1317 1323 1371 1426 1447 1518 1536 1568 c Step: 63 Command being timed: "python3 run_3.py --existent --na /benchmark/2022benchmark/benchmark/color04/qg.order40.col /benchmark/2022benchmark/benchmark/color04/qg.order40_02.dat" User time (seconds): 382.77 System time (seconds): 2.62 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:25.42 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): 7559440 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 3038528 Voluntary context switches: 31 Involuntary context switches: 2095 Swaps: 0 File system inputs: 0 File system outputs: 2280 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Aug 28 18:16:25 2023]