Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
borg-pb 10.05.30 | SAT | 221.634 | 208.078 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_10_5_15.opb |
MD5SUM | fc2cc3328b52c15b44db6557e5f99e21 |
Bench Category | DEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.041993 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 400 |
Total number of constraints | 602 |
Number of constraints which are clauses | 200 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 401 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 400 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 15 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 400 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 5056 |
Sum of products size (including duplicates) | 10112 |
Number of different products | 2528 |
Sum of products size | 5056 |
1.04/1.56 c DEBUG: probabilities of action success (DCM model): 1.04/1.56 c pb/competition_2010/bsolo_pb10-l1 : 0.2446 0.3106 0.3432 0.4493 0.5331 0.5649 0.6331 1.04/1.56 c pb/competition_2010/bsolo_pb10-l2 : 0.2220 0.2840 0.3077 0.3819 0.4261 0.4617 0.5493 1.04/1.56 c pb/competition_2010/bsolo_pb10-l3 : 0.2079 0.2803 0.3237 0.4112 0.4599 0.4979 0.5927 1.04/1.56 c pb/competition_2010/wbo1.4a : 0.3403 0.4826 0.5859 0.7308 0.8018 0.8464 0.9114 1.04/1.56 c pb/competition_2010/wbo1.4b : 0.2130 0.3046 0.4491 0.6693 0.7698 0.8150 0.8796 1.04/1.56 c pb/other/clasp-1.3.3 : 0.4078 0.5945 0.6711 0.8373 0.8906 0.9054 0.9586 1.04/1.56 c pb/other/sat4j-pb-v20090829 : 0.2634 0.4175 0.5149 0.6419 0.7125 0.7655 0.8315 1.04/1.56 c pb/other/sat4j-pb-v20090829-cutting : 0.2190 0.3670 0.4173 0.5593 0.5959 0.6405 0.7110 1.04/1.59 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1474735602', u'HOME/instance-2675929-1277135829.opb'] for 0:00:10 1.23/1.76 c DEBUG: probabilities of action success (DCM model): 1.23/1.76 c pb/competition_2010/bsolo_pb10-l1 : 0.0864 0.1465 0.1840 0.2857 0.3885 0.4283 0.5203 1.23/1.76 c pb/competition_2010/bsolo_pb10-l2 : 0.0562 0.0749 0.0922 0.1683 0.2191 0.2624 0.3839 1.23/1.76 c pb/competition_2010/bsolo_pb10-l3 : 0.0651 0.1056 0.1465 0.2372 0.2927 0.3401 0.4668 1.23/1.76 c pb/competition_2010/wbo1.4a : 0.1742 0.3354 0.4616 0.6290 0.7329 0.7917 0.8920 1.23/1.76 c pb/competition_2010/wbo1.4b : 0.1021 0.1948 0.3272 0.5834 0.7167 0.7734 0.8713 1.23/1.76 c pb/other/clasp-1.3.3 : 0.0473 0.3999 0.5163 0.7617 0.8422 0.8653 0.9405 1.23/1.76 c pb/other/sat4j-pb-v20090829 : 0.0742 0.2233 0.3526 0.5167 0.6055 0.6788 0.7733 1.23/1.76 c pb/other/sat4j-pb-v20090829-cutting : 0.0499 0.1563 0.1889 0.3805 0.4170 0.4832 0.5874 1.23/1.77 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1057259890', u'HOME/instance-2675929-1277135829.opb'] for 0:00:50 1.43/1.94 c DEBUG: probabilities of action success (DCM model): 1.43/1.94 c pb/competition_2010/bsolo_pb10-l1 : 0.0547 0.0978 0.1349 0.2096 0.2919 0.3395 0.4502 1.43/1.94 c pb/competition_2010/bsolo_pb10-l2 : 0.0217 0.0303 0.0367 0.0801 0.1077 0.1434 0.2606 1.43/1.94 c pb/competition_2010/bsolo_pb10-l3 : 0.0470 0.0799 0.1116 0.1733 0.2111 0.2575 0.3877 1.43/1.94 c pb/competition_2010/wbo1.4a : 0.1185 0.2379 0.3470 0.5355 0.6578 0.7196 0.8608 1.43/1.94 c pb/competition_2010/wbo1.4b : 0.0869 0.1706 0.2900 0.5236 0.6835 0.7441 0.8592 1.43/1.94 c pb/other/clasp-1.3.3 : 0.0379 0.0752 0.3715 0.6781 0.7801 0.8135 0.9135 1.43/1.94 c pb/other/sat4j-pb-v20090829 : 0.0318 0.1365 0.2340 0.3981 0.5023 0.5936 0.7124 1.43/1.94 c pb/other/sat4j-pb-v20090829-cutting : 0.0173 0.0836 0.1032 0.2448 0.2753 0.3273 0.4541 1.43/1.94 c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-2675929-1277135829.opb'] for 0:00:50 55.34/52.72 c DEBUG: probabilities of action success (DCM model): 55.34/52.72 c pb/competition_2010/bsolo_pb10-l1 : 0.0278 0.0511 0.0882 0.1629 0.2421 0.2747 0.3900 55.34/52.72 c pb/competition_2010/bsolo_pb10-l2 : 0.0061 0.0084 0.0115 0.0469 0.0744 0.0930 0.2225 55.34/52.72 c pb/competition_2010/bsolo_pb10-l3 : 0.0329 0.0577 0.0782 0.1040 0.1360 0.1770 0.3184 55.34/52.72 c pb/competition_2010/wbo1.4a : 0.0617 0.0395 0.2320 0.4467 0.5948 0.6636 0.8342 55.34/52.72 c pb/competition_2010/wbo1.4b : 0.0760 0.1558 0.2360 0.4683 0.6510 0.7218 0.8401 55.34/52.72 c pb/other/clasp-1.3.3 : 0.0355 0.0586 0.3520 0.6663 0.7778 0.8140 0.9027 55.34/52.72 c pb/other/sat4j-pb-v20090829 : 0.0298 0.1246 0.2164 0.3716 0.4617 0.5539 0.6982 55.34/52.72 c pb/other/sat4j-pb-v20090829-cutting : 0.0122 0.0710 0.0791 0.1770 0.2095 0.2645 0.4127 55.34/52.72 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1112055742', u'HOME/instance-2675929-1277135829.opb'] for 0:01:40 55.44/52.89 c DEBUG: probabilities of action success (DCM model): 55.44/52.89 c pb/competition_2010/bsolo_pb10-l1 : 0.0247 0.0400 0.0751 0.1401 0.2219 0.2508 0.3462 55.44/52.89 c pb/competition_2010/bsolo_pb10-l2 : 0.0050 0.0071 0.0079 0.0295 0.0510 0.0684 0.1710 55.44/52.89 c pb/competition_2010/bsolo_pb10-l3 : 0.0355 0.0650 0.0805 0.0954 0.1214 0.1529 0.2736 55.44/52.89 c pb/competition_2010/wbo1.4a : 0.0631 0.0338 0.2163 0.4128 0.5510 0.6157 0.7989 55.44/52.89 c pb/competition_2010/wbo1.4b : 0.0545 0.1268 0.2082 0.4263 0.5997 0.6749 0.8065 55.44/52.89 c pb/other/clasp-1.3.3 : 0.0347 0.0418 0.0948 0.6033 0.7238 0.7699 0.8744 55.44/52.89 c pb/other/sat4j-pb-v20090829 : 0.0247 0.1147 0.2008 0.3538 0.4371 0.5085 0.6375 55.44/52.89 c pb/other/sat4j-pb-v20090829-cutting : 0.0098 0.0590 0.0635 0.1475 0.1811 0.2159 0.3382 55.44/52.89 c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-2675929-1277135829.opb'] for 0:01:40 163.15/154.27 c DEBUG: probabilities of action success (DCM model): 163.15/154.27 c pb/competition_2010/bsolo_pb10-l1 : 0.0156 0.0235 0.0614 0.1303 0.1974 0.2250 0.3271 163.15/154.27 c pb/competition_2010/bsolo_pb10-l2 : 0.0011 0.0016 0.0016 0.0218 0.0428 0.0588 0.1723 163.15/154.27 c pb/competition_2010/bsolo_pb10-l3 : 0.0364 0.0633 0.0713 0.0764 0.0953 0.1265 0.2416 163.15/154.27 c pb/competition_2010/wbo1.4a : 0.0388 0.0143 0.0065 0.3252 0.4879 0.5653 0.7780 163.15/154.27 c pb/competition_2010/wbo1.4b : 0.0491 0.1120 0.1818 0.3951 0.5855 0.6732 0.7962 163.15/154.27 c pb/other/clasp-1.3.3 : 0.0380 0.0372 0.0847 0.6129 0.7311 0.7735 0.8750 163.15/154.27 c pb/other/sat4j-pb-v20090829 : 0.0223 0.0941 0.1681 0.3180 0.4093 0.4810 0.6269 163.15/154.27 c pb/other/sat4j-pb-v20090829-cutting : 0.0089 0.0525 0.0541 0.1163 0.1522 0.1791 0.3190 163.15/154.28 c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-2675929-1277135829.opb'] for 0:00:50 217.07/205.07 c DEBUG: probabilities of action success (DCM model): 217.07/205.07 c pb/competition_2010/bsolo_pb10-l1 : 0.0121 0.0167 0.0564 0.1255 0.1980 0.2239 0.3192 217.07/205.07 c pb/competition_2010/bsolo_pb10-l2 : 0.0002 0.0004 0.0004 0.0188 0.0361 0.0540 0.1522 217.07/205.07 c pb/competition_2010/bsolo_pb10-l3 : 0.0390 0.0684 0.0706 0.0756 0.0833 0.1148 0.2137 217.07/205.07 c pb/competition_2010/wbo1.4a : 0.0407 0.0109 0.0051 0.2928 0.4496 0.5315 0.7564 217.07/205.07 c pb/competition_2010/wbo1.4b : 0.0348 0.0018 0.1419 0.3470 0.5421 0.6387 0.7765 217.07/205.07 c pb/other/clasp-1.3.3 : 0.0383 0.0341 0.0720 0.5896 0.7131 0.7571 0.8647 217.07/205.07 c pb/other/sat4j-pb-v20090829 : 0.0164 0.0836 0.1593 0.3116 0.3998 0.4540 0.5947 217.07/205.07 c pb/other/sat4j-pb-v20090829-cutting : 0.0074 0.0356 0.0375 0.0756 0.1084 0.1272 0.2619 217.07/205.07 c DETAIL: running [u'java', u'-server', u'-Xms1300m', u'-Xmx1300m', u'-jar', u'HOME/etc/solvers/other/sat4j-pb-v20090826/org.sat4j.pb.jar', u'HOME/instance-2675929-1277135829.opb'] for 0:01:40 221.54/208.01 s SATISFIABLE 221.54/208.01 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 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928
OK 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2675929-1277135829/watcher-2675929-1277135829 -o /tmp/evaluation-result-2675929-1277135829/solver-2675929-1277135829 -C 1800 -W 2000 -M 1800 solver HOME/instance-2675929-1277135829.opb 102000795 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.19 1.12 0.96 3/106 11529 /proc/meminfo: memFree=1779224/2059040 swapFree=4136684/4192956 [pid=11529] ppid=11527 vsize=16708 CPUtime=0 /proc/11529/stat : 11529 (python) R 11527 11529 11055 0 -1 4202496 730 0 0 0 0 0 0 0 18 0 1 0 54875006 17108992 496 1992294400 4194304 4196484 140736396578384 18446744073709551615 242171196101 0 0 16781312 2 0 0 0 17 1 0 0 0 /proc/11529/statm: 4177 497 272 1 0 273 0 [startup+0.074297 s] /proc/loadavg: 1.19 1.12 0.96 3/106 11529 /proc/meminfo: memFree=1779224/2059040 swapFree=4136684/4192956 [pid=11529] ppid=11527 vsize=18504 CPUtime=0.05 /proc/11529/stat : 11529 (python) R 11527 11529 11055 0 -1 4202496 2074 0 0 0 3 2 0 0 21 0 1 0 54875006 18948096 1075 1992294400 4194304 4196484 140733466047152 18446744073709551615 242171533312 0 2147483391 16781312 2 0 0 0 17 0 0 0 0 /proc/11529/statm: 4626 1075 423 1 0 606 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 18504 [startup+0.104459 s] /proc/loadavg: 1.19 1.12 0.96 3/106 11529 /proc/meminfo: memFree=1779224/2059040 swapFree=4136684/4192956 [pid=11529] ppid=11527 vsize=32156 CPUtime=0.08 /proc/11529/stat : 11529 (python) R 11527 11529 11055 0 -1 4202496 2412 0 0 0 5 3 0 0 21 0 1 0 54875006 32927744 1390 1992294400 4194304 4196484 140733466047152 18446744073709551615 47486883740003 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/11529/statm: 8039 1390 459 1 0 911 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 32156 [startup+0.300457 s] /proc/loadavg: 1.19 1.12 0.96 3/106 11529 /proc/meminfo: memFree=1779224/2059040 swapFree=4136684/4192956 [pid=11529] ppid=11527 vsize=70600 CPUtime=0.24 /proc/11529/stat : 11529 (python) R 11527 11529 11055 0 -1 4202496 3967 0 0 0 16 8 0 0 20 0 1 0 54875006 72294400 2804 1992294400 4194304 4196484 140733466047152 18446744073709551615 47486883700488 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/11529/statm: 17650 2804 693 1 0 2137 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 70600 [startup+0.700453 s] /proc/loadavg: 1.19 1.12 0.96 3/106 11529 /proc/meminfo: memFree=1779224/2059040 swapFree=4136684/4192956 [pid=11529] ppid=11527 vsize=98836 CPUtime=0.52 /proc/11529/stat : 11529 (python) R 11527 11529 11055 0 -1 4202496 4866 0 0 0 32 20 0 0 20 0 1 0 54875006 101208064 3580 1992294400 4194304 4196484 140733466047152 18446744073709551615 242171531269 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/11529/statm: 24709 3580 1022 1 0 2566 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 98836 [startup+1.50145 s] /proc/loadavg: 1.19 1.12 0.96 2/107 11534 /proc/meminfo: memFree=1762600/2059040 swapFree=4136684/4192956 [pid=11529] ppid=11527 vsize=119644 CPUtime=1.04 /proc/11529/stat : 11529 (python) R 11527 11529 11055 0 -1 4202496 9047 931 0 0 72 32 0 0 16 0 1 0 54875006 122515456 6181 1992294400 4194304 4196484 140733466047152 18446744073709551615 47486883755328 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/11529/statm: 29911 6181 1063 1 0 5165 0 Current children cumulated CPU time (s) 1.04 Current children cumulated vsize (KiB) 119644 [startup+3.10043 s] /proc/loadavg: 1.19 1.12 0.96 2/108 11541 /proc/meminfo: memFree=1755772/2059040 swapFree=4136684/4192956 [pid=11529] ppid=11527 vsize=134112 CPUtime=1.79 /proc/11529/stat : 11529 (python) S 11527 11529 11055 0 -1 4202496 12627 3820 0 0 128 46 1 4 15 0 1 0 54875006 137330688 6333 1992294400 4194304 4196484 140733466047152 18446744073709551615 242171555343 0 0 16781312 2 159688670771686192 0 0 17 0 0 0 0 /proc/11529/statm: 33528 6333 1143 1 0 5165 0 [pid=11541] ppid=11529 vsize=7084 CPUtime=1.13 /proc/11541/stat : 11541 (wbo1.4a) R 11529 11541 11541 0 -1 4202496 1651 0 0 0 112 1 0 0 19 0 1 0 54875201 7254016 1318 1992294400 134512640 135751879 4288325104 18446744073709551615 134517424 0 0 16781312 3 0 0 0 17 1 0 0 0 /proc/11541/statm: 1771 1318 139 303 0 1466 0 Current children cumulated CPU time (s) 2.92 Current children cumulated vsize (KiB) 141196 [startup+6.3004 s] /proc/loadavg: 1.34 1.15 0.97 3/108 11541 /proc/meminfo: memFree=1748332/2059040 swapFree=4136684/4192956 [pid=11529] ppid=11527 vsize=134112 CPUtime=2.01 /proc/11529/stat : 11529 (python) S 11527 11529 11055 0 -1 4202496 12640 3820 0 0 145 51 1 4 15 0 1 0 54875006 137330688 6333 1992294400 4194304 4196484 140733466047152 18446744073709551615 242171555343 0 0 16781312 2 159688670771686192 0 0 17 0 0 0 0 /proc/11529/statm: 33528 6333 1143 1 0 5165 0 [pid=11541] ppid=11529 vsize=12416 CPUtime=4.3 /proc/11541/stat : 11541 (wbo1.4a) R 11529 11541 11541 0 -1 4202496 2992 0 0 0 427 3 0 0 25 0 1 0 54875201 12713984 2659 1992294400 134512640 135751879 4288325104 18446744073709551615 134616534 0 0 16781312 3 0 0 0 17 1 0 0 0 /proc/11541/statm: 3104 2659 139 303 0 2799 0 Current children cumulated CPU time (s) 6.31 Current children cumulated vsize (KiB) 146528 [startup+12.7003 s] /proc/loadavg: 1.31 1.15 0.97 2/108 11541 /proc/meminfo: memFree=1741264/2059040 swapFree=4136684/4192956 [pid=11529] ppid=11527 vsize=134112 CPUtime=2.39 /proc/11529/stat : 11529 (python) S 11527 11529 11055 0 -1 4202496 12654 3820 0 0 178 56 1 4 15 0 1 0 54875006 137330688 6333 1992294400 4194304 4196484 140733466047152 18446744073709551615 242171555343 0 0 16781312 2 159688670771686192 0 0 17 0 0 0 0 /proc/11529/statm: 33528 6333 1143 1 0 5165 0 [pid=11541] ppid=11529 vsize=19884 CPUtime=10.66 /proc/11541/stat : 11541 (wbo1.4a) R 11529 11541 11541 0 -1 4202496 4830 0 0 0 1060 6 0 0 25 0 1 0 54875201 20361216 4497 1992294400 134512640 135751879 4288325104 18446744073709551615 134517408 0 0 16781312 3 0 0 0 17 1 0 0 0 /proc/11541/statm: 4971 4497 139 303 0 4666 0 Current children cumulated CPU time (s) 13.05 Current children cumulated vsize (KiB) 153996 [startup+25.5012 s] /proc/loadavg: 1.24 1.14 0.97 2/108 11543 /proc/meminfo: memFree=1717084/2059040 swapFree=4136684/4192956 [pid=11529] ppid=11527 vsize=134112 CPUtime=3.21 /proc/11529/stat : 11529 (python) S 11527 11529 11055 0 -1 4202496 12678 3820 0 0 248 68 1 4 15 0 1 0 54875006 137330688 6333 1992294400 4194304 4196484 140733466047152 18446744073709551615 242171555343 0 0 16781312 2 159688670771686192 0 0 17 0 0 0 0 /proc/11529/statm: 33528 6333 1143 1 0 5165 0 [pid=11541] ppid=11529 vsize=43400 CPUtime=23.39 /proc/11541/stat : 11541 (wbo1.4a) R 11529 11541 11541 0 -1 4202496 10683 0 0 0 2325 14 0 0 25 0 1 0 54875201 44441600 10350 1992294400 134512640 135751879 4288325104 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 1 0 0 0 /proc/11541/statm: 10850 10350 139 303 0 10545 0 Current children cumulated CPU time (s) 26.6 Current children cumulated vsize (KiB) 177512 [startup+51.102 s] /proc/loadavg: 1.16 1.13 0.97 2/108 11543 /proc/meminfo: memFree=1668600/2059040 swapFree=4136684/4192956 [pid=11529] ppid=11527 vsize=134112 CPUtime=4.82 /proc/11529/stat : 11529 (python) S 11527 11529 11055 0 -1 4202496 12723 3820 0 0 388 89 1 4 15 0 1 0 54875006 137330688 6333 1992294400 4194304 4196484 140733466047152 18446744073709551615 242171555343 0 0 16781312 2 159688670771686192 0 0 17 0 0 0 0 /proc/11529/statm: 33528 6333 1143 1 0 5165 0 [pid=11541] ppid=11529 vsize=92152 CPUtime=48.82 /proc/11541/stat : 11541 (wbo1.4a) R 11529 11541 11541 0 -1 4202496 22880 0 0 0 4854 28 0 0 25 0 1 0 54875201 94363648 22547 1992294400 134512640 135751879 4288325104 18446744073709551615 134517414 0 0 16781312 3 0 0 0 17 1 0 0 0 /proc/11541/statm: 23038 22547 139 303 0 22733 0 Current children cumulated CPU time (s) 53.64 Current children cumulated vsize (KiB) 226264 [startup+102.309 s] /proc/loadavg: 1.11 1.12 0.98 2/108 11551 /proc/meminfo: memFree=1665748/2059040 swapFree=4136684/4192956 [pid=11529] ppid=11527 vsize=134112 CPUtime=59.09 /proc/11529/stat : 11529 (python) S 11527 11529 11055 0 -1 4202496 15129 29768 0 0 720 140 5012 37 15 0 1 0 54875006 137330688 6334 1992294400 4194304 4196484 140733466047152 18446744073709551615 242171555343 0 0 16781312 2 159836005329808176 0 0 17 1 0 0 0 /proc/11529/statm: 33528 6334 1143 1 0 5165 0 [pid=11549] ppid=11529 vsize=95000 CPUtime=49.07 /proc/11549/stat : 11549 (wbo1.4a) R 11529 11549 11549 0 -1 4202496 23594 0 0 0 4878 29 0 0 25 0 1 0 54880296 97280000 23258 1992294400 134512640 135751879 4291784656 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0 /proc/11549/statm: 23750 23258 139 303 0 23445 0 Current children cumulated CPU time (s) 108.16 Current children cumulated vsize (KiB) 229112 [startup+162.302 s] /proc/loadavg: 1.11 1.11 0.98 2/108 11554 /proc/meminfo: memFree=1744488/2059040 swapFree=4136684/4192956 [pid=11529] ppid=11527 vsize=134112 CPUtime=164.06 /proc/11529/stat : 11529 (python) S 11527 11529 11055 0 -1 4202496 16346 86418 0 0 1070 201 15023 112 15 0 1 0 54875006 137330688 6336 1992294400 4194304 4196484 140733466047152 18446744073709551615 242171555343 0 0 16781312 2 159688670771686192 0 0 17 0 0 0 0 /proc/11529/statm: 33528 6336 1143 1 0 5165 0 [pid=11554] ppid=11529 vsize=16060 CPUtime=7.95 /proc/11554/stat : 11554 (wbo1.4b) R 11529 11554 11554 0 -1 4202496 3895 0 0 0 791 4 0 0 25 0 1 0 54890434 16445440 3559 1992294400 134512640 135751879 4294579216 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 1 0 0 0 /proc/11554/statm: 4015 3559 143 303 0 3710 0 Current children cumulated CPU time (s) 172.01 Current children cumulated vsize (KiB) 150172 Solver just ended. Dumping a history of the last processes samples [startup+179.102 s] /proc/loadavg: 1.09 1.11 0.98 2/108 11556 /proc/meminfo: memFree=1716464/2059040 swapFree=4136684/4192956 [pid=11529] ppid=11527 vsize=134112 CPUtime=165.14 /proc/11529/stat : 11529 (python) S 11527 11529 11055 0 -1 4202496 16398 86418 0 0 1160 219 15023 112 15 0 1 0 54875006 137330688 6336 1992294400 4194304 4196484 140733466047152 18446744073709551615 242171555343 0 0 16781312 2 159688670771686192 0 0 17 0 0 0 0 /proc/11529/statm: 33528 6336 1143 1 0 5165 0 [pid=11554] ppid=11529 vsize=43816 CPUtime=24.65 /proc/11554/stat : 11554 (wbo1.4b) R 11529 11554 11554 0 -1 4202496 10817 0 0 0 2451 14 0 0 25 0 1 0 54890434 44867584 10481 1992294400 134512640 135751879 4294579216 18446744073709551615 134516976 0 0 16781312 3 0 0 0 17 1 0 0 0 /proc/11554/statm: 10954 10481 144 303 0 10649 0 Current children cumulated CPU time (s) 189.79 Current children cumulated vsize (KiB) 177928 [startup+191.901 s] /proc/loadavg: 1.07 1.10 0.98 2/108 11556 /proc/meminfo: memFree=1690424/2059040 swapFree=4136684/4192956 [pid=11529] ppid=11527 vsize=134112 CPUtime=165.92 /proc/11529/stat : 11529 (python) S 11527 11529 11055 0 -1 4202496 16425 86418 0 0 1227 230 15023 112 15 0 1 0 54875006 137330688 6336 1992294400 4194304 4196484 140733466047152 18446744073709551615 242171555343 0 0 16781312 2 159688670771686192 0 0 17 0 0 0 0 /proc/11529/statm: 33528 6336 1143 1 0 5165 0 [pid=11554] ppid=11529 vsize=72252 CPUtime=37.36 /proc/11554/stat : 11554 (wbo1.4b) R 11529 11554 11554 0 -1 4202496 17904 0 0 0 3713 23 0 0 25 0 1 0 54890434 73986048 17568 1992294400 134512640 135751879 4294579216 18446744073709551615 134606526 0 0 16781312 3 0 0 0 17 1 0 0 0 /proc/11554/statm: 18063 17568 144 303 0 17758 0 Current children cumulated CPU time (s) 203.28 Current children cumulated vsize (KiB) 206364 [startup+198.303 s] /proc/loadavg: 1.06 1.10 0.98 2/108 11556 /proc/meminfo: memFree=1670584/2059040 swapFree=4136684/4192956 [pid=11529] ppid=11527 vsize=134112 CPUtime=166.3 /proc/11529/stat : 11529 (python) S 11527 11529 11055 0 -1 4202496 16433 86418 0 0 1259 236 15023 112 15 0 1 0 54875006 137330688 6336 1992294400 4194304 4196484 140733466047152 18446744073709551615 242171555343 0 0 16781312 2 159688670771686192 0 0 17 0 0 0 0 /proc/11529/statm: 33528 6336 1143 1 0 5165 0 [pid=11554] ppid=11529 vsize=89800 CPUtime=43.72 /proc/11554/stat : 11554 (wbo1.4b) R 11529 11554 11554 0 -1 4202496 22301 0 0 0 4344 28 0 0 25 0 1 0 54890434 91955200 21965 1992294400 134512640 135751879 4294579216 18446744073709551615 134516986 0 0 16781312 3 0 0 0 17 1 0 0 0 /proc/11554/statm: 22450 21965 144 303 0 22145 0 Current children cumulated CPU time (s) 210.02 Current children cumulated vsize (KiB) 223912 [startup+204.7 s] /proc/loadavg: 1.05 1.10 0.98 2/108 11556 /proc/meminfo: memFree=1667484/2059040 swapFree=4136684/4192956 [pid=11529] ppid=11527 vsize=134112 CPUtime=166.68 /proc/11529/stat : 11529 (python) S 11527 11529 11055 0 -1 4202496 16436 86418 0 0 1289 244 15023 112 16 0 1 0 54875006 137330688 6336 1992294400 4194304 4196484 140733466047152 18446744073709551615 242171555343 0 0 16781312 2 159688670771686192 0 0 17 0 0 0 0 /proc/11529/statm: 33528 6336 1143 1 0 5165 0 [pid=11554] ppid=11529 vsize=93292 CPUtime=50.08 /proc/11554/stat : 11554 (wbo1.4b) R 11529 11554 11554 0 -1 4202496 23182 0 0 0 4978 30 0 0 25 0 1 0 54890434 95531008 22846 1992294400 134512640 135751879 4294579216 18446744073709551615 135209796 0 0 16781312 3 0 0 0 17 0 0 0 0 /proc/11554/statm: 23323 22846 144 303 0 23018 0 Current children cumulated CPU time (s) 216.76 Current children cumulated vsize (KiB) 227404 [startup+206.301 s] /proc/loadavg: 1.05 1.10 0.98 4/119 11570 /proc/meminfo: memFree=1742172/2059040 swapFree=4136684/4192956 [pid=11529] ppid=11527 vsize=134112 CPUtime=217.34 /proc/11529/stat : 11529 (python) S 11527 11529 11055 0 -1 4202496 17593 110931 0 0 1306 249 20034 145 15 0 1 0 54875006 137330688 6337 1992294400 4194304 4196484 140733466047152 18446744073709551615 242171555343 0 0 16781312 2 8789261588960870656 0 0 17 0 0 0 0 /proc/11529/statm: 33528 6337 1143 1 0 5165 0 [pid=11559] ppid=11529 vsize=1477972 CPUtime=1.73 /proc/11559/stat : 11559 (java) S 11529 11559 11559 0 -1 4202496 8948 0 1 0 168 5 0 0 15 0 12 0 54895514 1513443328 7698 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11559/statm: 369493 7698 1407 10 0 366795 0 [pid=11559/tid=11560] ppid=11529 vsize=1477972 CPUtime=1.08 /proc/11559/task/11560/stat : 11560 (java) R 11529 11559 11559 0 -1 4202560 5850 0 1 0 105 3 0 0 18 0 12 0 54895516 1513443328 7698 1992294400 134512640 134550932 4292070816 18446744073709551615 4109382640 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11559/tid=11561] ppid=11529 vsize=1477972 CPUtime=0 /proc/11559/task/11561/stat : 11561 (java) S 11529 11559 11559 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 12 0 54895517 1513443328 7698 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 0 0 0 0 [pid=11559/tid=11562] ppid=11529 vsize=1477972 CPUtime=0 /proc/11559/task/11562/stat : 11562 (java) S 11529 11559 11559 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 54895517 1513443328 7698 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 0 0 0 0 [pid=11559/tid=11563] ppid=11529 vsize=1477972 CPUtime=0 /proc/11559/task/11563/stat : 11563 (java) S 11529 11559 11559 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 12 0 54895519 1513443328 7698 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 0 0 16800975 18446604437876416640 0 0 -1 1 0 0 0 [pid=11559/tid=11564] ppid=11529 vsize=1477972 CPUtime=0 /proc/11559/task/11564/stat : 11564 (java) S 11529 11559 11559 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 12 0 54895520 1513443328 7699 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 0 0 0 0 [pid=11559/tid=11565] ppid=11529 vsize=1477972 CPUtime=0 /proc/11559/task/11565/stat : 11565 (java) S 11529 11559 11559 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 12 0 54895520 1513443328 7699 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 0 0 0 0 [pid=11559/tid=11566] ppid=11529 vsize=1477972 CPUtime=0 /proc/11559/task/11566/stat : 11566 (java) S 11529 11559 11559 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 12 0 54895524 1513443328 7699 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 0 0 0 0 [pid=11559/tid=11567] ppid=11529 vsize=1477972 CPUtime=0.25 /proc/11559/task/11567/stat : 11567 (java) S 11529 11559 11559 0 -1 4202560 880 0 0 0 25 0 0 0 18 0 12 0 54895524 1513443328 7699 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 1 0 0 0 [pid=11559/tid=11568] ppid=11529 vsize=1477972 CPUtime=0.36 /proc/11559/task/11568/stat : 11568 (java) S 11529 11559 11559 0 -1 4202560 858 0 0 0 36 0 0 0 15 0 12 0 54895524 1513443328 7699 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 1 0 0 0 [pid=11559/tid=11569] ppid=11529 vsize=1477972 CPUtime=0 /proc/11559/task/11569/stat : 11569 (java) S 11529 11559 11559 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 12 0 54895524 1513443328 7699 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 0 0 0 0 [pid=11559/tid=11570] ppid=11529 vsize=1477972 CPUtime=0 /proc/11559/task/11570/stat : 11570 (java) S 11529 11559 11559 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 54895524 1513443328 7699 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 219.07 Current children cumulated vsize (KiB) 1612084 [startup+207.1 s] /proc/loadavg: 1.05 1.10 0.98 2/119 11570 /proc/meminfo: memFree=1728036/2059040 swapFree=4136684/4192956 [pid=11529] ppid=11527 vsize=134112 CPUtime=217.44 /proc/11529/stat : 11529 (python) S 11527 11529 11055 0 -1 4202496 17602 110931 0 0 1315 250 20034 145 15 0 1 0 54875006 137330688 6337 1992294400 4194304 4196484 140733466047152 18446744073709551615 242171555343 0 0 16781312 2 159688670771686192 0 0 17 0 0 0 0 /proc/11529/statm: 33528 6337 1143 1 0 5165 0 [pid=11559] ppid=11529 vsize=1482592 CPUtime=2.92 /proc/11559/stat : 11559 (java) S 11529 11559 11559 0 -1 4202496 11643 0 1 0 286 6 0 0 15 0 13 0 54895514 1518174208 10393 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11559/statm: 370648 10393 1422 10 0 367950 0 [pid=11559/tid=11560] ppid=11529 vsize=1482592 CPUtime=1.61 /proc/11559/task/11560/stat : 11560 (java) R 11529 11559 11559 0 -1 4202560 7470 0 1 0 157 4 0 0 20 0 13 0 54895516 1518174208 10393 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=11559/tid=11561] ppid=11529 vsize=1482592 CPUtime=0 /proc/11559/task/11561/stat : 11561 (java) S 11529 11559 11559 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 13 0 54895517 1518174208 10393 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 0 0 0 0 [pid=11559/tid=11562] ppid=11529 vsize=1482592 CPUtime=0 /proc/11559/task/11562/stat : 11562 (java) S 11529 11559 11559 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 54895517 1518174208 10393 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 0 0 0 0 [pid=11559/tid=11563] ppid=11529 vsize=1482592 CPUtime=0 /proc/11559/task/11563/stat : 11563 (java) S 11529 11559 11559 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 13 0 54895519 1518174208 10393 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 0 0 16800975 18446604437876416640 0 0 -1 1 0 0 0 [pid=11559/tid=11564] ppid=11529 vsize=1482592 CPUtime=0 /proc/11559/task/11564/stat : 11564 (java) S 11529 11559 11559 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 13 0 54895520 1518174208 10393 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 0 0 0 0 [pid=11559/tid=11565] ppid=11529 vsize=1482592 CPUtime=0 /proc/11559/task/11565/stat : 11565 (java) S 11529 11559 11559 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 13 0 54895520 1518174208 10393 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 0 0 0 0 [pid=11559/tid=11566] ppid=11529 vsize=1482592 CPUtime=0 /proc/11559/task/11566/stat : 11566 (java) S 11529 11559 11559 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 54895524 1518174208 10393 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 0 0 0 0 [pid=11559/tid=11567] ppid=11529 vsize=1482592 CPUtime=0.62 /proc/11559/task/11567/stat : 11567 (java) R 11529 11559 11559 0 -1 4202560 1407 0 0 0 62 0 0 0 16 0 13 0 54895524 1518174208 10393 1992294400 134512640 134550932 4292070816 18446744073709551615 104144506 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=11559/tid=11568] ppid=11529 vsize=1482592 CPUtime=0.65 /proc/11559/task/11568/stat : 11568 (java) R 11529 11559 11559 0 -1 4202560 1401 0 0 0 65 0 0 0 15 0 13 0 54895524 1518174208 10393 1992294400 134512640 134550932 4292070816 18446744073709551615 104140019 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11559/tid=11569] ppid=11529 vsize=1482592 CPUtime=0 /proc/11559/task/11569/stat : 11569 (java) S 11529 11559 11559 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 54895524 1518174208 10393 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 0 0 0 0 [pid=11559/tid=11570] ppid=11529 vsize=1482592 CPUtime=0 /proc/11559/task/11570/stat : 11570 (java) S 11529 11559 11559 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 54895524 1518174208 10393 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 220.36 Current children cumulated vsize (KiB) 1616704 [startup+207.501 s] /proc/loadavg: 1.05 1.10 0.98 2/119 11570 /proc/meminfo: memFree=1728036/2059040 swapFree=4136684/4192956 [pid=11529] ppid=11527 vsize=134112 CPUtime=217.47 /proc/11529/stat : 11529 (python) S 11527 11529 11055 0 -1 4202496 17605 110931 0 0 1317 251 20034 145 15 0 1 0 54875006 137330688 6337 1992294400 4194304 4196484 140733466047152 18446744073709551615 242171555343 0 0 16781312 2 159688670771686192 0 0 17 0 0 0 0 /proc/11529/statm: 33528 6337 1143 1 0 5165 0 [pid=11559] ppid=11529 vsize=1482592 CPUtime=3.4 /proc/11559/stat : 11559 (java) S 11529 11559 11559 0 -1 4202496 18102 0 1 0 331 9 0 0 15 0 13 0 54895514 1518174208 16852 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11559/statm: 370648 16854 1422 10 0 367950 0 [pid=11559/tid=11560] ppid=11529 vsize=1482592 CPUtime=1.96 /proc/11559/task/11560/stat : 11560 (java) R 11529 11559 11559 0 -1 4202560 13924 0 1 0 190 6 0 0 18 0 13 0 54895516 1518174208 16855 1992294400 134512640 134550932 4292070816 18446744073709551615 4109833816 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=11559/tid=11561] ppid=11529 vsize=1482592 CPUtime=0 /proc/11559/task/11561/stat : 11561 (java) S 11529 11559 11559 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 13 0 54895517 1518174208 16858 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 0 0 0 0 [pid=11559/tid=11562] ppid=11529 vsize=1482592 CPUtime=0 /proc/11559/task/11562/stat : 11562 (java) S 11529 11559 11559 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 54895517 1518174208 16860 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 0 0 0 0 [pid=11559/tid=11563] ppid=11529 vsize=1482592 CPUtime=0 /proc/11559/task/11563/stat : 11563 (java) S 11529 11559 11559 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 13 0 54895519 1518174208 16862 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 0 0 16800975 18446604437876416640 0 0 -1 1 0 0 0 [pid=11559/tid=11564] ppid=11529 vsize=1482592 CPUtime=0 /proc/11559/task/11564/stat : 11564 (java) S 11529 11559 11559 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 13 0 54895520 1518174208 16863 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 0 0 0 0 [pid=11559/tid=11565] ppid=11529 vsize=1482592 CPUtime=0 /proc/11559/task/11565/stat : 11565 (java) S 11529 11559 11559 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 13 0 54895520 1518174208 16864 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 0 0 0 0 [pid=11559/tid=11566] ppid=11529 vsize=1482592 CPUtime=0 /proc/11559/task/11566/stat : 11566 (java) S 11529 11559 11559 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 54895524 1518174208 16864 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 0 0 0 0 [pid=11559/tid=11567] ppid=11529 vsize=1482592 CPUtime=0.71 /proc/11559/task/11567/stat : 11567 (java) S 11529 11559 11559 0 -1 4202560 1413 0 0 0 71 0 0 0 15 0 13 0 54895524 1518174208 16864 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 1 0 0 0 [pid=11559/tid=11568] ppid=11529 vsize=1482592 CPUtime=0.68 /proc/11559/task/11568/stat : 11568 (java) S 11529 11559 11559 0 -1 4202560 1404 0 0 0 68 0 0 0 15 0 13 0 54895524 1518174208 16864 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 0 0 0 0 [pid=11559/tid=11569] ppid=11529 vsize=1482592 CPUtime=0 /proc/11559/task/11569/stat : 11569 (java) S 11529 11559 11559 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 54895524 1518174208 16864 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 0 0 0 0 [pid=11559/tid=11570] ppid=11529 vsize=1482592 CPUtime=0 /proc/11559/task/11570/stat : 11570 (java) S 11529 11559 11559 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 54895524 1518174208 16864 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 220.87 Current children cumulated vsize (KiB) 1616704 [startup+207.91 s] /proc/loadavg: 1.05 1.10 0.98 2/121 11572 /proc/meminfo: memFree=1686108/2059040 swapFree=4136684/4192956 [pid=11529] ppid=11527 vsize=134112 CPUtime=217.72 /proc/11529/stat : 11529 (python) R 11527 11529 11055 0 -1 4202496 17645 110931 0 0 1340 253 20034 145 16 0 1 0 54875006 137330688 6344 1992294400 4194304 4196484 140733466047152 18446744073709551615 47486883802122 0 0 16781312 2 0 0 0 17 1 0 0 0 /proc/11529/statm: 33528 6344 1143 1 0 5165 0 [pid=11559] ppid=11529 vsize=0 CPUtime=3.71 /proc/11559/stat : 11559 (java) Z 11529 11559 11559 0 -1 4203548 20504 0 2 0 360 11 0 0 15 0 1 0 54895514 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11559/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 221.43 Current children cumulated vsize (KiB) 134112 [startup+208.002 s] /proc/loadavg: 1.05 1.10 0.98 2/121 11572 /proc/meminfo: memFree=1686108/2059040 swapFree=4136684/4192956 [pid=11529] ppid=11527 vsize=134112 CPUtime=221.54 /proc/11529/stat : 11529 (python) S 11527 11529 11055 0 -1 4202496 17847 131892 0 2 1347 255 20395 157 17 0 1 0 54875006 137330688 6344 1992294400 4194304 4196484 140733466047152 18446744073709551615 242183365381 0 0 16781312 2 18446744071562232103 0 0 17 0 0 0 0 /proc/11529/statm: 33528 6344 1143 1 0 5165 0 Current children cumulated CPU time (s) 221.54 Current children cumulated vsize (KiB) 134112 Child status: 10 Real time (s): 208.078 CPU time (s): 221.634 CPU user time (s): 217.492 CPU system time (s): 4.14237 CPU usage (%): 106.515 Max. virtual memory (cumulated for all children) (KiB): 1617032 getrusage(RUSAGE_CHILDREN,...) data: user time used= 217.492 system time used= 4.14237 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 154936 page faults= 2 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4716 involuntary context switches= 4766 runsolver used 0.413937 second user time and 1.05084 second system time The end
Begin job on node047 at 2010-06-21 17:57:09 IDJOB=2675929 IDBENCH=48372 IDSOLVER=1178 FILE ID=node047/2675929-1277135829 PBS_JOBID= 11182079 Free space on /tmp= 62544 MiB SOLVER NAME= borg-pb 10.05.30 BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_200_10_5_15.opb COMMAND LINE= solver BENCHNAME RANDOMSEED RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2675929-1277135829/watcher-2675929-1277135829 -o /tmp/evaluation-result-2675929-1277135829/solver-2675929-1277135829 -C 1800 -W 2000 -M 1800 solver HOME/instance-2675929-1277135829.opb 102000795 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fc2cc3328b52c15b44db6557e5f99e21 RANDOM SEED=102000795 node047.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.244 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.48 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.244 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1779628 kB Buffers: 25408 kB Cached: 166932 kB SwapCached: 9196 kB Active: 142244 kB Inactive: 63152 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1779628 kB SwapTotal: 4192956 kB SwapFree: 4136684 kB Dirty: 20572 kB Writeback: 0 kB AnonPages: 11612 kB Mapped: 9188 kB Slab: 52148 kB PageTables: 4096 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181068 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62524 MiB End job on node047 at 2010-06-21 18:00:38