Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 31 | 1800.1 | 1800.58 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_10_2.opb |
MD5SUM | 54e50bd6cbfbb2a5705269c41241de9a |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 25 |
Best CPU time to get the best result obtained on this benchmark | 1800.16 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 200 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 200 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 200 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2492 |
Sum of products size (including duplicates) | 4984 |
Number of different products | 2492 |
Sum of products size | 4984 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.00/0.03 c ...done 0.00/0.03 c #vars=2692 #constraints=5185 hasObjective=yes 0.04/0.06 c res. mode=mod 0.04/0.06 c VSIDS like heuristics 0.04/0.06 c complete search running 0.04/0.07 c nbDecision=163 #constraints=5185 0.04/0.07 c linear search for optimum 0.04/0.07 o 37 0.04/0.08 c nbDecision=163 #constraints=5187 0.04/0.08 o 36 0.04/0.08 c nbDecision=164 #constraints=5190 0.04/0.08 o 35 0.19/0.23 c restart after 401 decisions 0.19/0.25 c nbDecision=500 #constraints=5364 0.19/0.27 c nbDecision=588 #constraints=5385 0.19/0.27 o 34 0.39/0.40 c restart after 801 decisions 0.39/0.45 c nbDecision=1000 #constraints=5518 0.79/0.81 c nbDecision=1500 #constraints=5754 0.90/0.92 c restart after 1601 decisions 1.19/1.24 c nbDecision=2000 #constraints=5958 1.89/1.93 c nbDecision=2500 #constraints=6241 2.80/2.88 c nbDecision=3000 #constraints=6574 3.30/3.38 c restart after 3201 decisions 3.89/3.90 c nbDecision=3500 #constraints=6791 5.39/5.46 c nbDecision=4000 #constraints=7078 6.98/7.04 c nbDecision=4500 #constraints=7335 8.80/8.86 c nbDecision=5000 #constraints=7649 10.89/10.96 c nbDecision=5500 #constraints=7933 13.88/13.92 c nbDecision=6000 #constraints=8225 16.09/16.18 c restart after 6401 decisions 16.29/16.38 c nbDecision=6500 #constraints=8431 19.39/19.42 c nbDecision=7000 #constraints=8674 23.29/23.35 c nbDecision=7500 #constraints=8970 27.58/27.61 c nbDecision=8000 #constraints=9291 31.98/32.08 c nbDecision=8500 #constraints=9558 36.59/36.60 c nbDecision=9000 #constraints=9833 40.88/41.00 c nbDecision=9500 #constraints=10101 46.28/46.31 c nbDecision=10000 #constraints=10377 48.68/48.73 c nbDecision=10288 #constraints=10495 48.68/48.73 o 33 49.97/50.08 c nbDecision=10500 #constraints=10566 54.99/55.05 c nbDecision=11000 #constraints=10801 57.88/57.92 c nbDecision=11345 #constraints=10934 57.88/57.92 o 32 58.98/59.08 c nbDecision=11500 #constraints=10980 64.28/64.32 c nbDecision=12000 #constraints=11194 69.18/69.24 c nbDecision=12500 #constraints=11391 72.67/72.72 c restart after 12801 decisions 73.97/74.04 c nbDecision=13000 #constraints=11550 78.47/78.51 c nbDecision=13500 #constraints=11720 84.37/84.42 c nbDecision=14000 #constraints=11933 89.27/89.31 c nbDecision=14500 #constraints=12125 97.47/97.51 c nbDecision=15000 #constraints=12410 105.67/105.76 c nbDecision=15500 #constraints=12689 115.06/115.18 c nbDecision=16000 #constraints=12984 124.06/124.14 c nbDecision=16500 #constraints=13246 132.26/132.31 c nbDecision=17000 #constraints=13474 139.75/139.87 c nbDecision=17500 #constraints=13672 148.35/148.49 c nbDecision=18000 #constraints=13909 158.75/158.80 c nbDecision=18500 #constraints=14229 170.75/170.82 c nbDecision=19000 #constraints=14539 182.64/182.72 c nbDecision=19500 #constraints=14859 194.15/194.26 c nbDecision=20000 #constraints=15128 205.34/205.40 c nbDecision=20500 #constraints=15407 213.14/213.22 c nbDecision=21000 #constraints=15606 223.44/223.52 c nbDecision=21500 #constraints=15843 235.13/235.21 c nbDecision=22000 #constraints=16099 245.23/245.37 c nbDecision=22500 #constraints=16313 262.43/262.52 c nbDecision=23000 #constraints=16658 279.62/279.75 c nbDecision=23500 #constraints=17000 295.02/295.17 c nbDecision=24000 #constraints=17294 308.71/308.88 c nbDecision=24500 #constraints=17552 323.31/323.46 c nbDecision=25000 #constraints=17841 334.41/334.52 c nbDecision=25500 #constraints=18139 336.81/336.90 c restart after 25601 decisions 343.60/343.79 c nbDecision=26000 #constraints=18350 354.80/354.90 c nbDecision=26500 #constraints=18631 366.20/366.31 c nbDecision=27000 #constraints=18896 377.89/378.06 c nbDecision=27500 #constraints=19159 391.69/391.89 c nbDecision=28000 #constraints=19470 405.29/405.49 c nbDecision=28500 #constraints=19765 418.48/418.69 c nbDecision=29000 #constraints=20040 431.09/431.29 c nbDecision=29500 #constraints=20311 444.18/444.37 c nbDecision=30000 #constraints=20557 455.48/455.69 c nbDecision=30500 #constraints=20765 456.48/456.62 c nbDecision=30560 #constraints=20782 456.48/456.62 o 31 466.88/467.03 c nbDecision=31000 #constraints=20958 481.67/481.81 c nbDecision=31500 #constraints=21200 493.27/493.42 c nbDecision=32000 #constraints=21390 516.76/516.98 c nbDecision=32500 #constraints=21745 543.56/543.79 c nbDecision=33000 #constraints=22126 559.55/559.75 c nbDecision=33500 #constraints=22396 577.15/577.33 c nbDecision=34000 #constraints=22664 589.85/590.02 c nbDecision=34500 #constraints=22864 610.34/610.54 c nbDecision=35000 #constraints=23135 634.73/634.90 c nbDecision=35500 #constraints=23485 652.72/653.00 c nbDecision=36000 #constraints=23784 670.93/671.16 c nbDecision=36500 #constraints=24072 695.42/695.63 c nbDecision=37000 #constraints=24402 716.22/716.45 c nbDecision=37500 #constraints=24696 736.51/736.77 c nbDecision=38000 #constraints=24974 753.50/753.70 c nbDecision=38500 #constraints=25204 770.60/770.87 c nbDecision=39000 #constraints=25428 791.19/791.42 c nbDecision=39500 #constraints=25677 811.19/811.47 c nbDecision=40000 #constraints=25913 843.18/843.43 c nbDecision=40500 #constraints=26288 881.57/881.83 c nbDecision=41000 #constraints=26688 904.27/904.59 c nbDecision=41500 #constraints=26982 929.06/929.38 c nbDecision=42000 #constraints=27277 949.16/949.48 c nbDecision=42500 #constraints=27506 975.05/975.39 c nbDecision=43000 #constraints=27780 1011.04/1011.35 c nbDecision=43500 #constraints=28150 1035.44/1035.71 c nbDecision=44000 #constraints=28428 1063.33/1063.67 c nbDecision=44500 #constraints=28714 1084.12/1084.43 c nbDecision=45000 #constraints=28921 1118.21/1118.59 c nbDecision=45500 #constraints=29257 1150.31/1150.69 c nbDecision=46000 #constraints=29577 1180.50/1180.80 c nbDecision=46500 #constraints=29868 1221.99/1222.38 c nbDecision=47000 #constraints=30267 1245.98/1246.38 c nbDecision=47500 #constraints=30549 1268.99/1269.35 c nbDecision=48000 #constraints=30848 1293.07/1293.45 c nbDecision=48500 #constraints=31127 1320.27/1320.67 c nbDecision=49000 #constraints=31419 1344.36/1344.74 c nbDecision=49500 #constraints=31717 1369.56/1369.95 c nbDecision=50000 #constraints=31995 1391.85/1392.20 c nbDecision=50500 #constraints=32228 1409.74/1410.14 c nbDecision=51000 #constraints=32405 1418.94/1419.31 c restart after 51201 decisions 1430.44/1430.84 c nbDecision=51500 #constraints=32570 1450.73/1451.19 c nbDecision=52000 #constraints=32769 1480.02/1480.46 c nbDecision=52500 #constraints=33038 1521.41/1521.84 c nbDecision=53000 #constraints=33382 1554.21/1554.65 c nbDecision=53500 #constraints=33686 1578.60/1579.07 c nbDecision=54000 #constraints=33966 1606.10/1606.59 c nbDecision=54500 #constraints=34225 1626.29/1626.72 c nbDecision=55000 #constraints=34410 1664.58/1665.02 c nbDecision=55500 #constraints=34709 1698.47/1698.91 c nbDecision=56000 #constraints=35019 1733.86/1734.39 c nbDecision=56500 #constraints=35328 1765.55/1766.01 c nbDecision=57000 #constraints=35601 1794.35/1794.82 c nbDecision=57500 #constraints=35834 1800.05/1800.50 Received signal 15 1800.05/1800.51 1800.05/1800.51 s SATISFIABLE 1800.05/1800.51 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 1800.05/1800.51 v -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 1800.05/1800.51 v -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 1800.05/1800.51 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 1800.05/1800.51 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1800.05/1800.51 v x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 x142 -x143 -x144 x145 -x146 1800.05/1800.51 v -x147 x148 -x149 x150 -x151 x152 x153 x154 -x155 x156 -x157 x158 x159 x160 -x161 x162 -x163 x164 x165 x166 -x167 -x168 x169 1800.05/1800.51 v x170 -x171 -x172 -x173 -x174 x175 -x176 x177 -x178 x179 -x180 x181 x182 -x183 x184 -x185 -x186 x187 -x188 x189 -x190 x191 -x192 1800.05/1800.51 v -x193 -x194 x195 -x196 -x197 x198 x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 1800.05/1800.51 v -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 -x234 1800.05/1800.51 v -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 x254 -x255 1800.05/1800.51 v -x256 -x257 -x258 x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 x270 -x271 -x272 -x273 -x274 -x275 -x276 1800.05/1800.51 v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 -x297 1800.05/1800.51 v x298 -x299 -x300 -x301 -x302 x303 x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 x315 -x316 -x317 -x318 -x319 1800.05/1800.51 v -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 x333 -x334 -x335 -x336 -x337 -x338 x339 -x340 1800.05/1800.51 v -x341 x342 x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 1800.05/1800.51 v -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 1800.05/1800.51 v -x384 -x385 -x386 -x387 x388 -x389 -x390 x391 x392 -x393 -x394 -x395 -x396 -x397 x398 -x399 -x400 -x401 -x402 -x403 -x404 1800.05/1800.51 v -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 x414 x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 1800.05/1800.51 v -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 x435 -x436 -x437 x438 -x439 -x440 -x441 -x442 -x443 x444 -x445 x446 1800.05/1800.51 v -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 1800.05/1800.51 v -x468 -x469 x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 x486 -x487 -x488 1800.05/1800.51 v -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 x499 -x500 -x501 x502 x503 x504 -x505 -x506 -x507 -x508 -x509 -x510 1800.05/1800.51 v -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 x519 -x520 -x521 -x522 x523 -x524 -x525 -x526 -x527 -x528 x529 -x530 -x531 1800.05/1800.51 v -x532 x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 x542 -x543 -x544 x545 -x546 -x547 -x548 -x549 -x550 -x551 x552 x553 1800.05/1800.51 v -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 1800.05/1800.51 v -x575 -x576 -x577 x578 -x579 -x580 -x581 x582 x583 -x584 -x585 -x586 x587 x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 1800.05/1800.51 v -x597 x598 -x599 -x600 -x601 -x602 -x603 -x604 x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 x614 x615 -x616 -x617 1800.05/1800.51 v -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 x627 -x628 -x629 -x630 -x631 -x632 -x633 x634 -x635 -x636 -x637 -x638 1800.05/1800.51 v -x639 -x640 -x641 -x642 -x643 -x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 x657 x658 -x659 1800.05/1800.51 v -x660 x661 -x662 -x663 -x664 -x665 -x666 x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 x675 -x676 -x677 x678 x679 -x680 -x681 1800.05/1800.51 v -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 x690 -x691 x692 -x693 -x694 -x695 x696 -x697 -x698 -x699 -x700 -x701 -x702 1800.05/1800.51 v -x703 -x704 -x705 -x706 -x707 x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 x719 x720 -x721 -x722 x723 1800.05/1800.51 v -x724 -x725 -x726 -x727 -x728 x729 -x730 -x731 -x732 x733 -x734 -x735 -x736 -x737 -x738 x739 -x740 -x741 -x742 -x743 -x744 1800.05/1800.51 v -x745 -x746 x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 x755 x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 1800.05/1800.51 v -x766 -x767 -x768 -x769 -x770 x771 -x772 -x773 -x774 -x775 -x776 x777 -x778 x779 -x780 -x781 -x782 -x783 -x784 x785 x786 -x787 1800.05/1800.51 v -x788 x789 -x790 -x791 -x792 -x793 -x794 x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 1800.05/1800.51 v x809 x810 x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 x821 -x822 -x823 -x824 -x825 -x826 x827 -x828 -x829 -x830 1800.05/1800.51 v x831 x832 -x833 x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 x842 -x843 -x844 -x845 -x846 -x847 x848 -x849 x850 -x851 -x852 1800.05/1800.51 v -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 x873 1800.05/1800.51 v x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 x891 -x892 -x893 -x894 1800.05/1800.51 v -x895 -x896 -x897 -x898 -x899 x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 x914 -x915 1800.05/1800.51 v -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 x935 -x936 1800.05/1800.51 v -x937 x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 x954 -x955 -x956 -x957 1800.05/1800.51 v -x958 x959 x960 -x961 -x962 -x963 -x964 -x965 -x966 x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 x976 -x977 -x978 1800.05/1800.51 v x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 x987 x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 x997 -x998 -x999 1800.05/1800.51 v -x1000 -x1001 -x1002 -x1003 -x1004 x1005 -x1006 -x1007 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 1800.05/1800.51 v -x1018 x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 1800.05/1800.51 v -x1035 x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 1800.05/1800.51 v -x1053 -x1054 -x1055 -x1056 x1057 x1058 x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 1800.05/1800.51 v x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 x1085 -x1086 -x1087 -x1088 1800.05/1800.51 v x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 x1096 -x1097 -x1098 x1099 x1100 -x1101 x1102 -x1103 -x1104 -x1105 -x1106 1800.05/1800.51 v x1107 x1108 -x1109 -x1110 x1111 x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 x1119 -x1120 x1121 -x1122 x1123 -x1124 1800.05/1800.51 v x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 1800.05/1800.51 v x1143 x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 x1158 -x1159 -x1160 1800.05/1800.51 v x1161 -x1162 -x1163 x1164 -x1165 -x1166 -x1167 -x1168 -x1169 x1170 -x1171 -x1172 x1173 -x1174 -x1175 -x1176 -x1177 -x1178 1800.05/1800.51 v x1179 -x1180 x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 x1193 -x1194 -x1195 x1196 1800.05/1800.51 v -x1197 -x1198 -x1199 x1200 -x1201 -x1202 x1203 -x1204 x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 x1214 1800.05/1800.51 v x1215 -x1216 x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 1800.05/1800.51 v -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 x1239 x1240 -x1241 -x1242 x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 1800.05/1800.51 v -x1251 -x1252 -x1253 -x1254 x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 1800.05/1800.51 v -x1268 -x1269 -x1270 -x1271 -x1272 x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 x1282 -x1283 -x1284 -x1285 1800.05/1800.51 v -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 x1298 -x1299 -x1300 -x1301 -x1302 1800.05/1800.51 v -x1303 -x1304 -x1305 -x1306 x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 x1314 x1315 x1316 -x1317 -x1318 -x1319 -x1320 1800.05/1800.51 v -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 x1336 -x1337 -x1338 1800.05/1800.51 v -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 1800.05/1800.51 v -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 1800.05/1800.51 v -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 x1379 -x1380 -x1381 -x1382 -x1383 x1384 x1385 x1386 -x1387 -x1388 -x1389 -x1390 1800.05/1800.51 v x1391 -x1392 x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 1800.05/1800.51 v x1409 -x1410 -x1411 x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 x1421 -x1422 -x1423 -x1424 -x1425 -x1426 1800.05/1800.51 v -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 1800.05/1800.51 v -x1444 -x1445 -x1446 -x1447 -x1448 x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 x1456 -x1457 -x1458 -x1459 x1460 -x1461 1800.05/1800.51 v -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 x1473 -x1474 -x1475 -x1476 -x1477 -x1478 1800.05/1800.51 v -x1479 x1480 -x1481 x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 x1491 x1492 -x1493 -x1494 x1495 x1496 1800.05/1800.51 v -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 x1507 x1508 -x1509 -x1510 x1511 -x1512 -x1513 -x1514 1800.05/1800.51 v -x1515 -x1516 -x1517 -x1518 x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 1800.05/1800.51 v -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 1800.05/1800.51 v -x1549 -x1550 x1551 x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 1800.05/1800.51 v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 1800.05/1800.51 v -x1584 x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 x1597 x1598 -x1599 -x1600 -x1601 1800.05/1800.51 v -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 1800.05/1800.51 v -x1619 x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 1800.05/1800.51 v x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 1800.05/1800.51 v -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 x1663 x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 1800.05/1800.51 v -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 x1686 -x1687 x1688 -x1689 1800.05/1800.51 v -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 x1701 -x1702 -x1703 -x1704 -x1705 -x1706 1800.05/1800.51 v -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 1800.05/1800.51 v -x1724 -x1725 x1726 -x1727 -x1728 -x1729 x1730 x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 x1740 x1741 1800.05/1800.51 v -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 x1751 x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 1800.05/1800.51 v -x1760 -x1761 x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 x1774 -x1775 -x1776 -x1777 1800.05/1800.51 v -x1778 -x1779 -x1780 x1781 -x1782 x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 x1795 1800.05/1800.51 v -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 x1804 -x1805 x1806 -x1807 x1808 -x1809 -x1810 -x1811 -x1812 -x1813 1800.05/1800.51 v -x1814 -x1815 -x1816 -x1817 x1818 -x1819 x1820 x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 1800.05/1800.51 v -x1832 x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 x1847 -x1848 -x1849 1800.05/1800.51 v -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 x1856 x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 1800.05/1800.51 v -x1868 x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 x1878 x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 1800.05/1800.51 v -x1886 -x1887 -x1888 -x1889 -x1890 x1891 x1892 -x1893 x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 1800.05/1800.51 v -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 1800.05/1800.51 v -x1921 x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x1937 -x1938 1800.05/1800.51 v -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 x1945 x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 1800.05/1800.51 v x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 1800.05/1800.51 v -x1975 -x1976 -x1977 x1978 x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 x1988 -x1989 -x1990 -x1991 -x1992 1800.05/1800.51 v -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 x2009 -x2010 1800.05/1800.51 v -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 x2020 -x2021 -x2022 x2023 -x2024 -x2025 -x2026 -x2027 -x2028 1800.05/1800.51 v -x2029 -x2030 -x2031 -x2032 x2033 x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 1800.05/1800.51 v -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 x2054 x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 1800.05/1800.51 v -x2065 -x2066 -x2067 -x2068 x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 1800.05/1800.51 v -x2082 -x2083 -x2084 -x2085 -x2086 x2087 -x2088 x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 x2099 1800.05/1800.51 v -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 1800.05/1800.51 v -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 x2133 -x2134 1800.05/1800.51 v -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 1800.05/1800.51 v -x2152 -x2153 -x2154 x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 1800.05/1800.51 v -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 x2177 x2178 x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 1800.05/1800.51 v -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 1800.05/1800.51 v -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 1800.05/1800.51 v -x2221 -x2222 -x2223 x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 1800.05/1800.51 v -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 1800.05/1800.51 v -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 1800.05/1800.51 v -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 1800.05/1800.51 v x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 1800.05/1800.51 v -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 x2314 x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 1800.05/1800.51 v -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 1800.05/1800.51 v -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 x2356 -x2357 1800.05/1800.51 v -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 1800.05/1800.51 v -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 1800.05/1800.51 v -x2392 -x2393 -x2394 -x2395 -x2396 x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 x2407 x2408 -x2409 1800.05/1800.51 v -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 1800.05/1800.51 v x2427 -x2428 x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 1800.05/1800.51 v -x2445 -x2446 -x2447 -x2448 x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 1800.05/1800.51 v -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 1800.05/1800.51 v -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 x2487 -x2488 -x2489 x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 1800.05/1800.51 v -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 1800.05/1800.51 v -x2514 -x2515 -x2516 -x2517 -x2518 x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 1800.05/1800.51 v -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 x2539 -x2540 x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 1800.05/1800.51 v x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 1800.05/1800.51 v -x2566 -x2567 -x2568 x2569 x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 1800.05/1800.51 v -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 1800.05/1800.51 v -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 x2610 x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 1800.05/1800.51 v -x2619 x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 x2631 x2632 -x2633 -x2634 -x2635 -x2636 1800.05/1800.51 v -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 x2650 -x2651 -x2652 -x2653 1800.05/1800.51 v -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 1800.05/1800.51 v -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 1800.05/1800.51 v -x2688 -x2689 x2690 x2691 x2692 1800.05/1800.51 1800.05/1800.51 c user time= 1799.61 s 1800.05/1800.51 c system time= 0.45593 s 1800.05/1800.51 c wall clock time=1800.51
OK 31
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/453755-1178154400/instance-453755-1178154400.opb mv /tmp/evaluation/453755-1178154400/instance-453755-1178154400.opb.tmp /tmp/evaluation/453755-1178154400/instance-453755-1178154400.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node18/watcher-453755-1178154400 -o ROOT/results/node18/solver-453755-1178154400 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/453755-1178154400/instance-453755-1178154400.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/77 10076 /proc/meminfo: memFree=1806784/2055920 swapFree=4147168/4192956 [pid=10076] ppid=10074 vsize=1468 CPUtime=0 /proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 263357384 1503232 165 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10076/statm: 367 165 130 317 0 46 0 [startup+0.050354 s] /proc/loadavg: 1.00 1.00 1.00 3/77 10076 /proc/meminfo: memFree=1806784/2055920 swapFree=4147168/4192956 [pid=10076] ppid=10074 vsize=3328 CPUtime=0.04 /proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 635 0 0 0 4 0 0 0 18 0 1 0 263357384 3407872 618 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10076/statm: 832 618 137 317 0 511 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 3328 [startup+0.101359 s] /proc/loadavg: 1.00 1.00 1.00 3/77 10076 /proc/meminfo: memFree=1806784/2055920 swapFree=4147168/4192956 [pid=10076] ppid=10074 vsize=3600 CPUtime=0.09 /proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 756 0 0 0 9 0 0 0 18 0 1 0 263357384 3686400 703 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712551 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10076/statm: 900 703 170 317 0 579 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3600 [startup+0.301378 s] /proc/loadavg: 1.00 1.00 1.00 3/77 10076 /proc/meminfo: memFree=1806784/2055920 swapFree=4147168/4192956 [pid=10076] ppid=10074 vsize=4516 CPUtime=0.29 /proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 974 0 0 0 29 0 0 0 19 0 1 0 263357384 4624384 921 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135284196 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10076/statm: 1129 921 170 317 0 808 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4516 [startup+0.701417 s] /proc/loadavg: 1.00 1.00 1.00 3/77 10076 /proc/meminfo: memFree=1806784/2055920 swapFree=4147168/4192956 [pid=10076] ppid=10074 vsize=5832 CPUtime=0.69 /proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 1310 0 0 0 69 0 0 0 23 0 1 0 263357384 5971968 1257 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563740 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10076/statm: 1458 1257 170 317 0 1137 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5832 [startup+1.50249 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10077 /proc/meminfo: memFree=1801528/2055920 swapFree=4147168/4192956 [pid=10076] ppid=10074 vsize=7796 CPUtime=1.49 /proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 1792 0 0 0 148 1 0 0 25 0 1 0 263357384 7983104 1739 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10076/statm: 1949 1739 170 317 0 1628 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7796 [startup+3.10165 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10077 /proc/meminfo: memFree=1798968/2055920 swapFree=4147168/4192956 [pid=10076] ppid=10074 vsize=10444 CPUtime=3.1 /proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 2469 0 0 0 308 2 0 0 25 0 1 0 263357384 10694656 2416 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10076/statm: 2611 2416 170 317 0 2290 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 10444 [startup+6.30196 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10077 /proc/meminfo: memFree=1795512/2055920 swapFree=4147168/4192956 [pid=10076] ppid=10074 vsize=13488 CPUtime=6.29 /proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 3211 0 0 0 627 2 0 0 25 0 1 0 263357384 13811712 3158 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10076/statm: 3372 3158 170 317 0 3051 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13488 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10077 /proc/meminfo: memFree=1790840/2055920 swapFree=4147168/4192956 [pid=10076] ppid=10074 vsize=17752 CPUtime=12.69 /proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 4258 0 0 0 1266 3 0 0 25 0 1 0 263357384 18178048 4205 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10076/statm: 4438 4205 170 317 0 4117 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17752 [startup+25.5018 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10077 /proc/meminfo: memFree=1785272/2055920 swapFree=4147168/4192956 [pid=10076] ppid=10074 vsize=23036 CPUtime=25.48 /proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 5586 0 0 0 2544 4 0 0 25 0 1 0 263357384 23588864 5533 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10076/statm: 5759 5533 170 317 0 5438 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 23036 [startup+51.1013 s] /proc/loadavg: 1.06 1.02 1.00 2/78 10077 /proc/meminfo: memFree=1777272/2055920 swapFree=4147168/4192956 [pid=10076] ppid=10074 vsize=31864 CPUtime=51.07 /proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 7657 0 0 0 5101 6 0 0 25 0 1 0 263357384 32628736 7533 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10076/statm: 7966 7533 170 317 0 7645 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 31864 [startup+102.305 s] /proc/loadavg: 1.02 1.01 1.00 2/78 10077 /proc/meminfo: memFree=1768056/2055920 swapFree=4147168/4192956 [pid=10076] ppid=10074 vsize=40792 CPUtime=102.27 /proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 9925 0 0 0 10219 8 0 0 25 0 1 0 263357384 41771008 9801 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10076/statm: 10198 9801 170 317 0 9877 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 40792 [startup+162.302 s] /proc/loadavg: 1.01 1.00 1.00 2/78 10077 /proc/meminfo: memFree=1758264/2055920 swapFree=4147168/4192956 [pid=10076] ppid=10074 vsize=51200 CPUtime=162.25 /proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 12377 0 0 0 16215 10 0 0 25 0 1 0 263357384 52428800 12253 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10076/statm: 12800 12253 170 317 0 12479 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 51200 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10077 /proc/meminfo: memFree=1750520/2055920 swapFree=4147168/4192956 [pid=10076] ppid=10074 vsize=59296 CPUtime=222.24 /proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 14320 0 0 0 22212 12 0 0 25 0 1 0 263357384 60719104 14196 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10076/statm: 14824 14196 170 317 0 14503 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 59296 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10077 /proc/meminfo: memFree=1743160/2055920 swapFree=4147168/4192956 [pid=10076] ppid=10074 vsize=67012 CPUtime=282.22 /proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 16150 0 0 0 28209 13 0 0 25 0 1 0 263357384 68620288 16026 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10076/statm: 16753 16026 170 317 0 16432 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 67012 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10077 /proc/meminfo: memFree=1736312/2055920 swapFree=4147168/4192956 [pid=10076] ppid=10074 vsize=73792 CPUtime=342.2 /proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 17837 0 0 0 34205 15 0 0 25 0 1 0 263357384 75563008 17713 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10076/statm: 18448 17713 170 317 0 18127 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 73792 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10077 /proc/meminfo: memFree=1729720/2055920 swapFree=4147168/4192956 [pid=10076] ppid=10074 vsize=80744 CPUtime=402.19 /proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 19504 0 0 0 40202 17 0 0 25 0 1 0 263357384 82681856 19380 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10076/statm: 20186 19380 170 317 0 19865 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 80744 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10077 /proc/meminfo: memFree=1723768/2055920 swapFree=4147168/4192956 [pid=10076] ppid=10074 vsize=87156 CPUtime=462.18 /proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 21121 0 0 0 46199 19 0 0 25 0 1 0 263357384 89247744 20856 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134604218 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10076/statm: 21789 20856 170 317 0 21468 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 87156 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10077 /proc/meminfo: memFree=1717560/2055920 swapFree=4147168/4192956 [pid=10076] ppid=10074 vsize=95392 CPUtime=522.17 /proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 22969 0 0 0 52196 21 0 0 25 0 1 0 263357384 97681408 22440 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10076/statm: 23848 22440 170 317 0 23527 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 95392 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10077 /proc/meminfo: memFree=1711800/2055920 swapFree=4147168/4192956 [pid=10076] ppid=10074 vsize=101288 CPUtime=582.15 /proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 24398 0 0 0 58193 22 0 0 25 0 1 0 263357384 103718912 23869 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10076/statm: 25322 23869 170 317 0 25001 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 101288 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10077 /proc/meminfo: memFree=1706680/2055920 swapFree=4147168/4192956 [pid=10076] ppid=10074 vsize=105728 CPUtime=642.13 /proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 25652 0 0 0 64190 23 0 0 25 0 1 0 263357384 108265472 25123 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10076/statm: 26432 25123 170 317 0 26111 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 105728 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10077 /proc/meminfo: memFree=1688568/2055920 swapFree=4147168/4192956 [pid=10076] ppid=10074 vsize=123344 CPUtime=882.07 /proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 30147 0 0 0 88179 28 0 0 25 0 1 0 263357384 126304256 29618 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10076/statm: 30836 29618 170 317 0 30515 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 123344 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10077 /proc/meminfo: memFree=1685112/2055920 swapFree=4147168/4192956 [pid=10076] ppid=10074 vsize=126908 CPUtime=942.06 /proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 31049 0 0 0 94176 30 0 0 25 0 1 0 263357384 129953792 30487 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10076/statm: 31727 30487 170 317 0 31406 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 126908 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10077 /proc/meminfo: memFree=1680632/2055920 swapFree=4147168/4192956 [pid=10076] ppid=10074 vsize=131768 CPUtime=1002.04 /proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 32194 0 0 0 100173 31 0 0 25 0 1 0 263357384 134930432 31632 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10076/statm: 32942 31632 170 317 0 32621 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 131768 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10077 /proc/meminfo: memFree=1676856/2055920 swapFree=4147168/4192956 [pid=10076] ppid=10074 vsize=136332 CPUtime=1062.03 /proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 33330 0 0 0 106171 32 0 0 25 0 1 0 263357384 139603968 32570 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10076/statm: 34083 32570 170 317 0 33762 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 136332 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10077 /proc/meminfo: memFree=1673400/2055920 swapFree=4147168/4192956 [pid=10076] ppid=10074 vsize=140020 CPUtime=1122.01 /proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 34228 0 0 0 112168 33 0 0 25 0 1 0 263357384 143380480 33435 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10076/statm: 35005 33435 170 317 0 34684 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 140020 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10077 /proc/meminfo: memFree=1669432/2055920 swapFree=4147168/4192956 [pid=10076] ppid=10074 vsize=144616 CPUtime=1182 /proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 35236 0 0 0 118166 34 0 0 25 0 1 0 263357384 148086784 34410 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10076/statm: 36154 34410 170 317 0 35833 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 144616 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10077 /proc/meminfo: memFree=1665976/2055920 swapFree=4147168/4192956 [pid=10076] ppid=10074 vsize=147764 CPUtime=1241.98 /proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 36102 0 0 0 124163 35 0 0 25 0 1 0 263357384 151310336 35276 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10076/statm: 36941 35276 170 317 0 36620 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 147764 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10077 /proc/meminfo: memFree=1662392/2055920 swapFree=4147168/4192956 [pid=10076] ppid=10074 vsize=151212 CPUtime=1301.97 /proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 36985 0 0 0 130161 36 0 0 25 0 1 0 263357384 154841088 36159 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10076/statm: 37803 36159 170 317 0 37482 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 151212 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10077 /proc/meminfo: memFree=1658744/2055920 swapFree=4147168/4192956 [pid=10076] ppid=10074 vsize=154744 CPUtime=1361.95 /proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 37887 0 0 0 136158 37 0 0 25 0 1 0 263357384 158457856 37061 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10076/statm: 38686 37061 170 317 0 38365 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 154744 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10077 /proc/meminfo: memFree=1655736/2055920 swapFree=4147168/4192956 [pid=10076] ppid=10074 vsize=158052 CPUtime=1421.94 /proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 38658 0 0 0 142155 39 0 0 25 0 1 0 263357384 161845248 37832 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10076/statm: 39513 37832 170 317 0 39192 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 158052 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10077 /proc/meminfo: memFree=1652216/2055920 swapFree=4147168/4192956 [pid=10076] ppid=10074 vsize=162808 CPUtime=1481.92 /proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 39655 0 0 0 148153 39 0 0 25 0 1 0 263357384 166715392 38763 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10076/statm: 40702 38763 170 317 0 40381 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 162808 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10077 /proc/meminfo: memFree=1648248/2055920 swapFree=4147168/4192956 [pid=10076] ppid=10074 vsize=166888 CPUtime=1541.91 /proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 40636 0 0 0 154150 41 0 0 25 0 1 0 263357384 170893312 39711 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10076/statm: 41722 39711 170 317 0 41401 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 166888 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10077 /proc/meminfo: memFree=1645176/2055920 swapFree=4147168/4192956 [pid=10076] ppid=10074 vsize=170292 CPUtime=1601.9 /proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 41402 0 0 0 160148 42 0 0 25 0 1 0 263357384 174379008 40477 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10076/statm: 42573 40477 170 317 0 42252 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 170292 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10077 /proc/meminfo: memFree=1641848/2055920 swapFree=4147168/4192956 [pid=10076] ppid=10074 vsize=173356 CPUtime=1661.88 /proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 42210 0 0 0 166145 43 0 0 25 0 1 0 263357384 177516544 41285 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10076/statm: 43339 41285 170 317 0 43018 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 173356 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10077 /proc/meminfo: memFree=1638584/2055920 swapFree=4147168/4192956 [pid=10076] ppid=10074 vsize=176656 CPUtime=1721.86 /proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 43087 0 0 0 172143 43 0 0 25 0 1 0 263357384 180895744 42129 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134711185 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10076/statm: 44164 42129 170 317 0 43843 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 176656 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10077 /proc/meminfo: memFree=1635704/2055920 swapFree=4147168/4192956 [pid=10076] ppid=10074 vsize=179492 CPUtime=1781.85 /proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 43783 0 0 0 178140 45 0 0 25 0 1 0 263357384 183799808 42825 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10076/statm: 44873 42825 170 317 0 44552 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 179492 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10077 /proc/meminfo: memFree=1634872/2055920 swapFree=4147168/4192956 [pid=10076] ppid=10074 vsize=180156 CPUtime=1800.05 /proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 43981 0 0 0 179960 45 0 0 25 0 1 0 263357384 184479744 43023 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10076/statm: 45039 43023 170 317 0 44718 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 180156 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10077 /proc/meminfo: memFree=1634872/2055920 swapFree=4147168/4192956 [pid=10076] ppid=10074 vsize=180156 CPUtime=1800.05 /proc/10076/stat : 10076 (oree) R 10074 10076 9739 0 -1 4194304 43981 0 0 0 179960 45 0 0 25 0 1 0 263357384 184479744 43023 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10076/statm: 45039 43023 170 317 0 44718 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 180156 Child status: 0 Real time (s): 1800.58 CPU time (s): 1800.1 CPU user time (s): 1799.61 CPU system time (s): 0.485926 CPU usage (%): 99.9734 Max. virtual memory (cumulated for all children) (KiB): 180156 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.61 system time used= 0.485926 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 43997 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= 8 involuntary context switches= 36657 runsolver used 1.3198 second user time and 4.15137 second system time The end
Begin job on node18 on Thu May 3 01:06:40 UTC 2007 IDJOB= 453755 IDBENCH= 48151 IDSOLVER= 172 FILE ID= node18/453755-1178154400 PBS_JOBID= 4751089 Free space on /tmp= 66563 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_10_2.opb COMMAND LINE= oree /tmp/evaluation/453755-1178154400/instance-453755-1178154400.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node18/convwatcher-453755-1178154400 -o ROOT/results/node18/conversion-453755-1178154400 -C 600 -M 1800 /tmp/evaluation/453755-1178154400/substituteSizeProductKeyword /tmp/evaluation/453755-1178154400/instance-453755-1178154400.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-453755-1178154400 -o ROOT/results/node18/solver-453755-1178154400 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/453755-1178154400/instance-453755-1178154400.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 54e50bd6cbfbb2a5705269c41241de9a RANDOM SEED= 331580782 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node18.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1807192 kB Buffers: 95484 kB Cached: 54944 kB SwapCached: 15084 kB Active: 105656 kB Inactive: 76528 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1807192 kB SwapTotal: 4192956 kB SwapFree: 4147168 kB Dirty: 1368 kB Writeback: 0 kB Mapped: 35992 kB Slab: 52020 kB Committed_AS: 8471368 kB PageTables: 1788 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66563 MiB End job on node18 on Thu May 3 01:36:43 UTC 2007