Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
glpPB 0.2 | ? (TO) | 1800.23 | 1801.28 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_4.opb |
MD5SUM | 87341d3e4752b9f90faef0f8d9385430 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 77 |
Best CPU time to get the best result obtained on this benchmark | 1800.52 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 44 |
Optimality of the best value was proved | NO |
Number of variables | 198 |
Total number of constraints | 16 |
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 | 16 |
Minimum length of a constraint | 84 |
Maximum length of a constraint | 86 |
Number of terms in the objective function | 128 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 4080 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1881 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 6154 |
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/node58/watcher-85821-1154175124 -o ROOT/results/node58/solver-85821-1154175124 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node58/85821-1154175124/instance-85821-1154175124.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 0.99 0.91 3/64 2661 /proc/meminfo: memFree=1879928/2055920 swapFree=4182948/4192956 [pid=2661] ppid=2659 vsize=2668 CPUtime=0 /proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 269 0 0 0 0 0 0 0 18 0 1 0 164382294 2732032 239 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134530899 0 0 4096 0 0 0 0 17 0 0 0 /proc/2661/statm: 667 239 199 40 0 84 0 [startup+10.0023 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2661 /proc/meminfo: memFree=1876496/2055920 swapFree=4182948/4192956 [pid=2661] ppid=2659 vsize=5976 CPUtime=10 /proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 1132 0 0 0 989 11 0 0 25 0 1 0 164382294 6119424 1101 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/2661/statm: 1494 1101 227 40 0 911 0 Current children cumulated CPU time (s) 10 Current children cumulated vsize (Kb) 5976 [startup+20.0094 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2661 /proc/meminfo: memFree=1872728/2055920 swapFree=4182948/4192956 [pid=2661] ppid=2659 vsize=9828 CPUtime=19.99 /proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 2133 0 0 0 1976 23 0 0 25 0 1 0 164382294 10063872 2061 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/2661/statm: 2457 2061 227 40 0 1874 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 9828 [startup+30.0165 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2661 /proc/meminfo: memFree=1869272/2055920 swapFree=4182948/4192956 [pid=2661] ppid=2659 vsize=13308 CPUtime=30 /proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 2995 0 0 0 2965 35 0 0 25 0 1 0 164382294 13627392 2923 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629283 0 0 4096 0 0 0 0 17 0 0 0 /proc/2661/statm: 3327 2923 227 40 0 2744 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 13308 [startup+40.0226 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2661 /proc/meminfo: memFree=1865752/2055920 swapFree=4182948/4192956 [pid=2661] ppid=2659 vsize=16768 CPUtime=40.01 /proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 3952 0 0 0 3955 46 0 0 25 0 1 0 164382294 17170432 3799 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/2661/statm: 4192 3799 227 40 0 3609 0 Current children cumulated CPU time (s) 40.01 Current children cumulated vsize (Kb) 16768 [startup+50.0287 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2661 /proc/meminfo: memFree=1864344/2055920 swapFree=4182948/4192956 [pid=2661] ppid=2659 vsize=18180 CPUtime=50.01 /proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 4312 0 0 0 4947 54 0 0 25 0 1 0 164382294 18616320 4159 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/2661/statm: 4545 4159 227 40 0 3962 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 18180 [startup+60.0347 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2661 /proc/meminfo: memFree=1864216/2055920 swapFree=4182948/4192956 [pid=2661] ppid=2659 vsize=18288 CPUtime=60 /proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 4338 0 0 0 5939 61 0 0 25 0 1 0 164382294 18726912 4185 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 0 0 0 /proc/2661/statm: 4572 4185 227 40 0 3989 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 18288 [startup+70.0408 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2661 /proc/meminfo: memFree=1863320/2055920 swapFree=4182948/4192956 [pid=2661] ppid=2659 vsize=19160 CPUtime=70.01 /proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 4559 0 0 0 6932 69 0 0 25 0 1 0 164382294 19619840 4406 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/2661/statm: 4790 4406 227 40 0 4207 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 19160 [startup+80.0469 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2661 /proc/meminfo: memFree=1862680/2055920 swapFree=4182948/4192956 [pid=2661] ppid=2659 vsize=19808 CPUtime=80.01 /proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 4720 0 0 0 7926 75 0 0 25 0 1 0 164382294 20283392 4567 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 0 0 0 /proc/2661/statm: 4952 4567 227 40 0 4369 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 19808 [startup+90.053 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2661 /proc/meminfo: memFree=1862616/2055920 swapFree=4182948/4192956 [pid=2661] ppid=2659 vsize=19912 CPUtime=90.01 /proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 4730 0 0 0 8919 82 0 0 25 0 1 0 164382294 20389888 4577 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134534653 0 0 4096 0 0 0 0 17 0 0 0 /proc/2661/statm: 4978 4577 227 40 0 4395 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 19912 [startup+100.06 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2661 /proc/meminfo: memFree=1861272/2055920 swapFree=4182948/4192956 [pid=2661] ppid=2659 vsize=21220 CPUtime=100.01 /proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 5078 0 0 0 9913 88 0 0 25 0 1 0 164382294 21729280 4925 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 1 0 0 /proc/2661/statm: 5305 4925 227 40 0 4722 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 21220 [startup+110.066 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2661 /proc/meminfo: memFree=1859288/2055920 swapFree=4182948/4192956 [pid=2661] ppid=2659 vsize=23272 CPUtime=110.01 /proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 5584 0 0 0 10907 94 0 0 25 0 1 0 164382294 23830528 5431 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134573036 0 0 4096 0 0 0 0 17 0 0 0 /proc/2661/statm: 5818 5431 227 40 0 5235 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 23272 [startup+120.072 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2661 /proc/meminfo: memFree=1856728/2055920 swapFree=4182948/4192956 [pid=2661] ppid=2659 vsize=25764 CPUtime=120.01 /proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 6375 0 0 0 11901 100 0 0 25 0 1 0 164382294 26382336 6061 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 0 0 0 /proc/2661/statm: 6441 6061 227 40 0 5858 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 25764 [startup+130.078 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2661 /proc/meminfo: memFree=1854744/2055920 swapFree=4182948/4192956 [pid=2661] ppid=2659 vsize=27816 CPUtime=130.01 /proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 6878 0 0 0 12896 105 0 0 25 0 1 0 164382294 28483584 6564 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629283 0 0 4096 0 0 0 0 17 0 0 0 /proc/2661/statm: 6954 6564 227 40 0 6371 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 27816 [startup+140.084 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2661 /proc/meminfo: memFree=1852888/2055920 swapFree=4182948/4192956 [pid=2661] ppid=2659 vsize=29672 CPUtime=140.01 /proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 7331 0 0 0 13889 112 0 0 25 0 1 0 164382294 30384128 7017 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578458 0 0 4096 0 0 0 0 17 0 0 0 /proc/2661/statm: 7418 7017 227 40 0 6835 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 29672 [startup+150.091 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2661 /proc/meminfo: memFree=1850968/2055920 swapFree=4182948/4192956 [pid=2661] ppid=2659 vsize=31520 CPUtime=150.01 /proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 7811 0 0 0 14884 117 0 0 25 0 1 0 164382294 32276480 7497 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/2661/statm: 7880 7497 227 40 0 7297 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 31520 [startup+160.099 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2661 /proc/meminfo: memFree=1849112/2055920 swapFree=4182948/4192956 [pid=2661] ppid=2659 vsize=33372 CPUtime=160.01 /proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 8269 0 0 0 15880 121 0 0 25 0 1 0 164382294 34172928 7955 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578419 0 0 4096 0 0 0 0 17 0 0 0 /proc/2661/statm: 8343 7955 227 40 0 7760 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 33372 [startup+170.105 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2661 /proc/meminfo: memFree=1847576/2055920 swapFree=4182948/4192956 [pid=2661] ppid=2659 vsize=34992 CPUtime=170.02 /proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 8663 0 0 0 16875 127 0 0 25 0 1 0 164382294 35831808 8349 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632405 0 0 4096 0 0 0 0 17 0 0 0 /proc/2661/statm: 8748 8349 227 40 0 8165 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 34992 [startup+180.111 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2661 /proc/meminfo: memFree=1845592/2055920 swapFree=4182948/4192956 [pid=2661] ppid=2659 vsize=36844 CPUtime=180.01 /proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 9147 0 0 0 17870 131 0 0 25 0 1 0 164382294 37728256 8833 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 1 0 0 /proc/2661/statm: 9211 8833 227 40 0 8628 0 Current children cumulated CPU time (s) 180.01 Current children cumulated vsize (Kb) 36844 [startup+190.117 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2661 /proc/meminfo: memFree=1843864/2055920 swapFree=4182948/4192956 [pid=2661] ppid=2659 vsize=38588 CPUtime=190.01 /proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 9572 0 0 0 18865 136 0 0 25 0 1 0 164382294 39514112 9258 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/2661/statm: 9647 9258 227 40 0 9064 0 Current children cumulated CPU time (s) 190.01 Current children cumulated vsize (Kb) 38588 [startup+200.124 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2661 /proc/meminfo: memFree=1842264/2055920 swapFree=4182948/4192956 [pid=2661] ppid=2659 vsize=40212 CPUtime=200.02 /proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 9983 0 0 0 19861 141 0 0 25 0 1 0 164382294 41177088 9669 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134572963 0 0 4096 0 0 0 0 17 0 0 0 /proc/2661/statm: 10053 9669 227 40 0 9470 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 40212 [startup+210.13 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2661 ################ # More data... # ################ /proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 45937 0 0 0 177555 556 0 0 25 0 1 0 164382294 184508416 44661 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 0 0 0 /proc/2661/statm: 45046 44661 227 40 0 44463 0 Current children cumulated CPU time (s) 1781.11 Current children cumulated vsize (Kb) 180184 [startup+1783.15 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2663 /proc/meminfo: memFree=1701528/2055920 swapFree=4182948/4192956 [pid=2661] ppid=2659 vsize=180288 CPUtime=1782.11 /proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 45954 0 0 0 177655 556 0 0 25 0 1 0 164382294 184614912 44678 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134572926 0 0 4096 0 0 0 0 17 0 0 0 /proc/2661/statm: 45072 44678 227 40 0 44489 0 Current children cumulated CPU time (s) 1782.11 Current children cumulated vsize (Kb) 180288 [startup+1784.15 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2663 /proc/meminfo: memFree=1701464/2055920 swapFree=4182948/4192956 [pid=2661] ppid=2659 vsize=180288 CPUtime=1783.12 /proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 45968 0 0 0 177756 556 0 0 25 0 1 0 164382294 184614912 44692 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/2661/statm: 45072 44692 227 40 0 44489 0 Current children cumulated CPU time (s) 1783.12 Current children cumulated vsize (Kb) 180288 [startup+1785.16 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2663 /proc/meminfo: memFree=1701336/2055920 swapFree=4182948/4192956 [pid=2661] ppid=2659 vsize=180396 CPUtime=1784.13 /proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 45988 0 0 0 177856 557 0 0 25 0 1 0 164382294 184725504 44712 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 0 0 0 /proc/2661/statm: 45099 44712 227 40 0 44516 0 Current children cumulated CPU time (s) 1784.13 Current children cumulated vsize (Kb) 180396 [startup+1786.16 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2663 /proc/meminfo: memFree=1701272/2055920 swapFree=4182948/4192956 [pid=2661] ppid=2659 vsize=180508 CPUtime=1785.13 /proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 46011 0 0 0 177956 557 0 0 25 0 1 0 164382294 184840192 44735 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 0 0 0 /proc/2661/statm: 45127 44735 227 40 0 44544 0 Current children cumulated CPU time (s) 1785.13 Current children cumulated vsize (Kb) 180508 [startup+1787.17 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2663 /proc/meminfo: memFree=1701208/2055920 swapFree=4182948/4192956 [pid=2661] ppid=2659 vsize=180616 CPUtime=1786.14 /proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 46033 0 0 0 178057 557 0 0 25 0 1 0 164382294 184950784 44757 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578429 0 0 4096 0 0 0 0 17 0 0 0 /proc/2661/statm: 45154 44757 227 40 0 44571 0 Current children cumulated CPU time (s) 1786.14 Current children cumulated vsize (Kb) 180616 [startup+1788.17 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2663 /proc/meminfo: memFree=1701144/2055920 swapFree=4182948/4192956 [pid=2661] ppid=2659 vsize=180616 CPUtime=1787.14 /proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 46050 0 0 0 178157 557 0 0 25 0 1 0 164382294 184950784 44774 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 0 0 0 /proc/2661/statm: 45154 44774 227 40 0 44571 0 Current children cumulated CPU time (s) 1787.14 Current children cumulated vsize (Kb) 180616 [startup+1789.18 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2663 /proc/meminfo: memFree=1701080/2055920 swapFree=4182948/4192956 [pid=2661] ppid=2659 vsize=180728 CPUtime=1788.15 /proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 46064 0 0 0 178257 558 0 0 25 0 1 0 164382294 185065472 44788 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632405 0 0 4096 0 0 0 0 17 0 0 0 /proc/2661/statm: 45182 44788 227 40 0 44599 0 Current children cumulated CPU time (s) 1788.15 Current children cumulated vsize (Kb) 180728 [startup+1790.18 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2663 /proc/meminfo: memFree=1701016/2055920 swapFree=4182948/4192956 [pid=2661] ppid=2659 vsize=180728 CPUtime=1789.15 /proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 46080 0 0 0 178357 558 0 0 25 0 1 0 164382294 185065472 44804 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578429 0 0 4096 0 0 0 0 17 0 0 0 /proc/2661/statm: 45182 44804 227 40 0 44599 0 Current children cumulated CPU time (s) 1789.15 Current children cumulated vsize (Kb) 180728 [startup+1791.19 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2663 /proc/meminfo: memFree=1700888/2055920 swapFree=4182948/4192956 [pid=2661] ppid=2659 vsize=180836 CPUtime=1790.16 /proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 46103 0 0 0 178458 558 0 0 25 0 1 0 164382294 185176064 44827 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134573005 0 0 4096 0 0 0 0 17 0 0 0 /proc/2661/statm: 45209 44827 227 40 0 44626 0 Current children cumulated CPU time (s) 1790.16 Current children cumulated vsize (Kb) 180836 [startup+1792.19 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2663 /proc/meminfo: memFree=1700824/2055920 swapFree=4182948/4192956 [pid=2661] ppid=2659 vsize=180944 CPUtime=1791.16 /proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 46125 0 0 0 178558 558 0 0 25 0 1 0 164382294 185286656 44849 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 0 0 0 /proc/2661/statm: 45236 44849 227 40 0 44653 0 Current children cumulated CPU time (s) 1791.16 Current children cumulated vsize (Kb) 180944 [startup+1793.2 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2663 /proc/meminfo: memFree=1700760/2055920 swapFree=4182948/4192956 [pid=2661] ppid=2659 vsize=181048 CPUtime=1792.16 /proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 46142 0 0 0 178658 558 0 0 25 0 1 0 164382294 185393152 44866 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578429 0 0 4096 0 0 0 0 17 0 0 0 /proc/2661/statm: 45262 44866 227 40 0 44679 0 Current children cumulated CPU time (s) 1792.16 Current children cumulated vsize (Kb) 181048 [startup+1794.21 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2663 /proc/meminfo: memFree=1700696/2055920 swapFree=4182948/4192956 [pid=2661] ppid=2659 vsize=181048 CPUtime=1793.16 /proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 46158 0 0 0 178758 558 0 0 25 0 1 0 164382294 185393152 44882 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578419 0 0 4096 0 0 0 0 17 0 0 0 /proc/2661/statm: 45262 44882 227 40 0 44679 0 Current children cumulated CPU time (s) 1793.16 Current children cumulated vsize (Kb) 181048 [startup+1795.21 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2663 /proc/meminfo: memFree=1700632/2055920 swapFree=4182948/4192956 [pid=2661] ppid=2659 vsize=181156 CPUtime=1794.17 /proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 46174 0 0 0 178858 559 0 0 25 0 1 0 164382294 185503744 44898 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578419 0 0 4096 0 0 0 0 17 0 0 0 /proc/2661/statm: 45289 44898 227 40 0 44706 0 Current children cumulated CPU time (s) 1794.17 Current children cumulated vsize (Kb) 181156 [startup+1796.22 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2663 /proc/meminfo: memFree=1700568/2055920 swapFree=4182948/4192956 [pid=2661] ppid=2659 vsize=181268 CPUtime=1795.17 /proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 46191 0 0 0 178958 559 0 0 25 0 1 0 164382294 185618432 44915 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578423 0 0 4096 0 0 0 0 17 0 0 0 /proc/2661/statm: 45317 44915 227 40 0 44734 0 Current children cumulated CPU time (s) 1795.17 Current children cumulated vsize (Kb) 181268 [startup+1797.22 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2663 /proc/meminfo: memFree=1700504/2055920 swapFree=4182948/4192956 [pid=2661] ppid=2659 vsize=181268 CPUtime=1796.18 /proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 46207 0 0 0 179059 559 0 0 25 0 1 0 164382294 185618432 44931 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578429 0 0 4096 0 0 0 0 17 0 0 0 /proc/2661/statm: 45317 44931 227 40 0 44734 0 Current children cumulated CPU time (s) 1796.18 Current children cumulated vsize (Kb) 181268 [startup+1798.23 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2663 /proc/meminfo: memFree=1700440/2055920 swapFree=4182948/4192956 [pid=2661] ppid=2659 vsize=181376 CPUtime=1797.18 /proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 46221 0 0 0 179159 559 0 0 25 0 1 0 164382294 185729024 44945 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578429 0 0 4096 0 0 0 0 17 0 0 0 /proc/2661/statm: 45344 44945 227 40 0 44761 0 Current children cumulated CPU time (s) 1797.18 Current children cumulated vsize (Kb) 181376 [startup+1799.23 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2663 /proc/meminfo: memFree=1700376/2055920 swapFree=4182948/4192956 [pid=2661] ppid=2659 vsize=181376 CPUtime=1798.18 /proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 46234 0 0 0 179259 559 0 0 25 0 1 0 164382294 185729024 44958 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134572861 0 0 4096 0 0 0 0 17 0 0 0 /proc/2661/statm: 45344 44958 227 40 0 44761 0 Current children cumulated CPU time (s) 1798.18 Current children cumulated vsize (Kb) 181376 [startup+1800.24 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2663 /proc/meminfo: memFree=1700376/2055920 swapFree=4182948/4192956 [pid=2661] ppid=2659 vsize=181488 CPUtime=1799.19 /proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 46248 0 0 0 179360 559 0 0 25 0 1 0 164382294 185843712 44972 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578419 0 0 4096 0 0 0 0 17 0 0 0 /proc/2661/statm: 45372 44972 227 40 0 44789 0 Current children cumulated CPU time (s) 1799.19 Current children cumulated vsize (Kb) 181488 [startup+1801.24 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2663 /proc/meminfo: memFree=1700248/2055920 swapFree=4182948/4192956 [pid=2661] ppid=2659 vsize=181488 CPUtime=1800.19 /proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 46266 0 0 0 179460 559 0 0 25 0 1 0 164382294 185843712 44990 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134573036 0 0 4096 0 0 0 0 17 0 0 0 /proc/2661/statm: 45372 44990 227 40 0 44789 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (Kb) 181488 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.25 s] /proc/loadavg: 1.00 0.99 0.91 2/64 2663 /proc/meminfo: memFree=1700248/2055920 swapFree=4182948/4192956 [pid=2661] ppid=2659 vsize=181488 CPUtime=1800.19 /proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 46266 0 0 0 179460 559 0 0 25 0 1 0 164382294 185843712 44990 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578419 0 0 4096 0 0 0 0 17 0 0 0 /proc/2661/statm: 45372 44990 227 40 0 44789 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (Kb) 181488 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.28 CPU time (s): 1800.23 CPU user time (s): 1794.61 CPU system time (s): 5.62614 CPU usage (%): 99.9418 Max. virtual memory (cumulated for all children) (Kb): 181488 The end
Begin job on node58 on Sat Jul 29 12:12:04 UTC 2006 FILE ID= 85821-1154175124 PBS_JOBID= 893595 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_4.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node58/85821-1154175124/instance-85821-1154175124.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-85821-1154175124 -o ROOT/results/node58/solver-85821-1154175124 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node58/85821-1154175124/instance-85821-1154175124.opb MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff MD5SUM BENCH= 87341d3e4752b9f90faef0f8d9385430 RANDOM SEED= 179065348 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: 1880136 kB Buffers: 17348 kB Cached: 86052 kB SwapCached: 3836 kB Active: 18724 kB Inactive: 93336 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1880136 kB SwapTotal: 4192956 kB SwapFree: 4182948 kB Dirty: 156 kB Writeback: 0 kB Mapped: 14720 kB Slab: 49816 kB Committed_AS: 1130008 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 12:42:05 UTC 2006