Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
npSolver inc-topdown-quickBound | OPT | -40 | 79.073 | 79.4322 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb |
MD5SUM | 9984e76947bf9addca42277d72ff7107 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -40 |
Best CPU time to get the best result obtained on this benchmark | 61.0357 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -40 |
Optimality of the best value was proved | YES |
Number of variables | 760 |
Total number of constraints | 41314 |
Number of constraints which are clauses | 41314 |
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 | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 760 |
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 | 760 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 760 |
Number of bits of the biggest sum of numbers | 10 |
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.08 c run inc solver 0.00/0.08 c [INC SYSTEM] run initial solver 0.00/0.08 c [INC SYSTEM] preprocess with white file 0.00/0.16 c [INC SYSTEM] finished preprocessing in 0 s 0.00/0.16 c [INC SYSTEM] execute solver 0.00/0.17 c [INC SEARCH] formula is SAT 0.00/0.17 c [INC SYSTEM] solved the initial formula 0.00/0.21 c model valid 0.00/0.21 c current solution ok 0.00/0.28 o 0 0.00/0.28 c starting approximation 0.00/0.28 c factor = 1 0.00/0.28 c can not find a suitable factor, leaving approximation 0.00/0.28 c finished approximation 0.00/0.28 c [INC SYSTEM] there exists a inc, kill it! 0.00/0.28 c write failed with 2 0.00/0.28 c [INC SEARCH] iteration: 0 0.00/0.28 c [INC BOUNDS] best value:760 search for 759 0.00/0.28 c [INC SYSTEM] create new solver instance 0.00/0.28 c [INC] encode full formula 0.00/0.28 c (debug) using card networks 0.00/0.30 c set iterative enc to: card 0.00/0.30 c set iterative enc to: none 0.00/0.30 c [INC SEARCH] isOptimum variable: 0 0.00/0.38 c formula is SAT 0.00/0.39 c [INC SEARCH] copied best model 0.00/0.39 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 0.00/0.43 c model valid 0.00/0.43 c current solution ok 0.00/0.43 o -27 0.00/0.43 c [INC SEARCH] iteration: 1 0.00/0.43 c [INC BOUNDS] best value:733 search for 732 0.00/0.43 c [INC SYSTEM] there exists a inc, kill it! 0.00/0.43 c write failed with 2 0.00/0.43 c [INC SYSTEM] create new solver instance 0.00/0.43 c [INC] encode full formula 0.00/0.43 c (debug) using card networks 0.00/0.45 c set iterative enc to: card 0.00/0.45 c set iterative enc to: none 0.00/0.46 c [INC SEARCH] isOptimum variable: 0 0.00/0.53 c formula is SAT 0.00/0.53 c [INC SEARCH] copied best model 0.00/0.53 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 0.00/0.57 c model valid 0.00/0.57 c current solution ok 0.00/0.57 o -28 0.00/0.57 c [INC SEARCH] iteration: 2 0.00/0.57 c [INC BOUNDS] best value:732 search for 731 0.00/0.57 c [INC SYSTEM] there exists a inc, kill it! 0.00/0.57 c write failed with 2 0.00/0.57 c [INC SYSTEM] create new solver instance 0.00/0.57 c [INC] encode full formula 0.00/0.57 c (debug) using card networks 0.00/0.60 c set iterative enc to: card 0.00/0.60 c set iterative enc to: none 0.00/0.60 c [INC SEARCH] isOptimum variable: 0 1.97/2.00 c formula is SAT 1.97/2.00 c [INC SEARCH] copied best model 2.04/2.13 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 2.04/2.13 c model valid 2.04/2.13 c current solution ok 2.04/2.13 o -29 2.04/2.13 c [INC SEARCH] iteration: 3 2.04/2.13 c [INC BOUNDS] best value:731 search for 730 2.04/2.13 c [INC SYSTEM] there exists a inc, kill it! 2.04/2.13 c write failed with 2 2.04/2.13 c [INC SYSTEM] create new solver instance 2.04/2.13 c [INC] encode full formula 2.04/2.13 c (debug) using card networks 2.04/2.13 c set iterative enc to: card 2.04/2.13 c set iterative enc to: none 2.04/2.36 c [INC SEARCH] isOptimum variable: 0 3.37/3.79 c formula is SAT 3.37/3.80 c [INC SEARCH] copied best model 3.47/3.80 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 3.47/3.84 c model valid 3.47/3.84 c current solution ok 3.47/3.84 o -30 3.47/3.84 c [INC SEARCH] iteration: 4 3.47/3.84 c [INC BOUNDS] best value:730 search for 729 3.47/3.84 c [INC SYSTEM] there exists a inc, kill it! 3.47/3.84 c write failed with 2 3.47/3.84 c [INC SYSTEM] create new solver instance 3.47/3.84 c [INC] encode full formula 3.47/3.84 c (debug) using card networks 3.47/3.86 c set iterative enc to: card 3.47/3.86 c set iterative enc to: none 3.47/3.87 c [INC SEARCH] isOptimum variable: 0 5.86/6.20 c formula is SAT 5.86/6.20 c [INC SEARCH] copied best model 5.86/6.20 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 5.86/6.24 c model valid 5.86/6.24 c current solution ok 5.86/6.24 o -32 5.86/6.24 c [INC SEARCH] iteration: 5 5.86/6.24 c [INC BOUNDS] best value:728 search for 727 5.86/6.24 c [INC SYSTEM] there exists a inc, kill it! 5.86/6.24 c write failed with 2 5.86/6.25 c [INC SYSTEM] create new solver instance 5.86/6.25 c [INC] encode full formula 5.86/6.25 c (debug) using card networks 5.86/6.27 c set iterative enc to: card 5.86/6.27 c set iterative enc to: none 5.86/6.27 c [INC SEARCH] isOptimum variable: 0 8.07/8.46 c formula is SAT 8.07/8.46 c [INC SEARCH] copied best model 8.07/8.46 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 8.17/8.50 c model valid 8.17/8.50 c current solution ok 8.17/8.50 o -33 8.17/8.50 c [INC SEARCH] iteration: 6 8.17/8.50 c [INC BOUNDS] best value:727 search for 726 8.17/8.50 c [INC SYSTEM] there exists a inc, kill it! 8.17/8.50 c write failed with 2 8.17/8.51 c [INC SYSTEM] create new solver instance 8.17/8.51 c [INC] encode full formula 8.17/8.51 c (debug) using card networks 8.17/8.53 c set iterative enc to: card 8.17/8.53 c set iterative enc to: none 8.17/8.53 c [INC SEARCH] isOptimum variable: 0 11.06/11.43 c formula is SAT 11.06/11.43 c [INC SEARCH] copied best model 11.06/11.43 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 11.06/11.47 c model valid 11.06/11.47 c current solution ok 11.06/11.47 o -34 11.06/11.47 c [INC SEARCH] iteration: 7 11.06/11.47 c [INC BOUNDS] best value:726 search for 725 11.06/11.47 c [INC SYSTEM] there exists a inc, kill it! 11.06/11.47 c write failed with 2 11.06/11.47 c [INC SYSTEM] create new solver instance 11.06/11.47 c [INC] encode full formula 11.06/11.47 c (debug) using card networks 11.06/11.50 c set iterative enc to: card 11.06/11.50 c set iterative enc to: none 11.17/11.50 c [INC SEARCH] isOptimum variable: 0 14.85/15.23 c formula is SAT 14.85/15.24 c [INC SEARCH] copied best model 14.85/15.24 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 14.85/15.28 c model valid 14.85/15.28 c current solution ok 14.85/15.28 o -36 14.85/15.28 c [INC SEARCH] iteration: 8 14.85/15.28 c [INC BOUNDS] best value:724 search for 723 14.85/15.28 c [INC SYSTEM] there exists a inc, kill it! 14.85/15.28 c write failed with 2 14.85/15.28 c [INC SYSTEM] create new solver instance 14.85/15.28 c [INC] encode full formula 14.85/15.28 c (debug) using card networks 14.85/15.30 c set iterative enc to: card 14.85/15.30 c set iterative enc to: none 14.98/15.31 c [INC SEARCH] isOptimum variable: 0 21.36/21.74 c formula is SAT 21.36/21.74 c [INC SEARCH] copied best model 21.36/21.74 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 21.36/21.78 c model valid 21.36/21.78 c current solution ok 21.36/21.78 o -37 21.36/21.78 c [INC SEARCH] iteration: 9 21.36/21.78 c [INC BOUNDS] best value:723 search for 722 21.36/21.78 c [INC SYSTEM] there exists a inc, kill it! 21.36/21.78 c write failed with 2 21.36/21.78 c [INC SYSTEM] create new solver instance 21.36/21.78 c [INC] encode full formula 21.36/21.78 c (debug) using card networks 21.46/21.81 c set iterative enc to: card 21.46/21.81 c set iterative enc to: none 21.46/21.81 c [INC SEARCH] isOptimum variable: 0 35.44/35.88 c formula is SAT 35.44/35.89 c [INC SEARCH] copied best model 35.44/35.89 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 35.54/35.93 c model valid 35.54/35.93 c current solution ok 35.54/35.93 o -38 35.54/35.93 c [INC SEARCH] iteration: 10 35.54/35.93 c [INC BOUNDS] best value:722 search for 721 35.54/35.93 c [INC SYSTEM] there exists a inc, kill it! 35.54/35.93 c write failed with 2 35.54/35.93 c [INC SYSTEM] create new solver instance 35.54/35.93 c [INC] encode full formula 35.54/35.93 c (debug) using card networks 35.54/35.95 c set iterative enc to: card 35.54/35.95 c set iterative enc to: none 35.54/35.96 c [INC SEARCH] isOptimum variable: 0 59.13/59.58 c formula is SAT 59.13/59.59 c [INC SEARCH] copied best model 59.13/59.59 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 59.23/59.63 c model valid 59.23/59.63 c current solution ok 59.23/59.63 o -39 59.23/59.63 c [INC SEARCH] iteration: 11 59.23/59.63 c [INC BOUNDS] best value:721 search for 720 59.23/59.63 c [INC SYSTEM] there exists a inc, kill it! 59.23/59.63 c write failed with 2 59.23/59.63 c [INC SYSTEM] create new solver instance 59.23/59.63 c [INC] encode full formula 59.23/59.63 c (debug) using card networks 59.23/59.65 c set iterative enc to: card 59.23/59.65 c set iterative enc to: none 59.23/59.66 c [INC SEARCH] isOptimum variable: 0 71.93/72.31 c formula is SAT 71.93/72.31 c [INC SEARCH] copied best model 71.93/72.31 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0 71.93/72.35 c model valid 71.93/72.35 c current solution ok 71.93/72.35 o -40 71.93/72.35 c [INC SEARCH] iteration: 12 71.93/72.35 c [INC BOUNDS] best value:720 search for 719 71.93/72.35 c [INC SYSTEM] there exists a inc, kill it! 71.93/72.35 c write failed with 2 71.93/72.35 c [INC SYSTEM] create new solver instance 71.93/72.35 c [INC] encode full formula 71.93/72.35 c (debug) using card networks 71.93/72.38 c set iterative enc to: card 71.93/72.38 c set iterative enc to: none 71.93/72.38 c [INC SEARCH] isOptimum variable: 0 79.01/79.42 c [INC SEARCH] formula is UNSAT 79.01/79.42 c [INC SYSTEM] there exists a inc, kill it! 79.01/79.42 c write failed with 2 79.01/79.42 c [INC SEARCH] sat variable: 0 optimum/unsat variable: 1 79.01/79.42 c [INC SEARCH] found optimum 79.01/79.42 c display solution 79.01/79.42 s OPTIMUM FOUND 79.01/79.42 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
OK -40
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-3702842-1338061441/watcher-3702842-1338061441 -o /tmp/evaluation-result-3702842-1338061441/solver-3702842-1338061441 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702842-1338061441.opb 1338900337 HOME HOME running on 4 cores: 1,3,5,7 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.03 2.02 2.00 3/178 4608 /proc/meminfo: memFree=29770224/32873844 swapFree=7112/7112 [pid=4608] ppid=4606 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4608/stat : 4608 (npSolver-pbo-It) S 4606 4608 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272269831 9367552 275 33554432000 4194304 5064252 140734879946512 140734879945424 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/4608/statm: 2287 275 233 213 0 72 0 [startup+0.089795 s] /proc/loadavg: 2.03 2.02 2.00 3/178 4608 /proc/meminfo: memFree=29770224/32873844 swapFree=7112/7112 [pid=4608] ppid=4606 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4608/stat : 4608 (npSolver-pbo-It) S 4606 4608 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272269831 9367552 275 33554432000 4194304 5064252 140734879946512 140734879945424 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/4608/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100205 s] /proc/loadavg: 2.03 2.02 2.00 3/178 4608 /proc/meminfo: memFree=29770224/32873844 swapFree=7112/7112 [pid=4608] ppid=4606 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4608/stat : 4608 (npSolver-pbo-It) S 4606 4608 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272269831 9367552 275 33554432000 4194304 5064252 140734879946512 140734879945424 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/4608/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.30019 s] /proc/loadavg: 2.03 2.02 2.00 3/178 4608 /proc/meminfo: memFree=29770224/32873844 swapFree=7112/7112 [pid=4608] ppid=4606 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4608/stat : 4608 (npSolver-pbo-It) S 4606 4608 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272269831 9367552 275 33554432000 4194304 5064252 140734879946512 140734879945424 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/4608/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700167 s] /proc/loadavg: 2.03 2.02 2.00 3/178 4608 /proc/meminfo: memFree=29770224/32873844 swapFree=7112/7112 [pid=4608] ppid=4606 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4608/stat : 4608 (npSolver-pbo-It) S 4606 4608 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272269831 9367552 275 33554432000 4194304 5064252 140734879946512 140734879945424 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/4608/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50039 s] /proc/loadavg: 2.03 2.02 2.00 3/181 4623 /proc/meminfo: memFree=29749272/32873844 swapFree=7112/7112 [pid=4608] ppid=4606 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4608/stat : 4608 (npSolver-pbo-It) S 4606 4608 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272269831 9367552 275 33554432000 4194304 5064252 140734879946512 140734879945424 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/4608/statm: 2287 275 233 213 0 72 0 [pid=4609] ppid=4608 vsize=7528 CPUtime=0.59 cores=1,3,5,7 /proc/4609/stat : 4609 (npSolver-pbo) S 4608 4608 3390 0 -1 4202496 4527 12695 0 0 29 6 21 3 20 0 1 0 272269832 7708672 1346 33554432000 4194304 5992684 140736266868912 140736266854744 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/4609/statm: 1882 1346 193 440 0 1438 0 [pid=4621] ppid=4609 vsize=19256 CPUtime=0.88 cores=1,3,5,7 /proc/4621/stat : 4621 (glucosInc) R 4609 4608 3390 0 -1 4202496 3356 0 0 0 88 0 0 0 20 0 1 0 272269892 19718144 3751 33554432000 4194304 5654031 140737291682544 140737291680312 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/4621/statm: 4814 3751 131 357 0 4454 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 35932 [startup+3.10025 s] /proc/loadavg: 2.03 2.02 2.00 2/181 4624 /proc/meminfo: memFree=29761868/32873844 swapFree=7112/7112 [pid=4608] ppid=4606 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4608/stat : 4608 (npSolver-pbo-It) S 4606 4608 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272269831 9367552 275 33554432000 4194304 5064252 140734879946512 140734879945424 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/4608/statm: 2287 275 233 213 0 72 0 [pid=4609] ppid=4608 vsize=7528 CPUtime=2.06 cores=1,3,5,7 /proc/4609/stat : 4609 (npSolver-pbo) S 4608 4608 3390 0 -1 4202496 5862 16632 0 0 36 6 159 5 20 0 1 0 272269832 7708672 1346 33554432000 4194304 5992684 140736266868912 140736266854744 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/4609/statm: 1882 1346 193 440 0 1438 0 Current children cumulated CPU time (s) 2.06 Current children cumulated vsize (KiB) 16676 heavy processes: [startup+6.30028 s] /proc/loadavg: 2.03 2.02 2.00 3/181 4629 /proc/meminfo: memFree=29746852/32873844 swapFree=7112/7112 [pid=4608] ppid=4606 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4608/stat : 4608 (npSolver-pbo-It) S 4606 4608 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272269831 9367552 275 33554432000 4194304 5064252 140734879946512 140734879945424 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/4608/statm: 2287 275 233 213 0 72 0 [pid=4609] ppid=4608 vsize=7528 CPUtime=5.96 cores=1,3,5,7 /proc/4609/stat : 4609 (npSolver-pbo) S 4608 4608 3390 0 -1 4202496 8532 25171 0 0 49 7 532 8 20 0 1 0 272269832 7708672 1346 33554432000 4194304 5992684 140736266868912 140736266854744 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/4609/statm: 1882 1346 193 440 0 1438 0 Current children cumulated CPU time (s) 5.96 Current children cumulated vsize (KiB) 16676 [startup+12.7004 s] /proc/loadavg: 2.02 2.02 2.00 3/181 4637 /proc/meminfo: memFree=29748608/32873844 swapFree=7112/7112 [pid=4608] ppid=4606 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4608/stat : 4608 (npSolver-pbo-It) S 4606 4608 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272269831 9367552 275 33554432000 4194304 5064252 140734879946512 140734879945424 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/4608/statm: 2287 275 233 213 0 72 0 [pid=4609] ppid=4608 vsize=7528 CPUtime=11.17 cores=1,3,5,7 /proc/4609/stat : 4609 (npSolver-pbo) S 4608 4608 3390 0 -1 4202496 11202 34406 0 0 62 7 1037 11 20 0 1 0 272269832 7708672 1346 33554432000 4194304 5992684 140736266868912 140736266854744 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0 /proc/4609/statm: 1882 1346 193 440 0 1438 0 [pid=4637] ppid=4609 vsize=19432 CPUtime=1.18 cores=1,3,5,7 /proc/4637/stat : 4637 (glucosInc) R 4609 4608 3390 0 -1 4202496 3406 0 0 0 118 0 0 0 20 0 1 0 272270982 19898368 3770 33554432000 4194304 5654031 140736248262080 140736248259848 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/4637/statm: 4858 3770 131 357 0 4498 0 Current children cumulated CPU time (s) 12.35 Current children cumulated vsize (KiB) 36108 [startup+25.5004 s] /proc/loadavg: 2.02 2.02 2.00 3/181 4645 /proc/meminfo: memFree=29741116/32873844 swapFree=7112/7112 [pid=4608] ppid=4606 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4608/stat : 4608 (npSolver-pbo-It) S 4606 4608 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272269831 9367552 275 33554432000 4194304 5064252 140734879946512 140734879945424 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/4608/statm: 2287 275 233 213 0 72 0 [pid=4609] ppid=4608 vsize=7528 CPUtime=21.48 cores=1,3,5,7 /proc/4609/stat : 4609 (npSolver-pbo) S 4608 4608 3390 0 -1 4202496 13872 46042 0 0 76 8 2050 14 20 0 1 0 272269832 7708672 1346 33554432000 4194304 5992684 140736266868912 140736266854744 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/4609/statm: 1882 1346 193 440 0 1438 0 [pid=4645] ppid=4609 vsize=18412 CPUtime=3.67 cores=1,3,5,7 /proc/4645/stat : 4645 (glucosInc) R 4609 4608 3390 0 -1 4202496 5739 0 0 0 366 1 0 0 20 0 1 0 272272013 18853888 4031 33554432000 4194304 5654031 140734467890448 140734467878264 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/4645/statm: 4603 4031 142 357 0 4243 0 Current children cumulated CPU time (s) 25.15 Current children cumulated vsize (KiB) 35088 [startup+51.1003 s] /proc/loadavg: 2.01 2.02 2.00 3/181 4649 /proc/meminfo: memFree=29719144/32873844 swapFree=7112/7112 [pid=4608] ppid=4606 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4608/stat : 4608 (npSolver-pbo-It) S 4606 4608 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272269831 9367552 275 33554432000 4194304 5064252 140734879946512 140734879945424 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/4608/statm: 2287 275 233 213 0 72 0 [pid=4609] ppid=4608 vsize=7528 CPUtime=35.62 cores=1,3,5,7 /proc/4609/stat : 4609 (npSolver-pbo) S 4608 4608 3390 0 -1 4202496 15207 53071 0 0 82 9 3454 17 20 0 1 0 272269832 7708672 1346 33554432000 4194304 5992684 140736266868912 140736266854744 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/4609/statm: 1882 1346 193 440 0 1438 0 [pid=4649] ppid=4609 vsize=29852 CPUtime=15.11 cores=1,3,5,7 /proc/4649/stat : 4649 (glucosInc) R 4609 4608 3390 0 -1 4202496 5698 0 0 0 1510 1 0 0 20 0 1 0 272273428 30568448 6946 33554432000 4194304 5654031 140736046781776 140736046769592 4232752 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/4649/statm: 7463 6946 142 357 0 7103 0 Current children cumulated CPU time (s) 50.73 Current children cumulated vsize (KiB) 46528 Solver just ended. Dumping a history of the last processes samples [startup+63.9004 s] /proc/loadavg: 2.01 2.01 2.00 3/181 4651 /proc/meminfo: memFree=29724164/32873844 swapFree=7112/7112 [pid=4608] ppid=4606 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4608/stat : 4608 (npSolver-pbo-It) S 4606 4608 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272269831 9367552 275 33554432000 4194304 5064252 140734879946512 140734879945424 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/4608/statm: 2287 275 233 213 0 72 0 [pid=4609] ppid=4608 vsize=7528 CPUtime=59.31 cores=1,3,5,7 /proc/4609/stat : 4609 (npSolver-pbo) S 4608 4608 3390 0 -1 4202496 16542 60165 0 0 89 9 5814 19 20 0 1 0 272269832 7708672 1346 33554432000 4194304 5992684 140736266868912 140736266854744 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/4609/statm: 1882 1346 193 440 0 1438 0 [pid=4651] ppid=4609 vsize=22964 CPUtime=4.21 cores=1,3,5,7 /proc/4651/stat : 4651 (glucosInc) R 4609 4608 3390 0 -1 4202496 5953 0 0 0 420 1 0 0 20 0 1 0 272275798 23515136 4707 33554432000 4194304 5654031 140735003011328 140735002999144 4232688 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/4651/statm: 5741 4707 142 357 0 5381 0 Current children cumulated CPU time (s) 63.52 Current children cumulated vsize (KiB) 39640 [startup+70.3003 s] /proc/loadavg: 2.09 2.03 2.01 3/181 4651 /proc/meminfo: memFree=29703320/32873844 swapFree=7112/7112 [pid=4608] ppid=4606 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4608/stat : 4608 (npSolver-pbo-It) S 4606 4608 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272269831 9367552 275 33554432000 4194304 5064252 140734879946512 140734879945424 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/4608/statm: 2287 275 233 213 0 72 0 [pid=4609] ppid=4608 vsize=7528 CPUtime=59.31 cores=1,3,5,7 /proc/4609/stat : 4609 (npSolver-pbo) S 4608 4608 3390 0 -1 4202496 16542 60165 0 0 89 9 5814 19 20 0 1 0 272269832 7708672 1346 33554432000 4194304 5992684 140736266868912 140736266854744 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/4609/statm: 1882 1346 193 440 0 1438 0 [pid=4651] ppid=4609 vsize=32004 CPUtime=10.62 cores=1,3,5,7 /proc/4651/stat : 4651 (glucosInc) R 4609 4608 3390 0 -1 4202496 8078 0 0 0 1060 2 0 0 20 0 1 0 272275798 32772096 7482 33554432000 4194304 5654031 140735003011328 140735002999144 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/4651/statm: 8001 7482 142 357 0 7641 0 Current children cumulated CPU time (s) 69.93 Current children cumulated vsize (KiB) 48680 [startup+73.5004 s] /proc/loadavg: 2.08 2.03 2.00 3/181 4653 /proc/meminfo: memFree=29711252/32873844 swapFree=7112/7112 [pid=4608] ppid=4606 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4608/stat : 4608 (npSolver-pbo-It) S 4606 4608 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272269831 9367552 275 33554432000 4194304 5064252 140734879946512 140734879945424 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/4608/statm: 2287 275 233 213 0 72 0 [pid=4609] ppid=4608 vsize=7528 CPUtime=72.01 cores=1,3,5,7 /proc/4609/stat : 4609 (npSolver-pbo) S 4608 4608 3390 0 -1 4202496 17877 68777 0 0 95 10 7075 21 20 0 1 0 272269832 7708672 1346 33554432000 4194304 5992684 140736266868912 140736266854744 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/4609/statm: 1882 1346 193 440 0 1438 0 [pid=4653] ppid=4609 vsize=19272 CPUtime=1.1 cores=1,3,5,7 /proc/4653/stat : 4653 (glucosInc) R 4609 4608 3390 0 -1 4202496 3547 0 0 0 110 0 0 0 20 0 1 0 272277070 19734528 3854 33554432000 4194304 5654031 140735812517200 140735812505016 4222926 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/4653/statm: 4818 3854 140 357 0 4458 0 Current children cumulated CPU time (s) 73.11 Current children cumulated vsize (KiB) 35948 [startup+76.7004 s] /proc/loadavg: 2.08 2.03 2.00 3/181 4653 /proc/meminfo: memFree=29709836/32873844 swapFree=7112/7112 [pid=4608] ppid=4606 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4608/stat : 4608 (npSolver-pbo-It) S 4606 4608 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272269831 9367552 275 33554432000 4194304 5064252 140734879946512 140734879945424 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/4608/statm: 2287 275 233 213 0 72 0 [pid=4609] ppid=4608 vsize=7528 CPUtime=72.01 cores=1,3,5,7 /proc/4609/stat : 4609 (npSolver-pbo) S 4608 4608 3390 0 -1 4202496 17877 68777 0 0 95 10 7075 21 20 0 1 0 272269832 7708672 1346 33554432000 4194304 5992684 140736266868912 140736266854744 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/4609/statm: 1882 1346 193 440 0 1438 0 [pid=4653] ppid=4609 vsize=18376 CPUtime=4.29 cores=1,3,5,7 /proc/4653/stat : 4653 (glucosInc) R 4609 4608 3390 0 -1 4202496 5533 0 0 0 429 0 0 0 20 0 1 0 272277070 18817024 3998 33554432000 4194304 5654031 140735812517200 140735812505016 4232421 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/4653/statm: 4594 3998 142 357 0 4234 0 Current children cumulated CPU time (s) 76.3 Current children cumulated vsize (KiB) 35052 [startup+78.3004 s] /proc/loadavg: 2.07 2.03 2.00 3/181 4655 /proc/meminfo: memFree=29743288/32873844 swapFree=7112/7112 [pid=4608] ppid=4606 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4608/stat : 4608 (npSolver-pbo-It) S 4606 4608 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272269831 9367552 275 33554432000 4194304 5064252 140734879946512 140734879945424 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/4608/statm: 2287 275 233 213 0 72 0 [pid=4609] ppid=4608 vsize=7528 CPUtime=72.01 cores=1,3,5,7 /proc/4609/stat : 4609 (npSolver-pbo) S 4608 4608 3390 0 -1 4202496 17877 68777 0 0 95 10 7075 21 20 0 1 0 272269832 7708672 1346 33554432000 4194304 5992684 140736266868912 140736266854744 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/4609/statm: 1882 1346 193 440 0 1438 0 [pid=4653] ppid=4609 vsize=25440 CPUtime=5.9 cores=1,3,5,7 /proc/4653/stat : 4653 (glucosInc) R 4609 4608 3390 0 -1 4202496 6269 0 0 0 589 1 0 0 20 0 1 0 272277070 26050560 5731 33554432000 4194304 5654031 140735812517200 140735812505016 4232462 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/4653/statm: 6360 5731 142 357 0 6000 0 Current children cumulated CPU time (s) 77.91 Current children cumulated vsize (KiB) 42116 [startup+79.1004 s] /proc/loadavg: 2.07 2.03 2.00 3/181 4655 /proc/meminfo: memFree=29740124/32873844 swapFree=7112/7112 [pid=4608] ppid=4606 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4608/stat : 4608 (npSolver-pbo-It) S 4606 4608 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272269831 9367552 275 33554432000 4194304 5064252 140734879946512 140734879945424 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/4608/statm: 2287 275 233 213 0 72 0 [pid=4609] ppid=4608 vsize=7528 CPUtime=72.01 cores=1,3,5,7 /proc/4609/stat : 4609 (npSolver-pbo) S 4608 4608 3390 0 -1 4202496 17877 68777 0 0 95 10 7075 21 20 0 1 0 272269832 7708672 1346 33554432000 4194304 5992684 140736266868912 140736266854744 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/4609/statm: 1882 1346 193 440 0 1438 0 [pid=4653] ppid=4609 vsize=25440 CPUtime=6.7 cores=1,3,5,7 /proc/4653/stat : 4653 (glucosInc) R 4609 4608 3390 0 -1 4202496 6296 0 0 0 669 1 0 0 20 0 1 0 272277070 26050560 5758 33554432000 4194304 5654031 140735812517200 140735812505016 4232646 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/4653/statm: 6360 5758 142 357 0 6000 0 Current children cumulated CPU time (s) 78.71 Current children cumulated vsize (KiB) 42116 [startup+79.3004 s] /proc/loadavg: 2.07 2.03 2.00 3/181 4655 /proc/meminfo: memFree=29740124/32873844 swapFree=7112/7112 [pid=4608] ppid=4606 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4608/stat : 4608 (npSolver-pbo-It) S 4606 4608 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272269831 9367552 275 33554432000 4194304 5064252 140734879946512 140734879945424 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/4608/statm: 2287 275 233 213 0 72 0 [pid=4609] ppid=4608 vsize=7528 CPUtime=72.01 cores=1,3,5,7 /proc/4609/stat : 4609 (npSolver-pbo) S 4608 4608 3390 0 -1 4202496 17877 68777 0 0 95 10 7075 21 20 0 1 0 272269832 7708672 1346 33554432000 4194304 5992684 140736266868912 140736266854744 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/4609/statm: 1882 1346 193 440 0 1438 0 [pid=4653] ppid=4609 vsize=25440 CPUtime=6.9 cores=1,3,5,7 /proc/4653/stat : 4653 (glucosInc) R 4609 4608 3390 0 -1 4202496 6366 0 0 0 689 1 0 0 20 0 1 0 272277070 26050560 5823 33554432000 4194304 5654031 140735812517200 140735812505016 4232707 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/4653/statm: 6360 5823 142 357 0 6000 0 Current children cumulated CPU time (s) 78.91 Current children cumulated vsize (KiB) 42116 [startup+79.4003 s] /proc/loadavg: 2.07 2.03 2.00 3/181 4655 /proc/meminfo: memFree=29740124/32873844 swapFree=7112/7112 [pid=4608] ppid=4606 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/4608/stat : 4608 (npSolver-pbo-It) S 4606 4608 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272269831 9367552 275 33554432000 4194304 5064252 140734879946512 140734879945424 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/4608/statm: 2287 275 233 213 0 72 0 [pid=4609] ppid=4608 vsize=7528 CPUtime=72.01 cores=1,3,5,7 /proc/4609/stat : 4609 (npSolver-pbo) S 4608 4608 3390 0 -1 4202496 17877 68777 0 0 95 10 7075 21 20 0 1 0 272269832 7708672 1346 33554432000 4194304 5992684 140736266868912 140736266854744 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0 /proc/4609/statm: 1882 1346 193 440 0 1438 0 [pid=4653] ppid=4609 vsize=25440 CPUtime=7 cores=1,3,5,7 /proc/4653/stat : 4653 (glucosInc) R 4609 4608 3390 0 -1 4202496 6375 0 0 0 699 1 0 0 20 0 1 0 272277070 26050560 5832 33554432000 4194304 5654031 140735812517200 140735812505016 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/4653/statm: 6360 5832 142 357 0 6000 0 Current children cumulated CPU time (s) 79.01 Current children cumulated vsize (KiB) 42116 Child status: 0 Real time (s): 79.4322 CPU time (s): 79.073 CPU user time (s): 78.735 CPU system time (s): 0.337948 CPU usage (%): 99.5477 Max. virtual memory (cumulated for all children) (KiB): 62444 getrusage(RUSAGE_CHILDREN,...) data: user time used= 78.735 system time used= 0.337948 maximum resident set size= 41324 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 93867 page faults= 0 swaps= 0 block input operations= 0 block output operations= 47088 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 978 involuntary context switches= 393 runsolver used 0.298954 second user time and 0.823874 second system time The end
Begin job on node119 at 2012-05-26 21:44:02 IDJOB=3702842 IDBENCH=2243 IDSOLVER=2278 FILE ID=node119/3702842-1338061441 RUNJOBID= node119-1338050630-3407 PBS_JOBID= 14624379 Free space on /tmp= 71564 MiB SOLVER NAME= npSolver inc-topdown-quickBound BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb COMMAND LINE= DIR/npSolver-pbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3702842-1338061441/watcher-3702842-1338061441 -o /tmp/evaluation-result-3702842-1338061441/solver-3702842-1338061441 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702842-1338061441.opb 1338900337 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9984e76947bf9addca42277d72ff7107 RANDOM SEED=1338900337 node119.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.943 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.88 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.943 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.943 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.93 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.943 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.943 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.93 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.943 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.92 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.943 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.90 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.943 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.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 29770868 kB Buffers: 236736 kB Cached: 2043312 kB SwapCached: 0 kB Active: 565584 kB Inactive: 1750180 kB Active(anon): 24892 kB Inactive(anon): 13444 kB Active(file): 540692 kB Inactive(file): 1736736 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 20492 kB Writeback: 0 kB AnonPages: 110280 kB Mapped: 14848 kB Shmem: 200 kB Slab: 648780 kB SReclaimable: 90848 kB SUnreclaim: 557932 kB KernelStack: 1504 kB PageTables: 4040 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 150272 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 73728 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= 71556 MiB End job on node119 at 2012-05-26 21:45:21