Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
npSolver inc | OPT | 41202 | 473.798 | 473.937 |
Name | normalized-PB07/OPT-BIGINT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir04_trarea_ac.opb |
MD5SUM | a588ec671da067d931709859b503c557 |
Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 41202 |
Best CPU time to get the best result obtained on this benchmark | 244.379 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 1945 |
Total number of constraints | 3355 |
Number of constraints which are clauses | 3355 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 55 |
Number of terms in the objective function | 1036 |
Biggest coefficient in the objective function | 2072 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 1671510 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 2072 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 1671510 |
Number of bits of the biggest sum of numbers | 21 |
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/0.01 c run inc solver 0.00/0.01 c [INC SYSTEM] run initial solver 0.00/0.01 c [INC SYSTEM] preprocess with white file 0.00/0.04 c [INC SYSTEM] finished preprocessing in 0 s 0.00/0.04 c [INC SYSTEM] execute solver 0.00/0.04 c [INC SEARCH] formula is SAT 0.00/0.04 c [INC SYSTEM] solved the initial formula 0.00/0.05 c model valid 0.00/0.05 c current solution ok 0.00/0.06 o 144674 0.00/0.06 c execute binary inc search 0.00/0.06 c [INC SEARCH] current bound: 72337 0.00/0.06 c [INC SEARCH] iteration: 0 0.00/0.06 c [INC SEARCH] lower bound: 0 upperbound 144674 current bound: 72337 best value:144674 0.00/0.06 c [INC SYSTEM] there exists a inc, kill it! 0.00/0.06 c write failed with 2 0.00/0.06 c [INC SYSTEM] create new solver instance 0.00/0.06 c [INC] encode full formula 0.00/0.06 c fallback to adder encoding 0.00/0.15 c set iterative enc to: adder 0.00/0.15 c set iterative enc to: none 0.00/0.16 c [INC SEARCH] isOptimum variable: 0 75.24/75.32 c [INC SEARCH] formula is SAT 75.24/75.32 c [INC SEARCH] copied best model 75.24/75.32 c sat variable: 1 optimum/unsat variable: 0 75.24/75.33 c model valid 75.24/75.33 c current solution ok 75.24/75.33 o 72334 75.24/75.33 c [INC SEARCH] current bound: 36167 75.24/75.33 c [INC SEARCH] iteration: 1 75.24/75.33 c [INC SEARCH] lower bound: 0 upperbound 72334 current bound: 36167 best value:72334 75.24/75.33 c [INC SYSTEM] there exists a inc, kill it! 75.24/75.33 c write failed with 2 75.24/75.33 c [INC SYSTEM] create new solver instance 75.24/75.33 c [INC] encode full formula 75.24/75.33 c fallback to adder encoding 75.36/75.41 c set iterative enc to: adder 75.36/75.41 c set iterative enc to: none 75.36/75.43 c [INC SEARCH] isOptimum variable: 0 82.24/82.30 c [INC SEARCH] formula is UNSAT 82.24/82.30 c [INC SYSTEM] there exists a inc, kill it! 82.24/82.30 c write failed with 2 82.24/82.30 c sat variable: 0 optimum/unsat variable: 1 82.24/82.30 c [INC SEARCH] set lower bound to 36168 upperbound 72334 82.24/82.30 c [INC SEARCH] current bound: 54251 82.24/82.30 c [INC SEARCH] iteration: 2 82.24/82.30 c [INC SEARCH] lower bound: 36168 upperbound 72334 current bound: 54251 best value:72334 82.24/82.30 c [INC SYSTEM] create new solver instance 82.24/82.30 c [INC] encode full formula 82.24/82.30 c fallback to adder encoding 82.24/82.38 c set iterative enc to: adder 82.24/82.38 c set iterative enc to: none 82.24/82.39 c [INC SEARCH] isOptimum variable: 0 126.13/126.29 c [INC SEARCH] formula is SAT 126.13/126.29 c [INC SEARCH] copied best model 126.13/126.29 c sat variable: 1 optimum/unsat variable: 0 126.23/126.30 c model valid 126.23/126.30 c current solution ok 126.23/126.30 o 54227 126.23/126.30 c [INC SEARCH] current bound: 45197 126.23/126.30 c [INC SEARCH] iteration: 3 126.23/126.30 c [INC SEARCH] lower bound: 36168 upperbound 54227 current bound: 45197 best value:54227 126.23/126.30 c [INC SYSTEM] there exists a inc, kill it! 126.23/126.30 c write failed with 2 126.23/126.30 c [INC SYSTEM] create new solver instance 126.23/126.30 c [INC] encode full formula 126.23/126.30 c fallback to adder encoding 126.23/126.38 c set iterative enc to: adder 126.23/126.38 c set iterative enc to: none 126.23/126.40 c [INC SEARCH] isOptimum variable: 0 157.73/157.80 c [INC SEARCH] formula is SAT 157.73/157.80 c [INC SEARCH] copied best model 157.73/157.80 c sat variable: 1 optimum/unsat variable: 0 157.73/157.81 c model valid 157.73/157.81 c current solution ok 157.73/157.81 o 45186 157.73/157.81 c [INC SEARCH] current bound: 40677 157.73/157.81 c [INC SEARCH] iteration: 4 157.73/157.81 c [INC SEARCH] lower bound: 36168 upperbound 45186 current bound: 40677 best value:45186 157.73/157.81 c [INC SYSTEM] there exists a inc, kill it! 157.73/157.81 c write failed with 2 157.73/157.81 c [INC SYSTEM] create new solver instance 157.73/157.81 c [INC] encode full formula 157.73/157.81 c fallback to adder encoding 157.84/157.90 c set iterative enc to: adder 157.84/157.90 c set iterative enc to: none 157.84/157.91 c [INC SEARCH] isOptimum variable: 0 175.82/175.92 c [INC SEARCH] formula is UNSAT 175.82/175.92 c [INC SYSTEM] there exists a inc, kill it! 175.82/175.92 c write failed with 2 175.82/175.93 c sat variable: 0 optimum/unsat variable: 1 175.82/175.93 c [INC SEARCH] set lower bound to 40678 upperbound 45186 175.82/175.93 c [INC SEARCH] current bound: 42932 175.82/175.93 c [INC SEARCH] iteration: 5 175.82/175.93 c [INC SEARCH] lower bound: 40678 upperbound 45186 current bound: 42932 best value:45186 175.82/175.93 c [INC SYSTEM] create new solver instance 175.82/175.93 c [INC] encode full formula 175.82/175.93 c fallback to adder encoding 175.93/176.02 c set iterative enc to: adder 175.93/176.02 c set iterative enc to: none 175.93/176.03 c [INC SEARCH] isOptimum variable: 0 202.51/202.61 c [INC SEARCH] formula is SAT 202.51/202.61 c [INC SEARCH] copied best model 202.51/202.61 c sat variable: 1 optimum/unsat variable: 0 202.51/202.61 c model valid 202.51/202.61 c current solution ok 202.51/202.61 o 42834 202.51/202.61 c [INC SEARCH] current bound: 41756 202.51/202.61 c [INC SEARCH] iteration: 6 202.51/202.61 c [INC SEARCH] lower bound: 40678 upperbound 42834 current bound: 41756 best value:42834 202.51/202.61 c [INC SYSTEM] there exists a inc, kill it! 202.51/202.61 c write failed with 2 202.51/202.61 c [INC SYSTEM] create new solver instance 202.51/202.61 c [INC] encode full formula 202.51/202.61 c fallback to adder encoding 202.62/202.70 c set iterative enc to: adder 202.62/202.70 c set iterative enc to: none 202.62/202.71 c [INC SEARCH] isOptimum variable: 0 222.31/222.42 c [INC SEARCH] formula is SAT 222.31/222.42 c [INC SEARCH] copied best model 222.31/222.42 c sat variable: 1 optimum/unsat variable: 0 222.31/222.43 c model valid 222.31/222.43 c current solution ok 222.31/222.43 o 41728 222.31/222.43 c [INC SEARCH] current bound: 41203 222.31/222.43 c [INC SEARCH] iteration: 7 222.31/222.43 c [INC SEARCH] lower bound: 40678 upperbound 41728 current bound: 41203 best value:41728 222.31/222.43 c [INC SYSTEM] there exists a inc, kill it! 222.31/222.43 c write failed with 2 222.31/222.43 c [INC SYSTEM] create new solver instance 222.31/222.43 c [INC] encode full formula 222.31/222.43 c fallback to adder encoding 222.42/222.51 c set iterative enc to: adder 222.42/222.51 c set iterative enc to: none 222.42/222.53 c [INC SEARCH] isOptimum variable: 0 249.49/249.68 c [INC SEARCH] formula is SAT 249.49/249.68 c [INC SEARCH] copied best model 249.49/249.68 c sat variable: 1 optimum/unsat variable: 0 249.49/249.69 c model valid 249.49/249.69 c current solution ok 249.49/249.69 o 41202 249.49/249.69 c [INC SEARCH] current bound: 40940 249.49/249.69 c [INC SEARCH] iteration: 8 249.49/249.69 c [INC SEARCH] lower bound: 40678 upperbound 41202 current bound: 40940 best value:41202 249.49/249.69 c [INC SYSTEM] there exists a inc, kill it! 249.49/249.69 c write failed with 2 249.49/249.69 c [INC SYSTEM] create new solver instance 249.49/249.69 c [INC] encode full formula 249.49/249.69 c fallback to adder encoding 249.61/249.78 c set iterative enc to: adder 249.61/249.78 c set iterative enc to: none 249.61/249.79 c [INC SEARCH] isOptimum variable: 0 268.69/268.87 c [INC SEARCH] formula is UNSAT 268.69/268.87 c [INC SYSTEM] there exists a inc, kill it! 268.69/268.87 c write failed with 2 268.69/268.87 c sat variable: 0 optimum/unsat variable: 1 268.69/268.87 c [INC SEARCH] set lower bound to 40941 upperbound 41202 268.69/268.87 c [INC SEARCH] current bound: 41071 268.69/268.87 c [INC SEARCH] iteration: 9 268.69/268.87 c [INC SEARCH] lower bound: 40941 upperbound 41202 current bound: 41071 best value:41202 268.69/268.87 c [INC SYSTEM] create new solver instance 268.69/268.87 c [INC] encode full formula 268.69/268.87 c fallback to adder encoding 268.81/268.96 c set iterative enc to: adder 268.81/268.96 c set iterative enc to: none 268.81/268.97 c [INC SEARCH] isOptimum variable: 0 289.09/289.28 c [INC SEARCH] formula is UNSAT 289.09/289.28 c [INC SYSTEM] there exists a inc, kill it! 289.09/289.28 c write failed with 2 289.09/289.28 c sat variable: 0 optimum/unsat variable: 1 289.09/289.28 c [INC SEARCH] set lower bound to 41072 upperbound 41202 289.09/289.28 c [INC SEARCH] current bound: 41137 289.09/289.28 c [INC SEARCH] iteration: 10 289.09/289.28 c [INC SEARCH] lower bound: 41072 upperbound 41202 current bound: 41137 best value:41202 289.09/289.28 c [INC SYSTEM] create new solver instance 289.09/289.28 c [INC] encode full formula 289.09/289.28 c fallback to adder encoding 289.20/289.37 c set iterative enc to: adder 289.20/289.37 c set iterative enc to: none 289.20/289.38 c [INC SEARCH] isOptimum variable: 0 311.87/312.07 c [INC SEARCH] formula is UNSAT 311.87/312.07 c [INC SYSTEM] there exists a inc, kill it! 311.87/312.07 c write failed with 2 311.87/312.07 c sat variable: 0 optimum/unsat variable: 1 311.87/312.07 c [INC SEARCH] set lower bound to 41138 upperbound 41202 311.87/312.07 c [INC SEARCH] current bound: 41170 311.87/312.07 c [INC SEARCH] iteration: 11 311.87/312.07 c [INC SEARCH] lower bound: 41138 upperbound 41202 current bound: 41170 best value:41202 311.87/312.07 c [INC SYSTEM] create new solver instance 311.87/312.07 c [INC] encode full formula 311.87/312.07 c fallback to adder encoding 311.99/312.16 c set iterative enc to: adder 311.99/312.16 c set iterative enc to: none 311.99/312.17 c [INC SEARCH] isOptimum variable: 0 345.96/346.13 c [INC SEARCH] formula is UNSAT 345.96/346.13 c [INC SYSTEM] there exists a inc, kill it! 345.96/346.13 c write failed with 2 345.96/346.13 c sat variable: 0 optimum/unsat variable: 1 345.96/346.13 c [INC SEARCH] set lower bound to 41171 upperbound 41202 345.96/346.13 c [INC SEARCH] current bound: 41186 345.96/346.13 c [INC SEARCH] iteration: 12 345.96/346.13 c [INC SEARCH] lower bound: 41171 upperbound 41202 current bound: 41186 best value:41202 345.96/346.13 c [INC SYSTEM] create new solver instance 345.96/346.13 c [INC] encode full formula 345.96/346.13 c fallback to adder encoding 346.08/346.22 c set iterative enc to: adder 346.08/346.22 c set iterative enc to: none 346.08/346.23 c [INC SEARCH] isOptimum variable: 0 371.37/371.57 c [INC SEARCH] formula is UNSAT 371.37/371.57 c [INC SYSTEM] there exists a inc, kill it! 371.37/371.57 c write failed with 2 371.37/371.57 c sat variable: 0 optimum/unsat variable: 1 371.37/371.57 c [INC SEARCH] set lower bound to 41187 upperbound 41202 371.37/371.57 c [INC SEARCH] current bound: 41194 371.37/371.57 c [INC SEARCH] iteration: 13 371.37/371.57 c [INC SEARCH] lower bound: 41187 upperbound 41202 current bound: 41194 best value:41202 371.37/371.57 c [INC SYSTEM] create new solver instance 371.37/371.57 c [INC] encode full formula 371.37/371.57 c fallback to adder encoding 371.47/371.66 c set iterative enc to: adder 371.47/371.66 c set iterative enc to: none 371.47/371.68 c [INC SEARCH] isOptimum variable: 0 398.25/398.43 c [INC SEARCH] formula is UNSAT 398.25/398.43 c [INC SYSTEM] there exists a inc, kill it! 398.25/398.43 c write failed with 2 398.25/398.43 c sat variable: 0 optimum/unsat variable: 1 398.25/398.43 c [INC SEARCH] set lower bound to 41195 upperbound 41202 398.25/398.43 c [INC SEARCH] current bound: 41198 398.25/398.43 c [INC SEARCH] iteration: 14 398.25/398.43 c [INC SEARCH] lower bound: 41195 upperbound 41202 current bound: 41198 best value:41202 398.25/398.43 c [INC SYSTEM] create new solver instance 398.25/398.43 c [INC] encode full formula 398.25/398.43 c fallback to adder encoding 398.37/398.52 c set iterative enc to: adder 398.37/398.52 c set iterative enc to: none 398.37/398.53 c [INC SEARCH] isOptimum variable: 0 427.45/427.61 c [INC SEARCH] formula is UNSAT 427.45/427.61 c [INC SYSTEM] there exists a inc, kill it! 427.45/427.61 c write failed with 2 427.45/427.61 c sat variable: 0 optimum/unsat variable: 1 427.45/427.61 c [INC SEARCH] set lower bound to 41199 upperbound 41202 427.45/427.61 c [INC SEARCH] current bound: 41200 427.45/427.61 c [INC SEARCH] iteration: 15 427.45/427.61 c [INC SEARCH] lower bound: 41199 upperbound 41202 current bound: 41200 best value:41202 427.45/427.61 c [INC SYSTEM] create new solver instance 427.45/427.61 c [INC] encode full formula 427.45/427.61 c fallback to adder encoding 427.45/427.69 c set iterative enc to: adder 427.45/427.69 c set iterative enc to: none 427.56/427.71 c [INC SEARCH] isOptimum variable: 0 452.04/452.29 c [INC SEARCH] formula is UNSAT 452.04/452.29 c [INC SYSTEM] there exists a inc, kill it! 452.04/452.29 c write failed with 2 452.15/452.30 c sat variable: 0 optimum/unsat variable: 1 452.15/452.30 c [INC SEARCH] set lower bound to 41201 upperbound 41202 452.15/452.30 c [INC SEARCH] current bound: 41201 452.15/452.30 c [INC SEARCH] iteration: 16 452.15/452.30 c [INC SEARCH] lower bound: 41201 upperbound 41202 current bound: 41201 best value:41202 452.15/452.30 c [INC SYSTEM] create new solver instance 452.15/452.30 c [INC] encode full formula 452.15/452.30 c fallback to adder encoding 452.15/452.38 c set iterative enc to: adder 452.15/452.38 c set iterative enc to: none 452.24/452.40 c [INC SEARCH] isOptimum variable: 0 473.73/473.93 c [INC SEARCH] formula is UNSAT 473.73/473.93 c [INC SYSTEM] there exists a inc, kill it! 473.73/473.93 c write failed with 2 473.73/473.93 c sat variable: 0 optimum/unsat variable: 1 473.73/473.93 c [INC SEARCH] set lower bound to 41202 upperbound 41202 473.73/473.93 c display solution 473.73/473.93 s OPTIMUM FOUND 473.73/473.93 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 -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 -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 -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 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 x1608 -x1609 -x1610 x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 x1885 x1886 -x1887 x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 x1938 -x1939 -x1940 x1941 x1942 x1943 x1944 -x1945
OK 41202
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3699137-1338073535/watcher-3699137-1338073535 -o /tmp/evaluation-result-3699137-1338073535/solver-3699137-1338073535 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699137-1338073535.opb 1237424414 HOME HOME running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.06 2.03 2.01 3/176 7775 /proc/meminfo: memFree=29596456/32873852 swapFree=7624/7624 [pid=7775] ppid=7773 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7775/stat : 7775 (npSolver-pbo-I.) S 7773 7775 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273478967 9367552 275 33554432000 4194304 5064252 140736198965600 140736198964512 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7775/statm: 2287 275 233 213 0 72 0 [startup+0.063399 s] /proc/loadavg: 2.06 2.03 2.01 3/176 7775 /proc/meminfo: memFree=29596456/32873852 swapFree=7624/7624 [pid=7775] ppid=7773 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7775/stat : 7775 (npSolver-pbo-I.) S 7773 7775 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273478967 9367552 275 33554432000 4194304 5064252 140736198965600 140736198964512 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7775/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100287 s] /proc/loadavg: 2.06 2.03 2.01 3/176 7775 /proc/meminfo: memFree=29596456/32873852 swapFree=7624/7624 [pid=7775] ppid=7773 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7775/stat : 7775 (npSolver-pbo-I.) S 7773 7775 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273478967 9367552 275 33554432000 4194304 5064252 140736198965600 140736198964512 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7775/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300152 s] /proc/loadavg: 2.06 2.03 2.01 3/176 7775 /proc/meminfo: memFree=29596456/32873852 swapFree=7624/7624 [pid=7775] ppid=7773 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7775/stat : 7775 (npSolver-pbo-I.) S 7773 7775 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273478967 9367552 275 33554432000 4194304 5064252 140736198965600 140736198964512 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7775/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700144 s] /proc/loadavg: 2.06 2.03 2.01 3/176 7775 /proc/meminfo: memFree=29596456/32873852 swapFree=7624/7624 [pid=7775] ppid=7773 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7775/stat : 7775 (npSolver-pbo-I.) S 7773 7775 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273478967 9367552 275 33554432000 4194304 5064252 140736198965600 140736198964512 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7775/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50027 s] /proc/loadavg: 2.06 2.03 2.01 3/179 7784 /proc/meminfo: memFree=29569320/32873852 swapFree=7624/7624 [pid=7775] ppid=7773 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7775/stat : 7775 (npSolver-pbo-I.) S 7773 7775 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273478967 9367552 275 33554432000 4194304 5064252 140736198965600 140736198964512 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7775/statm: 2287 275 233 213 0 72 0 [pid=7776] ppid=7775 vsize=3292 CPUtime=0.13 cores=0,2,4,6 /proc/7776/stat : 7776 (npSolver-pbo) S 7775 7775 5385 0 -1 4202496 2839 3317 0 0 10 1 2 0 20 0 1 0 273478967 3371008 522 33554432000 4194304 5992684 140733568269584 140733568254488 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0 /proc/7776/statm: 823 522 183 440 0 379 0 [pid=7784] ppid=7776 vsize=24924 CPUtime=1.32 cores=0,2,4,6 /proc/7784/stat : 7784 (glucosInc) R 7776 7775 5385 0 -1 4202496 5412 0 0 0 132 0 0 0 20 0 1 0 273478983 25522176 5486 33554432000 4194304 5654031 140736196114688 140736196112456 4215112 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/7784/statm: 6231 5486 142 357 0 5871 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 37364 [startup+3.1003 s] /proc/loadavg: 2.06 2.03 2.01 3/179 7784 /proc/meminfo: memFree=29562292/32873852 swapFree=7624/7624 [pid=7775] ppid=7773 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7775/stat : 7775 (npSolver-pbo-I.) S 7773 7775 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273478967 9367552 275 33554432000 4194304 5064252 140736198965600 140736198964512 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7775/statm: 2287 275 233 213 0 72 0 [pid=7776] ppid=7775 vsize=3292 CPUtime=0.13 cores=0,2,4,6 /proc/7776/stat : 7776 (npSolver-pbo) S 7775 7775 5385 0 -1 4202496 2839 3317 0 0 10 1 2 0 20 0 1 0 273478967 3371008 522 33554432000 4194304 5992684 140733568269584 140733568254488 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0 /proc/7776/statm: 823 522 183 440 0 379 0 [pid=7784] ppid=7776 vsize=33652 CPUtime=2.92 cores=0,2,4,6 /proc/7784/stat : 7784 (glucosInc) R 7776 7775 5385 0 -1 4202496 7325 0 0 0 291 1 0 0 20 0 1 0 273478983 34459648 7603 33554432000 4194304 5654031 140736196114688 140736196102504 4216621 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/7784/statm: 8413 7603 142 357 0 8053 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 46092 [startup+6.30027 s] /proc/loadavg: 2.06 2.03 2.00 3/179 7784 /proc/meminfo: memFree=29548520/32873852 swapFree=7624/7624 [pid=7775] ppid=7773 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7775/stat : 7775 (npSolver-pbo-I.) S 7773 7775 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273478967 9367552 275 33554432000 4194304 5064252 140736198965600 140736198964512 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7775/statm: 2287 275 233 213 0 72 0 [pid=7776] ppid=7775 vsize=3292 CPUtime=0.13 cores=0,2,4,6 /proc/7776/stat : 7776 (npSolver-pbo) S 7775 7775 5385 0 -1 4202496 2839 3317 0 0 10 1 2 0 20 0 1 0 273478967 3371008 522 33554432000 4194304 5992684 140733568269584 140733568254488 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0 /proc/7776/statm: 823 522 183 440 0 379 0 [pid=7784] ppid=7776 vsize=40792 CPUtime=6.13 cores=0,2,4,6 /proc/7784/stat : 7784 (glucosInc) R 7776 7775 5385 0 -1 4202496 7799 0 0 0 610 3 0 0 20 0 1 0 273478983 41771008 9570 33554432000 4194304 5654031 140736196114688 140736196102504 4232462 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/7784/statm: 10198 9570 142 357 0 9838 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 53232 [startup+12.7003 s] /proc/loadavg: 2.05 2.03 2.00 3/179 7784 /proc/meminfo: memFree=29547892/32873852 swapFree=7624/7624 [pid=7775] ppid=7773 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7775/stat : 7775 (npSolver-pbo-I.) S 7773 7775 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273478967 9367552 275 33554432000 4194304 5064252 140736198965600 140736198964512 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7775/statm: 2287 275 233 213 0 72 0 [pid=7776] ppid=7775 vsize=3292 CPUtime=0.13 cores=0,2,4,6 /proc/7776/stat : 7776 (npSolver-pbo) S 7775 7775 5385 0 -1 4202496 2839 3317 0 0 10 1 2 0 20 0 1 0 273478967 3371008 522 33554432000 4194304 5992684 140733568269584 140733568254488 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0 /proc/7776/statm: 823 522 183 440 0 379 0 [pid=7784] ppid=7776 vsize=40792 CPUtime=12.52 cores=0,2,4,6 /proc/7784/stat : 7784 (glucosInc) R 7776 7775 5385 0 -1 4202496 7807 0 0 0 1249 3 0 0 20 0 1 0 273478983 41771008 9577 33554432000 4194304 5654031 140736196114688 140736196102504 4214993 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/7784/statm: 10198 9577 142 357 0 9838 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 53232 [startup+25.5003 s] /proc/loadavg: 2.04 2.03 2.00 3/179 7784 /proc/meminfo: memFree=29550552/32873852 swapFree=7624/7624 [pid=7775] ppid=7773 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7775/stat : 7775 (npSolver-pbo-I.) S 7773 7775 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273478967 9367552 275 33554432000 4194304 5064252 140736198965600 140736198964512 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7775/statm: 2287 275 233 213 0 72 0 [pid=7776] ppid=7775 vsize=3292 CPUtime=0.13 cores=0,2,4,6 /proc/7776/stat : 7776 (npSolver-pbo) S 7775 7775 5385 0 -1 4202496 2839 3317 0 0 10 1 2 0 20 0 1 0 273478967 3371008 522 33554432000 4194304 5992684 140733568269584 140733568254488 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0 /proc/7776/statm: 823 522 183 440 0 379 0 [pid=7784] ppid=7776 vsize=52392 CPUtime=25.32 cores=0,2,4,6 /proc/7784/stat : 7784 (glucosInc) R 7776 7775 5385 0 -1 4202496 9239 0 0 0 2528 4 0 0 20 0 1 0 273478983 53649408 9074 33554432000 4194304 5654031 140736196114688 140736196102504 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/7784/statm: 13098 9074 142 357 0 12738 0 Current children cumulated CPU time (s) 25.45 Current children cumulated vsize (KiB) 64832 [startup+51.1004 s] /proc/loadavg: 2.11 2.04 2.01 3/179 7784 /proc/meminfo: memFree=29525268/32873852 swapFree=7624/7624 [pid=7775] ppid=7773 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7775/stat : 7775 (npSolver-pbo-I.) S 7773 7775 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273478967 9367552 275 33554432000 4194304 5064252 140736198965600 140736198964512 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7775/statm: 2287 275 233 213 0 72 0 [pid=7776] ppid=7775 vsize=3292 CPUtime=0.13 cores=0,2,4,6 /proc/7776/stat : 7776 (npSolver-pbo) S 7775 7775 5385 0 -1 4202496 2839 3317 0 0 10 1 2 0 20 0 1 0 273478967 3371008 522 33554432000 4194304 5992684 140733568269584 140733568254488 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0 /proc/7776/statm: 823 522 183 440 0 379 0 [pid=7784] ppid=7776 vsize=61180 CPUtime=50.91 cores=0,2,4,6 /proc/7784/stat : 7784 (glucosInc) R 7776 7775 5385 0 -1 4202496 10020 0 0 0 5087 4 0 0 20 0 1 0 273478983 62648320 14705 33554432000 4194304 5654031 140736196114688 140736196102504 4215112 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/7784/statm: 15295 14705 142 357 0 14935 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 73620 [startup+102.306 s] /proc/loadavg: 2.04 2.03 2.00 3/179 7788 /proc/meminfo: memFree=29545632/32873852 swapFree=7624/7624 [pid=7775] ppid=7773 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7775/stat : 7775 (npSolver-pbo-I.) S 7773 7775 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273478967 9367552 275 33554432000 4194304 5064252 140736198965600 140736198964512 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7775/statm: 2287 275 233 213 0 72 0 [pid=7776] ppid=7775 vsize=3124 CPUtime=82.34 cores=0,2,4,6 /proc/7776/stat : 7776 (npSolver-pbo) S 7775 7775 5385 0 -1 4202496 9875 21854 0 0 27 3 8196 8 20 0 1 0 273478967 3198976 481 33554432000 4194304 5992684 140733568269584 140733568254488 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/7776/statm: 781 481 184 440 0 337 0 [pid=7788] ppid=7776 vsize=32112 CPUtime=19.89 cores=0,2,4,6 /proc/7788/stat : 7788 (glucosInc) R 7776 7775 5385 0 -1 4202496 8409 0 0 0 1988 1 0 0 20 0 1 0 273487207 32882688 7535 33554432000 4194304 5654031 140734974079312 140734974067128 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/7788/statm: 8028 7535 141 357 0 7668 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 44384 [startup+162.3 s] /proc/loadavg: 2.01 2.02 2.00 3/179 7793 /proc/meminfo: memFree=29529284/32873852 swapFree=7624/7624 [pid=7775] ppid=7773 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7775/stat : 7775 (npSolver-pbo-I.) S 7773 7775 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273478967 9367552 275 33554432000 4194304 5064252 140736198965600 140736198964512 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7775/statm: 2287 275 233 213 0 72 0 [pid=7776] ppid=7775 vsize=3124 CPUtime=157.85 cores=0,2,4,6 /proc/7776/stat : 7776 (npSolver-pbo) S 7775 7775 5385 0 -1 4202496 16955 41094 0 0 45 6 15719 15 20 0 1 0 273478967 3198976 481 33554432000 4194304 5992684 140733568269584 140733568254488 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/7776/statm: 781 481 184 440 0 337 0 [pid=7793] ppid=7776 vsize=34956 CPUtime=4.37 cores=0,2,4,6 /proc/7793/stat : 7793 (glucosInc) R 7776 7775 5385 0 -1 4202496 6485 0 0 0 436 1 0 0 20 0 1 0 273494759 35794944 8010 33554432000 4194304 5654031 140735947081888 140735947069704 4215372 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/7793/statm: 8739 8010 141 357 0 8379 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 47228 [startup+222.3 s] /proc/loadavg: 2.00 2.02 2.00 3/179 7797 /proc/meminfo: memFree=29507360/32873852 swapFree=7624/7624 [pid=7775] ppid=7773 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7775/stat : 7775 (npSolver-pbo-I.) S 7773 7775 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273478967 9367552 275 33554432000 4194304 5064252 140736198965600 140736198964512 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7775/statm: 2287 275 233 213 0 72 0 [pid=7776] ppid=7775 vsize=3124 CPUtime=202.64 cores=0,2,4,6 /proc/7776/stat : 7776 (npSolver-pbo) S 7775 7775 5385 0 -1 4202496 23993 57296 0 0 63 9 20172 20 20 0 1 0 273478967 3198976 481 33554432000 4194304 5992684 140733568269584 140733568254488 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/7776/statm: 781 481 184 440 0 337 0 [pid=7797] ppid=7776 vsize=39536 CPUtime=19.57 cores=0,2,4,6 /proc/7797/stat : 7797 (glucosInc) R 7776 7775 5385 0 -1 4202496 5921 0 0 0 1955 2 0 0 20 0 1 0 273499238 40484864 9387 33554432000 4194304 5654031 140735683954608 140735683942424 4215104 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/7797/statm: 9884 9387 141 357 0 9524 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 51808 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.00 3/180 7806 /proc/meminfo: memFree=29501084/32873852 swapFree=7624/7624 [pid=7775] ppid=7773 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7775/stat : 7775 (npSolver-pbo-I.) S 7773 7775 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273478967 9367552 275 33554432000 4194304 5064252 140736198965600 140736198964512 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7775/statm: 2287 275 233 213 0 72 0 [pid=7776] ppid=7775 vsize=3124 CPUtime=268.88 cores=0,2,4,6 /proc/7776/stat : 7776 (npSolver-pbo) S 7775 7775 5385 0 -1 4202496 34572 81148 0 0 89 13 26756 30 20 0 1 0 273478967 3198976 481 33554432000 4194304 5992684 140733568269584 140733568254488 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/7776/statm: 781 481 184 440 0 337 0 [pid=7806] ppid=7776 vsize=39152 CPUtime=13.31 cores=0,2,4,6 /proc/7806/stat : 7806 (glucosInc) R 7776 7775 5385 0 -1 4202496 7493 0 0 0 1329 2 0 0 20 0 1 0 273505865 40091648 9247 33554432000 4194304 5654031 140733591272224 140733591260040 4215097 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/7806/statm: 9788 9247 141 357 0 9428 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 51424 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 7810 /proc/meminfo: memFree=29478276/32873852 swapFree=7624/7624 [pid=7775] ppid=7773 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7775/stat : 7775 (npSolver-pbo-I.) S 7773 7775 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273478967 9367552 275 33554432000 4194304 5064252 140736198965600 140736198964512 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7775/statm: 2287 275 233 213 0 72 0 [pid=7776] ppid=7775 vsize=3124 CPUtime=312.06 cores=0,2,4,6 /proc/7776/stat : 7776 (npSolver-pbo) S 7775 7775 5385 0 -1 4202496 41565 98268 0 0 107 15 31048 36 20 0 1 0 273478967 3198976 481 33554432000 4194304 5992684 140733568269584 140733568254488 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/7776/statm: 781 481 184 440 0 337 0 [pid=7810] ppid=7776 vsize=46676 CPUtime=30.11 cores=0,2,4,6 /proc/7810/stat : 7810 (glucosInc) R 7776 7775 5385 0 -1 4202496 8730 0 0 0 3008 3 0 0 20 0 1 0 273510184 47796224 11150 33554432000 4194304 5654031 140734695116240 140734695104056 4216213 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/7810/statm: 11669 11150 141 357 0 11309 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 58948 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 7816 /proc/meminfo: memFree=29485532/32873852 swapFree=7624/7624 [pid=7775] ppid=7773 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7775/stat : 7775 (npSolver-pbo-I.) S 7773 7775 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273478967 9367552 275 33554432000 4194304 5064252 140736198965600 140736198964512 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7775/statm: 2287 275 233 213 0 72 0 [pid=7776] ppid=7775 vsize=3124 CPUtime=398.4 cores=0,2,4,6 /proc/7776/stat : 7776 (npSolver-pbo) S 7775 7775 5385 0 -1 4202496 52058 126557 0 0 133 19 39641 47 20 0 1 0 273478967 3198976 481 33554432000 4194304 5992684 140733568269584 140733568254488 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/7776/statm: 781 481 184 440 0 337 0 [pid=7816] ppid=7776 vsize=32448 CPUtime=3.75 cores=0,2,4,6 /proc/7816/stat : 7816 (glucosInc) R 7776 7775 5385 0 -1 4202496 6892 0 0 0 374 1 0 0 20 0 1 0 273518820 33226752 7436 33554432000 4194304 5654031 140734602420976 140734602408792 4233236 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/7816/statm: 8112 7436 141 357 0 7752 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 44720 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 7821 /proc/meminfo: memFree=29484164/32873852 swapFree=7624/7624 [pid=7775] ppid=7773 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7775/stat : 7775 (npSolver-pbo-I.) S 7773 7775 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273478967 9367552 275 33554432000 4194304 5064252 140736198965600 140736198964512 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7775/statm: 2287 275 233 213 0 72 0 [pid=7776] ppid=7775 vsize=3124 CPUtime=452.25 cores=0,2,4,6 /proc/7776/stat : 7776 (npSolver-pbo) S 7775 7775 5385 0 -1 4202496 59050 145650 0 0 150 22 45000 53 20 0 1 0 273478967 3198976 481 33554432000 4194304 5992684 140733568269584 140733568254488 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0 /proc/7776/statm: 781 481 184 440 0 337 0 [pid=7821] ppid=7776 vsize=39172 CPUtime=9.88 cores=0,2,4,6 /proc/7821/stat : 7821 (glucosInc) R 7776 7775 5385 0 -1 4202496 7888 0 0 0 985 3 0 0 20 0 1 0 273524207 40112128 7511 33554432000 4194304 5654031 140736624685568 140736624673384 4215115 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/7821/statm: 9793 7511 141 357 0 9433 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 51444 Solver just ended. Dumping a history of the last processes samples [startup+467.1 s] /proc/loadavg: 2.00 2.00 2.00 3/179 7821 /proc/meminfo: memFree=29473180/32873852 swapFree=7624/7624 [pid=7775] ppid=7773 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7775/stat : 7775 (npSolver-pbo-I.) S 7773 7775 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273478967 9367552 275 33554432000 4194304 5064252 140736198965600 140736198964512 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7775/statm: 2287 275 233 213 0 72 0 [pid=7776] ppid=7775 vsize=3124 CPUtime=452.25 cores=0,2,4,6 /proc/7776/stat : 7776 (npSolver-pbo) S 7775 7775 5385 0 -1 4202496 59050 145650 0 0 150 22 45000 53 20 0 1 0 273478967 3198976 481 33554432000 4194304 5992684 140733568269584 140733568254488 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0 /proc/7776/statm: 781 481 184 440 0 337 0 [pid=7821] ppid=7776 vsize=39172 CPUtime=14.68 cores=0,2,4,6 /proc/7821/stat : 7821 (glucosInc) R 7776 7775 5385 0 -1 4202496 8113 0 0 0 1465 3 0 0 20 0 1 0 273524207 40112128 9268 33554432000 4194304 5654031 140736624685568 140736624673384 4215121 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/7821/statm: 9793 9268 141 357 0 9433 0 Current children cumulated CPU time (s) 466.93 Current children cumulated vsize (KiB) 51444 [startup+470.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 7821 /proc/meminfo: memFree=29473304/32873852 swapFree=7624/7624 [pid=7775] ppid=7773 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7775/stat : 7775 (npSolver-pbo-I.) S 7773 7775 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273478967 9367552 275 33554432000 4194304 5064252 140736198965600 140736198964512 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7775/statm: 2287 275 233 213 0 72 0 [pid=7776] ppid=7775 vsize=3124 CPUtime=452.25 cores=0,2,4,6 /proc/7776/stat : 7776 (npSolver-pbo) S 7775 7775 5385 0 -1 4202496 59050 145650 0 0 150 22 45000 53 20 0 1 0 273478967 3198976 481 33554432000 4194304 5992684 140733568269584 140733568254488 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0 /proc/7776/statm: 781 481 184 440 0 337 0 [pid=7821] ppid=7776 vsize=39172 CPUtime=17.88 cores=0,2,4,6 /proc/7821/stat : 7821 (glucosInc) R 7776 7775 5385 0 -1 4202496 8114 0 0 0 1785 3 0 0 20 0 1 0 273524207 40112128 9269 33554432000 4194304 5654031 140736624685568 140736624673384 4232803 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/7821/statm: 9793 9269 141 357 0 9433 0 Current children cumulated CPU time (s) 470.13 Current children cumulated vsize (KiB) 51444 [startup+471.906 s] /proc/loadavg: 2.00 2.00 2.00 3/179 7821 /proc/meminfo: memFree=29473304/32873852 swapFree=7624/7624 [pid=7775] ppid=7773 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7775/stat : 7775 (npSolver-pbo-I.) S 7773 7775 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273478967 9367552 275 33554432000 4194304 5064252 140736198965600 140736198964512 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7775/statm: 2287 275 233 213 0 72 0 [pid=7776] ppid=7775 vsize=3124 CPUtime=452.25 cores=0,2,4,6 /proc/7776/stat : 7776 (npSolver-pbo) S 7775 7775 5385 0 -1 4202496 59050 145650 0 0 150 22 45000 53 20 0 1 0 273478967 3198976 481 33554432000 4194304 5992684 140733568269584 140733568254488 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0 /proc/7776/statm: 781 481 184 440 0 337 0 [pid=7821] ppid=7776 vsize=39172 CPUtime=19.49 cores=0,2,4,6 /proc/7821/stat : 7821 (glucosInc) R 7776 7775 5385 0 -1 4202496 8114 0 0 0 1946 3 0 0 20 0 1 0 273524207 40112128 9269 33554432000 4194304 5654031 140736624685568 140736624673384 4216105 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/7821/statm: 9793 9269 141 357 0 9433 0 Current children cumulated CPU time (s) 471.74 Current children cumulated vsize (KiB) 51444 [startup+472.7 s] /proc/loadavg: 2.00 2.00 2.00 3/179 7821 /proc/meminfo: memFree=29473304/32873852 swapFree=7624/7624 [pid=7775] ppid=7773 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7775/stat : 7775 (npSolver-pbo-I.) S 7773 7775 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273478967 9367552 275 33554432000 4194304 5064252 140736198965600 140736198964512 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7775/statm: 2287 275 233 213 0 72 0 [pid=7776] ppid=7775 vsize=3124 CPUtime=452.25 cores=0,2,4,6 /proc/7776/stat : 7776 (npSolver-pbo) S 7775 7775 5385 0 -1 4202496 59050 145650 0 0 150 22 45000 53 20 0 1 0 273478967 3198976 481 33554432000 4194304 5992684 140733568269584 140733568254488 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0 /proc/7776/statm: 781 481 184 440 0 337 0 [pid=7821] ppid=7776 vsize=39172 CPUtime=20.28 cores=0,2,4,6 /proc/7821/stat : 7821 (glucosInc) R 7776 7775 5385 0 -1 4202496 8114 0 0 0 2025 3 0 0 20 0 1 0 273524207 40112128 9269 33554432000 4194304 5654031 140736624685568 140736624673384 4216075 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/7821/statm: 9793 9269 141 357 0 9433 0 Current children cumulated CPU time (s) 472.53 Current children cumulated vsize (KiB) 51444 [startup+473.5 s] /proc/loadavg: 2.00 2.00 2.00 3/179 7821 /proc/meminfo: memFree=29471256/32873852 swapFree=7624/7624 [pid=7775] ppid=7773 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7775/stat : 7775 (npSolver-pbo-I.) S 7773 7775 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273478967 9367552 275 33554432000 4194304 5064252 140736198965600 140736198964512 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7775/statm: 2287 275 233 213 0 72 0 [pid=7776] ppid=7775 vsize=3124 CPUtime=452.25 cores=0,2,4,6 /proc/7776/stat : 7776 (npSolver-pbo) S 7775 7775 5385 0 -1 4202496 59050 145650 0 0 150 22 45000 53 20 0 1 0 273478967 3198976 481 33554432000 4194304 5992684 140733568269584 140733568254488 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0 /proc/7776/statm: 781 481 184 440 0 337 0 [pid=7821] ppid=7776 vsize=39172 CPUtime=21.08 cores=0,2,4,6 /proc/7821/stat : 7821 (glucosInc) R 7776 7775 5385 0 -1 4202496 8114 0 0 0 2105 3 0 0 20 0 1 0 273524207 40112128 9269 33554432000 4194304 5654031 140736624685568 140736624673384 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/7821/statm: 9793 9269 141 357 0 9433 0 Current children cumulated CPU time (s) 473.33 Current children cumulated vsize (KiB) 51444 [startup+473.9 s] /proc/loadavg: 2.00 2.00 2.00 3/179 7821 /proc/meminfo: memFree=29471256/32873852 swapFree=7624/7624 [pid=7775] ppid=7773 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7775/stat : 7775 (npSolver-pbo-I.) S 7773 7775 5385 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273478967 9367552 275 33554432000 4194304 5064252 140736198965600 140736198964512 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/7775/statm: 2287 275 233 213 0 72 0 [pid=7776] ppid=7775 vsize=3124 CPUtime=452.25 cores=0,2,4,6 /proc/7776/stat : 7776 (npSolver-pbo) S 7775 7775 5385 0 -1 4202496 59050 145650 0 0 150 22 45000 53 20 0 1 0 273478967 3198976 481 33554432000 4194304 5992684 140733568269584 140733568254488 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0 /proc/7776/statm: 781 481 184 440 0 337 0 [pid=7821] ppid=7776 vsize=39172 CPUtime=21.48 cores=0,2,4,6 /proc/7821/stat : 7821 (glucosInc) R 7776 7775 5385 0 -1 4202496 8114 0 0 0 2145 3 0 0 20 0 1 0 273524207 40112128 9269 33554432000 4194304 5654031 140736624685568 140736624673384 4232916 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/7821/statm: 9793 9269 141 357 0 9433 0 Current children cumulated CPU time (s) 473.73 Current children cumulated vsize (KiB) 51444 Child status: 0 Real time (s): 473.937 CPU time (s): 473.798 CPU user time (s): 472.998 CPU system time (s): 0.799878 CPU usage (%): 99.9706 Max. virtual memory (cumulated for all children) (KiB): 103968 getrusage(RUSAGE_CHILDREN,...) data: user time used= 472.998 system time used= 0.799878 maximum resident set size= 69972 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 213668 page faults= 0 swaps= 0 block input operations= 0 block output operations= 178144 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 540 involuntary context switches= 1260 runsolver used 0.761884 second user time and 1.83272 second system time The end
Begin job on node131 at 2012-05-27 01:05:35 IDJOB=3699137 IDBENCH=25050 IDSOLVER=2276 FILE ID=node131/3699137-1338073535 RUNJOBID= node131-1338049646-5401 PBS_JOBID= 14624376 Free space on /tmp= 71496 MiB SOLVER NAME= npSolver inc BENCH NAME= PB07/normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir04_trarea_ac.opb COMMAND LINE= DIR/npSolver-pbo-I.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3699137-1338073535/watcher-3699137-1338073535 -o /tmp/evaluation-result-3699137-1338073535/solver-3699137-1338073535 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699137-1338073535.opb 1237424414 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a588ec671da067d931709859b503c557 RANDOM SEED=1237424414 node131.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.805 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.805 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.805 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.805 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.805 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.805 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.805 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.805 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873852 kB MemFree: 29596464 kB Buffers: 275004 kB Cached: 1950956 kB SwapCached: 2236 kB Active: 930020 kB Inactive: 1541132 kB Active(anon): 246728 kB Inactive(anon): 484 kB Active(file): 683292 kB Inactive(file): 1540648 kB Unevictable: 7624 kB Mlocked: 7624 kB SwapTotal: 67108856 kB SwapFree: 67098028 kB Dirty: 8324 kB Writeback: 0 kB AnonPages: 260636 kB Mapped: 15292 kB Shmem: 0 kB Slab: 665960 kB SReclaimable: 108228 kB SUnreclaim: 557732 kB KernelStack: 1488 kB PageTables: 4724 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545780 kB Committed_AS: 423616 kB VmallocTotal: 34359738367 kB VmallocUsed: 346360 kB VmallocChunk: 34341988004 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71488 MiB End job on node131 at 2012-05-27 01:13:29