Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.52 | 1801.15 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-greenbea.opb |
MD5SUM | 542c2b53b45e753224c38b905fee77fb |
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 | 155427 |
Total number of constraints | 2674 |
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 | 2674 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 7267 |
Number of terms in the objective function | 15205 |
Biggest coefficient in the objective function | 24902 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 537080 |
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 | 537080 |
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/node29/41321-1149324156/instance-41321-1149324156.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/node29/watcher-41321-1149324156 -o ROOT/results/node29/solver-41321-1149324156 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node29/41321-1149324156/instance-41321-1149324156.opb 223205670 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.97 2/64 19662 /proc/meminfo: memFree=1828216/2055920 swapFree=4181376/4192956 [pid=19662] ppid=19660 vsize=15972 CPUtime=0 /proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 161 0 0 0 0 0 0 0 18 0 1 0 198079180 16355328 145 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134599096 0 0 4096 0 0 0 0 17 1 0 0 /proc/19662/statm: 3993 146 90 232 0 3758 0 [startup+10.0021 s] /proc/loadavg: 0.93 0.95 0.97 2/64 19662 /proc/meminfo: memFree=1762816/2055920 swapFree=4181376/4192956 [pid=19662] ppid=19660 vsize=67312 CPUtime=9.99 /proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 17636 0 0 0 991 8 0 0 25 0 1 0 198079180 68927488 16455 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134536685 0 0 4096 0 0 0 0 17 1 0 0 /proc/19662/statm: 16828 16455 99 232 0 16593 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 67312 [startup+20.0085 s] /proc/loadavg: 0.94 0.96 0.97 2/64 19662 /proc/meminfo: memFree=1756608/2055920 swapFree=4181376/4192956 [pid=19662] ppid=19660 vsize=88812 CPUtime=19.99 /proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 23188 0 0 0 1989 10 0 0 25 0 1 0 198079180 90943488 18022 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/19662/statm: 22203 18022 104 232 0 21968 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 88812 [startup+30.0139 s] /proc/loadavg: 0.95 0.96 0.97 2/64 19662 /proc/meminfo: memFree=1756672/2055920 swapFree=4181376/4192956 [pid=19662] ppid=19660 vsize=88812 CPUtime=29.99 /proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 23194 0 0 0 2989 10 0 0 25 0 1 0 198079180 90943488 18028 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551579 0 0 4096 0 0 0 0 17 1 0 0 /proc/19662/statm: 22203 18028 104 232 0 21968 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 88812 [startup+40.0193 s] /proc/loadavg: 0.95 0.96 0.97 2/64 19662 /proc/meminfo: memFree=1756672/2055920 swapFree=4181376/4192956 [pid=19662] ppid=19660 vsize=88812 CPUtime=39.99 /proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 23202 0 0 0 3989 10 0 0 25 0 1 0 198079180 90943488 18036 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/19662/statm: 22203 18036 104 232 0 21968 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 88812 [startup+50.0247 s] /proc/loadavg: 0.96 0.96 0.97 2/64 19662 /proc/meminfo: memFree=1756736/2055920 swapFree=4181376/4192956 [pid=19662] ppid=19660 vsize=88812 CPUtime=49.99 /proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 23228 0 0 0 4989 10 0 0 25 0 1 0 198079180 90943488 18062 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551579 0 0 4096 0 0 0 0 17 1 0 0 /proc/19662/statm: 22203 18062 105 232 0 21968 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 88812 [startup+60.0302 s] /proc/loadavg: 0.97 0.96 0.97 2/64 19662 /proc/meminfo: memFree=1756672/2055920 swapFree=4181376/4192956 [pid=19662] ppid=19660 vsize=88812 CPUtime=60 /proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 23239 0 0 0 5989 11 0 0 25 0 1 0 198079180 90943488 18073 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/19662/statm: 22203 18073 105 232 0 21968 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 88812 [startup+70.0356 s] /proc/loadavg: 0.97 0.96 0.97 2/64 19662 /proc/meminfo: memFree=1756096/2055920 swapFree=4181376/4192956 [pid=19662] ppid=19660 vsize=89580 CPUtime=70 /proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 23638 0 0 0 6989 11 0 0 25 0 1 0 198079180 91729920 18168 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0 /proc/19662/statm: 22395 18168 105 232 0 22160 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 89580 [startup+80.041 s] /proc/loadavg: 0.98 0.96 0.97 2/64 19662 /proc/meminfo: memFree=1756096/2055920 swapFree=4181376/4192956 [pid=19662] ppid=19660 vsize=89580 CPUtime=80 /proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 23659 0 0 0 7989 11 0 0 25 0 1 0 198079180 91729920 18189 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/19662/statm: 22395 18189 105 232 0 22160 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 89580 [startup+90.0464 s] /proc/loadavg: 0.98 0.96 0.97 2/64 19662 /proc/meminfo: memFree=1756096/2055920 swapFree=4181376/4192956 [pid=19662] ppid=19660 vsize=89580 CPUtime=90 /proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 23679 0 0 0 8989 11 0 0 25 0 1 0 198079180 91729920 18209 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551608 0 0 4096 0 0 0 0 17 1 0 0 /proc/19662/statm: 22395 18209 105 232 0 22160 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 89580 [startup+100.052 s] /proc/loadavg: 0.98 0.96 0.97 2/64 19662 /proc/meminfo: memFree=1756096/2055920 swapFree=4181376/4192956 [pid=19662] ppid=19660 vsize=89580 CPUtime=100.01 /proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 23698 0 0 0 9990 11 0 0 25 0 1 0 198079180 91729920 18228 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/19662/statm: 22395 18228 105 232 0 22160 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 89580 [startup+110.057 s] /proc/loadavg: 0.98 0.96 0.97 2/64 19662 /proc/meminfo: memFree=1755840/2055920 swapFree=4181376/4192956 [pid=19662] ppid=19660 vsize=89580 CPUtime=110.01 /proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 24024 0 0 0 10990 11 0 0 25 0 1 0 198079180 91729920 18250 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/19662/statm: 22395 18250 105 232 0 22160 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 89580 [startup+120.063 s] /proc/loadavg: 0.99 0.97 0.97 2/64 19662 /proc/meminfo: memFree=1755840/2055920 swapFree=4181376/4192956 [pid=19662] ppid=19660 vsize=89580 CPUtime=120.01 /proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 24040 0 0 0 11990 11 0 0 25 0 1 0 198079180 91729920 18266 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546663 0 0 4096 0 0 0 0 17 1 0 0 /proc/19662/statm: 22395 18266 105 232 0 22160 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 89580 [startup+130.068 s] /proc/loadavg: 0.99 0.97 0.97 2/64 19662 /proc/meminfo: memFree=1755200/2055920 swapFree=4181376/4192956 [pid=19662] ppid=19660 vsize=90604 CPUtime=130.02 /proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 24474 0 0 0 12990 12 0 0 25 0 1 0 198079180 92778496 18396 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551621 0 0 4096 0 0 0 0 17 1 0 0 /proc/19662/statm: 22651 18396 105 232 0 22416 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 90604 [startup+140.073 s] /proc/loadavg: 0.99 0.97 0.97 2/64 19662 /proc/meminfo: memFree=1755200/2055920 swapFree=4181376/4192956 [pid=19662] ppid=19660 vsize=90604 CPUtime=140.01 /proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 24482 0 0 0 13989 12 0 0 25 0 1 0 198079180 92778496 18404 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/19662/statm: 22651 18404 105 232 0 22416 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 90604 [startup+150.079 s] /proc/loadavg: 0.99 0.97 0.97 2/64 19662 /proc/meminfo: memFree=1755200/2055920 swapFree=4181376/4192956 [pid=19662] ppid=19660 vsize=90604 CPUtime=150.02 /proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 24488 0 0 0 14989 13 0 0 25 0 1 0 198079180 92778496 18410 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0 /proc/19662/statm: 22651 18410 105 232 0 22416 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 90604 [startup+160.084 s] /proc/loadavg: 0.99 0.97 0.97 2/64 19662 /proc/meminfo: memFree=1755072/2055920 swapFree=4181376/4192956 [pid=19662] ppid=19660 vsize=90604 CPUtime=160.02 /proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 24551 0 0 0 15989 13 0 0 25 0 1 0 198079180 92778496 18473 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/19662/statm: 22651 18473 105 232 0 22416 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 90604 [startup+170.09 s] /proc/loadavg: 0.99 0.97 0.97 2/64 19662 /proc/meminfo: memFree=1754944/2055920 swapFree=4181376/4192956 [pid=19662] ppid=19660 vsize=90604 CPUtime=170.02 /proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 24586 0 0 0 16989 13 0 0 25 0 1 0 198079180 92778496 18508 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/19662/statm: 22651 18508 105 232 0 22416 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 90604 [startup+180.095 s] /proc/loadavg: 0.99 0.97 0.97 2/64 19662 /proc/meminfo: memFree=1754752/2055920 swapFree=4181376/4192956 [pid=19662] ppid=19660 vsize=92652 CPUtime=180.03 /proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 24632 0 0 0 17989 14 0 0 25 0 1 0 198079180 94875648 18554 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/19662/statm: 23163 18554 105 232 0 22928 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 92652 [startup+190.101 s] /proc/loadavg: 0.99 0.97 0.97 2/64 19662 /proc/meminfo: memFree=1754688/2055920 swapFree=4181376/4192956 [pid=19662] ppid=19660 vsize=92652 CPUtime=190.03 /proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 24637 0 0 0 18989 14 0 0 25 0 1 0 198079180 94875648 18559 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/19662/statm: 23163 18559 105 232 0 22928 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 92652 [startup+200.106 s] /proc/loadavg: 0.99 0.97 0.97 2/64 19662 /proc/meminfo: memFree=1754368/2055920 swapFree=4181376/4192956 [pid=19662] ppid=19660 vsize=92652 CPUtime=200.03 /proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 24730 0 0 0 19989 14 0 0 25 0 1 0 198079180 94875648 18652 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/19662/statm: 23163 18652 105 232 0 22928 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 92652 [startup+210.111 s] /proc/loadavg: 0.99 0.97 0.97 2/64 19662 /proc/meminfo: memFree=1754112/2055920 swapFree=4181376/4192956 ################ # More data... # ################ /proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 54140 0 0 0 178071 70 0 0 25 0 1 0 198079180 113778688 22017 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/19662/statm: 27778 22017 105 232 0 27543 0 Current children cumulated CPU time (s) 1781.41 Current children cumulated vsize (Kb) 111112 [startup+1783.03 s] /proc/loadavg: 1.00 1.00 0.99 2/64 19857 /proc/meminfo: memFree=1740224/2055920 swapFree=4181376/4192956 [pid=19662] ppid=19660 vsize=111116 CPUtime=1782.41 /proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 54273 0 0 0 178171 70 0 0 25 0 1 0 198079180 113782784 22019 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0 /proc/19662/statm: 27779 22019 105 232 0 27544 0 Current children cumulated CPU time (s) 1782.41 Current children cumulated vsize (Kb) 111116 [startup+1784.04 s] /proc/loadavg: 1.00 1.00 0.99 2/64 19857 /proc/meminfo: memFree=1740224/2055920 swapFree=4181376/4192956 [pid=19662] ppid=19660 vsize=111116 CPUtime=1783.42 /proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 54405 0 0 0 178272 70 0 0 25 0 1 0 198079180 113782784 22019 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135242830 0 0 4096 0 0 0 0 17 1 0 0 /proc/19662/statm: 27779 22019 105 232 0 27544 0 Current children cumulated CPU time (s) 1783.42 Current children cumulated vsize (Kb) 111116 [startup+1785.04 s] /proc/loadavg: 1.00 1.00 0.99 2/64 19857 /proc/meminfo: memFree=1740224/2055920 swapFree=4181376/4192956 [pid=19662] ppid=19660 vsize=111244 CPUtime=1784.42 /proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 54537 0 0 0 178372 70 0 0 25 0 1 0 198079180 113913856 22051 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/19662/statm: 27811 22051 105 232 0 27576 0 Current children cumulated CPU time (s) 1784.42 Current children cumulated vsize (Kb) 111244 [startup+1786.05 s] /proc/loadavg: 1.00 1.00 0.99 2/64 19857 /proc/meminfo: memFree=1740224/2055920 swapFree=4181376/4192956 [pid=19662] ppid=19660 vsize=111244 CPUtime=1785.42 /proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 54669 0 0 0 178472 70 0 0 25 0 1 0 198079180 113913856 22051 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/19662/statm: 27811 22051 105 232 0 27576 0 Current children cumulated CPU time (s) 1785.42 Current children cumulated vsize (Kb) 111244 [startup+1787.05 s] /proc/loadavg: 1.00 1.00 0.99 2/64 19857 /proc/meminfo: memFree=1740224/2055920 swapFree=4181376/4192956 [pid=19662] ppid=19660 vsize=111112 CPUtime=1786.43 /proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 54769 0 0 0 178573 70 0 0 25 0 1 0 198079180 113778688 22019 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551321 0 0 4096 0 0 0 0 17 1 0 0 /proc/19662/statm: 27778 22019 105 232 0 27543 0 Current children cumulated CPU time (s) 1786.43 Current children cumulated vsize (Kb) 111112 [startup+1788.06 s] /proc/loadavg: 1.00 1.00 0.99 2/64 19857 /proc/meminfo: memFree=1740224/2055920 swapFree=4181376/4192956 [pid=19662] ppid=19660 vsize=111112 CPUtime=1787.43 /proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 54901 0 0 0 178673 70 0 0 25 0 1 0 198079180 113778688 22019 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551265 0 0 4096 0 0 0 0 17 1 0 0 /proc/19662/statm: 27778 22019 105 232 0 27543 0 Current children cumulated CPU time (s) 1787.43 Current children cumulated vsize (Kb) 111112 [startup+1789.06 s] /proc/loadavg: 1.00 1.00 0.99 2/64 19857 /proc/meminfo: memFree=1740224/2055920 swapFree=4181376/4192956 [pid=19662] ppid=19660 vsize=111112 CPUtime=1788.44 /proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 55033 0 0 0 178774 70 0 0 25 0 1 0 198079180 113778688 22019 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0 /proc/19662/statm: 27778 22019 105 232 0 27543 0 Current children cumulated CPU time (s) 1788.44 Current children cumulated vsize (Kb) 111112 [startup+1790.07 s] /proc/loadavg: 1.00 1.00 0.99 2/64 19857 /proc/meminfo: memFree=1740224/2055920 swapFree=4181376/4192956 [pid=19662] ppid=19660 vsize=111116 CPUtime=1789.44 /proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 55166 0 0 0 178874 70 0 0 25 0 1 0 198079180 113782784 22021 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/19662/statm: 27779 22021 105 232 0 27544 0 Current children cumulated CPU time (s) 1789.44 Current children cumulated vsize (Kb) 111116 [startup+1791.07 s] /proc/loadavg: 1.00 1.00 0.99 2/64 19857 /proc/meminfo: memFree=1740224/2055920 swapFree=4181376/4192956 [pid=19662] ppid=19660 vsize=111116 CPUtime=1790.44 /proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 55298 0 0 0 178974 70 0 0 25 0 1 0 198079180 113782784 22021 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/19662/statm: 27779 22021 105 232 0 27544 0 Current children cumulated CPU time (s) 1790.44 Current children cumulated vsize (Kb) 111116 [startup+1792.08 s] /proc/loadavg: 1.00 1.00 0.99 2/64 19857 /proc/meminfo: memFree=1740224/2055920 swapFree=4181376/4192956 [pid=19662] ppid=19660 vsize=111244 CPUtime=1791.45 /proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 55430 0 0 0 179075 70 0 0 25 0 1 0 198079180 113913856 22053 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551621 0 0 4096 0 0 0 0 17 1 0 0 /proc/19662/statm: 27811 22053 105 232 0 27576 0 Current children cumulated CPU time (s) 1791.45 Current children cumulated vsize (Kb) 111244 [startup+1793.08 s] /proc/loadavg: 1.00 1.00 0.99 2/64 19857 /proc/meminfo: memFree=1740224/2055920 swapFree=4181376/4192956 [pid=19662] ppid=19660 vsize=111112 CPUtime=1792.45 /proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 55530 0 0 0 179175 70 0 0 25 0 1 0 198079180 113778688 22021 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551321 0 0 4096 0 0 0 0 17 1 0 0 /proc/19662/statm: 27778 22021 105 232 0 27543 0 Current children cumulated CPU time (s) 1792.45 Current children cumulated vsize (Kb) 111112 [startup+1794.09 s] /proc/loadavg: 1.00 1.00 0.99 2/64 19857 /proc/meminfo: memFree=1740224/2055920 swapFree=4181376/4192956 [pid=19662] ppid=19660 vsize=111112 CPUtime=1793.47 /proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 55663 0 0 0 179276 71 0 0 25 0 1 0 198079180 113778688 22022 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/19662/statm: 27778 22022 105 232 0 27543 0 Current children cumulated CPU time (s) 1793.47 Current children cumulated vsize (Kb) 111112 [startup+1795.09 s] /proc/loadavg: 1.00 1.00 0.99 2/64 19857 /proc/meminfo: memFree=1740224/2055920 swapFree=4181376/4192956 [pid=19662] ppid=19660 vsize=111112 CPUtime=1794.47 /proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 55762 0 0 0 179376 71 0 0 25 0 1 0 198079180 113778688 22022 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551243 0 0 4096 0 0 0 0 17 1 0 0 /proc/19662/statm: 27778 22022 105 232 0 27543 0 Current children cumulated CPU time (s) 1794.47 Current children cumulated vsize (Kb) 111112 [startup+1796.1 s] /proc/loadavg: 1.00 1.00 0.99 2/64 19857 /proc/meminfo: memFree=1740224/2055920 swapFree=4181376/4192956 [pid=19662] ppid=19660 vsize=111112 CPUtime=1795.47 /proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 55895 0 0 0 179476 71 0 0 25 0 1 0 198079180 113778688 22023 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0 /proc/19662/statm: 27778 22023 105 232 0 27543 0 Current children cumulated CPU time (s) 1795.47 Current children cumulated vsize (Kb) 111112 [startup+1797.1 s] /proc/loadavg: 1.00 1.00 0.99 2/64 19857 /proc/meminfo: memFree=1740224/2055920 swapFree=4181376/4192956 [pid=19662] ppid=19660 vsize=111120 CPUtime=1796.48 /proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 56027 0 0 0 179577 71 0 0 25 0 1 0 198079180 113786880 22025 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551621 0 0 4096 0 0 0 0 17 1 0 0 /proc/19662/statm: 27780 22025 105 232 0 27545 0 Current children cumulated CPU time (s) 1796.48 Current children cumulated vsize (Kb) 111120 [startup+1798.11 s] /proc/loadavg: 1.00 1.00 0.99 2/64 19857 /proc/meminfo: memFree=1740224/2055920 swapFree=4181376/4192956 [pid=19662] ppid=19660 vsize=111112 CPUtime=1797.48 /proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 56127 0 0 0 179677 71 0 0 25 0 1 0 198079180 113778688 22024 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/19662/statm: 27778 22024 105 232 0 27543 0 Current children cumulated CPU time (s) 1797.48 Current children cumulated vsize (Kb) 111112 [startup+1799.11 s] /proc/loadavg: 1.00 1.00 0.99 2/64 19857 /proc/meminfo: memFree=1740224/2055920 swapFree=4181376/4192956 [pid=19662] ppid=19660 vsize=111112 CPUtime=1798.48 /proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 56264 0 0 0 179777 71 0 0 25 0 1 0 198079180 113778688 22025 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546640 0 0 4096 0 0 0 0 17 1 0 0 /proc/19662/statm: 27778 22025 105 232 0 27543 0 Current children cumulated CPU time (s) 1798.48 Current children cumulated vsize (Kb) 111112 [startup+1800.12 s] /proc/loadavg: 1.00 1.00 0.99 2/64 19857 /proc/meminfo: memFree=1740224/2055920 swapFree=4181376/4192956 [pid=19662] ppid=19660 vsize=111376 CPUtime=1799.49 /proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 56400 0 0 0 179878 71 0 0 25 0 1 0 198079180 114049024 22059 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/19662/statm: 27844 22059 105 232 0 27609 0 Current children cumulated CPU time (s) 1799.49 Current children cumulated vsize (Kb) 111376 [startup+1801.12 s] /proc/loadavg: 1.00 1.00 0.99 2/64 19857 /proc/meminfo: memFree=1740224/2055920 swapFree=4181376/4192956 [pid=19662] ppid=19660 vsize=111112 CPUtime=1800.49 /proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 56503 0 0 0 179978 71 0 0 25 0 1 0 198079180 113778688 22026 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/19662/statm: 27778 22026 105 232 0 27543 0 Current children cumulated CPU time (s) 1800.49 Current children cumulated vsize (Kb) 111112 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.13 s] /proc/loadavg: 1.00 1.00 0.99 2/64 19857 /proc/meminfo: memFree=1740224/2055920 swapFree=4181376/4192956 [pid=19662] ppid=19660 vsize=111112 CPUtime=1800.5 /proc/19662/stat : 19662 (PBS4L) R 19660 19662 19616 0 -1 4194304 56503 0 0 0 179979 71 0 0 25 0 1 0 198079180 113778688 22026 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0 /proc/19662/statm: 27778 22026 105 232 0 27543 0 Current children cumulated CPU time (s) 1800.5 Current children cumulated vsize (Kb) 111112 Sending SIGTERM to -19662 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.15 CPU time (s): 1800.52 CPU user time (s): 1799.79 CPU system time (s): 0.733888 CPU usage (%): 99.9655 Max. virtual memory (cumulated for all children) (Kb): 111376 The end
Begin job on node29 on Sat Jun 3 08:42:36 UTC 2006 FILE ID= 41321-1149324156 PBS_JOBID= 309530 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-greenbea.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node29/41321-1149324156/instance-41321-1149324156.opb 223205670 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-41321-1149324156 -o ROOT/results/node29/solver-41321-1149324156 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node29/41321-1149324156/instance-41321-1149324156.opb 223205670 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 542c2b53b45e753224c38b905fee77fb RANDOM SEED= 223205670 /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 : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1828488 kB Buffers: 19424 kB Cached: 144824 kB SwapCached: 3236 kB Active: 29912 kB Inactive: 142976 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1828488 kB SwapTotal: 4192956 kB SwapFree: 4181376 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14716 kB Slab: 40520 kB Committed_AS: 337932 kB PageTables: 1504 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node29 on Sat Jun 3 09:12:37 UTC 2006