Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | 7 | 1798.41 | 1798.85 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=149-P1=163-P2=41-P3=157-P4=223-P5=67-P6=191-P7=17-P8=37-B.opb |
MD5SUM | 870560ebbd959d9c8bd54c4fcdba3455 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 10.6794 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 192 |
Total number of constraints | 17 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 17 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 512 |
Sum of products size (including duplicates) | 1024 |
Number of different products | 512 |
Sum of products size | 1024 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2670429-1276702216.opb 0.00/0.00 c File size is 38507 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.006 s 0.00/0.00 c Var: 704 Constr: 1049 512/0/537 Lit: 4408 Watch. Lit: 2706 0.00/0.00 c Obj. Vars: 8 (1.13636 % of total variables) 0.00/0.01 c Pre-processing Time: 0.014 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 704 1049 4408 4 3786 5914 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 11.29/11.37 c 100 704 1245 12738 10 4224 6506 196 2777 0.04 11.29/11.37 c 252 704 1536 27021 17 4984 7157 487 3500 0.07 11.29/11.37 c 478 704 1955 49401 25 5955 7873 906 3705 0.13 11.29/11.37 c 816 704 2583 96504 37 7445 8661 1534 3277 0.25 11.29/11.37 c 1325 704 3575 158352 44 9938 9528 2526 3496 0.38 11.29/11.37 c 2088 704 5048 250520 49 13895 10481 3999 3182 0.66 11.29/11.37 c 3236 704 7275 389306 53 19375 11530 6226 2947 1.10 11.29/11.37 c 4957 704 10639 588936 55 27286 12684 9590 2938 1.69 11.29/11.37 c 7541 704 8809 462988 52 22437 13953 7760 2478 3.04 11.29/11.37 c 11421 704 8558 405031 47 21154 15349 7509 1859 6.14 11.29/11.37 c 17245 704 11823 687662 58 30017 16884 10774 1649 10.45 11.29/11.37 o 129 525.46/525.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 525.46/525.68 c 19602 704 16218 957037 59 40482 5931 15169 1723 11.37 525.46/525.68 c 19702 704 4197 201773 48 10725 6525 3148 1708 11.53 525.46/525.68 c 19952 704 4677 228330 48 12076 7178 3628 1719 11.60 525.46/525.68 c 20428 704 5543 285159 51 14066 7896 4494 1737 11.76 525.46/525.68 c 21242 704 7042 364179 51 17583 8686 5993 1754 12.11 525.46/525.68 c 22562 704 9537 509270 53 23520 9555 8488 1776 12.70 525.46/525.68 c 24643 704 8645 446056 51 22016 10511 7596 1781 13.83 525.46/525.68 c 27867 704 9066 483692 53 22983 11563 8017 1771 15.73 525.46/525.68 c 32804 704 12317 656221 53 30777 12720 11268 1664 19.71 525.46/525.68 c 40310 704 12756 778887 61 32758 13993 11707 1640 24.58 525.46/525.68 c 51672 704 11959 565398 47 30013 15393 10910 1466 35.23 525.46/525.68 c 68816 704 12957 685273 52 32268 16933 11908 1195 57.55 525.46/525.68 c 94635 704 10521 508893 48 26655 18627 9472 997 94.87 525.46/525.68 c 133469 704 17410 926098 53 44057 20490 16361 905 147.43 525.46/525.68 c 191822 703 20050 1154526 57 49561 22540 19001 795 241.23 525.46/525.68 c 279455 703 13382 740520 55 33404 24795 12333 638 437.46 525.46/525.68 o 69 1267.58/1267.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1267.58/1267.96 c 331001 703 20652 1223965 59 51220 5930 19603 629 525.55 1267.58/1267.96 c 331102 703 4219 200424 47 10830 6524 3170 629 525.95 1267.58/1267.96 c 331353 703 4678 228611 48 11902 7177 3629 629 526.06 1267.58/1267.96 c 331829 693 5598 283991 50 14374 7895 4549 630 526.23 1267.58/1267.96 c 332644 693 7085 378119 53 18086 8685 6036 631 526.56 1267.58/1267.96 c 333964 693 9588 515353 53 24768 9554 8539 633 527.11 1267.58/1267.96 c 336045 693 8053 417216 51 20998 10510 7004 636 528.10 1267.58/1267.96 c 339268 693 8569 452930 52 21316 11562 7520 639 530.29 1267.58/1267.96 c 344205 693 11313 639603 56 26898 12719 10264 645 533.21 1267.58/1267.96 c 351711 693 12103 607827 50 31491 13991 11054 651 540.09 1267.58/1267.96 c 363072 693 11572 571959 49 30293 15391 10523 651 556.95 1267.58/1267.96 c 380216 693 11554 571301 49 30042 16931 10505 652 582.46 1267.58/1267.96 c 406035 693 15785 909737 57 38530 18625 14736 654 620.20 1267.58/1267.96 c 444868 693 16447 813081 49 43123 20488 15398 654 679.54 1267.58/1267.96 c 503220 693 11304 620257 54 29339 22537 10255 649 774.76 1267.58/1267.96 c 590853 693 15003 783600 52 37987 24791 13954 627 942.04 1267.58/1267.96 c 722405 693 20063 998783 49 53400 27271 19014 585 1234.33 1267.58/1267.96 o 25 1518.02/1518.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1518.02/1518.46 c 746641 693 23747 1345427 56 56934 5929 22698 588 1267.65 1518.02/1518.46 c 746742 673 4206 197238 46 10822 6522 3157 588 1268.20 1518.02/1518.46 c 746993 673 4686 222643 47 12147 7175 3637 588 1268.28 1518.02/1518.46 c 747469 673 5613 281107 50 14341 7893 4564 589 1268.41 1518.02/1518.46 c 748283 673 7197 358736 49 18850 8683 6148 589 1268.72 1518.02/1518.46 c 749604 673 9715 495766 51 25287 9552 8666 590 1269.26 1518.02/1518.46 c 751685 673 8615 421317 48 23503 10508 7566 591 1270.55 1518.02/1518.46 c 754909 673 9078 444785 48 23899 11559 8029 592 1274.06 1518.02/1518.46 c 759845 673 12204 673406 55 32804 12715 11155 595 1276.87 1518.02/1518.46 c 767351 673 13290 701637 52 36912 13987 12241 598 1281.93 1518.02/1518.46 c 778713 673 12316 684429 55 30473 15386 11267 601 1295.58 1518.02/1518.46 c 795857 672 11353 561999 49 30323 16925 10304 604 1317.04 1518.02/1518.46 c 821677 672 15618 964788 61 39300 18618 14569 609 1347.85 1518.02/1518.46 c 860509 672 11715 744594 63 30503 20480 10666 609 1412.49 1518.02/1518.46 c 918863 672 20936 1256220 60 51574 22529 19887 613 1497.62 1518.02/1518.46 o 21 1681.98/1682.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1681.98/1682.49 c 933188 672 22633 1134327 50 58045 5924 21584 614 1518.10 1681.98/1682.49 c 933291 672 4139 154594 37 10746 6517 3090 614 1518.63 1681.98/1682.49 c 933542 672 4548 179953 39 11624 7169 3499 614 1518.71 1681.98/1682.49 c 934017 672 5410 235391 43 13257 7886 4361 614 1518.89 1681.98/1682.49 c 934830 672 6867 324603 47 16494 8675 5818 615 1519.32 1681.98/1682.49 c 936151 672 9286 455721 49 22824 9543 8237 615 1520.22 1681.98/1682.49 c 938233 672 7946 422028 53 21029 10498 6897 616 1521.08 1681.98/1682.49 c 941457 672 8538 422820 49 23827 11548 7489 618 1523.11 1681.98/1682.49 c 946394 672 11619 576746 49 30867 12703 10570 618 1530.09 1681.98/1682.49 c 953900 672 11829 602535 50 29192 13974 10780 618 1541.78 1681.98/1682.49 c 965261 672 11362 586416 51 28672 15372 10313 621 1552.95 1681.98/1682.49 c 982406 672 9968 476189 47 26184 16910 8919 622 1579.33 1681.98/1682.49 c 1008225 672 14295 778365 54 35775 18602 13246 627 1606.12 1681.98/1682.49 c 1047057 672 14844 730308 49 38913 20463 13795 622 1680.78 1681.98/1682.49 o 7 1798.35/1798.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1798.35/1798.85 c 1048868 672 18207 921854 50 47144 5924 17158 623 1682.08 1798.35/1798.85 c 1048970 672 4208 192446 45 11102 6517 3159 623 1682.53 1798.35/1798.85 c 1049220 672 4675 223566 47 12372 7169 3626 623 1682.65 1798.35/1798.85 c 1049695 672 5602 278284 49 14740 7886 4553 623 1682.80 1798.35/1798.85 c 1050509 672 6970 357820 51 18021 8675 5921 624 1683.21 1798.35/1798.85 c 1051830 672 9203 479541 52 23117 9543 8154 624 1684.15 1798.35/1798.85 c 1053912 672 8023 410011 51 19689 10498 6974 625 1685.46 1798.35/1798.85 c 1057135 672 8285 400046 48 21560 11548 7236 626 1688.56 1798.35/1798.85 c 1062071 672 11389 641972 56 28936 12703 10340 627 1692.05 1798.35/1798.85 c 1069577 672 12104 624816 51 31839 13974 11055 629 1698.37 1798.35/1798.85 c 1080938 672 11374 593470 52 28982 15372 10325 631 1712.97 1798.35/1798.85 c 1098082 672 9651 493739 51 25327 16910 8602 634 1731.76 1798.35/1798.85 c 1123903 663 12146 676634 55 30572 18602 11097 636 1764.41 1798.35/1798.85 c Resources Exceeded 1798.35/1798.85 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 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 x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 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 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 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 x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 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 x97 x98 -x99 x100 -x101 x102 -x103 x104 x153 -x154 x155 -x156 x157 -x158 -x159 -x160 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 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 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 x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 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 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 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 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 1798.35/1798.85 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.35/1798.85 c 86 1143819 10238 1194933 10372 486466 9323 636 1798.41 1798.35/1798.85 c Objective: 7 1798.35/1798.85 s SATISFIABLE 1798.35/1798.85 c Total time: 1798.41 s
OK 7
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670429-1276702216/watcher-2670429-1276702216 -o /tmp/evaluation-result-2670429-1276702216/solver-2670429-1276702216 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670429-1276702216.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.02 1.04 0.99 3/106 16133 /proc/meminfo: memFree=1821116/2059040 swapFree=4192888/4192956 [pid=16133] ppid=16131 vsize=10928 CPUtime=0 /proc/16133/stat : 16133 (bsolo_pb10) R 16131 16133 15910 0 -1 4202496 370 0 0 0 0 0 0 0 18 0 1 0 11514288 11190272 279 1992294400 134512640 137138936 4286666016 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16133/statm: 2732 281 182 642 0 2088 0 [startup+0.096352 s] /proc/loadavg: 1.02 1.04 0.99 3/106 16133 /proc/meminfo: memFree=1821116/2059040 swapFree=4192888/4192956 [pid=16133] ppid=16131 vsize=11568 CPUtime=0.09 /proc/16133/stat : 16133 (bsolo_pb10) R 16131 16133 15910 0 -1 4202496 528 0 0 0 9 0 0 0 20 0 1 0 11514288 11845632 437 1992294400 134512640 137138936 4286666016 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16133/statm: 2892 437 192 642 0 2248 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11568 [startup+0.101353 s] /proc/loadavg: 1.02 1.04 0.99 3/106 16133 /proc/meminfo: memFree=1821116/2059040 swapFree=4192888/4192956 [pid=16133] ppid=16131 vsize=11568 CPUtime=0.09 /proc/16133/stat : 16133 (bsolo_pb10) R 16131 16133 15910 0 -1 4202496 537 0 0 0 9 0 0 0 20 0 1 0 11514288 11845632 446 1992294400 134512640 137138936 4286666016 18446744073709551615 136505259 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16133/statm: 2892 446 192 642 0 2248 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11568 [startup+0.301371 s] /proc/loadavg: 1.02 1.04 0.99 3/106 16133 /proc/meminfo: memFree=1821116/2059040 swapFree=4192888/4192956 [pid=16133] ppid=16131 vsize=12732 CPUtime=0.29 /proc/16133/stat : 16133 (bsolo_pb10) R 16131 16133 15910 0 -1 4202496 824 0 0 0 29 0 0 0 20 0 1 0 11514288 13037568 733 1992294400 134512640 137138936 4286666016 18446744073709551615 136501664 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16133/statm: 3183 733 192 642 0 2539 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12732 [startup+0.701406 s] /proc/loadavg: 1.02 1.04 0.99 3/106 16133 /proc/meminfo: memFree=1821116/2059040 swapFree=4192888/4192956 [pid=16133] ppid=16131 vsize=14916 CPUtime=0.69 /proc/16133/stat : 16133 (bsolo_pb10) R 16131 16133 15910 0 -1 4202496 1368 0 0 0 69 0 0 0 20 0 1 0 11514288 15273984 1277 1992294400 134512640 137138936 4286666016 18446744073709551615 136511143 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16133/statm: 3729 1277 192 642 0 3085 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14916 [startup+1.50147 s] /proc/loadavg: 1.02 1.04 0.99 2/107 16134 /proc/meminfo: memFree=1815404/2059040 swapFree=4192888/4192956 [pid=16133] ppid=16131 vsize=19052 CPUtime=1.49 /proc/16133/stat : 16133 (bsolo_pb10) R 16131 16133 15910 0 -1 4202496 2403 0 0 0 148 1 0 0 23 0 1 0 11514288 19509248 2312 1992294400 134512640 137138936 4286666016 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16133/statm: 4763 2312 192 642 0 4119 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19052 [startup+3.10062 s] /proc/loadavg: 1.02 1.04 0.99 2/107 16134 /proc/meminfo: memFree=1810320/2059040 swapFree=4192888/4192956 [pid=16133] ppid=16131 vsize=22916 CPUtime=3.09 /proc/16133/stat : 16133 (bsolo_pb10) R 16131 16133 15910 0 -1 4202496 3391 0 0 0 307 2 0 0 25 0 1 0 11514288 23465984 3300 1992294400 134512640 137138936 4286666016 18446744073709551615 136296960 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16133/statm: 5729 3300 192 642 0 5085 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22916 [startup+6.30089 s] /proc/loadavg: 1.02 1.04 0.99 2/107 16134 /proc/meminfo: memFree=1808460/2059040 swapFree=4192888/4192956 [pid=16133] ppid=16131 vsize=23004 CPUtime=6.29 /proc/16133/stat : 16133 (bsolo_pb10) R 16131 16133 15910 0 -1 4202496 3400 0 0 0 626 3 0 0 25 0 1 0 11514288 23556096 3309 1992294400 134512640 137138936 4286666016 18446744073709551615 136297746 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16133/statm: 5751 3309 192 642 0 5107 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23004 [startup+12.7005 s] /proc/loadavg: 1.02 1.04 0.99 2/107 16136 /proc/meminfo: memFree=1806104/2059040 swapFree=4192888/4192956 [pid=16133] ppid=16131 vsize=25268 CPUtime=12.69 /proc/16133/stat : 16133 (bsolo_pb10) R 16131 16133 15910 0 -1 4202496 3967 0 0 0 1264 5 0 0 25 0 1 0 11514288 25874432 3876 1992294400 134512640 137138936 4286666016 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16133/statm: 6317 3876 192 642 0 5673 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25268 [startup+25.5016 s] /proc/loadavg: 1.01 1.03 0.99 2/107 16136 /proc/meminfo: memFree=1806104/2059040 swapFree=4192888/4192956 [pid=16133] ppid=16131 vsize=24860 CPUtime=25.49 /proc/16133/stat : 16133 (bsolo_pb10) R 16131 16133 15910 0 -1 4202496 3967 0 0 0 2540 9 0 0 25 0 1 0 11514288 25456640 3791 1992294400 134512640 137138936 4286666016 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16133/statm: 6215 3791 192 642 0 5571 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 24860 [startup+51.1008 s] /proc/loadavg: 1.01 1.03 0.99 2/107 16136 /proc/meminfo: memFree=1806104/2059040 swapFree=4192888/4192956 [pid=16133] ppid=16131 vsize=24860 CPUtime=51.07 /proc/16133/stat : 16133 (bsolo_pb10) R 16131 16133 15910 0 -1 4202496 3967 0 0 0 5094 13 0 0 25 0 1 0 11514288 25456640 3791 1992294400 134512640 137138936 4286666016 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16133/statm: 6215 3791 192 642 0 5571 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 24860 [startup+102.308 s] /proc/loadavg: 1.00 1.02 0.99 2/107 16138 /proc/meminfo: memFree=1803996/2059040 swapFree=4192888/4192956 [pid=16133] ppid=16131 vsize=27432 CPUtime=102.27 /proc/16133/stat : 16133 (bsolo_pb10) R 16131 16133 15910 0 -1 4202496 4601 0 0 0 10203 24 0 0 25 0 1 0 11514288 28090368 4425 1992294400 134512640 137138936 4286666016 18446744073709551615 134542469 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16133/statm: 6858 4425 192 642 0 6214 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 27432 [startup+162.302 s] /proc/loadavg: 1.00 1.02 0.99 2/107 16143 /proc/meminfo: memFree=1800648/2059040 swapFree=4192888/4192956 [pid=16133] ppid=16131 vsize=30200 CPUtime=162.24 /proc/16133/stat : 16133 (bsolo_pb10) R 16131 16133 15910 0 -1 4202496 5291 0 0 0 16187 37 0 0 25 0 1 0 11514288 30924800 5115 1992294400 134512640 137138936 4286666016 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16133/statm: 7550 5115 192 642 0 6906 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 30200 [startup+222.302 s] /proc/loadavg: 1.00 1.01 0.99 2/107 16143 /proc/meminfo: memFree=1799408/2059040 swapFree=4192888/4192956 [pid=16133] ppid=16131 vsize=31568 CPUtime=222.23 /proc/16133/stat : 16133 (bsolo_pb10) R 16131 16133 15910 0 -1 4202496 5635 0 0 0 22176 47 0 0 25 0 1 0 11514288 32325632 5459 1992294400 134512640 137138936 4286666016 18446744073709551615 134543082 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16133/statm: 7892 5459 192 642 0 7248 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 31568 [startup+282.301 s] /proc/loadavg: 1.00 1.01 0.99 2/107 16145 /proc/meminfo: memFree=1797176/2059040 swapFree=4192888/4192956 [pid=16133] ppid=16131 vsize=33772 CPUtime=282.22 /proc/16133/stat : 16133 (bsolo_pb10) R 16131 16133 15910 0 -1 4202496 6186 0 0 0 28164 58 0 0 25 0 1 0 11514288 34582528 6010 1992294400 134512640 137138936 4286666016 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16133/statm: 8443 6010 192 642 0 7799 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 33772 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.99 2/107 16147 /proc/meminfo: memFree=1797176/2059040 swapFree=4192888/4192956 [pid=16133] ppid=16131 vsize=33772 CPUtime=342.2 /proc/16133/stat : 16133 (bsolo_pb10) R 16131 16133 15910 0 -1 4202496 6186 0 0 0 34153 67 0 0 25 0 1 0 11514288 34582528 6010 1992294400 134512640 137138936 4286666016 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16133/statm: 8443 6010 192 642 0 7799 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 33772 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.99 2/107 16149 /proc/meminfo: memFree=1797176/2059040 swapFree=4192888/4192956 [pid=16133] ppid=16131 vsize=33772 CPUtime=402.18 /proc/16133/stat : 16133 (bsolo_pb10) R 16131 16133 15910 0 -1 4202496 6186 0 0 0 40141 77 0 0 25 0 1 0 11514288 34582528 6010 1992294400 134512640 137138936 4286666016 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16133/statm: 8443 6010 192 642 0 7799 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 33772 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.99 2/107 16151 /proc/meminfo: memFree=1797176/2059040 swapFree=4192888/4192956 [pid=16133] ppid=16131 vsize=33776 CPUtime=462.17 /proc/16133/stat : 16133 (bsolo_pb10) R 16131 16133 15910 0 -1 4202496 6188 0 0 0 46129 88 0 0 25 0 1 0 11514288 34586624 6012 1992294400 134512640 137138936 4286666016 18446744073709551615 134606691 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16133/statm: 8444 6012 192 642 0 7800 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 33776 [startup+522.301 s] /proc/loadavg: 1.06 1.02 1.00 2/107 16151 /proc/meminfo: memFree=1796680/2059040 swapFree=4192888/4192956 [pid=16133] ppid=16131 vsize=34504 CPUtime=522.15 /proc/16133/stat : 16133 (bsolo_pb10) R 16131 16133 15910 0 -1 4202496 6371 0 0 0 52116 99 0 0 25 0 1 0 11514288 35332096 6195 1992294400 134512640 137138936 4286666016 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16133/statm: 8626 6195 192 642 0 7982 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 34504 [startup+582.301 s] /proc/loadavg: 1.08 1.03 1.00 2/107 16153 /proc/meminfo: memFree=1796432/2059040 swapFree=4192888/4192956 [pid=16133] ppid=16131 vsize=34344 CPUtime=582.15 /proc/16133/stat : 16133 (bsolo_pb10) R 16131 16133 15910 0 -1 4202496 6371 0 0 0 58102 113 0 0 25 0 1 0 11514288 35168256 6162 1992294400 134512640 137138936 4286666016 18446744073709551615 134542643 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16133/statm: 8586 6162 192 642 0 7942 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 34344 [startup+642.301 s] /proc/loadavg: 1.08 1.03 1.00 2/107 16155 /proc/meminfo: memFree=1796432/2059040 swapFree=4192888/4192956 [pid=16133] ppid=16131 vsize=34296 CPUtime=642.13 /proc/16133/stat : 16133 (bsolo_pb10) R 16131 16133 15910 0 -1 4202496 6371 0 0 0 64089 124 0 0 25 0 1 0 11514288 35119104 6150 1992294400 134512640 137138936 4286666016 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16133/statm: 8574 6150 192 642 0 7930 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 34296 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1795936/2059040 swapFree=4192888/4192956 [pid=16133] ppid=16131 vsize=35016 CPUtime=1122.01 /proc/16133/stat : 16133 (bsolo_pb10) R 16131 16133 15910 0 -1 4202496 6548 0 0 0 111997 204 0 0 25 0 1 0 11514288 35856384 6325 1992294400 134512640 137138936 4286666016 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16133/statm: 8754 6325 192 642 0 8110 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 35016 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16169 /proc/meminfo: memFree=1795812/2059040 swapFree=4192888/4192956 [pid=16133] ppid=16131 vsize=35016 CPUtime=1182 /proc/16133/stat : 16133 (bsolo_pb10) R 16131 16133 15910 0 -1 4202496 6548 0 0 0 117985 215 0 0 25 0 1 0 11514288 35856384 6325 1992294400 134512640 137138936 4286666016 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16133/statm: 8754 6325 192 642 0 8110 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 35016 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16171 /proc/meminfo: memFree=1795688/2059040 swapFree=4192888/4192956 [pid=16133] ppid=16131 vsize=35020 CPUtime=1241.99 /proc/16133/stat : 16133 (bsolo_pb10) R 16131 16133 15910 0 -1 4202496 6550 0 0 0 123975 224 0 0 25 0 1 0 11514288 35860480 6327 1992294400 134512640 137138936 4286666016 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16133/statm: 8755 6327 192 642 0 8111 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 35020 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16173 /proc/meminfo: memFree=1794944/2059040 swapFree=4192888/4192956 [pid=16133] ppid=16131 vsize=35440 CPUtime=1301.98 /proc/16133/stat : 16133 (bsolo_pb10) R 16131 16133 15910 0 -1 4202496 6701 0 0 0 129962 236 0 0 25 0 1 0 11514288 36290560 6436 1992294400 134512640 137138936 4286666016 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16133/statm: 8860 6436 192 642 0 8216 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 35440 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16175 /proc/meminfo: memFree=1794944/2059040 swapFree=4192888/4192956 [pid=16133] ppid=16131 vsize=35432 CPUtime=1361.96 /proc/16133/stat : 16133 (bsolo_pb10) R 16131 16133 15910 0 -1 4202496 6701 0 0 0 135949 247 0 0 25 0 1 0 11514288 36282368 6434 1992294400 134512640 137138936 4286666016 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16133/statm: 8858 6434 192 642 0 8214 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 35432 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16175 /proc/meminfo: memFree=1794944/2059040 swapFree=4192888/4192956 [pid=16133] ppid=16131 vsize=35424 CPUtime=1421.95 /proc/16133/stat : 16133 (bsolo_pb10) R 16131 16133 15910 0 -1 4202496 6701 0 0 0 141936 259 0 0 25 0 1 0 11514288 36274176 6432 1992294400 134512640 137138936 4286666016 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16133/statm: 8856 6432 192 642 0 8212 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 35424 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16177 /proc/meminfo: memFree=1794944/2059040 swapFree=4192888/4192956 [pid=16133] ppid=16131 vsize=35424 CPUtime=1481.93 /proc/16133/stat : 16133 (bsolo_pb10) R 16131 16133 15910 0 -1 4202496 6701 0 0 0 147920 273 0 0 25 0 1 0 11514288 36274176 6432 1992294400 134512640 137138936 4286666016 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16133/statm: 8856 6432 192 642 0 8212 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 35424 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16179 /proc/meminfo: memFree=1794820/2059040 swapFree=4192888/4192956 [pid=16133] ppid=16131 vsize=35352 CPUtime=1541.91 /proc/16133/stat : 16133 (bsolo_pb10) R 16131 16133 15910 0 -1 4202496 6701 0 0 0 153908 283 0 0 25 0 1 0 11514288 36200448 6414 1992294400 134512640 137138936 4286666016 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16133/statm: 8838 6414 192 642 0 8194 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 35352 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16181 /proc/meminfo: memFree=1794820/2059040 swapFree=4192888/4192956 [pid=16133] ppid=16131 vsize=35352 CPUtime=1601.89 /proc/16133/stat : 16133 (bsolo_pb10) R 16131 16133 15910 0 -1 4202496 6701 0 0 0 159893 296 0 0 25 0 1 0 11514288 36200448 6414 1992294400 134512640 137138936 4286666016 18446744073709551615 134601081 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16133/statm: 8838 6414 192 642 0 8194 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 35352 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16183 /proc/meminfo: memFree=1794820/2059040 swapFree=4192888/4192956 [pid=16133] ppid=16131 vsize=35352 CPUtime=1661.88 /proc/16133/stat : 16133 (bsolo_pb10) R 16131 16133 15910 0 -1 4202496 6701 0 0 0 165881 307 0 0 25 0 1 0 11514288 36200448 6414 1992294400 134512640 137138936 4286666016 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16133/statm: 8838 6414 192 642 0 8194 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 35352 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16183 /proc/meminfo: memFree=1794696/2059040 swapFree=4192888/4192956 [pid=16133] ppid=16131 vsize=35340 CPUtime=1721.87 /proc/16133/stat : 16133 (bsolo_pb10) R 16131 16133 15910 0 -1 4202496 6701 0 0 0 171867 320 0 0 25 0 1 0 11514288 36188160 6411 1992294400 134512640 137138936 4286666016 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16133/statm: 8835 6411 192 642 0 8191 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 35340 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16185 /proc/meminfo: memFree=1794448/2059040 swapFree=4192888/4192956 [pid=16133] ppid=16131 vsize=35340 CPUtime=1781.86 /proc/16133/stat : 16133 (bsolo_pb10) R 16131 16133 15910 0 -1 4202496 6701 0 0 0 177853 333 0 0 25 0 1 0 11514288 36188160 6411 1992294400 134512640 137138936 4286666016 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16133/statm: 8835 6411 192 642 0 8191 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 35340 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16185 /proc/meminfo: memFree=1794448/2059040 swapFree=4192888/4192956 [pid=16133] ppid=16131 vsize=35340 CPUtime=1791.46 /proc/16133/stat : 16133 (bsolo_pb10) R 16131 16133 15910 0 -1 4202496 6701 0 0 0 178812 334 0 0 25 0 1 0 11514288 36188160 6411 1992294400 134512640 137138936 4286666016 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16133/statm: 8835 6411 192 642 0 8191 0 Current children cumulated CPU time (s) 1791.46 Current children cumulated vsize (KiB) 35340 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16185 /proc/meminfo: memFree=1794448/2059040 swapFree=4192888/4192956 [pid=16133] ppid=16131 vsize=35340 CPUtime=1794.66 /proc/16133/stat : 16133 (bsolo_pb10) R 16131 16133 15910 0 -1 4202496 6701 0 0 0 179131 335 0 0 25 0 1 0 11514288 36188160 6411 1992294400 134512640 137138936 4286666016 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16133/statm: 8835 6411 192 642 0 8191 0 Current children cumulated CPU time (s) 1794.66 Current children cumulated vsize (KiB) 35340 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16185 /proc/meminfo: memFree=1794448/2059040 swapFree=4192888/4192956 [pid=16133] ppid=16131 vsize=35340 CPUtime=1796.25 /proc/16133/stat : 16133 (bsolo_pb10) R 16131 16133 15910 0 -1 4202496 6701 0 0 0 179290 335 0 0 25 0 1 0 11514288 36188160 6411 1992294400 134512640 137138936 4286666016 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16133/statm: 8835 6411 192 642 0 8191 0 Current children cumulated CPU time (s) 1796.25 Current children cumulated vsize (KiB) 35340 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16185 /proc/meminfo: memFree=1794448/2059040 swapFree=4192888/4192956 [pid=16133] ppid=16131 vsize=35340 CPUtime=1797.05 /proc/16133/stat : 16133 (bsolo_pb10) R 16131 16133 15910 0 -1 4202496 6701 0 0 0 179370 335 0 0 25 0 1 0 11514288 36188160 6411 1992294400 134512640 137138936 4286666016 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16133/statm: 8835 6411 192 642 0 8191 0 Current children cumulated CPU time (s) 1797.05 Current children cumulated vsize (KiB) 35340 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16185 /proc/meminfo: memFree=1794448/2059040 swapFree=4192888/4192956 [pid=16133] ppid=16131 vsize=35340 CPUtime=1797.85 /proc/16133/stat : 16133 (bsolo_pb10) R 16131 16133 15910 0 -1 4202496 6701 0 0 0 179450 335 0 0 25 0 1 0 11514288 36188160 6411 1992294400 134512640 137138936 4286666016 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16133/statm: 8835 6411 192 642 0 8191 0 Current children cumulated CPU time (s) 1797.85 Current children cumulated vsize (KiB) 35340 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16185 /proc/meminfo: memFree=1794448/2059040 swapFree=4192888/4192956 [pid=16133] ppid=16131 vsize=35340 CPUtime=1798.25 /proc/16133/stat : 16133 (bsolo_pb10) R 16131 16133 15910 0 -1 4202496 6701 0 0 0 179490 335 0 0 25 0 1 0 11514288 36188160 6411 1992294400 134512640 137138936 4286666016 18446744073709551615 134540744 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16133/statm: 8835 6411 192 642 0 8191 0 Current children cumulated CPU time (s) 1798.25 Current children cumulated vsize (KiB) 35340 [startup+1798.8 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16185 /proc/meminfo: memFree=1794448/2059040 swapFree=4192888/4192956 [pid=16133] ppid=16131 vsize=35340 CPUtime=1798.35 /proc/16133/stat : 16133 (bsolo_pb10) R 16131 16133 15910 0 -1 4202496 6701 0 0 0 179500 335 0 0 25 0 1 0 11514288 36188160 6411 1992294400 134512640 137138936 4286666016 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16133/statm: 8835 6411 192 642 0 8191 0 Current children cumulated CPU time (s) 1798.35 Current children cumulated vsize (KiB) 35340 Child status: 0 Real time (s): 1798.85 CPU time (s): 1798.41 CPU user time (s): 1795.06 CPU system time (s): 3.35749 CPU usage (%): 99.9755 Max. virtual memory (cumulated for all children) (KiB): 35628 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.06 system time used= 3.35749 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6702 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 3248 runsolver used 2.72358 second user time and 8.73367 second system time The end
Begin job on node041 at 2010-06-16 17:30:16 IDJOB=2670429 IDBENCH=47931 IDSOLVER=1162 FILE ID=node041/2670429-1276702216 PBS_JOBID= 11174102 Free space on /tmp= 62084 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=149-P1=163-P2=41-P3=157-P4=223-P5=67-P6=191-P7=17-P8=37-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670429-1276702216/watcher-2670429-1276702216 -o /tmp/evaluation-result-2670429-1276702216/solver-2670429-1276702216 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670429-1276702216.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 870560ebbd959d9c8bd54c4fcdba3455 RANDOM SEED=1839235410 node041.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.251 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.251 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1824180 kB Buffers: 11584 kB Cached: 92936 kB SwapCached: 64 kB Active: 129052 kB Inactive: 35004 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1824180 kB SwapTotal: 4192956 kB SwapFree: 4192888 kB Dirty: 4004 kB Writeback: 0 kB AnonPages: 59324 kB Mapped: 15332 kB Slab: 49004 kB PageTables: 4040 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179824 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670429-1276702216.opb Free space on /tmp at the end= 62080 MiB End job on node041 at 2010-06-16 18:00:15