Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | Signal | 707.02 | 707.304 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_7_60_3.opb |
MD5SUM | 0cfcb152e5d64f6fbadc82a2b31230da |
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 | 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 | 1901 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 5704 |
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.04 c INFO: OSL Context initialized. 0.04 c Initial problem consists of 61 variables and 15 constraints. 0.04 c No problem reductions applied in OPT. instance. 0.04 c preprocess terminated. Elapsed time: 0.009 0.04 c After prepocess the problem consists of 60 variables and 14 constraints. 0.04 c Initial Lower Bound: 0 0.05 c Restart #1 #Var: 60 LB: 0 @ 0.021 0.08 c Restart #2 #Var: 60 LB: 0 @ 0.049 0.12 c Restart #3 #Var: 60 LB: 0 @ 0.088 0.18 c Restart #4 #Var: 60 LB: 0 @ 0.144 0.25 c Restart #5 #Var: 60 LB: 0 @ 0.218 0.32 c Restart #6 #Var: 60 LB: 0 @ 0.284 0.40 c Restart #7 #Var: 60 LB: 0 @ 0.369 0.54 c Restart #8 #Var: 60 LB: 0 @ 0.503 0.76 c Restart #9 #Var: 60 LB: 0 @ 0.73 0.90 c Restart #10 #Var: 60 LB: 0 @ 0.864 1.05 c Restart #11 #Var: 60 LB: 0 @ 1.011 1.26 c Restart #12 #Var: 60 LB: 0 @ 1.231 1.54 c Restart #13 #Var: 60 LB: 0 @ 1.51 1.89 c Restart #14 #Var: 60 LB: 0 @ 1.855 2.24 c Restart #15 #Var: 60 LB: 0 @ 2.206 2.82 c Restart #16 #Var: 60 LB: 0 @ 2.786 3.33 c Restart #17 #Var: 60 LB: 0 @ 3.295 4.39 c Restart #18 #Var: 60 LB: 0 @ 4.355 5.99 c Restart #19 #Var: 60 LB: 0 @ 5.953 7.84 c Restart #20 #Var: 60 LB: 0 @ 7.806 9.19 c Restart #21 #Var: 60 LB: 0 @ 9.15 11.74 c Restart #22 #Var: 60 LB: 0 @ 11.698 14.89 c Restart #23 #Var: 60 LB: 0 @ 14.852 16.78 c Restart #24 #Var: 60 LB: 0 @ 16.739 18.15 c Restart #25 #Var: 60 LB: 0 @ 18.109 20.27 c Restart #26 #Var: 60 LB: 0 @ 20.227 24.58 c Restart #27 #Var: 60 LB: 0 @ 24.535 25.59 c Restart #28 #Var: 60 LB: 0 @ 25.545 26.61 c Restart #29 #Var: 60 LB: 0 @ 26.57 28.25 c Restart #30 #Var: 60 LB: 0 @ 28.202 29.43 c Restart #31 #Var: 60 LB: 0 @ 29.385 30.81 c Restart #32 #Var: 60 LB: 0 @ 30.77 32.49 c Restart #33 #Var: 60 LB: 0 @ 32.441 33.66 c Restart #34 #Var: 60 LB: 0 @ 33.612 35.40 c Restart #35 #Var: 60 LB: 0 @ 35.354 37.64 c Restart #36 #Var: 60 LB: 0 @ 37.592 38.98 c Restart #37 #Var: 60 LB: 0 @ 38.929 40.51 c Restart #38 #Var: 60 LB: 0 @ 40.459 42.11 c Restart #39 #Var: 60 LB: 0 @ 42.062 43.51 c Restart #40 #Var: 60 LB: 0 @ 43.465 45.24 c Restart #41 #Var: 60 LB: 0 @ 45.188 46.86 c Restart #42 #Var: 60 LB: 0 @ 46.809 48.73 c Restart #43 #Var: 60 LB: 0 @ 48.684 50.91 c Restart #44 #Var: 60 LB: 0 @ 50.861 52.51 c Restart #45 #Var: 60 LB: 0 @ 52.462 53.77 c Restart #46 #Var: 60 LB: 0 @ 53.716 55.23 c Restart #47 #Var: 60 LB: 0 @ 55.175 56.84 c Restart #48 #Var: 60 LB: 0 @ 56.791 58.25 c Restart #49 #Var: 60 LB: 0 @ 58.196 59.99 c Restart #50 #Var: 60 LB: 0 @ 59.936 61.76 c Restart #51 #Var: 60 LB: 0 @ 61.707 63.67 c Restart #52 #Var: 60 LB: 0 @ 63.616 65.50 c Restart #53 #Var: 60 LB: 0 @ 65.443 67.39 c Restart #54 #Var: 60 LB: 0 @ 67.331 69.44 c Restart #55 #Var: 60 LB: 0 @ 69.384 72.26 c Restart #56 #Var: 60 LB: 0 @ 72.21 76.64 c Restart #57 #Var: 60 LB: 0 @ 76.587 79.21 c Restart #58 #Var: 60 LB: 0 @ 79.152 81.74 c Restart #59 #Var: 60 LB: 0 @ 81.682 85.03 c Restart #60 #Var: 60 LB: 0 @ 84.974 88.61 c Restart #61 #Var: 60 LB: 0 @ 88.553 92.59 c Restart #62 #Var: 60 LB: 0 @ 92.535 98.40 c Restart #63 #Var: 60 LB: 0 @ 98.337 105.08 c Restart #64 #Var: 60 LB: 0 @ 105.02 111.68 c Restart #65 #Var: 60 LB: 0 @ 111.61 117.48 c Restart #66 #Var: 60 LB: 0 @ 117.42 123.51 c Restart #67 #Var: 60 LB: 0 @ 123.45 128.28 c Restart #68 #Var: 60 LB: 0 @ 128.21 132.02 c Restart #69 #Var: 60 LB: 0 @ 131.95 134.92 c Restart #70 #Var: 60 LB: 0 @ 134.85 138.88 c Restart #71 #Var: 60 LB: 0 @ 138.81 143.15 c Restart #72 #Var: 60 LB: 0 @ 143.08 146.67 c Restart #73 #Var: 60 LB: 0 @ 146.59 149.71 c Restart #74 #Var: 60 LB: 0 @ 149.64 152.56 c Restart #75 #Var: 60 LB: 0 @ 152.48 156.04 c Restart #76 #Var: 60 LB: 0 @ 155.97 159.35 c Restart #77 #Var: 60 LB: 0 @ 159.27 164.22 c Restart #78 #Var: 60 LB: 0 @ 164.14 167.54 c Restart #79 #Var: 60 LB: 0 @ 167.46 170.61 c Restart #80 #Var: 60 LB: 0 @ 170.53 173.62 c Restart #81 #Var: 60 LB: 0 @ 173.54 176.97 c Restart #82 #Var: 60 LB: 0 @ 176.89 182.21 c Restart #83 #Var: 60 LB: 0 @ 182.12 187.40 c Restart #84 #Var: 60 LB: 0 @ 187.31 193.74 c Restart #85 #Var: 60 LB: 0 @ 193.66 201.66 c Restart #86 #Var: 60 LB: 0 @ 201.57 207.23 c Restart #87 #Var: 60 LB: 0 @ 207.14 212.50 c Restart #88 #Var: 60 LB: 0 @ 212.41 217.13 c Restart #89 #Var: 60 LB: 0 @ 217.04 221.79 c Restart #90 #Var: 60 LB: 0 @ 221.7 227.52 c Restart #91 #Var: 60 LB: 0 @ 227.43 233.91 c Restart #92 #Var: 60 LB: 0 @ 233.82 239.04 c Restart #93 #Var: 60 LB: 0 @ 238.95 244.47 c Restart #94 #Var: 60 LB: 0 @ 244.37 249.52 c Restart #95 #Var: 60 LB: 0 @ 249.42 256.25 c Restart #96 #Var: 60 LB: 0 @ 256.15 263.93 c Restart #97 #Var: 60 LB: 0 @ 263.83 271.94 c Restart #98 #Var: 60 LB: 0 @ 271.84 278.23 c Restart #99 #Var: 60 LB: 0 @ 278.13 285.72 c Restart #100 #Var: 60 LB: 0 @ 285.61 293.24 c Restart #101 #Var: 60 LB: 0 @ 293.13 300.66 c Restart #102 #Var: 60 LB: 0 @ 300.55 309.06 c Restart #103 #Var: 60 LB: 0 @ 308.94 317.30 c Restart #104 #Var: 60 LB: 0 @ 317.19 325.71 c Restart #105 #Var: 60 LB: 0 @ 325.59 335.38 c Restart #106 #Var: 60 LB: 0 @ 335.26 345.96 c Restart #107 #Var: 60 LB: 0 @ 345.84 356.73 c Restart #108 #Var: 60 LB: 0 @ 356.61 366.58 c Restart #109 #Var: 60 LB: 0 @ 366.45 376.19 c Restart #110 #Var: 60 LB: 0 @ 376.06 385.14 c Restart #111 #Var: 60 LB: 0 @ 385.01 393.33 c Restart #112 #Var: 60 LB: 0 @ 393.19 402.93 c Restart #113 #Var: 60 LB: 0 @ 402.79 413.55 c Restart #114 #Var: 60 LB: 0 @ 413.41 427.86 c Restart #115 #Var: 60 LB: 0 @ 427.72 442.92 c Restart #116 #Var: 60 LB: 0 @ 442.78 455.89 c Restart #117 #Var: 60 LB: 0 @ 455.74 471.12 c Restart #118 #Var: 60 LB: 0 @ 470.97 486.72 c Restart #119 #Var: 60 LB: 0 @ 486.56 502.74 c Restart #120 #Var: 60 LB: 0 @ 502.58 516.10 c Restart #121 #Var: 60 LB: 0 @ 515.94 541.71 c Restart #122 #Var: 60 LB: 0 @ 541.54 564.35 c Restart #123 #Var: 60 LB: 0 @ 564.17 578.18 c Restart #124 #Var: 60 LB: 0 @ 578 591.86 c Restart #125 #Var: 60 LB: 0 @ 591.68 615.23 c Restart #126 #Var: 60 LB: 0 @ 615.04 636.25 c Restart #127 #Var: 60 LB: 0 @ 636.05 651.84 c Restart #128 #Var: 60 LB: 0 @ 651.65 662.92 c Restart #129 #Var: 60 LB: 0 @ 662.72 676.69 c Restart #130 #Var: 60 LB: 0 @ 676.48 693.36 c Restart #131 #Var: 60 LB: 0 @ 693.15
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/node61/watcher-50314-1149906094 -o ROOT/results/node61/solver-50314-1149906094 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node61/50314-1149906094/instance-50314-1149906094.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 0.99 0.91 2/64 26404 /proc/meminfo: memFree=1844896/2055920 swapFree=4180924/4192956 [pid=26404] ppid=26402 vsize=4664 CPUtime=0 /proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 256277258 4775936 149 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10352501 0 0 4096 0 0 0 0 17 1 0 0 /proc/26404/statm: 1166 151 112 55 0 46 0 [startup+10.003 s] /proc/loadavg: 1.00 0.99 0.91 2/64 26404 /proc/meminfo: memFree=1794736/2055920 swapFree=4180924/4192956 [pid=26404] ppid=26402 vsize=54792 CPUtime=9.96 /proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 12924 0 0 0 987 9 0 0 25 0 1 0 256277258 56107008 12836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134606453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26404/statm: 13698 12836 297 55 0 12590 0 Current children cumulated CPU time (s) 9.96 Current children cumulated vsize (Kb) 54792 [startup+20.009 s] /proc/loadavg: 1.00 0.99 0.91 2/64 26404 /proc/meminfo: memFree=1773304/2055920 swapFree=4180924/4192956 [pid=26404] ppid=26402 vsize=76364 CPUtime=19.96 /proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 18280 0 0 0 1982 14 0 0 25 0 1 0 256277258 78196736 18188 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10819195 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26404/statm: 19091 18188 297 55 0 17983 0 Current children cumulated CPU time (s) 19.96 Current children cumulated vsize (Kb) 76364 [startup+30.0149 s] /proc/loadavg: 1.00 0.99 0.91 2/64 26404 /proc/meminfo: memFree=1739896/2055920 swapFree=4180924/4192956 [pid=26404] ppid=26402 vsize=109928 CPUtime=29.96 /proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 26620 0 0 0 2976 20 0 0 25 0 1 0 256277258 112566272 26514 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551613 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26404/statm: 27482 26514 297 55 0 26374 0 Current children cumulated CPU time (s) 29.96 Current children cumulated vsize (Kb) 109928 [startup+40.0209 s] /proc/loadavg: 1.00 0.99 0.91 2/64 26404 /proc/meminfo: memFree=1693880/2055920 swapFree=4180924/4192956 [pid=26404] ppid=26402 vsize=156172 CPUtime=39.96 /proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 38126 0 0 0 3965 31 0 0 25 0 1 0 256277258 159920128 38010 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548183 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26404/statm: 39043 38010 297 55 0 37935 0 Current children cumulated CPU time (s) 39.96 Current children cumulated vsize (Kb) 156172 [startup+50.0269 s] /proc/loadavg: 1.00 0.99 0.91 2/64 26404 /proc/meminfo: memFree=1643576/2055920 swapFree=4180924/4192956 [pid=26404] ppid=26402 vsize=206660 CPUtime=49.97 /proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 50713 0 0 0 4956 41 0 0 25 0 1 0 256277258 211619840 50570 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26404/statm: 51665 50570 297 55 0 50557 0 Current children cumulated CPU time (s) 49.97 Current children cumulated vsize (Kb) 206660 [startup+60.0328 s] /proc/loadavg: 1.00 0.99 0.91 2/64 26404 /proc/meminfo: memFree=1579512/2055920 swapFree=4180924/4192956 [pid=26404] ppid=26402 vsize=270876 CPUtime=59.97 /proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 66690 0 0 0 5946 51 0 0 25 0 1 0 256277258 277377024 66524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26404/statm: 67719 66524 297 55 0 66611 0 Current children cumulated CPU time (s) 59.97 Current children cumulated vsize (Kb) 270876 [startup+70.0398 s] /proc/loadavg: 1.00 0.99 0.91 2/64 26404 /proc/meminfo: memFree=1519800/2055920 swapFree=4180924/4192956 [pid=26404] ppid=26402 vsize=330872 CPUtime=69.98 /proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 81629 0 0 0 6935 63 0 0 25 0 1 0 256277258 338812928 81431 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548692 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26404/statm: 82718 81431 297 55 0 81610 0 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 330872 [startup+80.0458 s] /proc/loadavg: 1.00 0.99 0.91 2/64 26404 /proc/meminfo: memFree=1482360/2055920 swapFree=4180924/4192956 [pid=26404] ppid=26402 vsize=368740 CPUtime=79.97 /proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 91000 0 0 0 7929 68 0 0 25 0 1 0 256277258 377589760 90773 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26404/statm: 92185 90773 297 55 0 91077 0 Current children cumulated CPU time (s) 79.97 Current children cumulated vsize (Kb) 368740 [startup+90.0517 s] /proc/loadavg: 1.00 0.99 0.91 2/64 26404 /proc/meminfo: memFree=1442104/2055920 swapFree=4180924/4192956 [pid=26404] ppid=26402 vsize=408916 CPUtime=89.98 /proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 101055 0 0 0 8923 75 0 0 25 0 1 0 256277258 418729984 100828 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26404/statm: 102229 100828 297 55 0 101121 0 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 408916 [startup+100.058 s] /proc/loadavg: 1.00 0.99 0.91 2/64 26404 /proc/meminfo: memFree=1419960/2055920 swapFree=4180924/4192956 [pid=26404] ppid=26402 vsize=431300 CPUtime=99.98 /proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 106671 0 0 0 9919 79 0 0 25 0 1 0 256277258 441651200 106340 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26404/statm: 107825 106340 297 55 0 106717 0 Current children cumulated CPU time (s) 99.98 Current children cumulated vsize (Kb) 431300 [startup+110.064 s] /proc/loadavg: 1.00 0.99 0.91 2/64 26404 /proc/meminfo: memFree=1400760/2055920 swapFree=4180924/4192956 [pid=26404] ppid=26402 vsize=450384 CPUtime=109.99 /proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 111463 0 0 0 10915 84 0 0 25 0 1 0 256277258 461193216 111132 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26404/statm: 112596 111132 297 55 0 111488 0 Current children cumulated CPU time (s) 109.99 Current children cumulated vsize (Kb) 450384 [startup+120.07 s] /proc/loadavg: 1.00 0.99 0.91 2/64 26404 /proc/meminfo: memFree=1375544/2055920 swapFree=4180924/4192956 [pid=26404] ppid=26402 vsize=475592 CPUtime=119.99 /proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 117755 0 0 0 11910 89 0 0 25 0 1 0 256277258 487006208 117410 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26404/statm: 118898 117411 297 55 0 117790 0 Current children cumulated CPU time (s) 119.99 Current children cumulated vsize (Kb) 475592 [startup+130.076 s] /proc/loadavg: 1.00 0.99 0.91 2/64 26404 /proc/meminfo: memFree=1345464/2055920 swapFree=4180924/4192956 [pid=26404] ppid=26402 vsize=505624 CPUtime=129.99 /proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 125280 0 0 0 12904 95 0 0 25 0 1 0 256277258 517758976 124928 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10819195 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26404/statm: 126406 124928 297 55 0 125298 0 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 505624 [startup+140.082 s] /proc/loadavg: 1.00 0.99 0.91 2/64 26404 /proc/meminfo: memFree=1307192/2055920 swapFree=4180924/4192956 [pid=26404] ppid=26402 vsize=544508 CPUtime=140 /proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 134999 0 0 0 13898 102 0 0 25 0 1 0 256277258 557576192 134468 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26404/statm: 136127 134468 297 55 0 135019 0 Current children cumulated CPU time (s) 140 Current children cumulated vsize (Kb) 544508 [startup+150.088 s] /proc/loadavg: 1.00 0.99 0.91 2/64 26404 /proc/meminfo: memFree=1263096/2055920 swapFree=4180924/4192956 [pid=26404] ppid=26402 vsize=588500 CPUtime=150 /proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 146021 0 0 0 14891 109 0 0 25 0 1 0 256277258 602624000 145474 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534060 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26404/statm: 147125 145474 297 55 0 146017 0 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 588500 [startup+160.094 s] /proc/loadavg: 1.00 0.99 0.91 2/64 26404 /proc/meminfo: memFree=1212344/2055920 swapFree=4180924/4192956 [pid=26404] ppid=26402 vsize=639252 CPUtime=160 /proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 158717 0 0 0 15881 119 0 0 25 0 1 0 256277258 654594048 158143 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10819195 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26404/statm: 159813 158143 297 55 0 158705 0 Current children cumulated CPU time (s) 160 Current children cumulated vsize (Kb) 639252 [startup+170.099 s] /proc/loadavg: 1.00 0.99 0.91 2/64 26404 /proc/meminfo: memFree=1165240/2055920 swapFree=4180924/4192956 [pid=26404] ppid=26402 vsize=686128 CPUtime=170.01 /proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 170474 0 0 0 16872 129 0 0 25 0 1 0 256277258 702595072 169893 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26404/statm: 171532 169893 297 55 0 170424 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 686128 [startup+180.105 s] /proc/loadavg: 1.00 0.99 0.91 2/64 26404 /proc/meminfo: memFree=1117240/2055920 swapFree=4180924/4192956 [pid=26404] ppid=26402 vsize=734288 CPUtime=180.02 /proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 182602 0 0 0 17863 139 0 0 25 0 1 0 256277258 751910912 181859 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26404/statm: 183572 181859 297 55 0 182464 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 734288 [startup+190.11 s] /proc/loadavg: 1.00 0.99 0.91 2/64 26404 /proc/meminfo: memFree=1084920/2055920 swapFree=4180924/4192956 [pid=26404] ppid=26402 vsize=766300 CPUtime=190.01 /proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 190666 0 0 0 18856 145 0 0 25 0 1 0 256277258 784691200 189917 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533818 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26404/statm: 191575 189917 297 55 0 190467 0 Current children cumulated CPU time (s) 190.01 Current children cumulated vsize (Kb) 766300 [startup+200.116 s] /proc/loadavg: 1.00 0.99 0.91 2/64 26404 /proc/meminfo: memFree=1060472/2055920 swapFree=4180924/4192956 [pid=26404] ppid=26402 vsize=791208 CPUtime=200.02 /proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 196855 0 0 0 19852 150 0 0 25 0 1 0 256277258 810196992 196019 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548512 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26404/statm: 197802 196019 297 55 0 196694 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 791208 [startup+210.122 s] /proc/loadavg: 1.00 0.99 0.91 2/64 26404 ################ # More data... # ################ Current children cumulated CPU time (s) 490.12 Current children cumulated vsize (Kb) 1518244 [startup+500.292 s] /proc/loadavg: 1.00 0.99 0.91 2/64 26404 /proc/meminfo: memFree=322232/2055920 swapFree=4180924/4192956 [pid=26404] ppid=26402 vsize=1533084 CPUtime=500.13 /proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 383406 0 0 0 49718 295 0 0 25 0 1 0 256277258 1569878016 380195 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26404/statm: 383271 380195 297 55 0 382163 0 Current children cumulated CPU time (s) 500.13 Current children cumulated vsize (Kb) 1533084 [startup+510.298 s] /proc/loadavg: 1.00 0.99 0.91 2/64 26404 /proc/meminfo: memFree=302072/2055920 swapFree=4180924/4192956 [pid=26404] ppid=26402 vsize=1553564 CPUtime=510.13 /proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 388520 0 0 0 50714 299 0 0 25 0 1 0 256277258 1590849536 385224 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26404/statm: 388391 385224 297 55 0 387283 0 Current children cumulated CPU time (s) 510.13 Current children cumulated vsize (Kb) 1553564 [startup+520.304 s] /proc/loadavg: 1.00 0.99 0.91 2/64 26404 /proc/meminfo: memFree=284152/2055920 swapFree=4180924/4192956 [pid=26404] ppid=26402 vsize=1571628 CPUtime=520.13 /proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 393153 0 0 0 51711 302 0 0 25 0 1 0 256277258 1609347072 389695 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26404/statm: 392907 389695 297 55 0 391799 0 Current children cumulated CPU time (s) 520.13 Current children cumulated vsize (Kb) 1571628 [startup+530.31 s] /proc/loadavg: 1.00 0.99 0.91 2/64 26404 /proc/meminfo: memFree=278904/2055920 swapFree=4180924/4192956 [pid=26404] ppid=26402 vsize=1576776 CPUtime=530.13 /proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 394467 0 0 0 52710 303 0 0 25 0 1 0 256277258 1614618624 391009 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529337 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26404/statm: 394194 391009 297 55 0 393086 0 Current children cumulated CPU time (s) 530.13 Current children cumulated vsize (Kb) 1576776 [startup+540.316 s] /proc/loadavg: 1.00 0.99 0.91 2/64 26404 /proc/meminfo: memFree=268536/2055920 swapFree=4180924/4192956 [pid=26404] ppid=26402 vsize=1587336 CPUtime=540.14 /proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 397101 0 0 0 53707 307 0 0 25 0 1 0 256277258 1625432064 393598 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718465 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26404/statm: 396834 393598 297 55 0 395726 0 Current children cumulated CPU time (s) 540.14 Current children cumulated vsize (Kb) 1587336 [startup+550.321 s] /proc/loadavg: 1.00 0.99 0.91 2/64 26404 /proc/meminfo: memFree=255352/2055920 swapFree=4180924/4192956 [pid=26404] ppid=26402 vsize=1600912 CPUtime=550.14 /proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 400548 0 0 0 54704 310 0 0 25 0 1 0 256277258 1639333888 396881 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26404/statm: 400228 396881 297 55 0 399120 0 Current children cumulated CPU time (s) 550.14 Current children cumulated vsize (Kb) 1600912 [startup+560.327 s] /proc/loadavg: 1.00 0.99 0.91 2/64 26404 /proc/meminfo: memFree=250104/2055920 swapFree=4180924/4192956 [pid=26404] ppid=26402 vsize=1606060 CPUtime=560.14 /proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 401857 0 0 0 55702 312 0 0 25 0 1 0 256277258 1644605440 398190 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26404/statm: 401515 398190 297 55 0 400407 0 Current children cumulated CPU time (s) 560.14 Current children cumulated vsize (Kb) 1606060 [startup+570.333 s] /proc/loadavg: 1.00 0.99 0.91 2/64 26404 /proc/meminfo: memFree=227384/2055920 swapFree=4180924/4192956 [pid=26404] ppid=26402 vsize=1628640 CPUtime=570.15 /proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 407518 0 0 0 56698 317 0 0 25 0 1 0 256277258 1667727360 403851 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26404/statm: 407160 403851 297 55 0 406052 0 Current children cumulated CPU time (s) 570.15 Current children cumulated vsize (Kb) 1628640 [startup+580.339 s] /proc/loadavg: 1.00 0.99 0.91 2/64 26404 /proc/meminfo: memFree=213112/2055920 swapFree=4180924/4192956 [pid=26404] ppid=26402 vsize=1642764 CPUtime=580.15 /proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 411091 0 0 0 57695 320 0 0 25 0 1 0 256277258 1682190336 407424 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26404/statm: 410691 407424 297 55 0 409583 0 Current children cumulated CPU time (s) 580.15 Current children cumulated vsize (Kb) 1642764 [startup+590.345 s] /proc/loadavg: 1.00 0.99 0.91 2/64 26404 /proc/meminfo: memFree=190456/2055920 swapFree=4180924/4192956 [pid=26404] ppid=26402 vsize=1666196 CPUtime=590.15 /proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 416984 0 0 0 58690 325 0 0 25 0 1 0 256277258 1706184704 413069 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26404/statm: 416549 413069 297 55 0 415441 0 Current children cumulated CPU time (s) 590.15 Current children cumulated vsize (Kb) 1666196 [startup+600.351 s] /proc/loadavg: 1.00 0.99 0.91 2/64 26404 /proc/meminfo: memFree=177208/2055920 swapFree=4180924/4192956 [pid=26404] ppid=26402 vsize=1679620 CPUtime=600.16 /proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 420369 0 0 0 59687 329 0 0 25 0 1 0 256277258 1719930880 416370 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26404/statm: 419905 416370 297 55 0 418797 0 Current children cumulated CPU time (s) 600.16 Current children cumulated vsize (Kb) 1679620 [startup+610.357 s] /proc/loadavg: 1.00 0.99 0.91 2/64 26404 /proc/meminfo: memFree=169400/2055920 swapFree=4180924/4192956 [pid=26404] ppid=26402 vsize=1687276 CPUtime=610.16 /proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 422306 0 0 0 60686 330 0 0 25 0 1 0 256277258 1727770624 418307 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26404/statm: 421819 418307 297 55 0 420711 0 Current children cumulated CPU time (s) 610.16 Current children cumulated vsize (Kb) 1687276 [startup+620.363 s] /proc/loadavg: 1.00 0.99 0.91 2/64 26404 /proc/meminfo: memFree=154872/2055920 swapFree=4180924/4192956 [pid=26404] ppid=26402 vsize=1702204 CPUtime=620.16 /proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 426056 0 0 0 61683 333 0 0 25 0 1 0 256277258 1743056896 421934 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26404/statm: 425551 421934 297 55 0 424443 0 Current children cumulated CPU time (s) 620.16 Current children cumulated vsize (Kb) 1702204 [startup+630.369 s] /proc/loadavg: 1.00 0.99 0.91 2/64 26404 /proc/meminfo: memFree=142648/2055920 swapFree=4180924/4192956 [pid=26404] ppid=26402 vsize=1714540 CPUtime=630.16 /proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 429118 0 0 0 62680 336 0 0 25 0 1 0 256277258 1755688960 424996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26404/statm: 428635 424996 297 55 0 427527 0 Current children cumulated CPU time (s) 630.16 Current children cumulated vsize (Kb) 1714540 [startup+640.375 s] /proc/loadavg: 1.00 0.99 0.91 2/64 26404 /proc/meminfo: memFree=131512/2055920 swapFree=4180924/4192956 [pid=26404] ppid=26402 vsize=1726008 CPUtime=640.16 /proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 432043 0 0 0 63678 338 0 0 25 0 1 0 256277258 1767432192 427757 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26404/statm: 431502 427757 297 55 0 430394 0 Current children cumulated CPU time (s) 640.16 Current children cumulated vsize (Kb) 1726008 [startup+650.381 s] /proc/loadavg: 1.00 0.99 0.91 2/64 26404 /proc/meminfo: memFree=111160/2055920 swapFree=4180924/4192956 [pid=26404] ppid=26402 vsize=1746596 CPUtime=650.17 /proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 437155 0 0 0 64673 344 0 0 25 0 1 0 256277258 1788514304 432851 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26404/statm: 436649 432851 297 55 0 435541 0 Current children cumulated CPU time (s) 650.17 Current children cumulated vsize (Kb) 1746596 [startup+660.387 s] /proc/loadavg: 1.00 0.99 0.91 2/64 26404 /proc/meminfo: memFree=90808/2055920 swapFree=4180924/4192956 [pid=26404] ppid=26402 vsize=1766660 CPUtime=660.18 /proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 442230 0 0 0 65670 348 0 0 25 0 1 0 256277258 1809059840 437926 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26404/statm: 441665 437926 297 55 0 440557 0 Current children cumulated CPU time (s) 660.18 Current children cumulated vsize (Kb) 1766660 [startup+670.392 s] /proc/loadavg: 1.00 0.99 0.91 2/64 26404 /proc/meminfo: memFree=67384/2055920 swapFree=4180924/4192956 [pid=26404] ppid=26402 vsize=1789892 CPUtime=670.18 /proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 448059 0 0 0 66665 353 0 0 25 0 1 0 256277258 1832849408 443755 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26404/statm: 447473 443755 297 55 0 446365 0 Current children cumulated CPU time (s) 670.18 Current children cumulated vsize (Kb) 1789892 [startup+680.398 s] /proc/loadavg: 1.00 0.99 0.91 2/64 26404 /proc/meminfo: memFree=47992/2055920 swapFree=4180924/4192956 [pid=26404] ppid=26402 vsize=1809032 CPUtime=680.18 /proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 452912 0 0 0 67661 357 0 0 25 0 1 0 256277258 1852448768 448608 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529265 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26404/statm: 452258 448608 297 55 0 451150 0 Current children cumulated CPU time (s) 680.18 Current children cumulated vsize (Kb) 1809032 [startup+690.404 s] /proc/loadavg: 1.00 0.99 0.91 2/64 26404 /proc/meminfo: memFree=32568/2055920 swapFree=4180924/4192956 [pid=26404] ppid=26402 vsize=1824344 CPUtime=690.19 /proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 456756 0 0 0 68659 360 0 0 25 0 1 0 256277258 1868128256 452452 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26404/statm: 456086 452452 297 55 0 454978 0 Current children cumulated CPU time (s) 690.19 Current children cumulated vsize (Kb) 1824344 [startup+700.41 s] /proc/loadavg: 1.00 0.99 0.91 2/64 26404 /proc/meminfo: memFree=22520/2055920 swapFree=4180924/4192956 [pid=26404] ppid=26402 vsize=1834752 CPUtime=700.19 /proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 459436 0 0 0 69656 363 0 0 25 0 1 0 256277258 1878786048 454970 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26404/statm: 458688 454970 297 55 0 457580 0 Current children cumulated CPU time (s) 700.19 Current children cumulated vsize (Kb) 1834752 Child ended because it received signal 11 (SIGSEGV) Real time (s): 707.304 CPU time (s): 707.02 CPU user time (s): 703.084 CPU system time (s): 3.9364 CPU usage (%): 99.9599 Max. virtual memory (cumulated for all children) (Kb): 1834752 The end
Begin job on node61 on Sat Jun 10 02:21:34 UTC 2006 FILE ID= 50314-1149906094 PBS_JOBID= 385331 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_7_60_3.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node61/50314-1149906094/instance-50314-1149906094.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-50314-1149906094 -o ROOT/results/node61/solver-50314-1149906094 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node61/50314-1149906094/instance-50314-1149906094.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 0cfcb152e5d64f6fbadc82a2b31230da RANDOM SEED= 837580864 /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: 1845104 kB Buffers: 22832 kB Cached: 117144 kB SwapCached: 3708 kB Active: 30136 kB Inactive: 118568 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1845104 kB SwapTotal: 4192956 kB SwapFree: 4180924 kB Dirty: 148 kB Writeback: 0 kB Mapped: 14728 kB Slab: 48224 kB Committed_AS: 600536 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node61 on Sat Jun 10 02:33:21 UTC 2006