Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.49 | 1801.19 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-sp97ar.opb |
MD5SUM | 08881dff6590c7283bf2bddc3ff4042d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 51 |
Best CPU time to get the best result obtained on this benchmark | 1783.08 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 46 |
Optimality of the best value was proved | NO |
Number of variables | 282020 |
Total number of constraints | 1761 |
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 | 1761 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 49260 |
Number of terms in the objective function | 282020 |
Biggest coefficient in the objective function | 79 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 756319 |
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 | 756319 |
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/node82/41471-1149535336/instance-41471-1149535336.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/node82/watcher-41471-1149535336 -o ROOT/results/node82/solver-41471-1149535336 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node82/41471-1149535336/instance-41471-1149535336.opb 137645482 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.15 0.03 0.01 2/68 18270 /proc/meminfo: memFree=1138176/2055892 swapFree=4087504/4096564 [pid=18270] ppid=18268 vsize=27840 CPUtime=0 /proc/18270/stat : 18270 (PBS4L) R 18268 18270 18224 0 -1 4194304 173 0 0 0 0 0 0 0 18 0 1 0 210724128 28508160 158 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598917 0 0 4096 0 0 0 0 17 1 0 0 /proc/18270/statm: 6960 159 90 232 0 6725 0 [startup+10.0023 s] /proc/loadavg: 0.28 0.06 0.02 2/68 18270 /proc/meminfo: memFree=1084096/2055892 swapFree=4087504/4096564 [pid=18270] ppid=18268 vsize=59796 CPUtime=9.99 /proc/18270/stat : 18270 (PBS4L) R 18268 18270 18224 0 -1 4194304 15622 0 0 0 994 5 0 0 25 0 1 0 210724128 61231104 13642 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613145 0 0 4096 0 0 0 0 17 1 0 0 /proc/18270/statm: 14949 13642 98 232 0 14714 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 59796 [startup+20.0082 s] /proc/loadavg: 0.39 0.09 0.03 2/68 18270 /proc/meminfo: memFree=1084288/2055892 swapFree=4087504/4096564 [pid=18270] ppid=18268 vsize=59796 CPUtime=19.99 /proc/18270/stat : 18270 (PBS4L) R 18268 18270 18224 0 -1 4194304 15622 0 0 0 1994 5 0 0 25 0 1 0 210724128 61231104 13642 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613248 0 0 4096 0 0 0 0 17 1 0 0 /proc/18270/statm: 14949 13642 98 232 0 14714 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 59796 [startup+30.0141 s] /proc/loadavg: 0.49 0.12 0.04 2/68 18270 /proc/meminfo: memFree=1084352/2055892 swapFree=4087504/4096564 [pid=18270] ppid=18268 vsize=59796 CPUtime=29.99 /proc/18270/stat : 18270 (PBS4L) R 18268 18270 18224 0 -1 4194304 15622 0 0 0 2994 5 0 0 25 0 1 0 210724128 61231104 13642 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613239 0 0 4096 0 0 0 0 17 1 0 0 /proc/18270/statm: 14949 13642 98 232 0 14714 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 59796 [startup+40.0199 s] /proc/loadavg: 0.56 0.15 0.05 2/68 18270 /proc/meminfo: memFree=1084352/2055892 swapFree=4087504/4096564 [pid=18270] ppid=18268 vsize=59796 CPUtime=40 /proc/18270/stat : 18270 (PBS4L) R 18268 18270 18224 0 -1 4194304 15622 0 0 0 3995 5 0 0 25 0 1 0 210724128 61231104 13642 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613138 0 0 4096 0 0 0 0 17 1 0 0 /proc/18270/statm: 14949 13642 98 232 0 14714 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 59796 [startup+50.0258 s] /proc/loadavg: 0.63 0.18 0.06 2/68 18270 /proc/meminfo: memFree=1084416/2055892 swapFree=4087504/4096564 [pid=18270] ppid=18268 vsize=59796 CPUtime=50 /proc/18270/stat : 18270 (PBS4L) R 18268 18270 18224 0 -1 4194304 15622 0 0 0 4995 5 0 0 25 0 1 0 210724128 61231104 13642 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613248 0 0 4096 0 0 0 0 17 1 0 0 /proc/18270/statm: 14949 13642 98 232 0 14714 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 59796 [startup+60.0317 s] /proc/loadavg: 0.69 0.21 0.07 2/68 18270 /proc/meminfo: memFree=1084416/2055892 swapFree=4087504/4096564 [pid=18270] ppid=18268 vsize=59796 CPUtime=60 /proc/18270/stat : 18270 (PBS4L) R 18268 18270 18224 0 -1 4194304 15622 0 0 0 5995 5 0 0 25 0 1 0 210724128 61231104 13642 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613248 0 0 4096 0 0 0 0 17 1 0 0 /proc/18270/statm: 14949 13642 98 232 0 14714 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 59796 [startup+70.0376 s] /proc/loadavg: 0.73 0.23 0.08 2/68 18270 /proc/meminfo: memFree=1084416/2055892 swapFree=4087504/4096564 [pid=18270] ppid=18268 vsize=59796 CPUtime=70 /proc/18270/stat : 18270 (PBS4L) R 18268 18270 18224 0 -1 4194304 15622 0 0 0 6995 5 0 0 25 0 1 0 210724128 61231104 13642 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613138 0 0 4096 0 0 0 0 17 1 0 0 /proc/18270/statm: 14949 13642 98 232 0 14714 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 59796 [startup+80.0434 s] /proc/loadavg: 0.77 0.26 0.09 2/68 18270 /proc/meminfo: memFree=1084416/2055892 swapFree=4087504/4096564 [pid=18270] ppid=18268 vsize=59796 CPUtime=80.01 /proc/18270/stat : 18270 (PBS4L) R 18268 18270 18224 0 -1 4194304 15622 0 0 0 7996 5 0 0 25 0 1 0 210724128 61231104 13642 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613248 0 0 4096 0 0 0 0 17 1 0 0 /proc/18270/statm: 14949 13642 98 232 0 14714 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 59796 [startup+90.0493 s] /proc/loadavg: 0.81 0.28 0.10 2/68 18270 /proc/meminfo: memFree=1084416/2055892 swapFree=4087504/4096564 [pid=18270] ppid=18268 vsize=59796 CPUtime=90.01 /proc/18270/stat : 18270 (PBS4L) R 18268 18270 18224 0 -1 4194304 15622 0 0 0 8996 5 0 0 25 0 1 0 210724128 61231104 13642 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613926 0 0 4096 0 0 0 0 17 1 0 0 /proc/18270/statm: 14949 13642 98 232 0 14714 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 59796 [startup+100.055 s] /proc/loadavg: 0.84 0.30 0.11 2/68 18270 /proc/meminfo: memFree=1084416/2055892 swapFree=4087504/4096564 [pid=18270] ppid=18268 vsize=59796 CPUtime=100.01 /proc/18270/stat : 18270 (PBS4L) R 18268 18270 18224 0 -1 4194304 15622 0 0 0 9996 5 0 0 25 0 1 0 210724128 61231104 13642 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613926 0 0 4096 0 0 0 0 17 1 0 0 /proc/18270/statm: 14949 13642 98 232 0 14714 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 59796 [startup+110.061 s] /proc/loadavg: 0.86 0.33 0.12 2/68 18270 /proc/meminfo: memFree=1084416/2055892 swapFree=4087504/4096564 [pid=18270] ppid=18268 vsize=59796 CPUtime=110.01 /proc/18270/stat : 18270 (PBS4L) R 18268 18270 18224 0 -1 4194304 15622 0 0 0 10996 5 0 0 25 0 1 0 210724128 61231104 13642 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613131 0 0 4096 0 0 0 0 17 1 0 0 /proc/18270/statm: 14949 13642 98 232 0 14714 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 59796 [startup+120.067 s] /proc/loadavg: 0.88 0.35 0.12 2/68 18270 /proc/meminfo: memFree=1084416/2055892 swapFree=4087504/4096564 [pid=18270] ppid=18268 vsize=59796 CPUtime=120.01 /proc/18270/stat : 18270 (PBS4L) R 18268 18270 18224 0 -1 4194304 15622 0 0 0 11996 5 0 0 25 0 1 0 210724128 61231104 13642 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613138 0 0 4096 0 0 0 0 17 1 0 0 /proc/18270/statm: 14949 13642 98 232 0 14714 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 59796 [startup+130.073 s] /proc/loadavg: 0.90 0.37 0.13 2/68 18270 /proc/meminfo: memFree=1084416/2055892 swapFree=4087504/4096564 [pid=18270] ppid=18268 vsize=59796 CPUtime=130.02 /proc/18270/stat : 18270 (PBS4L) R 18268 18270 18224 0 -1 4194304 15622 0 0 0 12997 5 0 0 25 0 1 0 210724128 61231104 13642 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613127 0 0 4096 0 0 0 0 17 1 0 0 /proc/18270/statm: 14949 13642 98 232 0 14714 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 59796 [startup+140.079 s] /proc/loadavg: 0.92 0.39 0.14 2/68 18270 /proc/meminfo: memFree=1084416/2055892 swapFree=4087504/4096564 [pid=18270] ppid=18268 vsize=59796 CPUtime=140.02 /proc/18270/stat : 18270 (PBS4L) R 18268 18270 18224 0 -1 4194304 15622 0 0 0 13997 5 0 0 25 0 1 0 210724128 61231104 13642 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613231 0 0 4096 0 0 0 0 17 1 0 0 /proc/18270/statm: 14949 13642 98 232 0 14714 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 59796 [startup+150.085 s] /proc/loadavg: 0.93 0.41 0.15 2/68 18270 /proc/meminfo: memFree=1084416/2055892 swapFree=4087504/4096564 [pid=18270] ppid=18268 vsize=59796 CPUtime=150.02 /proc/18270/stat : 18270 (PBS4L) R 18268 18270 18224 0 -1 4194304 15622 0 0 0 14997 5 0 0 25 0 1 0 210724128 61231104 13642 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613131 0 0 4096 0 0 0 0 17 1 0 0 /proc/18270/statm: 14949 13642 98 232 0 14714 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 59796 [startup+160.09 s] /proc/loadavg: 0.94 0.43 0.16 2/68 18270 /proc/meminfo: memFree=1084416/2055892 swapFree=4087504/4096564 [pid=18270] ppid=18268 vsize=59796 CPUtime=160.02 /proc/18270/stat : 18270 (PBS4L) R 18268 18270 18224 0 -1 4194304 15622 0 0 0 15997 5 0 0 25 0 1 0 210724128 61231104 13642 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613926 0 0 4096 0 0 0 0 17 1 0 0 /proc/18270/statm: 14949 13642 98 232 0 14714 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 59796 [startup+170.096 s] /proc/loadavg: 0.95 0.45 0.17 2/68 18270 /proc/meminfo: memFree=1084352/2055892 swapFree=4087504/4096564 [pid=18270] ppid=18268 vsize=59796 CPUtime=170.03 /proc/18270/stat : 18270 (PBS4L) R 18268 18270 18224 0 -1 4194304 15622 0 0 0 16998 5 0 0 25 0 1 0 210724128 61231104 13642 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613131 0 0 4096 0 0 0 0 17 1 0 0 /proc/18270/statm: 14949 13642 98 232 0 14714 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 59796 [startup+180.102 s] /proc/loadavg: 0.95 0.46 0.18 2/68 18270 /proc/meminfo: memFree=1084416/2055892 swapFree=4087504/4096564 [pid=18270] ppid=18268 vsize=59796 CPUtime=180.03 /proc/18270/stat : 18270 (PBS4L) R 18268 18270 18224 0 -1 4194304 15622 0 0 0 17998 5 0 0 25 0 1 0 210724128 61231104 13642 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613923 0 0 4096 0 0 0 0 17 1 0 0 /proc/18270/statm: 14949 13642 98 232 0 14714 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 59796 [startup+190.108 s] /proc/loadavg: 0.96 0.48 0.19 2/68 18270 /proc/meminfo: memFree=1080000/2055892 swapFree=4087504/4096564 [pid=18270] ppid=18268 vsize=64204 CPUtime=190.03 /proc/18270/stat : 18270 (PBS4L) R 18268 18270 18224 0 -1 4194304 16725 0 0 0 18998 5 0 0 25 0 1 0 210724128 65744896 14745 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134614245 0 0 4096 0 0 0 0 17 1 0 0 /proc/18270/statm: 16051 14745 99 232 0 15816 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 64204 [startup+200.114 s] /proc/loadavg: 0.97 0.50 0.19 2/68 18270 /proc/meminfo: memFree=1080000/2055892 swapFree=4087504/4096564 [pid=18270] ppid=18268 vsize=64204 CPUtime=200.03 /proc/18270/stat : 18270 (PBS4L) R 18268 18270 18224 0 -1 4194304 16725 0 0 0 19998 5 0 0 25 0 1 0 210724128 65744896 14745 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134614300 0 0 4096 0 0 0 0 17 1 0 0 /proc/18270/statm: 16051 14745 99 232 0 15816 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 64204 [startup+210.12 s] /proc/loadavg: 0.97 0.51 0.20 2/68 18270 /proc/meminfo: memFree=1080000/2055892 swapFree=4087504/4096564 ################ # More data... # ################ /proc/18270/stat : 18270 (PBS4L) R 18268 18270 18224 0 -1 4194304 101463 0 0 0 178096 41 0 0 25 0 1 0 210724128 253067264 54085 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/18270/statm: 61784 54085 103 232 0 61549 0 Current children cumulated CPU time (s) 1781.37 Current children cumulated vsize (Kb) 247136 [startup+1783.06 s] /proc/loadavg: 1.00 0.97 0.82 2/68 18270 /proc/meminfo: memFree=922048/2055892 swapFree=4087504/4096564 [pid=18270] ppid=18268 vsize=247136 CPUtime=1782.37 /proc/18270/stat : 18270 (PBS4L) R 18268 18270 18224 0 -1 4194304 101463 0 0 0 178196 41 0 0 25 0 1 0 210724128 253067264 54085 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/18270/statm: 61784 54085 103 232 0 61549 0 Current children cumulated CPU time (s) 1782.37 Current children cumulated vsize (Kb) 247136 [startup+1784.07 s] /proc/loadavg: 1.00 0.97 0.82 2/68 18270 /proc/meminfo: memFree=922048/2055892 swapFree=4087504/4096564 [pid=18270] ppid=18268 vsize=247136 CPUtime=1783.38 /proc/18270/stat : 18270 (PBS4L) R 18268 18270 18224 0 -1 4194304 101463 0 0 0 178297 41 0 0 25 0 1 0 210724128 253067264 54085 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0 /proc/18270/statm: 61784 54085 103 232 0 61549 0 Current children cumulated CPU time (s) 1783.38 Current children cumulated vsize (Kb) 247136 [startup+1785.07 s] /proc/loadavg: 1.00 0.97 0.82 2/68 18270 /proc/meminfo: memFree=922048/2055892 swapFree=4087504/4096564 [pid=18270] ppid=18268 vsize=247136 CPUtime=1784.38 /proc/18270/stat : 18270 (PBS4L) R 18268 18270 18224 0 -1 4194304 101464 0 0 0 178397 41 0 0 25 0 1 0 210724128 253067264 54086 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/18270/statm: 61784 54086 103 232 0 61549 0 Current children cumulated CPU time (s) 1784.38 Current children cumulated vsize (Kb) 247136 [startup+1786.07 s] /proc/loadavg: 1.00 0.97 0.82 2/68 18270 /proc/meminfo: memFree=922048/2055892 swapFree=4087504/4096564 [pid=18270] ppid=18268 vsize=247136 CPUtime=1785.38 /proc/18270/stat : 18270 (PBS4L) R 18268 18270 18224 0 -1 4194304 101464 0 0 0 178497 41 0 0 25 0 1 0 210724128 253067264 54086 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/18270/statm: 61784 54086 103 232 0 61549 0 Current children cumulated CPU time (s) 1785.38 Current children cumulated vsize (Kb) 247136 [startup+1787.08 s] /proc/loadavg: 1.00 0.97 0.82 2/68 18270 /proc/meminfo: memFree=922048/2055892 swapFree=4087504/4096564 [pid=18270] ppid=18268 vsize=247136 CPUtime=1786.39 /proc/18270/stat : 18270 (PBS4L) R 18268 18270 18224 0 -1 4194304 101464 0 0 0 178598 41 0 0 25 0 1 0 210724128 253067264 54086 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/18270/statm: 61784 54086 103 232 0 61549 0 Current children cumulated CPU time (s) 1786.39 Current children cumulated vsize (Kb) 247136 [startup+1788.08 s] /proc/loadavg: 1.00 0.97 0.82 2/68 18270 /proc/meminfo: memFree=922048/2055892 swapFree=4087504/4096564 [pid=18270] ppid=18268 vsize=247136 CPUtime=1787.39 /proc/18270/stat : 18270 (PBS4L) R 18268 18270 18224 0 -1 4194304 101464 0 0 0 178698 41 0 0 25 0 1 0 210724128 253067264 54086 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/18270/statm: 61784 54086 103 232 0 61549 0 Current children cumulated CPU time (s) 1787.39 Current children cumulated vsize (Kb) 247136 [startup+1789.09 s] /proc/loadavg: 1.00 0.97 0.82 2/68 18270 /proc/meminfo: memFree=922048/2055892 swapFree=4087504/4096564 [pid=18270] ppid=18268 vsize=247136 CPUtime=1788.4 /proc/18270/stat : 18270 (PBS4L) R 18268 18270 18224 0 -1 4194304 101464 0 0 0 178799 41 0 0 25 0 1 0 210724128 253067264 54086 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/18270/statm: 61784 54086 103 232 0 61549 0 Current children cumulated CPU time (s) 1788.4 Current children cumulated vsize (Kb) 247136 [startup+1790.09 s] /proc/loadavg: 1.00 0.97 0.82 2/68 18270 /proc/meminfo: memFree=922048/2055892 swapFree=4087504/4096564 [pid=18270] ppid=18268 vsize=247136 CPUtime=1789.4 /proc/18270/stat : 18270 (PBS4L) R 18268 18270 18224 0 -1 4194304 101465 0 0 0 178899 41 0 0 25 0 1 0 210724128 253067264 54087 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/18270/statm: 61784 54087 103 232 0 61549 0 Current children cumulated CPU time (s) 1789.4 Current children cumulated vsize (Kb) 247136 [startup+1791.1 s] /proc/loadavg: 1.00 0.97 0.82 2/68 18270 /proc/meminfo: memFree=922048/2055892 swapFree=4087504/4096564 [pid=18270] ppid=18268 vsize=247136 CPUtime=1790.41 /proc/18270/stat : 18270 (PBS4L) R 18268 18270 18224 0 -1 4194304 101465 0 0 0 179000 41 0 0 25 0 1 0 210724128 253067264 54087 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/18270/statm: 61784 54087 103 232 0 61549 0 Current children cumulated CPU time (s) 1790.41 Current children cumulated vsize (Kb) 247136 [startup+1792.1 s] /proc/loadavg: 1.00 0.97 0.82 2/68 18270 /proc/meminfo: memFree=922048/2055892 swapFree=4087504/4096564 [pid=18270] ppid=18268 vsize=247136 CPUtime=1791.41 /proc/18270/stat : 18270 (PBS4L) R 18268 18270 18224 0 -1 4194304 101465 0 0 0 179100 41 0 0 25 0 1 0 210724128 253067264 54087 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/18270/statm: 61784 54087 103 232 0 61549 0 Current children cumulated CPU time (s) 1791.41 Current children cumulated vsize (Kb) 247136 [startup+1793.11 s] /proc/loadavg: 1.00 0.97 0.82 2/68 18270 /proc/meminfo: memFree=922048/2055892 swapFree=4087504/4096564 [pid=18270] ppid=18268 vsize=247136 CPUtime=1792.42 /proc/18270/stat : 18270 (PBS4L) R 18268 18270 18224 0 -1 4194304 101465 0 0 0 179201 41 0 0 25 0 1 0 210724128 253067264 54087 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551632 0 0 4096 0 0 0 0 17 1 0 0 /proc/18270/statm: 61784 54087 103 232 0 61549 0 Current children cumulated CPU time (s) 1792.42 Current children cumulated vsize (Kb) 247136 [startup+1794.11 s] /proc/loadavg: 1.00 0.97 0.82 2/68 18270 /proc/meminfo: memFree=922048/2055892 swapFree=4087504/4096564 [pid=18270] ppid=18268 vsize=247136 CPUtime=1793.42 /proc/18270/stat : 18270 (PBS4L) R 18268 18270 18224 0 -1 4194304 101466 0 0 0 179301 41 0 0 25 0 1 0 210724128 253067264 54088 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/18270/statm: 61784 54088 103 232 0 61549 0 Current children cumulated CPU time (s) 1793.42 Current children cumulated vsize (Kb) 247136 [startup+1795.12 s] /proc/loadavg: 1.00 0.97 0.82 2/68 18270 /proc/meminfo: memFree=922048/2055892 swapFree=4087504/4096564 [pid=18270] ppid=18268 vsize=247136 CPUtime=1794.42 /proc/18270/stat : 18270 (PBS4L) R 18268 18270 18224 0 -1 4194304 101466 0 0 0 179401 41 0 0 25 0 1 0 210724128 253067264 54088 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0 /proc/18270/statm: 61784 54088 103 232 0 61549 0 Current children cumulated CPU time (s) 1794.42 Current children cumulated vsize (Kb) 247136 [startup+1796.12 s] /proc/loadavg: 1.00 0.97 0.82 2/68 18270 /proc/meminfo: memFree=922048/2055892 swapFree=4087504/4096564 [pid=18270] ppid=18268 vsize=247136 CPUtime=1795.43 /proc/18270/stat : 18270 (PBS4L) R 18268 18270 18224 0 -1 4194304 101466 0 0 0 179502 41 0 0 25 0 1 0 210724128 253067264 54088 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/18270/statm: 61784 54088 103 232 0 61549 0 Current children cumulated CPU time (s) 1795.43 Current children cumulated vsize (Kb) 247136 [startup+1797.13 s] /proc/loadavg: 1.00 0.97 0.82 2/68 18270 /proc/meminfo: memFree=922048/2055892 swapFree=4087504/4096564 [pid=18270] ppid=18268 vsize=247136 CPUtime=1796.43 /proc/18270/stat : 18270 (PBS4L) R 18268 18270 18224 0 -1 4194304 101466 0 0 0 179602 41 0 0 25 0 1 0 210724128 253067264 54088 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/18270/statm: 61784 54088 103 232 0 61549 0 Current children cumulated CPU time (s) 1796.43 Current children cumulated vsize (Kb) 247136 [startup+1798.13 s] /proc/loadavg: 1.00 0.97 0.82 2/68 18270 /proc/meminfo: memFree=922048/2055892 swapFree=4087504/4096564 [pid=18270] ppid=18268 vsize=247136 CPUtime=1797.44 /proc/18270/stat : 18270 (PBS4L) R 18268 18270 18224 0 -1 4194304 101467 0 0 0 179703 41 0 0 25 0 1 0 210724128 253067264 54089 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/18270/statm: 61784 54089 103 232 0 61549 0 Current children cumulated CPU time (s) 1797.44 Current children cumulated vsize (Kb) 247136 [startup+1799.14 s] /proc/loadavg: 1.00 0.97 0.82 2/68 18270 /proc/meminfo: memFree=922048/2055892 swapFree=4087504/4096564 [pid=18270] ppid=18268 vsize=247136 CPUtime=1798.44 /proc/18270/stat : 18270 (PBS4L) R 18268 18270 18224 0 -1 4194304 101467 0 0 0 179803 41 0 0 25 0 1 0 210724128 253067264 54089 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/18270/statm: 61784 54089 103 232 0 61549 0 Current children cumulated CPU time (s) 1798.44 Current children cumulated vsize (Kb) 247136 [startup+1800.14 s] /proc/loadavg: 1.00 0.97 0.82 2/68 18270 /proc/meminfo: memFree=922048/2055892 swapFree=4087504/4096564 [pid=18270] ppid=18268 vsize=247136 CPUtime=1799.45 /proc/18270/stat : 18270 (PBS4L) R 18268 18270 18224 0 -1 4194304 101467 0 0 0 179904 41 0 0 25 0 1 0 210724128 253067264 54089 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/18270/statm: 61784 54089 103 232 0 61549 0 Current children cumulated CPU time (s) 1799.45 Current children cumulated vsize (Kb) 247136 [startup+1801.15 s] /proc/loadavg: 1.00 0.97 0.82 2/68 18270 /proc/meminfo: memFree=922048/2055892 swapFree=4087504/4096564 [pid=18270] ppid=18268 vsize=247136 CPUtime=1800.45 /proc/18270/stat : 18270 (PBS4L) R 18268 18270 18224 0 -1 4194304 101467 0 0 0 180004 41 0 0 25 0 1 0 210724128 253067264 54089 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/18270/statm: 61784 54089 103 232 0 61549 0 Current children cumulated CPU time (s) 1800.45 Current children cumulated vsize (Kb) 247136 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.15 s] /proc/loadavg: 1.00 0.97 0.82 2/68 18270 /proc/meminfo: memFree=922048/2055892 swapFree=4087504/4096564 [pid=18270] ppid=18268 vsize=247136 CPUtime=1800.45 /proc/18270/stat : 18270 (PBS4L) R 18268 18270 18224 0 -1 4194304 101467 0 0 0 180004 41 0 0 25 0 1 0 210724128 253067264 54089 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/18270/statm: 61784 54089 103 232 0 61549 0 Current children cumulated CPU time (s) 1800.45 Current children cumulated vsize (Kb) 247136 Sending SIGTERM to -18270 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.19 CPU time (s): 1800.49 CPU user time (s): 1800.05 CPU system time (s): 0.444932 CPU usage (%): 99.9615 Max. virtual memory (cumulated for all children) (Kb): 247136 The end
Begin job on node82 on Mon Jun 5 19:22:28 UTC 2006 FILE ID= 41471-1149535336 PBS_JOBID= 315846 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-sp97ar.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node82/41471-1149535336/instance-41471-1149535336.opb 137645482 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node82/watcher-41471-1149535336 -o ROOT/results/node82/solver-41471-1149535336 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node82/41471-1149535336/instance-41471-1149535336.opb 137645482 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 08881dff6590c7283bf2bddc3ff4042d RANDOM SEED= 137645482 /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.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.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: 1138512 kB Buffers: 31984 kB Cached: 815684 kB SwapCached: 2740 kB Active: 218912 kB Inactive: 637440 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1138512 kB SwapTotal: 4096564 kB SwapFree: 4087504 kB Dirty: 220 kB Writeback: 0 kB Mapped: 14632 kB Slab: 47312 kB Committed_AS: 464888 kB PageTables: 1472 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node82 on Mon Jun 5 19:52:30 UTC 2006