Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.53 | 1801.18 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-lotfi.opb |
MD5SUM | 76d897d8437070b9cbeb866c2620c3bc |
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 | 9240 |
Total number of constraints | 145 |
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 | 145 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 3990 |
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 | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 527485 |
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/node12/41341-1149329545/instance-41341-1149329545.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/node12/watcher-41341-1149329545 -o ROOT/results/node12/solver-41341-1149329545 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node12/41341-1149329545/instance-41341-1149329545.opb 685059911 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 3/64 13165 /proc/meminfo: memFree=1486608/2055920 swapFree=4181420/4192956 [pid=13165] ppid=13163 vsize=1368 CPUtime=0 /proc/13165/stat : 13165 (PBS4L) D 13163 13165 13119 0 -1 4194304 111 0 0 0 0 0 0 0 19 0 1 0 198617062 1400832 95 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135132864 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/13165/statm: 342 95 84 232 0 107 0 [startup+10.0027 s] /proc/loadavg: 0.93 0.95 0.90 2/64 13165 /proc/meminfo: memFree=1480544/2055920 swapFree=4181420/4192956 [pid=13165] ppid=13163 vsize=9744 CPUtime=9.99 /proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 1912 0 0 0 998 1 0 0 25 0 1 0 198617062 9977856 1671 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546643 0 0 4096 0 0 0 0 17 1 0 0 /proc/13165/statm: 2436 1671 105 232 0 2201 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 9744 [startup+20.0095 s] /proc/loadavg: 0.94 0.96 0.91 2/64 13165 /proc/meminfo: memFree=1478304/2055920 swapFree=4181420/4192956 [pid=13165] ppid=13163 vsize=14152 CPUtime=20 /proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 2490 0 0 0 1997 3 0 0 25 0 1 0 198617062 14491648 2249 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/13165/statm: 3538 2249 105 232 0 3303 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 14152 [startup+30.0163 s] /proc/loadavg: 0.95 0.96 0.91 2/64 13165 /proc/meminfo: memFree=1476320/2055920 swapFree=4181420/4192956 [pid=13165] ppid=13163 vsize=14260 CPUtime=29.99 /proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 2985 0 0 0 2996 3 0 0 25 0 1 0 198617062 14602240 2744 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/13165/statm: 3565 2744 105 232 0 3330 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 14260 [startup+40.0221 s] /proc/loadavg: 0.95 0.96 0.91 2/64 13165 /proc/meminfo: memFree=1475424/2055920 swapFree=4181420/4192956 [pid=13165] ppid=13163 vsize=14644 CPUtime=39.99 /proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 3240 0 0 0 3995 4 0 0 25 0 1 0 198617062 14995456 2950 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551621 0 0 4096 0 0 0 0 17 1 0 0 /proc/13165/statm: 3661 2950 105 232 0 3426 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 14644 [startup+50.0279 s] /proc/loadavg: 0.96 0.96 0.91 2/64 13165 /proc/meminfo: memFree=1474784/2055920 swapFree=4181420/4192956 [pid=13165] ppid=13163 vsize=14728 CPUtime=49.99 /proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 3430 0 0 0 4995 4 0 0 25 0 1 0 198617062 15081472 3140 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549265 0 0 4096 0 0 0 0 17 1 0 0 /proc/13165/statm: 3682 3140 105 232 0 3447 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 14728 [startup+60.0337 s] /proc/loadavg: 0.97 0.96 0.91 2/64 13165 /proc/meminfo: memFree=1473696/2055920 swapFree=4181420/4192956 [pid=13165] ppid=13163 vsize=22980 CPUtime=60 /proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 3696 0 0 0 5995 5 0 0 25 0 1 0 198617062 23531520 3406 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/13165/statm: 5745 3406 105 232 0 5510 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 22980 [startup+70.0395 s] /proc/loadavg: 0.97 0.96 0.91 2/64 13165 /proc/meminfo: memFree=1472736/2055920 swapFree=4181420/4192956 [pid=13165] ppid=13163 vsize=23164 CPUtime=70 /proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 3930 0 0 0 6994 6 0 0 25 0 1 0 198617062 23719936 3640 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0 /proc/13165/statm: 5791 3640 105 232 0 5556 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 23164 [startup+80.0454 s] /proc/loadavg: 0.98 0.96 0.91 2/64 13165 /proc/meminfo: memFree=1470688/2055920 swapFree=4181420/4192956 [pid=13165] ppid=13163 vsize=23244 CPUtime=80 /proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 4449 0 0 0 7993 7 0 0 25 0 1 0 198617062 23801856 4159 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551638 0 0 4096 0 0 0 0 17 1 0 0 /proc/13165/statm: 5811 4159 105 232 0 5576 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 23244 [startup+90.0512 s] /proc/loadavg: 0.98 0.96 0.91 2/64 13165 /proc/meminfo: memFree=1470240/2055920 swapFree=4181420/4192956 [pid=13165] ppid=13163 vsize=23812 CPUtime=90.01 /proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 4644 0 0 0 8992 9 0 0 25 0 1 0 198617062 24383488 4257 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/13165/statm: 5953 4257 105 232 0 5718 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 23812 [startup+100.057 s] /proc/loadavg: 0.98 0.96 0.91 2/64 13165 /proc/meminfo: memFree=1469344/2055920 swapFree=4181420/4192956 [pid=13165] ppid=13163 vsize=23888 CPUtime=100.01 /proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 4880 0 0 0 9990 11 0 0 25 0 1 0 198617062 24461312 4493 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549300 0 0 4096 0 0 0 0 17 1 0 0 /proc/13165/statm: 5972 4493 105 232 0 5737 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 23888 [startup+110.064 s] /proc/loadavg: 0.98 0.96 0.91 2/64 13165 /proc/meminfo: memFree=1468320/2055920 swapFree=4181420/4192956 [pid=13165] ppid=13163 vsize=24076 CPUtime=110.01 /proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 5130 0 0 0 10989 12 0 0 25 0 1 0 198617062 24653824 4743 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551626 0 0 4096 0 0 0 0 17 1 0 0 /proc/13165/statm: 6019 4743 105 232 0 5784 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 24076 [startup+120.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13165 /proc/meminfo: memFree=1466336/2055920 swapFree=4181420/4192956 [pid=13165] ppid=13163 vsize=24200 CPUtime=120.01 /proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 5639 0 0 0 11987 14 0 0 25 0 1 0 198617062 24780800 5252 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549265 0 0 4096 0 0 0 0 17 1 0 0 /proc/13165/statm: 6050 5252 105 232 0 5815 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 24200 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13165 /proc/meminfo: memFree=1465952/2055920 swapFree=4181420/4192956 [pid=13165] ppid=13163 vsize=24336 CPUtime=130.02 /proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 5728 0 0 0 12987 15 0 0 25 0 1 0 198617062 24920064 5341 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/13165/statm: 6084 5341 105 232 0 5849 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 24336 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13165 /proc/meminfo: memFree=1463968/2055920 swapFree=4181420/4192956 [pid=13165] ppid=13163 vsize=40804 CPUtime=140.02 /proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 6236 0 0 0 13985 17 0 0 25 0 1 0 198617062 41783296 5849 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/13165/statm: 10201 5849 105 232 0 9966 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 40804 [startup+150.087 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13165 /proc/meminfo: memFree=1463200/2055920 swapFree=4181420/4192956 [pid=13165] ppid=13163 vsize=40892 CPUtime=150.02 /proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 6422 0 0 0 14985 17 0 0 25 0 1 0 198617062 41873408 6035 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/13165/statm: 10223 6035 105 232 0 9988 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 40892 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13165 /proc/meminfo: memFree=1461984/2055920 swapFree=4181420/4192956 [pid=13165] ppid=13163 vsize=41024 CPUtime=160.02 /proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 6722 0 0 0 15983 19 0 0 25 0 1 0 198617062 42008576 6335 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0 /proc/13165/statm: 10256 6335 105 232 0 10021 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 41024 [startup+170.099 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13165 /proc/meminfo: memFree=1460512/2055920 swapFree=4181420/4192956 [pid=13165] ppid=13163 vsize=41928 CPUtime=170.03 /proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 7275 0 0 0 16982 21 0 0 25 0 1 0 198617062 42934272 6695 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549048 0 0 4096 0 0 0 0 17 1 0 0 /proc/13165/statm: 10482 6695 105 232 0 10247 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 41928 [startup+180.104 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13165 /proc/meminfo: memFree=1459616/2055920 swapFree=4181420/4192956 [pid=13165] ppid=13163 vsize=42024 CPUtime=180.03 /proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 7507 0 0 0 17981 22 0 0 25 0 1 0 198617062 43032576 6927 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/13165/statm: 10506 6927 105 232 0 10271 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 42024 [startup+190.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13165 /proc/meminfo: memFree=1458272/2055920 swapFree=4181420/4192956 [pid=13165] ppid=13163 vsize=42112 CPUtime=190.04 /proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 7829 0 0 0 18980 24 0 0 25 0 1 0 198617062 43122688 7249 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549257 0 0 4096 0 0 0 0 17 1 0 0 /proc/13165/statm: 10528 7249 105 232 0 10293 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 42112 [startup+200.116 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13165 /proc/meminfo: memFree=1458016/2055920 swapFree=4181420/4192956 [pid=13165] ppid=13163 vsize=42192 CPUtime=200.04 /proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 7891 0 0 0 19979 25 0 0 25 0 1 0 198617062 43204608 7311 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/13165/statm: 10548 7311 105 232 0 10313 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 42192 [startup+210.122 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13165 /proc/meminfo: memFree=1456864/2055920 swapFree=4181420/4192956 ################ # More data... # ################ /proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 21414 0 0 0 177795 346 0 0 25 0 1 0 198617062 97980416 18143 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/13165/statm: 23921 18143 105 232 0 23686 0 Current children cumulated CPU time (s) 1781.41 Current children cumulated vsize (Kb) 95684 [startup+1783.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13167 /proc/meminfo: memFree=1414048/2055920 swapFree=4181420/4192956 [pid=13165] ppid=13163 vsize=95684 CPUtime=1782.42 /proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 21420 0 0 0 177895 347 0 0 25 0 1 0 198617062 97980416 18149 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/13165/statm: 23921 18149 105 232 0 23686 0 Current children cumulated CPU time (s) 1782.42 Current children cumulated vsize (Kb) 95684 [startup+1784.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13167 /proc/meminfo: memFree=1414048/2055920 swapFree=4181420/4192956 [pid=13165] ppid=13163 vsize=95684 CPUtime=1783.42 /proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 21422 0 0 0 177995 347 0 0 25 0 1 0 198617062 97980416 18151 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/13165/statm: 23921 18151 105 232 0 23686 0 Current children cumulated CPU time (s) 1783.42 Current children cumulated vsize (Kb) 95684 [startup+1785.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13167 /proc/meminfo: memFree=1414048/2055920 swapFree=4181420/4192956 [pid=13165] ppid=13163 vsize=95684 CPUtime=1784.43 /proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 21423 0 0 0 178096 347 0 0 25 0 1 0 198617062 97980416 18152 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558838 0 0 4096 0 0 0 0 17 1 0 0 /proc/13165/statm: 23921 18152 105 232 0 23686 0 Current children cumulated CPU time (s) 1784.43 Current children cumulated vsize (Kb) 95684 [startup+1786.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13167 /proc/meminfo: memFree=1414048/2055920 swapFree=4181420/4192956 [pid=13165] ppid=13163 vsize=95684 CPUtime=1785.43 /proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 21423 0 0 0 178196 347 0 0 25 0 1 0 198617062 97980416 18152 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558802 0 0 4096 0 0 0 0 17 1 0 0 /proc/13165/statm: 23921 18152 105 232 0 23686 0 Current children cumulated CPU time (s) 1785.43 Current children cumulated vsize (Kb) 95684 [startup+1787.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13167 /proc/meminfo: memFree=1414048/2055920 swapFree=4181420/4192956 [pid=13165] ppid=13163 vsize=95684 CPUtime=1786.44 /proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 21424 0 0 0 178297 347 0 0 25 0 1 0 198617062 97980416 18153 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/13165/statm: 23921 18153 105 232 0 23686 0 Current children cumulated CPU time (s) 1786.44 Current children cumulated vsize (Kb) 95684 [startup+1788.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13167 /proc/meminfo: memFree=1414048/2055920 swapFree=4181420/4192956 [pid=13165] ppid=13163 vsize=95684 CPUtime=1787.44 /proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 21426 0 0 0 178397 347 0 0 25 0 1 0 198617062 97980416 18155 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549318 0 0 4096 0 0 0 0 17 1 0 0 /proc/13165/statm: 23921 18155 105 232 0 23686 0 Current children cumulated CPU time (s) 1787.44 Current children cumulated vsize (Kb) 95684 [startup+1789.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13167 /proc/meminfo: memFree=1414048/2055920 swapFree=4181420/4192956 [pid=13165] ppid=13163 vsize=95684 CPUtime=1788.44 /proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 21426 0 0 0 178497 347 0 0 25 0 1 0 198617062 97980416 18155 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549345 0 0 4096 0 0 0 0 17 1 0 0 /proc/13165/statm: 23921 18155 105 232 0 23686 0 Current children cumulated CPU time (s) 1788.44 Current children cumulated vsize (Kb) 95684 [startup+1790.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13167 /proc/meminfo: memFree=1414048/2055920 swapFree=4181420/4192956 [pid=13165] ppid=13163 vsize=95684 CPUtime=1789.45 /proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 21427 0 0 0 178597 348 0 0 25 0 1 0 198617062 97980416 18156 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0 /proc/13165/statm: 23921 18156 105 232 0 23686 0 Current children cumulated CPU time (s) 1789.45 Current children cumulated vsize (Kb) 95684 [startup+1791.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13167 /proc/meminfo: memFree=1414048/2055920 swapFree=4181420/4192956 [pid=13165] ppid=13163 vsize=95684 CPUtime=1790.46 /proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 21428 0 0 0 178698 348 0 0 25 0 1 0 198617062 97980416 18157 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/13165/statm: 23921 18157 105 232 0 23686 0 Current children cumulated CPU time (s) 1790.46 Current children cumulated vsize (Kb) 95684 [startup+1792.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13167 /proc/meminfo: memFree=1414048/2055920 swapFree=4181420/4192956 [pid=13165] ppid=13163 vsize=95684 CPUtime=1791.46 /proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 21428 0 0 0 178798 348 0 0 25 0 1 0 198617062 97980416 18157 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/13165/statm: 23921 18157 105 232 0 23686 0 Current children cumulated CPU time (s) 1791.46 Current children cumulated vsize (Kb) 95684 [startup+1793.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13167 /proc/meminfo: memFree=1414048/2055920 swapFree=4181420/4192956 [pid=13165] ppid=13163 vsize=95684 CPUtime=1792.46 /proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 21429 0 0 0 178898 348 0 0 25 0 1 0 198617062 97980416 18158 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/13165/statm: 23921 18158 105 232 0 23686 0 Current children cumulated CPU time (s) 1792.46 Current children cumulated vsize (Kb) 95684 [startup+1794.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13167 /proc/meminfo: memFree=1414048/2055920 swapFree=4181420/4192956 [pid=13165] ppid=13163 vsize=95684 CPUtime=1793.46 /proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 21429 0 0 0 178998 348 0 0 25 0 1 0 198617062 97980416 18158 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/13165/statm: 23921 18158 105 232 0 23686 0 Current children cumulated CPU time (s) 1793.46 Current children cumulated vsize (Kb) 95684 [startup+1795.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13167 /proc/meminfo: memFree=1414048/2055920 swapFree=4181420/4192956 [pid=13165] ppid=13163 vsize=95684 CPUtime=1794.48 /proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 21432 0 0 0 179099 349 0 0 25 0 1 0 198617062 97980416 18161 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/13165/statm: 23921 18161 105 232 0 23686 0 Current children cumulated CPU time (s) 1794.48 Current children cumulated vsize (Kb) 95684 [startup+1796.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13167 /proc/meminfo: memFree=1413984/2055920 swapFree=4181420/4192956 [pid=13165] ppid=13163 vsize=95684 CPUtime=1795.48 /proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 21433 0 0 0 179199 349 0 0 25 0 1 0 198617062 97980416 18162 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/13165/statm: 23921 18162 105 232 0 23686 0 Current children cumulated CPU time (s) 1795.48 Current children cumulated vsize (Kb) 95684 [startup+1797.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13167 /proc/meminfo: memFree=1413984/2055920 swapFree=4181420/4192956 [pid=13165] ppid=13163 vsize=95684 CPUtime=1796.48 /proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 21433 0 0 0 179299 349 0 0 25 0 1 0 198617062 97980416 18162 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546650 0 0 4096 0 0 0 0 17 1 0 0 /proc/13165/statm: 23921 18162 105 232 0 23686 0 Current children cumulated CPU time (s) 1796.48 Current children cumulated vsize (Kb) 95684 [startup+1798.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13167 /proc/meminfo: memFree=1413984/2055920 swapFree=4181420/4192956 [pid=13165] ppid=13163 vsize=95684 CPUtime=1797.48 /proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 21434 0 0 0 179399 349 0 0 25 0 1 0 198617062 97980416 18163 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/13165/statm: 23921 18163 105 232 0 23686 0 Current children cumulated CPU time (s) 1797.48 Current children cumulated vsize (Kb) 95684 [startup+1799.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13167 /proc/meminfo: memFree=1413984/2055920 swapFree=4181420/4192956 [pid=13165] ppid=13163 vsize=95684 CPUtime=1798.49 /proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 21435 0 0 0 179500 349 0 0 25 0 1 0 198617062 97980416 18164 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/13165/statm: 23921 18164 105 232 0 23686 0 Current children cumulated CPU time (s) 1798.49 Current children cumulated vsize (Kb) 95684 [startup+1800.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13167 /proc/meminfo: memFree=1413984/2055920 swapFree=4181420/4192956 [pid=13165] ppid=13163 vsize=95684 CPUtime=1799.49 /proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 21436 0 0 0 179600 349 0 0 25 0 1 0 198617062 97980416 18165 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/13165/statm: 23921 18165 105 232 0 23686 0 Current children cumulated CPU time (s) 1799.49 Current children cumulated vsize (Kb) 95684 [startup+1801.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13167 /proc/meminfo: memFree=1413984/2055920 swapFree=4181420/4192956 [pid=13165] ppid=13163 vsize=95684 CPUtime=1800.5 /proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 21443 0 0 0 179700 350 0 0 25 0 1 0 198617062 97980416 18172 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/13165/statm: 23921 18172 105 232 0 23686 0 Current children cumulated CPU time (s) 1800.5 Current children cumulated vsize (Kb) 95684 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 13167 /proc/meminfo: memFree=1413984/2055920 swapFree=4181420/4192956 [pid=13165] ppid=13163 vsize=95684 CPUtime=1800.51 /proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 21443 0 0 0 179701 350 0 0 25 0 1 0 198617062 97980416 18172 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/13165/statm: 23921 18172 105 232 0 23686 0 Current children cumulated CPU time (s) 1800.51 Current children cumulated vsize (Kb) 95684 Sending SIGTERM to -13165 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.18 CPU time (s): 1800.53 CPU user time (s): 1797.01 CPU system time (s): 3.51447 CPU usage (%): 99.9638 Max. virtual memory (cumulated for all children) (Kb): 95684 The end
Begin job on node12 on Sat Jun 3 10:12:25 UTC 2006 FILE ID= 41341-1149329545 PBS_JOBID= 309799 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-lotfi.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node12/41341-1149329545/instance-41341-1149329545.opb 685059911 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-41341-1149329545 -o ROOT/results/node12/solver-41341-1149329545 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node12/41341-1149329545/instance-41341-1149329545.opb 685059911 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 76d897d8437070b9cbeb866c2620c3bc RANDOM SEED= 685059911 /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.282 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.282 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: 1487008 kB Buffers: 22628 kB Cached: 474944 kB SwapCached: 3180 kB Active: 294136 kB Inactive: 212144 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1487008 kB SwapTotal: 4192956 kB SwapFree: 4181420 kB Dirty: 156 kB Writeback: 0 kB Mapped: 14720 kB Slab: 48676 kB Committed_AS: 304528 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node12 on Sat Jun 3 10:42:26 UTC 2006