Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.58 | 1801.24 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n3703.opb |
MD5SUM | de8002a7213606f6cc39967e9305bae2 |
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 | 155000 |
Total number of constraints | 5150 |
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 | 5150 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 3000 |
Number of terms in the objective function | 154999 |
Biggest coefficient in the objective function | 76 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 654248 |
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 | 654248 |
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/node80/41221-1149247795/instance-41221-1149247795.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/node80/watcher-41221-1149247795 -o ROOT/results/node80/solver-41221-1149247795 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node80/41221-1149247795/instance-41221-1149247795.opb 504363621 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 2/67 29789 /proc/meminfo: memFree=1677456/2055888 swapFree=4085432/4096564 [pid=29789] ppid=29787 vsize=15932 CPUtime=0 /proc/29789/stat : 29789 (PBS4L) R 29787 29789 29743 0 -1 4194304 143 0 0 0 0 0 0 0 18 0 1 0 190418068 16314368 128 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598917 0 0 4096 0 0 0 0 17 1 0 0 /proc/29789/statm: 3983 129 90 232 0 3748 0 [startup+10.0031 s] /proc/loadavg: 0.93 0.95 0.90 2/67 29789 /proc/meminfo: memFree=1647440/2055888 swapFree=4085432/4096564 [pid=29789] ppid=29787 vsize=33036 CPUtime=9.99 /proc/29789/stat : 29789 (PBS4L) R 29787 29789 29743 0 -1 4194304 8453 0 0 0 995 4 0 0 25 0 1 0 190418068 33828864 7566 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613127 0 0 4096 0 0 0 0 17 1 0 0 /proc/29789/statm: 8259 7566 98 232 0 8024 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 33036 [startup+20.0092 s] /proc/loadavg: 0.94 0.96 0.91 2/67 29789 /proc/meminfo: memFree=1647696/2055888 swapFree=4085432/4096564 [pid=29789] ppid=29787 vsize=33036 CPUtime=19.99 /proc/29789/stat : 29789 (PBS4L) R 29787 29789 29743 0 -1 4194304 8453 0 0 0 1995 4 0 0 25 0 1 0 190418068 33828864 7566 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613140 0 0 4096 0 0 0 0 17 1 0 0 /proc/29789/statm: 8259 7566 98 232 0 8024 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 33036 [startup+30.0153 s] /proc/loadavg: 0.95 0.96 0.91 2/67 29789 /proc/meminfo: memFree=1647760/2055888 swapFree=4085432/4096564 [pid=29789] ppid=29787 vsize=33036 CPUtime=29.99 /proc/29789/stat : 29789 (PBS4L) R 29787 29789 29743 0 -1 4194304 8453 0 0 0 2995 4 0 0 25 0 1 0 190418068 33828864 7566 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613131 0 0 4096 0 0 0 0 17 1 0 0 /proc/29789/statm: 8259 7566 98 232 0 8024 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 33036 [startup+40.0214 s] /proc/loadavg: 0.95 0.96 0.91 2/67 29789 /proc/meminfo: memFree=1647760/2055888 swapFree=4085432/4096564 [pid=29789] ppid=29787 vsize=33036 CPUtime=39.99 /proc/29789/stat : 29789 (PBS4L) R 29787 29789 29743 0 -1 4194304 8453 0 0 0 3995 4 0 0 25 0 1 0 190418068 33828864 7566 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613115 0 0 4096 0 0 0 0 17 1 0 0 /proc/29789/statm: 8259 7566 98 232 0 8024 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 33036 [startup+50.0274 s] /proc/loadavg: 0.96 0.96 0.91 2/67 29789 /proc/meminfo: memFree=1647760/2055888 swapFree=4085432/4096564 [pid=29789] ppid=29787 vsize=33036 CPUtime=50 /proc/29789/stat : 29789 (PBS4L) R 29787 29789 29743 0 -1 4194304 8453 0 0 0 4996 4 0 0 25 0 1 0 190418068 33828864 7566 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613239 0 0 4096 0 0 0 0 17 1 0 0 /proc/29789/statm: 8259 7566 98 232 0 8024 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 33036 [startup+60.0335 s] /proc/loadavg: 0.97 0.96 0.91 2/67 29789 /proc/meminfo: memFree=1645392/2055888 swapFree=4085432/4096564 [pid=29789] ppid=29787 vsize=35460 CPUtime=60 /proc/29789/stat : 29789 (PBS4L) R 29787 29789 29743 0 -1 4194304 9060 0 0 0 5996 4 0 0 25 0 1 0 190418068 36311040 8173 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134614300 0 0 4096 0 0 0 0 17 1 0 0 /proc/29789/statm: 8865 8173 99 232 0 8630 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 35460 [startup+70.0396 s] /proc/loadavg: 0.97 0.96 0.91 2/67 29789 /proc/meminfo: memFree=1645392/2055888 swapFree=4085432/4096564 [pid=29789] ppid=29787 vsize=35460 CPUtime=70 /proc/29789/stat : 29789 (PBS4L) R 29787 29789 29743 0 -1 4194304 9060 0 0 0 6996 4 0 0 25 0 1 0 190418068 36311040 8173 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134614311 0 0 4096 0 0 0 0 17 1 0 0 /proc/29789/statm: 8865 8173 99 232 0 8630 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 35460 [startup+80.0457 s] /proc/loadavg: 0.98 0.96 0.91 2/67 29789 /proc/meminfo: memFree=1645392/2055888 swapFree=4085432/4096564 [pid=29789] ppid=29787 vsize=35460 CPUtime=80 /proc/29789/stat : 29789 (PBS4L) R 29787 29789 29743 0 -1 4194304 9060 0 0 0 7996 4 0 0 25 0 1 0 190418068 36311040 8173 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134614307 0 0 4096 0 0 0 0 17 1 0 0 /proc/29789/statm: 8865 8173 99 232 0 8630 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 35460 [startup+90.0517 s] /proc/loadavg: 0.98 0.96 0.91 2/67 29789 /proc/meminfo: memFree=1645392/2055888 swapFree=4085432/4096564 [pid=29789] ppid=29787 vsize=35460 CPUtime=90 /proc/29789/stat : 29789 (PBS4L) R 29787 29789 29743 0 -1 4194304 9060 0 0 0 8996 4 0 0 25 0 1 0 190418068 36311040 8173 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134614283 0 0 4096 0 0 0 0 17 1 0 0 /proc/29789/statm: 8865 8173 99 232 0 8630 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 35460 [startup+100.058 s] /proc/loadavg: 0.98 0.96 0.91 2/67 29789 /proc/meminfo: memFree=1645392/2055888 swapFree=4085432/4096564 [pid=29789] ppid=29787 vsize=35460 CPUtime=100.01 /proc/29789/stat : 29789 (PBS4L) R 29787 29789 29743 0 -1 4194304 9060 0 0 0 9997 4 0 0 25 0 1 0 190418068 36311040 8173 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134614303 0 0 4096 0 0 0 0 17 1 0 0 /proc/29789/statm: 8865 8173 99 232 0 8630 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 35460 [startup+110.064 s] /proc/loadavg: 0.98 0.96 0.91 2/67 29789 /proc/meminfo: memFree=1645392/2055888 swapFree=4085432/4096564 [pid=29789] ppid=29787 vsize=35460 CPUtime=110.01 /proc/29789/stat : 29789 (PBS4L) R 29787 29789 29743 0 -1 4194304 9060 0 0 0 10997 4 0 0 25 0 1 0 190418068 36311040 8173 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134614305 0 0 4096 0 0 0 0 17 1 0 0 /proc/29789/statm: 8865 8173 99 232 0 8630 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 35460 [startup+120.07 s] /proc/loadavg: 0.99 0.97 0.91 2/67 29789 /proc/meminfo: memFree=1645392/2055888 swapFree=4085432/4096564 [pid=29789] ppid=29787 vsize=35460 CPUtime=120.01 /proc/29789/stat : 29789 (PBS4L) R 29787 29789 29743 0 -1 4194304 9060 0 0 0 11997 4 0 0 25 0 1 0 190418068 36311040 8173 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134614300 0 0 4096 0 0 0 0 17 1 0 0 /proc/29789/statm: 8865 8173 99 232 0 8630 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 35460 [startup+130.076 s] /proc/loadavg: 0.99 0.97 0.91 2/67 29789 /proc/meminfo: memFree=1631440/2055888 swapFree=4085432/4096564 [pid=29789] ppid=29787 vsize=48960 CPUtime=130.02 /proc/29789/stat : 29789 (PBS4L) R 29787 29789 29743 0 -1 4194304 17928 0 0 0 12994 8 0 0 25 0 1 0 190418068 50135040 11587 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134614307 0 0 4096 0 0 0 0 17 1 0 0 /proc/29789/statm: 12240 11587 99 232 0 12005 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 48960 [startup+140.082 s] /proc/loadavg: 0.99 0.97 0.91 2/67 29789 /proc/meminfo: memFree=1615440/2055888 swapFree=4085432/4096564 [pid=29789] ppid=29787 vsize=78104 CPUtime=140.01 /proc/29789/stat : 29789 (PBS4L) R 29787 29789 29743 0 -1 4194304 27277 0 0 0 13990 11 0 0 25 0 1 0 190418068 79978496 15628 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549321 0 0 4096 0 0 0 0 17 1 0 0 /proc/29789/statm: 19526 15628 105 232 0 19291 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 78104 [startup+150.088 s] /proc/loadavg: 0.99 0.97 0.91 2/67 29789 /proc/meminfo: memFree=1613328/2055888 swapFree=4085432/4096564 [pid=29789] ppid=29787 vsize=81176 CPUtime=150.02 /proc/29789/stat : 29789 (PBS4L) R 29787 29789 29743 0 -1 4194304 27865 0 0 0 14990 12 0 0 25 0 1 0 190418068 83124224 16216 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134542458 0 0 4096 0 0 0 0 17 1 0 0 /proc/29789/statm: 20294 16216 105 232 0 20059 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 81176 [startup+160.094 s] /proc/loadavg: 0.99 0.97 0.91 2/67 29789 /proc/meminfo: memFree=1610448/2055888 swapFree=4085432/4096564 [pid=29789] ppid=29787 vsize=85272 CPUtime=160.02 /proc/29789/stat : 29789 (PBS4L) R 29787 29789 29743 0 -1 4194304 28574 0 0 0 15989 13 0 0 25 0 1 0 190418068 87318528 16925 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/29789/statm: 21318 16925 105 232 0 21083 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 85272 [startup+170.1 s] /proc/loadavg: 0.99 0.97 0.91 2/67 29789 /proc/meminfo: memFree=1607248/2055888 swapFree=4085432/4096564 [pid=29789] ppid=29787 vsize=93464 CPUtime=170.02 /proc/29789/stat : 29789 (PBS4L) R 29787 29789 29743 0 -1 4194304 29371 0 0 0 16989 13 0 0 25 0 1 0 190418068 95707136 17722 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/29789/statm: 23366 17722 105 232 0 23131 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 93464 [startup+180.106 s] /proc/loadavg: 0.99 0.97 0.91 2/67 29789 /proc/meminfo: memFree=1603920/2055888 swapFree=4085432/4096564 [pid=29789] ppid=29787 vsize=93464 CPUtime=180.02 /proc/29789/stat : 29789 (PBS4L) R 29787 29789 29743 0 -1 4194304 30203 0 0 0 17989 13 0 0 25 0 1 0 190418068 95707136 18554 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551579 0 0 4096 0 0 0 0 17 1 0 0 /proc/29789/statm: 23366 18554 105 232 0 23131 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 93464 [startup+190.112 s] /proc/loadavg: 0.99 0.97 0.91 2/67 29789 /proc/meminfo: memFree=1600400/2055888 swapFree=4085432/4096564 [pid=29789] ppid=29787 vsize=93464 CPUtime=190.03 /proc/29789/stat : 29789 (PBS4L) R 29787 29789 29743 0 -1 4194304 31075 0 0 0 18989 14 0 0 25 0 1 0 190418068 95707136 19426 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551582 0 0 4096 0 0 0 0 17 1 0 0 /proc/29789/statm: 23366 19426 105 232 0 23131 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 93464 [startup+200.119 s] /proc/loadavg: 0.99 0.97 0.91 2/67 29789 /proc/meminfo: memFree=1596816/2055888 swapFree=4085432/4096564 [pid=29789] ppid=29787 vsize=109848 CPUtime=200.02 /proc/29789/stat : 29789 (PBS4L) R 29787 29789 29743 0 -1 4194304 31965 0 0 0 19988 14 0 0 25 0 1 0 190418068 112484352 20316 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/29789/statm: 27462 20316 105 232 0 27227 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 109848 [startup+210.125 s] /proc/loadavg: 0.99 0.97 0.91 2/67 29789 /proc/meminfo: memFree=1593168/2055888 swapFree=4085432/4096564 ################ # More data... # ################ /proc/29789/stat : 29789 (PBS4L) R 29787 29789 29743 0 -1 4194304 94235 0 0 0 178089 54 0 0 25 0 1 0 190418068 391643136 79762 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551587 0 0 4096 0 0 0 0 17 1 0 0 /proc/29789/statm: 95616 79762 105 232 0 95381 0 Current children cumulated CPU time (s) 1781.43 Current children cumulated vsize (Kb) 382464 [startup+1783.1 s] /proc/loadavg: 1.00 1.00 0.92 2/67 29791 /proc/meminfo: memFree=1357648/2055888 swapFree=4085432/4096564 [pid=29789] ppid=29787 vsize=382464 CPUtime=1782.44 /proc/29789/stat : 29789 (PBS4L) R 29787 29789 29743 0 -1 4194304 94235 0 0 0 178190 54 0 0 25 0 1 0 190418068 391643136 79762 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/29789/statm: 95616 79762 105 232 0 95381 0 Current children cumulated CPU time (s) 1782.44 Current children cumulated vsize (Kb) 382464 [startup+1784.1 s] /proc/loadavg: 1.00 1.00 0.92 2/67 29791 /proc/meminfo: memFree=1357648/2055888 swapFree=4085432/4096564 [pid=29789] ppid=29787 vsize=382464 CPUtime=1783.44 /proc/29789/stat : 29789 (PBS4L) R 29787 29789 29743 0 -1 4194304 94235 0 0 0 178290 54 0 0 25 0 1 0 190418068 391643136 79762 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/29789/statm: 95616 79762 105 232 0 95381 0 Current children cumulated CPU time (s) 1783.44 Current children cumulated vsize (Kb) 382464 [startup+1785.11 s] /proc/loadavg: 1.00 1.00 0.92 2/67 29791 /proc/meminfo: memFree=1357648/2055888 swapFree=4085432/4096564 [pid=29789] ppid=29787 vsize=382464 CPUtime=1784.44 /proc/29789/stat : 29789 (PBS4L) R 29787 29789 29743 0 -1 4194304 94236 0 0 0 178390 54 0 0 25 0 1 0 190418068 391643136 79763 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/29789/statm: 95616 79763 105 232 0 95381 0 Current children cumulated CPU time (s) 1784.44 Current children cumulated vsize (Kb) 382464 [startup+1786.11 s] /proc/loadavg: 1.00 1.00 0.92 2/67 29791 /proc/meminfo: memFree=1357648/2055888 swapFree=4085432/4096564 [pid=29789] ppid=29787 vsize=382464 CPUtime=1785.45 /proc/29789/stat : 29789 (PBS4L) R 29787 29789 29743 0 -1 4194304 94236 0 0 0 178491 54 0 0 25 0 1 0 190418068 391643136 79763 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/29789/statm: 95616 79763 105 232 0 95381 0 Current children cumulated CPU time (s) 1785.45 Current children cumulated vsize (Kb) 382464 [startup+1787.12 s] /proc/loadavg: 1.00 1.00 0.92 2/67 29791 /proc/meminfo: memFree=1357648/2055888 swapFree=4085432/4096564 [pid=29789] ppid=29787 vsize=382464 CPUtime=1786.45 /proc/29789/stat : 29789 (PBS4L) R 29787 29789 29743 0 -1 4194304 94236 0 0 0 178591 54 0 0 25 0 1 0 190418068 391643136 79763 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/29789/statm: 95616 79763 105 232 0 95381 0 Current children cumulated CPU time (s) 1786.45 Current children cumulated vsize (Kb) 382464 [startup+1788.12 s] /proc/loadavg: 1.00 1.00 0.92 2/67 29791 /proc/meminfo: memFree=1357648/2055888 swapFree=4085432/4096564 [pid=29789] ppid=29787 vsize=382464 CPUtime=1787.46 /proc/29789/stat : 29789 (PBS4L) R 29787 29789 29743 0 -1 4194304 94236 0 0 0 178692 54 0 0 25 0 1 0 190418068 391643136 79763 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/29789/statm: 95616 79763 105 232 0 95381 0 Current children cumulated CPU time (s) 1787.46 Current children cumulated vsize (Kb) 382464 [startup+1789.13 s] /proc/loadavg: 1.00 1.00 0.92 2/67 29791 /proc/meminfo: memFree=1357648/2055888 swapFree=4085432/4096564 [pid=29789] ppid=29787 vsize=382464 CPUtime=1788.46 /proc/29789/stat : 29789 (PBS4L) R 29787 29789 29743 0 -1 4194304 94236 0 0 0 178792 54 0 0 25 0 1 0 190418068 391643136 79763 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/29789/statm: 95616 79763 105 232 0 95381 0 Current children cumulated CPU time (s) 1788.46 Current children cumulated vsize (Kb) 382464 [startup+1790.13 s] /proc/loadavg: 1.00 1.00 0.92 2/67 29791 /proc/meminfo: memFree=1357648/2055888 swapFree=4085432/4096564 [pid=29789] ppid=29787 vsize=382464 CPUtime=1789.47 /proc/29789/stat : 29789 (PBS4L) R 29787 29789 29743 0 -1 4194304 94236 0 0 0 178893 54 0 0 25 0 1 0 190418068 391643136 79763 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/29789/statm: 95616 79763 105 232 0 95381 0 Current children cumulated CPU time (s) 1789.47 Current children cumulated vsize (Kb) 382464 [startup+1791.14 s] /proc/loadavg: 1.00 1.00 0.92 2/67 29791 /proc/meminfo: memFree=1357648/2055888 swapFree=4085432/4096564 [pid=29789] ppid=29787 vsize=382464 CPUtime=1790.47 /proc/29789/stat : 29789 (PBS4L) R 29787 29789 29743 0 -1 4194304 94236 0 0 0 178993 54 0 0 25 0 1 0 190418068 391643136 79763 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/29789/statm: 95616 79763 105 232 0 95381 0 Current children cumulated CPU time (s) 1790.47 Current children cumulated vsize (Kb) 382464 [startup+1792.14 s] /proc/loadavg: 1.00 1.00 0.92 2/67 29791 /proc/meminfo: memFree=1357648/2055888 swapFree=4085432/4096564 [pid=29789] ppid=29787 vsize=382464 CPUtime=1791.47 /proc/29789/stat : 29789 (PBS4L) R 29787 29789 29743 0 -1 4194304 94236 0 0 0 179093 54 0 0 25 0 1 0 190418068 391643136 79763 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546663 0 0 4096 0 0 0 0 17 1 0 0 /proc/29789/statm: 95616 79763 105 232 0 95381 0 Current children cumulated CPU time (s) 1791.47 Current children cumulated vsize (Kb) 382464 [startup+1793.15 s] /proc/loadavg: 1.00 1.00 0.92 2/67 29791 /proc/meminfo: memFree=1357648/2055888 swapFree=4085432/4096564 [pid=29789] ppid=29787 vsize=382464 CPUtime=1792.48 /proc/29789/stat : 29789 (PBS4L) R 29787 29789 29743 0 -1 4194304 94236 0 0 0 179194 54 0 0 25 0 1 0 190418068 391643136 79763 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611578 0 0 4096 0 0 0 0 17 1 0 0 /proc/29789/statm: 95616 79763 105 232 0 95381 0 Current children cumulated CPU time (s) 1792.48 Current children cumulated vsize (Kb) 382464 [startup+1794.15 s] /proc/loadavg: 1.00 1.00 0.92 2/67 29791 /proc/meminfo: memFree=1357648/2055888 swapFree=4085432/4096564 [pid=29789] ppid=29787 vsize=382464 CPUtime=1793.48 /proc/29789/stat : 29789 (PBS4L) R 29787 29789 29743 0 -1 4194304 94239 0 0 0 179294 54 0 0 25 0 1 0 190418068 391643136 79766 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/29789/statm: 95616 79766 105 232 0 95381 0 Current children cumulated CPU time (s) 1793.48 Current children cumulated vsize (Kb) 382464 [startup+1795.16 s] /proc/loadavg: 1.00 1.00 0.92 2/67 29791 /proc/meminfo: memFree=1357648/2055888 swapFree=4085432/4096564 [pid=29789] ppid=29787 vsize=382464 CPUtime=1794.5 /proc/29789/stat : 29789 (PBS4L) R 29787 29789 29743 0 -1 4194304 94247 0 0 0 179395 55 0 0 25 0 1 0 190418068 391643136 79774 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/29789/statm: 95616 79774 105 232 0 95381 0 Current children cumulated CPU time (s) 1794.5 Current children cumulated vsize (Kb) 382464 [startup+1796.16 s] /proc/loadavg: 1.00 1.00 0.92 2/67 29791 /proc/meminfo: memFree=1357648/2055888 swapFree=4085432/4096564 [pid=29789] ppid=29787 vsize=382464 CPUtime=1795.5 /proc/29789/stat : 29789 (PBS4L) R 29787 29789 29743 0 -1 4194304 94263 0 0 0 179495 55 0 0 25 0 1 0 190418068 391643136 79790 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0 /proc/29789/statm: 95616 79790 105 232 0 95381 0 Current children cumulated CPU time (s) 1795.5 Current children cumulated vsize (Kb) 382464 [startup+1797.16 s] /proc/loadavg: 1.00 1.00 0.92 2/67 29791 /proc/meminfo: memFree=1357584/2055888 swapFree=4085432/4096564 [pid=29789] ppid=29787 vsize=382600 CPUtime=1796.5 /proc/29789/stat : 29789 (PBS4L) R 29787 29789 29743 0 -1 4194304 94277 0 0 0 179595 55 0 0 25 0 1 0 190418068 391782400 79804 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/29789/statm: 95650 79804 105 232 0 95415 0 Current children cumulated CPU time (s) 1796.5 Current children cumulated vsize (Kb) 382600 [startup+1798.17 s] /proc/loadavg: 1.00 1.00 0.92 2/67 29791 /proc/meminfo: memFree=1357584/2055888 swapFree=4085432/4096564 [pid=29789] ppid=29787 vsize=382600 CPUtime=1797.51 /proc/29789/stat : 29789 (PBS4L) R 29787 29789 29743 0 -1 4194304 94277 0 0 0 179696 55 0 0 25 0 1 0 190418068 391782400 79804 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546597 0 0 4096 0 0 0 0 17 1 0 0 /proc/29789/statm: 95650 79804 105 232 0 95415 0 Current children cumulated CPU time (s) 1797.51 Current children cumulated vsize (Kb) 382600 [startup+1799.17 s] /proc/loadavg: 1.00 1.00 0.92 2/67 29791 /proc/meminfo: memFree=1357584/2055888 swapFree=4085432/4096564 [pid=29789] ppid=29787 vsize=382600 CPUtime=1798.51 /proc/29789/stat : 29789 (PBS4L) R 29787 29789 29743 0 -1 4194304 94277 0 0 0 179796 55 0 0 25 0 1 0 190418068 391782400 79804 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/29789/statm: 95650 79804 105 232 0 95415 0 Current children cumulated CPU time (s) 1798.51 Current children cumulated vsize (Kb) 382600 [startup+1800.18 s] /proc/loadavg: 1.00 1.00 0.92 2/67 29791 /proc/meminfo: memFree=1357584/2055888 swapFree=4085432/4096564 [pid=29789] ppid=29787 vsize=382600 CPUtime=1799.51 /proc/29789/stat : 29789 (PBS4L) R 29787 29789 29743 0 -1 4194304 94277 0 0 0 179896 55 0 0 25 0 1 0 190418068 391782400 79804 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/29789/statm: 95650 79804 105 232 0 95415 0 Current children cumulated CPU time (s) 1799.51 Current children cumulated vsize (Kb) 382600 [startup+1801.18 s] /proc/loadavg: 1.00 1.00 0.92 2/67 29791 /proc/meminfo: memFree=1357584/2055888 swapFree=4085432/4096564 [pid=29789] ppid=29787 vsize=382600 CPUtime=1800.52 /proc/29789/stat : 29789 (PBS4L) R 29787 29789 29743 0 -1 4194304 94277 0 0 0 179997 55 0 0 25 0 1 0 190418068 391782400 79804 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/29789/statm: 95650 79804 105 232 0 95415 0 Current children cumulated CPU time (s) 1800.52 Current children cumulated vsize (Kb) 382600 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.19 s] /proc/loadavg: 1.00 1.00 0.92 2/67 29791 /proc/meminfo: memFree=1357584/2055888 swapFree=4085432/4096564 [pid=29789] ppid=29787 vsize=382600 CPUtime=1800.52 /proc/29789/stat : 29789 (PBS4L) R 29787 29789 29743 0 -1 4194304 94277 0 0 0 179997 55 0 0 25 0 1 0 190418068 391782400 79804 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551579 0 0 4096 0 0 0 0 17 1 0 0 /proc/29789/statm: 95650 79804 105 232 0 95415 0 Current children cumulated CPU time (s) 1800.52 Current children cumulated vsize (Kb) 382600 Sending SIGTERM to -29789 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.24 CPU time (s): 1800.58 CPU user time (s): 1799.98 CPU system time (s): 0.601908 CPU usage (%): 99.9633 Max. virtual memory (cumulated for all children) (Kb): 382600 The end
Begin job on node80 on Fri Jun 2 11:29:55 UTC 2006 FILE ID= 41221-1149247795 PBS_JOBID= 297888 BENCH NAME= ROOT/tmp/node80/41221-1149247795/instance-41221-1149247795.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node80/41221-1149247795/instance-41221-1149247795.opb 504363621 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node80/watcher-41221-1149247795 -o ROOT/results/node80/solver-41221-1149247795 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node80/41221-1149247795/instance-41221-1149247795.opb 504363621 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= de8002a7213606f6cc39967e9305bae2 RANDOM SEED= 504363621 /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.264 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.16 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.264 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.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1677664 kB Buffers: 11532 kB Cached: 296328 kB SwapCached: 2356 kB Active: 34796 kB Inactive: 281732 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1677664 kB SwapTotal: 4096564 kB SwapFree: 4085432 kB Dirty: 160 kB Writeback: 0 kB Mapped: 16584 kB Slab: 48420 kB Committed_AS: 278340 kB PageTables: 1276 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node80 on Fri Jun 2 11:59:56 UTC 2006