Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.64 | 1801.17 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-fffff800.opb |
MD5SUM | f2e3e708ab88850fd5a3cdf379c0e388 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 25620 |
Total number of constraints | 524 |
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 | 524 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 7530 |
Number of terms in the objective function | 240 |
Biggest coefficient in the objective function | 32769 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 524520 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 530865 |
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/node87/41374-1149337621/instance-41374-1149337621.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/node87/watcher-41374-1149337621 -o ROOT/results/node87/solver-41374-1149337621 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node87/41374-1149337621/instance-41374-1149337621.opb 507303092 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.93 2/67 310 /proc/meminfo: memFree=1745200/2055888 swapFree=4085404/4096564 [pid=310] ppid=308 vsize=3804 CPUtime=0 /proc/310/stat : 310 (PBS4L) R 308 310 32732 0 -1 4194304 186 0 0 0 0 0 0 0 18 0 1 0 199401258 3895296 171 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598843 0 0 4096 0 0 0 0 17 1 0 0 /proc/310/statm: 951 173 90 232 0 716 0 [startup+10.0022 s] /proc/loadavg: 0.93 0.97 0.93 2/67 310 /proc/meminfo: memFree=1731840/2055888 swapFree=4085404/4096564 [pid=310] ppid=308 vsize=16952 CPUtime=9.99 /proc/310/stat : 310 (PBS4L) R 308 310 32732 0 -1 4194304 4180 0 0 0 998 1 0 0 25 0 1 0 199401258 17358848 3430 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/310/statm: 4238 3430 104 232 0 4003 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 16952 [startup+20.0084 s] /proc/loadavg: 0.94 0.97 0.93 2/67 310 /proc/meminfo: memFree=1731840/2055888 swapFree=4085404/4096564 [pid=310] ppid=308 vsize=16952 CPUtime=19.99 /proc/310/stat : 310 (PBS4L) R 308 310 32732 0 -1 4194304 4189 0 0 0 1998 1 0 0 25 0 1 0 199401258 17358848 3439 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551579 0 0 4096 0 0 0 0 17 1 0 0 /proc/310/statm: 4238 3439 104 232 0 4003 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 16952 [startup+30.0146 s] /proc/loadavg: 0.95 0.97 0.93 2/67 310 /proc/meminfo: memFree=1731904/2055888 swapFree=4085404/4096564 [pid=310] ppid=308 vsize=16952 CPUtime=29.99 /proc/310/stat : 310 (PBS4L) R 308 310 32732 0 -1 4194304 4197 0 0 0 2998 1 0 0 25 0 1 0 199401258 17358848 3447 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0 /proc/310/statm: 4238 3447 104 232 0 4003 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 16952 [startup+40.0197 s] /proc/loadavg: 0.96 0.97 0.93 2/67 310 /proc/meminfo: memFree=1731840/2055888 swapFree=4085404/4096564 [pid=310] ppid=308 vsize=16952 CPUtime=39.99 /proc/310/stat : 310 (PBS4L) R 308 310 32732 0 -1 4194304 4206 0 0 0 3998 1 0 0 25 0 1 0 199401258 17358848 3456 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546640 0 0 4096 0 0 0 0 17 1 0 0 /proc/310/statm: 4238 3456 104 232 0 4003 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 16952 [startup+50.0259 s] /proc/loadavg: 0.96 0.97 0.93 2/67 310 /proc/meminfo: memFree=1731840/2055888 swapFree=4085404/4096564 [pid=310] ppid=308 vsize=16952 CPUtime=50 /proc/310/stat : 310 (PBS4L) R 308 310 32732 0 -1 4194304 4216 0 0 0 4999 1 0 0 25 0 1 0 199401258 17358848 3466 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551587 0 0 4096 0 0 0 0 17 1 0 0 /proc/310/statm: 4238 3466 104 232 0 4003 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 16952 [startup+60.0321 s] /proc/loadavg: 0.97 0.97 0.93 2/67 310 /proc/meminfo: memFree=1731840/2055888 swapFree=4085404/4096564 [pid=310] ppid=308 vsize=16952 CPUtime=60 /proc/310/stat : 310 (PBS4L) R 308 310 32732 0 -1 4194304 4224 0 0 0 5999 1 0 0 25 0 1 0 199401258 17358848 3474 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0 /proc/310/statm: 4238 3474 104 232 0 4003 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 16952 [startup+70.0382 s] /proc/loadavg: 1.05 0.99 0.93 2/67 310 /proc/meminfo: memFree=1731776/2055888 swapFree=4085404/4096564 [pid=310] ppid=308 vsize=16952 CPUtime=70 /proc/310/stat : 310 (PBS4L) R 308 310 32732 0 -1 4194304 4234 0 0 0 6999 1 0 0 25 0 1 0 199401258 17358848 3484 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/310/statm: 4238 3484 104 232 0 4003 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 16952 [startup+80.0444 s] /proc/loadavg: 1.04 0.99 0.93 2/67 310 /proc/meminfo: memFree=1731712/2055888 swapFree=4085404/4096564 [pid=310] ppid=308 vsize=17208 CPUtime=80.02 /proc/310/stat : 310 (PBS4L) R 308 310 32732 0 -1 4194304 4243 0 0 0 8000 2 0 0 25 0 1 0 199401258 17620992 3493 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/310/statm: 4302 3493 104 232 0 4067 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 17208 [startup+90.0505 s] /proc/loadavg: 1.03 0.99 0.93 2/67 310 /proc/meminfo: memFree=1731776/2055888 swapFree=4085404/4096564 [pid=310] ppid=308 vsize=17208 CPUtime=90.02 /proc/310/stat : 310 (PBS4L) R 308 310 32732 0 -1 4194304 4250 0 0 0 9000 2 0 0 25 0 1 0 199401258 17620992 3500 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/310/statm: 4302 3500 104 232 0 4067 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 17208 [startup+100.056 s] /proc/loadavg: 1.03 0.99 0.93 2/67 310 /proc/meminfo: memFree=1731712/2055888 swapFree=4085404/4096564 [pid=310] ppid=308 vsize=17208 CPUtime=100.02 /proc/310/stat : 310 (PBS4L) R 308 310 32732 0 -1 4194304 4263 0 0 0 10000 2 0 0 25 0 1 0 199401258 17620992 3513 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546643 0 0 4096 0 0 0 0 17 1 0 0 /proc/310/statm: 4302 3513 104 232 0 4067 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 17208 [startup+110.062 s] /proc/loadavg: 1.02 0.99 0.93 2/67 310 /proc/meminfo: memFree=1731648/2055888 swapFree=4085404/4096564 [pid=310] ppid=308 vsize=17208 CPUtime=110.02 /proc/310/stat : 310 (PBS4L) R 308 310 32732 0 -1 4194304 4271 0 0 0 11000 2 0 0 25 0 1 0 199401258 17620992 3521 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/310/statm: 4302 3521 105 232 0 4067 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 17208 [startup+120.068 s] /proc/loadavg: 1.02 0.99 0.93 2/67 310 /proc/meminfo: memFree=1731648/2055888 swapFree=4085404/4096564 [pid=310] ppid=308 vsize=17208 CPUtime=120.03 /proc/310/stat : 310 (PBS4L) R 308 310 32732 0 -1 4194304 4279 0 0 0 12001 2 0 0 25 0 1 0 199401258 17620992 3529 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/310/statm: 4302 3529 105 232 0 4067 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 17208 [startup+130.074 s] /proc/loadavg: 1.02 0.99 0.93 2/67 310 /proc/meminfo: memFree=1731584/2055888 swapFree=4085404/4096564 [pid=310] ppid=308 vsize=17208 CPUtime=130.03 /proc/310/stat : 310 (PBS4L) R 308 310 32732 0 -1 4194304 4284 0 0 0 13001 2 0 0 25 0 1 0 199401258 17620992 3534 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546650 0 0 4096 0 0 0 0 17 1 0 0 /proc/310/statm: 4302 3534 105 232 0 4067 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 17208 [startup+140.08 s] /proc/loadavg: 1.01 0.99 0.93 2/67 310 /proc/meminfo: memFree=1731584/2055888 swapFree=4085404/4096564 [pid=310] ppid=308 vsize=17208 CPUtime=140.03 /proc/310/stat : 310 (PBS4L) R 308 310 32732 0 -1 4194304 4289 0 0 0 14001 2 0 0 25 0 1 0 199401258 17620992 3539 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546643 0 0 4096 0 0 0 0 17 1 0 0 /proc/310/statm: 4302 3539 105 232 0 4067 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 17208 [startup+150.088 s] /proc/loadavg: 1.01 0.99 0.93 2/67 310 /proc/meminfo: memFree=1731584/2055888 swapFree=4085404/4096564 [pid=310] ppid=308 vsize=17208 CPUtime=150.04 /proc/310/stat : 310 (PBS4L) R 308 310 32732 0 -1 4194304 4294 0 0 0 15002 2 0 0 25 0 1 0 199401258 17620992 3544 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/310/statm: 4302 3544 105 232 0 4067 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 17208 [startup+160.093 s] /proc/loadavg: 1.01 0.99 0.93 2/67 310 /proc/meminfo: memFree=1731520/2055888 swapFree=4085404/4096564 [pid=310] ppid=308 vsize=17720 CPUtime=160.04 /proc/310/stat : 310 (PBS4L) R 308 310 32732 0 -1 4194304 4305 0 0 0 16002 2 0 0 25 0 1 0 199401258 18145280 3555 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551638 0 0 4096 0 0 0 0 17 1 0 0 /proc/310/statm: 4430 3555 105 232 0 4195 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 17720 [startup+170.098 s] /proc/loadavg: 1.01 0.99 0.93 2/67 310 /proc/meminfo: memFree=1731456/2055888 swapFree=4085404/4096564 [pid=310] ppid=308 vsize=17720 CPUtime=170.04 /proc/310/stat : 310 (PBS4L) R 308 310 32732 0 -1 4194304 4315 0 0 0 17002 2 0 0 25 0 1 0 199401258 18145280 3565 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0 /proc/310/statm: 4430 3565 105 232 0 4195 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 17720 [startup+180.104 s] /proc/loadavg: 1.00 0.99 0.93 2/67 310 /proc/meminfo: memFree=1731456/2055888 swapFree=4085404/4096564 [pid=310] ppid=308 vsize=17720 CPUtime=180.04 /proc/310/stat : 310 (PBS4L) R 308 310 32732 0 -1 4194304 4317 0 0 0 18002 2 0 0 25 0 1 0 199401258 18145280 3567 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0 /proc/310/statm: 4430 3567 105 232 0 4195 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 17720 [startup+190.11 s] /proc/loadavg: 1.00 0.99 0.93 2/67 310 /proc/meminfo: memFree=1731456/2055888 swapFree=4085404/4096564 [pid=310] ppid=308 vsize=17720 CPUtime=190.05 /proc/310/stat : 310 (PBS4L) R 308 310 32732 0 -1 4194304 4319 0 0 0 19003 2 0 0 25 0 1 0 199401258 18145280 3569 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/310/statm: 4430 3569 105 232 0 4195 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 17720 [startup+200.116 s] /proc/loadavg: 1.00 0.99 0.93 2/67 310 /proc/meminfo: memFree=1731392/2055888 swapFree=4085404/4096564 [pid=310] ppid=308 vsize=17720 CPUtime=200.05 /proc/310/stat : 310 (PBS4L) R 308 310 32732 0 -1 4194304 4321 0 0 0 20003 2 0 0 25 0 1 0 199401258 18145280 3571 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/310/statm: 4430 3571 105 232 0 4195 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 17720 [startup+210.123 s] /proc/loadavg: 1.00 0.99 0.93 2/67 310 /proc/meminfo: memFree=1731392/2055888 swapFree=4085404/4096564 ################ # More data... # ################ /proc/310/stat : 310 (PBS4L) R 308 310 32732 0 -1 4194304 5452 0 0 0 178148 6 0 0 25 0 1 0 199401258 26615808 4702 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551321 0 0 4096 0 0 0 0 17 1 0 0 /proc/310/statm: 6498 4702 105 232 0 6263 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (Kb) 25992 [startup+1783.07 s] /proc/loadavg: 1.00 0.99 0.93 2/67 312 /proc/meminfo: memFree=1726464/2055888 swapFree=4085404/4096564 [pid=310] ppid=308 vsize=25992 CPUtime=1782.54 /proc/310/stat : 310 (PBS4L) R 308 310 32732 0 -1 4194304 5452 0 0 0 178248 6 0 0 25 0 1 0 199401258 26615808 4702 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/310/statm: 6498 4702 105 232 0 6263 0 Current children cumulated CPU time (s) 1782.54 Current children cumulated vsize (Kb) 25992 [startup+1784.08 s] /proc/loadavg: 1.00 0.99 0.93 2/67 312 /proc/meminfo: memFree=1726464/2055888 swapFree=4085404/4096564 [pid=310] ppid=308 vsize=25992 CPUtime=1783.54 /proc/310/stat : 310 (PBS4L) R 308 310 32732 0 -1 4194304 5453 0 0 0 178348 6 0 0 25 0 1 0 199401258 26615808 4703 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546640 0 0 4096 0 0 0 0 17 1 0 0 /proc/310/statm: 6498 4703 105 232 0 6263 0 Current children cumulated CPU time (s) 1783.54 Current children cumulated vsize (Kb) 25992 [startup+1785.08 s] /proc/loadavg: 1.00 0.99 0.93 2/67 312 /proc/meminfo: memFree=1726464/2055888 swapFree=4085404/4096564 [pid=310] ppid=308 vsize=25992 CPUtime=1784.55 /proc/310/stat : 310 (PBS4L) R 308 310 32732 0 -1 4194304 5456 0 0 0 178449 6 0 0 25 0 1 0 199401258 26615808 4706 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/310/statm: 6498 4706 105 232 0 6263 0 Current children cumulated CPU time (s) 1784.55 Current children cumulated vsize (Kb) 25992 [startup+1786.08 s] /proc/loadavg: 1.00 0.99 0.93 2/67 312 /proc/meminfo: memFree=1726464/2055888 swapFree=4085404/4096564 [pid=310] ppid=308 vsize=25992 CPUtime=1785.55 /proc/310/stat : 310 (PBS4L) R 308 310 32732 0 -1 4194304 5457 0 0 0 178549 6 0 0 25 0 1 0 199401258 26615808 4707 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/310/statm: 6498 4707 105 232 0 6263 0 Current children cumulated CPU time (s) 1785.55 Current children cumulated vsize (Kb) 25992 [startup+1787.09 s] /proc/loadavg: 1.00 0.99 0.93 2/67 312 /proc/meminfo: memFree=1726464/2055888 swapFree=4085404/4096564 [pid=310] ppid=308 vsize=25992 CPUtime=1786.56 /proc/310/stat : 310 (PBS4L) R 308 310 32732 0 -1 4194304 5457 0 0 0 178650 6 0 0 25 0 1 0 199401258 26615808 4707 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/310/statm: 6498 4707 105 232 0 6263 0 Current children cumulated CPU time (s) 1786.56 Current children cumulated vsize (Kb) 25992 [startup+1788.09 s] /proc/loadavg: 1.00 0.99 0.93 2/67 312 /proc/meminfo: memFree=1726464/2055888 swapFree=4085404/4096564 [pid=310] ppid=308 vsize=25992 CPUtime=1787.56 /proc/310/stat : 310 (PBS4L) R 308 310 32732 0 -1 4194304 5457 0 0 0 178750 6 0 0 25 0 1 0 199401258 26615808 4707 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551632 0 0 4096 0 0 0 0 17 1 0 0 /proc/310/statm: 6498 4707 105 232 0 6263 0 Current children cumulated CPU time (s) 1787.56 Current children cumulated vsize (Kb) 25992 [startup+1789.1 s] /proc/loadavg: 1.00 0.99 0.93 2/67 312 /proc/meminfo: memFree=1726464/2055888 swapFree=4085404/4096564 [pid=310] ppid=308 vsize=25992 CPUtime=1788.57 /proc/310/stat : 310 (PBS4L) R 308 310 32732 0 -1 4194304 5458 0 0 0 178851 6 0 0 25 0 1 0 199401258 26615808 4708 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/310/statm: 6498 4708 105 232 0 6263 0 Current children cumulated CPU time (s) 1788.57 Current children cumulated vsize (Kb) 25992 [startup+1790.1 s] /proc/loadavg: 1.00 0.99 0.93 2/67 312 /proc/meminfo: memFree=1726400/2055888 swapFree=4085404/4096564 [pid=310] ppid=308 vsize=25992 CPUtime=1789.57 /proc/310/stat : 310 (PBS4L) R 308 310 32732 0 -1 4194304 5459 0 0 0 178951 6 0 0 25 0 1 0 199401258 26615808 4709 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551321 0 0 4096 0 0 0 0 17 1 0 0 /proc/310/statm: 6498 4709 105 232 0 6263 0 Current children cumulated CPU time (s) 1789.57 Current children cumulated vsize (Kb) 25992 [startup+1791.11 s] /proc/loadavg: 1.00 0.99 0.93 2/67 312 /proc/meminfo: memFree=1726400/2055888 swapFree=4085404/4096564 [pid=310] ppid=308 vsize=25992 CPUtime=1790.57 /proc/310/stat : 310 (PBS4L) R 308 310 32732 0 -1 4194304 5459 0 0 0 179051 6 0 0 25 0 1 0 199401258 26615808 4709 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546650 0 0 4096 0 0 0 0 17 1 0 0 /proc/310/statm: 6498 4709 105 232 0 6263 0 Current children cumulated CPU time (s) 1790.57 Current children cumulated vsize (Kb) 25992 [startup+1792.11 s] /proc/loadavg: 1.00 0.99 0.93 2/67 312 /proc/meminfo: memFree=1726400/2055888 swapFree=4085404/4096564 [pid=310] ppid=308 vsize=25992 CPUtime=1791.58 /proc/310/stat : 310 (PBS4L) R 308 310 32732 0 -1 4194304 5460 0 0 0 179152 6 0 0 25 0 1 0 199401258 26615808 4710 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/310/statm: 6498 4710 105 232 0 6263 0 Current children cumulated CPU time (s) 1791.58 Current children cumulated vsize (Kb) 25992 [startup+1793.12 s] /proc/loadavg: 1.00 0.99 0.93 2/67 312 /proc/meminfo: memFree=1726400/2055888 swapFree=4085404/4096564 [pid=310] ppid=308 vsize=25992 CPUtime=1792.58 /proc/310/stat : 310 (PBS4L) R 308 310 32732 0 -1 4194304 5460 0 0 0 179252 6 0 0 25 0 1 0 199401258 26615808 4710 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/310/statm: 6498 4710 105 232 0 6263 0 Current children cumulated CPU time (s) 1792.58 Current children cumulated vsize (Kb) 25992 [startup+1794.12 s] /proc/loadavg: 1.00 0.99 0.93 2/67 312 /proc/meminfo: memFree=1726400/2055888 swapFree=4085404/4096564 [pid=310] ppid=308 vsize=25992 CPUtime=1793.59 /proc/310/stat : 310 (PBS4L) R 308 310 32732 0 -1 4194304 5461 0 0 0 179353 6 0 0 25 0 1 0 199401258 26615808 4711 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551321 0 0 4096 0 0 0 0 17 1 0 0 /proc/310/statm: 6498 4711 105 232 0 6263 0 Current children cumulated CPU time (s) 1793.59 Current children cumulated vsize (Kb) 25992 [startup+1795.13 s] /proc/loadavg: 1.00 0.99 0.93 2/67 312 /proc/meminfo: memFree=1726400/2055888 swapFree=4085404/4096564 [pid=310] ppid=308 vsize=25992 CPUtime=1794.59 /proc/310/stat : 310 (PBS4L) R 308 310 32732 0 -1 4194304 5462 0 0 0 179453 6 0 0 25 0 1 0 199401258 26615808 4712 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/310/statm: 6498 4712 105 232 0 6263 0 Current children cumulated CPU time (s) 1794.59 Current children cumulated vsize (Kb) 25992 [startup+1796.13 s] /proc/loadavg: 1.00 0.99 0.93 2/67 312 /proc/meminfo: memFree=1726400/2055888 swapFree=4085404/4096564 [pid=310] ppid=308 vsize=25992 CPUtime=1795.6 /proc/310/stat : 310 (PBS4L) R 308 310 32732 0 -1 4194304 5462 0 0 0 179554 6 0 0 25 0 1 0 199401258 26615808 4712 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/310/statm: 6498 4712 105 232 0 6263 0 Current children cumulated CPU time (s) 1795.6 Current children cumulated vsize (Kb) 25992 [startup+1797.14 s] /proc/loadavg: 1.00 0.99 0.93 2/67 312 /proc/meminfo: memFree=1726400/2055888 swapFree=4085404/4096564 [pid=310] ppid=308 vsize=25992 CPUtime=1796.6 /proc/310/stat : 310 (PBS4L) R 308 310 32732 0 -1 4194304 5462 0 0 0 179654 6 0 0 25 0 1 0 199401258 26615808 4712 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/310/statm: 6498 4712 105 232 0 6263 0 Current children cumulated CPU time (s) 1796.6 Current children cumulated vsize (Kb) 25992 [startup+1798.14 s] /proc/loadavg: 1.00 0.99 0.93 2/67 312 /proc/meminfo: memFree=1726400/2055888 swapFree=4085404/4096564 [pid=310] ppid=308 vsize=25992 CPUtime=1797.61 /proc/310/stat : 310 (PBS4L) R 308 310 32732 0 -1 4194304 5463 0 0 0 179755 6 0 0 25 0 1 0 199401258 26615808 4713 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0 /proc/310/statm: 6498 4713 105 232 0 6263 0 Current children cumulated CPU time (s) 1797.61 Current children cumulated vsize (Kb) 25992 [startup+1799.15 s] /proc/loadavg: 1.00 0.99 0.93 2/67 312 /proc/meminfo: memFree=1726400/2055888 swapFree=4085404/4096564 [pid=310] ppid=308 vsize=25992 CPUtime=1798.61 /proc/310/stat : 310 (PBS4L) R 308 310 32732 0 -1 4194304 5464 0 0 0 179855 6 0 0 25 0 1 0 199401258 26615808 4714 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/310/statm: 6498 4714 105 232 0 6263 0 Current children cumulated CPU time (s) 1798.61 Current children cumulated vsize (Kb) 25992 [startup+1800.15 s] /proc/loadavg: 1.00 0.99 0.93 2/67 312 /proc/meminfo: memFree=1726400/2055888 swapFree=4085404/4096564 [pid=310] ppid=308 vsize=25992 CPUtime=1799.62 /proc/310/stat : 310 (PBS4L) R 308 310 32732 0 -1 4194304 5464 0 0 0 179956 6 0 0 25 0 1 0 199401258 26615808 4714 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551596 0 0 4096 0 0 0 0 17 1 0 0 /proc/310/statm: 6498 4714 105 232 0 6263 0 Current children cumulated CPU time (s) 1799.62 Current children cumulated vsize (Kb) 25992 [startup+1801.16 s] /proc/loadavg: 1.00 0.99 0.93 2/67 312 /proc/meminfo: memFree=1726400/2055888 swapFree=4085404/4096564 [pid=310] ppid=308 vsize=25992 CPUtime=1800.62 /proc/310/stat : 310 (PBS4L) R 308 310 32732 0 -1 4194304 5465 0 0 0 180056 6 0 0 25 0 1 0 199401258 26615808 4715 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/310/statm: 6498 4715 105 232 0 6263 0 Current children cumulated CPU time (s) 1800.62 Current children cumulated vsize (Kb) 25992 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.16 s] /proc/loadavg: 1.00 0.99 0.93 2/67 312 /proc/meminfo: memFree=1726400/2055888 swapFree=4085404/4096564 [pid=310] ppid=308 vsize=25992 CPUtime=1800.62 /proc/310/stat : 310 (PBS4L) R 308 310 32732 0 -1 4194304 5465 0 0 0 180056 6 0 0 25 0 1 0 199401258 26615808 4715 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/310/statm: 6498 4715 105 232 0 6263 0 Current children cumulated CPU time (s) 1800.62 Current children cumulated vsize (Kb) 25992 Sending SIGTERM to -310 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.17 CPU time (s): 1800.64 CPU user time (s): 1800.57 CPU system time (s): 0.066989 CPU usage (%): 99.9704 Max. virtual memory (cumulated for all children) (Kb): 25992 The end
Begin job on node87 on Sat Jun 3 12:27:01 UTC 2006 FILE ID= 41374-1149337621 PBS_JOBID= 310227 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-fffff800.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node87/41374-1149337621/instance-41374-1149337621.opb 507303092 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node87/watcher-41374-1149337621 -o ROOT/results/node87/solver-41374-1149337621 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node87/41374-1149337621/instance-41374-1149337621.opb 507303092 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= f2e3e708ab88850fd5a3cdf379c0e388 RANDOM SEED= 507303092 /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.234 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.17 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.234 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1745472 kB Buffers: 22816 kB Cached: 223512 kB SwapCached: 2348 kB Active: 38840 kB Inactive: 216120 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1745472 kB SwapTotal: 4096564 kB SwapFree: 4085404 kB Dirty: 172 kB Writeback: 0 kB Mapped: 16760 kB Slab: 42204 kB Committed_AS: 280152 kB PageTables: 1280 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node87 on Sat Jun 3 12:57:02 UTC 2006