Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
glpPB 0.2 | ? (TO) | 1800.66 | 1801.2 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb |
MD5SUM | 90154dd1b8a90675a35ad37cbef52f77 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 191 |
Best CPU time to get the best result obtained on this benchmark | 1800.46 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 189 |
Optimality of the best value was proved | NO |
Number of variables | 481 |
Total number of constraints | 481 |
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 | 481 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 19 |
Number of terms in the objective function | 481 |
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 | 481 |
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 | 481 |
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/node58/watcher-85179-1154166094 -o ROOT/results/node58/solver-85179-1154166094 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node58/85179-1154166094/instance-85179-1154166094.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 0.99 0.91 3/64 1524 /proc/meminfo: memFree=1885432/2055920 swapFree=4182948/4192956 [pid=1524] ppid=1522 vsize=2632 CPUtime=0 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 237 0 0 0 0 0 0 0 18 0 1 0 163479307 2695168 207 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134524044 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 658 210 185 40 0 75 0 [startup+10.0028 s] /proc/loadavg: 1.00 0.99 0.91 2/64 1524 /proc/meminfo: memFree=1883144/2055920 swapFree=4182948/4192956 [pid=1524] ppid=1522 vsize=4736 CPUtime=9.99 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 958 0 0 0 999 0 0 0 25 0 1 0 163479307 4849664 810 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643335 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 1184 810 227 40 0 601 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 4736 [startup+20.0089 s] /proc/loadavg: 1.00 0.99 0.91 2/64 1524 /proc/meminfo: memFree=1883088/2055920 swapFree=4182948/4192956 [pid=1524] ppid=1522 vsize=4760 CPUtime=19.99 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 2205 0 0 0 1997 2 0 0 25 0 1 0 163479307 4874240 816 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134626419 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 1190 816 227 40 0 607 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 4760 [startup+30.015 s] /proc/loadavg: 1.00 0.99 0.91 2/64 1524 /proc/meminfo: memFree=1882960/2055920 swapFree=4182948/4192956 [pid=1524] ppid=1522 vsize=4876 CPUtime=30 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 4677 0 0 0 2997 3 0 0 25 0 1 0 163479307 4993024 845 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632922 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 1219 845 227 40 0 636 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 4876 [startup+40.021 s] /proc/loadavg: 1.00 0.99 0.91 2/64 1524 /proc/meminfo: memFree=1882832/2055920 swapFree=4182948/4192956 [pid=1524] ppid=1522 vsize=4984 CPUtime=40 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 7391 0 0 0 3995 5 0 0 25 0 1 0 163479307 5103616 872 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542153 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 1246 872 227 40 0 663 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 4984 [startup+50.0271 s] /proc/loadavg: 1.00 0.99 0.91 2/64 1524 /proc/meminfo: memFree=1882704/2055920 swapFree=4182948/4192956 [pid=1524] ppid=1522 vsize=5268 CPUtime=50 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 10361 0 0 0 4993 7 0 0 25 0 1 0 163479307 5394432 917 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 1317 917 227 40 0 734 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 5268 [startup+60.0332 s] /proc/loadavg: 1.00 0.99 0.91 2/64 1524 /proc/meminfo: memFree=1882512/2055920 swapFree=4182948/4192956 [pid=1524] ppid=1522 vsize=5316 CPUtime=60 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 16346 0 0 0 5990 10 0 0 25 0 1 0 163479307 5443584 955 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 1329 955 227 40 0 746 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 5316 [startup+70.0403 s] /proc/loadavg: 1.00 0.99 0.91 2/64 1524 /proc/meminfo: memFree=1882256/2055920 swapFree=4182948/4192956 [pid=1524] ppid=1522 vsize=5560 CPUtime=70.02 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 22308 0 0 0 6988 14 0 0 25 0 1 0 163479307 5693440 1016 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629078 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 1390 1016 227 40 0 807 0 Current children cumulated CPU time (s) 70.02 Current children cumulated vsize (Kb) 5560 [startup+80.0464 s] /proc/loadavg: 1.00 0.99 0.91 2/64 1524 /proc/meminfo: memFree=1882064/2055920 swapFree=4182948/4192956 [pid=1524] ppid=1522 vsize=5756 CPUtime=80.02 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 28820 0 0 0 7985 17 0 0 25 0 1 0 163479307 5894144 1065 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629264 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 1439 1065 227 40 0 856 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 5756 [startup+90.0525 s] /proc/loadavg: 1.00 0.99 0.91 2/64 1524 /proc/meminfo: memFree=1881872/2055920 swapFree=4182948/4192956 [pid=1524] ppid=1522 vsize=6084 CPUtime=90.02 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 35159 0 0 0 8982 20 0 0 25 0 1 0 163479307 6230016 1119 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 5305979 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 1521 1121 227 40 0 938 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 6084 [startup+100.059 s] /proc/loadavg: 1.00 0.99 0.91 2/64 1524 /proc/meminfo: memFree=1881552/2055920 swapFree=4182948/4192956 [pid=1524] ppid=1522 vsize=6264 CPUtime=100.02 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 40430 0 0 0 9980 22 0 0 25 0 1 0 163479307 6414336 1192 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632402 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 1566 1192 227 40 0 983 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 6264 [startup+110.065 s] /proc/loadavg: 1.00 0.99 0.91 2/64 1524 /proc/meminfo: memFree=1881296/2055920 swapFree=4182948/4192956 [pid=1524] ppid=1522 vsize=6492 CPUtime=110.02 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 48835 0 0 0 10976 26 0 0 25 0 1 0 163479307 6647808 1249 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632402 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 1623 1249 227 40 0 1040 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 6492 [startup+120.071 s] /proc/loadavg: 1.00 0.99 0.91 2/64 1524 /proc/meminfo: memFree=1881040/2055920 swapFree=4182948/4192956 [pid=1524] ppid=1522 vsize=6780 CPUtime=120.02 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 58849 0 0 0 11971 31 0 0 25 0 1 0 163479307 6942720 1321 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543009 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 1695 1321 227 40 0 1112 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 6780 [startup+130.077 s] /proc/loadavg: 1.00 0.99 0.91 2/64 1524 /proc/meminfo: memFree=1880784/2055920 swapFree=4182948/4192956 [pid=1524] ppid=1522 vsize=7000 CPUtime=130.04 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 66635 0 0 0 12968 36 0 0 25 0 1 0 163479307 7168000 1376 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543278 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 1750 1376 227 40 0 1167 0 Current children cumulated CPU time (s) 130.04 Current children cumulated vsize (Kb) 7000 [startup+140.082 s] /proc/loadavg: 1.00 0.99 0.91 2/64 1524 /proc/meminfo: memFree=1880528/2055920 swapFree=4182948/4192956 [pid=1524] ppid=1522 vsize=7252 CPUtime=140.04 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 75055 0 0 0 13964 40 0 0 25 0 1 0 163479307 7426048 1439 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629267 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 1813 1439 227 40 0 1230 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 7252 [startup+150.088 s] /proc/loadavg: 1.00 0.99 0.91 2/64 1524 /proc/meminfo: memFree=1880080/2055920 swapFree=4182948/4192956 [pid=1524] ppid=1522 vsize=7584 CPUtime=150.04 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 82126 0 0 0 14960 44 0 0 25 0 1 0 163479307 7766016 1522 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134626354 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 1896 1522 227 40 0 1313 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 7584 [startup+160.094 s] /proc/loadavg: 1.00 0.99 0.91 2/64 1524 /proc/meminfo: memFree=1879952/2055920 swapFree=4182948/4192956 [pid=1524] ppid=1522 vsize=7836 CPUtime=160.04 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 90473 0 0 0 15956 48 0 0 25 0 1 0 163479307 8024064 1585 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543012 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 1959 1585 227 40 0 1376 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 7836 [startup+170.1 s] /proc/loadavg: 1.00 0.99 0.91 2/64 1524 /proc/meminfo: memFree=1879632/2055920 swapFree=4182948/4192956 [pid=1524] ppid=1522 vsize=8180 CPUtime=170.05 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 103363 0 0 0 16951 54 0 0 25 0 1 0 163479307 8376320 1671 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 2045 1671 227 40 0 1462 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 8180 [startup+180.106 s] /proc/loadavg: 1.00 0.99 0.91 2/64 1524 /proc/meminfo: memFree=1879504/2055920 swapFree=4182948/4192956 [pid=1524] ppid=1522 vsize=8256 CPUtime=180.05 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 106284 0 0 0 17949 56 0 0 25 0 1 0 163479307 8454144 1690 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632405 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 2064 1690 227 40 0 1481 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 8256 [startup+190.112 s] /proc/loadavg: 1.00 0.99 0.91 2/64 1524 /proc/meminfo: memFree=1879376/2055920 swapFree=4182948/4192956 [pid=1524] ppid=1522 vsize=8416 CPUtime=190.05 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 110421 0 0 0 18947 58 0 0 25 0 1 0 163479307 8617984 1730 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543497 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 2104 1730 227 40 0 1521 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 8416 [startup+200.117 s] /proc/loadavg: 1.00 0.99 0.91 2/64 1524 /proc/meminfo: memFree=1879184/2055920 swapFree=4182948/4192956 [pid=1524] ppid=1522 vsize=8588 CPUtime=200.06 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 115120 0 0 0 19944 62 0 0 25 0 1 0 163479307 8794112 1773 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629264 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 2147 1773 227 40 0 1564 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 8588 [startup+210.123 s] /proc/loadavg: 1.00 0.99 0.91 2/64 1524 ################ # More data... # ################ /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 1529557 0 0 0 177372 782 0 0 25 0 1 0 163479307 57319424 13620 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643512 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 13994 13620 227 40 0 13411 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (Kb) 55976 [startup+1783.09 s] /proc/loadavg: 1.00 0.99 0.91 2/64 1726 /proc/meminfo: memFree=1831128/2055920 swapFree=4182948/4192956 [pid=1524] ppid=1522 vsize=56008 CPUtime=1782.55 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 1530538 0 0 0 177472 783 0 0 25 0 1 0 163479307 57352192 13628 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134626419 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 14002 13628 227 40 0 13419 0 Current children cumulated CPU time (s) 1782.55 Current children cumulated vsize (Kb) 56008 [startup+1784.1 s] /proc/loadavg: 1.00 0.99 0.91 2/64 1726 /proc/meminfo: memFree=1831128/2055920 swapFree=4182948/4192956 [pid=1524] ppid=1522 vsize=56036 CPUtime=1783.55 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 1531638 0 0 0 177572 783 0 0 25 0 1 0 163479307 57380864 13635 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 14009 13635 227 40 0 13426 0 Current children cumulated CPU time (s) 1783.55 Current children cumulated vsize (Kb) 56036 [startup+1785.1 s] /proc/loadavg: 1.00 0.99 0.91 2/64 1726 /proc/meminfo: memFree=1831064/2055920 swapFree=4182948/4192956 [pid=1524] ppid=1522 vsize=56068 CPUtime=1784.56 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 1532710 0 0 0 177672 784 0 0 25 0 1 0 163479307 57413632 13643 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632414 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 14017 13643 227 40 0 13434 0 Current children cumulated CPU time (s) 1784.56 Current children cumulated vsize (Kb) 56068 [startup+1786.11 s] /proc/loadavg: 1.00 0.99 0.91 2/64 1726 /proc/meminfo: memFree=1831064/2055920 swapFree=4182948/4192956 [pid=1524] ppid=1522 vsize=56092 CPUtime=1785.56 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 1533492 0 0 0 177771 785 0 0 25 0 1 0 163479307 57438208 13649 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134569838 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 14023 13649 227 40 0 13440 0 Current children cumulated CPU time (s) 1785.56 Current children cumulated vsize (Kb) 56092 [startup+1787.11 s] /proc/loadavg: 1.00 0.99 0.91 2/64 1726 /proc/meminfo: memFree=1831000/2055920 swapFree=4182948/4192956 [pid=1524] ppid=1522 vsize=56108 CPUtime=1786.56 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 1534272 0 0 0 177871 785 0 0 25 0 1 0 163479307 57454592 13653 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632412 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 14027 13653 227 40 0 13444 0 Current children cumulated CPU time (s) 1786.56 Current children cumulated vsize (Kb) 56108 [startup+1788.12 s] /proc/loadavg: 1.00 0.99 0.91 2/64 1726 /proc/meminfo: memFree=1831000/2055920 swapFree=4182948/4192956 [pid=1524] ppid=1522 vsize=56140 CPUtime=1787.57 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 1535081 0 0 0 177971 786 0 0 25 0 1 0 163479307 57487360 13661 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643505 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 14035 13661 227 40 0 13452 0 Current children cumulated CPU time (s) 1787.57 Current children cumulated vsize (Kb) 56140 [startup+1789.12 s] /proc/loadavg: 1.00 0.99 0.91 2/64 1726 /proc/meminfo: memFree=1830936/2055920 swapFree=4182948/4192956 [pid=1524] ppid=1522 vsize=56164 CPUtime=1788.58 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 1535913 0 0 0 178071 787 0 0 25 0 1 0 163479307 57511936 13667 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134628982 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 14041 13667 227 40 0 13458 0 Current children cumulated CPU time (s) 1788.58 Current children cumulated vsize (Kb) 56164 [startup+1790.13 s] /proc/loadavg: 1.00 0.99 0.91 2/64 1726 /proc/meminfo: memFree=1830936/2055920 swapFree=4182948/4192956 [pid=1524] ppid=1522 vsize=56196 CPUtime=1789.58 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 1536663 0 0 0 178171 787 0 0 25 0 1 0 163479307 57544704 13675 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632414 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 14049 13675 227 40 0 13466 0 Current children cumulated CPU time (s) 1789.58 Current children cumulated vsize (Kb) 56196 [startup+1791.13 s] /proc/loadavg: 1.00 0.99 0.91 2/64 1726 /proc/meminfo: memFree=1830936/2055920 swapFree=4182948/4192956 [pid=1524] ppid=1522 vsize=56216 CPUtime=1790.59 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 1537508 0 0 0 178271 788 0 0 25 0 1 0 163479307 57565184 13680 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632685 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 14054 13680 227 40 0 13471 0 Current children cumulated CPU time (s) 1790.59 Current children cumulated vsize (Kb) 56216 [startup+1792.14 s] /proc/loadavg: 1.00 0.99 0.91 2/64 1726 /proc/meminfo: memFree=1830872/2055920 swapFree=4182948/4192956 [pid=1524] ppid=1522 vsize=56248 CPUtime=1791.59 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 1538468 0 0 0 178370 789 0 0 25 0 1 0 163479307 57597952 13688 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542150 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 14062 13688 227 40 0 13479 0 Current children cumulated CPU time (s) 1791.59 Current children cumulated vsize (Kb) 56248 [startup+1793.14 s] /proc/loadavg: 1.00 0.99 0.91 2/64 1726 /proc/meminfo: memFree=1830872/2055920 swapFree=4182948/4192956 [pid=1524] ppid=1522 vsize=56280 CPUtime=1792.59 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 1539500 0 0 0 178470 789 0 0 25 0 1 0 163479307 57630720 13696 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643694 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 14070 13696 227 40 0 13487 0 Current children cumulated CPU time (s) 1792.59 Current children cumulated vsize (Kb) 56280 [startup+1794.15 s] /proc/loadavg: 1.00 0.99 0.91 2/64 1726 /proc/meminfo: memFree=1830808/2055920 swapFree=4182948/4192956 [pid=1524] ppid=1522 vsize=56296 CPUtime=1793.6 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 1540296 0 0 0 178570 790 0 0 25 0 1 0 163479307 57647104 13700 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542185 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 14074 13700 227 40 0 13491 0 Current children cumulated CPU time (s) 1793.6 Current children cumulated vsize (Kb) 56296 [startup+1795.15 s] /proc/loadavg: 1.00 0.99 0.91 2/64 1726 /proc/meminfo: memFree=1830808/2055920 swapFree=4182948/4192956 [pid=1524] ppid=1522 vsize=56460 CPUtime=1794.6 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 1541413 0 0 0 178670 790 0 0 25 0 1 0 163479307 57815040 13715 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 14115 13715 227 40 0 13532 0 Current children cumulated CPU time (s) 1794.6 Current children cumulated vsize (Kb) 56460 [startup+1796.16 s] /proc/loadavg: 1.00 0.99 0.91 2/64 1726 /proc/meminfo: memFree=1830744/2055920 swapFree=4182948/4192956 [pid=1524] ppid=1522 vsize=56352 CPUtime=1795.61 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 1542077 0 0 0 178770 791 0 0 25 0 1 0 163479307 57704448 13714 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643284 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 14088 13714 227 40 0 13505 0 Current children cumulated CPU time (s) 1795.61 Current children cumulated vsize (Kb) 56352 [startup+1797.16 s] /proc/loadavg: 1.00 0.99 0.91 2/64 1726 /proc/meminfo: memFree=1830744/2055920 swapFree=4182948/4192956 [pid=1524] ppid=1522 vsize=56376 CPUtime=1796.61 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 1542846 0 0 0 178870 791 0 0 25 0 1 0 163479307 57729024 13720 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643494 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 14094 13720 227 40 0 13511 0 Current children cumulated CPU time (s) 1796.61 Current children cumulated vsize (Kb) 56376 [startup+1798.17 s] /proc/loadavg: 1.00 0.99 0.91 2/64 1726 /proc/meminfo: memFree=1830744/2055920 swapFree=4182948/4192956 [pid=1524] ppid=1522 vsize=56404 CPUtime=1797.62 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 1543853 0 0 0 178970 792 0 0 25 0 1 0 163479307 57757696 13727 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 14101 13727 227 40 0 13518 0 Current children cumulated CPU time (s) 1797.62 Current children cumulated vsize (Kb) 56404 [startup+1799.17 s] /proc/loadavg: 1.00 0.99 0.91 2/64 1726 /proc/meminfo: memFree=1830680/2055920 swapFree=4182948/4192956 [pid=1524] ppid=1522 vsize=56436 CPUtime=1798.63 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 1544861 0 0 0 179070 793 0 0 25 0 1 0 163479307 57790464 13735 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134633013 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 14109 13735 227 40 0 13526 0 Current children cumulated CPU time (s) 1798.63 Current children cumulated vsize (Kb) 56436 [startup+1800.18 s] /proc/loadavg: 1.00 0.99 0.91 2/64 1726 /proc/meminfo: memFree=1830680/2055920 swapFree=4182948/4192956 [pid=1524] ppid=1522 vsize=56468 CPUtime=1799.63 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 1545877 0 0 0 179170 793 0 0 25 0 1 0 163479307 57823232 13743 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 14117 13743 227 40 0 13534 0 Current children cumulated CPU time (s) 1799.63 Current children cumulated vsize (Kb) 56468 [startup+1801.18 s] /proc/loadavg: 1.00 0.99 0.91 2/64 1726 /proc/meminfo: memFree=1830616/2055920 swapFree=4182948/4192956 [pid=1524] ppid=1522 vsize=56484 CPUtime=1800.63 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 1546537 0 0 0 179270 793 0 0 25 0 1 0 163479307 57839616 13747 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643521 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 14121 13747 227 40 0 13538 0 Current children cumulated CPU time (s) 1800.63 Current children cumulated vsize (Kb) 56484 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.19 s] /proc/loadavg: 1.00 0.99 0.91 2/64 1726 /proc/meminfo: memFree=1830616/2055920 swapFree=4182948/4192956 [pid=1524] ppid=1522 vsize=56484 CPUtime=1800.63 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 1546537 0 0 0 179270 793 0 0 25 0 1 0 163479307 57839616 13747 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134534317 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 14121 13747 227 40 0 13538 0 Current children cumulated CPU time (s) 1800.63 Current children cumulated vsize (Kb) 56484 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.2 CPU time (s): 1800.66 CPU user time (s): 1792.71 CPU system time (s): 7.94879 CPU usage (%): 99.9697 Max. virtual memory (cumulated for all children) (Kb): 56484 The end
Begin job on node58 on Sat Jul 29 09:41:34 UTC 2006 FILE ID= 85179-1154166094 PBS_JOBID= 892953 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node58/85179-1154166094/instance-85179-1154166094.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-85179-1154166094 -o ROOT/results/node58/solver-85179-1154166094 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node58/85179-1154166094/instance-85179-1154166094.opb MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff MD5SUM BENCH= 90154dd1b8a90675a35ad37cbef52f77 RANDOM SEED= 593637180 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.234 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.234 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: 1885640 kB Buffers: 15064 kB Cached: 82828 kB SwapCached: 3836 kB Active: 18428 kB Inactive: 88100 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1885640 kB SwapTotal: 4192956 kB SwapFree: 4182948 kB Dirty: 128 kB Writeback: 0 kB Mapped: 14720 kB Slab: 49792 kB Committed_AS: 1128856 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node58 on Sat Jul 29 10:11:35 UTC 2006