Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.6 | 1801.24 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-opt1217.opb |
MD5SUM | 0d06ca66c5954e6533e2fcc6f3f13fb8 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -16384 |
Best CPU time to get the best result obtained on this benchmark | 1800.61 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -16384 |
Optimality of the best value was proved | NO |
Number of variables | 787 |
Total number of constraints | 65 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 48 |
Number of constraints which are nor clauses,nor cardinality constraints | 17 |
Minimum length of a constraint | 16 |
Maximum length of a constraint | 67 |
Number of terms in the objective function | 19 |
Biggest coefficient in the objective function | 262144 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524287 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 393216 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 917503 |
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/node66/41555-1149371714/instance-41555-1149371714.opb ...... 0.01 c done parsing opb. 0.01 o 524287 17.47 o 522593 18.04 o 522591 19.85 o 522589 19.85 o 522239 19.88 o 520191 20.04 o 516095 29.90 o 514048 81.92 o 514047 206.29 o 513023 258.68 o 512612 515.83 o 512001 781.18 o 512000 810.24 o 511999 1197.98 o 509951
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/node66/watcher-41555-1149371714 -o ROOT/results/node66/solver-41555-1149371714 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node66/41555-1149371714/instance-41555-1149371714.opb 154268099 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.91 2/64 26272 /proc/meminfo: memFree=1681592/2055920 swapFree=4182224/4192956 [pid=26272] ppid=26270 vsize=1532 CPUtime=0 /proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 172 0 0 0 0 0 0 0 19 0 1 0 202839504 1568768 151 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0 /proc/26272/statm: 383 151 99 232 0 148 0 [startup+10.0019 s] /proc/loadavg: 0.93 0.95 0.91 2/64 26272 /proc/meminfo: memFree=1657992/2055920 swapFree=4182224/4192956 [pid=26272] ppid=26270 vsize=35188 CPUtime=9.99 /proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 6068 0 0 0 994 5 0 0 25 0 1 0 202839504 36032512 6042 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558968 0 0 4096 0 0 0 0 17 1 0 0 /proc/26272/statm: 8797 6042 108 232 0 8562 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 35188 [startup+20.0082 s] /proc/loadavg: 0.94 0.96 0.91 2/64 26272 /proc/meminfo: memFree=1646408/2055920 swapFree=4182224/4192956 [pid=26272] ppid=26270 vsize=36900 CPUtime=19.99 /proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 9008 0 0 0 1990 9 0 0 25 0 1 0 202839504 37785600 8933 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26272/statm: 9225 8933 108 232 0 8990 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 36900 [startup+30.0144 s] /proc/loadavg: 0.95 0.96 0.91 2/64 26272 /proc/meminfo: memFree=1645064/2055920 swapFree=4182224/4192956 [pid=26272] ppid=26270 vsize=38228 CPUtime=29.99 /proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 9441 0 0 0 2981 18 0 0 25 0 1 0 202839504 39145472 9269 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26272/statm: 9557 9269 108 232 0 9322 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 38228 [startup+40.0206 s] /proc/loadavg: 0.95 0.96 0.91 2/64 26272 /proc/meminfo: memFree=1644040/2055920 swapFree=4182224/4192956 [pid=26272] ppid=26270 vsize=39760 CPUtime=40 /proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 9888 0 0 0 3977 23 0 0 25 0 1 0 202839504 40714240 9523 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26272/statm: 9940 9523 108 232 0 9705 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 39760 [startup+50.0269 s] /proc/loadavg: 0.96 0.96 0.91 2/64 26272 /proc/meminfo: memFree=1643272/2055920 swapFree=4182224/4192956 [pid=26272] ppid=26270 vsize=40176 CPUtime=50 /proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 10096 0 0 0 4971 29 0 0 25 0 1 0 202839504 41140224 9731 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26272/statm: 10044 9731 108 232 0 9809 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 40176 [startup+60.0331 s] /proc/loadavg: 0.97 0.96 0.91 2/64 26272 /proc/meminfo: memFree=1642376/2055920 swapFree=4182224/4192956 [pid=26272] ppid=26270 vsize=42356 CPUtime=60.01 /proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 10693 0 0 0 5966 35 0 0 25 0 1 0 202839504 43372544 9943 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26272/statm: 10589 9943 108 232 0 10354 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 42356 [startup+70.0393 s] /proc/loadavg: 0.97 0.96 0.91 2/64 26272 /proc/meminfo: memFree=1641736/2055920 swapFree=4182224/4192956 [pid=26272] ppid=26270 vsize=42672 CPUtime=70.01 /proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 10859 0 0 0 6963 38 0 0 25 0 1 0 202839504 43696128 10109 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549166 0 0 4096 0 0 0 0 17 1 0 0 /proc/26272/statm: 10668 10109 108 232 0 10433 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 42672 [startup+80.0456 s] /proc/loadavg: 0.98 0.96 0.91 2/64 26272 /proc/meminfo: memFree=1641096/2055920 swapFree=4182224/4192956 [pid=26272] ppid=26270 vsize=42940 CPUtime=80.01 /proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 11015 0 0 0 7961 40 0 0 25 0 1 0 202839504 43970560 10265 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26272/statm: 10735 10265 108 232 0 10500 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 42940 [startup+90.0518 s] /proc/loadavg: 0.98 0.96 0.91 2/64 26272 /proc/meminfo: memFree=1640328/2055920 swapFree=4182224/4192956 [pid=26272] ppid=26270 vsize=43556 CPUtime=90.02 /proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 11207 0 0 0 8954 48 0 0 25 0 1 0 202839504 44601344 10457 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/26272/statm: 10889 10457 108 232 0 10654 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 43556 [startup+100.058 s] /proc/loadavg: 0.98 0.96 0.91 2/64 26272 /proc/meminfo: memFree=1639816/2055920 swapFree=4182224/4192956 [pid=26272] ppid=26270 vsize=43740 CPUtime=100.02 /proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 11336 0 0 0 9952 50 0 0 25 0 1 0 202839504 44789760 10586 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549323 0 0 4096 0 0 0 0 17 1 0 0 /proc/26272/statm: 10935 10586 108 232 0 10700 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 43740 [startup+110.064 s] /proc/loadavg: 0.98 0.96 0.91 2/64 26272 /proc/meminfo: memFree=1639112/2055920 swapFree=4182224/4192956 [pid=26272] ppid=26270 vsize=47140 CPUtime=110.02 /proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 12279 0 0 0 10946 56 0 0 25 0 1 0 202839504 48271360 10760 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26272/statm: 11785 10760 108 232 0 11550 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 47140 [startup+120.071 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26272 /proc/meminfo: memFree=1638408/2055920 swapFree=4182224/4192956 [pid=26272] ppid=26270 vsize=47700 CPUtime=120.03 /proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 12447 0 0 0 11940 63 0 0 25 0 1 0 202839504 48844800 10928 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/26272/statm: 11925 10928 108 232 0 11690 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 47700 [startup+130.077 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26272 /proc/meminfo: memFree=1637832/2055920 swapFree=4182224/4192956 [pid=26272] ppid=26270 vsize=47932 CPUtime=130.03 /proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 12594 0 0 0 12935 68 0 0 25 0 1 0 202839504 49082368 11075 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558823 0 0 4096 0 0 0 0 17 1 0 0 /proc/26272/statm: 11983 11075 108 232 0 11748 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 47932 [startup+140.083 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26272 /proc/meminfo: memFree=1637320/2055920 swapFree=4182224/4192956 [pid=26272] ppid=26270 vsize=48180 CPUtime=140.03 /proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 12720 0 0 0 13932 71 0 0 25 0 1 0 202839504 49336320 11201 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564199 0 0 4096 0 0 0 0 17 1 0 0 /proc/26272/statm: 12045 11201 108 232 0 11810 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 48180 [startup+150.089 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26272 /proc/meminfo: memFree=1636808/2055920 swapFree=4182224/4192956 [pid=26272] ppid=26270 vsize=48444 CPUtime=150.04 /proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 12844 0 0 0 14931 73 0 0 25 0 1 0 202839504 49606656 11325 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0 /proc/26272/statm: 12111 11325 108 232 0 11876 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 48444 [startup+160.095 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26272 /proc/meminfo: memFree=1636296/2055920 swapFree=4182224/4192956 [pid=26272] ppid=26270 vsize=48868 CPUtime=160.04 /proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 12992 0 0 0 15930 74 0 0 25 0 1 0 202839504 50040832 11473 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26272/statm: 12217 11473 108 232 0 11982 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 48868 [startup+170.101 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26272 /proc/meminfo: memFree=1635656/2055920 swapFree=4182224/4192956 [pid=26272] ppid=26270 vsize=49164 CPUtime=170.04 /proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 13136 0 0 0 16929 75 0 0 25 0 1 0 202839504 50343936 11617 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/26272/statm: 12291 11617 108 232 0 12056 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 49164 [startup+180.107 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26272 /proc/meminfo: memFree=1635144/2055920 swapFree=4182224/4192956 [pid=26272] ppid=26270 vsize=49480 CPUtime=180.04 /proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 13262 0 0 0 17924 80 0 0 25 0 1 0 202839504 50667520 11743 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26272/statm: 12370 11743 108 232 0 12135 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 49480 [startup+190.113 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26272 /proc/meminfo: memFree=1634504/2055920 swapFree=4182224/4192956 [pid=26272] ppid=26270 vsize=49812 CPUtime=190.05 /proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 13428 0 0 0 18920 85 0 0 25 0 1 0 202839504 51007488 11909 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/26272/statm: 12453 11909 108 232 0 12218 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 49812 [startup+200.119 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26272 /proc/meminfo: memFree=1634056/2055920 swapFree=4182224/4192956 [pid=26272] ppid=26270 vsize=49812 CPUtime=200.05 /proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 13537 0 0 0 19916 89 0 0 25 0 1 0 202839504 51007488 12018 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558791 0 0 4096 0 0 0 0 17 1 0 0 /proc/26272/statm: 12453 12018 108 232 0 12218 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 49812 [startup+210.126 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26272 /proc/meminfo: memFree=1633480/2055920 swapFree=4182224/4192956 ################ # More data... # ################ /proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 36499 0 0 0 177642 507 0 0 25 0 1 0 202839504 122220544 24225 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26272/statm: 29839 24225 108 232 0 29604 0 Current children cumulated CPU time (s) 1781.49 Current children cumulated vsize (Kb) 119356 [startup+1783.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26467 /proc/meminfo: memFree=1584776/2055920 swapFree=4182224/4192956 [pid=26272] ppid=26270 vsize=119356 CPUtime=1782.49 /proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 36514 0 0 0 177742 507 0 0 25 0 1 0 202839504 122220544 24240 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/26272/statm: 29839 24240 108 232 0 29604 0 Current children cumulated CPU time (s) 1782.49 Current children cumulated vsize (Kb) 119356 [startup+1784.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26467 /proc/meminfo: memFree=1584776/2055920 swapFree=4182224/4192956 [pid=26272] ppid=26270 vsize=119356 CPUtime=1783.5 /proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 36522 0 0 0 177842 508 0 0 25 0 1 0 202839504 122220544 24248 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26272/statm: 29839 24248 108 232 0 29604 0 Current children cumulated CPU time (s) 1783.5 Current children cumulated vsize (Kb) 119356 [startup+1785.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26467 /proc/meminfo: memFree=1584776/2055920 swapFree=4182224/4192956 [pid=26272] ppid=26270 vsize=119356 CPUtime=1784.5 /proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 36527 0 0 0 177942 508 0 0 25 0 1 0 202839504 122220544 24253 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/26272/statm: 29839 24253 108 232 0 29604 0 Current children cumulated CPU time (s) 1784.5 Current children cumulated vsize (Kb) 119356 [startup+1786.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26467 /proc/meminfo: memFree=1584712/2055920 swapFree=4182224/4192956 [pid=26272] ppid=26270 vsize=119356 CPUtime=1785.51 /proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 36528 0 0 0 178042 509 0 0 25 0 1 0 202839504 122220544 24254 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/26272/statm: 29839 24254 108 232 0 29604 0 Current children cumulated CPU time (s) 1785.51 Current children cumulated vsize (Kb) 119356 [startup+1787.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26467 /proc/meminfo: memFree=1584712/2055920 swapFree=4182224/4192956 [pid=26272] ppid=26270 vsize=119356 CPUtime=1786.51 /proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 36538 0 0 0 178142 509 0 0 25 0 1 0 202839504 122220544 24264 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/26272/statm: 29839 24264 108 232 0 29604 0 Current children cumulated CPU time (s) 1786.51 Current children cumulated vsize (Kb) 119356 [startup+1788.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26467 /proc/meminfo: memFree=1584712/2055920 swapFree=4182224/4192956 [pid=26272] ppid=26270 vsize=119356 CPUtime=1787.51 /proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 36539 0 0 0 178242 509 0 0 25 0 1 0 202839504 122220544 24265 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/26272/statm: 29839 24265 108 232 0 29604 0 Current children cumulated CPU time (s) 1787.51 Current children cumulated vsize (Kb) 119356 [startup+1789.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26467 /proc/meminfo: memFree=1584712/2055920 swapFree=4182224/4192956 [pid=26272] ppid=26270 vsize=119356 CPUtime=1788.52 /proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 36541 0 0 0 178343 509 0 0 25 0 1 0 202839504 122220544 24267 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/26272/statm: 29839 24267 108 232 0 29604 0 Current children cumulated CPU time (s) 1788.52 Current children cumulated vsize (Kb) 119356 [startup+1790.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26467 /proc/meminfo: memFree=1584648/2055920 swapFree=4182224/4192956 [pid=26272] ppid=26270 vsize=119356 CPUtime=1789.52 /proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 36549 0 0 0 178443 509 0 0 25 0 1 0 202839504 122220544 24275 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/26272/statm: 29839 24275 108 232 0 29604 0 Current children cumulated CPU time (s) 1789.52 Current children cumulated vsize (Kb) 119356 [startup+1791.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26467 /proc/meminfo: memFree=1584648/2055920 swapFree=4182224/4192956 [pid=26272] ppid=26270 vsize=119356 CPUtime=1790.53 /proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 36550 0 0 0 178543 510 0 0 25 0 1 0 202839504 122220544 24276 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26272/statm: 29839 24276 108 232 0 29604 0 Current children cumulated CPU time (s) 1790.53 Current children cumulated vsize (Kb) 119356 [startup+1792.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26467 /proc/meminfo: memFree=1584648/2055920 swapFree=4182224/4192956 [pid=26272] ppid=26270 vsize=119356 CPUtime=1791.54 /proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 36557 0 0 0 178644 510 0 0 25 0 1 0 202839504 122220544 24283 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26272/statm: 29839 24283 108 232 0 29604 0 Current children cumulated CPU time (s) 1791.54 Current children cumulated vsize (Kb) 119356 [startup+1793.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26467 /proc/meminfo: memFree=1584584/2055920 swapFree=4182224/4192956 [pid=26272] ppid=26270 vsize=119356 CPUtime=1792.54 /proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 36564 0 0 0 178744 510 0 0 25 0 1 0 202839504 122220544 24290 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/26272/statm: 29839 24290 108 232 0 29604 0 Current children cumulated CPU time (s) 1792.54 Current children cumulated vsize (Kb) 119356 [startup+1794.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26467 /proc/meminfo: memFree=1584584/2055920 swapFree=4182224/4192956 [pid=26272] ppid=26270 vsize=119356 CPUtime=1793.55 /proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 36566 0 0 0 178845 510 0 0 25 0 1 0 202839504 122220544 24292 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/26272/statm: 29839 24292 108 232 0 29604 0 Current children cumulated CPU time (s) 1793.55 Current children cumulated vsize (Kb) 119356 [startup+1795.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26467 /proc/meminfo: memFree=1584520/2055920 swapFree=4182224/4192956 [pid=26272] ppid=26270 vsize=119356 CPUtime=1794.55 /proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 36582 0 0 0 178945 510 0 0 25 0 1 0 202839504 122220544 24308 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/26272/statm: 29839 24308 108 232 0 29604 0 Current children cumulated CPU time (s) 1794.55 Current children cumulated vsize (Kb) 119356 [startup+1796.19 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26467 /proc/meminfo: memFree=1584520/2055920 swapFree=4182224/4192956 [pid=26272] ppid=26270 vsize=119356 CPUtime=1795.55 /proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 36586 0 0 0 179045 510 0 0 25 0 1 0 202839504 122220544 24312 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564201 0 0 4096 0 0 0 0 17 1 0 0 /proc/26272/statm: 29839 24312 108 232 0 29604 0 Current children cumulated CPU time (s) 1795.55 Current children cumulated vsize (Kb) 119356 [startup+1797.19 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26467 /proc/meminfo: memFree=1584456/2055920 swapFree=4182224/4192956 [pid=26272] ppid=26270 vsize=119356 CPUtime=1796.56 /proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 36597 0 0 0 179146 510 0 0 25 0 1 0 202839504 122220544 24323 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549276 0 0 4096 0 0 0 0 17 1 0 0 /proc/26272/statm: 29839 24323 108 232 0 29604 0 Current children cumulated CPU time (s) 1796.56 Current children cumulated vsize (Kb) 119356 [startup+1798.2 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26467 /proc/meminfo: memFree=1584456/2055920 swapFree=4182224/4192956 [pid=26272] ppid=26270 vsize=119356 CPUtime=1797.56 /proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 36600 0 0 0 179246 510 0 0 25 0 1 0 202839504 122220544 24326 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564199 0 0 4096 0 0 0 0 17 1 0 0 /proc/26272/statm: 29839 24326 108 232 0 29604 0 Current children cumulated CPU time (s) 1797.56 Current children cumulated vsize (Kb) 119356 [startup+1799.2 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26467 /proc/meminfo: memFree=1584392/2055920 swapFree=4182224/4192956 [pid=26272] ppid=26270 vsize=119356 CPUtime=1798.56 /proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 36611 0 0 0 179346 510 0 0 25 0 1 0 202839504 122220544 24337 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/26272/statm: 29839 24337 108 232 0 29604 0 Current children cumulated CPU time (s) 1798.56 Current children cumulated vsize (Kb) 119356 [startup+1800.21 s] /proc/loadavg: 0.99 0.97 0.91 3/64 26467 /proc/meminfo: memFree=1584392/2055920 swapFree=4182224/4192956 [pid=26272] ppid=26270 vsize=119356 CPUtime=1799.57 /proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 36615 0 0 0 179447 510 0 0 25 0 1 0 202839504 122220544 24341 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/26272/statm: 29839 24341 108 232 0 29604 0 Current children cumulated CPU time (s) 1799.57 Current children cumulated vsize (Kb) 119356 [startup+1801.21 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26467 /proc/meminfo: memFree=1584392/2055920 swapFree=4182224/4192956 [pid=26272] ppid=26270 vsize=119356 CPUtime=1800.57 /proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 36621 0 0 0 179547 510 0 0 25 0 1 0 202839504 122220544 24347 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26272/statm: 29839 24347 108 232 0 29604 0 Current children cumulated CPU time (s) 1800.57 Current children cumulated vsize (Kb) 119356 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.22 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26467 /proc/meminfo: memFree=1584392/2055920 swapFree=4182224/4192956 [pid=26272] ppid=26270 vsize=119356 CPUtime=1800.58 /proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 36621 0 0 0 179548 510 0 0 25 0 1 0 202839504 122220544 24347 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/26272/statm: 29839 24347 108 232 0 29604 0 Current children cumulated CPU time (s) 1800.58 Current children cumulated vsize (Kb) 119356 Sending SIGTERM to -26272 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.24 CPU time (s): 1800.6 CPU user time (s): 1795.48 CPU system time (s): 5.12222 CPU usage (%): 99.9649 Max. virtual memory (cumulated for all children) (Kb): 119356 The end
Begin job on node66 on Sat Jun 3 21:55:14 UTC 2006 FILE ID= 41555-1149371714 PBS_JOBID= 312229 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-opt1217.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node66/41555-1149371714/instance-41555-1149371714.opb 154268099 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node66/watcher-41555-1149371714 -o ROOT/results/node66/solver-41555-1149371714 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node66/41555-1149371714/instance-41555-1149371714.opb 154268099 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 0d06ca66c5954e6533e2fcc6f3f13fb8 RANDOM SEED= 154268099 /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.225 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.225 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: 1681992 kB Buffers: 31032 kB Cached: 272872 kB SwapCached: 2368 kB Active: 56100 kB Inactive: 256480 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1681992 kB SwapTotal: 4192956 kB SwapFree: 4182224 kB Dirty: 168 kB Writeback: 0 kB Mapped: 15144 kB Slab: 47324 kB Committed_AS: 331780 kB PageTables: 1400 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node66 on Sat Jun 3 22:25:15 UTC 2006