#BEGIN: [Fri Sep 8 15:34:44 2023] #HOST: s09 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-cpu-ai-planning2-shortest2 #INSTANCE1: /benchmark/2022benchmark/benchmark/color04/qg.order30.col #INSTANCE2: /benchmark/2022benchmark/benchmark/color04/qg.order30_02.dat #COMMAND: docker run --cap-add=CAP_SYS_RESOURCE --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning2 --config=shortest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/color04/qg.order30.col /benchmark/2022benchmark/benchmark/color04/qg.order30_02.dat s 8 51 78 119 140 157 190 229 268 292 303 332 385 404 424 465 503 511 549 575 613 641 684 737 756 792 826 866 900 t 45 89 91 134 152 203 236 257 282 306 354 388 408 425 453 487 532 559 581 610 657 690 706 741 758 793 819 844 895 a YES a 8 51 78 119 140 157 190 229 268 292 303 332 385 404 424 465 503 511 549 575 613 641 684 737 756 792 826 866 900 a 8 51 78 119 140 157 190 229 268 292 303 332 385 404 424 465 503 511 549 575 613 657 684 737 756 792 826 866 900 a 8 51 78 119 140 157 190 229 268 292 303 332 385 404 424 465 503 511 549 581 613 657 684 737 756 792 826 866 900 a 8 51 78 119 140 157 190 229 268 292 303 332 385 404 425 465 503 511 549 581 613 657 684 737 756 792 826 866 900 a 8 51 78 119 140 157 190 229 268 292 303 332 385 404 425 465 503 511 549 581 613 657 684 706 737 756 792 866 900 a 8 51 78 119 140 157 190 229 268 292 303 332 385 404 425 465 503 511 581 613 657 684 706 737 756 792 819 866 900 a 8 51 78 119 140 157 190 268 292 303 332 385 404 425 465 503 511 559 581 613 657 684 706 737 756 792 819 866 900 a 8 51 78 119 140 157 190 268 292 303 332 385 404 425 465 503 511 559 581 613 657 684 706 737 756 792 819 844 900 a 51 78 119 140 157 190 236 268 292 303 332 385 404 425 465 503 511 559 581 613 657 684 706 737 756 792 819 844 900 a 51 78 119 140 157 190 236 268 292 303 332 385 404 425 465 503 511 559 581 613 657 684 706 737 758 792 819 844 900 a 51 78 119 140 157 190 236 268 292 306 332 385 404 425 465 503 511 559 581 613 657 684 706 737 758 792 819 844 900 a 51 78 119 140 157 190 236 268 292 306 332 385 404 425 453 503 511 559 581 613 657 684 706 737 758 792 819 844 900 a 45 78 119 140 157 190 236 268 292 306 332 385 404 425 453 503 511 559 581 613 657 684 706 737 758 792 819 844 900 a 45 78 119 140 157 190 236 268 292 306 332 385 404 425 453 503 511 559 581 613 657 684 706 741 758 792 819 844 900 a 45 78 119 140 157 190 236 257 292 306 332 385 404 425 453 503 511 559 581 613 657 684 706 741 758 792 819 844 900 a 45 78 119 140 157 190 236 257 292 306 332 388 404 425 453 503 511 559 581 613 657 684 706 741 758 792 819 844 900 a 45 78 119 140 157 190 236 257 292 306 332 388 404 425 453 503 511 559 581 613 657 684 706 741 758 792 819 844 895 a 45 78 119 140 157 190 236 257 292 306 332 388 404 425 453 503 511 559 581 613 657 690 706 741 758 792 819 844 895 a 45 78 119 140 157 190 236 257 292 306 354 388 404 425 453 503 511 559 581 613 657 690 706 741 758 792 819 844 895 a 45 78 119 140 152 190 236 257 292 306 354 388 404 425 453 503 511 559 581 613 657 690 706 741 758 792 819 844 895 a 45 78 119 140 152 190 236 257 292 306 354 388 404 425 453 487 511 559 581 613 657 690 706 741 758 792 819 844 895 a 45 78 119 140 152 203 236 257 292 306 354 388 404 425 453 487 511 559 581 613 657 690 706 741 758 792 819 844 895 a 45 78 119 140 152 203 236 257 292 306 354 388 404 425 453 487 511 559 581 610 657 690 706 741 758 792 819 844 895 a 45 78 119 140 152 203 236 257 292 306 354 388 404 425 453 487 511 559 581 610 657 690 706 741 758 793 819 844 895 a 45 78 119 140 152 203 236 257 282 306 354 388 404 425 453 487 511 559 581 610 657 690 706 741 758 793 819 844 895 a 45 78 119 140 152 203 236 257 282 306 354 388 404 425 453 487 532 559 581 610 657 690 706 741 758 793 819 844 895 a 45 78 91 140 152 203 236 257 282 306 354 388 404 425 453 487 532 559 581 610 657 690 706 741 758 793 819 844 895 a 45 89 91 140 152 203 236 257 282 306 354 388 404 425 453 487 532 559 581 610 657 690 706 741 758 793 819 844 895 a 45 89 91 140 152 203 236 257 282 306 354 388 408 425 453 487 532 559 581 610 657 690 706 741 758 793 819 844 895 a 45 89 91 134 152 203 236 257 282 306 354 388 408 425 453 487 532 559 581 610 657 690 706 741 758 793 819 844 895 Command being timed: "/solvers/driver/run.py --config=shortest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/color04/qg.order30.col /benchmark/2022benchmark/benchmark/color04/qg.order30_02.dat" User time (seconds): 3455.40 System time (seconds): 25.75 Percent of CPU this job got: 200% Elapsed (wall clock) time (h:mm:ss or m:ss): 28:59.54 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): 20732308 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 25927571 Voluntary context switches: 68459 Involuntary context switches: 12875 Swaps: 0 File system inputs: 0 File system outputs: 1448 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Fri Sep 8 16:03:44 2023]