Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.6 | 1801.19 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-dano3mip.opb |
MD5SUM | 14e6c259fcfc7693ea81c905b2ebcb59 |
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 | 399966 |
Total number of constraints | 3226 |
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 | 3178 |
Minimum length of a constraint | 21 |
Maximum length of a constraint | 15900 |
Number of terms in the objective function | 30 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524317 |
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 | 535830 |
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/41456-1149356658/instance-41456-1149356658.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-41456-1149356658 -o ROOT/results/node29/solver-41456-1149356658 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node29/41456-1149356658/instance-41456-1149356658.opb 485399330 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.95 2/64 22558 /proc/meminfo: memFree=1761384/2055920 swapFree=4181376/4192956 [pid=22558] ppid=22556 vsize=38900 CPUtime=0 /proc/22558/stat : 22558 (PBS4L) R 22556 22558 22512 0 -1 4194304 148 0 0 0 0 0 0 0 18 0 1 0 201329470 39833600 132 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598843 0 0 4096 0 0 0 0 17 1 0 0 /proc/22558/statm: 9725 133 90 232 0 9490 0 [startup+10.0023 s] /proc/loadavg: 0.93 0.95 0.95 2/64 22558 /proc/meminfo: memFree=1648048/2055920 swapFree=4181376/4192956 [pid=22558] ppid=22556 vsize=115124 CPUtime=9.98 /proc/22558/stat : 22558 (PBS4L) R 22556 22558 22512 0 -1 4194304 28938 0 0 0 988 10 0 0 25 0 1 0 201329470 117886976 28438 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613926 0 0 4096 0 0 0 0 17 1 0 0 /proc/22558/statm: 28781 28438 99 232 0 28546 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 115124 [startup+20.0087 s] /proc/loadavg: 0.94 0.96 0.95 2/64 22558 /proc/meminfo: memFree=1624816/2055920 swapFree=4181376/4192956 [pid=22558] ppid=22556 vsize=138224 CPUtime=19.99 /proc/22558/stat : 22558 (PBS4L) R 22556 22558 22512 0 -1 4194304 34756 0 0 0 1985 14 0 0 25 0 1 0 201329470 141541376 34223 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613115 0 0 4096 0 0 0 0 17 1 0 0 /proc/22558/statm: 34556 34223 99 232 0 34321 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 138224 [startup+30.0142 s] /proc/loadavg: 0.95 0.96 0.95 2/64 22558 /proc/meminfo: memFree=1624560/2055920 swapFree=4181376/4192956 [pid=22558] ppid=22556 vsize=138728 CPUtime=29.99 /proc/22558/stat : 22558 (PBS4L) R 22556 22558 22512 0 -1 4194304 34882 0 0 0 2985 14 0 0 25 0 1 0 201329470 142057472 34349 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613239 0 0 4096 0 0 0 0 17 1 0 0 /proc/22558/statm: 34682 34349 99 232 0 34447 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 138728 [startup+40.0196 s] /proc/loadavg: 0.95 0.96 0.95 2/64 22558 /proc/meminfo: memFree=1622128/2055920 swapFree=4181376/4192956 [pid=22558] ppid=22556 vsize=143356 CPUtime=39.98 /proc/22558/stat : 22558 (PBS4L) R 22556 22558 22512 0 -1 4194304 35527 0 0 0 3984 14 0 0 25 0 1 0 201329470 146796544 34994 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134614300 0 0 4096 0 0 0 0 17 1 0 0 /proc/22558/statm: 35839 34994 99 232 0 35604 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 143356 [startup+50.025 s] /proc/loadavg: 0.96 0.96 0.95 2/64 22558 /proc/meminfo: memFree=1619184/2055920 swapFree=4181376/4192956 [pid=22558] ppid=22556 vsize=145624 CPUtime=49.98 /proc/22558/stat : 22558 (PBS4L) R 22556 22558 22512 0 -1 4194304 36284 0 0 0 4983 15 0 0 25 0 1 0 201329470 149118976 35751 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134615138 0 0 4096 0 0 0 0 17 1 0 0 /proc/22558/statm: 36406 35751 99 232 0 36171 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 145624 [startup+60.0304 s] /proc/loadavg: 0.97 0.96 0.95 2/64 22558 /proc/meminfo: memFree=1615728/2055920 swapFree=4181376/4192956 [pid=22558] ppid=22556 vsize=148144 CPUtime=59.99 /proc/22558/stat : 22558 (PBS4L) R 22556 22558 22512 0 -1 4194304 37150 0 0 0 5983 16 0 0 25 0 1 0 201329470 151699456 36617 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134613926 0 0 4096 0 0 0 0 17 1 0 0 /proc/22558/statm: 37036 36617 99 232 0 36801 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 148144 [startup+70.0358 s] /proc/loadavg: 0.97 0.96 0.95 2/64 22558 /proc/meminfo: memFree=1612272/2055920 swapFree=4181376/4192956 [pid=22558] ppid=22556 vsize=152920 CPUtime=69.99 /proc/22558/stat : 22558 (PBS4L) R 22556 22558 22512 0 -1 4194304 38010 0 0 0 6983 16 0 0 25 0 1 0 201329470 156590080 37477 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134614300 0 0 4096 0 0 0 0 17 1 0 0 /proc/22558/statm: 38230 37477 99 232 0 37995 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 152920 [startup+80.0413 s] /proc/loadavg: 0.98 0.96 0.95 2/64 22558 /proc/meminfo: memFree=1564400/2055920 swapFree=4181376/4192956 [pid=22558] ppid=22556 vsize=236428 CPUtime=79.99 /proc/22558/stat : 22558 (PBS4L) R 22556 22558 22512 0 -1 4194304 61789 0 0 0 7975 24 0 0 25 0 1 0 201329470 242102272 49353 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/22558/statm: 59107 49353 103 232 0 58872 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 236428 [startup+90.0467 s] /proc/loadavg: 0.98 0.96 0.95 2/64 22558 /proc/meminfo: memFree=1564400/2055920 swapFree=4181376/4192956 [pid=22558] ppid=22556 vsize=236428 CPUtime=90 /proc/22558/stat : 22558 (PBS4L) R 22556 22558 22512 0 -1 4194304 61790 0 0 0 8976 24 0 0 25 0 1 0 201329470 242102272 49354 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/22558/statm: 59107 49354 104 232 0 58872 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 236428 [startup+100.052 s] /proc/loadavg: 0.98 0.96 0.95 2/64 22558 /proc/meminfo: memFree=1564400/2055920 swapFree=4181376/4192956 [pid=22558] ppid=22556 vsize=236428 CPUtime=100 /proc/22558/stat : 22558 (PBS4L) R 22556 22558 22512 0 -1 4194304 61790 0 0 0 9976 24 0 0 25 0 1 0 201329470 242102272 49354 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551632 0 0 4096 0 0 0 0 17 1 0 0 /proc/22558/statm: 59107 49354 104 232 0 58872 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 236428 [startup+110.058 s] /proc/loadavg: 0.98 0.96 0.95 2/64 22558 /proc/meminfo: memFree=1564400/2055920 swapFree=4181376/4192956 [pid=22558] ppid=22556 vsize=236428 CPUtime=110 /proc/22558/stat : 22558 (PBS4L) R 22556 22558 22512 0 -1 4194304 61790 0 0 0 10976 24 0 0 25 0 1 0 201329470 242102272 49354 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0 /proc/22558/statm: 59107 49354 104 232 0 58872 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 236428 [startup+120.063 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22558 /proc/meminfo: memFree=1564400/2055920 swapFree=4181376/4192956 [pid=22558] ppid=22556 vsize=236428 CPUtime=120 /proc/22558/stat : 22558 (PBS4L) R 22556 22558 22512 0 -1 4194304 61790 0 0 0 11976 24 0 0 25 0 1 0 201329470 242102272 49354 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/22558/statm: 59107 49354 104 232 0 58872 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 236428 [startup+130.068 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22558 /proc/meminfo: memFree=1564400/2055920 swapFree=4181376/4192956 [pid=22558] ppid=22556 vsize=236428 CPUtime=130.01 /proc/22558/stat : 22558 (PBS4L) R 22556 22558 22512 0 -1 4194304 61790 0 0 0 12977 24 0 0 25 0 1 0 201329470 242102272 49354 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/22558/statm: 59107 49354 104 232 0 58872 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 236428 [startup+140.074 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22558 /proc/meminfo: memFree=1564400/2055920 swapFree=4181376/4192956 [pid=22558] ppid=22556 vsize=236428 CPUtime=140.01 /proc/22558/stat : 22558 (PBS4L) R 22556 22558 22512 0 -1 4194304 61790 0 0 0 13977 24 0 0 25 0 1 0 201329470 242102272 49354 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551329 0 0 4096 0 0 0 0 17 1 0 0 /proc/22558/statm: 59107 49354 104 232 0 58872 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 236428 [startup+150.079 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22558 /proc/meminfo: memFree=1564400/2055920 swapFree=4181376/4192956 [pid=22558] ppid=22556 vsize=236428 CPUtime=150.01 /proc/22558/stat : 22558 (PBS4L) R 22556 22558 22512 0 -1 4194304 61790 0 0 0 14977 24 0 0 25 0 1 0 201329470 242102272 49354 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/22558/statm: 59107 49354 104 232 0 58872 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 236428 [startup+160.085 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22558 /proc/meminfo: memFree=1564400/2055920 swapFree=4181376/4192956 [pid=22558] ppid=22556 vsize=236428 CPUtime=160.01 /proc/22558/stat : 22558 (PBS4L) R 22556 22558 22512 0 -1 4194304 61791 0 0 0 15977 24 0 0 25 0 1 0 201329470 242102272 49355 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551621 0 0 4096 0 0 0 0 17 1 0 0 /proc/22558/statm: 59107 49355 104 232 0 58872 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 236428 [startup+170.09 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22558 /proc/meminfo: memFree=1564400/2055920 swapFree=4181376/4192956 [pid=22558] ppid=22556 vsize=236428 CPUtime=170.02 /proc/22558/stat : 22558 (PBS4L) R 22556 22558 22512 0 -1 4194304 61796 0 0 0 16978 24 0 0 25 0 1 0 201329470 242102272 49360 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/22558/statm: 59107 49360 104 232 0 58872 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 236428 [startup+180.095 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22558 /proc/meminfo: memFree=1564400/2055920 swapFree=4181376/4192956 [pid=22558] ppid=22556 vsize=236428 CPUtime=180.02 /proc/22558/stat : 22558 (PBS4L) R 22556 22558 22512 0 -1 4194304 61803 0 0 0 17978 24 0 0 25 0 1 0 201329470 242102272 49367 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/22558/statm: 59107 49367 104 232 0 58872 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 236428 [startup+190.101 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22558 /proc/meminfo: memFree=1564400/2055920 swapFree=4181376/4192956 [pid=22558] ppid=22556 vsize=236428 CPUtime=190.02 /proc/22558/stat : 22558 (PBS4L) R 22556 22558 22512 0 -1 4194304 61812 0 0 0 18978 24 0 0 25 0 1 0 201329470 242102272 49376 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546650 0 0 4096 0 0 0 0 17 1 0 0 /proc/22558/statm: 59107 49376 104 232 0 58872 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 236428 [startup+200.107 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22558 /proc/meminfo: memFree=1564400/2055920 swapFree=4181376/4192956 [pid=22558] ppid=22556 vsize=236428 CPUtime=200.02 /proc/22558/stat : 22558 (PBS4L) R 22556 22558 22512 0 -1 4194304 61816 0 0 0 19978 24 0 0 25 0 1 0 201329470 242102272 49380 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546643 0 0 4096 0 0 0 0 17 1 0 0 /proc/22558/statm: 59107 49380 105 232 0 58872 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 236428 [startup+210.114 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22558 /proc/meminfo: memFree=1564400/2055920 swapFree=4181376/4192956 ################ # More data... # ################ /proc/22558/stat : 22558 (PBS4L) R 22556 22558 22512 0 -1 4194304 62037 0 0 0 178115 32 0 0 25 0 1 0 201329470 242888704 49601 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551608 0 0 4096 0 0 0 0 17 1 0 0 /proc/22558/statm: 59299 49601 105 232 0 59064 0 Current children cumulated CPU time (s) 1781.47 Current children cumulated vsize (Kb) 237196 [startup+1783.07 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22753 /proc/meminfo: memFree=1563256/2055920 swapFree=4181376/4192956 [pid=22558] ppid=22556 vsize=237196 CPUtime=1782.47 /proc/22558/stat : 22558 (PBS4L) R 22556 22558 22512 0 -1 4194304 62038 0 0 0 178215 32 0 0 25 0 1 0 201329470 242888704 49602 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/22558/statm: 59299 49602 105 232 0 59064 0 Current children cumulated CPU time (s) 1782.47 Current children cumulated vsize (Kb) 237196 [startup+1784.07 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22753 /proc/meminfo: memFree=1563256/2055920 swapFree=4181376/4192956 [pid=22558] ppid=22556 vsize=237196 CPUtime=1783.48 /proc/22558/stat : 22558 (PBS4L) R 22556 22558 22512 0 -1 4194304 62038 0 0 0 178316 32 0 0 25 0 1 0 201329470 242888704 49602 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546640 0 0 4096 0 0 0 0 17 1 0 0 /proc/22558/statm: 59299 49602 105 232 0 59064 0 Current children cumulated CPU time (s) 1783.48 Current children cumulated vsize (Kb) 237196 [startup+1785.08 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22753 /proc/meminfo: memFree=1563256/2055920 swapFree=4181376/4192956 [pid=22558] ppid=22556 vsize=237196 CPUtime=1784.48 /proc/22558/stat : 22558 (PBS4L) R 22556 22558 22512 0 -1 4194304 62038 0 0 0 178416 32 0 0 25 0 1 0 201329470 242888704 49602 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/22558/statm: 59299 49602 105 232 0 59064 0 Current children cumulated CPU time (s) 1784.48 Current children cumulated vsize (Kb) 237196 [startup+1786.08 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22753 /proc/meminfo: memFree=1563256/2055920 swapFree=4181376/4192956 [pid=22558] ppid=22556 vsize=237196 CPUtime=1785.49 /proc/22558/stat : 22558 (PBS4L) R 22556 22558 22512 0 -1 4194304 62038 0 0 0 178517 32 0 0 25 0 1 0 201329470 242888704 49602 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/22558/statm: 59299 49602 105 232 0 59064 0 Current children cumulated CPU time (s) 1785.49 Current children cumulated vsize (Kb) 237196 [startup+1787.09 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22753 /proc/meminfo: memFree=1563256/2055920 swapFree=4181376/4192956 [pid=22558] ppid=22556 vsize=237196 CPUtime=1786.49 /proc/22558/stat : 22558 (PBS4L) R 22556 22558 22512 0 -1 4194304 62038 0 0 0 178617 32 0 0 25 0 1 0 201329470 242888704 49602 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/22558/statm: 59299 49602 105 232 0 59064 0 Current children cumulated CPU time (s) 1786.49 Current children cumulated vsize (Kb) 237196 [startup+1788.09 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22753 /proc/meminfo: memFree=1563256/2055920 swapFree=4181376/4192956 [pid=22558] ppid=22556 vsize=237196 CPUtime=1787.5 /proc/22558/stat : 22558 (PBS4L) R 22556 22558 22512 0 -1 4194304 62038 0 0 0 178718 32 0 0 25 0 1 0 201329470 242888704 49602 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551579 0 0 4096 0 0 0 0 17 1 0 0 /proc/22558/statm: 59299 49602 105 232 0 59064 0 Current children cumulated CPU time (s) 1787.5 Current children cumulated vsize (Kb) 237196 [startup+1789.1 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22753 /proc/meminfo: memFree=1563256/2055920 swapFree=4181376/4192956 [pid=22558] ppid=22556 vsize=237196 CPUtime=1788.5 /proc/22558/stat : 22558 (PBS4L) R 22556 22558 22512 0 -1 4194304 62038 0 0 0 178818 32 0 0 25 0 1 0 201329470 242888704 49602 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551582 0 0 4096 0 0 0 0 17 1 0 0 /proc/22558/statm: 59299 49602 105 232 0 59064 0 Current children cumulated CPU time (s) 1788.5 Current children cumulated vsize (Kb) 237196 [startup+1790.1 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22753 /proc/meminfo: memFree=1563256/2055920 swapFree=4181376/4192956 [pid=22558] ppid=22556 vsize=237196 CPUtime=1789.51 /proc/22558/stat : 22558 (PBS4L) R 22556 22558 22512 0 -1 4194304 62038 0 0 0 178919 32 0 0 25 0 1 0 201329470 242888704 49602 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/22558/statm: 59299 49602 105 232 0 59064 0 Current children cumulated CPU time (s) 1789.51 Current children cumulated vsize (Kb) 237196 [startup+1791.1 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22753 /proc/meminfo: memFree=1563256/2055920 swapFree=4181376/4192956 [pid=22558] ppid=22556 vsize=237196 CPUtime=1790.51 /proc/22558/stat : 22558 (PBS4L) R 22556 22558 22512 0 -1 4194304 62038 0 0 0 179019 32 0 0 25 0 1 0 201329470 242888704 49602 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551621 0 0 4096 0 0 0 0 17 1 0 0 /proc/22558/statm: 59299 49602 105 232 0 59064 0 Current children cumulated CPU time (s) 1790.51 Current children cumulated vsize (Kb) 237196 [startup+1792.11 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22753 /proc/meminfo: memFree=1563256/2055920 swapFree=4181376/4192956 [pid=22558] ppid=22556 vsize=237196 CPUtime=1791.51 /proc/22558/stat : 22558 (PBS4L) R 22556 22558 22512 0 -1 4194304 62038 0 0 0 179119 32 0 0 25 0 1 0 201329470 242888704 49602 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/22558/statm: 59299 49602 105 232 0 59064 0 Current children cumulated CPU time (s) 1791.51 Current children cumulated vsize (Kb) 237196 [startup+1793.11 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22753 /proc/meminfo: memFree=1563256/2055920 swapFree=4181376/4192956 [pid=22558] ppid=22556 vsize=237196 CPUtime=1792.52 /proc/22558/stat : 22558 (PBS4L) R 22556 22558 22512 0 -1 4194304 62038 0 0 0 179220 32 0 0 25 0 1 0 201329470 242888704 49602 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551626 0 0 4096 0 0 0 0 17 1 0 0 /proc/22558/statm: 59299 49602 105 232 0 59064 0 Current children cumulated CPU time (s) 1792.52 Current children cumulated vsize (Kb) 237196 [startup+1794.12 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22753 /proc/meminfo: memFree=1563256/2055920 swapFree=4181376/4192956 [pid=22558] ppid=22556 vsize=237196 CPUtime=1793.52 /proc/22558/stat : 22558 (PBS4L) R 22556 22558 22512 0 -1 4194304 62038 0 0 0 179320 32 0 0 25 0 1 0 201329470 242888704 49602 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/22558/statm: 59299 49602 105 232 0 59064 0 Current children cumulated CPU time (s) 1793.52 Current children cumulated vsize (Kb) 237196 [startup+1795.12 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22753 /proc/meminfo: memFree=1563256/2055920 swapFree=4181376/4192956 [pid=22558] ppid=22556 vsize=237196 CPUtime=1794.53 /proc/22558/stat : 22558 (PBS4L) R 22556 22558 22512 0 -1 4194304 62038 0 0 0 179421 32 0 0 25 0 1 0 201329470 242888704 49602 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/22558/statm: 59299 49602 105 232 0 59064 0 Current children cumulated CPU time (s) 1794.53 Current children cumulated vsize (Kb) 237196 [startup+1796.13 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22753 /proc/meminfo: memFree=1563256/2055920 swapFree=4181376/4192956 [pid=22558] ppid=22556 vsize=237196 CPUtime=1795.53 /proc/22558/stat : 22558 (PBS4L) R 22556 22558 22512 0 -1 4194304 62038 0 0 0 179521 32 0 0 25 0 1 0 201329470 242888704 49602 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/22558/statm: 59299 49602 105 232 0 59064 0 Current children cumulated CPU time (s) 1795.53 Current children cumulated vsize (Kb) 237196 [startup+1797.13 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22753 /proc/meminfo: memFree=1563256/2055920 swapFree=4181376/4192956 [pid=22558] ppid=22556 vsize=237196 CPUtime=1796.54 /proc/22558/stat : 22558 (PBS4L) R 22556 22558 22512 0 -1 4194304 62038 0 0 0 179622 32 0 0 25 0 1 0 201329470 242888704 49602 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/22558/statm: 59299 49602 105 232 0 59064 0 Current children cumulated CPU time (s) 1796.54 Current children cumulated vsize (Kb) 237196 [startup+1798.14 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22753 /proc/meminfo: memFree=1563256/2055920 swapFree=4181376/4192956 [pid=22558] ppid=22556 vsize=237196 CPUtime=1797.54 /proc/22558/stat : 22558 (PBS4L) R 22556 22558 22512 0 -1 4194304 62039 0 0 0 179722 32 0 0 25 0 1 0 201329470 242888704 49603 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0 /proc/22558/statm: 59299 49603 105 232 0 59064 0 Current children cumulated CPU time (s) 1797.54 Current children cumulated vsize (Kb) 237196 [startup+1799.14 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22753 /proc/meminfo: memFree=1563256/2055920 swapFree=4181376/4192956 [pid=22558] ppid=22556 vsize=237196 CPUtime=1798.55 /proc/22558/stat : 22558 (PBS4L) R 22556 22558 22512 0 -1 4194304 62039 0 0 0 179823 32 0 0 25 0 1 0 201329470 242888704 49603 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/22558/statm: 59299 49603 105 232 0 59064 0 Current children cumulated CPU time (s) 1798.55 Current children cumulated vsize (Kb) 237196 [startup+1800.15 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22753 /proc/meminfo: memFree=1563256/2055920 swapFree=4181376/4192956 [pid=22558] ppid=22556 vsize=237196 CPUtime=1799.55 /proc/22558/stat : 22558 (PBS4L) R 22556 22558 22512 0 -1 4194304 62039 0 0 0 179923 32 0 0 25 0 1 0 201329470 242888704 49603 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/22558/statm: 59299 49603 105 232 0 59064 0 Current children cumulated CPU time (s) 1799.55 Current children cumulated vsize (Kb) 237196 [startup+1801.15 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22753 /proc/meminfo: memFree=1563256/2055920 swapFree=4181376/4192956 [pid=22558] ppid=22556 vsize=237196 CPUtime=1800.55 /proc/22558/stat : 22558 (PBS4L) R 22556 22558 22512 0 -1 4194304 62039 0 0 0 180023 32 0 0 25 0 1 0 201329470 242888704 49603 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551626 0 0 4096 0 0 0 0 17 1 0 0 /proc/22558/statm: 59299 49603 105 232 0 59064 0 Current children cumulated CPU time (s) 1800.55 Current children cumulated vsize (Kb) 237196 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.16 s] /proc/loadavg: 0.99 0.97 0.95 2/64 22753 /proc/meminfo: memFree=1563256/2055920 swapFree=4181376/4192956 [pid=22558] ppid=22556 vsize=237196 CPUtime=1800.56 /proc/22558/stat : 22558 (PBS4L) R 22556 22558 22512 0 -1 4194304 62039 0 0 0 180024 32 0 0 25 0 1 0 201329470 242888704 49603 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/22558/statm: 59299 49603 105 232 0 59064 0 Current children cumulated CPU time (s) 1800.56 Current children cumulated vsize (Kb) 237196 Sending SIGTERM to -22558 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.19 CPU time (s): 1800.6 CPU user time (s): 1800.24 CPU system time (s): 0.354946 CPU usage (%): 99.967 Max. virtual memory (cumulated for all children) (Kb): 237196 The end
Begin job on node29 on Sat Jun 3 17:44:19 UTC 2006 FILE ID= 41456-1149356658 PBS_JOBID= 311288 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-dano3mip.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node29/41456-1149356658/instance-41456-1149356658.opb 485399330 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-41456-1149356658 -o ROOT/results/node29/solver-41456-1149356658 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node29/41456-1149356658/instance-41456-1149356658.opb 485399330 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 14e6c259fcfc7693ea81c905b2ebcb59 RANDOM SEED= 485399330 /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: 1761592 kB Buffers: 24492 kB Cached: 206396 kB SwapCached: 3236 kB Active: 66836 kB Inactive: 172684 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1761592 kB SwapTotal: 4192956 kB SwapFree: 4181376 kB Dirty: 152 kB Writeback: 0 kB Mapped: 14716 kB Slab: 40812 kB Committed_AS: 355584 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 18:14:20 UTC 2006