Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | Signal | 245.792 | 245.896 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-tr12-30.opb |
MD5SUM | 9b62ad3c86a83b0289fcc931c207c964 |
Bench Category | OPT-BIGINT (optimisation, big 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 | 21960 |
Total number of constraints | 750 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 750 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 372 |
Number of terms in the objective function | 11160 |
Biggest coefficient in the objective function | 2147483648 |
Number of bits for the biggest coefficient in the objective function | 32 |
Sum of the numbers in the objective function | 869952060630 |
Number of bits of the sum of numbers in the objective function | 40 |
Biggest number in a constraint | 2147483648 |
Number of bits of the biggest number in a constraint | 32 |
Biggest sum of numbers in a constraint | 869952060630 |
Number of bits of the biggest sum of numbers | 40 |
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 BIG Int formula... 0.40 c Initial problem consists of 21960 variables and 1110 constraints. 0.46 c No problem reductions applied in OPT. instance. 0.46 c preprocess terminated. Elapsed time: 0.454 0.46 c After prepocess the problem consists of 18180 variables and 1110 constraints. 0.46 c Initial Lower Bound: 0 1.23 c Restart #1 #Var: 18180 LB: 0 @ 1.226 4.52 c Restart #2 #Var: 18180 LB: 0 @ 4.516 7.27 c Restart #3 #Var: 18180 LB: 0 @ 7.265 14.99 c Restart #4 #Var: 18180 LB: 0 @ 14.974 18.96 c Restart #5 #Var: 18180 LB: 0 @ 18.945 30.73 c Restart #6 #Var: 18180 LB: 0 @ 30.715 38.75 c Restart #7 #Var: 18180 LB: 0 @ 38.728 44.08 c Restart #8 #Var: 18180 LB: 0 @ 44.055 44.59 c Restart #9 #Var: 18180 LB: 0 @ 44.569 44.85 c Restart #10 #Var: 18180 LB: 0 @ 44.824 45.30 c Restart #11 #Var: 18180 LB: 0 @ 45.272 45.86 c Restart #12 #Var: 18180 LB: 0 @ 45.838 46.06 c Restart #13 #Var: 18180 LB: 0 @ 46.038 46.34 c Restart #14 #Var: 18180 LB: 0 @ 46.312 46.63 c Restart #15 #Var: 18180 LB: 0 @ 46.607 46.95 c Restart #16 #Var: 18180 LB: 0 @ 46.923 47.33 c Restart #17 #Var: 18180 LB: 0 @ 47.306 47.76 c Restart #18 #Var: 18180 LB: 0 @ 47.733 48.23 c Restart #19 #Var: 18180 LB: 0 @ 48.206 48.82 c Restart #20 #Var: 18180 LB: 0 @ 48.793 49.30 c Restart #21 #Var: 18180 LB: 0 @ 49.277 49.97 c Restart #22 #Var: 18180 LB: 0 @ 49.945 50.59 c Restart #23 #Var: 18180 LB: 0 @ 50.566 51.45 c Restart #24 #Var: 18180 LB: 0 @ 51.426 52.16 c Restart #25 #Var: 18180 LB: 0 @ 52.137 52.94 c Restart #26 #Var: 18180 LB: 0 @ 52.909 53.77 c Restart #27 #Var: 18180 LB: 0 @ 53.745 54.65 c Restart #28 #Var: 18180 LB: 0 @ 54.619 55.75 c Restart #29 #Var: 18180 LB: 0 @ 55.719 56.93 c Restart #30 #Var: 18180 LB: 0 @ 56.901 57.76 c Restart #31 #Var: 18180 LB: 0 @ 57.73 58.89 c Restart #32 #Var: 18180 LB: 0 @ 58.862 59.76 c Restart #33 #Var: 18180 LB: 0 @ 59.733 60.21 c Restart #34 #Var: 18180 LB: 0 @ 60.178 60.95 c Restart #35 #Var: 18180 LB: 0 @ 60.919 61.45 c Restart #36 #Var: 18180 LB: 0 @ 61.415 62.22 c Restart #37 #Var: 18180 LB: 0 @ 62.185 62.83 c Restart #38 #Var: 18180 LB: 0 @ 62.803 63.76 c Restart #39 #Var: 18180 LB: 0 @ 63.725 64.37 c Restart #40 #Var: 18180 LB: 0 @ 64.334 65.12 c Restart #41 #Var: 18180 LB: 0 @ 65.087 65.89 c Restart #42 #Var: 18180 LB: 0 @ 65.859 66.77 c Restart #43 #Var: 18180 LB: 0 @ 66.735 67.76 c Restart #44 #Var: 18180 LB: 0 @ 67.724 68.91 c Restart #45 #Var: 18180 LB: 0 @ 68.879 69.89 c Restart #46 #Var: 18180 LB: 0 @ 69.854 70.84 c Restart #47 #Var: 18180 LB: 0 @ 70.808 71.84 c Restart #48 #Var: 18180 LB: 0 @ 71.806 72.89 c Restart #49 #Var: 18180 LB: 0 @ 72.86 74.16 c Restart #50 #Var: 18180 LB: 0 @ 74.126 75.39 c Restart #51 #Var: 18180 LB: 0 @ 75.353 78.94 c Restart #52 #Var: 18180 LB: 0 @ 78.902 79.89 c Restart #53 #Var: 18180 LB: 0 @ 79.85 80.94 c Restart #54 #Var: 18180 LB: 0 @ 80.901 81.98 c Restart #55 #Var: 18180 LB: 0 @ 81.946 83.04 c Restart #56 #Var: 18180 LB: 0 @ 83.005 84.31 c Restart #57 #Var: 18180 LB: 0 @ 84.274 85.84 c Restart #58 #Var: 18180 LB: 0 @ 85.798 87.09 c Restart #59 #Var: 18180 LB: 0 @ 87.049 88.59 c Restart #60 #Var: 18180 LB: 0 @ 88.547 90.19 c Restart #61 #Var: 18180 LB: 0 @ 90.151 91.69 c Restart #62 #Var: 18180 LB: 0 @ 91.642 93.24 c Restart #63 #Var: 18180 LB: 0 @ 93.195 94.70 c Restart #64 #Var: 18180 LB: 0 @ 94.655 96.17 c Restart #65 #Var: 18180 LB: 0 @ 96.128 97.62 c Restart #66 #Var: 18180 LB: 0 @ 97.572 99.23 c Restart #67 #Var: 18180 LB: 0 @ 99.187 100.69 c Restart #68 #Var: 18180 LB: 0 @ 100.64 102.45 c Restart #69 #Var: 18180 LB: 0 @ 102.41 104.17 c Restart #70 #Var: 18180 LB: 0 @ 104.12 105.88 c Restart #71 #Var: 18180 LB: 0 @ 105.83 107.95 c Restart #72 #Var: 18180 LB: 0 @ 107.89 109.97 c Restart #73 #Var: 18180 LB: 0 @ 109.92 112.12 c Restart #74 #Var: 18180 LB: 0 @ 112.07 114.06 c Restart #75 #Var: 18180 LB: 0 @ 114 116.49 c Restart #76 #Var: 18180 LB: 0 @ 116.44 118.67 c Restart #77 #Var: 18180 LB: 0 @ 118.62 121.13 c Restart #78 #Var: 18180 LB: 0 @ 121.08 124.37 c Restart #79 #Var: 18173 LB: 0 @ 124.31 126.24 c Restart #80 #Var: 18173 LB: 0 @ 126.19 128.23 c Restart #81 #Var: 18173 LB: 0 @ 128.17 130.27 c Restart #82 #Var: 18173 LB: 0 @ 130.21 132.45 c Restart #83 #Var: 18173 LB: 0 @ 132.39 134.98 c Restart #84 #Var: 18173 LB: 0 @ 134.92 137.19 c Restart #85 #Var: 18173 LB: 0 @ 137.13 139.60 c Restart #86 #Var: 18173 LB: 0 @ 139.54 142.09 c Restart #87 #Var: 18173 LB: 0 @ 142.03 144.65 c Restart #88 #Var: 18173 LB: 0 @ 144.59 147.38 c Restart #89 #Var: 18173 LB: 0 @ 147.31 149.92 c Restart #90 #Var: 18173 LB: 0 @ 149.85 152.76 c Restart #91 #Var: 18173 LB: 0 @ 152.69 155.63 c Restart #92 #Var: 18173 LB: 0 @ 155.56 158.13 c Restart #93 #Var: 18173 LB: 0 @ 158.06 161.28 c Restart #94 #Var: 18173 LB: 0 @ 161.22 164.23 c Restart #95 #Var: 18173 LB: 0 @ 164.16 167.20 c Restart #96 #Var: 18173 LB: 0 @ 167.13 170.34 c Restart #97 #Var: 18173 LB: 0 @ 170.27 173.10 c Restart #98 #Var: 18173 LB: 0 @ 173.03 176.73 c Restart #99 #Var: 18173 LB: 0 @ 176.65 180.12 c Restart #100 #Var: 18173 LB: 0 @ 180.04 183.70 c Restart #101 #Var: 18173 LB: 0 @ 183.62 187.34 c Restart #102 #Var: 18173 LB: 0 @ 187.26 190.84 c Restart #103 #Var: 18173 LB: 0 @ 190.76 194.31 c Restart #104 #Var: 18173 LB: 0 @ 194.23 198.23 c Restart #105 #Var: 18173 LB: 0 @ 198.15 201.50 c Restart #106 #Var: 18173 LB: 0 @ 201.42 205.52 c Restart #107 #Var: 18173 LB: 0 @ 205.44 209.02 c Restart #108 #Var: 18173 LB: 0 @ 208.93 213.30 c Restart #109 #Var: 18173 LB: 0 @ 213.22 216.81 c Restart #110 #Var: 18173 LB: 0 @ 216.72 221.00 c Restart #111 #Var: 18173 LB: 0 @ 220.91 224.67 c Restart #112 #Var: 18173 LB: 0 @ 224.58 229.11 c Restart #113 #Var: 18173 LB: 0 @ 229.01 233.04 c Restart #114 #Var: 18173 LB: 0 @ 232.95 237.95 c Restart #115 #Var: 18173 LB: 0 @ 237.85 242.38 c Restart #116 #Var: 18173 LB: 0 @ 242.28
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node88/watcher-40599-1149307466 -o ROOT/results/node88/solver-40599-1149307466 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node88/40599-1149307466/instance-40599-1149307466.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.93 0.99 0.98 2/68 1347 /proc/meminfo: memFree=1689208/2055888 swapFree=4085336/4096564 [pid=1347] ppid=1345 vsize=436 CPUtime=0 /proc/1347/stat : 1347 (bsolo) D 1345 1347 1301 0 -1 0 37 0 0 0 0 0 0 0 19 0 1 0 196385727 446464 23 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9540532 0 2147483391 4096 0 18446744072100015398 0 0 17 1 0 0 /proc/1347/statm: 109 23 18 55 0 18 0 [startup+10.0018 s] /proc/loadavg: 0.94 0.99 0.98 2/68 1347 /proc/meminfo: memFree=1663608/2055888 swapFree=4085336/4096564 [pid=1347] ppid=1345 vsize=30900 CPUtime=9.98 /proc/1347/stat : 1347 (bsolo) R 1345 1347 1301 0 -1 0 7069 0 0 0 988 10 0 0 25 0 1 0 196385727 31641600 6714 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1347/statm: 7725 6714 294 55 0 6616 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 30900 [startup+20.0078 s] /proc/loadavg: 0.95 0.99 0.98 2/68 1347 /proc/meminfo: memFree=1663480/2055888 swapFree=4085336/4096564 [pid=1347] ppid=1345 vsize=30880 CPUtime=19.98 /proc/1347/stat : 1347 (bsolo) R 1345 1347 1301 0 -1 0 7101 0 0 0 1984 14 0 0 25 0 1 0 196385727 31621120 6726 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603673 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1347/statm: 7720 6726 294 55 0 6611 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 30880 [startup+30.0138 s] /proc/loadavg: 0.95 0.99 0.98 2/68 1347 /proc/meminfo: memFree=1663288/2055888 swapFree=4085336/4096564 [pid=1347] ppid=1345 vsize=31240 CPUtime=29.99 /proc/1347/stat : 1347 (bsolo) R 1345 1347 1301 0 -1 0 7173 0 0 0 2981 18 0 0 25 0 1 0 196385727 31989760 6798 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1347/statm: 7810 6798 294 55 0 6701 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 31240 [startup+40.0198 s] /proc/loadavg: 0.96 0.99 0.98 2/68 1347 /proc/meminfo: memFree=1663224/2055888 swapFree=4085336/4096564 [pid=1347] ppid=1345 vsize=31316 CPUtime=39.99 /proc/1347/stat : 1347 (bsolo) R 1345 1347 1301 0 -1 0 7194 0 0 0 3973 26 0 0 25 0 1 0 196385727 32067584 6819 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1347/statm: 7829 6819 294 55 0 6720 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 31316 [startup+50.0258 s] /proc/loadavg: 0.97 0.99 0.98 2/68 1347 /proc/meminfo: memFree=1598072/2055888 swapFree=4085336/4096564 [pid=1347] ppid=1345 vsize=96388 CPUtime=49.99 /proc/1347/stat : 1347 (bsolo) R 1345 1347 1301 0 -1 0 23453 0 0 0 4960 39 0 0 25 0 1 0 196385727 98701312 23075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1347/statm: 24097 23075 294 55 0 22988 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 96388 [startup+60.0319 s] /proc/loadavg: 0.97 0.99 0.98 2/68 1347 /proc/meminfo: memFree=1484920/2055888 swapFree=4085336/4096564 [pid=1347] ppid=1345 vsize=209944 CPUtime=59.99 /proc/1347/stat : 1347 (bsolo) R 1345 1347 1301 0 -1 0 51736 0 0 0 5946 53 0 0 25 0 1 0 196385727 214982656 51343 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9975851 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1347/statm: 52486 51343 294 55 0 51377 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 209944 [startup+70.0379 s] /proc/loadavg: 0.98 0.99 0.98 2/68 1347 /proc/meminfo: memFree=1345080/2055888 swapFree=4085336/4096564 [pid=1347] ppid=1345 vsize=349760 CPUtime=69.99 /proc/1347/stat : 1347 (bsolo) R 1345 1347 1301 0 -1 0 86638 0 0 0 6927 72 0 0 25 0 1 0 196385727 358154240 86220 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1347/statm: 87440 86220 294 55 0 86331 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 349760 [startup+80.0449 s] /proc/loadavg: 0.98 0.99 0.98 2/68 1347 /proc/meminfo: memFree=1254264/2055888 swapFree=4085336/4096564 [pid=1347] ppid=1345 vsize=440968 CPUtime=79.99 /proc/1347/stat : 1347 (bsolo) R 1345 1347 1301 0 -1 0 109309 0 0 0 7915 84 0 0 25 0 1 0 196385727 451551232 108858 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1347/statm: 110242 108858 294 55 0 109133 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 440968 [startup+90.0519 s] /proc/loadavg: 0.98 0.99 0.98 2/68 1347 /proc/meminfo: memFree=1136568/2055888 swapFree=4085336/4096564 [pid=1347] ppid=1345 vsize=559200 CPUtime=90 /proc/1347/stat : 1347 (bsolo) R 1345 1347 1301 0 -1 0 138879 0 0 0 8896 104 0 0 25 0 1 0 196385727 572620800 138233 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1347/statm: 139800 138233 294 55 0 138691 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 559200 [startup+100.058 s] /proc/loadavg: 0.98 0.99 0.98 2/68 1347 /proc/meminfo: memFree=1028152/2055888 swapFree=4085336/4096564 [pid=1347] ppid=1345 vsize=667640 CPUtime=100 /proc/1347/stat : 1347 (bsolo) R 1345 1347 1301 0 -1 0 165975 0 0 0 9883 117 0 0 25 0 1 0 196385727 683663360 165306 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1347/statm: 166910 165306 294 55 0 165801 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 667640 [startup+110.064 s] /proc/loadavg: 0.99 0.99 0.98 2/68 1347 /proc/meminfo: memFree=928568/2055888 swapFree=4085336/4096564 [pid=1347] ppid=1345 vsize=767644 CPUtime=110 /proc/1347/stat : 1347 (bsolo) R 1345 1347 1301 0 -1 0 191125 0 0 0 10872 128 0 0 25 0 1 0 196385727 786067456 190116 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1347/statm: 191911 190116 294 55 0 190802 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 767644 [startup+120.071 s] /proc/loadavg: 0.99 0.99 0.98 2/68 1347 /proc/meminfo: memFree=838968/2055888 swapFree=4085336/4096564 [pid=1347] ppid=1345 vsize=857836 CPUtime=120 /proc/1347/stat : 1347 (bsolo) R 1345 1347 1301 0 -1 0 213747 0 0 0 11860 140 0 0 25 0 1 0 196385727 878424064 212472 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1347/statm: 214459 212472 294 55 0 213350 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 857836 [startup+130.077 s] /proc/loadavg: 0.99 0.99 0.98 2/68 1347 /proc/meminfo: memFree=747832/2055888 swapFree=4085336/4096564 [pid=1347] ppid=1345 vsize=948908 CPUtime=130.01 /proc/1347/stat : 1347 (bsolo) R 1345 1347 1301 0 -1 0 236735 0 0 0 12845 156 0 0 25 0 1 0 196385727 971681792 235215 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1347/statm: 237227 235215 294 55 0 236118 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 948908 [startup+140.083 s] /proc/loadavg: 0.99 0.99 0.98 2/68 1347 /proc/meminfo: memFree=661176/2055888 swapFree=4085336/4096564 [pid=1347] ppid=1345 vsize=1035396 CPUtime=140.01 /proc/1347/stat : 1347 (bsolo) R 1345 1347 1301 0 -1 0 258355 0 0 0 13833 168 0 0 25 0 1 0 196385727 1060245504 256827 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1347/statm: 258849 256827 294 55 0 257740 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 1035396 [startup+150.09 s] /proc/loadavg: 0.99 0.99 0.98 2/68 1347 /proc/meminfo: memFree=569976/2055888 swapFree=4085336/4096564 [pid=1347] ppid=1345 vsize=1127052 CPUtime=150.02 /proc/1347/stat : 1347 (bsolo) R 1345 1347 1301 0 -1 0 281377 0 0 0 14822 180 0 0 25 0 1 0 196385727 1154101248 279581 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1347/statm: 281763 279581 294 55 0 280654 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 1127052 [startup+160.096 s] /proc/loadavg: 0.99 0.99 0.98 2/68 1347 /proc/meminfo: memFree=481848/2055888 swapFree=4085336/4096564 [pid=1347] ppid=1345 vsize=1216328 CPUtime=160.01 /proc/1347/stat : 1347 (bsolo) R 1345 1347 1301 0 -1 0 303821 0 0 0 15811 190 0 0 25 0 1 0 196385727 1245519872 301571 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1347/statm: 304082 301571 294 55 0 302973 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 1216328 [startup+170.102 s] /proc/loadavg: 0.99 0.99 0.98 2/68 1347 /proc/meminfo: memFree=400632/2055888 swapFree=4085336/4096564 [pid=1347] ppid=1345 vsize=1297896 CPUtime=170.02 /proc/1347/stat : 1347 (bsolo) R 1345 1347 1301 0 -1 0 324378 0 0 0 16801 201 0 0 25 0 1 0 196385727 1329045504 321834 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529265 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1347/statm: 324474 321834 294 55 0 323365 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 1297896 [startup+180.108 s] /proc/loadavg: 0.99 0.99 0.98 2/68 1347 /proc/meminfo: memFree=324472/2055888 swapFree=4085336/4096564 [pid=1347] ppid=1345 vsize=1373596 CPUtime=180.02 /proc/1347/stat : 1347 (bsolo) R 1345 1347 1301 0 -1 0 343394 0 0 0 17791 211 0 0 25 0 1 0 196385727 1406562304 340845 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1347/statm: 343399 340845 294 55 0 342290 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 1373596 [startup+190.114 s] /proc/loadavg: 0.99 0.99 0.98 2/68 1347 /proc/meminfo: memFree=247352/2055888 swapFree=4085336/4096564 [pid=1347] ppid=1345 vsize=1451032 CPUtime=190.02 /proc/1347/stat : 1347 (bsolo) R 1345 1347 1301 0 -1 0 362899 0 0 0 18779 223 0 0 25 0 1 0 196385727 1485856768 360106 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9975851 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1347/statm: 362758 360106 294 55 0 361649 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 1451032 [startup+200.12 s] /proc/loadavg: 0.99 0.99 0.98 2/68 1347 /proc/meminfo: memFree=176952/2055888 swapFree=4085336/4096564 [pid=1347] ppid=1345 vsize=1521132 CPUtime=200.03 /proc/1347/stat : 1347 (bsolo) R 1345 1347 1301 0 -1 0 380478 0 0 0 19770 233 0 0 25 0 1 0 196385727 1557639168 377671 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9975851 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1347/statm: 380283 377671 294 55 0 379174 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 1521132 [startup+210.126 s] /proc/loadavg: 0.99 0.99 0.98 2/68 1347 /proc/meminfo: memFree=108472/2055888 swapFree=4085336/4096564 [pid=1347] ppid=1345 vsize=1590136 CPUtime=210.03 /proc/1347/stat : 1347 (bsolo) R 1345 1347 1301 0 -1 0 397868 0 0 0 20760 243 0 0 25 0 1 0 196385727 1628299264 394735 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1347/statm: 397534 394735 294 55 0 396425 0 Current children cumulated CPU time (s) 210.03 Current children cumulated vsize (Kb) 1590136 [startup+220.132 s] /proc/loadavg: 0.99 0.99 0.98 2/68 1347 /proc/meminfo: memFree=27320/2055888 swapFree=4085336/4096564 [pid=1347] ppid=1345 vsize=1670812 CPUtime=220.03 /proc/1347/stat : 1347 (bsolo) R 1345 1347 1301 0 -1 0 418126 0 0 0 21749 254 0 0 25 0 1 0 196385727 1710911488 414979 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1347/statm: 417703 414979 294 55 0 416594 0 Current children cumulated CPU time (s) 220.03 Current children cumulated vsize (Kb) 1670812 [startup+230.138 s] /proc/loadavg: 0.99 0.99 0.98 2/68 1347 /proc/meminfo: memFree=15032/2055888 swapFree=4085336/4096564 [pid=1347] ppid=1345 vsize=1732372 CPUtime=230.03 /proc/1347/stat : 1347 (bsolo) R 1345 1347 1301 0 -1 0 433638 0 0 0 22739 264 0 0 25 0 1 0 196385727 1773948928 430327 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1347/statm: 433093 430327 294 55 0 431984 0 Current children cumulated CPU time (s) 230.03 Current children cumulated vsize (Kb) 1732372 [startup+240.145 s] /proc/loadavg: 0.99 0.99 0.98 2/68 1347 /proc/meminfo: memFree=15736/2055888 swapFree=4085336/4096564 [pid=1347] ppid=1345 vsize=1804016 CPUtime=240.03 /proc/1347/stat : 1347 (bsolo) R 1345 1347 1301 0 -1 0 451673 0 0 0 23729 274 0 0 25 0 1 0 196385727 1847312384 448116 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1347/statm: 451004 448116 294 55 0 449895 0 Current children cumulated CPU time (s) 240.03 Current children cumulated vsize (Kb) 1804016 Child ended because it received signal 11 (SIGSEGV) Real time (s): 245.896 CPU time (s): 245.792 CPU user time (s): 242.72 CPU system time (s): 3.07153 CPU usage (%): 99.9574 Max. virtual memory (cumulated for all children) (Kb): 1804016 The end
Begin job on node88 on Sat Jun 3 04:04:26 UTC 2006 FILE ID= 40599-1149307466 PBS_JOBID= 307710 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-tr12-30.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node88/40599-1149307466/instance-40599-1149307466.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node88/watcher-40599-1149307466 -o ROOT/results/node88/solver-40599-1149307466 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node88/40599-1149307466/instance-40599-1149307466.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 9b62ad3c86a83b0289fcc931c207c964 RANDOM SEED= 629851329 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.261 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 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.261 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.38 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1689416 kB Buffers: 25860 kB Cached: 272236 kB SwapCached: 2396 kB Active: 133948 kB Inactive: 172852 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1689416 kB SwapTotal: 4096564 kB SwapFree: 4085336 kB Dirty: 184 kB Writeback: 0 kB Mapped: 16796 kB Slab: 46284 kB Committed_AS: 314148 kB PageTables: 1280 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node88 on Sat Jun 3 04:08:32 UTC 2006