Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.69 | 1801.19 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-misc07.opb |
MD5SUM | f36b59f1fcf0c7e8fce521b6b9823495 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 262858 |
Best CPU time to get the best result obtained on this benchmark | 456.445 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 262858 |
Optimality of the best value was proved | YES |
Number of variables | 290 |
Total number of constraints | 212 |
Number of constraints which are clauses | 127 |
Number of constraints which are cardinality constraints (but not clauses) | 13 |
Number of constraints which are nor clauses,nor cardinality constraints | 72 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 263 |
Number of terms in the objective function | 31 |
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 | 524318 |
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 | 524422 |
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/node56/41448-1149354809/instance-41448-1149354809.opb ...... 0.05 c done parsing opb. 0.05 o 263455 0.05 o 263379 0.06 o 263342 0.06 o 263163 0.07 o 262953 0.14 o 262939 0.65 o 262933 0.80 o 262907 0.84 o 262906 0.87 o 262891 5.82 o 262888 6.63 o 262887 6.93 o 262882 10.94 o 262858
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/node56/watcher-41448-1149354809 -o ROOT/results/node56/solver-41448-1149354809 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node56/41448-1149354809/instance-41448-1149354809.opb 246371062 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.98 2/64 24513 /proc/meminfo: memFree=1456640/2055920 swapFree=4181332/4192956 [pid=24513] ppid=24511 vsize=1368 CPUtime=0 /proc/24513/stat : 24513 (PBS4L) D 24511 24513 24467 0 -1 4194304 111 0 0 0 0 0 0 0 19 0 1 0 201148518 1400832 95 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135132864 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/24513/statm: 342 95 84 232 0 107 0 [startup+10.0019 s] /proc/loadavg: 0.93 0.95 0.98 2/64 24513 /proc/meminfo: memFree=1446416/2055920 swapFree=4181332/4192956 [pid=24513] ppid=24511 vsize=12568 CPUtime=9.99 /proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 3016 0 0 0 996 3 0 0 25 0 1 0 201148518 12869632 2651 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546615 0 0 4096 0 0 0 0 17 1 0 0 /proc/24513/statm: 3142 2651 108 232 0 2907 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 12568 [startup+20.0079 s] /proc/loadavg: 0.94 0.96 0.98 2/64 24513 /proc/meminfo: memFree=1437584/2055920 swapFree=4181332/4192956 [pid=24513] ppid=24511 vsize=22008 CPUtime=19.99 /proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 5246 0 0 0 1992 7 0 0 25 0 1 0 201148518 22536192 4881 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549325 0 0 4096 0 0 0 0 17 1 0 0 /proc/24513/statm: 5502 4881 108 232 0 5267 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 22008 [startup+30.0139 s] /proc/loadavg: 0.95 0.96 0.98 2/64 24513 /proc/meminfo: memFree=1432400/2055920 swapFree=4181332/4192956 [pid=24513] ppid=24511 vsize=40896 CPUtime=29.99 /proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 6887 0 0 0 2990 9 0 0 25 0 1 0 201148518 41877504 6137 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/24513/statm: 10224 6137 108 232 0 9989 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 40896 [startup+40.0198 s] /proc/loadavg: 0.95 0.96 0.98 2/64 24513 /proc/meminfo: memFree=1425552/2055920 swapFree=4181332/4192956 [pid=24513] ppid=24511 vsize=41876 CPUtime=40 /proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 8648 0 0 0 3988 12 0 0 25 0 1 0 201148518 42881024 7898 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24513/statm: 10469 7898 108 232 0 10234 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 41876 [startup+50.0258 s] /proc/loadavg: 0.96 0.96 0.98 2/64 24513 /proc/meminfo: memFree=1421328/2055920 swapFree=4181332/4192956 [pid=24513] ppid=24511 vsize=42800 CPUtime=50 /proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 9703 0 0 0 4986 14 0 0 25 0 1 0 201148518 43827200 8953 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24513/statm: 10700 8953 108 232 0 10465 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 42800 [startup+60.0318 s] /proc/loadavg: 0.97 0.96 0.98 2/64 24513 /proc/meminfo: memFree=1416848/2055920 swapFree=4181332/4192956 [pid=24513] ppid=24511 vsize=43540 CPUtime=60 /proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 10822 0 0 0 5984 16 0 0 25 0 1 0 201148518 44584960 10072 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552218 0 0 4096 0 0 0 0 17 1 0 0 /proc/24513/statm: 10885 10072 108 232 0 10650 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 43540 [startup+70.0378 s] /proc/loadavg: 0.97 0.96 0.98 2/64 24513 /proc/meminfo: memFree=1415120/2055920 swapFree=4181332/4192956 [pid=24513] ppid=24511 vsize=44028 CPUtime=70.01 /proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 11253 0 0 0 6983 18 0 0 25 0 1 0 201148518 45084672 10503 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/24513/statm: 11007 10503 108 232 0 10772 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 44028 [startup+80.0438 s] /proc/loadavg: 0.98 0.96 0.98 2/64 24513 /proc/meminfo: memFree=1413392/2055920 swapFree=4181332/4192956 [pid=24513] ppid=24511 vsize=77340 CPUtime=80.01 /proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 11686 0 0 0 7981 20 0 0 25 0 1 0 201148518 79196160 10936 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546259 0 0 4096 0 0 0 0 17 1 0 0 /proc/24513/statm: 19335 10936 108 232 0 19100 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 77340 [startup+90.0498 s] /proc/loadavg: 0.98 0.96 0.98 2/64 24513 /proc/meminfo: memFree=1408912/2055920 swapFree=4181332/4192956 [pid=24513] ppid=24511 vsize=77636 CPUtime=90.01 /proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 12794 0 0 0 8980 21 0 0 25 0 1 0 201148518 79499264 12044 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550043 0 0 4096 0 0 0 0 17 1 0 0 /proc/24513/statm: 19409 12044 108 232 0 19174 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 77636 [startup+100.056 s] /proc/loadavg: 0.98 0.96 0.98 2/64 24513 /proc/meminfo: memFree=1405584/2055920 swapFree=4181332/4192956 [pid=24513] ppid=24511 vsize=81568 CPUtime=100.02 /proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 14413 0 0 0 9978 24 0 0 25 0 1 0 201148518 83525632 12894 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/24513/statm: 20392 12894 108 232 0 20157 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 81568 [startup+110.062 s] /proc/loadavg: 0.98 0.96 0.98 2/64 24513 /proc/meminfo: memFree=1401168/2055920 swapFree=4181332/4192956 [pid=24513] ppid=24511 vsize=81988 CPUtime=110.02 /proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 15512 0 0 0 10977 25 0 0 25 0 1 0 201148518 83955712 13993 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/24513/statm: 20497 13993 108 232 0 20262 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 81988 [startup+120.068 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24513 /proc/meminfo: memFree=1395536/2055920 swapFree=4181332/4192956 [pid=24513] ppid=24511 vsize=82824 CPUtime=120.02 /proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 16907 0 0 0 11973 29 0 0 25 0 1 0 201148518 84811776 15388 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/24513/statm: 20706 15388 108 232 0 20471 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 82824 [startup+130.074 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24513 /proc/meminfo: memFree=1390416/2055920 swapFree=4181332/4192956 [pid=24513] ppid=24511 vsize=83308 CPUtime=130.03 /proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 18191 0 0 0 12971 32 0 0 25 0 1 0 201148518 85307392 16672 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552002 0 0 4096 0 0 0 0 17 1 0 0 /proc/24513/statm: 20827 16672 108 232 0 20592 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 83308 [startup+140.08 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24513 /proc/meminfo: memFree=1385488/2055920 swapFree=4181332/4192956 [pid=24513] ppid=24511 vsize=84252 CPUtime=140.03 /proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 19421 0 0 0 13969 34 0 0 25 0 1 0 201148518 86274048 17902 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552324 0 0 4096 0 0 0 0 17 1 0 0 /proc/24513/statm: 21063 17902 108 232 0 20828 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 84252 [startup+150.086 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24513 /proc/meminfo: memFree=1384848/2055920 swapFree=4181332/4192956 [pid=24513] ppid=24511 vsize=84412 CPUtime=150.03 /proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 19585 0 0 0 14967 36 0 0 25 0 1 0 201148518 86437888 18066 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24513/statm: 21103 18066 108 232 0 20868 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 84412 [startup+160.092 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24513 /proc/meminfo: memFree=1380368/2055920 swapFree=4181332/4192956 [pid=24513] ppid=24511 vsize=84704 CPUtime=160.04 /proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 20688 0 0 0 15966 38 0 0 25 0 1 0 201148518 86736896 19169 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0 /proc/24513/statm: 21176 19169 108 232 0 20941 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 84704 [startup+170.098 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24513 /proc/meminfo: memFree=1375760/2055920 swapFree=4181332/4192956 [pid=24513] ppid=24511 vsize=85188 CPUtime=170.04 /proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 21840 0 0 0 16963 41 0 0 25 0 1 0 201148518 87232512 20321 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550781 0 0 4096 0 0 0 0 17 1 0 0 /proc/24513/statm: 21297 20321 108 232 0 21062 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 85188 [startup+180.104 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24513 /proc/meminfo: memFree=1371664/2055920 swapFree=4181332/4192956 [pid=24513] ppid=24511 vsize=151396 CPUtime=180.04 /proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 22860 0 0 0 17962 42 0 0 25 0 1 0 201148518 155029504 21341 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/24513/statm: 37849 21341 108 232 0 37614 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 151396 [startup+190.11 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24513 /proc/meminfo: memFree=1367184/2055920 swapFree=4181332/4192956 [pid=24513] ppid=24511 vsize=152204 CPUtime=190.05 /proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 23987 0 0 0 18960 45 0 0 25 0 1 0 201148518 155856896 22468 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24513/statm: 38051 22468 108 232 0 37816 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 152204 [startup+200.116 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24513 /proc/meminfo: memFree=1363088/2055920 swapFree=4181332/4192956 [pid=24513] ppid=24511 vsize=152984 CPUtime=200.05 /proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 24999 0 0 0 19958 47 0 0 25 0 1 0 201148518 156655616 23480 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24513/statm: 38246 23480 108 232 0 38011 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 152984 [startup+210.122 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24513 /proc/meminfo: memFree=1359248/2055920 swapFree=4181332/4192956 ################ # More data... # ################ /proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 48369 0 0 0 177997 159 0 0 25 0 1 0 201148518 200572928 41448 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0 /proc/24513/statm: 48968 41448 108 232 0 48733 0 Current children cumulated CPU time (s) 1781.56 Current children cumulated vsize (Kb) 195872 [startup+1783.07 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24515 /proc/meminfo: memFree=1290960/2055920 swapFree=4181332/4192956 [pid=24513] ppid=24511 vsize=195872 CPUtime=1782.56 /proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 48370 0 0 0 178097 159 0 0 25 0 1 0 201148518 200572928 41449 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0 /proc/24513/statm: 48968 41449 108 232 0 48733 0 Current children cumulated CPU time (s) 1782.56 Current children cumulated vsize (Kb) 195872 [startup+1784.07 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24515 /proc/meminfo: memFree=1290960/2055920 swapFree=4181332/4192956 [pid=24513] ppid=24511 vsize=195872 CPUtime=1783.57 /proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 48371 0 0 0 178198 159 0 0 25 0 1 0 201148518 200572928 41450 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550377 0 0 4096 0 0 0 0 17 1 0 0 /proc/24513/statm: 48968 41450 108 232 0 48733 0 Current children cumulated CPU time (s) 1783.57 Current children cumulated vsize (Kb) 195872 [startup+1785.08 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24515 /proc/meminfo: memFree=1290960/2055920 swapFree=4181332/4192956 [pid=24513] ppid=24511 vsize=195872 CPUtime=1784.57 /proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 48377 0 0 0 178298 159 0 0 25 0 1 0 201148518 200572928 41456 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24513/statm: 48968 41456 108 232 0 48733 0 Current children cumulated CPU time (s) 1784.57 Current children cumulated vsize (Kb) 195872 [startup+1786.08 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24515 /proc/meminfo: memFree=1290896/2055920 swapFree=4181332/4192956 [pid=24513] ppid=24511 vsize=195872 CPUtime=1785.58 /proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 48378 0 0 0 178399 159 0 0 25 0 1 0 201148518 200572928 41457 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549265 0 0 4096 0 0 0 0 17 1 0 0 /proc/24513/statm: 48968 41457 108 232 0 48733 0 Current children cumulated CPU time (s) 1785.58 Current children cumulated vsize (Kb) 195872 [startup+1787.09 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24515 /proc/meminfo: memFree=1290896/2055920 swapFree=4181332/4192956 [pid=24513] ppid=24511 vsize=195872 CPUtime=1786.58 /proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 48380 0 0 0 178499 159 0 0 25 0 1 0 201148518 200572928 41459 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/24513/statm: 48968 41459 108 232 0 48733 0 Current children cumulated CPU time (s) 1786.58 Current children cumulated vsize (Kb) 195872 [startup+1788.09 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24515 /proc/meminfo: memFree=1290896/2055920 swapFree=4181332/4192956 [pid=24513] ppid=24511 vsize=195872 CPUtime=1787.58 /proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 48381 0 0 0 178599 159 0 0 25 0 1 0 201148518 200572928 41460 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/24513/statm: 48968 41460 108 232 0 48733 0 Current children cumulated CPU time (s) 1787.58 Current children cumulated vsize (Kb) 195872 [startup+1789.09 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24515 /proc/meminfo: memFree=1290896/2055920 swapFree=4181332/4192956 [pid=24513] ppid=24511 vsize=195872 CPUtime=1788.59 /proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 48382 0 0 0 178700 159 0 0 25 0 1 0 201148518 200572928 41461 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/24513/statm: 48968 41461 108 232 0 48733 0 Current children cumulated CPU time (s) 1788.59 Current children cumulated vsize (Kb) 195872 [startup+1790.1 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24515 /proc/meminfo: memFree=1290896/2055920 swapFree=4181332/4192956 [pid=24513] ppid=24511 vsize=195872 CPUtime=1789.59 /proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 48386 0 0 0 178800 159 0 0 25 0 1 0 201148518 200572928 41465 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/24513/statm: 48968 41465 108 232 0 48733 0 Current children cumulated CPU time (s) 1789.59 Current children cumulated vsize (Kb) 195872 [startup+1791.11 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24515 /proc/meminfo: memFree=1290896/2055920 swapFree=4181332/4192956 [pid=24513] ppid=24511 vsize=195872 CPUtime=1790.6 /proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 48389 0 0 0 178901 159 0 0 25 0 1 0 201148518 200572928 41468 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/24513/statm: 48968 41468 108 232 0 48733 0 Current children cumulated CPU time (s) 1790.6 Current children cumulated vsize (Kb) 195872 [startup+1792.11 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24515 /proc/meminfo: memFree=1290896/2055920 swapFree=4181332/4192956 [pid=24513] ppid=24511 vsize=195872 CPUtime=1791.6 /proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 48390 0 0 0 179001 159 0 0 25 0 1 0 201148518 200572928 41469 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/24513/statm: 48968 41469 108 232 0 48733 0 Current children cumulated CPU time (s) 1791.6 Current children cumulated vsize (Kb) 195872 [startup+1793.12 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24515 /proc/meminfo: memFree=1290832/2055920 swapFree=4181332/4192956 [pid=24513] ppid=24511 vsize=195872 CPUtime=1792.61 /proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 48397 0 0 0 179102 159 0 0 25 0 1 0 201148518 200572928 41476 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24513/statm: 48968 41476 108 232 0 48733 0 Current children cumulated CPU time (s) 1792.61 Current children cumulated vsize (Kb) 195872 [startup+1794.12 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24515 /proc/meminfo: memFree=1290832/2055920 swapFree=4181332/4192956 [pid=24513] ppid=24511 vsize=195872 CPUtime=1793.62 /proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 48401 0 0 0 179202 160 0 0 25 0 1 0 201148518 200572928 41480 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550046 0 0 4096 0 0 0 0 17 1 0 0 /proc/24513/statm: 48968 41480 108 232 0 48733 0 Current children cumulated CPU time (s) 1793.62 Current children cumulated vsize (Kb) 195872 [startup+1795.13 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24515 /proc/meminfo: memFree=1290832/2055920 swapFree=4181332/4192956 [pid=24513] ppid=24511 vsize=195872 CPUtime=1794.62 /proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 48402 0 0 0 179302 160 0 0 25 0 1 0 201148518 200572928 41481 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134548991 0 0 4096 0 0 0 0 17 1 0 0 /proc/24513/statm: 48968 41481 108 232 0 48733 0 Current children cumulated CPU time (s) 1794.62 Current children cumulated vsize (Kb) 195872 [startup+1796.13 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24515 /proc/meminfo: memFree=1290832/2055920 swapFree=4181332/4192956 [pid=24513] ppid=24511 vsize=195872 CPUtime=1795.63 /proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 48404 0 0 0 179403 160 0 0 25 0 1 0 201148518 200572928 41483 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/24513/statm: 48968 41483 108 232 0 48733 0 Current children cumulated CPU time (s) 1795.63 Current children cumulated vsize (Kb) 195872 [startup+1797.13 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24515 /proc/meminfo: memFree=1290768/2055920 swapFree=4181332/4192956 [pid=24513] ppid=24511 vsize=195872 CPUtime=1796.63 /proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 48406 0 0 0 179503 160 0 0 25 0 1 0 201148518 200572928 41485 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552187 0 0 4096 0 0 0 0 17 1 0 0 /proc/24513/statm: 48968 41485 108 232 0 48733 0 Current children cumulated CPU time (s) 1796.63 Current children cumulated vsize (Kb) 195872 [startup+1798.14 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24515 /proc/meminfo: memFree=1290768/2055920 swapFree=4181332/4192956 [pid=24513] ppid=24511 vsize=195872 CPUtime=1797.63 /proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 48408 0 0 0 179603 160 0 0 25 0 1 0 201148518 200572928 41487 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/24513/statm: 48968 41487 108 232 0 48733 0 Current children cumulated CPU time (s) 1797.63 Current children cumulated vsize (Kb) 195872 [startup+1799.14 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24515 /proc/meminfo: memFree=1290768/2055920 swapFree=4181332/4192956 [pid=24513] ppid=24511 vsize=195872 CPUtime=1798.64 /proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 48409 0 0 0 179704 160 0 0 25 0 1 0 201148518 200572928 41488 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552187 0 0 4096 0 0 0 0 17 1 0 0 /proc/24513/statm: 48968 41488 108 232 0 48733 0 Current children cumulated CPU time (s) 1798.64 Current children cumulated vsize (Kb) 195872 [startup+1800.15 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24515 /proc/meminfo: memFree=1290768/2055920 swapFree=4181332/4192956 [pid=24513] ppid=24511 vsize=195872 CPUtime=1799.64 /proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 48412 0 0 0 179804 160 0 0 25 0 1 0 201148518 200572928 41491 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/24513/statm: 48968 41491 108 232 0 48733 0 Current children cumulated CPU time (s) 1799.64 Current children cumulated vsize (Kb) 195872 [startup+1801.15 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24515 /proc/meminfo: memFree=1290768/2055920 swapFree=4181332/4192956 [pid=24513] ppid=24511 vsize=195872 CPUtime=1800.65 /proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 48413 0 0 0 179905 160 0 0 25 0 1 0 201148518 200572928 41492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0 /proc/24513/statm: 48968 41492 108 232 0 48733 0 Current children cumulated CPU time (s) 1800.65 Current children cumulated vsize (Kb) 195872 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.16 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24515 /proc/meminfo: memFree=1290768/2055920 swapFree=4181332/4192956 [pid=24513] ppid=24511 vsize=195872 CPUtime=1800.65 /proc/24513/stat : 24513 (PBS4L) R 24511 24513 24467 0 -1 4194304 48413 0 0 0 179905 160 0 0 25 0 1 0 201148518 200572928 41492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/24513/statm: 48968 41492 108 232 0 48733 0 Current children cumulated CPU time (s) 1800.65 Current children cumulated vsize (Kb) 195872 Sending SIGTERM to -24513 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.19 CPU time (s): 1800.69 CPU user time (s): 1799.06 CPU system time (s): 1.62975 CPU usage (%): 99.9721 Max. virtual memory (cumulated for all children) (Kb): 195872 The end
Begin job on node56 on Sat Jun 3 17:13:29 UTC 2006 FILE ID= 41448-1149354809 PBS_JOBID= 311187 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-misc07.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node56/41448-1149354809/instance-41448-1149354809.opb 246371062 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-41448-1149354809 -o ROOT/results/node56/solver-41448-1149354809 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node56/41448-1149354809/instance-41448-1149354809.opb 246371062 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= f36b59f1fcf0c7e8fce521b6b9823495 RANDOM SEED= 246371062 /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.232 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.232 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: 1456848 kB Buffers: 30932 kB Cached: 497696 kB SwapCached: 3404 kB Active: 77360 kB Inactive: 460040 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1456848 kB SwapTotal: 4192956 kB SwapFree: 4181332 kB Dirty: 168 kB Writeback: 0 kB Mapped: 14912 kB Slab: 47620 kB Committed_AS: 307736 kB PageTables: 1496 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node56 on Sat Jun 3 17:43:30 UTC 2006