Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | Signal | 634.528 | 635.106 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl.opb |
MD5SUM | d632a3ec068dee28f1b227f8201fa32b |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.097984 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 2913 |
Total number of constraints | 3105 |
Number of constraints which are clauses | 2259 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 846 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 25 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 6518 |
Number of bits of the biggest number in a constraint | 13 |
Biggest sum of numbers in a constraint | 18803 |
Number of bits of the biggest sum of numbers | 15 |
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.14 c Initial problem consists of 2913 variables and 3105 constraints. 0.16 c Using non-optimization problem switches. 0.16 c No problem reductions applied in OPT. instance. 0.16 c preprocess terminated. Elapsed time: 0.151 0.16 c After prepocess the problem consists of 2410 variables and 2144 constraints. 0.24 c Restart #1 #Var: 2410 LB: 0 @ 0.232 0.41 c Restart #2 #Var: 2410 LB: 0 @ 0.402 0.70 c Restart #3 #Var: 2410 LB: 0 @ 0.686 1.11 c Restart #4 #Var: 2410 LB: 0 @ 1.097 1.52 c Restart #5 #Var: 2410 LB: 0 @ 1.508 1.92 c Restart #6 #Var: 2410 LB: 0 @ 1.908 2.20 c Restart #7 #Var: 2410 LB: 0 @ 2.192 2.39 c Restart #8 #Var: 2410 LB: 0 @ 2.377 2.57 c Restart #9 #Var: 2410 LB: 0 @ 2.556 2.78 c Restart #10 #Var: 2408 LB: 0 @ 2.763 3.00 c Restart #11 #Var: 2408 LB: 0 @ 2.992 3.27 c Restart #12 #Var: 2408 LB: 0 @ 3.258 3.56 c Restart #13 #Var: 2408 LB: 0 @ 3.546 3.86 c Restart #14 #Var: 2408 LB: 0 @ 3.848 4.22 c Restart #15 #Var: 2408 LB: 0 @ 4.208 4.59 c Restart #16 #Var: 2408 LB: 0 @ 4.576 4.98 c Restart #17 #Var: 2408 LB: 0 @ 4.965 5.44 c Restart #18 #Var: 2407 LB: 0 @ 5.423 5.85 c Restart #19 #Var: 2407 LB: 0 @ 5.84 6.32 c Restart #20 #Var: 2407 LB: 0 @ 6.306 6.80 c Restart #21 #Var: 2407 LB: 0 @ 6.79 7.31 c Restart #22 #Var: 2407 LB: 0 @ 7.293 7.87 c Restart #23 #Var: 2407 LB: 0 @ 7.852 8.49 c Restart #24 #Var: 2407 LB: 0 @ 8.473 9.09 c Restart #25 #Var: 2407 LB: 0 @ 9.077 9.78 c Restart #26 #Var: 2407 LB: 0 @ 9.766 10.76 c Restart #27 #Var: 2407 LB: 0 @ 10.738 11.86 c Restart #28 #Var: 2407 LB: 0 @ 11.839 12.71 c Restart #29 #Var: 2407 LB: 0 @ 12.694 13.54 c Restart #30 #Var: 2407 LB: 0 @ 13.516 14.45 c Restart #31 #Var: 2407 LB: 0 @ 14.432 15.32 c Restart #32 #Var: 2407 LB: 0 @ 15.297 16.30 c Restart #33 #Var: 2407 LB: 0 @ 16.276 17.21 c Restart #34 #Var: 2407 LB: 0 @ 17.19 18.25 c Restart #35 #Var: 2407 LB: 0 @ 18.228 19.19 c Restart #36 #Var: 2407 LB: 0 @ 19.171 20.33 c Restart #37 #Var: 2407 LB: 0 @ 20.308 21.38 c Restart #38 #Var: 2407 LB: 0 @ 21.36 22.61 c Restart #39 #Var: 2407 LB: 0 @ 22.587 23.77 c Restart #40 #Var: 2407 LB: 0 @ 23.751 25.05 c Restart #41 #Var: 2407 LB: 0 @ 25.025 26.34 c Restart #42 #Var: 2407 LB: 0 @ 26.321 27.65 c Restart #43 #Var: 2407 LB: 0 @ 27.622 29.05 c Restart #44 #Var: 2407 LB: 0 @ 29.026 30.44 c Restart #45 #Var: 2407 LB: 0 @ 30.416 31.82 c Restart #46 #Var: 2407 LB: 0 @ 31.79 33.48 c Restart #47 #Var: 2407 LB: 0 @ 33.451 35.11 c Restart #48 #Var: 2407 LB: 0 @ 35.082 36.73 c Restart #49 #Var: 2407 LB: 0 @ 36.707 38.37 c Restart #50 #Var: 2407 LB: 0 @ 38.346 39.95 c Restart #51 #Var: 2407 LB: 0 @ 39.92 41.80 c Restart #52 #Var: 2407 LB: 0 @ 41.771 43.72 c Restart #53 #Var: 2407 LB: 0 @ 43.692 45.52 c Restart #54 #Var: 2407 LB: 0 @ 45.492 48.01 c Restart #55 #Var: 2407 LB: 0 @ 47.977 49.80 c Restart #56 #Var: 2407 LB: 0 @ 49.766 51.92 c Restart #57 #Var: 2407 LB: 0 @ 51.888 54.18 c Restart #58 #Var: 2407 LB: 0 @ 54.146 56.25 c Restart #59 #Var: 2407 LB: 0 @ 56.217 58.48 c Restart #60 #Var: 2407 LB: 0 @ 58.445 60.60 c Restart #61 #Var: 2407 LB: 0 @ 60.565 62.82 c Restart #62 #Var: 2407 LB: 0 @ 62.791 64.92 c Restart #63 #Var: 2407 LB: 0 @ 64.886 67.23 c Restart #64 #Var: 2407 LB: 0 @ 67.195 69.30 c Restart #65 #Var: 2407 LB: 0 @ 69.263 71.75 c Restart #66 #Var: 2407 LB: 0 @ 71.716 74.31 c Restart #67 #Var: 2407 LB: 0 @ 74.273 76.99 c Restart #68 #Var: 2407 LB: 0 @ 76.954 79.72 c Restart #69 #Var: 2407 LB: 0 @ 79.684 82.32 c Restart #70 #Var: 2407 LB: 0 @ 82.285 85.16 c Restart #71 #Var: 2407 LB: 0 @ 85.12 87.96 c Restart #72 #Var: 2407 LB: 0 @ 87.919 90.51 c Restart #73 #Var: 2407 LB: 0 @ 90.467 93.50 c Restart #74 #Var: 2407 LB: 0 @ 93.454 96.27 c Restart #75 #Var: 2407 LB: 0 @ 96.231 99.26 c Restart #76 #Var: 2407 LB: 0 @ 99.222 102.52 c Restart #77 #Var: 2407 LB: 0 @ 102.48 105.50 c Restart #78 #Var: 2407 LB: 0 @ 105.46 108.61 c Restart #79 #Var: 2407 LB: 0 @ 108.57 111.81 c Restart #80 #Var: 2407 LB: 0 @ 111.76 115.65 c Restart #81 #Var: 2407 LB: 0 @ 115.6 118.81 c Restart #82 #Var: 2407 LB: 0 @ 118.77 122.49 c Restart #83 #Var: 2407 LB: 0 @ 122.44 126.17 c Restart #84 #Var: 2407 LB: 0 @ 126.12 129.55 c Restart #85 #Var: 2407 LB: 0 @ 129.5 133.43 c Restart #86 #Var: 2407 LB: 0 @ 133.38 137.11 c Restart #87 #Var: 2407 LB: 0 @ 137.06 140.82 c Restart #88 #Var: 2407 LB: 0 @ 140.76 145.16 c Restart #89 #Var: 2407 LB: 0 @ 145.1 150.25 c Restart #90 #Var: 2407 LB: 0 @ 150.19 154.84 c Restart #91 #Var: 2407 LB: 0 @ 154.78 159.22 c Restart #92 #Var: 2407 LB: 0 @ 159.16 163.18 c Restart #93 #Var: 2407 LB: 0 @ 163.12 167.53 c Restart #94 #Var: 2407 LB: 0 @ 167.47 171.56 c Restart #95 #Var: 2407 LB: 0 @ 171.5 175.39 c Restart #96 #Var: 2407 LB: 0 @ 175.33 179.71 c Restart #97 #Var: 2407 LB: 0 @ 179.65 184.00 c Restart #98 #Var: 2407 LB: 0 @ 183.93 189.52 c Restart #99 #Var: 2407 LB: 0 @ 189.45 194.79 c Restart #100 #Var: 2407 LB: 0 @ 194.72 199.86 c Restart #101 #Var: 2407 LB: 0 @ 199.8 204.38 c Restart #102 #Var: 2407 LB: 0 @ 204.32 210.56 c Restart #103 #Var: 2407 LB: 0 @ 210.49 216.14 c Restart #104 #Var: 2407 LB: 0 @ 216.07 221.89 c Restart #105 #Var: 2407 LB: 0 @ 221.82 227.19 c Restart #106 #Var: 2407 LB: 0 @ 227.12 232.77 c Restart #107 #Var: 2407 LB: 0 @ 232.69 238.29 c Restart #108 #Var: 2407 LB: 0 @ 238.21 243.88 c Restart #109 #Var: 2407 LB: 0 @ 243.8 249.72 c Restart #110 #Var: 2407 LB: 0 @ 249.64 255.75 c Restart #111 #Var: 2407 LB: 0 @ 255.66 261.85 c Restart #112 #Var: 2407 LB: 0 @ 261.75 267.53 c Restart #113 #Var: 2407 LB: 0 @ 267.43 273.51 c Restart #114 #Var: 2407 LB: 0 @ 273.4 278.65 c Restart #115 #Var: 2407 LB: 0 @ 278.53 284.48 c Restart #116 #Var: 2407 LB: 0 @ 284.35 290.25 c Restart #117 #Var: 2407 LB: 0 @ 290.11 296.69 c Restart #118 #Var: 2407 LB: 0 @ 296.54 302.95 c Restart #119 #Var: 2407 LB: 0 @ 302.79 309.73 c Restart #120 #Var: 2407 LB: 0 @ 309.57 316.11 c Restart #121 #Var: 2407 LB: 0 @ 315.94 323.28 c Restart #122 #Var: 2407 LB: 0 @ 323.1 330.28 c Restart #123 #Var: 2407 LB: 0 @ 330.09 337.06 c Restart #124 #Var: 2407 LB: 0 @ 336.87 343.83 c Restart #125 #Var: 2407 LB: 0 @ 343.63 351.83 c Restart #126 #Var: 2407 LB: 0 @ 351.62 359.56 c Restart #127 #Var: 2407 LB: 0 @ 359.34 367.72 c Restart #128 #Var: 2407 LB: 0 @ 367.49 375.51 c Restart #129 #Var: 2407 LB: 0 @ 375.27 384.26 c Restart #130 #Var: 2407 LB: 0 @ 384.01 392.29 c Restart #131 #Var: 2407 LB: 0 @ 392.03 400.91 c Restart #132 #Var: 2407 LB: 0 @ 400.64 408.17 c Restart #133 #Var: 2407 LB: 0 @ 407.89 416.25 c Restart #134 #Var: 2407 LB: 0 @ 415.96 423.49 c Restart #135 #Var: 2407 LB: 0 @ 423.19 431.29 c Restart #136 #Var: 2407 LB: 0 @ 430.98 437.87 c Restart #137 #Var: 2407 LB: 0 @ 437.55 446.49 c Restart #138 #Var: 2407 LB: 0 @ 446.16 454.54 c Restart #139 #Var: 2407 LB: 0 @ 454.19 463.53 c Restart #140 #Var: 2407 LB: 0 @ 463.18 471.25 c Restart #141 #Var: 2407 LB: 0 @ 470.89 479.17 c Restart #142 #Var: 2407 LB: 0 @ 478.79 486.94 c Restart #143 #Var: 2407 LB: 0 @ 486.56 495.51 c Restart #144 #Var: 2407 LB: 0 @ 495.12 504.34 c Restart #145 #Var: 2407 LB: 0 @ 503.94 512.55 c Restart #146 #Var: 2407 LB: 0 @ 512.14 520.25 c Restart #147 #Var: 2407 LB: 0 @ 519.83 527.76 c Restart #148 #Var: 2407 LB: 0 @ 527.34 536.92 c Restart #149 #Var: 2407 LB: 0 @ 536.48 546.22 c Restart #150 #Var: 2407 LB: 0 @ 545.77 554.91 c Restart #151 #Var: 2407 LB: 0 @ 554.45 563.16 c Restart #152 #Var: 2407 LB: 0 @ 562.7 572.88 c Restart #153 #Var: 2407 LB: 0 @ 572.4 582.66 c Restart #154 #Var: 2407 LB: 0 @ 582.16 591.53 c Restart #155 #Var: 2407 LB: 0 @ 591.02 601.48 c Restart #156 #Var: 2407 LB: 0 @ 600.96 611.74 c Restart #157 #Var: 2407 LB: 0 @ 611.2 621.14 c Restart #158 #Var: 2407 LB: 0 @ 620.6 630.61 c Restart #159 #Var: 2407 LB: 0 @ 630.05
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/node56/watcher-39708-1149236352 -o ROOT/results/node56/solver-39708-1149236352 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node56/39708-1149236352/instance-39708-1149236352.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.77 0.92 0.89 2/64 9699 /proc/meminfo: memFree=888888/2055920 swapFree=4181332/4192956 [pid=9699] ppid=9697 vsize=4664 CPUtime=0 /proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 155 0 0 0 0 0 0 0 18 0 1 0 189302833 4775936 135 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9997588 0 0 4096 0 0 0 0 17 1 0 0 /proc/9699/statm: 1166 135 105 55 0 46 0 [startup+10.0024 s] /proc/loadavg: 0.81 0.92 0.89 2/64 9699 /proc/meminfo: memFree=832568/2055920 swapFree=4181332/4192956 [pid=9699] ppid=9697 vsize=61040 CPUtime=9.98 /proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 14451 0 0 0 978 20 0 0 25 0 1 0 189302833 62504960 14355 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9699/statm: 15260 14355 300 55 0 14152 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 61040 [startup+20.0093 s] /proc/loadavg: 0.84 0.93 0.90 2/64 9699 /proc/meminfo: memFree=784952/2055920 swapFree=4181332/4192956 [pid=9699] ppid=9697 vsize=109128 CPUtime=19.98 /proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 26365 0 0 0 1970 28 0 0 25 0 1 0 189302833 111747072 26232 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9699/statm: 27282 26232 300 55 0 26174 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 109128 [startup+30.0153 s] /proc/loadavg: 0.86 0.93 0.90 2/64 9699 /proc/meminfo: memFree=738424/2055920 swapFree=4181332/4192956 [pid=9699] ppid=9697 vsize=156036 CPUtime=29.98 /proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 38087 0 0 0 2962 36 0 0 25 0 1 0 189302833 159780864 37843 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10462843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9699/statm: 39009 37843 300 55 0 37901 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 156036 [startup+40.0213 s] /proc/loadavg: 0.88 0.93 0.90 2/64 9699 /proc/meminfo: memFree=695544/2055920 swapFree=4181332/4192956 [pid=9699] ppid=9697 vsize=199192 CPUtime=39.98 /proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 48813 0 0 0 3955 43 0 0 25 0 1 0 189302833 203972608 48547 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9699/statm: 49798 48547 300 55 0 48690 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 199192 [startup+50.0273 s] /proc/loadavg: 0.90 0.93 0.90 2/64 9699 /proc/meminfo: memFree=657400/2055920 swapFree=4181332/4192956 [pid=9699] ppid=9697 vsize=237084 CPUtime=49.99 /proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 58408 0 0 0 4949 50 0 0 25 0 1 0 189302833 242774016 58059 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10462843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9699/statm: 59271 58059 300 55 0 58163 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 237084 [startup+60.0333 s] /proc/loadavg: 0.91 0.93 0.90 2/64 9699 /proc/meminfo: memFree=617464/2055920 swapFree=4181332/4192956 [pid=9699] ppid=9697 vsize=278768 CPUtime=59.99 /proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 68924 0 0 0 5942 57 0 0 25 0 1 0 189302833 285458432 68029 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10462843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9699/statm: 69692 68029 300 55 0 68584 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 278768 [startup+70.0393 s] /proc/loadavg: 0.93 0.94 0.90 2/64 9699 /proc/meminfo: memFree=577656/2055920 swapFree=4181332/4192956 [pid=9699] ppid=9697 vsize=318068 CPUtime=69.99 /proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 78899 0 0 0 6935 64 0 0 25 0 1 0 189302833 325701632 77963 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9699/statm: 79517 77963 300 55 0 78409 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 318068 [startup+80.0453 s] /proc/loadavg: 0.94 0.94 0.90 2/64 9699 /proc/meminfo: memFree=541432/2055920 swapFree=4181332/4192956 [pid=9699] ppid=9697 vsize=354420 CPUtime=80 /proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 88024 0 0 0 7928 72 0 0 25 0 1 0 189302833 362926080 86999 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9699/statm: 88605 86999 300 55 0 87497 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 354420 [startup+90.0513 s] /proc/loadavg: 0.95 0.94 0.90 2/64 9699 /proc/meminfo: memFree=501880/2055920 swapFree=4181332/4192956 [pid=9699] ppid=9697 vsize=393736 CPUtime=90 /proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 98065 0 0 0 8921 79 0 0 25 0 1 0 189302833 403185664 96876 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9699/statm: 98434 96876 300 55 0 97326 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 393736 [startup+100.057 s] /proc/loadavg: 0.95 0.94 0.90 2/64 9699 /proc/meminfo: memFree=467768/2055920 swapFree=4181332/4192956 [pid=9699] ppid=9697 vsize=429052 CPUtime=100.01 /proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 107059 0 0 0 9915 86 0 0 25 0 1 0 189302833 439349248 105382 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9699/statm: 107263 105382 300 55 0 106155 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 429052 [startup+110.063 s] /proc/loadavg: 0.96 0.94 0.90 2/64 9699 /proc/meminfo: memFree=430904/2055920 swapFree=4181332/4192956 [pid=9699] ppid=9697 vsize=465860 CPUtime=110.01 /proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 116425 0 0 0 10908 93 0 0 25 0 1 0 189302833 477040640 114586 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9699/statm: 116465 114587 300 55 0 115357 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 465860 [startup+120.069 s] /proc/loadavg: 0.97 0.94 0.91 2/64 9699 /proc/meminfo: memFree=397624/2055920 swapFree=4181332/4192956 [pid=9699] ppid=9697 vsize=501000 CPUtime=120.02 /proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 125453 0 0 0 11903 99 0 0 25 0 1 0 189302833 513024000 122872 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9699/statm: 125250 122872 300 55 0 124142 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 501000 [startup+130.075 s] /proc/loadavg: 0.97 0.94 0.91 2/64 9699 /proc/meminfo: memFree=364920/2055920 swapFree=4181332/4192956 [pid=9699] ppid=9697 vsize=533584 CPUtime=130.02 /proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 133778 0 0 0 12897 105 0 0 25 0 1 0 189302833 546390016 131035 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9699/statm: 133396 131035 300 55 0 132288 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 533584 [startup+140.081 s] /proc/loadavg: 0.98 0.95 0.91 2/64 9699 /proc/meminfo: memFree=329208/2055920 swapFree=4181332/4192956 [pid=9699] ppid=9697 vsize=569844 CPUtime=140.02 /proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 143007 0 0 0 13891 111 0 0 25 0 1 0 189302833 583520256 139940 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9699/statm: 142461 139940 300 55 0 141353 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 569844 [startup+150.087 s] /proc/loadavg: 0.98 0.95 0.91 2/64 9699 /proc/meminfo: memFree=302648/2055920 swapFree=4181332/4192956 [pid=9699] ppid=9697 vsize=596168 CPUtime=150.03 /proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 149725 0 0 0 14887 116 0 0 25 0 1 0 189302833 610476032 146576 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9699/statm: 149042 146576 300 55 0 147934 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 596168 [startup+160.093 s] /proc/loadavg: 0.98 0.95 0.91 2/64 9699 /proc/meminfo: memFree=276280/2055920 swapFree=4181332/4192956 [pid=9699] ppid=9697 vsize=622304 CPUtime=160.02 /proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 156299 0 0 0 15882 120 0 0 25 0 1 0 189302833 637239296 153150 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548512 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9699/statm: 155576 153150 300 55 0 154468 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 622304 [startup+170.099 s] /proc/loadavg: 0.98 0.95 0.91 2/64 9699 /proc/meminfo: memFree=242040/2055920 swapFree=4181332/4192956 [pid=9699] ppid=9697 vsize=656028 CPUtime=170.03 /proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 164847 0 0 0 16877 126 0 0 25 0 1 0 189302833 671772672 161696 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10462843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9699/statm: 164007 161696 300 55 0 162899 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 656028 [startup+180.105 s] /proc/loadavg: 0.99 0.95 0.91 2/64 9699 /proc/meminfo: memFree=209400/2055920 swapFree=4181332/4192956 [pid=9699] ppid=9697 vsize=688912 CPUtime=180.04 /proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 173268 0 0 0 17873 131 0 0 25 0 1 0 189302833 705445888 169791 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9699/statm: 172228 169791 300 55 0 171120 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 688912 [startup+190.111 s] /proc/loadavg: 0.99 0.95 0.91 2/64 9699 /proc/meminfo: memFree=181752/2055920 swapFree=4181332/4192956 [pid=9699] ppid=9697 vsize=716236 CPUtime=190.04 /proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 180216 0 0 0 18869 135 0 0 25 0 1 0 189302833 733425664 176739 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9699/statm: 179059 176739 300 55 0 177951 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 716236 [startup+200.117 s] /proc/loadavg: 0.99 0.95 0.91 2/64 9699 /proc/meminfo: memFree=153400/2055920 swapFree=4181332/4192956 [pid=9699] ppid=9697 vsize=744540 CPUtime=200.04 /proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 187367 0 0 0 19866 138 0 0 25 0 1 0 189302833 762408960 183808 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9699/statm: 186135 183808 300 55 0 185027 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 744540 [startup+210.124 s] /proc/loadavg: 0.99 0.95 0.91 2/64 9699 /proc/meminfo: memFree=124728/2055920 swapFree=4181332/4192956 ################ # More data... # ################ Current children cumulated CPU time (s) 419.95 Current children cumulated vsize (Kb) 1323088 [startup+430.255 s] /proc/loadavg: 1.04 0.99 0.91 2/64 9699 /proc/meminfo: memFree=16120/2055920 swapFree=4181332/4192956 [pid=9699] ppid=9697 vsize=1349752 CPUtime=429.94 /proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 342454 0 0 0 42743 251 0 0 25 0 1 0 189302833 1382146048 332125 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9699/statm: 337438 332125 300 55 0 336330 0 Current children cumulated CPU time (s) 429.94 Current children cumulated vsize (Kb) 1349752 [startup+440.261 s] /proc/loadavg: 1.04 0.99 0.91 2/64 9699 /proc/meminfo: memFree=15864/2055920 swapFree=4181332/4192956 [pid=9699] ppid=9697 vsize=1372684 CPUtime=439.93 /proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 348617 0 0 0 43737 256 0 0 25 0 1 0 189302833 1405628416 337966 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9699/statm: 343171 337966 300 55 0 342063 0 Current children cumulated CPU time (s) 439.93 Current children cumulated vsize (Kb) 1372684 [startup+450.268 s] /proc/loadavg: 1.03 0.99 0.91 2/64 9699 /proc/meminfo: memFree=15672/2055920 swapFree=4181332/4192956 [pid=9699] ppid=9697 vsize=1397300 CPUtime=449.92 /proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 354806 0 0 0 44731 261 0 0 25 0 1 0 189302833 1430835200 344146 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10462843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9699/statm: 349325 344146 300 55 0 348217 0 Current children cumulated CPU time (s) 449.92 Current children cumulated vsize (Kb) 1397300 [startup+460.273 s] /proc/loadavg: 1.03 0.99 0.91 2/64 9699 /proc/meminfo: memFree=14840/2055920 swapFree=4181332/4192956 [pid=9699] ppid=9697 vsize=1420928 CPUtime=459.92 /proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 360750 0 0 0 45727 265 0 0 25 0 1 0 189302833 1455030272 350090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9699/statm: 355232 350090 300 55 0 354124 0 Current children cumulated CPU time (s) 459.92 Current children cumulated vsize (Kb) 1420928 [startup+470.279 s] /proc/loadavg: 1.02 0.99 0.91 2/64 9699 /proc/meminfo: memFree=15736/2055920 swapFree=4181332/4192956 [pid=9699] ppid=9697 vsize=1447592 CPUtime=469.91 /proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 367437 0 0 0 46720 271 0 0 25 0 1 0 189302833 1482334208 356777 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9699/statm: 361898 356777 300 55 0 360790 0 Current children cumulated CPU time (s) 469.91 Current children cumulated vsize (Kb) 1447592 [startup+480.285 s] /proc/loadavg: 1.02 0.99 0.91 2/64 9699 /proc/meminfo: memFree=15800/2055920 swapFree=4181332/4192956 [pid=9699] ppid=9697 vsize=1467264 CPUtime=479.9 /proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 372410 0 0 0 47715 275 0 0 25 0 1 0 189302833 1502478336 361750 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9699/statm: 366816 361750 300 55 0 365708 0 Current children cumulated CPU time (s) 479.9 Current children cumulated vsize (Kb) 1467264 [startup+490.291 s] /proc/loadavg: 1.01 0.99 0.91 2/64 9699 /proc/meminfo: memFree=15736/2055920 swapFree=4181332/4192956 [pid=9699] ppid=9697 vsize=1495696 CPUtime=489.9 /proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 379631 0 0 0 48710 280 0 0 25 0 1 0 189302833 1531592704 368329 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533192 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9699/statm: 373924 368329 300 55 0 372816 0 Current children cumulated CPU time (s) 489.9 Current children cumulated vsize (Kb) 1495696 [startup+500.297 s] /proc/loadavg: 1.01 0.99 0.91 2/64 9699 /proc/meminfo: memFree=16184/2055920 swapFree=4181332/4192956 [pid=9699] ppid=9697 vsize=1521172 CPUtime=499.89 /proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 386061 0 0 0 49705 284 0 0 25 0 1 0 189302833 1557680128 374759 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9699/statm: 380293 374759 300 55 0 379185 0 Current children cumulated CPU time (s) 499.89 Current children cumulated vsize (Kb) 1521172 [startup+510.304 s] /proc/loadavg: 1.01 0.99 0.91 2/64 9699 /proc/meminfo: memFree=15224/2055920 swapFree=4181332/4192956 [pid=9699] ppid=9697 vsize=1545068 CPUtime=509.89 /proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 392149 0 0 0 50700 289 0 0 25 0 1 0 189302833 1582149632 380847 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528470 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9699/statm: 386267 380847 300 55 0 385159 0 Current children cumulated CPU time (s) 509.89 Current children cumulated vsize (Kb) 1545068 [startup+520.31 s] /proc/loadavg: 1.01 0.99 0.91 2/64 9699 /proc/meminfo: memFree=15992/2055920 swapFree=4181332/4192956 [pid=9699] ppid=9697 vsize=1570412 CPUtime=519.88 /proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 398567 0 0 0 51694 294 0 0 25 0 1 0 189302833 1608101888 387265 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9699/statm: 392603 387265 300 55 0 391495 0 Current children cumulated CPU time (s) 519.88 Current children cumulated vsize (Kb) 1570412 [startup+530.316 s] /proc/loadavg: 1.01 0.99 0.91 2/64 9699 /proc/meminfo: memFree=15032/2055920 swapFree=4181332/4192956 [pid=9699] ppid=9697 vsize=1600220 CPUtime=529.89 /proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 406410 0 0 0 52690 299 0 0 25 0 1 0 189302833 1638625280 393824 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9699/statm: 400055 393824 300 55 0 398947 0 Current children cumulated CPU time (s) 529.89 Current children cumulated vsize (Kb) 1600220 [startup+540.322 s] /proc/loadavg: 1.00 0.99 0.91 2/64 9699 /proc/meminfo: memFree=15928/2055920 swapFree=4181332/4192956 [pid=9699] ppid=9697 vsize=1622724 CPUtime=539.86 /proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 412028 0 0 0 53684 302 0 0 25 0 1 0 189302833 1661669376 399433 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9699/statm: 405681 399433 300 55 0 404573 0 Current children cumulated CPU time (s) 539.86 Current children cumulated vsize (Kb) 1622724 [startup+550.329 s] /proc/loadavg: 1.00 0.99 0.91 2/64 9699 /proc/meminfo: memFree=16056/2055920 swapFree=4181332/4192956 [pid=9699] ppid=9697 vsize=1649256 CPUtime=549.86 /proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 418948 0 0 0 54678 308 0 0 25 0 1 0 189302833 1688838144 406353 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9699/statm: 412314 406353 300 55 0 411206 0 Current children cumulated CPU time (s) 549.86 Current children cumulated vsize (Kb) 1649256 [startup+560.335 s] /proc/loadavg: 1.00 0.99 0.91 2/64 9699 /proc/meminfo: memFree=16184/2055920 swapFree=4181332/4192956 [pid=9699] ppid=9697 vsize=1674076 CPUtime=559.86 /proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 425157 0 0 0 55673 313 0 0 25 0 1 0 189302833 1714253824 412562 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9699/statm: 418519 412562 300 55 0 417411 0 Current children cumulated CPU time (s) 559.86 Current children cumulated vsize (Kb) 1674076 [startup+570.342 s] /proc/loadavg: 1.00 0.99 0.91 2/64 9699 /proc/meminfo: memFree=15608/2055920 swapFree=4181332/4192956 [pid=9699] ppid=9697 vsize=1695724 CPUtime=569.86 /proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 430910 0 0 0 56669 317 0 0 25 0 1 0 189302833 1736421376 418315 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10462843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9699/statm: 423931 418315 300 55 0 422823 0 Current children cumulated CPU time (s) 569.86 Current children cumulated vsize (Kb) 1695724 [startup+580.348 s] /proc/loadavg: 1.00 0.99 0.91 2/64 9699 /proc/meminfo: memFree=16120/2055920 swapFree=4181332/4192956 [pid=9699] ppid=9697 vsize=1718956 CPUtime=579.85 /proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 436725 0 0 0 57664 321 0 0 25 0 1 0 189302833 1760210944 424130 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10462843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9699/statm: 429739 424130 300 55 0 428631 0 Current children cumulated CPU time (s) 579.85 Current children cumulated vsize (Kb) 1718956 [startup+590.354 s] /proc/loadavg: 1.00 0.99 0.91 2/64 9699 /proc/meminfo: memFree=16248/2055920 swapFree=4181332/4192956 [pid=9699] ppid=9697 vsize=1743904 CPUtime=589.84 /proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 442971 0 0 0 58659 325 0 0 25 0 1 0 189302833 1785757696 430376 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9699/statm: 435976 430376 300 55 0 434868 0 Current children cumulated CPU time (s) 589.84 Current children cumulated vsize (Kb) 1743904 [startup+600.36 s] /proc/loadavg: 1.00 0.99 0.91 2/64 9699 /proc/meminfo: memFree=15672/2055920 swapFree=4181332/4192956 [pid=9699] ppid=9697 vsize=1765556 CPUtime=599.83 /proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 448621 0 0 0 59654 329 0 0 25 0 1 0 189302833 1807929344 436026 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9699/statm: 441389 436026 300 55 0 440281 0 Current children cumulated CPU time (s) 599.83 Current children cumulated vsize (Kb) 1765556 [startup+610.366 s] /proc/loadavg: 1.00 0.99 0.91 2/64 9699 /proc/meminfo: memFree=15672/2055920 swapFree=4181332/4192956 [pid=9699] ppid=9697 vsize=1787336 CPUtime=609.82 /proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 454109 0 0 0 60649 333 0 0 25 0 1 0 189302833 1830232064 441514 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9699/statm: 446834 441514 300 55 0 445726 0 Current children cumulated CPU time (s) 609.82 Current children cumulated vsize (Kb) 1787336 [startup+620.373 s] /proc/loadavg: 1.00 0.99 0.91 2/64 9699 /proc/meminfo: memFree=16120/2055920 swapFree=4181332/4192956 [pid=9699] ppid=9697 vsize=1811812 CPUtime=619.82 /proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 460427 0 0 0 61645 337 0 0 25 0 1 0 189302833 1855295488 447190 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529337 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9699/statm: 452953 447190 300 55 0 451845 0 Current children cumulated CPU time (s) 619.82 Current children cumulated vsize (Kb) 1811812 [startup+630.38 s] /proc/loadavg: 1.08 1.00 0.92 2/64 9699 /proc/meminfo: memFree=15736/2055920 swapFree=4181332/4192956 [pid=9699] ppid=9697 vsize=1833860 CPUtime=629.81 /proc/9699/stat : 9699 (bsolo) R 9697 9699 9654 0 -1 0 465975 0 0 0 62640 341 0 0 25 0 1 0 189302833 1877872640 452738 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 0 0 0 /proc/9699/statm: 458465 452738 300 55 0 457357 0 Current children cumulated CPU time (s) 629.81 Current children cumulated vsize (Kb) 1833860 Child ended because it received signal 6 (SIGABRT) Real time (s): 635.106 CPU time (s): 634.528 CPU user time (s): 630.797 CPU system time (s): 3.73043 CPU usage (%): 99.909 Max. virtual memory (cumulated for all children) (Kb): 1833860 The end
Begin job on node56 on Fri Jun 2 08:19:12 UTC 2006 FILE ID= 39708-1149236352 PBS_JOBID= 296951 BENCH NAME= ROOT/tmp/node56/39708-1149236352/instance-39708-1149236352.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node56/39708-1149236352/instance-39708-1149236352.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-39708-1149236352 -o ROOT/results/node56/solver-39708-1149236352 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node56/39708-1149236352/instance-39708-1149236352.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= d632a3ec068dee28f1b227f8201fa32b RANDOM SEED= 430921856 /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.232 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.232 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: 889032 kB Buffers: 41956 kB Cached: 1045388 kB SwapCached: 3648 kB Active: 305292 kB Inactive: 791012 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 889032 kB SwapTotal: 4192956 kB SwapFree: 4181332 kB Dirty: 276 kB Writeback: 0 kB Mapped: 14900 kB Slab: 56524 kB Committed_AS: 199108 kB PageTables: 1496 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node56 on Fri Jun 2 08:29:48 UTC 2006