Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
glpPB 0.2 | ? (TO) | 1800.63 | 1801.27 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb |
MD5SUM | f5d8cf0048d52cf223a3574d281ac8f8 |
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 | 8.02978 |
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 | 2800 |
Total number of constraints | 990001 |
Number of constraints which are clauses | 986760 |
Number of constraints which are cardinality constraints (but not clauses) | 81 |
Number of constraints which are nor clauses,nor cardinality constraints | 3160 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1200 |
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 | 350 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 1239 |
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/node30/watcher-84728-1154158763 -o ROOT/results/node30/solver-84728-1154158763 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node30/84728-1154158763/instance-84728-1154158763.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.95 0.82 2/64 680 /proc/meminfo: memFree=1416032/2055920 swapFree=4178648/4192956 [pid=680] ppid=678 vsize=2668 CPUtime=0 /proc/680/stat : 680 (glpPBv3) R 678 680 631 0 -1 0 269 0 0 0 0 0 0 0 18 0 1 0 162736602 2732032 239 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 7483095 0 0 4096 0 0 0 0 17 1 0 0 /proc/680/statm: 667 239 199 40 0 84 0 [startup+10.0019 s] /proc/loadavg: 0.93 0.96 0.83 2/64 680 /proc/meminfo: memFree=1305056/2055920 swapFree=4178648/4192956 [pid=680] ppid=678 vsize=113632 CPUtime=9.99 /proc/680/stat : 680 (glpPBv3) R 678 680 631 0 -1 0 28022 0 0 0 984 15 0 0 25 0 1 0 162736602 116359168 27992 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 7483095 0 0 4096 0 0 0 0 17 1 0 0 /proc/680/statm: 28408 27992 199 40 0 27825 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 113632 [startup+20.0084 s] /proc/loadavg: 0.94 0.96 0.83 2/64 680 /proc/meminfo: memFree=747808/2055920 swapFree=4178648/4192956 [pid=680] ppid=678 vsize=669768 CPUtime=19.99 /proc/680/stat : 680 (glpPBv3) R 678 680 631 0 -1 0 194403 0 0 0 1909 90 0 0 25 0 1 0 162736602 685842432 167048 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134595296 0 0 4096 0 0 0 0 17 1 0 0 /proc/680/statm: 167442 167048 220 40 0 166859 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 669768 [startup+30.015 s] /proc/loadavg: 0.95 0.96 0.83 2/64 680 /proc/meminfo: memFree=747936/2055920 swapFree=4178648/4192956 [pid=680] ppid=678 vsize=669768 CPUtime=29.99 /proc/680/stat : 680 (glpPBv3) R 678 680 631 0 -1 0 194404 0 0 0 2909 90 0 0 25 0 1 0 162736602 685842432 167049 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643494 0 0 4096 0 0 0 0 17 1 0 0 /proc/680/statm: 167442 167049 221 40 0 166859 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 669768 [startup+40.0206 s] /proc/loadavg: 0.96 0.96 0.83 2/64 680 /proc/meminfo: memFree=747680/2055920 swapFree=4178648/4192956 [pid=680] ppid=678 vsize=669768 CPUtime=40 /proc/680/stat : 680 (glpPBv3) R 678 680 631 0 -1 0 202140 0 0 0 3906 94 0 0 25 0 1 0 162736602 685842432 167049 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134587155 0 0 4096 0 0 0 0 17 1 0 0 /proc/680/statm: 167442 167049 221 40 0 166859 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 669768 [startup+50.0262 s] /proc/loadavg: 0.96 0.96 0.83 2/64 680 /proc/meminfo: memFree=747680/2055920 swapFree=4178648/4192956 [pid=680] ppid=678 vsize=669768 CPUtime=50 /proc/680/stat : 680 (glpPBv3) R 678 680 631 0 -1 0 209876 0 0 0 4901 99 0 0 25 0 1 0 162736602 685842432 167049 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643524 0 0 4096 0 0 0 0 17 1 0 0 /proc/680/statm: 167442 167049 221 40 0 166859 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 669768 [startup+60.0317 s] /proc/loadavg: 0.97 0.96 0.83 2/64 680 /proc/meminfo: memFree=747680/2055920 swapFree=4178648/4192956 [pid=680] ppid=678 vsize=669768 CPUtime=60 /proc/680/stat : 680 (glpPBv3) R 678 680 631 0 -1 0 217612 0 0 0 5898 102 0 0 25 0 1 0 162736602 685842432 167049 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643275 0 0 4096 0 0 0 0 17 1 0 0 /proc/680/statm: 167442 167049 221 40 0 166859 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 669768 [startup+70.0373 s] /proc/loadavg: 0.97 0.96 0.83 2/64 680 /proc/meminfo: memFree=747680/2055920 swapFree=4178648/4192956 [pid=680] ppid=678 vsize=669768 CPUtime=70 /proc/680/stat : 680 (glpPBv3) R 678 680 631 0 -1 0 225348 0 0 0 6894 106 0 0 25 0 1 0 162736602 685842432 167049 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134581732 0 0 4096 0 0 0 0 17 1 0 0 /proc/680/statm: 167442 167049 221 40 0 166859 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 669768 [startup+80.0429 s] /proc/loadavg: 0.98 0.96 0.83 2/64 680 /proc/meminfo: memFree=747680/2055920 swapFree=4178648/4192956 [pid=680] ppid=678 vsize=669768 CPUtime=80 /proc/680/stat : 680 (glpPBv3) R 678 680 631 0 -1 0 225348 0 0 0 7894 106 0 0 25 0 1 0 162736602 685842432 167049 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134587687 0 0 4096 0 0 0 0 17 1 0 0 /proc/680/statm: 167442 167049 221 40 0 166859 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 669768 [startup+90.0484 s] /proc/loadavg: 0.98 0.96 0.83 2/64 682 /proc/meminfo: memFree=747680/2055920 swapFree=4178648/4192956 [pid=680] ppid=678 vsize=669768 CPUtime=90.01 /proc/680/stat : 680 (glpPBv3) R 678 680 631 0 -1 0 233084 0 0 0 8891 110 0 0 25 0 1 0 162736602 685842432 167049 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643505 0 0 4096 0 0 0 0 17 1 0 0 /proc/680/statm: 167442 167049 221 40 0 166859 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 669768 [startup+100.054 s] /proc/loadavg: 0.98 0.96 0.83 2/64 682 /proc/meminfo: memFree=747680/2055920 swapFree=4178648/4192956 [pid=680] ppid=678 vsize=669768 CPUtime=100.01 /proc/680/stat : 680 (glpPBv3) R 678 680 631 0 -1 0 240820 0 0 0 9887 114 0 0 25 0 1 0 162736602 685842432 167049 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134583873 0 0 4096 0 0 0 0 17 1 0 0 /proc/680/statm: 167442 167049 221 40 0 166859 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 669768 [startup+110.06 s] /proc/loadavg: 0.98 0.97 0.83 2/64 682 /proc/meminfo: memFree=747680/2055920 swapFree=4178648/4192956 [pid=680] ppid=678 vsize=669768 CPUtime=110.01 /proc/680/stat : 680 (glpPBv3) R 678 680 631 0 -1 0 248556 0 0 0 10883 118 0 0 25 0 1 0 162736602 685842432 167049 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643553 0 0 4096 0 0 0 0 17 1 0 0 /proc/680/statm: 167442 167049 221 40 0 166859 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 669768 [startup+120.065 s] /proc/loadavg: 0.99 0.97 0.84 2/64 682 /proc/meminfo: memFree=716896/2055920 swapFree=4178648/4192956 [pid=680] ppid=678 vsize=700712 CPUtime=120.01 /proc/680/stat : 680 (glpPBv3) R 678 680 631 0 -1 0 256292 0 0 0 11880 121 0 0 25 0 1 0 162736602 717529088 174785 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134636932 0 0 4096 0 0 0 0 17 1 0 0 /proc/680/statm: 175178 174785 221 40 0 174595 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 700712 [startup+130.071 s] /proc/loadavg: 0.99 0.97 0.84 2/64 682 /proc/meminfo: memFree=747680/2055920 swapFree=4178648/4192956 [pid=680] ppid=678 vsize=669768 CPUtime=130.02 /proc/680/stat : 680 (glpPBv3) R 678 680 631 0 -1 0 256292 0 0 0 12880 122 0 0 25 0 1 0 162736602 685842432 167049 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134583693 0 0 4096 0 0 0 0 17 1 0 0 /proc/680/statm: 167442 167049 221 40 0 166859 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 669768 [startup+140.076 s] /proc/loadavg: 0.99 0.97 0.84 2/64 682 /proc/meminfo: memFree=747680/2055920 swapFree=4178648/4192956 [pid=680] ppid=678 vsize=669768 CPUtime=140.02 /proc/680/stat : 680 (glpPBv3) R 678 680 631 0 -1 0 264028 0 0 0 13876 126 0 0 25 0 1 0 162736602 685842432 167049 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643684 0 0 4096 0 0 0 0 17 1 0 0 /proc/680/statm: 167442 167049 221 40 0 166859 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 669768 [startup+150.082 s] /proc/loadavg: 0.99 0.97 0.84 2/64 682 /proc/meminfo: memFree=747680/2055920 swapFree=4178648/4192956 [pid=680] ppid=678 vsize=669768 CPUtime=150.02 /proc/680/stat : 680 (glpPBv3) R 678 680 631 0 -1 0 271764 0 0 0 14872 130 0 0 25 0 1 0 162736602 685842432 167049 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134583573 0 0 4096 0 0 0 0 17 1 0 0 /proc/680/statm: 167442 167049 221 40 0 166859 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 669768 [startup+160.087 s] /proc/loadavg: 0.99 0.97 0.84 2/64 682 /proc/meminfo: memFree=747680/2055920 swapFree=4178648/4192956 [pid=680] ppid=678 vsize=669768 CPUtime=160.03 /proc/680/stat : 680 (glpPBv3) R 678 680 631 0 -1 0 279500 0 0 0 15868 135 0 0 25 0 1 0 162736602 685842432 167049 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643494 0 0 4096 0 0 0 0 17 1 0 0 /proc/680/statm: 167442 167049 221 40 0 166859 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 669768 [startup+170.093 s] /proc/loadavg: 0.99 0.97 0.84 2/64 682 /proc/meminfo: memFree=747680/2055920 swapFree=4178648/4192956 [pid=680] ppid=678 vsize=669768 CPUtime=170.02 /proc/680/stat : 680 (glpPBv3) R 678 680 631 0 -1 0 287236 0 0 0 16864 138 0 0 25 0 1 0 162736602 685842432 167049 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134587138 0 0 4096 0 0 0 0 17 1 0 0 /proc/680/statm: 167442 167049 221 40 0 166859 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 669768 [startup+180.099 s] /proc/loadavg: 0.99 0.97 0.84 2/64 682 /proc/meminfo: memFree=747680/2055920 swapFree=4178648/4192956 [pid=680] ppid=678 vsize=669768 CPUtime=180.03 /proc/680/stat : 680 (glpPBv3) R 678 680 631 0 -1 0 294972 0 0 0 17860 143 0 0 25 0 1 0 162736602 685842432 167049 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134582406 0 0 4096 0 0 0 0 17 1 0 0 /proc/680/statm: 167442 167049 221 40 0 166859 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 669768 [startup+190.105 s] /proc/loadavg: 0.99 0.97 0.84 2/64 682 /proc/meminfo: memFree=716896/2055920 swapFree=4178648/4192956 [pid=680] ppid=678 vsize=700712 CPUtime=190.03 /proc/680/stat : 680 (glpPBv3) R 678 680 631 0 -1 0 302708 0 0 0 18857 146 0 0 25 0 1 0 162736602 717529088 174785 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 7482928 0 0 4096 0 0 0 0 17 1 0 0 /proc/680/statm: 175178 174785 221 40 0 174595 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 700712 [startup+200.112 s] /proc/loadavg: 0.99 0.97 0.84 2/64 682 /proc/meminfo: memFree=747680/2055920 swapFree=4178648/4192956 [pid=680] ppid=678 vsize=669768 CPUtime=200.04 /proc/680/stat : 680 (glpPBv3) R 678 680 631 0 -1 0 302708 0 0 0 19857 147 0 0 25 0 1 0 162736602 685842432 167049 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643172 0 0 4096 0 0 0 0 17 1 0 0 /proc/680/statm: 167442 167049 221 40 0 166859 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 669768 [startup+210.118 s] /proc/loadavg: 0.99 0.97 0.84 2/64 682 ################ # More data... # ################ /proc/680/stat : 680 (glpPBv3) R 678 680 631 0 -1 0 14470222 0 0 0 170830 7310 0 0 25 0 1 0 162736602 853782528 208053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/680/statm: 208443 208053 227 40 0 207860 0 Current children cumulated CPU time (s) 1781.4 Current children cumulated vsize (Kb) 833772 [startup+1783.04 s] /proc/loadavg: 0.99 0.97 0.91 2/64 880 /proc/meminfo: memFree=583072/2055920 swapFree=4178648/4192956 [pid=680] ppid=678 vsize=833772 CPUtime=1782.4 /proc/680/stat : 680 (glpPBv3) R 678 680 631 0 -1 0 14479892 0 0 0 170925 7315 0 0 25 0 1 0 162736602 853782528 208053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/680/statm: 208443 208053 227 40 0 207860 0 Current children cumulated CPU time (s) 1782.4 Current children cumulated vsize (Kb) 833772 [startup+1784.04 s] /proc/loadavg: 0.99 0.97 0.91 2/64 880 /proc/meminfo: memFree=583072/2055920 swapFree=4178648/4192956 [pid=680] ppid=678 vsize=833772 CPUtime=1783.4 /proc/680/stat : 680 (glpPBv3) R 678 680 631 0 -1 0 14489562 0 0 0 171021 7319 0 0 25 0 1 0 162736602 853782528 208053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/680/statm: 208443 208053 227 40 0 207860 0 Current children cumulated CPU time (s) 1783.4 Current children cumulated vsize (Kb) 833772 [startup+1785.05 s] /proc/loadavg: 0.99 0.97 0.91 2/64 880 /proc/meminfo: memFree=583072/2055920 swapFree=4178648/4192956 [pid=680] ppid=678 vsize=833772 CPUtime=1784.41 /proc/680/stat : 680 (glpPBv3) R 678 680 631 0 -1 0 14499232 0 0 0 171117 7324 0 0 25 0 1 0 162736602 853782528 208053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/680/statm: 208443 208053 227 40 0 207860 0 Current children cumulated CPU time (s) 1784.41 Current children cumulated vsize (Kb) 833772 [startup+1786.05 s] /proc/loadavg: 0.99 0.97 0.91 2/64 880 /proc/meminfo: memFree=583072/2055920 swapFree=4178648/4192956 [pid=680] ppid=678 vsize=833772 CPUtime=1785.42 /proc/680/stat : 680 (glpPBv3) R 678 680 631 0 -1 0 14508902 0 0 0 171213 7329 0 0 25 0 1 0 162736602 853782528 208053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/680/statm: 208443 208053 227 40 0 207860 0 Current children cumulated CPU time (s) 1785.42 Current children cumulated vsize (Kb) 833772 [startup+1787.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 880 /proc/meminfo: memFree=583072/2055920 swapFree=4178648/4192956 [pid=680] ppid=678 vsize=833772 CPUtime=1786.42 /proc/680/stat : 680 (glpPBv3) R 678 680 631 0 -1 0 14518572 0 0 0 171308 7334 0 0 25 0 1 0 162736602 853782528 208053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/680/statm: 208443 208053 227 40 0 207860 0 Current children cumulated CPU time (s) 1786.42 Current children cumulated vsize (Kb) 833772 [startup+1788.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 880 /proc/meminfo: memFree=583072/2055920 swapFree=4178648/4192956 [pid=680] ppid=678 vsize=833772 CPUtime=1787.42 /proc/680/stat : 680 (glpPBv3) R 678 680 631 0 -1 0 14528242 0 0 0 171403 7339 0 0 25 0 1 0 162736602 853782528 208053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/680/statm: 208443 208053 227 40 0 207860 0 Current children cumulated CPU time (s) 1787.42 Current children cumulated vsize (Kb) 833772 [startup+1789.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 880 /proc/meminfo: memFree=583072/2055920 swapFree=4178648/4192956 [pid=680] ppid=678 vsize=833772 CPUtime=1788.43 /proc/680/stat : 680 (glpPBv3) R 678 680 631 0 -1 0 14537912 0 0 0 171499 7344 0 0 25 0 1 0 162736602 853782528 208053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629283 0 0 4096 0 0 0 0 17 1 0 0 /proc/680/statm: 208443 208053 227 40 0 207860 0 Current children cumulated CPU time (s) 1788.43 Current children cumulated vsize (Kb) 833772 [startup+1790.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 880 /proc/meminfo: memFree=583072/2055920 swapFree=4178648/4192956 [pid=680] ppid=678 vsize=833772 CPUtime=1789.43 /proc/680/stat : 680 (glpPBv3) R 678 680 631 0 -1 0 14547582 0 0 0 171594 7349 0 0 25 0 1 0 162736602 853782528 208053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629283 0 0 4096 0 0 0 0 17 1 0 0 /proc/680/statm: 208443 208053 227 40 0 207860 0 Current children cumulated CPU time (s) 1789.43 Current children cumulated vsize (Kb) 833772 [startup+1791.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 880 /proc/meminfo: memFree=583072/2055920 swapFree=4178648/4192956 [pid=680] ppid=678 vsize=822168 CPUtime=1790.44 /proc/680/stat : 680 (glpPBv3) R 678 680 631 0 -1 0 14557252 0 0 0 171689 7355 0 0 25 0 1 0 162736602 841900032 205152 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/680/statm: 205542 205152 733 40 0 204959 0 Current children cumulated CPU time (s) 1790.44 Current children cumulated vsize (Kb) 822168 [startup+1792.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 880 /proc/meminfo: memFree=583072/2055920 swapFree=4178648/4192956 [pid=680] ppid=678 vsize=833772 CPUtime=1791.45 /proc/680/stat : 680 (glpPBv3) R 678 680 631 0 -1 0 14571757 0 0 0 171783 7362 0 0 25 0 1 0 162736602 853782528 208053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643494 0 0 4096 0 0 0 0 17 1 0 0 /proc/680/statm: 208443 208053 227 40 0 207860 0 Current children cumulated CPU time (s) 1791.45 Current children cumulated vsize (Kb) 833772 [startup+1793.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 880 /proc/meminfo: memFree=583072/2055920 swapFree=4178648/4192956 [pid=680] ppid=678 vsize=833772 CPUtime=1792.45 /proc/680/stat : 680 (glpPBv3) R 678 680 631 0 -1 0 14581427 0 0 0 171878 7367 0 0 25 0 1 0 162736602 853782528 208053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543006 0 0 4096 0 0 0 0 17 1 0 0 /proc/680/statm: 208443 208053 227 40 0 207860 0 Current children cumulated CPU time (s) 1792.45 Current children cumulated vsize (Kb) 833772 [startup+1794.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 880 /proc/meminfo: memFree=583072/2055920 swapFree=4178648/4192956 [pid=680] ppid=678 vsize=833772 CPUtime=1793.46 /proc/680/stat : 680 (glpPBv3) R 678 680 631 0 -1 0 14591097 0 0 0 171974 7372 0 0 25 0 1 0 162736602 853782528 208053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/680/statm: 208443 208053 227 40 0 207860 0 Current children cumulated CPU time (s) 1793.46 Current children cumulated vsize (Kb) 833772 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 880 /proc/meminfo: memFree=583072/2055920 swapFree=4178648/4192956 [pid=680] ppid=678 vsize=833772 CPUtime=1794.45 /proc/680/stat : 680 (glpPBv3) R 678 680 631 0 -1 0 14600767 0 0 0 172069 7376 0 0 25 0 1 0 162736602 853782528 208053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/680/statm: 208443 208053 227 40 0 207860 0 Current children cumulated CPU time (s) 1794.45 Current children cumulated vsize (Kb) 833772 [startup+1796.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 880 /proc/meminfo: memFree=583072/2055920 swapFree=4178648/4192956 [pid=680] ppid=678 vsize=833772 CPUtime=1795.46 /proc/680/stat : 680 (glpPBv3) R 678 680 631 0 -1 0 14610437 0 0 0 172165 7381 0 0 25 0 1 0 162736602 853782528 208053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/680/statm: 208443 208053 227 40 0 207860 0 Current children cumulated CPU time (s) 1795.46 Current children cumulated vsize (Kb) 833772 [startup+1797.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 880 /proc/meminfo: memFree=583072/2055920 swapFree=4178648/4192956 [pid=680] ppid=678 vsize=833772 CPUtime=1796.46 /proc/680/stat : 680 (glpPBv3) R 678 680 631 0 -1 0 14620107 0 0 0 172260 7386 0 0 25 0 1 0 162736602 853782528 208053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/680/statm: 208443 208053 227 40 0 207860 0 Current children cumulated CPU time (s) 1796.46 Current children cumulated vsize (Kb) 833772 [startup+1798.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 880 /proc/meminfo: memFree=583072/2055920 swapFree=4178648/4192956 [pid=680] ppid=678 vsize=833772 CPUtime=1797.47 /proc/680/stat : 680 (glpPBv3) R 678 680 631 0 -1 0 14629777 0 0 0 172356 7391 0 0 25 0 1 0 162736602 853782528 208053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/680/statm: 208443 208053 227 40 0 207860 0 Current children cumulated CPU time (s) 1797.47 Current children cumulated vsize (Kb) 833772 [startup+1799.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 880 /proc/meminfo: memFree=583072/2055920 swapFree=4178648/4192956 [pid=680] ppid=678 vsize=833772 CPUtime=1798.48 /proc/680/stat : 680 (glpPBv3) R 678 680 631 0 -1 0 14639447 0 0 0 172452 7396 0 0 25 0 1 0 162736602 853782528 208053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/680/statm: 208443 208053 227 40 0 207860 0 Current children cumulated CPU time (s) 1798.48 Current children cumulated vsize (Kb) 833772 [startup+1800.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 880 /proc/meminfo: memFree=583072/2055920 swapFree=4178648/4192956 [pid=680] ppid=678 vsize=833772 CPUtime=1799.48 /proc/680/stat : 680 (glpPBv3) R 678 680 631 0 -1 0 14649117 0 0 0 172547 7401 0 0 25 0 1 0 162736602 853782528 208053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/680/statm: 208443 208053 227 40 0 207860 0 Current children cumulated CPU time (s) 1799.48 Current children cumulated vsize (Kb) 833772 [startup+1801.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 880 /proc/meminfo: memFree=583072/2055920 swapFree=4178648/4192956 [pid=680] ppid=678 vsize=833772 CPUtime=1800.48 /proc/680/stat : 680 (glpPBv3) R 678 680 631 0 -1 0 14658787 0 0 0 172643 7405 0 0 25 0 1 0 162736602 853782528 208053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/680/statm: 208443 208053 227 40 0 207860 0 Current children cumulated CPU time (s) 1800.48 Current children cumulated vsize (Kb) 833772 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 880 /proc/meminfo: memFree=583072/2055920 swapFree=4178648/4192956 [pid=680] ppid=678 vsize=833772 CPUtime=1800.49 /proc/680/stat : 680 (glpPBv3) R 678 680 631 0 -1 0 14658787 0 0 0 172644 7405 0 0 25 0 1 0 162736602 853782528 208053 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/680/statm: 208443 208053 227 40 0 207860 0 Current children cumulated CPU time (s) 1800.49 Current children cumulated vsize (Kb) 833772 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.27 CPU time (s): 1800.63 CPU user time (s): 1726.44 CPU system time (s): 74.1917 CPU usage (%): 99.9646 Max. virtual memory (cumulated for all children) (Kb): 981332 The end
Begin job on node30 on Sat Jul 29 07:39:27 UTC 2006 FILE ID= 84728-1154158763 PBS_JOBID= 892502 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node30/84728-1154158763/instance-84728-1154158763.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-84728-1154158763 -o ROOT/results/node30/solver-84728-1154158763 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node30/84728-1154158763/instance-84728-1154158763.opb MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff MD5SUM BENCH= f5d8cf0048d52cf223a3574d281ac8f8 RANDOM SEED= 83859889 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: 1416240 kB Buffers: 35812 kB Cached: 522288 kB SwapCached: 8000 kB Active: 144136 kB Inactive: 426960 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1416240 kB SwapTotal: 4192956 kB SwapFree: 4178648 kB Dirty: 212 kB Writeback: 0 kB Mapped: 14496 kB Slab: 54664 kB Committed_AS: 698796 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node30 on Sat Jul 29 08:09:29 UTC 2006