Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | Signal | 884.279 | 884.717 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-vpm1.opb |
MD5SUM | 7d8a1496a778abf94cc39a37abc46ff3 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 51 |
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 | 204800 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524341 |
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. 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.067 0.08 c After prepocess the problem consists of 2294 variables and 376 constraints. 0.08 c Initial Lower Bound: 0 0.12 c Restart #1 #Var: 2294 LB: 0 @ 0.112 0.19 c Restart #2 #Var: 2294 LB: 0 @ 0.176 0.28 c Restart #3 #Var: 2294 LB: 0 @ 0.265 0.41 c Restart #4 #Var: 2294 LB: 0 @ 0.397 0.60 c Restart #5 #Var: 2294 LB: 0 @ 0.588 0.76 c Restart #6 #Var: 2294 LB: 0 @ 0.742 0.92 c Restart #7 #Var: 2294 LB: 0 @ 0.908 1.06 c Restart #8 #Var: 2294 LB: 0 @ 1.049 1.23 c Restart #9 #Var: 2294 LB: 0 @ 1.215 1.43 c Restart #10 #Var: 2294 LB: 0 @ 1.42 1.61 c Restart #11 #Var: 2293 LB: 0 @ 1.601 1.82 c Restart #12 #Var: 2293 LB: 0 @ 1.808 2.79 c Restart #13 #Var: 2293 LB: 0 @ 2.78 3.12 c Restart #14 #Var: 2293 LB: 0 @ 3.108 3.38 c Restart #15 #Var: 2293 LB: 0 @ 3.363 3.58 c Restart #16 #Var: 2293 LB: 0 @ 3.565 3.81 c Restart #17 #Var: 2293 LB: 0 @ 3.801 4.06 c Restart #18 #Var: 2293 LB: 0 @ 4.044 4.36 c Restart #19 #Var: 2291 LB: 0 @ 4.343 4.70 c Restart #20 #Var: 2291 LB: 0 @ 4.68 6.42 c Restart #21 #Var: 2291 LB: 0 @ 6.408 6.73 c Restart #22 #Var: 2291 LB: 0 @ 6.715 7.22 c Restart #23 #Var: 2291 LB: 0 @ 7.202 7.63 c Restart #24 #Var: 2291 LB: 0 @ 7.611 7.97 c Restart #25 #Var: 2291 LB: 0 @ 7.951 8.41 c Restart #26 #Var: 2284 LB: 0 @ 8.389 8.99 c Restart #27 #Var: 2243 LB: 0 @ 8.978 10.07 c Restart #28 #Var: 2243 LB: 0 @ 10.047 10.57 c Restart #29 #Var: 2239 LB: 0 @ 10.554 11.53 c Restart #30 #Var: 2217 LB: 0 @ 11.512 18.94 c Restart #31 #Var: 2217 LB: 0 @ 18.916 21.31 c Restart #32 #Var: 2216 LB: 0 @ 21.288 22.23 c Restart #33 #Var: 2216 LB: 0 @ 22.208 26.32 c Restart #34 #Var: 2209 LB: 0 @ 26.291 28.69 c Restart #35 #Var: 2209 LB: 0 @ 28.665 33.90 c Restart #36 #Var: 2209 LB: 0 @ 33.871 35.43 c Restart #37 #Var: 2208 LB: 0 @ 35.401 35.99 c Restart #38 #Var: 2208 LB: 0 @ 35.962 36.45 c Restart #39 #Var: 2208 LB: 0 @ 36.422 37.02 c Restart #40 #Var: 2208 LB: 0 @ 36.989 37.73 c Restart #41 #Var: 2208 LB: 0 @ 37.701 38.57 c Restart #42 #Var: 2208 LB: 0 @ 38.539 39.20 c Restart #43 #Var: 2208 LB: 0 @ 39.166 39.94 c Restart #44 #Var: 2208 LB: 0 @ 39.911 40.53 c Restart #45 #Var: 2208 LB: 0 @ 40.494 41.68 c Restart #46 #Var: 2208 LB: 0 @ 41.651 42.34 c Restart #47 #Var: 2208 LB: 0 @ 42.306 43.96 c Restart #48 #Var: 2208 LB: 0 @ 43.933 45.01 c Restart #49 #Var: 2208 LB: 0 @ 44.975 46.27 c Restart #50 #Var: 2208 LB: 0 @ 46.236 47.91 c Restart #51 #Var: 2208 LB: 0 @ 47.878 48.86 c Restart #52 #Var: 2208 LB: 0 @ 48.824 50.07 c Restart #53 #Var: 2208 LB: 0 @ 50.034 51.14 c Restart #54 #Var: 2208 LB: 0 @ 51.106 52.47 c Restart #55 #Var: 2208 LB: 0 @ 52.435 53.44 c Restart #56 #Var: 2208 LB: 0 @ 53.403 54.64 c Restart #57 #Var: 2208 LB: 0 @ 54.6 56.37 c Restart #58 #Var: 2208 LB: 0 @ 56.335 57.97 c Restart #59 #Var: 2207 LB: 0 @ 57.931 60.62 c Restart #60 #Var: 2207 LB: 0 @ 60.586 65.74 c Restart #61 #Var: 2206 LB: 0 @ 65.704 67.35 c Restart #62 #Var: 2206 LB: 0 @ 67.306 69.54 c Restart #63 #Var: 2206 LB: 0 @ 69.496 71.46 c Restart #64 #Var: 2206 LB: 0 @ 71.415 73.11 c Restart #65 #Var: 2206 LB: 0 @ 73.066 76.32 c Restart #66 #Var: 2205 LB: 0 @ 76.272 82.85 c Restart #67 #Var: 2204 LB: 0 @ 82.801 86.18 c Restart #68 #Var: 2204 LB: 0 @ 86.136 88.69 c Restart #69 #Var: 2204 LB: 0 @ 88.647 91.91 c Restart #70 #Var: 2203 LB: 0 @ 91.862 94.95 c Restart #71 #Var: 2203 LB: 0 @ 94.904 98.78 c Restart #72 #Var: 2203 LB: 0 @ 98.728 118.79 c Restart #73 #Var: 2169 LB: 0 @ 118.73 134.04 c Restart #74 #Var: 2168 LB: 0 @ 133.98 171.33 c Restart #75 #Var: 2136 LB: 0 @ 171.25 175.71 c Restart #76 #Var: 2136 LB: 0 @ 175.63 180.31 c Restart #77 #Var: 2135 LB: 0 @ 180.23 184.65 c Restart #78 #Var: 2135 LB: 0 @ 184.57 188.58 c Restart #79 #Var: 2135 LB: 0 @ 188.5 196.46 c Restart #80 #Var: 2135 LB: 0 @ 196.38 205.32 c Restart #81 #Var: 2135 LB: 0 @ 205.23 209.84 c Restart #82 #Var: 2135 LB: 0 @ 209.75 213.95 c Restart #83 #Var: 2135 LB: 0 @ 213.85 226.40 c Restart #84 #Var: 2135 LB: 0 @ 226.3 229.17 c Restart #85 #Var: 2135 LB: 0 @ 229.07 251.70 c Restart #86 #Var: 2133 LB: 0 @ 251.59 258.46 c Restart #87 #Var: 2133 LB: 0 @ 258.36 265.14 c Restart #88 #Var: 2133 LB: 0 @ 265.03 268.96 c Restart #89 #Var: 2133 LB: 0 @ 268.85 276.11 c Restart #90 #Var: 2133 LB: 0 @ 276 284.87 c Restart #91 #Var: 2132 LB: 0 @ 284.76 291.66 c Restart #92 #Var: 2132 LB: 0 @ 291.54 296.45 c Restart #93 #Var: 2132 LB: 0 @ 296.33 310.39 c Restart #94 #Var: 2131 LB: 0 @ 310.26 318.26 c Restart #95 #Var: 2131 LB: 0 @ 318.13 325.99 c Restart #96 #Var: 2131 LB: 0 @ 325.86 332.11 c Restart #97 #Var: 2131 LB: 0 @ 331.98 341.26 c Restart #98 #Var: 2131 LB: 0 @ 341.12 347.68 c Restart #99 #Var: 2131 LB: 0 @ 347.54 356.84 c Restart #100 #Var: 2130 LB: 0 @ 356.7 369.16 c Restart #101 #Var: 2129 LB: 0 @ 369.02 380.29 c Restart #102 #Var: 2127 LB: 0 @ 380.14 393.07 c Restart #103 #Var: 2126 LB: 0 @ 392.91 402.02 c Restart #104 #Var: 2126 LB: 0 @ 401.87 411.25 c Restart #105 #Var: 2126 LB: 0 @ 411.09 423.05 c Restart #106 #Var: 2126 LB: 0 @ 422.89 436.75 c Restart #107 #Var: 2125 LB: 0 @ 436.58 450.11 c Restart #108 #Var: 2125 LB: 0 @ 449.93 466.57 c Restart #109 #Var: 2125 LB: 0 @ 466.39 477.93 c Restart #110 #Var: 2124 LB: 0 @ 477.74 489.94 c Restart #111 #Var: 2124 LB: 0 @ 489.75 687.66 c Restart #112 #Var: 2119 LB: 0 @ 687.4 693.00 c Restart #113 #Var: 2119 LB: 0 @ 692.74 697.50 c Restart #114 #Var: 2119 LB: 0 @ 697.24 718.40 c Restart #115 #Var: 2119 LB: 0 @ 718.13 723.16 c Restart #116 #Var: 2119 LB: 0 @ 722.89 739.14 c Restart #117 #Var: 2118 LB: 0 @ 738.87 745.35 c Restart #118 #Var: 2118 LB: 0 @ 745.07 753.88 c Restart #119 #Var: 2118 LB: 0 @ 753.6 772.97 c Restart #120 #Var: 2115 LB: 0 @ 772.65 784.08 c Restart #121 #Var: 2114 LB: 0 @ 783.75 876.39 c Restart #122 #Var: 2110 LB: 0 @ 875.98
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/node73/watcher-40003-1149351243 -o ROOT/results/node73/solver-40003-1149351243 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node73/40003-1149351243/instance-40003-1149351243.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.98 0.98 2/64 26443 /proc/meminfo: memFree=1754720/2055920 swapFree=4182212/4192956 [pid=26443] ppid=26441 vsize=4624 CPUtime=0 /proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 73 0 0 0 0 0 0 0 19 0 1 0 200789085 4734976 55 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7709476 0 0 4096 0 0 0 0 17 1 0 0 /proc/26443/statm: 1156 55 41 55 0 44 0 [startup+10.0032 s] /proc/loadavg: 0.93 0.98 0.98 2/64 26443 /proc/meminfo: memFree=1647464/2055920 swapFree=4182212/4192956 [pid=26443] ppid=26441 vsize=111628 CPUtime=9.98 /proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 27155 0 0 0 978 20 0 0 25 0 1 0 200789085 114307072 27069 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26443/statm: 27907 27069 297 55 0 26799 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 111628 [startup+20.0101 s] /proc/loadavg: 0.94 0.98 0.98 2/64 26443 /proc/meminfo: memFree=1622824/2055920 swapFree=4182212/4192956 [pid=26443] ppid=26441 vsize=136304 CPUtime=19.98 /proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 33299 0 0 0 1972 26 0 0 25 0 1 0 200789085 139575296 33213 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26443/statm: 34076 33213 297 55 0 32968 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 136304 [startup+30.0171 s] /proc/loadavg: 0.95 0.98 0.98 2/64 26443 /proc/meminfo: memFree=1600936/2055920 swapFree=4182212/4192956 [pid=26443] ppid=26441 vsize=158064 CPUtime=29.98 /proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 38752 0 0 0 2967 31 0 0 25 0 1 0 200789085 161857536 38666 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26443/statm: 39516 38666 297 55 0 38408 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 158064 [startup+40.0241 s] /proc/loadavg: 0.95 0.98 0.98 2/64 26443 /proc/meminfo: memFree=1511720/2055920 swapFree=4182212/4192956 [pid=26443] ppid=26441 vsize=247188 CPUtime=39.99 /proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 61031 0 0 0 3952 47 0 0 25 0 1 0 200789085 253120512 60945 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26443/statm: 61797 60946 297 55 0 60689 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 247188 [startup+50.031 s] /proc/loadavg: 0.96 0.98 0.98 2/64 26443 /proc/meminfo: memFree=1391656/2055920 swapFree=4182212/4192956 [pid=26443] ppid=26441 vsize=367200 CPUtime=49.98 /proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 90976 0 0 0 4936 62 0 0 25 0 1 0 200789085 376012800 90884 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26443/statm: 91800 90884 297 55 0 90692 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 367200 [startup+60.038 s] /proc/loadavg: 0.97 0.98 0.98 2/64 26443 /proc/meminfo: memFree=1296168/2055920 swapFree=4182212/4192956 [pid=26443] ppid=26441 vsize=462772 CPUtime=59.99 /proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 114817 0 0 0 5920 79 0 0 25 0 1 0 200789085 473878528 114717 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26443/statm: 115693 114717 297 55 0 114585 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 462772 [startup+70.045 s] /proc/loadavg: 0.97 0.98 0.98 2/64 26443 /proc/meminfo: memFree=1238440/2055920 swapFree=4182212/4192956 [pid=26443] ppid=26441 vsize=520564 CPUtime=70 /proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 129229 0 0 0 6912 88 0 0 25 0 1 0 200789085 533057536 129125 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26443/statm: 130141 129125 297 55 0 129033 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 520564 [startup+80.0519 s] /proc/loadavg: 0.98 0.98 0.98 2/64 26443 /proc/meminfo: memFree=1183016/2055920 swapFree=4182212/4192956 [pid=26443] ppid=26441 vsize=576320 CPUtime=80 /proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 143067 0 0 0 7904 96 0 0 25 0 1 0 200789085 590151680 142947 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26443/statm: 144080 142947 297 55 0 142972 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 576320 [startup+90.0579 s] /proc/loadavg: 0.98 0.98 0.98 2/64 26443 /proc/meminfo: memFree=1133288/2055920 swapFree=4182212/4192956 [pid=26443] ppid=26441 vsize=626064 CPUtime=90 /proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 155476 0 0 0 8896 104 0 0 25 0 1 0 200789085 641089536 155352 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26443/statm: 156516 155352 297 55 0 155408 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 626064 [startup+100.065 s] /proc/loadavg: 0.98 0.98 0.98 2/64 26443 /proc/meminfo: memFree=1089000/2055920 swapFree=4182212/4192956 [pid=26443] ppid=26441 vsize=670572 CPUtime=100.01 /proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 166529 0 0 0 9890 111 0 0 25 0 1 0 200789085 686665728 166396 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26443/statm: 167643 166396 297 55 0 166535 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 670572 [startup+110.072 s] /proc/loadavg: 0.98 0.98 0.98 2/64 26443 /proc/meminfo: memFree=1087656/2055920 swapFree=4182212/4192956 [pid=26443] ppid=26441 vsize=671780 CPUtime=110.01 /proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 166860 0 0 0 10890 111 0 0 25 0 1 0 200789085 687902720 166727 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26443/statm: 167945 166727 297 55 0 166837 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 671780 [startup+120.078 s] /proc/loadavg: 0.99 0.98 0.98 2/64 26443 /proc/meminfo: memFree=1072552/2055920 swapFree=4182212/4192956 [pid=26443] ppid=26441 vsize=687072 CPUtime=120.01 /proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 170643 0 0 0 11888 113 0 0 25 0 1 0 200789085 703561728 170500 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26443/statm: 171768 170500 297 55 0 170660 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 687072 [startup+130.084 s] /proc/loadavg: 0.99 0.98 0.98 2/64 26443 /proc/meminfo: memFree=1071784/2055920 swapFree=4182212/4192956 [pid=26443] ppid=26441 vsize=687864 CPUtime=130.02 /proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 170835 0 0 0 12888 114 0 0 25 0 1 0 200789085 704372736 170692 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26443/statm: 171966 170692 297 55 0 170858 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 687864 [startup+140.091 s] /proc/loadavg: 0.99 0.98 0.98 2/64 26443 /proc/meminfo: memFree=1051560/2055920 swapFree=4182212/4192956 [pid=26443] ppid=26441 vsize=708104 CPUtime=140.02 /proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 175878 0 0 0 13885 117 0 0 25 0 1 0 200789085 725098496 175735 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26443/statm: 177026 175735 297 55 0 175918 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 708104 [startup+150.097 s] /proc/loadavg: 0.99 0.98 0.98 2/64 26443 /proc/meminfo: memFree=1046376/2055920 swapFree=4182212/4192956 [pid=26443] ppid=26441 vsize=713252 CPUtime=150.01 /proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 177164 0 0 0 14883 118 0 0 25 0 1 0 200789085 730370048 177021 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26443/statm: 178313 177021 297 55 0 177205 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 713252 [startup+160.103 s] /proc/loadavg: 0.99 0.98 0.98 2/64 26443 /proc/meminfo: memFree=1043112/2055920 swapFree=4182212/4192956 [pid=26443] ppid=26441 vsize=716584 CPUtime=160.02 /proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 177986 0 0 0 15883 119 0 0 25 0 1 0 200789085 733782016 177842 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26443/statm: 179146 177842 297 55 0 178038 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 716584 [startup+170.11 s] /proc/loadavg: 0.99 0.98 0.98 2/64 26443 /proc/meminfo: memFree=1039208/2055920 swapFree=4182212/4192956 [pid=26443] ppid=26441 vsize=720564 CPUtime=170.03 /proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 178969 0 0 0 16882 121 0 0 25 0 1 0 200789085 737857536 178825 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528763 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26443/statm: 180141 178825 297 55 0 179033 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 720564 [startup+180.116 s] /proc/loadavg: 0.99 0.98 0.98 2/64 26443 /proc/meminfo: memFree=1004264/2055920 swapFree=4182212/4192956 [pid=26443] ppid=26441 vsize=755416 CPUtime=180.03 /proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 187700 0 0 0 17876 127 0 0 25 0 1 0 200789085 773545984 187547 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26443/statm: 188854 187547 297 55 0 187746 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 755416 [startup+190.122 s] /proc/loadavg: 0.99 0.98 0.98 2/64 26443 /proc/meminfo: memFree=978408/2055920 swapFree=4182212/4192956 [pid=26443] ppid=26441 vsize=781476 CPUtime=190.03 /proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 194177 0 0 0 18870 133 0 0 25 0 1 0 200789085 800231424 194009 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8144507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26443/statm: 195369 194009 297 55 0 194261 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 781476 [startup+200.128 s] /proc/loadavg: 0.99 0.98 0.98 2/64 26443 /proc/meminfo: memFree=955240/2055920 swapFree=4182212/4192956 [pid=26443] ppid=26441 vsize=804784 CPUtime=200.04 /proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 199966 0 0 0 19867 137 0 0 25 0 1 0 200789085 824098816 199782 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26443/statm: 201196 199782 297 55 0 200088 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 804784 [startup+210.134 s] /proc/loadavg: 0.99 0.98 0.98 2/64 26443 /proc/meminfo: memFree=920232/2055920 swapFree=4182212/4192956 ################ # More data... # ################ Current children cumulated CPU time (s) 670.16 Current children cumulated vsize (Kb) 1528772 [startup+680.43 s] /proc/loadavg: 0.99 0.98 0.98 2/64 26443 /proc/meminfo: memFree=224552/2055920 swapFree=4182212/4192956 [pid=26443] ppid=26441 vsize=1538120 CPUtime=680.17 /proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 382576 0 0 0 67743 274 0 0 25 0 1 0 200789085 1575034880 382074 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26443/statm: 384530 382074 297 55 0 383422 0 Current children cumulated CPU time (s) 680.17 Current children cumulated vsize (Kb) 1538120 [startup+690.437 s] /proc/loadavg: 0.99 0.98 0.98 2/64 26443 /proc/meminfo: memFree=201576/2055920 swapFree=4182212/4192956 [pid=26443] ppid=26441 vsize=1561104 CPUtime=690.17 /proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 388322 0 0 0 68739 278 0 0 25 0 1 0 200789085 1598570496 387819 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529429 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26443/statm: 390276 387819 297 55 0 389168 0 Current children cumulated CPU time (s) 690.17 Current children cumulated vsize (Kb) 1561104 [startup+700.444 s] /proc/loadavg: 0.99 0.98 0.98 2/64 26443 /proc/meminfo: memFree=153512/2055920 swapFree=4182212/4192956 [pid=26443] ppid=26441 vsize=1609320 CPUtime=700.18 /proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 400304 0 0 0 69732 286 0 0 25 0 1 0 200789085 1647943680 399793 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26443/statm: 402330 399793 297 55 0 401222 0 Current children cumulated CPU time (s) 700.18 Current children cumulated vsize (Kb) 1609320 [startup+710.451 s] /proc/loadavg: 0.99 0.98 0.98 2/64 26443 /proc/meminfo: memFree=150376/2055920 swapFree=4182212/4192956 [pid=26443] ppid=26441 vsize=1612492 CPUtime=710.17 /proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 401088 0 0 0 70731 286 0 0 25 0 1 0 200789085 1651191808 400577 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26443/statm: 403123 400577 297 55 0 402015 0 Current children cumulated CPU time (s) 710.17 Current children cumulated vsize (Kb) 1612492 [startup+720.458 s] /proc/loadavg: 0.99 0.98 0.98 2/64 26443 /proc/meminfo: memFree=117736/2055920 swapFree=4182212/4192956 [pid=26443] ppid=26441 vsize=1644972 CPUtime=720.18 /proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 409223 0 0 0 71727 291 0 0 25 0 1 0 200789085 1684451328 408712 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26443/statm: 411243 408712 297 55 0 410135 0 Current children cumulated CPU time (s) 720.18 Current children cumulated vsize (Kb) 1644972 [startup+730.465 s] /proc/loadavg: 0.99 0.98 0.98 2/64 26443 /proc/meminfo: memFree=95336/2055920 swapFree=4182212/4192956 [pid=26443] ppid=26441 vsize=1667404 CPUtime=730.18 /proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 414827 0 0 0 72722 296 0 0 25 0 1 0 200789085 1707421696 414310 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26443/statm: 416851 414310 297 55 0 415743 0 Current children cumulated CPU time (s) 730.18 Current children cumulated vsize (Kb) 1667404 [startup+740.472 s] /proc/loadavg: 0.99 0.98 0.98 2/64 26443 /proc/meminfo: memFree=64872/2055920 swapFree=4182212/4192956 [pid=26443] ppid=26441 vsize=1697964 CPUtime=740.19 /proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 422429 0 0 0 73717 302 0 0 25 0 1 0 200789085 1738715136 421912 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534983 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26443/statm: 424491 421912 297 55 0 423383 0 Current children cumulated CPU time (s) 740.19 Current children cumulated vsize (Kb) 1697964 [startup+750.479 s] /proc/loadavg: 0.99 0.98 0.98 2/64 26443 /proc/meminfo: memFree=29032/2055920 swapFree=4182212/4192956 [pid=26443] ppid=26441 vsize=1733660 CPUtime=750.19 /proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 431370 0 0 0 74711 308 0 0 25 0 1 0 200789085 1775267840 430846 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26443/statm: 433415 430846 297 55 0 432307 0 Current children cumulated CPU time (s) 750.19 Current children cumulated vsize (Kb) 1733660 [startup+760.485 s] /proc/loadavg: 0.99 0.98 0.98 2/64 26443 /proc/meminfo: memFree=15592/2055920 swapFree=4182212/4192956 [pid=26443] ppid=26441 vsize=1754116 CPUtime=760.19 /proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 436418 0 0 0 75707 312 0 0 25 0 1 0 200789085 1796214784 435879 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26443/statm: 438529 435879 297 55 0 437421 0 Current children cumulated CPU time (s) 760.19 Current children cumulated vsize (Kb) 1754116 [startup+770.492 s] /proc/loadavg: 0.99 0.98 0.98 2/64 26443 /proc/meminfo: memFree=15592/2055920 swapFree=4182212/4192956 [pid=26443] ppid=26441 vsize=1768808 CPUtime=770.17 /proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 440039 0 0 0 76703 314 0 0 25 0 1 0 200789085 1811259392 439495 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26443/statm: 442202 439495 297 55 0 441094 0 Current children cumulated CPU time (s) 770.17 Current children cumulated vsize (Kb) 1768808 [startup+780.499 s] /proc/loadavg: 0.99 0.98 0.98 2/64 26443 /proc/meminfo: memFree=15848/2055920 swapFree=4182212/4192956 [pid=26443] ppid=26441 vsize=1787876 CPUtime=780.17 /proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 444785 0 0 0 77699 318 0 0 25 0 1 0 200789085 1830785024 444235 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26443/statm: 446969 444235 297 55 0 445861 0 Current children cumulated CPU time (s) 780.17 Current children cumulated vsize (Kb) 1787876 [startup+790.506 s] /proc/loadavg: 0.99 0.98 0.98 2/64 26443 /proc/meminfo: memFree=16296/2055920 swapFree=4182212/4192956 [pid=26443] ppid=26441 vsize=1813668 CPUtime=790.16 /proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 451274 0 0 0 78694 322 0 0 25 0 1 0 200789085 1857196032 450642 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26443/statm: 453417 450642 297 55 0 452309 0 Current children cumulated CPU time (s) 790.16 Current children cumulated vsize (Kb) 1813668 [startup+800.513 s] /proc/loadavg: 0.99 0.98 0.98 2/64 26443 /proc/meminfo: memFree=16424/2055920 swapFree=4182212/4192956 [pid=26443] ppid=26441 vsize=1813940 CPUtime=800.17 /proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 451339 0 0 0 79694 323 0 0 25 0 1 0 200789085 1857474560 450707 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26443/statm: 453485 450707 297 55 0 452377 0 Current children cumulated CPU time (s) 800.17 Current children cumulated vsize (Kb) 1813940 [startup+810.519 s] /proc/loadavg: 0.99 0.98 0.98 2/64 26443 /proc/meminfo: memFree=16104/2055920 swapFree=4182212/4192956 [pid=26443] ppid=26441 vsize=1814360 CPUtime=810.17 /proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 451421 0 0 0 80694 323 0 0 25 0 1 0 200789085 1857904640 450787 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26443/statm: 453590 450787 297 55 0 452482 0 Current children cumulated CPU time (s) 810.17 Current children cumulated vsize (Kb) 1814360 [startup+820.526 s] /proc/loadavg: 0.99 0.98 0.98 2/64 26443 /proc/meminfo: memFree=15848/2055920 swapFree=4182212/4192956 [pid=26443] ppid=26441 vsize=1817932 CPUtime=820.16 /proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 452331 0 0 0 81692 324 0 0 25 0 1 0 200789085 1861562368 451697 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26443/statm: 454483 451697 297 55 0 453375 0 Current children cumulated CPU time (s) 820.16 Current children cumulated vsize (Kb) 1817932 [startup+830.532 s] /proc/loadavg: 0.99 0.98 0.98 2/64 26443 /proc/meminfo: memFree=16296/2055920 swapFree=4182212/4192956 [pid=26443] ppid=26441 vsize=1820632 CPUtime=830.16 /proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 452997 0 0 0 82691 325 0 0 25 0 1 0 200789085 1864327168 452361 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26443/statm: 455158 452361 297 55 0 454050 0 Current children cumulated CPU time (s) 830.16 Current children cumulated vsize (Kb) 1820632 [startup+840.539 s] /proc/loadavg: 0.99 0.98 0.98 2/64 26443 /proc/meminfo: memFree=15656/2055920 swapFree=4182212/4192956 [pid=26443] ppid=26441 vsize=1823212 CPUtime=840.15 /proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 453603 0 0 0 83689 326 0 0 25 0 1 0 200789085 1866969088 452952 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26443/statm: 455803 452952 297 55 0 454695 0 Current children cumulated CPU time (s) 840.15 Current children cumulated vsize (Kb) 1823212 [startup+850.545 s] /proc/loadavg: 0.99 0.98 0.98 2/64 26443 /proc/meminfo: memFree=15528/2055920 swapFree=4182212/4192956 [pid=26443] ppid=26441 vsize=1823344 CPUtime=850.15 /proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 453644 0 0 0 84689 326 0 0 25 0 1 0 200789085 1867104256 452993 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26443/statm: 455836 452993 297 55 0 454728 0 Current children cumulated CPU time (s) 850.15 Current children cumulated vsize (Kb) 1823344 [startup+860.551 s] /proc/loadavg: 0.99 0.98 0.98 2/64 26443 /proc/meminfo: memFree=15720/2055920 swapFree=4182160/4192956 [pid=26443] ppid=26441 vsize=1825592 CPUtime=860.15 /proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 454199 0 0 0 85688 327 0 0 25 0 1 0 200789085 1869406208 453548 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26443/statm: 456398 453548 297 55 0 455290 0 Current children cumulated CPU time (s) 860.15 Current children cumulated vsize (Kb) 1825592 [startup+870.557 s] /proc/loadavg: 0.99 0.98 0.98 2/64 26443 /proc/meminfo: memFree=15016/2055920 swapFree=4182160/4192956 [pid=26443] ppid=26441 vsize=1827836 CPUtime=870.15 /proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 454778 0 0 0 86688 327 0 0 25 0 1 0 200789085 1871704064 454127 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26443/statm: 456959 454127 297 55 0 455851 0 Current children cumulated CPU time (s) 870.15 Current children cumulated vsize (Kb) 1827836 [startup+880.563 s] /proc/loadavg: 0.99 0.98 0.98 2/64 26443 /proc/meminfo: memFree=15016/2055920 swapFree=4182160/4192956 [pid=26443] ppid=26441 vsize=1837344 CPUtime=880.14 /proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 457145 0 0 0 87685 329 0 0 25 0 1 0 200789085 1881440256 456494 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26443/statm: 459336 456494 297 55 0 458228 0 Current children cumulated CPU time (s) 880.14 Current children cumulated vsize (Kb) 1837344 Child ended because it received signal 11 (SIGSEGV) Real time (s): 884.717 CPU time (s): 884.279 CPU user time (s): 880.701 CPU system time (s): 3.57746 CPU usage (%): 99.9505 Max. virtual memory (cumulated for all children) (Kb): 1837344 The end
Begin job on node73 on Sat Jun 3 16:14:03 UTC 2006 FILE ID= 40003-1149351243 PBS_JOBID= 310992 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-vpm1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node73/40003-1149351243/instance-40003-1149351243.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node73/watcher-40003-1149351243 -o ROOT/results/node73/solver-40003-1149351243 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node73/40003-1149351243/instance-40003-1149351243.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 7d8a1496a778abf94cc39a37abc46ff3 RANDOM SEED= 346292024 /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.261 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.261 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: 1754928 kB Buffers: 28264 kB Cached: 209700 kB SwapCached: 2348 kB Active: 41256 kB Inactive: 205324 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1754928 kB SwapTotal: 4192956 kB SwapFree: 4182212 kB Dirty: 172 kB Writeback: 0 kB Mapped: 15068 kB Slab: 40512 kB Committed_AS: 371780 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node73 on Sat Jun 3 16:28:48 UTC 2006