Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
glpPB 0.2 | ? (TO) | 1800.67 | 1801.3 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-p2756.opb |
MD5SUM | 54b9b4de78a7992fd69d0caeed32daef |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 4666 |
Best CPU time to get the best result obtained on this benchmark | 1800.71 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3695 |
Optimality of the best value was proved | NO |
Number of variables | 2756 |
Total number of constraints | 749 |
Number of constraints which are clauses | 132 |
Number of constraints which are cardinality constraints (but not clauses) | 220 |
Number of constraints which are nor clauses,nor cardinality constraints | 397 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 546 |
Number of terms in the objective function | 2166 |
Biggest coefficient in the objective function | 11000 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 321831 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 11000 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 321831 |
Number of bits of the biggest sum of numbers | 19 |
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/node10/watcher-85169-1154165941 -o ROOT/results/node10/solver-85169-1154165941 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node10/85169-1154165941/instance-85169-1154165941.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 0.92 3/64 8199 /proc/meminfo: memFree=1841056/2055920 swapFree=4182612/4192956 [pid=8199] ppid=8197 vsize=2664 CPUtime=0 /proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 259 0 0 0 0 0 0 0 18 0 1 0 163455283 2727936 229 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 9371351 0 0 4096 0 0 0 0 17 1 0 0 /proc/8199/statm: 666 229 192 40 0 83 0 [startup+10.0026 s] /proc/loadavg: 1.00 1.00 0.92 2/64 8199 /proc/meminfo: memFree=1838120/2055920 swapFree=4182612/4192956 [pid=8199] ppid=8197 vsize=5084 CPUtime=10 /proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 23913 0 0 0 989 11 0 0 25 0 1 0 163455283 5206016 898 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542153 0 0 4096 0 0 0 0 17 1 0 0 /proc/8199/statm: 1271 898 227 40 0 688 0 Current children cumulated CPU time (s) 10 Current children cumulated vsize (Kb) 5084 [startup+20.009 s] /proc/loadavg: 1.00 1.00 0.92 2/64 8199 /proc/meminfo: memFree=1837736/2055920 swapFree=4182612/4192956 [pid=8199] ppid=8197 vsize=5788 CPUtime=20 /proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 106383 0 0 0 1960 40 0 0 25 0 1 0 163455283 5926912 1064 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 9371351 0 0 4096 0 0 0 0 17 1 0 0 /proc/8199/statm: 1483 1071 227 40 0 900 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 5788 [startup+30.0164 s] /proc/loadavg: 1.00 1.00 0.92 2/64 8199 /proc/meminfo: memFree=1837416/2055920 swapFree=4182612/4192956 [pid=8199] ppid=8197 vsize=5776 CPUtime=30 /proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 191783 0 0 0 2931 69 0 0 25 0 1 0 163455283 5914624 1071 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542173 0 0 4096 0 0 0 0 17 1 0 0 /proc/8199/statm: 1444 1071 227 40 0 861 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 5776 [startup+40.0227 s] /proc/loadavg: 1.00 1.00 0.92 2/64 8199 /proc/meminfo: memFree=1835688/2055920 swapFree=4182612/4192956 [pid=8199] ppid=8197 vsize=7724 CPUtime=40 /proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 273413 0 0 0 3900 100 0 0 25 0 1 0 163455283 7909376 1554 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134557995 0 0 4096 0 0 0 0 17 1 0 0 /proc/8199/statm: 1931 1554 227 40 0 1348 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 7724 [startup+50.0291 s] /proc/loadavg: 1.00 1.00 0.92 2/64 8199 /proc/meminfo: memFree=1832936/2055920 swapFree=4182612/4192956 [pid=8199] ppid=8197 vsize=10256 CPUtime=50 /proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 357174 0 0 0 4870 130 0 0 25 0 1 0 163455283 10502144 2191 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629263 0 0 4096 0 0 0 0 17 1 0 0 /proc/8199/statm: 2564 2191 227 40 0 1981 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 10256 [startup+60.0354 s] /proc/loadavg: 1.00 1.00 0.92 2/64 8199 /proc/meminfo: memFree=1830312/2055920 swapFree=4182612/4192956 [pid=8199] ppid=8197 vsize=13120 CPUtime=60.01 /proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 441509 0 0 0 5835 166 0 0 25 0 1 0 163455283 13434880 2904 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542220 0 0 4096 0 0 0 0 17 1 0 0 /proc/8199/statm: 3280 2904 227 40 0 2697 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 13120 [startup+70.0418 s] /proc/loadavg: 1.00 1.00 0.92 2/64 8199 /proc/meminfo: memFree=1827688/2055920 swapFree=4182612/4192956 [pid=8199] ppid=8197 vsize=15476 CPUtime=70.01 /proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 526127 0 0 0 6806 195 0 0 25 0 1 0 163455283 15847424 3496 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543497 0 0 4096 0 0 0 0 17 1 0 0 /proc/8199/statm: 3869 3496 227 40 0 3286 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 15476 [startup+80.0482 s] /proc/loadavg: 1.00 1.00 0.92 2/64 8199 /proc/meminfo: memFree=1825320/2055920 swapFree=4182612/4192956 [pid=8199] ppid=8197 vsize=17896 CPUtime=80.02 /proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 609098 0 0 0 7775 227 0 0 25 0 1 0 163455283 18325504 4101 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543232 0 0 4096 0 0 0 0 17 1 0 0 /proc/8199/statm: 4474 4101 227 40 0 3891 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 17896 [startup+90.0545 s] /proc/loadavg: 1.00 1.00 0.92 2/64 8199 /proc/meminfo: memFree=1823016/2055920 swapFree=4182612/4192956 [pid=8199] ppid=8197 vsize=20316 CPUtime=90.02 /proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 694010 0 0 0 8743 259 0 0 25 0 1 0 163455283 20803584 4674 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 9371351 0 0 4096 0 0 0 0 17 1 0 0 /proc/8199/statm: 5079 4674 227 40 0 4496 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 20316 [startup+100.06 s] /proc/loadavg: 1.00 1.00 0.92 2/64 8199 /proc/meminfo: memFree=1820328/2055920 swapFree=4182612/4192956 [pid=8199] ppid=8197 vsize=22980 CPUtime=100.02 /proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 776656 0 0 0 9715 287 0 0 25 0 1 0 163455283 23531520 5357 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542272 0 0 4096 0 0 0 0 17 1 0 0 /proc/8199/statm: 5745 5357 227 40 0 5162 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 22980 [startup+110.066 s] /proc/loadavg: 1.00 1.00 0.92 2/64 8199 /proc/meminfo: memFree=1817576/2055920 swapFree=4182612/4192956 [pid=8199] ppid=8197 vsize=25512 CPUtime=110.02 /proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 861343 0 0 0 10687 315 0 0 25 0 1 0 163455283 26124288 6005 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542131 0 0 4096 0 0 0 0 17 1 0 0 /proc/8199/statm: 6378 6005 227 40 0 5795 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 25512 [startup+120.073 s] /proc/loadavg: 1.00 1.00 0.92 2/64 8199 /proc/meminfo: memFree=1814952/2055920 swapFree=4182612/4192956 [pid=8199] ppid=8197 vsize=28184 CPUtime=120.03 /proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 944394 0 0 0 11657 346 0 0 25 0 1 0 163455283 28860416 6673 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134537551 0 0 4096 0 0 0 0 17 1 0 0 /proc/8199/statm: 7046 6673 227 40 0 6463 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 28184 [startup+130.079 s] /proc/loadavg: 1.00 1.00 0.92 2/64 8199 /proc/meminfo: memFree=1812712/2055920 swapFree=4182612/4192956 [pid=8199] ppid=8197 vsize=30772 CPUtime=130.03 /proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 1027559 0 0 0 12626 377 0 0 25 0 1 0 163455283 31510528 7308 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8199/statm: 7693 7308 249 40 0 7110 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 30772 [startup+140.085 s] /proc/loadavg: 1.00 1.00 0.92 2/64 8199 /proc/meminfo: memFree=1810344/2055920 swapFree=4182612/4192956 [pid=8199] ppid=8197 vsize=32664 CPUtime=140.04 /proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 1110932 0 0 0 13594 410 0 0 25 0 1 0 163455283 33447936 7793 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643691 0 0 4096 0 0 0 0 17 1 0 0 /proc/8199/statm: 8166 7793 227 40 0 7583 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 32664 [startup+150.092 s] /proc/loadavg: 1.00 1.00 0.92 2/64 8199 /proc/meminfo: memFree=1808104/2055920 swapFree=4182612/4192956 [pid=8199] ppid=8197 vsize=34920 CPUtime=150.04 /proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 1194242 0 0 0 14562 442 0 0 25 0 1 0 163455283 35758080 8357 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629246 0 0 4096 0 0 0 0 17 1 0 0 /proc/8199/statm: 8730 8357 227 40 0 8147 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 34920 [startup+160.097 s] /proc/loadavg: 1.00 1.00 0.92 2/64 8199 /proc/meminfo: memFree=1805928/2055920 swapFree=4182612/4192956 [pid=8199] ppid=8197 vsize=37472 CPUtime=160.04 /proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 1276189 0 0 0 15531 473 0 0 25 0 1 0 163455283 38371328 8992 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134585307 0 0 4096 0 0 0 0 17 1 0 0 /proc/8199/statm: 9368 8992 227 40 0 8785 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 37472 [startup+170.103 s] /proc/loadavg: 1.00 1.00 0.92 2/64 8199 /proc/meminfo: memFree=1804136/2055920 swapFree=4182612/4192956 [pid=8199] ppid=8197 vsize=39004 CPUtime=170.04 /proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 1356248 0 0 0 16497 507 0 0 25 0 1 0 163455283 39940096 9378 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542173 0 0 4096 0 0 0 0 17 1 0 0 /proc/8199/statm: 9751 9378 227 40 0 9168 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 39004 [startup+180.11 s] /proc/loadavg: 1.00 1.00 0.92 2/64 8199 /proc/meminfo: memFree=1801384/2055920 swapFree=4182612/4192956 [pid=8199] ppid=8197 vsize=41884 CPUtime=180.05 /proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 1437785 0 0 0 17467 538 0 0 25 0 1 0 163455283 42889216 10083 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 9371351 0 0 4096 0 0 0 0 17 1 0 0 /proc/8199/statm: 10471 10083 227 40 0 9888 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 41884 [startup+190.116 s] /proc/loadavg: 1.00 1.00 0.92 2/64 8201 /proc/meminfo: memFree=1798696/2055920 swapFree=4182612/4192956 [pid=8199] ppid=8197 vsize=44740 CPUtime=190.05 /proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 1520216 0 0 0 18435 570 0 0 25 0 1 0 163455283 45813760 10800 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134638621 0 0 4096 0 0 0 0 17 1 0 0 /proc/8199/statm: 11185 10800 227 40 0 10602 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 44740 [startup+200.123 s] /proc/loadavg: 1.00 1.00 0.92 2/64 8201 /proc/meminfo: memFree=1797416/2055920 swapFree=4182612/4192956 [pid=8199] ppid=8197 vsize=45712 CPUtime=200.06 /proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 1601282 0 0 0 19404 602 0 0 25 0 1 0 163455283 46809088 11055 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542131 0 0 4096 0 0 0 0 17 1 0 0 /proc/8199/statm: 11428 11055 227 40 0 10845 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 45712 [startup+210.131 s] /proc/loadavg: 1.00 1.00 0.92 2/64 8201 ################ # More data... # ################ /proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 13733168 0 0 0 172979 5171 0 0 25 0 1 0 163455283 403394560 98112 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542173 0 0 4096 0 0 0 0 17 1 0 0 /proc/8199/statm: 98485 98112 227 40 0 97902 0 Current children cumulated CPU time (s) 1781.5 Current children cumulated vsize (Kb) 393940 [startup+1783.14 s] /proc/loadavg: 1.00 1.00 0.92 2/64 8399 /proc/meminfo: memFree=1447784/2055920 swapFree=4182612/4192956 [pid=8199] ppid=8197 vsize=394136 CPUtime=1782.51 /proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 13740270 0 0 0 173078 5173 0 0 25 0 1 0 163455283 403595264 98161 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8199/statm: 98534 98161 227 40 0 97951 0 Current children cumulated CPU time (s) 1782.51 Current children cumulated vsize (Kb) 394136 [startup+1784.14 s] /proc/loadavg: 1.00 1.00 0.92 2/64 8399 /proc/meminfo: memFree=1447592/2055920 swapFree=4182612/4192956 [pid=8199] ppid=8197 vsize=394292 CPUtime=1783.52 /proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 13747280 0 0 0 173175 5177 0 0 25 0 1 0 163455283 403755008 98200 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8199/statm: 98573 98200 227 40 0 97990 0 Current children cumulated CPU time (s) 1783.52 Current children cumulated vsize (Kb) 394292 [startup+1785.15 s] /proc/loadavg: 1.00 1.00 0.92 2/64 8399 /proc/meminfo: memFree=1447400/2055920 swapFree=4182612/4192956 [pid=8199] ppid=8197 vsize=394520 CPUtime=1784.52 /proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 13754635 0 0 0 173273 5179 0 0 25 0 1 0 163455283 403988480 98257 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134534936 0 0 4096 0 0 0 0 17 1 0 0 /proc/8199/statm: 98630 98257 227 40 0 98047 0 Current children cumulated CPU time (s) 1784.52 Current children cumulated vsize (Kb) 394520 [startup+1786.15 s] /proc/loadavg: 1.00 1.00 0.92 2/64 8399 /proc/meminfo: memFree=1447080/2055920 swapFree=4182612/4192956 [pid=8199] ppid=8197 vsize=394708 CPUtime=1785.52 /proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 13761898 0 0 0 173370 5182 0 0 25 0 1 0 163455283 404180992 98304 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134534707 0 0 4096 0 0 0 0 17 1 0 0 /proc/8199/statm: 98677 98304 227 40 0 98094 0 Current children cumulated CPU time (s) 1785.52 Current children cumulated vsize (Kb) 394708 [startup+1787.16 s] /proc/loadavg: 1.00 1.00 0.92 2/64 8399 /proc/meminfo: memFree=1446888/2055920 swapFree=4182612/4192956 [pid=8199] ppid=8197 vsize=395004 CPUtime=1786.52 /proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 13769194 0 0 0 173468 5184 0 0 25 0 1 0 163455283 404484096 98378 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542146 0 0 4096 0 0 0 0 17 1 0 0 /proc/8199/statm: 98751 98378 227 40 0 98168 0 Current children cumulated CPU time (s) 1786.52 Current children cumulated vsize (Kb) 395004 [startup+1788.16 s] /proc/loadavg: 1.00 1.00 0.92 2/64 8399 /proc/meminfo: memFree=1446696/2055920 swapFree=4182612/4192956 [pid=8199] ppid=8197 vsize=395664 CPUtime=1787.53 /proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 13776383 0 0 0 173566 5187 0 0 25 0 1 0 163455283 405159936 98511 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8199/statm: 98916 98511 227 40 0 98333 0 Current children cumulated CPU time (s) 1787.53 Current children cumulated vsize (Kb) 395664 [startup+1789.17 s] /proc/loadavg: 1.00 1.00 0.92 2/64 8399 /proc/meminfo: memFree=1446440/2055920 swapFree=4182612/4192956 [pid=8199] ppid=8197 vsize=395664 CPUtime=1788.53 /proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 13783354 0 0 0 173664 5189 0 0 25 0 1 0 163455283 405159936 98511 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 9371351 0 0 4096 0 0 0 0 17 1 0 0 /proc/8199/statm: 98916 98511 227 40 0 98333 0 Current children cumulated CPU time (s) 1788.53 Current children cumulated vsize (Kb) 395664 [startup+1790.17 s] /proc/loadavg: 1.00 1.00 0.92 2/64 8399 /proc/meminfo: memFree=1446184/2055920 swapFree=4182612/4192956 [pid=8199] ppid=8197 vsize=395684 CPUtime=1789.54 /proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 13790540 0 0 0 173763 5191 0 0 25 0 1 0 163455283 405180416 98548 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629280 0 0 4096 0 0 0 0 17 1 0 0 /proc/8199/statm: 98921 98548 227 40 0 98338 0 Current children cumulated CPU time (s) 1789.54 Current children cumulated vsize (Kb) 395684 [startup+1791.18 s] /proc/loadavg: 1.00 1.00 0.92 2/64 8399 /proc/meminfo: memFree=1445928/2055920 swapFree=4182612/4192956 [pid=8199] ppid=8197 vsize=395828 CPUtime=1790.55 /proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 13797967 0 0 0 173861 5194 0 0 25 0 1 0 163455283 405327872 98584 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 1 0 0 /proc/8199/statm: 98957 98584 227 40 0 98374 0 Current children cumulated CPU time (s) 1790.55 Current children cumulated vsize (Kb) 395828 [startup+1792.18 s] /proc/loadavg: 1.00 1.00 0.92 2/64 8399 /proc/meminfo: memFree=1445736/2055920 swapFree=4182612/4192956 [pid=8199] ppid=8197 vsize=396100 CPUtime=1791.55 /proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 13805252 0 0 0 173958 5197 0 0 25 0 1 0 163455283 405606400 98652 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542160 0 0 4096 0 0 0 0 17 1 0 0 /proc/8199/statm: 99025 98652 227 40 0 98442 0 Current children cumulated CPU time (s) 1791.55 Current children cumulated vsize (Kb) 396100 [startup+1793.19 s] /proc/loadavg: 1.00 1.00 0.92 2/64 8399 /proc/meminfo: memFree=1445480/2055920 swapFree=4182612/4192956 [pid=8199] ppid=8197 vsize=396392 CPUtime=1792.56 /proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 13812462 0 0 0 174056 5200 0 0 25 0 1 0 163455283 405905408 98725 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134534654 0 0 4096 0 0 0 0 17 1 0 0 /proc/8199/statm: 99098 98725 227 40 0 98515 0 Current children cumulated CPU time (s) 1792.56 Current children cumulated vsize (Kb) 396392 [startup+1794.19 s] /proc/loadavg: 1.00 1.00 0.92 2/64 8399 /proc/meminfo: memFree=1445224/2055920 swapFree=4182612/4192956 [pid=8199] ppid=8197 vsize=396540 CPUtime=1793.56 /proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 13819306 0 0 0 174154 5202 0 0 25 0 1 0 163455283 406056960 98762 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543242 0 0 4096 0 0 0 0 17 1 0 0 /proc/8199/statm: 99135 98762 227 40 0 98552 0 Current children cumulated CPU time (s) 1793.56 Current children cumulated vsize (Kb) 396540 [startup+1795.2 s] /proc/loadavg: 1.00 1.00 0.92 2/64 8399 /proc/meminfo: memFree=1445224/2055920 swapFree=4182612/4192956 [pid=8199] ppid=8197 vsize=396996 CPUtime=1794.56 /proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 13825886 0 0 0 174252 5204 0 0 25 0 1 0 163455283 406523904 98864 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 9340539 0 0 4096 0 0 0 0 17 1 0 0 /proc/8199/statm: 99249 98864 227 40 0 98666 0 Current children cumulated CPU time (s) 1794.56 Current children cumulated vsize (Kb) 396996 [startup+1796.2 s] /proc/loadavg: 1.00 1.00 0.92 2/64 8399 /proc/meminfo: memFree=1444968/2055920 swapFree=4182612/4192956 [pid=8199] ppid=8197 vsize=396884 CPUtime=1795.57 /proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 13832758 0 0 0 174350 5207 0 0 25 0 1 0 163455283 406409216 98848 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134534674 0 0 4096 0 0 0 0 17 1 0 0 /proc/8199/statm: 99221 98848 227 40 0 98638 0 Current children cumulated CPU time (s) 1795.57 Current children cumulated vsize (Kb) 396884 [startup+1797.21 s] /proc/loadavg: 1.00 1.00 0.92 2/64 8399 /proc/meminfo: memFree=1444904/2055920 swapFree=4182612/4192956 [pid=8199] ppid=8197 vsize=396956 CPUtime=1796.57 /proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 13839582 0 0 0 174448 5209 0 0 25 0 1 0 163455283 406482944 98866 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629283 0 0 4096 0 0 0 0 17 1 0 0 /proc/8199/statm: 99239 98866 227 40 0 98656 0 Current children cumulated CPU time (s) 1796.57 Current children cumulated vsize (Kb) 396956 [startup+1798.21 s] /proc/loadavg: 1.00 1.00 0.92 2/64 8399 /proc/meminfo: memFree=1444712/2055920 swapFree=4182612/4192956 [pid=8199] ppid=8197 vsize=397144 CPUtime=1797.58 /proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 13846525 0 0 0 174546 5212 0 0 25 0 1 0 163455283 406675456 98913 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629055 0 0 4096 0 0 0 0 17 1 0 0 /proc/8199/statm: 99286 98913 227 40 0 98703 0 Current children cumulated CPU time (s) 1797.58 Current children cumulated vsize (Kb) 397144 [startup+1799.22 s] /proc/loadavg: 1.00 1.00 0.92 2/64 8399 /proc/meminfo: memFree=1444520/2055920 swapFree=4182612/4192956 [pid=8199] ppid=8197 vsize=397220 CPUtime=1798.58 /proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 13853275 0 0 0 174644 5214 0 0 25 0 1 0 163455283 406753280 98932 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542153 0 0 4096 0 0 0 0 17 1 0 0 /proc/8199/statm: 99305 98932 227 40 0 98722 0 Current children cumulated CPU time (s) 1798.58 Current children cumulated vsize (Kb) 397220 [startup+1800.22 s] /proc/loadavg: 1.00 1.00 0.92 2/64 8399 /proc/meminfo: memFree=1444520/2055920 swapFree=4182612/4192956 [pid=8199] ppid=8197 vsize=397720 CPUtime=1799.59 /proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 13860269 0 0 0 174742 5217 0 0 25 0 1 0 163455283 407265280 99038 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134637034 0 0 4096 0 0 0 0 17 1 0 0 /proc/8199/statm: 99430 99039 227 40 0 98847 0 Current children cumulated CPU time (s) 1799.59 Current children cumulated vsize (Kb) 397720 [startup+1801.23 s] /proc/loadavg: 1.00 1.00 0.92 2/64 8399 /proc/meminfo: memFree=1444392/2055920 swapFree=4182612/4192956 [pid=8199] ppid=8197 vsize=397852 CPUtime=1800.6 /proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 13867190 0 0 0 174840 5220 0 0 25 0 1 0 163455283 407400448 99071 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 9340539 0 0 4096 0 0 0 0 17 1 0 0 /proc/8199/statm: 99463 99071 227 40 0 98880 0 Current children cumulated CPU time (s) 1800.6 Current children cumulated vsize (Kb) 397852 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.23 s] /proc/loadavg: 1.00 1.00 0.92 2/64 8399 /proc/meminfo: memFree=1444264/2055920 swapFree=4182612/4192956 [pid=8199] ppid=8197 vsize=397512 CPUtime=1800.6 /proc/8199/stat : 8199 (glpPBv3) R 8197 8199 8150 0 -1 0 13867206 0 0 0 174840 5220 0 0 25 0 1 0 163455283 407052288 99005 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/8199/statm: 99378 99005 227 40 0 98795 0 Current children cumulated CPU time (s) 1800.6 Current children cumulated vsize (Kb) 397512 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.3 CPU time (s): 1800.67 CPU user time (s): 1748.41 CPU system time (s): 52.2671 CPU usage (%): 99.9651 Max. virtual memory (cumulated for all children) (Kb): 397852 The end
Begin job on node10 on Sat Jul 29 09:39:01 UTC 2006 FILE ID= 85169-1154165941 PBS_JOBID= 892943 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-p2756.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node10/85169-1154165941/instance-85169-1154165941.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-85169-1154165941 -o ROOT/results/node10/solver-85169-1154165941 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node10/85169-1154165941/instance-85169-1154165941.opb MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff MD5SUM BENCH= 54b9b4de78a7992fd69d0caeed32daef RANDOM SEED= 455357388 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.216 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.216 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: 1841264 kB Buffers: 12148 kB Cached: 136440 kB SwapCached: 4004 kB Active: 23256 kB Inactive: 134152 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1841264 kB SwapTotal: 4192956 kB SwapFree: 4182612 kB Dirty: 156 kB Writeback: 0 kB Mapped: 14504 kB Slab: 43360 kB Committed_AS: 824260 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node10 on Sat Jul 29 10:09:02 UTC 2006