#BEGIN: [Sat Sep 2 17:09:54 2023] #HOST: s08 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-sano382 #INSTANCE1: /benchmark/2022benchmark/benchmark/color04/ash608GPIA.col #INSTANCE2: /benchmark/2022benchmark/benchmark/color04/ash608GPIA_02.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark sano-382 -Xmx54g SimpleSolver /benchmark/2022benchmark/benchmark/color04/ash608GPIA.col /benchmark/2022benchmark/benchmark/color04/ash608GPIA_02.dat s 1 5 10 12 14 16 19 21 23 25 27 32 34 38 40 42 45 47 49 53 55 57 62 64 66 68 72 74 78 80 84 86 91 93 95 97 99 101 103 110 112 114 116 118 120 121 123 125 131 137 139 141 145 147 151 153 155 159 161 165 167 172 176 178 181 183 188 190 191 195 202 204 208 210 212 214 216 219 221 225 227 230 234 236 238 240 245 249 253 256 258 262 263 268 269 271 273 277 279 281 286 288 290 294 295 297 300 304 307 309 313 316 318 320 323 325 331 337 339 341 343 349 351 353 355 357 359 361 366 368 370 374 376 378 380 382 387 389 394 396 400 402 404 407 409 411 413 415 417 419 421 425 427 429 433 436 440 441 443 447 452 454 456 458 460 464 467 472 474 476 478 479 481 485 489 493 500 503 507 513 515 517 520 526 528 530 534 536 540 544 545 548 550 553 555 558 560 561 565 568 571 573 575 577 582 584 586 592 593 601 605 607 611 613 615 618 622 624 629 631 634 636 642 644 646 650 652 653 655 660 662 664 667 669 671 676 678 682 684 686 688 690 693 695 697 699 703 705 712 718 720 722 725 728 730 734 738 740 742 744 746 748 751 756 758 760 765 767 769 773 775 777 779 783 790 792 794 798 800 803 807 811 813 815 819 822 826 830 835 837 839 841 845 847 852 854 856 858 860 862 864 867 873 875 877 879 881 883 887 891 893 897 902 906 907 909 912 914 918 920 922 927 929 931 933 935 937 942 945 947 951 955 958 964 968 969 971 973 975 986 988 994 996 1000 1002 1004 1006 1008 1010 1014 1016 1020 1022 1024 1026 1031 1033 1035 1037 1042 1045 1047 1051 1054 1056 1060 1063 1066 1067 1070 1071 1074 1077 1079 1083 1087 1090 1092 1096 1097 1101 1104 1106 1107 1109 1113 1117 1122 1123 1125 1128 1132 1134 1136 1137 1139 1141 1145 1148 1150 1153 1155 1157 1160 1166 1168 1170 1171 1173 1178 1180 1184 1186 1188 1194 1196 1201 1203 1205 1210 1211 1215 t 1 5 10 12 14 16 19 21 23 25 27 32 34 38 40 42 45 47 49 53 55 57 62 64 66 68 72 74 78 80 84 86 91 93 95 97 99 101 103 110 112 114 116 118 120 121 123 125 131 137 139 141 145 147 151 153 155 159 161 165 167 172 176 178 181 183 188 190 191 195 202 204 208 210 212 214 216 219 221 225 227 230 234 236 238 240 245 249 253 256 258 262 263 268 269 271 273 277 279 281 286 288 290 294 295 297 300 304 307 309 313 316 318 320 323 325 331 337 339 341 343 349 351 353 355 357 359 361 366 368 370 374 376 378 380 382 387 389 394 396 400 402 404 407 409 411 413 415 417 419 421 425 427 429 433 436 440 441 443 447 452 454 456 458 460 464 467 472 474 476 478 479 481 485 489 493 500 503 507 513 515 517 520 526 528 530 534 536 540 544 545 548 550 553 555 558 560 561 565 568 571 573 575 577 582 584 586 592 593 599 601 605 607 611 613 615 618 622 624 629 631 634 636 642 644 646 650 652 653 655 660 662 664 667 669 671 676 678 682 684 686 688 690 693 695 697 699 703 705 712 718 720 722 725 728 730 734 738 740 742 744 746 748 751 756 758 760 765 767 769 773 775 777 779 783 790 792 794 798 800 803 807 811 813 815 819 822 826 830 835 837 839 841 845 847 854 856 858 860 862 864 867 873 875 877 879 881 883 887 891 893 897 902 906 907 909 912 914 918 920 922 927 929 931 933 935 937 942 945 947 951 955 958 964 968 969 971 973 975 986 988 994 996 1000 1002 1004 1006 1008 1010 1014 1016 1020 1022 1024 1026 1031 1033 1035 1037 1042 1045 1047 1051 1054 1056 1060 1063 1066 1067 1070 1071 1074 1077 1079 1083 1087 1090 1092 1096 1097 1101 1104 1106 1107 1109 1113 1117 1122 1123 1125 1128 1132 1134 1136 1137 1139 1141 1145 1148 1150 1153 1155 1157 1160 1166 1168 1170 1171 1173 1178 1180 1184 1186 1188 1194 1196 1201 1203 1205 1210 1211 1215 a YES a 1 5 10 12 14 16 19 21 23 25 27 32 34 38 40 42 45 47 49 53 55 57 62 64 66 68 72 74 78 80 84 86 91 93 95 97 99 101 103 110 112 114 116 118 120 121 123 125 131 137 139 141 145 147 151 153 155 159 161 165 167 172 176 178 181 183 188 190 191 195 202 204 208 210 212 214 216 219 221 225 227 230 234 236 238 240 245 249 253 256 258 262 263 268 269 271 273 277 279 281 286 288 290 294 295 297 300 304 307 309 313 316 318 320 323 325 331 337 339 341 343 349 351 353 355 357 359 361 366 368 370 374 376 378 380 382 387 389 394 396 400 402 404 407 409 411 413 415 417 419 421 425 427 429 433 436 440 441 443 447 452 454 456 458 460 464 467 472 474 476 478 479 481 485 489 493 500 503 507 513 515 517 520 526 528 530 534 536 540 544 545 548 550 553 555 558 560 561 565 568 571 573 575 577 582 584 586 592 593 601 605 607 611 613 615 618 622 624 629 631 634 636 642 644 646 650 652 653 655 660 662 664 667 669 671 676 678 682 684 686 688 690 693 695 697 699 703 705 712 718 720 722 725 728 730 734 738 740 742 744 746 748 751 756 758 760 765 767 769 773 775 777 779 783 790 792 794 798 800 803 807 811 813 815 819 822 826 830 835 837 839 841 845 847 852 854 856 858 860 862 864 867 873 875 877 879 881 883 887 891 893 897 902 906 907 909 912 914 918 920 922 927 929 931 933 935 937 942 945 947 951 955 958 964 968 969 971 973 975 986 988 994 996 1000 1002 1004 1006 1008 1010 1014 1016 1020 1022 1024 1026 1031 1033 1035 1037 1042 1045 1047 1051 1054 1056 1060 1063 1066 1067 1070 1071 1074 1077 1079 1083 1087 1090 1092 1096 1097 1101 1104 1106 1107 1109 1113 1117 1122 1123 1125 1128 1132 1134 1136 1137 1139 1141 1145 1148 1150 1153 1155 1157 1160 1166 1168 1170 1171 1173 1178 1180 1184 1186 1188 1194 1196 1201 1203 1205 1210 1211 1215 a 1 5 10 12 14 16 19 21 23 25 27 32 34 38 40 42 45 47 49 53 55 57 62 64 66 68 72 74 78 80 84 86 91 93 95 97 99 101 103 110 112 114 116 118 120 121 123 125 131 137 139 141 145 147 151 153 155 159 161 165 167 172 176 178 181 183 188 190 191 195 202 204 208 210 212 214 216 219 221 225 227 230 234 236 238 240 245 249 253 256 258 262 263 268 269 271 273 277 279 281 286 288 290 294 295 297 300 304 307 309 313 316 318 320 323 325 331 337 339 341 343 349 351 353 355 357 359 361 366 368 370 374 376 378 380 382 387 389 394 396 400 402 404 407 409 411 413 415 417 419 421 425 427 429 433 436 440 441 443 447 452 454 456 458 460 464 467 472 474 476 478 479 481 485 489 493 500 503 507 513 515 517 520 526 528 530 534 536 540 544 545 548 550 553 555 558 560 561 565 568 571 573 575 577 582 584 586 592 593 599 601 605 607 611 613 615 618 622 624 629 631 634 636 642 644 646 650 652 653 655 660 662 664 667 669 671 676 678 682 684 686 688 690 693 695 697 699 703 705 712 718 720 722 725 728 730 734 738 740 742 744 746 748 751 756 758 760 765 767 769 773 775 777 779 783 790 792 794 798 800 803 807 811 813 815 819 822 826 830 835 837 839 841 845 847 854 856 858 860 862 864 867 873 875 877 879 881 883 887 891 893 897 902 906 907 909 912 914 918 920 922 927 929 931 933 935 937 942 945 947 951 955 958 964 968 969 971 973 975 986 988 994 996 1000 1002 1004 1006 1008 1010 1014 1016 1020 1022 1024 1026 1031 1033 1035 1037 1042 1045 1047 1051 1054 1056 1060 1063 1066 1067 1070 1071 1074 1077 1079 1083 1087 1090 1092 1096 1097 1101 1104 1106 1107 1109 1113 1117 1122 1123 1125 1128 1132 1134 1136 1137 1139 1141 1145 1148 1150 1153 1155 1157 1160 1166 1168 1170 1171 1173 1178 1180 1184 1186 1188 1194 1196 1201 1203 1205 1210 1211 1215 Command being timed: "java -cp bin -Xmx54g SimpleSolver /benchmark/2022benchmark/benchmark/color04/ash608GPIA.col /benchmark/2022benchmark/benchmark/color04/ash608GPIA_02.dat" User time (seconds): 0.31 System time (seconds): 0.06 Percent of CPU this job got: 282% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.13 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): 143032 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 8 Minor (reclaiming a frame) page faults: 34190 Voluntary context switches: 1357 Involuntary context switches: 8 Swaps: 0 File system inputs: 0 File system outputs: 80 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Sat Sep 2 17:09:54 2023]