Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
glpPB 0.2 | ? (TO) | 1800.53 | 1801.21 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_7_60_2.opb |
MD5SUM | 6c673f615af1912eadc68b4290958076 |
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 | 61 |
Total number of constraints | 15 |
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 | 14 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 60 |
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 | 1648 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 4944 |
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/node1/watcher-85811-1154174944 -o ROOT/results/node1/solver-85811-1154174944 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node1/85811-1154174944/instance-85811-1154174944.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.81 0.75 0.81 2/64 32020 /proc/meminfo: memFree=1148496/2055920 swapFree=4183104/4192956 [pid=32020] ppid=32018 vsize=1012 CPUtime=0 /proc/32020/stat : 32020 (glpPBv3) R 32018 32020 31971 0 -1 0 45 0 0 0 0 0 0 0 18 0 1 0 164356071 1036288 28 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 5829412 0 0 4096 0 0 0 0 17 1 0 0 /proc/32020/statm: 253 28 20 40 0 8 0 [startup+10.0024 s] /proc/loadavg: 0.84 0.75 0.81 2/64 32020 /proc/meminfo: memFree=1144592/2055920 swapFree=4183104/4192956 [pid=32020] ppid=32018 vsize=6412 CPUtime=9.98 /proc/32020/stat : 32020 (glpPBv3) R 32018 32020 31971 0 -1 0 1274 0 0 0 979 19 0 0 25 0 1 0 164356071 6565888 1202 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32020/statm: 1603 1202 227 40 0 1020 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 6412 [startup+20.0084 s] /proc/loadavg: 0.87 0.76 0.82 2/64 32020 /proc/meminfo: memFree=1141728/2055920 swapFree=4183104/4192956 [pid=32020] ppid=32018 vsize=9256 CPUtime=19.99 /proc/32020/stat : 32020 (glpPBv3) R 32018 32020 31971 0 -1 0 2070 0 0 0 1964 35 0 0 25 0 1 0 164356071 9478144 1917 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32020/statm: 2314 1917 227 40 0 1731 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 9256 [startup+30.0144 s] /proc/loadavg: 0.89 0.77 0.82 2/64 32020 /proc/meminfo: memFree=1139936/2055920 swapFree=4183104/4192956 [pid=32020] ppid=32018 vsize=11008 CPUtime=30 /proc/32020/stat : 32020 (glpPBv3) R 32018 32020 31971 0 -1 0 2521 0 0 0 2952 48 0 0 25 0 1 0 164356071 11272192 2368 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578266 0 0 4096 0 0 0 0 17 1 0 0 /proc/32020/statm: 2752 2368 227 40 0 2169 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 11008 [startup+40.0203 s] /proc/loadavg: 0.90 0.78 0.82 2/64 32020 /proc/meminfo: memFree=1138336/2055920 swapFree=4183104/4192956 [pid=32020] ppid=32018 vsize=12656 CPUtime=40 /proc/32020/stat : 32020 (glpPBv3) R 32018 32020 31971 0 -1 0 2920 0 0 0 3939 61 0 0 25 0 1 0 164356071 12959744 2767 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134640538 0 0 4096 0 0 0 0 17 1 0 0 /proc/32020/statm: 3164 2767 227 40 0 2581 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 12656 [startup+50.0263 s] /proc/loadavg: 0.92 0.78 0.82 2/64 32020 /proc/meminfo: memFree=1136800/2055920 swapFree=4183104/4192956 [pid=32020] ppid=32018 vsize=14168 CPUtime=50 /proc/32020/stat : 32020 (glpPBv3) R 32018 32020 31971 0 -1 0 3304 0 0 0 4928 72 0 0 25 0 1 0 164356071 14508032 3151 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32020/statm: 3542 3151 227 40 0 2959 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 14168 [startup+60.0323 s] /proc/loadavg: 0.93 0.79 0.82 2/64 32020 /proc/meminfo: memFree=1134752/2055920 swapFree=4183104/4192956 [pid=32020] ppid=32018 vsize=16312 CPUtime=60 /proc/32020/stat : 32020 (glpPBv3) R 32018 32020 31971 0 -1 0 3986 0 0 0 5919 81 0 0 25 0 1 0 164356071 16703488 3672 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32020/statm: 4078 3672 227 40 0 3495 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 16312 [startup+70.0383 s] /proc/loadavg: 0.94 0.80 0.82 2/64 32020 /proc/meminfo: memFree=1133280/2055920 swapFree=4183104/4192956 [pid=32020] ppid=32018 vsize=17692 CPUtime=70 /proc/32020/stat : 32020 (glpPBv3) R 32018 32020 31971 0 -1 0 4344 0 0 0 6910 90 0 0 25 0 1 0 164356071 18116608 4030 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578266 0 0 4096 0 0 0 0 17 1 0 0 /proc/32020/statm: 4423 4030 227 40 0 3840 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 17692 [startup+80.0442 s] /proc/loadavg: 0.95 0.80 0.82 2/64 32020 /proc/meminfo: memFree=1132192/2055920 swapFree=4183104/4192956 [pid=32020] ppid=32018 vsize=18836 CPUtime=80 /proc/32020/stat : 32020 (glpPBv3) R 32018 32020 31971 0 -1 0 4622 0 0 0 7903 97 0 0 25 0 1 0 164356071 19288064 4308 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/32020/statm: 4709 4308 227 40 0 4126 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 18836 [startup+90.0502 s] /proc/loadavg: 0.96 0.81 0.82 2/64 32020 /proc/meminfo: memFree=1131104/2055920 swapFree=4183104/4192956 [pid=32020] ppid=32018 vsize=19848 CPUtime=90.01 /proc/32020/stat : 32020 (glpPBv3) R 32018 32020 31971 0 -1 0 4887 0 0 0 8897 104 0 0 25 0 1 0 164356071 20324352 4573 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32020/statm: 4962 4573 227 40 0 4379 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 19848 [startup+100.056 s] /proc/loadavg: 0.96 0.81 0.82 2/64 32020 /proc/meminfo: memFree=1130016/2055920 swapFree=4183104/4192956 [pid=32020] ppid=32018 vsize=20976 CPUtime=100.01 /proc/32020/stat : 32020 (glpPBv3) R 32018 32020 31971 0 -1 0 5149 0 0 0 9890 111 0 0 25 0 1 0 164356071 21479424 4835 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32020/statm: 5244 4835 227 40 0 4661 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 20976 [startup+110.062 s] /proc/loadavg: 0.97 0.82 0.83 2/64 32020 /proc/meminfo: memFree=1129120/2055920 swapFree=4183104/4192956 [pid=32020] ppid=32018 vsize=21852 CPUtime=110.01 /proc/32020/stat : 32020 (glpPBv3) R 32018 32020 31971 0 -1 0 5380 0 0 0 10884 117 0 0 25 0 1 0 164356071 22376448 5066 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32020/statm: 5463 5066 227 40 0 4880 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 21852 [startup+120.068 s] /proc/loadavg: 0.97 0.83 0.83 2/64 32020 /proc/meminfo: memFree=1128096/2055920 swapFree=4183104/4192956 [pid=32020] ppid=32018 vsize=22856 CPUtime=120.01 /proc/32020/stat : 32020 (glpPBv3) R 32018 32020 31971 0 -1 0 5629 0 0 0 11876 125 0 0 25 0 1 0 164356071 23404544 5315 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32020/statm: 5714 5315 227 40 0 5131 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 22856 [startup+130.074 s] /proc/loadavg: 0.98 0.83 0.83 2/64 32020 /proc/meminfo: memFree=1127136/2055920 swapFree=4183104/4192956 [pid=32020] ppid=32018 vsize=23860 CPUtime=130.02 /proc/32020/stat : 32020 (glpPBv3) R 32018 32020 31971 0 -1 0 5872 0 0 0 12870 132 0 0 25 0 1 0 164356071 24432640 5558 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32020/statm: 5965 5558 227 40 0 5382 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 23860 [startup+140.08 s] /proc/loadavg: 0.98 0.84 0.83 2/64 32020 /proc/meminfo: memFree=1126304/2055920 swapFree=4183104/4192956 [pid=32020] ppid=32018 vsize=24612 CPUtime=140.01 /proc/32020/stat : 32020 (glpPBv3) R 32018 32020 31971 0 -1 0 6082 0 0 0 13863 138 0 0 25 0 1 0 164356071 25202688 5768 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578266 0 0 4096 0 0 0 0 17 1 0 0 /proc/32020/statm: 6153 5768 227 40 0 5570 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 24612 [startup+150.086 s] /proc/loadavg: 0.98 0.84 0.83 2/64 32020 /proc/meminfo: memFree=1125408/2055920 swapFree=4183104/4192956 [pid=32020] ppid=32018 vsize=25488 CPUtime=150.02 /proc/32020/stat : 32020 (glpPBv3) R 32018 32020 31971 0 -1 0 6295 0 0 0 14857 145 0 0 25 0 1 0 164356071 26099712 5981 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/32020/statm: 6372 5981 227 40 0 5789 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 25488 [startup+160.092 s] /proc/loadavg: 0.98 0.85 0.83 2/64 32020 /proc/meminfo: memFree=1123104/2055920 swapFree=4183104/4192956 [pid=32020] ppid=32018 vsize=27772 CPUtime=160.02 /proc/32020/stat : 32020 (glpPBv3) R 32018 32020 31971 0 -1 0 7173 0 0 0 15849 153 0 0 25 0 1 0 164356071 28438528 6538 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/32020/statm: 6943 6538 227 40 0 6360 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 27772 [startup+170.098 s] /proc/loadavg: 0.99 0.85 0.83 2/64 32020 /proc/meminfo: memFree=1122336/2055920 swapFree=4183104/4192956 [pid=32020] ppid=32018 vsize=28648 CPUtime=170.02 /proc/32020/stat : 32020 (glpPBv3) R 32018 32020 31971 0 -1 0 7397 0 0 0 16843 159 0 0 25 0 1 0 164356071 29335552 6762 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/32020/statm: 7162 6762 227 40 0 6579 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 28648 [startup+180.104 s] /proc/loadavg: 0.99 0.85 0.83 2/64 32020 /proc/meminfo: memFree=1121504/2055920 swapFree=4183104/4192956 [pid=32020] ppid=32018 vsize=29528 CPUtime=180.03 /proc/32020/stat : 32020 (glpPBv3) R 32018 32020 31971 0 -1 0 7612 0 0 0 17837 166 0 0 25 0 1 0 164356071 30236672 6977 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32020/statm: 7382 6977 227 40 0 6799 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 29528 [startup+190.11 s] /proc/loadavg: 0.99 0.86 0.83 2/64 32020 /proc/meminfo: memFree=1120608/2055920 swapFree=4183104/4192956 [pid=32020] ppid=32018 vsize=30404 CPUtime=190.03 /proc/32020/stat : 32020 (glpPBv3) R 32018 32020 31971 0 -1 0 7830 0 0 0 18832 171 0 0 25 0 1 0 164356071 31133696 7195 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/32020/statm: 7601 7195 227 40 0 7018 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 30404 [startup+200.116 s] /proc/loadavg: 0.99 0.86 0.83 2/64 32020 /proc/meminfo: memFree=1119904/2055920 swapFree=4183104/4192956 [pid=32020] ppid=32018 vsize=31032 CPUtime=200.03 /proc/32020/stat : 32020 (glpPBv3) R 32018 32020 31971 0 -1 0 7998 0 0 0 19826 177 0 0 25 0 1 0 164356071 31776768 7363 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578253 0 0 4096 0 0 0 0 17 1 0 0 /proc/32020/statm: 7758 7363 227 40 0 7175 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 31032 [startup+210.122 s] /proc/loadavg: 0.99 0.87 0.84 2/64 32020 ################ # More data... # ################ /proc/32020/stat : 32020 (glpPBv3) R 32018 32020 31971 0 -1 0 22970 0 0 0 177503 639 0 0 25 0 1 0 164356071 90542080 21694 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32020/statm: 22105 21694 227 40 0 21522 0 Current children cumulated CPU time (s) 1781.42 Current children cumulated vsize (Kb) 88420 [startup+1783.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32020 /proc/meminfo: memFree=1062304/2055920 swapFree=4183104/4192956 [pid=32020] ppid=32018 vsize=88420 CPUtime=1782.42 /proc/32020/stat : 32020 (glpPBv3) R 32018 32020 31971 0 -1 0 22978 0 0 0 177603 639 0 0 25 0 1 0 164356071 90542080 21702 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32020/statm: 22105 21702 227 40 0 21522 0 Current children cumulated CPU time (s) 1782.42 Current children cumulated vsize (Kb) 88420 [startup+1784.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32020 /proc/meminfo: memFree=1062304/2055920 swapFree=4183104/4192956 [pid=32020] ppid=32018 vsize=88420 CPUtime=1783.42 /proc/32020/stat : 32020 (glpPBv3) R 32018 32020 31971 0 -1 0 22984 0 0 0 177703 639 0 0 25 0 1 0 164356071 90542080 21708 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/32020/statm: 22105 21708 227 40 0 21522 0 Current children cumulated CPU time (s) 1783.42 Current children cumulated vsize (Kb) 88420 [startup+1785.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32020 /proc/meminfo: memFree=1062240/2055920 swapFree=4183104/4192956 [pid=32020] ppid=32018 vsize=88420 CPUtime=1784.42 /proc/32020/stat : 32020 (glpPBv3) R 32018 32020 31971 0 -1 0 22994 0 0 0 177803 639 0 0 25 0 1 0 164356071 90542080 21718 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578268 0 0 4096 0 0 0 0 17 1 0 0 /proc/32020/statm: 22105 21718 227 40 0 21522 0 Current children cumulated CPU time (s) 1784.42 Current children cumulated vsize (Kb) 88420 [startup+1786.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32020 /proc/meminfo: memFree=1062240/2055920 swapFree=4183104/4192956 [pid=32020] ppid=32018 vsize=88420 CPUtime=1785.44 /proc/32020/stat : 32020 (glpPBv3) R 32018 32020 31971 0 -1 0 22996 0 0 0 177904 640 0 0 25 0 1 0 164356071 90542080 21720 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134629096 0 0 4096 0 0 0 0 17 1 0 0 /proc/32020/statm: 22105 21720 227 40 0 21522 0 Current children cumulated CPU time (s) 1785.44 Current children cumulated vsize (Kb) 88420 [startup+1787.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32020 /proc/meminfo: memFree=1062240/2055920 swapFree=4183104/4192956 [pid=32020] ppid=32018 vsize=88544 CPUtime=1786.43 /proc/32020/stat : 32020 (glpPBv3) R 32018 32020 31971 0 -1 0 23004 0 0 0 178003 640 0 0 25 0 1 0 164356071 90669056 21728 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/32020/statm: 22136 21728 227 40 0 21553 0 Current children cumulated CPU time (s) 1786.43 Current children cumulated vsize (Kb) 88544 [startup+1788.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32020 /proc/meminfo: memFree=1062176/2055920 swapFree=4183104/4192956 [pid=32020] ppid=32018 vsize=88544 CPUtime=1787.45 /proc/32020/stat : 32020 (glpPBv3) R 32018 32020 31971 0 -1 0 23011 0 0 0 178104 641 0 0 25 0 1 0 164356071 90669056 21735 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/32020/statm: 22136 21735 227 40 0 21553 0 Current children cumulated CPU time (s) 1787.45 Current children cumulated vsize (Kb) 88544 [startup+1789.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32020 /proc/meminfo: memFree=1062176/2055920 swapFree=4183104/4192956 [pid=32020] ppid=32018 vsize=88544 CPUtime=1788.45 /proc/32020/stat : 32020 (glpPBv3) R 32018 32020 31971 0 -1 0 23013 0 0 0 178204 641 0 0 25 0 1 0 164356071 90669056 21737 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/32020/statm: 22136 21737 227 40 0 21553 0 Current children cumulated CPU time (s) 1788.45 Current children cumulated vsize (Kb) 88544 [startup+1790.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32020 /proc/meminfo: memFree=1062176/2055920 swapFree=4183104/4192956 [pid=32020] ppid=32018 vsize=88544 CPUtime=1789.45 /proc/32020/stat : 32020 (glpPBv3) R 32018 32020 31971 0 -1 0 23023 0 0 0 178304 641 0 0 25 0 1 0 164356071 90669056 21747 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/32020/statm: 22136 21747 227 40 0 21553 0 Current children cumulated CPU time (s) 1789.45 Current children cumulated vsize (Kb) 88544 [startup+1791.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32020 /proc/meminfo: memFree=1062112/2055920 swapFree=4183104/4192956 [pid=32020] ppid=32018 vsize=88544 CPUtime=1790.45 /proc/32020/stat : 32020 (glpPBv3) R 32018 32020 31971 0 -1 0 23027 0 0 0 178404 641 0 0 25 0 1 0 164356071 90669056 21751 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/32020/statm: 22136 21751 227 40 0 21553 0 Current children cumulated CPU time (s) 1790.45 Current children cumulated vsize (Kb) 88544 [startup+1792.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32020 /proc/meminfo: memFree=1062112/2055920 swapFree=4183104/4192956 [pid=32020] ppid=32018 vsize=88668 CPUtime=1791.46 /proc/32020/stat : 32020 (glpPBv3) R 32018 32020 31971 0 -1 0 23033 0 0 0 178504 642 0 0 25 0 1 0 164356071 90796032 21757 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/32020/statm: 22167 21757 227 40 0 21584 0 Current children cumulated CPU time (s) 1791.46 Current children cumulated vsize (Kb) 88668 [startup+1793.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32020 /proc/meminfo: memFree=1062112/2055920 swapFree=4183104/4192956 [pid=32020] ppid=32018 vsize=88668 CPUtime=1792.47 /proc/32020/stat : 32020 (glpPBv3) R 32018 32020 31971 0 -1 0 23037 0 0 0 178605 642 0 0 25 0 1 0 164356071 90796032 21761 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/32020/statm: 22167 21761 227 40 0 21584 0 Current children cumulated CPU time (s) 1792.47 Current children cumulated vsize (Kb) 88668 [startup+1794.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32020 /proc/meminfo: memFree=1062048/2055920 swapFree=4183104/4192956 [pid=32020] ppid=32018 vsize=88668 CPUtime=1793.47 /proc/32020/stat : 32020 (glpPBv3) R 32018 32020 31971 0 -1 0 23043 0 0 0 178705 642 0 0 25 0 1 0 164356071 90796032 21767 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/32020/statm: 22167 21767 227 40 0 21584 0 Current children cumulated CPU time (s) 1793.47 Current children cumulated vsize (Kb) 88668 [startup+1795.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32020 /proc/meminfo: memFree=1062048/2055920 swapFree=4183104/4192956 [pid=32020] ppid=32018 vsize=88668 CPUtime=1794.48 /proc/32020/stat : 32020 (glpPBv3) R 32018 32020 31971 0 -1 0 23043 0 0 0 178806 642 0 0 25 0 1 0 164356071 90796032 21767 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/32020/statm: 22167 21767 227 40 0 21584 0 Current children cumulated CPU time (s) 1794.48 Current children cumulated vsize (Kb) 88668 [startup+1796.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32020 /proc/meminfo: memFree=1061984/2055920 swapFree=4183104/4192956 [pid=32020] ppid=32018 vsize=88668 CPUtime=1795.48 /proc/32020/stat : 32020 (glpPBv3) R 32018 32020 31971 0 -1 0 23053 0 0 0 178906 642 0 0 25 0 1 0 164356071 90796032 21777 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/32020/statm: 22167 21777 227 40 0 21584 0 Current children cumulated CPU time (s) 1795.48 Current children cumulated vsize (Kb) 88668 [startup+1797.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32020 /proc/meminfo: memFree=1061984/2055920 swapFree=4183104/4192956 [pid=32020] ppid=32018 vsize=88668 CPUtime=1796.49 /proc/32020/stat : 32020 (glpPBv3) R 32018 32020 31971 0 -1 0 23057 0 0 0 179006 643 0 0 25 0 1 0 164356071 90796032 21781 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/32020/statm: 22167 21781 227 40 0 21584 0 Current children cumulated CPU time (s) 1796.49 Current children cumulated vsize (Kb) 88668 [startup+1798.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32020 /proc/meminfo: memFree=1061984/2055920 swapFree=4183104/4192956 [pid=32020] ppid=32018 vsize=88668 CPUtime=1797.49 /proc/32020/stat : 32020 (glpPBv3) R 32018 32020 31971 0 -1 0 23062 0 0 0 179106 643 0 0 25 0 1 0 164356071 90796032 21786 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/32020/statm: 22167 21786 227 40 0 21584 0 Current children cumulated CPU time (s) 1797.49 Current children cumulated vsize (Kb) 88668 [startup+1799.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32020 /proc/meminfo: memFree=1061984/2055920 swapFree=4183104/4192956 [pid=32020] ppid=32018 vsize=88796 CPUtime=1798.49 /proc/32020/stat : 32020 (glpPBv3) R 32018 32020 31971 0 -1 0 23064 0 0 0 179206 643 0 0 25 0 1 0 164356071 90927104 21788 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/32020/statm: 22199 21788 227 40 0 21616 0 Current children cumulated CPU time (s) 1798.49 Current children cumulated vsize (Kb) 88796 [startup+1800.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32020 /proc/meminfo: memFree=1061920/2055920 swapFree=4183104/4192956 [pid=32020] ppid=32018 vsize=88796 CPUtime=1799.49 /proc/32020/stat : 32020 (glpPBv3) R 32018 32020 31971 0 -1 0 23072 0 0 0 179306 643 0 0 25 0 1 0 164356071 90927104 21796 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/32020/statm: 22199 21796 227 40 0 21616 0 Current children cumulated CPU time (s) 1799.49 Current children cumulated vsize (Kb) 88796 [startup+1801.19 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32020 /proc/meminfo: memFree=1061920/2055920 swapFree=4183104/4192956 [pid=32020] ppid=32018 vsize=88796 CPUtime=1800.51 /proc/32020/stat : 32020 (glpPBv3) R 32018 32020 31971 0 -1 0 23078 0 0 0 179407 644 0 0 25 0 1 0 164356071 90927104 21802 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578266 0 0 4096 0 0 0 0 17 1 0 0 /proc/32020/statm: 22199 21802 227 40 0 21616 0 Current children cumulated CPU time (s) 1800.51 Current children cumulated vsize (Kb) 88796 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.19 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32020 /proc/meminfo: memFree=1061920/2055920 swapFree=4183104/4192956 [pid=32020] ppid=32018 vsize=88796 CPUtime=1800.51 /proc/32020/stat : 32020 (glpPBv3) R 32018 32020 31971 0 -1 0 23078 0 0 0 179407 644 0 0 25 0 1 0 164356071 90927104 21802 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/32020/statm: 22199 21802 227 40 0 21616 0 Current children cumulated CPU time (s) 1800.51 Current children cumulated vsize (Kb) 88796 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.21 CPU time (s): 1800.53 CPU user time (s): 1794.08 CPU system time (s): 6.45502 CPU usage (%): 99.9622 Max. virtual memory (cumulated for all children) (Kb): 88796 The end
Begin job on node1 on Sat Jul 29 12:09:04 UTC 2006 FILE ID= 85811-1154174944 PBS_JOBID= 893585 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_7_60_2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node1/85811-1154174944/instance-85811-1154174944.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-85811-1154174944 -o ROOT/results/node1/solver-85811-1154174944 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node1/85811-1154174944/instance-85811-1154174944.opb MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff MD5SUM BENCH= 6c673f615af1912eadc68b4290958076 RANDOM SEED= 41349164 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.281 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.281 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: 1148768 kB Buffers: 42800 kB Cached: 785736 kB SwapCached: 3648 kB Active: 168816 kB Inactive: 668372 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1148768 kB SwapTotal: 4192956 kB SwapFree: 4183104 kB Dirty: 196 kB Writeback: 0 kB Mapped: 14596 kB Slab: 56020 kB Committed_AS: 735536 kB PageTables: 1464 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node1 on Sat Jul 29 12:39:05 UTC 2006