Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.66 | 1801.24 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-pilot.we.opb |
MD5SUM | 6d89097601cc17df3da06374ded173c4 |
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 | 77678 |
Total number of constraints | 1016 |
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 | 1016 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 2430 |
Number of terms in the objective function | 2760 |
Biggest coefficient in the objective function | 9798 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 526457 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262399 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 526457 |
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/node71/41376-1149338080/instance-41376-1149338080.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/node71/watcher-41376-1149338080 -o ROOT/results/node71/solver-41376-1149338080 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node71/41376-1149338080/instance-41376-1149338080.opb 66828104 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 0.99 0.99 2/64 18027 /proc/meminfo: memFree=1472168/2055920 swapFree=4182212/4192956 [pid=18027] ppid=18025 vsize=8684 CPUtime=0 /proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 223 0 0 0 0 0 0 0 18 0 1 0 199477710 8892416 207 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598843 0 0 4096 0 0 0 0 17 1 0 0 /proc/18027/statm: 2171 208 90 232 0 1936 0 [startup+10.0026 s] /proc/loadavg: 1.00 0.99 0.99 2/64 18027 /proc/meminfo: memFree=1443840/2055920 swapFree=4182212/4192956 [pid=18027] ppid=18025 vsize=37332 CPUtime=9.99 /proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 9320 0 0 0 995 4 0 0 25 0 1 0 199477710 38227968 7225 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551272 0 0 4096 0 0 0 0 17 1 0 0 /proc/18027/statm: 9333 7225 105 232 0 9098 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 37332 [startup+20.01 s] /proc/loadavg: 1.00 0.99 0.99 2/64 18027 /proc/meminfo: memFree=1441024/2055920 swapFree=4182212/4192956 [pid=18027] ppid=18025 vsize=43844 CPUtime=19.99 /proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 10055 0 0 0 1994 5 0 0 25 0 1 0 199477710 44896256 7960 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/18027/statm: 10961 7960 105 232 0 10726 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 43844 [startup+30.0164 s] /proc/loadavg: 1.00 0.99 0.99 2/64 18029 /proc/meminfo: memFree=1438400/2055920 swapFree=4182212/4192956 [pid=18027] ppid=18025 vsize=44452 CPUtime=30 /proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 10878 0 0 0 2994 6 0 0 25 0 1 0 199477710 45518848 8783 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134588361 0 0 4096 0 0 0 0 17 1 0 0 /proc/18027/statm: 11113 8783 105 232 0 10878 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 44452 [startup+40.0227 s] /proc/loadavg: 1.00 0.99 0.99 2/64 18029 /proc/meminfo: memFree=1436288/2055920 swapFree=4182212/4192956 [pid=18027] ppid=18025 vsize=45828 CPUtime=40 /proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 12725 0 0 0 3992 8 0 0 25 0 1 0 199477710 46927872 9104 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549323 0 0 4096 0 0 0 0 17 1 0 0 /proc/18027/statm: 11457 9104 105 232 0 11222 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 45828 [startup+50.0292 s] /proc/loadavg: 1.00 0.99 0.99 2/64 18029 /proc/meminfo: memFree=1436224/2055920 swapFree=4182212/4192956 [pid=18027] ppid=18025 vsize=45860 CPUtime=50.01 /proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 13691 0 0 0 4992 9 0 0 25 0 1 0 199477710 46960640 9183 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551608 0 0 4096 0 0 0 0 17 1 0 0 /proc/18027/statm: 11465 9183 105 232 0 11230 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 45860 [startup+60.0355 s] /proc/loadavg: 1.00 0.99 0.99 2/64 18029 /proc/meminfo: memFree=1435328/2055920 swapFree=4182212/4192956 [pid=18027] ppid=18025 vsize=45860 CPUtime=60.01 /proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 14327 0 0 0 5991 10 0 0 25 0 1 0 199477710 46960640 9363 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558877 0 0 4096 0 0 0 0 17 1 0 0 /proc/18027/statm: 11465 9363 105 232 0 11230 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 45860 [startup+70.0419 s] /proc/loadavg: 1.00 0.99 0.99 2/64 18029 /proc/meminfo: memFree=1434752/2055920 swapFree=4182212/4192956 [pid=18027] ppid=18025 vsize=46400 CPUtime=70.02 /proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 16671 0 0 0 6990 12 0 0 25 0 1 0 199477710 47513600 9509 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0 /proc/18027/statm: 11600 9509 105 232 0 11365 0 Current children cumulated CPU time (s) 70.02 Current children cumulated vsize (Kb) 46400 [startup+80.0493 s] /proc/loadavg: 1.00 0.99 0.99 2/64 18029 /proc/meminfo: memFree=1434496/2055920 swapFree=4182212/4192956 [pid=18027] ppid=18025 vsize=46876 CPUtime=80.02 /proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 23864 0 0 0 7986 16 0 0 25 0 1 0 199477710 48001024 9616 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546640 0 0 4096 0 0 0 0 17 1 0 0 /proc/18027/statm: 11719 9616 105 232 0 11484 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 46876 [startup+90.0546 s] /proc/loadavg: 1.00 0.99 0.99 2/64 18029 /proc/meminfo: memFree=1434624/2055920 swapFree=4182212/4192956 [pid=18027] ppid=18025 vsize=46496 CPUtime=90.02 /proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 25960 0 0 0 8986 16 0 0 25 0 1 0 199477710 47611904 9536 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549291 0 0 4096 0 0 0 0 17 1 0 0 /proc/18027/statm: 11624 9536 105 232 0 11389 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 46496 [startup+100.061 s] /proc/loadavg: 1.00 0.99 0.99 2/64 18029 /proc/meminfo: memFree=1434496/2055920 swapFree=4182212/4192956 [pid=18027] ppid=18025 vsize=46592 CPUtime=100.02 /proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 29724 0 0 0 9983 19 0 0 25 0 1 0 199477710 47710208 9568 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/18027/statm: 11648 9568 105 232 0 11413 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 46592 [startup+110.067 s] /proc/loadavg: 1.00 0.99 0.99 2/64 18029 /proc/meminfo: memFree=1434176/2055920 swapFree=4182212/4192956 [pid=18027] ppid=18025 vsize=46884 CPUtime=110.03 /proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 33196 0 0 0 10982 21 0 0 25 0 1 0 199477710 48009216 9647 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551272 0 0 4096 0 0 0 0 17 1 0 0 /proc/18027/statm: 11721 9647 105 232 0 11486 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 46884 [startup+120.074 s] /proc/loadavg: 1.00 0.99 0.99 2/64 18029 /proc/meminfo: memFree=1434112/2055920 swapFree=4182212/4192956 [pid=18027] ppid=18025 vsize=46952 CPUtime=120.03 /proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 37789 0 0 0 11979 24 0 0 25 0 1 0 199477710 48078848 9665 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551331 0 0 4096 0 0 0 0 17 1 0 0 /proc/18027/statm: 11738 9665 105 232 0 11503 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 46952 [startup+130.08 s] /proc/loadavg: 1.00 0.99 0.99 2/64 18029 /proc/meminfo: memFree=1433984/2055920 swapFree=4182212/4192956 [pid=18027] ppid=18025 vsize=47568 CPUtime=130.03 /proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 38853 0 0 0 12978 25 0 0 25 0 1 0 199477710 48709632 9733 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0 /proc/18027/statm: 11892 9733 105 232 0 11657 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 47568 [startup+140.088 s] /proc/loadavg: 1.00 0.99 0.99 2/64 18029 /proc/meminfo: memFree=1433024/2055920 swapFree=4182212/4192956 [pid=18027] ppid=18025 vsize=48568 CPUtime=140.04 /proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 43416 0 0 0 13977 27 0 0 25 0 1 0 199477710 49733632 9993 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134587456 0 0 4096 0 0 0 0 17 1 0 0 /proc/18027/statm: 12142 9993 105 232 0 11907 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 48568 [startup+150.094 s] /proc/loadavg: 1.00 0.99 0.99 2/64 18029 /proc/meminfo: memFree=1433344/2055920 swapFree=4182212/4192956 [pid=18027] ppid=18025 vsize=48028 CPUtime=150.05 /proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 47587 0 0 0 14975 30 0 0 25 0 1 0 199477710 49180672 9862 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549318 0 0 4096 0 0 0 0 17 1 0 0 /proc/18027/statm: 12007 9862 105 232 0 11772 0 Current children cumulated CPU time (s) 150.05 Current children cumulated vsize (Kb) 48028 [startup+160.1 s] /proc/loadavg: 1.00 0.99 0.99 2/64 18029 /proc/meminfo: memFree=1433344/2055920 swapFree=4182212/4192956 [pid=18027] ppid=18025 vsize=48028 CPUtime=160.05 /proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 47588 0 0 0 15975 30 0 0 25 0 1 0 199477710 49180672 9863 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/18027/statm: 12007 9863 105 232 0 11772 0 Current children cumulated CPU time (s) 160.05 Current children cumulated vsize (Kb) 48028 [startup+170.107 s] /proc/loadavg: 1.00 0.99 0.99 2/64 18029 /proc/meminfo: memFree=1433344/2055920 swapFree=4182212/4192956 [pid=18027] ppid=18025 vsize=48028 CPUtime=170.05 /proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 47589 0 0 0 16975 30 0 0 25 0 1 0 199477710 49180672 9864 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0 /proc/18027/statm: 12007 9864 105 232 0 11772 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 48028 [startup+180.113 s] /proc/loadavg: 1.00 0.99 0.99 2/64 18029 /proc/meminfo: memFree=1433280/2055920 swapFree=4182212/4192956 [pid=18027] ppid=18025 vsize=48028 CPUtime=180.05 /proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 47951 0 0 0 17975 30 0 0 25 0 1 0 199477710 49180672 9872 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0 /proc/18027/statm: 12007 9872 105 232 0 11772 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 48028 [startup+190.119 s] /proc/loadavg: 1.00 0.99 0.99 2/64 18029 /proc/meminfo: memFree=1432960/2055920 swapFree=4182212/4192956 [pid=18027] ppid=18025 vsize=48324 CPUtime=190.06 /proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 49592 0 0 0 18974 32 0 0 25 0 1 0 199477710 49483776 9953 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549300 0 0 4096 0 0 0 0 17 1 0 0 /proc/18027/statm: 12081 9953 105 232 0 11846 0 Current children cumulated CPU time (s) 190.06 Current children cumulated vsize (Kb) 48324 [startup+200.126 s] /proc/loadavg: 1.00 0.99 0.99 2/64 18029 /proc/meminfo: memFree=1432960/2055920 swapFree=4182212/4192956 [pid=18027] ppid=18025 vsize=48324 CPUtime=200.06 /proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 52946 0 0 0 19972 34 0 0 25 0 1 0 199477710 49483776 9954 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549273 0 0 4096 0 0 0 0 17 1 0 0 /proc/18027/statm: 12081 9954 105 232 0 11846 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 48324 [startup+210.131 s] /proc/loadavg: 1.00 0.99 0.99 2/64 18029 /proc/meminfo: memFree=1432960/2055920 swapFree=4182212/4192956 ################ # More data... # ################ /proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 132607 0 0 0 178037 118 0 0 25 0 1 0 199477710 86315008 14554 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551321 0 0 4096 0 0 0 0 17 1 0 0 /proc/18027/statm: 21073 14554 105 232 0 20838 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (Kb) 84292 [startup+1783.13 s] /proc/loadavg: 1.00 0.99 0.99 2/64 18224 /proc/meminfo: memFree=1414144/2055920 swapFree=4182212/4192956 [pid=18027] ppid=18025 vsize=84292 CPUtime=1782.56 /proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 132607 0 0 0 178138 118 0 0 25 0 1 0 199477710 86315008 14554 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/18027/statm: 21073 14554 105 232 0 20838 0 Current children cumulated CPU time (s) 1782.56 Current children cumulated vsize (Kb) 84292 [startup+1784.13 s] /proc/loadavg: 1.00 0.99 0.99 2/64 18224 /proc/meminfo: memFree=1414144/2055920 swapFree=4182212/4192956 [pid=18027] ppid=18025 vsize=84292 CPUtime=1783.56 /proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 132607 0 0 0 178238 118 0 0 25 0 1 0 199477710 86315008 14554 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551596 0 0 4096 0 0 0 0 17 1 0 0 /proc/18027/statm: 21073 14554 105 232 0 20838 0 Current children cumulated CPU time (s) 1783.56 Current children cumulated vsize (Kb) 84292 [startup+1785.14 s] /proc/loadavg: 1.00 0.99 0.99 2/64 18224 /proc/meminfo: memFree=1414144/2055920 swapFree=4182212/4192956 [pid=18027] ppid=18025 vsize=84292 CPUtime=1784.56 /proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 132607 0 0 0 178338 118 0 0 25 0 1 0 199477710 86315008 14554 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551260 0 0 4096 0 0 0 0 17 1 0 0 /proc/18027/statm: 21073 14554 105 232 0 20838 0 Current children cumulated CPU time (s) 1784.56 Current children cumulated vsize (Kb) 84292 [startup+1786.14 s] /proc/loadavg: 1.00 0.99 0.99 2/64 18224 /proc/meminfo: memFree=1414144/2055920 swapFree=4182212/4192956 [pid=18027] ppid=18025 vsize=84292 CPUtime=1785.57 /proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 132607 0 0 0 178439 118 0 0 25 0 1 0 199477710 86315008 14554 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551579 0 0 4096 0 0 0 0 17 1 0 0 /proc/18027/statm: 21073 14554 105 232 0 20838 0 Current children cumulated CPU time (s) 1785.57 Current children cumulated vsize (Kb) 84292 [startup+1787.15 s] /proc/loadavg: 1.00 0.99 0.99 2/64 18224 /proc/meminfo: memFree=1414144/2055920 swapFree=4182212/4192956 [pid=18027] ppid=18025 vsize=84292 CPUtime=1786.57 /proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 132608 0 0 0 178539 118 0 0 25 0 1 0 199477710 86315008 14555 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551222 0 0 4096 0 0 0 0 17 1 0 0 /proc/18027/statm: 21073 14555 105 232 0 20838 0 Current children cumulated CPU time (s) 1786.57 Current children cumulated vsize (Kb) 84292 [startup+1788.15 s] /proc/loadavg: 1.00 0.99 0.99 2/64 18224 /proc/meminfo: memFree=1414144/2055920 swapFree=4182212/4192956 [pid=18027] ppid=18025 vsize=84292 CPUtime=1787.58 /proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 132608 0 0 0 178640 118 0 0 25 0 1 0 199477710 86315008 14555 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546643 0 0 4096 0 0 0 0 17 1 0 0 /proc/18027/statm: 21073 14555 105 232 0 20838 0 Current children cumulated CPU time (s) 1787.58 Current children cumulated vsize (Kb) 84292 [startup+1789.16 s] /proc/loadavg: 1.00 0.99 0.99 2/64 18224 /proc/meminfo: memFree=1414144/2055920 swapFree=4182212/4192956 [pid=18027] ppid=18025 vsize=84292 CPUtime=1788.58 /proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 132608 0 0 0 178740 118 0 0 25 0 1 0 199477710 86315008 14555 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/18027/statm: 21073 14555 105 232 0 20838 0 Current children cumulated CPU time (s) 1788.58 Current children cumulated vsize (Kb) 84292 [startup+1790.16 s] /proc/loadavg: 1.00 0.99 0.99 2/64 18224 /proc/meminfo: memFree=1414144/2055920 swapFree=4182212/4192956 [pid=18027] ppid=18025 vsize=84292 CPUtime=1789.59 /proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 132608 0 0 0 178841 118 0 0 25 0 1 0 199477710 86315008 14555 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/18027/statm: 21073 14555 105 232 0 20838 0 Current children cumulated CPU time (s) 1789.59 Current children cumulated vsize (Kb) 84292 [startup+1791.17 s] /proc/loadavg: 1.00 0.99 0.99 2/64 18224 /proc/meminfo: memFree=1414144/2055920 swapFree=4182212/4192956 [pid=18027] ppid=18025 vsize=84292 CPUtime=1790.59 /proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 132615 0 0 0 178941 118 0 0 25 0 1 0 199477710 86315008 14562 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551252 0 0 4096 0 0 0 0 17 1 0 0 /proc/18027/statm: 21073 14562 105 232 0 20838 0 Current children cumulated CPU time (s) 1790.59 Current children cumulated vsize (Kb) 84292 [startup+1792.17 s] /proc/loadavg: 1.00 0.99 0.99 2/64 18224 /proc/meminfo: memFree=1414144/2055920 swapFree=4182212/4192956 [pid=18027] ppid=18025 vsize=84292 CPUtime=1791.59 /proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 132615 0 0 0 179041 118 0 0 25 0 1 0 199477710 86315008 14562 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551270 0 0 4096 0 0 0 0 17 1 0 0 /proc/18027/statm: 21073 14562 105 232 0 20838 0 Current children cumulated CPU time (s) 1791.59 Current children cumulated vsize (Kb) 84292 [startup+1793.18 s] /proc/loadavg: 1.00 0.99 0.99 2/64 18224 /proc/meminfo: memFree=1414144/2055920 swapFree=4182212/4192956 [pid=18027] ppid=18025 vsize=84292 CPUtime=1792.6 /proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 132615 0 0 0 179142 118 0 0 25 0 1 0 199477710 86315008 14562 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551638 0 0 4096 0 0 0 0 17 1 0 0 /proc/18027/statm: 21073 14562 105 232 0 20838 0 Current children cumulated CPU time (s) 1792.6 Current children cumulated vsize (Kb) 84292 [startup+1794.18 s] /proc/loadavg: 1.00 0.99 0.99 2/64 18224 /proc/meminfo: memFree=1414144/2055920 swapFree=4182212/4192956 [pid=18027] ppid=18025 vsize=84292 CPUtime=1793.6 /proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 132615 0 0 0 179242 118 0 0 25 0 1 0 199477710 86315008 14562 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/18027/statm: 21073 14562 105 232 0 20838 0 Current children cumulated CPU time (s) 1793.6 Current children cumulated vsize (Kb) 84292 [startup+1795.19 s] /proc/loadavg: 1.00 0.99 0.99 2/64 18224 /proc/meminfo: memFree=1414144/2055920 swapFree=4182212/4192956 [pid=18027] ppid=18025 vsize=84292 CPUtime=1794.61 /proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 132616 0 0 0 179343 118 0 0 25 0 1 0 199477710 86315008 14563 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549311 0 0 4096 0 0 0 0 17 1 0 0 /proc/18027/statm: 21073 14563 105 232 0 20838 0 Current children cumulated CPU time (s) 1794.61 Current children cumulated vsize (Kb) 84292 [startup+1796.19 s] /proc/loadavg: 1.00 0.99 0.99 2/64 18224 /proc/meminfo: memFree=1414144/2055920 swapFree=4182212/4192956 [pid=18027] ppid=18025 vsize=84292 CPUtime=1795.61 /proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 132616 0 0 0 179443 118 0 0 25 0 1 0 199477710 86315008 14563 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/18027/statm: 21073 14563 105 232 0 20838 0 Current children cumulated CPU time (s) 1795.61 Current children cumulated vsize (Kb) 84292 [startup+1797.2 s] /proc/loadavg: 1.00 0.99 0.99 2/64 18224 /proc/meminfo: memFree=1414144/2055920 swapFree=4182212/4192956 [pid=18027] ppid=18025 vsize=84292 CPUtime=1796.62 /proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 132616 0 0 0 179544 118 0 0 25 0 1 0 199477710 86315008 14563 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549259 0 0 4096 0 0 0 0 17 1 0 0 /proc/18027/statm: 21073 14563 105 232 0 20838 0 Current children cumulated CPU time (s) 1796.62 Current children cumulated vsize (Kb) 84292 [startup+1798.2 s] /proc/loadavg: 1.00 0.99 0.99 2/64 18224 /proc/meminfo: memFree=1414144/2055920 swapFree=4182212/4192956 [pid=18027] ppid=18025 vsize=84292 CPUtime=1797.62 /proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 132617 0 0 0 179644 118 0 0 25 0 1 0 199477710 86315008 14564 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0 /proc/18027/statm: 21073 14564 105 232 0 20838 0 Current children cumulated CPU time (s) 1797.62 Current children cumulated vsize (Kb) 84292 [startup+1799.21 s] /proc/loadavg: 1.00 0.99 0.99 3/64 18224 /proc/meminfo: memFree=1414144/2055920 swapFree=4182212/4192956 [pid=18027] ppid=18025 vsize=84292 CPUtime=1798.63 /proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 132617 0 0 0 179745 118 0 0 25 0 1 0 199477710 86315008 14564 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549306 0 0 4096 0 0 0 0 17 1 0 0 /proc/18027/statm: 21073 14564 105 232 0 20838 0 Current children cumulated CPU time (s) 1798.63 Current children cumulated vsize (Kb) 84292 [startup+1800.21 s] /proc/loadavg: 1.00 0.99 0.99 2/64 18224 /proc/meminfo: memFree=1414144/2055920 swapFree=4182212/4192956 [pid=18027] ppid=18025 vsize=84292 CPUtime=1799.63 /proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 132617 0 0 0 179845 118 0 0 25 0 1 0 199477710 86315008 14564 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/18027/statm: 21073 14564 105 232 0 20838 0 Current children cumulated CPU time (s) 1799.63 Current children cumulated vsize (Kb) 84292 [startup+1801.22 s] /proc/loadavg: 1.00 0.99 0.99 2/64 18224 /proc/meminfo: memFree=1414144/2055920 swapFree=4182212/4192956 [pid=18027] ppid=18025 vsize=84292 CPUtime=1800.64 /proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 132617 0 0 0 179946 118 0 0 25 0 1 0 199477710 86315008 14564 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551587 0 0 4096 0 0 0 0 17 1 0 0 /proc/18027/statm: 21073 14564 105 232 0 20838 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (Kb) 84292 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.22 s] /proc/loadavg: 1.00 0.99 0.99 2/64 18224 /proc/meminfo: memFree=1414144/2055920 swapFree=4182212/4192956 [pid=18027] ppid=18025 vsize=84292 CPUtime=1800.64 /proc/18027/stat : 18027 (PBS4L) R 18025 18027 17981 0 -1 4194304 132617 0 0 0 179946 118 0 0 25 0 1 0 199477710 86315008 14564 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551638 0 0 4096 0 0 0 0 17 1 0 0 /proc/18027/statm: 21073 14564 105 232 0 20838 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (Kb) 84292 Sending SIGTERM to -18027 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.24 CPU time (s): 1800.66 CPU user time (s): 1799.47 CPU system time (s): 1.19782 CPU usage (%): 99.9681 Max. virtual memory (cumulated for all children) (Kb): 84292 The end
Begin job on node71 on Sat Jun 3 12:34:40 UTC 2006 FILE ID= 41376-1149338080 PBS_JOBID= 310247 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-pilot.we.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node71/41376-1149338080/instance-41376-1149338080.opb 66828104 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node71/watcher-41376-1149338080 -o ROOT/results/node71/solver-41376-1149338080 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node71/41376-1149338080/instance-41376-1149338080.opb 66828104 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 6d89097601cc17df3da06374ded173c4 RANDOM SEED= 66828104 /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.236 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.236 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: 1472568 kB Buffers: 30916 kB Cached: 478752 kB SwapCached: 2372 kB Active: 73404 kB Inactive: 444940 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1472568 kB SwapTotal: 4192956 kB SwapFree: 4182212 kB Dirty: 176 kB Writeback: 0 kB Mapped: 15092 kB Slab: 51024 kB Committed_AS: 328880 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node71 on Sat Jun 3 13:04:42 UTC 2006