Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | 29 | 1800.07 | 1800.78 |
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.16 - 04/04/2007 : 1458 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 Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/453675-1178148107/instance-453675-1178148107.opb 0.00/0.00 c File size is 36843 bytes. 0.00/0.02 c Highest Coefficient sum: 200 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.023 s 0.00/0.03 c Var: 2724 Constr: 5248 2724/0/2524 Lit: 17868 Watch. Lit: 13020 0.00/0.03 c Obj. Vars: 200 (7.34214 % of total variables) 0.09/0.10 c Pre-processing Time: 0.098 s 0.09/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.10 c 0 2724 5248 17868 3 13020 16051 0 0 0.10 0.09/0.10 c Switching off LPR mode. 0.09/0.10 o 199 0.101 0.09/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.10 c 0 2724 5249 18068 3 13023 16185 1 0 0.10 0.09/0.10 o 198 0.104 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 0 2724 5250 18268 3 13027 16385 2 0 0.10 0.09/0.11 o 197 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 5251 18468 3 13032 16651 3 0 0.11 0.09/0.11 o 196 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 5252 18668 3 13038 16985 4 0 0.11 0.09/0.11 o 195 0.113 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 0 2724 5253 18868 3 13045 17385 5 0 0.11 0.09/0.12 o 194 0.116 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 0 2724 5254 19068 3 13053 17851 6 0 0.12 0.09/0.12 o 193 0.119 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 0 2724 5255 19268 3 13062 18385 7 0 0.12 0.09/0.12 o 192 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 5256 19468 3 13072 18985 8 0 0.12 0.09/0.12 o 191 0.125 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 0 2724 5257 19668 3 13083 19651 9 0 0.13 0.09/0.13 o 190 0.128 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 0 2724 5258 19868 3 13095 20385 10 0 0.13 0.09/0.13 o 189 0.131 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 0 2724 5259 20068 3 13108 21185 11 0 0.13 0.09/0.13 o 188 0.134 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 0 2724 5260 20268 3 13122 22051 12 0 0.14 0.09/0.14 o 187 0.136 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 0 2724 5261 20468 3 13137 22985 13 0 0.14 0.09/0.14 o 186 0.138 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 0 2724 5262 20668 3 13153 23985 14 0 0.14 0.09/0.14 o 185 0.141 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 0 2724 5263 20868 3 13170 24985 15 0 0.14 0.09/0.15 o 184 0.144 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 0 2724 5264 21068 4 13188 25985 16 0 0.14 0.09/0.15 o 183 0.146 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 0 2724 5265 21268 4 13207 26985 17 0 0.15 0.09/0.15 o 182 0.149 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 0 2724 5266 21468 4 13227 27985 18 0 0.15 0.09/0.15 o 181 0.152 0.09/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.16 c 0 2724 5267 21668 4 13248 28985 19 0 0.15 0.09/0.16 o 180 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 5268 21868 4 13270 29985 20 0 0.16 0.09/0.16 o 179 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 5269 22068 4 13293 30985 21 0 0.16 0.09/0.16 o 178 0.162 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 0 2724 5270 22268 4 13317 31985 22 0 0.16 0.09/0.17 o 177 0.165 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 0 2724 5271 22468 4 13342 32985 23 0 0.17 0.09/0.17 o 176 0.168 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 0 2724 5272 22668 4 13368 33985 24 0 0.17 0.09/0.17 o 175 0.172 0.09/0.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.18 c 0 2724 5273 22868 4 13395 34985 25 0 0.17 0.09/0.18 o 174 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 5274 23068 4 13423 35985 26 0 0.18 0.09/0.18 o 173 0.178 0.09/0.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.18 c 0 2724 5275 23268 4 13452 36985 27 0 0.18 0.09/0.18 o 172 0.181 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 0 2724 5276 23468 4 13482 37985 28 0 0.18 0.09/0.19 o 171 0.184 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 0 2724 5277 23668 4 13513 38985 29 0 0.18 0.09/0.19 o 170 0.187 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 0 2724 5278 23868 4 13545 39985 30 0 0.19 0.09/0.19 o 169 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 5279 24068 4 13578 40985 31 0 0.19 0.09/0.19 o 168 0.193 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 0 2724 5280 24268 4 13612 41985 32 0 0.19 0.19/0.20 o 167 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 5281 24468 4 13647 42985 33 0 0.20 0.19/0.20 o 166 0.199 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 0 2724 5282 24668 4 13683 43985 34 0 0.20 0.19/0.20 o 165 0.202 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 0 2724 5283 24868 4 13720 44985 35 0 0.20 0.19/0.21 o 164 0.205 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 0 2724 5284 25068 4 13758 45985 36 0 0.21 0.19/0.21 o 163 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 5285 25268 4 13797 46985 37 0 0.21 0.19/0.21 o 162 0.211 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 0 2724 5286 25468 4 13837 47985 38 0 0.21 0.19/0.22 o 161 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 5287 25668 4 13878 48985 39 0 0.21 0.19/0.22 o 160 0.217 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 0 2724 5288 25868 4 13920 49985 40 0 0.22 0.19/0.22 o 159 0.22 0.19/0.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.23 c 0 2724 5289 26068 4 13963 50985 41 0 0.22 0.19/0.23 o 158 0.223 0.19/0.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.23 c 0 2724 5290 26268 4 14007 51985 42 0 0.22 0.19/0.23 o 157 0.226 0.19/0.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.23 c 0 2724 5291 26468 5 14052 52985 43 0 0.23 0.19/0.23 o 156 0.229 0.19/0.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.23 c 0 2724 5292 26668 5 14098 53985 44 0 0.23 0.19/0.23 o 155 0.232 0.19/0.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.24 c 0 2724 5293 26868 5 14145 54985 45 0 0.23 0.19/0.24 o 154 0.235 0.19/0.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.24 c 0 2724 5294 27068 5 14193 55985 46 0 0.24 0.19/0.24 o 153 0.238 0.19/0.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.24 c 0 2724 5295 27268 5 14242 56985 47 0 0.24 0.19/0.24 o 152 0.241 0.19/0.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.25 c 0 2724 5296 27468 5 14292 57985 48 0 0.24 0.19/0.25 o 151 0.244 0.19/0.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.25 c 0 2724 5297 27668 5 14343 58985 49 0 0.24 0.19/0.25 o 150 0.247 0.19/0.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.25 c 0 2724 5298 27868 5 14395 59985 50 0 0.25 0.19/0.25 o 149 0.25 0.19/0.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.26 c 0 2724 5299 28068 5 14448 60985 51 0 0.25 0.19/0.26 o 148 0.253 0.19/0.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.26 c 1 2724 5301 28417 5 14504 60985 53 3 0.25 0.19/0.26 o 32 0.257 0.78/0.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.78/0.80 c 1 2724 5302 28617 5 14674 60985 54 3 0.26 0.78/0.80 c 102 2724 5403 35651 6 14876 67084 155 370 0.28 0.78/0.80 c 353 2724 5654 54769 9 15378 73793 406 1103 0.32 0.78/0.80 c 828 2724 6129 85743 13 16328 81173 881 2112 0.39 0.78/0.80 c 1641 2724 6942 141484 20 17954 89291 1694 3084 0.53 0.78/0.80 c 2961 2724 8262 224380 27 20594 98221 3014 3860 0.77 0.78/0.80 o 31 0.799 1.48/1.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.48/1.53 c 3151 2724 8453 235766 27 21145 60985 3205 3933 0.80 1.48/1.53 c 3252 2724 8554 242369 28 21347 67084 3306 3951 0.82 1.48/1.53 c 3502 2724 8804 261133 29 21847 73793 3556 3997 0.88 1.48/1.53 c 3977 2724 9279 290327 31 22797 81173 4031 4045 0.98 1.48/1.53 c 4790 2724 10092 346108 34 24423 89291 4844 4111 1.17 1.48/1.53 c 6110 2724 11412 442386 38 27063 98221 6164 4078 1.50 1.48/1.53 o 30 1.53 16.18/16.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.18/16.20 c 6231 2724 11534 450158 39 27477 60985 6286 4067 1.53 16.18/16.20 c 6331 2724 11634 457755 39 27677 67084 6386 4058 1.56 16.18/16.20 c 6582 2724 11885 474841 39 28179 73793 6637 4052 1.62 16.18/16.20 c 7058 2724 12361 506961 41 29131 81173 7113 4042 1.75 16.18/16.20 c 7871 2724 13174 561481 42 30757 89291 7926 4019 1.96 16.18/16.20 c 9192 2724 14495 664318 45 33399 98221 9247 3965 2.32 16.18/16.20 c 11274 2724 16577 799446 48 37563 108044 11329 3891 2.90 16.18/16.20 c 14498 2724 19801 1013023 51 44011 118849 14553 3518 4.12 16.18/16.20 c 19434 2724 24737 1405185 56 53883 130734 19489 3049 6.37 16.18/16.20 c 26940 2724 32243 1933888 59 68895 143808 26995 2610 10.32 16.18/16.20 o 29 16.195 1799.99/1800.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.99/1800.72 c 34956 2724 40260 2540442 63 85100 60985 35012 2158 16.20 1799.99/1800.72 c 35056 2724 40360 2546499 63 85300 67084 35112 2152 16.29 1799.99/1800.72 c 35307 2724 40611 2563744 63 85802 73793 35363 2133 16.55 1799.99/1800.72 c 35782 2724 41086 2596739 63 86752 81173 35838 2121 16.87 1799.99/1800.72 c 36596 2724 41900 2643784 63 88380 89291 36652 2103 17.40 1799.99/1800.72 c 37917 2724 43221 2739089 63 91022 98221 37973 2064 18.37 1799.99/1800.72 c 39998 2724 45302 2872289 63 95184 108044 40054 2001 19.99 1799.99/1800.72 c 43222 2724 48526 3082071 63 101632 118849 43278 1861 23.22 1799.99/1800.72 c 48158 2724 53462 3438898 64 111504 130734 48214 1711 28.14 1799.99/1800.72 c 55667 2724 60971 3881935 63 126522 143808 55723 1533 36.30 1799.99/1800.72 c 67028 2724 72332 4638517 64 149244 158189 67084 1340 49.98 1799.99/1800.72 c 84172 2724 89476 6114470 68 183532 174008 84228 1018 82.64 1799.99/1800.72 c 109992 2724 115296 7883848 68 235172 191409 110048 839 131.00 1799.99/1800.72 c 148824 2724 154128 10198404 66 312836 210550 148880 575 258.43 1799.99/1800.72 c 207176 2724 212480 15227357 71 429540 231606 207232 437 473.05 1799.99/1800.72 c 294810 2724 79958 5864732 73 162611 254767 74710 354 832.42 1799.99/1800.72 c 426362 2724 211510 16800506 79 425715 280244 206262 312 1363.23 1799.99/1800.72 c Resources Exceeded 1799.99/1800.72 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 1799.99/1800.72 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 1799.99/1800.72 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 1799.99/1800.72 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 1799.99/1800.72 v -x108 -x109 -x110 -x111 -x112 x113 -x114 x115 -x116 -x117 -x118 x119 -x120 -x121 x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 1799.99/1800.72 v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 1799.99/1800.72 v -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 x170 x171 1799.99/1800.72 v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 1799.99/1800.72 v -x193 x194 -x195 x196 -x197 -x198 -x199 -x200 1799.99/1800.72 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.99/1800.72 c 91 498602 177935 859561 283750 23346247 278502 276 1800.01 1799.99/1800.72 c Objective: 29 1799.99/1800.72 s SATISFIABLE 1799.99/1800.72 c Total time: 1800.01 s
OK 29
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node13/watcher-453675-1178148107 -o ROOT/results/node13/solver-453675-1178148107 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453675-1178148107/instance-453675-1178148107.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.85 0.97 0.99 3/77 17760 /proc/meminfo: memFree=1758536/2055920 swapFree=4159360/4192956 [pid=17760] ppid=17758 vsize=19584 CPUtime=0 /proc/17760/stat : 17760 (bsolo3.0.16) R 17758 17760 15877 0 -1 4194304 357 0 0 0 0 0 0 0 18 0 1 0 262728506 20054016 327 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134536080 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17760/statm: 4896 331 280 324 0 3956 0 [startup+0.0490071 s] /proc/loadavg: 0.85 0.97 0.99 3/77 17760 /proc/meminfo: memFree=1758536/2055920 swapFree=4159360/4192956 [pid=17760] ppid=17758 vsize=5320 CPUtime=0.04 /proc/17760/stat : 17760 (bsolo3.0.16) R 17758 17760 15877 0 -1 4194304 719 0 0 0 4 0 0 0 18 0 1 0 262728506 5447680 680 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17760/statm: 1330 680 305 324 0 399 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 5320 [startup+0.102019 s] /proc/loadavg: 0.85 0.97 0.99 3/77 17760 /proc/meminfo: memFree=1758536/2055920 swapFree=4159360/4192956 [pid=17760] ppid=17758 vsize=5592 CPUtime=0.09 /proc/17760/stat : 17760 (bsolo3.0.16) R 17758 17760 15877 0 -1 4194304 840 0 0 0 9 0 0 0 18 0 1 0 262728506 5726208 752 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17760/statm: 1398 752 307 324 0 467 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5592 [startup+0.301061 s] /proc/loadavg: 0.85 0.97 0.99 3/77 17760 /proc/meminfo: memFree=1758536/2055920 swapFree=4159360/4192956 [pid=17760] ppid=17758 vsize=5724 CPUtime=0.29 /proc/17760/stat : 17760 (bsolo3.0.16) R 17758 17760 15877 0 -1 4194304 887 0 0 0 28 1 0 0 19 0 1 0 262728506 5861376 799 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17760/statm: 1431 800 312 324 0 500 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5724 [startup+0.701146 s] /proc/loadavg: 0.85 0.97 0.99 3/77 17760 /proc/meminfo: memFree=1758536/2055920 swapFree=4159360/4192956 [pid=17760] ppid=17758 vsize=7940 CPUtime=0.69 /proc/17760/stat : 17760 (bsolo3.0.16) R 17758 17760 15877 0 -1 4194304 1453 0 0 0 68 1 0 0 22 0 1 0 262728506 8130560 1365 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17760/statm: 1985 1365 312 324 0 1054 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7940 [startup+1.50132 s] /proc/loadavg: 0.85 0.97 0.99 2/78 17761 /proc/meminfo: memFree=1752832/2055920 swapFree=4159360/4192956 [pid=17760] ppid=17758 vsize=11452 CPUtime=1.48 /proc/17760/stat : 17760 (bsolo3.0.16) R 17758 17760 15877 0 -1 4194304 2330 0 0 0 146 2 0 0 25 0 1 0 262728506 11726848 2242 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17760/statm: 2863 2243 312 324 0 1932 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 11452 [startup+3.10166 s] /proc/loadavg: 0.85 0.97 0.99 2/78 17761 /proc/meminfo: memFree=1748288/2055920 swapFree=4159360/4192956 [pid=17760] ppid=17758 vsize=17308 CPUtime=3.08 /proc/17760/stat : 17760 (bsolo3.0.16) R 17758 17760 15877 0 -1 4194304 3775 0 0 0 305 3 0 0 25 0 1 0 262728506 17723392 3687 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551489 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17760/statm: 4327 3687 312 324 0 3396 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 17308 [startup+6.30134 s] /proc/loadavg: 0.86 0.97 0.99 2/78 17761 /proc/meminfo: memFree=1738688/2055920 swapFree=4159360/4192956 [pid=17760] ppid=17758 vsize=25220 CPUtime=6.29 /proc/17760/stat : 17760 (bsolo3.0.16) R 17758 17760 15877 0 -1 4194304 5754 0 0 0 623 6 0 0 25 0 1 0 262728506 25825280 5666 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17760/statm: 6305 5666 312 324 0 5374 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25220 [startup+12.7017 s] /proc/loadavg: 0.87 0.97 0.99 2/78 17761 /proc/meminfo: memFree=1726144/2055920 swapFree=4159360/4192956 [pid=17760] ppid=17758 vsize=36840 CPUtime=12.68 /proc/17760/stat : 17760 (bsolo3.0.16) R 17758 17760 15877 0 -1 4194304 8664 0 0 0 1258 10 0 0 25 0 1 0 262728506 37724160 8576 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17760/statm: 9210 8576 312 324 0 8279 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 36840 [startup+25.5014 s] /proc/loadavg: 0.90 0.97 0.99 2/78 17761 /proc/meminfo: memFree=1710336/2055920 swapFree=4159360/4192956 [pid=17760] ppid=17758 vsize=51940 CPUtime=25.47 /proc/17760/stat : 17760 (bsolo3.0.16) R 17758 17760 15877 0 -1 4194304 12445 0 0 0 2531 16 0 0 25 0 1 0 262728506 53186560 12357 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17760/statm: 12985 12357 312 324 0 12054 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 51940 [startup+51.1019 s] /proc/loadavg: 0.93 0.97 0.99 2/78 17761 /proc/meminfo: memFree=1689600/2055920 swapFree=4159360/4192956 [pid=17760] ppid=17758 vsize=72780 CPUtime=51.07 /proc/17760/stat : 17760 (bsolo3.0.16) R 17758 17760 15877 0 -1 4194304 17667 0 0 0 5083 24 0 0 25 0 1 0 262728506 74526720 17579 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17760/statm: 18195 17579 312 324 0 17264 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 72780 [startup+102.306 s] /proc/loadavg: 0.97 0.97 0.99 2/78 17761 /proc/meminfo: memFree=1657152/2055920 swapFree=4159360/4192956 [pid=17760] ppid=17758 vsize=104836 CPUtime=102.25 /proc/17760/stat : 17760 (bsolo3.0.16) R 17758 17760 15877 0 -1 4194304 25658 0 0 0 10188 37 0 0 25 0 1 0 262728506 107352064 25570 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17760/statm: 26209 25570 312 324 0 25278 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 104836 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17761 /proc/meminfo: memFree=1634688/2055920 swapFree=4159360/4192956 [pid=17760] ppid=17758 vsize=127372 CPUtime=162.23 /proc/17760/stat : 17760 (bsolo3.0.16) R 17758 17760 15877 0 -1 4194304 31302 0 0 0 16174 49 0 0 25 0 1 0 262728506 130428928 31214 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17760/statm: 31843 31214 312 324 0 30912 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 127372 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17761 /proc/meminfo: memFree=1617344/2055920 swapFree=4159360/4192956 [pid=17760] ppid=17758 vsize=144412 CPUtime=222.2 /proc/17760/stat : 17760 (bsolo3.0.16) R 17758 17760 15877 0 -1 4194304 35571 0 0 0 22160 60 0 0 25 0 1 0 262728506 147877888 35483 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17760/statm: 36103 35483 312 324 0 35172 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 144412 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17761 /proc/meminfo: memFree=1596928/2055920 swapFree=4159360/4192956 [pid=17760] ppid=17758 vsize=165132 CPUtime=282.17 /proc/17760/stat : 17760 (bsolo3.0.16) R 17758 17760 15877 0 -1 4194304 40735 0 0 0 28147 70 0 0 25 0 1 0 262728506 169095168 40647 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17760/statm: 41283 40647 312 324 0 40352 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 165132 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17761 /proc/meminfo: memFree=1573568/2055920 swapFree=4159360/4192956 [pid=17760] ppid=17758 vsize=188176 CPUtime=342.15 /proc/17760/stat : 17760 (bsolo3.0.16) R 17758 17760 15877 0 -1 4194304 46503 0 0 0 34135 80 0 0 25 0 1 0 262728506 192692224 46415 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17760/statm: 47044 46415 312 324 0 46113 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 188176 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17761 /proc/meminfo: memFree=1556352/2055920 swapFree=4159360/4192956 [pid=17760] ppid=17758 vsize=205452 CPUtime=402.13 /proc/17760/stat : 17760 (bsolo3.0.16) R 17758 17760 15877 0 -1 4194304 50822 0 0 0 40125 88 0 0 25 0 1 0 262728506 210382848 50734 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17760/statm: 51363 50734 312 324 0 50432 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 205452 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17761 /proc/meminfo: memFree=1541504/2055920 swapFree=4159360/4192956 [pid=17760] ppid=17758 vsize=220292 CPUtime=462.11 /proc/17760/stat : 17760 (bsolo3.0.16) R 17758 17760 15877 0 -1 4194304 54524 0 0 0 46114 97 0 0 25 0 1 0 262728506 225579008 54436 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17760/statm: 55073 54436 312 324 0 54142 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 220292 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17761 /proc/meminfo: memFree=1524736/2055920 swapFree=4159360/4192956 [pid=17760] ppid=17758 vsize=237044 CPUtime=522.08 /proc/17760/stat : 17760 (bsolo3.0.16) R 17758 17760 15877 0 -1 4194304 58730 0 0 0 52103 105 0 0 25 0 1 0 262728506 242733056 58642 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17760/statm: 59261 58642 312 324 0 58330 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 237044 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17761 /proc/meminfo: memFree=1510592/2055920 swapFree=4159360/4192956 [pid=17760] ppid=17758 vsize=251044 CPUtime=582.06 /proc/17760/stat : 17760 (bsolo3.0.16) R 17758 17760 15877 0 -1 4194304 62229 0 0 0 58094 112 0 0 25 0 1 0 262728506 257069056 62141 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17760/statm: 62761 62141 312 324 0 61830 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 251044 [startup+642.303 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17761 /proc/meminfo: memFree=1506304/2055920 swapFree=4159360/4192956 [pid=17760] ppid=17758 vsize=255064 CPUtime=642.04 /proc/17760/stat : 17760 (bsolo3.0.16) R 17758 17760 15877 0 -1 4194304 63455 0 0 0 64089 115 0 0 25 0 1 0 262728506 261185536 63138 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17760/statm: 63766 63138 312 324 0 62835 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 255064 ################ # More data... # ################ /proc/meminfo: memFree=1506560/2055920 swapFree=4159360/4192956 [pid=17760] ppid=17758 vsize=255064 CPUtime=1061.87 /proc/17760/stat : 17760 (bsolo3.0.16) R 17758 17760 15877 0 -1 4194304 63455 0 0 0 106038 149 0 0 25 0 1 0 262728506 261185536 63138 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17760/statm: 63766 63138 312 324 0 62835 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 255064 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17761 /proc/meminfo: memFree=1506560/2055920 swapFree=4159360/4192956 [pid=17760] ppid=17758 vsize=255064 CPUtime=1121.85 /proc/17760/stat : 17760 (bsolo3.0.16) R 17758 17760 15877 0 -1 4194304 63455 0 0 0 112031 154 0 0 25 0 1 0 262728506 261185536 63138 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 12312301 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17760/statm: 63766 63138 312 324 0 62835 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 255064 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17761 /proc/meminfo: memFree=1506496/2055920 swapFree=4159360/4192956 [pid=17760] ppid=17758 vsize=255064 CPUtime=1181.83 /proc/17760/stat : 17760 (bsolo3.0.16) R 17758 17760 15877 0 -1 4194304 63455 0 0 0 118025 158 0 0 25 0 1 0 262728506 261185536 63138 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17760/statm: 63766 63138 312 324 0 62835 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 255064 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17763 /proc/meminfo: memFree=1506368/2055920 swapFree=4159360/4192956 [pid=17760] ppid=17758 vsize=255064 CPUtime=1241.8 /proc/17760/stat : 17760 (bsolo3.0.16) R 17758 17760 15877 0 -1 4194304 63455 0 0 0 124019 161 0 0 25 0 1 0 262728506 261185536 63138 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17760/statm: 63766 63138 312 324 0 62835 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 255064 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17763 /proc/meminfo: memFree=1506496/2055920 swapFree=4159360/4192956 [pid=17760] ppid=17758 vsize=255064 CPUtime=1301.78 /proc/17760/stat : 17760 (bsolo3.0.16) R 17758 17760 15877 0 -1 4194304 63455 0 0 0 130015 163 0 0 25 0 1 0 262728506 261185536 63138 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17760/statm: 63766 63138 312 324 0 62835 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 255064 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17763 /proc/meminfo: memFree=1506432/2055920 swapFree=4159360/4192956 [pid=17760] ppid=17758 vsize=255064 CPUtime=1361.75 /proc/17760/stat : 17760 (bsolo3.0.16) R 17758 17760 15877 0 -1 4194304 63455 0 0 0 136010 165 0 0 25 0 1 0 262728506 261185536 63138 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 12310360 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17760/statm: 63766 63138 312 324 0 62835 0 Current children cumulated CPU time (s) 1361.75 Current children cumulated vsize (KiB) 255064 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17763 /proc/meminfo: memFree=1503424/2055920 swapFree=4159360/4192956 [pid=17760] ppid=17758 vsize=258172 CPUtime=1421.74 /proc/17760/stat : 17760 (bsolo3.0.16) R 17758 17760 15877 0 -1 4194304 64223 0 0 0 142003 171 0 0 25 0 1 0 262728506 264368128 63906 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17760/statm: 64543 63906 312 324 0 63612 0 Current children cumulated CPU time (s) 1421.74 Current children cumulated vsize (KiB) 258172 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17763 /proc/meminfo: memFree=1487232/2055920 swapFree=4159360/4192956 [pid=17760] ppid=17758 vsize=274332 CPUtime=1481.71 /proc/17760/stat : 17760 (bsolo3.0.16) R 17758 17760 15877 0 -1 4194304 68282 0 0 0 147991 180 0 0 25 0 1 0 262728506 280915968 67965 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17760/statm: 68583 67965 312 324 0 67652 0 Current children cumulated CPU time (s) 1481.71 Current children cumulated vsize (KiB) 274332 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17763 /proc/meminfo: memFree=1470144/2055920 swapFree=4159360/4192956 [pid=17760] ppid=17758 vsize=291420 CPUtime=1541.68 /proc/17760/stat : 17760 (bsolo3.0.16) R 17758 17760 15877 0 -1 4194304 72533 0 0 0 153981 187 0 0 25 0 1 0 262728506 298414080 72216 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17760/statm: 72855 72216 312 324 0 71924 0 Current children cumulated CPU time (s) 1541.68 Current children cumulated vsize (KiB) 291420 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17763 /proc/meminfo: memFree=1456896/2055920 swapFree=4159360/4192956 [pid=17760] ppid=17758 vsize=304896 CPUtime=1601.66 /proc/17760/stat : 17760 (bsolo3.0.16) R 17758 17760 15877 0 -1 4194304 75912 0 0 0 159971 195 0 0 25 0 1 0 262728506 312213504 75595 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17760/statm: 76224 75595 312 324 0 75293 0 Current children cumulated CPU time (s) 1601.66 Current children cumulated vsize (KiB) 304896 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17763 /proc/meminfo: memFree=1445632/2055920 swapFree=4159360/4192956 [pid=17760] ppid=17758 vsize=315772 CPUtime=1661.64 /proc/17760/stat : 17760 (bsolo3.0.16) R 17758 17760 15877 0 -1 4194304 78648 0 0 0 165964 200 0 0 25 0 1 0 262728506 323350528 78331 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17760/statm: 78943 78331 312 324 0 78012 0 Current children cumulated CPU time (s) 1661.64 Current children cumulated vsize (KiB) 315772 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17763 /proc/meminfo: memFree=1437120/2055920 swapFree=4159360/4192956 [pid=17760] ppid=17758 vsize=324328 CPUtime=1721.61 /proc/17760/stat : 17760 (bsolo3.0.16) R 17758 17760 15877 0 -1 4194304 80787 0 0 0 171957 204 0 0 25 0 1 0 262728506 332111872 80470 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17760/statm: 81082 80470 312 324 0 80151 0 Current children cumulated CPU time (s) 1721.61 Current children cumulated vsize (KiB) 324328 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17763 /proc/meminfo: memFree=1429568/2055920 swapFree=4159360/4192956 [pid=17760] ppid=17758 vsize=331848 CPUtime=1781.59 /proc/17760/stat : 17760 (bsolo3.0.16) R 17758 17760 15877 0 -1 4194304 82643 0 0 0 177951 208 0 0 25 0 1 0 262728506 339812352 82326 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551006 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17760/statm: 82962 82326 312 324 0 82031 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 331848 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17763 /proc/meminfo: memFree=1428416/2055920 swapFree=4159360/4192956 [pid=17760] ppid=17758 vsize=333020 CPUtime=1791.19 /proc/17760/stat : 17760 (bsolo3.0.16) R 17758 17760 15877 0 -1 4194304 82930 0 0 0 178910 209 0 0 25 0 1 0 262728506 341012480 82613 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17760/statm: 83255 82613 312 324 0 82324 0 Current children cumulated CPU time (s) 1791.19 Current children cumulated vsize (KiB) 333020 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17763 /proc/meminfo: memFree=1427904/2055920 swapFree=4159360/4192956 [pid=17760] ppid=17758 vsize=333408 CPUtime=1794.39 /proc/17760/stat : 17760 (bsolo3.0.16) R 17758 17760 15877 0 -1 4194304 83058 0 0 0 179229 210 0 0 25 0 1 0 262728506 341409792 82741 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17760/statm: 83352 82741 312 324 0 82421 0 Current children cumulated CPU time (s) 1794.39 Current children cumulated vsize (KiB) 333408 [startup+1798.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17763 /proc/meminfo: memFree=1427584/2055920 swapFree=4159360/4192956 [pid=17760] ppid=17758 vsize=333924 CPUtime=1797.58 /proc/17760/stat : 17760 (bsolo3.0.16) R 17758 17760 15877 0 -1 4194304 83181 0 0 0 179548 210 0 0 25 0 1 0 262728506 341938176 82864 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17760/statm: 83481 82864 312 324 0 82550 0 Current children cumulated CPU time (s) 1797.58 Current children cumulated vsize (KiB) 333924 [startup+1799.9 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17763 /proc/meminfo: memFree=1427264/2055920 swapFree=4159360/4192956 [pid=17760] ppid=17758 vsize=334188 CPUtime=1799.19 /proc/17760/stat : 17760 (bsolo3.0.16) R 17758 17760 15877 0 -1 4194304 83250 0 0 0 179708 211 0 0 25 0 1 0 262728506 342208512 82933 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17760/statm: 83547 82933 312 324 0 82616 0 Current children cumulated CPU time (s) 1799.19 Current children cumulated vsize (KiB) 334188 [startup+1800.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17763 /proc/meminfo: memFree=1427264/2055920 swapFree=4159360/4192956 [pid=17760] ppid=17758 vsize=334316 CPUtime=1799.59 /proc/17760/stat : 17760 (bsolo3.0.16) R 17758 17760 15877 0 -1 4194304 83261 0 0 0 179748 211 0 0 25 0 1 0 262728506 342339584 82944 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17760/statm: 83579 82944 312 324 0 82648 0 Current children cumulated CPU time (s) 1799.59 Current children cumulated vsize (KiB) 334316 [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17763 /proc/meminfo: memFree=1427072/2055920 swapFree=4159360/4192956 [pid=17760] ppid=17758 vsize=334316 CPUtime=1799.99 /proc/17760/stat : 17760 (bsolo3.0.16) R 17758 17760 15877 0 -1 4194304 83274 0 0 0 179788 211 0 0 25 0 1 0 262728506 342339584 82957 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 12310357 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17760/statm: 83579 82957 312 324 0 82648 0 Current children cumulated CPU time (s) 1799.99 Current children cumulated vsize (KiB) 334316 Child status: 0 Real time (s): 1800.78 CPU time (s): 1800.07 CPU user time (s): 1797.9 CPU system time (s): 2.16767 CPU usage (%): 99.9606 Max. virtual memory (cumulated for all children) (KiB): 334316 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.9 system time used= 2.16767 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 83275 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= 1634 runsolver used 1.43678 second user time and 3.9604 second system time The end
Begin job on node13 on Wed May 2 23:21:47 UTC 2007 IDJOB= 453675 IDBENCH= 48146 IDSOLVER= 163 FILE ID= node13/453675-1178148107 PBS_JOBID= 4751061 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_10_4.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453675-1178148107/instance-453675-1178148107.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-453675-1178148107 -o ROOT/results/node13/solver-453675-1178148107 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453675-1178148107/instance-453675-1178148107.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= b738c7950af6b3d63e331a14bc641dc9 RANDOM SEED= 305528992 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node13.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: 1758944 kB Buffers: 92024 kB Cached: 110120 kB SwapCached: 12872 kB Active: 127012 kB Inactive: 101404 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1758944 kB SwapTotal: 4192956 kB SwapFree: 4159360 kB Dirty: 6760 kB Writeback: 0 kB Mapped: 32084 kB Slab: 54020 kB Committed_AS: 9494952 kB PageTables: 1880 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 node13 on Wed May 2 23:51:48 UTC 2007