Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.67 | 1801.34 |
Name | normalized-PB06/OPT-MEDINT/reduced/mps-v2-20-10/ plato.asu.edu/pub/lptestset/fome/normalized-reduced-mps-v2-20-10-fome13.opb |
MD5SUM | dc68c84ca9a12d789f4fef65e97f0e43 |
Bench Category | OPT-MEDINT (optimisation, medium 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 | 2933624 |
Total number of constraints | 48672 |
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 | 48672 |
Minimum length of a constraint | 13 |
Maximum length of a constraint | 6840 |
Number of terms in the objective function | 1496264 |
Biggest coefficient in the objective function | 160 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 1988816 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 1988816 |
Number of bits of the biggest sum of numbers | 21 |
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/node37/41181-1149322167/instance-41181-1149322167.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/node37/watcher-41181-1149322167 -o ROOT/results/node37/solver-41181-1149322167 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node37/41181-1149322167/instance-41181-1149322167.opb 247561667 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.85 0.97 0.94 2/64 32412 /proc/meminfo: memFree=1352304/2055920 swapFree=4181380/4192956 [pid=32412] ppid=32410 vsize=1368 CPUtime=0 /proc/32412/stat : 32412 (PBS4L) R 32410 32412 32366 0 -1 4194304 106 0 0 0 0 0 0 0 19 0 1 0 197883527 1400832 90 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140957 0 0 4096 0 0 0 0 17 1 0 0 /proc/32412/statm: 342 92 81 232 0 107 0 [startup+10.0019 s] /proc/loadavg: 0.87 0.97 0.94 2/64 32412 /proc/meminfo: memFree=875000/2055920 swapFree=4181380/4192956 [pid=32412] ppid=32410 vsize=491864 CPUtime=9.95 /proc/32412/stat : 32412 (PBS4L) R 32410 32412 32366 0 -1 4194304 129376 0 0 0 944 51 0 0 25 0 1 0 197883527 503668736 119262 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134536732 0 0 4096 0 0 0 0 17 1 0 0 /proc/32412/statm: 122966 119263 97 232 0 122731 0 Current children cumulated CPU time (s) 9.95 Current children cumulated vsize (Kb) 491864 [startup+20.0157 s] /proc/loadavg: 0.89 0.97 0.94 2/64 32412 /proc/meminfo: memFree=874104/2055920 swapFree=4181380/4192956 [pid=32412] ppid=32410 vsize=491864 CPUtime=19.95 /proc/32412/stat : 32412 (PBS4L) R 32410 32412 32366 0 -1 4194304 129604 0 0 0 1944 51 0 0 25 0 1 0 197883527 503668736 119490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613138 0 0 4096 0 0 0 0 17 1 0 0 /proc/32412/statm: 122966 119490 98 232 0 122731 0 Current children cumulated CPU time (s) 19.95 Current children cumulated vsize (Kb) 491864 [startup+30.0226 s] /proc/loadavg: 0.91 0.97 0.94 2/64 32412 /proc/meminfo: memFree=874104/2055920 swapFree=4181380/4192956 [pid=32412] ppid=32410 vsize=491864 CPUtime=29.95 /proc/32412/stat : 32412 (PBS4L) R 32410 32412 32366 0 -1 4194304 129604 0 0 0 2944 51 0 0 25 0 1 0 197883527 503668736 119490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613920 0 0 4096 0 0 0 0 17 1 0 0 /proc/32412/statm: 122966 119490 98 232 0 122731 0 Current children cumulated CPU time (s) 29.95 Current children cumulated vsize (Kb) 491864 [startup+40.0285 s] /proc/loadavg: 0.92 0.97 0.94 2/64 32412 /proc/meminfo: memFree=874168/2055920 swapFree=4181380/4192956 [pid=32412] ppid=32410 vsize=491864 CPUtime=39.96 /proc/32412/stat : 32412 (PBS4L) R 32410 32412 32366 0 -1 4194304 129604 0 0 0 3945 51 0 0 25 0 1 0 197883527 503668736 119490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613920 0 0 4096 0 0 0 0 17 1 0 0 /proc/32412/statm: 122966 119490 98 232 0 122731 0 Current children cumulated CPU time (s) 39.96 Current children cumulated vsize (Kb) 491864 [startup+50.0374 s] /proc/loadavg: 0.93 0.97 0.94 2/64 32412 /proc/meminfo: memFree=874232/2055920 swapFree=4181380/4192956 [pid=32412] ppid=32410 vsize=491864 CPUtime=49.96 /proc/32412/stat : 32412 (PBS4L) R 32410 32412 32366 0 -1 4194304 129604 0 0 0 4945 51 0 0 25 0 1 0 197883527 503668736 119490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613248 0 0 4096 0 0 0 0 17 1 0 0 /proc/32412/statm: 122966 119490 98 232 0 122731 0 Current children cumulated CPU time (s) 49.96 Current children cumulated vsize (Kb) 491864 [startup+60.0433 s] /proc/loadavg: 0.94 0.97 0.94 2/64 32412 /proc/meminfo: memFree=874232/2055920 swapFree=4181380/4192956 [pid=32412] ppid=32410 vsize=491864 CPUtime=60.04 /proc/32412/stat : 32412 (PBS4L) R 32410 32412 32366 0 -1 4194304 129604 0 0 0 5953 51 0 0 25 0 1 0 197883527 503668736 119490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613920 0 0 4096 0 0 0 0 17 1 0 0 /proc/32412/statm: 122966 119490 98 232 0 122731 0 Current children cumulated CPU time (s) 60.04 Current children cumulated vsize (Kb) 491864 [startup+70.1251 s] /proc/loadavg: 0.95 0.97 0.94 2/64 32412 /proc/meminfo: memFree=874168/2055920 swapFree=4181380/4192956 [pid=32412] ppid=32410 vsize=491864 CPUtime=70.05 /proc/32412/stat : 32412 (PBS4L) R 32410 32412 32366 0 -1 4194304 129604 0 0 0 6953 52 0 0 25 0 1 0 197883527 503668736 119490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613145 0 0 4096 0 0 0 0 17 1 0 0 /proc/32412/statm: 122966 119490 98 232 0 122731 0 Current children cumulated CPU time (s) 70.05 Current children cumulated vsize (Kb) 491864 [startup+80.131 s] /proc/loadavg: 0.96 0.97 0.94 2/64 32412 /proc/meminfo: memFree=874232/2055920 swapFree=4181380/4192956 [pid=32412] ppid=32410 vsize=491864 CPUtime=80.05 /proc/32412/stat : 32412 (PBS4L) R 32410 32412 32366 0 -1 4194304 129604 0 0 0 7953 52 0 0 25 0 1 0 197883527 503668736 119490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613248 0 0 4096 0 0 0 0 17 1 0 0 /proc/32412/statm: 122966 119490 98 232 0 122731 0 Current children cumulated CPU time (s) 80.05 Current children cumulated vsize (Kb) 491864 [startup+90.1369 s] /proc/loadavg: 0.96 0.97 0.94 2/64 32412 /proc/meminfo: memFree=874232/2055920 swapFree=4181380/4192956 [pid=32412] ppid=32410 vsize=491864 CPUtime=90.05 /proc/32412/stat : 32412 (PBS4L) R 32410 32412 32366 0 -1 4194304 129604 0 0 0 8953 52 0 0 25 0 1 0 197883527 503668736 119490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613920 0 0 4096 0 0 0 0 17 1 0 0 /proc/32412/statm: 122966 119490 98 232 0 122731 0 Current children cumulated CPU time (s) 90.05 Current children cumulated vsize (Kb) 491864 [startup+100.143 s] /proc/loadavg: 0.97 0.97 0.94 2/64 32412 /proc/meminfo: memFree=874232/2055920 swapFree=4181380/4192956 [pid=32412] ppid=32410 vsize=491864 CPUtime=100.05 /proc/32412/stat : 32412 (PBS4L) R 32410 32412 32366 0 -1 4194304 129604 0 0 0 9953 52 0 0 25 0 1 0 197883527 503668736 119490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613231 0 0 4096 0 0 0 0 17 1 0 0 /proc/32412/statm: 122966 119490 98 232 0 122731 0 Current children cumulated CPU time (s) 100.05 Current children cumulated vsize (Kb) 491864 [startup+110.149 s] /proc/loadavg: 0.97 0.97 0.94 2/64 32412 /proc/meminfo: memFree=874168/2055920 swapFree=4181380/4192956 [pid=32412] ppid=32410 vsize=491864 CPUtime=110.06 /proc/32412/stat : 32412 (PBS4L) R 32410 32412 32366 0 -1 4194304 129604 0 0 0 10954 52 0 0 25 0 1 0 197883527 503668736 119490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613239 0 0 4096 0 0 0 0 17 1 0 0 /proc/32412/statm: 122966 119490 98 232 0 122731 0 Current children cumulated CPU time (s) 110.06 Current children cumulated vsize (Kb) 491864 [startup+120.155 s] /proc/loadavg: 0.98 0.97 0.94 2/64 32412 /proc/meminfo: memFree=874168/2055920 swapFree=4181380/4192956 [pid=32412] ppid=32410 vsize=491864 CPUtime=120.06 /proc/32412/stat : 32412 (PBS4L) R 32410 32412 32366 0 -1 4194304 129604 0 0 0 11954 52 0 0 25 0 1 0 197883527 503668736 119490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613920 0 0 4096 0 0 0 0 17 1 0 0 /proc/32412/statm: 122966 119490 98 232 0 122731 0 Current children cumulated CPU time (s) 120.06 Current children cumulated vsize (Kb) 491864 [startup+130.16 s] /proc/loadavg: 0.98 0.97 0.94 2/64 32412 /proc/meminfo: memFree=874168/2055920 swapFree=4181380/4192956 [pid=32412] ppid=32410 vsize=491864 CPUtime=130.06 /proc/32412/stat : 32412 (PBS4L) R 32410 32412 32366 0 -1 4194304 129604 0 0 0 12954 52 0 0 25 0 1 0 197883527 503668736 119490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613237 0 0 4096 0 0 0 0 17 1 0 0 /proc/32412/statm: 122966 119490 98 232 0 122731 0 Current children cumulated CPU time (s) 130.06 Current children cumulated vsize (Kb) 491864 [startup+140.166 s] /proc/loadavg: 0.98 0.97 0.94 2/64 32412 /proc/meminfo: memFree=874168/2055920 swapFree=4181380/4192956 [pid=32412] ppid=32410 vsize=491864 CPUtime=140.06 /proc/32412/stat : 32412 (PBS4L) R 32410 32412 32366 0 -1 4194304 129604 0 0 0 13954 52 0 0 25 0 1 0 197883527 503668736 119490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613231 0 0 4096 0 0 0 0 17 1 0 0 /proc/32412/statm: 122966 119490 98 232 0 122731 0 Current children cumulated CPU time (s) 140.06 Current children cumulated vsize (Kb) 491864 [startup+150.172 s] /proc/loadavg: 0.98 0.97 0.94 2/64 32412 /proc/meminfo: memFree=874168/2055920 swapFree=4181380/4192956 [pid=32412] ppid=32410 vsize=491864 CPUtime=150.07 /proc/32412/stat : 32412 (PBS4L) R 32410 32412 32366 0 -1 4194304 129604 0 0 0 14955 52 0 0 25 0 1 0 197883527 503668736 119490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613131 0 0 4096 0 0 0 0 17 1 0 0 /proc/32412/statm: 122966 119490 98 232 0 122731 0 Current children cumulated CPU time (s) 150.07 Current children cumulated vsize (Kb) 491864 [startup+160.178 s] /proc/loadavg: 0.99 0.97 0.94 2/64 32412 /proc/meminfo: memFree=874232/2055920 swapFree=4181380/4192956 [pid=32412] ppid=32410 vsize=491864 CPUtime=160.07 /proc/32412/stat : 32412 (PBS4L) R 32410 32412 32366 0 -1 4194304 129604 0 0 0 15955 52 0 0 25 0 1 0 197883527 503668736 119490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613115 0 0 4096 0 0 0 0 17 1 0 0 /proc/32412/statm: 122966 119490 98 232 0 122731 0 Current children cumulated CPU time (s) 160.07 Current children cumulated vsize (Kb) 491864 [startup+170.184 s] /proc/loadavg: 0.99 0.97 0.94 2/64 32412 /proc/meminfo: memFree=874232/2055920 swapFree=4181380/4192956 [pid=32412] ppid=32410 vsize=491864 CPUtime=170.07 /proc/32412/stat : 32412 (PBS4L) R 32410 32412 32366 0 -1 4194304 129604 0 0 0 16955 52 0 0 25 0 1 0 197883527 503668736 119490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613231 0 0 4096 0 0 0 0 17 1 0 0 /proc/32412/statm: 122966 119490 98 232 0 122731 0 Current children cumulated CPU time (s) 170.07 Current children cumulated vsize (Kb) 491864 [startup+180.19 s] /proc/loadavg: 0.99 0.97 0.94 2/64 32412 /proc/meminfo: memFree=874232/2055920 swapFree=4181380/4192956 [pid=32412] ppid=32410 vsize=491864 CPUtime=180.07 /proc/32412/stat : 32412 (PBS4L) R 32410 32412 32366 0 -1 4194304 129604 0 0 0 17955 52 0 0 25 0 1 0 197883527 503668736 119490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613923 0 0 4096 0 0 0 0 17 1 0 0 /proc/32412/statm: 122966 119490 98 232 0 122731 0 Current children cumulated CPU time (s) 180.07 Current children cumulated vsize (Kb) 491864 [startup+190.197 s] /proc/loadavg: 0.99 0.97 0.94 2/64 32412 /proc/meminfo: memFree=874232/2055920 swapFree=4181380/4192956 [pid=32412] ppid=32410 vsize=491864 CPUtime=190.08 /proc/32412/stat : 32412 (PBS4L) R 32410 32412 32366 0 -1 4194304 129604 0 0 0 18956 52 0 0 25 0 1 0 197883527 503668736 119490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613920 0 0 4096 0 0 0 0 17 1 0 0 /proc/32412/statm: 122966 119490 98 232 0 122731 0 Current children cumulated CPU time (s) 190.08 Current children cumulated vsize (Kb) 491864 [startup+200.203 s] /proc/loadavg: 0.99 0.97 0.94 2/64 32412 /proc/meminfo: memFree=874168/2055920 swapFree=4181380/4192956 [pid=32412] ppid=32410 vsize=491864 CPUtime=200.08 /proc/32412/stat : 32412 (PBS4L) R 32410 32412 32366 0 -1 4194304 129604 0 0 0 19956 52 0 0 25 0 1 0 197883527 503668736 119490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613138 0 0 4096 0 0 0 0 17 1 0 0 /proc/32412/statm: 122966 119490 98 232 0 122731 0 Current children cumulated CPU time (s) 200.08 Current children cumulated vsize (Kb) 491864 [startup+210.208 s] /proc/loadavg: 0.99 0.97 0.94 2/64 32412 /proc/meminfo: memFree=874168/2055920 swapFree=4181380/4192956 ################ # More data... # ################ /proc/32412/stat : 32412 (PBS4L) R 32410 32412 32366 0 -1 4194304 129604 0 0 0 178098 52 0 0 25 0 1 0 197883527 503668736 119490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613920 0 0 4096 0 0 0 0 17 1 0 0 /proc/32412/statm: 122966 119490 98 232 0 122731 0 Current children cumulated CPU time (s) 1781.5 Current children cumulated vsize (Kb) 491864 [startup+1783.17 s] /proc/loadavg: 1.00 0.99 0.94 2/64 32414 /proc/meminfo: memFree=873912/2055920 swapFree=4181380/4192956 [pid=32412] ppid=32410 vsize=491864 CPUtime=1782.5 /proc/32412/stat : 32412 (PBS4L) R 32410 32412 32366 0 -1 4194304 129604 0 0 0 178198 52 0 0 25 0 1 0 197883527 503668736 119490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613920 0 0 4096 0 0 0 0 17 1 0 0 /proc/32412/statm: 122966 119490 98 232 0 122731 0 Current children cumulated CPU time (s) 1782.5 Current children cumulated vsize (Kb) 491864 [startup+1784.17 s] /proc/loadavg: 1.00 0.99 0.94 2/64 32414 /proc/meminfo: memFree=873912/2055920 swapFree=4181380/4192956 [pid=32412] ppid=32410 vsize=491864 CPUtime=1783.51 /proc/32412/stat : 32412 (PBS4L) R 32410 32412 32366 0 -1 4194304 129604 0 0 0 178299 52 0 0 25 0 1 0 197883527 503668736 119490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613115 0 0 4096 0 0 0 0 17 1 0 0 /proc/32412/statm: 122966 119490 98 232 0 122731 0 Current children cumulated CPU time (s) 1783.51 Current children cumulated vsize (Kb) 491864 [startup+1785.18 s] /proc/loadavg: 1.00 0.99 0.94 2/64 32414 /proc/meminfo: memFree=873912/2055920 swapFree=4181380/4192956 [pid=32412] ppid=32410 vsize=491864 CPUtime=1784.51 /proc/32412/stat : 32412 (PBS4L) R 32410 32412 32366 0 -1 4194304 129604 0 0 0 178399 52 0 0 25 0 1 0 197883527 503668736 119490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613926 0 0 4096 0 0 0 0 17 1 0 0 /proc/32412/statm: 122966 119490 98 232 0 122731 0 Current children cumulated CPU time (s) 1784.51 Current children cumulated vsize (Kb) 491864 [startup+1786.18 s] /proc/loadavg: 1.00 0.99 0.94 2/64 32414 /proc/meminfo: memFree=873912/2055920 swapFree=4181380/4192956 [pid=32412] ppid=32410 vsize=491864 CPUtime=1785.51 /proc/32412/stat : 32412 (PBS4L) R 32410 32412 32366 0 -1 4194304 129604 0 0 0 178499 52 0 0 25 0 1 0 197883527 503668736 119490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613237 0 0 4096 0 0 0 0 17 1 0 0 /proc/32412/statm: 122966 119490 98 232 0 122731 0 Current children cumulated CPU time (s) 1785.51 Current children cumulated vsize (Kb) 491864 [startup+1787.19 s] /proc/loadavg: 1.00 0.99 0.94 2/64 32414 /proc/meminfo: memFree=873912/2055920 swapFree=4181380/4192956 [pid=32412] ppid=32410 vsize=491864 CPUtime=1786.52 /proc/32412/stat : 32412 (PBS4L) R 32410 32412 32366 0 -1 4194304 129604 0 0 0 178600 52 0 0 25 0 1 0 197883527 503668736 119490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613926 0 0 4096 0 0 0 0 17 1 0 0 /proc/32412/statm: 122966 119490 98 232 0 122731 0 Current children cumulated CPU time (s) 1786.52 Current children cumulated vsize (Kb) 491864 [startup+1788.19 s] /proc/loadavg: 1.00 0.99 0.94 2/64 32414 /proc/meminfo: memFree=873912/2055920 swapFree=4181380/4192956 [pid=32412] ppid=32410 vsize=491864 CPUtime=1787.52 /proc/32412/stat : 32412 (PBS4L) R 32410 32412 32366 0 -1 4194304 129604 0 0 0 178700 52 0 0 25 0 1 0 197883527 503668736 119490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613115 0 0 4096 0 0 0 0 17 1 0 0 /proc/32412/statm: 122966 119490 98 232 0 122731 0 Current children cumulated CPU time (s) 1787.52 Current children cumulated vsize (Kb) 491864 [startup+1789.2 s] /proc/loadavg: 1.00 0.99 0.94 2/64 32414 /proc/meminfo: memFree=873912/2055920 swapFree=4181380/4192956 [pid=32412] ppid=32410 vsize=491864 CPUtime=1788.53 /proc/32412/stat : 32412 (PBS4L) R 32410 32412 32366 0 -1 4194304 129604 0 0 0 178801 52 0 0 25 0 1 0 197883527 503668736 119490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613248 0 0 4096 0 0 0 0 17 1 0 0 /proc/32412/statm: 122966 119490 98 232 0 122731 0 Current children cumulated CPU time (s) 1788.53 Current children cumulated vsize (Kb) 491864 [startup+1790.2 s] /proc/loadavg: 1.00 0.99 0.94 2/64 32414 /proc/meminfo: memFree=873912/2055920 swapFree=4181380/4192956 [pid=32412] ppid=32410 vsize=491864 CPUtime=1789.53 /proc/32412/stat : 32412 (PBS4L) R 32410 32412 32366 0 -1 4194304 129604 0 0 0 178901 52 0 0 25 0 1 0 197883527 503668736 119490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613920 0 0 4096 0 0 0 0 17 1 0 0 /proc/32412/statm: 122966 119490 98 232 0 122731 0 Current children cumulated CPU time (s) 1789.53 Current children cumulated vsize (Kb) 491864 [startup+1791.21 s] /proc/loadavg: 1.00 0.99 0.94 2/64 32414 /proc/meminfo: memFree=873912/2055920 swapFree=4181380/4192956 [pid=32412] ppid=32410 vsize=491864 CPUtime=1790.54 /proc/32412/stat : 32412 (PBS4L) R 32410 32412 32366 0 -1 4194304 129604 0 0 0 179002 52 0 0 25 0 1 0 197883527 503668736 119490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613248 0 0 4096 0 0 0 0 17 1 0 0 /proc/32412/statm: 122966 119490 98 232 0 122731 0 Current children cumulated CPU time (s) 1790.54 Current children cumulated vsize (Kb) 491864 [startup+1792.21 s] /proc/loadavg: 1.00 0.99 0.94 2/64 32414 /proc/meminfo: memFree=873912/2055920 swapFree=4181380/4192956 [pid=32412] ppid=32410 vsize=491864 CPUtime=1791.54 /proc/32412/stat : 32412 (PBS4L) R 32410 32412 32366 0 -1 4194304 129604 0 0 0 179102 52 0 0 25 0 1 0 197883527 503668736 119490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613138 0 0 4096 0 0 0 0 17 1 0 0 /proc/32412/statm: 122966 119490 98 232 0 122731 0 Current children cumulated CPU time (s) 1791.54 Current children cumulated vsize (Kb) 491864 [startup+1793.22 s] /proc/loadavg: 1.00 0.99 0.94 2/64 32414 /proc/meminfo: memFree=873912/2055920 swapFree=4181380/4192956 [pid=32412] ppid=32410 vsize=491864 CPUtime=1792.55 /proc/32412/stat : 32412 (PBS4L) R 32410 32412 32366 0 -1 4194304 129604 0 0 0 179203 52 0 0 25 0 1 0 197883527 503668736 119490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613920 0 0 4096 0 0 0 0 17 1 0 0 /proc/32412/statm: 122966 119490 98 232 0 122731 0 Current children cumulated CPU time (s) 1792.55 Current children cumulated vsize (Kb) 491864 [startup+1794.22 s] /proc/loadavg: 1.00 0.99 0.94 2/64 32414 /proc/meminfo: memFree=873912/2055920 swapFree=4181380/4192956 [pid=32412] ppid=32410 vsize=491864 CPUtime=1793.55 /proc/32412/stat : 32412 (PBS4L) R 32410 32412 32366 0 -1 4194304 129604 0 0 0 179303 52 0 0 25 0 1 0 197883527 503668736 119490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613145 0 0 4096 0 0 0 0 17 1 0 0 /proc/32412/statm: 122966 119490 98 232 0 122731 0 Current children cumulated CPU time (s) 1793.55 Current children cumulated vsize (Kb) 491864 [startup+1795.23 s] /proc/loadavg: 1.00 0.99 0.94 2/64 32414 /proc/meminfo: memFree=873912/2055920 swapFree=4181380/4192956 [pid=32412] ppid=32410 vsize=491864 CPUtime=1794.56 /proc/32412/stat : 32412 (PBS4L) R 32410 32412 32366 0 -1 4194304 129604 0 0 0 179404 52 0 0 25 0 1 0 197883527 503668736 119490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613115 0 0 4096 0 0 0 0 17 1 0 0 /proc/32412/statm: 122966 119490 98 232 0 122731 0 Current children cumulated CPU time (s) 1794.56 Current children cumulated vsize (Kb) 491864 [startup+1796.23 s] /proc/loadavg: 1.00 0.99 0.94 2/64 32414 /proc/meminfo: memFree=873912/2055920 swapFree=4181380/4192956 [pid=32412] ppid=32410 vsize=491864 CPUtime=1795.56 /proc/32412/stat : 32412 (PBS4L) R 32410 32412 32366 0 -1 4194304 129604 0 0 0 179504 52 0 0 25 0 1 0 197883527 503668736 119490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613926 0 0 4096 0 0 0 0 17 1 0 0 /proc/32412/statm: 122966 119490 98 232 0 122731 0 Current children cumulated CPU time (s) 1795.56 Current children cumulated vsize (Kb) 491864 [startup+1797.24 s] /proc/loadavg: 1.00 0.99 0.94 2/64 32414 /proc/meminfo: memFree=873912/2055920 swapFree=4181380/4192956 [pid=32412] ppid=32410 vsize=491864 CPUtime=1796.57 /proc/32412/stat : 32412 (PBS4L) R 32410 32412 32366 0 -1 4194304 129604 0 0 0 179605 52 0 0 25 0 1 0 197883527 503668736 119490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613115 0 0 4096 0 0 0 0 17 1 0 0 /proc/32412/statm: 122966 119490 98 232 0 122731 0 Current children cumulated CPU time (s) 1796.57 Current children cumulated vsize (Kb) 491864 [startup+1798.24 s] /proc/loadavg: 1.00 0.99 0.94 2/64 32414 /proc/meminfo: memFree=873912/2055920 swapFree=4181380/4192956 [pid=32412] ppid=32410 vsize=491864 CPUtime=1797.57 /proc/32412/stat : 32412 (PBS4L) R 32410 32412 32366 0 -1 4194304 129604 0 0 0 179705 52 0 0 25 0 1 0 197883527 503668736 119490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613231 0 0 4096 0 0 0 0 17 1 0 0 /proc/32412/statm: 122966 119490 98 232 0 122731 0 Current children cumulated CPU time (s) 1797.57 Current children cumulated vsize (Kb) 491864 [startup+1799.25 s] /proc/loadavg: 1.00 0.99 0.94 2/64 32414 /proc/meminfo: memFree=873912/2055920 swapFree=4181380/4192956 [pid=32412] ppid=32410 vsize=491864 CPUtime=1798.58 /proc/32412/stat : 32412 (PBS4L) R 32410 32412 32366 0 -1 4194304 129604 0 0 0 179806 52 0 0 25 0 1 0 197883527 503668736 119490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613127 0 0 4096 0 0 0 0 17 1 0 0 /proc/32412/statm: 122966 119490 98 232 0 122731 0 Current children cumulated CPU time (s) 1798.58 Current children cumulated vsize (Kb) 491864 [startup+1800.25 s] /proc/loadavg: 1.00 0.99 0.94 2/64 32414 /proc/meminfo: memFree=873912/2055920 swapFree=4181380/4192956 [pid=32412] ppid=32410 vsize=491864 CPUtime=1799.58 /proc/32412/stat : 32412 (PBS4L) R 32410 32412 32366 0 -1 4194304 129604 0 0 0 179906 52 0 0 25 0 1 0 197883527 503668736 119490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613248 0 0 4096 0 0 0 0 17 1 0 0 /proc/32412/statm: 122966 119490 98 232 0 122731 0 Current children cumulated CPU time (s) 1799.58 Current children cumulated vsize (Kb) 491864 [startup+1801.26 s] /proc/loadavg: 1.00 0.99 0.94 2/64 32414 /proc/meminfo: memFree=873912/2055920 swapFree=4181380/4192956 [pid=32412] ppid=32410 vsize=491864 CPUtime=1800.58 /proc/32412/stat : 32412 (PBS4L) R 32410 32412 32366 0 -1 4194304 129604 0 0 0 180006 52 0 0 25 0 1 0 197883527 503668736 119490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613115 0 0 4096 0 0 0 0 17 1 0 0 /proc/32412/statm: 122966 119490 98 232 0 122731 0 Current children cumulated CPU time (s) 1800.58 Current children cumulated vsize (Kb) 491864 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.26 s] /proc/loadavg: 1.00 0.99 0.94 2/64 32414 /proc/meminfo: memFree=873912/2055920 swapFree=4181380/4192956 [pid=32412] ppid=32410 vsize=491864 CPUtime=1800.59 /proc/32412/stat : 32412 (PBS4L) R 32410 32412 32366 0 -1 4194304 129604 0 0 0 180007 52 0 0 25 0 1 0 197883527 503668736 119490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613127 0 0 4096 0 0 0 0 17 1 0 0 /proc/32412/statm: 122966 119490 98 232 0 122731 0 Current children cumulated CPU time (s) 1800.59 Current children cumulated vsize (Kb) 491864 Sending SIGTERM to -32412 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.34 CPU time (s): 1800.67 CPU user time (s): 1800.07 CPU system time (s): 0.597909 CPU usage (%): 99.963 Max. virtual memory (cumulated for all children) (Kb): 491864 The end
Begin job on node37 on Sat Jun 3 08:09:31 UTC 2006 FILE ID= 41181-1149322167 PBS_JOBID= 309374 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/reduced/mps-v2-20-10/plato.asu.edu/pub/lptestset/fome/normalized-reduced-mps-v2-20-10-fome13.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node37/41181-1149322167/instance-41181-1149322167.opb 247561667 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node37/watcher-41181-1149322167 -o ROOT/results/node37/solver-41181-1149322167 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node37/41181-1149322167/instance-41181-1149322167.opb 247561667 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= dc68c84ca9a12d789f4fef65e97f0e43 RANDOM SEED= 247561667 /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.281 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.281 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: 1352448 kB Buffers: 24964 kB Cached: 607188 kB SwapCached: 3308 kB Active: 187184 kB Inactive: 453752 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1352448 kB SwapTotal: 4192956 kB SwapFree: 4181380 kB Dirty: 180 kB Writeback: 0 kB Mapped: 14932 kB Slab: 48596 kB Committed_AS: 271652 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 node37 on Sat Jun 3 08:39:35 UTC 2006