Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
glpPB 0.2 | ? (TO) | 1800.7 | 1801.2 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8d1.opb |
MD5SUM | e79c956fa387b090702a2dffba5fa8e9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 343 |
Best CPU time to get the best result obtained on this benchmark | 1800.59 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 343 |
Optimality of the best value was proved | NO |
Number of variables | 1060 |
Total number of constraints | 3737 |
Number of constraints which are clauses | 3737 |
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 | 1060 |
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 | 1060 |
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 | 1060 |
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/node35/watcher-85282-1154168175 -o ROOT/results/node35/solver-85282-1154168175 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node35/85282-1154168175/instance-85282-1154168175.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.92 2/64 5061 /proc/meminfo: memFree=1071832/2055920 swapFree=4182944/4192956 [pid=5061] ppid=5059 vsize=2424 CPUtime=0 /proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 150 0 0 0 0 0 0 0 18 0 1 0 163677579 2482176 130 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 1432440 0 0 4096 0 0 0 0 17 1 0 0 /proc/5061/statm: 606 130 111 40 0 11 0 [startup+10.0028 s] /proc/loadavg: 0.93 0.98 0.92 2/64 5061 /proc/meminfo: memFree=1067224/2055920 swapFree=4182944/4192956 [pid=5061] ppid=5059 vsize=7004 CPUtime=9.99 /proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 1548 0 0 0 998 1 0 0 25 0 1 0 163677579 7172096 1374 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643521 0 0 4096 0 0 0 0 17 1 0 0 /proc/5061/statm: 1751 1374 227 40 0 1168 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 7004 [startup+20.009 s] /proc/loadavg: 0.94 0.98 0.92 2/64 5061 /proc/meminfo: memFree=1067160/2055920 swapFree=4182944/4192956 [pid=5061] ppid=5059 vsize=7004 CPUtime=19.99 /proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 1947 0 0 0 1998 1 0 0 25 0 1 0 163677579 7172096 1377 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 1928919 0 0 4096 0 0 0 0 17 1 0 0 /proc/5061/statm: 1751 1377 227 40 0 1168 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 7004 [startup+30.0152 s] /proc/loadavg: 0.95 0.98 0.92 2/64 5061 /proc/meminfo: memFree=1067032/2055920 swapFree=4182944/4192956 [pid=5061] ppid=5059 vsize=7004 CPUtime=29.99 /proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 3012 0 0 0 2997 2 0 0 25 0 1 0 163677579 7172096 1377 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/5061/statm: 1751 1377 227 40 0 1168 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 7004 [startup+40.0214 s] /proc/loadavg: 0.96 0.98 0.92 2/64 5061 /proc/meminfo: memFree=1067096/2055920 swapFree=4182944/4192956 [pid=5061] ppid=5059 vsize=7004 CPUtime=40 /proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 5009 0 0 0 3997 3 0 0 25 0 1 0 163677579 7172096 1377 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542960 0 0 4096 0 0 0 0 17 1 0 0 /proc/5061/statm: 1751 1377 227 40 0 1168 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 7004 [startup+50.0276 s] /proc/loadavg: 0.96 0.98 0.92 2/64 5061 /proc/meminfo: memFree=1067096/2055920 swapFree=4182944/4192956 [pid=5061] ppid=5059 vsize=7004 CPUtime=50.01 /proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 8734 0 0 0 4996 5 0 0 25 0 1 0 163677579 7172096 1377 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542160 0 0 4096 0 0 0 0 17 1 0 0 /proc/5061/statm: 1751 1377 227 40 0 1168 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 7004 [startup+60.0338 s] /proc/loadavg: 0.97 0.98 0.92 2/64 5061 /proc/meminfo: memFree=1067096/2055920 swapFree=4182944/4192956 [pid=5061] ppid=5059 vsize=7004 CPUtime=60.01 /proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 13586 0 0 0 5994 7 0 0 25 0 1 0 163677579 7172096 1377 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543009 0 0 4096 0 0 0 0 17 1 0 0 /proc/5061/statm: 1751 1377 227 40 0 1168 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 7004 [startup+70.04 s] /proc/loadavg: 0.97 0.98 0.92 2/64 5061 /proc/meminfo: memFree=1067096/2055920 swapFree=4182944/4192956 [pid=5061] ppid=5059 vsize=7004 CPUtime=70.01 /proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 22330 0 0 0 6989 12 0 0 25 0 1 0 163677579 7172096 1377 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134628974 0 0 4096 0 0 0 0 17 1 0 0 /proc/5061/statm: 1751 1377 227 40 0 1168 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 7004 [startup+80.0462 s] /proc/loadavg: 0.98 0.98 0.92 2/64 5061 /proc/meminfo: memFree=1067096/2055920 swapFree=4182944/4192956 [pid=5061] ppid=5059 vsize=7004 CPUtime=80.02 /proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 27260 0 0 0 7987 15 0 0 25 0 1 0 163677579 7172096 1377 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/5061/statm: 1751 1377 227 40 0 1168 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 7004 [startup+90.0524 s] /proc/loadavg: 0.98 0.98 0.92 2/64 5061 /proc/meminfo: memFree=1067096/2055920 swapFree=4182944/4192956 [pid=5061] ppid=5059 vsize=7004 CPUtime=90.02 /proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 41651 0 0 0 8980 22 0 0 25 0 1 0 163677579 7172096 1377 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542131 0 0 4096 0 0 0 0 17 1 0 0 /proc/5061/statm: 1751 1377 227 40 0 1168 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 7004 [startup+100.059 s] /proc/loadavg: 0.98 0.98 0.92 2/64 5061 /proc/meminfo: memFree=1067096/2055920 swapFree=4182944/4192956 [pid=5061] ppid=5059 vsize=7004 CPUtime=100.02 /proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 50362 0 0 0 9976 26 0 0 25 0 1 0 163677579 7172096 1377 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134626346 0 0 4096 0 0 0 0 17 1 0 0 /proc/5061/statm: 1751 1377 227 40 0 1168 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 7004 [startup+110.065 s] /proc/loadavg: 0.98 0.98 0.92 2/64 5061 /proc/meminfo: memFree=1067096/2055920 swapFree=4182944/4192956 [pid=5061] ppid=5059 vsize=7004 CPUtime=110.02 /proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 65142 0 0 0 10970 32 0 0 25 0 1 0 163677579 7172096 1377 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134569768 0 0 4096 0 0 0 0 17 1 0 0 /proc/5061/statm: 1751 1377 227 40 0 1168 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 7004 [startup+120.071 s] /proc/loadavg: 0.99 0.98 0.92 2/64 5061 /proc/meminfo: memFree=1067032/2055920 swapFree=4182944/4192956 [pid=5061] ppid=5059 vsize=7052 CPUtime=120.03 /proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 81378 0 0 0 11963 40 0 0 25 0 1 0 163677579 7221248 1389 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643687 0 0 4096 0 0 0 0 17 1 0 0 /proc/5061/statm: 1763 1389 227 40 0 1180 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 7052 [startup+130.077 s] /proc/loadavg: 0.99 0.98 0.92 2/64 5061 /proc/meminfo: memFree=1067032/2055920 swapFree=4182944/4192956 [pid=5061] ppid=5059 vsize=7104 CPUtime=130.03 /proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 100967 0 0 0 12954 49 0 0 25 0 1 0 163677579 7274496 1402 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643524 0 0 4096 0 0 0 0 17 1 0 0 /proc/5061/statm: 1776 1402 227 40 0 1193 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 7104 [startup+140.082 s] /proc/loadavg: 0.99 0.98 0.92 2/64 5061 /proc/meminfo: memFree=1066968/2055920 swapFree=4182944/4192956 [pid=5061] ppid=5059 vsize=7176 CPUtime=140.04 /proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 121379 0 0 0 13946 58 0 0 25 0 1 0 163677579 7348224 1420 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629246 0 0 4096 0 0 0 0 17 1 0 0 /proc/5061/statm: 1794 1420 227 40 0 1211 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 7176 [startup+150.089 s] /proc/loadavg: 0.99 0.98 0.92 2/64 5061 /proc/meminfo: memFree=1066904/2055920 swapFree=4182944/4192956 [pid=5061] ppid=5059 vsize=7232 CPUtime=150.04 /proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 138643 0 0 0 14937 67 0 0 25 0 1 0 163677579 7405568 1434 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643360 0 0 4096 0 0 0 0 17 1 0 0 /proc/5061/statm: 1808 1434 227 40 0 1225 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 7232 [startup+160.095 s] /proc/loadavg: 0.99 0.98 0.92 2/64 5061 /proc/meminfo: memFree=1066840/2055920 swapFree=4182944/4192956 [pid=5061] ppid=5059 vsize=7276 CPUtime=160.04 /proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 163040 0 0 0 15926 78 0 0 25 0 1 0 163677579 7450624 1445 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629099 0 0 4096 0 0 0 0 17 1 0 0 /proc/5061/statm: 1819 1445 227 40 0 1236 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 7276 [startup+170.101 s] /proc/loadavg: 0.99 0.98 0.92 2/64 5061 /proc/meminfo: memFree=1066840/2055920 swapFree=4182944/4192956 [pid=5061] ppid=5059 vsize=7284 CPUtime=170.04 /proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 189504 0 0 0 16917 87 0 0 25 0 1 0 163677579 7458816 1447 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629287 0 0 4096 0 0 0 0 17 1 0 0 /proc/5061/statm: 1821 1447 227 40 0 1238 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 7284 [startup+180.107 s] /proc/loadavg: 0.99 0.98 0.92 2/64 5061 /proc/meminfo: memFree=1066776/2055920 swapFree=4182944/4192956 [pid=5061] ppid=5059 vsize=7316 CPUtime=180.05 /proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 202809 0 0 0 17912 93 0 0 25 0 1 0 163677579 7491584 1455 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134626346 0 0 4096 0 0 0 0 17 1 0 0 /proc/5061/statm: 1829 1455 227 40 0 1246 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 7316 [startup+190.113 s] /proc/loadavg: 0.99 0.98 0.92 2/64 5061 /proc/meminfo: memFree=1066712/2055920 swapFree=4182944/4192956 [pid=5061] ppid=5059 vsize=7372 CPUtime=190.05 /proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 218557 0 0 0 18906 99 0 0 25 0 1 0 163677579 7548928 1469 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134569960 0 0 4096 0 0 0 0 17 1 0 0 /proc/5061/statm: 1843 1469 227 40 0 1260 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 7372 [startup+200.119 s] /proc/loadavg: 0.99 0.98 0.92 2/64 5061 /proc/meminfo: memFree=1066456/2055920 swapFree=4182944/4192956 [pid=5061] ppid=5059 vsize=8032 CPUtime=200.05 /proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 234617 0 0 0 19898 107 0 0 25 0 1 0 163677579 8224768 1602 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/5061/statm: 2008 1602 227 40 0 1425 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 8032 [startup+210.125 s] /proc/loadavg: 0.99 0.98 0.92 2/64 5061 ################ # More data... # ################ /proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 3413560 0 0 0 176635 1525 0 0 25 0 1 0 163677579 18399232 4118 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643364 0 0 4096 0 0 0 0 17 1 0 0 /proc/5061/statm: 4492 4118 227 40 0 3909 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (Kb) 17968 [startup+1783.1 s] /proc/loadavg: 0.99 0.98 0.92 2/64 5063 /proc/meminfo: memFree=1056024/2055920 swapFree=4182944/4192956 [pid=5061] ppid=5059 vsize=17968 CPUtime=1782.61 /proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 3415573 0 0 0 176735 1526 0 0 25 0 1 0 163677579 18399232 4118 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643691 0 0 4096 0 0 0 0 17 1 0 0 /proc/5061/statm: 4492 4118 227 40 0 3909 0 Current children cumulated CPU time (s) 1782.61 Current children cumulated vsize (Kb) 17968 [startup+1784.1 s] /proc/loadavg: 0.99 0.98 0.92 2/64 5063 /proc/meminfo: memFree=1056024/2055920 swapFree=4182944/4192956 [pid=5061] ppid=5059 vsize=17976 CPUtime=1783.61 /proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 3417559 0 0 0 176834 1527 0 0 25 0 1 0 163677579 18407424 4120 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643694 0 0 4096 0 0 0 0 17 1 0 0 /proc/5061/statm: 4494 4120 227 40 0 3911 0 Current children cumulated CPU time (s) 1783.61 Current children cumulated vsize (Kb) 17976 [startup+1785.11 s] /proc/loadavg: 0.99 0.98 0.92 2/64 5063 /proc/meminfo: memFree=1056024/2055920 swapFree=4182944/4192956 [pid=5061] ppid=5059 vsize=17984 CPUtime=1784.62 /proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 3419545 0 0 0 176934 1528 0 0 25 0 1 0 163677579 18415616 4122 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643505 0 0 4096 0 0 0 0 17 1 0 0 /proc/5061/statm: 4496 4122 227 40 0 3913 0 Current children cumulated CPU time (s) 1784.62 Current children cumulated vsize (Kb) 17984 [startup+1786.11 s] /proc/loadavg: 0.99 0.98 0.92 2/64 5063 /proc/meminfo: memFree=1056024/2055920 swapFree=4182944/4192956 [pid=5061] ppid=5059 vsize=18000 CPUtime=1785.62 /proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 3422116 0 0 0 177033 1529 0 0 25 0 1 0 163677579 18432000 4126 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 1928919 0 0 4096 0 0 0 0 17 1 0 0 /proc/5061/statm: 4500 4126 227 40 0 3917 0 Current children cumulated CPU time (s) 1785.62 Current children cumulated vsize (Kb) 18000 [startup+1787.12 s] /proc/loadavg: 0.99 0.98 0.92 2/64 5063 /proc/meminfo: memFree=1055960/2055920 swapFree=4182944/4192956 [pid=5061] ppid=5059 vsize=18008 CPUtime=1786.62 /proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 3424622 0 0 0 177133 1529 0 0 25 0 1 0 163677579 18440192 4128 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629115 0 0 4096 0 0 0 0 17 1 0 0 /proc/5061/statm: 4502 4128 227 40 0 3919 0 Current children cumulated CPU time (s) 1786.62 Current children cumulated vsize (Kb) 18008 [startup+1788.12 s] /proc/loadavg: 0.99 0.98 0.92 2/64 5063 /proc/meminfo: memFree=1055960/2055920 swapFree=4182944/4192956 [pid=5061] ppid=5059 vsize=18008 CPUtime=1787.63 /proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 3425513 0 0 0 177233 1530 0 0 25 0 1 0 163677579 18440192 4128 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542960 0 0 4096 0 0 0 0 17 1 0 0 /proc/5061/statm: 4502 4128 227 40 0 3919 0 Current children cumulated CPU time (s) 1787.63 Current children cumulated vsize (Kb) 18008 [startup+1789.13 s] /proc/loadavg: 0.99 0.98 0.92 2/64 5063 /proc/meminfo: memFree=1055960/2055920 swapFree=4182944/4192956 [pid=5061] ppid=5059 vsize=18588 CPUtime=1788.63 /proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 3426245 0 0 0 177333 1530 0 0 25 0 1 0 163677579 19034112 4245 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 1928919 0 0 4096 0 0 0 0 17 1 0 0 /proc/5061/statm: 4647 4245 227 40 0 4064 0 Current children cumulated CPU time (s) 1788.63 Current children cumulated vsize (Kb) 18588 [startup+1790.13 s] /proc/loadavg: 0.99 0.98 0.92 2/64 5063 /proc/meminfo: memFree=1055960/2055920 swapFree=4182944/4192956 [pid=5061] ppid=5059 vsize=18016 CPUtime=1789.63 /proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 3426868 0 0 0 177433 1530 0 0 25 0 1 0 163677579 18448384 4130 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629114 0 0 4096 0 0 0 0 17 1 0 0 /proc/5061/statm: 4504 4130 227 40 0 3921 0 Current children cumulated CPU time (s) 1789.63 Current children cumulated vsize (Kb) 18016 [startup+1791.14 s] /proc/loadavg: 0.99 0.98 0.92 2/64 5063 /proc/meminfo: memFree=1055704/2055920 swapFree=4182944/4192956 [pid=5061] ppid=5059 vsize=18636 CPUtime=1790.64 /proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 3427729 0 0 0 177533 1531 0 0 25 0 1 0 163677579 19083264 4253 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/5061/statm: 4659 4253 227 40 0 4076 0 Current children cumulated CPU time (s) 1790.64 Current children cumulated vsize (Kb) 18636 [startup+1792.14 s] /proc/loadavg: 0.99 0.98 0.92 2/64 5063 /proc/meminfo: memFree=1055960/2055920 swapFree=4182944/4192956 [pid=5061] ppid=5059 vsize=18016 CPUtime=1791.64 /proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 3428467 0 0 0 177633 1531 0 0 25 0 1 0 163677579 18448384 4130 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542970 0 0 4096 0 0 0 0 17 1 0 0 /proc/5061/statm: 4504 4130 227 40 0 3921 0 Current children cumulated CPU time (s) 1791.64 Current children cumulated vsize (Kb) 18016 [startup+1793.15 s] /proc/loadavg: 0.99 0.98 0.92 2/64 5063 /proc/meminfo: memFree=1055960/2055920 swapFree=4182944/4192956 [pid=5061] ppid=5059 vsize=18024 CPUtime=1792.64 /proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 3429453 0 0 0 177733 1531 0 0 25 0 1 0 163677579 18456576 4132 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629048 0 0 4096 0 0 0 0 17 1 0 0 /proc/5061/statm: 4506 4132 227 40 0 3923 0 Current children cumulated CPU time (s) 1792.64 Current children cumulated vsize (Kb) 18024 [startup+1794.15 s] /proc/loadavg: 0.99 0.98 0.92 2/64 5063 /proc/meminfo: memFree=1055704/2055920 swapFree=4182944/4192956 [pid=5061] ppid=5059 vsize=18644 CPUtime=1793.66 /proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 3430683 0 0 0 177834 1532 0 0 25 0 1 0 163677579 19091456 4255 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134585180 0 0 4096 0 0 0 0 17 1 0 0 /proc/5061/statm: 4661 4255 227 40 0 4078 0 Current children cumulated CPU time (s) 1793.66 Current children cumulated vsize (Kb) 18644 [startup+1795.16 s] /proc/loadavg: 0.99 0.98 0.92 2/64 5063 /proc/meminfo: memFree=1055960/2055920 swapFree=4182944/4192956 [pid=5061] ppid=5059 vsize=18032 CPUtime=1794.66 /proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 3431915 0 0 0 177934 1532 0 0 25 0 1 0 163677579 18464768 4134 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542978 0 0 4096 0 0 0 0 17 1 0 0 /proc/5061/statm: 4508 4134 227 40 0 3925 0 Current children cumulated CPU time (s) 1794.66 Current children cumulated vsize (Kb) 18032 [startup+1796.16 s] /proc/loadavg: 0.99 0.98 0.92 2/64 5063 /proc/meminfo: memFree=1055960/2055920 swapFree=4182944/4192956 [pid=5061] ppid=5059 vsize=18032 CPUtime=1795.66 /proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 3433145 0 0 0 178033 1533 0 0 25 0 1 0 163677579 18464768 4134 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543006 0 0 4096 0 0 0 0 17 1 0 0 /proc/5061/statm: 4508 4134 227 40 0 3925 0 Current children cumulated CPU time (s) 1795.66 Current children cumulated vsize (Kb) 18032 [startup+1797.17 s] /proc/loadavg: 0.99 0.98 0.92 2/64 5063 /proc/meminfo: memFree=1055960/2055920 swapFree=4182944/4192956 [pid=5061] ppid=5059 vsize=18032 CPUtime=1796.67 /proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 3434498 0 0 0 178133 1534 0 0 25 0 1 0 163677579 18464768 4134 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643687 0 0 4096 0 0 0 0 17 1 0 0 /proc/5061/statm: 4508 4134 227 40 0 3925 0 Current children cumulated CPU time (s) 1796.67 Current children cumulated vsize (Kb) 18032 [startup+1798.17 s] /proc/loadavg: 0.99 0.98 0.92 2/64 5063 /proc/meminfo: memFree=1055640/2055920 swapFree=4182944/4192956 [pid=5061] ppid=5059 vsize=18660 CPUtime=1797.68 /proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 3436222 0 0 0 178233 1535 0 0 25 0 1 0 163677579 19107840 4259 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/5061/statm: 4665 4259 227 40 0 4082 0 Current children cumulated CPU time (s) 1797.68 Current children cumulated vsize (Kb) 18660 [startup+1799.18 s] /proc/loadavg: 0.99 0.98 0.92 2/64 5063 /proc/meminfo: memFree=1055960/2055920 swapFree=4182944/4192956 [pid=5061] ppid=5059 vsize=18048 CPUtime=1798.68 /proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 3437823 0 0 0 178332 1536 0 0 25 0 1 0 163677579 18481152 4138 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629073 0 0 4096 0 0 0 0 17 1 0 0 /proc/5061/statm: 4512 4138 227 40 0 3929 0 Current children cumulated CPU time (s) 1798.68 Current children cumulated vsize (Kb) 18048 [startup+1800.18 s] /proc/loadavg: 0.99 0.98 0.92 2/64 5063 /proc/meminfo: memFree=1055960/2055920 swapFree=4182944/4192956 [pid=5061] ppid=5059 vsize=18056 CPUtime=1799.68 /proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 3440162 0 0 0 178431 1537 0 0 25 0 1 0 163677579 18489344 4140 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/5061/statm: 4514 4140 227 40 0 3931 0 Current children cumulated CPU time (s) 1799.68 Current children cumulated vsize (Kb) 18056 [startup+1801.19 s] /proc/loadavg: 0.99 0.98 0.92 2/64 5063 /proc/meminfo: memFree=1055896/2055920 swapFree=4182944/4192956 [pid=5061] ppid=5059 vsize=18064 CPUtime=1800.69 /proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 3442132 0 0 0 178531 1538 0 0 25 0 1 0 163677579 18497536 4142 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134605452 0 0 4096 0 0 0 0 17 1 0 0 /proc/5061/statm: 4516 4142 227 40 0 3933 0 Current children cumulated CPU time (s) 1800.69 Current children cumulated vsize (Kb) 18064 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.19 s] /proc/loadavg: 0.99 0.98 0.92 2/64 5063 /proc/meminfo: memFree=1055896/2055920 swapFree=4182944/4192956 [pid=5061] ppid=5059 vsize=18064 CPUtime=1800.69 /proc/5061/stat : 5061 (glpPBv3) R 5059 5061 5012 0 -1 0 3442132 0 0 0 178531 1538 0 0 25 0 1 0 163677579 18497536 4142 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629114 0 0 4096 0 0 0 0 17 1 0 0 /proc/5061/statm: 4516 4142 227 40 0 3933 0 Current children cumulated CPU time (s) 1800.69 Current children cumulated vsize (Kb) 18064 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.7 CPU user time (s): 1785.32 CPU system time (s): 15.3867 CPU usage (%): 99.9725 Max. virtual memory (cumulated for all children) (Kb): 18660 The end
Begin job on node35 on Sat Jul 29 10:16:15 UTC 2006 FILE ID= 85282-1154168175 PBS_JOBID= 893056 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8d1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node35/85282-1154168175/instance-85282-1154168175.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-85282-1154168175 -o ROOT/results/node35/solver-85282-1154168175 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node35/85282-1154168175/instance-85282-1154168175.opb MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff MD5SUM BENCH= e79c956fa387b090702a2dffba5fa8e9 RANDOM SEED= 267574577 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: 1072040 kB Buffers: 41212 kB Cached: 864536 kB SwapCached: 4364 kB Active: 185864 kB Inactive: 729132 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1072040 kB SwapTotal: 4192956 kB SwapFree: 4182944 kB Dirty: 116 kB Writeback: 0 kB Mapped: 14492 kB Slab: 54868 kB Committed_AS: 677248 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 node35 on Sat Jul 29 10:46:16 UTC 2006