Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.76 | 1801.25 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-grow22.opb |
MD5SUM | 16450e6196a99d1fc33b5d9a0f64103d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 1782.75 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of variables | 25124 |
Total number of constraints | 1320 |
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 | 1320 |
Minimum length of a constraint | 22 |
Maximum length of a constraint | 491 |
Number of terms in the objective function | 1958 |
Biggest coefficient in the objective function | 8399 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 525721 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 256781 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 525721 |
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/node11/41343-1149329760/instance-41343-1149329760.opb ...... 1.24 c done parsing opb. 1.24 o 525721
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/node11/watcher-41343-1149329760 -o ROOT/results/node11/solver-41343-1149329760 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node11/41343-1149329760/instance-41343-1149329760.opb 54143254 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.98 0.99 3/64 5240 /proc/meminfo: memFree=1648424/2055920 swapFree=4181380/4192956 [pid=5240] ppid=5238 vsize=3756 CPUtime=0 /proc/5240/stat : 5240 (PBS4L) R 5238 5240 5194 0 -1 4194304 172 0 0 0 0 0 0 0 18 0 1 0 198638575 3846144 156 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598843 0 0 4096 0 0 0 0 17 1 0 0 /proc/5240/statm: 939 157 90 232 0 704 0 [startup+10.0027 s] /proc/loadavg: 0.93 0.98 0.99 2/64 5240 /proc/meminfo: memFree=1635120/2055920 swapFree=4181380/4192956 [pid=5240] ppid=5238 vsize=17376 CPUtime=9.99 /proc/5240/stat : 5240 (PBS4L) R 5238 5240 5194 0 -1 4194304 4118 0 0 0 997 2 0 0 25 0 1 0 198638575 17793024 3439 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552873 0 0 4096 0 0 0 0 17 1 0 0 /proc/5240/statm: 4344 3439 108 232 0 4109 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 17376 [startup+20.0089 s] /proc/loadavg: 0.94 0.98 0.99 2/64 5240 /proc/meminfo: memFree=1634224/2055920 swapFree=4181380/4192956 [pid=5240] ppid=5238 vsize=18520 CPUtime=19.99 /proc/5240/stat : 5240 (PBS4L) R 5238 5240 5194 0 -1 4194304 4358 0 0 0 1996 3 0 0 25 0 1 0 198638575 18964480 3679 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/5240/statm: 4630 3679 108 232 0 4395 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 18520 [startup+30.0151 s] /proc/loadavg: 0.95 0.98 0.99 2/64 5240 /proc/meminfo: memFree=1633328/2055920 swapFree=4181380/4192956 [pid=5240] ppid=5238 vsize=20764 CPUtime=30 /proc/5240/stat : 5240 (PBS4L) R 5238 5240 5194 0 -1 4194304 4586 0 0 0 2996 4 0 0 25 0 1 0 198638575 21262336 3907 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/5240/statm: 5191 3907 108 232 0 4956 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 20764 [startup+40.0213 s] /proc/loadavg: 0.95 0.98 0.99 2/64 5240 /proc/meminfo: memFree=1632304/2055920 swapFree=4181380/4192956 [pid=5240] ppid=5238 vsize=20764 CPUtime=40 /proc/5240/stat : 5240 (PBS4L) R 5238 5240 5194 0 -1 4194304 4837 0 0 0 3996 4 0 0 25 0 1 0 198638575 21262336 4158 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551270 0 0 4096 0 0 0 0 17 1 0 0 /proc/5240/statm: 5191 4158 108 232 0 4956 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 20764 [startup+50.0285 s] /proc/loadavg: 0.96 0.98 0.99 2/64 5240 /proc/meminfo: memFree=1631152/2055920 swapFree=4181380/4192956 [pid=5240] ppid=5238 vsize=21224 CPUtime=50.01 /proc/5240/stat : 5240 (PBS4L) R 5238 5240 5194 0 -1 4194304 5247 0 0 0 4996 5 0 0 25 0 1 0 198638575 21733376 4419 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/5240/statm: 5306 4419 108 232 0 5071 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 21224 [startup+60.0337 s] /proc/loadavg: 0.97 0.98 0.99 2/64 5240 /proc/meminfo: memFree=1629104/2055920 swapFree=4181380/4192956 [pid=5240] ppid=5238 vsize=26264 CPUtime=60 /proc/5240/stat : 5240 (PBS4L) R 5238 5240 5194 0 -1 4194304 5966 0 0 0 5994 6 0 0 25 0 1 0 198638575 26894336 4938 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551621 0 0 4096 0 0 0 0 17 1 0 0 /proc/5240/statm: 6566 4938 108 232 0 6331 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 26264 [startup+70.0399 s] /proc/loadavg: 0.97 0.98 0.99 2/64 5240 /proc/meminfo: memFree=1628528/2055920 swapFree=4181380/4192956 [pid=5240] ppid=5238 vsize=26528 CPUtime=70.01 /proc/5240/stat : 5240 (PBS4L) R 5238 5240 5194 0 -1 4194304 6390 0 0 0 6992 9 0 0 25 0 1 0 198638575 27164672 5062 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/5240/statm: 6632 5062 108 232 0 6397 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 26528 [startup+80.0461 s] /proc/loadavg: 0.98 0.98 0.99 2/64 5240 /proc/meminfo: memFree=1627696/2055920 swapFree=4181380/4192956 [pid=5240] ppid=5238 vsize=26912 CPUtime=80.01 /proc/5240/stat : 5240 (PBS4L) R 5238 5240 5194 0 -1 4194304 6796 0 0 0 7991 10 0 0 25 0 1 0 198638575 27557888 5271 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/5240/statm: 6728 5271 108 232 0 6493 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 26912 [startup+90.0523 s] /proc/loadavg: 0.98 0.98 0.99 2/64 5240 /proc/meminfo: memFree=1627376/2055920 swapFree=4181380/4192956 [pid=5240] ppid=5238 vsize=27332 CPUtime=90.02 /proc/5240/stat : 5240 (PBS4L) R 5238 5240 5194 0 -1 4194304 7065 0 0 0 8990 12 0 0 25 0 1 0 198638575 27987968 5340 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/5240/statm: 6833 5340 108 232 0 6598 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 27332 [startup+100.059 s] /proc/loadavg: 0.98 0.98 0.99 2/64 5240 /proc/meminfo: memFree=1627184/2055920 swapFree=4181380/4192956 [pid=5240] ppid=5238 vsize=27464 CPUtime=100.02 /proc/5240/stat : 5240 (PBS4L) R 5238 5240 5194 0 -1 4194304 7271 0 0 0 9989 13 0 0 25 0 1 0 198638575 28123136 5396 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/5240/statm: 6866 5396 108 232 0 6631 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 27464 [startup+110.066 s] /proc/loadavg: 0.98 0.98 0.99 2/64 5240 /proc/meminfo: memFree=1626992/2055920 swapFree=4181380/4192956 [pid=5240] ppid=5238 vsize=27596 CPUtime=110.03 /proc/5240/stat : 5240 (PBS4L) R 5238 5240 5194 0 -1 4194304 7463 0 0 0 10988 15 0 0 25 0 1 0 198638575 28258304 5488 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/5240/statm: 6899 5488 108 232 0 6664 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 27596 [startup+120.071 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5240 /proc/meminfo: memFree=1626608/2055920 swapFree=4181380/4192956 [pid=5240] ppid=5238 vsize=27596 CPUtime=120.03 /proc/5240/stat : 5240 (PBS4L) R 5238 5240 5194 0 -1 4194304 7681 0 0 0 11987 16 0 0 25 0 1 0 198638575 28258304 5556 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550014 0 0 4096 0 0 0 0 17 1 0 0 /proc/5240/statm: 6899 5556 108 232 0 6664 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 27596 [startup+130.077 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5240 /proc/meminfo: memFree=1626288/2055920 swapFree=4181380/4192956 [pid=5240] ppid=5238 vsize=27864 CPUtime=130.04 /proc/5240/stat : 5240 (PBS4L) R 5238 5240 5194 0 -1 4194304 7922 0 0 0 12986 18 0 0 25 0 1 0 198638575 28532736 5647 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/5240/statm: 6966 5647 108 232 0 6731 0 Current children cumulated CPU time (s) 130.04 Current children cumulated vsize (Kb) 27864 [startup+140.083 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5240 /proc/meminfo: memFree=1626160/2055920 swapFree=4181380/4192956 [pid=5240] ppid=5238 vsize=27864 CPUtime=140.04 /proc/5240/stat : 5240 (PBS4L) R 5238 5240 5194 0 -1 4194304 7984 0 0 0 13986 18 0 0 25 0 1 0 198638575 28532736 5659 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/5240/statm: 6966 5659 108 232 0 6731 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 27864 [startup+150.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5240 /proc/meminfo: memFree=1625008/2055920 swapFree=4181380/4192956 [pid=5240] ppid=5238 vsize=28764 CPUtime=150.04 /proc/5240/stat : 5240 (PBS4L) R 5238 5240 5194 0 -1 4194304 8649 0 0 0 14985 19 0 0 25 0 1 0 198638575 29454336 5981 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/5240/statm: 7191 5981 108 232 0 6956 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 28764 [startup+160.096 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5240 /proc/meminfo: memFree=1624368/2055920 swapFree=4181380/4192956 [pid=5240] ppid=5238 vsize=28896 CPUtime=160.04 /proc/5240/stat : 5240 (PBS4L) R 5238 5240 5194 0 -1 4194304 8970 0 0 0 15983 21 0 0 25 0 1 0 198638575 29589504 6102 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/5240/statm: 7224 6102 108 232 0 6989 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 28896 [startup+170.103 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5240 /proc/meminfo: memFree=1623088/2055920 swapFree=4181380/4192956 [pid=5240] ppid=5238 vsize=37224 CPUtime=170.05 /proc/5240/stat : 5240 (PBS4L) R 5238 5240 5194 0 -1 4194304 9483 0 0 0 16982 23 0 0 25 0 1 0 198638575 38117376 6465 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/5240/statm: 9306 6465 108 232 0 9071 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 37224 [startup+180.108 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5240 /proc/meminfo: memFree=1621168/2055920 swapFree=4181380/4192956 [pid=5240] ppid=5238 vsize=37924 CPUtime=180.05 /proc/5240/stat : 5240 (PBS4L) R 5238 5240 5194 0 -1 4194304 10377 0 0 0 17977 28 0 0 25 0 1 0 198638575 38834176 6909 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/5240/statm: 9481 6909 108 232 0 9246 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 37924 [startup+190.114 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5240 /proc/meminfo: memFree=1620464/2055920 swapFree=4181380/4192956 [pid=5240] ppid=5238 vsize=38780 CPUtime=190.05 /proc/5240/stat : 5240 (PBS4L) R 5238 5240 5194 0 -1 4194304 11044 0 0 0 18976 29 0 0 25 0 1 0 198638575 39710720 7076 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/5240/statm: 9695 7076 108 232 0 9460 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 38780 [startup+200.121 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5240 /proc/meminfo: memFree=1619888/2055920 swapFree=4181380/4192956 [pid=5240] ppid=5238 vsize=39176 CPUtime=200.06 /proc/5240/stat : 5240 (PBS4L) R 5238 5240 5194 0 -1 4194304 11629 0 0 0 19975 31 0 0 25 0 1 0 198638575 40116224 7211 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134543348 0 0 4096 0 0 0 0 17 1 0 0 /proc/5240/statm: 9794 7211 108 232 0 9559 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 39176 [startup+210.127 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5240 /proc/meminfo: memFree=1619248/2055920 swapFree=4181380/4192956 ################ # More data... # ################ /proc/5240/stat : 5240 (PBS4L) R 5238 5240 5194 0 -1 4194304 109291 0 0 0 177757 405 0 0 25 0 1 0 198638575 221659136 38100 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/5240/statm: 54116 38100 108 232 0 53881 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (Kb) 216464 [startup+1783.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5242 /proc/meminfo: memFree=1495472/2055920 swapFree=4181380/4192956 [pid=5240] ppid=5238 vsize=216464 CPUtime=1782.62 /proc/5240/stat : 5240 (PBS4L) R 5238 5240 5194 0 -1 4194304 109294 0 0 0 177857 405 0 0 25 0 1 0 198638575 221659136 38103 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/5240/statm: 54116 38103 108 232 0 53881 0 Current children cumulated CPU time (s) 1782.62 Current children cumulated vsize (Kb) 216464 [startup+1784.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5242 /proc/meminfo: memFree=1495472/2055920 swapFree=4181380/4192956 [pid=5240] ppid=5238 vsize=216464 CPUtime=1783.63 /proc/5240/stat : 5240 (PBS4L) R 5238 5240 5194 0 -1 4194304 109345 0 0 0 177958 405 0 0 25 0 1 0 198638575 221659136 38104 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/5240/statm: 54116 38104 108 232 0 53881 0 Current children cumulated CPU time (s) 1783.63 Current children cumulated vsize (Kb) 216464 [startup+1785.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5242 /proc/meminfo: memFree=1495472/2055920 swapFree=4181380/4192956 [pid=5240] ppid=5238 vsize=216464 CPUtime=1784.63 /proc/5240/stat : 5240 (PBS4L) R 5238 5240 5194 0 -1 4194304 109348 0 0 0 178058 405 0 0 25 0 1 0 198638575 221659136 38107 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/5240/statm: 54116 38107 108 232 0 53881 0 Current children cumulated CPU time (s) 1784.63 Current children cumulated vsize (Kb) 216464 [startup+1786.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5242 /proc/meminfo: memFree=1495472/2055920 swapFree=4181380/4192956 [pid=5240] ppid=5238 vsize=216464 CPUtime=1785.64 /proc/5240/stat : 5240 (PBS4L) R 5238 5240 5194 0 -1 4194304 109349 0 0 0 178159 405 0 0 25 0 1 0 198638575 221659136 38108 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/5240/statm: 54116 38108 108 232 0 53881 0 Current children cumulated CPU time (s) 1785.64 Current children cumulated vsize (Kb) 216464 [startup+1787.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5242 /proc/meminfo: memFree=1495472/2055920 swapFree=4181380/4192956 [pid=5240] ppid=5238 vsize=216464 CPUtime=1786.65 /proc/5240/stat : 5240 (PBS4L) R 5238 5240 5194 0 -1 4194304 109401 0 0 0 178259 406 0 0 25 0 1 0 198638575 221659136 38110 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/5240/statm: 54116 38110 108 232 0 53881 0 Current children cumulated CPU time (s) 1786.65 Current children cumulated vsize (Kb) 216464 [startup+1788.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5242 /proc/meminfo: memFree=1495472/2055920 swapFree=4181380/4192956 [pid=5240] ppid=5238 vsize=216664 CPUtime=1787.65 /proc/5240/stat : 5240 (PBS4L) R 5238 5240 5194 0 -1 4194304 109455 0 0 0 178359 406 0 0 25 0 1 0 198638575 221863936 38164 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134590030 0 0 4096 0 0 0 0 17 1 0 0 /proc/5240/statm: 54166 38164 108 232 0 53931 0 Current children cumulated CPU time (s) 1787.65 Current children cumulated vsize (Kb) 216664 [startup+1789.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5242 /proc/meminfo: memFree=1495408/2055920 swapFree=4181380/4192956 [pid=5240] ppid=5238 vsize=216464 CPUtime=1788.65 /proc/5240/stat : 5240 (PBS4L) R 5238 5240 5194 0 -1 4194304 109459 0 0 0 178459 406 0 0 25 0 1 0 198638575 221659136 38118 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/5240/statm: 54116 38118 108 232 0 53881 0 Current children cumulated CPU time (s) 1788.65 Current children cumulated vsize (Kb) 216464 [startup+1790.16 s] /proc/loadavg: 0.99 0.98 0.99 3/64 5242 /proc/meminfo: memFree=1495408/2055920 swapFree=4181380/4192956 [pid=5240] ppid=5238 vsize=216464 CPUtime=1789.66 /proc/5240/stat : 5240 (PBS4L) R 5238 5240 5194 0 -1 4194304 109512 0 0 0 178560 406 0 0 25 0 1 0 198638575 221659136 38121 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/5240/statm: 54116 38121 108 232 0 53881 0 Current children cumulated CPU time (s) 1789.66 Current children cumulated vsize (Kb) 216464 [startup+1791.17 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5242 /proc/meminfo: memFree=1495280/2055920 swapFree=4181380/4192956 [pid=5240] ppid=5238 vsize=217768 CPUtime=1790.67 /proc/5240/stat : 5240 (PBS4L) R 5238 5240 5194 0 -1 4194304 109591 0 0 0 178661 406 0 0 25 0 1 0 198638575 222994432 38150 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/5240/statm: 54442 38150 108 232 0 54207 0 Current children cumulated CPU time (s) 1790.67 Current children cumulated vsize (Kb) 217768 [startup+1792.17 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5242 /proc/meminfo: memFree=1495280/2055920 swapFree=4181380/4192956 [pid=5240] ppid=5238 vsize=217768 CPUtime=1791.67 /proc/5240/stat : 5240 (PBS4L) R 5238 5240 5194 0 -1 4194304 109594 0 0 0 178761 406 0 0 25 0 1 0 198638575 222994432 38153 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/5240/statm: 54442 38153 108 232 0 54207 0 Current children cumulated CPU time (s) 1791.67 Current children cumulated vsize (Kb) 217768 [startup+1793.18 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5242 /proc/meminfo: memFree=1495280/2055920 swapFree=4181380/4192956 [pid=5240] ppid=5238 vsize=217768 CPUtime=1792.68 /proc/5240/stat : 5240 (PBS4L) R 5238 5240 5194 0 -1 4194304 109646 0 0 0 178862 406 0 0 25 0 1 0 198638575 222994432 38155 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/5240/statm: 54442 38155 108 232 0 54207 0 Current children cumulated CPU time (s) 1792.68 Current children cumulated vsize (Kb) 217768 [startup+1794.18 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5242 /proc/meminfo: memFree=1495280/2055920 swapFree=4181380/4192956 [pid=5240] ppid=5238 vsize=217768 CPUtime=1793.68 /proc/5240/stat : 5240 (PBS4L) R 5238 5240 5194 0 -1 4194304 109649 0 0 0 178962 406 0 0 25 0 1 0 198638575 222994432 38158 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/5240/statm: 54442 38158 108 232 0 54207 0 Current children cumulated CPU time (s) 1793.68 Current children cumulated vsize (Kb) 217768 [startup+1795.19 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5242 /proc/meminfo: memFree=1495216/2055920 swapFree=4181380/4192956 [pid=5240] ppid=5238 vsize=217768 CPUtime=1794.69 /proc/5240/stat : 5240 (PBS4L) R 5238 5240 5194 0 -1 4194304 109703 0 0 0 179062 407 0 0 25 0 1 0 198638575 222994432 38162 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/5240/statm: 54442 38162 108 232 0 54207 0 Current children cumulated CPU time (s) 1794.69 Current children cumulated vsize (Kb) 217768 [startup+1796.19 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5242 /proc/meminfo: memFree=1495216/2055920 swapFree=4181380/4192956 [pid=5240] ppid=5238 vsize=217768 CPUtime=1795.7 /proc/5240/stat : 5240 (PBS4L) R 5238 5240 5194 0 -1 4194304 109706 0 0 0 179163 407 0 0 25 0 1 0 198638575 222994432 38165 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/5240/statm: 54442 38165 108 232 0 54207 0 Current children cumulated CPU time (s) 1795.7 Current children cumulated vsize (Kb) 217768 [startup+1797.2 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5242 /proc/meminfo: memFree=1495216/2055920 swapFree=4181380/4192956 [pid=5240] ppid=5238 vsize=217768 CPUtime=1796.7 /proc/5240/stat : 5240 (PBS4L) R 5238 5240 5194 0 -1 4194304 109758 0 0 0 179263 407 0 0 25 0 1 0 198638575 222994432 38167 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/5240/statm: 54442 38167 108 232 0 54207 0 Current children cumulated CPU time (s) 1796.7 Current children cumulated vsize (Kb) 217768 [startup+1798.2 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5242 /proc/meminfo: memFree=1495152/2055920 swapFree=4181380/4192956 [pid=5240] ppid=5238 vsize=217768 CPUtime=1797.7 /proc/5240/stat : 5240 (PBS4L) R 5238 5240 5194 0 -1 4194304 109817 0 0 0 179363 407 0 0 25 0 1 0 198638575 222994432 38176 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/5240/statm: 54442 38176 108 232 0 54207 0 Current children cumulated CPU time (s) 1797.7 Current children cumulated vsize (Kb) 217768 [startup+1799.21 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5242 /proc/meminfo: memFree=1495152/2055920 swapFree=4181380/4192956 [pid=5240] ppid=5238 vsize=217768 CPUtime=1798.7 /proc/5240/stat : 5240 (PBS4L) R 5238 5240 5194 0 -1 4194304 109820 0 0 0 179463 407 0 0 25 0 1 0 198638575 222994432 38179 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/5240/statm: 54442 38179 108 232 0 54207 0 Current children cumulated CPU time (s) 1798.7 Current children cumulated vsize (Kb) 217768 [startup+1800.21 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5242 /proc/meminfo: memFree=1495152/2055920 swapFree=4181380/4192956 [pid=5240] ppid=5238 vsize=217768 CPUtime=1799.72 /proc/5240/stat : 5240 (PBS4L) R 5238 5240 5194 0 -1 4194304 109872 0 0 0 179564 408 0 0 25 0 1 0 198638575 222994432 38181 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/5240/statm: 54442 38181 108 232 0 54207 0 Current children cumulated CPU time (s) 1799.72 Current children cumulated vsize (Kb) 217768 [startup+1801.22 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5242 /proc/meminfo: memFree=1495152/2055920 swapFree=4181380/4192956 [pid=5240] ppid=5238 vsize=217968 CPUtime=1800.72 /proc/5240/stat : 5240 (PBS4L) R 5238 5240 5194 0 -1 4194304 109929 0 0 0 179664 408 0 0 25 0 1 0 198638575 223199232 38238 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134587453 0 0 4096 0 0 0 0 17 1 0 0 /proc/5240/statm: 54492 38238 108 232 0 54257 0 Current children cumulated CPU time (s) 1800.72 Current children cumulated vsize (Kb) 217968 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.22 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5242 /proc/meminfo: memFree=1495152/2055920 swapFree=4181380/4192956 [pid=5240] ppid=5238 vsize=217768 CPUtime=1800.72 /proc/5240/stat : 5240 (PBS4L) R 5238 5240 5194 0 -1 4194304 109929 0 0 0 179664 408 0 0 25 0 1 0 198638575 222994432 38188 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/5240/statm: 54442 38188 108 232 0 54207 0 Current children cumulated CPU time (s) 1800.72 Current children cumulated vsize (Kb) 217768 Sending SIGTERM to -5240 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.25 CPU time (s): 1800.76 CPU user time (s): 1796.65 CPU system time (s): 4.11137 CPU usage (%): 99.9726 Max. virtual memory (cumulated for all children) (Kb): 217968 The end
Begin job on node11 on Sat Jun 3 10:16:00 UTC 2006 FILE ID= 41343-1149329760 PBS_JOBID= 309823 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-grow22.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node11/41343-1149329760/instance-41343-1149329760.opb 54143254 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-41343-1149329760 -o ROOT/results/node11/solver-41343-1149329760 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node11/41343-1149329760/instance-41343-1149329760.opb 54143254 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 16450e6196a99d1fc33b5d9a0f64103d RANDOM SEED= 54143254 /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.222 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 : 5931.00 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.222 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: 1648632 kB Buffers: 17332 kB Cached: 321992 kB SwapCached: 3260 kB Active: 44672 kB Inactive: 303396 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1648632 kB SwapTotal: 4192956 kB SwapFree: 4181380 kB Dirty: 176 kB Writeback: 0 kB Mapped: 14740 kB Slab: 45176 kB Committed_AS: 371080 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node11 on Sat Jun 3 10:46:02 UTC 2006