Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.57 | 1801.2 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-degen2.opb |
MD5SUM | ef301ecece8b2033bfa1fe9b39eee48a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 39.199 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 16020 |
Total number of constraints | 444 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 444 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 2550 |
Number of terms in the objective function | 14100 |
Biggest coefficient in the objective function | 3337 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 535636 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 131073 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 535636 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00 c Solving ROOT/tmp/node38/41372-1149336891/instance-41372-1149336891.opb ......
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node38/watcher-41372-1149336891 -o ROOT/results/node38/solver-41372-1149336891 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node38/41372-1149336891/instance-41372-1149336891.opb 352876525 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 3/64 13371 /proc/meminfo: memFree=1748888/2055920 swapFree=4181196/4192956 [pid=13371] ppid=13369 vsize=1400 CPUtime=0 /proc/13371/stat : 13371 (PBS4L) R 13369 13371 13325 0 -1 4194304 127 0 0 0 0 0 0 0 18 0 1 0 199355435 1433600 111 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140957 0 0 4096 0 0 0 0 17 1 0 0 /proc/13371/statm: 726 113 90 232 0 491 0 [startup+10.0025 s] /proc/loadavg: 0.93 0.98 0.99 2/64 13371 /proc/meminfo: memFree=1739808/2055920 swapFree=4181196/4192956 [pid=13371] ppid=13369 vsize=11636 CPUtime=9.99 /proc/13371/stat : 13371 (PBS4L) R 13369 13371 13325 0 -1 4194304 3362 0 0 0 998 1 0 0 25 0 1 0 199355435 11915264 2318 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/13371/statm: 2909 2318 105 232 0 2674 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 11636 [startup+20.0095 s] /proc/loadavg: 0.94 0.98 0.99 2/64 13371 /proc/meminfo: memFree=1739944/2055920 swapFree=4181196/4192956 [pid=13371] ppid=13369 vsize=11636 CPUtime=19.99 /proc/13371/stat : 13371 (PBS4L) R 13369 13371 13325 0 -1 4194304 3378 0 0 0 1998 1 0 0 25 0 1 0 199355435 11915264 2334 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0 /proc/13371/statm: 2909 2334 105 232 0 2674 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 11636 [startup+30.0154 s] /proc/loadavg: 0.95 0.98 0.99 2/64 13371 /proc/meminfo: memFree=1740008/2055920 swapFree=4181196/4192956 [pid=13371] ppid=13369 vsize=11636 CPUtime=29.99 /proc/13371/stat : 13371 (PBS4L) R 13369 13371 13325 0 -1 4194304 3393 0 0 0 2998 1 0 0 25 0 1 0 199355435 11915264 2349 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546650 0 0 4096 0 0 0 0 17 1 0 0 /proc/13371/statm: 2909 2349 105 232 0 2674 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 11636 [startup+40.0214 s] /proc/loadavg: 0.96 0.98 0.99 2/64 13371 /proc/meminfo: memFree=1740008/2055920 swapFree=4181196/4192956 [pid=13371] ppid=13369 vsize=11636 CPUtime=39.99 /proc/13371/stat : 13371 (PBS4L) R 13369 13371 13325 0 -1 4194304 3409 0 0 0 3998 1 0 0 25 0 1 0 199355435 11915264 2365 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551265 0 0 4096 0 0 0 0 17 1 0 0 /proc/13371/statm: 2909 2365 105 232 0 2674 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 11636 [startup+50.0273 s] /proc/loadavg: 0.96 0.98 0.99 2/64 13371 /proc/meminfo: memFree=1739944/2055920 swapFree=4181196/4192956 [pid=13371] ppid=13369 vsize=11892 CPUtime=50 /proc/13371/stat : 13371 (PBS4L) R 13369 13371 13325 0 -1 4194304 3425 0 0 0 4999 1 0 0 25 0 1 0 199355435 12177408 2381 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546663 0 0 4096 0 0 0 0 17 1 0 0 /proc/13371/statm: 2973 2381 105 232 0 2738 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 11892 [startup+60.0333 s] /proc/loadavg: 0.97 0.98 0.99 2/64 13371 /proc/meminfo: memFree=1739880/2055920 swapFree=4181196/4192956 [pid=13371] ppid=13369 vsize=11892 CPUtime=60 /proc/13371/stat : 13371 (PBS4L) R 13369 13371 13325 0 -1 4194304 3441 0 0 0 5999 1 0 0 25 0 1 0 199355435 12177408 2397 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/13371/statm: 2973 2397 105 232 0 2738 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 11892 [startup+70.0392 s] /proc/loadavg: 0.97 0.98 0.99 2/64 13371 /proc/meminfo: memFree=1739816/2055920 swapFree=4181196/4192956 [pid=13371] ppid=13369 vsize=11892 CPUtime=70.01 /proc/13371/stat : 13371 (PBS4L) R 13369 13371 13325 0 -1 4194304 3458 0 0 0 6999 2 0 0 25 0 1 0 199355435 12177408 2414 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551496 0 0 4096 0 0 0 0 17 1 0 0 /proc/13371/statm: 2973 2414 105 232 0 2738 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 11892 [startup+80.0451 s] /proc/loadavg: 0.98 0.98 0.99 2/64 13371 /proc/meminfo: memFree=1739752/2055920 swapFree=4181196/4192956 [pid=13371] ppid=13369 vsize=11892 CPUtime=80.01 /proc/13371/stat : 13371 (PBS4L) R 13369 13371 13325 0 -1 4194304 3474 0 0 0 7999 2 0 0 25 0 1 0 199355435 12177408 2430 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/13371/statm: 2973 2430 105 232 0 2738 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 11892 [startup+90.0511 s] /proc/loadavg: 0.98 0.98 0.99 2/64 13371 /proc/meminfo: memFree=1739688/2055920 swapFree=4181196/4192956 [pid=13371] ppid=13369 vsize=12404 CPUtime=90.01 /proc/13371/stat : 13371 (PBS4L) R 13369 13371 13325 0 -1 4194304 3490 0 0 0 8999 2 0 0 25 0 1 0 199355435 12701696 2446 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13371/statm: 3101 2446 105 232 0 2866 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 12404 [startup+100.057 s] /proc/loadavg: 0.98 0.98 0.99 2/64 13371 /proc/meminfo: memFree=1739624/2055920 swapFree=4181196/4192956 [pid=13371] ppid=13369 vsize=12404 CPUtime=100.01 /proc/13371/stat : 13371 (PBS4L) R 13369 13371 13325 0 -1 4194304 3506 0 0 0 9999 2 0 0 25 0 1 0 199355435 12701696 2462 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546663 0 0 4096 0 0 0 0 17 1 0 0 /proc/13371/statm: 3101 2462 105 232 0 2866 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 12404 [startup+110.063 s] /proc/loadavg: 0.98 0.98 0.99 2/64 13371 /proc/meminfo: memFree=1739560/2055920 swapFree=4181196/4192956 [pid=13371] ppid=13369 vsize=12404 CPUtime=110.01 /proc/13371/stat : 13371 (PBS4L) R 13369 13371 13325 0 -1 4194304 3522 0 0 0 10999 2 0 0 25 0 1 0 199355435 12701696 2478 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0 /proc/13371/statm: 3101 2478 105 232 0 2866 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 12404 [startup+120.069 s] /proc/loadavg: 0.99 0.98 0.99 2/64 13371 /proc/meminfo: memFree=1739496/2055920 swapFree=4181196/4192956 [pid=13371] ppid=13369 vsize=12404 CPUtime=120.01 /proc/13371/stat : 13371 (PBS4L) R 13369 13371 13325 0 -1 4194304 3538 0 0 0 11999 2 0 0 25 0 1 0 199355435 12701696 2494 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549323 0 0 4096 0 0 0 0 17 1 0 0 /proc/13371/statm: 3101 2494 105 232 0 2866 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 12404 [startup+130.075 s] /proc/loadavg: 0.99 0.98 0.99 2/64 13371 /proc/meminfo: memFree=1739432/2055920 swapFree=4181196/4192956 [pid=13371] ppid=13369 vsize=12404 CPUtime=130.02 /proc/13371/stat : 13371 (PBS4L) R 13369 13371 13325 0 -1 4194304 3552 0 0 0 13000 2 0 0 25 0 1 0 199355435 12701696 2508 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546657 0 0 4096 0 0 0 0 17 1 0 0 /proc/13371/statm: 3101 2508 105 232 0 2866 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 12404 [startup+140.081 s] /proc/loadavg: 0.99 0.98 0.99 2/64 13371 /proc/meminfo: memFree=1739368/2055920 swapFree=4181196/4192956 [pid=13371] ppid=13369 vsize=12404 CPUtime=140.02 /proc/13371/stat : 13371 (PBS4L) R 13369 13371 13325 0 -1 4194304 3569 0 0 0 14000 2 0 0 25 0 1 0 199355435 12701696 2525 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/13371/statm: 3101 2525 105 232 0 2866 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 12404 [startup+150.087 s] /proc/loadavg: 0.99 0.98 0.99 2/64 13371 /proc/meminfo: memFree=1739304/2055920 swapFree=4181196/4192956 [pid=13371] ppid=13369 vsize=12404 CPUtime=150.02 /proc/13371/stat : 13371 (PBS4L) R 13369 13371 13325 0 -1 4194304 3586 0 0 0 15000 2 0 0 25 0 1 0 199355435 12701696 2542 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551596 0 0 4096 0 0 0 0 17 1 0 0 /proc/13371/statm: 3101 2542 105 232 0 2866 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 12404 [startup+160.093 s] /proc/loadavg: 0.99 0.98 0.99 2/64 13371 /proc/meminfo: memFree=1739240/2055920 swapFree=4181196/4192956 [pid=13371] ppid=13369 vsize=12404 CPUtime=160.02 /proc/13371/stat : 13371 (PBS4L) R 13369 13371 13325 0 -1 4194304 3604 0 0 0 16000 2 0 0 25 0 1 0 199355435 12701696 2560 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/13371/statm: 3101 2560 105 232 0 2866 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 12404 [startup+170.099 s] /proc/loadavg: 0.99 0.98 0.99 2/64 13371 /proc/meminfo: memFree=1739112/2055920 swapFree=4181196/4192956 [pid=13371] ppid=13369 vsize=13428 CPUtime=170.02 /proc/13371/stat : 13371 (PBS4L) R 13369 13371 13325 0 -1 4194304 3623 0 0 0 17000 2 0 0 25 0 1 0 199355435 13750272 2579 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/13371/statm: 3357 2579 105 232 0 3122 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 13428 [startup+180.105 s] /proc/loadavg: 0.99 0.98 0.99 2/64 13371 /proc/meminfo: memFree=1739048/2055920 swapFree=4181196/4192956 [pid=13371] ppid=13369 vsize=13428 CPUtime=180.04 /proc/13371/stat : 13371 (PBS4L) R 13369 13371 13325 0 -1 4194304 3638 0 0 0 18001 3 0 0 25 0 1 0 199355435 13750272 2594 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/13371/statm: 3357 2594 105 232 0 3122 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 13428 [startup+190.111 s] /proc/loadavg: 0.99 0.98 0.99 2/64 13371 /proc/meminfo: memFree=1738984/2055920 swapFree=4181196/4192956 [pid=13371] ppid=13369 vsize=13428 CPUtime=190.04 /proc/13371/stat : 13371 (PBS4L) R 13369 13371 13325 0 -1 4194304 3654 0 0 0 19001 3 0 0 25 0 1 0 199355435 13750272 2610 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551638 0 0 4096 0 0 0 0 17 1 0 0 /proc/13371/statm: 3357 2610 105 232 0 3122 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 13428 [startup+200.117 s] /proc/loadavg: 0.99 0.98 0.99 2/64 13371 /proc/meminfo: memFree=1738920/2055920 swapFree=4181196/4192956 [pid=13371] ppid=13369 vsize=13428 CPUtime=200.04 /proc/13371/stat : 13371 (PBS4L) R 13369 13371 13325 0 -1 4194304 3672 0 0 0 20001 3 0 0 25 0 1 0 199355435 13750272 2628 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549300 0 0 4096 0 0 0 0 17 1 0 0 /proc/13371/statm: 3357 2628 105 232 0 3122 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 13428 [startup+210.122 s] /proc/loadavg: 0.99 0.98 0.99 2/64 13371 /proc/meminfo: memFree=1738856/2055920 swapFree=4181196/4192956 ################ # More data... # ################ /proc/13371/stat : 13371 (PBS4L) R 13369 13371 13325 0 -1 4194304 6192 0 0 0 178134 12 0 0 25 0 1 0 199355435 29188096 5148 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0 /proc/13371/statm: 7126 5148 105 232 0 6891 0 Current children cumulated CPU time (s) 1781.46 Current children cumulated vsize (Kb) 28504 [startup+1783.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13373 /proc/meminfo: memFree=1728560/2055920 swapFree=4181196/4192956 [pid=13371] ppid=13369 vsize=28504 CPUtime=1782.47 /proc/13371/stat : 13371 (PBS4L) R 13369 13371 13325 0 -1 4194304 6192 0 0 0 178235 12 0 0 25 0 1 0 199355435 29188096 5148 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551265 0 0 4096 0 0 0 0 17 1 0 0 /proc/13371/statm: 7126 5148 105 232 0 6891 0 Current children cumulated CPU time (s) 1782.47 Current children cumulated vsize (Kb) 28504 [startup+1784.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13373 /proc/meminfo: memFree=1728560/2055920 swapFree=4181196/4192956 [pid=13371] ppid=13369 vsize=28504 CPUtime=1783.47 /proc/13371/stat : 13371 (PBS4L) R 13369 13371 13325 0 -1 4194304 6192 0 0 0 178335 12 0 0 25 0 1 0 199355435 29188096 5148 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551638 0 0 4096 0 0 0 0 17 1 0 0 /proc/13371/statm: 7126 5148 105 232 0 6891 0 Current children cumulated CPU time (s) 1783.47 Current children cumulated vsize (Kb) 28504 [startup+1785.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13373 /proc/meminfo: memFree=1728560/2055920 swapFree=4181196/4192956 [pid=13371] ppid=13369 vsize=28504 CPUtime=1784.48 /proc/13371/stat : 13371 (PBS4L) R 13369 13371 13325 0 -1 4194304 6192 0 0 0 178436 12 0 0 25 0 1 0 199355435 29188096 5148 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/13371/statm: 7126 5148 105 232 0 6891 0 Current children cumulated CPU time (s) 1784.48 Current children cumulated vsize (Kb) 28504 [startup+1786.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13373 /proc/meminfo: memFree=1728560/2055920 swapFree=4181196/4192956 [pid=13371] ppid=13369 vsize=28504 CPUtime=1785.48 /proc/13371/stat : 13371 (PBS4L) R 13369 13371 13325 0 -1 4194304 6192 0 0 0 178536 12 0 0 25 0 1 0 199355435 29188096 5148 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/13371/statm: 7126 5148 105 232 0 6891 0 Current children cumulated CPU time (s) 1785.48 Current children cumulated vsize (Kb) 28504 [startup+1787.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13373 /proc/meminfo: memFree=1728560/2055920 swapFree=4181196/4192956 [pid=13371] ppid=13369 vsize=28504 CPUtime=1786.49 /proc/13371/stat : 13371 (PBS4L) R 13369 13371 13325 0 -1 4194304 6192 0 0 0 178637 12 0 0 25 0 1 0 199355435 29188096 5148 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0 /proc/13371/statm: 7126 5148 105 232 0 6891 0 Current children cumulated CPU time (s) 1786.49 Current children cumulated vsize (Kb) 28504 [startup+1788.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13373 /proc/meminfo: memFree=1728560/2055920 swapFree=4181196/4192956 [pid=13371] ppid=13369 vsize=28504 CPUtime=1787.49 /proc/13371/stat : 13371 (PBS4L) R 13369 13371 13325 0 -1 4194304 6192 0 0 0 178737 12 0 0 25 0 1 0 199355435 29188096 5148 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/13371/statm: 7126 5148 105 232 0 6891 0 Current children cumulated CPU time (s) 1787.49 Current children cumulated vsize (Kb) 28504 [startup+1789.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13373 /proc/meminfo: memFree=1728560/2055920 swapFree=4181196/4192956 [pid=13371] ppid=13369 vsize=28504 CPUtime=1788.5 /proc/13371/stat : 13371 (PBS4L) R 13369 13371 13325 0 -1 4194304 6192 0 0 0 178838 12 0 0 25 0 1 0 199355435 29188096 5148 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/13371/statm: 7126 5148 105 232 0 6891 0 Current children cumulated CPU time (s) 1788.5 Current children cumulated vsize (Kb) 28504 [startup+1790.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13373 /proc/meminfo: memFree=1728560/2055920 swapFree=4181196/4192956 [pid=13371] ppid=13369 vsize=28504 CPUtime=1789.5 /proc/13371/stat : 13371 (PBS4L) R 13369 13371 13325 0 -1 4194304 6192 0 0 0 178938 12 0 0 25 0 1 0 199355435 29188096 5148 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551621 0 0 4096 0 0 0 0 17 1 0 0 /proc/13371/statm: 7126 5148 105 232 0 6891 0 Current children cumulated CPU time (s) 1789.5 Current children cumulated vsize (Kb) 28504 [startup+1791.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13373 /proc/meminfo: memFree=1728560/2055920 swapFree=4181196/4192956 [pid=13371] ppid=13369 vsize=28504 CPUtime=1790.5 /proc/13371/stat : 13371 (PBS4L) R 13369 13371 13325 0 -1 4194304 6192 0 0 0 179038 12 0 0 25 0 1 0 199355435 29188096 5148 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546650 0 0 4096 0 0 0 0 17 1 0 0 /proc/13371/statm: 7126 5148 105 232 0 6891 0 Current children cumulated CPU time (s) 1790.5 Current children cumulated vsize (Kb) 28504 [startup+1792.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13373 /proc/meminfo: memFree=1728560/2055920 swapFree=4181196/4192956 [pid=13371] ppid=13369 vsize=28504 CPUtime=1791.51 /proc/13371/stat : 13371 (PBS4L) R 13369 13371 13325 0 -1 4194304 6192 0 0 0 179139 12 0 0 25 0 1 0 199355435 29188096 5148 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/13371/statm: 7126 5148 105 232 0 6891 0 Current children cumulated CPU time (s) 1791.51 Current children cumulated vsize (Kb) 28504 [startup+1793.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13373 /proc/meminfo: memFree=1728560/2055920 swapFree=4181196/4192956 [pid=13371] ppid=13369 vsize=28504 CPUtime=1792.51 /proc/13371/stat : 13371 (PBS4L) R 13369 13371 13325 0 -1 4194304 6194 0 0 0 179239 12 0 0 25 0 1 0 199355435 29188096 5150 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/13371/statm: 7126 5150 105 232 0 6891 0 Current children cumulated CPU time (s) 1792.51 Current children cumulated vsize (Kb) 28504 [startup+1794.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13373 /proc/meminfo: memFree=1728560/2055920 swapFree=4181196/4192956 [pid=13371] ppid=13369 vsize=28504 CPUtime=1793.52 /proc/13371/stat : 13371 (PBS4L) R 13369 13371 13325 0 -1 4194304 6194 0 0 0 179340 12 0 0 25 0 1 0 199355435 29188096 5150 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/13371/statm: 7126 5150 105 232 0 6891 0 Current children cumulated CPU time (s) 1793.52 Current children cumulated vsize (Kb) 28504 [startup+1795.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13373 /proc/meminfo: memFree=1728560/2055920 swapFree=4181196/4192956 [pid=13371] ppid=13369 vsize=28504 CPUtime=1794.52 /proc/13371/stat : 13371 (PBS4L) R 13369 13371 13325 0 -1 4194304 6194 0 0 0 179440 12 0 0 25 0 1 0 199355435 29188096 5150 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549318 0 0 4096 0 0 0 0 17 1 0 0 /proc/13371/statm: 7126 5150 105 232 0 6891 0 Current children cumulated CPU time (s) 1794.52 Current children cumulated vsize (Kb) 28504 [startup+1796.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13373 /proc/meminfo: memFree=1728560/2055920 swapFree=4181196/4192956 [pid=13371] ppid=13369 vsize=28504 CPUtime=1795.53 /proc/13371/stat : 13371 (PBS4L) R 13369 13371 13325 0 -1 4194304 6195 0 0 0 179541 12 0 0 25 0 1 0 199355435 29188096 5151 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551252 0 0 4096 0 0 0 0 17 1 0 0 /proc/13371/statm: 7126 5151 105 232 0 6891 0 Current children cumulated CPU time (s) 1795.53 Current children cumulated vsize (Kb) 28504 [startup+1797.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13373 /proc/meminfo: memFree=1728560/2055920 swapFree=4181196/4192956 [pid=13371] ppid=13369 vsize=28504 CPUtime=1796.53 /proc/13371/stat : 13371 (PBS4L) R 13369 13371 13325 0 -1 4194304 6195 0 0 0 179641 12 0 0 25 0 1 0 199355435 29188096 5151 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/13371/statm: 7126 5151 105 232 0 6891 0 Current children cumulated CPU time (s) 1796.53 Current children cumulated vsize (Kb) 28504 [startup+1798.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13373 /proc/meminfo: memFree=1728560/2055920 swapFree=4181196/4192956 [pid=13371] ppid=13369 vsize=28504 CPUtime=1797.54 /proc/13371/stat : 13371 (PBS4L) R 13369 13371 13325 0 -1 4194304 6195 0 0 0 179742 12 0 0 25 0 1 0 199355435 29188096 5151 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/13371/statm: 7126 5151 105 232 0 6891 0 Current children cumulated CPU time (s) 1797.54 Current children cumulated vsize (Kb) 28504 [startup+1799.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13373 /proc/meminfo: memFree=1728560/2055920 swapFree=4181196/4192956 [pid=13371] ppid=13369 vsize=28504 CPUtime=1798.54 /proc/13371/stat : 13371 (PBS4L) R 13369 13371 13325 0 -1 4194304 6195 0 0 0 179842 12 0 0 25 0 1 0 199355435 29188096 5151 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/13371/statm: 7126 5151 105 232 0 6891 0 Current children cumulated CPU time (s) 1798.54 Current children cumulated vsize (Kb) 28504 [startup+1800.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13373 /proc/meminfo: memFree=1728560/2055920 swapFree=4181196/4192956 [pid=13371] ppid=13369 vsize=28504 CPUtime=1799.54 /proc/13371/stat : 13371 (PBS4L) R 13369 13371 13325 0 -1 4194304 6195 0 0 0 179942 12 0 0 25 0 1 0 199355435 29188096 5151 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/13371/statm: 7126 5151 105 232 0 6891 0 Current children cumulated CPU time (s) 1799.54 Current children cumulated vsize (Kb) 28504 [startup+1801.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13373 /proc/meminfo: memFree=1728560/2055920 swapFree=4181196/4192956 [pid=13371] ppid=13369 vsize=28504 CPUtime=1800.55 /proc/13371/stat : 13371 (PBS4L) R 13369 13371 13325 0 -1 4194304 6195 0 0 0 180043 12 0 0 25 0 1 0 199355435 29188096 5151 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546643 0 0 4096 0 0 0 0 17 1 0 0 /proc/13371/statm: 7126 5151 105 232 0 6891 0 Current children cumulated CPU time (s) 1800.55 Current children cumulated vsize (Kb) 28504 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13373 /proc/meminfo: memFree=1728560/2055920 swapFree=4181196/4192956 [pid=13371] ppid=13369 vsize=28504 CPUtime=1800.55 /proc/13371/stat : 13371 (PBS4L) R 13369 13371 13325 0 -1 4194304 6195 0 0 0 180043 12 0 0 25 0 1 0 199355435 29188096 5151 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0 /proc/13371/statm: 7126 5151 105 232 0 6891 0 Current children cumulated CPU time (s) 1800.55 Current children cumulated vsize (Kb) 28504 Sending SIGTERM to -13371 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.2 CPU time (s): 1800.57 CPU user time (s): 1800.44 CPU system time (s): 0.133979 CPU usage (%): 99.965 Max. virtual memory (cumulated for all children) (Kb): 28504 The end
Begin job on node38 on Sat Jun 3 12:14:51 UTC 2006 FILE ID= 41372-1149336891 PBS_JOBID= 310200 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-degen2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node38/41372-1149336891/instance-41372-1149336891.opb 352876525 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-41372-1149336891 -o ROOT/results/node38/solver-41372-1149336891 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node38/41372-1149336891/instance-41372-1149336891.opb 352876525 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= ef301ecece8b2033bfa1fe9b39eee48a RANDOM SEED= 352876525 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.267 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.267 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1749096 kB Buffers: 22340 kB Cached: 217952 kB SwapCached: 3420 kB Active: 49724 kB Inactive: 199260 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1749096 kB SwapTotal: 4192956 kB SwapFree: 4181196 kB Dirty: 196 kB Writeback: 0 kB Mapped: 14904 kB Slab: 43872 kB Committed_AS: 314400 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node38 on Sat Jun 3 12:44:53 UTC 2006