Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
glpPB 0.2 | ? (TO) | 1800.65 | 1801.27 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_6_50_1.opb |
MD5SUM | 775c76356ae7fda7a41e5dcf917f66b2 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 51 |
Total number of constraints | 13 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 12 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 50 |
Number of terms in the objective function | 1 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1 |
Number of bits of the sum of numbers in the objective function | 1 |
Biggest number in a constraint | 1273 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 3819 |
Number of bits of the biggest sum of numbers | 12 |
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/node24/watcher-85823-1154175156 -o ROOT/results/node24/solver-85823-1154175156 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node24/85823-1154175156/instance-85823-1154175156.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 0.99 0.91 3/64 15032 /proc/meminfo: memFree=1551608/2055920 swapFree=4183196/4192956 [pid=15032] ppid=15030 vsize=2424 CPUtime=0 /proc/15032/stat : 15032 (glpPBv3) R 15030 15032 14983 0 -1 0 147 0 0 0 0 0 0 0 18 0 1 0 164376274 2482176 127 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 2575649 0 0 4096 0 0 0 0 17 1 0 0 /proc/15032/statm: 606 128 109 40 0 11 0 [startup+10.0026 s] /proc/loadavg: 1.00 0.99 0.91 2/64 15032 /proc/meminfo: memFree=1547976/2055920 swapFree=4183196/4192956 [pid=15032] ppid=15030 vsize=6096 CPUtime=9.99 /proc/15032/stat : 15032 (glpPBv3) R 15030 15032 14983 0 -1 0 1215 0 0 0 976 23 0 0 25 0 1 0 164376274 6242304 1143 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/15032/statm: 1524 1143 227 40 0 941 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 6096 [startup+20.0095 s] /proc/loadavg: 1.00 0.99 0.91 2/64 15032 /proc/meminfo: memFree=1546056/2055920 swapFree=4183196/4192956 [pid=15032] ppid=15030 vsize=8092 CPUtime=19.99 /proc/15032/stat : 15032 (glpPBv3) R 15030 15032 14983 0 -1 0 1693 0 0 0 1956 43 0 0 25 0 1 0 164376274 8286208 1621 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/15032/statm: 2023 1621 227 40 0 1440 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 8092 [startup+30.0164 s] /proc/loadavg: 1.00 0.99 0.91 2/64 15032 /proc/meminfo: memFree=1544392/2055920 swapFree=4183196/4192956 [pid=15032] ppid=15030 vsize=9744 CPUtime=29.99 /proc/15032/stat : 15032 (glpPBv3) R 15030 15032 14983 0 -1 0 2183 0 0 0 2941 58 0 0 25 0 1 0 164376274 9977856 2030 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/15032/statm: 2436 2030 227 40 0 1853 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 9744 [startup+40.0223 s] /proc/loadavg: 1.00 0.99 0.91 2/64 15032 /proc/meminfo: memFree=1543368/2055920 swapFree=4183196/4192956 [pid=15032] ppid=15030 vsize=10812 CPUtime=40 /proc/15032/stat : 15032 (glpPBv3) R 15030 15032 14983 0 -1 0 2444 0 0 0 3929 71 0 0 25 0 1 0 164376274 11071488 2291 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/15032/statm: 2703 2291 227 40 0 2120 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 10812 [startup+50.0292 s] /proc/loadavg: 1.00 0.99 0.91 2/64 15032 /proc/meminfo: memFree=1542344/2055920 swapFree=4183196/4192956 [pid=15032] ppid=15030 vsize=11744 CPUtime=50 /proc/15032/stat : 15032 (glpPBv3) R 15030 15032 14983 0 -1 0 2704 0 0 0 4918 82 0 0 25 0 1 0 164376274 12025856 2551 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578251 0 0 4096 0 0 0 0 17 1 0 0 /proc/15032/statm: 2936 2551 227 40 0 2353 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 11744 [startup+60.0351 s] /proc/loadavg: 1.00 0.99 0.91 2/64 15032 /proc/meminfo: memFree=1541320/2055920 swapFree=4183196/4192956 [pid=15032] ppid=15030 vsize=12808 CPUtime=60 /proc/15032/stat : 15032 (glpPBv3) R 15030 15032 14983 0 -1 0 2949 0 0 0 5908 92 0 0 25 0 1 0 164376274 13115392 2796 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/15032/statm: 3202 2796 227 40 0 2619 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 12808 [startup+70.041 s] /proc/loadavg: 1.00 0.99 0.91 2/64 15032 /proc/meminfo: memFree=1540488/2055920 swapFree=4183196/4192956 [pid=15032] ppid=15030 vsize=13608 CPUtime=70 /proc/15032/stat : 15032 (glpPBv3) R 15030 15032 14983 0 -1 0 3153 0 0 0 6898 102 0 0 25 0 1 0 164376274 13934592 3000 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/15032/statm: 3402 3000 227 40 0 2819 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 13608 [startup+80.0469 s] /proc/loadavg: 1.00 0.99 0.91 2/64 15032 /proc/meminfo: memFree=1539784/2055920 swapFree=4183196/4192956 [pid=15032] ppid=15030 vsize=14276 CPUtime=80.01 /proc/15032/stat : 15032 (glpPBv3) R 15030 15032 14983 0 -1 0 3331 0 0 0 7891 110 0 0 25 0 1 0 164376274 14618624 3178 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/15032/statm: 3569 3178 227 40 0 2986 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 14276 [startup+90.0528 s] /proc/loadavg: 1.00 0.99 0.91 2/64 15032 /proc/meminfo: memFree=1538312/2055920 swapFree=4183196/4192956 [pid=15032] ppid=15030 vsize=15716 CPUtime=90.01 /proc/15032/stat : 15032 (glpPBv3) R 15030 15032 14983 0 -1 0 3852 0 0 0 8880 121 0 0 25 0 1 0 164376274 16093184 3538 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578251 0 0 4096 0 0 0 0 17 1 0 0 /proc/15032/statm: 3929 3538 227 40 0 3346 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 15716 [startup+100.059 s] /proc/loadavg: 1.00 0.99 0.91 2/64 15032 /proc/meminfo: memFree=1537608/2055920 swapFree=4183196/4192956 [pid=15032] ppid=15030 vsize=16512 CPUtime=100.01 /proc/15032/stat : 15032 (glpPBv3) R 15030 15032 14983 0 -1 0 4032 0 0 0 9872 129 0 0 25 0 1 0 164376274 16908288 3718 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/15032/statm: 4128 3718 227 40 0 3545 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 16512 [startup+110.065 s] /proc/loadavg: 1.00 0.99 0.91 2/64 15032 /proc/meminfo: memFree=1536904/2055920 swapFree=4183196/4192956 [pid=15032] ppid=15030 vsize=17180 CPUtime=110.01 /proc/15032/stat : 15032 (glpPBv3) R 15030 15032 14983 0 -1 0 4215 0 0 0 10864 137 0 0 25 0 1 0 164376274 17592320 3901 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/15032/statm: 4295 3901 227 40 0 3712 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 17180 [startup+120.07 s] /proc/loadavg: 1.00 0.99 0.91 2/64 15032 /proc/meminfo: memFree=1536264/2055920 swapFree=4183196/4192956 [pid=15032] ppid=15030 vsize=17844 CPUtime=120.02 /proc/15032/stat : 15032 (glpPBv3) R 15030 15032 14983 0 -1 0 4365 0 0 0 11857 145 0 0 25 0 1 0 164376274 18272256 4051 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/15032/statm: 4461 4051 227 40 0 3878 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 17844 [startup+130.076 s] /proc/loadavg: 1.00 0.99 0.91 2/64 15032 /proc/meminfo: memFree=1535688/2055920 swapFree=4183196/4192956 [pid=15032] ppid=15030 vsize=18380 CPUtime=130.02 /proc/15032/stat : 15032 (glpPBv3) R 15030 15032 14983 0 -1 0 4506 0 0 0 12849 153 0 0 25 0 1 0 164376274 18821120 4192 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/15032/statm: 4595 4192 227 40 0 4012 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 18380 [startup+140.082 s] /proc/loadavg: 1.00 0.99 0.91 2/64 15032 /proc/meminfo: memFree=1535176/2055920 swapFree=4183196/4192956 [pid=15032] ppid=15030 vsize=18912 CPUtime=140.03 /proc/15032/stat : 15032 (glpPBv3) R 15030 15032 14983 0 -1 0 4630 0 0 0 13843 160 0 0 25 0 1 0 164376274 19365888 4316 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/15032/statm: 4728 4316 227 40 0 4145 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 18912 [startup+150.088 s] /proc/loadavg: 1.00 0.99 0.91 2/64 15032 /proc/meminfo: memFree=1534664/2055920 swapFree=4183196/4192956 [pid=15032] ppid=15030 vsize=19444 CPUtime=150.03 /proc/15032/stat : 15032 (glpPBv3) R 15030 15032 14983 0 -1 0 4763 0 0 0 14836 167 0 0 25 0 1 0 164376274 19910656 4449 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/15032/statm: 4861 4449 227 40 0 4278 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 19444 [startup+160.094 s] /proc/loadavg: 1.00 0.99 0.91 2/64 15032 /proc/meminfo: memFree=1534152/2055920 swapFree=4183196/4192956 [pid=15032] ppid=15030 vsize=19976 CPUtime=160.03 /proc/15032/stat : 15032 (glpPBv3) R 15030 15032 14983 0 -1 0 4896 0 0 0 15829 174 0 0 25 0 1 0 164376274 20455424 4582 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/15032/statm: 4994 4582 227 40 0 4411 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 19976 [startup+170.1 s] /proc/loadavg: 1.00 0.99 0.91 2/64 15032 /proc/meminfo: memFree=1533576/2055920 swapFree=4183196/4192956 [pid=15032] ppid=15030 vsize=20508 CPUtime=170.03 /proc/15032/stat : 15032 (glpPBv3) R 15030 15032 14983 0 -1 0 5037 0 0 0 16821 182 0 0 25 0 1 0 164376274 21000192 4723 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/15032/statm: 5127 4723 227 40 0 4544 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 20508 [startup+180.106 s] /proc/loadavg: 1.00 0.99 0.91 2/64 15032 /proc/meminfo: memFree=1533064/2055920 swapFree=4183196/4192956 [pid=15032] ppid=15030 vsize=20908 CPUtime=180.04 /proc/15032/stat : 15032 (glpPBv3) R 15030 15032 14983 0 -1 0 5161 0 0 0 17815 189 0 0 25 0 1 0 164376274 21409792 4847 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/15032/statm: 5227 4847 227 40 0 4644 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 20908 [startup+190.112 s] /proc/loadavg: 1.00 0.99 0.91 2/64 15032 /proc/meminfo: memFree=1532488/2055920 swapFree=4183196/4192956 [pid=15032] ppid=15030 vsize=21576 CPUtime=190.03 /proc/15032/stat : 15032 (glpPBv3) R 15030 15032 14983 0 -1 0 5300 0 0 0 18807 196 0 0 25 0 1 0 164376274 22093824 4986 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/15032/statm: 5394 4986 227 40 0 4811 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 21576 [startup+200.118 s] /proc/loadavg: 1.00 0.99 0.91 2/64 15032 /proc/meminfo: memFree=1531912/2055920 swapFree=4183196/4192956 [pid=15032] ppid=15030 vsize=22108 CPUtime=200.03 /proc/15032/stat : 15032 (glpPBv3) R 15030 15032 14983 0 -1 0 5441 0 0 0 19799 204 0 0 25 0 1 0 164376274 22638592 5127 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/15032/statm: 5527 5127 227 40 0 4944 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 22108 [startup+210.124 s] /proc/loadavg: 1.00 0.99 0.91 2/64 15032 ################ # More data... # ################ /proc/15032/stat : 15032 (glpPBv3) R 15030 15032 14983 0 -1 0 16568 0 0 0 177460 693 0 0 25 0 1 0 164376274 64221184 15292 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/15032/statm: 15679 15292 227 40 0 15096 0 Current children cumulated CPU time (s) 1781.53 Current children cumulated vsize (Kb) 62716 [startup+1783.16 s] /proc/loadavg: 1.00 1.00 0.92 2/64 15034 /proc/meminfo: memFree=1490888/2055920 swapFree=4183196/4192956 [pid=15032] ppid=15030 vsize=62716 CPUtime=1782.53 /proc/15032/stat : 15032 (glpPBv3) R 15030 15032 14983 0 -1 0 16572 0 0 0 177560 693 0 0 25 0 1 0 164376274 64221184 15296 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/15032/statm: 15679 15296 227 40 0 15096 0 Current children cumulated CPU time (s) 1782.53 Current children cumulated vsize (Kb) 62716 [startup+1784.16 s] /proc/loadavg: 1.00 1.00 0.92 2/64 15034 /proc/meminfo: memFree=1490888/2055920 swapFree=4183196/4192956 [pid=15032] ppid=15030 vsize=62848 CPUtime=1783.54 /proc/15032/stat : 15032 (glpPBv3) R 15030 15032 14983 0 -1 0 16576 0 0 0 177660 694 0 0 25 0 1 0 164376274 64356352 15300 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578236 0 0 4096 0 0 0 0 17 1 0 0 /proc/15032/statm: 15712 15300 227 40 0 15129 0 Current children cumulated CPU time (s) 1783.54 Current children cumulated vsize (Kb) 62848 [startup+1785.17 s] /proc/loadavg: 1.00 1.00 0.92 2/64 15034 /proc/meminfo: memFree=1490824/2055920 swapFree=4183196/4192956 [pid=15032] ppid=15030 vsize=62848 CPUtime=1784.55 /proc/15032/stat : 15032 (glpPBv3) R 15030 15032 14983 0 -1 0 16582 0 0 0 177761 694 0 0 25 0 1 0 164376274 64356352 15306 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/15032/statm: 15712 15306 227 40 0 15129 0 Current children cumulated CPU time (s) 1784.55 Current children cumulated vsize (Kb) 62848 [startup+1786.17 s] /proc/loadavg: 1.00 1.00 0.92 2/64 15034 /proc/meminfo: memFree=1490824/2055920 swapFree=4183196/4192956 [pid=15032] ppid=15030 vsize=62848 CPUtime=1785.55 /proc/15032/stat : 15032 (glpPBv3) R 15030 15032 14983 0 -1 0 16582 0 0 0 177861 694 0 0 25 0 1 0 164376274 64356352 15306 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/15032/statm: 15712 15306 227 40 0 15129 0 Current children cumulated CPU time (s) 1785.55 Current children cumulated vsize (Kb) 62848 [startup+1787.18 s] /proc/loadavg: 1.00 1.00 0.92 2/64 15034 /proc/meminfo: memFree=1490824/2055920 swapFree=4183196/4192956 [pid=15032] ppid=15030 vsize=62848 CPUtime=1786.55 /proc/15032/stat : 15032 (glpPBv3) R 15030 15032 14983 0 -1 0 16586 0 0 0 177961 694 0 0 25 0 1 0 164376274 64356352 15310 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/15032/statm: 15712 15310 227 40 0 15129 0 Current children cumulated CPU time (s) 1786.55 Current children cumulated vsize (Kb) 62848 [startup+1788.18 s] /proc/loadavg: 1.00 1.00 0.92 2/64 15034 /proc/meminfo: memFree=1490824/2055920 swapFree=4183196/4192956 [pid=15032] ppid=15030 vsize=62848 CPUtime=1787.56 /proc/15032/stat : 15032 (glpPBv3) R 15030 15032 14983 0 -1 0 16590 0 0 0 178061 695 0 0 25 0 1 0 164376274 64356352 15314 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/15032/statm: 15712 15314 227 40 0 15129 0 Current children cumulated CPU time (s) 1787.56 Current children cumulated vsize (Kb) 62848 [startup+1789.19 s] /proc/loadavg: 1.00 1.00 0.92 2/64 15034 /proc/meminfo: memFree=1490760/2055920 swapFree=4183196/4192956 [pid=15032] ppid=15030 vsize=62848 CPUtime=1788.57 /proc/15032/stat : 15032 (glpPBv3) R 15030 15032 14983 0 -1 0 16596 0 0 0 178162 695 0 0 25 0 1 0 164376274 64356352 15320 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/15032/statm: 15712 15320 227 40 0 15129 0 Current children cumulated CPU time (s) 1788.57 Current children cumulated vsize (Kb) 62848 [startup+1790.19 s] /proc/loadavg: 1.00 1.00 0.92 2/64 15034 /proc/meminfo: memFree=1490760/2055920 swapFree=4183196/4192956 [pid=15032] ppid=15030 vsize=62848 CPUtime=1789.57 /proc/15032/stat : 15032 (glpPBv3) R 15030 15032 14983 0 -1 0 16596 0 0 0 178262 695 0 0 25 0 1 0 164376274 64356352 15320 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/15032/statm: 15712 15320 227 40 0 15129 0 Current children cumulated CPU time (s) 1789.57 Current children cumulated vsize (Kb) 62848 [startup+1791.2 s] /proc/loadavg: 1.00 1.00 0.92 2/64 15034 /proc/meminfo: memFree=1490760/2055920 swapFree=4183196/4192956 [pid=15032] ppid=15030 vsize=62848 CPUtime=1790.57 /proc/15032/stat : 15032 (glpPBv3) R 15030 15032 14983 0 -1 0 16599 0 0 0 178362 695 0 0 25 0 1 0 164376274 64356352 15323 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/15032/statm: 15712 15323 227 40 0 15129 0 Current children cumulated CPU time (s) 1790.57 Current children cumulated vsize (Kb) 62848 [startup+1792.2 s] /proc/loadavg: 1.00 1.00 0.92 2/64 15034 /proc/meminfo: memFree=1490760/2055920 swapFree=4183196/4192956 [pid=15032] ppid=15030 vsize=62848 CPUtime=1791.58 /proc/15032/stat : 15032 (glpPBv3) R 15030 15032 14983 0 -1 0 16601 0 0 0 178462 696 0 0 25 0 1 0 164376274 64356352 15325 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/15032/statm: 15712 15325 227 40 0 15129 0 Current children cumulated CPU time (s) 1791.58 Current children cumulated vsize (Kb) 62848 [startup+1793.21 s] /proc/loadavg: 1.00 1.00 0.92 2/64 15034 /proc/meminfo: memFree=1490760/2055920 swapFree=4183196/4192956 [pid=15032] ppid=15030 vsize=62848 CPUtime=1792.59 /proc/15032/stat : 15032 (glpPBv3) R 15030 15032 14983 0 -1 0 16605 0 0 0 178563 696 0 0 25 0 1 0 164376274 64356352 15329 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/15032/statm: 15712 15329 227 40 0 15129 0 Current children cumulated CPU time (s) 1792.59 Current children cumulated vsize (Kb) 62848 [startup+1794.21 s] /proc/loadavg: 1.00 1.00 0.92 2/64 15034 /proc/meminfo: memFree=1490760/2055920 swapFree=4183196/4192956 [pid=15032] ppid=15030 vsize=62848 CPUtime=1793.59 /proc/15032/stat : 15032 (glpPBv3) R 15030 15032 14983 0 -1 0 16607 0 0 0 178663 696 0 0 25 0 1 0 164376274 64356352 15331 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/15032/statm: 15712 15331 227 40 0 15129 0 Current children cumulated CPU time (s) 1793.59 Current children cumulated vsize (Kb) 62848 [startup+1795.22 s] /proc/loadavg: 1.00 1.00 0.92 2/64 15034 /proc/meminfo: memFree=1490696/2055920 swapFree=4183196/4192956 [pid=15032] ppid=15030 vsize=62980 CPUtime=1794.6 /proc/15032/stat : 15032 (glpPBv3) R 15030 15032 14983 0 -1 0 16613 0 0 0 178763 697 0 0 25 0 1 0 164376274 64491520 15337 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/15032/statm: 15745 15337 227 40 0 15162 0 Current children cumulated CPU time (s) 1794.6 Current children cumulated vsize (Kb) 62980 [startup+1796.22 s] /proc/loadavg: 1.00 1.00 0.92 2/64 15034 /proc/meminfo: memFree=1490696/2055920 swapFree=4183196/4192956 [pid=15032] ppid=15030 vsize=62980 CPUtime=1795.6 /proc/15032/stat : 15032 (glpPBv3) R 15030 15032 14983 0 -1 0 16617 0 0 0 178863 697 0 0 25 0 1 0 164376274 64491520 15341 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/15032/statm: 15745 15341 227 40 0 15162 0 Current children cumulated CPU time (s) 1795.6 Current children cumulated vsize (Kb) 62980 [startup+1797.23 s] /proc/loadavg: 1.00 1.00 0.92 2/64 15034 /proc/meminfo: memFree=1490696/2055920 swapFree=4183196/4192956 [pid=15032] ppid=15030 vsize=62980 CPUtime=1796.6 /proc/15032/stat : 15032 (glpPBv3) R 15030 15032 14983 0 -1 0 16619 0 0 0 178963 697 0 0 25 0 1 0 164376274 64491520 15343 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/15032/statm: 15745 15343 227 40 0 15162 0 Current children cumulated CPU time (s) 1796.6 Current children cumulated vsize (Kb) 62980 [startup+1798.23 s] /proc/loadavg: 1.00 1.00 0.92 2/64 15034 /proc/meminfo: memFree=1490696/2055920 swapFree=4183196/4192956 [pid=15032] ppid=15030 vsize=62980 CPUtime=1797.6 /proc/15032/stat : 15032 (glpPBv3) R 15030 15032 14983 0 -1 0 16623 0 0 0 179063 697 0 0 25 0 1 0 164376274 64491520 15347 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/15032/statm: 15745 15347 227 40 0 15162 0 Current children cumulated CPU time (s) 1797.6 Current children cumulated vsize (Kb) 62980 [startup+1799.24 s] /proc/loadavg: 1.00 1.00 0.92 2/64 15034 /proc/meminfo: memFree=1490632/2055920 swapFree=4183196/4192956 [pid=15032] ppid=15030 vsize=62980 CPUtime=1798.62 /proc/15032/stat : 15032 (glpPBv3) R 15030 15032 14983 0 -1 0 16627 0 0 0 179164 698 0 0 25 0 1 0 164376274 64491520 15351 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/15032/statm: 15745 15351 227 40 0 15162 0 Current children cumulated CPU time (s) 1798.62 Current children cumulated vsize (Kb) 62980 [startup+1800.24 s] /proc/loadavg: 1.00 1.00 0.92 2/64 15034 /proc/meminfo: memFree=1490632/2055920 swapFree=4183196/4192956 [pid=15032] ppid=15030 vsize=62980 CPUtime=1799.62 /proc/15032/stat : 15032 (glpPBv3) R 15030 15032 14983 0 -1 0 16627 0 0 0 179264 698 0 0 25 0 1 0 164376274 64491520 15351 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/15032/statm: 15745 15351 227 40 0 15162 0 Current children cumulated CPU time (s) 1799.62 Current children cumulated vsize (Kb) 62980 [startup+1801.25 s] /proc/loadavg: 1.00 1.00 0.92 2/64 15034 /proc/meminfo: memFree=1490632/2055920 swapFree=4183196/4192956 [pid=15032] ppid=15030 vsize=62980 CPUtime=1800.62 /proc/15032/stat : 15032 (glpPBv3) R 15030 15032 14983 0 -1 0 16633 0 0 0 179364 698 0 0 25 0 1 0 164376274 64491520 15357 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/15032/statm: 15745 15357 227 40 0 15162 0 Current children cumulated CPU time (s) 1800.62 Current children cumulated vsize (Kb) 62980 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.25 s] /proc/loadavg: 1.00 1.00 0.92 2/64 15034 /proc/meminfo: memFree=1490632/2055920 swapFree=4183196/4192956 [pid=15032] ppid=15030 vsize=62980 CPUtime=1800.63 /proc/15032/stat : 15032 (glpPBv3) R 15030 15032 14983 0 -1 0 16633 0 0 0 179365 698 0 0 25 0 1 0 164376274 64491520 15357 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/15032/statm: 15745 15357 227 40 0 15162 0 Current children cumulated CPU time (s) 1800.63 Current children cumulated vsize (Kb) 62980 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.27 CPU time (s): 1800.65 CPU user time (s): 1793.65 CPU system time (s): 6.99594 CPU usage (%): 99.9655 Max. virtual memory (cumulated for all children) (Kb): 62980 The end
Begin job on node24 on Sat Jul 29 12:12:36 UTC 2006 FILE ID= 85823-1154175156 PBS_JOBID= 893597 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_6_50_1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node24/85823-1154175156/instance-85823-1154175156.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-85823-1154175156 -o ROOT/results/node24/solver-85823-1154175156 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node24/85823-1154175156/instance-85823-1154175156.opb MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff MD5SUM BENCH= 775c76356ae7fda7a41e5dcf917f66b2 RANDOM SEED= 665670801 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.266 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.266 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: 1551816 kB Buffers: 25244 kB Cached: 423932 kB SwapCached: 3500 kB Active: 87024 kB Inactive: 370724 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1551816 kB SwapTotal: 4192956 kB SwapFree: 4183196 kB Dirty: 140 kB Writeback: 0 kB Mapped: 14552 kB Slab: 32316 kB Committed_AS: 652380 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node24 on Sat Jul 29 12:42:37 UTC 2006