Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.63 | 1801.26 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-seymour1.opb |
MD5SUM | 6c96e127d2f61e098d2015d63d4a25a7 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 104536 |
Best CPU time to get the best result obtained on this benchmark | 1800.64 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 99995 |
Optimality of the best value was proved | NO |
Number of variables | 10582 |
Total number of constraints | 5865 |
Number of constraints which are clauses | 651 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 5214 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 198 |
Number of terms in the objective function | 10582 |
Biggest coefficient in the objective function | 229 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 529702 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 1024 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 529702 |
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/41269-1149258463/instance-41269-1149258463.opb ...... 2.10 c done parsing opb. 2.10 o 296150 2.31 o 296102 2.53 o 295273 2.85 o 295272 3.48 o 257498 4.16 o 257246 4.85 o 257027 5.53 o 256899 6.21 o 256769 6.89 o 256766 9.98 o 256765 10.32 o 141376 10.62 o 140743 10.91 o 140130 11.76 o 140129 12.05 o 130856 13.02 o 130855 13.32 o 130142 14.44 o 130141 14.75 o 128627 15.06 o 127867 15.37 o 127853
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-41269-1149258463 -o ROOT/results/node38/solver-41269-1149258463 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node38/41269-1149258463/instance-41269-1149258463.opb 951947530 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.97 3/64 5314 /proc/meminfo: memFree=1665808/2055920 swapFree=4181196/4192956 [pid=5314] ppid=5312 vsize=1400 CPUtime=0 /proc/5314/stat : 5314 (PBS4L) R 5312 5314 5268 0 -1 4194304 117 0 0 0 0 0 0 0 18 0 1 0 191512576 1433600 101 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135137821 0 0 4096 0 0 0 0 17 1 0 0 /proc/5314/statm: 350 108 87 232 0 115 0 [startup+10.0025 s] /proc/loadavg: 0.93 0.97 0.97 2/64 5314 /proc/meminfo: memFree=1643560/2055920 swapFree=4181196/4192956 [pid=5314] ppid=5312 vsize=29648 CPUtime=9.99 /proc/5314/stat : 5314 (PBS4L) R 5312 5314 5268 0 -1 4194304 6401 0 0 0 991 8 0 0 25 0 1 0 191512576 30359552 5670 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546640 0 0 4096 0 0 0 0 17 1 0 0 /proc/5314/statm: 7412 5670 108 232 0 7177 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 29648 [startup+20.0085 s] /proc/loadavg: 0.94 0.97 0.97 2/64 5314 /proc/meminfo: memFree=1643496/2055920 swapFree=4181196/4192956 [pid=5314] ppid=5312 vsize=29648 CPUtime=19.99 /proc/5314/stat : 5314 (PBS4L) R 5312 5314 5268 0 -1 4194304 6448 0 0 0 1976 23 0 0 25 0 1 0 191512576 30359552 5717 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/5314/statm: 7412 5717 108 232 0 7177 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 29648 [startup+30.0144 s] /proc/loadavg: 0.95 0.97 0.97 2/64 5314 /proc/meminfo: memFree=1643432/2055920 swapFree=4181196/4192956 [pid=5314] ppid=5312 vsize=29648 CPUtime=29.99 /proc/5314/stat : 5314 (PBS4L) R 5312 5314 5268 0 -1 4194304 6488 0 0 0 2976 23 0 0 25 0 1 0 191512576 30359552 5757 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/5314/statm: 7412 5757 108 232 0 7177 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 29648 [startup+40.0204 s] /proc/loadavg: 0.96 0.97 0.97 2/64 5314 /proc/meminfo: memFree=1643304/2055920 swapFree=4181196/4192956 [pid=5314] ppid=5312 vsize=29648 CPUtime=40 /proc/5314/stat : 5314 (PBS4L) R 5312 5314 5268 0 -1 4194304 6519 0 0 0 3976 24 0 0 25 0 1 0 191512576 30359552 5788 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/5314/statm: 7412 5788 108 232 0 7177 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 29648 [startup+50.0263 s] /proc/loadavg: 0.96 0.97 0.97 2/64 5314 /proc/meminfo: memFree=1643176/2055920 swapFree=4181196/4192956 [pid=5314] ppid=5312 vsize=29648 CPUtime=50 /proc/5314/stat : 5314 (PBS4L) R 5312 5314 5268 0 -1 4194304 6554 0 0 0 4976 24 0 0 25 0 1 0 191512576 30359552 5823 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/5314/statm: 7412 5823 108 232 0 7177 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 29648 [startup+60.0323 s] /proc/loadavg: 0.97 0.97 0.97 2/64 5314 /proc/meminfo: memFree=1643048/2055920 swapFree=4181196/4192956 [pid=5314] ppid=5312 vsize=29648 CPUtime=60.01 /proc/5314/stat : 5314 (PBS4L) R 5312 5314 5268 0 -1 4194304 6587 0 0 0 5977 24 0 0 25 0 1 0 191512576 30359552 5856 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/5314/statm: 7412 5856 108 232 0 7177 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 29648 [startup+70.0452 s] /proc/loadavg: 0.97 0.97 0.97 2/64 5314 /proc/meminfo: memFree=1642792/2055920 swapFree=4181196/4192956 [pid=5314] ppid=5312 vsize=29648 CPUtime=70.01 /proc/5314/stat : 5314 (PBS4L) R 5312 5314 5268 0 -1 4194304 6641 0 0 0 6977 24 0 0 25 0 1 0 191512576 30359552 5910 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551596 0 0 4096 0 0 0 0 17 1 0 0 /proc/5314/statm: 7412 5910 108 232 0 7177 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 29648 [startup+80.0511 s] /proc/loadavg: 0.98 0.97 0.97 2/64 5314 /proc/meminfo: memFree=1642664/2055920 swapFree=4181196/4192956 [pid=5314] ppid=5312 vsize=29648 CPUtime=80.01 /proc/5314/stat : 5314 (PBS4L) R 5312 5314 5268 0 -1 4194304 6682 0 0 0 7977 24 0 0 25 0 1 0 191512576 30359552 5951 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546605 0 0 4096 0 0 0 0 17 1 0 0 /proc/5314/statm: 7412 5951 108 232 0 7177 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 29648 [startup+90.0581 s] /proc/loadavg: 0.98 0.97 0.97 2/64 5314 /proc/meminfo: memFree=1642472/2055920 swapFree=4181196/4192956 [pid=5314] ppid=5312 vsize=29648 CPUtime=90.02 /proc/5314/stat : 5314 (PBS4L) R 5312 5314 5268 0 -1 4194304 6724 0 0 0 8978 24 0 0 25 0 1 0 191512576 30359552 5993 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0 /proc/5314/statm: 7412 5993 108 232 0 7177 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 29648 [startup+100.065 s] /proc/loadavg: 0.98 0.97 0.97 2/64 5314 /proc/meminfo: memFree=1642280/2055920 swapFree=4181196/4192956 [pid=5314] ppid=5312 vsize=29648 CPUtime=100.02 /proc/5314/stat : 5314 (PBS4L) R 5312 5314 5268 0 -1 4194304 6786 0 0 0 9978 24 0 0 25 0 1 0 191512576 30359552 6055 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549257 0 0 4096 0 0 0 0 17 1 0 0 /proc/5314/statm: 7412 6055 108 232 0 7177 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 29648 [startup+110.072 s] /proc/loadavg: 0.98 0.97 0.97 2/64 5314 /proc/meminfo: memFree=1642088/2055920 swapFree=4181196/4192956 [pid=5314] ppid=5312 vsize=29648 CPUtime=110.02 /proc/5314/stat : 5314 (PBS4L) R 5312 5314 5268 0 -1 4194304 6833 0 0 0 10978 24 0 0 25 0 1 0 191512576 30359552 6102 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549323 0 0 4096 0 0 0 0 17 1 0 0 /proc/5314/statm: 7412 6102 108 232 0 7177 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 29648 [startup+120.079 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5314 /proc/meminfo: memFree=1641768/2055920 swapFree=4181196/4192956 [pid=5314] ppid=5312 vsize=29648 CPUtime=120.02 /proc/5314/stat : 5314 (PBS4L) R 5312 5314 5268 0 -1 4194304 6914 0 0 0 11978 24 0 0 25 0 1 0 191512576 30359552 6183 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/5314/statm: 7412 6183 108 232 0 7177 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 29648 [startup+130.085 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5314 /proc/meminfo: memFree=1641512/2055920 swapFree=4181196/4192956 [pid=5314] ppid=5312 vsize=29648 CPUtime=130.02 /proc/5314/stat : 5314 (PBS4L) R 5312 5314 5268 0 -1 4194304 6978 0 0 0 12978 24 0 0 25 0 1 0 191512576 30359552 6247 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549323 0 0 4096 0 0 0 0 17 1 0 0 /proc/5314/statm: 7412 6247 108 232 0 7177 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 29648 [startup+140.091 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5314 /proc/meminfo: memFree=1641320/2055920 swapFree=4181196/4192956 [pid=5314] ppid=5312 vsize=29648 CPUtime=140.03 /proc/5314/stat : 5314 (PBS4L) R 5312 5314 5268 0 -1 4194304 7024 0 0 0 13978 25 0 0 25 0 1 0 191512576 30359552 6293 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/5314/statm: 7412 6293 108 232 0 7177 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 29648 [startup+150.098 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5314 /proc/meminfo: memFree=1641128/2055920 swapFree=4181196/4192956 [pid=5314] ppid=5312 vsize=29648 CPUtime=150.04 /proc/5314/stat : 5314 (PBS4L) R 5312 5314 5268 0 -1 4194304 7076 0 0 0 14979 25 0 0 25 0 1 0 191512576 30359552 6345 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549251 0 0 4096 0 0 0 0 17 1 0 0 /proc/5314/statm: 7412 6345 108 232 0 7177 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 29648 [startup+160.104 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5314 /proc/meminfo: memFree=1640936/2055920 swapFree=4181196/4192956 [pid=5314] ppid=5312 vsize=29648 CPUtime=160.04 /proc/5314/stat : 5314 (PBS4L) R 5312 5314 5268 0 -1 4194304 7131 0 0 0 15979 25 0 0 25 0 1 0 191512576 30359552 6400 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/5314/statm: 7412 6400 108 232 0 7177 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 29648 [startup+170.11 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5314 /proc/meminfo: memFree=1640680/2055920 swapFree=4181196/4192956 [pid=5314] ppid=5312 vsize=29648 CPUtime=170.04 /proc/5314/stat : 5314 (PBS4L) R 5312 5314 5268 0 -1 4194304 7188 0 0 0 16979 25 0 0 25 0 1 0 191512576 30359552 6457 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134585709 0 0 4096 0 0 0 0 17 1 0 0 /proc/5314/statm: 7412 6457 108 232 0 7177 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 29648 [startup+180.117 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5314 /proc/meminfo: memFree=1640232/2055920 swapFree=4181196/4192956 [pid=5314] ppid=5312 vsize=29648 CPUtime=180.04 /proc/5314/stat : 5314 (PBS4L) R 5312 5314 5268 0 -1 4194304 7303 0 0 0 17979 25 0 0 25 0 1 0 191512576 30359552 6572 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/5314/statm: 7412 6572 108 232 0 7177 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 29648 [startup+190.123 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5314 /proc/meminfo: memFree=1640104/2055920 swapFree=4181196/4192956 [pid=5314] ppid=5312 vsize=29648 CPUtime=190.05 /proc/5314/stat : 5314 (PBS4L) R 5312 5314 5268 0 -1 4194304 7339 0 0 0 18980 25 0 0 25 0 1 0 191512576 30359552 6608 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/5314/statm: 7412 6608 108 232 0 7177 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 29648 [startup+200.128 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5314 /proc/meminfo: memFree=1639912/2055920 swapFree=4181196/4192956 [pid=5314] ppid=5312 vsize=29648 CPUtime=200.05 /proc/5314/stat : 5314 (PBS4L) R 5312 5314 5268 0 -1 4194304 7382 0 0 0 19980 25 0 0 25 0 1 0 191512576 30359552 6651 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0 /proc/5314/statm: 7412 6651 108 232 0 7177 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 29648 [startup+210.135 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5314 /proc/meminfo: memFree=1639592/2055920 swapFree=4181196/4192956 ################ # More data... # ################ /proc/5314/stat : 5314 (PBS4L) R 5312 5314 5268 0 -1 4194304 18257 0 0 0 178113 39 0 0 25 0 1 0 191512576 80691200 17526 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/5314/statm: 19700 17526 108 232 0 19465 0 Current children cumulated CPU time (s) 1781.52 Current children cumulated vsize (Kb) 78800 [startup+1783.15 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5316 /proc/meminfo: memFree=1596008/2055920 swapFree=4181196/4192956 [pid=5314] ppid=5312 vsize=78800 CPUtime=1782.52 /proc/5314/stat : 5314 (PBS4L) R 5312 5314 5268 0 -1 4194304 18257 0 0 0 178213 39 0 0 25 0 1 0 191512576 80691200 17526 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0 /proc/5314/statm: 19700 17526 108 232 0 19465 0 Current children cumulated CPU time (s) 1782.52 Current children cumulated vsize (Kb) 78800 [startup+1784.16 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5316 /proc/meminfo: memFree=1596008/2055920 swapFree=4181196/4192956 [pid=5314] ppid=5312 vsize=78800 CPUtime=1783.52 /proc/5314/stat : 5314 (PBS4L) R 5312 5314 5268 0 -1 4194304 18257 0 0 0 178313 39 0 0 25 0 1 0 191512576 80691200 17526 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/5314/statm: 19700 17526 108 232 0 19465 0 Current children cumulated CPU time (s) 1783.52 Current children cumulated vsize (Kb) 78800 [startup+1785.16 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5316 /proc/meminfo: memFree=1596008/2055920 swapFree=4181196/4192956 [pid=5314] ppid=5312 vsize=78800 CPUtime=1784.53 /proc/5314/stat : 5314 (PBS4L) R 5312 5314 5268 0 -1 4194304 18257 0 0 0 178414 39 0 0 25 0 1 0 191512576 80691200 17526 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/5314/statm: 19700 17526 108 232 0 19465 0 Current children cumulated CPU time (s) 1784.53 Current children cumulated vsize (Kb) 78800 [startup+1786.17 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5316 /proc/meminfo: memFree=1596008/2055920 swapFree=4181196/4192956 [pid=5314] ppid=5312 vsize=78800 CPUtime=1785.53 /proc/5314/stat : 5314 (PBS4L) R 5312 5314 5268 0 -1 4194304 18259 0 0 0 178514 39 0 0 25 0 1 0 191512576 80691200 17528 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/5314/statm: 19700 17528 108 232 0 19465 0 Current children cumulated CPU time (s) 1785.53 Current children cumulated vsize (Kb) 78800 [startup+1787.17 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5316 /proc/meminfo: memFree=1596008/2055920 swapFree=4181196/4192956 [pid=5314] ppid=5312 vsize=78800 CPUtime=1786.54 /proc/5314/stat : 5314 (PBS4L) R 5312 5314 5268 0 -1 4194304 18259 0 0 0 178615 39 0 0 25 0 1 0 191512576 80691200 17528 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0 /proc/5314/statm: 19700 17528 108 232 0 19465 0 Current children cumulated CPU time (s) 1786.54 Current children cumulated vsize (Kb) 78800 [startup+1788.18 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5316 /proc/meminfo: memFree=1596008/2055920 swapFree=4181196/4192956 [pid=5314] ppid=5312 vsize=78800 CPUtime=1787.54 /proc/5314/stat : 5314 (PBS4L) R 5312 5314 5268 0 -1 4194304 18259 0 0 0 178715 39 0 0 25 0 1 0 191512576 80691200 17528 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/5314/statm: 19700 17528 108 232 0 19465 0 Current children cumulated CPU time (s) 1787.54 Current children cumulated vsize (Kb) 78800 [startup+1789.18 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5316 /proc/meminfo: memFree=1596008/2055920 swapFree=4181196/4192956 [pid=5314] ppid=5312 vsize=78800 CPUtime=1788.55 /proc/5314/stat : 5314 (PBS4L) R 5312 5314 5268 0 -1 4194304 18259 0 0 0 178816 39 0 0 25 0 1 0 191512576 80691200 17528 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549303 0 0 4096 0 0 0 0 17 1 0 0 /proc/5314/statm: 19700 17528 108 232 0 19465 0 Current children cumulated CPU time (s) 1788.55 Current children cumulated vsize (Kb) 78800 [startup+1790.19 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5316 /proc/meminfo: memFree=1596008/2055920 swapFree=4181196/4192956 [pid=5314] ppid=5312 vsize=78800 CPUtime=1789.55 /proc/5314/stat : 5314 (PBS4L) R 5312 5314 5268 0 -1 4194304 18259 0 0 0 178916 39 0 0 25 0 1 0 191512576 80691200 17528 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/5314/statm: 19700 17528 108 232 0 19465 0 Current children cumulated CPU time (s) 1789.55 Current children cumulated vsize (Kb) 78800 [startup+1791.19 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5316 /proc/meminfo: memFree=1596008/2055920 swapFree=4181196/4192956 [pid=5314] ppid=5312 vsize=78800 CPUtime=1790.56 /proc/5314/stat : 5314 (PBS4L) R 5312 5314 5268 0 -1 4194304 18259 0 0 0 179017 39 0 0 25 0 1 0 191512576 80691200 17528 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/5314/statm: 19700 17528 108 232 0 19465 0 Current children cumulated CPU time (s) 1790.56 Current children cumulated vsize (Kb) 78800 [startup+1792.2 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5316 /proc/meminfo: memFree=1596008/2055920 swapFree=4181196/4192956 [pid=5314] ppid=5312 vsize=78800 CPUtime=1791.57 /proc/5314/stat : 5314 (PBS4L) R 5312 5314 5268 0 -1 4194304 18262 0 0 0 179117 40 0 0 25 0 1 0 191512576 80691200 17531 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/5314/statm: 19700 17531 108 232 0 19465 0 Current children cumulated CPU time (s) 1791.57 Current children cumulated vsize (Kb) 78800 [startup+1793.2 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5316 /proc/meminfo: memFree=1596008/2055920 swapFree=4181196/4192956 [pid=5314] ppid=5312 vsize=78800 CPUtime=1792.57 /proc/5314/stat : 5314 (PBS4L) R 5312 5314 5268 0 -1 4194304 18262 0 0 0 179217 40 0 0 25 0 1 0 191512576 80691200 17531 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/5314/statm: 19700 17531 108 232 0 19465 0 Current children cumulated CPU time (s) 1792.57 Current children cumulated vsize (Kb) 78800 [startup+1794.21 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5316 /proc/meminfo: memFree=1596008/2055920 swapFree=4181196/4192956 [pid=5314] ppid=5312 vsize=78800 CPUtime=1793.58 /proc/5314/stat : 5314 (PBS4L) R 5312 5314 5268 0 -1 4194304 18262 0 0 0 179318 40 0 0 25 0 1 0 191512576 80691200 17531 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/5314/statm: 19700 17531 108 232 0 19465 0 Current children cumulated CPU time (s) 1793.58 Current children cumulated vsize (Kb) 78800 [startup+1795.21 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5316 /proc/meminfo: memFree=1596008/2055920 swapFree=4181196/4192956 [pid=5314] ppid=5312 vsize=78800 CPUtime=1794.58 /proc/5314/stat : 5314 (PBS4L) R 5312 5314 5268 0 -1 4194304 18262 0 0 0 179418 40 0 0 25 0 1 0 191512576 80691200 17531 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549273 0 0 4096 0 0 0 0 17 1 0 0 /proc/5314/statm: 19700 17531 108 232 0 19465 0 Current children cumulated CPU time (s) 1794.58 Current children cumulated vsize (Kb) 78800 [startup+1796.22 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5316 /proc/meminfo: memFree=1596008/2055920 swapFree=4181196/4192956 [pid=5314] ppid=5312 vsize=78800 CPUtime=1795.59 /proc/5314/stat : 5314 (PBS4L) R 5312 5314 5268 0 -1 4194304 18262 0 0 0 179519 40 0 0 25 0 1 0 191512576 80691200 17531 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/5314/statm: 19700 17531 108 232 0 19465 0 Current children cumulated CPU time (s) 1795.59 Current children cumulated vsize (Kb) 78800 [startup+1797.22 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5316 /proc/meminfo: memFree=1596008/2055920 swapFree=4181196/4192956 [pid=5314] ppid=5312 vsize=78800 CPUtime=1796.59 /proc/5314/stat : 5314 (PBS4L) R 5312 5314 5268 0 -1 4194304 18264 0 0 0 179619 40 0 0 25 0 1 0 191512576 80691200 17533 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/5314/statm: 19700 17533 108 232 0 19465 0 Current children cumulated CPU time (s) 1796.59 Current children cumulated vsize (Kb) 78800 [startup+1798.23 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5316 /proc/meminfo: memFree=1596008/2055920 swapFree=4181196/4192956 [pid=5314] ppid=5312 vsize=78800 CPUtime=1797.6 /proc/5314/stat : 5314 (PBS4L) R 5312 5314 5268 0 -1 4194304 18264 0 0 0 179720 40 0 0 25 0 1 0 191512576 80691200 17533 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/5314/statm: 19700 17533 108 232 0 19465 0 Current children cumulated CPU time (s) 1797.6 Current children cumulated vsize (Kb) 78800 [startup+1799.23 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5316 /proc/meminfo: memFree=1596008/2055920 swapFree=4181196/4192956 [pid=5314] ppid=5312 vsize=78800 CPUtime=1798.6 /proc/5314/stat : 5314 (PBS4L) R 5312 5314 5268 0 -1 4194304 18264 0 0 0 179820 40 0 0 25 0 1 0 191512576 80691200 17533 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0 /proc/5314/statm: 19700 17533 108 232 0 19465 0 Current children cumulated CPU time (s) 1798.6 Current children cumulated vsize (Kb) 78800 [startup+1800.24 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5316 /proc/meminfo: memFree=1596008/2055920 swapFree=4181196/4192956 [pid=5314] ppid=5312 vsize=78800 CPUtime=1799.61 /proc/5314/stat : 5314 (PBS4L) R 5312 5314 5268 0 -1 4194304 18264 0 0 0 179921 40 0 0 25 0 1 0 191512576 80691200 17533 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/5314/statm: 19700 17533 108 232 0 19465 0 Current children cumulated CPU time (s) 1799.61 Current children cumulated vsize (Kb) 78800 [startup+1801.24 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5316 /proc/meminfo: memFree=1596008/2055920 swapFree=4181196/4192956 [pid=5314] ppid=5312 vsize=78800 CPUtime=1800.61 /proc/5314/stat : 5314 (PBS4L) R 5312 5314 5268 0 -1 4194304 18264 0 0 0 180021 40 0 0 25 0 1 0 191512576 80691200 17533 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/5314/statm: 19700 17533 108 232 0 19465 0 Current children cumulated CPU time (s) 1800.61 Current children cumulated vsize (Kb) 78800 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.25 s] /proc/loadavg: 0.99 0.97 0.97 2/64 5316 /proc/meminfo: memFree=1596008/2055920 swapFree=4181196/4192956 [pid=5314] ppid=5312 vsize=78800 CPUtime=1800.62 /proc/5314/stat : 5314 (PBS4L) R 5312 5314 5268 0 -1 4194304 18264 0 0 0 180022 40 0 0 25 0 1 0 191512576 80691200 17533 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549321 0 0 4096 0 0 0 0 17 1 0 0 /proc/5314/statm: 19700 17533 108 232 0 19465 0 Current children cumulated CPU time (s) 1800.62 Current children cumulated vsize (Kb) 78800 Sending SIGTERM to -5314 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.26 CPU time (s): 1800.63 CPU user time (s): 1800.22 CPU system time (s): 0.412937 CPU usage (%): 99.965 Max. virtual memory (cumulated for all children) (Kb): 78800 The end
Begin job on node38 on Fri Jun 2 14:27:43 UTC 2006 FILE ID= 41269-1149258463 PBS_JOBID= 298512 BENCH NAME= ROOT/tmp/node38/41269-1149258463/instance-41269-1149258463.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node38/41269-1149258463/instance-41269-1149258463.opb 951947530 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-41269-1149258463 -o ROOT/results/node38/solver-41269-1149258463 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node38/41269-1149258463/instance-41269-1149258463.opb 951947530 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 6c96e127d2f61e098d2015d63d4a25a7 RANDOM SEED= 951947530 /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: 1666080 kB Buffers: 22628 kB Cached: 296996 kB SwapCached: 3512 kB Active: 42328 kB Inactive: 286108 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1666080 kB SwapTotal: 4192956 kB SwapFree: 4181196 kB Dirty: 168 kB Writeback: 0 kB Mapped: 14904 kB Slab: 47428 kB Committed_AS: 259340 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 Fri Jun 2 14:57:44 UTC 2006