Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
glpPB 0.2 | ? (TO) | 1800.74 | 1801.18 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_2.opb |
MD5SUM | a70b0edfadf87ffd0bc1b32400cae43b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 25 |
Best CPU time to get the best result obtained on this benchmark | 1782.73 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 18 |
Optimality of the best value was proved | NO |
Number of variables | 172 |
Total number of constraints | 14 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 14 |
Minimum length of a constraint | 74 |
Maximum length of a constraint | 76 |
Number of terms in the objective function | 112 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 3570 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1648 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 5454 |
Number of bits of the biggest sum of numbers | 13 |
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/node39/watcher-85841-1154175536 -o ROOT/results/node39/solver-85841-1154175536 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node39/85841-1154175536/instance-85841-1154175536.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 0.99 0.91 2/64 3102 /proc/meminfo: memFree=1148120/2055920 swapFree=4183200/4192956 [pid=3102] ppid=3100 vsize=2664 CPUtime=0 /proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 254 0 0 0 0 0 0 0 18 0 1 0 164424782 2727936 224 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 11558615 0 0 4096 0 0 0 0 17 1 0 0 /proc/3102/statm: 666 224 192 40 0 83 0 [startup+10.0022 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3102 /proc/meminfo: memFree=1144992/2055920 swapFree=4183200/4192956 [pid=3102] ppid=3100 vsize=5772 CPUtime=9.99 /proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 1078 0 0 0 986 13 0 0 25 0 1 0 164424782 5910528 1047 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543497 0 0 4096 0 0 0 0 17 1 0 0 /proc/3102/statm: 1443 1047 227 40 0 860 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 5772 [startup+20.0081 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3102 /proc/meminfo: memFree=1140704/2055920 swapFree=4183200/4192956 [pid=3102] ppid=3100 vsize=10056 CPUtime=19.99 /proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 2184 0 0 0 1975 24 0 0 25 0 1 0 164424782 10297344 2112 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3102/statm: 2514 2112 227 40 0 1931 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 10056 [startup+30.014 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3102 /proc/meminfo: memFree=1137376/2055920 swapFree=4183200/4192956 [pid=3102] ppid=3100 vsize=13392 CPUtime=30 /proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 3026 0 0 0 2965 35 0 0 25 0 1 0 164424782 13713408 2954 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3102/statm: 3348 2954 227 40 0 2765 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 13392 [startup+40.0199 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3102 /proc/meminfo: memFree=1134176/2055920 swapFree=4183200/4192956 [pid=3102] ppid=3100 vsize=16588 CPUtime=40 /proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 3894 0 0 0 3955 45 0 0 25 0 1 0 164424782 16986112 3741 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134577207 0 0 4096 0 0 0 0 17 1 0 0 /proc/3102/statm: 4147 3741 227 40 0 3564 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 16588 [startup+50.0269 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3102 /proc/meminfo: memFree=1133280/2055920 swapFree=4183200/4192956 [pid=3102] ppid=3100 vsize=17388 CPUtime=50.01 /proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 4119 0 0 0 4947 54 0 0 25 0 1 0 164424782 17805312 3966 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 1 0 0 /proc/3102/statm: 4347 3966 227 40 0 3764 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 17388 [startup+60.0328 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3102 /proc/meminfo: memFree=1130720/2055920 swapFree=4183200/4192956 [pid=3102] ppid=3100 vsize=20028 CPUtime=60.01 /proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 4756 0 0 0 5939 62 0 0 25 0 1 0 164424782 20508672 4603 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578445 0 0 4096 0 0 0 0 17 1 0 0 /proc/3102/statm: 5007 4603 227 40 0 4424 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 20028 [startup+70.0387 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3102 /proc/meminfo: memFree=1128416/2055920 swapFree=4183200/4192956 [pid=3102] ppid=3100 vsize=22316 CPUtime=70.02 /proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 5332 0 0 0 6934 68 0 0 25 0 1 0 164424782 22851584 5179 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3102/statm: 5579 5179 227 40 0 4996 0 Current children cumulated CPU time (s) 70.02 Current children cumulated vsize (Kb) 22316 [startup+80.0446 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3102 /proc/meminfo: memFree=1126176/2055920 swapFree=4183200/4192956 [pid=3102] ppid=3100 vsize=24496 CPUtime=80.02 /proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 5896 0 0 0 7926 76 0 0 25 0 1 0 164424782 25083904 5743 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3102/statm: 6124 5743 227 40 0 5541 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 24496 [startup+90.0505 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3102 /proc/meminfo: memFree=1124064/2055920 swapFree=4183200/4192956 [pid=3102] ppid=3100 vsize=26672 CPUtime=90.02 /proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 6427 0 0 0 8920 82 0 0 25 0 1 0 164424782 27312128 6274 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3102/statm: 6668 6274 227 40 0 6085 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 26672 [startup+100.056 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3102 /proc/meminfo: memFree=1121248/2055920 swapFree=4183200/4192956 [pid=3102] ppid=3100 vsize=29492 CPUtime=100.02 /proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 7291 0 0 0 9914 88 0 0 25 0 1 0 164424782 30199808 6977 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3102/statm: 7373 6977 227 40 0 6790 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 29492 [startup+110.062 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3102 /proc/meminfo: memFree=1119200/2055920 swapFree=4183200/4192956 [pid=3102] ppid=3100 vsize=31444 CPUtime=110.03 /proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 7796 0 0 0 10908 95 0 0 25 0 1 0 164424782 32198656 7482 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578419 0 0 4096 0 0 0 0 17 1 0 0 /proc/3102/statm: 7861 7482 227 40 0 7278 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 31444 [startup+120.069 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3102 /proc/meminfo: memFree=1118624/2055920 swapFree=4183200/4192956 [pid=3102] ppid=3100 vsize=32132 CPUtime=120.03 /proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 7945 0 0 0 11904 99 0 0 25 0 1 0 164424782 32903168 7631 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578436 0 0 4096 0 0 0 0 17 1 0 0 /proc/3102/statm: 8033 7631 227 40 0 7450 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 32132 [startup+130.075 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3102 /proc/meminfo: memFree=1116896/2055920 swapFree=4183200/4192956 [pid=3102] ppid=3100 vsize=33848 CPUtime=130.03 /proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 8378 0 0 0 12899 104 0 0 25 0 1 0 164424782 34660352 8064 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578443 0 0 4096 0 0 0 0 17 1 0 0 /proc/3102/statm: 8462 8064 227 40 0 7879 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 33848 [startup+140.081 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3102 /proc/meminfo: memFree=1115296/2055920 swapFree=4183200/4192956 [pid=3102] ppid=3100 vsize=35448 CPUtime=140.03 /proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 8787 0 0 0 13894 109 0 0 25 0 1 0 164424782 36298752 8473 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578458 0 0 4096 0 0 0 0 17 1 0 0 /proc/3102/statm: 8862 8473 227 40 0 8279 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 35448 [startup+150.087 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3102 /proc/meminfo: memFree=1113568/2055920 swapFree=4183200/4192956 [pid=3102] ppid=3100 vsize=37172 CPUtime=150.04 /proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 9222 0 0 0 14889 115 0 0 25 0 1 0 164424782 38064128 8908 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 1 0 0 /proc/3102/statm: 9293 8908 227 40 0 8710 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 37172 [startup+160.093 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3102 /proc/meminfo: memFree=1111968/2055920 swapFree=4183200/4192956 [pid=3102] ppid=3100 vsize=38784 CPUtime=160.04 /proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 9620 0 0 0 15883 121 0 0 25 0 1 0 164424782 39714816 9306 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 1 0 0 /proc/3102/statm: 9696 9306 227 40 0 9113 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 38784 [startup+170.099 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3102 /proc/meminfo: memFree=1110432/2055920 swapFree=4183200/4192956 [pid=3102] ppid=3100 vsize=40276 CPUtime=170.05 /proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 9998 0 0 0 16878 127 0 0 25 0 1 0 164424782 41242624 9684 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3102/statm: 10069 9684 227 40 0 9486 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 40276 [startup+180.105 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3102 /proc/meminfo: memFree=1108896/2055920 swapFree=4183200/4192956 [pid=3102] ppid=3100 vsize=41764 CPUtime=180.05 /proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 10376 0 0 0 17874 131 0 0 25 0 1 0 164424782 42766336 10062 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134573038 0 0 4096 0 0 0 0 17 1 0 0 /proc/3102/statm: 10441 10062 227 40 0 9858 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 41764 [startup+190.111 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3102 /proc/meminfo: memFree=1108128/2055920 swapFree=4183200/4192956 [pid=3102] ppid=3100 vsize=42680 CPUtime=190.06 /proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 10578 0 0 0 18870 136 0 0 25 0 1 0 164424782 43704320 10264 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578436 0 0 4096 0 0 0 0 17 1 0 0 /proc/3102/statm: 10670 10264 227 40 0 10087 0 Current children cumulated CPU time (s) 190.06 Current children cumulated vsize (Kb) 42680 [startup+200.117 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3102 /proc/meminfo: memFree=1108064/2055920 swapFree=4183200/4192956 [pid=3102] ppid=3100 vsize=42680 CPUtime=200.06 /proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 10578 0 0 0 19866 140 0 0 25 0 1 0 164424782 43704320 10264 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578429 0 0 4096 0 0 0 0 17 1 0 0 /proc/3102/statm: 10670 10264 227 40 0 10087 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 42680 [startup+210.123 s] /proc/loadavg: 1.00 0.99 0.91 2/64 3102 ################ # More data... # ################ /proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 35788 0 0 0 177650 511 0 0 25 0 1 0 164424782 142913536 34512 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578419 0 0 4096 0 0 0 0 17 1 0 0 /proc/3102/statm: 34891 34512 227 40 0 34308 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (Kb) 139564 [startup+1783.06 s] /proc/loadavg: 1.00 1.00 0.92 2/64 3104 /proc/meminfo: memFree=1010656/2055920 swapFree=4183200/4192956 [pid=3102] ppid=3100 vsize=139680 CPUtime=1782.62 /proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 35802 0 0 0 177751 511 0 0 25 0 1 0 164424782 143032320 34526 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578429 0 0 4096 0 0 0 0 17 1 0 0 /proc/3102/statm: 34920 34526 227 40 0 34337 0 Current children cumulated CPU time (s) 1782.62 Current children cumulated vsize (Kb) 139680 [startup+1784.07 s] /proc/loadavg: 1.00 1.00 0.92 2/64 3104 /proc/meminfo: memFree=1010656/2055920 swapFree=4183200/4192956 [pid=3102] ppid=3100 vsize=139680 CPUtime=1783.63 /proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 35816 0 0 0 177851 512 0 0 25 0 1 0 164424782 143032320 34540 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578419 0 0 4096 0 0 0 0 17 1 0 0 /proc/3102/statm: 34920 34540 227 40 0 34337 0 Current children cumulated CPU time (s) 1783.63 Current children cumulated vsize (Kb) 139680 [startup+1785.07 s] /proc/loadavg: 1.00 1.00 0.92 2/64 3104 /proc/meminfo: memFree=1010592/2055920 swapFree=4183200/4192956 [pid=3102] ppid=3100 vsize=139792 CPUtime=1784.63 /proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 35829 0 0 0 177951 512 0 0 25 0 1 0 164424782 143147008 34553 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 1 0 0 /proc/3102/statm: 34948 34553 227 40 0 34365 0 Current children cumulated CPU time (s) 1784.63 Current children cumulated vsize (Kb) 139792 [startup+1786.08 s] /proc/loadavg: 1.00 1.00 0.92 2/64 3104 /proc/meminfo: memFree=1010528/2055920 swapFree=4183200/4192956 [pid=3102] ppid=3100 vsize=139792 CPUtime=1785.64 /proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 35833 0 0 0 178052 512 0 0 25 0 1 0 164424782 143147008 34557 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578419 0 0 4096 0 0 0 0 17 1 0 0 /proc/3102/statm: 34948 34557 227 40 0 34365 0 Current children cumulated CPU time (s) 1785.64 Current children cumulated vsize (Kb) 139792 [startup+1787.08 s] /proc/loadavg: 1.00 1.00 0.92 2/64 3104 /proc/meminfo: memFree=1010464/2055920 swapFree=4183200/4192956 [pid=3102] ppid=3100 vsize=139908 CPUtime=1786.64 /proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 35849 0 0 0 178152 512 0 0 25 0 1 0 164424782 143265792 34573 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 1 0 0 /proc/3102/statm: 34977 34573 227 40 0 34394 0 Current children cumulated CPU time (s) 1786.64 Current children cumulated vsize (Kb) 139908 [startup+1788.09 s] /proc/loadavg: 1.00 1.00 0.92 2/64 3104 /proc/meminfo: memFree=1010464/2055920 swapFree=4183200/4192956 [pid=3102] ppid=3100 vsize=139908 CPUtime=1787.64 /proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 35859 0 0 0 178252 512 0 0 25 0 1 0 164424782 143265792 34583 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578429 0 0 4096 0 0 0 0 17 1 0 0 /proc/3102/statm: 34977 34583 227 40 0 34394 0 Current children cumulated CPU time (s) 1787.64 Current children cumulated vsize (Kb) 139908 [startup+1789.09 s] /proc/loadavg: 1.00 1.00 0.92 2/64 3104 /proc/meminfo: memFree=1010400/2055920 swapFree=4183200/4192956 [pid=3102] ppid=3100 vsize=140020 CPUtime=1788.64 /proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 35875 0 0 0 178352 512 0 0 25 0 1 0 164424782 143380480 34599 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578068 0 0 4096 0 0 0 0 17 1 0 0 /proc/3102/statm: 35005 34599 227 40 0 34422 0 Current children cumulated CPU time (s) 1788.64 Current children cumulated vsize (Kb) 140020 [startup+1790.1 s] /proc/loadavg: 1.00 1.00 0.92 2/64 3104 /proc/meminfo: memFree=1010336/2055920 swapFree=4183200/4192956 [pid=3102] ppid=3100 vsize=140020 CPUtime=1789.66 /proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 35890 0 0 0 178453 513 0 0 25 0 1 0 164424782 143380480 34614 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578429 0 0 4096 0 0 0 0 17 1 0 0 /proc/3102/statm: 35005 34614 227 40 0 34422 0 Current children cumulated CPU time (s) 1789.66 Current children cumulated vsize (Kb) 140020 [startup+1791.1 s] /proc/loadavg: 1.00 1.00 0.92 2/64 3104 /proc/meminfo: memFree=1010272/2055920 swapFree=4183200/4192956 [pid=3102] ppid=3100 vsize=140020 CPUtime=1790.66 /proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 35902 0 0 0 178553 513 0 0 25 0 1 0 164424782 143380480 34626 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578429 0 0 4096 0 0 0 0 17 1 0 0 /proc/3102/statm: 35005 34626 227 40 0 34422 0 Current children cumulated CPU time (s) 1790.66 Current children cumulated vsize (Kb) 140020 [startup+1792.11 s] /proc/loadavg: 1.00 1.00 0.92 2/64 3104 /proc/meminfo: memFree=1010208/2055920 swapFree=4183200/4192956 [pid=3102] ppid=3100 vsize=140136 CPUtime=1791.67 /proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 35914 0 0 0 178654 513 0 0 25 0 1 0 164424782 143499264 34638 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3102/statm: 35034 34638 227 40 0 34451 0 Current children cumulated CPU time (s) 1791.67 Current children cumulated vsize (Kb) 140136 [startup+1793.11 s] /proc/loadavg: 1.00 1.00 0.92 2/64 3104 /proc/meminfo: memFree=1010208/2055920 swapFree=4183200/4192956 [pid=3102] ppid=3100 vsize=140136 CPUtime=1792.67 /proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 35925 0 0 0 178754 513 0 0 25 0 1 0 164424782 143499264 34649 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 1 0 0 /proc/3102/statm: 35034 34649 227 40 0 34451 0 Current children cumulated CPU time (s) 1792.67 Current children cumulated vsize (Kb) 140136 [startup+1794.12 s] /proc/loadavg: 1.00 1.00 0.92 2/64 3104 /proc/meminfo: memFree=1010144/2055920 swapFree=4183200/4192956 [pid=3102] ppid=3100 vsize=140136 CPUtime=1793.68 /proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 35929 0 0 0 178855 513 0 0 25 0 1 0 164424782 143499264 34653 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134573038 0 0 4096 0 0 0 0 17 1 0 0 /proc/3102/statm: 35034 34653 227 40 0 34451 0 Current children cumulated CPU time (s) 1793.68 Current children cumulated vsize (Kb) 140136 [startup+1795.12 s] /proc/loadavg: 1.00 1.00 0.92 2/64 3104 /proc/meminfo: memFree=1010144/2055920 swapFree=4183200/4192956 [pid=3102] ppid=3100 vsize=140252 CPUtime=1794.68 /proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 35941 0 0 0 178955 513 0 0 25 0 1 0 164424782 143618048 34665 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 1 0 0 /proc/3102/statm: 35063 34665 227 40 0 34480 0 Current children cumulated CPU time (s) 1794.68 Current children cumulated vsize (Kb) 140252 [startup+1796.13 s] /proc/loadavg: 1.00 1.00 0.92 2/64 3104 /proc/meminfo: memFree=1010080/2055920 swapFree=4183200/4192956 [pid=3102] ppid=3100 vsize=140252 CPUtime=1795.68 /proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 35951 0 0 0 179055 513 0 0 25 0 1 0 164424782 143618048 34675 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 1 0 0 /proc/3102/statm: 35063 34675 227 40 0 34480 0 Current children cumulated CPU time (s) 1795.68 Current children cumulated vsize (Kb) 140252 [startup+1797.13 s] /proc/loadavg: 1.00 1.00 0.92 2/64 3104 /proc/meminfo: memFree=1010016/2055920 swapFree=4183200/4192956 [pid=3102] ppid=3100 vsize=140364 CPUtime=1796.68 /proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 35967 0 0 0 179155 513 0 0 25 0 1 0 164424782 143732736 34691 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578445 0 0 4096 0 0 0 0 17 1 0 0 /proc/3102/statm: 35091 34691 227 40 0 34508 0 Current children cumulated CPU time (s) 1796.68 Current children cumulated vsize (Kb) 140364 [startup+1798.14 s] /proc/loadavg: 1.00 1.00 0.92 2/64 3104 /proc/meminfo: memFree=1010016/2055920 swapFree=4183200/4192956 [pid=3102] ppid=3100 vsize=140364 CPUtime=1797.69 /proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 35972 0 0 0 179256 513 0 0 25 0 1 0 164424782 143732736 34696 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578429 0 0 4096 0 0 0 0 17 1 0 0 /proc/3102/statm: 35091 34696 227 40 0 34508 0 Current children cumulated CPU time (s) 1797.69 Current children cumulated vsize (Kb) 140364 [startup+1799.14 s] /proc/loadavg: 1.00 1.00 0.92 2/64 3104 /proc/meminfo: memFree=1009952/2055920 swapFree=4183200/4192956 [pid=3102] ppid=3100 vsize=140364 CPUtime=1798.7 /proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 35988 0 0 0 179356 514 0 0 25 0 1 0 164424782 143732736 34712 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134572864 0 0 4096 0 0 0 0 17 1 0 0 /proc/3102/statm: 35091 34712 227 40 0 34508 0 Current children cumulated CPU time (s) 1798.7 Current children cumulated vsize (Kb) 140364 [startup+1800.15 s] /proc/loadavg: 1.00 1.00 0.92 2/64 3104 /proc/meminfo: memFree=1009888/2055920 swapFree=4183200/4192956 [pid=3102] ppid=3100 vsize=140480 CPUtime=1799.7 /proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 35994 0 0 0 179456 514 0 0 25 0 1 0 164424782 143851520 34718 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134572891 0 0 4096 0 0 0 0 17 1 0 0 /proc/3102/statm: 35120 34718 227 40 0 34537 0 Current children cumulated CPU time (s) 1799.7 Current children cumulated vsize (Kb) 140480 [startup+1801.15 s] /proc/loadavg: 1.00 1.00 0.92 2/64 3104 /proc/meminfo: memFree=1009888/2055920 swapFree=4183200/4192956 [pid=3102] ppid=3100 vsize=140480 CPUtime=1800.7 /proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 36006 0 0 0 179556 514 0 0 25 0 1 0 164424782 143851520 34730 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578458 0 0 4096 0 0 0 0 17 1 0 0 /proc/3102/statm: 35120 34730 227 40 0 34537 0 Current children cumulated CPU time (s) 1800.7 Current children cumulated vsize (Kb) 140480 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.16 s] /proc/loadavg: 1.00 1.00 0.92 2/64 3104 /proc/meminfo: memFree=1009888/2055920 swapFree=4183200/4192956 [pid=3102] ppid=3100 vsize=140480 CPUtime=1800.71 /proc/3102/stat : 3102 (glpPBv3) R 3100 3102 3053 0 -1 0 36006 0 0 0 179557 514 0 0 25 0 1 0 164424782 143851520 34730 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578419 0 0 4096 0 0 0 0 17 1 0 0 /proc/3102/statm: 35120 34730 227 40 0 34537 0 Current children cumulated CPU time (s) 1800.71 Current children cumulated vsize (Kb) 140480 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.18 CPU time (s): 1800.74 CPU user time (s): 1795.57 CPU system time (s): 5.16821 CPU usage (%): 99.9755 Max. virtual memory (cumulated for all children) (Kb): 140480 The end
Begin job on node39 on Sat Jul 29 12:18:56 UTC 2006 FILE ID= 85841-1154175536 PBS_JOBID= 893615 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node39/85841-1154175536/instance-85841-1154175536.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-85841-1154175536 -o ROOT/results/node39/solver-85841-1154175536 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node39/85841-1154175536/instance-85841-1154175536.opb MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff MD5SUM BENCH= a70b0edfadf87ffd0bc1b32400cae43b RANDOM SEED= 202372292 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.214 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.214 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: 1148520 kB Buffers: 43068 kB Cached: 786964 kB SwapCached: 3648 kB Active: 151692 kB Inactive: 687056 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1148520 kB SwapTotal: 4192956 kB SwapFree: 4183200 kB Dirty: 176 kB Writeback: 0 kB Mapped: 14724 kB Slab: 54708 kB Committed_AS: 736300 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 node39 on Sat Jul 29 12:48:57 UTC 2006