Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | Signal | 380.213 | 380.519 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-B1C1S1.opb |
MD5SUM | bb02029eb777c2a6ae8e192b29bcb9de |
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 | 107808 |
Total number of constraints | 3904 |
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 | 3904 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 1440 |
Number of terms in the objective function | 38688 |
Biggest coefficient in the objective function | 348966092800 |
Number of bits for the biggest coefficient in the objective function | 39 |
Sum of the numbers in the objective function | 299074813804544 |
Number of bits of the sum of numbers in the objective function | 49 |
Biggest number in a constraint | 348966092800 |
Number of bits of the biggest number in a constraint | 39 |
Biggest sum of numbers in a constraint | 299074813804544 |
Number of bits of the biggest sum of numbers | 49 |
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.01 c BIG Int formula... 16.06 c Initial problem consists of 107808 variables and 5184 constraints. 16.36 c No problem reductions applied in OPT. instance. 16.36 c preprocess terminated. Elapsed time: 16.339 16.36 c After prepocess the problem consists of 68716 variables and 5184 constraints. 16.36 c Initial Lower Bound: 0 18.04 c Restart #1 #Var: 68716 LB: 0 @ 18.025 20.18 c Restart #2 #Var: 68716 LB: 0 @ 20.162 22.86 c Restart #3 #Var: 68716 LB: 0 @ 22.836 27.91 c Restart #4 #Var: 68716 LB: 0 @ 27.883 33.52 c Restart #5 #Var: 68716 LB: 0 @ 33.491 38.23 c Restart #6 #Var: 68716 LB: 0 @ 38.208 45.21 c Restart #7 #Var: 68716 LB: 0 @ 45.177 51.67 c Restart #8 #Var: 68716 LB: 0 @ 51.638 59.11 c Restart #9 #Var: 68716 LB: 0 @ 59.078 64.56 c Restart #10 #Var: 68716 LB: 0 @ 64.531 70.21 c Restart #11 #Var: 68716 LB: 0 @ 70.173 72.76 c Restart #12 #Var: 68716 LB: 0 @ 72.727 73.64 c Restart #13 #Var: 68716 LB: 0 @ 73.606 73.89 c Restart #14 #Var: 68716 LB: 0 @ 73.858 74.17 c Restart #15 #Var: 68716 LB: 0 @ 74.136 74.47 c Restart #16 #Var: 68716 LB: 0 @ 74.434 74.80 c Restart #17 #Var: 68716 LB: 0 @ 74.759 75.13 c Restart #18 #Var: 68716 LB: 0 @ 75.089 75.52 c Restart #19 #Var: 68716 LB: 0 @ 75.479 75.90 c Restart #20 #Var: 68716 LB: 0 @ 75.867 76.34 c Restart #21 #Var: 68716 LB: 0 @ 76.298 76.77 c Restart #22 #Var: 68716 LB: 0 @ 76.735 77.31 c Restart #23 #Var: 68716 LB: 0 @ 77.275 77.85 c Restart #24 #Var: 68716 LB: 0 @ 77.812 78.41 c Restart #25 #Var: 68716 LB: 0 @ 78.375 79.13 c Restart #26 #Var: 68716 LB: 0 @ 79.096 80.06 c Restart #27 #Var: 68716 LB: 0 @ 80.023 81.25 c Restart #28 #Var: 68716 LB: 0 @ 81.212 82.46 c Restart #29 #Var: 68716 LB: 0 @ 82.416 83.35 c Restart #30 #Var: 68716 LB: 0 @ 83.31 84.17 c Restart #31 #Var: 68716 LB: 0 @ 84.126 84.88 c Restart #32 #Var: 68716 LB: 0 @ 84.838 85.77 c Restart #33 #Var: 68716 LB: 0 @ 85.725 86.64 c Restart #34 #Var: 68716 LB: 0 @ 86.598 87.54 c Restart #35 #Var: 68716 LB: 0 @ 87.499 88.54 c Restart #36 #Var: 68716 LB: 0 @ 88.502 89.52 c Restart #37 #Var: 68716 LB: 0 @ 89.474 90.51 c Restart #38 #Var: 68716 LB: 0 @ 90.471 91.50 c Restart #39 #Var: 68716 LB: 0 @ 91.462 92.66 c Restart #40 #Var: 68716 LB: 0 @ 92.617 93.68 c Restart #41 #Var: 68716 LB: 0 @ 93.64 94.90 c Restart #42 #Var: 68716 LB: 0 @ 94.862 96.03 c Restart #43 #Var: 68716 LB: 0 @ 95.984 97.40 c Restart #44 #Var: 68716 LB: 0 @ 97.36 98.61 c Restart #45 #Var: 68716 LB: 0 @ 98.562 99.98 c Restart #46 #Var: 68716 LB: 0 @ 99.938 101.35 c Restart #47 #Var: 68716 LB: 0 @ 101.31 102.70 c Restart #48 #Var: 68716 LB: 0 @ 102.66 104.26 c Restart #49 #Var: 68716 LB: 0 @ 104.21 105.79 c Restart #50 #Var: 68716 LB: 0 @ 105.74 107.29 c Restart #51 #Var: 68716 LB: 0 @ 107.24 109.04 c Restart #52 #Var: 68716 LB: 0 @ 108.99 110.70 c Restart #53 #Var: 68716 LB: 0 @ 110.66 112.46 c Restart #54 #Var: 68716 LB: 0 @ 112.42 114.44 c Restart #55 #Var: 68716 LB: 0 @ 114.4 116.31 c Restart #56 #Var: 68716 LB: 0 @ 116.26 118.24 c Restart #57 #Var: 68716 LB: 0 @ 118.19 119.97 c Restart #58 #Var: 68716 LB: 0 @ 119.92 122.19 c Restart #59 #Var: 68716 LB: 0 @ 122.14 124.17 c Restart #60 #Var: 68716 LB: 0 @ 124.12 126.26 c Restart #61 #Var: 68716 LB: 0 @ 126.21 128.41 c Restart #62 #Var: 68716 LB: 0 @ 128.36 130.29 c Restart #63 #Var: 68716 LB: 0 @ 130.24 132.61 c Restart #64 #Var: 68716 LB: 0 @ 132.55 134.92 c Restart #65 #Var: 68716 LB: 0 @ 134.86 137.29 c Restart #66 #Var: 68716 LB: 0 @ 137.23 139.87 c Restart #67 #Var: 68716 LB: 0 @ 139.8 142.02 c Restart #68 #Var: 68716 LB: 0 @ 141.94 144.40 c Restart #69 #Var: 68716 LB: 0 @ 144.32 146.49 c Restart #70 #Var: 68716 LB: 0 @ 146.41 148.96 c Restart #71 #Var: 68716 LB: 0 @ 148.85 151.76 c Restart #72 #Var: 68716 LB: 0 @ 151.66 154.31 c Restart #73 #Var: 68716 LB: 0 @ 154.19 157.02 c Restart #74 #Var: 68716 LB: 0 @ 156.89 159.56 c Restart #75 #Var: 68716 LB: 0 @ 159.43 162.48 c Restart #76 #Var: 68716 LB: 0 @ 162.34 165.18 c Restart #77 #Var: 68716 LB: 0 @ 165.04 168.14 c Restart #78 #Var: 68716 LB: 0 @ 168 171.06 c Restart #79 #Var: 68716 LB: 0 @ 170.93 174.51 c Restart #80 #Var: 68716 LB: 0 @ 174.37 177.80 c Restart #81 #Var: 68716 LB: 0 @ 177.67 181.18 c Restart #82 #Var: 68716 LB: 0 @ 181.04 184.33 c Restart #83 #Var: 68716 LB: 0 @ 184.19 187.74 c Restart #84 #Var: 68716 LB: 0 @ 187.6 190.75 c Restart #85 #Var: 68716 LB: 0 @ 190.61 194.39 c Restart #86 #Var: 68716 LB: 0 @ 194.25 197.59 c Restart #87 #Var: 68716 LB: 0 @ 197.44 201.92 c Restart #88 #Var: 68716 LB: 0 @ 201.77 205.40 c Restart #89 #Var: 68716 LB: 0 @ 205.25 209.11 c Restart #90 #Var: 68716 LB: 0 @ 208.96 212.96 c Restart #91 #Var: 68716 LB: 0 @ 212.81 217.04 c Restart #92 #Var: 68716 LB: 0 @ 216.89 221.14 c Restart #93 #Var: 68716 LB: 0 @ 220.99 225.19 c Restart #94 #Var: 68716 LB: 0 @ 225.04 229.24 c Restart #95 #Var: 68716 LB: 0 @ 229.09 233.84 c Restart #96 #Var: 68716 LB: 0 @ 233.68 237.29 c Restart #97 #Var: 68716 LB: 0 @ 237.14 241.35 c Restart #98 #Var: 68716 LB: 0 @ 241.19 245.18 c Restart #99 #Var: 68716 LB: 0 @ 245.03 249.74 c Restart #100 #Var: 68716 LB: 0 @ 249.58 254.03 c Restart #101 #Var: 68716 LB: 0 @ 253.87 258.14 c Restart #102 #Var: 68716 LB: 0 @ 257.98 262.55 c Restart #103 #Var: 68716 LB: 0 @ 262.39 267.25 c Restart #104 #Var: 68716 LB: 0 @ 267.09 271.48 c Restart #105 #Var: 68716 LB: 0 @ 271.32 276.15 c Restart #106 #Var: 68716 LB: 0 @ 275.99 281.07 c Restart #107 #Var: 68716 LB: 0 @ 280.9 285.82 c Restart #108 #Var: 68716 LB: 0 @ 285.65 290.91 c Restart #109 #Var: 68716 LB: 0 @ 290.74 295.77 c Restart #110 #Var: 68716 LB: 0 @ 295.6 301.31 c Restart #111 #Var: 68716 LB: 0 @ 301.13 306.86 c Restart #112 #Var: 68716 LB: 0 @ 306.69 312.88 c Restart #113 #Var: 68716 LB: 0 @ 312.7 318.38 c Restart #114 #Var: 68716 LB: 0 @ 318.2 323.54 c Restart #115 #Var: 68716 LB: 0 @ 323.34 328.75 c Restart #116 #Var: 68716 LB: 0 @ 328.55 334.60 c Restart #117 #Var: 68716 LB: 0 @ 334.39 339.51 c Restart #118 #Var: 68716 LB: 0 @ 339.3 344.94 c Restart #119 #Var: 68716 LB: 0 @ 344.73 350.48 c Restart #120 #Var: 68716 LB: 0 @ 350.26 356.36 c Restart #121 #Var: 68716 LB: 0 @ 356.13 361.42 c Restart #122 #Var: 68716 LB: 0 @ 361.18 367.58 c Restart #123 #Var: 68716 LB: 0 @ 367.32 372.46 c Restart #124 #Var: 68716 LB: 0 @ 372.18 378.76 c Restart #125 #Var: 68716 LB: 0 @ 378.47
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/node7/watcher-40590-1149307125 -o ROOT/results/node7/solver-40590-1149307125 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node7/40590-1149307125/instance-40590-1149307125.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.87 0.98 0.95 2/64 15588 /proc/meminfo: memFree=1524120/2055920 swapFree=4181500/4192956 [pid=15588] ppid=15586 vsize=4928 CPUtime=0 /proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 334 0 0 0 0 0 0 0 19 0 1 0 196374708 5046272 298 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159471296 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15588/statm: 1232 300 202 55 0 124 0 [startup+10.0024 s] /proc/loadavg: 0.89 0.98 0.95 2/64 15588 /proc/meminfo: memFree=1461400/2055920 swapFree=4181500/4192956 [pid=15588] ppid=15586 vsize=67344 CPUtime=9.98 /proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 1767519 0 0 0 520 478 0 0 25 0 1 0 196374708 68960256 15864 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15588/statm: 16930 15872 281 55 0 15822 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 67344 [startup+20.0085 s] /proc/loadavg: 0.91 0.98 0.95 2/64 15588 /proc/meminfo: memFree=1397784/2055920 swapFree=4181500/4192956 [pid=15588] ppid=15586 vsize=134404 CPUtime=19.98 /proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 2981865 0 0 0 1181 817 0 0 25 0 1 0 196374708 137629696 31863 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15588/statm: 33601 31863 297 55 0 32493 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 134404 [startup+30.0155 s] /proc/loadavg: 0.92 0.98 0.95 2/64 15588 /proc/meminfo: memFree=1397592/2055920 swapFree=4181500/4192956 [pid=15588] ppid=15586 vsize=134776 CPUtime=29.98 /proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 2982013 0 0 0 2165 833 0 0 25 0 1 0 196374708 138010624 31949 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15588/statm: 33694 31949 297 55 0 32586 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 134776 [startup+40.0216 s] /proc/loadavg: 0.93 0.98 0.95 2/64 15588 /proc/meminfo: memFree=1397464/2055920 swapFree=4181500/4192956 [pid=15588] ppid=15586 vsize=134908 CPUtime=39.98 /proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 2982043 0 0 0 3144 854 0 0 25 0 1 0 196374708 138145792 31979 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15588/statm: 33727 31979 297 55 0 32619 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 134908 [startup+50.0277 s] /proc/loadavg: 0.94 0.98 0.95 2/64 15588 /proc/meminfo: memFree=1397400/2055920 swapFree=4181500/4192956 [pid=15588] ppid=15586 vsize=134908 CPUtime=49.99 /proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 2982063 0 0 0 4128 871 0 0 25 0 1 0 196374708 138145792 31999 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540647 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15588/statm: 33727 31999 297 55 0 32619 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 134908 [startup+60.0337 s] /proc/loadavg: 0.95 0.98 0.95 2/64 15588 /proc/meminfo: memFree=1397400/2055920 swapFree=4181500/4192956 [pid=15588] ppid=15586 vsize=134908 CPUtime=59.99 /proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 2982069 0 0 0 5106 893 0 0 25 0 1 0 196374708 138145792 32005 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15588/statm: 33727 32005 297 55 0 32619 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 134908 [startup+70.0398 s] /proc/loadavg: 0.96 0.98 0.95 2/64 15588 /proc/meminfo: memFree=1394968/2055920 swapFree=4181500/4192956 [pid=15588] ppid=15586 vsize=137416 CPUtime=70 /proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 2982689 0 0 0 6073 927 0 0 25 0 1 0 196374708 140713984 32625 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15588/statm: 34354 32625 297 55 0 33246 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 137416 [startup+80.0458 s] /proc/loadavg: 0.96 0.98 0.95 2/64 15588 /proc/meminfo: memFree=1326296/2055920 swapFree=4181500/4192956 [pid=15588] ppid=15586 vsize=206112 CPUtime=80 /proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 2999810 0 0 0 7052 948 0 0 25 0 1 0 196374708 211058688 49734 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15588/statm: 51528 49734 297 55 0 50420 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 206112 [startup+90.0519 s] /proc/loadavg: 0.97 0.98 0.95 2/64 15588 /proc/meminfo: memFree=1251672/2055920 swapFree=4181500/4192956 [pid=15588] ppid=15586 vsize=281068 CPUtime=90 /proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3018461 0 0 0 8039 961 0 0 25 0 1 0 196374708 287813632 68356 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15588/statm: 70267 68356 297 55 0 69159 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 281068 [startup+100.058 s] /proc/loadavg: 0.97 0.98 0.95 2/64 15588 /proc/meminfo: memFree=1173976/2055920 swapFree=4181500/4192956 [pid=15588] ppid=15586 vsize=359564 CPUtime=100 /proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3037983 0 0 0 9027 973 0 0 25 0 1 0 196374708 368193536 87750 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15588/statm: 89891 87750 297 55 0 88783 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 359564 [startup+110.064 s] /proc/loadavg: 0.98 0.98 0.95 2/64 15588 /proc/meminfo: memFree=1102936/2055920 swapFree=4181500/4192956 [pid=15588] ppid=15586 vsize=430752 CPUtime=110 /proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3055894 0 0 0 10015 985 0 0 25 0 1 0 196374708 441090048 105487 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15588/statm: 107688 105487 297 55 0 106580 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 430752 [startup+120.07 s] /proc/loadavg: 0.98 0.98 0.95 2/64 15588 /proc/meminfo: memFree=1037464/2055920 swapFree=4181500/4192956 [pid=15588] ppid=15586 vsize=496844 CPUtime=120.01 /proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3072570 0 0 0 11006 995 0 0 25 0 1 0 196374708 508768256 121815 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15588/statm: 124211 121815 297 55 0 123103 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 496844 [startup+130.076 s] /proc/loadavg: 0.98 0.98 0.95 2/64 15588 /proc/meminfo: memFree=971352/2055920 swapFree=4181500/4192956 [pid=15588] ppid=15586 vsize=563208 CPUtime=130.01 /proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3089380 0 0 0 11995 1006 0 0 25 0 1 0 196374708 576724992 138299 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15588/statm: 140802 138299 297 55 0 139694 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 563208 [startup+140.082 s] /proc/loadavg: 0.98 0.98 0.95 2/70 15643 /proc/meminfo: memFree=912936/2055920 swapFree=4181500/4192956 [pid=15588] ppid=15586 vsize=621056 CPUtime=140 /proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3103968 0 0 0 12982 1018 0 0 25 0 1 0 196374708 635961344 152536 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15588/statm: 155264 152536 297 55 0 154156 0 Current children cumulated CPU time (s) 140 Current children cumulated vsize (Kb) 621056 [startup+150.089 s] /proc/loadavg: 0.99 0.98 0.95 2/70 15701 /proc/meminfo: memFree=848680/2055920 swapFree=4181500/4192956 [pid=15588] ppid=15586 vsize=685604 CPUtime=149.97 /proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3120111 0 0 0 13968 1029 0 0 25 0 1 0 196374708 702058496 168583 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15588/statm: 171401 168583 297 55 0 170293 0 Current children cumulated CPU time (s) 149.97 Current children cumulated vsize (Kb) 685604 [startup+160.096 s] /proc/loadavg: 0.99 0.98 0.95 2/64 15783 /proc/meminfo: memFree=789976/2055920 swapFree=4181500/4192956 [pid=15588] ppid=15586 vsize=745124 CPUtime=159.96 /proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3135182 0 0 0 14956 1040 0 0 25 0 1 0 196374708 763006976 183490 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 0 0 0 /proc/15588/statm: 186281 183490 297 55 0 185173 0 Current children cumulated CPU time (s) 159.96 Current children cumulated vsize (Kb) 745124 [startup+170.102 s] /proc/loadavg: 0.99 0.98 0.95 2/64 15783 /proc/meminfo: memFree=728600/2055920 swapFree=4181500/4192956 [pid=15588] ppid=15586 vsize=807124 CPUtime=169.96 /proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3150867 0 0 0 15947 1049 0 0 25 0 1 0 196374708 826494976 198851 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15588/statm: 201781 198851 297 55 0 200673 0 Current children cumulated CPU time (s) 169.96 Current children cumulated vsize (Kb) 807124 [startup+180.108 s] /proc/loadavg: 0.99 0.98 0.95 2/64 15783 /proc/meminfo: memFree=676312/2055920 swapFree=4181500/4192956 [pid=15588] ppid=15586 vsize=860268 CPUtime=179.96 /proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3164333 0 0 0 16938 1058 0 0 25 0 1 0 196374708 880914432 211902 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15588/statm: 215067 211902 297 55 0 213959 0 Current children cumulated CPU time (s) 179.96 Current children cumulated vsize (Kb) 860268 [startup+190.114 s] /proc/loadavg: 0.99 0.98 0.95 2/64 15783 /proc/meminfo: memFree=616984/2055920 swapFree=4181500/4192956 [pid=15588] ppid=15586 vsize=921424 CPUtime=189.96 /proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3179940 0 0 0 17927 1069 0 0 25 0 1 0 196374708 943538176 226697 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15588/statm: 230356 226697 297 55 0 229248 0 Current children cumulated CPU time (s) 189.96 Current children cumulated vsize (Kb) 921424 [startup+200.12 s] /proc/loadavg: 0.99 0.98 0.95 2/64 15783 /proc/meminfo: memFree=565208/2055920 swapFree=4181500/4192956 [pid=15588] ppid=15586 vsize=972864 CPUtime=199.97 /proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3192881 0 0 0 18919 1078 0 0 25 0 1 0 196374708 996212736 239626 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15588/statm: 243216 239626 297 55 0 242108 0 Current children cumulated CPU time (s) 199.97 Current children cumulated vsize (Kb) 972864 [startup+210.127 s] /proc/loadavg: 0.99 0.98 0.95 2/64 15783 /proc/meminfo: memFree=517656/2055920 swapFree=4181500/4192956 [pid=15588] ppid=15586 vsize=1020752 CPUtime=209.97 /proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3204992 0 0 0 19913 1084 0 0 25 0 1 0 196374708 1045250048 251484 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15588/statm: 255188 251484 297 55 0 254080 0 Current children cumulated CPU time (s) 209.97 Current children cumulated vsize (Kb) 1020752 [startup+220.134 s] /proc/loadavg: 0.99 0.98 0.95 2/64 15783 /proc/meminfo: memFree=462872/2055920 swapFree=4181500/4192956 [pid=15588] ppid=15586 vsize=1075904 CPUtime=219.98 /proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3218982 0 0 0 20905 1093 0 0 25 0 1 0 196374708 1101725696 265148 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15588/statm: 268976 265148 297 55 0 267868 0 Current children cumulated CPU time (s) 219.98 Current children cumulated vsize (Kb) 1075904 [startup+230.139 s] /proc/loadavg: 0.99 0.98 0.95 2/64 15783 /proc/meminfo: memFree=418264/2055920 swapFree=4181500/4192956 [pid=15588] ppid=15586 vsize=1120512 CPUtime=229.97 /proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3230266 0 0 0 21897 1100 0 0 25 0 1 0 196374708 1147404288 276270 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15588/statm: 280128 276270 297 55 0 279020 0 Current children cumulated CPU time (s) 229.97 Current children cumulated vsize (Kb) 1120512 [startup+240.145 s] /proc/loadavg: 0.99 0.98 0.95 2/64 15783 /proc/meminfo: memFree=361112/2055920 swapFree=4181500/4192956 [pid=15588] ppid=15586 vsize=1177592 CPUtime=239.98 /proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3244559 0 0 0 22888 1110 0 0 25 0 1 0 196374708 1205854208 290541 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15588/statm: 294398 290541 297 55 0 293290 0 Current children cumulated CPU time (s) 239.98 Current children cumulated vsize (Kb) 1177592 [startup+250.151 s] /proc/loadavg: 0.99 0.98 0.95 2/64 15783 /proc/meminfo: memFree=313688/2055920 swapFree=4181500/4192956 [pid=15588] ppid=15586 vsize=1224584 CPUtime=249.99 /proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3256379 0 0 0 23879 1120 0 0 25 0 1 0 196374708 1253974016 302361 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15588/statm: 306146 302361 297 55 0 305038 0 Current children cumulated CPU time (s) 249.99 Current children cumulated vsize (Kb) 1224584 [startup+260.157 s] /proc/loadavg: 0.99 0.98 0.95 2/64 15783 /proc/meminfo: memFree=260440/2055920 swapFree=4181500/4192956 [pid=15588] ppid=15586 vsize=1277712 CPUtime=259.98 /proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3269754 0 0 0 24870 1128 0 0 25 0 1 0 196374708 1308377088 315654 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15588/statm: 319428 315654 297 55 0 318320 0 Current children cumulated CPU time (s) 259.98 Current children cumulated vsize (Kb) 1277712 [startup+270.163 s] /proc/loadavg: 0.99 0.98 0.95 2/64 15783 /proc/meminfo: memFree=208792/2055920 swapFree=4181500/4192956 [pid=15588] ppid=15586 vsize=1328932 CPUtime=269.99 /proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3282641 0 0 0 25862 1137 0 0 25 0 1 0 196374708 1360826368 328541 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550888 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15588/statm: 332233 328541 297 55 0 331125 0 Current children cumulated CPU time (s) 269.99 Current children cumulated vsize (Kb) 1328932 [startup+280.17 s] /proc/loadavg: 0.99 0.98 0.95 2/64 15783 /proc/meminfo: memFree=159000/2055920 swapFree=4181500/4192956 [pid=15588] ppid=15586 vsize=1378948 CPUtime=280 /proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3295231 0 0 0 26855 1145 0 0 25 0 1 0 196374708 1412042752 340969 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15588/statm: 344737 340969 297 55 0 343629 0 Current children cumulated CPU time (s) 280 Current children cumulated vsize (Kb) 1378948 [startup+290.175 s] /proc/loadavg: 0.99 0.98 0.95 2/64 15783 /proc/meminfo: memFree=110296/2055920 swapFree=4181500/4192956 [pid=15588] ppid=15586 vsize=1427968 CPUtime=289.99 /proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3307611 0 0 0 27847 1152 0 0 25 0 1 0 196374708 1462239232 353105 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15588/statm: 356992 353105 297 55 0 355884 0 Current children cumulated CPU time (s) 289.99 Current children cumulated vsize (Kb) 1427968 [startup+300.181 s] /proc/loadavg: 0.99 0.98 0.95 2/64 15783 /proc/meminfo: memFree=64664/2055920 swapFree=4181500/4192956 [pid=15588] ppid=15586 vsize=1473624 CPUtime=300 /proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3319157 0 0 0 28841 1159 0 0 25 0 1 0 196374708 1508990976 364489 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15588/statm: 368406 364489 297 55 0 367298 0 Current children cumulated CPU time (s) 300 Current children cumulated vsize (Kb) 1473624 [startup+310.187 s] /proc/loadavg: 0.99 0.98 0.95 2/64 15783 /proc/meminfo: memFree=26136/2055920 swapFree=4181500/4192956 [pid=15588] ppid=15586 vsize=1512204 CPUtime=310 /proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3329020 0 0 0 29835 1165 0 0 25 0 1 0 196374708 1548496896 374108 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15588/statm: 378051 374109 297 55 0 376943 0 Current children cumulated CPU time (s) 310 Current children cumulated vsize (Kb) 1512204 [startup+320.193 s] /proc/loadavg: 0.99 0.98 0.95 2/64 15783 /proc/meminfo: memFree=15128/2055920 swapFree=4181500/4192956 [pid=15588] ppid=15586 vsize=1557004 CPUtime=320 /proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3340505 0 0 0 30829 1171 0 0 25 0 1 0 196374708 1594372096 384947 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15588/statm: 389251 384947 297 55 0 388143 0 Current children cumulated CPU time (s) 320 Current children cumulated vsize (Kb) 1557004 [startup+330.199 s] /proc/loadavg: 0.99 0.98 0.95 2/64 15783 /proc/meminfo: memFree=14808/2055920 swapFree=4181500/4192956 [pid=15588] ppid=15586 vsize=1602948 CPUtime=329.98 /proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3352177 0 0 0 31821 1177 0 0 25 0 1 0 196374708 1641418752 396619 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534863 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15588/statm: 400737 396619 297 55 0 399629 0 Current children cumulated CPU time (s) 329.98 Current children cumulated vsize (Kb) 1602948 [startup+340.206 s] /proc/loadavg: 0.99 0.98 0.95 2/64 15783 /proc/meminfo: memFree=15512/2055920 swapFree=4181500/4192956 [pid=15588] ppid=15586 vsize=1656256 CPUtime=339.98 /proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3365940 0 0 0 32813 1185 0 0 25 0 1 0 196374708 1696006144 409096 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548645 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15588/statm: 414064 409096 297 55 0 412956 0 Current children cumulated CPU time (s) 339.98 Current children cumulated vsize (Kb) 1656256 [startup+350.212 s] /proc/loadavg: 0.99 0.98 0.95 2/64 15783 /proc/meminfo: memFree=15832/2055920 swapFree=4181500/4192956 [pid=15588] ppid=15586 vsize=1707340 CPUtime=349.98 /proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3378793 0 0 0 33804 1194 0 0 25 0 1 0 196374708 1748316160 421949 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15588/statm: 426835 421949 297 55 0 425727 0 Current children cumulated CPU time (s) 349.98 Current children cumulated vsize (Kb) 1707340 [startup+360.218 s] /proc/loadavg: 0.99 0.98 0.95 2/64 15783 /proc/meminfo: memFree=15704/2055920 swapFree=4181500/4192956 [pid=15588] ppid=15586 vsize=1759312 CPUtime=359.98 /proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3391989 0 0 0 34795 1203 0 0 25 0 1 0 196374708 1801535488 434823 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10850883 0 0 4096 16384 0 0 0 17 0 0 0 /proc/15588/statm: 439828 434823 297 55 0 438720 0 Current children cumulated CPU time (s) 359.98 Current children cumulated vsize (Kb) 1759312 [startup+370.224 s] /proc/loadavg: 0.99 0.98 0.95 2/64 15783 /proc/meminfo: memFree=16024/2055920 swapFree=4181500/4192956 [pid=15588] ppid=15586 vsize=1802192 CPUtime=369.95 /proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3402990 0 0 0 35785 1210 0 0 25 0 1 0 196374708 1845444608 445662 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542124 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15588/statm: 450548 445662 297 55 0 449440 0 Current children cumulated CPU time (s) 369.95 Current children cumulated vsize (Kb) 1802192 [startup+380.23 s] /proc/loadavg: 0.99 0.98 0.95 1/64 15783 /proc/meminfo: memFree=15832/2055920 swapFree=4181500/4192956 [pid=15588] ppid=15586 vsize=0 CPUtime=379.92 /proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 1028 3413397 0 1 0 36775 1217 0 0 24 0 1 0 196374708 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15588/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 379.92 Current children cumulated vsize (Kb) 0 Child ended because it received signal 6 (SIGABRT) Real time (s): 380.519 CPU time (s): 380.213 CPU user time (s): 367.752 CPU system time (s): 12.4611 CPU usage (%): 99.9196 Max. virtual memory (cumulated for all children) (Kb): 1802192 The end
Begin job on node7 on Sat Jun 3 03:58:45 UTC 2006 FILE ID= 40590-1149307125 PBS_JOBID= 307675 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-B1C1S1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node7/40590-1149307125/instance-40590-1149307125.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-40590-1149307125 -o ROOT/results/node7/solver-40590-1149307125 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node7/40590-1149307125/instance-40590-1149307125.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= bb02029eb777c2a6ae8e192b29bcb9de RANDOM SEED= 21765250 /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: 1524328 kB Buffers: 27392 kB Cached: 431712 kB SwapCached: 3432 kB Active: 39516 kB Inactive: 428604 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1524328 kB SwapTotal: 4192956 kB SwapFree: 4181500 kB Dirty: 184 kB Writeback: 0 kB Mapped: 14972 kB Slab: 49488 kB Committed_AS: 282988 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node7 on Sat Jun 3 04:05:06 UTC 2006