Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 29 | 1800.1 | 1800.77 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_10_4.opb |
MD5SUM | b738c7950af6b3d63e331a14bc641dc9 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 25 |
Best CPU time to get the best result obtained on this benchmark | 1800.12 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 200 |
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 | 200 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 22 |
Number of terms in the objective function | 200 |
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 | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2524 |
Sum of products size (including duplicates) | 5048 |
Number of different products | 2524 |
Sum of products size | 5048 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/453681-1178148593/instance-453681-1178148593.opb 0.00/0.00 c File size is 36843 bytes. 0.01/0.01 c Highest Coefficient sum: 200 0.01/0.01 c Parsing was ok!! 0.01/0.01 c Total parsing time: 0.015 s 0.01/0.02 c Var: 2724 Constr: 5248 2724/0/2524 Lit: 17868 Watch. Lit: 13020 0.01/0.02 c Obj. Vars: 200 (7.34214 % of total variables) 0.01/0.09 c Pre-processing Time: 0.089 s 0.01/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.09 c 0 2724 5248 17868 3 13020 16051 0 0 0.09 0.01/0.09 c Switching off LPR mode. 0.01/0.09 o 199 0.092 0.01/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.09 c 0 2724 5249 18068 3 13023 16185 1 0 0.09 0.01/0.09 o 198 0.094 0.01/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.10 c 0 2724 5250 18268 3 13027 16385 2 0 0.10 0.01/0.10 o 197 0.097 0.09/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.10 c 0 2724 5251 18468 3 13032 16651 3 0 0.10 0.09/0.10 o 196 0.1 0.09/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.10 c 0 2724 5252 18668 3 13038 16985 4 0 0.10 0.09/0.10 o 195 0.102 0.09/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.10 c 0 2724 5253 18868 3 13045 17385 5 0 0.10 0.09/0.10 o 194 0.105 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 0 2724 5254 19068 3 13053 17851 6 0 0.10 0.09/0.11 o 193 0.107 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 0 2724 5255 19268 3 13062 18385 7 0 0.11 0.09/0.11 o 192 0.11 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 0 2724 5256 19468 3 13072 18985 8 0 0.11 0.09/0.11 o 191 0.112 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 0 2724 5257 19668 3 13083 19651 9 0 0.11 0.09/0.11 o 190 0.115 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 0 2724 5258 19868 3 13095 20385 10 0 0.12 0.09/0.12 o 189 0.117 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 0 2724 5259 20068 3 13108 21185 11 0 0.12 0.09/0.12 o 188 0.12 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 0 2724 5260 20268 3 13122 22051 12 0 0.12 0.09/0.12 o 187 0.122 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 0 2724 5261 20468 3 13137 22985 13 0 0.12 0.09/0.12 o 186 0.124 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 0 2724 5262 20668 3 13153 23985 14 0 0.12 0.09/0.13 o 185 0.127 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 0 2724 5263 20868 3 13170 24985 15 0 0.13 0.09/0.13 o 184 0.13 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 0 2724 5264 21068 4 13188 25985 16 0 0.13 0.09/0.13 o 183 0.132 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 0 2724 5265 21268 4 13207 26985 17 0 0.13 0.09/0.13 o 182 0.135 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 0 2724 5266 21468 4 13227 27985 18 0 0.14 0.09/0.14 o 181 0.137 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 0 2724 5267 21668 4 13248 28985 19 0 0.14 0.09/0.14 o 180 0.14 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 0 2724 5268 21868 4 13270 29985 20 0 0.14 0.09/0.14 o 179 0.143 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 0 2724 5269 22068 4 13293 30985 21 0 0.14 0.09/0.14 o 178 0.145 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 0 2724 5270 22268 4 13317 31985 22 0 0.15 0.09/0.15 o 177 0.148 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 0 2724 5271 22468 4 13342 32985 23 0 0.15 0.09/0.15 o 176 0.151 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 0 2724 5272 22668 4 13368 33985 24 0 0.15 0.09/0.15 o 175 0.153 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 0 2724 5273 22868 4 13395 34985 25 0 0.15 0.09/0.15 o 174 0.156 0.09/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.16 c 0 2724 5274 23068 4 13423 35985 26 0 0.16 0.09/0.16 o 173 0.159 0.09/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.16 c 0 2724 5275 23268 4 13452 36985 27 0 0.16 0.09/0.16 o 172 0.161 0.09/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.16 c 0 2724 5276 23468 4 13482 37985 28 0 0.16 0.09/0.16 o 171 0.164 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 0 2724 5277 23668 4 13513 38985 29 0 0.17 0.09/0.17 o 170 0.167 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 0 2724 5278 23868 4 13545 39985 30 0 0.17 0.09/0.17 o 169 0.169 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 0 2724 5279 24068 4 13578 40985 31 0 0.17 0.09/0.17 o 168 0.172 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 0 2724 5280 24268 4 13612 41985 32 0 0.17 0.09/0.17 o 167 0.175 0.09/0.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.18 c 0 2724 5281 24468 4 13647 42985 33 0 0.17 0.09/0.18 o 166 0.177 0.09/0.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.18 c 0 2724 5282 24668 4 13683 43985 34 0 0.18 0.09/0.18 o 165 0.18 0.09/0.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.18 c 0 2724 5283 24868 4 13720 44985 35 0 0.18 0.09/0.18 o 164 0.183 0.09/0.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.18 c 0 2724 5284 25068 4 13758 45985 36 0 0.18 0.09/0.18 o 163 0.185 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 0 2724 5285 25268 4 13797 46985 37 0 0.19 0.09/0.19 o 162 0.188 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 0 2724 5286 25468 4 13837 47985 38 0 0.19 0.09/0.19 o 161 0.19 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 0 2724 5287 25668 4 13878 48985 39 0 0.19 0.09/0.19 o 160 0.193 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 0 2724 5288 25868 4 13920 49985 40 0 0.19 0.09/0.19 o 159 0.196 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 0 2724 5289 26068 4 13963 50985 41 0 0.20 0.19/0.20 o 158 0.198 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 0 2724 5290 26268 4 14007 51985 42 0 0.20 0.19/0.20 o 157 0.201 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 0 2724 5291 26468 5 14052 52985 43 0 0.20 0.19/0.20 o 156 0.203 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 0 2724 5292 26668 5 14098 53985 44 0 0.20 0.19/0.20 o 155 0.206 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 0 2724 5293 26868 5 14145 54985 45 0 0.21 0.19/0.21 o 154 0.208 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 0 2724 5294 27068 5 14193 55985 46 0 0.21 0.19/0.21 o 153 0.211 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 0 2724 5295 27268 5 14242 56985 47 0 0.21 0.19/0.21 o 152 0.214 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 0 2724 5296 27468 5 14292 57985 48 0 0.21 0.19/0.22 o 151 0.216 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 0 2724 5297 27668 5 14343 58985 49 0 0.22 0.19/0.22 o 150 0.219 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 0 2724 5298 27868 5 14395 59985 50 0 0.22 0.19/0.22 o 149 0.221 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 0 2724 5299 28068 5 14448 60985 51 0 0.22 0.19/0.22 o 148 0.224 0.19/0.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.23 c 1 2724 5301 28417 5 14504 60985 53 4 0.23 0.19/0.23 o 32 0.228 0.69/0.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.76 c 1 2724 5302 28617 5 14674 60985 54 4 0.23 0.69/0.76 c 102 2724 5403 35651 6 14876 67084 155 416 0.24 0.69/0.76 c 353 2724 5654 54769 9 15378 73793 406 1221 0.29 0.69/0.76 c 828 2724 6129 85743 13 16328 81173 881 2300 0.36 0.69/0.76 c 1641 2724 6942 141484 20 17954 89291 1694 3288 0.50 0.69/0.76 c 2961 2724 8262 224380 27 20594 98221 3014 4056 0.73 0.69/0.76 o 31 0.761 1.39/1.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.49 c 3151 2724 8453 235766 27 21145 60985 3205 4129 0.76 1.39/1.49 c 3252 2724 8554 242369 28 21347 67084 3306 4147 0.78 1.39/1.49 c 3502 2724 8804 261133 29 21847 73793 3556 4183 0.84 1.39/1.49 c 3977 2724 9279 290327 31 22797 81173 4031 4217 0.94 1.39/1.49 c 4790 2724 10092 346108 34 24423 89291 4844 4250 1.13 1.39/1.49 c 6110 2724 11412 442386 38 27063 98221 6164 4199 1.46 1.39/1.49 o 30 1.486 16.08/16.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.08/16.19 c 6231 2724 11534 450158 39 27477 60985 6286 4187 1.49 16.08/16.19 c 6331 2724 11634 457755 39 27677 67084 6386 4176 1.52 16.08/16.19 c 6582 2724 11885 474841 39 28179 73793 6637 4168 1.58 16.08/16.19 c 7058 2724 12361 506961 41 29131 81173 7113 4151 1.70 16.08/16.19 c 7871 2724 13174 561481 42 30757 89291 7926 4120 1.91 16.08/16.19 c 9192 2724 14495 664318 45 33399 98221 9247 4058 2.27 16.08/16.19 c 11274 2724 16577 799446 48 37563 108044 11329 3965 2.84 16.08/16.19 c 14498 2724 19801 1013023 51 44011 118849 14553 3565 4.07 16.08/16.19 c 19434 2724 24737 1405185 56 53883 130734 19489 3079 6.31 16.08/16.19 c 26940 2724 32243 1933888 59 68895 143808 26995 2620 10.28 16.08/16.19 o 29 16.184 1800.04/1800.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.04/1800.71 c 34956 2724 40260 2540442 63 85100 60985 35012 2159 16.19 1800.04/1800.71 c 35056 2724 40360 2546499 63 85300 67084 35112 2153 16.28 1800.04/1800.71 c 35307 2724 40611 2563744 63 85802 73793 35363 2135 16.53 1800.04/1800.71 c 35782 2724 41086 2596739 63 86752 81173 35838 2123 16.85 1800.04/1800.71 c 36596 2724 41900 2643784 63 88380 89291 36652 2106 17.37 1800.04/1800.71 c 37917 2724 43221 2739089 63 91022 98221 37973 2068 18.33 1800.04/1800.71 c 39998 2724 45302 2872289 63 95184 108044 40054 2005 19.95 1800.04/1800.71 c 43222 2724 48526 3082071 63 101632 118849 43278 1868 23.13 1800.04/1800.71 c 48158 2724 53462 3438898 64 111504 130734 48214 1715 28.08 1800.04/1800.71 c 55667 2724 60971 3881935 63 126522 143808 55723 1534 36.28 1800.04/1800.71 c 67028 2724 72332 4638517 64 149244 158189 67084 1343 49.91 1800.04/1800.71 c 84172 2724 89476 6114470 68 183532 174008 84228 1019 82.53 1800.04/1800.71 c 109992 2724 115296 7883848 68 235172 191409 110048 840 130.84 1800.04/1800.71 c 148824 2724 154128 10198404 66 312836 210550 148880 576 257.96 1800.04/1800.71 c 207176 2724 212480 15227357 71 429540 231606 207232 438 472.36 1800.04/1800.71 c 294810 2724 79958 5864732 73 162611 254767 74710 354 831.92 1800.04/1800.71 c 426362 2724 211510 16800506 79 425715 280244 206262 313 1361.98 1800.04/1800.71 c Caught signal: 15 1800.04/1800.71 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 1800.04/1800.71 v -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 x55 -x56 1800.04/1800.71 v -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 1800.04/1800.71 v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 x103 -x104 -x105 x106 -x107 1800.04/1800.71 v -x108 -x109 -x110 -x111 -x112 x113 -x114 x115 -x116 -x117 -x118 x119 -x120 -x121 x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 1800.04/1800.71 v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 1800.04/1800.71 v -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 x170 x171 1800.04/1800.71 v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 1800.04/1800.71 v -x193 x194 -x195 x196 -x197 -x198 -x199 -x200 1800.04/1800.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.04/1800.71 c 91 498787 178006 859839 283935 23358960 278687 277 1800.05 1800.04/1800.71 c Objective: 29 1800.04/1800.71 s SATISFIABLE 1800.04/1800.71 c Total time: 1800.05 s
OK 29
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node10/watcher-453681-1178148593 -o ROOT/results/node10/solver-453681-1178148593 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453681-1178148593/instance-453681-1178148593.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 1.04 1.03 3/77 16582 /proc/meminfo: memFree=1770240/2055920 swapFree=4145576/4192956 [pid=16582] ppid=16580 vsize=3960 CPUtime=0 /proc/16582/stat : 16582 (bsolo3.0.17) R 16580 16582 14920 0 -1 4194304 377 0 0 0 0 0 0 0 18 0 1 0 290896870 4055040 347 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 9340539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 990 347 289 324 0 51 0 [startup+0.019109 s] /proc/loadavg: 0.99 1.04 1.03 3/77 16582 /proc/meminfo: memFree=1770240/2055920 swapFree=4145576/4192956 [pid=16582] ppid=16580 vsize=4780 CPUtime=0.01 /proc/16582/stat : 16582 (bsolo3.0.17) R 16580 16582 14920 0 -1 4194304 570 0 0 0 1 0 0 0 18 0 1 0 290896870 4894720 540 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 9340539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 1186 532 289 324 0 256 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4780 [startup+0.101126 s] /proc/loadavg: 0.99 1.04 1.03 3/77 16582 /proc/meminfo: memFree=1770240/2055920 swapFree=4145576/4192956 [pid=16582] ppid=16580 vsize=5592 CPUtime=0.09 /proc/16582/stat : 16582 (bsolo3.0.17) R 16580 16582 14920 0 -1 4194304 844 0 0 0 9 0 0 0 18 0 1 0 290896870 5726208 756 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 1398 756 308 324 0 468 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5592 [startup+0.301169 s] /proc/loadavg: 0.99 1.04 1.03 3/77 16582 /proc/meminfo: memFree=1770240/2055920 swapFree=4145576/4192956 [pid=16582] ppid=16580 vsize=5984 CPUtime=0.29 /proc/16582/stat : 16582 (bsolo3.0.17) R 16580 16582 14920 0 -1 4194304 938 0 0 0 29 0 0 0 19 0 1 0 290896870 6127616 850 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 1496 850 310 324 0 566 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5984 [startup+0.701254 s] /proc/loadavg: 0.99 1.04 1.03 3/77 16582 /proc/meminfo: memFree=1770240/2055920 swapFree=4145576/4192956 [pid=16582] ppid=16580 vsize=8200 CPUtime=0.69 /proc/16582/stat : 16582 (bsolo3.0.17) R 16580 16582 14920 0 -1 4194304 1504 0 0 0 69 0 0 0 23 0 1 0 290896870 8396800 1416 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 9340539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 2050 1416 310 324 0 1120 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8200 [startup+1.50143 s] /proc/loadavg: 0.99 1.04 1.03 2/78 16583 /proc/meminfo: memFree=1764152/2055920 swapFree=4145576/4192956 [pid=16582] ppid=16580 vsize=11580 CPUtime=1.49 /proc/16582/stat : 16582 (bsolo3.0.17) R 16580 16582 14920 0 -1 4194304 2363 0 0 0 148 1 0 0 25 0 1 0 290896870 11857920 2275 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 9340539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 2895 2275 310 324 0 1965 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11580 [startup+3.10177 s] /proc/loadavg: 0.99 1.04 1.03 2/78 16583 /proc/meminfo: memFree=1759736/2055920 swapFree=4145576/4192956 [pid=16582] ppid=16580 vsize=17436 CPUtime=3.09 /proc/16582/stat : 16582 (bsolo3.0.17) R 16580 16582 14920 0 -1 4194304 3813 0 0 0 307 2 0 0 25 0 1 0 290896870 17854464 3725 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 4359 3725 310 324 0 3429 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17436 [startup+6.30146 s] /proc/loadavg: 0.99 1.04 1.03 2/78 16583 /proc/meminfo: memFree=1750392/2055920 swapFree=4145576/4192956 [pid=16582] ppid=16580 vsize=25348 CPUtime=6.29 /proc/16582/stat : 16582 (bsolo3.0.17) R 16580 16582 14920 0 -1 4194304 5781 0 0 0 625 4 0 0 25 0 1 0 290896870 25956352 5693 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 6337 5693 310 324 0 5407 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25348 [startup+12.7028 s] /proc/loadavg: 0.99 1.04 1.03 2/78 16583 /proc/meminfo: memFree=1737912/2055920 swapFree=4145576/4192956 [pid=16582] ppid=16580 vsize=36840 CPUtime=12.69 /proc/16582/stat : 16582 (bsolo3.0.17) R 16580 16582 14920 0 -1 4194304 8671 0 0 0 1263 6 0 0 25 0 1 0 290896870 37724160 8583 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 9210 8583 310 324 0 8280 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 36840 [startup+25.5016 s] /proc/loadavg: 0.99 1.04 1.02 2/78 16583 /proc/meminfo: memFree=1721976/2055920 swapFree=4145576/4192956 [pid=16582] ppid=16580 vsize=52068 CPUtime=25.48 /proc/16582/stat : 16582 (bsolo3.0.17) R 16580 16582 14920 0 -1 4194304 12466 0 0 0 2538 10 0 0 25 0 1 0 290896870 53317632 12378 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 13017 12378 310 324 0 12087 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 52068 [startup+51.1011 s] /proc/loadavg: 0.99 1.03 1.02 2/78 16583 /proc/meminfo: memFree=1701368/2055920 swapFree=4145576/4192956 [pid=16582] ppid=16580 vsize=72912 CPUtime=51.07 /proc/16582/stat : 16582 (bsolo3.0.17) R 16580 16582 14920 0 -1 4194304 17681 0 0 0 5092 15 0 0 25 0 1 0 290896870 74661888 17593 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 18228 17593 310 324 0 17298 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 72912 [startup+102.305 s] /proc/loadavg: 0.99 1.03 1.02 2/78 16583 /proc/meminfo: memFree=1668920/2055920 swapFree=4145576/4192956 [pid=16582] ppid=16580 vsize=104836 CPUtime=102.25 /proc/16582/stat : 16582 (bsolo3.0.17) R 16580 16582 14920 0 -1 4194304 25673 0 0 0 10201 24 0 0 25 0 1 0 290896870 107352064 25585 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 26209 25585 310 324 0 25279 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 104836 [startup+162.301 s] /proc/loadavg: 0.99 1.02 1.01 2/78 16583 /proc/meminfo: memFree=1646392/2055920 swapFree=4145576/4192956 [pid=16582] ppid=16580 vsize=127504 CPUtime=162.23 /proc/16582/stat : 16582 (bsolo3.0.17) R 16580 16582 14920 0 -1 4194304 31320 0 0 0 16193 30 0 0 25 0 1 0 290896870 130564096 31232 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 31876 31232 310 324 0 30946 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 127504 [startup+222.302 s] /proc/loadavg: 0.99 1.02 1.00 2/78 16583 /proc/meminfo: memFree=1629048/2055920 swapFree=4145576/4192956 [pid=16582] ppid=16580 vsize=144548 CPUtime=222.2 /proc/16582/stat : 16582 (bsolo3.0.17) R 16580 16582 14920 0 -1 4194304 35596 0 0 0 22184 36 0 0 25 0 1 0 290896870 148017152 35508 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 36137 35508 310 324 0 35207 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 144548 [startup+282.302 s] /proc/loadavg: 0.99 1.01 1.00 2/78 16583 /proc/meminfo: memFree=1608440/2055920 swapFree=4145576/4192956 [pid=16582] ppid=16580 vsize=165392 CPUtime=282.18 /proc/16582/stat : 16582 (bsolo3.0.17) R 16580 16582 14920 0 -1 4194304 40803 0 0 0 28176 42 0 0 25 0 1 0 290896870 169361408 40715 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 41348 40715 310 324 0 40418 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 165392 [startup+342.302 s] /proc/loadavg: 0.99 1.00 1.00 3/78 16583 /proc/meminfo: memFree=1585080/2055920 swapFree=4145576/4192956 [pid=16582] ppid=16580 vsize=188308 CPUtime=342.17 /proc/16582/stat : 16582 (bsolo3.0.17) R 16580 16582 14920 0 -1 4194304 46545 0 0 0 34168 49 0 0 25 0 1 0 290896870 192827392 46457 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 47077 46457 310 324 0 46147 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 188308 [startup+402.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16585 /proc/meminfo: memFree=1567864/2055920 swapFree=4145576/4192956 [pid=16582] ppid=16580 vsize=205580 CPUtime=402.14 /proc/16582/stat : 16582 (bsolo3.0.17) R 16580 16582 14920 0 -1 4194304 50864 0 0 0 40161 53 0 0 25 0 1 0 290896870 210513920 50776 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 51395 50776 310 324 0 50465 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 205580 [startup+462.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16585 /proc/meminfo: memFree=1552824/2055920 swapFree=4145576/4192956 [pid=16582] ppid=16580 vsize=220552 CPUtime=462.12 /proc/16582/stat : 16582 (bsolo3.0.17) R 16580 16582 14920 0 -1 4194304 54582 0 0 0 46154 58 0 0 25 0 1 0 290896870 225845248 54494 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 55138 54494 310 324 0 54208 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 220552 [startup+522.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16585 /proc/meminfo: memFree=1536248/2055920 swapFree=4145576/4192956 [pid=16582] ppid=16580 vsize=237296 CPUtime=522.1 /proc/16582/stat : 16582 (bsolo3.0.17) R 16580 16582 14920 0 -1 4194304 58782 0 0 0 52147 63 0 0 25 0 1 0 290896870 242991104 58694 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 59324 58694 310 324 0 58394 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 237296 [startup+582.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16585 /proc/meminfo: memFree=1522040/2055920 swapFree=4145576/4192956 [pid=16582] ppid=16580 vsize=251176 CPUtime=582.07 /proc/16582/stat : 16582 (bsolo3.0.17) R 16580 16582 14920 0 -1 4194304 62256 0 0 0 58141 66 0 0 25 0 1 0 290896870 257204224 62168 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 62794 62168 310 324 0 61864 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 251176 [startup+642.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16585 /proc/meminfo: memFree=1517944/2055920 swapFree=4145576/4192956 [pid=16582] ppid=16580 vsize=255064 CPUtime=642.06 /proc/16582/stat : 16582 (bsolo3.0.17) R 16580 16582 14920 0 -1 4194304 63453 0 0 0 64138 68 0 0 25 0 1 0 290896870 261185536 63136 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 63766 63136 310 324 0 62836 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 255064 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16585 /proc/meminfo: memFree=1518072/2055920 swapFree=4145576/4192956 [pid=16582] ppid=16580 vsize=255064 CPUtime=881.97 /proc/16582/stat : 16582 (bsolo3.0.17) R 16580 16582 14920 0 -1 4194304 63453 0 0 0 88127 70 0 0 25 0 1 0 290896870 261185536 63136 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 63766 63136 310 324 0 62836 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 255064 [startup+942.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16585 /proc/meminfo: memFree=1518008/2055920 swapFree=4145576/4192956 [pid=16582] ppid=16580 vsize=255064 CPUtime=941.94 /proc/16582/stat : 16582 (bsolo3.0.17) R 16580 16582 14920 0 -1 4194304 63453 0 0 0 94124 70 0 0 25 0 1 0 290896870 261185536 63136 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 63766 63136 310 324 0 62836 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 255064 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16585 /proc/meminfo: memFree=1518008/2055920 swapFree=4145576/4192956 [pid=16582] ppid=16580 vsize=255064 CPUtime=1001.92 /proc/16582/stat : 16582 (bsolo3.0.17) R 16580 16582 14920 0 -1 4194304 63453 0 0 0 100121 71 0 0 25 0 1 0 290896870 261185536 63136 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 63766 63136 310 324 0 62836 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 255064 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16585 /proc/meminfo: memFree=1518072/2055920 swapFree=4145576/4192956 [pid=16582] ppid=16580 vsize=255064 CPUtime=1061.9 /proc/16582/stat : 16582 (bsolo3.0.17) R 16580 16582 14920 0 -1 4194304 63453 0 0 0 106119 71 0 0 25 0 1 0 290896870 261185536 63136 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4160051253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 63766 63136 310 324 0 62836 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 255064 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16585 /proc/meminfo: memFree=1518008/2055920 swapFree=4145576/4192956 [pid=16582] ppid=16580 vsize=255064 CPUtime=1121.88 /proc/16582/stat : 16582 (bsolo3.0.17) R 16580 16582 14920 0 -1 4194304 63453 0 0 0 112116 72 0 0 25 0 1 0 290896870 261185536 63136 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 63766 63136 310 324 0 62836 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 255064 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16585 /proc/meminfo: memFree=1518008/2055920 swapFree=4145576/4192956 [pid=16582] ppid=16580 vsize=255064 CPUtime=1181.85 /proc/16582/stat : 16582 (bsolo3.0.17) R 16580 16582 14920 0 -1 4194304 63453 0 0 0 118113 72 0 0 25 0 1 0 290896870 261185536 63136 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 63766 63136 310 324 0 62836 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 255064 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16585 /proc/meminfo: memFree=1518008/2055920 swapFree=4145576/4192956 [pid=16582] ppid=16580 vsize=255064 CPUtime=1241.83 /proc/16582/stat : 16582 (bsolo3.0.17) R 16580 16582 14920 0 -1 4194304 63453 0 0 0 124110 73 0 0 25 0 1 0 290896870 261185536 63136 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 63766 63136 310 324 0 62836 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 255064 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16585 /proc/meminfo: memFree=1518008/2055920 swapFree=4145576/4192956 [pid=16582] ppid=16580 vsize=255064 CPUtime=1301.81 /proc/16582/stat : 16582 (bsolo3.0.17) R 16580 16582 14920 0 -1 4194304 63453 0 0 0 130108 73 0 0 25 0 1 0 290896870 261185536 63136 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 63766 63136 310 324 0 62836 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 255064 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16585 /proc/meminfo: memFree=1518008/2055920 swapFree=4145576/4192956 [pid=16582] ppid=16580 vsize=255064 CPUtime=1361.79 /proc/16582/stat : 16582 (bsolo3.0.17) R 16580 16582 14920 0 -1 4194304 63453 0 0 0 136105 74 0 0 25 0 1 0 290896870 261185536 63136 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 63766 63136 310 324 0 62836 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 255064 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16585 /proc/meminfo: memFree=1514680/2055920 swapFree=4145576/4192956 [pid=16582] ppid=16580 vsize=258432 CPUtime=1421.77 /proc/16582/stat : 16582 (bsolo3.0.17) R 16580 16582 14920 0 -1 4194304 64281 0 0 0 142101 76 0 0 25 0 1 0 290896870 264634368 63964 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 64608 63964 310 324 0 63678 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 258432 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16585 /proc/meminfo: memFree=1498360/2055920 swapFree=4145576/4192956 [pid=16582] ppid=16580 vsize=274976 CPUtime=1481.75 /proc/16582/stat : 16582 (bsolo3.0.17) R 16580 16582 14920 0 -1 4194304 68423 0 0 0 148094 81 0 0 25 0 1 0 290896870 281575424 68106 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 68744 68106 310 324 0 67814 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 274976 [startup+1542.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16585 /proc/meminfo: memFree=1481336/2055920 swapFree=4145576/4192956 [pid=16582] ppid=16580 vsize=291684 CPUtime=1541.73 /proc/16582/stat : 16582 (bsolo3.0.17) R 16580 16582 14920 0 -1 4194304 72610 0 0 0 154088 85 0 0 25 0 1 0 290896870 298684416 72293 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134572040 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 72921 72293 310 324 0 71991 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 291684 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16585 /proc/meminfo: memFree=1467768/2055920 swapFree=4145576/4192956 [pid=16582] ppid=16580 vsize=305412 CPUtime=1601.7 /proc/16582/stat : 16582 (bsolo3.0.17) R 16580 16582 14920 0 -1 4194304 76040 0 0 0 160082 88 0 0 25 0 1 0 290896870 312741888 75723 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 76353 75723 310 324 0 75423 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 305412 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16585 /proc/meminfo: memFree=1456888/2055920 swapFree=4145576/4192956 [pid=16582] ppid=16580 vsize=316040 CPUtime=1661.68 /proc/16582/stat : 16582 (bsolo3.0.17) R 16580 16582 14920 0 -1 4194304 78704 0 0 0 166076 92 0 0 25 0 1 0 290896870 323624960 78387 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 79010 78387 310 324 0 78080 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 316040 [startup+1722.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16585 /proc/meminfo: memFree=1448376/2055920 swapFree=4145576/4192956 [pid=16582] ppid=16580 vsize=324588 CPUtime=1721.65 /proc/16582/stat : 16582 (bsolo3.0.17) R 16580 16582 14920 0 -1 4194304 80849 0 0 0 172071 94 0 0 25 0 1 0 290896870 332378112 80532 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 81147 80532 310 324 0 80217 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 324588 [startup+1782.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16585 /proc/meminfo: memFree=1440888/2055920 swapFree=4145576/4192956 [pid=16582] ppid=16580 vsize=332108 CPUtime=1781.63 /proc/16582/stat : 16582 (bsolo3.0.17) R 16580 16582 14920 0 -1 4194304 82702 0 0 0 178066 97 0 0 25 0 1 0 290896870 340078592 82385 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 83027 82385 310 324 0 82097 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 332108 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16585 /proc/meminfo: memFree=1438328/2055920 swapFree=4145576/4192956 [pid=16582] ppid=16580 vsize=334572 CPUtime=1800.04 /proc/16582/stat : 16582 (bsolo3.0.17) R 16580 16582 14920 0 -1 4194304 83318 0 0 0 179906 98 0 0 25 0 1 0 290896870 342601728 83001 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 83643 83001 310 324 0 82713 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 334572 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 0.99 1.00 1.00 2/78 16585 /proc/meminfo: memFree=1438328/2055920 swapFree=4145576/4192956 [pid=16582] ppid=16580 vsize=334572 CPUtime=1800.04 /proc/16582/stat : 16582 (bsolo3.0.17) R 16580 16582 14920 0 -1 4194304 83318 0 0 0 179906 98 0 0 25 0 1 0 290896870 342601728 83001 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16582/statm: 83643 83001 310 324 0 82713 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 334572 Child status: 15 Real time (s): 1800.77 CPU time (s): 1800.1 CPU user time (s): 1799.06 CPU system time (s): 1.03784 CPU usage (%): 99.963 Max. virtual memory (cumulated for all children) (KiB): 334572 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.06 system time used= 1.03784 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 83322 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12 involuntary context switches= 36116 runsolver used 1.36079 second user time and 3.9234 second system time The end
Begin job on node10 on Wed May 2 23:29:53 UTC 2007 IDJOB= 453681 IDBENCH= 48146 IDSOLVER= 199 FILE ID= node10/453681-1178148593 PBS_JOBID= 4751060 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_10_4.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/453681-1178148593/instance-453681-1178148593.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-453681-1178148593 -o ROOT/results/node10/solver-453681-1178148593 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453681-1178148593/instance-453681-1178148593.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= b738c7950af6b3d63e331a14bc641dc9 RANDOM SEED= 112886715 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node10.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.259 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.259 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: 1770648 kB Buffers: 115000 kB Cached: 81852 kB SwapCached: 15988 kB Active: 115972 kB Inactive: 109824 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1770648 kB SwapTotal: 4192956 kB SwapFree: 4145576 kB Dirty: 6640 kB Writeback: 0 kB Mapped: 31692 kB Slab: 45004 kB Committed_AS: 4981432 kB PageTables: 1712 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node10 on Wed May 2 23:59:56 UTC 2007