#BEGIN: [Mon Aug 28 23:52:57 2023] #HOST: s03 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-cpu-banbaralab2-shortest1 #INSTANCE1: /benchmark/2022benchmark/benchmark/color04/qg.order40.col #INSTANCE2: /benchmark/2022benchmark/benchmark/color04/qg.order40_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --shortest /benchmark/2022benchmark/benchmark/color04/qg.order40.col /benchmark/2022benchmark/benchmark/color04/qg.order40_01.dat c /benchmark/2022benchmark/benchmark/color04/qg.order40.col c /benchmark/2022benchmark/benchmark/color04/qg.order40_01.dat s 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1017 1069 1113 1158 1175 1218 1319 1347 1372 1401 1472 1520 1548 1595 t 24 53 84 132 189 240 260 296 322 398 418 457 502 552 567 626 671 739 770 837 861 908 934 961 1036 1075 1114 1145 1168 1227 1270 1291 1325 1369 1439 1443 1503 1553 1566 a YES a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1017 1069 1113 1158 1175 1218 1319 1347 1372 1401 1472 1520 1548 1595 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 726 764 822 860 917 936 986 1017 1069 1113 1158 1175 1218 1270 1319 1347 1372 1401 1472 1520 1548 1595 a 7 42 114 141 171 231 305 323 379 410 464 516 525 573 614 648 703 726 764 822 860 917 936 986 1017 1069 1113 1158 1175 1218 1270 1319 1347 1372 1401 1472 1520 1548 1595 a 7 42 114 141 171 231 260 305 323 379 410 464 516 525 573 614 648 703 726 764 822 917 936 986 1017 1069 1113 1158 1175 1218 1270 1319 1347 1372 1401 1472 1520 1548 1595 a 7 42 114 141 171 231 260 305 323 379 410 464 516 525 573 614 648 703 726 764 822 917 936 986 1017 1069 1113 1158 1175 1218 1270 1319 1347 1369 1401 1472 1520 1548 1595 a 7 42 114 171 231 260 305 323 379 410 464 516 525 573 614 648 703 726 764 822 861 917 936 986 1017 1069 1113 1158 1175 1218 1270 1319 1347 1369 1401 1472 1520 1548 1595 a 7 42 114 132 171 231 260 305 323 379 410 464 516 525 573 614 648 703 726 764 822 861 917 936 986 1017 1069 1113 1158 1175 1218 1270 1319 1347 1369 1472 1520 1548 1595 a 7 42 114 132 171 231 260 305 323 379 410 464 516 525 573 614 648 703 726 764 822 861 917 936 986 1017 1069 1113 1158 1175 1218 1270 1347 1369 1439 1472 1520 1548 1595 a 7 42 114 132 171 231 260 305 323 379 410 464 516 525 573 614 648 703 726 764 822 861 917 936 961 1017 1069 1113 1158 1175 1218 1270 1347 1369 1439 1472 1520 1548 1595 a 7 42 114 132 231 260 305 323 379 410 464 516 525 573 614 648 703 726 764 822 861 917 936 961 1017 1069 1113 1158 1175 1218 1270 1291 1347 1369 1439 1472 1520 1548 1595 a 7 42 114 132 231 260 305 323 379 410 464 516 525 573 626 648 703 726 764 822 861 917 936 961 1017 1069 1113 1158 1175 1218 1270 1291 1347 1369 1439 1472 1520 1548 1595 a 7 42 114 132 231 260 305 323 379 410 464 516 525 573 626 648 703 726 764 822 861 917 934 961 1017 1069 1113 1158 1175 1218 1270 1291 1347 1369 1439 1472 1520 1548 1595 a 7 42 114 132 231 260 296 323 379 410 464 516 525 573 626 648 703 726 764 822 861 917 934 961 1017 1069 1113 1158 1175 1218 1270 1291 1347 1369 1439 1472 1520 1548 1595 a 7 42 114 132 231 260 296 323 379 410 464 516 525 573 626 648 703 726 764 822 861 917 934 961 1017 1069 1113 1145 1175 1218 1270 1291 1347 1369 1439 1472 1520 1548 1595 a 7 42 114 132 231 260 296 323 398 410 464 516 525 573 626 648 703 726 764 822 861 917 934 961 1017 1069 1113 1145 1175 1218 1270 1291 1347 1369 1439 1472 1520 1548 1595 a 7 42 114 132 231 260 296 323 398 410 464 516 525 573 626 648 703 739 764 822 861 917 934 961 1017 1069 1113 1145 1175 1218 1270 1291 1347 1369 1439 1472 1520 1548 1595 a 7 42 114 132 231 260 296 323 398 410 464 516 525 573 626 648 703 739 764 822 861 917 934 961 1017 1069 1113 1145 1175 1218 1270 1291 1347 1369 1439 1472 1520 1548 1566 a 7 42 114 132 231 260 296 323 398 410 464 516 525 573 626 648 703 739 764 822 861 917 934 961 1017 1075 1113 1145 1175 1218 1270 1291 1347 1369 1439 1472 1520 1548 1566 a 7 42 114 132 189 231 260 296 323 398 464 516 525 573 626 648 703 739 764 822 861 917 934 961 1017 1075 1113 1145 1175 1218 1270 1291 1347 1369 1439 1472 1520 1548 1566 a 7 42 114 132 189 231 260 296 323 398 418 464 516 525 573 626 648 703 739 764 822 861 917 934 961 1017 1075 1113 1145 1175 1270 1291 1347 1369 1439 1472 1520 1548 1566 a 7 42 114 132 189 231 260 296 323 398 418 464 516 525 573 626 648 703 739 770 822 861 917 934 961 1017 1075 1113 1145 1175 1270 1291 1347 1369 1439 1472 1520 1548 1566 a 7 42 84 132 189 231 260 296 323 398 418 464 516 525 573 626 648 703 739 770 822 861 917 934 961 1017 1075 1113 1145 1175 1270 1291 1347 1369 1439 1472 1520 1548 1566 a 7 42 84 132 189 231 260 296 323 398 418 464 516 525 573 626 648 703 739 770 822 861 917 934 961 1017 1075 1114 1145 1175 1270 1291 1347 1369 1439 1472 1520 1548 1566 a 7 42 84 132 189 231 260 296 323 398 418 464 516 525 573 626 648 703 739 770 822 861 917 934 961 1017 1075 1114 1145 1175 1270 1291 1347 1369 1439 1472 1520 1553 1566 a 7 42 84 132 189 231 260 296 323 398 418 464 516 525 573 626 648 703 739 770 822 861 908 934 961 1017 1075 1114 1145 1175 1270 1291 1347 1369 1439 1472 1520 1553 1566 a 7 42 84 132 189 231 260 296 323 398 418 464 516 525 573 626 648 703 739 770 837 861 908 934 961 1017 1075 1114 1145 1175 1270 1291 1347 1369 1439 1472 1520 1553 1566 a 7 42 84 132 189 231 260 296 323 398 418 464 502 525 573 626 648 703 739 770 837 861 908 934 961 1017 1075 1114 1145 1175 1270 1291 1347 1369 1439 1472 1520 1553 1566 a 7 42 84 132 189 231 260 296 323 398 418 464 502 525 573 626 648 703 739 770 837 861 908 934 961 1036 1075 1114 1145 1175 1270 1291 1347 1369 1439 1472 1520 1553 1566 a 7 42 84 132 189 231 260 296 323 398 418 457 502 525 573 626 648 703 739 770 837 861 908 934 961 1036 1075 1114 1145 1175 1270 1291 1347 1369 1439 1472 1520 1553 1566 a 7 42 84 132 189 231 260 296 323 398 418 457 502 525 573 626 648 703 739 770 837 861 908 934 961 1036 1075 1114 1145 1175 1227 1270 1291 1369 1439 1472 1520 1553 1566 a 7 42 84 132 189 231 260 296 323 398 418 457 502 573 626 648 703 739 770 837 861 908 934 961 1036 1075 1114 1145 1175 1227 1270 1291 1325 1369 1439 1472 1520 1553 1566 a 7 42 84 132 189 231 260 296 323 398 418 457 502 552 573 626 648 703 739 770 837 861 908 934 961 1036 1075 1114 1145 1175 1227 1270 1291 1325 1369 1439 1520 1553 1566 a 7 42 84 132 189 231 260 296 398 418 457 502 552 573 626 648 703 739 770 837 861 908 934 961 1036 1075 1114 1145 1175 1227 1270 1291 1325 1369 1439 1443 1520 1553 1566 a 7 84 132 189 231 260 296 322 398 418 457 502 552 573 626 648 703 739 770 837 861 908 934 961 1036 1075 1114 1145 1175 1227 1270 1291 1325 1369 1439 1443 1520 1553 1566 a 7 53 84 132 189 231 260 296 322 398 418 457 502 552 626 648 703 739 770 837 861 908 934 961 1036 1075 1114 1145 1175 1227 1270 1291 1325 1369 1439 1443 1520 1553 1566 a 24 53 84 132 189 231 260 296 322 398 418 457 502 552 626 648 703 739 770 837 861 908 934 961 1036 1075 1114 1145 1175 1227 1270 1291 1325 1369 1439 1443 1520 1553 1566 a 24 53 84 132 189 231 260 296 322 398 418 457 502 552 567 626 648 739 770 837 861 908 934 961 1036 1075 1114 1145 1175 1227 1270 1291 1325 1369 1439 1443 1520 1553 1566 a 24 53 84 132 189 231 260 296 322 398 418 457 502 552 567 626 648 739 770 837 861 908 934 961 1036 1075 1114 1145 1175 1227 1270 1291 1325 1369 1439 1443 1503 1553 1566 a 24 53 84 132 189 240 260 296 322 398 418 457 502 552 567 626 648 739 770 837 861 908 934 961 1036 1075 1114 1145 1175 1227 1270 1291 1325 1369 1439 1443 1503 1553 1566 a 24 53 84 132 189 240 260 296 322 398 418 457 502 552 567 626 671 739 770 837 861 908 934 961 1036 1075 1114 1145 1175 1227 1270 1291 1325 1369 1439 1443 1503 1553 1566 a 24 53 84 132 189 240 260 296 322 398 418 457 502 552 567 626 671 739 770 837 861 908 934 961 1036 1075 1114 1145 1168 1227 1270 1291 1325 1369 1439 1443 1503 1553 1566 c Step: 40 Command being timed: "python3 run_3.py --shortest /benchmark/2022benchmark/benchmark/color04/qg.order40.col /benchmark/2022benchmark/benchmark/color04/qg.order40_01.dat" User time (seconds): 27.37 System time (seconds): 0.20 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:27.58 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): 622212 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 251946 Voluntary context switches: 21 Involuntary context switches: 153 Swaps: 0 File system inputs: 0 File system outputs: 2176 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Aug 28 23:53:25 2023]