Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
glpPB 0.2 | ? (TO) | 1800.66 | 1801.14 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32c2.opb |
MD5SUM | 10cfce36a090e62566639770833f1068 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 207 |
Best CPU time to get the best result obtained on this benchmark | 176.905 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 207 |
Optimality of the best value was proved | YES |
Number of variables | 498 |
Total number of constraints | 2431 |
Number of constraints which are clauses | 2431 |
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 | 32 |
Number of terms in the objective function | 498 |
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 | 498 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 498 |
Number of bits of the biggest sum of numbers | 9 |
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/node48/watcher-85406-1154171238 -o ROOT/results/node48/solver-85406-1154171238 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node48/85406-1154171238/instance-85406-1154171238.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.91 2/64 4254 /proc/meminfo: memFree=831944/2055920 swapFree=4182820/4192956 [pid=4254] ppid=4252 vsize=2664 CPUtime=0 /proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 259 0 0 0 0 0 0 0 18 0 1 0 163994581 2727936 229 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 3997399 0 0 4096 0 0 0 0 17 1 0 0 /proc/4254/statm: 666 229 192 40 0 83 0 [startup+10.002 s] /proc/loadavg: 0.93 0.97 0.91 2/64 4254 /proc/meminfo: memFree=827656/2055920 swapFree=4182820/4192956 [pid=4254] ppid=4252 vsize=6712 CPUtime=9.99 /proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 1450 0 0 0 998 1 0 0 25 0 1 0 163994581 6873088 1294 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134626346 0 0 4096 0 0 0 0 17 1 0 0 /proc/4254/statm: 1678 1294 227 40 0 1095 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 6712 [startup+20.0079 s] /proc/loadavg: 0.94 0.97 0.91 2/64 4254 /proc/meminfo: memFree=827592/2055920 swapFree=4182820/4192956 [pid=4254] ppid=4252 vsize=6712 CPUtime=20 /proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 1580 0 0 0 1998 2 0 0 25 0 1 0 163994581 6873088 1304 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643344 0 0 4096 0 0 0 0 17 1 0 0 /proc/4254/statm: 1678 1304 227 40 0 1095 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 6712 [startup+30.0139 s] /proc/loadavg: 0.95 0.97 0.91 2/64 4254 /proc/meminfo: memFree=827464/2055920 swapFree=4182820/4192956 [pid=4254] ppid=4252 vsize=6916 CPUtime=29.99 /proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 3553 0 0 0 2996 3 0 0 25 0 1 0 163994581 7081984 1340 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4254/statm: 1729 1340 227 40 0 1146 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 6916 [startup+40.0198 s] /proc/loadavg: 0.95 0.97 0.91 2/64 4254 /proc/meminfo: memFree=827464/2055920 swapFree=4182820/4192956 [pid=4254] ppid=4252 vsize=6712 CPUtime=40 /proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 9062 0 0 0 3994 6 0 0 25 0 1 0 163994581 6873088 1304 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/4254/statm: 1678 1304 227 40 0 1095 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 6712 [startup+50.0257 s] /proc/loadavg: 0.96 0.97 0.91 2/64 4254 /proc/meminfo: memFree=827336/2055920 swapFree=4182820/4192956 [pid=4254] ppid=4252 vsize=7080 CPUtime=50.01 /proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 18094 0 0 0 4990 11 0 0 25 0 1 0 163994581 7249920 1380 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4254/statm: 1770 1380 227 40 0 1187 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 7080 [startup+60.0306 s] /proc/loadavg: 0.97 0.97 0.91 2/64 4254 /proc/meminfo: memFree=827272/2055920 swapFree=4182820/4192956 [pid=4254] ppid=4252 vsize=7160 CPUtime=60 /proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 30585 0 0 0 5984 16 0 0 25 0 1 0 163994581 7331840 1403 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4254/statm: 1790 1403 227 40 0 1207 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 7160 [startup+70.0366 s] /proc/loadavg: 0.97 0.97 0.91 2/64 4254 /proc/meminfo: memFree=827464/2055920 swapFree=4182820/4192956 [pid=4254] ppid=4252 vsize=6712 CPUtime=70 /proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 47394 0 0 0 6976 24 0 0 25 0 1 0 163994581 6873088 1304 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 3997399 0 0 4096 0 0 0 0 17 1 0 0 /proc/4254/statm: 1678 1304 227 40 0 1095 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 6712 [startup+80.0425 s] /proc/loadavg: 0.98 0.97 0.91 2/64 4254 /proc/meminfo: memFree=827272/2055920 swapFree=4182820/4192956 [pid=4254] ppid=4252 vsize=7172 CPUtime=80.01 /proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 64353 0 0 0 7968 33 0 0 25 0 1 0 163994581 7344128 1414 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4254/statm: 1793 1414 227 40 0 1210 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 7172 [startup+90.0484 s] /proc/loadavg: 0.98 0.97 0.91 2/64 4254 /proc/meminfo: memFree=827400/2055920 swapFree=4182820/4192956 [pid=4254] ppid=4252 vsize=6780 CPUtime=90.02 /proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 82884 0 0 0 8961 41 0 0 25 0 1 0 163994581 6942720 1321 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134569447 0 0 4096 0 0 0 0 17 1 0 0 /proc/4254/statm: 1695 1321 227 40 0 1112 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 6780 [startup+100.054 s] /proc/loadavg: 0.98 0.97 0.91 2/64 4254 /proc/meminfo: memFree=827016/2055920 swapFree=4182820/4192956 [pid=4254] ppid=4252 vsize=7008 CPUtime=100.01 /proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 99013 0 0 0 9953 48 0 0 25 0 1 0 163994581 7176192 1369 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 3997399 0 0 4096 0 0 0 0 17 1 0 0 /proc/4254/statm: 1752 1369 227 40 0 1169 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 7008 [startup+110.06 s] /proc/loadavg: 0.98 0.97 0.91 2/64 4254 /proc/meminfo: memFree=827208/2055920 swapFree=4182820/4192956 [pid=4254] ppid=4252 vsize=6940 CPUtime=110.02 /proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 116589 0 0 0 10946 56 0 0 25 0 1 0 163994581 7106560 1361 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629073 0 0 4096 0 0 0 0 17 1 0 0 /proc/4254/statm: 1735 1361 227 40 0 1152 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 6940 [startup+120.065 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4254 /proc/meminfo: memFree=827144/2055920 swapFree=4182820/4192956 [pid=4254] ppid=4252 vsize=6996 CPUtime=120.02 /proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 132657 0 0 0 11938 64 0 0 25 0 1 0 163994581 7163904 1375 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134626340 0 0 4096 0 0 0 0 17 1 0 0 /proc/4254/statm: 1749 1375 227 40 0 1166 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 6996 [startup+130.071 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4254 /proc/meminfo: memFree=827080/2055920 swapFree=4182820/4192956 [pid=4254] ppid=4252 vsize=7064 CPUtime=130.03 /proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 150741 0 0 0 12930 73 0 0 25 0 1 0 163994581 7233536 1392 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629287 0 0 4096 0 0 0 0 17 1 0 0 /proc/4254/statm: 1766 1392 227 40 0 1183 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 7064 [startup+140.077 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4254 /proc/meminfo: memFree=826888/2055920 swapFree=4182820/4192956 [pid=4254] ppid=4252 vsize=7120 CPUtime=140.03 /proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 168751 0 0 0 13923 80 0 0 25 0 1 0 163994581 7290880 1406 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134626346 0 0 4096 0 0 0 0 17 1 0 0 /proc/4254/statm: 1780 1406 227 40 0 1197 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 7120 [startup+150.083 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4254 /proc/meminfo: memFree=827016/2055920 swapFree=4182820/4192956 [pid=4254] ppid=4252 vsize=7612 CPUtime=150.03 /proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 186112 0 0 0 14917 86 0 0 25 0 1 0 163994581 7794688 1520 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134636804 0 0 4096 0 0 0 0 17 1 0 0 /proc/4254/statm: 1903 1520 227 40 0 1320 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 7612 [startup+160.089 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4254 /proc/meminfo: memFree=826952/2055920 swapFree=4182820/4192956 [pid=4254] ppid=4252 vsize=7228 CPUtime=160.03 /proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 204437 0 0 0 15909 94 0 0 25 0 1 0 163994581 7401472 1433 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543006 0 0 4096 0 0 0 0 17 1 0 0 /proc/4254/statm: 1807 1433 227 40 0 1224 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 7228 [startup+170.096 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4254 /proc/meminfo: memFree=826888/2055920 swapFree=4182820/4192956 [pid=4254] ppid=4252 vsize=7696 CPUtime=170.04 /proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 221659 0 0 0 16902 102 0 0 25 0 1 0 163994581 7880704 1542 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134639269 0 0 4096 0 0 0 0 17 1 0 0 /proc/4254/statm: 1924 1542 227 40 0 1341 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 7696 [startup+180.101 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4254 /proc/meminfo: memFree=826824/2055920 swapFree=4182820/4192956 [pid=4254] ppid=4252 vsize=7332 CPUtime=180.04 /proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 240079 0 0 0 17894 110 0 0 25 0 1 0 163994581 7507968 1459 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542146 0 0 4096 0 0 0 0 17 1 0 0 /proc/4254/statm: 1833 1459 227 40 0 1250 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 7332 [startup+190.107 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4254 /proc/meminfo: memFree=826760/2055920 swapFree=4182820/4192956 [pid=4254] ppid=4252 vsize=7384 CPUtime=190.04 /proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 258632 0 0 0 18886 118 0 0 25 0 1 0 163994581 7561216 1472 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542156 0 0 4096 0 0 0 0 17 1 0 0 /proc/4254/statm: 1846 1472 227 40 0 1263 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 7384 [startup+200.113 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4254 /proc/meminfo: memFree=826440/2055920 swapFree=4182820/4192956 [pid=4254] ppid=4252 vsize=7852 CPUtime=200.05 /proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 277135 0 0 0 19878 127 0 0 25 0 1 0 163994581 8040448 1585 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 3997399 0 0 4096 0 0 0 0 17 1 0 0 /proc/4254/statm: 1963 1585 227 40 0 1380 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 7852 [startup+210.119 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4254 ################ # More data... # ################ /proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 3471072 0 0 0 176606 1549 0 0 25 0 1 0 163994581 19091456 4287 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643520 0 0 4096 0 0 0 0 17 1 0 0 /proc/4254/statm: 4661 4287 227 40 0 4078 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (Kb) 18644 [startup+1783.04 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4254 /proc/meminfo: memFree=815432/2055920 swapFree=4182820/4192956 [pid=4254] ppid=4252 vsize=18668 CPUtime=1782.56 /proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 3473073 0 0 0 176706 1550 0 0 25 0 1 0 163994581 19116032 4293 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542970 0 0 4096 0 0 0 0 17 1 0 0 /proc/4254/statm: 4667 4293 227 40 0 4084 0 Current children cumulated CPU time (s) 1782.56 Current children cumulated vsize (Kb) 18668 [startup+1784.05 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4254 /proc/meminfo: memFree=815432/2055920 swapFree=4182820/4192956 [pid=4254] ppid=4252 vsize=18676 CPUtime=1783.56 /proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 3475153 0 0 0 176806 1550 0 0 25 0 1 0 163994581 19124224 4295 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134626410 0 0 4096 0 0 0 0 17 1 0 0 /proc/4254/statm: 4669 4295 227 40 0 4086 0 Current children cumulated CPU time (s) 1783.56 Current children cumulated vsize (Kb) 18676 [startup+1785.05 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4254 /proc/meminfo: memFree=815176/2055920 swapFree=4182820/4192956 [pid=4254] ppid=4252 vsize=19092 CPUtime=1784.57 /proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 3477347 0 0 0 176905 1552 0 0 25 0 1 0 163994581 19550208 4399 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4254/statm: 4773 4399 227 40 0 4190 0 Current children cumulated CPU time (s) 1784.57 Current children cumulated vsize (Kb) 19092 [startup+1786.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4254 /proc/meminfo: memFree=815432/2055920 swapFree=4182820/4192956 [pid=4254] ppid=4252 vsize=18688 CPUtime=1785.57 /proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 3479344 0 0 0 177004 1553 0 0 25 0 1 0 163994581 19136512 4298 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629114 0 0 4096 0 0 0 0 17 1 0 0 /proc/4254/statm: 4672 4298 227 40 0 4089 0 Current children cumulated CPU time (s) 1785.57 Current children cumulated vsize (Kb) 18688 [startup+1787.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4254 /proc/meminfo: memFree=815432/2055920 swapFree=4182820/4192956 [pid=4254] ppid=4252 vsize=18688 CPUtime=1786.57 /proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 3481358 0 0 0 177104 1553 0 0 25 0 1 0 163994581 19136512 4298 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629264 0 0 4096 0 0 0 0 17 1 0 0 /proc/4254/statm: 4672 4298 227 40 0 4089 0 Current children cumulated CPU time (s) 1786.57 Current children cumulated vsize (Kb) 18688 [startup+1788.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4254 /proc/meminfo: memFree=815368/2055920 swapFree=4182820/4192956 [pid=4254] ppid=4252 vsize=18704 CPUtime=1787.58 /proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 3483479 0 0 0 177204 1554 0 0 25 0 1 0 163994581 19152896 4302 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134626419 0 0 4096 0 0 0 0 17 1 0 0 /proc/4254/statm: 4676 4302 227 40 0 4093 0 Current children cumulated CPU time (s) 1787.58 Current children cumulated vsize (Kb) 18704 [startup+1789.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4254 /proc/meminfo: memFree=815176/2055920 swapFree=4182820/4192956 [pid=4254] ppid=4252 vsize=19124 CPUtime=1788.59 /proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 3485476 0 0 0 177304 1555 0 0 25 0 1 0 163994581 19582976 4407 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4254/statm: 4781 4407 227 40 0 4198 0 Current children cumulated CPU time (s) 1788.59 Current children cumulated vsize (Kb) 19124 [startup+1790.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4254 /proc/meminfo: memFree=815176/2055920 swapFree=4182820/4192956 [pid=4254] ppid=4252 vsize=19124 CPUtime=1789.59 /proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 3487821 0 0 0 177403 1556 0 0 25 0 1 0 163994581 19582976 4407 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134591169 0 0 4096 0 0 0 0 17 1 0 0 /proc/4254/statm: 4781 4407 227 40 0 4198 0 Current children cumulated CPU time (s) 1789.59 Current children cumulated vsize (Kb) 19124 [startup+1791.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4254 /proc/meminfo: memFree=815176/2055920 swapFree=4182820/4192956 [pid=4254] ppid=4252 vsize=19132 CPUtime=1790.59 /proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 3490225 0 0 0 177502 1557 0 0 25 0 1 0 163994581 19591168 4409 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134585311 0 0 4096 0 0 0 0 17 1 0 0 /proc/4254/statm: 4783 4409 227 40 0 4200 0 Current children cumulated CPU time (s) 1790.59 Current children cumulated vsize (Kb) 19132 [startup+1792.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4254 /proc/meminfo: memFree=815048/2055920 swapFree=4182820/4192956 [pid=4254] ppid=4252 vsize=19260 CPUtime=1791.6 /proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 3492562 0 0 0 177601 1559 0 0 25 0 1 0 163994581 19722240 4428 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4254/statm: 4815 4428 227 40 0 4232 0 Current children cumulated CPU time (s) 1791.6 Current children cumulated vsize (Kb) 19260 [startup+1793.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4254 /proc/meminfo: memFree=815368/2055920 swapFree=4182820/4192956 [pid=4254] ppid=4252 vsize=18720 CPUtime=1792.6 /proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 3494484 0 0 0 177700 1560 0 0 25 0 1 0 163994581 19169280 4306 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134569728 0 0 4096 0 0 0 0 17 1 0 0 /proc/4254/statm: 4680 4306 227 40 0 4097 0 Current children cumulated CPU time (s) 1792.6 Current children cumulated vsize (Kb) 18720 [startup+1794.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4254 /proc/meminfo: memFree=815368/2055920 swapFree=4182820/4192956 [pid=4254] ppid=4252 vsize=18720 CPUtime=1793.61 /proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 3496582 0 0 0 177800 1561 0 0 25 0 1 0 163994581 19169280 4306 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/4254/statm: 4680 4306 227 40 0 4097 0 Current children cumulated CPU time (s) 1793.61 Current children cumulated vsize (Kb) 18720 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4254 /proc/meminfo: memFree=815112/2055920 swapFree=4182820/4192956 [pid=4254] ppid=4252 vsize=19140 CPUtime=1794.62 /proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 3498617 0 0 0 177900 1562 0 0 25 0 1 0 163994581 19599360 4411 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4254/statm: 4785 4411 227 40 0 4202 0 Current children cumulated CPU time (s) 1794.62 Current children cumulated vsize (Kb) 19140 [startup+1796.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4254 /proc/meminfo: memFree=815368/2055920 swapFree=4182820/4192956 [pid=4254] ppid=4252 vsize=18736 CPUtime=1795.61 /proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 3500530 0 0 0 177999 1562 0 0 25 0 1 0 163994581 19185664 4310 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/4254/statm: 4684 4310 227 40 0 4101 0 Current children cumulated CPU time (s) 1795.61 Current children cumulated vsize (Kb) 18736 [startup+1797.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4254 /proc/meminfo: memFree=815112/2055920 swapFree=4182820/4192956 [pid=4254] ppid=4252 vsize=19156 CPUtime=1796.62 /proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 3502508 0 0 0 178099 1563 0 0 25 0 1 0 163994581 19615744 4415 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4254/statm: 4789 4415 227 40 0 4206 0 Current children cumulated CPU time (s) 1796.62 Current children cumulated vsize (Kb) 19156 [startup+1798.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4254 /proc/meminfo: memFree=815304/2055920 swapFree=4182820/4192956 [pid=4254] ppid=4252 vsize=18760 CPUtime=1797.63 /proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 3504217 0 0 0 178199 1564 0 0 25 0 1 0 163994581 19210240 4316 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632405 0 0 4096 0 0 0 0 17 1 0 0 /proc/4254/statm: 4690 4316 227 40 0 4107 0 Current children cumulated CPU time (s) 1797.63 Current children cumulated vsize (Kb) 18760 [startup+1799.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4254 /proc/meminfo: memFree=815112/2055920 swapFree=4182820/4192956 [pid=4254] ppid=4252 vsize=18768 CPUtime=1798.63 /proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 3506008 0 0 0 178299 1564 0 0 25 0 1 0 163994581 19218432 4318 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543012 0 0 4096 0 0 0 0 17 1 0 0 /proc/4254/statm: 4692 4318 227 40 0 4109 0 Current children cumulated CPU time (s) 1798.63 Current children cumulated vsize (Kb) 18768 [startup+1800.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4254 /proc/meminfo: memFree=815304/2055920 swapFree=4182820/4192956 [pid=4254] ppid=4252 vsize=18776 CPUtime=1799.63 /proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 3507967 0 0 0 178398 1565 0 0 25 0 1 0 163994581 19226624 4320 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134626346 0 0 4096 0 0 0 0 17 1 0 0 /proc/4254/statm: 4694 4320 227 40 0 4111 0 Current children cumulated CPU time (s) 1799.63 Current children cumulated vsize (Kb) 18776 [startup+1801.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4254 /proc/meminfo: memFree=815304/2055920 swapFree=4182820/4192956 [pid=4254] ppid=4252 vsize=18784 CPUtime=1800.64 /proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 3509655 0 0 0 178498 1566 0 0 25 0 1 0 163994581 19234816 4322 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134605458 0 0 4096 0 0 0 0 17 1 0 0 /proc/4254/statm: 4696 4322 227 40 0 4113 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (Kb) 18784 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4254 /proc/meminfo: memFree=815304/2055920 swapFree=4182820/4192956 [pid=4254] ppid=4252 vsize=18784 CPUtime=1800.65 /proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 3509655 0 0 0 178499 1566 0 0 25 0 1 0 163994581 19234816 4322 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542961 0 0 4096 0 0 0 0 17 1 0 0 /proc/4254/statm: 4696 4322 227 40 0 4113 0 Current children cumulated CPU time (s) 1800.65 Current children cumulated vsize (Kb) 18784 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.14 CPU time (s): 1800.66 CPU user time (s): 1784.99 CPU system time (s): 15.6636 CPU usage (%): 99.9729 Max. virtual memory (cumulated for all children) (Kb): 19260 The end
Begin job on node48 on Sat Jul 29 11:07:18 UTC 2006 FILE ID= 85406-1154171238 PBS_JOBID= 893180 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32c2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node48/85406-1154171238/instance-85406-1154171238.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-85406-1154171238 -o ROOT/results/node48/solver-85406-1154171238 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node48/85406-1154171238/instance-85406-1154171238.opb MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff MD5SUM BENCH= 10cfce36a090e62566639770833f1068 RANDOM SEED= 923781030 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: 832152 kB Buffers: 46004 kB Cached: 1094712 kB SwapCached: 4676 kB Active: 108640 kB Inactive: 1041640 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 832152 kB SwapTotal: 4192956 kB SwapFree: 4182820 kB Dirty: 188 kB Writeback: 0 kB Mapped: 14444 kB Slab: 59444 kB Committed_AS: 677996 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node48 on Sat Jul 29 11:37:19 UTC 2006