Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.46 | 1801.2 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-maros.opb |
MD5SUM | ffbe7c5e96212b70bc71f745eee091ea |
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 | 42240 |
Total number of constraints | 836 |
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 | 836 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 4740 |
Number of terms in the objective function | 10110 |
Biggest coefficient in the objective function | 11592 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 532977 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 532977 |
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/node75/41322-1149324312/instance-41322-1149324312.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/node75/watcher-41322-1149324312 -o ROOT/results/node75/solver-41322-1149324312 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node75/41322-1149324312/instance-41322-1149324312.opb 4785199 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.97 2/64 24337 /proc/meminfo: memFree=1836344/2055920 swapFree=4182500/4192956 [pid=24337] ppid=24335 vsize=5364 CPUtime=0 /proc/24337/stat : 24337 (PBS4L) R 24335 24337 24291 0 -1 4194304 238 0 0 0 0 0 0 0 18 0 1 0 198094664 5492736 222 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598843 0 0 4096 0 0 0 0 17 1 0 0 /proc/24337/statm: 1341 224 90 232 0 1106 0 [startup+10.0021 s] /proc/loadavg: 0.93 0.96 0.97 2/64 24337 /proc/meminfo: memFree=1814200/2055920 swapFree=4182500/4192956 [pid=24337] ppid=24335 vsize=27444 CPUtime=9.99 /proc/24337/stat : 24337 (PBS4L) R 24335 24337 24291 0 -1 4194304 7199 0 0 0 996 3 0 0 25 0 1 0 198094664 28102656 5651 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546730 0 0 4096 0 0 0 0 17 1 0 0 /proc/24337/statm: 6861 5651 105 232 0 6626 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 27444 [startup+20.0081 s] /proc/loadavg: 0.94 0.96 0.97 2/64 24337 /proc/meminfo: memFree=1814072/2055920 swapFree=4182500/4192956 [pid=24337] ppid=24335 vsize=27444 CPUtime=19.99 /proc/24337/stat : 24337 (PBS4L) R 24335 24337 24291 0 -1 4194304 7249 0 0 0 1996 3 0 0 25 0 1 0 198094664 28102656 5701 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/24337/statm: 6861 5701 105 232 0 6626 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 27444 [startup+30.0141 s] /proc/loadavg: 0.95 0.96 0.97 2/64 24337 /proc/meminfo: memFree=1813880/2055920 swapFree=4182500/4192956 [pid=24337] ppid=24335 vsize=27956 CPUtime=29.99 /proc/24337/stat : 24337 (PBS4L) R 24335 24337 24291 0 -1 4194304 7302 0 0 0 2995 4 0 0 25 0 1 0 198094664 28626944 5754 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546643 0 0 4096 0 0 0 0 17 1 0 0 /proc/24337/statm: 6989 5754 105 232 0 6754 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 27956 [startup+40.0201 s] /proc/loadavg: 0.95 0.96 0.97 2/64 24337 /proc/meminfo: memFree=1813304/2055920 swapFree=4182500/4192956 [pid=24337] ppid=24335 vsize=28980 CPUtime=39.99 /proc/24337/stat : 24337 (PBS4L) R 24335 24337 24291 0 -1 4194304 7469 0 0 0 3994 5 0 0 25 0 1 0 198094664 29675520 5921 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551596 0 0 4096 0 0 0 0 17 1 0 0 /proc/24337/statm: 7245 5921 105 232 0 7010 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 28980 [startup+50.0261 s] /proc/loadavg: 0.96 0.96 0.97 2/64 24337 /proc/meminfo: memFree=1812664/2055920 swapFree=4182500/4192956 [pid=24337] ppid=24335 vsize=28980 CPUtime=49.99 /proc/24337/stat : 24337 (PBS4L) R 24335 24337 24291 0 -1 4194304 7627 0 0 0 4994 5 0 0 25 0 1 0 198094664 29675520 6079 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0 /proc/24337/statm: 7245 6079 105 232 0 7010 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 28980 [startup+60.0321 s] /proc/loadavg: 0.97 0.96 0.97 2/64 24337 /proc/meminfo: memFree=1812728/2055920 swapFree=4182500/4192956 [pid=24337] ppid=24335 vsize=28980 CPUtime=59.99 /proc/24337/stat : 24337 (PBS4L) R 24335 24337 24291 0 -1 4194304 7628 0 0 0 5994 5 0 0 25 0 1 0 198094664 29675520 6080 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/24337/statm: 7245 6080 105 232 0 7010 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 28980 [startup+70.0381 s] /proc/loadavg: 0.97 0.96 0.97 2/64 24337 /proc/meminfo: memFree=1812664/2055920 swapFree=4182500/4192956 [pid=24337] ppid=24335 vsize=28980 CPUtime=70 /proc/24337/stat : 24337 (PBS4L) R 24335 24337 24291 0 -1 4194304 7638 0 0 0 6995 5 0 0 25 0 1 0 198094664 29675520 6090 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551321 0 0 4096 0 0 0 0 17 1 0 0 /proc/24337/statm: 7245 6090 105 232 0 7010 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 28980 [startup+80.0441 s] /proc/loadavg: 0.98 0.96 0.97 2/64 24337 /proc/meminfo: memFree=1812408/2055920 swapFree=4182500/4192956 [pid=24337] ppid=24335 vsize=31028 CPUtime=80 /proc/24337/stat : 24337 (PBS4L) R 24335 24337 24291 0 -1 4194304 7695 0 0 0 7994 6 0 0 25 0 1 0 198094664 31772672 6147 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/24337/statm: 7757 6147 105 232 0 7522 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 31028 [startup+90.0501 s] /proc/loadavg: 0.98 0.96 0.97 2/64 24337 /proc/meminfo: memFree=1811704/2055920 swapFree=4182500/4192956 [pid=24337] ppid=24335 vsize=31028 CPUtime=90.01 /proc/24337/stat : 24337 (PBS4L) R 24335 24337 24291 0 -1 4194304 7863 0 0 0 8994 7 0 0 25 0 1 0 198094664 31772672 6315 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546650 0 0 4096 0 0 0 0 17 1 0 0 /proc/24337/statm: 7757 6315 105 232 0 7522 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 31028 [startup+100.056 s] /proc/loadavg: 0.98 0.96 0.97 2/64 24337 /proc/meminfo: memFree=1811256/2055920 swapFree=4182500/4192956 [pid=24337] ppid=24335 vsize=31028 CPUtime=100.01 /proc/24337/stat : 24337 (PBS4L) R 24335 24337 24291 0 -1 4194304 7984 0 0 0 9994 7 0 0 25 0 1 0 198094664 31772672 6436 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551579 0 0 4096 0 0 0 0 17 1 0 0 /proc/24337/statm: 7757 6436 105 232 0 7522 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 31028 [startup+110.062 s] /proc/loadavg: 0.98 0.97 0.97 2/64 24337 /proc/meminfo: memFree=1811256/2055920 swapFree=4182500/4192956 [pid=24337] ppid=24335 vsize=31028 CPUtime=110.01 /proc/24337/stat : 24337 (PBS4L) R 24335 24337 24291 0 -1 4194304 7984 0 0 0 10994 7 0 0 25 0 1 0 198094664 31772672 6436 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546650 0 0 4096 0 0 0 0 17 1 0 0 /proc/24337/statm: 7757 6436 105 232 0 7522 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 31028 [startup+120.068 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24337 /proc/meminfo: memFree=1811192/2055920 swapFree=4182500/4192956 [pid=24337] ppid=24335 vsize=31028 CPUtime=120.01 /proc/24337/stat : 24337 (PBS4L) R 24335 24337 24291 0 -1 4194304 7984 0 0 0 11994 7 0 0 25 0 1 0 198094664 31772672 6436 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546643 0 0 4096 0 0 0 0 17 1 0 0 /proc/24337/statm: 7757 6436 105 232 0 7522 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 31028 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24337 /proc/meminfo: memFree=1811192/2055920 swapFree=4182500/4192956 [pid=24337] ppid=24335 vsize=31028 CPUtime=130.01 /proc/24337/stat : 24337 (PBS4L) R 24335 24337 24291 0 -1 4194304 7984 0 0 0 12994 7 0 0 25 0 1 0 198094664 31772672 6436 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551608 0 0 4096 0 0 0 0 17 1 0 0 /proc/24337/statm: 7757 6436 105 232 0 7522 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 31028 [startup+140.082 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24337 /proc/meminfo: memFree=1811256/2055920 swapFree=4182500/4192956 [pid=24337] ppid=24335 vsize=31028 CPUtime=140.02 /proc/24337/stat : 24337 (PBS4L) R 24335 24337 24291 0 -1 4194304 7984 0 0 0 13995 7 0 0 25 0 1 0 198094664 31772672 6436 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546657 0 0 4096 0 0 0 0 17 1 0 0 /proc/24337/statm: 7757 6436 105 232 0 7522 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 31028 [startup+150.088 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24337 /proc/meminfo: memFree=1811256/2055920 swapFree=4182500/4192956 [pid=24337] ppid=24335 vsize=31028 CPUtime=150.02 /proc/24337/stat : 24337 (PBS4L) R 24335 24337 24291 0 -1 4194304 7984 0 0 0 14995 7 0 0 25 0 1 0 198094664 31772672 6436 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549257 0 0 4096 0 0 0 0 17 1 0 0 /proc/24337/statm: 7757 6436 105 232 0 7522 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 31028 [startup+160.095 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24337 /proc/meminfo: memFree=1811256/2055920 swapFree=4182500/4192956 [pid=24337] ppid=24335 vsize=31028 CPUtime=160.02 /proc/24337/stat : 24337 (PBS4L) R 24335 24337 24291 0 -1 4194304 7984 0 0 0 15995 7 0 0 25 0 1 0 198094664 31772672 6436 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/24337/statm: 7757 6436 105 232 0 7522 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 31028 [startup+170.101 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24337 /proc/meminfo: memFree=1811256/2055920 swapFree=4182500/4192956 [pid=24337] ppid=24335 vsize=31028 CPUtime=170.03 /proc/24337/stat : 24337 (PBS4L) R 24335 24337 24291 0 -1 4194304 7984 0 0 0 16995 8 0 0 25 0 1 0 198094664 31772672 6436 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/24337/statm: 7757 6436 105 232 0 7522 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 31028 [startup+180.107 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24337 /proc/meminfo: memFree=1811192/2055920 swapFree=4182500/4192956 [pid=24337] ppid=24335 vsize=31028 CPUtime=180.03 /proc/24337/stat : 24337 (PBS4L) R 24335 24337 24291 0 -1 4194304 7984 0 0 0 17995 8 0 0 25 0 1 0 198094664 31772672 6436 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/24337/statm: 7757 6436 105 232 0 7522 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 31028 [startup+190.114 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24337 /proc/meminfo: memFree=1811192/2055920 swapFree=4182500/4192956 [pid=24337] ppid=24335 vsize=31028 CPUtime=190.04 /proc/24337/stat : 24337 (PBS4L) R 24335 24337 24291 0 -1 4194304 7984 0 0 0 18996 8 0 0 25 0 1 0 198094664 31772672 6436 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551321 0 0 4096 0 0 0 0 17 1 0 0 /proc/24337/statm: 7757 6436 105 232 0 7522 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 31028 [startup+200.12 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24337 /proc/meminfo: memFree=1811192/2055920 swapFree=4182500/4192956 [pid=24337] ppid=24335 vsize=31028 CPUtime=200.04 /proc/24337/stat : 24337 (PBS4L) R 24335 24337 24291 0 -1 4194304 7984 0 0 0 19996 8 0 0 25 0 1 0 198094664 31772672 6436 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/24337/statm: 7757 6436 105 232 0 7522 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 31028 [startup+210.126 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24337 /proc/meminfo: memFree=1811192/2055920 swapFree=4182500/4192956 ################ # More data... # ################ /proc/24337/stat : 24337 (PBS4L) R 24335 24337 24291 0 -1 4194304 12624 0 0 0 178092 43 0 0 25 0 1 0 198094664 41902080 8899 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0 /proc/24337/statm: 10230 8899 105 232 0 9995 0 Current children cumulated CPU time (s) 1781.35 Current children cumulated vsize (Kb) 40920 [startup+1783.1 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24532 /proc/meminfo: memFree=1800760/2055920 swapFree=4182500/4192956 [pid=24337] ppid=24335 vsize=40920 CPUtime=1782.36 /proc/24337/stat : 24337 (PBS4L) R 24335 24337 24291 0 -1 4194304 12624 0 0 0 178193 43 0 0 25 0 1 0 198094664 41902080 8899 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0 /proc/24337/statm: 10230 8899 105 232 0 9995 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (Kb) 40920 [startup+1784.1 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24532 /proc/meminfo: memFree=1800760/2055920 swapFree=4182500/4192956 [pid=24337] ppid=24335 vsize=40920 CPUtime=1783.36 /proc/24337/stat : 24337 (PBS4L) R 24335 24337 24291 0 -1 4194304 12624 0 0 0 178293 43 0 0 25 0 1 0 198094664 41902080 8899 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551632 0 0 4096 0 0 0 0 17 1 0 0 /proc/24337/statm: 10230 8899 105 232 0 9995 0 Current children cumulated CPU time (s) 1783.36 Current children cumulated vsize (Kb) 40920 [startup+1785.11 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24532 /proc/meminfo: memFree=1800760/2055920 swapFree=4182500/4192956 [pid=24337] ppid=24335 vsize=40920 CPUtime=1784.37 /proc/24337/stat : 24337 (PBS4L) R 24335 24337 24291 0 -1 4194304 12624 0 0 0 178394 43 0 0 25 0 1 0 198094664 41902080 8899 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546643 0 0 4096 0 0 0 0 17 1 0 0 /proc/24337/statm: 10230 8899 105 232 0 9995 0 Current children cumulated CPU time (s) 1784.37 Current children cumulated vsize (Kb) 40920 [startup+1786.11 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24532 /proc/meminfo: memFree=1800760/2055920 swapFree=4182500/4192956 [pid=24337] ppid=24335 vsize=40920 CPUtime=1785.37 /proc/24337/stat : 24337 (PBS4L) R 24335 24337 24291 0 -1 4194304 12624 0 0 0 178494 43 0 0 25 0 1 0 198094664 41902080 8899 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0 /proc/24337/statm: 10230 8899 105 232 0 9995 0 Current children cumulated CPU time (s) 1785.37 Current children cumulated vsize (Kb) 40920 [startup+1787.12 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24532 /proc/meminfo: memFree=1800760/2055920 swapFree=4182500/4192956 [pid=24337] ppid=24335 vsize=40920 CPUtime=1786.37 /proc/24337/stat : 24337 (PBS4L) R 24335 24337 24291 0 -1 4194304 12624 0 0 0 178594 43 0 0 25 0 1 0 198094664 41902080 8899 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551608 0 0 4096 0 0 0 0 17 1 0 0 /proc/24337/statm: 10230 8899 105 232 0 9995 0 Current children cumulated CPU time (s) 1786.37 Current children cumulated vsize (Kb) 40920 [startup+1788.12 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24532 /proc/meminfo: memFree=1800760/2055920 swapFree=4182500/4192956 [pid=24337] ppid=24335 vsize=40920 CPUtime=1787.38 /proc/24337/stat : 24337 (PBS4L) R 24335 24337 24291 0 -1 4194304 12624 0 0 0 178695 43 0 0 25 0 1 0 198094664 41902080 8899 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/24337/statm: 10230 8899 105 232 0 9995 0 Current children cumulated CPU time (s) 1787.38 Current children cumulated vsize (Kb) 40920 [startup+1789.13 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24532 /proc/meminfo: memFree=1800760/2055920 swapFree=4182500/4192956 [pid=24337] ppid=24335 vsize=40920 CPUtime=1788.38 /proc/24337/stat : 24337 (PBS4L) R 24335 24337 24291 0 -1 4194304 12624 0 0 0 178795 43 0 0 25 0 1 0 198094664 41902080 8899 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/24337/statm: 10230 8899 105 232 0 9995 0 Current children cumulated CPU time (s) 1788.38 Current children cumulated vsize (Kb) 40920 [startup+1790.13 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24532 /proc/meminfo: memFree=1800760/2055920 swapFree=4182500/4192956 [pid=24337] ppid=24335 vsize=40920 CPUtime=1789.39 /proc/24337/stat : 24337 (PBS4L) R 24335 24337 24291 0 -1 4194304 12624 0 0 0 178896 43 0 0 25 0 1 0 198094664 41902080 8899 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551679 0 0 4096 0 0 0 0 17 1 0 0 /proc/24337/statm: 10230 8899 105 232 0 9995 0 Current children cumulated CPU time (s) 1789.39 Current children cumulated vsize (Kb) 40920 [startup+1791.14 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24532 /proc/meminfo: memFree=1800760/2055920 swapFree=4182500/4192956 [pid=24337] ppid=24335 vsize=40920 CPUtime=1790.39 /proc/24337/stat : 24337 (PBS4L) R 24335 24337 24291 0 -1 4194304 12624 0 0 0 178996 43 0 0 25 0 1 0 198094664 41902080 8899 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/24337/statm: 10230 8899 105 232 0 9995 0 Current children cumulated CPU time (s) 1790.39 Current children cumulated vsize (Kb) 40920 [startup+1792.14 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24532 /proc/meminfo: memFree=1800696/2055920 swapFree=4182500/4192956 [pid=24337] ppid=24335 vsize=40920 CPUtime=1791.4 /proc/24337/stat : 24337 (PBS4L) R 24335 24337 24291 0 -1 4194304 12624 0 0 0 179097 43 0 0 25 0 1 0 198094664 41902080 8899 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/24337/statm: 10230 8899 105 232 0 9995 0 Current children cumulated CPU time (s) 1791.4 Current children cumulated vsize (Kb) 40920 [startup+1793.15 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24532 /proc/meminfo: memFree=1800696/2055920 swapFree=4182500/4192956 [pid=24337] ppid=24335 vsize=40920 CPUtime=1792.4 /proc/24337/stat : 24337 (PBS4L) R 24335 24337 24291 0 -1 4194304 12624 0 0 0 179197 43 0 0 25 0 1 0 198094664 41902080 8899 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549259 0 0 4096 0 0 0 0 17 1 0 0 /proc/24337/statm: 10230 8899 105 232 0 9995 0 Current children cumulated CPU time (s) 1792.4 Current children cumulated vsize (Kb) 40920 [startup+1794.15 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24532 /proc/meminfo: memFree=1800696/2055920 swapFree=4182500/4192956 [pid=24337] ppid=24335 vsize=40920 CPUtime=1793.41 /proc/24337/stat : 24337 (PBS4L) R 24335 24337 24291 0 -1 4194304 12624 0 0 0 179298 43 0 0 25 0 1 0 198094664 41902080 8899 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551485 0 0 4096 0 0 0 0 17 1 0 0 /proc/24337/statm: 10230 8899 105 232 0 9995 0 Current children cumulated CPU time (s) 1793.41 Current children cumulated vsize (Kb) 40920 [startup+1795.16 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24532 /proc/meminfo: memFree=1800696/2055920 swapFree=4182500/4192956 [pid=24337] ppid=24335 vsize=40920 CPUtime=1794.41 /proc/24337/stat : 24337 (PBS4L) R 24335 24337 24291 0 -1 4194304 12624 0 0 0 179398 43 0 0 25 0 1 0 198094664 41902080 8899 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546657 0 0 4096 0 0 0 0 17 1 0 0 /proc/24337/statm: 10230 8899 105 232 0 9995 0 Current children cumulated CPU time (s) 1794.41 Current children cumulated vsize (Kb) 40920 [startup+1796.16 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24532 /proc/meminfo: memFree=1800696/2055920 swapFree=4182500/4192956 [pid=24337] ppid=24335 vsize=40920 CPUtime=1795.42 /proc/24337/stat : 24337 (PBS4L) R 24335 24337 24291 0 -1 4194304 12624 0 0 0 179499 43 0 0 25 0 1 0 198094664 41902080 8899 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0 /proc/24337/statm: 10230 8899 105 232 0 9995 0 Current children cumulated CPU time (s) 1795.42 Current children cumulated vsize (Kb) 40920 [startup+1797.17 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24532 /proc/meminfo: memFree=1800696/2055920 swapFree=4182500/4192956 [pid=24337] ppid=24335 vsize=40920 CPUtime=1796.42 /proc/24337/stat : 24337 (PBS4L) R 24335 24337 24291 0 -1 4194304 12624 0 0 0 179599 43 0 0 25 0 1 0 198094664 41902080 8899 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546640 0 0 4096 0 0 0 0 17 1 0 0 /proc/24337/statm: 10230 8899 105 232 0 9995 0 Current children cumulated CPU time (s) 1796.42 Current children cumulated vsize (Kb) 40920 [startup+1798.17 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24532 /proc/meminfo: memFree=1800696/2055920 swapFree=4182500/4192956 [pid=24337] ppid=24335 vsize=40920 CPUtime=1797.43 /proc/24337/stat : 24337 (PBS4L) R 24335 24337 24291 0 -1 4194304 12624 0 0 0 179699 44 0 0 25 0 1 0 198094664 41902080 8899 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/24337/statm: 10230 8899 105 232 0 9995 0 Current children cumulated CPU time (s) 1797.43 Current children cumulated vsize (Kb) 40920 [startup+1799.18 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24532 /proc/meminfo: memFree=1800760/2055920 swapFree=4182500/4192956 [pid=24337] ppid=24335 vsize=40920 CPUtime=1798.44 /proc/24337/stat : 24337 (PBS4L) R 24335 24337 24291 0 -1 4194304 12624 0 0 0 179800 44 0 0 25 0 1 0 198094664 41902080 8899 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551621 0 0 4096 0 0 0 0 17 1 0 0 /proc/24337/statm: 10230 8899 105 232 0 9995 0 Current children cumulated CPU time (s) 1798.44 Current children cumulated vsize (Kb) 40920 [startup+1800.18 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24532 /proc/meminfo: memFree=1800760/2055920 swapFree=4182500/4192956 [pid=24337] ppid=24335 vsize=40920 CPUtime=1799.44 /proc/24337/stat : 24337 (PBS4L) R 24335 24337 24291 0 -1 4194304 12624 0 0 0 179900 44 0 0 25 0 1 0 198094664 41902080 8899 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/24337/statm: 10230 8899 105 232 0 9995 0 Current children cumulated CPU time (s) 1799.44 Current children cumulated vsize (Kb) 40920 [startup+1801.19 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24532 /proc/meminfo: memFree=1800760/2055920 swapFree=4182500/4192956 [pid=24337] ppid=24335 vsize=40920 CPUtime=1800.45 /proc/24337/stat : 24337 (PBS4L) R 24335 24337 24291 0 -1 4194304 12624 0 0 0 180001 44 0 0 25 0 1 0 198094664 41902080 8899 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/24337/statm: 10230 8899 105 232 0 9995 0 Current children cumulated CPU time (s) 1800.45 Current children cumulated vsize (Kb) 40920 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.19 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24532 /proc/meminfo: memFree=1800760/2055920 swapFree=4182500/4192956 [pid=24337] ppid=24335 vsize=40920 CPUtime=1800.45 /proc/24337/stat : 24337 (PBS4L) R 24335 24337 24291 0 -1 4194304 12624 0 0 0 180001 44 0 0 25 0 1 0 198094664 41902080 8899 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551608 0 0 4096 0 0 0 0 17 1 0 0 /proc/24337/statm: 10230 8899 105 232 0 9995 0 Current children cumulated CPU time (s) 1800.45 Current children cumulated vsize (Kb) 40920 Sending SIGTERM to -24337 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.2 CPU time (s): 1800.46 CPU user time (s): 1800.02 CPU system time (s): 0.446932 CPU usage (%): 99.959 Max. virtual memory (cumulated for all children) (Kb): 40920 The end
Begin job on node75 on Sat Jun 3 08:45:13 UTC 2006 FILE ID= 41322-1149324312 PBS_JOBID= 309541 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-maros.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node75/41322-1149324312/instance-41322-1149324312.opb 4785199 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-41322-1149324312 -o ROOT/results/node75/solver-41322-1149324312 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node75/41322-1149324312/instance-41322-1149324312.opb 4785199 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= ffbe7c5e96212b70bc71f745eee091ea RANDOM SEED= 4785199 /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.259 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.259 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1836552 kB Buffers: 18488 kB Cached: 135592 kB SwapCached: 2048 kB Active: 37848 kB Inactive: 124852 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1836552 kB SwapTotal: 4192956 kB SwapFree: 4182500 kB Dirty: 156 kB Writeback: 0 kB Mapped: 16032 kB Slab: 42564 kB Committed_AS: 337308 kB PageTables: 1448 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node75 on Sat Jun 3 09:15:14 UTC 2006