Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | Signal | 1065.07 | 1065.38 |
Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-vpm1.opb |
MD5SUM | 019e5a614038472d624f56ab4ecfb30e |
Bench Category | OPT-MEDINT (optimisation, medium integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 38 |
Best CPU time to get the best result obtained on this benchmark | 1782.73 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 38 |
Optimality of the best value was proved | NO |
Number of variables | 2754 |
Total number of constraints | 444 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 444 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 82 |
Number of terms in the objective function | 168 |
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 | 168 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 819200 |
Number of bits of the biggest number in a constraint | 20 |
Biggest sum of numbers in a constraint | 4941871 |
Number of bits of the biggest sum of numbers | 23 |
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.07 c Initial problem consists of 2754 variables and 486 constraints. 0.08 c No problem reductions applied in OPT. instance. 0.08 c preprocess terminated. Elapsed time: 0.068 0.08 c After prepocess the problem consists of 1871 variables and 301 constraints. 0.08 c Initial Lower Bound: 0 0.11 c Restart #1 #Var: 1871 LB: 0 @ 0.102 0.17 c Restart #2 #Var: 1871 LB: 0 @ 0.16 0.27 c Restart #3 #Var: 1871 LB: 0 @ 0.262 0.39 c Restart #4 #Var: 1871 LB: 0 @ 0.382 0.56 c Restart #5 #Var: 1871 LB: 0 @ 0.547 0.75 c Restart #6 #Var: 1871 LB: 0 @ 0.736 0.84 c Restart #7 #Var: 1871 LB: 0 @ 0.835 0.97 c Restart #8 #Var: 1871 LB: 0 @ 0.955 1.13 c Restart #9 #Var: 1871 LB: 0 @ 1.122 1.27 c Restart #10 #Var: 1871 LB: 0 @ 1.264 1.45 c Restart #11 #Var: 1869 LB: 0 @ 1.436 1.70 c Restart #12 #Var: 1869 LB: 0 @ 1.687 2.00 c Restart #13 #Var: 1869 LB: 0 @ 1.989 2.17 c Restart #14 #Var: 1868 LB: 0 @ 2.161 2.50 c Restart #15 #Var: 1868 LB: 0 @ 2.493 2.84 c Restart #16 #Var: 1868 LB: 0 @ 2.829 3.23 c Restart #17 #Var: 1868 LB: 0 @ 3.22 3.49 c Restart #18 #Var: 1868 LB: 0 @ 3.478 3.75 c Restart #19 #Var: 1868 LB: 0 @ 3.737 4.17 c Restart #20 #Var: 1868 LB: 0 @ 4.159 5.62 c Restart #21 #Var: 1868 LB: 0 @ 5.613 6.31 c Restart #22 #Var: 1868 LB: 0 @ 6.301 6.66 c Restart #23 #Var: 1868 LB: 0 @ 6.653 7.66 c Restart #24 #Var: 1868 LB: 0 @ 7.645 8.14 c Restart #25 #Var: 1868 LB: 0 @ 8.127 8.47 c Restart #26 #Var: 1868 LB: 0 @ 8.457 9.62 c Restart #27 #Var: 1868 LB: 0 @ 9.607 12.11 c Restart #28 #Var: 1868 LB: 0 @ 12.09 24.76 c Restart #29 #Var: 1868 LB: 0 @ 24.743 25.43 c Restart #30 #Var: 1868 LB: 0 @ 25.41 25.84 c Restart #31 #Var: 1868 LB: 0 @ 25.82 26.64 c Restart #32 #Var: 1868 LB: 0 @ 26.614 27.07 c Restart #33 #Var: 1868 LB: 0 @ 27.053 28.08 c Restart #34 #Var: 1868 LB: 0 @ 28.055 28.63 c Restart #35 #Var: 1868 LB: 0 @ 28.61 29.32 c Restart #36 #Var: 1868 LB: 0 @ 29.301 36.34 c Restart #37 #Var: 1868 LB: 0 @ 36.315 36.90 c Restart #38 #Var: 1868 LB: 0 @ 36.875 37.52 c Restart #39 #Var: 1868 LB: 0 @ 37.491 38.10 c Restart #40 #Var: 1868 LB: 0 @ 38.073 39.00 c Restart #41 #Var: 1868 LB: 0 @ 38.977 39.75 c Restart #42 #Var: 1868 LB: 0 @ 39.726 40.88 c Restart #43 #Var: 1868 LB: 0 @ 40.858 41.61 c Restart #44 #Var: 1868 LB: 0 @ 41.582 42.91 c Restart #45 #Var: 1868 LB: 0 @ 42.881 44.91 c Restart #46 #Var: 1868 LB: 0 @ 44.886 47.88 c Restart #47 #Var: 1868 LB: 0 @ 47.849 49.10 c Restart #48 #Var: 1868 LB: 0 @ 49.076 49.82 c Restart #49 #Var: 1868 LB: 0 @ 49.791 50.72 c Restart #50 #Var: 1868 LB: 0 @ 50.695 51.73 c Restart #51 #Var: 1868 LB: 0 @ 51.7 52.81 c Restart #52 #Var: 1868 LB: 0 @ 52.779 53.88 c Restart #53 #Var: 1868 LB: 0 @ 53.849 55.29 c Restart #54 #Var: 1868 LB: 0 @ 55.264 56.03 c Restart #55 #Var: 1868 LB: 0 @ 56.005 57.40 c Restart #56 #Var: 1868 LB: 0 @ 57.37 58.87 c Restart #57 #Var: 1868 LB: 0 @ 58.845 60.99 c Restart #58 #Var: 1868 LB: 0 @ 60.962 63.96 c Restart #59 #Var: 1868 LB: 0 @ 63.924 79.17 c Restart #60 #Var: 1868 LB: 0 @ 79.138 81.43 c Restart #61 #Var: 1868 LB: 0 @ 81.396 82.49 c Restart #62 #Var: 1868 LB: 0 @ 82.449 84.13 c Restart #63 #Var: 1868 LB: 0 @ 84.095 85.16 c Restart #64 #Var: 1868 LB: 0 @ 85.127 86.75 c Restart #65 #Var: 1868 LB: 0 @ 86.708 90.50 c Restart #66 #Var: 1868 LB: 0 @ 90.461 91.78 c Restart #67 #Var: 1868 LB: 0 @ 91.741 93.43 c Restart #68 #Var: 1868 LB: 0 @ 93.389 95.27 c Restart #69 #Var: 1868 LB: 0 @ 95.227 97.27 c Restart #70 #Var: 1868 LB: 0 @ 97.231 98.70 c Restart #71 #Var: 1868 LB: 0 @ 98.664 100.85 c Restart #72 #Var: 1868 LB: 0 @ 100.81 103.34 c Restart #73 #Var: 1868 LB: 0 @ 103.3 114.52 c Restart #74 #Var: 1868 LB: 0 @ 114.47 125.99 c Restart #75 #Var: 1868 LB: 0 @ 125.94 137.26 c Restart #76 #Var: 1868 LB: 0 @ 137.21 149.79 c Restart #77 #Var: 1868 LB: 0 @ 149.74 152.86 c Restart #78 #Var: 1868 LB: 0 @ 152.81 157.52 c Restart #79 #Var: 1868 LB: 0 @ 157.46 169.76 c Restart #80 #Var: 1868 LB: 0 @ 169.7 173.51 c Restart #81 #Var: 1868 LB: 0 @ 173.45 174.94 c Restart #82 #Var: 1868 LB: 0 @ 174.88 176.55 c Restart #83 #Var: 1868 LB: 0 @ 176.48 178.44 c Restart #84 #Var: 1868 LB: 0 @ 178.38 181.73 c Restart #85 #Var: 1868 LB: 0 @ 181.67 186.67 c Restart #86 #Var: 1868 LB: 0 @ 186.61 197.48 c Restart #87 #Var: 1868 LB: 0 @ 197.41 200.41 c Restart #88 #Var: 1868 LB: 0 @ 200.34 203.68 c Restart #89 #Var: 1868 LB: 0 @ 203.62 208.10 c Restart #90 #Var: 1868 LB: 0 @ 208.03 215.07 c Restart #91 #Var: 1868 LB: 0 @ 215 220.76 c Restart #92 #Var: 1868 LB: 0 @ 220.69 233.06 c Restart #93 #Var: 1868 LB: 0 @ 232.99 237.80 c Restart #94 #Var: 1868 LB: 0 @ 237.72 252.51 c Restart #95 #Var: 1868 LB: 0 @ 252.43 269.37 c Restart #96 #Var: 1868 LB: 0 @ 269.28 278.89 c Restart #97 #Var: 1868 LB: 0 @ 278.8 343.94 c Restart #98 #Var: 1868 LB: 0 @ 343.83 431.96 c Restart #99 #Var: 1868 LB: 0 @ 431.83 450.17 c Restart #100 #Var: 1868 LB: 0 @ 450.03 454.20 c Restart #101 #Var: 1868 LB: 0 @ 454.06 460.09 c Restart #102 #Var: 1868 LB: 0 @ 459.95 468.65 c Restart #103 #Var: 1868 LB: 0 @ 468.51 479.17 c Restart #104 #Var: 1868 LB: 0 @ 479.02 493.60 c Restart #105 #Var: 1868 LB: 0 @ 493.45 507.39 c Restart #106 #Var: 1868 LB: 0 @ 507.24 526.15 c Restart #107 #Var: 1868 LB: 0 @ 525.99 541.69 c Restart #108 #Var: 1868 LB: 0 @ 541.53 561.23 c Restart #109 #Var: 1868 LB: 0 @ 561.06 577.88 c Restart #110 #Var: 1868 LB: 0 @ 577.71 599.57 c Restart #111 #Var: 1868 LB: 0 @ 599.4 622.62 c Restart #112 #Var: 1868 LB: 0 @ 622.44 646.51 c Restart #113 #Var: 1868 LB: 0 @ 646.32 671.89 c Restart #114 #Var: 1868 LB: 0 @ 671.69 696.16 c Restart #115 #Var: 1868 LB: 0 @ 695.95 728.62 c Restart #116 #Var: 1868 LB: 0 @ 728.41 760.12 c Restart #117 #Var: 1868 LB: 0 @ 759.89 869.58 c Restart #118 #Var: 1868 LB: 0 @ 869.33 963.70 c CHANGE Heuristic... 963.70 c Restart #0 #Var: 1867 LB: 0 @ 963.42 966.73 c Restart #1 #Var: 1867 LB: 0 @ 966.45 971.07 c Restart #2 #Var: 1867 LB: 0 @ 970.79 974.85 c Restart #3 #Var: 1867 LB: 0 @ 974.57 994.89 c Restart #4 #Var: 1867 LB: 0 @ 994.61 997.10 c Restart #5 #Var: 1867 LB: 0 @ 996.81 999.02 c Restart #6 #Var: 1867 LB: 0 @ 998.73 1014.95 c Restart #7 #Var: 1867 LB: 0 @ 1014.7 1016.38 c Restart #8 #Var: 1867 LB: 0 @ 1016.1 1016.53 c Restart #9 #Var: 1867 LB: 0 @ 1016.2 1026.42 c Restart #10 #Var: 1867 LB: 0 @ 1026.1 1031.91 c Restart #11 #Var: 1867 LB: 0 @ 1031.6 1035.43 c Restart #12 #Var: 1867 LB: 0 @ 1035.1 1036.96 c Restart #13 #Var: 1867 LB: 0 @ 1036.7 1039.71 c Restart #14 #Var: 1867 LB: 0 @ 1039.4 1041.33 c Restart #15 #Var: 1867 LB: 0 @ 1041 1041.68 c Restart #16 #Var: 1867 LB: 0 @ 1041.4 1043.80 c Restart #17 #Var: 1867 LB: 0 @ 1043.5
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/node4/watcher-39762-1149322928 -o ROOT/results/node4/solver-39762-1149322928 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node4/39762-1149322928/instance-39762-1149322928.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 0.98 0.97 3/64 10956 /proc/meminfo: memFree=1605032/2055920 swapFree=4181448/4192956 [pid=10956] ppid=10954 vsize=3436 CPUtime=0 /proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 64 0 0 0 0 0 0 0 19 0 1 0 197954753 3518464 46 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10553071 0 0 4096 0 0 0 0 17 1 0 0 /proc/10956/statm: 859 47 34 55 0 42 0 [startup+10.0022 s] /proc/loadavg: 1.00 0.98 0.97 2/64 10956 /proc/meminfo: memFree=1508264/2055920 swapFree=4181448/4192956 [pid=10956] ppid=10954 vsize=101356 CPUtime=9.98 /proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 24585 0 0 0 977 21 0 0 25 0 1 0 197954753 103788544 24500 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10956/statm: 25339 24500 297 55 0 24231 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 101356 [startup+20.0082 s] /proc/loadavg: 1.00 0.98 0.97 2/64 10956 /proc/meminfo: memFree=1501096/2055920 swapFree=4181448/4192956 [pid=10956] ppid=10954 vsize=108484 CPUtime=19.98 /proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 26375 0 0 0 1975 23 0 0 25 0 1 0 197954753 111087616 26290 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534870 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10956/statm: 27121 26290 297 55 0 26013 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 108484 [startup+30.0141 s] /proc/loadavg: 1.00 0.98 0.97 2/64 10956 /proc/meminfo: memFree=1441832/2055920 swapFree=4181448/4192956 [pid=10956] ppid=10954 vsize=167744 CPUtime=29.98 /proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 41162 0 0 0 2966 32 0 0 25 0 1 0 197954753 171769856 41076 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10956/statm: 41936 41076 297 55 0 40828 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 167744 [startup+40.0201 s] /proc/loadavg: 1.00 0.98 0.97 2/64 10956 /proc/meminfo: memFree=1390120/2055920 swapFree=4181448/4192956 [pid=10956] ppid=10954 vsize=219384 CPUtime=39.99 /proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 54071 0 0 0 3955 44 0 0 25 0 1 0 197954753 224649216 53983 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10956/statm: 54846 53983 297 55 0 53738 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 219384 [startup+50.0271 s] /proc/loadavg: 1.00 0.98 0.97 2/64 10956 /proc/meminfo: memFree=1308008/2055920 swapFree=4181448/4192956 [pid=10956] ppid=10954 vsize=301376 CPUtime=49.99 /proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 74561 0 0 0 4942 57 0 0 25 0 1 0 197954753 308609024 74473 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10956/statm: 75344 74473 297 55 0 74236 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 301376 [startup+60.032 s] /proc/loadavg: 1.00 0.98 0.97 2/64 10956 /proc/meminfo: memFree=1203432/2055920 swapFree=4181448/4192956 [pid=10956] ppid=10954 vsize=405872 CPUtime=59.99 /proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 100644 0 0 0 5925 74 0 0 25 0 1 0 197954753 415612928 100553 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10956/statm: 101468 100553 297 55 0 100360 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 405872 [startup+70.038 s] /proc/loadavg: 1.00 0.98 0.97 2/64 10956 /proc/meminfo: memFree=1173928/2055920 swapFree=4181448/4192956 [pid=10956] ppid=10954 vsize=435340 CPUtime=69.99 /proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 108000 0 0 0 6920 79 0 0 25 0 1 0 197954753 445788160 107907 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534146 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10956/statm: 108835 107907 297 55 0 107727 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 435340 [startup+80.044 s] /proc/loadavg: 1.00 0.98 0.97 2/64 10956 /proc/meminfo: memFree=1157224/2055920 swapFree=4181448/4192956 [pid=10956] ppid=10954 vsize=452100 CPUtime=80 /proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 112170 0 0 0 7916 84 0 0 25 0 1 0 197954753 462950400 112077 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10956/statm: 113025 112077 297 55 0 111917 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 452100 [startup+90.0499 s] /proc/loadavg: 1.00 0.98 0.97 2/64 10956 /proc/meminfo: memFree=1068008/2055920 swapFree=4181448/4192956 [pid=10956] ppid=10954 vsize=541284 CPUtime=90 /proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 134430 0 0 0 8903 97 0 0 25 0 1 0 197954753 554274816 134332 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529230 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10956/statm: 135321 134332 297 55 0 134213 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 541284 [startup+100.056 s] /proc/loadavg: 1.00 0.98 0.97 2/64 10956 /proc/meminfo: memFree=959272/2055920 swapFree=4181448/4192956 [pid=10956] ppid=10954 vsize=650032 CPUtime=100.01 /proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 161578 0 0 0 9887 114 0 0 25 0 1 0 197954753 665632768 161469 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10956/statm: 162508 161469 297 55 0 161400 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 650032 [startup+110.063 s] /proc/loadavg: 1.00 0.98 0.97 2/64 10956 /proc/meminfo: memFree=921832/2055920 swapFree=4181448/4192956 [pid=10956] ppid=10954 vsize=687544 CPUtime=110.01 /proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 170910 0 0 0 10879 122 0 0 25 0 1 0 197954753 704045056 170799 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10956/statm: 171886 170799 297 55 0 170778 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 687544 [startup+120.068 s] /proc/loadavg: 1.00 0.98 0.97 2/64 10956 /proc/meminfo: memFree=916776/2055920 swapFree=4181448/4192956 [pid=10956] ppid=10954 vsize=692576 CPUtime=120.01 /proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 172169 0 0 0 11878 123 0 0 25 0 1 0 197954753 709197824 172057 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10956/statm: 173144 172057 297 55 0 172036 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 692576 [startup+130.074 s] /proc/loadavg: 1.00 0.98 0.97 2/64 10956 /proc/meminfo: memFree=891688/2055920 swapFree=4181448/4192956 [pid=10956] ppid=10954 vsize=717656 CPUtime=130.01 /proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 178421 0 0 0 12874 127 0 0 25 0 1 0 197954753 734879744 178309 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548612 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10956/statm: 179414 178309 297 55 0 178306 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 717656 [startup+140.08 s] /proc/loadavg: 1.00 0.98 0.97 2/64 10956 /proc/meminfo: memFree=882408/2055920 swapFree=4181448/4192956 [pid=10956] ppid=10954 vsize=726900 CPUtime=140.02 /proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 180733 0 0 0 13872 130 0 0 25 0 1 0 197954753 744345600 180621 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10956/statm: 181725 180621 297 55 0 180617 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 726900 [startup+150.086 s] /proc/loadavg: 1.00 0.98 0.97 2/64 10956 /proc/meminfo: memFree=864808/2055920 swapFree=4181448/4192956 [pid=10956] ppid=10954 vsize=744592 CPUtime=150.03 /proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 185131 0 0 0 14868 135 0 0 25 0 1 0 197954753 762462208 185017 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10956/statm: 186148 185017 297 55 0 185040 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 744592 [startup+160.092 s] /proc/loadavg: 1.00 0.98 0.97 2/64 10956 /proc/meminfo: memFree=826792/2055920 swapFree=4181448/4192956 [pid=10956] ppid=10954 vsize=782608 CPUtime=160.03 /proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 194612 0 0 0 15861 142 0 0 25 0 1 0 197954753 801390592 194497 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10956/statm: 195652 194497 297 55 0 194544 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 782608 [startup+170.098 s] /proc/loadavg: 1.00 0.98 0.97 2/64 10956 /proc/meminfo: memFree=811816/2055920 swapFree=4181448/4192956 [pid=10956] ppid=10954 vsize=797544 CPUtime=170.03 /proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 198340 0 0 0 16856 147 0 0 25 0 1 0 197954753 816685056 198224 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10956/statm: 199386 198224 297 55 0 198278 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 797544 [startup+180.104 s] /proc/loadavg: 1.00 0.98 0.97 2/64 10956 /proc/meminfo: memFree=707368/2055920 swapFree=4181448/4192956 [pid=10956] ppid=10954 vsize=902036 CPUtime=180.03 /proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 224423 0 0 0 17842 161 0 0 25 0 1 0 197954753 923684864 224299 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10956/statm: 225509 224299 297 55 0 224401 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 902036 [startup+190.11 s] /proc/loadavg: 1.00 0.98 0.97 2/64 10956 /proc/meminfo: memFree=669160/2055920 swapFree=4181448/4192956 [pid=10956] ppid=10954 vsize=940408 CPUtime=190.04 /proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 233966 0 0 0 18836 168 0 0 25 0 1 0 197954753 962977792 233837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10956/statm: 235102 233837 297 55 0 233994 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 940408 [startup+200.116 s] /proc/loadavg: 1.00 0.98 0.97 2/64 10956 /proc/meminfo: memFree=630952/2055920 swapFree=4181448/4192956 [pid=10956] ppid=10954 vsize=978588 CPUtime=200.04 /proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 243504 0 0 0 19829 175 0 0 25 0 1 0 197954753 1002074112 243371 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10956/statm: 244647 243371 297 55 0 243539 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 978588 [startup+210.122 s] /proc/loadavg: 1.00 0.98 0.97 2/64 10956 /proc/meminfo: memFree=572584/2055920 swapFree=4181448/4192956 ################ # More data... # ################ Current children cumulated CPU time (s) 850.29 Current children cumulated vsize (Kb) 1769896 [startup+860.551 s] /proc/loadavg: 1.00 0.98 0.97 2/64 10958 /proc/meminfo: memFree=15080/2055920 swapFree=4181420/4192956 [pid=10956] ppid=10954 vsize=1771648 CPUtime=860.29 /proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 441147 0 0 0 85692 337 0 0 25 0 1 0 197954753 1814167552 440567 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10956/statm: 442912 440567 297 55 0 441804 0 Current children cumulated CPU time (s) 860.29 Current children cumulated vsize (Kb) 1771648 [startup+870.556 s] /proc/loadavg: 1.00 0.98 0.97 2/64 10958 /proc/meminfo: memFree=15336/2055920 swapFree=4181420/4192956 [pid=10956] ppid=10954 vsize=1773220 CPUtime=870.3 /proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 441544 0 0 0 86692 338 0 0 25 0 1 0 197954753 1815777280 440881 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10956/statm: 443305 440881 297 55 0 442197 0 Current children cumulated CPU time (s) 870.3 Current children cumulated vsize (Kb) 1773220 [startup+880.562 s] /proc/loadavg: 1.00 0.98 0.97 2/64 10958 /proc/meminfo: memFree=15272/2055920 swapFree=4181420/4192956 [pid=10956] ppid=10954 vsize=1781064 CPUtime=880.3 /proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 443556 0 0 0 87691 339 0 0 25 0 1 0 197954753 1823809536 442810 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528720 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10956/statm: 445266 442810 297 55 0 444158 0 Current children cumulated CPU time (s) 880.3 Current children cumulated vsize (Kb) 1781064 [startup+890.568 s] /proc/loadavg: 1.00 0.98 0.97 2/64 10958 /proc/meminfo: memFree=15016/2055920 swapFree=4181420/4192956 [pid=10956] ppid=10954 vsize=1781328 CPUtime=890.3 /proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 443625 0 0 0 88691 339 0 0 25 0 1 0 197954753 1824079872 442879 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10956/statm: 445332 442879 297 55 0 444224 0 Current children cumulated CPU time (s) 890.3 Current children cumulated vsize (Kb) 1781328 [startup+900.574 s] /proc/loadavg: 1.00 0.98 0.97 2/64 10958 /proc/meminfo: memFree=15656/2055920 swapFree=4181420/4192956 [pid=10956] ppid=10954 vsize=1782252 CPUtime=900.3 /proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 443842 0 0 0 89691 339 0 0 25 0 1 0 197954753 1825026048 443096 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10956/statm: 445563 443096 297 55 0 444455 0 Current children cumulated CPU time (s) 900.3 Current children cumulated vsize (Kb) 1782252 [startup+910.58 s] /proc/loadavg: 1.00 0.98 0.97 2/64 10958 /proc/meminfo: memFree=15208/2055920 swapFree=4181420/4192956 [pid=10956] ppid=10954 vsize=1782648 CPUtime=910.3 /proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 443953 0 0 0 90691 339 0 0 25 0 1 0 197954753 1825431552 443207 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10956/statm: 445662 443207 297 55 0 444554 0 Current children cumulated CPU time (s) 910.3 Current children cumulated vsize (Kb) 1782648 [startup+920.586 s] /proc/loadavg: 1.00 0.98 0.97 2/64 10958 /proc/meminfo: memFree=15976/2055920 swapFree=4181420/4192956 [pid=10956] ppid=10954 vsize=1785040 CPUtime=920.31 /proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 444533 0 0 0 91691 340 0 0 25 0 1 0 197954753 1827880960 443786 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10956/statm: 446260 443786 297 55 0 445152 0 Current children cumulated CPU time (s) 920.31 Current children cumulated vsize (Kb) 1785040 [startup+930.592 s] /proc/loadavg: 1.00 0.98 0.97 2/64 10958 /proc/meminfo: memFree=15144/2055920 swapFree=4181420/4192956 [pid=10956] ppid=10954 vsize=1790452 CPUtime=930.32 /proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 445897 0 0 0 92690 342 0 0 25 0 1 0 197954753 1833422848 445150 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10956/statm: 447613 445150 297 55 0 446505 0 Current children cumulated CPU time (s) 930.32 Current children cumulated vsize (Kb) 1790452 [startup+940.599 s] /proc/loadavg: 1.00 0.98 0.97 2/64 10958 /proc/meminfo: memFree=16232/2055920 swapFree=4181420/4192956 [pid=10956] ppid=10954 vsize=1794260 CPUtime=940.32 /proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 446807 0 0 0 93690 342 0 0 25 0 1 0 197954753 1837322240 446052 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10956/statm: 448565 446052 297 55 0 447457 0 Current children cumulated CPU time (s) 940.32 Current children cumulated vsize (Kb) 1794260 [startup+950.605 s] /proc/loadavg: 1.00 0.98 0.97 2/64 10958 /proc/meminfo: memFree=16104/2055920 swapFree=4181420/4192956 [pid=10956] ppid=10954 vsize=1795840 CPUtime=950.32 /proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 447212 0 0 0 94689 343 0 0 25 0 1 0 197954753 1838940160 446457 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533192 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10956/statm: 448960 446457 297 55 0 447852 0 Current children cumulated CPU time (s) 950.32 Current children cumulated vsize (Kb) 1795840 [startup+960.611 s] /proc/loadavg: 1.00 0.98 0.97 2/64 10958 /proc/meminfo: memFree=15592/2055920 swapFree=4181420/4192956 [pid=10956] ppid=10954 vsize=1798068 CPUtime=960.33 /proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 447765 0 0 0 95689 344 0 0 25 0 1 0 197954753 1841221632 447010 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10956/statm: 449517 447010 297 55 0 448409 0 Current children cumulated CPU time (s) 960.33 Current children cumulated vsize (Kb) 1798068 [startup+970.617 s] /proc/loadavg: 1.00 0.98 0.97 2/64 10958 /proc/meminfo: memFree=15592/2055920 swapFree=4181420/4192956 [pid=10956] ppid=10954 vsize=1799596 CPUtime=970.33 /proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 448143 0 0 0 96689 344 0 0 25 0 1 0 197954753 1842786304 447380 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10956/statm: 449899 447380 297 55 0 448791 0 Current children cumulated CPU time (s) 970.33 Current children cumulated vsize (Kb) 1799596 [startup+980.623 s] /proc/loadavg: 1.00 0.98 0.97 2/64 10958 /proc/meminfo: memFree=14952/2055920 swapFree=4181420/4192956 [pid=10956] ppid=10954 vsize=1800396 CPUtime=980.33 /proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 448322 0 0 0 97689 344 0 0 25 0 1 0 197954753 1843605504 447558 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10956/statm: 450099 447558 297 55 0 448991 0 Current children cumulated CPU time (s) 980.33 Current children cumulated vsize (Kb) 1800396 [startup+990.629 s] /proc/loadavg: 1.00 0.98 0.97 2/64 10958 /proc/meminfo: memFree=16232/2055920 swapFree=4181420/4192956 [pid=10956] ppid=10954 vsize=1800660 CPUtime=990.33 /proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 448379 0 0 0 98689 344 0 0 25 0 1 0 197954753 1843875840 447615 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10956/statm: 450165 447615 297 55 0 449057 0 Current children cumulated CPU time (s) 990.33 Current children cumulated vsize (Kb) 1800660 [startup+1000.64 s] /proc/loadavg: 1.00 0.98 0.97 2/64 10958 /proc/meminfo: memFree=15464/2055920 swapFree=4181420/4192956 [pid=10956] ppid=10954 vsize=1804500 CPUtime=1000.33 /proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 449336 0 0 0 99688 345 0 0 25 0 1 0 197954753 1847808000 448571 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10956/statm: 451125 448571 297 55 0 450017 0 Current children cumulated CPU time (s) 1000.33 Current children cumulated vsize (Kb) 1804500 [startup+1010.64 s] /proc/loadavg: 1.00 0.98 0.97 2/64 10958 /proc/meminfo: memFree=15144/2055920 swapFree=4181420/4192956 [pid=10956] ppid=10954 vsize=1804896 CPUtime=1010.35 /proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 449428 0 0 0 100689 346 0 0 25 0 1 0 197954753 1848213504 448663 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10956/statm: 451224 448663 297 55 0 450116 0 Current children cumulated CPU time (s) 1010.35 Current children cumulated vsize (Kb) 1804896 [startup+1020.65 s] /proc/loadavg: 1.00 0.98 0.97 2/64 10958 /proc/meminfo: memFree=15976/2055920 swapFree=4181420/4192956 [pid=10956] ppid=10954 vsize=1811692 CPUtime=1020.34 /proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 451140 0 0 0 101688 346 0 0 25 0 1 0 197954753 1855172608 450372 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10956/statm: 452923 450372 297 55 0 451815 0 Current children cumulated CPU time (s) 1020.34 Current children cumulated vsize (Kb) 1811692 [startup+1030.65 s] /proc/loadavg: 1.00 0.98 0.97 2/64 10958 /proc/meminfo: memFree=16104/2055920 swapFree=4181420/4192956 [pid=10956] ppid=10954 vsize=1816460 CPUtime=1030.34 /proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 452348 0 0 0 102687 347 0 0 25 0 1 0 197954753 1860055040 451497 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10956/statm: 454115 451497 297 55 0 453007 0 Current children cumulated CPU time (s) 1030.34 Current children cumulated vsize (Kb) 1816460 [startup+1040.66 s] /proc/loadavg: 1.00 0.98 0.97 2/64 10958 /proc/meminfo: memFree=15720/2055920 swapFree=4181420/4192956 [pid=10956] ppid=10954 vsize=1828108 CPUtime=1040.36 /proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 455251 0 0 0 103686 350 0 0 25 0 1 0 197954753 1871982592 454396 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10956/statm: 457027 454396 297 55 0 455919 0 Current children cumulated CPU time (s) 1040.36 Current children cumulated vsize (Kb) 1828108 [startup+1050.67 s] /proc/loadavg: 1.00 0.98 0.97 2/64 10958 /proc/meminfo: memFree=15720/2055920 swapFree=4181420/4192956 [pid=10956] ppid=10954 vsize=1839092 CPUtime=1050.35 /proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 458021 0 0 0 104683 352 0 0 25 0 1 0 197954753 1883230208 457165 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10956/statm: 459773 457165 297 55 0 458665 0 Current children cumulated CPU time (s) 1050.35 Current children cumulated vsize (Kb) 1839092 [startup+1060.67 s] /proc/loadavg: 1.00 0.98 0.97 2/64 10958 /proc/meminfo: memFree=15656/2055920 swapFree=4181420/4192956 [pid=10956] ppid=10954 vsize=1839356 CPUtime=1060.36 /proc/10956/stat : 10956 (bsolo) R 10954 10956 10910 0 -1 0 458069 0 0 0 105684 352 0 0 25 0 1 0 197954753 1883500544 457213 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10956/statm: 459839 457213 297 55 0 458731 0 Current children cumulated CPU time (s) 1060.36 Current children cumulated vsize (Kb) 1839356 Child ended because it received signal 11 (SIGSEGV) Real time (s): 1065.38 CPU time (s): 1065.07 CPU user time (s): 1061.25 CPU system time (s): 3.81842 CPU usage (%): 99.971 Max. virtual memory (cumulated for all children) (Kb): 1839356 The end
Begin job on node4 on Sat Jun 3 08:22:09 UTC 2006 FILE ID= 39762-1149322928 PBS_JOBID= 309469 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-vpm1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node4/39762-1149322928/instance-39762-1149322928.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-39762-1149322928 -o ROOT/results/node4/solver-39762-1149322928 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node4/39762-1149322928/instance-39762-1149322928.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 019e5a614038472d624f56ab4ecfb30e RANDOM SEED= 277443858 /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.236 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.236 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: 1605432 kB Buffers: 26640 kB Cached: 363748 kB SwapCached: 3264 kB Active: 65504 kB Inactive: 333676 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1605432 kB SwapTotal: 4192956 kB SwapFree: 4181448 kB Dirty: 144 kB Writeback: 0 kB Mapped: 14816 kB Slab: 37296 kB Committed_AS: 299956 kB PageTables: 1500 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node4 on Sat Jun 3 08:39:54 UTC 2006