Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | Signal | 772.582 | 772.956 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_7_60_4.opb |
MD5SUM | dc0116cc9dd2d87e5a6934d46be3ef43 |
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 | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 61 |
Total number of constraints | 15 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 14 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 60 |
Number of terms in the objective function | 1 |
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 | 1 |
Number of bits of the sum of numbers in the objective function | 1 |
Biggest number in a constraint | 1531 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 4594 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.02 c Initial problem consists of 61 variables and 15 constraints. 0.02 c No problem reductions applied in OPT. instance. 0.02 c preprocess terminated. Elapsed time: 0.012 0.02 c After prepocess the problem consists of 60 variables and 14 constraints. 0.02 c Initial Lower Bound: 0 0.03 c Restart #1 #Var: 60 LB: 0 @ 0.022 0.05 c Restart #2 #Var: 60 LB: 0 @ 0.046 0.09 c Restart #3 #Var: 60 LB: 0 @ 0.083 0.15 c Restart #4 #Var: 60 LB: 0 @ 0.139 0.21 c Restart #5 #Var: 60 LB: 0 @ 0.206 0.30 c Restart #6 #Var: 60 LB: 0 @ 0.293 0.38 c Restart #7 #Var: 60 LB: 0 @ 0.378 0.49 c Restart #8 #Var: 60 LB: 0 @ 0.48 0.64 c Restart #9 #Var: 60 LB: 0 @ 0.638 0.83 c Restart #10 #Var: 60 LB: 0 @ 0.826 1.14 c Restart #11 #Var: 60 LB: 0 @ 1.138 1.40 c Restart #12 #Var: 60 LB: 0 @ 1.396 1.74 c Restart #13 #Var: 60 LB: 0 @ 1.739 2.23 c Restart #14 #Var: 60 LB: 0 @ 2.225 2.58 c Restart #15 #Var: 60 LB: 0 @ 2.572 3.03 c Restart #16 #Var: 60 LB: 0 @ 3.026 3.45 c Restart #17 #Var: 60 LB: 0 @ 3.44 3.92 c Restart #18 #Var: 60 LB: 0 @ 3.912 4.60 c Restart #19 #Var: 60 LB: 0 @ 4.592 5.31 c Restart #20 #Var: 60 LB: 0 @ 5.299 5.97 c Restart #21 #Var: 60 LB: 0 @ 5.959 6.47 c Restart #22 #Var: 60 LB: 0 @ 6.458 7.10 c Restart #23 #Var: 60 LB: 0 @ 7.096 8.13 c Restart #24 #Var: 60 LB: 0 @ 8.118 9.05 c Restart #25 #Var: 60 LB: 0 @ 9.036 10.44 c Restart #26 #Var: 60 LB: 0 @ 10.43 11.62 c Restart #27 #Var: 60 LB: 0 @ 11.611 13.19 c Restart #28 #Var: 60 LB: 0 @ 13.175 15.39 c Restart #29 #Var: 60 LB: 0 @ 15.379 16.87 c Restart #30 #Var: 60 LB: 0 @ 16.855 18.30 c Restart #31 #Var: 60 LB: 0 @ 18.287 21.07 c Restart #32 #Var: 60 LB: 0 @ 21.051 24.97 c Restart #33 #Var: 60 LB: 0 @ 24.957 29.37 c Restart #34 #Var: 60 LB: 0 @ 29.354 35.05 c Restart #35 #Var: 60 LB: 0 @ 35.032 40.27 c Restart #36 #Var: 60 LB: 0 @ 40.245 46.72 c Restart #37 #Var: 60 LB: 0 @ 46.696 51.96 c Restart #38 #Var: 60 LB: 0 @ 51.938 58.77 c Restart #39 #Var: 60 LB: 0 @ 58.737 63.87 c Restart #40 #Var: 60 LB: 0 @ 63.839 67.15 c Restart #41 #Var: 60 LB: 0 @ 67.109 70.35 c Restart #42 #Var: 60 LB: 0 @ 70.286 74.62 c Restart #43 #Var: 60 LB: 0 @ 74.547 77.16 c Restart #44 #Var: 60 LB: 0 @ 77.082 81.14 c Restart #45 #Var: 60 LB: 0 @ 81.064 83.75 c Restart #46 #Var: 60 LB: 0 @ 83.659 86.54 c Restart #47 #Var: 60 LB: 0 @ 86.449 92.01 c Restart #48 #Var: 60 LB: 0 @ 91.919 96.34 c Restart #49 #Var: 60 LB: 0 @ 96.243 98.87 c Restart #50 #Var: 60 LB: 0 @ 98.777 101.53 c Restart #51 #Var: 60 LB: 0 @ 101.43 104.83 c Restart #52 #Var: 60 LB: 0 @ 104.74 108.79 c Restart #53 #Var: 60 LB: 0 @ 108.69 112.91 c Restart #54 #Var: 60 LB: 0 @ 112.81 119.04 c Restart #55 #Var: 60 LB: 0 @ 118.94 123.57 c Restart #56 #Var: 60 LB: 0 @ 123.47 126.60 c Restart #57 #Var: 60 LB: 0 @ 126.5 130.07 c Restart #58 #Var: 60 LB: 0 @ 129.96 134.77 c Restart #59 #Var: 60 LB: 0 @ 134.67 139.75 c Restart #60 #Var: 60 LB: 0 @ 139.64 145.62 c Restart #61 #Var: 60 LB: 0 @ 145.5 150.40 c Restart #62 #Var: 60 LB: 0 @ 150.29 154.55 c Restart #63 #Var: 60 LB: 0 @ 154.43 159.67 c Restart #64 #Var: 60 LB: 0 @ 159.55 168.93 c Restart #65 #Var: 60 LB: 0 @ 168.81 175.42 c Restart #66 #Var: 60 LB: 0 @ 175.3 182.63 c Restart #67 #Var: 60 LB: 0 @ 182.51 187.62 c Restart #68 #Var: 60 LB: 0 @ 187.5 194.08 c Restart #69 #Var: 60 LB: 0 @ 193.95 200.02 c Restart #70 #Var: 60 LB: 0 @ 199.89 205.45 c Restart #71 #Var: 60 LB: 0 @ 205.32 211.82 c Restart #72 #Var: 60 LB: 0 @ 211.68 216.21 c Restart #73 #Var: 60 LB: 0 @ 216.07 222.16 c Restart #74 #Var: 60 LB: 0 @ 222.02 227.99 c Restart #75 #Var: 60 LB: 0 @ 227.85 233.37 c Restart #76 #Var: 60 LB: 0 @ 233.23 240.09 c Restart #77 #Var: 60 LB: 0 @ 239.94 245.69 c Restart #78 #Var: 60 LB: 0 @ 245.54 253.23 c Restart #79 #Var: 60 LB: 0 @ 253.08 260.16 c Restart #80 #Var: 60 LB: 0 @ 260.01 265.61 c Restart #81 #Var: 60 LB: 0 @ 265.45 272.78 c Restart #82 #Var: 60 LB: 0 @ 272.62 278.77 c Restart #83 #Var: 60 LB: 0 @ 278.61 284.90 c Restart #84 #Var: 60 LB: 0 @ 284.74 291.48 c Restart #85 #Var: 60 LB: 0 @ 291.32 301.59 c Restart #86 #Var: 60 LB: 0 @ 301.43 313.06 c Restart #87 #Var: 60 LB: 0 @ 312.89 324.78 c Restart #88 #Var: 60 LB: 0 @ 324.61 337.24 c Restart #89 #Var: 60 LB: 0 @ 337.06 348.40 c Restart #90 #Var: 60 LB: 0 @ 348.22 355.94 c Restart #91 #Var: 60 LB: 0 @ 355.75 363.62 c Restart #92 #Var: 60 LB: 0 @ 363.43 371.18 c Restart #93 #Var: 60 LB: 0 @ 370.99 378.23 c Restart #94 #Var: 60 LB: 0 @ 378.04 385.34 c Restart #95 #Var: 60 LB: 0 @ 385.14 391.70 c Restart #96 #Var: 60 LB: 0 @ 391.5 398.35 c Restart #97 #Var: 60 LB: 0 @ 398.15 403.85 c Restart #98 #Var: 60 LB: 0 @ 403.65 410.02 c Restart #99 #Var: 60 LB: 0 @ 409.81 416.99 c Restart #100 #Var: 60 LB: 0 @ 416.78 426.54 c Restart #101 #Var: 60 LB: 0 @ 426.33 433.73 c Restart #102 #Var: 60 LB: 0 @ 433.52 442.98 c Restart #103 #Var: 60 LB: 0 @ 442.77 454.38 c Restart #104 #Var: 60 LB: 0 @ 454.16 463.88 c Restart #105 #Var: 60 LB: 0 @ 463.66 470.17 c Restart #106 #Var: 60 LB: 0 @ 469.94 477.05 c Restart #107 #Var: 60 LB: 0 @ 476.82 486.87 c Restart #108 #Var: 60 LB: 0 @ 486.64 494.26 c Restart #109 #Var: 60 LB: 0 @ 494.02 503.07 c Restart #110 #Var: 60 LB: 0 @ 502.83 513.52 c Restart #111 #Var: 60 LB: 0 @ 513.28 525.19 c Restart #112 #Var: 60 LB: 0 @ 524.95 537.67 c Restart #113 #Var: 60 LB: 0 @ 537.42 550.10 c Restart #114 #Var: 60 LB: 0 @ 549.84 565.17 c Restart #115 #Var: 60 LB: 0 @ 564.9 580.43 c Restart #116 #Var: 60 LB: 0 @ 580.14 591.09 c Restart #117 #Var: 60 LB: 0 @ 590.81 601.56 c Restart #118 #Var: 60 LB: 0 @ 601.27 612.26 c Restart #119 #Var: 60 LB: 0 @ 611.97 620.23 c Restart #120 #Var: 60 LB: 0 @ 619.94 628.60 c Restart #121 #Var: 60 LB: 0 @ 628.3 638.07 c Restart #122 #Var: 60 LB: 0 @ 637.77 647.79 c Restart #123 #Var: 60 LB: 0 @ 647.49 657.89 c Restart #124 #Var: 60 LB: 0 @ 657.58 669.72 c Restart #125 #Var: 60 LB: 0 @ 669.41 681.72 c Restart #126 #Var: 60 LB: 0 @ 681.4 694.07 c Restart #127 #Var: 60 LB: 0 @ 693.75 703.15 c Restart #128 #Var: 60 LB: 0 @ 702.83 713.29 c Restart #129 #Var: 60 LB: 0 @ 712.97 727.02 c Restart #130 #Var: 60 LB: 0 @ 726.69 754.13 c Restart #131 #Var: 60 LB: 0 @ 753.79 767.25 c Restart #132 #Var: 60 LB: 0 @ 766.9
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 runsolver version 3.0.1 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node89/watcher-50322-1149922796 -o ROOT/results/node89/solver-50322-1149922796 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node89/50322-1149922796/instance-50322-1149922796.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.37 0.82 0.87 2/68 23839 /proc/meminfo: memFree=1373464/2055892 swapFree=4085328/4096564 [pid=23839] ppid=23837 vsize=4672 CPUtime=0 /proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 164 0 0 0 0 0 0 0 19 0 1 0 257918693 4784128 145 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9375041 0 0 4096 0 0 0 0 17 1 0 0 /proc/23839/statm: 1168 147 109 55 0 46 0 [startup+10.0022 s] /proc/loadavg: 0.47 0.83 0.88 2/68 23839 /proc/meminfo: memFree=1301144/2055892 swapFree=4085328/4096564 [pid=23839] ppid=23837 vsize=76892 CPUtime=9.98 /proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 18419 0 0 0 988 10 0 0 25 0 1 0 257918693 78737408 18331 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134633162 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23839/statm: 19223 18331 294 55 0 18114 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 76892 [startup+20.0081 s] /proc/loadavg: 0.55 0.83 0.88 2/68 23839 /proc/meminfo: memFree=1265176/2055892 swapFree=4085328/4096564 [pid=23839] ppid=23837 vsize=113044 CPUtime=19.98 /proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 27408 0 0 0 1982 16 0 0 25 0 1 0 257918693 115757056 27308 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529346 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23839/statm: 28261 27308 294 55 0 27152 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 113044 [startup+30.014 s] /proc/loadavg: 0.62 0.84 0.88 2/68 23839 /proc/meminfo: memFree=1247128/2055892 swapFree=4085328/4096564 [pid=23839] ppid=23837 vsize=131288 CPUtime=29.98 /proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 31929 0 0 0 2978 20 0 0 25 0 1 0 257918693 134438912 31812 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23839/statm: 32822 31812 294 55 0 31713 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 131288 [startup+40.0198 s] /proc/loadavg: 0.68 0.84 0.88 2/68 23839 /proc/meminfo: memFree=1234392/2055892 swapFree=4085328/4096564 [pid=23839] ppid=23837 vsize=143996 CPUtime=39.99 /proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 35105 0 0 0 3975 24 0 0 25 0 1 0 257918693 147451904 34984 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557739 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23839/statm: 35999 34984 294 55 0 34890 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 143996 [startup+50.0257 s] /proc/loadavg: 0.72 0.85 0.88 2/68 23839 /proc/meminfo: memFree=1221144/2055892 swapFree=4085328/4096564 [pid=23839] ppid=23837 vsize=157280 CPUtime=49.99 /proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 38417 0 0 0 4971 28 0 0 25 0 1 0 257918693 161054720 38294 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23839/statm: 39320 38294 294 55 0 38211 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 157280 [startup+60.0326 s] /proc/loadavg: 0.77 0.85 0.88 2/68 23839 /proc/meminfo: memFree=1208536/2055892 swapFree=4085328/4096564 [pid=23839] ppid=23837 vsize=170016 CPUtime=59.99 /proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 41573 0 0 0 5969 30 0 0 25 0 1 0 257918693 174096384 41439 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23839/statm: 42504 41439 294 55 0 41395 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 170016 [startup+70.0394 s] /proc/loadavg: 0.80 0.86 0.88 2/74 23894 /proc/meminfo: memFree=1185960/2055892 swapFree=4085328/4096564 [pid=23839] ppid=23837 vsize=191580 CPUtime=69.98 /proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 46902 0 0 0 6961 37 0 0 25 0 1 0 257918693 196177920 46753 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23839/statm: 47895 46753 294 55 0 46786 0 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 191580 [startup+80.0473 s] /proc/loadavg: 0.83 0.86 0.88 2/74 23960 /proc/meminfo: memFree=1161128/2055892 swapFree=4085328/4096564 [pid=23839] ppid=23837 vsize=216508 CPUtime=79.96 /proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 53096 0 0 0 7955 41 0 0 25 0 1 0 257918693 221704192 52936 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548617 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23839/statm: 54127 52936 294 55 0 53018 0 Current children cumulated CPU time (s) 79.96 Current children cumulated vsize (Kb) 216508 [startup+90.0541 s] /proc/loadavg: 0.86 0.86 0.88 2/68 24034 /proc/meminfo: memFree=1132760/2055892 swapFree=4085328/4096564 [pid=23839] ppid=23837 vsize=246068 CPUtime=89.95 /proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 60446 0 0 0 8950 45 0 0 25 0 1 0 257918693 251973632 60277 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23839/statm: 61517 60277 294 55 0 60408 0 Current children cumulated CPU time (s) 89.95 Current children cumulated vsize (Kb) 246068 [startup+100.061 s] /proc/loadavg: 0.88 0.87 0.88 2/68 24034 /proc/meminfo: memFree=1104024/2055892 swapFree=4085328/4096564 [pid=23839] ppid=23837 vsize=275024 CPUtime=99.96 /proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 67636 0 0 0 9946 50 0 0 25 0 1 0 257918693 281624576 67457 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23839/statm: 68756 67457 294 55 0 67647 0 Current children cumulated CPU time (s) 99.96 Current children cumulated vsize (Kb) 275024 [startup+110.068 s] /proc/loadavg: 0.90 0.87 0.89 2/68 24034 /proc/meminfo: memFree=1073496/2055892 swapFree=4085328/4096564 [pid=23839] ppid=23837 vsize=305520 CPUtime=109.97 /proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 75264 0 0 0 10941 56 0 0 25 0 1 0 257918693 312852480 75079 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23839/statm: 76380 75079 294 55 0 75271 0 Current children cumulated CPU time (s) 109.97 Current children cumulated vsize (Kb) 305520 [startup+120.074 s] /proc/loadavg: 0.91 0.87 0.89 2/68 24034 /proc/meminfo: memFree=1051928/2055892 swapFree=4085328/4096564 [pid=23839] ppid=23837 vsize=327260 CPUtime=119.96 /proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 80655 0 0 0 11937 59 0 0 25 0 1 0 257918693 335114240 80450 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23839/statm: 81815 80450 294 55 0 80706 0 Current children cumulated CPU time (s) 119.96 Current children cumulated vsize (Kb) 327260 [startup+130.08 s] /proc/loadavg: 0.93 0.88 0.89 2/68 24034 /proc/meminfo: memFree=1018392/2055892 swapFree=4085328/4096564 [pid=23839] ppid=23837 vsize=361180 CPUtime=129.96 /proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 89039 0 0 0 12932 64 0 0 25 0 1 0 257918693 369848320 88818 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23839/statm: 90295 88818 294 55 0 89186 0 Current children cumulated CPU time (s) 129.96 Current children cumulated vsize (Kb) 361180 [startup+140.086 s] /proc/loadavg: 0.94 0.88 0.89 2/68 24034 /proc/meminfo: memFree=993624/2055892 swapFree=4085328/4096564 [pid=23839] ppid=23837 vsize=386080 CPUtime=139.97 /proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 95236 0 0 0 13928 69 0 0 25 0 1 0 257918693 395345920 95002 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23839/statm: 96520 95002 294 55 0 95411 0 Current children cumulated CPU time (s) 139.97 Current children cumulated vsize (Kb) 386080 [startup+150.092 s] /proc/loadavg: 0.95 0.89 0.89 2/68 24034 /proc/meminfo: memFree=968792/2055892 swapFree=4085328/4096564 [pid=23839] ppid=23837 vsize=410996 CPUtime=149.97 /proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 101466 0 0 0 14922 75 0 0 25 0 1 0 257918693 420859904 101220 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23839/statm: 102749 101220 294 55 0 101640 0 Current children cumulated CPU time (s) 149.97 Current children cumulated vsize (Kb) 410996 [startup+160.098 s] /proc/loadavg: 0.95 0.89 0.89 2/68 24034 /proc/meminfo: memFree=941656/2055892 swapFree=4085328/4096564 [pid=23839] ppid=23837 vsize=438136 CPUtime=159.97 /proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 108245 0 0 0 15918 79 0 0 25 0 1 0 257918693 448651264 107993 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9840683 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23839/statm: 109534 107993 294 55 0 108425 0 Current children cumulated CPU time (s) 159.97 Current children cumulated vsize (Kb) 438136 [startup+170.104 s] /proc/loadavg: 0.96 0.89 0.89 2/68 24034 /proc/meminfo: memFree=925912/2055892 swapFree=4085328/4096564 [pid=23839] ppid=23837 vsize=453812 CPUtime=169.97 /proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 112157 0 0 0 16915 82 0 0 25 0 1 0 257918693 464703488 111903 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23839/statm: 113453 111903 294 55 0 112344 0 Current children cumulated CPU time (s) 169.97 Current children cumulated vsize (Kb) 453812 [startup+180.11 s] /proc/loadavg: 0.97 0.89 0.89 2/68 24034 /proc/meminfo: memFree=908184/2055892 swapFree=4085328/4096564 [pid=23839] ppid=23837 vsize=471596 CPUtime=179.98 /proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 116599 0 0 0 17913 85 0 0 25 0 1 0 257918693 482914304 116338 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23839/statm: 117899 116338 294 55 0 116790 0 Current children cumulated CPU time (s) 179.98 Current children cumulated vsize (Kb) 471596 [startup+190.116 s] /proc/loadavg: 0.97 0.90 0.89 2/68 24034 /proc/meminfo: memFree=880728/2055892 swapFree=4085328/4096564 [pid=23839] ppid=23837 vsize=499188 CPUtime=189.98 /proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 123468 0 0 0 18908 90 0 0 25 0 1 0 257918693 511168512 123197 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9840683 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23839/statm: 124797 123197 294 55 0 123688 0 Current children cumulated CPU time (s) 189.98 Current children cumulated vsize (Kb) 499188 [startup+200.122 s] /proc/loadavg: 0.97 0.90 0.89 2/68 24034 /proc/meminfo: memFree=859224/2055892 swapFree=4085328/4096564 [pid=23839] ppid=23837 vsize=520636 CPUtime=199.99 /proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 128823 0 0 0 19904 95 0 0 25 0 1 0 257918693 533131264 128549 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23839/statm: 130159 128549 294 55 0 129050 0 Current children cumulated CPU time (s) 199.99 Current children cumulated vsize (Kb) 520636 [startup+210.128 s] /proc/loadavg: 0.98 0.90 0.89 2/68 24034 ################ # More data... # ################ Current children cumulated CPU time (s) 560.07 Current children cumulated vsize (Kb) 1386124 [startup+570.344 s] /proc/loadavg: 0.99 0.96 0.91 2/68 24034 /proc/meminfo: memFree=16088/2055892 swapFree=4085328/4096564 [pid=23839] ppid=23837 vsize=1401904 CPUtime=570.06 /proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 350322 0 0 0 56746 260 0 0 25 0 1 0 257918693 1435549696 347339 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23839/statm: 350476 347339 294 55 0 349367 0 Current children cumulated CPU time (s) 570.06 Current children cumulated vsize (Kb) 1401904 [startup+580.35 s] /proc/loadavg: 0.99 0.96 0.91 2/68 24034 /proc/meminfo: memFree=15768/2055892 swapFree=4085328/4096564 [pid=23839] ppid=23837 vsize=1417544 CPUtime=580.06 /proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 354231 0 0 0 57742 264 0 0 25 0 1 0 257918693 1451565056 351239 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23839/statm: 354386 351239 294 55 0 353277 0 Current children cumulated CPU time (s) 580.06 Current children cumulated vsize (Kb) 1417544 [startup+590.356 s] /proc/loadavg: 0.99 0.96 0.91 2/68 24034 /proc/meminfo: memFree=15960/2055892 swapFree=4085328/4096564 [pid=23839] ppid=23837 vsize=1441756 CPUtime=590.06 /proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 360393 0 0 0 58738 268 0 0 25 0 1 0 257918693 1476358144 357319 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23839/statm: 360439 357319 294 55 0 359330 0 Current children cumulated CPU time (s) 590.06 Current children cumulated vsize (Kb) 1441756 [startup+600.361 s] /proc/loadavg: 0.99 0.96 0.91 2/68 24034 /proc/meminfo: memFree=15128/2055892 swapFree=4085328/4096564 [pid=23839] ppid=23837 vsize=1466156 CPUtime=600.07 /proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 366508 0 0 0 59734 273 0 0 25 0 1 0 257918693 1501343744 363272 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23839/statm: 366539 363272 294 55 0 365430 0 Current children cumulated CPU time (s) 600.07 Current children cumulated vsize (Kb) 1466156 [startup+610.367 s] /proc/loadavg: 0.99 0.96 0.91 2/68 24034 /proc/meminfo: memFree=15320/2055892 swapFree=4085328/4096564 [pid=23839] ppid=23837 vsize=1488160 CPUtime=610.07 /proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 372173 0 0 0 60729 278 0 0 25 0 1 0 257918693 1523875840 368612 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23839/statm: 372040 368612 294 55 0 370931 0 Current children cumulated CPU time (s) 610.07 Current children cumulated vsize (Kb) 1488160 [startup+620.373 s] /proc/loadavg: 0.99 0.96 0.91 2/68 24034 /proc/meminfo: memFree=16088/2055892 swapFree=4085328/4096564 [pid=23839] ppid=23837 vsize=1516820 CPUtime=620.07 /proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 379341 0 0 0 61724 283 0 0 25 0 1 0 257918693 1553223680 375779 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23839/statm: 379205 375779 294 55 0 378096 0 Current children cumulated CPU time (s) 620.07 Current children cumulated vsize (Kb) 1516820 [startup+630.379 s] /proc/loadavg: 0.99 0.96 0.91 2/68 24034 /proc/meminfo: memFree=15384/2055892 swapFree=4085328/4096564 [pid=23839] ppid=23837 vsize=1544240 CPUtime=630.07 /proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 386215 0 0 0 62720 287 0 0 25 0 1 0 257918693 1581301760 382555 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23839/statm: 386060 382555 294 55 0 384951 0 Current children cumulated CPU time (s) 630.07 Current children cumulated vsize (Kb) 1544240 [startup+640.385 s] /proc/loadavg: 0.99 0.97 0.91 2/68 24034 /proc/meminfo: memFree=16280/2055892 swapFree=4085328/4096564 [pid=23839] ppid=23837 vsize=1571284 CPUtime=640.08 /proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 393006 0 0 0 63715 293 0 0 25 0 1 0 257918693 1608994816 389260 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533947 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23839/statm: 392821 389260 294 55 0 391712 0 Current children cumulated CPU time (s) 640.08 Current children cumulated vsize (Kb) 1571284 [startup+650.391 s] /proc/loadavg: 0.99 0.97 0.91 2/68 24034 /proc/meminfo: memFree=16280/2055892 swapFree=4085328/4096564 [pid=23839] ppid=23837 vsize=1597672 CPUtime=650.08 /proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 399618 0 0 0 64711 297 0 0 25 0 1 0 257918693 1636016128 395789 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134600235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23839/statm: 399418 395789 294 55 0 398309 0 Current children cumulated CPU time (s) 650.08 Current children cumulated vsize (Kb) 1597672 [startup+660.397 s] /proc/loadavg: 0.99 0.97 0.91 2/68 24034 /proc/meminfo: memFree=16152/2055892 swapFree=4085328/4096564 [pid=23839] ppid=23837 vsize=1622920 CPUtime=660.08 /proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 406042 0 0 0 65707 301 0 0 25 0 1 0 257918693 1661870080 401969 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23839/statm: 405730 401969 294 55 0 404621 0 Current children cumulated CPU time (s) 660.08 Current children cumulated vsize (Kb) 1622920 [startup+670.402 s] /proc/loadavg: 0.99 0.97 0.91 2/68 24034 /proc/meminfo: memFree=15320/2055892 swapFree=4085328/4096564 [pid=23839] ppid=23837 vsize=1645100 CPUtime=670.08 /proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 411606 0 0 0 66704 304 0 0 25 0 1 0 257918693 1684582400 407533 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23839/statm: 411275 407533 294 55 0 410166 0 Current children cumulated CPU time (s) 670.08 Current children cumulated vsize (Kb) 1645100 [startup+680.408 s] /proc/loadavg: 0.99 0.97 0.91 2/68 24034 /proc/meminfo: memFree=16216/2055892 swapFree=4085328/4096564 [pid=23839] ppid=23837 vsize=1670500 CPUtime=680.08 /proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 418003 0 0 0 67699 309 0 0 25 0 1 0 257918693 1710592000 413848 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533653 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23839/statm: 417625 413848 294 55 0 416516 0 Current children cumulated CPU time (s) 680.08 Current children cumulated vsize (Kb) 1670500 [startup+690.414 s] /proc/loadavg: 0.99 0.97 0.91 2/68 24034 /proc/meminfo: memFree=14936/2055892 swapFree=4085328/4096564 [pid=23839] ppid=23837 vsize=1689292 CPUtime=690.09 /proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 422734 0 0 0 68696 313 0 0 25 0 1 0 257918693 1729835008 418411 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23839/statm: 422323 418411 294 55 0 421214 0 Current children cumulated CPU time (s) 690.09 Current children cumulated vsize (Kb) 1689292 [startup+700.42 s] /proc/loadavg: 0.99 0.97 0.91 2/68 24034 /proc/meminfo: memFree=15256/2055892 swapFree=4085328/4096564 [pid=23839] ppid=23837 vsize=1718200 CPUtime=700.09 /proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 430013 0 0 0 69691 318 0 0 25 0 1 0 257918693 1759436800 425690 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23839/statm: 429550 425690 294 55 0 428441 0 Current children cumulated CPU time (s) 700.09 Current children cumulated vsize (Kb) 1718200 [startup+710.426 s] /proc/loadavg: 0.99 0.97 0.91 2/68 24034 /proc/meminfo: memFree=15640/2055892 swapFree=4085328/4096564 [pid=23839] ppid=23837 vsize=1744008 CPUtime=710.09 /proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 436500 0 0 0 70687 322 0 0 25 0 1 0 257918693 1785864192 432171 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533824 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23839/statm: 436002 432171 294 55 0 434893 0 Current children cumulated CPU time (s) 710.09 Current children cumulated vsize (Kb) 1744008 [startup+720.433 s] /proc/loadavg: 0.99 0.97 0.91 2/68 24034 /proc/meminfo: memFree=15064/2055892 swapFree=4085328/4096564 [pid=23839] ppid=23837 vsize=1769652 CPUtime=720.1 /proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 443048 0 0 0 71683 327 0 0 25 0 1 0 257918693 1812123648 438475 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23839/statm: 442413 438475 294 55 0 441304 0 Current children cumulated CPU time (s) 720.1 Current children cumulated vsize (Kb) 1769652 [startup+730.44 s] /proc/loadavg: 0.99 0.97 0.91 2/68 24034 /proc/meminfo: memFree=15960/2055892 swapFree=4085328/4096564 [pid=23839] ppid=23837 vsize=1781200 CPUtime=730.09 /proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 445903 0 0 0 72680 329 0 0 25 0 1 0 257918693 1823948800 441329 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23839/statm: 445300 441329 294 55 0 444191 0 Current children cumulated CPU time (s) 730.09 Current children cumulated vsize (Kb) 1781200 [startup+740.446 s] /proc/loadavg: 0.99 0.97 0.91 2/68 24034 /proc/meminfo: memFree=15960/2055892 swapFree=4085328/4096564 [pid=23839] ppid=23837 vsize=1787272 CPUtime=740.11 /proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 447445 0 0 0 73679 332 0 0 25 0 1 0 257918693 1830166528 442871 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23839/statm: 446818 442871 294 55 0 445709 0 Current children cumulated CPU time (s) 740.11 Current children cumulated vsize (Kb) 1787272 [startup+750.453 s] /proc/loadavg: 0.99 0.97 0.91 2/68 24034 /proc/meminfo: memFree=15896/2055892 swapFree=4085328/4096564 [pid=23839] ppid=23837 vsize=1798096 CPUtime=750.11 /proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 450153 0 0 0 74677 334 0 0 25 0 1 0 257918693 1841250304 445579 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23839/statm: 449524 445579 294 55 0 448415 0 Current children cumulated CPU time (s) 750.11 Current children cumulated vsize (Kb) 1798096 [startup+760.46 s] /proc/loadavg: 0.99 0.97 0.91 2/68 24034 /proc/meminfo: memFree=15064/2055892 swapFree=4085328/4096564 [pid=23839] ppid=23837 vsize=1819060 CPUtime=760.11 /proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 455447 0 0 0 75673 338 0 0 25 0 1 0 257918693 1862717440 450790 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23839/statm: 454765 450790 294 55 0 453656 0 Current children cumulated CPU time (s) 760.11 Current children cumulated vsize (Kb) 1819060 [startup+770.474 s] /proc/loadavg: 0.99 0.97 0.91 2/68 24034 /proc/meminfo: memFree=16280/2055892 swapFree=4085328/4096564 [pid=23839] ppid=23837 vsize=1836088 CPUtime=770.12 /proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 459735 0 0 0 76672 340 0 0 25 0 1 0 257918693 1880154112 455078 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23839/statm: 459022 455078 294 55 0 457913 0 Current children cumulated CPU time (s) 770.12 Current children cumulated vsize (Kb) 1836088 Child ended because it received signal 6 (SIGABRT) Real time (s): 772.956 CPU time (s): 772.582 CPU user time (s): 768.899 CPU system time (s): 3.68244 CPU usage (%): 99.9516 Max. virtual memory (cumulated for all children) (Kb): 1836088 The end
Begin job on node89 on Sat Jun 10 06:59:56 UTC 2006 FILE ID= 50322-1149922796 PBS_JOBID= 385435 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_7_60_4.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node89/50322-1149922796/instance-50322-1149922796.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node89/watcher-50322-1149922796 -o ROOT/results/node89/solver-50322-1149922796 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node89/50322-1149922796/instance-50322-1149922796.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= dc0116cc9dd2d87e5a6934d46be3ef43 RANDOM SEED= 713604834 /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.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 6006.16 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.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1373672 kB Buffers: 43212 kB Cached: 565928 kB SwapCached: 2384 kB Active: 98996 kB Inactive: 518812 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1373672 kB SwapTotal: 4096564 kB SwapFree: 4085328 kB Dirty: 148 kB Writeback: 0 kB Mapped: 16504 kB Slab: 50964 kB Committed_AS: 665484 kB PageTables: 1300 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node89 on Sat Jun 10 07:12:49 UTC 2006