Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.02 | 1800.55 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-danoint.opb |
MD5SUM | 72b327feddced7495a083616b5e4ecd7 |
Bench Category | OPT-BIGINT (optimisation, big 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 | 13898 |
Total number of constraints | 672 |
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 | 656 |
Minimum length of a constraint | 7 |
Maximum length of a constraint | 1500 |
Number of terms in the objective function | 30 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 1073741823 |
Number of bits of the sum of numbers in the objective function | 30 |
Biggest number in a constraint | 13421772800 |
Number of bits of the biggest number in a constraint | 34 |
Biggest sum of numbers in a constraint | 53690300878 |
Number of bits of the biggest sum of numbers | 36 |
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. 0.02 c BIG Int formula... 0.55 c Initial problem consists of 13898 variables and 816 constraints. 0.63 c preprocess terminated. Elapsed time: 0.622 0.63 c After prepocess the problem consists of 7792 variables and 816 constraints. 0.63 c Initial Lower Bound: 0 10.61 c Restart #1 #Var: 7792 LB: 0 @ 10.597 21.57 c Restart #2 #Var: 7792 LB: 0 @ 21.553 33.83 c Restart #3 #Var: 7792 LB: 0 @ 33.812 46.76 c Restart #4 #Var: 7792 LB: 0 @ 46.737 60.04 c Restart #5 #Var: 7792 LB: 0 @ 60.02 73.37 c Restart #6 #Var: 7792 LB: 0 @ 73.338 86.71 c Restart #7 #Var: 7792 LB: 0 @ 86.673 100.95 c Restart #8 #Var: 7792 LB: 0 @ 100.91 116.65 c Restart #9 #Var: 7792 LB: 0 @ 116.61 129.40 c Restart #10 #Var: 7792 LB: 0 @ 129.35 142.24 c Restart #11 #Var: 7792 LB: 0 @ 142.19 272.72 c Restart #12 #Var: 7792 LB: 0 @ 272.63 285.11 c Restart #13 #Var: 7792 LB: 0 @ 285.02 291.71 c Restart #14 #Var: 7792 LB: 0 @ 291.62 297.98 c Restart #15 #Var: 7792 LB: 0 @ 297.88 302.13 c Restart #16 #Var: 7792 LB: 0 @ 302.03 308.84 c Restart #17 #Var: 7792 LB: 0 @ 308.74 322.19 c Restart #18 #Var: 7792 LB: 0 @ 322.08 326.15 c Restart #19 #Var: 7792 LB: 0 @ 326.04 330.76 c Restart #20 #Var: 7792 LB: 0 @ 330.66 334.22 c Restart #21 #Var: 7792 LB: 0 @ 334.12 338.00 c Restart #22 #Var: 7792 LB: 0 @ 337.89 341.17 c Restart #23 #Var: 7792 LB: 0 @ 341.06 349.48 c Restart #24 #Var: 7792 LB: 0 @ 349.37 354.44 c Restart #25 #Var: 7792 LB: 0 @ 354.33 356.86 c Restart #26 #Var: 7792 LB: 0 @ 356.75 371.34 c Restart #27 #Var: 7792 LB: 0 @ 371.23 380.48 c Restart #28 #Var: 7792 LB: 0 @ 380.36 384.64 c Restart #29 #Var: 7792 LB: 0 @ 384.53 404.39 c Restart #30 #Var: 7792 LB: 0 @ 404.26 408.48 c Restart #31 #Var: 7792 LB: 0 @ 408.36 415.63 c Restart #32 #Var: 7792 LB: 0 @ 415.51 422.72 c Restart #33 #Var: 7792 LB: 0 @ 422.6 426.93 c Restart #34 #Var: 7792 LB: 0 @ 426.81 435.09 c Restart #35 #Var: 7792 LB: 0 @ 434.96 439.91 c Restart #36 #Var: 7792 LB: 0 @ 439.78 448.62 c Restart #37 #Var: 7792 LB: 0 @ 448.48 467.85 c Restart #38 #Var: 7792 LB: 0 @ 467.71 475.39 c Restart #39 #Var: 7792 LB: 0 @ 475.24 481.86 c Restart #40 #Var: 7792 LB: 0 @ 481.72 491.18 c Restart #41 #Var: 7792 LB: 0 @ 491.03 498.28 c Restart #42 #Var: 7792 LB: 0 @ 498.12 506.91 c Restart #43 #Var: 7792 LB: 0 @ 506.76 527.04 c Restart #44 #Var: 7792 LB: 0 @ 526.87 539.52 c Restart #45 #Var: 7792 LB: 0 @ 539.36 553.79 c Restart #46 #Var: 7792 LB: 0 @ 553.62 561.70 c Restart #47 #Var: 7792 LB: 0 @ 561.53 566.76 c Restart #48 #Var: 7792 LB: 0 @ 566.58 573.06 c Restart #49 #Var: 7792 LB: 0 @ 572.88 584.00 c Restart #50 #Var: 7792 LB: 0 @ 583.82 591.67 c Restart #51 #Var: 7792 LB: 0 @ 591.49 599.47 c Restart #52 #Var: 7792 LB: 0 @ 599.29 614.76 c Restart #53 #Var: 7792 LB: 0 @ 614.58 624.27 c Restart #54 #Var: 7792 LB: 0 @ 624.08 635.87 c Restart #55 #Var: 7792 LB: 0 @ 635.68 644.89 c Restart #56 #Var: 7792 LB: 0 @ 644.69 715.68 c Restart #57 #Var: 7792 LB: 0 @ 715.46 721.85 c Restart #58 #Var: 7792 LB: 0 @ 721.63 756.99 c Restart #59 #Var: 7792 LB: 0 @ 756.76 782.79 c Restart #60 #Var: 7792 LB: 0 @ 782.56 803.52 c Restart #61 #Var: 7792 LB: 0 @ 803.28 811.35 c Restart #62 #Var: 7792 LB: 0 @ 811.11 823.85 c Restart #63 #Var: 7792 LB: 0 @ 823.6 846.54 c Restart #64 #Var: 7792 LB: 0 @ 846.29 864.45 c Restart #65 #Var: 7792 LB: 0 @ 864.19 884.34 c Restart #66 #Var: 7792 LB: 0 @ 884.08 894.91 c Restart #67 #Var: 7792 LB: 0 @ 894.64 924.78 c CHANGE Heuristic... 924.78 c Restart #0 #Var: 7792 LB: 0 @ 924.5 928.02 c Restart #1 #Var: 7792 LB: 0 @ 927.74 928.89 c Restart #2 #Var: 7792 LB: 0 @ 928.61 930.06 c Restart #3 #Var: 7792 LB: 0 @ 929.78 931.11 c Restart #4 #Var: 7792 LB: 0 @ 930.83 932.18 c Restart #5 #Var: 7792 LB: 0 @ 931.9 939.58 c Restart #6 #Var: 7792 LB: 0 @ 939.3 941.75 c Restart #7 #Var: 7792 LB: 0 @ 941.47 947.74 c Restart #8 #Var: 7792 LB: 0 @ 947.46 962.30 c Restart #9 #Var: 7792 LB: 0 @ 962.01 974.43 c Restart #10 #Var: 7792 LB: 0 @ 974.14 977.63 c Restart #11 #Var: 7792 LB: 0 @ 977.33 982.99 c Restart #12 #Var: 7792 LB: 0 @ 982.69 986.97 c Restart #13 #Var: 7792 LB: 0 @ 986.68 992.47 c Restart #14 #Var: 7792 LB: 0 @ 992.17 1007.12 c Restart #15 #Var: 7792 LB: 0 @ 1006.8 1019.12 c Restart #16 #Var: 7792 LB: 0 @ 1018.8 1040.16 c Restart #17 #Var: 7792 LB: 0 @ 1039.8 1047.27 c Restart #18 #Var: 7792 LB: 0 @ 1047 1058.12 c Restart #19 #Var: 7792 LB: 0 @ 1057.8 1081.49 c Restart #20 #Var: 7792 LB: 0 @ 1081.2 1103.63 c Restart #21 #Var: 7792 LB: 0 @ 1103.3 1129.77 c Restart #22 #Var: 7792 LB: 0 @ 1129.4 1143.03 c Restart #23 #Var: 7792 LB: 0 @ 1142.7 1169.33 c Restart #24 #Var: 7792 LB: 0 @ 1169 1187.22 c Restart #25 #Var: 7792 LB: 0 @ 1186.9 1206.09 c Restart #26 #Var: 7792 LB: 0 @ 1205.7 1230.10 c Restart #27 #Var: 7792 LB: 0 @ 1229.7 1252.99 c Restart #28 #Var: 7792 LB: 0 @ 1252.6 1279.95 c Restart #29 #Var: 7792 LB: 0 @ 1279.6 1305.35 c Restart #30 #Var: 7792 LB: 0 @ 1305 1332.72 c Restart #31 #Var: 7792 LB: 0 @ 1332.3 1349.13 c Restart #32 #Var: 7792 LB: 0 @ 1348.7 1358.74 c Restart #33 #Var: 7792 LB: 0 @ 1358.3 1377.48 c Restart #34 #Var: 7792 LB: 0 @ 1377.1 1385.89 c Restart #35 #Var: 7792 LB: 0 @ 1385.5 1394.50 c Restart #36 #Var: 7792 LB: 0 @ 1394.1 1437.43 c Restart #37 #Var: 7792 LB: 0 @ 1437 1493.55 c Restart #38 #Var: 7792 LB: 0 @ 1493.1 1545.85 c Restart #39 #Var: 7792 LB: 0 @ 1545.4 1610.53 c Restart #40 #Var: 7792 LB: 0 @ 1610.1 1681.66 c Restart #41 #Var: 7792 LB: 0 @ 1681.2 1758.67 c Restart #42 #Var: 7792 LB: 0 @ 1758.2 1800.54 s UNKNOWN 1800.54 c Exit Code: 0 1800.54 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/node81/watcher-40746-1149315045 -o ROOT/results/node81/solver-40746-1149315045 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node81/40746-1149315045/instance-40746-1149315045.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.88 0.95 0.98 2/68 31214 /proc/meminfo: memFree=953496/2055892 swapFree=4085344/4096564 [pid=31214] ppid=31212 vsize=3368 CPUtime=0 /proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 58 0 0 0 0 0 0 0 19 0 1 0 197143929 3448832 42 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10101684 0 0 4096 0 0 0 0 17 1 0 0 /proc/31214/statm: 860 42 31 55 0 40 0 [startup+10.0025 s] /proc/loadavg: 0.90 0.95 0.98 2/68 31214 /proc/meminfo: memFree=932400/2055892 swapFree=4085344/4096564 [pid=31214] ppid=31212 vsize=26104 CPUtime=9.99 /proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 5654 0 0 0 996 3 0 0 25 0 1 0 197143929 26730496 5570 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557876 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31214/statm: 6526 5570 293 55 0 5417 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 26104 [startup+20.0086 s] /proc/loadavg: 0.91 0.96 0.98 2/68 31214 /proc/meminfo: memFree=931760/2055892 swapFree=4085344/4096564 [pid=31214] ppid=31212 vsize=26636 CPUtime=19.98 /proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 5817 0 0 0 1994 4 0 0 25 0 1 0 197143929 27275264 5733 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31214/statm: 6659 5733 293 55 0 5550 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 26636 [startup+30.0147 s] /proc/loadavg: 0.92 0.96 0.98 2/68 31214 /proc/meminfo: memFree=931440/2055892 swapFree=4085344/4096564 [pid=31214] ppid=31212 vsize=27036 CPUtime=29.99 /proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 5905 0 0 0 2994 5 0 0 25 0 1 0 197143929 27684864 5821 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696636 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31214/statm: 6759 5821 293 55 0 5650 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 27036 [startup+40.0208 s] /proc/loadavg: 0.94 0.96 0.98 2/68 31214 /proc/meminfo: memFree=931120/2055892 swapFree=4085344/4096564 [pid=31214] ppid=31212 vsize=27164 CPUtime=39.99 /proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 5995 0 0 0 3992 7 0 0 25 0 1 0 197143929 27815936 5868 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31214/statm: 6791 5868 293 55 0 5682 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 27164 [startup+50.0279 s] /proc/loadavg: 0.95 0.96 0.98 2/68 31214 /proc/meminfo: memFree=931120/2055892 swapFree=4085344/4096564 [pid=31214] ppid=31212 vsize=27272 CPUtime=50 /proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 6021 0 0 0 4991 9 0 0 25 0 1 0 197143929 27926528 5894 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31214/statm: 6818 5894 293 55 0 5709 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 27272 [startup+60.0331 s] /proc/loadavg: 0.95 0.96 0.98 3/68 31214 /proc/meminfo: memFree=931184/2055892 swapFree=4085344/4096564 [pid=31214] ppid=31212 vsize=27288 CPUtime=60 /proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 6047 0 0 0 5991 9 0 0 25 0 1 0 197143929 27942912 5895 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537841 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31214/statm: 6822 5895 293 55 0 5713 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 27288 [startup+70.0392 s] /proc/loadavg: 0.96 0.96 0.98 2/68 31214 /proc/meminfo: memFree=931184/2055892 swapFree=4085344/4096564 [pid=31214] ppid=31212 vsize=27288 CPUtime=70 /proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 6047 0 0 0 6990 10 0 0 25 0 1 0 197143929 27942912 5895 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31214/statm: 6822 5895 293 55 0 5713 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 27288 [startup+80.0453 s] /proc/loadavg: 0.97 0.96 0.98 2/68 31214 /proc/meminfo: memFree=930800/2055892 swapFree=4085344/4096564 [pid=31214] ppid=31212 vsize=27580 CPUtime=80.01 /proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 6139 0 0 0 7990 11 0 0 25 0 1 0 197143929 28241920 5971 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644452 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31214/statm: 6895 5971 293 55 0 5786 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 27580 [startup+90.0514 s] /proc/loadavg: 0.97 0.96 0.98 2/68 31214 /proc/meminfo: memFree=930672/2055892 swapFree=4085344/4096564 [pid=31214] ppid=31212 vsize=27580 CPUtime=90.01 /proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 6179 0 0 0 8989 12 0 0 25 0 1 0 197143929 28241920 5973 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649078 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31214/statm: 6895 5973 293 55 0 5786 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 27580 [startup+100.058 s] /proc/loadavg: 0.97 0.96 0.98 2/68 31214 /proc/meminfo: memFree=930672/2055892 swapFree=4085344/4096564 [pid=31214] ppid=31212 vsize=27580 CPUtime=100.01 /proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 6197 0 0 0 9987 14 0 0 25 0 1 0 197143929 28241920 5973 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31214/statm: 6895 5973 293 55 0 5786 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 27580 [startup+110.064 s] /proc/loadavg: 0.98 0.96 0.98 2/68 31214 /proc/meminfo: memFree=930736/2055892 swapFree=4085344/4096564 [pid=31214] ppid=31212 vsize=27580 CPUtime=110.01 /proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 6197 0 0 0 10986 15 0 0 25 0 1 0 197143929 28241920 5973 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31214/statm: 6895 5973 293 55 0 5786 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 27580 [startup+120.069 s] /proc/loadavg: 0.98 0.97 0.98 2/68 31214 /proc/meminfo: memFree=930736/2055892 swapFree=4085344/4096564 [pid=31214] ppid=31212 vsize=27580 CPUtime=120.01 /proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 6197 0 0 0 11985 16 0 0 25 0 1 0 197143929 28241920 5973 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649188 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31214/statm: 6895 5973 293 55 0 5786 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 27580 [startup+130.075 s] /proc/loadavg: 0.98 0.97 0.98 2/68 31214 /proc/meminfo: memFree=930736/2055892 swapFree=4085344/4096564 [pid=31214] ppid=31212 vsize=27580 CPUtime=130.02 /proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 6197 0 0 0 12984 18 0 0 25 0 1 0 197143929 28241920 5973 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557876 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31214/statm: 6895 5973 293 55 0 5786 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 27580 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.98 2/68 31214 /proc/meminfo: memFree=930736/2055892 swapFree=4085344/4096564 [pid=31214] ppid=31212 vsize=27580 CPUtime=140.03 /proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 6197 0 0 0 13983 20 0 0 25 0 1 0 197143929 28241920 5973 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31214/statm: 6895 5973 293 55 0 5786 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 27580 [startup+150.087 s] /proc/loadavg: 0.99 0.97 0.98 2/68 31214 /proc/meminfo: memFree=930736/2055892 swapFree=4085344/4096564 [pid=31214] ppid=31212 vsize=27580 CPUtime=150.03 /proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 6197 0 0 0 14982 21 0 0 25 0 1 0 197143929 28241920 5973 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555536 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31214/statm: 6895 5973 293 55 0 5786 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 27580 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.98 2/68 31214 /proc/meminfo: memFree=930736/2055892 swapFree=4085344/4096564 [pid=31214] ppid=31212 vsize=27580 CPUtime=160.03 /proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 6197 0 0 0 15981 22 0 0 25 0 1 0 197143929 28241920 5973 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31214/statm: 6895 5973 293 55 0 5786 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 27580 [startup+170.099 s] /proc/loadavg: 0.99 0.97 0.98 2/68 31214 /proc/meminfo: memFree=930736/2055892 swapFree=4085344/4096564 [pid=31214] ppid=31212 vsize=27580 CPUtime=170.04 /proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 6197 0 0 0 16980 24 0 0 25 0 1 0 197143929 28241920 5973 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555881 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31214/statm: 6895 5973 293 55 0 5786 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 27580 [startup+180.105 s] /proc/loadavg: 0.99 0.97 0.98 2/68 31214 /proc/meminfo: memFree=930736/2055892 swapFree=4085344/4096564 [pid=31214] ppid=31212 vsize=27580 CPUtime=180.03 /proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 6197 0 0 0 17979 24 0 0 25 0 1 0 197143929 28241920 5973 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555884 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31214/statm: 6895 5973 293 55 0 5786 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 27580 [startup+190.112 s] /proc/loadavg: 0.99 0.97 0.98 2/68 31214 /proc/meminfo: memFree=930800/2055892 swapFree=4085344/4096564 [pid=31214] ppid=31212 vsize=27580 CPUtime=190.04 /proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 6197 0 0 0 18979 25 0 0 25 0 1 0 197143929 28241920 5973 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134556067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31214/statm: 6895 5973 293 55 0 5786 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 27580 [startup+200.118 s] /proc/loadavg: 0.99 0.97 0.98 2/68 31214 /proc/meminfo: memFree=930800/2055892 swapFree=4085344/4096564 [pid=31214] ppid=31212 vsize=27580 CPUtime=200.05 /proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 6197 0 0 0 19979 26 0 0 25 0 1 0 197143929 28241920 5973 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645745 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31214/statm: 6895 5973 293 55 0 5786 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 27580 [startup+210.124 s] /proc/loadavg: 0.99 0.97 0.98 2/68 31214 /proc/meminfo: memFree=930800/2055892 swapFree=4085344/4096564 ################ # More data... # ################ /proc/31214/statm: 17454 16477 293 55 0 16345 0 Current children cumulated CPU time (s) 1760.52 Current children cumulated vsize (Kb) 69816 [startup+1771.05 s] /proc/loadavg: 0.99 0.97 0.98 2/68 31216 /proc/meminfo: memFree=887664/2055892 swapFree=4085344/4096564 [pid=31214] ppid=31212 vsize=70824 CPUtime=1770.52 /proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 17427 0 0 0 176906 146 0 0 25 0 1 0 197143929 72523776 16728 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31214/statm: 17706 16728 293 55 0 16597 0 Current children cumulated CPU time (s) 1770.52 Current children cumulated vsize (Kb) 70824 [startup+1781.06 s] /proc/loadavg: 0.99 0.97 0.98 2/68 31216 /proc/meminfo: memFree=885296/2055892 swapFree=4085344/4096564 [pid=31214] ppid=31212 vsize=73064 CPUtime=1780.53 /proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 18006 0 0 0 177906 147 0 0 25 0 1 0 197143929 74817536 17307 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644475 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31214/statm: 18266 17307 293 55 0 17157 0 Current children cumulated CPU time (s) 1780.53 Current children cumulated vsize (Kb) 73064 [startup+1782.07 s] /proc/loadavg: 0.99 0.97 0.98 2/68 31216 /proc/meminfo: memFree=885296/2055892 swapFree=4085344/4096564 [pid=31214] ppid=31212 vsize=73064 CPUtime=1781.53 /proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 18006 0 0 0 178006 147 0 0 25 0 1 0 197143929 74817536 17307 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537571 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31214/statm: 18266 17307 293 55 0 17157 0 Current children cumulated CPU time (s) 1781.53 Current children cumulated vsize (Kb) 73064 [startup+1783.07 s] /proc/loadavg: 0.99 0.97 0.98 2/68 31216 /proc/meminfo: memFree=885168/2055892 swapFree=4085344/4096564 [pid=31214] ppid=31212 vsize=73196 CPUtime=1782.54 /proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 18041 0 0 0 178107 147 0 0 25 0 1 0 197143929 74952704 17342 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644482 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31214/statm: 18299 17342 293 55 0 17190 0 Current children cumulated CPU time (s) 1782.54 Current children cumulated vsize (Kb) 73196 [startup+1784.08 s] /proc/loadavg: 0.99 0.97 0.98 2/68 31216 /proc/meminfo: memFree=884592/2055892 swapFree=4085344/4096564 [pid=31214] ppid=31212 vsize=73796 CPUtime=1783.54 /proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 18182 0 0 0 178207 147 0 0 25 0 1 0 197143929 75567104 17483 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540575 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31214/statm: 18449 17483 293 55 0 17340 0 Current children cumulated CPU time (s) 1783.54 Current children cumulated vsize (Kb) 73796 [startup+1785.08 s] /proc/loadavg: 0.99 0.97 0.98 2/68 31216 /proc/meminfo: memFree=884208/2055892 swapFree=4085344/4096564 [pid=31214] ppid=31212 vsize=74180 CPUtime=1784.54 /proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 18286 0 0 0 178307 147 0 0 25 0 1 0 197143929 75960320 17587 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535086 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31214/statm: 18545 17587 293 55 0 17436 0 Current children cumulated CPU time (s) 1784.54 Current children cumulated vsize (Kb) 74180 [startup+1786.09 s] /proc/loadavg: 0.99 0.97 0.98 2/68 31216 /proc/meminfo: memFree=883952/2055892 swapFree=4085344/4096564 [pid=31214] ppid=31212 vsize=74440 CPUtime=1785.55 /proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 18346 0 0 0 178408 147 0 0 25 0 1 0 197143929 76226560 17647 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644482 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31214/statm: 18610 17647 293 55 0 17501 0 Current children cumulated CPU time (s) 1785.55 Current children cumulated vsize (Kb) 74440 [startup+1787.09 s] /proc/loadavg: 0.99 0.97 0.98 2/68 31216 /proc/meminfo: memFree=883952/2055892 swapFree=4085344/4096564 [pid=31214] ppid=31212 vsize=74440 CPUtime=1786.55 /proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 18346 0 0 0 178508 147 0 0 25 0 1 0 197143929 76226560 17647 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31214/statm: 18610 17647 293 55 0 17501 0 Current children cumulated CPU time (s) 1786.55 Current children cumulated vsize (Kb) 74440 [startup+1788.1 s] /proc/loadavg: 0.99 0.97 0.98 2/68 31216 /proc/meminfo: memFree=883888/2055892 swapFree=4085344/4096564 [pid=31214] ppid=31212 vsize=74572 CPUtime=1787.56 /proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 18360 0 0 0 178609 147 0 0 25 0 1 0 197143929 76361728 17661 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31214/statm: 18643 17661 293 55 0 17534 0 Current children cumulated CPU time (s) 1787.56 Current children cumulated vsize (Kb) 74572 [startup+1789.1 s] /proc/loadavg: 0.99 0.97 0.98 2/68 31216 /proc/meminfo: memFree=883312/2055892 swapFree=4085344/4096564 [pid=31214] ppid=31212 vsize=75108 CPUtime=1788.56 /proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 18502 0 0 0 178709 147 0 0 25 0 1 0 197143929 76910592 17803 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649078 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31214/statm: 18777 17803 293 55 0 17668 0 Current children cumulated CPU time (s) 1788.56 Current children cumulated vsize (Kb) 75108 [startup+1790.1 s] /proc/loadavg: 0.99 0.97 0.98 2/68 31216 /proc/meminfo: memFree=882928/2055892 swapFree=4085344/4096564 [pid=31214] ppid=31212 vsize=75504 CPUtime=1789.56 /proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 18599 0 0 0 178809 147 0 0 25 0 1 0 197143929 77316096 17900 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134601376 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31214/statm: 18876 17900 293 55 0 17767 0 Current children cumulated CPU time (s) 1789.56 Current children cumulated vsize (Kb) 75504 [startup+1791.11 s] /proc/loadavg: 0.99 0.97 0.98 2/68 31216 /proc/meminfo: memFree=882736/2055892 swapFree=4085344/4096564 [pid=31214] ppid=31212 vsize=75768 CPUtime=1790.58 /proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 18649 0 0 0 178910 148 0 0 25 0 1 0 197143929 77586432 17950 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31214/statm: 18942 17950 293 55 0 17833 0 Current children cumulated CPU time (s) 1790.58 Current children cumulated vsize (Kb) 75768 [startup+1792.11 s] /proc/loadavg: 0.99 0.97 0.98 2/68 31216 /proc/meminfo: memFree=882736/2055892 swapFree=4085344/4096564 [pid=31214] ppid=31212 vsize=75768 CPUtime=1791.58 /proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 18649 0 0 0 179010 148 0 0 25 0 1 0 197143929 77586432 17950 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31214/statm: 18942 17950 293 55 0 17833 0 Current children cumulated CPU time (s) 1791.58 Current children cumulated vsize (Kb) 75768 [startup+1793.12 s] /proc/loadavg: 0.99 0.97 0.98 2/68 31216 /proc/meminfo: memFree=882480/2055892 swapFree=4085344/4096564 [pid=31214] ppid=31212 vsize=76032 CPUtime=1792.58 /proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 18717 0 0 0 179110 148 0 0 25 0 1 0 197143929 77856768 18018 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31214/statm: 19008 18018 293 55 0 17899 0 Current children cumulated CPU time (s) 1792.58 Current children cumulated vsize (Kb) 76032 [startup+1794.13 s] /proc/loadavg: 0.99 0.97 0.98 2/68 31216 /proc/meminfo: memFree=882480/2055892 swapFree=4085344/4096564 [pid=31214] ppid=31212 vsize=75952 CPUtime=1793.59 /proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 18736 0 0 0 179211 148 0 0 25 0 1 0 197143929 77774848 18012 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31214/statm: 18988 18012 293 55 0 17879 0 Current children cumulated CPU time (s) 1793.59 Current children cumulated vsize (Kb) 75952 [startup+1795.13 s] /proc/loadavg: 0.99 0.97 0.98 2/68 31216 /proc/meminfo: memFree=882480/2055892 swapFree=4085344/4096564 [pid=31214] ppid=31212 vsize=75952 CPUtime=1794.59 /proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 18736 0 0 0 179311 148 0 0 25 0 1 0 197143929 77774848 18012 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31214/statm: 18988 18012 293 55 0 17879 0 Current children cumulated CPU time (s) 1794.59 Current children cumulated vsize (Kb) 75952 [startup+1796.13 s] /proc/loadavg: 0.99 0.97 0.98 2/68 31216 /proc/meminfo: memFree=882352/2055892 swapFree=4085344/4096564 [pid=31214] ppid=31212 vsize=76084 CPUtime=1795.59 /proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 18760 0 0 0 179411 148 0 0 25 0 1 0 197143929 77910016 18036 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649078 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31214/statm: 19021 18036 293 55 0 17912 0 Current children cumulated CPU time (s) 1795.59 Current children cumulated vsize (Kb) 76084 [startup+1797.14 s] /proc/loadavg: 0.99 0.97 0.98 2/68 31216 /proc/meminfo: memFree=882032/2055892 swapFree=4085344/4096564 [pid=31214] ppid=31212 vsize=76348 CPUtime=1796.6 /proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 18841 0 0 0 179512 148 0 0 25 0 1 0 197143929 78180352 18117 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31214/statm: 19087 18117 293 55 0 17978 0 Current children cumulated CPU time (s) 1796.6 Current children cumulated vsize (Kb) 76348 [startup+1798.14 s] /proc/loadavg: 0.99 0.97 0.98 2/68 31216 /proc/meminfo: memFree=881904/2055892 swapFree=4085344/4096564 [pid=31214] ppid=31212 vsize=76480 CPUtime=1797.6 /proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 18883 0 0 0 179612 148 0 0 25 0 1 0 197143929 78315520 18159 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31214/statm: 19120 18159 293 55 0 18011 0 Current children cumulated CPU time (s) 1797.6 Current children cumulated vsize (Kb) 76480 [startup+1799.15 s] /proc/loadavg: 0.99 0.97 0.98 2/68 31216 /proc/meminfo: memFree=881648/2055892 swapFree=4085344/4096564 [pid=31214] ppid=31212 vsize=76644 CPUtime=1798.61 /proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 18934 0 0 0 179713 148 0 0 25 0 1 0 197143929 78483456 18200 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644495 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31214/statm: 19161 18200 293 55 0 18052 0 Current children cumulated CPU time (s) 1798.61 Current children cumulated vsize (Kb) 76644 [startup+1800.15 s] /proc/loadavg: 0.99 0.97 0.98 2/68 31216 /proc/meminfo: memFree=881648/2055892 swapFree=4085344/4096564 [pid=31214] ppid=31212 vsize=76644 CPUtime=1799.61 /proc/31214/stat : 31214 (bsolo) R 31212 31214 31168 0 -1 0 18934 0 0 0 179813 148 0 0 25 0 1 0 197143929 78483456 18200 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528844 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31214/statm: 19161 18200 293 55 0 18052 0 Current children cumulated CPU time (s) 1799.61 Current children cumulated vsize (Kb) 76644 Child status: 0 Real time (s): 1800.55 CPU time (s): 1800.02 CPU user time (s): 1798.52 CPU system time (s): 1.49777 CPU usage (%): 99.9702 Max. virtual memory (cumulated for all children) (Kb): 76644
Begin job on node81 on Sat Jun 3 06:10:45 UTC 2006 FILE ID= 40746-1149315045 PBS_JOBID= 308298 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-danoint.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node81/40746-1149315045/instance-40746-1149315045.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node81/watcher-40746-1149315045 -o ROOT/results/node81/solver-40746-1149315045 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node81/40746-1149315045/instance-40746-1149315045.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 72b327feddced7495a083616b5e4ecd7 RANDOM SEED= 152453741 /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.248 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 : 6006.19 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.248 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 : 5999.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 953704 kB Buffers: 45276 kB Cached: 976624 kB SwapCached: 2656 kB Active: 179700 kB Inactive: 851128 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 953704 kB SwapTotal: 4096564 kB SwapFree: 4085344 kB Dirty: 156 kB Writeback: 0 kB Mapped: 16520 kB Slab: 57968 kB Committed_AS: 289572 kB PageTables: 1288 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node81 on Sat Jun 3 06:40:45 UTC 2006