Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
glpPB 0.2 | ? (TO) | 1800.59 | 1801.17 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_8_70_2.opb |
MD5SUM | ccdf85c0efcf9b688264aa74ef25462f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 71 |
Total number of constraints | 17 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 16 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 70 |
Number of terms in the objective function | 1 |
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 | 1 |
Number of bits of the sum of numbers in the objective function | 1 |
Biggest number in a constraint | 1943 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 5830 |
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/node4/watcher-85815-1154174987 -o ROOT/results/node4/solver-85815-1154174987 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node4/85815-1154174987/instance-85815-1154174987.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.91 2/64 30480 /proc/meminfo: memFree=1233920/2055920 swapFree=4183140/4192956 [pid=30480] ppid=30478 vsize=2424 CPUtime=0 /proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 115 0 0 0 0 0 0 0 18 0 1 0 164360159 2482176 97 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 10592344 0 0 4096 0 0 0 0 17 1 0 0 /proc/30480/statm: 606 106 92 40 0 11 0 [startup+10.0027 s] /proc/loadavg: 0.93 0.96 0.91 2/64 30480 /proc/meminfo: memFree=1231552/2055920 swapFree=4183140/4192956 [pid=30480] ppid=30478 vsize=4676 CPUtime=9.99 /proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 817 0 0 0 982 17 0 0 25 0 1 0 164360159 4788224 786 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30480/statm: 1169 786 227 40 0 586 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 4676 [startup+20.0084 s] /proc/loadavg: 0.94 0.96 0.91 2/64 30480 /proc/meminfo: memFree=1229888/2055920 swapFree=4183140/4192956 [pid=30480] ppid=30478 vsize=6364 CPUtime=20 /proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 1280 0 0 0 1967 33 0 0 25 0 1 0 164360159 6516736 1208 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30480/statm: 1591 1208 227 40 0 1008 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 6364 [startup+30.0142 s] /proc/loadavg: 0.95 0.96 0.91 2/64 30480 /proc/meminfo: memFree=1228480/2055920 swapFree=4183140/4192956 [pid=30480] ppid=30478 vsize=7776 CPUtime=30 /proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 1633 0 0 0 2951 49 0 0 25 0 1 0 164360159 7962624 1561 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30480/statm: 1944 1561 227 40 0 1361 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 7776 [startup+40.02 s] /proc/loadavg: 0.95 0.96 0.91 2/64 30480 /proc/meminfo: memFree=1226432/2055920 swapFree=4183140/4192956 [pid=30480] ppid=30478 vsize=9860 CPUtime=40 /proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 2233 0 0 0 3938 62 0 0 25 0 1 0 164360159 10096640 2080 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30480/statm: 2465 2080 227 40 0 1882 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 9860 [startup+50.0257 s] /proc/loadavg: 0.96 0.96 0.91 2/64 30480 /proc/meminfo: memFree=1225088/2055920 swapFree=4183140/4192956 [pid=30480] ppid=30478 vsize=11268 CPUtime=50 /proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 2568 0 0 0 4928 72 0 0 25 0 1 0 164360159 11538432 2415 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/30480/statm: 2817 2415 227 40 0 2234 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 11268 [startup+60.0315 s] /proc/loadavg: 0.97 0.96 0.91 2/64 30480 /proc/meminfo: memFree=1223872/2055920 swapFree=4183140/4192956 [pid=30480] ppid=30478 vsize=12444 CPUtime=60 /proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 2865 0 0 0 5918 82 0 0 25 0 1 0 164360159 12742656 2712 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/30480/statm: 3111 2712 227 40 0 2528 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 12444 [startup+70.0372 s] /proc/loadavg: 0.97 0.96 0.91 2/64 30480 /proc/meminfo: memFree=1222848/2055920 swapFree=4183140/4192956 [pid=30480] ppid=30478 vsize=13504 CPUtime=70.01 /proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 3128 0 0 0 6910 91 0 0 25 0 1 0 164360159 13828096 2975 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30480/statm: 3376 2975 227 40 0 2793 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 13504 [startup+80.043 s] /proc/loadavg: 0.98 0.96 0.91 2/64 30480 /proc/meminfo: memFree=1221056/2055920 swapFree=4183140/4192956 [pid=30480] ppid=30478 vsize=15200 CPUtime=80 /proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 3735 0 0 0 7900 100 0 0 25 0 1 0 164360159 15564800 3421 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30480/statm: 3800 3421 227 40 0 3217 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 15200 [startup+90.0488 s] /proc/loadavg: 0.98 0.96 0.91 2/64 30480 /proc/meminfo: memFree=1220096/2055920 swapFree=4183140/4192956 [pid=30480] ppid=30478 vsize=16140 CPUtime=90.01 /proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 3964 0 0 0 8893 108 0 0 25 0 1 0 164360159 16527360 3650 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30480/statm: 4035 3650 227 40 0 3452 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 16140 [startup+100.055 s] /proc/loadavg: 0.98 0.96 0.91 2/64 30480 /proc/meminfo: memFree=1219200/2055920 swapFree=4183140/4192956 [pid=30480] ppid=30478 vsize=17080 CPUtime=100.01 /proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 4185 0 0 0 9884 117 0 0 25 0 1 0 164360159 17489920 3871 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30480/statm: 4270 3871 227 40 0 3687 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 17080 [startup+110.06 s] /proc/loadavg: 0.98 0.97 0.91 2/64 30480 /proc/meminfo: memFree=1218176/2055920 swapFree=4183140/4192956 [pid=30480] ppid=30478 vsize=18020 CPUtime=110.01 /proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 4440 0 0 0 10877 124 0 0 25 0 1 0 164360159 18452480 4126 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/30480/statm: 4505 4126 227 40 0 3922 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 18020 [startup+120.066 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30480 /proc/meminfo: memFree=1217536/2055920 swapFree=4183140/4192956 [pid=30480] ppid=30478 vsize=18728 CPUtime=120.02 /proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 4611 0 0 0 11871 131 0 0 25 0 1 0 164360159 19177472 4297 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/30480/statm: 4682 4297 227 40 0 4099 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 18728 [startup+130.072 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30480 /proc/meminfo: memFree=1216704/2055920 swapFree=4183140/4192956 [pid=30480] ppid=30478 vsize=19548 CPUtime=130.02 /proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 4806 0 0 0 12865 137 0 0 25 0 1 0 164360159 20017152 4492 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30480/statm: 4887 4492 227 40 0 4304 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 19548 [startup+140.078 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30480 /proc/meminfo: memFree=1216000/2055920 swapFree=4183140/4192956 [pid=30480] ppid=30478 vsize=20256 CPUtime=140.02 /proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 4991 0 0 0 13859 143 0 0 25 0 1 0 164360159 20742144 4677 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/30480/statm: 5064 4677 227 40 0 4481 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 20256 [startup+150.083 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30480 /proc/meminfo: memFree=1215168/2055920 swapFree=4183140/4192956 [pid=30480] ppid=30478 vsize=21076 CPUtime=150.02 /proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 5186 0 0 0 14852 150 0 0 25 0 1 0 164360159 21581824 4872 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/30480/statm: 5269 4872 227 40 0 4686 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 21076 [startup+160.089 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30480 /proc/meminfo: memFree=1214528/2055920 swapFree=4183140/4192956 [pid=30480] ppid=30478 vsize=21664 CPUtime=160.03 /proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 5349 0 0 0 15847 156 0 0 25 0 1 0 164360159 22183936 5035 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/30480/statm: 5416 5035 227 40 0 4833 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 21664 [startup+170.095 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30480 /proc/meminfo: memFree=1213824/2055920 swapFree=4183140/4192956 [pid=30480] ppid=30478 vsize=22372 CPUtime=170.02 /proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 5519 0 0 0 16840 162 0 0 25 0 1 0 164360159 22908928 5205 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/30480/statm: 5593 5205 227 40 0 5010 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 22372 [startup+180.102 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30480 /proc/meminfo: memFree=1213184/2055920 swapFree=4183140/4192956 [pid=30480] ppid=30478 vsize=23076 CPUtime=180.03 /proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 5682 0 0 0 17834 169 0 0 25 0 1 0 164360159 23629824 5368 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30480/statm: 5769 5368 227 40 0 5186 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 23076 [startup+190.108 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30480 /proc/meminfo: memFree=1212544/2055920 swapFree=4183140/4192956 [pid=30480] ppid=30478 vsize=23664 CPUtime=190.04 /proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 5839 0 0 0 18829 175 0 0 25 0 1 0 164360159 24231936 5525 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30480/statm: 5916 5525 227 40 0 5333 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 23664 [startup+200.115 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30480 /proc/meminfo: memFree=1211840/2055920 swapFree=4183140/4192956 [pid=30480] ppid=30478 vsize=24368 CPUtime=200.04 /proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 6009 0 0 0 19823 181 0 0 25 0 1 0 164360159 24952832 5695 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578266 0 0 4096 0 0 0 0 17 1 0 0 /proc/30480/statm: 6092 5695 227 40 0 5509 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 24368 [startup+210.122 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30480 ################ # More data... # ################ /proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 19509 0 0 0 177499 648 0 0 25 0 1 0 164360159 76316672 18233 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/30480/statm: 18632 18233 227 40 0 18049 0 Current children cumulated CPU time (s) 1781.47 Current children cumulated vsize (Kb) 74528 [startup+1783.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30480 /proc/meminfo: memFree=1161344/2055920 swapFree=4183140/4192956 [pid=30480] ppid=30478 vsize=74528 CPUtime=1782.47 /proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 19515 0 0 0 177599 648 0 0 25 0 1 0 164360159 76316672 18239 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/30480/statm: 18632 18239 227 40 0 18049 0 Current children cumulated CPU time (s) 1782.47 Current children cumulated vsize (Kb) 74528 [startup+1784.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30480 /proc/meminfo: memFree=1161344/2055920 swapFree=4183140/4192956 [pid=30480] ppid=30478 vsize=74528 CPUtime=1783.48 /proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 19523 0 0 0 177699 649 0 0 25 0 1 0 164360159 76316672 18247 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/30480/statm: 18632 18247 227 40 0 18049 0 Current children cumulated CPU time (s) 1783.48 Current children cumulated vsize (Kb) 74528 [startup+1785.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30480 /proc/meminfo: memFree=1161280/2055920 swapFree=4183140/4192956 [pid=30480] ppid=30478 vsize=74644 CPUtime=1784.49 /proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 19532 0 0 0 177800 649 0 0 25 0 1 0 164360159 76435456 18256 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578243 0 0 4096 0 0 0 0 17 1 0 0 /proc/30480/statm: 18661 18256 227 40 0 18078 0 Current children cumulated CPU time (s) 1784.49 Current children cumulated vsize (Kb) 74644 [startup+1786.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30480 /proc/meminfo: memFree=1161280/2055920 swapFree=4183140/4192956 [pid=30480] ppid=30478 vsize=74644 CPUtime=1785.49 /proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 19540 0 0 0 177900 649 0 0 25 0 1 0 164360159 76435456 18264 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/30480/statm: 18661 18264 227 40 0 18078 0 Current children cumulated CPU time (s) 1785.49 Current children cumulated vsize (Kb) 74644 [startup+1787.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30480 /proc/meminfo: memFree=1161216/2055920 swapFree=4183140/4192956 [pid=30480] ppid=30478 vsize=74644 CPUtime=1786.49 /proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 19550 0 0 0 178000 649 0 0 25 0 1 0 164360159 76435456 18274 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30480/statm: 18661 18274 227 40 0 18078 0 Current children cumulated CPU time (s) 1786.49 Current children cumulated vsize (Kb) 74644 [startup+1788.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30480 /proc/meminfo: memFree=1161216/2055920 swapFree=4183140/4192956 [pid=30480] ppid=30478 vsize=74644 CPUtime=1787.5 /proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 19556 0 0 0 178101 649 0 0 25 0 1 0 164360159 76435456 18280 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30480/statm: 18661 18280 227 40 0 18078 0 Current children cumulated CPU time (s) 1787.5 Current children cumulated vsize (Kb) 74644 [startup+1789.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30480 /proc/meminfo: memFree=1161152/2055920 swapFree=4183140/4192956 [pid=30480] ppid=30478 vsize=74760 CPUtime=1788.5 /proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 19573 0 0 0 178201 649 0 0 25 0 1 0 164360159 76554240 18297 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/30480/statm: 18690 18297 227 40 0 18107 0 Current children cumulated CPU time (s) 1788.5 Current children cumulated vsize (Kb) 74760 [startup+1790.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30480 /proc/meminfo: memFree=1161088/2055920 swapFree=4183140/4192956 [pid=30480] ppid=30478 vsize=74760 CPUtime=1789.51 /proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 19581 0 0 0 178301 650 0 0 25 0 1 0 164360159 76554240 18305 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578266 0 0 4096 0 0 0 0 17 1 0 0 /proc/30480/statm: 18690 18305 227 40 0 18107 0 Current children cumulated CPU time (s) 1789.51 Current children cumulated vsize (Kb) 74760 [startup+1791.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30480 /proc/meminfo: memFree=1161088/2055920 swapFree=4183140/4192956 [pid=30480] ppid=30478 vsize=74760 CPUtime=1790.51 /proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 19587 0 0 0 178401 650 0 0 25 0 1 0 164360159 76554240 18311 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/30480/statm: 18690 18311 227 40 0 18107 0 Current children cumulated CPU time (s) 1790.51 Current children cumulated vsize (Kb) 74760 [startup+1792.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30480 /proc/meminfo: memFree=1161024/2055920 swapFree=4183140/4192956 [pid=30480] ppid=30478 vsize=74880 CPUtime=1791.51 /proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 19595 0 0 0 178501 650 0 0 25 0 1 0 164360159 76677120 18319 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/30480/statm: 18720 18319 227 40 0 18137 0 Current children cumulated CPU time (s) 1791.51 Current children cumulated vsize (Kb) 74880 [startup+1793.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30480 /proc/meminfo: memFree=1161024/2055920 swapFree=4183140/4192956 [pid=30480] ppid=30478 vsize=74880 CPUtime=1792.52 /proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 19597 0 0 0 178602 650 0 0 25 0 1 0 164360159 76677120 18321 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/30480/statm: 18720 18321 227 40 0 18137 0 Current children cumulated CPU time (s) 1792.52 Current children cumulated vsize (Kb) 74880 [startup+1794.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30480 /proc/meminfo: memFree=1161024/2055920 swapFree=4183140/4192956 [pid=30480] ppid=30478 vsize=74880 CPUtime=1793.53 /proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 19607 0 0 0 178702 651 0 0 25 0 1 0 164360159 76677120 18331 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578243 0 0 4096 0 0 0 0 17 1 0 0 /proc/30480/statm: 18720 18331 227 40 0 18137 0 Current children cumulated CPU time (s) 1793.53 Current children cumulated vsize (Kb) 74880 [startup+1795.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30480 /proc/meminfo: memFree=1160960/2055920 swapFree=4183140/4192956 [pid=30480] ppid=30478 vsize=74880 CPUtime=1794.53 /proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 19613 0 0 0 178802 651 0 0 25 0 1 0 164360159 76677120 18337 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30480/statm: 18720 18337 227 40 0 18137 0 Current children cumulated CPU time (s) 1794.53 Current children cumulated vsize (Kb) 74880 [startup+1796.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30480 /proc/meminfo: memFree=1160896/2055920 swapFree=4183140/4192956 [pid=30480] ppid=30478 vsize=74996 CPUtime=1795.54 /proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 19624 0 0 0 178902 652 0 0 25 0 1 0 164360159 76795904 18348 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/30480/statm: 18749 18348 227 40 0 18166 0 Current children cumulated CPU time (s) 1795.54 Current children cumulated vsize (Kb) 74996 [startup+1797.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30480 /proc/meminfo: memFree=1160896/2055920 swapFree=4183140/4192956 [pid=30480] ppid=30478 vsize=74996 CPUtime=1796.54 /proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 19628 0 0 0 179002 652 0 0 25 0 1 0 164360159 76795904 18352 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578241 0 0 4096 0 0 0 0 17 1 0 0 /proc/30480/statm: 18749 18352 227 40 0 18166 0 Current children cumulated CPU time (s) 1796.54 Current children cumulated vsize (Kb) 74996 [startup+1798.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30480 /proc/meminfo: memFree=1160896/2055920 swapFree=4183140/4192956 [pid=30480] ppid=30478 vsize=74996 CPUtime=1797.54 /proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 19638 0 0 0 179102 652 0 0 25 0 1 0 164360159 76795904 18362 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/30480/statm: 18749 18362 227 40 0 18166 0 Current children cumulated CPU time (s) 1797.54 Current children cumulated vsize (Kb) 74996 [startup+1799.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30480 /proc/meminfo: memFree=1160832/2055920 swapFree=4183140/4192956 [pid=30480] ppid=30478 vsize=75116 CPUtime=1798.55 /proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 19650 0 0 0 179202 653 0 0 25 0 1 0 164360159 76918784 18374 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/30480/statm: 18779 18374 227 40 0 18196 0 Current children cumulated CPU time (s) 1798.55 Current children cumulated vsize (Kb) 75116 [startup+1800.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30480 /proc/meminfo: memFree=1160832/2055920 swapFree=4183140/4192956 [pid=30480] ppid=30478 vsize=75116 CPUtime=1799.55 /proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 19654 0 0 0 179302 653 0 0 25 0 1 0 164360159 76918784 18378 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578266 0 0 4096 0 0 0 0 17 1 0 0 /proc/30480/statm: 18779 18378 227 40 0 18196 0 Current children cumulated CPU time (s) 1799.55 Current children cumulated vsize (Kb) 75116 [startup+1801.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30480 /proc/meminfo: memFree=1160768/2055920 swapFree=4183140/4192956 [pid=30480] ppid=30478 vsize=75116 CPUtime=1800.56 /proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 19660 0 0 0 179403 653 0 0 25 0 1 0 164360159 76918784 18384 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578251 0 0 4096 0 0 0 0 17 1 0 0 /proc/30480/statm: 18779 18384 227 40 0 18196 0 Current children cumulated CPU time (s) 1800.56 Current children cumulated vsize (Kb) 75116 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30480 /proc/meminfo: memFree=1160768/2055920 swapFree=4183140/4192956 [pid=30480] ppid=30478 vsize=75116 CPUtime=1800.56 /proc/30480/stat : 30480 (glpPBv3) R 30478 30480 30431 0 -1 0 19660 0 0 0 179403 653 0 0 25 0 1 0 164360159 76918784 18384 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/30480/statm: 18779 18384 227 40 0 18196 0 Current children cumulated CPU time (s) 1800.56 Current children cumulated vsize (Kb) 75116 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.17 CPU time (s): 1800.59 CPU user time (s): 1794.04 CPU system time (s): 6.55 CPU usage (%): 99.9674 Max. virtual memory (cumulated for all children) (Kb): 75116 The end
Begin job on node4 on Sat Jul 29 12:09:47 UTC 2006 FILE ID= 85815-1154174987 PBS_JOBID= 893589 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node4/85815-1154174987/instance-85815-1154174987.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-85815-1154174987 -o ROOT/results/node4/solver-85815-1154174987 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node4/85815-1154174987/instance-85815-1154174987.opb MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff MD5SUM BENCH= ccdf85c0efcf9b688264aa74ef25462f RANDOM SEED= 22995561 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: 1234128 kB Buffers: 24568 kB Cached: 718380 kB SwapCached: 3692 kB Active: 155320 kB Inactive: 596320 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1234128 kB SwapTotal: 4192956 kB SwapFree: 4183140 kB Dirty: 208 kB Writeback: 0 kB Mapped: 14764 kB Slab: 56176 kB Committed_AS: 679888 kB PageTables: 1496 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node4 on Sat Jul 29 12:39:48 UTC 2006