Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
glpPB 0.2 | ? (TO) | 1800.58 | 1801.18 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb |
MD5SUM | 0a5749e09f3f6f40d04f442dc86d22a6 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 189 |
Best CPU time to get the best result obtained on this benchmark | 1800.61 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 188 |
Optimality of the best value was proved | NO |
Number of variables | 479 |
Total number of constraints | 479 |
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 | 479 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 17 |
Number of terms in the objective function | 479 |
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 | 479 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 30 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 479 |
Number of bits of the biggest sum of numbers | 9 |
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/node36/watcher-85186-1154166252 -o ROOT/results/node36/solver-85186-1154166252 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node36/85186-1154166252/instance-85186-1154166252.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.92 2/64 2011 /proc/meminfo: memFree=1227424/2055920 swapFree=4183160/4192956 [pid=2011] ppid=2008 vsize=2424 CPUtime=0 /proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 141 0 0 0 0 0 0 0 18 0 1 0 163496581 2482176 123 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 1531992 0 0 4096 0 0 0 0 17 1 0 0 /proc/2011/statm: 606 123 108 40 0 11 0 [startup+10.0018 s] /proc/loadavg: 0.93 0.98 0.92 2/64 2011 /proc/meminfo: memFree=1225000/2055920 swapFree=4183160/4192956 [pid=2011] ppid=2008 vsize=4736 CPUtime=9.99 /proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 958 0 0 0 998 1 0 0 25 0 1 0 163496581 4849664 810 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643580 0 0 4096 0 0 0 0 17 1 0 0 /proc/2011/statm: 1184 810 227 40 0 601 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 4736 [startup+20.0078 s] /proc/loadavg: 0.94 0.98 0.92 2/64 2011 /proc/meminfo: memFree=1225000/2055920 swapFree=4183160/4192956 [pid=2011] ppid=2008 vsize=4752 CPUtime=20 /proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 1767 0 0 0 1998 2 0 0 25 0 1 0 163496581 4866048 814 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542185 0 0 4096 0 0 0 0 17 1 0 0 /proc/2011/statm: 1188 814 227 40 0 605 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 4752 [startup+30.0138 s] /proc/loadavg: 0.95 0.98 0.92 2/64 2011 /proc/meminfo: memFree=1224872/2055920 swapFree=4183160/4192956 [pid=2011] ppid=2008 vsize=4888 CPUtime=30 /proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 5438 0 0 0 2996 4 0 0 25 0 1 0 163496581 5005312 848 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/2011/statm: 1222 848 227 40 0 639 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 4888 [startup+40.0199 s] /proc/loadavg: 0.96 0.98 0.92 2/64 2011 /proc/meminfo: memFree=1224680/2055920 swapFree=4183160/4192956 [pid=2011] ppid=2008 vsize=5028 CPUtime=40 /proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 9686 0 0 0 3994 6 0 0 25 0 1 0 163496581 5148672 883 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632405 0 0 4096 0 0 0 0 17 1 0 0 /proc/2011/statm: 1257 883 227 40 0 674 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 5028 [startup+50.0259 s] /proc/loadavg: 0.96 0.98 0.92 2/64 2011 /proc/meminfo: memFree=1224488/2055920 swapFree=4183160/4192956 [pid=2011] ppid=2008 vsize=5256 CPUtime=50 /proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 16668 0 0 0 4990 10 0 0 25 0 1 0 163496581 5382144 940 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543494 0 0 4096 0 0 0 0 17 1 0 0 /proc/2011/statm: 1314 940 227 40 0 731 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 5256 [startup+60.0319 s] /proc/loadavg: 0.97 0.98 0.92 2/64 2011 /proc/meminfo: memFree=1224296/2055920 swapFree=4183160/4192956 [pid=2011] ppid=2008 vsize=5504 CPUtime=60 /proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 23169 0 0 0 5987 13 0 0 25 0 1 0 163496581 5636096 1002 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632922 0 0 4096 0 0 0 0 17 1 0 0 /proc/2011/statm: 1376 1002 227 40 0 793 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 5504 [startup+70.0379 s] /proc/loadavg: 0.97 0.98 0.92 2/64 2011 /proc/meminfo: memFree=1224040/2055920 swapFree=4183160/4192956 [pid=2011] ppid=2008 vsize=5692 CPUtime=70.01 /proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 31350 0 0 0 6984 17 0 0 25 0 1 0 163496581 5828608 1049 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543003 0 0 4096 0 0 0 0 17 1 0 0 /proc/2011/statm: 1423 1049 227 40 0 840 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 5692 [startup+80.0439 s] /proc/loadavg: 0.98 0.98 0.92 2/64 2011 /proc/meminfo: memFree=1223912/2055920 swapFree=4183160/4192956 [pid=2011] ppid=2008 vsize=5916 CPUtime=80.01 /proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 39746 0 0 0 7980 21 0 0 25 0 1 0 163496581 6057984 1105 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542117 0 0 4096 0 0 0 0 17 1 0 0 /proc/2011/statm: 1479 1105 227 40 0 896 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 5916 [startup+90.0499 s] /proc/loadavg: 0.98 0.98 0.92 2/64 2011 /proc/meminfo: memFree=1223528/2055920 swapFree=4183160/4192956 [pid=2011] ppid=2008 vsize=6408 CPUtime=90.01 /proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 47549 0 0 0 8975 26 0 0 25 0 1 0 163496581 6561792 1204 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2011/statm: 1602 1204 227 40 0 1019 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 6408 [startup+100.056 s] /proc/loadavg: 0.98 0.98 0.92 2/64 2011 /proc/meminfo: memFree=1223272/2055920 swapFree=4183160/4192956 [pid=2011] ppid=2008 vsize=6528 CPUtime=100.01 /proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 57217 0 0 0 9971 30 0 0 25 0 1 0 163496581 6684672 1258 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542173 0 0 4096 0 0 0 0 17 1 0 0 /proc/2011/statm: 1632 1258 227 40 0 1049 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 6528 [startup+110.062 s] /proc/loadavg: 0.98 0.98 0.92 2/64 2011 /proc/meminfo: memFree=1223080/2055920 swapFree=4183160/4192956 [pid=2011] ppid=2008 vsize=6692 CPUtime=110.02 /proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 64034 0 0 0 10969 33 0 0 25 0 1 0 163496581 6852608 1299 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134605458 0 0 4096 0 0 0 0 17 1 0 0 /proc/2011/statm: 1673 1299 227 40 0 1090 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 6692 [startup+120.068 s] /proc/loadavg: 0.99 0.98 0.92 2/64 2011 /proc/meminfo: memFree=1223016/2055920 swapFree=4183160/4192956 [pid=2011] ppid=2008 vsize=6896 CPUtime=120.03 /proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 66467 0 0 0 11968 35 0 0 25 0 1 0 163496581 7061504 1325 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134585317 0 0 4096 0 0 0 0 17 1 0 0 /proc/2011/statm: 1724 1325 227 40 0 1141 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 6896 [startup+130.074 s] /proc/loadavg: 0.99 0.98 0.92 2/64 2011 /proc/meminfo: memFree=1222824/2055920 swapFree=4183160/4192956 [pid=2011] ppid=2008 vsize=6936 CPUtime=130.03 /proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 71347 0 0 0 12966 37 0 0 25 0 1 0 163496581 7102464 1360 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134633073 0 0 4096 0 0 0 0 17 1 0 0 /proc/2011/statm: 1734 1360 227 40 0 1151 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 6936 [startup+140.08 s] /proc/loadavg: 0.99 0.98 0.92 2/64 2011 /proc/meminfo: memFree=1222632/2055920 swapFree=4183160/4192956 [pid=2011] ppid=2008 vsize=7156 CPUtime=140.03 /proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 78798 0 0 0 13961 42 0 0 25 0 1 0 163496581 7327744 1415 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543497 0 0 4096 0 0 0 0 17 1 0 0 /proc/2011/statm: 1789 1415 227 40 0 1206 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 7156 [startup+150.086 s] /proc/loadavg: 0.99 0.98 0.92 2/64 2011 /proc/meminfo: memFree=1222376/2055920 swapFree=4183160/4192956 [pid=2011] ppid=2008 vsize=7352 CPUtime=150.03 /proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 85050 0 0 0 14959 44 0 0 25 0 1 0 163496581 7528448 1464 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/2011/statm: 1838 1464 227 40 0 1255 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 7352 [startup+160.092 s] /proc/loadavg: 0.99 0.98 0.92 2/64 2011 /proc/meminfo: memFree=1222184/2055920 swapFree=4183160/4192956 [pid=2011] ppid=2008 vsize=7524 CPUtime=160.03 /proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 90431 0 0 0 15956 47 0 0 25 0 1 0 163496581 7704576 1507 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629287 0 0 4096 0 0 0 0 17 1 0 0 /proc/2011/statm: 1881 1507 227 40 0 1298 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 7524 [startup+170.098 s] /proc/loadavg: 0.99 0.98 0.92 2/64 2011 /proc/meminfo: memFree=1221864/2055920 swapFree=4183160/4192956 [pid=2011] ppid=2008 vsize=7872 CPUtime=170.04 /proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 96470 0 0 0 16954 50 0 0 25 0 1 0 163496581 8060928 1594 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629246 0 0 4096 0 0 0 0 17 1 0 0 /proc/2011/statm: 1968 1594 227 40 0 1385 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 7872 [startup+180.104 s] /proc/loadavg: 0.99 0.98 0.92 2/64 2011 /proc/meminfo: memFree=1221672/2055920 swapFree=4183160/4192956 [pid=2011] ppid=2008 vsize=8124 CPUtime=180.04 /proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 105389 0 0 0 17950 54 0 0 25 0 1 0 163496581 8318976 1657 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629283 0 0 4096 0 0 0 0 17 1 0 0 /proc/2011/statm: 2031 1657 227 40 0 1448 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 8124 [startup+190.11 s] /proc/loadavg: 0.99 0.98 0.92 2/64 2011 /proc/meminfo: memFree=1221416/2055920 swapFree=4183160/4192956 [pid=2011] ppid=2008 vsize=8336 CPUtime=190.05 /proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 113761 0 0 0 18947 58 0 0 25 0 1 0 163496581 8536064 1710 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542176 0 0 4096 0 0 0 0 17 1 0 0 /proc/2011/statm: 2084 1710 227 40 0 1501 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 8336 [startup+200.116 s] /proc/loadavg: 0.99 0.98 0.92 2/64 2011 /proc/meminfo: memFree=1221288/2055920 swapFree=4183160/4192956 [pid=2011] ppid=2008 vsize=8476 CPUtime=200.05 /proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 120031 0 0 0 19943 62 0 0 25 0 1 0 163496581 8679424 1745 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629283 0 0 4096 0 0 0 0 17 1 0 0 /proc/2011/statm: 2119 1745 227 40 0 1536 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 8476 [startup+210.122 s] /proc/loadavg: 0.99 0.98 0.92 2/64 2011 ################ # More data... # ################ /proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 1740867 0 0 0 177311 837 0 0 25 0 1 0 163496581 56688640 13466 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542160 0 0 4096 0 0 0 0 17 1 0 0 /proc/2011/statm: 13840 13466 227 40 0 13257 0 Current children cumulated CPU time (s) 1781.48 Current children cumulated vsize (Kb) 55360 [startup+1783.07 s] /proc/loadavg: 0.99 0.98 0.92 2/64 2225 /proc/meminfo: memFree=1174120/2055920 swapFree=4183160/4192956 [pid=2011] ppid=2008 vsize=55368 CPUtime=1782.47 /proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 1741553 0 0 0 177410 837 0 0 25 0 1 0 163496581 56696832 13468 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 1994455 0 0 4096 0 0 0 0 17 1 0 0 /proc/2011/statm: 13842 13468 227 40 0 13259 0 Current children cumulated CPU time (s) 1782.47 Current children cumulated vsize (Kb) 55368 [startup+1784.07 s] /proc/loadavg: 0.99 0.98 0.92 2/64 2225 /proc/meminfo: memFree=1174056/2055920 swapFree=4183160/4192956 [pid=2011] ppid=2008 vsize=55400 CPUtime=1783.49 /proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 1742452 0 0 0 177511 838 0 0 25 0 1 0 163496581 56729600 13476 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/2011/statm: 13850 13476 227 40 0 13267 0 Current children cumulated CPU time (s) 1783.49 Current children cumulated vsize (Kb) 55400 [startup+1785.08 s] /proc/loadavg: 0.99 0.98 0.92 2/64 2225 /proc/meminfo: memFree=1174056/2055920 swapFree=4183160/4192956 [pid=2011] ppid=2008 vsize=55556 CPUtime=1784.49 /proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 1743454 0 0 0 177611 838 0 0 25 0 1 0 163496581 56889344 13486 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 1963643 0 0 4096 0 0 0 0 17 1 0 0 /proc/2011/statm: 13889 13486 227 40 0 13306 0 Current children cumulated CPU time (s) 1784.49 Current children cumulated vsize (Kb) 55556 [startup+1786.08 s] /proc/loadavg: 0.99 0.98 0.92 2/64 2225 /proc/meminfo: memFree=1174056/2055920 swapFree=4183160/4192956 [pid=2011] ppid=2008 vsize=55456 CPUtime=1785.49 /proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 1744314 0 0 0 177711 838 0 0 25 0 1 0 163496581 56786944 13490 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578060 0 0 4096 0 0 0 0 17 1 0 0 /proc/2011/statm: 13864 13490 227 40 0 13281 0 Current children cumulated CPU time (s) 1785.49 Current children cumulated vsize (Kb) 55456 [startup+1787.09 s] /proc/loadavg: 0.99 0.98 0.92 2/64 2225 /proc/meminfo: memFree=1173992/2055920 swapFree=4183160/4192956 [pid=2011] ppid=2008 vsize=55472 CPUtime=1786.5 /proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 1745326 0 0 0 177811 839 0 0 25 0 1 0 163496581 56803328 13494 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/2011/statm: 13868 13494 227 40 0 13285 0 Current children cumulated CPU time (s) 1786.5 Current children cumulated vsize (Kb) 55472 [startup+1788.09 s] /proc/loadavg: 0.99 0.98 0.92 2/64 2225 /proc/meminfo: memFree=1173992/2055920 swapFree=4183160/4192956 [pid=2011] ppid=2008 vsize=55504 CPUtime=1787.5 /proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 1746238 0 0 0 177911 839 0 0 25 0 1 0 163496581 56836096 13502 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/2011/statm: 13876 13502 227 40 0 13293 0 Current children cumulated CPU time (s) 1787.5 Current children cumulated vsize (Kb) 55504 [startup+1789.1 s] /proc/loadavg: 0.99 0.98 0.92 2/64 2225 /proc/meminfo: memFree=1173928/2055920 swapFree=4183160/4192956 [pid=2011] ppid=2008 vsize=55660 CPUtime=1788.5 /proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 1747192 0 0 0 178011 839 0 0 25 0 1 0 163496581 56995840 13512 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 1963643 0 0 4096 0 0 0 0 17 1 0 0 /proc/2011/statm: 13915 13512 227 40 0 13332 0 Current children cumulated CPU time (s) 1788.5 Current children cumulated vsize (Kb) 55660 [startup+1790.1 s] /proc/loadavg: 0.99 0.98 0.92 2/64 2225 /proc/meminfo: memFree=1173928/2055920 swapFree=4183160/4192956 [pid=2011] ppid=2008 vsize=55688 CPUtime=1789.51 /proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 1748197 0 0 0 178112 839 0 0 25 0 1 0 163496581 57024512 13520 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 1963643 0 0 4096 0 0 0 0 17 1 0 0 /proc/2011/statm: 13922 13520 227 40 0 13339 0 Current children cumulated CPU time (s) 1789.51 Current children cumulated vsize (Kb) 55688 [startup+1791.11 s] /proc/loadavg: 0.99 0.98 0.92 2/64 2225 /proc/meminfo: memFree=1173928/2055920 swapFree=4183160/4192956 [pid=2011] ppid=2008 vsize=55572 CPUtime=1790.52 /proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 1749087 0 0 0 178212 840 0 0 25 0 1 0 163496581 56905728 13519 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543236 0 0 4096 0 0 0 0 17 1 0 0 /proc/2011/statm: 13893 13519 227 40 0 13310 0 Current children cumulated CPU time (s) 1790.52 Current children cumulated vsize (Kb) 55572 [startup+1792.11 s] /proc/loadavg: 0.99 0.98 0.92 2/64 2225 /proc/meminfo: memFree=1173864/2055920 swapFree=4183160/4192956 [pid=2011] ppid=2008 vsize=55736 CPUtime=1791.52 /proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 1750292 0 0 0 178311 841 0 0 25 0 1 0 163496581 57073664 13536 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2011/statm: 13934 13536 227 40 0 13351 0 Current children cumulated CPU time (s) 1791.52 Current children cumulated vsize (Kb) 55736 [startup+1793.12 s] /proc/loadavg: 0.99 0.98 0.92 2/64 2225 /proc/meminfo: memFree=1173864/2055920 swapFree=4183160/4192956 [pid=2011] ppid=2008 vsize=55628 CPUtime=1792.53 /proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 1751213 0 0 0 178412 841 0 0 25 0 1 0 163496581 56963072 13533 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/2011/statm: 13907 13533 227 40 0 13324 0 Current children cumulated CPU time (s) 1792.53 Current children cumulated vsize (Kb) 55628 [startup+1794.12 s] /proc/loadavg: 0.99 0.98 0.92 2/64 2225 /proc/meminfo: memFree=1173800/2055920 swapFree=4183160/4192956 [pid=2011] ppid=2008 vsize=55660 CPUtime=1793.53 /proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 1752261 0 0 0 178512 841 0 0 25 0 1 0 163496581 56995840 13541 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542131 0 0 4096 0 0 0 0 17 1 0 0 /proc/2011/statm: 13915 13541 227 40 0 13332 0 Current children cumulated CPU time (s) 1793.53 Current children cumulated vsize (Kb) 55660 [startup+1795.13 s] /proc/loadavg: 0.99 0.98 0.92 2/64 2225 /proc/meminfo: memFree=1173800/2055920 swapFree=4183160/4192956 [pid=2011] ppid=2008 vsize=55692 CPUtime=1794.54 /proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 1753221 0 0 0 178612 842 0 0 25 0 1 0 163496581 57028608 13549 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134537556 0 0 4096 0 0 0 0 17 1 0 0 /proc/2011/statm: 13923 13549 227 40 0 13340 0 Current children cumulated CPU time (s) 1794.54 Current children cumulated vsize (Kb) 55692 [startup+1796.13 s] /proc/loadavg: 0.99 0.98 0.92 2/64 2225 /proc/meminfo: memFree=1173736/2055920 swapFree=4183160/4192956 [pid=2011] ppid=2008 vsize=55716 CPUtime=1795.53 /proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 1754107 0 0 0 178711 842 0 0 25 0 1 0 163496581 57053184 13555 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134626346 0 0 4096 0 0 0 0 17 1 0 0 /proc/2011/statm: 13929 13555 227 40 0 13346 0 Current children cumulated CPU time (s) 1795.53 Current children cumulated vsize (Kb) 55716 [startup+1797.14 s] /proc/loadavg: 0.99 0.98 0.92 2/64 2225 /proc/meminfo: memFree=1173736/2055920 swapFree=4183160/4192956 [pid=2011] ppid=2008 vsize=55732 CPUtime=1796.55 /proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 1754607 0 0 0 178812 843 0 0 25 0 1 0 163496581 57069568 13559 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542124 0 0 4096 0 0 0 0 17 1 0 0 /proc/2011/statm: 13933 13559 227 40 0 13350 0 Current children cumulated CPU time (s) 1796.55 Current children cumulated vsize (Kb) 55732 [startup+1798.14 s] /proc/loadavg: 0.99 0.98 0.92 2/64 2225 /proc/meminfo: memFree=1173736/2055920 swapFree=4183160/4192956 [pid=2011] ppid=2008 vsize=55740 CPUtime=1797.55 /proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 1755025 0 0 0 178912 843 0 0 25 0 1 0 163496581 57077760 13561 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629200 0 0 4096 0 0 0 0 17 1 0 0 /proc/2011/statm: 13935 13561 227 40 0 13352 0 Current children cumulated CPU time (s) 1797.55 Current children cumulated vsize (Kb) 55740 [startup+1799.15 s] /proc/loadavg: 0.99 0.98 0.92 2/64 2225 /proc/meminfo: memFree=1173672/2055920 swapFree=4183160/4192956 [pid=2011] ppid=2008 vsize=55760 CPUtime=1798.55 /proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 1755571 0 0 0 179012 843 0 0 25 0 1 0 163496581 57098240 13566 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643288 0 0 4096 0 0 0 0 17 1 0 0 /proc/2011/statm: 13940 13566 227 40 0 13357 0 Current children cumulated CPU time (s) 1798.55 Current children cumulated vsize (Kb) 55760 [startup+1800.15 s] /proc/loadavg: 0.99 0.98 0.92 2/64 2225 /proc/meminfo: memFree=1173672/2055920 swapFree=4183160/4192956 [pid=2011] ppid=2008 vsize=55776 CPUtime=1799.55 /proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 1756340 0 0 0 179112 843 0 0 25 0 1 0 163496581 57114624 13570 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134572891 0 0 4096 0 0 0 0 17 1 0 0 /proc/2011/statm: 13944 13570 227 40 0 13361 0 Current children cumulated CPU time (s) 1799.55 Current children cumulated vsize (Kb) 55776 [startup+1801.16 s] /proc/loadavg: 0.99 0.98 0.92 2/64 2225 /proc/meminfo: memFree=1173672/2055920 swapFree=4183160/4192956 [pid=2011] ppid=2008 vsize=55800 CPUtime=1800.56 /proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 1756982 0 0 0 179213 843 0 0 25 0 1 0 163496581 57139200 13576 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643691 0 0 4096 0 0 0 0 17 1 0 0 /proc/2011/statm: 13950 13576 227 40 0 13367 0 Current children cumulated CPU time (s) 1800.56 Current children cumulated vsize (Kb) 55800 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.16 s] /proc/loadavg: 0.99 0.98 0.92 2/64 2225 /proc/meminfo: memFree=1173672/2055920 swapFree=4183160/4192956 [pid=2011] ppid=2008 vsize=55800 CPUtime=1800.56 /proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 1756982 0 0 0 179213 843 0 0 25 0 1 0 163496581 57139200 13576 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/2011/statm: 13950 13576 227 40 0 13367 0 Current children cumulated CPU time (s) 1800.56 Current children cumulated vsize (Kb) 55800 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.58 CPU user time (s): 1792.13 CPU system time (s): 8.44871 CPU usage (%): 99.9671 Max. virtual memory (cumulated for all children) (Kb): 55800 The end
Begin job on node36 on Sat Jul 29 09:44:12 UTC 2006 FILE ID= 85186-1154166252 PBS_JOBID= 892960 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node36/85186-1154166252/instance-85186-1154166252.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node36/watcher-85186-1154166252 -o ROOT/results/node36/solver-85186-1154166252 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node36/85186-1154166252/instance-85186-1154166252.opb MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff MD5SUM BENCH= 0a5749e09f3f6f40d04f442dc86d22a6 RANDOM SEED= 820029359 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.218 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.218 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: 1227632 kB Buffers: 39656 kB Cached: 708852 kB SwapCached: 3640 kB Active: 93688 kB Inactive: 663476 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1227632 kB SwapTotal: 4192956 kB SwapFree: 4183160 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14728 kB Slab: 57216 kB Committed_AS: 624104 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 node36 on Sat Jul 29 10:14:13 UTC 2006