#BEGIN: [Mon Aug 28 18:10:14 2023] #HOST: s07 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent2 #INSTANCE1: /benchmark/2022benchmark/benchmark/color04/qg.order60.col #INSTANCE2: /benchmark/2022benchmark/benchmark/color04/qg.order60_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.order60.col /benchmark/2022benchmark/benchmark/color04/qg.order60_02.dat c /benchmark/2022benchmark/benchmark/color04/qg.order60.col c /benchmark/2022benchmark/benchmark/color04/qg.order60_02.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): INTERRUPTED by signal! s 33 82 128 208 244 390 431 489 580 649 672 739 794 872 947 1002 1054 1126 1177 1238 1284 1375 1416 1492 1526 1613 1679 1707 1779 1807 1876 1937 2024 2061 2110 2216 2278 2330 2385 2403 2461 2543 2631 2669 2731 2795 2863 2921 3000 3002 3085 3126 3193 3258 3315 3408 3474 3537 3545 t 59 76 123 220 274 325 417 455 489 560 624 706 735 797 879 902 978 1030 1108 1195 1221 1304 1353 1388 1487 1556 1574 1632 1703 1747 1836 1918 1951 2032 2070 2105 2203 2261 2325 2351 2466 2571 2617 2659 2729 2773 2880 2934 2988 3042 3110 3146 3218 3289 3301 3364 3473 3502 3567 a YES a 33 82 128 208 244 390 431 489 580 649 672 739 794 872 947 1002 1054 1126 1177 1238 1284 1375 1416 1492 1526 1613 1679 1707 1779 1807 1876 1937 2024 2061 2110 2216 2278 2330 2385 2403 2461 2543 2631 2669 2731 2795 2863 2921 3000 3002 3085 3126 3193 3258 3315 3408 3474 3537 3545 a 33 82 128 208 244 390 431 489 580 649 672 739 794 872 947 1002 1054 1126 1177 1238 1284 1375 1416 1492 1526 1613 1679 1707 1779 1807 1876 1937 2024 2061 2110 2216 2278 2330 2385 2403 2461 2543 2600 2669 2731 2795 2863 2921 3000 3002 3085 3126 3193 3258 3315 3408 3474 3537 3545 a 33 82 128 208 244 390 471 489 580 649 672 739 794 872 947 1002 1054 1126 1177 1238 1284 1375 1416 1492 1526 1613 1679 1707 1779 1807 1876 1937 2024 2061 2110 2216 2278 2330 2385 2403 2461 2543 2600 2669 2731 2795 2863 2921 3000 3002 3085 3126 3193 3258 3315 3408 3474 3537 3545 a 33 82 128 208 244 390 471 489 580 649 672 739 794 872 947 1002 1054 1126 1177 1238 1284 1375 1416 1492 1526 1613 1679 1707 1779 1807 1876 1937 2024 2061 2110 2216 2278 2330 2385 2403 2461 2543 2591 2669 2731 2795 2863 2921 3000 3002 3085 3126 3193 3258 3315 3408 3474 3537 3545 a 33 82 128 208 244 390 471 489 580 649 672 739 794 872 947 1002 1054 1126 1177 1238 1284 1375 1416 1492 1526 1613 1679 1707 1779 1807 1876 1937 2024 2061 2110 2216 2278 2300 2385 2403 2461 2543 2591 2669 2731 2795 2863 2921 3000 3002 3085 3126 3193 3258 3315 3408 3474 3537 3545 a 33 82 128 208 290 390 471 489 580 649 672 739 794 872 947 1002 1054 1126 1177 1238 1284 1375 1416 1492 1526 1613 1679 1707 1779 1807 1876 1937 2024 2061 2110 2216 2278 2300 2385 2403 2461 2543 2591 2669 2731 2795 2863 2921 3000 3002 3085 3126 3193 3258 3315 3408 3474 3537 3545 a 33 82 128 208 290 325 390 471 489 580 649 672 739 794 872 947 1002 1054 1126 1177 1238 1284 1375 1416 1492 1526 1613 1679 1707 1779 1807 1876 1937 2024 2061 2110 2216 2278 2300 2385 2403 2461 2543 2591 2669 2731 2795 2863 2921 3000 3002 3126 3193 3258 3315 3408 3474 3537 3545 a 33 82 128 208 325 390 471 489 580 649 672 739 794 872 947 1002 1054 1126 1177 1238 1284 1375 1416 1492 1526 1613 1679 1707 1779 1807 1876 1937 2024 2061 2110 2216 2278 2300 2385 2403 2461 2543 2591 2669 2731 2795 2863 2921 3000 3002 3110 3126 3193 3258 3315 3408 3474 3537 3545 a 33 82 128 208 274 325 390 471 489 580 649 672 739 794 872 947 1002 1126 1177 1238 1284 1375 1416 1492 1526 1613 1679 1707 1779 1807 1876 1937 2024 2061 2110 2216 2278 2300 2385 2403 2461 2543 2591 2669 2731 2795 2863 2921 3000 3002 3110 3126 3193 3258 3315 3408 3474 3537 3545 a 33 82 128 208 274 325 390 471 489 580 649 672 739 794 872 947 1002 1030 1126 1177 1238 1284 1375 1416 1492 1526 1613 1679 1707 1779 1807 1876 1937 2024 2061 2216 2278 2300 2385 2403 2461 2543 2591 2669 2731 2795 2863 2921 3000 3002 3110 3126 3193 3258 3315 3408 3474 3537 3545 a 33 82 128 208 274 325 390 471 489 580 649 672 739 794 872 947 1002 1030 1126 1177 1238 1284 1375 1416 1492 1526 1613 1679 1707 1779 1807 1876 1937 2024 2061 2216 2278 2300 2385 2403 2461 2543 2591 2669 2731 2795 2863 2921 3000 3002 3110 3126 3193 3258 3315 3364 3474 3537 3545 a 33 82 128 208 274 325 390 471 489 580 649 672 739 794 872 947 1002 1030 1126 1177 1238 1284 1375 1416 1492 1526 1613 1679 1707 1779 1807 1876 1937 2024 2061 2216 2278 2300 2385 2403 2461 2543 2591 2669 2731 2795 2863 2921 2988 3002 3110 3126 3193 3258 3315 3364 3474 3537 3545 a 33 82 128 208 274 325 390 471 489 580 649 672 739 794 872 947 1002 1030 1126 1177 1238 1284 1375 1416 1492 1526 1613 1679 1707 1779 1807 1876 1937 2024 2061 2216 2278 2300 2385 2403 2461 2543 2591 2669 2731 2795 2880 2921 2988 3002 3110 3126 3193 3258 3315 3364 3474 3537 3545 a 33 82 128 208 274 325 390 471 489 580 649 672 739 794 872 947 1002 1030 1126 1177 1238 1284 1375 1416 1492 1526 1613 1679 1707 1779 1807 1876 1937 2024 2061 2105 2216 2278 2300 2385 2403 2461 2543 2591 2669 2731 2795 2880 2921 2988 3002 3110 3126 3193 3258 3315 3364 3474 3537 a 33 82 128 208 274 325 390 471 489 580 649 672 739 794 872 947 1002 1030 1126 1177 1238 1284 1375 1416 1492 1526 1613 1679 1779 1807 1876 1937 2024 2061 2105 2216 2278 2300 2385 2403 2461 2543 2591 2669 2731 2795 2880 2921 2988 3002 3110 3126 3193 3258 3315 3364 3474 3537 3567 a 33 82 128 208 274 325 390 471 489 580 649 672 739 794 872 947 1002 1030 1126 1177 1238 1284 1375 1416 1492 1526 1613 1679 1703 1779 1807 1876 1937 2024 2061 2105 2216 2278 2300 2385 2403 2461 2591 2669 2731 2795 2880 2921 2988 3002 3110 3126 3193 3258 3315 3364 3474 3537 3567 a 33 82 128 208 274 325 390 489 580 649 672 739 794 872 947 1002 1030 1126 1177 1238 1284 1375 1416 1492 1526 1613 1679 1703 1779 1807 1876 1937 2024 2061 2105 2216 2278 2300 2385 2403 2461 2571 2591 2669 2731 2795 2880 2921 2988 3002 3110 3126 3193 3258 3315 3364 3474 3537 3567 a 33 82 128 208 274 325 390 489 580 649 672 739 794 872 947 1002 1030 1126 1177 1238 1284 1375 1416 1492 1526 1613 1679 1703 1779 1807 1876 1937 2024 2061 2105 2203 2278 2300 2385 2403 2461 2571 2591 2669 2731 2795 2880 2921 2988 3002 3110 3126 3193 3258 3315 3364 3474 3537 3567 a 33 82 128 208 274 325 390 489 580 649 672 739 794 872 947 1002 1030 1126 1177 1238 1284 1375 1416 1492 1556 1613 1679 1703 1779 1807 1876 1937 2024 2061 2105 2203 2278 2300 2385 2403 2461 2571 2591 2669 2731 2795 2880 2921 2988 3002 3110 3126 3193 3258 3315 3364 3474 3537 3567 a 33 82 128 208 274 325 390 489 580 649 672 739 794 872 947 1002 1030 1126 1177 1238 1284 1375 1416 1492 1556 1613 1679 1703 1779 1807 1876 1937 2024 2061 2105 2203 2278 2300 2385 2403 2461 2571 2591 2669 2731 2795 2880 2921 2988 3002 3110 3146 3193 3258 3315 3364 3474 3537 3567 a 33 82 128 208 274 325 390 489 580 649 672 739 794 872 947 1002 1030 1126 1177 1238 1284 1375 1416 1492 1556 1613 1679 1703 1779 1807 1876 1937 2024 2061 2105 2203 2278 2300 2385 2403 2466 2571 2591 2669 2731 2795 2880 2921 2988 3002 3110 3146 3193 3258 3315 3364 3474 3537 3567 a 33 82 128 208 274 325 390 489 580 649 672 739 794 872 947 1002 1030 1126 1177 1238 1284 1375 1416 1492 1556 1613 1679 1703 1779 1807 1876 1937 2024 2061 2105 2203 2278 2300 2385 2403 2466 2571 2591 2669 2731 2795 2880 2921 2988 3002 3110 3146 3193 3258 3301 3364 3474 3537 3567 a 33 82 128 208 274 325 390 455 489 580 649 672 739 794 872 947 1002 1030 1126 1177 1238 1284 1375 1416 1492 1556 1613 1679 1703 1779 1807 1876 1937 2024 2061 2105 2203 2278 2300 2385 2403 2466 2571 2591 2669 2731 2880 2921 2988 3002 3110 3146 3193 3258 3301 3364 3474 3537 3567 a 33 82 128 208 274 325 390 455 489 580 649 672 739 794 872 947 1002 1030 1126 1177 1238 1284 1375 1416 1492 1556 1613 1679 1703 1779 1807 1876 1937 2024 2061 2105 2203 2278 2300 2385 2403 2466 2571 2591 2669 2731 2773 2880 2921 2988 3002 3110 3146 3258 3301 3364 3474 3537 3567 a 33 82 128 208 274 325 390 455 489 580 649 672 739 794 872 947 1002 1030 1126 1177 1284 1375 1416 1492 1556 1613 1679 1703 1779 1807 1876 1937 2024 2061 2105 2203 2278 2300 2385 2403 2466 2571 2591 2669 2731 2773 2880 2921 2988 3002 3110 3146 3218 3258 3301 3364 3474 3537 3567 a 33 82 128 208 274 325 390 455 489 580 649 672 735 794 872 947 1002 1030 1126 1177 1284 1375 1416 1492 1556 1613 1679 1703 1779 1807 1876 1937 2024 2061 2105 2203 2278 2300 2385 2403 2466 2571 2591 2669 2731 2773 2880 2921 2988 3002 3110 3146 3218 3258 3301 3364 3474 3537 3567 a 33 82 128 208 274 325 390 455 489 580 649 672 735 794 872 947 1002 1030 1126 1177 1284 1375 1416 1492 1556 1613 1679 1703 1779 1807 1876 1937 2024 2061 2105 2203 2278 2300 2385 2403 2466 2571 2591 2659 2731 2773 2880 2921 2988 3002 3110 3146 3218 3258 3301 3364 3474 3537 3567 a 33 82 128 208 274 325 390 455 489 580 649 672 735 794 872 947 1002 1030 1126 1177 1284 1375 1416 1492 1556 1613 1679 1703 1779 1807 1876 1937 2024 2061 2105 2203 2278 2300 2385 2403 2466 2571 2591 2659 2729 2773 2880 2921 2988 3002 3110 3146 3218 3258 3301 3364 3474 3537 3567 a 33 82 128 208 274 325 390 455 489 580 649 672 735 794 872 947 1002 1030 1126 1177 1284 1375 1416 1492 1556 1613 1679 1703 1779 1807 1876 1951 2024 2061 2105 2203 2278 2300 2385 2403 2466 2571 2591 2659 2729 2773 2880 2921 2988 3002 3110 3146 3218 3258 3301 3364 3474 3537 3567 a 33 82 128 208 274 325 390 455 489 580 649 672 735 797 872 947 1002 1030 1126 1177 1284 1375 1416 1492 1556 1613 1679 1703 1779 1807 1876 1951 2024 2061 2105 2203 2278 2300 2385 2403 2466 2571 2591 2659 2729 2773 2880 2921 2988 3002 3110 3146 3218 3258 3301 3364 3474 3537 3567 a 33 82 128 208 274 325 390 455 489 580 649 672 735 797 872 947 1002 1030 1126 1177 1284 1375 1416 1492 1556 1574 1679 1703 1779 1807 1876 1951 2024 2061 2105 2203 2278 2300 2385 2403 2466 2571 2591 2659 2729 2773 2880 2921 2988 3002 3110 3146 3218 3258 3301 3364 3474 3537 3567 a 33 82 128 208 274 325 390 455 489 580 649 672 735 797 872 947 1002 1030 1126 1177 1284 1375 1416 1492 1556 1574 1679 1703 1779 1807 1876 1951 2024 2061 2105 2203 2278 2300 2385 2403 2466 2571 2591 2659 2729 2773 2880 2921 2988 3002 3110 3146 3218 3258 3301 3364 3473 3537 3567 a 33 82 128 208 274 325 390 455 489 580 649 672 735 797 872 947 1002 1030 1126 1177 1284 1375 1416 1492 1556 1574 1679 1703 1779 1807 1876 1951 2024 2061 2105 2203 2278 2300 2385 2403 2466 2571 2591 2659 2729 2773 2880 2934 2988 3002 3110 3146 3218 3258 3301 3364 3473 3537 3567 a 33 82 128 208 274 325 390 455 489 580 649 672 735 797 872 947 1002 1030 1126 1177 1221 1284 1375 1416 1492 1556 1574 1679 1703 1779 1807 1876 1951 2024 2105 2203 2278 2300 2385 2403 2466 2571 2591 2659 2729 2773 2880 2934 2988 3002 3110 3146 3218 3258 3301 3364 3473 3537 3567 a 33 82 128 208 274 325 455 489 580 649 672 735 797 872 947 1002 1030 1126 1177 1221 1284 1375 1416 1492 1556 1574 1679 1703 1779 1807 1876 1951 2024 2070 2105 2203 2278 2300 2385 2403 2466 2571 2591 2659 2729 2773 2880 2934 2988 3002 3110 3146 3218 3258 3301 3364 3473 3537 3567 a 33 82 128 208 274 325 417 455 489 580 649 672 735 797 872 947 1002 1030 1126 1177 1221 1284 1375 1416 1492 1556 1574 1679 1703 1779 1807 1876 1951 2024 2070 2105 2203 2278 2300 2385 2403 2466 2571 2591 2659 2729 2773 2880 2934 2988 3002 3110 3146 3218 3258 3301 3364 3473 3567 a 33 128 208 274 325 417 455 489 580 649 672 735 797 872 947 1002 1030 1126 1177 1221 1284 1375 1416 1492 1556 1574 1679 1703 1779 1807 1876 1951 2024 2070 2105 2203 2278 2300 2385 2403 2466 2571 2591 2659 2729 2773 2880 2934 2988 3002 3110 3146 3218 3258 3301 3364 3473 3502 3567 a 33 76 128 208 274 325 417 455 489 580 649 672 735 797 872 947 1002 1030 1126 1177 1221 1284 1375 1416 1492 1556 1574 1679 1703 1779 1807 1951 2024 2070 2105 2203 2278 2300 2385 2403 2466 2571 2591 2659 2729 2773 2880 2934 2988 3002 3110 3146 3218 3258 3301 3364 3473 3502 3567 a 33 76 128 208 274 325 417 455 489 580 649 672 735 797 872 947 1002 1030 1126 1177 1221 1284 1375 1416 1492 1556 1574 1679 1703 1779 1807 1951 2024 2070 2105 2203 2261 2300 2385 2403 2466 2571 2591 2659 2729 2773 2880 2934 2988 3002 3110 3146 3218 3258 3301 3364 3473 3502 3567 a 33 76 128 208 274 325 417 455 489 580 649 672 735 797 872 947 1002 1030 1126 1177 1221 1284 1375 1416 1492 1556 1574 1703 1779 1807 1918 1951 2024 2070 2105 2203 2261 2300 2385 2403 2466 2571 2591 2659 2729 2773 2880 2934 2988 3002 3110 3146 3218 3258 3301 3364 3473 3502 3567 a 59 76 128 208 274 325 417 455 489 580 649 672 735 797 872 947 1002 1030 1126 1177 1221 1284 1375 1416 1492 1556 1574 1703 1779 1807 1918 1951 2024 2070 2105 2203 2261 2300 2385 2403 2466 2571 2591 2659 2729 2773 2880 2934 2988 3002 3110 3146 3218 3258 3301 3364 3473 3502 3567 a 59 76 128 208 274 325 417 455 489 580 649 735 797 872 947 1002 1030 1126 1177 1221 1284 1375 1416 1492 1556 1574 1632 1703 1779 1807 1918 1951 2024 2070 2105 2203 2261 2300 2385 2403 2466 2571 2591 2659 2729 2773 2880 2934 2988 3002 3110 3146 3218 3258 3301 3364 3473 3502 3567 a 59 76 128 208 274 325 417 455 489 580 649 706 735 797 872 947 1002 1030 1177 1221 1284 1375 1416 1492 1556 1574 1632 1703 1779 1807 1918 1951 2024 2070 2105 2203 2261 2300 2385 2403 2466 2571 2591 2659 2729 2773 2880 2934 2988 3002 3110 3146 3218 3258 3301 3364 3473 3502 3567 a 59 76 128 274 325 417 455 489 580 649 706 735 797 872 947 1002 1030 1108 1177 1221 1284 1375 1416 1492 1556 1574 1632 1703 1779 1807 1918 1951 2024 2070 2105 2203 2261 2300 2385 2403 2466 2571 2591 2659 2729 2773 2880 2934 2988 3002 3110 3146 3218 3258 3301 3364 3473 3502 3567 a 59 76 128 220 274 325 417 455 489 649 706 735 797 872 947 1002 1030 1108 1177 1221 1284 1375 1416 1492 1556 1574 1632 1703 1779 1807 1918 1951 2024 2070 2105 2203 2261 2300 2385 2403 2466 2571 2591 2659 2729 2773 2880 2934 2988 3002 3110 3146 3218 3258 3301 3364 3473 3502 3567 a 59 76 128 220 274 325 417 455 489 649 706 735 797 872 947 1002 1030 1108 1177 1221 1284 1353 1416 1492 1556 1574 1632 1703 1779 1807 1918 1951 2024 2070 2105 2203 2261 2300 2385 2403 2466 2571 2591 2659 2729 2773 2880 2934 2988 3002 3110 3146 3218 3258 3301 3364 3473 3502 3567 a 59 76 128 220 274 325 417 455 489 560 649 706 735 797 872 947 1002 1030 1108 1177 1221 1284 1353 1416 1492 1556 1574 1632 1703 1779 1807 1918 1951 2024 2070 2105 2203 2261 2385 2403 2466 2571 2591 2659 2729 2773 2880 2934 2988 3002 3110 3146 3218 3258 3301 3364 3473 3502 3567 a 59 76 128 220 274 325 417 455 489 560 649 706 735 797 872 947 1002 1030 1108 1177 1221 1284 1353 1416 1492 1556 1574 1632 1703 1779 1807 1918 1951 2024 2070 2105 2203 2261 2325 2403 2466 2571 2591 2659 2729 2773 2880 2934 2988 3002 3110 3146 3218 3258 3301 3364 3473 3502 3567 a 59 76 128 220 274 325 417 455 489 560 649 706 735 797 872 947 1002 1030 1108 1177 1221 1284 1353 1416 1492 1556 1574 1632 1703 1779 1807 1918 1951 2024 2070 2105 2203 2261 2325 2351 2403 2466 2571 2659 2729 2773 2880 2934 2988 3002 3110 3146 3218 3258 3301 3364 3473 3502 3567 a 59 76 128 220 274 325 417 455 489 560 649 706 735 797 872 947 1002 1030 1108 1221 1284 1353 1416 1492 1556 1574 1632 1703 1779 1807 1918 1951 2024 2070 2105 2203 2261 2325 2351 2403 2466 2571 2617 2659 2729 2773 2880 2934 2988 3002 3110 3146 3218 3258 3301 3364 3473 3502 3567 a 59 76 128 220 274 325 417 455 489 560 649 706 735 797 872 947 1002 1030 1108 1195 1221 1284 1353 1416 1492 1556 1574 1632 1703 1779 1807 1918 1951 2024 2070 2105 2203 2261 2325 2351 2403 2466 2571 2617 2659 2729 2773 2880 2934 2988 3002 3110 3146 3218 3301 3364 3473 3502 3567 a 59 76 128 220 274 325 417 455 489 560 649 706 735 797 872 947 978 1030 1108 1195 1221 1284 1353 1416 1492 1556 1574 1632 1703 1779 1807 1918 1951 2024 2070 2105 2203 2261 2325 2351 2403 2466 2571 2617 2659 2729 2773 2880 2934 2988 3002 3110 3146 3218 3301 3364 3473 3502 3567 a 59 76 128 220 274 325 417 455 489 560 649 706 735 797 872 947 978 1030 1108 1195 1221 1284 1353 1416 1492 1556 1574 1632 1703 1779 1807 1918 1951 2024 2070 2105 2203 2261 2325 2351 2403 2466 2571 2617 2659 2729 2773 2880 2934 2988 3042 3110 3146 3218 3301 3364 3473 3502 3567 a 59 76 128 220 274 325 417 455 489 560 649 706 735 797 872 902 978 1030 1108 1195 1221 1284 1353 1416 1492 1556 1574 1632 1703 1779 1807 1918 1951 2024 2070 2105 2203 2261 2325 2351 2403 2466 2571 2617 2659 2729 2773 2880 2934 2988 3042 3110 3146 3218 3301 3364 3473 3502 3567 a 59 76 128 220 274 325 417 455 489 560 649 706 735 797 872 902 978 1030 1108 1195 1221 1284 1353 1416 1487 1556 1574 1632 1703 1779 1807 1918 1951 2024 2070 2105 2203 2261 2325 2351 2403 2466 2571 2617 2659 2729 2773 2880 2934 2988 3042 3110 3146 3218 3301 3364 3473 3502 3567 a 59 76 128 220 274 325 417 455 489 560 649 706 735 797 872 902 978 1030 1108 1195 1221 1284 1353 1416 1487 1556 1574 1632 1703 1779 1807 1918 1951 2032 2070 2105 2203 2261 2325 2351 2403 2466 2571 2617 2659 2729 2773 2880 2934 2988 3042 3110 3146 3218 3301 3364 3473 3502 3567 a 59 76 128 220 274 325 417 455 489 560 649 706 735 797 872 902 978 1030 1108 1195 1221 1304 1353 1416 1487 1556 1574 1632 1703 1779 1807 1918 1951 2032 2070 2105 2203 2261 2325 2351 2403 2466 2571 2617 2659 2729 2773 2880 2934 2988 3042 3110 3146 3218 3301 3364 3473 3502 3567 a 59 76 128 220 274 325 417 455 489 560 624 706 735 797 872 902 978 1030 1108 1195 1221 1304 1353 1416 1487 1556 1574 1632 1703 1779 1807 1918 1951 2032 2070 2105 2203 2261 2325 2351 2403 2466 2571 2617 2659 2729 2773 2880 2934 2988 3042 3110 3146 3218 3301 3364 3473 3502 3567 a 59 76 128 220 274 325 417 455 489 560 624 706 735 797 872 902 978 1030 1108 1195 1221 1304 1353 1416 1487 1556 1574 1632 1703 1779 1807 1918 1951 2032 2070 2105 2203 2261 2325 2351 2466 2571 2617 2659 2729 2773 2880 2934 2988 3042 3110 3146 3218 3289 3301 3364 3473 3502 3567 a 59 76 123 220 274 325 417 455 489 560 624 706 735 797 872 902 978 1030 1108 1195 1221 1304 1353 1416 1487 1556 1574 1632 1703 1779 1807 1918 1951 2032 2070 2105 2203 2261 2325 2351 2466 2571 2617 2659 2729 2773 2880 2934 2988 3042 3110 3146 3218 3289 3301 3364 3473 3502 3567 a 59 76 123 220 274 325 417 455 489 560 624 706 735 797 872 902 978 1030 1108 1195 1221 1304 1353 1388 1487 1556 1574 1632 1703 1779 1807 1918 1951 2032 2070 2105 2203 2261 2325 2351 2466 2571 2617 2659 2729 2773 2880 2934 2988 3042 3110 3146 3218 3289 3301 3364 3473 3502 3567 a 59 76 123 220 274 325 417 455 489 560 624 706 735 797 872 902 978 1030 1108 1195 1221 1304 1353 1388 1487 1556 1574 1632 1703 1779 1836 1918 1951 2032 2070 2105 2203 2261 2325 2351 2466 2571 2617 2659 2729 2773 2880 2934 2988 3042 3110 3146 3218 3289 3301 3364 3473 3502 3567 a 59 76 123 220 274 325 417 455 489 560 624 706 735 797 872 902 978 1030 1108 1195 1221 1304 1353 1388 1487 1556 1574 1632 1703 1747 1836 1918 1951 2032 2070 2105 2203 2261 2325 2351 2466 2571 2617 2659 2729 2773 2880 2934 2988 3042 3110 3146 3218 3289 3301 3364 3473 3502 3567 a 59 76 123 220 274 325 417 455 489 560 624 706 735 797 879 902 978 1030 1108 1195 1221 1304 1353 1388 1487 1556 1574 1632 1703 1747 1836 1918 1951 2032 2070 2105 2203 2261 2325 2351 2466 2571 2617 2659 2729 2773 2880 2934 2988 3042 3110 3146 3218 3289 3301 3364 3473 3502 3567 c Step: 63 Command being timed: "python3 run_3.py --existent --na /benchmark/2022benchmark/benchmark/color04/qg.order60.col /benchmark/2022benchmark/benchmark/color04/qg.order60_02.dat" User time (seconds): 526.29 System time (seconds): 8.77 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 8:55.10 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): 25757676 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 10339771 Voluntary context switches: 31 Involuntary context switches: 3424 Swaps: 0 File system inputs: 0 File system outputs: 7752 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Aug 28 18:19:10 2023]