Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
glpPB 0.2 | ? (TO) | 1800.9 | 1801.5 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb |
MD5SUM | 16e382d24044cea3204cbf333685cccd |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 14.3308 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 4500 |
Total number of constraints | 2559501 |
Number of constraints which are clauses | 2554450 |
Number of constraints which are cardinality constraints (but not clauses) | 101 |
Number of constraints which are nor clauses,nor cardinality constraints | 4950 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2000 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 450 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 2049 |
Number of bits of the biggest sum of numbers | 12 |
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/node42/watcher-84723-1154158725 -o ROOT/results/node42/solver-84723-1154158725 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node42/84723-1154158725/instance-84723-1154158725.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.97 0.82 2/64 28379 /proc/meminfo: memFree=744984/2055920 swapFree=4182724/4192956 [pid=28379] ppid=28377 vsize=2424 CPUtime=0 /proc/28379/stat : 28379 (glpPBv3) R 28377 28379 28330 0 -1 0 148 0 0 0 0 0 0 0 18 0 1 0 162744333 2482176 128 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 12376952 0 0 4096 0 0 0 0 17 1 0 0 /proc/28379/statm: 606 128 109 40 0 11 0 [startup+10.0025 s] /proc/loadavg: 0.99 0.97 0.83 2/64 28379 /proc/meminfo: memFree=637720/2055920 swapFree=4182724/4192956 [pid=28379] ppid=28377 vsize=109772 CPUtime=9.98 /proc/28379/stat : 28379 (glpPBv3) R 28377 28379 28330 0 -1 0 27044 0 0 0 988 10 0 0 25 0 1 0 162744333 112406528 27014 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 12867356 0 0 4096 0 0 0 0 17 1 0 0 /proc/28379/statm: 27443 27016 199 40 0 26860 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 109772 [startup+20.0116 s] /proc/loadavg: 0.99 0.97 0.83 2/64 28379 /proc/meminfo: memFree=533848/2055920 swapFree=4182724/4192956 [pid=28379] ppid=28377 vsize=213808 CPUtime=19.99 /proc/28379/stat : 28379 (glpPBv3) R 28377 28379 28330 0 -1 0 53054 0 0 0 1976 23 0 0 25 0 1 0 162744333 218939392 53024 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 12805766 0 0 4096 0 0 0 0 17 1 0 0 /proc/28379/statm: 53452 53024 199 40 0 52869 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 213808 [startup+30.0187 s] /proc/loadavg: 0.99 0.97 0.83 2/64 28379 /proc/meminfo: memFree=431960/2055920 swapFree=4182724/4192956 [pid=28379] ppid=28377 vsize=315448 CPUtime=29.99 /proc/28379/stat : 28379 (glpPBv3) R 28377 28379 28330 0 -1 0 78474 0 0 0 2966 33 0 0 25 0 1 0 162744333 323018752 78444 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 12873431 0 0 4096 0 0 0 0 17 1 0 0 /proc/28379/statm: 78862 78444 199 40 0 78279 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 315448 [startup+40.0249 s] /proc/loadavg: 0.99 0.97 0.83 2/64 28379 /proc/meminfo: memFree=16536/2055920 swapFree=4182724/4192956 [pid=28379] ppid=28377 vsize=833504 CPUtime=40 /proc/28379/stat : 28379 (glpPBv3) R 28377 28379 28330 0 -1 0 214333 0 0 0 3914 86 0 0 25 0 1 0 162744333 853508096 207973 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/28379/statm: 208376 207973 203 40 0 207793 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 833504 [startup+50.032 s] /proc/loadavg: 0.99 0.97 0.83 2/64 28379 /proc/meminfo: memFree=66136/2055920 swapFree=4182724/4192956 [pid=28379] ppid=28377 vsize=833584 CPUtime=50.01 /proc/28379/stat : 28379 (glpPBv3) R 28377 28379 28330 0 -1 0 256884 0 0 0 4892 109 0 0 25 0 1 0 162744333 853590016 207996 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134544546 0 0 4096 0 0 0 0 17 1 0 0 /proc/28379/statm: 208396 207996 206 40 0 207813 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 833584 [startup+60.0381 s] /proc/loadavg: 0.99 0.97 0.83 2/64 28381 /proc/meminfo: memFree=16536/2055920 swapFree=4183140/4192956 [pid=28379] ppid=28377 vsize=1712824 CPUtime=60 /proc/28379/stat : 28379 (glpPBv3) R 28377 28379 28330 0 -1 0 496710 0 0 0 5765 235 0 0 25 0 1 0 162744333 1753931776 427821 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643288 0 0 4096 0 0 0 0 17 1 0 0 /proc/28379/statm: 428206 427821 221 40 0 427623 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 1712824 [startup+70.0442 s] /proc/loadavg: 0.99 0.97 0.83 2/64 28381 /proc/meminfo: memFree=16984/2055920 swapFree=4183140/4192956 [pid=28379] ppid=28377 vsize=1712824 CPUtime=70.01 /proc/28379/stat : 28379 (glpPBv3) R 28377 28379 28330 0 -1 0 496710 0 0 0 6766 235 0 0 25 0 1 0 162744333 1753931776 427821 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134582410 0 0 4096 0 0 0 0 17 1 0 0 /proc/28379/statm: 428206 427821 221 40 0 427623 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 1712824 [startup+80.0503 s] /proc/loadavg: 0.99 0.97 0.83 2/64 28381 /proc/meminfo: memFree=17240/2055920 swapFree=4183140/4192956 [pid=28379] ppid=28377 vsize=1712824 CPUtime=80.01 /proc/28379/stat : 28379 (glpPBv3) R 28377 28379 28330 0 -1 0 496710 0 0 0 7766 235 0 0 25 0 1 0 162744333 1753931776 427821 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134583573 0 0 4096 0 0 0 0 17 1 0 0 /proc/28379/statm: 428206 427821 221 40 0 427623 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 1712824 [startup+90.0564 s] /proc/loadavg: 0.99 0.97 0.83 2/64 28381 /proc/meminfo: memFree=96536/2055920 swapFree=4183140/4192956 [pid=28379] ppid=28377 vsize=1712824 CPUtime=90.02 /proc/28379/stat : 28379 (glpPBv3) R 28377 28379 28330 0 -1 0 516710 0 0 0 8744 258 0 0 25 0 1 0 162744333 1753931776 427821 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643524 0 0 4096 0 0 0 0 17 1 0 0 /proc/28379/statm: 428206 427821 221 40 0 427623 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 1712824 [startup+100.063 s] /proc/loadavg: 0.99 0.97 0.83 2/64 28381 /proc/meminfo: memFree=96664/2055920 swapFree=4183140/4192956 [pid=28379] ppid=28377 vsize=1712824 CPUtime=100.02 /proc/28379/stat : 28379 (glpPBv3) R 28377 28379 28330 0 -1 0 516710 0 0 0 9744 258 0 0 25 0 1 0 162744333 1753931776 427821 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643494 0 0 4096 0 0 0 0 17 1 0 0 /proc/28379/statm: 428206 427821 221 40 0 427623 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 1712824 [startup+110.071 s] /proc/loadavg: 0.99 0.97 0.84 2/64 28381 /proc/meminfo: memFree=16728/2055920 swapFree=4183140/4192956 [pid=28379] ppid=28377 vsize=1792824 CPUtime=110.02 /proc/28379/stat : 28379 (glpPBv3) R 28377 28379 28330 0 -1 0 536710 0 0 0 10736 266 0 0 25 0 1 0 162744333 1835851776 447821 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134634300 0 0 4096 0 0 0 0 17 1 0 0 /proc/28379/statm: 448206 447821 221 40 0 447623 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 1792824 [startup+120.077 s] /proc/loadavg: 0.99 0.97 0.84 2/64 28381 /proc/meminfo: memFree=96600/2055920 swapFree=4183140/4192956 [pid=28379] ppid=28377 vsize=1712824 CPUtime=120.03 /proc/28379/stat : 28379 (glpPBv3) R 28377 28379 28330 0 -1 0 536710 0 0 0 11735 268 0 0 25 0 1 0 162744333 1753931776 427821 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134581808 0 0 4096 0 0 0 0 17 1 0 0 /proc/28379/statm: 428206 427821 221 40 0 427623 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 1712824 [startup+130.083 s] /proc/loadavg: 0.99 0.97 0.84 2/64 28381 /proc/meminfo: memFree=96600/2055920 swapFree=4183140/4192956 [pid=28379] ppid=28377 vsize=1712824 CPUtime=130.03 /proc/28379/stat : 28379 (glpPBv3) R 28377 28379 28330 0 -1 0 536710 0 0 0 12735 268 0 0 25 0 1 0 162744333 1753931776 427821 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134582408 0 0 4096 0 0 0 0 17 1 0 0 /proc/28379/statm: 428206 427821 221 40 0 427623 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 1712824 [startup+140.089 s] /proc/loadavg: 0.99 0.97 0.84 2/64 28381 /proc/meminfo: memFree=96600/2055920 swapFree=4183140/4192956 [pid=28379] ppid=28377 vsize=1712824 CPUtime=140.03 /proc/28379/stat : 28379 (glpPBv3) R 28377 28379 28330 0 -1 0 556710 0 0 0 13725 278 0 0 25 0 1 0 162744333 1753931776 427821 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643494 0 0 4096 0 0 0 0 17 1 0 0 /proc/28379/statm: 428206 427821 221 40 0 427623 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 1712824 [startup+150.095 s] /proc/loadavg: 0.99 0.97 0.84 2/64 28381 /proc/meminfo: memFree=96600/2055920 swapFree=4183140/4192956 [pid=28379] ppid=28377 vsize=1712824 CPUtime=150.04 /proc/28379/stat : 28379 (glpPBv3) R 28377 28379 28330 0 -1 0 556710 0 0 0 14725 279 0 0 25 0 1 0 162744333 1753931776 427821 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134590088 0 0 4096 0 0 0 0 17 1 0 0 /proc/28379/statm: 428206 427821 221 40 0 427623 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 1712824 [startup+160.101 s] /proc/loadavg: 0.99 0.97 0.84 2/64 28381 /proc/meminfo: memFree=96600/2055920 swapFree=4183140/4192956 [pid=28379] ppid=28377 vsize=1712824 CPUtime=160.04 /proc/28379/stat : 28379 (glpPBv3) R 28377 28379 28330 0 -1 0 556710 0 0 0 15725 279 0 0 25 0 1 0 162744333 1753931776 427821 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134584930 0 0 4096 0 0 0 0 17 1 0 0 /proc/28379/statm: 428206 427821 221 40 0 427623 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 1712824 [startup+170.106 s] /proc/loadavg: 0.99 0.97 0.84 2/64 28381 /proc/meminfo: memFree=96600/2055920 swapFree=4183140/4192956 [pid=28379] ppid=28377 vsize=1712824 CPUtime=170.04 /proc/28379/stat : 28379 (glpPBv3) R 28377 28379 28330 0 -1 0 576710 0 0 0 16714 290 0 0 25 0 1 0 162744333 1753931776 427821 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643494 0 0 4096 0 0 0 0 17 1 0 0 /proc/28379/statm: 428206 427821 221 40 0 427623 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 1712824 [startup+180.112 s] /proc/loadavg: 0.99 0.97 0.84 2/64 28381 /proc/meminfo: memFree=96600/2055920 swapFree=4183140/4192956 [pid=28379] ppid=28377 vsize=1712824 CPUtime=180.04 /proc/28379/stat : 28379 (glpPBv3) R 28377 28379 28330 0 -1 0 576710 0 0 0 17714 290 0 0 25 0 1 0 162744333 1753931776 427821 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134582410 0 0 4096 0 0 0 0 17 1 0 0 /proc/28379/statm: 428206 427821 221 40 0 427623 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 1712824 [startup+190.118 s] /proc/loadavg: 0.99 0.97 0.84 2/64 28381 /proc/meminfo: memFree=96600/2055920 swapFree=4183140/4192956 [pid=28379] ppid=28377 vsize=1712824 CPUtime=190.05 /proc/28379/stat : 28379 (glpPBv3) R 28377 28379 28330 0 -1 0 576710 0 0 0 18715 290 0 0 25 0 1 0 162744333 1753931776 427821 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134582412 0 0 4096 0 0 0 0 17 1 0 0 /proc/28379/statm: 428206 427821 221 40 0 427623 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 1712824 [startup+200.125 s] /proc/loadavg: 0.99 0.97 0.84 2/64 28381 /proc/meminfo: memFree=96600/2055920 swapFree=4183140/4192956 [pid=28379] ppid=28377 vsize=1712824 CPUtime=200.05 /proc/28379/stat : 28379 (glpPBv3) R 28377 28379 28330 0 -1 0 596710 0 0 0 19704 301 0 0 25 0 1 0 162744333 1753931776 427821 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643494 0 0 4096 0 0 0 0 17 1 0 0 /proc/28379/statm: 428206 427821 221 40 0 427623 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 1712824 [startup+210.131 s] /proc/loadavg: 0.99 0.97 0.85 2/64 28381 ################ # More data... # ################ /proc/28379/stat : 28379 (glpPBv3) R 28377 28379 28330 0 -1 0 1416710 0 0 0 177412 738 0 0 25 0 1 0 162744333 1753931776 427821 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134590088 0 0 4096 0 0 0 0 17 1 0 0 /proc/28379/statm: 428206 427821 221 40 0 427623 0 Current children cumulated CPU time (s) 1781.5 Current children cumulated vsize (Kb) 1712824 [startup+1783.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28579 /proc/meminfo: memFree=97120/2055920 swapFree=4183140/4192956 [pid=28379] ppid=28377 vsize=1712824 CPUtime=1782.51 /proc/28379/stat : 28379 (glpPBv3) R 28377 28379 28330 0 -1 0 1416710 0 0 0 177513 738 0 0 25 0 1 0 162744333 1753931776 427821 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134587149 0 0 4096 0 0 0 0 17 1 0 0 /proc/28379/statm: 428206 427821 221 40 0 427623 0 Current children cumulated CPU time (s) 1782.51 Current children cumulated vsize (Kb) 1712824 [startup+1784.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28579 /proc/meminfo: memFree=97120/2055920 swapFree=4183140/4192956 [pid=28379] ppid=28377 vsize=1712824 CPUtime=1783.51 /proc/28379/stat : 28379 (glpPBv3) R 28377 28379 28330 0 -1 0 1416710 0 0 0 177613 738 0 0 25 0 1 0 162744333 1753931776 427821 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643494 0 0 4096 0 0 0 0 17 1 0 0 /proc/28379/statm: 428206 427821 221 40 0 427623 0 Current children cumulated CPU time (s) 1783.51 Current children cumulated vsize (Kb) 1712824 [startup+1785.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28579 /proc/meminfo: memFree=97120/2055920 swapFree=4183140/4192956 [pid=28379] ppid=28377 vsize=1712824 CPUtime=1784.51 /proc/28379/stat : 28379 (glpPBv3) R 28377 28379 28330 0 -1 0 1416710 0 0 0 177713 738 0 0 25 0 1 0 162744333 1753931776 427821 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134590088 0 0 4096 0 0 0 0 17 1 0 0 /proc/28379/statm: 428206 427821 221 40 0 427623 0 Current children cumulated CPU time (s) 1784.51 Current children cumulated vsize (Kb) 1712824 [startup+1786.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28579 /proc/meminfo: memFree=97120/2055920 swapFree=4183140/4192956 [pid=28379] ppid=28377 vsize=1712824 CPUtime=1785.52 /proc/28379/stat : 28379 (glpPBv3) R 28377 28379 28330 0 -1 0 1416710 0 0 0 177814 738 0 0 25 0 1 0 162744333 1753931776 427821 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134587149 0 0 4096 0 0 0 0 17 1 0 0 /proc/28379/statm: 428206 427821 221 40 0 427623 0 Current children cumulated CPU time (s) 1785.52 Current children cumulated vsize (Kb) 1712824 [startup+1787.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28579 /proc/meminfo: memFree=97120/2055920 swapFree=4183140/4192956 [pid=28379] ppid=28377 vsize=1712824 CPUtime=1786.52 /proc/28379/stat : 28379 (glpPBv3) R 28377 28379 28330 0 -1 0 1416710 0 0 0 177914 738 0 0 25 0 1 0 162744333 1753931776 427821 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643494 0 0 4096 0 0 0 0 17 1 0 0 /proc/28379/statm: 428206 427821 221 40 0 427623 0 Current children cumulated CPU time (s) 1786.52 Current children cumulated vsize (Kb) 1712824 [startup+1788.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28579 /proc/meminfo: memFree=97120/2055920 swapFree=4183140/4192956 [pid=28379] ppid=28377 vsize=1712824 CPUtime=1787.53 /proc/28379/stat : 28379 (glpPBv3) R 28377 28379 28330 0 -1 0 1416710 0 0 0 178015 738 0 0 25 0 1 0 162744333 1753931776 427821 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643494 0 0 4096 0 0 0 0 17 1 0 0 /proc/28379/statm: 428206 427821 221 40 0 427623 0 Current children cumulated CPU time (s) 1787.53 Current children cumulated vsize (Kb) 1712824 [startup+1789.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28579 /proc/meminfo: memFree=97120/2055920 swapFree=4183140/4192956 [pid=28379] ppid=28377 vsize=1712824 CPUtime=1788.53 /proc/28379/stat : 28379 (glpPBv3) R 28377 28379 28330 0 -1 0 1416710 0 0 0 178115 738 0 0 25 0 1 0 162744333 1753931776 427821 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134583732 0 0 4096 0 0 0 0 17 1 0 0 /proc/28379/statm: 428206 427821 221 40 0 427623 0 Current children cumulated CPU time (s) 1788.53 Current children cumulated vsize (Kb) 1712824 [startup+1790.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28579 /proc/meminfo: memFree=97120/2055920 swapFree=4183140/4192956 [pid=28379] ppid=28377 vsize=1712824 CPUtime=1789.54 /proc/28379/stat : 28379 (glpPBv3) R 28377 28379 28330 0 -1 0 1416710 0 0 0 178216 738 0 0 25 0 1 0 162744333 1753931776 427821 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134582412 0 0 4096 0 0 0 0 17 1 0 0 /proc/28379/statm: 428206 427821 221 40 0 427623 0 Current children cumulated CPU time (s) 1789.54 Current children cumulated vsize (Kb) 1712824 [startup+1791.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28579 /proc/meminfo: memFree=97120/2055920 swapFree=4183140/4192956 [pid=28379] ppid=28377 vsize=1712824 CPUtime=1790.54 /proc/28379/stat : 28379 (glpPBv3) R 28377 28379 28330 0 -1 0 1416710 0 0 0 178316 738 0 0 25 0 1 0 162744333 1753931776 427821 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134590094 0 0 4096 0 0 0 0 17 1 0 0 /proc/28379/statm: 428206 427821 221 40 0 427623 0 Current children cumulated CPU time (s) 1790.54 Current children cumulated vsize (Kb) 1712824 [startup+1792.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28579 /proc/meminfo: memFree=97120/2055920 swapFree=4183140/4192956 [pid=28379] ppid=28377 vsize=1712824 CPUtime=1791.55 /proc/28379/stat : 28379 (glpPBv3) R 28377 28379 28330 0 -1 0 1416710 0 0 0 178417 738 0 0 25 0 1 0 162744333 1753931776 427821 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134584571 0 0 4096 0 0 0 0 17 1 0 0 /proc/28379/statm: 428206 427821 221 40 0 427623 0 Current children cumulated CPU time (s) 1791.55 Current children cumulated vsize (Kb) 1712824 [startup+1793.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28579 /proc/meminfo: memFree=97120/2055920 swapFree=4183140/4192956 [pid=28379] ppid=28377 vsize=1712824 CPUtime=1792.55 /proc/28379/stat : 28379 (glpPBv3) R 28377 28379 28330 0 -1 0 1416710 0 0 0 178517 738 0 0 25 0 1 0 162744333 1753931776 427821 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643626 0 0 4096 0 0 0 0 17 1 0 0 /proc/28379/statm: 428206 427821 221 40 0 427623 0 Current children cumulated CPU time (s) 1792.55 Current children cumulated vsize (Kb) 1712824 [startup+1794.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28579 /proc/meminfo: memFree=97120/2055920 swapFree=4183140/4192956 [pid=28379] ppid=28377 vsize=1712824 CPUtime=1793.56 /proc/28379/stat : 28379 (glpPBv3) R 28377 28379 28330 0 -1 0 1416710 0 0 0 178618 738 0 0 25 0 1 0 162744333 1753931776 427821 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134590088 0 0 4096 0 0 0 0 17 1 0 0 /proc/28379/statm: 428206 427821 221 40 0 427623 0 Current children cumulated CPU time (s) 1793.56 Current children cumulated vsize (Kb) 1712824 [startup+1795.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28579 /proc/meminfo: memFree=97120/2055920 swapFree=4183140/4192956 [pid=28379] ppid=28377 vsize=1712824 CPUtime=1794.56 /proc/28379/stat : 28379 (glpPBv3) R 28377 28379 28330 0 -1 0 1416710 0 0 0 178718 738 0 0 25 0 1 0 162744333 1753931776 427821 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134587141 0 0 4096 0 0 0 0 17 1 0 0 /proc/28379/statm: 428206 427821 221 40 0 427623 0 Current children cumulated CPU time (s) 1794.56 Current children cumulated vsize (Kb) 1712824 [startup+1796.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28579 /proc/meminfo: memFree=97120/2055920 swapFree=4183140/4192956 [pid=28379] ppid=28377 vsize=1712824 CPUtime=1795.57 /proc/28379/stat : 28379 (glpPBv3) R 28377 28379 28330 0 -1 0 1416710 0 0 0 178819 738 0 0 25 0 1 0 162744333 1753931776 427821 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134582408 0 0 4096 0 0 0 0 17 1 0 0 /proc/28379/statm: 428206 427821 221 40 0 427623 0 Current children cumulated CPU time (s) 1795.57 Current children cumulated vsize (Kb) 1712824 [startup+1797.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28579 /proc/meminfo: memFree=97120/2055920 swapFree=4183140/4192956 [pid=28379] ppid=28377 vsize=1712824 CPUtime=1796.57 /proc/28379/stat : 28379 (glpPBv3) R 28377 28379 28330 0 -1 0 1416710 0 0 0 178919 738 0 0 25 0 1 0 162744333 1753931776 427821 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134589599 0 0 4096 0 0 0 0 17 1 0 0 /proc/28379/statm: 428206 427821 221 40 0 427623 0 Current children cumulated CPU time (s) 1796.57 Current children cumulated vsize (Kb) 1712824 [startup+1798.19 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28579 /proc/meminfo: memFree=97120/2055920 swapFree=4183140/4192956 [pid=28379] ppid=28377 vsize=1712824 CPUtime=1797.58 /proc/28379/stat : 28379 (glpPBv3) R 28377 28379 28330 0 -1 0 1416710 0 0 0 179020 738 0 0 25 0 1 0 162744333 1753931776 427821 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134583726 0 0 4096 0 0 0 0 17 1 0 0 /proc/28379/statm: 428206 427821 221 40 0 427623 0 Current children cumulated CPU time (s) 1797.58 Current children cumulated vsize (Kb) 1712824 [startup+1799.19 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28579 /proc/meminfo: memFree=97120/2055920 swapFree=4183140/4192956 [pid=28379] ppid=28377 vsize=1712824 CPUtime=1798.58 /proc/28379/stat : 28379 (glpPBv3) R 28377 28379 28330 0 -1 0 1416710 0 0 0 179120 738 0 0 25 0 1 0 162744333 1753931776 427821 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134582410 0 0 4096 0 0 0 0 17 1 0 0 /proc/28379/statm: 428206 427821 221 40 0 427623 0 Current children cumulated CPU time (s) 1798.58 Current children cumulated vsize (Kb) 1712824 [startup+1800.2 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28579 /proc/meminfo: memFree=97120/2055920 swapFree=4183140/4192956 [pid=28379] ppid=28377 vsize=1712824 CPUtime=1799.59 /proc/28379/stat : 28379 (glpPBv3) R 28377 28379 28330 0 -1 0 1416710 0 0 0 179221 738 0 0 25 0 1 0 162744333 1753931776 427821 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134587728 0 0 4096 0 0 0 0 17 1 0 0 /proc/28379/statm: 428206 427821 221 40 0 427623 0 Current children cumulated CPU time (s) 1799.59 Current children cumulated vsize (Kb) 1712824 [startup+1801.2 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28579 /proc/meminfo: memFree=97120/2055920 swapFree=4183140/4192956 [pid=28379] ppid=28377 vsize=1712824 CPUtime=1800.59 /proc/28379/stat : 28379 (glpPBv3) R 28377 28379 28330 0 -1 0 1416710 0 0 0 179321 738 0 0 25 0 1 0 162744333 1753931776 427821 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643580 0 0 4096 0 0 0 0 17 1 0 0 /proc/28379/statm: 428206 427821 221 40 0 427623 0 Current children cumulated CPU time (s) 1800.59 Current children cumulated vsize (Kb) 1712824 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.21 s] /proc/loadavg: 0.99 0.97 0.91 2/64 28579 /proc/meminfo: memFree=97120/2055920 swapFree=4183140/4192956 [pid=28379] ppid=28377 vsize=1712824 CPUtime=1800.59 /proc/28379/stat : 28379 (glpPBv3) R 28377 28379 28330 0 -1 0 1416710 0 0 0 179321 738 0 0 25 0 1 0 162744333 1753931776 427821 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643589 0 0 4096 0 0 0 0 17 1 0 0 /proc/28379/statm: 428206 427821 221 40 0 427623 0 Current children cumulated CPU time (s) 1800.59 Current children cumulated vsize (Kb) 1712824 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.5 CPU time (s): 1800.9 CPU user time (s): 1793.22 CPU system time (s): 7.67483 CPU usage (%): 99.9662 Max. virtual memory (cumulated for all children) (Kb): 1792824 The end
Begin job on node42 on Sat Jul 29 07:38:50 UTC 2006 FILE ID= 84723-1154158725 PBS_JOBID= 892497 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node42/84723-1154158725/instance-84723-1154158725.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-84723-1154158725 -o ROOT/results/node42/solver-84723-1154158725 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node42/84723-1154158725/instance-84723-1154158725.opb MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff MD5SUM BENCH= 16e382d24044cea3204cbf333685cccd RANDOM SEED= 524257962 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.238 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.238 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: 745120 kB Buffers: 41036 kB Cached: 1185292 kB SwapCached: 3928 kB Active: 191884 kB Inactive: 1043368 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 745120 kB SwapTotal: 4192956 kB SwapFree: 4182724 kB Dirty: 212 kB Writeback: 0 kB Mapped: 14496 kB Slab: 61600 kB Committed_AS: 757268 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node42 on Sat Jul 29 08:08:55 UTC 2006