Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.15 | 1800.79 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-mod011.opb |
MD5SUM | 11ee19baa608345f86d8483767b8a181 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -2 |
Best CPU time to get the best result obtained on this benchmark | 1804.54 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -2 |
Optimality of the best value was proved | NO |
Number of variables | 309773 |
Total number of constraints | 5980 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 16 |
Number of constraints which are nor clauses,nor cardinality constraints | 5964 |
Minimum length of a constraint | 6 |
Maximum length of a constraint | 24690 |
Number of terms in the objective function | 212680 |
Biggest coefficient in the objective function | 244 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 711535 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 711535 |
Number of bits of the biggest sum of numbers | 20 |
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 Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 9.55 c Initial problem consists of 309773 variables and 10347 constraints. 10.39 c No problem reductions applied in OPT. instance. 10.39 c preprocess terminated. Elapsed time: 10.368 10.39 c After prepocess the problem consists of 227435 variables and 10347 constraints. 10.39 c Initial Lower Bound: -14972 23.22 c Restart #1 #Var: 227435 LB: -14972 @ 23.203 45.30 c Restart #2 #Var: 227435 LB: -14972 @ 45.267 80.58 c Restart #3 #Var: 227435 LB: -14972 @ 80.536 123.95 c Restart #4 #Var: 227435 LB: -14972 @ 123.89 180.09 c Restart #5 #Var: 227435 LB: -14972 @ 180.02 236.83 c Restart #6 #Var: 227435 LB: -14972 @ 236.74 339.14 c Restart #7 #Var: 227398 LB: -14972 @ 339.01 424.05 c Restart #8 #Var: 227389 LB: -14972 @ 423.89 503.41 c Restart #9 #Var: 227361 LB: -14972 @ 503.22 511.19 c Restart #10 #Var: 227360 LB: -14972 @ 511 511.44 c Restart #11 #Var: 227357 LB: -14972 @ 511.25 512.38 c Restart #12 #Var: 227357 LB: -14972 @ 512.19 521.71 c Restart #13 #Var: 227355 LB: -14972 @ 521.52 556.38 c Restart #14 #Var: 227354 LB: -14972 @ 556.18 575.19 c Restart #15 #Var: 227347 LB: -14972 @ 574.98 579.54 c Restart #16 #Var: 227347 LB: -14972 @ 579.32 589.79 c Restart #17 #Var: 227347 LB: -14972 @ 589.57 598.05 c Restart #18 #Var: 227342 LB: -14972 @ 597.83 616.98 c Restart #19 #Var: 227341 LB: -14972 @ 616.75 626.18 c Restart #20 #Var: 227338 LB: -14972 @ 625.95 653.45 c Restart #21 #Var: 227337 LB: -14972 @ 653.21 659.77 c Restart #22 #Var: 227321 LB: -14972 @ 659.53 669.62 c Restart #23 #Var: 227319 LB: -14972 @ 669.37 670.56 c Restart #24 #Var: 227311 LB: -14972 @ 670.31 673.19 c Restart #25 #Var: 227310 LB: -14972 @ 672.95 685.97 c Restart #26 #Var: 227298 LB: -14972 @ 685.72 688.19 c Restart #27 #Var: 227292 LB: -14972 @ 687.94 693.79 c Restart #28 #Var: 227270 LB: -14972 @ 693.53 699.71 c Restart #29 #Var: 227247 LB: -14972 @ 699.46 704.05 c Restart #30 #Var: 227245 LB: -14972 @ 703.79 707.60 c Restart #31 #Var: 227239 LB: -14972 @ 707.34 714.51 c Restart #32 #Var: 227219 LB: -14972 @ 714.25 741.11 c Restart #33 #Var: 227213 LB: -14972 @ 740.84 745.48 c Restart #34 #Var: 227209 LB: -14972 @ 745.21 748.10 c Restart #35 #Var: 227203 LB: -14972 @ 747.83 749.69 c Restart #36 #Var: 227203 LB: -14972 @ 749.42 751.89 c Restart #37 #Var: 227199 LB: -14972 @ 751.62 770.63 c Restart #38 #Var: 227199 LB: -14972 @ 770.35 777.71 c Restart #39 #Var: 227195 LB: -14972 @ 777.43 780.92 c Restart #40 #Var: 227195 LB: -14972 @ 780.64 786.37 c Restart #41 #Var: 227191 LB: -14972 @ 786.08 789.23 c Restart #42 #Var: 227191 LB: -14972 @ 788.94 793.20 c Restart #43 #Var: 227187 LB: -14972 @ 792.91 794.54 c Restart #44 #Var: 227187 LB: -14972 @ 794.25 803.64 c Restart #45 #Var: 227185 LB: -14972 @ 803.35 842.22 c Restart #46 #Var: 227185 LB: -14972 @ 841.91 849.03 c Restart #47 #Var: 227183 LB: -14972 @ 848.73 859.18 c Restart #48 #Var: 227183 LB: -14972 @ 858.87 882.66 c Restart #49 #Var: 227183 LB: -14972 @ 882.34 885.49 c Restart #50 #Var: 227183 LB: -14972 @ 885.17 903.16 c CHANGE Heuristic... 903.16 c Restart #0 #Var: 227182 LB: -14972 @ 902.84 903.53 c Restart #1 #Var: 227111 LB: -14972 @ 903.21 903.58 c Restart #2 #Var: 227104 LB: -14972 @ 903.26 903.71 c Restart #3 #Var: 227104 LB: -14972 @ 903.38 904.07 c Restart #4 #Var: 227087 LB: -14972 @ 903.74 905.00 c Restart #5 #Var: 227061 LB: -14972 @ 904.67 936.65 c Restart #6 #Var: 226943 LB: -14972 @ 936.31 948.24 c Restart #7 #Var: 226906 LB: -14972 @ 947.89 967.59 c Restart #8 #Var: 226863 LB: -14972 @ 967.24 971.21 c Restart #9 #Var: 226861 LB: -14972 @ 970.86 977.61 c Restart #10 #Var: 226855 LB: -14972 @ 977.26 981.59 c Restart #11 #Var: 226854 LB: -14972 @ 981.24 988.15 c Restart #12 #Var: 226852 LB: -14972 @ 987.79 988.78 c Restart #13 #Var: 226852 LB: -14972 @ 988.42 989.33 c Restart #14 #Var: 226852 LB: -14972 @ 988.98 991.51 c Restart #15 #Var: 226849 LB: -14972 @ 991.15 992.96 c Restart #16 #Var: 226848 LB: -14972 @ 992.6 1005.81 c Restart #17 #Var: 226848 LB: -14972 @ 1005.5 1008.01 c Restart #18 #Var: 226845 LB: -14972 @ 1007.7 1009.26 c Restart #19 #Var: 226845 LB: -14972 @ 1008.9 1011.96 c Restart #20 #Var: 226844 LB: -14972 @ 1011.6 1012.97 c Restart #21 #Var: 226844 LB: -14972 @ 1012.6 1015.63 c Restart #22 #Var: 226844 LB: -14972 @ 1015.3 1016.76 c Restart #23 #Var: 226844 LB: -14972 @ 1016.4 1018.76 c Restart #24 #Var: 226844 LB: -14972 @ 1018.4 1019.86 c Restart #25 #Var: 226844 LB: -14972 @ 1019.5 1027.27 c Restart #26 #Var: 226830 LB: -14972 @ 1026.9 1033.78 c Restart #27 #Var: 226826 LB: -14972 @ 1033.4 1045.94 c Restart #28 #Var: 226826 LB: -14972 @ 1045.6 1049.82 c Restart #29 #Var: 226825 LB: -14972 @ 1049.4 1072.66 c Restart #30 #Var: 226825 LB: -14972 @ 1072.3 1081.59 c Restart #31 #Var: 226797 LB: -14972 @ 1081.2 1084.90 c Restart #32 #Var: 226797 LB: -14972 @ 1084.5 1087.22 c Restart #33 #Var: 226793 LB: -14972 @ 1086.8 1091.34 c Restart #34 #Var: 226793 LB: -14972 @ 1091 1117.41 c Restart #35 #Var: 226793 LB: -14972 @ 1117 1125.10 c Restart #36 #Var: 226793 LB: -14972 @ 1124.7 1132.65 c Restart #37 #Var: 226793 LB: -14972 @ 1132.2 1134.55 c Restart #38 #Var: 226793 LB: -14972 @ 1134.1 1165.08 c Restart #39 #Var: 226780 LB: -14972 @ 1164.7 1172.85 c Restart #40 #Var: 226731 LB: -14972 @ 1172.4 1178.60 c Restart #41 #Var: 226725 LB: -14972 @ 1178.2 1206.56 c Restart #42 #Var: 226725 LB: -14972 @ 1206.1 1213.06 c Restart #43 #Var: 226725 LB: -14972 @ 1212.6 1221.96 c Restart #44 #Var: 226724 LB: -14972 @ 1221.5 1233.29 c Restart #45 #Var: 226723 LB: -14972 @ 1232.9 1283.04 c Restart #46 #Var: 226723 LB: -14972 @ 1282.6 1394.27 c Restart #47 #Var: 226723 LB: -14972 @ 1393.8 1395.72 c Restart #48 #Var: 226723 LB: -14972 @ 1395.2 1456.30 c Restart #49 #Var: 226723 LB: -14972 @ 1455.8 1494.57 c Restart #50 #Var: 226723 LB: -14972 @ 1494 1520.68 c Restart #51 #Var: 226723 LB: -14972 @ 1520.1 1574.55 c Restart #52 #Var: 226720 LB: -14972 @ 1574 1632.01 c Restart #53 #Var: 226720 LB: -14972 @ 1631.4 1635.65 c Restart #54 #Var: 226720 LB: -14972 @ 1635.1 1642.08 c Restart #55 #Var: 226720 LB: -14972 @ 1641.5 1644.88 c Restart #56 #Var: 226720 LB: -14972 @ 1644.3 1750.88 c Restart #57 #Var: 226720 LB: -14972 @ 1750.3 1765.62 c Restart #58 #Var: 226719 LB: -14972 @ 1765 1790.22 c Restart #59 #Var: 226719 LB: -14972 @ 1789.6 1800.64 s UNKNOWN 1800.64 c Exit Code: 0 1800.64 c Total time: 1800 s
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 Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node38/watcher-40049-1149362374 -o ROOT/results/node38/solver-40049-1149362374 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node38/40049-1149362374/instance-40049-1149362374.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 1.00 1.00 3/64 15843 /proc/meminfo: memFree=1671072/2055920 swapFree=4181196/4192956 [pid=15843] ppid=15841 vsize=4932 CPUtime=0 /proc/15843/stat : 15843 (bsolo) D 15841 15843 15797 0 -1 0 368 0 0 0 0 0 0 0 18 0 1 0 201903692 5050368 331 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 18446744072099781622 0 0 17 1 0 0 /proc/15843/statm: 1241 332 227 55 0 133 0 [startup+10.0025 s] /proc/loadavg: 0.99 1.00 1.00 2/64 15843 /proc/meminfo: memFree=1349104/2055920 swapFree=4181196/4192956 [pid=15843] ppid=15841 vsize=338240 CPUtime=9.97 /proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 222095 0 0 0 918 79 0 0 25 0 1 0 201903692 346357760 80696 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535086 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15843/statm: 84560 80696 288 55 0 83452 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 338240 [startup+20.0084 s] /proc/loadavg: 0.99 1.00 1.00 2/64 15843 /proc/meminfo: memFree=1320752/2055920 swapFree=4181196/4192956 [pid=15843] ppid=15841 vsize=368416 CPUtime=19.98 /proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 229204 0 0 0 1835 163 0 0 25 0 1 0 201903692 377257984 87805 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15843/statm: 92104 87805 297 55 0 90996 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 368416 [startup+30.0143 s] /proc/loadavg: 0.99 1.00 1.00 2/64 15843 /proc/meminfo: memFree=1320688/2055920 swapFree=4181196/4192956 [pid=15843] ppid=15841 vsize=368392 CPUtime=29.99 /proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 230115 0 0 0 2753 246 0 0 25 0 1 0 201903692 377233408 87807 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15843/statm: 92098 87807 297 55 0 90990 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 368392 [startup+40.0203 s] /proc/loadavg: 0.99 1.00 1.00 2/64 15843 /proc/meminfo: memFree=1320688/2055920 swapFree=4181196/4192956 [pid=15843] ppid=15841 vsize=368524 CPUtime=39.99 /proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 230143 0 0 0 3666 333 0 0 25 0 1 0 201903692 377368576 87835 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15843/statm: 92131 87835 297 55 0 91023 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 368524 [startup+50.0262 s] /proc/loadavg: 0.99 1.00 1.00 2/64 15843 /proc/meminfo: memFree=1320752/2055920 swapFree=4181196/4192956 [pid=15843] ppid=15841 vsize=368400 CPUtime=49.99 /proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 230143 0 0 0 4586 413 0 0 25 0 1 0 201903692 377241600 87830 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15843/statm: 92100 87830 297 55 0 90992 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 368400 [startup+60.0322 s] /proc/loadavg: 0.99 1.00 1.00 2/64 15843 /proc/meminfo: memFree=1320752/2055920 swapFree=4181196/4192956 [pid=15843] ppid=15841 vsize=368400 CPUtime=59.99 /proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 230143 0 0 0 5502 497 0 0 25 0 1 0 201903692 377241600 87830 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15843/statm: 92100 87830 297 55 0 90992 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 368400 [startup+70.0391 s] /proc/loadavg: 0.99 1.00 1.00 2/64 15843 /proc/meminfo: memFree=1320752/2055920 swapFree=4181196/4192956 [pid=15843] ppid=15841 vsize=368400 CPUtime=69.99 /proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 230143 0 0 0 6418 581 0 0 25 0 1 0 201903692 377241600 87830 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632785 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15843/statm: 92100 87830 297 55 0 90992 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 368400 [startup+80.0461 s] /proc/loadavg: 0.99 1.00 1.00 2/64 15843 /proc/meminfo: memFree=1320752/2055920 swapFree=4181196/4192956 [pid=15843] ppid=15841 vsize=368532 CPUtime=79.99 /proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 230144 0 0 0 7333 666 0 0 25 0 1 0 201903692 377376768 87831 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15843/statm: 92133 87831 297 55 0 91025 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 368532 [startup+90.053 s] /proc/loadavg: 0.99 1.00 1.00 2/64 15843 /proc/meminfo: memFree=1320752/2055920 swapFree=4181196/4192956 [pid=15843] ppid=15841 vsize=368408 CPUtime=90 /proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 230144 0 0 0 8257 743 0 0 25 0 1 0 201903692 377249792 87831 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15843/statm: 92102 87831 297 55 0 90994 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 368408 [startup+100.059 s] /proc/loadavg: 0.99 1.00 1.00 2/64 15843 /proc/meminfo: memFree=1320752/2055920 swapFree=4181196/4192956 [pid=15843] ppid=15841 vsize=368408 CPUtime=100 /proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 230144 0 0 0 9178 822 0 0 25 0 1 0 201903692 377249792 87831 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718470 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15843/statm: 92102 87831 297 55 0 90994 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 368408 [startup+110.066 s] /proc/loadavg: 0.99 1.00 1.00 2/64 15843 /proc/meminfo: memFree=1320752/2055920 swapFree=4181196/4192956 [pid=15843] ppid=15841 vsize=368408 CPUtime=110 /proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 230144 0 0 0 10095 905 0 0 25 0 1 0 201903692 377249792 87831 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15843/statm: 92102 87831 297 55 0 90994 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 368408 [startup+120.072 s] /proc/loadavg: 0.99 1.00 1.00 2/64 15843 /proc/meminfo: memFree=1320752/2055920 swapFree=4181196/4192956 [pid=15843] ppid=15841 vsize=368408 CPUtime=120.01 /proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 230144 0 0 0 11020 981 0 0 25 0 1 0 201903692 377249792 87831 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15843/statm: 92102 87831 297 55 0 90994 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 368408 [startup+130.078 s] /proc/loadavg: 0.99 1.00 1.00 2/64 15843 /proc/meminfo: memFree=1320752/2055920 swapFree=4181196/4192956 [pid=15843] ppid=15841 vsize=368540 CPUtime=130.01 /proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 230148 0 0 0 11939 1062 0 0 25 0 1 0 201903692 377384960 87835 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15843/statm: 92135 87835 297 55 0 91027 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 368540 [startup+140.085 s] /proc/loadavg: 0.99 1.00 1.00 2/64 15843 /proc/meminfo: memFree=1320752/2055920 swapFree=4181196/4192956 [pid=15843] ppid=15841 vsize=368540 CPUtime=140.02 /proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 230148 0 0 0 12855 1147 0 0 25 0 1 0 201903692 377384960 87835 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15843/statm: 92135 87835 297 55 0 91027 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 368540 [startup+150.091 s] /proc/loadavg: 0.99 1.00 1.00 2/64 15843 /proc/meminfo: memFree=1320752/2055920 swapFree=4181196/4192956 [pid=15843] ppid=15841 vsize=368540 CPUtime=150.01 /proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 230148 0 0 0 13779 1222 0 0 25 0 1 0 201903692 377384960 87835 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134595889 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15843/statm: 92135 87835 297 55 0 91027 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 368540 [startup+160.097 s] /proc/loadavg: 0.99 1.00 1.00 2/64 15843 /proc/meminfo: memFree=1320752/2055920 swapFree=4181196/4192956 [pid=15843] ppid=15841 vsize=368508 CPUtime=160.02 /proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 230149 0 0 0 14697 1305 0 0 25 0 1 0 201903692 377352192 87836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15843/statm: 92127 87836 297 55 0 91019 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 368508 [startup+170.104 s] /proc/loadavg: 0.99 1.00 1.00 2/64 15843 /proc/meminfo: memFree=1320752/2055920 swapFree=4181196/4192956 [pid=15843] ppid=15841 vsize=368508 CPUtime=170.03 /proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 230149 0 0 0 15617 1386 0 0 25 0 1 0 201903692 377352192 87836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15843/statm: 92127 87836 297 55 0 91019 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 368508 [startup+180.11 s] /proc/loadavg: 0.99 1.00 1.00 2/64 15843 /proc/meminfo: memFree=1320752/2055920 swapFree=4181196/4192956 [pid=15843] ppid=15841 vsize=368496 CPUtime=180.02 /proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 230149 0 0 0 16547 1455 0 0 25 0 1 0 201903692 377339904 87836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15843/statm: 92124 87836 297 55 0 91016 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 368496 [startup+190.115 s] /proc/loadavg: 0.99 1.00 1.00 2/64 15843 /proc/meminfo: memFree=1320752/2055920 swapFree=4181196/4192956 [pid=15843] ppid=15841 vsize=368496 CPUtime=190.02 /proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 230149 0 0 0 17471 1531 0 0 25 0 1 0 201903692 377339904 87836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15843/statm: 92124 87836 297 55 0 91016 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 368496 [startup+200.121 s] /proc/loadavg: 0.99 1.00 1.00 2/64 15843 /proc/meminfo: memFree=1320752/2055920 swapFree=4181196/4192956 [pid=15843] ppid=15841 vsize=368480 CPUtime=200.03 /proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 230149 0 0 0 18394 1609 0 0 25 0 1 0 201903692 377323520 87836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15843/statm: 92120 87836 297 55 0 91012 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 368480 [startup+210.127 s] /proc/loadavg: 0.99 1.00 1.00 2/64 15843 /proc/meminfo: memFree=1320752/2055920 swapFree=4181196/4192956 ################ # More data... # ################ /proc/15843/statm: 225370 220955 297 55 0 224262 0 Current children cumulated CPU time (s) 1760.44 Current children cumulated vsize (Kb) 901480 [startup+1771.09 s] /proc/loadavg: 0.99 1.00 1.00 2/64 15845 /proc/meminfo: memFree=774320/2055920 swapFree=4181196/4192956 [pid=15843] ppid=15841 vsize=914156 CPUtime=1770.45 /proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 373903 0 0 0 172797 4248 0 0 25 0 1 0 201903692 936095744 224149 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15843/statm: 228539 224149 297 55 0 227431 0 Current children cumulated CPU time (s) 1770.45 Current children cumulated vsize (Kb) 914156 [startup+1781.09 s] /proc/loadavg: 0.99 1.00 1.00 2/64 15845 /proc/meminfo: memFree=767344/2055920 swapFree=4181196/4192956 [pid=15843] ppid=15841 vsize=921200 CPUtime=1780.45 /proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 375644 0 0 0 173795 4250 0 0 25 0 1 0 201903692 943308800 225888 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15843/statm: 230300 225888 297 55 0 229192 0 Current children cumulated CPU time (s) 1780.45 Current children cumulated vsize (Kb) 921200 [startup+1782.1 s] /proc/loadavg: 0.99 1.00 1.00 2/64 15845 /proc/meminfo: memFree=766576/2055920 swapFree=4181196/4192956 [pid=15843] ppid=15841 vsize=921992 CPUtime=1781.45 /proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 375843 0 0 0 173895 4250 0 0 25 0 1 0 201903692 944119808 226087 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551613 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15843/statm: 230498 226087 297 55 0 229390 0 Current children cumulated CPU time (s) 1781.45 Current children cumulated vsize (Kb) 921992 [startup+1783.1 s] /proc/loadavg: 0.99 1.00 1.00 2/64 15845 /proc/meminfo: memFree=765744/2055920 swapFree=4181196/4192956 [pid=15843] ppid=15841 vsize=922784 CPUtime=1782.46 /proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 376035 0 0 0 173995 4251 0 0 25 0 1 0 201903692 944930816 226279 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15843/statm: 230696 226279 297 55 0 229588 0 Current children cumulated CPU time (s) 1782.46 Current children cumulated vsize (Kb) 922784 [startup+1784.11 s] /proc/loadavg: 0.99 1.00 1.00 2/64 15845 /proc/meminfo: memFree=765360/2055920 swapFree=4181196/4192956 [pid=15843] ppid=15841 vsize=923180 CPUtime=1783.47 /proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 376137 0 0 0 174096 4251 0 0 25 0 1 0 201903692 945336320 226381 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15843/statm: 230795 226381 297 55 0 229687 0 Current children cumulated CPU time (s) 1783.47 Current children cumulated vsize (Kb) 923180 [startup+1785.11 s] /proc/loadavg: 0.99 1.00 1.00 2/64 15845 /proc/meminfo: memFree=764528/2055920 swapFree=4181196/4192956 [pid=15843] ppid=15841 vsize=924104 CPUtime=1784.47 /proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 376354 0 0 0 174196 4251 0 0 25 0 1 0 201903692 946282496 226598 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15843/statm: 231026 226598 297 55 0 229918 0 Current children cumulated CPU time (s) 1784.47 Current children cumulated vsize (Kb) 924104 [startup+1786.12 s] /proc/loadavg: 0.99 1.00 1.00 2/64 15845 /proc/meminfo: memFree=763568/2055920 swapFree=4181196/4192956 [pid=15843] ppid=15841 vsize=925028 CPUtime=1785.47 /proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 376587 0 0 0 174296 4251 0 0 25 0 1 0 201903692 947228672 226831 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9041531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15843/statm: 231257 226831 297 55 0 230149 0 Current children cumulated CPU time (s) 1785.47 Current children cumulated vsize (Kb) 925028 [startup+1787.12 s] /proc/loadavg: 0.99 1.00 1.00 2/64 15845 /proc/meminfo: memFree=762800/2055920 swapFree=4181196/4192956 [pid=15843] ppid=15841 vsize=925820 CPUtime=1786.48 /proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 376783 0 0 0 174397 4251 0 0 25 0 1 0 201903692 948039680 227027 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15843/statm: 231455 227027 297 55 0 230347 0 Current children cumulated CPU time (s) 1786.48 Current children cumulated vsize (Kb) 925820 [startup+1788.13 s] /proc/loadavg: 0.99 1.00 1.00 2/64 15845 /proc/meminfo: memFree=761968/2055920 swapFree=4181196/4192956 [pid=15843] ppid=15841 vsize=926612 CPUtime=1787.49 /proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 376988 0 0 0 174497 4252 0 0 25 0 1 0 201903692 948850688 227232 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15843/statm: 231653 227232 297 55 0 230545 0 Current children cumulated CPU time (s) 1787.49 Current children cumulated vsize (Kb) 926612 [startup+1789.13 s] /proc/loadavg: 0.99 1.00 1.00 2/64 15845 /proc/meminfo: memFree=761136/2055920 swapFree=4181196/4192956 [pid=15843] ppid=15841 vsize=927404 CPUtime=1788.49 /proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 377199 0 0 0 174597 4252 0 0 25 0 1 0 201903692 949661696 227443 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529310 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15843/statm: 231851 227443 297 55 0 230743 0 Current children cumulated CPU time (s) 1788.49 Current children cumulated vsize (Kb) 927404 [startup+1790.14 s] /proc/loadavg: 0.99 1.00 1.00 2/64 15845 /proc/meminfo: memFree=760240/2055920 swapFree=4181196/4192956 [pid=15843] ppid=15841 vsize=928328 CPUtime=1789.5 /proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 377414 0 0 0 174698 4252 0 0 25 0 1 0 201903692 950607872 227658 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15843/statm: 232082 227658 297 55 0 230974 0 Current children cumulated CPU time (s) 1789.5 Current children cumulated vsize (Kb) 928328 [startup+1791.14 s] /proc/loadavg: 0.99 1.00 1.00 2/64 15845 /proc/meminfo: memFree=760112/2055920 swapFree=4181196/4192956 [pid=15843] ppid=15841 vsize=928468 CPUtime=1790.5 /proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 377442 0 0 0 174798 4252 0 0 25 0 1 0 201903692 950751232 227686 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15843/statm: 232117 227686 297 55 0 231009 0 Current children cumulated CPU time (s) 1790.5 Current children cumulated vsize (Kb) 928468 [startup+1792.15 s] /proc/loadavg: 0.99 1.00 1.00 2/64 15845 /proc/meminfo: memFree=759984/2055920 swapFree=4181196/4192956 [pid=15843] ppid=15841 vsize=928600 CPUtime=1791.5 /proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 377475 0 0 0 174898 4252 0 0 25 0 1 0 201903692 950886400 227719 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534124 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15843/statm: 232150 227719 297 55 0 231042 0 Current children cumulated CPU time (s) 1791.5 Current children cumulated vsize (Kb) 928600 [startup+1793.15 s] /proc/loadavg: 0.99 1.00 1.00 2/64 15845 /proc/meminfo: memFree=759856/2055920 swapFree=4181196/4192956 [pid=15843] ppid=15841 vsize=928732 CPUtime=1792.51 /proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 377510 0 0 0 174999 4252 0 0 25 0 1 0 201903692 951021568 227754 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15843/statm: 232183 227754 297 55 0 231075 0 Current children cumulated CPU time (s) 1792.51 Current children cumulated vsize (Kb) 928732 [startup+1794.16 s] /proc/loadavg: 0.99 1.00 1.00 2/64 15845 /proc/meminfo: memFree=759792/2055920 swapFree=4181196/4192956 [pid=15843] ppid=15841 vsize=928864 CPUtime=1793.51 /proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 377535 0 0 0 175099 4252 0 0 25 0 1 0 201903692 951156736 227779 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15843/statm: 232216 227779 297 55 0 231108 0 Current children cumulated CPU time (s) 1793.51 Current children cumulated vsize (Kb) 928864 [startup+1795.16 s] /proc/loadavg: 0.99 1.00 1.00 2/64 15845 /proc/meminfo: memFree=759600/2055920 swapFree=4181196/4192956 [pid=15843] ppid=15841 vsize=928996 CPUtime=1794.52 /proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 377572 0 0 0 175200 4252 0 0 25 0 1 0 201903692 951291904 227816 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15843/statm: 232249 227816 297 55 0 231141 0 Current children cumulated CPU time (s) 1794.52 Current children cumulated vsize (Kb) 928996 [startup+1796.17 s] /proc/loadavg: 0.99 1.00 1.00 2/64 15845 /proc/meminfo: memFree=759472/2055920 swapFree=4181196/4192956 [pid=15843] ppid=15841 vsize=929128 CPUtime=1795.52 /proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 377614 0 0 0 175300 4252 0 0 25 0 1 0 201903692 951427072 227858 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15843/statm: 232282 227858 297 55 0 231174 0 Current children cumulated CPU time (s) 1795.52 Current children cumulated vsize (Kb) 929128 [startup+1797.17 s] /proc/loadavg: 0.99 1.00 1.00 2/64 15845 /proc/meminfo: memFree=759344/2055920 swapFree=4181196/4192956 [pid=15843] ppid=15841 vsize=929260 CPUtime=1796.53 /proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 377638 0 0 0 175401 4252 0 0 25 0 1 0 201903692 951562240 227882 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15843/statm: 232315 227882 297 55 0 231207 0 Current children cumulated CPU time (s) 1796.53 Current children cumulated vsize (Kb) 929260 [startup+1798.18 s] /proc/loadavg: 0.99 1.00 1.00 2/64 15845 /proc/meminfo: memFree=759216/2055920 swapFree=4181196/4192956 [pid=15843] ppid=15841 vsize=929392 CPUtime=1797.53 /proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 377678 0 0 0 175501 4252 0 0 25 0 1 0 201903692 951697408 227922 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15843/statm: 232348 227922 297 55 0 231240 0 Current children cumulated CPU time (s) 1797.53 Current children cumulated vsize (Kb) 929392 [startup+1799.18 s] /proc/loadavg: 0.99 1.00 1.00 2/64 15845 /proc/meminfo: memFree=759088/2055920 swapFree=4181196/4192956 [pid=15843] ppid=15841 vsize=929524 CPUtime=1798.53 /proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 377699 0 0 0 175601 4252 0 0 25 0 1 0 201903692 951832576 227943 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548421 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15843/statm: 232381 227943 297 55 0 231273 0 Current children cumulated CPU time (s) 1798.53 Current children cumulated vsize (Kb) 929524 [startup+1800.19 s] /proc/loadavg: 0.99 1.00 1.00 2/64 15845 /proc/meminfo: memFree=758960/2055920 swapFree=4181196/4192956 [pid=15843] ppid=15841 vsize=929656 CPUtime=1799.55 /proc/15843/stat : 15843 (bsolo) R 15841 15843 15797 0 -1 0 377734 0 0 0 175702 4253 0 0 25 0 1 0 201903692 951967744 227978 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15843/statm: 232414 227978 297 55 0 231306 0 Current children cumulated CPU time (s) 1799.55 Current children cumulated vsize (Kb) 929656 Child status: 0 Real time (s): 1800.79 CPU time (s): 1800.15 CPU user time (s): 1757.47 CPU system time (s): 42.6715 CPU usage (%): 99.9644 Max. virtual memory (cumulated for all children) (Kb): 929656
Begin job on node38 on Sat Jun 3 19:19:34 UTC 2006 FILE ID= 40049-1149362374 PBS_JOBID= 311588 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-mod011.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node38/40049-1149362374/instance-40049-1149362374.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-40049-1149362374 -o ROOT/results/node38/solver-40049-1149362374 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node38/40049-1149362374/instance-40049-1149362374.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 11ee19baa608345f86d8483767b8a181 RANDOM SEED= 267110962 /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.267 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.267 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: 1671280 kB Buffers: 25816 kB Cached: 291860 kB SwapCached: 3420 kB Active: 70988 kB Inactive: 255348 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1671280 kB SwapTotal: 4192956 kB SwapFree: 4181196 kB Dirty: 208 kB Writeback: 0 kB Mapped: 14904 kB Slab: 44296 kB Committed_AS: 343464 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node38 on Sat Jun 3 19:49:35 UTC 2006