Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
glpPB 0.2 | ? (TO) | 1800.72 | 1801.2 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8d2.opb |
MD5SUM | ccbbad891f18298525c42c78a48134ce |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 540 |
Best CPU time to get the best result obtained on this benchmark | 1800.63 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 540 |
Optimality of the best value was proved | NO |
Number of variables | 1860 |
Total number of constraints | 7477 |
Number of constraints which are clauses | 7477 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 10 |
Number of terms in the objective function | 1860 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1860 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1860 |
Number of bits of the biggest sum of numbers | 11 |
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 glpPB 0.2 (July 2006) 0.00 c An Application of GLPK 4.10 for PB Constraints 0.00 c Done @ University of Michigan, Ann Arbor, MI 0.00 c by Hossein Sheini
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 runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node38/watcher-85273-1154167983 -o ROOT/results/node38/solver-85273-1154167983 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node38/85273-1154167983/instance-85273-1154167983.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.01 0.93 3/64 9684 /proc/meminfo: memFree=1867312/2055920 swapFree=4183120/4192956 [pid=9684] ppid=9682 vsize=2664 CPUtime=0 /proc/9684/stat : 9684 (glpPBv3) R 9682 9684 9635 0 -1 0 259 0 0 0 0 0 0 0 18 0 1 0 163669498 2727936 229 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 9072343 0 0 4096 0 0 0 0 17 1 0 0 /proc/9684/statm: 666 229 192 40 0 83 0 [startup+10.0024 s] /proc/loadavg: 1.00 1.01 0.93 2/64 9684 /proc/meminfo: memFree=1861360/2055920 swapFree=4183120/4192956 [pid=9684] ppid=9682 vsize=8224 CPUtime=10 /proc/9684/stat : 9684 (glpPBv3) R 9682 9684 9635 0 -1 0 5340 0 0 0 997 3 0 0 25 0 1 0 163669498 8421376 1676 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134583859 0 0 4096 0 0 0 0 17 1 0 0 /proc/9684/statm: 2056 1676 221 40 0 1473 0 Current children cumulated CPU time (s) 10 Current children cumulated vsize (Kb) 8224 [startup+20.0086 s] /proc/loadavg: 1.00 1.01 0.93 2/64 9684 /proc/meminfo: memFree=1858800/2055920 swapFree=4183120/4192956 [pid=9684] ppid=9682 vsize=10680 CPUtime=20 /proc/9684/stat : 9684 (glpPBv3) R 9682 9684 9635 0 -1 0 9030 0 0 0 1994 6 0 0 25 0 1 0 163669498 10936320 2296 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643678 0 0 4096 0 0 0 0 17 1 0 0 /proc/9684/statm: 2670 2296 227 40 0 2087 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 10680 [startup+30.0147 s] /proc/loadavg: 1.00 1.01 0.93 2/64 9684 /proc/meminfo: memFree=1858800/2055920 swapFree=4183120/4192956 [pid=9684] ppid=9682 vsize=10680 CPUtime=30 /proc/9684/stat : 9684 (glpPBv3) R 9682 9684 9635 0 -1 0 11950 0 0 0 2993 7 0 0 25 0 1 0 163669498 10936320 2296 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134626349 0 0 4096 0 0 0 0 17 1 0 0 /proc/9684/statm: 2670 2296 227 40 0 2087 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 10680 [startup+40.0208 s] /proc/loadavg: 1.00 1.01 0.93 2/64 9684 /proc/meminfo: memFree=1858800/2055920 swapFree=4183120/4192956 [pid=9684] ppid=9682 vsize=10680 CPUtime=40 /proc/9684/stat : 9684 (glpPBv3) R 9682 9684 9635 0 -1 0 15073 0 0 0 3991 9 0 0 25 0 1 0 163669498 10936320 2296 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/9684/statm: 2670 2296 227 40 0 2087 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 10680 [startup+50.028 s] /proc/loadavg: 1.00 1.01 0.93 2/64 9684 /proc/meminfo: memFree=1858800/2055920 swapFree=4183120/4192956 [pid=9684] ppid=9682 vsize=10680 CPUtime=50.01 /proc/9684/stat : 9684 (glpPBv3) R 9682 9684 9635 0 -1 0 19866 0 0 0 4989 12 0 0 25 0 1 0 163669498 10936320 2296 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543006 0 0 4096 0 0 0 0 17 1 0 0 /proc/9684/statm: 2670 2296 227 40 0 2087 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 10680 [startup+60.0341 s] /proc/loadavg: 1.00 1.01 0.93 2/64 9684 /proc/meminfo: memFree=1858864/2055920 swapFree=4183120/4192956 [pid=9684] ppid=9682 vsize=10680 CPUtime=60.01 /proc/9684/stat : 9684 (glpPBv3) R 9682 9684 9635 0 -1 0 26086 0 0 0 5985 16 0 0 25 0 1 0 163669498 10936320 2296 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542960 0 0 4096 0 0 0 0 17 1 0 0 /proc/9684/statm: 2670 2296 227 40 0 2087 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 10680 [startup+70.0402 s] /proc/loadavg: 1.00 1.01 0.93 2/64 9684 /proc/meminfo: memFree=1858864/2055920 swapFree=4183120/4192956 [pid=9684] ppid=9682 vsize=10680 CPUtime=70.01 /proc/9684/stat : 9684 (glpPBv3) R 9682 9684 9635 0 -1 0 28614 0 0 0 6984 17 0 0 25 0 1 0 163669498 10936320 2296 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 9072343 0 0 4096 0 0 0 0 17 1 0 0 /proc/9684/statm: 2670 2296 227 40 0 2087 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 10680 [startup+80.0463 s] /proc/loadavg: 1.00 1.00 0.93 2/64 9684 /proc/meminfo: memFree=1858544/2055920 swapFree=4183120/4192956 [pid=9684] ppid=9682 vsize=11340 CPUtime=80.02 /proc/9684/stat : 9684 (glpPBv3) R 9682 9684 9635 0 -1 0 32698 0 0 0 7982 20 0 0 25 0 1 0 163669498 11612160 2429 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643288 0 0 4096 0 0 0 0 17 1 0 0 /proc/9684/statm: 2835 2429 227 40 0 2252 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 11340 [startup+90.0525 s] /proc/loadavg: 1.00 1.00 0.93 2/64 9684 /proc/meminfo: memFree=1858864/2055920 swapFree=4183120/4192956 [pid=9684] ppid=9682 vsize=10680 CPUtime=90.02 /proc/9684/stat : 9684 (glpPBv3) R 9682 9684 9635 0 -1 0 36775 0 0 0 8980 22 0 0 25 0 1 0 163669498 10936320 2296 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643689 0 0 4096 0 0 0 0 17 1 0 0 /proc/9684/statm: 2670 2296 227 40 0 2087 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 10680 [startup+100.059 s] /proc/loadavg: 1.00 1.00 0.93 2/64 9684 /proc/meminfo: memFree=1858864/2055920 swapFree=4183120/4192956 [pid=9684] ppid=9682 vsize=10680 CPUtime=100.02 /proc/9684/stat : 9684 (glpPBv3) R 9682 9684 9635 0 -1 0 40595 0 0 0 9978 24 0 0 25 0 1 0 163669498 10936320 2296 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134626413 0 0 4096 0 0 0 0 17 1 0 0 /proc/9684/statm: 2670 2296 227 40 0 2087 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 10680 [startup+110.066 s] /proc/loadavg: 1.00 1.00 0.93 2/64 9684 /proc/meminfo: memFree=1858864/2055920 swapFree=4183120/4192956 [pid=9684] ppid=9682 vsize=10680 CPUtime=110.03 /proc/9684/stat : 9684 (glpPBv3) R 9682 9684 9635 0 -1 0 45498 0 0 0 10977 26 0 0 25 0 1 0 163669498 10936320 2296 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134628983 0 0 4096 0 0 0 0 17 1 0 0 /proc/9684/statm: 2670 2296 227 40 0 2087 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 10680 [startup+120.072 s] /proc/loadavg: 1.00 1.00 0.93 2/64 9684 /proc/meminfo: memFree=1858416/2055920 swapFree=4183120/4192956 [pid=9684] ppid=9682 vsize=11408 CPUtime=120.03 /proc/9684/stat : 9684 (glpPBv3) R 9682 9684 9635 0 -1 0 51545 0 0 0 11974 29 0 0 25 0 1 0 163669498 11681792 2446 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643521 0 0 4096 0 0 0 0 17 1 0 0 /proc/9684/statm: 2852 2446 227 40 0 2269 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 11408 [startup+130.078 s] /proc/loadavg: 1.00 1.00 0.93 2/64 9684 /proc/meminfo: memFree=1858864/2055920 swapFree=4183120/4192956 [pid=9684] ppid=9682 vsize=10680 CPUtime=130.04 /proc/9684/stat : 9684 (glpPBv3) R 9682 9684 9635 0 -1 0 55840 0 0 0 12973 31 0 0 25 0 1 0 163669498 10936320 2296 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643725 0 0 4096 0 0 0 0 17 1 0 0 /proc/9684/statm: 2670 2296 227 40 0 2087 0 Current children cumulated CPU time (s) 130.04 Current children cumulated vsize (Kb) 10680 [startup+140.084 s] /proc/loadavg: 1.00 1.00 0.93 2/64 9684 /proc/meminfo: memFree=1858864/2055920 swapFree=4183120/4192956 [pid=9684] ppid=9682 vsize=10680 CPUtime=140.04 /proc/9684/stat : 9684 (glpPBv3) R 9682 9684 9635 0 -1 0 61020 0 0 0 13971 33 0 0 25 0 1 0 163669498 10936320 2296 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643502 0 0 4096 0 0 0 0 17 1 0 0 /proc/9684/statm: 2670 2296 227 40 0 2087 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 10680 [startup+150.09 s] /proc/loadavg: 1.00 1.00 0.93 2/64 9684 /proc/meminfo: memFree=1858800/2055920 swapFree=4183120/4192956 [pid=9684] ppid=9682 vsize=10680 CPUtime=150.04 /proc/9684/stat : 9684 (glpPBv3) R 9682 9684 9635 0 -1 0 67159 0 0 0 14968 36 0 0 25 0 1 0 163669498 10936320 2296 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629287 0 0 4096 0 0 0 0 17 1 0 0 /proc/9684/statm: 2670 2296 227 40 0 2087 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 10680 [startup+160.096 s] /proc/loadavg: 1.00 1.00 0.93 2/64 9684 /proc/meminfo: memFree=1858800/2055920 swapFree=4183120/4192956 [pid=9684] ppid=9682 vsize=10680 CPUtime=160.04 /proc/9684/stat : 9684 (glpPBv3) R 9682 9684 9635 0 -1 0 73881 0 0 0 15965 39 0 0 25 0 1 0 163669498 10936320 2296 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134628974 0 0 4096 0 0 0 0 17 1 0 0 /proc/9684/statm: 2670 2296 227 40 0 2087 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 10680 [startup+170.103 s] /proc/loadavg: 1.00 1.00 0.93 2/64 9684 /proc/meminfo: memFree=1858800/2055920 swapFree=4183120/4192956 [pid=9684] ppid=9682 vsize=10680 CPUtime=170.05 /proc/9684/stat : 9684 (glpPBv3) R 9682 9684 9635 0 -1 0 79708 0 0 0 16963 42 0 0 25 0 1 0 163669498 10936320 2296 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629287 0 0 4096 0 0 0 0 17 1 0 0 /proc/9684/statm: 2670 2296 227 40 0 2087 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 10680 [startup+180.109 s] /proc/loadavg: 1.00 1.00 0.93 2/64 9684 /proc/meminfo: memFree=1858800/2055920 swapFree=4183120/4192956 [pid=9684] ppid=9682 vsize=10680 CPUtime=180.05 /proc/9684/stat : 9684 (glpPBv3) R 9682 9684 9635 0 -1 0 88252 0 0 0 17958 47 0 0 25 0 1 0 163669498 10936320 2296 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134628983 0 0 4096 0 0 0 0 17 1 0 0 /proc/9684/statm: 2670 2296 227 40 0 2087 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 10680 [startup+190.115 s] /proc/loadavg: 1.00 1.00 0.93 2/64 9684 /proc/meminfo: memFree=1858800/2055920 swapFree=4183120/4192956 [pid=9684] ppid=9682 vsize=10680 CPUtime=190.06 /proc/9684/stat : 9684 (glpPBv3) R 9682 9684 9635 0 -1 0 93082 0 0 0 18956 50 0 0 25 0 1 0 163669498 10936320 2296 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629052 0 0 4096 0 0 0 0 17 1 0 0 /proc/9684/statm: 2670 2296 227 40 0 2087 0 Current children cumulated CPU time (s) 190.06 Current children cumulated vsize (Kb) 10680 [startup+200.121 s] /proc/loadavg: 1.00 1.00 0.93 2/64 9684 /proc/meminfo: memFree=1858800/2055920 swapFree=4183120/4192956 [pid=9684] ppid=9682 vsize=10680 CPUtime=200.07 /proc/9684/stat : 9684 (glpPBv3) R 9682 9684 9635 0 -1 0 102775 0 0 0 19951 56 0 0 25 0 1 0 163669498 10936320 2296 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643725 0 0 4096 0 0 0 0 17 1 0 0 /proc/9684/statm: 2670 2296 227 40 0 2087 0 Current children cumulated CPU time (s) 200.07 Current children cumulated vsize (Kb) 10680 [startup+210.127 s] /proc/loadavg: 1.00 1.00 0.93 2/64 9684 ################ # More data... # ################ /proc/9684/stat : 9684 (glpPBv3) R 9682 9684 9635 0 -1 0 10888513 0 0 0 172647 5514 0 0 25 0 1 0 163669498 14581760 3154 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134628964 0 0 4096 0 0 0 0 17 1 0 0 /proc/9684/statm: 3560 3154 227 40 0 2977 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (Kb) 14240 [startup+1783.1 s] /proc/loadavg: 1.00 1.00 0.93 2/64 9686 /proc/meminfo: memFree=1854896/2055920 swapFree=4183120/4192956 [pid=9684] ppid=9682 vsize=14240 CPUtime=1782.62 /proc/9684/stat : 9684 (glpPBv3) R 9682 9684 9635 0 -1 0 10896433 0 0 0 172743 5519 0 0 25 0 1 0 163669498 14581760 3154 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 9072343 0 0 4096 0 0 0 0 17 1 0 0 /proc/9684/statm: 3560 3154 227 40 0 2977 0 Current children cumulated CPU time (s) 1782.62 Current children cumulated vsize (Kb) 14240 [startup+1784.1 s] /proc/loadavg: 1.00 1.00 0.93 2/64 9686 /proc/meminfo: memFree=1854896/2055920 swapFree=4183120/4192956 [pid=9684] ppid=9682 vsize=14240 CPUtime=1783.63 /proc/9684/stat : 9684 (glpPBv3) R 9682 9684 9635 0 -1 0 10903969 0 0 0 172840 5523 0 0 25 0 1 0 163669498 14581760 3154 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 9072343 0 0 4096 0 0 0 0 17 1 0 0 /proc/9684/statm: 3560 3154 227 40 0 2977 0 Current children cumulated CPU time (s) 1783.63 Current children cumulated vsize (Kb) 14240 [startup+1785.11 s] /proc/loadavg: 1.00 1.00 0.93 2/64 9686 /proc/meminfo: memFree=1854896/2055920 swapFree=4183120/4192956 [pid=9684] ppid=9682 vsize=14240 CPUtime=1784.62 /proc/9684/stat : 9684 (glpPBv3) R 9682 9684 9635 0 -1 0 10911305 0 0 0 172937 5525 0 0 25 0 1 0 163669498 14581760 3154 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 9072343 0 0 4096 0 0 0 0 17 1 0 0 /proc/9684/statm: 3560 3154 227 40 0 2977 0 Current children cumulated CPU time (s) 1784.62 Current children cumulated vsize (Kb) 14240 [startup+1786.11 s] /proc/loadavg: 1.00 1.00 0.93 2/64 9686 /proc/meminfo: memFree=1854896/2055920 swapFree=4183120/4192956 [pid=9684] ppid=9682 vsize=14240 CPUtime=1785.63 /proc/9684/stat : 9684 (glpPBv3) R 9682 9684 9635 0 -1 0 10919003 0 0 0 173034 5529 0 0 25 0 1 0 163669498 14581760 3154 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 9072343 0 0 4096 0 0 0 0 17 1 0 0 /proc/9684/statm: 3560 3154 227 40 0 2977 0 Current children cumulated CPU time (s) 1785.63 Current children cumulated vsize (Kb) 14240 [startup+1787.12 s] /proc/loadavg: 1.00 1.00 0.93 2/64 9686 /proc/meminfo: memFree=1854896/2055920 swapFree=4183120/4192956 [pid=9684] ppid=9682 vsize=14240 CPUtime=1786.64 /proc/9684/stat : 9684 (glpPBv3) R 9682 9684 9635 0 -1 0 10926491 0 0 0 173129 5535 0 0 25 0 1 0 163669498 14581760 3154 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 9072343 0 0 4096 0 0 0 0 17 1 0 0 /proc/9684/statm: 3560 3154 227 40 0 2977 0 Current children cumulated CPU time (s) 1786.64 Current children cumulated vsize (Kb) 14240 [startup+1788.12 s] /proc/loadavg: 1.00 1.00 0.93 2/64 9686 /proc/meminfo: memFree=1854896/2055920 swapFree=4183120/4192956 [pid=9684] ppid=9682 vsize=14240 CPUtime=1787.64 /proc/9684/stat : 9684 (glpPBv3) R 9682 9684 9635 0 -1 0 10934011 0 0 0 173226 5538 0 0 25 0 1 0 163669498 14581760 3154 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 9072343 0 0 4096 0 0 0 0 17 1 0 0 /proc/9684/statm: 3524 3150 227 40 0 2941 0 Current children cumulated CPU time (s) 1787.64 Current children cumulated vsize (Kb) 14240 [startup+1789.13 s] /proc/loadavg: 1.00 1.00 0.93 2/64 9686 /proc/meminfo: memFree=1854896/2055920 swapFree=4183120/4192956 [pid=9684] ppid=9682 vsize=14096 CPUtime=1788.65 /proc/9684/stat : 9684 (glpPBv3) R 9682 9684 9635 0 -1 0 10941319 0 0 0 173322 5543 0 0 25 0 1 0 163669498 14434304 3150 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/9684/statm: 3560 3154 227 40 0 2977 0 Current children cumulated CPU time (s) 1788.65 Current children cumulated vsize (Kb) 14096 [startup+1790.13 s] /proc/loadavg: 1.00 1.00 0.93 2/64 9686 /proc/meminfo: memFree=1854896/2055920 swapFree=4183120/4192956 [pid=9684] ppid=9682 vsize=14104 CPUtime=1789.65 /proc/9684/stat : 9684 (glpPBv3) R 9682 9684 9635 0 -1 0 10948385 0 0 0 173419 5546 0 0 25 0 1 0 163669498 14442496 3152 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/9684/statm: 3562 3156 227 40 0 2979 0 Current children cumulated CPU time (s) 1789.65 Current children cumulated vsize (Kb) 14104 [startup+1791.14 s] /proc/loadavg: 1.00 1.00 0.93 2/64 9686 /proc/meminfo: memFree=1854896/2055920 swapFree=4183120/4192956 [pid=9684] ppid=9682 vsize=14248 CPUtime=1790.65 /proc/9684/stat : 9684 (glpPBv3) R 9682 9684 9635 0 -1 0 10955729 0 0 0 173515 5550 0 0 25 0 1 0 163669498 14589952 3156 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 9072343 0 0 4096 0 0 0 0 17 1 0 0 /proc/9684/statm: 3562 3156 227 40 0 2979 0 Current children cumulated CPU time (s) 1790.65 Current children cumulated vsize (Kb) 14248 [startup+1792.14 s] /proc/loadavg: 1.00 1.00 0.93 2/64 9686 /proc/meminfo: memFree=1854896/2055920 swapFree=4183120/4192956 [pid=9684] ppid=9682 vsize=14248 CPUtime=1791.66 /proc/9684/stat : 9684 (glpPBv3) R 9682 9684 9635 0 -1 0 10962877 0 0 0 173612 5554 0 0 25 0 1 0 163669498 14589952 3156 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 9072343 0 0 4096 0 0 0 0 17 1 0 0 /proc/9684/statm: 3562 3156 227 40 0 2979 0 Current children cumulated CPU time (s) 1791.66 Current children cumulated vsize (Kb) 14248 [startup+1793.15 s] /proc/loadavg: 1.00 1.00 0.93 2/64 9686 /proc/meminfo: memFree=1854000/2055920 swapFree=4183120/4192956 [pid=9684] ppid=9682 vsize=15320 CPUtime=1792.67 /proc/9684/stat : 9684 (glpPBv3) R 9682 9684 9635 0 -1 0 10970061 0 0 0 173708 5559 0 0 25 0 1 0 163669498 15687680 3424 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/9684/statm: 3830 3424 227 40 0 3247 0 Current children cumulated CPU time (s) 1792.67 Current children cumulated vsize (Kb) 15320 [startup+1794.15 s] /proc/loadavg: 1.00 1.00 0.93 2/64 9686 /proc/meminfo: memFree=1854896/2055920 swapFree=4183120/4192956 [pid=9684] ppid=9682 vsize=14248 CPUtime=1793.67 /proc/9684/stat : 9684 (glpPBv3) R 9682 9684 9635 0 -1 0 10976951 0 0 0 173805 5562 0 0 25 0 1 0 163669498 14589952 3152 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/9684/statm: 3562 3154 227 40 0 2979 0 Current children cumulated CPU time (s) 1793.67 Current children cumulated vsize (Kb) 14248 [startup+1795.16 s] /proc/loadavg: 1.00 1.00 0.93 2/64 9686 /proc/meminfo: memFree=1854896/2055920 swapFree=4183120/4192956 [pid=9684] ppid=9682 vsize=14248 CPUtime=1794.67 /proc/9684/stat : 9684 (glpPBv3) R 9682 9684 9635 0 -1 0 10984047 0 0 0 173901 5566 0 0 25 0 1 0 163669498 14589952 3156 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 9072343 0 0 4096 0 0 0 0 17 1 0 0 /proc/9684/statm: 3562 3156 227 40 0 2979 0 Current children cumulated CPU time (s) 1794.67 Current children cumulated vsize (Kb) 14248 [startup+1796.16 s] /proc/loadavg: 1.00 1.00 0.93 2/64 9686 /proc/meminfo: memFree=1854896/2055920 swapFree=4183120/4192956 [pid=9684] ppid=9682 vsize=14248 CPUtime=1795.68 /proc/9684/stat : 9684 (glpPBv3) R 9682 9684 9635 0 -1 0 10991157 0 0 0 173998 5570 0 0 25 0 1 0 163669498 14589952 3156 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 9072343 0 0 4096 0 0 0 0 17 1 0 0 /proc/9684/statm: 3562 3156 227 40 0 2979 0 Current children cumulated CPU time (s) 1795.68 Current children cumulated vsize (Kb) 14248 [startup+1797.17 s] /proc/loadavg: 1.00 1.00 0.93 2/64 9686 /proc/meminfo: memFree=1853936/2055920 swapFree=4183120/4192956 [pid=9684] ppid=9682 vsize=15328 CPUtime=1796.68 /proc/9684/stat : 9684 (glpPBv3) R 9682 9684 9635 0 -1 0 10997995 0 0 0 174095 5573 0 0 25 0 1 0 163669498 15695872 3426 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134582075 0 0 4096 0 0 0 0 17 1 0 0 /proc/9684/statm: 3832 3426 227 40 0 3249 0 Current children cumulated CPU time (s) 1796.68 Current children cumulated vsize (Kb) 15328 [startup+1798.17 s] /proc/loadavg: 1.00 1.00 0.93 2/64 9686 /proc/meminfo: memFree=1854896/2055920 swapFree=4183120/4192956 [pid=9684] ppid=9682 vsize=14712 CPUtime=1797.69 /proc/9684/stat : 9684 (glpPBv3) R 9682 9684 9635 0 -1 0 11004453 0 0 0 174192 5577 0 0 25 0 1 0 163669498 15065088 3290 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/9684/statm: 3678 3290 227 40 0 3095 0 Current children cumulated CPU time (s) 1797.69 Current children cumulated vsize (Kb) 14712 [startup+1799.18 s] /proc/loadavg: 1.00 1.00 0.93 2/64 9686 /proc/meminfo: memFree=1853936/2055920 swapFree=4183120/4192956 [pid=9684] ppid=9682 vsize=15328 CPUtime=1798.7 /proc/9684/stat : 9684 (glpPBv3) R 9682 9684 9635 0 -1 0 11011085 0 0 0 174290 5580 0 0 25 0 1 0 163669498 15695872 3426 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/9684/statm: 3832 3426 227 40 0 3249 0 Current children cumulated CPU time (s) 1798.7 Current children cumulated vsize (Kb) 15328 [startup+1800.18 s] /proc/loadavg: 1.00 1.00 0.93 2/64 9686 /proc/meminfo: memFree=1854896/2055920 swapFree=4183120/4192956 [pid=9684] ppid=9682 vsize=14256 CPUtime=1799.7 /proc/9684/stat : 9684 (glpPBv3) R 9682 9684 9635 0 -1 0 11017581 0 0 0 174387 5583 0 0 25 0 1 0 163669498 14598144 3158 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643767 0 0 4096 0 0 0 0 17 1 0 0 /proc/9684/statm: 3564 3158 227 40 0 2981 0 Current children cumulated CPU time (s) 1799.7 Current children cumulated vsize (Kb) 14256 [startup+1801.19 s] /proc/loadavg: 1.00 1.00 0.93 2/64 9686 /proc/meminfo: memFree=1854896/2055920 swapFree=4183120/4192956 [pid=9684] ppid=9682 vsize=14264 CPUtime=1800.71 /proc/9684/stat : 9684 (glpPBv3) R 9682 9684 9635 0 -1 0 11024260 0 0 0 174484 5587 0 0 25 0 1 0 163669498 14606336 3160 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 9072343 0 0 4096 0 0 0 0 17 1 0 0 /proc/9684/statm: 3566 3160 227 40 0 2983 0 Current children cumulated CPU time (s) 1800.71 Current children cumulated vsize (Kb) 14264 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.19 s] /proc/loadavg: 1.00 1.00 0.93 2/64 9686 /proc/meminfo: memFree=1854896/2055920 swapFree=4183120/4192956 [pid=9684] ppid=9682 vsize=14264 CPUtime=1800.71 /proc/9684/stat : 9684 (glpPBv3) R 9682 9684 9635 0 -1 0 11024288 0 0 0 174484 5587 0 0 25 0 1 0 163669498 14606336 3160 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 9072343 0 0 4096 0 0 0 0 17 1 0 0 /proc/9684/statm: 3566 3160 227 40 0 2983 0 Current children cumulated CPU time (s) 1800.71 Current children cumulated vsize (Kb) 14264 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.2 CPU time (s): 1800.72 CPU user time (s): 1744.84 CPU system time (s): 55.8755 CPU usage (%): 99.9734 Max. virtual memory (cumulated for all children) (Kb): 15328 The end
Begin job on node38 on Sat Jul 29 10:13:03 UTC 2006 FILE ID= 85273-1154167983 PBS_JOBID= 893047 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8d2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node38/85273-1154167983/instance-85273-1154167983.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-85273-1154167983 -o ROOT/results/node38/solver-85273-1154167983 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node38/85273-1154167983/instance-85273-1154167983.opb MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff MD5SUM BENCH= ccbbad891f18298525c42c78a48134ce RANDOM SEED= 853242639 TIMEOUT= 1800 seconds /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: 1867584 kB Buffers: 4296 kB Cached: 114876 kB SwapCached: 3704 kB Active: 19472 kB Inactive: 108368 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1867584 kB SwapTotal: 4192956 kB SwapFree: 4183120 kB Dirty: 188 kB Writeback: 0 kB Mapped: 14756 kB Slab: 46468 kB Committed_AS: 747592 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node38 on Sat Jul 29 10:43:04 UTC 2006