Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | -37 | 1800.34 | 1800.87 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb |
MD5SUM | 29f577041bedcbf69a98210424b233be |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -49 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -49 |
Optimality of the best value was proved | NO |
Number of variables | 1150 |
Total number of constraints | 81068 |
Number of constraints which are clauses | 81068 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 1150 |
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 | 1150 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1150 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.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.49/0.57 c ...done 0.49/0.57 c #vars=1150 #constraints=81069 hasObjective=yes 0.99/1.02 c res. mode=mod 0.99/1.02 c VSIDS like heuristics 0.99/1.02 c complete search running 0.99/1.08 c nbDecision=33 #constraints=81069 0.99/1.08 c linear search for optimum 0.99/1.08 o -33 1.09/1.12 c nbDecision=33 #constraints=81071 1.09/1.12 o -34 4.69/4.76 c restart after 401 decisions 4.99/5.07 c nbDecision=434 #constraints=81365 4.99/5.07 o -35 5.79/5.82 c nbDecision=500 #constraints=81415 8.99/9.05 c restart after 801 decisions 11.78/11.84 c nbDecision=1000 #constraints=81761 19.59/19.62 c nbDecision=1500 #constraints=82186 21.29/21.39 c restart after 1601 decisions 29.18/29.23 c nbDecision=2000 #constraints=82611 40.08/40.10 c nbDecision=2500 #constraints=83074 49.68/49.73 c nbDecision=3000 #constraints=83427 49.88/49.91 c nbDecision=3006 #constraints=83429 49.88/49.91 o -36 54.27/54.35 c restart after 3201 decisions 63.48/63.55 c nbDecision=3500 #constraints=83745 74.67/74.71 c nbDecision=4000 #constraints=84047 87.06/87.16 c nbDecision=4500 #constraints=84373 101.97/102.09 c nbDecision=5000 #constraints=84729 116.26/116.35 c nbDecision=5500 #constraints=85036 130.06/130.13 c nbDecision=6000 #constraints=85305 141.36/141.45 c restart after 6401 decisions 151.35/151.47 c nbDecision=6500 #constraints=85583 173.85/173.90 c nbDecision=7000 #constraints=85860 197.65/197.74 c nbDecision=7500 #constraints=86148 221.73/221.84 c nbDecision=8000 #constraints=86463 251.49/251.67 c nbDecision=8500 #constraints=86746 277.74/277.95 c nbDecision=9000 #constraints=87033 305.41/305.67 c nbDecision=9500 #constraints=87298 333.71/333.92 c nbDecision=10000 #constraints=87598 360.80/361.09 c nbDecision=10500 #constraints=87864 387.30/387.58 c nbDecision=11000 #constraints=88108 416.29/416.59 c nbDecision=11500 #constraints=88378 452.79/453.00 c nbDecision=12000 #constraints=88695 484.18/484.47 c nbDecision=12500 #constraints=88986 504.07/504.34 c restart after 12801 decisions 525.47/525.73 c nbDecision=13000 #constraints=89283 550.96/551.24 c nbDecision=13370 #constraints=89539 550.96/551.24 o -37 560.45/560.71 c nbDecision=13500 #constraints=89637 593.45/593.79 c nbDecision=14000 #constraints=89995 628.34/628.61 c nbDecision=14500 #constraints=90357 667.43/667.79 c nbDecision=15000 #constraints=90741 707.22/707.50 c nbDecision=15500 #constraints=91135 750.21/750.50 c nbDecision=16000 #constraints=91508 791.61/792.00 c nbDecision=16500 #constraints=91886 834.99/835.36 c nbDecision=17000 #constraints=92273 876.38/876.73 c nbDecision=17500 #constraints=92644 920.77/921.11 c nbDecision=18000 #constraints=93013 968.86/969.27 c nbDecision=18500 #constraints=93413 1021.75/1022.18 c nbDecision=19000 #constraints=93842 1073.94/1074.38 c nbDecision=19500 #constraints=94242 1122.22/1122.64 c nbDecision=20000 #constraints=94621 1171.21/1171.61 c nbDecision=20500 #constraints=94999 1220.20/1220.69 c nbDecision=21000 #constraints=95367 1270.99/1271.42 c nbDecision=21500 #constraints=95739 1324.58/1325.00 c nbDecision=22000 #constraints=96128 1378.36/1378.86 c nbDecision=22500 #constraints=96526 1446.55/1447.05 c nbDecision=23000 #constraints=96969 1503.53/1504.00 c nbDecision=23500 #constraints=97363 1564.22/1564.74 c nbDecision=24000 #constraints=97772 1621.60/1622.17 c nbDecision=24500 #constraints=98141 1672.29/1672.87 c nbDecision=25000 #constraints=98487 1726.78/1727.31 c nbDecision=25500 #constraints=98873 1737.17/1737.73 c restart after 25601 decisions 1800.07/1800.60 Received signal 15 1800.07/1800.66 1800.07/1800.66 s SATISFIABLE 1800.07/1800.66 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.07/1800.66 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.07/1800.66 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.07/1800.66 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 -x105 1800.07/1800.66 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1800.07/1800.66 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1800.07/1800.66 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.07/1800.66 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 1800.07/1800.66 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 1800.07/1800.66 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1800.07/1800.66 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1800.07/1800.66 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1800.07/1800.66 v -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1800.07/1800.66 v -x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1800.07/1800.66 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1800.07/1800.66 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1800.07/1800.66 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1800.07/1800.66 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 x398 -x399 1800.07/1800.66 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 -x419 -x420 1800.07/1800.66 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1800.07/1800.66 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 -x460 -x461 -x462 1800.07/1800.66 v -x463 -x464 -x465 x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1800.07/1800.66 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1800.07/1800.66 v -x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1800.07/1800.66 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1800.07/1800.66 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1800.07/1800.66 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 1800.07/1800.66 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 1800.07/1800.66 v -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 1800.07/1800.66 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 1800.07/1800.66 v -x652 -x653 -x654 x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 1800.07/1800.66 v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 -x690 -x691 -x692 -x693 1800.07/1800.66 v -x694 x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 1800.07/1800.66 v -x715 x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 1800.07/1800.66 v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 1800.07/1800.66 v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 1800.07/1800.66 v x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 1800.07/1800.66 v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 1800.07/1800.66 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 1800.07/1800.66 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 1800.07/1800.66 v -x862 -x863 -x864 -x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 1800.07/1800.66 v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 1800.07/1800.66 v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 1800.07/1800.66 v -x925 -x926 -x927 -x928 -x929 -x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 1800.07/1800.66 v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 x962 -x963 -x964 -x965 -x966 1800.07/1800.66 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 x987 1800.07/1800.66 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 1800.07/1800.66 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 1800.07/1800.66 v -x1024 -x1025 -x1026 -x1027 x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 1800.07/1800.66 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 1800.07/1800.66 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 -x1074 1800.07/1800.66 v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 1800.07/1800.66 v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 1800.07/1800.66 v -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 1800.07/1800.66 v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 x1137 -x1138 -x1139 -x1140 -x1141 -x1142 1800.07/1800.66 v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 1800.07/1800.66 1800.07/1800.66 c user time= 1798.79 s 1800.07/1800.66 c system time= 1.3458 s 1800.07/1800.66 c wall clock time=1800.67
OK -37
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node30/watcher-357202-1176991028 -o ROOT/results/node30/solver-357202-1176991028 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357202-1176991028/instance-357202-1176991028.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 0.94 3/77 28819 /proc/meminfo: memFree=1785728/2055920 swapFree=4157140/4192956 [pid=28819] ppid=28817 vsize=1468 CPUtime=0 /proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 147018495 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134827805 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28819/statm: 367 163 130 317 0 46 0 [startup+0.0228881 s] /proc/loadavg: 1.00 1.00 0.94 3/77 28819 /proc/meminfo: memFree=1785728/2055920 swapFree=4157140/4192956 [pid=28819] ppid=28817 vsize=1864 CPUtime=0.02 /proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 281 0 0 0 2 0 0 0 18 0 1 0 147018495 1908736 263 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28819/statm: 466 264 130 317 0 145 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1864 [startup+0.101892 s] /proc/loadavg: 1.00 1.00 0.94 3/77 28819 /proc/meminfo: memFree=1785728/2055920 swapFree=4157140/4192956 [pid=28819] ppid=28817 vsize=3636 CPUtime=0.09 /proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 710 0 0 0 9 0 0 0 18 0 1 0 147018495 3723264 692 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28819/statm: 909 692 130 317 0 588 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3636 [startup+0.301905 s] /proc/loadavg: 1.00 1.00 0.94 3/77 28819 /proc/meminfo: memFree=1785728/2055920 swapFree=4157140/4192956 [pid=28819] ppid=28817 vsize=7988 CPUtime=0.29 /proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 1825 0 0 0 29 0 0 0 19 0 1 0 147018495 8179712 1774 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28819/statm: 1997 1774 130 317 0 1676 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7988 [startup+0.70193 s] /proc/loadavg: 1.00 1.00 0.94 3/77 28819 /proc/meminfo: memFree=1785728/2055920 swapFree=4157140/4192956 [pid=28819] ppid=28817 vsize=18912 CPUtime=0.69 /proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 4585 0 0 0 67 2 0 0 23 0 1 0 147018495 19365888 4469 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28819/statm: 4728 4469 137 317 0 4407 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18912 [startup+1.50299 s] /proc/loadavg: 1.00 1.00 0.94 2/78 28820 /proc/meminfo: memFree=1766776/2055920 swapFree=4157140/4192956 [pid=28819] ppid=28817 vsize=25852 CPUtime=1.49 /proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 6349 0 0 0 146 3 0 0 25 0 1 0 147018495 26472448 5678 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28819/statm: 6463 5678 170 317 0 6142 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 25852 [startup+3.10108 s] /proc/loadavg: 1.00 1.00 0.94 2/78 28820 /proc/meminfo: memFree=1760504/2055920 swapFree=4157140/4192956 [pid=28819] ppid=28817 vsize=34680 CPUtime=3.09 /proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 8324 0 0 0 305 4 0 0 25 0 1 0 147018495 35512320 7653 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604450 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28819/statm: 8670 7653 170 317 0 8349 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 34680 [startup+6.30128 s] /proc/loadavg: 1.00 1.00 0.94 2/78 28820 /proc/meminfo: memFree=1746488/2055920 swapFree=4157140/4192956 [pid=28819] ppid=28817 vsize=48048 CPUtime=6.29 /proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 11259 0 0 0 624 5 0 0 25 0 1 0 147018495 49201152 10588 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28819/statm: 12012 10588 170 317 0 11691 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 48048 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 0.94 2/78 28820 /proc/meminfo: memFree=1724152/2055920 swapFree=4157140/4192956 [pid=28819] ppid=28817 vsize=72344 CPUtime=12.68 /proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 16659 0 0 0 1261 7 0 0 25 0 1 0 147018495 74080256 15988 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28819/statm: 18086 15988 170 317 0 17765 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 72344 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 0.94 2/78 28820 /proc/meminfo: memFree=1686136/2055920 swapFree=4157140/4192956 [pid=28819] ppid=28817 vsize=114364 CPUtime=25.48 /proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 25821 0 0 0 2536 12 0 0 25 0 1 0 147018495 117108736 25150 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28819/statm: 28591 25150 170 317 0 28270 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 114364 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 0.94 2/78 28820 /proc/meminfo: memFree=1624632/2055920 swapFree=4157140/4192956 [pid=28819] ppid=28817 vsize=187940 CPUtime=51.08 /proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 41192 0 0 0 5087 21 0 0 25 0 1 0 147018495 192450560 40521 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28819/statm: 46985 40521 170 317 0 46664 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 187940 [startup+102.305 s] /proc/loadavg: 1.00 1.00 0.94 2/78 28820 /proc/meminfo: memFree=1558776/2055920 swapFree=4157140/4192956 [pid=28819] ppid=28817 vsize=256756 CPUtime=102.27 /proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 57420 0 0 0 10200 27 0 0 25 0 1 0 147018495 262918144 56749 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712494 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28819/statm: 64189 56749 170 317 0 63868 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 256756 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.94 2/78 28820 /proc/meminfo: memFree=1491960/2055920 swapFree=4157140/4192956 [pid=28819] ppid=28817 vsize=343760 CPUtime=162.25 /proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 74126 0 0 0 16190 35 0 0 25 0 1 0 147018495 352010240 73455 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28819/statm: 85940 73455 170 317 0 85619 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 343760 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.94 2/78 28820 /proc/meminfo: memFree=1452856/2055920 swapFree=4157140/4192956 [pid=28819] ppid=28817 vsize=385544 CPUtime=222.23 /proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 83808 0 0 0 22183 40 0 0 25 0 1 0 147018495 394797056 83137 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715615 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28819/statm: 96386 83137 170 317 0 96065 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 385544 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.94 2/84 28994 /proc/meminfo: memFree=1420088/2055920 swapFree=4157140/4192956 [pid=28819] ppid=28817 vsize=419104 CPUtime=282.14 /proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 91760 0 0 0 28168 46 0 0 25 0 1 0 147018495 429162496 91089 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28819/statm: 104776 91089 170 317 0 104455 0 Current children cumulated CPU time (s) 282.14 Current children cumulated vsize (KiB) 419104 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.94 2/78 29018 /proc/meminfo: memFree=1390392/2055920 swapFree=4157140/4192956 [pid=28819] ppid=28817 vsize=451196 CPUtime=342.11 /proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 99325 0 0 0 34161 50 0 0 25 0 1 0 147018495 462024704 98654 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28819/statm: 112799 98654 170 317 0 112478 0 Current children cumulated CPU time (s) 342.11 Current children cumulated vsize (KiB) 451196 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.94 2/78 29018 /proc/meminfo: memFree=1360696/2055920 swapFree=4157140/4192956 [pid=28819] ppid=28817 vsize=483272 CPUtime=402.1 /proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 106853 0 0 0 40157 53 0 0 25 0 1 0 147018495 494870528 106182 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28819/statm: 120818 106182 170 317 0 120497 0 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (KiB) 483272 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.94 2/78 29018 /proc/meminfo: memFree=1334008/2055920 swapFree=4157140/4192956 [pid=28819] ppid=28817 vsize=511232 CPUtime=462.08 /proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 113466 0 0 0 46152 56 0 0 25 0 1 0 147018495 523501568 112795 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28819/statm: 127808 112795 170 317 0 127487 0 Current children cumulated CPU time (s) 462.08 Current children cumulated vsize (KiB) 511232 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.94 2/78 29018 /proc/meminfo: memFree=1312504/2055920 swapFree=4157140/4192956 [pid=28819] ppid=28817 vsize=536300 CPUtime=522.06 /proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 118934 0 0 0 52148 58 0 0 25 0 1 0 147018495 549171200 118263 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28819/statm: 134075 118263 170 317 0 133754 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 536300 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.94 2/78 29018 /proc/meminfo: memFree=1247864/2055920 swapFree=4157140/4192956 [pid=28819] ppid=28817 vsize=637384 CPUtime=582.06 /proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 134962 0 0 0 58140 66 0 0 25 0 1 0 147018495 652681216 134291 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28819/statm: 159346 134291 170 317 0 159025 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 637384 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.94 2/78 29018 /proc/meminfo: memFree=1215864/2055920 swapFree=4157140/4192956 [pid=28819] ppid=28817 vsize=672968 CPUtime=642.05 /proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 142862 0 0 0 64136 69 0 0 25 0 1 0 147018495 689119232 142191 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28819/statm: 168242 142191 170 317 0 167921 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 672968 ################ # More data... # ################ [startup+882.303 s] /proc/loadavg: 1.00 1.00 0.94 3/78 29018 /proc/meminfo: memFree=1103864/2055920 swapFree=4157140/4192956 [pid=28819] ppid=28817 vsize=793800 CPUtime=881.98 /proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 170827 0 0 0 88116 82 0 0 25 0 1 0 147018495 812851200 170156 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28819/statm: 198450 170156 170 317 0 198129 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 793800 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.94 2/78 29018 /proc/meminfo: memFree=1078520/2055920 swapFree=4157140/4192956 [pid=28819] ppid=28817 vsize=821452 CPUtime=941.97 /proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 177191 0 0 0 94112 85 0 0 25 0 1 0 147018495 841166848 176520 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28819/statm: 205363 176520 170 317 0 205042 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 821452 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.94 2/78 29018 /proc/meminfo: memFree=1052280/2055920 swapFree=4157140/4192956 [pid=28819] ppid=28817 vsize=849104 CPUtime=1001.95 /proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 183712 0 0 0 100107 88 0 0 25 0 1 0 147018495 869482496 183041 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28819/statm: 212276 183041 170 317 0 211955 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 849104 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.94 2/78 29018 /proc/meminfo: memFree=1028856/2055920 swapFree=4157140/4192956 [pid=28819] ppid=28817 vsize=873800 CPUtime=1061.93 /proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 189628 0 0 0 106102 91 0 0 25 0 1 0 147018495 894771200 188957 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28819/statm: 218450 188957 170 317 0 218129 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 873800 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.94 2/78 29018 /proc/meminfo: memFree=1004536/2055920 swapFree=4157140/4192956 [pid=28819] ppid=28817 vsize=899148 CPUtime=1121.92 /proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 195633 0 0 0 112097 95 0 0 25 0 1 0 147018495 920727552 194962 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604243 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28819/statm: 224787 194962 170 317 0 224466 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 899148 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.94 2/78 29018 /proc/meminfo: memFree=981112/2055920 swapFree=4157140/4192956 [pid=28819] ppid=28817 vsize=924020 CPUtime=1181.91 /proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 201493 0 0 0 118093 98 0 0 25 0 1 0 147018495 946196480 200822 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28819/statm: 231005 200822 170 317 0 230684 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 924020 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.94 2/78 29018 /proc/meminfo: memFree=957496/2055920 swapFree=4157140/4192956 [pid=28819] ppid=28817 vsize=949096 CPUtime=1241.89 /proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 207367 0 0 0 124089 100 0 0 25 0 1 0 147018495 971874304 206696 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28819/statm: 237274 206696 170 317 0 236953 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 949096 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.94 2/78 29018 /proc/meminfo: memFree=935544/2055920 swapFree=4157140/4192956 [pid=28819] ppid=28817 vsize=971904 CPUtime=1301.88 /proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 212790 0 0 0 130085 103 0 0 25 0 1 0 147018495 995229696 212119 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28819/statm: 242976 212119 170 317 0 242655 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 971904 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.94 2/78 29018 /proc/meminfo: memFree=915128/2055920 swapFree=4157140/4192956 [pid=28819] ppid=28817 vsize=995676 CPUtime=1361.86 /proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 217957 0 0 0 136081 105 0 0 25 0 1 0 147018495 1019572224 217286 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28819/statm: 248919 217286 170 317 0 248598 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 995676 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.94 2/78 29018 /proc/meminfo: memFree=893432/2055920 swapFree=4157140/4192956 [pid=28819] ppid=28817 vsize=1018240 CPUtime=1421.85 /proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 223320 0 0 0 142077 108 0 0 25 0 1 0 147018495 1042677760 222649 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28819/statm: 254560 222649 170 317 0 254239 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 1018240 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.94 2/78 29018 /proc/meminfo: memFree=873144/2055920 swapFree=4157140/4192956 [pid=28819] ppid=28817 vsize=1039236 CPUtime=1481.83 /proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 228409 0 0 0 148073 110 0 0 25 0 1 0 147018495 1064177664 227738 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28819/statm: 259809 227738 170 317 0 259488 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 1039236 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.94 2/78 29018 /proc/meminfo: memFree=821368/2055920 swapFree=4157140/4192956 [pid=28819] ppid=28817 vsize=1190128 CPUtime=1541.82 /proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 258328 0 0 0 154061 121 0 0 25 0 1 0 147018495 1218691072 240563 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28819/statm: 297532 240563 170 317 0 297211 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 1190128 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.94 2/78 29018 /proc/meminfo: memFree=801720/2055920 swapFree=4157140/4192956 [pid=28819] ppid=28817 vsize=1211952 CPUtime=1601.81 /proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 263643 0 0 0 160057 124 0 0 25 0 1 0 147018495 1241038848 245482 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28819/statm: 302988 245482 170 317 0 302667 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 1211952 [startup+1662.3 s] /proc/loadavg: 1.03 1.01 0.94 2/78 29018 /proc/meminfo: memFree=782776/2055920 swapFree=4157140/4192956 [pid=28819] ppid=28817 vsize=1235096 CPUtime=1661.79 /proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 268721 0 0 0 166052 127 0 0 25 0 1 0 147018495 1264738304 250164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28819/statm: 308774 250164 170 317 0 308453 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 1235096 [startup+1722.3 s] /proc/loadavg: 1.01 1.01 0.94 2/78 29018 /proc/meminfo: memFree=759288/2055920 swapFree=4157140/4192956 [pid=28819] ppid=28817 vsize=1260300 CPUtime=1721.78 /proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 274916 0 0 0 172046 132 0 0 25 0 1 0 147018495 1290547200 256095 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28819/statm: 315075 256095 170 317 0 314754 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 1260300 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.94 2/78 29018 /proc/meminfo: memFree=745208/2055920 swapFree=4157140/4192956 [pid=28819] ppid=28817 vsize=1272640 CPUtime=1781.77 /proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 278429 0 0 0 178043 134 0 0 25 0 1 0 147018495 1303183360 259509 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28819/statm: 318160 259509 170 317 0 317839 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 1272640 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.94 2/78 29018 /proc/meminfo: memFree=740664/2055920 swapFree=4157140/4192956 [pid=28819] ppid=28817 vsize=1278088 CPUtime=1800.07 /proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194304 279615 0 0 0 179873 134 0 0 25 0 1 0 147018495 1308762112 260662 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28819/statm: 319522 260662 170 317 0 319201 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1278088 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 1.00 0.94 2/78 29018 /proc/meminfo: memFree=740664/2055920 swapFree=4157140/4192956 [pid=28819] ppid=28817 vsize=0 CPUtime=1800.26 /proc/28819/stat : 28819 (oree) R 28817 28819 27964 0 -1 4194308 279631 0 0 0 179881 145 0 0 25 0 1 0 147018495 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28819/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.87 CPU time (s): 1800.34 CPU user time (s): 1798.82 CPU system time (s): 1.51877 CPU usage (%): 99.9704 Max. virtual memory (cumulated for all children) (KiB): 1278088 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.82 system time used= 1.51877 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 279631 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= 3697 runsolver used 2.12868 second user time and 4.40633 second system time The end
Begin job on node30 on Thu Apr 19 13:57:08 UTC 2007 IDJOB= 357202 IDBENCH= 2261 IDSOLVER= 172 FILE ID= node30/357202-1176991028 PBS_JOBID= 4630423 Free space on /tmp= 66393 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb COMMAND LINE= oree /tmp/evaluation/357202-1176991028/instance-357202-1176991028.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-357202-1176991028 -o ROOT/results/node30/solver-357202-1176991028 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357202-1176991028/instance-357202-1176991028.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 29f577041bedcbf69a98210424b233be RANDOM SEED= 622394735 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node30.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.218 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.218 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: 1786136 kB Buffers: 35412 kB Cached: 168784 kB SwapCached: 15104 kB Active: 77116 kB Inactive: 150148 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1786136 kB SwapTotal: 4192956 kB SwapFree: 4157140 kB Dirty: 3232 kB Writeback: 0 kB Mapped: 30224 kB Slab: 28020 kB Committed_AS: 2864688 kB PageTables: 1776 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= 66393 MiB End job on node30 on Thu Apr 19 14:27:11 UTC 2007