Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.43 | 1801.16 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-bandm.opb |
MD5SUM | b002a5dc99ccd859f0d9410c5cb7a1b7 |
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 | 0.506922 |
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 | 14160 |
Total number of constraints | 305 |
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 | 305 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 2100 |
Number of terms in the objective function | 4710 |
Biggest coefficient in the objective function | 6176 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 528047 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 528047 |
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/node89/41363-1149334884/instance-41363-1149334884.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/node89/watcher-41363-1149334884 -o ROOT/results/node89/solver-41363-1149334884 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node89/41363-1149334884/instance-41363-1149334884.opb 20961409 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 3/68 27039 /proc/meminfo: memFree=1866448/2055892 swapFree=4085352/4096564 [pid=27039] ppid=27037 vsize=2728 CPUtime=0 /proc/27039/stat : 27039 (PBS4L) R 27037 27039 26993 0 -1 4194304 223 0 0 0 0 0 0 0 18 0 1 0 199127440 2793472 208 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134599096 0 0 4096 0 0 0 0 17 1 0 0 /proc/27039/statm: 682 209 90 232 0 447 0 [startup+10.0022 s] /proc/loadavg: 0.93 0.95 0.90 2/68 27039 /proc/meminfo: memFree=1858320/2055892 swapFree=4085352/4096564 [pid=27039] ppid=27037 vsize=10732 CPUtime=9.99 /proc/27039/stat : 27039 (PBS4L) R 27037 27039 26993 0 -1 4194304 2481 0 0 0 998 1 0 0 25 0 1 0 199127440 10989568 2126 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0 /proc/27039/statm: 2683 2126 105 232 0 2448 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 10732 [startup+20.008 s] /proc/loadavg: 0.94 0.96 0.91 2/68 27039 /proc/meminfo: memFree=1858320/2055892 swapFree=4085352/4096564 [pid=27039] ppid=27037 vsize=10732 CPUtime=19.99 /proc/27039/stat : 27039 (PBS4L) R 27037 27039 26993 0 -1 4194304 2523 0 0 0 1998 1 0 0 25 0 1 0 199127440 10989568 2168 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549211 0 0 4096 0 0 0 0 17 1 0 0 /proc/27039/statm: 2683 2168 105 232 0 2448 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 10732 [startup+30.0139 s] /proc/loadavg: 0.95 0.96 0.91 2/68 27039 /proc/meminfo: memFree=1858128/2055892 swapFree=4085352/4096564 [pid=27039] ppid=27037 vsize=11244 CPUtime=30 /proc/27039/stat : 27039 (PBS4L) R 27037 27039 26993 0 -1 4194304 2569 0 0 0 2999 1 0 0 25 0 1 0 199127440 11513856 2214 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0 /proc/27039/statm: 2811 2214 105 232 0 2576 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 11244 [startup+40.0197 s] /proc/loadavg: 0.95 0.96 0.91 2/68 27039 /proc/meminfo: memFree=1858064/2055892 swapFree=4085352/4096564 [pid=27039] ppid=27037 vsize=11244 CPUtime=39.99 /proc/27039/stat : 27039 (PBS4L) R 27037 27039 26993 0 -1 4194304 2606 0 0 0 3998 1 0 0 25 0 1 0 199127440 11513856 2251 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549318 0 0 4096 0 0 0 0 17 1 0 0 /proc/27039/statm: 2811 2251 105 232 0 2576 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 11244 [startup+50.0256 s] /proc/loadavg: 0.96 0.96 0.91 2/68 27039 /proc/meminfo: memFree=1857936/2055892 swapFree=4085352/4096564 [pid=27039] ppid=27037 vsize=11244 CPUtime=50 /proc/27039/stat : 27039 (PBS4L) R 27037 27039 26993 0 -1 4194304 2655 0 0 0 4999 1 0 0 25 0 1 0 199127440 11513856 2300 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/27039/statm: 2811 2300 105 232 0 2576 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 11244 [startup+60.0315 s] /proc/loadavg: 0.97 0.96 0.91 2/68 27039 /proc/meminfo: memFree=1857744/2055892 swapFree=4085352/4096564 [pid=27039] ppid=27037 vsize=12268 CPUtime=60.01 /proc/27039/stat : 27039 (PBS4L) R 27037 27039 26993 0 -1 4194304 2699 0 0 0 5999 2 0 0 25 0 1 0 199127440 12562432 2344 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/27039/statm: 3067 2344 105 232 0 2832 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 12268 [startup+70.0373 s] /proc/loadavg: 0.97 0.96 0.91 2/68 27041 /proc/meminfo: memFree=1857552/2055892 swapFree=4085352/4096564 [pid=27039] ppid=27037 vsize=12268 CPUtime=70.01 /proc/27039/stat : 27039 (PBS4L) R 27037 27039 26993 0 -1 4194304 2743 0 0 0 6999 2 0 0 25 0 1 0 199127440 12562432 2388 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549336 0 0 4096 0 0 0 0 17 1 0 0 /proc/27039/statm: 3067 2388 105 232 0 2832 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 12268 [startup+80.0432 s] /proc/loadavg: 0.98 0.96 0.91 2/68 27041 /proc/meminfo: memFree=1857360/2055892 swapFree=4085352/4096564 [pid=27039] ppid=27037 vsize=12268 CPUtime=80.01 /proc/27039/stat : 27039 (PBS4L) R 27037 27039 26993 0 -1 4194304 2789 0 0 0 7999 2 0 0 25 0 1 0 199127440 12562432 2434 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549323 0 0 4096 0 0 0 0 17 1 0 0 /proc/27039/statm: 3067 2434 105 232 0 2832 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 12268 [startup+90.0491 s] /proc/loadavg: 0.98 0.96 0.91 2/68 27041 /proc/meminfo: memFree=1857168/2055892 swapFree=4085352/4096564 [pid=27039] ppid=27037 vsize=12268 CPUtime=90.01 /proc/27039/stat : 27039 (PBS4L) R 27037 27039 26993 0 -1 4194304 2835 0 0 0 8999 2 0 0 25 0 1 0 199127440 12562432 2480 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/27039/statm: 3067 2480 105 232 0 2832 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 12268 [startup+100.055 s] /proc/loadavg: 0.98 0.96 0.91 2/68 27041 /proc/meminfo: memFree=1856912/2055892 swapFree=4085352/4096564 [pid=27039] ppid=27037 vsize=12268 CPUtime=100.01 /proc/27039/stat : 27039 (PBS4L) R 27037 27039 26993 0 -1 4194304 2889 0 0 0 9999 2 0 0 25 0 1 0 199127440 12562432 2534 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/27039/statm: 3067 2534 105 232 0 2832 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 12268 [startup+110.061 s] /proc/loadavg: 0.98 0.96 0.91 2/68 27041 /proc/meminfo: memFree=1856848/2055892 swapFree=4085352/4096564 [pid=27039] ppid=27037 vsize=14316 CPUtime=110.01 /proc/27039/stat : 27039 (PBS4L) R 27037 27039 26993 0 -1 4194304 2930 0 0 0 10999 2 0 0 25 0 1 0 199127440 14659584 2575 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552771 0 0 4096 0 0 0 0 17 1 0 0 /proc/27039/statm: 3579 2575 105 232 0 3344 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 14316 [startup+120.067 s] /proc/loadavg: 0.99 0.97 0.91 2/68 27041 /proc/meminfo: memFree=1856656/2055892 swapFree=4085352/4096564 [pid=27039] ppid=27037 vsize=14316 CPUtime=120.01 /proc/27039/stat : 27039 (PBS4L) R 27037 27039 26993 0 -1 4194304 2973 0 0 0 11999 2 0 0 25 0 1 0 199127440 14659584 2618 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551329 0 0 4096 0 0 0 0 17 1 0 0 /proc/27039/statm: 3579 2618 105 232 0 3344 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 14316 [startup+130.073 s] /proc/loadavg: 0.99 0.97 0.91 2/68 27041 /proc/meminfo: memFree=1856272/2055892 swapFree=4085352/4096564 [pid=27039] ppid=27037 vsize=14316 CPUtime=130.02 /proc/27039/stat : 27039 (PBS4L) R 27037 27039 26993 0 -1 4194304 3068 0 0 0 13000 2 0 0 25 0 1 0 199127440 14659584 2713 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/27039/statm: 3579 2713 105 232 0 3344 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 14316 [startup+140.078 s] /proc/loadavg: 0.99 0.97 0.91 2/68 27041 /proc/meminfo: memFree=1855696/2055892 swapFree=4085352/4096564 [pid=27039] ppid=27037 vsize=14316 CPUtime=140.02 /proc/27039/stat : 27039 (PBS4L) R 27037 27039 26993 0 -1 4194304 3205 0 0 0 13999 3 0 0 25 0 1 0 199127440 14659584 2850 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549273 0 0 4096 0 0 0 0 17 1 0 0 /proc/27039/statm: 3579 2850 105 232 0 3344 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 14316 [startup+150.084 s] /proc/loadavg: 0.99 0.97 0.91 2/68 27041 /proc/meminfo: memFree=1855312/2055892 swapFree=4085352/4096564 [pid=27039] ppid=27037 vsize=14316 CPUtime=150.03 /proc/27039/stat : 27039 (PBS4L) R 27037 27039 26993 0 -1 4194304 3304 0 0 0 15000 3 0 0 25 0 1 0 199127440 14659584 2949 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551331 0 0 4096 0 0 0 0 17 1 0 0 /proc/27039/statm: 3579 2949 105 232 0 3344 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 14316 [startup+160.09 s] /proc/loadavg: 0.99 0.97 0.91 2/68 27041 /proc/meminfo: memFree=1854992/2055892 swapFree=4085352/4096564 [pid=27039] ppid=27037 vsize=14316 CPUtime=160.03 /proc/27039/stat : 27039 (PBS4L) R 27037 27039 26993 0 -1 4194304 3380 0 0 0 16000 3 0 0 25 0 1 0 199127440 14659584 3025 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546640 0 0 4096 0 0 0 0 17 1 0 0 /proc/27039/statm: 3579 3025 105 232 0 3344 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 14316 [startup+170.096 s] /proc/loadavg: 0.99 0.97 0.91 2/68 27041 /proc/meminfo: memFree=1854672/2055892 swapFree=4085352/4096564 [pid=27039] ppid=27037 vsize=18412 CPUtime=170.03 /proc/27039/stat : 27039 (PBS4L) R 27037 27039 26993 0 -1 4194304 3454 0 0 0 17000 3 0 0 25 0 1 0 199127440 18853888 3099 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/27039/statm: 4603 3099 105 232 0 4368 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 18412 [startup+180.102 s] /proc/loadavg: 0.99 0.97 0.91 2/68 27041 /proc/meminfo: memFree=1854352/2055892 swapFree=4085352/4096564 [pid=27039] ppid=27037 vsize=18412 CPUtime=180.03 /proc/27039/stat : 27039 (PBS4L) R 27037 27039 26993 0 -1 4194304 3534 0 0 0 18000 3 0 0 25 0 1 0 199127440 18853888 3179 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0 /proc/27039/statm: 4603 3179 105 232 0 4368 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 18412 [startup+190.108 s] /proc/loadavg: 0.99 0.97 0.91 2/68 27041 /proc/meminfo: memFree=1854160/2055892 swapFree=4085352/4096564 [pid=27039] ppid=27037 vsize=18412 CPUtime=190.03 /proc/27039/stat : 27039 (PBS4L) R 27037 27039 26993 0 -1 4194304 3604 0 0 0 19000 3 0 0 25 0 1 0 199127440 18853888 3249 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/27039/statm: 4603 3249 105 232 0 4368 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 18412 [startup+200.114 s] /proc/loadavg: 0.99 0.97 0.91 2/68 27041 /proc/meminfo: memFree=1853776/2055892 swapFree=4085352/4096564 [pid=27039] ppid=27037 vsize=18412 CPUtime=200.03 /proc/27039/stat : 27039 (PBS4L) R 27037 27039 26993 0 -1 4194304 3697 0 0 0 20000 3 0 0 25 0 1 0 199127440 18853888 3342 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/27039/statm: 4603 3342 105 232 0 4368 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 18412 [startup+210.119 s] /proc/loadavg: 0.99 0.97 0.91 2/68 27041 /proc/meminfo: memFree=1853456/2055892 swapFree=4085352/4096564 ################ # More data... # ################ /proc/27039/stat : 27039 (PBS4L) R 27037 27039 26993 0 -1 4194304 13502 0 0 0 178099 34 0 0 25 0 1 0 199127440 86011904 12472 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549306 0 0 4096 0 0 0 0 17 1 0 0 /proc/27039/statm: 20999 12472 105 232 0 20764 0 Current children cumulated CPU time (s) 1781.33 Current children cumulated vsize (Kb) 83996 [startup+1783.06 s] /proc/loadavg: 1.00 0.99 0.91 2/68 27236 /proc/meminfo: memFree=1816848/2055892 swapFree=4085352/4096564 [pid=27039] ppid=27037 vsize=83996 CPUtime=1782.33 /proc/27039/stat : 27039 (PBS4L) R 27037 27039 26993 0 -1 4194304 13503 0 0 0 178199 34 0 0 25 0 1 0 199127440 86011904 12473 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549259 0 0 4096 0 0 0 0 17 1 0 0 /proc/27039/statm: 20999 12473 105 232 0 20764 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (Kb) 83996 [startup+1784.06 s] /proc/loadavg: 1.00 0.99 0.91 2/68 27236 /proc/meminfo: memFree=1816848/2055892 swapFree=4085352/4096564 [pid=27039] ppid=27037 vsize=83996 CPUtime=1783.34 /proc/27039/stat : 27039 (PBS4L) R 27037 27039 26993 0 -1 4194304 13503 0 0 0 178300 34 0 0 25 0 1 0 199127440 86011904 12473 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/27039/statm: 20999 12473 105 232 0 20764 0 Current children cumulated CPU time (s) 1783.34 Current children cumulated vsize (Kb) 83996 [startup+1785.06 s] /proc/loadavg: 1.00 0.99 0.91 2/68 27236 /proc/meminfo: memFree=1816848/2055892 swapFree=4085352/4096564 [pid=27039] ppid=27037 vsize=83996 CPUtime=1784.34 /proc/27039/stat : 27039 (PBS4L) R 27037 27039 26993 0 -1 4194304 13505 0 0 0 178400 34 0 0 25 0 1 0 199127440 86011904 12475 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549306 0 0 4096 0 0 0 0 17 1 0 0 /proc/27039/statm: 20999 12475 105 232 0 20764 0 Current children cumulated CPU time (s) 1784.34 Current children cumulated vsize (Kb) 83996 [startup+1786.07 s] /proc/loadavg: 1.00 0.99 0.91 2/68 27236 /proc/meminfo: memFree=1816848/2055892 swapFree=4085352/4096564 [pid=27039] ppid=27037 vsize=83996 CPUtime=1785.35 /proc/27039/stat : 27039 (PBS4L) R 27037 27039 26993 0 -1 4194304 13505 0 0 0 178501 34 0 0 25 0 1 0 199127440 86011904 12475 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/27039/statm: 20999 12475 105 232 0 20764 0 Current children cumulated CPU time (s) 1785.35 Current children cumulated vsize (Kb) 83996 [startup+1787.08 s] /proc/loadavg: 1.00 0.99 0.91 2/68 27236 /proc/meminfo: memFree=1816848/2055892 swapFree=4085352/4096564 [pid=27039] ppid=27037 vsize=83996 CPUtime=1786.35 /proc/27039/stat : 27039 (PBS4L) R 27037 27039 26993 0 -1 4194304 13506 0 0 0 178601 34 0 0 25 0 1 0 199127440 86011904 12476 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/27039/statm: 20999 12476 105 232 0 20764 0 Current children cumulated CPU time (s) 1786.35 Current children cumulated vsize (Kb) 83996 [startup+1788.08 s] /proc/loadavg: 1.00 0.99 0.91 2/68 27236 /proc/meminfo: memFree=1816848/2055892 swapFree=4085352/4096564 [pid=27039] ppid=27037 vsize=83996 CPUtime=1787.35 /proc/27039/stat : 27039 (PBS4L) R 27037 27039 26993 0 -1 4194304 13506 0 0 0 178701 34 0 0 25 0 1 0 199127440 86011904 12476 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551621 0 0 4096 0 0 0 0 17 1 0 0 /proc/27039/statm: 20999 12476 105 232 0 20764 0 Current children cumulated CPU time (s) 1787.35 Current children cumulated vsize (Kb) 83996 [startup+1789.08 s] /proc/loadavg: 1.00 0.99 0.91 2/68 27236 /proc/meminfo: memFree=1816912/2055892 swapFree=4085352/4096564 [pid=27039] ppid=27037 vsize=83996 CPUtime=1788.36 /proc/27039/stat : 27039 (PBS4L) R 27037 27039 26993 0 -1 4194304 13507 0 0 0 178802 34 0 0 25 0 1 0 199127440 86011904 12477 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/27039/statm: 20999 12477 105 232 0 20764 0 Current children cumulated CPU time (s) 1788.36 Current children cumulated vsize (Kb) 83996 [startup+1790.09 s] /proc/loadavg: 1.00 0.99 0.91 2/68 27236 /proc/meminfo: memFree=1816912/2055892 swapFree=4085352/4096564 [pid=27039] ppid=27037 vsize=83996 CPUtime=1789.36 /proc/27039/stat : 27039 (PBS4L) R 27037 27039 26993 0 -1 4194304 13507 0 0 0 178902 34 0 0 25 0 1 0 199127440 86011904 12477 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549255 0 0 4096 0 0 0 0 17 1 0 0 /proc/27039/statm: 20999 12477 105 232 0 20764 0 Current children cumulated CPU time (s) 1789.36 Current children cumulated vsize (Kb) 83996 [startup+1791.09 s] /proc/loadavg: 1.00 0.99 0.91 2/68 27236 /proc/meminfo: memFree=1816912/2055892 swapFree=4085352/4096564 [pid=27039] ppid=27037 vsize=83996 CPUtime=1790.37 /proc/27039/stat : 27039 (PBS4L) R 27037 27039 26993 0 -1 4194304 13508 0 0 0 179003 34 0 0 25 0 1 0 199127440 86011904 12478 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/27039/statm: 20999 12478 105 232 0 20764 0 Current children cumulated CPU time (s) 1790.37 Current children cumulated vsize (Kb) 83996 [startup+1792.1 s] /proc/loadavg: 1.00 0.99 0.91 2/68 27236 /proc/meminfo: memFree=1816912/2055892 swapFree=4085352/4096564 [pid=27039] ppid=27037 vsize=83996 CPUtime=1791.37 /proc/27039/stat : 27039 (PBS4L) R 27037 27039 26993 0 -1 4194304 13508 0 0 0 179103 34 0 0 25 0 1 0 199127440 86011904 12478 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/27039/statm: 20999 12478 105 232 0 20764 0 Current children cumulated CPU time (s) 1791.37 Current children cumulated vsize (Kb) 83996 [startup+1793.1 s] /proc/loadavg: 1.00 0.99 0.91 2/68 27236 /proc/meminfo: memFree=1816912/2055892 swapFree=4085352/4096564 [pid=27039] ppid=27037 vsize=83996 CPUtime=1792.38 /proc/27039/stat : 27039 (PBS4L) R 27037 27039 26993 0 -1 4194304 13509 0 0 0 179204 34 0 0 25 0 1 0 199127440 86011904 12479 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/27039/statm: 20999 12479 105 232 0 20764 0 Current children cumulated CPU time (s) 1792.38 Current children cumulated vsize (Kb) 83996 [startup+1794.11 s] /proc/loadavg: 1.00 0.99 0.91 2/68 27236 /proc/meminfo: memFree=1816912/2055892 swapFree=4085352/4096564 [pid=27039] ppid=27037 vsize=83996 CPUtime=1793.38 /proc/27039/stat : 27039 (PBS4L) R 27037 27039 26993 0 -1 4194304 13509 0 0 0 179304 34 0 0 25 0 1 0 199127440 86011904 12479 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/27039/statm: 20999 12479 105 232 0 20764 0 Current children cumulated CPU time (s) 1793.38 Current children cumulated vsize (Kb) 83996 [startup+1795.11 s] /proc/loadavg: 1.00 0.99 0.91 2/68 27236 /proc/meminfo: memFree=1816912/2055892 swapFree=4085352/4096564 [pid=27039] ppid=27037 vsize=83996 CPUtime=1794.38 /proc/27039/stat : 27039 (PBS4L) R 27037 27039 26993 0 -1 4194304 13509 0 0 0 179404 34 0 0 25 0 1 0 199127440 86011904 12479 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/27039/statm: 20999 12479 105 232 0 20764 0 Current children cumulated CPU time (s) 1794.38 Current children cumulated vsize (Kb) 83996 [startup+1796.12 s] /proc/loadavg: 1.00 0.99 0.91 2/68 27236 /proc/meminfo: memFree=1816912/2055892 swapFree=4085352/4096564 [pid=27039] ppid=27037 vsize=83996 CPUtime=1795.39 /proc/27039/stat : 27039 (PBS4L) R 27037 27039 26993 0 -1 4194304 13510 0 0 0 179505 34 0 0 25 0 1 0 199127440 86011904 12480 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/27039/statm: 20999 12480 105 232 0 20764 0 Current children cumulated CPU time (s) 1795.39 Current children cumulated vsize (Kb) 83996 [startup+1797.12 s] /proc/loadavg: 1.00 0.99 0.91 2/68 27236 /proc/meminfo: memFree=1816912/2055892 swapFree=4085352/4096564 [pid=27039] ppid=27037 vsize=83996 CPUtime=1796.39 /proc/27039/stat : 27039 (PBS4L) R 27037 27039 26993 0 -1 4194304 13512 0 0 0 179605 34 0 0 25 0 1 0 199127440 86011904 12482 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558878 0 0 4096 0 0 0 0 17 1 0 0 /proc/27039/statm: 20999 12482 105 232 0 20764 0 Current children cumulated CPU time (s) 1796.39 Current children cumulated vsize (Kb) 83996 [startup+1798.13 s] /proc/loadavg: 1.00 0.99 0.91 2/68 27236 /proc/meminfo: memFree=1816912/2055892 swapFree=4085352/4096564 [pid=27039] ppid=27037 vsize=83996 CPUtime=1797.4 /proc/27039/stat : 27039 (PBS4L) R 27037 27039 26993 0 -1 4194304 13513 0 0 0 179706 34 0 0 25 0 1 0 199127440 86011904 12483 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0 /proc/27039/statm: 20999 12483 105 232 0 20764 0 Current children cumulated CPU time (s) 1797.4 Current children cumulated vsize (Kb) 83996 [startup+1799.13 s] /proc/loadavg: 1.00 0.99 0.91 2/68 27236 /proc/meminfo: memFree=1816912/2055892 swapFree=4085352/4096564 [pid=27039] ppid=27037 vsize=83996 CPUtime=1798.4 /proc/27039/stat : 27039 (PBS4L) R 27037 27039 26993 0 -1 4194304 13513 0 0 0 179806 34 0 0 25 0 1 0 199127440 86011904 12483 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/27039/statm: 20999 12483 105 232 0 20764 0 Current children cumulated CPU time (s) 1798.4 Current children cumulated vsize (Kb) 83996 [startup+1800.14 s] /proc/loadavg: 1.00 0.99 0.91 2/68 27236 /proc/meminfo: memFree=1816912/2055892 swapFree=4085352/4096564 [pid=27039] ppid=27037 vsize=83996 CPUtime=1799.41 /proc/27039/stat : 27039 (PBS4L) R 27037 27039 26993 0 -1 4194304 13513 0 0 0 179907 34 0 0 25 0 1 0 199127440 86011904 12483 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/27039/statm: 20999 12483 105 232 0 20764 0 Current children cumulated CPU time (s) 1799.41 Current children cumulated vsize (Kb) 83996 [startup+1801.14 s] /proc/loadavg: 1.00 0.99 0.91 2/68 27236 /proc/meminfo: memFree=1816912/2055892 swapFree=4085352/4096564 [pid=27039] ppid=27037 vsize=83996 CPUtime=1800.41 /proc/27039/stat : 27039 (PBS4L) R 27037 27039 26993 0 -1 4194304 13513 0 0 0 180007 34 0 0 25 0 1 0 199127440 86011904 12483 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/27039/statm: 20999 12483 105 232 0 20764 0 Current children cumulated CPU time (s) 1800.41 Current children cumulated vsize (Kb) 83996 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.15 s] /proc/loadavg: 1.00 0.99 0.91 2/68 27236 /proc/meminfo: memFree=1816912/2055892 swapFree=4085352/4096564 [pid=27039] ppid=27037 vsize=83996 CPUtime=1800.41 /proc/27039/stat : 27039 (PBS4L) R 27037 27039 26993 0 -1 4194304 13513 0 0 0 180007 34 0 0 25 0 1 0 199127440 86011904 12483 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549306 0 0 4096 0 0 0 0 17 1 0 0 /proc/27039/statm: 20999 12483 105 232 0 20764 0 Current children cumulated CPU time (s) 1800.41 Current children cumulated vsize (Kb) 83996 Sending SIGTERM to -27039 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.16 CPU time (s): 1800.43 CPU user time (s): 1800.08 CPU system time (s): 0.352946 CPU usage (%): 99.9595 Max. virtual memory (cumulated for all children) (Kb): 83996 The end
Begin job on node89 on Sat Jun 3 11:41:24 UTC 2006 FILE ID= 41363-1149334884 PBS_JOBID= 310083 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-bandm.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node89/41363-1149334884/instance-41363-1149334884.opb 20961409 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node89/watcher-41363-1149334884 -o ROOT/results/node89/solver-41363-1149334884 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node89/41363-1149334884/instance-41363-1149334884.opb 20961409 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= b002a5dc99ccd859f0d9410c5cb7a1b7 RANDOM SEED= 20961409 /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.265 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 : 6006.16 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.265 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 : 5999.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1866656 kB Buffers: 24180 kB Cached: 103724 kB SwapCached: 2384 kB Active: 33844 kB Inactive: 102696 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1866656 kB SwapTotal: 4096564 kB SwapFree: 4085352 kB Dirty: 140 kB Writeback: 0 kB Mapped: 16524 kB Slab: 39280 kB Committed_AS: 350420 kB PageTables: 1300 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node89 on Sat Jun 3 12:11:25 UTC 2006