Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 15 | 1800.16 | 1800.64 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_10_1.opb |
MD5SUM | 55d0299800773493d27ef2c1b95d10c5 |
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 | 11 |
Best CPU time to get the best result obtained on this benchmark | 1800.04 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 11 |
Optimality of the best value was proved | NO |
Number of variables | 100 |
Total number of constraints | 100 |
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 | 100 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 19 |
Number of terms in the objective function | 100 |
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 | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 1248 |
Sum of products size (including duplicates) | 2496 |
Number of different products | 1248 |
Sum of products size | 2496 |
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.01 c ...done 0.00/0.01 c #vars=1348 #constraints=2597 hasObjective=yes 0.00/0.03 c res. mode=mod 0.00/0.03 c VSIDS like heuristics 0.00/0.03 c complete search running 0.00/0.03 c nbDecision=83 #constraints=2597 0.00/0.03 c linear search for optimum 0.00/0.03 o 17 0.00/0.04 c nbDecision=100 #constraints=2612 0.00/0.04 o 16 0.09/0.20 c restart after 401 decisions 0.19/0.22 c nbDecision=500 #constraints=2839 0.29/0.38 c restart after 801 decisions 0.39/0.47 c nbDecision=1000 #constraints=3099 0.88/0.92 c nbDecision=1500 #constraints=3425 0.99/1.04 c restart after 1601 decisions 1.39/1.44 c nbDecision=2000 #constraints=3662 2.19/2.28 c nbDecision=2500 #constraints=3994 3.28/3.38 c nbDecision=3000 #constraints=4348 3.89/3.93 c restart after 3201 decisions 4.68/4.72 c nbDecision=3500 #constraints=4656 6.38/6.44 c nbDecision=4000 #constraints=4986 8.48/8.59 c nbDecision=4500 #constraints=5340 11.08/11.19 c nbDecision=5000 #constraints=5685 14.78/14.80 c nbDecision=5500 #constraints=6119 18.18/18.27 c nbDecision=6000 #constraints=6526 21.18/21.21 c restart after 6401 decisions 21.78/21.81 c nbDecision=6500 #constraints=6866 25.48/25.52 c nbDecision=7000 #constraints=7149 30.17/30.22 c nbDecision=7500 #constraints=7533 35.47/35.55 c nbDecision=8000 #constraints=7865 42.47/42.55 c nbDecision=8500 #constraints=8281 48.87/48.98 c nbDecision=9000 #constraints=8657 55.37/55.48 c nbDecision=9500 #constraints=9004 63.07/63.15 c nbDecision=10000 #constraints=9352 70.37/70.43 c nbDecision=10500 #constraints=9696 76.76/76.88 c nbDecision=11000 #constraints=10011 82.96/83.08 c nbDecision=11500 #constraints=10241 91.36/91.43 c nbDecision=12000 #constraints=10592 100.06/100.19 c nbDecision=12500 #constraints=10901 106.26/106.35 c restart after 12801 decisions 109.66/109.77 c nbDecision=13000 #constraints=11220 119.35/119.44 c nbDecision=13500 #constraints=11562 130.45/130.55 c nbDecision=14000 #constraints=11885 137.05/137.19 c nbDecision=14241 #constraints=12075 137.05/137.19 o 15 144.15/144.26 c nbDecision=14500 #constraints=12264 155.54/155.60 c nbDecision=15000 #constraints=12590 168.74/168.87 c nbDecision=15500 #constraints=12956 181.64/181.72 c nbDecision=16000 #constraints=13293 195.63/195.79 c nbDecision=16500 #constraints=13648 210.03/210.14 c nbDecision=17000 #constraints=14042 226.52/226.65 c nbDecision=17500 #constraints=14447 243.32/243.47 c nbDecision=18000 #constraints=14838 260.82/260.91 c nbDecision=18500 #constraints=15235 275.61/275.77 c nbDecision=19000 #constraints=15564 290.00/290.17 c nbDecision=19500 #constraints=15868 305.61/305.72 c nbDecision=20000 #constraints=16189 323.20/323.32 c nbDecision=20500 #constraints=16564 339.90/340.08 c nbDecision=21000 #constraints=16902 356.29/356.41 c nbDecision=21500 #constraints=17241 373.39/373.55 c nbDecision=22000 #constraints=17597 389.78/390.00 c nbDecision=22500 #constraints=17908 408.37/408.59 c nbDecision=23000 #constraints=18238 428.27/428.47 c nbDecision=23500 #constraints=18606 449.57/449.77 c nbDecision=24000 #constraints=19015 474.85/475.09 c nbDecision=24500 #constraints=19458 493.85/494.00 c nbDecision=25000 #constraints=19766 514.65/514.86 c nbDecision=25500 #constraints=20081 519.65/519.81 c restart after 25601 decisions 535.45/535.70 c nbDecision=26000 #constraints=20443 555.84/556.01 c nbDecision=26500 #constraints=20807 576.03/576.29 c nbDecision=27000 #constraints=21169 600.03/600.26 c nbDecision=27500 #constraints=21553 622.82/623.09 c nbDecision=28000 #constraints=21962 645.72/645.95 c nbDecision=28500 #constraints=22337 672.50/672.78 c nbDecision=29000 #constraints=22761 697.21/697.45 c nbDecision=29500 #constraints=23195 719.60/719.90 c nbDecision=30000 #constraints=23524 744.99/745.25 c nbDecision=30500 #constraints=23922 772.88/773.18 c nbDecision=31000 #constraints=24356 797.28/797.55 c nbDecision=31500 #constraints=24733 824.46/824.71 c nbDecision=32000 #constraints=25135 852.26/852.53 c nbDecision=32500 #constraints=25537 875.96/876.28 c nbDecision=33000 #constraints=25867 904.05/904.35 c nbDecision=33500 #constraints=26242 935.34/935.62 c nbDecision=34000 #constraints=26625 964.23/964.58 c nbDecision=34500 #constraints=26998 998.02/998.36 c nbDecision=35000 #constraints=27411 1030.01/1030.31 c nbDecision=35500 #constraints=27790 1058.51/1058.85 c nbDecision=36000 #constraints=28114 1088.10/1088.43 c nbDecision=36500 #constraints=28441 1121.79/1122.17 c nbDecision=37000 #constraints=28796 1155.39/1155.74 c nbDecision=37500 #constraints=29185 1188.07/1188.42 c nbDecision=38000 #constraints=29539 1222.16/1222.57 c nbDecision=38500 #constraints=29913 1255.36/1255.76 c nbDecision=39000 #constraints=30260 1290.84/1291.26 c nbDecision=39500 #constraints=30640 1323.54/1323.90 c nbDecision=40000 #constraints=30990 1358.04/1358.45 c nbDecision=40500 #constraints=31375 1397.02/1397.42 c nbDecision=41000 #constraints=31767 1432.91/1433.36 c nbDecision=41500 #constraints=32116 1464.00/1464.49 c nbDecision=42000 #constraints=32414 1499.20/1499.60 c nbDecision=42500 #constraints=32734 1536.88/1537.35 c nbDecision=43000 #constraints=33096 1573.47/1573.92 c nbDecision=43500 #constraints=33442 1608.86/1609.38 c nbDecision=44000 #constraints=33766 1650.35/1650.88 c nbDecision=44500 #constraints=34151 1684.55/1685.00 c nbDecision=45000 #constraints=34503 1720.54/1721.10 c nbDecision=45500 #constraints=34823 1756.83/1757.31 c nbDecision=46000 #constraints=35196 1794.51/1795.09 c nbDecision=46500 #constraints=35538 1800.01/1800.50 Received signal 15 1800.01/1800.60 1800.01/1800.60 s SATISFIABLE 1800.01/1800.60 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.01/1800.60 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.01/1800.60 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 -x81 -x82 1800.01/1800.60 v -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 1800.01/1800.60 v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 1800.01/1800.60 v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 -x149 -x150 1800.01/1800.60 v -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 1800.01/1800.60 v -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 1800.01/1800.60 v x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 -x211 -x212 -x213 1800.01/1800.60 v -x214 -x215 -x216 x217 -x218 -x219 -x220 x221 x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 1800.01/1800.60 v -x235 -x236 -x237 -x238 x239 x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 -x255 1800.01/1800.60 v -x256 -x257 -x258 x259 -x260 -x261 -x262 x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 1800.01/1800.60 v -x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 x292 -x293 -x294 -x295 x296 x297 -x298 1800.01/1800.60 v -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 1800.01/1800.60 v x320 -x321 -x322 x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 x335 -x336 -x337 x338 -x339 -x340 1800.01/1800.60 v -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 x360 x361 1800.01/1800.60 v -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 1800.01/1800.60 v -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x399 -x400 x401 -x402 -x403 1800.01/1800.60 v -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 x419 x420 -x421 -x422 -x423 -x424 1800.01/1800.60 v -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 1800.01/1800.60 v x446 -x447 -x448 -x449 -x450 -x451 x452 x453 -x454 -x455 -x456 -x457 -x458 x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 1800.01/1800.60 v -x467 -x468 -x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 1800.01/1800.60 v x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 1800.01/1800.60 v -x509 -x510 -x511 -x512 -x513 x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 1800.01/1800.60 v -x530 -x531 -x532 x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 x544 -x545 -x546 -x547 -x548 -x549 -x550 1800.01/1800.60 v -x551 -x552 -x553 -x554 -x555 x556 x557 -x558 -x559 x560 -x561 -x562 -x563 -x564 x565 -x566 -x567 -x568 -x569 -x570 -x571 1800.01/1800.60 v -x572 -x573 -x574 -x575 -x576 x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 1800.01/1800.60 v -x593 -x594 -x595 x596 -x597 -x598 -x599 x600 -x601 -x602 -x603 -x604 -x605 -x606 x607 -x608 -x609 -x610 -x611 -x612 -x613 1800.01/1800.60 v -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 x627 -x628 -x629 -x630 -x631 -x632 -x633 x634 1800.01/1800.60 v -x635 -x636 -x637 x638 x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 x649 -x650 -x651 -x652 -x653 x654 -x655 1800.01/1800.60 v -x656 -x657 -x658 -x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 1800.01/1800.60 v x677 -x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 x688 -x689 x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 1800.01/1800.60 v -x698 -x699 -x700 -x701 x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 x717 -x718 1800.01/1800.60 v -x719 -x720 -x721 -x722 -x723 -x724 x725 x726 -x727 -x728 -x729 -x730 -x731 -x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 1800.01/1800.60 v -x740 x741 x742 x743 x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 x758 -x759 -x760 -x761 1800.01/1800.60 v -x762 -x763 -x764 x765 -x766 -x767 x768 -x769 -x770 -x771 x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 x780 -x781 -x782 1800.01/1800.60 v -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 x794 x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 1800.01/1800.60 v x804 -x805 -x806 x807 -x808 -x809 -x810 -x811 -x812 -x813 x814 -x815 -x816 x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 1800.01/1800.60 v -x825 -x826 -x827 -x828 x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 x839 -x840 -x841 -x842 -x843 -x844 -x845 1800.01/1800.60 v -x846 -x847 x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 x864 -x865 -x866 1800.01/1800.60 v -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 x886 -x887 1800.01/1800.60 v -x888 -x889 x890 x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 -x902 x903 -x904 -x905 -x906 -x907 -x908 1800.01/1800.60 v -x909 -x910 -x911 -x912 x913 -x914 -x915 x916 x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 1800.01/1800.60 v -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 x938 -x939 -x940 -x941 x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 x950 1800.01/1800.60 v -x951 x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 1800.01/1800.60 v -x972 -x973 -x974 -x975 x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 1800.01/1800.60 v -x993 -x994 x995 x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 x1006 -x1007 -x1008 -x1009 -x1010 -x1011 1800.01/1800.60 v -x1012 -x1013 -x1014 -x1015 -x1016 x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 1800.01/1800.60 v -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 1800.01/1800.60 v -x1046 -x1047 -x1048 -x1049 -x1050 x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 1800.01/1800.60 v -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 1800.01/1800.60 v -x1081 -x1082 -x1083 -x1084 x1085 -x1086 x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 1800.01/1800.60 v -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 1800.01/1800.60 v -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 x1128 -x1129 x1130 -x1131 -x1132 -x1133 1800.01/1800.60 v -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 1800.01/1800.60 v x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 1800.01/1800.60 v -x1169 -x1170 x1171 x1172 -x1173 x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 x1183 x1184 x1185 -x1186 1800.01/1800.60 v -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 1800.01/1800.60 v -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 1800.01/1800.60 v -x1221 -x1222 -x1223 -x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 1800.01/1800.60 v -x1239 -x1240 -x1241 x1242 -x1243 x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 x1253 x1254 x1255 -x1256 1800.01/1800.60 v x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 x1267 x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 1800.01/1800.60 v x1275 x1276 x1277 x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 1800.01/1800.60 v -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 1800.01/1800.60 v -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 1800.01/1800.60 v -x1327 x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 1800.01/1800.60 v -x1344 -x1345 -x1346 -x1347 x1348 1800.01/1800.60 1800.01/1800.60 c user time= 1799.69 s 1800.01/1800.60 c system time= 0.439933 s 1800.01/1800.60 c wall clock time=1800.6
OK 15
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/453770-1178155364/instance-453770-1178155364.opb mv /tmp/evaluation/453770-1178155364/instance-453770-1178155364.opb.tmp /tmp/evaluation/453770-1178155364/instance-453770-1178155364.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node19/watcher-453770-1178155364 -o ROOT/results/node19/solver-453770-1178155364 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/453770-1178155364/instance-453770-1178155364.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.02 1.02 1.00 3/77 15678 /proc/meminfo: memFree=1793792/2055920 swapFree=4153644/4192956 [pid=15678] ppid=15676 vsize=1468 CPUtime=0 /proc/15678/stat : 15678 (oree) R 15676 15678 13392 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 263453839 1503232 165 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135271379 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 367 165 130 317 0 46 0 [startup+0.0875649 s] /proc/loadavg: 1.02 1.02 1.00 3/77 15678 /proc/meminfo: memFree=1793792/2055920 swapFree=4153644/4192956 [pid=15678] ppid=15676 vsize=2812 CPUtime=0.08 /proc/15678/stat : 15678 (oree) R 15676 15678 13392 0 -1 4194304 519 0 0 0 8 0 0 0 18 0 1 0 263453839 2879488 502 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134596056 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 703 502 170 317 0 382 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2812 [startup+0.101565 s] /proc/loadavg: 1.02 1.02 1.00 3/77 15678 /proc/meminfo: memFree=1793792/2055920 swapFree=4153644/4192956 [pid=15678] ppid=15676 vsize=2812 CPUtime=0.09 /proc/15678/stat : 15678 (oree) R 15676 15678 13392 0 -1 4194304 537 0 0 0 9 0 0 0 18 0 1 0 263453839 2879488 520 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 703 520 170 317 0 382 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2812 [startup+0.301586 s] /proc/loadavg: 1.02 1.02 1.00 3/77 15678 /proc/meminfo: memFree=1793792/2055920 swapFree=4153644/4192956 [pid=15678] ppid=15676 vsize=3732 CPUtime=0.29 /proc/15678/stat : 15678 (oree) R 15676 15678 13392 0 -1 4194304 773 0 0 0 29 0 0 0 19 0 1 0 263453839 3821568 756 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 933 756 170 317 0 612 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3732 [startup+0.70163 s] /proc/loadavg: 1.02 1.02 1.00 3/77 15678 /proc/meminfo: memFree=1793792/2055920 swapFree=4153644/4192956 [pid=15678] ppid=15676 vsize=5176 CPUtime=0.69 /proc/15678/stat : 15678 (oree) R 15676 15678 13392 0 -1 4194304 1137 0 0 0 69 0 0 0 23 0 1 0 263453839 5300224 1120 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716129 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 1294 1120 170 317 0 973 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5176 [startup+1.50273 s] /proc/loadavg: 1.02 1.02 1.00 2/78 15679 /proc/meminfo: memFree=1789048/2055920 swapFree=4153644/4192956 [pid=15678] ppid=15676 vsize=7012 CPUtime=1.49 /proc/15678/stat : 15678 (oree) R 15676 15678 13392 0 -1 4194304 1593 0 0 0 148 1 0 0 25 0 1 0 263453839 7180288 1576 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135271339 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 1753 1576 170 317 0 1432 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7012 [startup+3.10189 s] /proc/loadavg: 1.02 1.02 1.00 2/78 15679 /proc/meminfo: memFree=1786744/2055920 swapFree=4153644/4192956 [pid=15678] ppid=15676 vsize=9520 CPUtime=3.08 /proc/15678/stat : 15678 (oree) R 15676 15678 13392 0 -1 4194304 2233 0 0 0 307 1 0 0 25 0 1 0 263453839 9748480 2216 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134604488 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 2380 2216 170 317 0 2059 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 9520 [startup+6.30124 s] /proc/loadavg: 1.01 1.02 1.00 2/78 15679 /proc/meminfo: memFree=1782904/2055920 swapFree=4153644/4192956 [pid=15678] ppid=15676 vsize=12972 CPUtime=6.28 /proc/15678/stat : 15678 (oree) R 15676 15678 13392 0 -1 4194304 3045 0 0 0 626 2 0 0 25 0 1 0 263453839 13283328 3028 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 3243 3028 170 317 0 2922 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 12972 [startup+12.7019 s] /proc/loadavg: 1.01 1.02 1.00 2/78 15679 /proc/meminfo: memFree=1778104/2055920 swapFree=4153644/4192956 [pid=15678] ppid=15676 vsize=17548 CPUtime=12.68 /proc/15678/stat : 15678 (oree) R 15676 15678 13392 0 -1 4194304 4216 0 0 0 1265 3 0 0 25 0 1 0 263453839 17969152 4163 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 4387 4163 170 317 0 4066 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 17548 [startup+25.5013 s] /proc/loadavg: 1.01 1.02 1.00 2/78 15679 /proc/meminfo: memFree=1771448/2055920 swapFree=4153644/4192956 [pid=15678] ppid=15676 vsize=24012 CPUtime=25.48 /proc/15678/stat : 15678 (oree) R 15676 15678 13392 0 -1 4194304 5753 0 0 0 2544 4 0 0 25 0 1 0 263453839 24588288 5700 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 6003 5700 170 317 0 5682 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 24012 [startup+51.1011 s] /proc/loadavg: 1.00 1.01 1.00 2/78 15679 /proc/meminfo: memFree=1763640/2055920 swapFree=4153644/4192956 [pid=15678] ppid=15676 vsize=31876 CPUtime=51.07 /proc/15678/stat : 15678 (oree) R 15676 15678 13392 0 -1 4194304 7746 0 0 0 5101 6 0 0 25 0 1 0 263453839 32641024 7693 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 7969 7693 170 317 0 7648 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 31876 [startup+102.306 s] /proc/loadavg: 1.00 1.01 1.00 2/78 15679 /proc/meminfo: memFree=1752504/2055920 swapFree=4153644/4192956 [pid=15678] ppid=15676 vsize=43888 CPUtime=102.26 /proc/15678/stat : 15678 (oree) R 15676 15678 13392 0 -1 4194304 10532 0 0 0 10218 8 0 0 25 0 1 0 263453839 44941312 10408 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 10972 10408 170 317 0 10651 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 43888 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15679 /proc/meminfo: memFree=1742904/2055920 swapFree=4153644/4192956 [pid=15678] ppid=15676 vsize=53460 CPUtime=162.24 /proc/15678/stat : 15678 (oree) R 15676 15678 13392 0 -1 4194304 12939 0 0 0 16214 10 0 0 25 0 1 0 263453839 54743040 12815 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134596056 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 13365 12815 170 317 0 13044 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 53460 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15679 /proc/meminfo: memFree=1735352/2055920 swapFree=4153644/4192956 [pid=15678] ppid=15676 vsize=60788 CPUtime=222.23 /proc/15678/stat : 15678 (oree) R 15676 15678 13392 0 -1 4194304 14817 0 0 0 22211 12 0 0 25 0 1 0 263453839 62246912 14693 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 15197 14693 170 317 0 14876 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 60788 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15679 /proc/meminfo: memFree=1728760/2055920 swapFree=4153644/4192956 [pid=15678] ppid=15676 vsize=67232 CPUtime=282.21 /proc/15678/stat : 15678 (oree) R 15676 15678 13392 0 -1 4194304 16455 0 0 0 28208 13 0 0 25 0 1 0 263453839 68845568 16331 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 16808 16331 170 317 0 16487 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 67232 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15679 /proc/meminfo: memFree=1722616/2055920 swapFree=4153644/4192956 [pid=15678] ppid=15676 vsize=74484 CPUtime=342.2 /proc/15678/stat : 15678 (oree) R 15676 15678 13392 0 -1 4194304 17989 0 0 0 34205 15 0 0 25 0 1 0 263453839 76271616 17865 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 18621 17865 170 317 0 18300 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 74484 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15679 /proc/meminfo: memFree=1717496/2055920 swapFree=4153644/4192956 [pid=15678] ppid=15676 vsize=79832 CPUtime=402.18 /proc/15678/stat : 15678 (oree) R 15676 15678 13392 0 -1 4194304 19285 0 0 0 40202 16 0 0 25 0 1 0 263453839 81747968 19161 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718306 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 19958 19161 170 317 0 19637 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 79832 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15679 /proc/meminfo: memFree=1711992/2055920 swapFree=4153644/4192956 [pid=15678] ppid=15676 vsize=86356 CPUtime=462.16 /proc/15678/stat : 15678 (oree) R 15676 15678 13392 0 -1 4194304 20789 0 0 0 46198 18 0 0 25 0 1 0 263453839 88428544 20533 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 21589 20533 170 317 0 21268 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 86356 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15679 /proc/meminfo: memFree=1707128/2055920 swapFree=4153644/4192956 [pid=15678] ppid=15676 vsize=91584 CPUtime=522.14 /proc/15678/stat : 15678 (oree) R 15676 15678 13392 0 -1 4194304 21987 0 0 0 52195 19 0 0 25 0 1 0 263453839 93782016 21731 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 22896 21731 170 317 0 22575 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 91584 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15679 /proc/meminfo: memFree=1702456/2055920 swapFree=4153644/4192956 [pid=15678] ppid=15676 vsize=96496 CPUtime=582.13 /proc/15678/stat : 15678 (oree) R 15676 15678 13392 0 -1 4194304 23280 0 0 0 58193 20 0 0 25 0 1 0 263453839 98811904 22883 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 24124 22883 170 317 0 23803 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 96496 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15679 /proc/meminfo: memFree=1697272/2055920 swapFree=4153644/4192956 [pid=15678] ppid=15676 vsize=101952 CPUtime=642.12 /proc/15678/stat : 15678 (oree) R 15676 15678 13392 0 -1 4194304 24570 0 0 0 64190 22 0 0 25 0 1 0 263453839 104398848 24173 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 25488 24173 170 317 0 25167 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 101952 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.01 1.01 1.00 2/78 15679 /proc/meminfo: memFree=1679608/2055920 swapFree=4153644/4192956 [pid=15678] ppid=15676 vsize=120092 CPUtime=882.06 /proc/15678/stat : 15678 (oree) R 15676 15678 13392 0 -1 4194304 29011 0 0 0 88179 27 0 0 25 0 1 0 263453839 122974208 28581 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 30023 28581 170 317 0 29702 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 120092 [startup+942.303 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15679 /proc/meminfo: memFree=1675704/2055920 swapFree=4153644/4192956 [pid=15678] ppid=15676 vsize=123756 CPUtime=942.04 /proc/15678/stat : 15678 (oree) R 15676 15678 13392 0 -1 4194304 29983 0 0 0 94176 28 0 0 25 0 1 0 263453839 126726144 29553 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 30939 29553 170 317 0 30618 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 123756 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15679 /proc/meminfo: memFree=1671480/2055920 swapFree=4153644/4192956 [pid=15678] ppid=15676 vsize=127848 CPUtime=1002.02 /proc/15678/stat : 15678 (oree) R 15676 15678 13392 0 -1 4194304 31045 0 0 0 100173 29 0 0 25 0 1 0 263453839 130916352 30615 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 31962 30615 170 317 0 31641 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 127848 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15679 /proc/meminfo: memFree=1668536/2055920 swapFree=4153644/4192956 [pid=15678] ppid=15676 vsize=130464 CPUtime=1062.01 /proc/15678/stat : 15678 (oree) R 15676 15678 13392 0 -1 4194304 31781 0 0 0 106170 31 0 0 25 0 1 0 263453839 133595136 31351 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 32616 31351 170 317 0 32295 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 130464 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15681 /proc/meminfo: memFree=1665336/2055920 swapFree=4153644/4192956 [pid=15678] ppid=15676 vsize=133348 CPUtime=1121.99 /proc/15678/stat : 15678 (oree) R 15676 15678 13392 0 -1 4194304 32577 0 0 0 112167 32 0 0 25 0 1 0 263453839 136548352 32147 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 33337 32147 170 317 0 33016 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 133348 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15681 /proc/meminfo: memFree=1661560/2055920 swapFree=4153644/4192956 [pid=15678] ppid=15676 vsize=138832 CPUtime=1181.97 /proc/15678/stat : 15678 (oree) R 15676 15678 13392 0 -1 4194304 33786 0 0 0 118164 33 0 0 25 0 1 0 263453839 142163968 33092 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 34708 33092 170 317 0 34387 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 138832 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15681 /proc/meminfo: memFree=1657976/2055920 swapFree=4153644/4192956 [pid=15678] ppid=15676 vsize=142936 CPUtime=1241.96 /proc/15678/stat : 15678 (oree) R 15676 15678 13392 0 -1 4194304 34671 0 0 0 124161 35 0 0 25 0 1 0 263453839 146366464 33977 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 35734 33977 170 317 0 35413 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 142936 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15681 /proc/meminfo: memFree=1654648/2055920 swapFree=4153644/4192956 [pid=15678] ppid=15676 vsize=146056 CPUtime=1301.95 /proc/15678/stat : 15678 (oree) R 15676 15678 13392 0 -1 4194304 35496 0 0 0 130159 36 0 0 25 0 1 0 263453839 149561344 34802 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 36514 34802 170 317 0 36193 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 146056 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15681 /proc/meminfo: memFree=1651512/2055920 swapFree=4153644/4192956 [pid=15678] ppid=15676 vsize=148944 CPUtime=1361.93 /proc/15678/stat : 15678 (oree) R 15676 15678 13392 0 -1 4194304 36279 0 0 0 136156 37 0 0 25 0 1 0 263453839 152518656 35585 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 37236 35585 170 317 0 36915 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 148944 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15681 /proc/meminfo: memFree=1648184/2055920 swapFree=4153644/4192956 [pid=15678] ppid=15676 vsize=152488 CPUtime=1421.91 /proc/15678/stat : 15678 (oree) R 15676 15678 13392 0 -1 4194304 37134 0 0 0 142154 37 0 0 25 0 1 0 263453839 156147712 36407 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 38122 36407 170 317 0 37801 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 152488 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15681 /proc/meminfo: memFree=1645688/2055920 swapFree=4153644/4192956 [pid=15678] ppid=15676 vsize=154848 CPUtime=1481.9 /proc/15678/stat : 15678 (oree) R 15676 15678 13392 0 -1 4194304 37765 0 0 0 148152 38 0 0 25 0 1 0 263453839 158564352 37038 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 38712 37038 170 317 0 38391 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 154848 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15681 /proc/meminfo: memFree=1642872/2055920 swapFree=4153644/4192956 [pid=15678] ppid=15676 vsize=157612 CPUtime=1541.88 /proc/15678/stat : 15678 (oree) R 15676 15678 13392 0 -1 4194304 38492 0 0 0 154149 39 0 0 25 0 1 0 263453839 161394688 37732 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 39403 37732 170 317 0 39082 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 157612 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15681 /proc/meminfo: memFree=1639736/2055920 swapFree=4153644/4192956 [pid=15678] ppid=15676 vsize=162056 CPUtime=1601.86 /proc/15678/stat : 15678 (oree) R 15676 15678 13392 0 -1 4194304 39507 0 0 0 160146 40 0 0 25 0 1 0 263453839 165945344 38516 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 40514 38516 170 317 0 40193 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 162056 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15681 /proc/meminfo: memFree=1636984/2055920 swapFree=4153644/4192956 [pid=15678] ppid=15676 vsize=164688 CPUtime=1661.85 /proc/15678/stat : 15678 (oree) R 15676 15678 13392 0 -1 4194304 40183 0 0 0 166144 41 0 0 25 0 1 0 263453839 168640512 39192 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 41172 39192 170 317 0 40851 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 164688 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15681 /proc/meminfo: memFree=1634744/2055920 swapFree=4153644/4192956 [pid=15678] ppid=15676 vsize=166708 CPUtime=1721.83 /proc/15678/stat : 15678 (oree) R 15676 15678 13392 0 -1 4194304 40748 0 0 0 172141 42 0 0 25 0 1 0 263453839 170708992 39757 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 41677 39757 170 317 0 41356 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 166708 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15681 /proc/meminfo: memFree=1632120/2055920 swapFree=4153644/4192956 [pid=15678] ppid=15676 vsize=170672 CPUtime=1781.82 /proc/15678/stat : 15678 (oree) R 15676 15678 13392 0 -1 4194304 41642 0 0 0 178139 43 0 0 25 0 1 0 263453839 174768128 40391 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 42668 40391 170 317 0 42347 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 170672 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15681 /proc/meminfo: memFree=1631288/2055920 swapFree=4153644/4192956 [pid=15678] ppid=15676 vsize=171608 CPUtime=1800.01 /proc/15678/stat : 15678 (oree) R 15676 15678 13392 0 -1 4194304 41851 0 0 0 179958 43 0 0 25 0 1 0 263453839 175726592 40600 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 42902 40600 170 317 0 42581 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 171608 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/79 15682 /proc/meminfo: memFree=1631280/2055920 swapFree=4153644/4192956 [pid=15678] ppid=15676 vsize=170480 CPUtime=1800.12 /proc/15678/stat : 15678 (oree) R 15676 15678 13392 0 -1 4194304 41869 0 0 0 179969 43 0 0 25 0 1 0 263453839 174571520 40373 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135266564 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15678/statm: 42620 40373 186 317 0 42299 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 170480 Child status: 0 Real time (s): 1800.64 CPU time (s): 1800.16 CPU user time (s): 1799.69 CPU system time (s): 0.467928 CPU usage (%): 99.9733 Max. virtual memory (cumulated for all children) (KiB): 171608 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.69 system time used= 0.467928 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 41869 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= 35597 runsolver used 1.54276 second user time and 4.13337 second system time The end
Begin job on node19 on Thu May 3 01:22:45 UTC 2007 IDJOB= 453770 IDBENCH= 48152 IDSOLVER= 172 FILE ID= node19/453770-1178155364 PBS_JOBID= 4751077 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_100_10_1.opb COMMAND LINE= oree /tmp/evaluation/453770-1178155364/instance-453770-1178155364.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node19/convwatcher-453770-1178155364 -o ROOT/results/node19/conversion-453770-1178155364 -C 600 -M 1800 /tmp/evaluation/453770-1178155364/substituteSizeProductKeyword /tmp/evaluation/453770-1178155364/instance-453770-1178155364.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-453770-1178155364 -o ROOT/results/node19/solver-453770-1178155364 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/453770-1178155364/instance-453770-1178155364.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 55d0299800773493d27ef2c1b95d10c5 RANDOM SEED= 756058439 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node19.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.213 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.213 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: 1794200 kB Buffers: 96724 kB Cached: 77064 kB SwapCached: 8384 kB Active: 110460 kB Inactive: 95796 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1794200 kB SwapTotal: 4192956 kB SwapFree: 4153644 kB Dirty: 1348 kB Writeback: 0 kB Mapped: 30784 kB Slab: 40948 kB Committed_AS: 8864952 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 node19 on Thu May 3 01:52:47 UTC 2007