Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | Signal | 696.623 | 697.07 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_8_70_4.opb |
MD5SUM | d78f5121f87a7bad7fc74d5d3eacc32f |
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 | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 71 |
Total number of constraints | 17 |
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 | 16 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 70 |
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 | 1881 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 5644 |
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.02 c Time Limit set via PBTIMEOUT to 1800 0.04 c INFO: OSL Context initialized. 0.04 c Initial problem consists of 71 variables and 17 constraints. 0.04 c No problem reductions applied in OPT. instance. 0.04 c preprocess terminated. Elapsed time: 0.017 0.04 c After prepocess the problem consists of 70 variables and 16 constraints. 0.04 c Initial Lower Bound: 0 0.06 c Restart #1 #Var: 70 LB: 0 @ 0.03 0.08 c Restart #2 #Var: 70 LB: 0 @ 0.058 0.13 c Restart #3 #Var: 70 LB: 0 @ 0.102 0.20 c Restart #4 #Var: 70 LB: 0 @ 0.171 0.27 c Restart #5 #Var: 70 LB: 0 @ 0.248 0.35 c Restart #6 #Var: 70 LB: 0 @ 0.323 0.44 c Restart #7 #Var: 70 LB: 0 @ 0.419 0.59 c Restart #8 #Var: 70 LB: 0 @ 0.562 0.76 c Restart #9 #Var: 70 LB: 0 @ 0.734 0.98 c Restart #10 #Var: 70 LB: 0 @ 0.954 1.40 c Restart #11 #Var: 70 LB: 0 @ 1.375 2.04 c Restart #12 #Var: 70 LB: 0 @ 2.013 2.91 c Restart #13 #Var: 70 LB: 0 @ 2.884 3.19 c Restart #14 #Var: 70 LB: 0 @ 3.162 3.48 c Restart #15 #Var: 70 LB: 0 @ 3.45 4.03 c Restart #16 #Var: 70 LB: 0 @ 4 4.72 c Restart #17 #Var: 70 LB: 0 @ 4.689 5.64 c Restart #18 #Var: 70 LB: 0 @ 5.61 6.13 c Restart #19 #Var: 70 LB: 0 @ 6.103 6.60 c Restart #20 #Var: 70 LB: 0 @ 6.576 7.02 c Restart #21 #Var: 70 LB: 0 @ 6.995 7.52 c Restart #22 #Var: 70 LB: 0 @ 7.488 8.20 c Restart #23 #Var: 70 LB: 0 @ 8.166 9.00 c Restart #24 #Var: 70 LB: 0 @ 8.973 9.56 c Restart #25 #Var: 70 LB: 0 @ 9.527 10.21 c Restart #26 #Var: 70 LB: 0 @ 10.18 11.21 c Restart #27 #Var: 70 LB: 0 @ 11.172 12.28 c Restart #28 #Var: 70 LB: 0 @ 12.25 13.87 c Restart #29 #Var: 70 LB: 0 @ 13.836 15.45 c Restart #30 #Var: 70 LB: 0 @ 15.41 17.28 c Restart #31 #Var: 70 LB: 0 @ 17.246 19.55 c Restart #32 #Var: 70 LB: 0 @ 19.512 21.09 c Restart #33 #Var: 70 LB: 0 @ 21.052 23.23 c Restart #34 #Var: 70 LB: 0 @ 23.194 26.22 c Restart #35 #Var: 70 LB: 0 @ 26.182 28.79 c Restart #36 #Var: 70 LB: 0 @ 28.75 30.86 c Restart #37 #Var: 70 LB: 0 @ 30.818 33.20 c Restart #38 #Var: 70 LB: 0 @ 33.159 34.55 c Restart #39 #Var: 70 LB: 0 @ 34.506 36.38 c Restart #40 #Var: 70 LB: 0 @ 36.341 38.45 c Restart #41 #Var: 70 LB: 0 @ 38.406 40.34 c Restart #42 #Var: 70 LB: 0 @ 40.298 42.03 c Restart #43 #Var: 70 LB: 0 @ 41.981 43.50 c Restart #44 #Var: 70 LB: 0 @ 43.458 45.57 c Restart #45 #Var: 70 LB: 0 @ 45.522 48.49 c Restart #46 #Var: 70 LB: 0 @ 48.444 50.88 c Restart #47 #Var: 70 LB: 0 @ 50.835 53.37 c Restart #48 #Var: 70 LB: 0 @ 53.319 56.12 c Restart #49 #Var: 70 LB: 0 @ 56.067 58.72 c Restart #50 #Var: 70 LB: 0 @ 58.674 60.84 c Restart #51 #Var: 70 LB: 0 @ 60.787 62.84 c Restart #52 #Var: 70 LB: 0 @ 62.784 65.33 c Restart #53 #Var: 70 LB: 0 @ 65.282 68.25 c Restart #54 #Var: 70 LB: 0 @ 68.194 72.07 c Restart #55 #Var: 70 LB: 0 @ 72.015 75.67 c Restart #56 #Var: 70 LB: 0 @ 75.617 80.14 c Restart #57 #Var: 70 LB: 0 @ 80.084 87.51 c Restart #58 #Var: 70 LB: 0 @ 87.447 91.09 c Restart #59 #Var: 70 LB: 0 @ 91.028 93.85 c Restart #60 #Var: 70 LB: 0 @ 93.791 96.80 c Restart #61 #Var: 70 LB: 0 @ 96.741 99.81 c Restart #62 #Var: 70 LB: 0 @ 99.749 103.54 c Restart #63 #Var: 70 LB: 0 @ 103.47 107.20 c Restart #64 #Var: 70 LB: 0 @ 107.13 111.26 c Restart #65 #Var: 70 LB: 0 @ 111.19 114.99 c Restart #66 #Var: 70 LB: 0 @ 114.92 119.14 c Restart #67 #Var: 70 LB: 0 @ 119.07 125.64 c Restart #68 #Var: 70 LB: 0 @ 125.57 131.94 c Restart #69 #Var: 70 LB: 0 @ 131.87 135.12 c Restart #70 #Var: 70 LB: 0 @ 135.05 140.93 c Restart #71 #Var: 70 LB: 0 @ 140.86 146.87 c Restart #72 #Var: 70 LB: 0 @ 146.79 153.42 c Restart #73 #Var: 70 LB: 0 @ 153.34 160.22 c Restart #74 #Var: 70 LB: 0 @ 160.13 167.25 c Restart #75 #Var: 70 LB: 0 @ 167.17 174.26 c Restart #76 #Var: 70 LB: 0 @ 174.17 180.48 c Restart #77 #Var: 70 LB: 0 @ 180.39 188.01 c Restart #78 #Var: 70 LB: 0 @ 187.91 196.86 c Restart #79 #Var: 70 LB: 0 @ 196.76 207.68 c Restart #80 #Var: 70 LB: 0 @ 207.59 220.96 c Restart #81 #Var: 70 LB: 0 @ 220.86 231.09 c Restart #82 #Var: 70 LB: 0 @ 230.99 238.74 c Restart #83 #Var: 70 LB: 0 @ 238.63 247.47 c Restart #84 #Var: 70 LB: 0 @ 247.36 256.72 c Restart #85 #Var: 70 LB: 0 @ 256.6 265.11 c Restart #86 #Var: 70 LB: 0 @ 265 272.68 c Restart #87 #Var: 70 LB: 0 @ 272.56 281.53 c Restart #88 #Var: 70 LB: 0 @ 281.4 292.76 c Restart #89 #Var: 70 LB: 0 @ 292.64 299.49 c Restart #90 #Var: 70 LB: 0 @ 299.36 308.24 c Restart #91 #Var: 70 LB: 0 @ 308.11 318.43 c Restart #92 #Var: 70 LB: 0 @ 318.3 326.15 c Restart #93 #Var: 70 LB: 0 @ 326.01 339.97 c Restart #94 #Var: 70 LB: 0 @ 339.83 355.54 c Restart #95 #Var: 70 LB: 0 @ 355.39 374.75 c Restart #96 #Var: 70 LB: 0 @ 374.6 389.34 c Restart #97 #Var: 70 LB: 0 @ 389.18 404.00 c Restart #98 #Var: 70 LB: 0 @ 403.84 418.71 c Restart #99 #Var: 70 LB: 0 @ 418.54 432.38 c Restart #100 #Var: 70 LB: 0 @ 432.21 443.78 c Restart #101 #Var: 70 LB: 0 @ 443.61 451.00 c Restart #102 #Var: 70 LB: 0 @ 450.82 457.88 c Restart #103 #Var: 70 LB: 0 @ 457.7 466.10 c Restart #104 #Var: 70 LB: 0 @ 465.92 474.67 c Restart #105 #Var: 70 LB: 0 @ 474.48 483.35 c Restart #106 #Var: 70 LB: 0 @ 483.16 491.44 c Restart #107 #Var: 70 LB: 0 @ 491.25 502.23 c Restart #108 #Var: 70 LB: 0 @ 502.04 515.11 c Restart #109 #Var: 70 LB: 0 @ 514.91 525.26 c Restart #110 #Var: 70 LB: 0 @ 525.06 534.71 c Restart #111 #Var: 70 LB: 0 @ 534.5 542.34 c Restart #112 #Var: 70 LB: 0 @ 542.13 551.43 c Restart #113 #Var: 70 LB: 0 @ 551.22 561.76 c Restart #114 #Var: 70 LB: 0 @ 561.54 571.04 c Restart #115 #Var: 70 LB: 0 @ 570.82 582.00 c Restart #116 #Var: 70 LB: 0 @ 581.77 594.77 c Restart #117 #Var: 70 LB: 0 @ 594.52 604.69 c Restart #118 #Var: 70 LB: 0 @ 604.42 614.95 c Restart #119 #Var: 70 LB: 0 @ 614.68 628.10 c Restart #120 #Var: 70 LB: 0 @ 627.8 642.82 c Restart #121 #Var: 70 LB: 0 @ 642.49 657.23 c Restart #122 #Var: 70 LB: 0 @ 656.86 676.00 c Restart #123 #Var: 70 LB: 0 @ 675.61
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/node68/watcher-50327-1149930231 -o ROOT/results/node68/solver-50327-1149930231 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node68/50327-1149930231/instance-50327-1149930231.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.00 0.00 0.17 2/64 10628 /proc/meminfo: memFree=1587240/2055920 swapFree=4182328/4192956 [pid=10628] ppid=10626 vsize=436 CPUtime=0 /proc/10628/stat : 10628 (bsolo) D 10626 10628 10582 0 -1 0 38 0 0 0 0 0 0 0 19 0 1 0 258692598 446464 23 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10515236 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/10628/statm: 109 23 18 55 0 18 0 [startup+10.0022 s] /proc/loadavg: 0.15 0.03 0.18 2/64 10628 /proc/meminfo: memFree=1505272/2055920 swapFree=4182328/4192956 [pid=10628] ppid=10626 vsize=86480 CPUtime=9.96 /proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 20827 0 0 0 984 12 0 0 25 0 1 0 258692598 88555520 20737 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10950267 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10628/statm: 21620 20737 297 55 0 20512 0 Current children cumulated CPU time (s) 9.96 Current children cumulated vsize (Kb) 86480 [startup+20.0089 s] /proc/loadavg: 0.28 0.06 0.19 2/64 10628 /proc/meminfo: memFree=1457784/2055920 swapFree=4182328/4192956 [pid=10628] ppid=10626 vsize=134324 CPUtime=19.96 /proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 32719 0 0 0 1974 22 0 0 25 0 1 0 258692598 137547776 32617 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10628/statm: 33581 32617 297 55 0 32473 0 Current children cumulated CPU time (s) 19.96 Current children cumulated vsize (Kb) 134324 [startup+30.0146 s] /proc/loadavg: 0.39 0.09 0.20 2/64 10628 /proc/meminfo: memFree=1424504/2055920 swapFree=4182328/4192956 [pid=10628] ppid=10626 vsize=167692 CPUtime=29.96 /proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 41024 0 0 0 2969 27 0 0 25 0 1 0 258692598 171716608 40912 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10628/statm: 41923 40912 297 55 0 40815 0 Current children cumulated CPU time (s) 29.96 Current children cumulated vsize (Kb) 167692 [startup+40.0204 s] /proc/loadavg: 0.49 0.12 0.20 2/64 10628 /proc/meminfo: memFree=1374392/2055920 swapFree=4182328/4192956 [pid=10628] ppid=10626 vsize=217932 CPUtime=39.97 /proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 53546 0 0 0 3961 36 0 0 25 0 1 0 258692598 223162368 53422 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10628/statm: 54483 53422 297 55 0 53375 0 Current children cumulated CPU time (s) 39.97 Current children cumulated vsize (Kb) 217932 [startup+50.0261 s] /proc/loadavg: 0.56 0.15 0.21 2/64 10628 /proc/meminfo: memFree=1323640/2055920 swapFree=4182328/4192956 [pid=10628] ppid=10626 vsize=268732 CPUtime=49.96 /proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 66223 0 0 0 4950 46 0 0 25 0 1 0 258692598 275181568 66083 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10628/statm: 67183 66083 297 55 0 66075 0 Current children cumulated CPU time (s) 49.96 Current children cumulated vsize (Kb) 268732 [startup+60.0318 s] /proc/loadavg: 0.63 0.18 0.22 2/64 10628 /proc/meminfo: memFree=1276920/2055920 swapFree=4182328/4192956 [pid=10628] ppid=10626 vsize=315572 CPUtime=59.97 /proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 77889 0 0 0 5944 53 0 0 25 0 1 0 258692598 323145728 77734 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529152 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10628/statm: 78893 77734 297 55 0 77785 0 Current children cumulated CPU time (s) 59.97 Current children cumulated vsize (Kb) 315572 [startup+70.0375 s] /proc/loadavg: 0.69 0.21 0.23 2/64 10628 /proc/meminfo: memFree=1228856/2055920 swapFree=4182328/4192956 [pid=10628] ppid=10626 vsize=363960 CPUtime=69.98 /proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 89922 0 0 0 6936 62 0 0 25 0 1 0 258692598 372695040 89737 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10628/statm: 90990 89737 297 55 0 89882 0 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 363960 [startup+80.0432 s] /proc/loadavg: 0.73 0.23 0.23 2/64 10628 /proc/meminfo: memFree=1194232/2055920 swapFree=4182328/4192956 [pid=10628] ppid=10626 vsize=398748 CPUtime=79.98 /proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 98567 0 0 0 7930 68 0 0 25 0 1 0 258692598 408317952 98361 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10628/statm: 99687 98361 297 55 0 98579 0 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 398748 [startup+90.0489 s] /proc/loadavg: 0.77 0.26 0.24 2/64 10628 /proc/meminfo: memFree=1170424/2055920 swapFree=4182328/4192956 [pid=10628] ppid=10626 vsize=422584 CPUtime=89.98 /proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 104520 0 0 0 8926 72 0 0 25 0 1 0 258692598 432726016 104306 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10628/statm: 105646 104306 297 55 0 104538 0 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 422584 [startup+100.055 s] /proc/loadavg: 0.81 0.28 0.25 2/64 10628 /proc/meminfo: memFree=1122488/2055920 swapFree=4182328/4192956 [pid=10628] ppid=10626 vsize=470432 CPUtime=99.98 /proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 116476 0 0 0 9918 80 0 0 25 0 1 0 258692598 481722368 116253 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10628/statm: 117608 116253 297 55 0 116500 0 Current children cumulated CPU time (s) 99.98 Current children cumulated vsize (Kb) 470432 [startup+110.06 s] /proc/loadavg: 0.84 0.30 0.26 2/64 10628 /proc/meminfo: memFree=1081464/2055920 swapFree=4182328/4192956 [pid=10628] ppid=10626 vsize=511620 CPUtime=109.98 /proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 126724 0 0 0 10913 85 0 0 25 0 1 0 258692598 523898880 126497 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10628/statm: 127905 126497 297 55 0 126797 0 Current children cumulated CPU time (s) 109.98 Current children cumulated vsize (Kb) 511620 [startup+120.066 s] /proc/loadavg: 0.86 0.33 0.27 2/64 10628 /proc/meminfo: memFree=1042232/2055920 swapFree=4182328/4192956 [pid=10628] ppid=10626 vsize=551292 CPUtime=119.99 /proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 136548 0 0 0 11907 92 0 0 25 0 1 0 258692598 564523008 136283 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10628/statm: 137823 136283 297 55 0 136715 0 Current children cumulated CPU time (s) 119.99 Current children cumulated vsize (Kb) 551292 [startup+130.072 s] /proc/loadavg: 0.88 0.35 0.27 2/64 10628 /proc/meminfo: memFree=1016888/2055920 swapFree=4182328/4192956 [pid=10628] ppid=10626 vsize=576704 CPUtime=129.99 /proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 142874 0 0 0 12904 95 0 0 25 0 1 0 258692598 590544896 142605 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10628/statm: 144176 142605 297 55 0 143068 0 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 576704 [startup+140.078 s] /proc/loadavg: 0.90 0.37 0.28 2/64 10628 /proc/meminfo: memFree=981880/2055920 swapFree=4182328/4192956 [pid=10628] ppid=10626 vsize=611472 CPUtime=139.99 /proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 151615 0 0 0 13897 102 0 0 25 0 1 0 258692598 626147328 151344 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10628/statm: 152868 151344 297 55 0 151760 0 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (Kb) 611472 [startup+150.083 s] /proc/loadavg: 0.92 0.39 0.29 2/64 10628 /proc/meminfo: memFree=950712/2055920 swapFree=4182328/4192956 [pid=10628] ppid=10626 vsize=643460 CPUtime=150 /proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 159640 0 0 0 14891 109 0 0 25 0 1 0 258692598 658903040 159106 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10628/statm: 160865 159106 297 55 0 159757 0 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 643460 [startup+160.089 s] /proc/loadavg: 0.93 0.41 0.29 2/64 10628 /proc/meminfo: memFree=926840/2055920 swapFree=4182328/4192956 [pid=10628] ppid=10626 vsize=667248 CPUtime=160 /proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 165595 0 0 0 15886 114 0 0 25 0 1 0 258692598 683261952 165061 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10628/statm: 166812 165061 297 55 0 165704 0 Current children cumulated CPU time (s) 160 Current children cumulated vsize (Kb) 667248 [startup+170.095 s] /proc/loadavg: 0.94 0.43 0.30 2/64 10628 /proc/meminfo: memFree=903032/2055920 swapFree=4182328/4192956 [pid=10628] ppid=10626 vsize=691072 CPUtime=170 /proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 171559 0 0 0 16881 119 0 0 25 0 1 0 258692598 707657728 171021 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10628/statm: 172768 171021 297 55 0 171660 0 Current children cumulated CPU time (s) 170 Current children cumulated vsize (Kb) 691072 [startup+180.1 s] /proc/loadavg: 0.95 0.45 0.31 2/64 10628 /proc/meminfo: memFree=873848/2055920 swapFree=4182328/4192956 [pid=10628] ppid=10626 vsize=720112 CPUtime=180 /proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 178841 0 0 0 17874 126 0 0 25 0 1 0 258692598 737394688 178303 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10628/statm: 180028 178303 297 55 0 178920 0 Current children cumulated CPU time (s) 180 Current children cumulated vsize (Kb) 720112 [startup+190.106 s] /proc/loadavg: 0.95 0.46 0.31 2/64 10628 /proc/meminfo: memFree=850808/2055920 swapFree=4182328/4192956 [pid=10628] ppid=10626 vsize=743604 CPUtime=190 /proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 184699 0 0 0 18870 130 0 0 25 0 1 0 258692598 761450496 184070 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10628/statm: 185901 184070 297 55 0 184793 0 Current children cumulated CPU time (s) 190 Current children cumulated vsize (Kb) 743604 [startup+200.112 s] /proc/loadavg: 0.96 0.48 0.32 2/64 10628 /proc/meminfo: memFree=829688/2055920 swapFree=4182328/4192956 [pid=10628] ppid=10626 vsize=764788 CPUtime=200 /proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 189986 0 0 0 19866 134 0 0 25 0 1 0 258692598 783142912 189349 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540710 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10628/statm: 191197 189349 297 55 0 190089 0 Current children cumulated CPU time (s) 200 Current children cumulated vsize (Kb) 764788 [startup+210.118 s] /proc/loadavg: 0.97 0.50 0.33 2/64 10628 ################ # More data... # ################ Current children cumulated CPU time (s) 480.07 Current children cumulated vsize (Kb) 1342512 [startup+490.282 s] /proc/loadavg: 0.99 0.79 0.49 2/64 10628 /proc/meminfo: memFree=221688/2055920 swapFree=4182328/4192956 [pid=10628] ppid=10626 vsize=1374500 CPUtime=490.08 /proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 342861 0 0 0 48756 252 0 0 25 0 1 0 258692598 1407488000 341029 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10628/statm: 343625 341029 297 55 0 342517 0 Current children cumulated CPU time (s) 490.08 Current children cumulated vsize (Kb) 1374500 [startup+500.287 s] /proc/loadavg: 0.99 0.80 0.50 2/64 10628 /proc/meminfo: memFree=197688/2055920 swapFree=4182328/4192956 [pid=10628] ppid=10626 vsize=1398768 CPUtime=500.09 /proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 349011 0 0 0 49752 257 0 0 25 0 1 0 258692598 1432338432 347017 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10628/statm: 349692 347017 297 55 0 348584 0 Current children cumulated CPU time (s) 500.09 Current children cumulated vsize (Kb) 1398768 [startup+510.293 s] /proc/loadavg: 0.99 0.81 0.50 2/64 10628 /proc/meminfo: memFree=177784/2055920 swapFree=4182328/4192956 [pid=10628] ppid=10626 vsize=1418704 CPUtime=510.09 /proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 353981 0 0 0 50749 260 0 0 25 0 1 0 258692598 1452752896 351987 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10628/statm: 354676 351987 297 55 0 353568 0 Current children cumulated CPU time (s) 510.09 Current children cumulated vsize (Kb) 1418704 [startup+520.299 s] /proc/loadavg: 0.99 0.81 0.51 2/64 10628 /proc/meminfo: memFree=155000/2055920 swapFree=4182328/4192956 [pid=10628] ppid=10626 vsize=1441320 CPUtime=520.09 /proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 359662 0 0 0 51746 263 0 0 25 0 1 0 258692598 1475911680 357663 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10628/statm: 360330 357663 297 55 0 359222 0 Current children cumulated CPU time (s) 520.09 Current children cumulated vsize (Kb) 1441320 [startup+530.304 s] /proc/loadavg: 0.99 0.82 0.51 2/64 10628 /proc/meminfo: memFree=125240/2055920 swapFree=4182328/4192956 [pid=10628] ppid=10626 vsize=1471064 CPUtime=530.1 /proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 367098 0 0 0 52741 269 0 0 25 0 1 0 258692598 1506369536 365099 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10950267 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10628/statm: 367766 365099 297 55 0 366658 0 Current children cumulated CPU time (s) 530.1 Current children cumulated vsize (Kb) 1471064 [startup+540.31 s] /proc/loadavg: 0.99 0.82 0.52 2/64 10628 /proc/meminfo: memFree=93688/2055920 swapFree=4182328/4192956 [pid=10628] ppid=10626 vsize=1502348 CPUtime=540.09 /proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 374967 0 0 0 53735 274 0 0 25 0 1 0 258692598 1538404352 372968 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10950267 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10628/statm: 375587 372968 297 55 0 374479 0 Current children cumulated CPU time (s) 540.09 Current children cumulated vsize (Kb) 1502348 [startup+550.316 s] /proc/loadavg: 0.99 0.83 0.52 2/64 10628 /proc/meminfo: memFree=62328/2055920 swapFree=4182328/4192956 [pid=10628] ppid=10626 vsize=1533688 CPUtime=550.09 /proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 382881 0 0 0 54730 279 0 0 25 0 1 0 258692598 1570496512 380800 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10628/statm: 383422 380800 297 55 0 382314 0 Current children cumulated CPU time (s) 550.09 Current children cumulated vsize (Kb) 1533688 [startup+560.323 s] /proc/loadavg: 0.99 0.83 0.53 2/64 10628 /proc/meminfo: memFree=35256/2055920 swapFree=4182328/4192956 [pid=10628] ppid=10626 vsize=1561128 CPUtime=560.1 /proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 389790 0 0 0 55726 284 0 0 25 0 1 0 258692598 1598595072 387547 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10628/statm: 390282 387547 297 55 0 389174 0 Current children cumulated CPU time (s) 560.1 Current children cumulated vsize (Kb) 1561128 [startup+570.329 s] /proc/loadavg: 0.99 0.84 0.53 2/64 10628 /proc/meminfo: memFree=15096/2055920 swapFree=4182328/4192956 [pid=10628] ppid=10626 vsize=1589772 CPUtime=570.1 /proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 396970 0 0 0 56723 287 0 0 25 0 1 0 258692598 1627926528 394513 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10628/statm: 397443 394513 297 55 0 396335 0 Current children cumulated CPU time (s) 570.1 Current children cumulated vsize (Kb) 1589772 [startup+580.336 s] /proc/loadavg: 0.99 0.84 0.54 2/64 10628 /proc/meminfo: memFree=16056/2055920 swapFree=4182328/4192956 [pid=10628] ppid=10626 vsize=1615584 CPUtime=580.1 /proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 403501 0 0 0 57717 293 0 0 25 0 1 0 258692598 1654358016 400876 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10628/statm: 403896 400876 297 55 0 402788 0 Current children cumulated CPU time (s) 580.1 Current children cumulated vsize (Kb) 1615584 [startup+590.343 s] /proc/loadavg: 0.99 0.85 0.54 2/64 10628 /proc/meminfo: memFree=15480/2055920 swapFree=4182316/4192956 [pid=10628] ppid=10626 vsize=1638156 CPUtime=590.1 /proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 409076 0 0 0 58714 296 0 0 25 0 1 0 258692598 1677471744 406410 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10628/statm: 409539 406410 297 55 0 408431 0 Current children cumulated CPU time (s) 590.1 Current children cumulated vsize (Kb) 1638156 [startup+600.35 s] /proc/loadavg: 0.99 0.85 0.54 2/64 10628 /proc/meminfo: memFree=15864/2055920 swapFree=4182316/4192956 [pid=10628] ppid=10626 vsize=1661568 CPUtime=600.09 /proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 414955 0 0 0 59708 301 0 0 25 0 1 0 258692598 1701445632 412122 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10628/statm: 415392 412122 297 55 0 414284 0 Current children cumulated CPU time (s) 600.09 Current children cumulated vsize (Kb) 1661568 [startup+610.356 s] /proc/loadavg: 0.99 0.86 0.55 2/64 10628 /proc/meminfo: memFree=15160/2055920 swapFree=4182316/4192956 [pid=10628] ppid=10626 vsize=1691404 CPUtime=610.08 /proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 422444 0 0 0 60702 306 0 0 25 0 1 0 258692598 1731997696 419611 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10628/statm: 422851 419611 297 55 0 421743 0 Current children cumulated CPU time (s) 610.08 Current children cumulated vsize (Kb) 1691404 [startup+620.363 s] /proc/loadavg: 0.99 0.86 0.55 2/64 10628 /proc/meminfo: memFree=16056/2055920 swapFree=4182316/4192956 [pid=10628] ppid=10626 vsize=1711928 CPUtime=620.07 /proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 427616 0 0 0 61697 310 0 0 25 0 1 0 258692598 1753014272 424782 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10950267 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10628/statm: 427982 424782 297 55 0 426874 0 Current children cumulated CPU time (s) 620.07 Current children cumulated vsize (Kb) 1711928 [startup+630.37 s] /proc/loadavg: 0.99 0.86 0.56 2/64 10628 /proc/meminfo: memFree=15864/2055920 swapFree=4182316/4192956 [pid=10628] ppid=10626 vsize=1733952 CPUtime=630.06 /proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 433202 0 0 0 62691 315 0 0 25 0 1 0 258692598 1775566848 430204 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10628/statm: 433488 430204 297 55 0 432380 0 Current children cumulated CPU time (s) 630.06 Current children cumulated vsize (Kb) 1733952 [startup+640.376 s] /proc/loadavg: 0.99 0.87 0.56 2/64 10628 /proc/meminfo: memFree=15096/2055920 swapFree=4182316/4192956 [pid=10628] ppid=10626 vsize=1753760 CPUtime=640.05 /proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 438201 0 0 0 63687 318 0 0 25 0 1 0 258692598 1795850240 435039 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10628/statm: 438440 435039 297 55 0 437332 0 Current children cumulated CPU time (s) 640.05 Current children cumulated vsize (Kb) 1753760 [startup+650.383 s] /proc/loadavg: 0.99 0.87 0.56 3/64 10628 /proc/meminfo: memFree=15288/2055920 swapFree=4182316/4192956 [pid=10628] ppid=10626 vsize=1775412 CPUtime=650.02 /proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 443638 0 0 0 64681 321 0 0 25 0 1 0 258692598 1818021888 440476 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550537 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10628/statm: 443853 440476 297 55 0 442745 0 Current children cumulated CPU time (s) 650.02 Current children cumulated vsize (Kb) 1775412 [startup+660.39 s] /proc/loadavg: 0.99 0.88 0.57 2/64 10628 /proc/meminfo: memFree=16120/2055920 swapFree=4182316/4192956 [pid=10628] ppid=10626 vsize=1791176 CPUtime=660.01 /proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 447638 0 0 0 65676 325 0 0 25 0 1 0 258692598 1834164224 444394 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10628/statm: 447794 444394 297 55 0 446686 0 Current children cumulated CPU time (s) 660.01 Current children cumulated vsize (Kb) 1791176 [startup+670.395 s] /proc/loadavg: 0.99 0.88 0.57 2/64 10628 /proc/meminfo: memFree=15352/2055920 swapFree=4182316/4192956 [pid=10628] ppid=10626 vsize=1812768 CPUtime=670.01 /proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 453099 0 0 0 66670 331 0 0 25 0 1 0 258692598 1856274432 449610 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10628/statm: 453192 449610 297 55 0 452084 0 Current children cumulated CPU time (s) 670.01 Current children cumulated vsize (Kb) 1812768 [startup+680.401 s] /proc/loadavg: 0.99 0.88 0.58 2/64 10628 /proc/meminfo: memFree=15544/2055920 swapFree=4182316/4192956 [pid=10628] ppid=10626 vsize=1821744 CPUtime=680 /proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 455397 0 0 0 67667 333 0 0 25 0 1 0 258692598 1865465856 451908 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10628/statm: 455436 451908 297 55 0 454328 0 Current children cumulated CPU time (s) 680 Current children cumulated vsize (Kb) 1821744 [startup+690.407 s] /proc/loadavg: 0.99 0.89 0.58 2/64 10628 /proc/meminfo: memFree=15736/2055920 swapFree=4182316/4192956 [pid=10628] ppid=10626 vsize=1829136 CPUtime=689.99 /proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 457274 0 0 0 68664 335 0 0 25 0 1 0 258692598 1873035264 453785 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10628/statm: 457284 453785 297 55 0 456176 0 Current children cumulated CPU time (s) 689.99 Current children cumulated vsize (Kb) 1829136 Child ended because it received signal 6 (SIGABRT) Real time (s): 697.07 CPU time (s): 696.623 CPU user time (s): 692.969 CPU system time (s): 3.65444 CPU usage (%): 99.9359 Max. virtual memory (cumulated for all children) (Kb): 1829136 The end
Begin job on node68 on Sat Jun 10 09:03:51 UTC 2006 FILE ID= 50327-1149930231 PBS_JOBID= 385500 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_4.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node68/50327-1149930231/instance-50327-1149930231.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node68/watcher-50327-1149930231 -o ROOT/results/node68/solver-50327-1149930231 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node68/50327-1149930231/instance-50327-1149930231.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= d78f5121f87a7bad7fc74d5d3eacc32f RANDOM SEED= 239628269 /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.279 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.279 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: 1587448 kB Buffers: 42692 kB Cached: 349800 kB SwapCached: 2384 kB Active: 106692 kB Inactive: 294604 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1587448 kB SwapTotal: 4192956 kB SwapFree: 4182328 kB Dirty: 120 kB Writeback: 0 kB Mapped: 15560 kB Slab: 53252 kB Committed_AS: 652304 kB PageTables: 1400 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node68 on Sat Jun 10 09:15:28 UTC 2006