Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
glpPB 0.2 | ? (TO) | 1800.52 | 1801.22 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-data6_3.opb |
MD5SUM | f675f355e04fd5af6f49610fb88dbbd3 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 24674 |
Best CPU time to get the best result obtained on this benchmark | 1782.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24674 |
Optimality of the best value was proved | NO |
Number of variables | 540 |
Total number of constraints | 4476 |
Number of constraints which are clauses | 2532 |
Number of constraints which are cardinality constraints (but not clauses) | 264 |
Number of constraints which are nor clauses,nor cardinality constraints | 1680 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 180 |
Biggest coefficient in the objective function | 1380 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 116904 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 1380 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 116904 |
Number of bits of the biggest sum of numbers | 17 |
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/node54/watcher-85227-1154167755 -o ROOT/results/node54/solver-85227-1154167755 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node54/85227-1154167755/instance-85227-1154167755.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 2/64 11027 /proc/meminfo: memFree=1671544/2055920 swapFree=4174612/4192956 [pid=11027] ppid=11025 vsize=2376 CPUtime=0 /proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 194 0 0 0 0 0 0 0 19 0 1 0 163645577 2433024 165 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 10261088 0 0 4096 0 0 0 0 17 1 0 0 /proc/11027/statm: 594 171 149 40 0 11 0 [startup+10.0019 s] /proc/loadavg: 0.93 0.95 0.90 2/64 11027 /proc/meminfo: memFree=1664704/2055920 swapFree=4174612/4192956 [pid=11027] ppid=11025 vsize=8724 CPUtime=9.99 /proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 6882 0 0 0 995 4 0 0 25 0 1 0 163645577 8933376 1807 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/11027/statm: 2181 1807 227 40 0 1598 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 8724 [startup+20.008 s] /proc/loadavg: 0.94 0.96 0.91 2/64 11027 /proc/meminfo: memFree=1664640/2055920 swapFree=4174612/4192956 [pid=11027] ppid=11025 vsize=9244 CPUtime=19.99 /proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 12533 0 0 0 1992 7 0 0 25 0 1 0 163645577 9465856 1937 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/11027/statm: 2311 1937 227 40 0 1728 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 9244 [startup+30.0141 s] /proc/loadavg: 0.95 0.96 0.91 2/64 11027 /proc/meminfo: memFree=1664576/2055920 swapFree=4174612/4192956 [pid=11027] ppid=11025 vsize=9308 CPUtime=29.99 /proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 19514 0 0 0 2988 11 0 0 25 0 1 0 163645577 9531392 1951 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134587702 0 0 4096 0 0 0 0 17 1 0 0 /proc/11027/statm: 2327 1951 227 40 0 1744 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 9308 [startup+40.0202 s] /proc/loadavg: 0.95 0.96 0.91 2/64 11027 /proc/meminfo: memFree=1664512/2055920 swapFree=4174612/4192956 [pid=11027] ppid=11025 vsize=9348 CPUtime=39.99 /proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 27766 0 0 0 3983 16 0 0 25 0 1 0 163645577 9572352 1963 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134585317 0 0 4096 0 0 0 0 17 1 0 0 /proc/11027/statm: 2337 1963 227 40 0 1754 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 9348 [startup+50.0263 s] /proc/loadavg: 0.96 0.96 0.91 2/64 11027 /proc/meminfo: memFree=1664512/2055920 swapFree=4174612/4192956 [pid=11027] ppid=11025 vsize=9408 CPUtime=50 /proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 36386 0 0 0 4978 22 0 0 25 0 1 0 163645577 9633792 1977 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134582110 0 0 4096 0 0 0 0 17 1 0 0 /proc/11027/statm: 2352 1977 227 40 0 1769 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 9408 [startup+60.0324 s] /proc/loadavg: 0.97 0.96 0.91 2/64 11027 /proc/meminfo: memFree=1664448/2055920 swapFree=4174612/4192956 [pid=11027] ppid=11025 vsize=9472 CPUtime=60 /proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 47383 0 0 0 5971 29 0 0 25 0 1 0 163645577 9699328 1992 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/11027/statm: 2368 1992 227 40 0 1785 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 9472 [startup+70.0384 s] /proc/loadavg: 0.97 0.96 0.91 2/64 11027 /proc/meminfo: memFree=1665024/2055920 swapFree=4174612/4192956 [pid=11027] ppid=11025 vsize=9216 CPUtime=70 /proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 61402 0 0 0 6964 36 0 0 25 0 1 0 163645577 9437184 1898 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542220 0 0 4096 0 0 0 0 17 1 0 0 /proc/11027/statm: 2304 1898 227 40 0 1721 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 9216 [startup+80.0445 s] /proc/loadavg: 0.98 0.96 0.91 2/64 11027 /proc/meminfo: memFree=1665024/2055920 swapFree=4174612/4192956 [pid=11027] ppid=11025 vsize=8724 CPUtime=80.01 /proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 79259 0 0 0 7954 47 0 0 25 0 1 0 163645577 8933376 1807 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643288 0 0 4096 0 0 0 0 17 1 0 0 /proc/11027/statm: 2181 1807 227 40 0 1598 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 8724 [startup+90.0506 s] /proc/loadavg: 0.98 0.96 0.91 2/64 11027 /proc/meminfo: memFree=1664960/2055920 swapFree=4174612/4192956 [pid=11027] ppid=11025 vsize=8724 CPUtime=90 /proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 91505 0 0 0 8948 52 0 0 25 0 1 0 163645577 8933376 1807 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643780 0 0 4096 0 0 0 0 17 1 0 0 /proc/11027/statm: 2181 1807 227 40 0 1598 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 8724 [startup+100.057 s] /proc/loadavg: 0.98 0.96 0.91 2/64 11027 /proc/meminfo: memFree=1664960/2055920 swapFree=4174612/4192956 [pid=11027] ppid=11025 vsize=8724 CPUtime=100.01 /proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 101749 0 0 0 9943 58 0 0 25 0 1 0 163645577 8933376 1807 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/11027/statm: 2181 1807 227 40 0 1598 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 8724 [startup+110.064 s] /proc/loadavg: 0.98 0.96 0.91 2/64 11027 /proc/meminfo: memFree=1664256/2055920 swapFree=4174612/4192956 [pid=11027] ppid=11025 vsize=9628 CPUtime=110.01 /proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 117246 0 0 0 10935 66 0 0 25 0 1 0 163645577 9859072 2033 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643520 0 0 4096 0 0 0 0 17 1 0 0 /proc/11027/statm: 2407 2033 227 40 0 1824 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 9628 [startup+120.071 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11027 /proc/meminfo: memFree=1664192/2055920 swapFree=4174612/4192956 [pid=11027] ppid=11025 vsize=9672 CPUtime=120.01 /proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 131096 0 0 0 11928 73 0 0 25 0 1 0 163645577 9904128 2044 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134582195 0 0 4096 0 0 0 0 17 1 0 0 /proc/11027/statm: 2418 2044 227 40 0 1835 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 9672 [startup+130.077 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11027 /proc/meminfo: memFree=1664896/2055920 swapFree=4174612/4192956 [pid=11027] ppid=11025 vsize=8780 CPUtime=130.02 /proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 143772 0 0 0 12922 80 0 0 25 0 1 0 163645577 8990720 1821 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/11027/statm: 2195 1821 227 40 0 1612 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 8780 [startup+140.083 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11027 /proc/meminfo: memFree=1664128/2055920 swapFree=4174612/4192956 [pid=11027] ppid=11025 vsize=9752 CPUtime=140.02 /proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 155839 0 0 0 13915 87 0 0 25 0 1 0 163645577 9986048 2064 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/11027/statm: 2438 2064 227 40 0 1855 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 9752 [startup+150.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11027 /proc/meminfo: memFree=1664832/2055920 swapFree=4174612/4192956 [pid=11027] ppid=11025 vsize=8852 CPUtime=150.02 /proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 168728 0 0 0 14908 94 0 0 25 0 1 0 163645577 9064448 1839 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643717 0 0 4096 0 0 0 0 17 1 0 0 /proc/11027/statm: 2213 1839 227 40 0 1630 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 8852 [startup+160.096 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11027 /proc/meminfo: memFree=1664000/2055920 swapFree=4174612/4192956 [pid=11027] ppid=11025 vsize=9836 CPUtime=160.02 /proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 182867 0 0 0 15902 100 0 0 25 0 1 0 163645577 10072064 2085 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/11027/statm: 2459 2085 227 40 0 1876 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 9836 [startup+170.102 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11027 /proc/meminfo: memFree=1664128/2055920 swapFree=4174612/4192956 [pid=11027] ppid=11025 vsize=9860 CPUtime=170.03 /proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 195925 0 0 0 16896 107 0 0 25 0 1 0 163645577 10096640 2059 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/11027/statm: 2465 2059 227 40 0 1882 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 9860 [startup+180.108 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11027 /proc/meminfo: memFree=1664704/2055920 swapFree=4174612/4192956 [pid=11027] ppid=11025 vsize=8952 CPUtime=180.03 /proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 210974 0 0 0 17889 114 0 0 25 0 1 0 163645577 9166848 1864 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632405 0 0 4096 0 0 0 0 17 1 0 0 /proc/11027/statm: 2238 1864 227 40 0 1655 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 8952 [startup+190.116 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11027 /proc/meminfo: memFree=1663936/2055920 swapFree=4174612/4192956 [pid=11027] ppid=11025 vsize=9932 CPUtime=190.03 /proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 225886 0 0 0 18883 120 0 0 25 0 1 0 163645577 10170368 2109 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134585313 0 0 4096 0 0 0 0 17 1 0 0 /proc/11027/statm: 2483 2109 227 40 0 1900 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 9932 [startup+200.122 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11027 /proc/meminfo: memFree=1663936/2055920 swapFree=4174612/4192956 [pid=11027] ppid=11025 vsize=9964 CPUtime=200.03 /proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 238049 0 0 0 19877 126 0 0 25 0 1 0 163645577 10203136 2117 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/11027/statm: 2491 2117 227 40 0 1908 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 9964 [startup+210.128 s] /proc/loadavg: 0.99 0.97 0.91 3/64 11027 ################ # More data... # ################ /proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 2439122 0 0 0 176841 1300 0 0 25 0 1 0 163645577 16322560 3611 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/11027/statm: 3985 3611 227 40 0 3402 0 Current children cumulated CPU time (s) 1781.41 Current children cumulated vsize (Kb) 15940 [startup+1783.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11027 /proc/meminfo: memFree=1656704/2055920 swapFree=4174612/4192956 [pid=11027] ppid=11025 vsize=16888 CPUtime=1782.42 /proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 2440309 0 0 0 176941 1301 0 0 25 0 1 0 163645577 17293312 3848 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/11027/statm: 4222 3848 227 40 0 3639 0 Current children cumulated CPU time (s) 1782.42 Current children cumulated vsize (Kb) 16888 [startup+1784.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11027 /proc/meminfo: memFree=1656704/2055920 swapFree=4174612/4192956 [pid=11027] ppid=11025 vsize=17028 CPUtime=1783.42 /proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 2441500 0 0 0 177041 1301 0 0 25 0 1 0 163645577 17436672 3851 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134636804 0 0 4096 0 0 0 0 17 1 0 0 /proc/11027/statm: 4257 3851 227 40 0 3674 0 Current children cumulated CPU time (s) 1783.42 Current children cumulated vsize (Kb) 17028 [startup+1785.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11027 /proc/meminfo: memFree=1657408/2055920 swapFree=4174612/4192956 [pid=11027] ppid=11025 vsize=15956 CPUtime=1784.43 /proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 2442484 0 0 0 177141 1302 0 0 25 0 1 0 163645577 16338944 3615 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/11027/statm: 3989 3615 227 40 0 3406 0 Current children cumulated CPU time (s) 1784.43 Current children cumulated vsize (Kb) 15956 [startup+1786.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11027 /proc/meminfo: memFree=1657408/2055920 swapFree=4174612/4192956 [pid=11027] ppid=11025 vsize=15956 CPUtime=1785.43 /proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 2443767 0 0 0 177241 1302 0 0 25 0 1 0 163645577 16338944 3615 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629114 0 0 4096 0 0 0 0 17 1 0 0 /proc/11027/statm: 3989 3615 227 40 0 3406 0 Current children cumulated CPU time (s) 1785.43 Current children cumulated vsize (Kb) 15956 [startup+1787.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11027 /proc/meminfo: memFree=1656640/2055920 swapFree=4174612/4192956 [pid=11027] ppid=11025 vsize=16904 CPUtime=1786.44 /proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 2444922 0 0 0 177341 1303 0 0 25 0 1 0 163645577 17309696 3852 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/11027/statm: 4226 3852 227 40 0 3643 0 Current children cumulated CPU time (s) 1786.44 Current children cumulated vsize (Kb) 16904 [startup+1788.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11027 /proc/meminfo: memFree=1657408/2055920 swapFree=4174612/4192956 [pid=11027] ppid=11025 vsize=15964 CPUtime=1787.44 /proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 2445666 0 0 0 177441 1303 0 0 25 0 1 0 163645577 16347136 3617 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134626418 0 0 4096 0 0 0 0 17 1 0 0 /proc/11027/statm: 3991 3617 227 40 0 3408 0 Current children cumulated CPU time (s) 1787.44 Current children cumulated vsize (Kb) 15964 [startup+1789.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11027 /proc/meminfo: memFree=1656640/2055920 swapFree=4174612/4192956 [pid=11027] ppid=11025 vsize=16912 CPUtime=1788.45 /proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 2446421 0 0 0 177541 1304 0 0 25 0 1 0 163645577 17317888 3854 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134585319 0 0 4096 0 0 0 0 17 1 0 0 /proc/11027/statm: 4228 3854 227 40 0 3645 0 Current children cumulated CPU time (s) 1788.45 Current children cumulated vsize (Kb) 16912 [startup+1790.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11027 /proc/meminfo: memFree=1657408/2055920 swapFree=4174612/4192956 [pid=11027] ppid=11025 vsize=15988 CPUtime=1789.45 /proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 2447337 0 0 0 177640 1305 0 0 25 0 1 0 163645577 16371712 3623 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/11027/statm: 3997 3623 227 40 0 3414 0 Current children cumulated CPU time (s) 1789.45 Current children cumulated vsize (Kb) 15988 [startup+1791.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11027 /proc/meminfo: memFree=1656640/2055920 swapFree=4174612/4192956 [pid=11027] ppid=11025 vsize=16928 CPUtime=1790.46 /proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 2448925 0 0 0 177740 1306 0 0 25 0 1 0 163645577 17334272 3858 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643286 0 0 4096 0 0 0 0 17 1 0 0 /proc/11027/statm: 4232 3858 227 40 0 3649 0 Current children cumulated CPU time (s) 1790.46 Current children cumulated vsize (Kb) 16928 [startup+1792.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11027 /proc/meminfo: memFree=1657408/2055920 swapFree=4174612/4192956 [pid=11027] ppid=11025 vsize=15988 CPUtime=1791.46 /proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 2450405 0 0 0 177839 1307 0 0 25 0 1 0 163645577 16371712 3623 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/11027/statm: 3997 3623 227 40 0 3414 0 Current children cumulated CPU time (s) 1791.46 Current children cumulated vsize (Kb) 15988 [startup+1793.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11027 /proc/meminfo: memFree=1656640/2055920 swapFree=4174612/4192956 [pid=11027] ppid=11025 vsize=16936 CPUtime=1792.46 /proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 2452163 0 0 0 177939 1307 0 0 25 0 1 0 163645577 17342464 3860 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134581813 0 0 4096 0 0 0 0 17 1 0 0 /proc/11027/statm: 4234 3860 227 40 0 3651 0 Current children cumulated CPU time (s) 1792.46 Current children cumulated vsize (Kb) 16936 [startup+1794.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11027 /proc/meminfo: memFree=1656768/2055920 swapFree=4174612/4192956 [pid=11027] ppid=11025 vsize=17084 CPUtime=1793.47 /proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 2453353 0 0 0 178039 1308 0 0 25 0 1 0 163645577 17494016 3865 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134636104 0 0 4096 0 0 0 0 17 1 0 0 /proc/11027/statm: 4271 3865 227 40 0 3688 0 Current children cumulated CPU time (s) 1793.47 Current children cumulated vsize (Kb) 17084 [startup+1795.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11027 /proc/meminfo: memFree=1656768/2055920 swapFree=4174612/4192956 [pid=11027] ppid=11025 vsize=16944 CPUtime=1794.47 /proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 2454300 0 0 0 178139 1308 0 0 25 0 1 0 163645577 17350656 3830 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643580 0 0 4096 0 0 0 0 17 1 0 0 /proc/11027/statm: 4236 3830 227 40 0 3653 0 Current children cumulated CPU time (s) 1794.47 Current children cumulated vsize (Kb) 16944 [startup+1796.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11027 /proc/meminfo: memFree=1657344/2055920 swapFree=4174612/4192956 [pid=11027] ppid=11025 vsize=16012 CPUtime=1795.48 /proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 2455608 0 0 0 178239 1309 0 0 25 0 1 0 163645577 16396288 3629 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134569962 0 0 4096 0 0 0 0 17 1 0 0 /proc/11027/statm: 4003 3629 227 40 0 3420 0 Current children cumulated CPU time (s) 1795.48 Current children cumulated vsize (Kb) 16012 [startup+1797.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11027 /proc/meminfo: memFree=1656640/2055920 swapFree=4174612/4192956 [pid=11027] ppid=11025 vsize=16952 CPUtime=1796.48 /proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 2456929 0 0 0 178339 1309 0 0 25 0 1 0 163645577 17358848 3864 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134585317 0 0 4096 0 0 0 0 17 1 0 0 /proc/11027/statm: 4238 3864 227 40 0 3655 0 Current children cumulated CPU time (s) 1796.48 Current children cumulated vsize (Kb) 16952 [startup+1798.19 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11027 /proc/meminfo: memFree=1656576/2055920 swapFree=4174612/4192956 [pid=11027] ppid=11025 vsize=17108 CPUtime=1797.49 /proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 2457651 0 0 0 178439 1310 0 0 25 0 1 0 163645577 17518592 3871 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134639179 0 0 4096 0 0 0 0 17 1 0 0 /proc/11027/statm: 4277 3871 227 40 0 3694 0 Current children cumulated CPU time (s) 1797.49 Current children cumulated vsize (Kb) 17108 [startup+1799.19 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11027 /proc/meminfo: memFree=1656768/2055920 swapFree=4174612/4192956 [pid=11027] ppid=11025 vsize=16968 CPUtime=1798.49 /proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 2458740 0 0 0 178539 1310 0 0 25 0 1 0 163645577 17375232 3836 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/11027/statm: 4242 3836 227 40 0 3659 0 Current children cumulated CPU time (s) 1798.49 Current children cumulated vsize (Kb) 16968 [startup+1800.2 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11027 /proc/meminfo: memFree=1656768/2055920 swapFree=4174612/4192956 [pid=11027] ppid=11025 vsize=16952 CPUtime=1799.49 /proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 2459912 0 0 0 178638 1311 0 0 25 0 1 0 163645577 17358848 3832 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134639477 0 0 4096 0 0 0 0 17 1 0 0 /proc/11027/statm: 4238 3832 227 40 0 3655 0 Current children cumulated CPU time (s) 1799.49 Current children cumulated vsize (Kb) 16952 [startup+1801.2 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11027 /proc/meminfo: memFree=1657344/2055920 swapFree=4174612/4192956 [pid=11027] ppid=11025 vsize=16036 CPUtime=1800.5 /proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 2461103 0 0 0 178738 1312 0 0 25 0 1 0 163645577 16420864 3635 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/11027/statm: 4009 3635 227 40 0 3426 0 Current children cumulated CPU time (s) 1800.5 Current children cumulated vsize (Kb) 16036 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.21 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11027 /proc/meminfo: memFree=1657344/2055920 swapFree=4174612/4192956 [pid=11027] ppid=11025 vsize=16036 CPUtime=1800.51 /proc/11027/stat : 11027 (glpPBv3) R 11025 11027 10978 0 -1 0 2461103 0 0 0 178739 1312 0 0 25 0 1 0 163645577 16420864 3635 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643691 0 0 4096 0 0 0 0 17 1 0 0 /proc/11027/statm: 4009 3635 227 40 0 3426 0 Current children cumulated CPU time (s) 1800.51 Current children cumulated vsize (Kb) 16036 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.22 CPU time (s): 1800.52 CPU user time (s): 1787.39 CPU system time (s): 13.127 CPU usage (%): 99.9612 Max. virtual memory (cumulated for all children) (Kb): 17108 The end
Begin job on node54 on Sat Jul 29 10:09:15 UTC 2006 FILE ID= 85227-1154167755 PBS_JOBID= 893001 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data6_3.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node54/85227-1154167755/instance-85227-1154167755.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node54/watcher-85227-1154167755 -o ROOT/results/node54/solver-85227-1154167755 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node54/85227-1154167755/instance-85227-1154167755.opb MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff MD5SUM BENCH= f675f355e04fd5af6f49610fb88dbbd3 RANDOM SEED= 735108453 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.256 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.256 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: 1671752 kB Buffers: 28808 kB Cached: 269816 kB SwapCached: 12000 kB Active: 71240 kB Inactive: 244328 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1671752 kB SwapTotal: 4192956 kB SwapFree: 4174612 kB Dirty: 312 kB Writeback: 0 kB Mapped: 14468 kB Slab: 54680 kB Committed_AS: 684764 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node54 on Sat Jul 29 10:39:16 UTC 2006