Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | -40 | 1800.32 | 1801.07 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb |
MD5SUM | e81d6b8e8ff8ec031773b7b65d16ea78 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -50 |
Best CPU time to get the best result obtained on this benchmark | 1800.07 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -50 |
Optimality of the best value was proved | NO |
Number of variables | 1150 |
Total number of constraints | 80258 |
Number of constraints which are clauses | 80258 |
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.48/0.56 c ...done 0.48/0.56 c #vars=1150 #constraints=80259 hasObjective=yes 0.89/0.98 c res. mode=mod 0.89/0.98 c VSIDS like heuristics 0.89/0.98 c complete search running 1.00/1.03 c nbDecision=35 #constraints=80259 1.00/1.03 c linear search for optimum 1.00/1.03 o -35 3.49/3.54 c restart after 401 decisions 3.89/3.90 c nbDecision=446 #constraints=80462 3.89/3.90 o -36 4.49/4.59 c nbDecision=500 #constraints=80514 7.08/7.14 c nbDecision=718 #constraints=80673 7.08/7.14 o -37 7.18/7.25 c nbDecision=729 #constraints=80680 7.18/7.25 o -38 7.48/7.53 c nbDecision=757 #constraints=80697 7.48/7.53 o -39 7.98/8.02 c restart after 801 decisions 9.89/9.91 c nbDecision=1000 #constraints=80820 15.19/15.27 c nbDecision=1500 #constraints=81116 16.09/16.12 c restart after 1601 decisions 20.78/20.87 c nbDecision=2000 #constraints=81355 27.48/27.54 c nbDecision=2500 #constraints=81657 35.38/35.47 c nbDecision=3000 #constraints=81965 39.18/39.25 c restart after 3201 decisions 46.97/47.07 c nbDecision=3500 #constraints=82294 57.77/57.84 c nbDecision=4000 #constraints=82603 70.87/70.96 c nbDecision=4500 #constraints=82948 83.36/83.48 c nbDecision=5000 #constraints=83246 100.25/100.33 c nbDecision=5500 #constraints=83627 120.55/120.65 c nbDecision=5997 #constraints=84039 120.55/120.65 o -40 120.75/120.80 c nbDecision=6000 #constraints=84043 137.04/137.10 c restart after 6401 decisions 145.94/146.09 c nbDecision=6500 #constraints=84443 164.24/164.37 c nbDecision=7000 #constraints=84792 185.62/185.78 c nbDecision=7500 #constraints=85207 207.51/207.63 c nbDecision=8000 #constraints=85640 232.35/232.50 c nbDecision=8500 #constraints=86055 255.62/255.88 c nbDecision=9000 #constraints=86474 279.39/279.63 c nbDecision=9500 #constraints=86893 306.98/307.20 c nbDecision=10000 #constraints=87303 337.27/337.57 c nbDecision=10500 #constraints=87742 370.55/370.85 c nbDecision=11000 #constraints=88192 398.25/398.56 c nbDecision=11500 #constraints=88555 423.24/423.56 c nbDecision=12000 #constraints=88873 448.53/448.85 c nbDecision=12500 #constraints=89180 466.32/466.67 c restart after 12801 decisions 493.41/493.72 c nbDecision=13000 #constraints=89517 528.90/529.25 c nbDecision=13500 #constraints=89801 567.19/567.57 c nbDecision=14000 #constraints=90110 602.77/603.13 c nbDecision=14500 #constraints=90391 642.06/642.45 c nbDecision=15000 #constraints=90695 683.75/684.19 c nbDecision=15500 #constraints=90979 729.23/729.65 c nbDecision=16000 #constraints=91310 766.92/767.37 c nbDecision=16500 #constraints=91613 809.30/809.79 c nbDecision=17000 #constraints=91937 852.59/853.04 c nbDecision=17500 #constraints=92229 884.67/885.17 c nbDecision=18000 #constraints=92484 927.96/928.49 c nbDecision=18500 #constraints=92785 973.74/974.24 c nbDecision=19000 #constraints=93101 1019.33/1019.87 c nbDecision=19500 #constraints=93382 1068.81/1069.34 c nbDecision=20000 #constraints=93693 1114.30/1114.89 c nbDecision=20500 #constraints=93975 1152.98/1153.58 c nbDecision=21000 #constraints=94226 1198.56/1199.15 c nbDecision=21500 #constraints=94531 1240.15/1240.74 c nbDecision=22000 #constraints=94797 1293.23/1293.86 c nbDecision=22500 #constraints=95121 1336.81/1337.40 c nbDecision=23000 #constraints=95372 1389.29/1389.98 c nbDecision=23500 #constraints=95654 1452.38/1453.08 c nbDecision=24000 #constraints=95988 1510.66/1511.31 c nbDecision=24500 #constraints=96296 1569.14/1569.81 c nbDecision=25000 #constraints=96602 1626.71/1627.42 c nbDecision=25500 #constraints=96904 1640.00/1640.72 c restart after 25601 decisions 1722.18/1722.92 c nbDecision=26000 #constraints=97273 1800.05/1800.80 Received signal 15 1800.05/1800.87 1800.05/1800.87 s SATISFIABLE 1800.05/1800.87 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.87 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.87 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.87 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.05/1800.87 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1800.05/1800.87 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 1800.05/1800.87 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.05/1800.87 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 1800.05/1800.87 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 1800.05/1800.87 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 1800.05/1800.87 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1800.05/1800.87 v -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1800.05/1800.87 v -x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1800.05/1800.87 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1800.05/1800.87 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1800.05/1800.87 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1800.05/1800.87 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1800.05/1800.87 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1800.05/1800.87 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 1800.05/1800.87 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1800.05/1800.87 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1800.05/1800.87 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 x482 -x483 1800.05/1800.87 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 x501 -x502 -x503 -x504 1800.05/1800.87 v -x505 -x506 -x507 x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1800.05/1800.87 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 x545 -x546 1800.05/1800.87 v -x547 -x548 -x549 -x550 -x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1800.05/1800.87 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 x586 -x587 -x588 1800.05/1800.87 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 1800.05/1800.87 v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 x628 -x629 -x630 1800.05/1800.87 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 1800.05/1800.87 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 x669 -x670 -x671 -x672 1800.05/1800.87 v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 1800.05/1800.87 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 1800.05/1800.87 v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 x732 -x733 -x734 -x735 1800.05/1800.87 v -x736 x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 1800.05/1800.87 v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 1800.05/1800.87 v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 1800.05/1800.87 v -x799 -x800 -x801 -x802 x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 1800.05/1800.87 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 1800.05/1800.87 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 x850 -x851 x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 1800.05/1800.87 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 1800.05/1800.87 v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 -x902 -x903 1800.05/1800.87 v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 1800.05/1800.87 v -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 1800.05/1800.87 v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 x962 -x963 -x964 -x965 -x966 1800.05/1800.87 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 1800.05/1800.87 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 1800.05/1800.87 v -x1007 -x1008 -x1009 -x1010 x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 x1020 -x1021 -x1022 -x1023 -x1024 1800.05/1800.87 v -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 1800.05/1800.87 v -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 1800.05/1800.87 v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 x1071 -x1072 -x1073 -x1074 -x1075 1800.05/1800.87 v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 1800.05/1800.87 v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 1800.05/1800.87 v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 x1124 -x1125 -x1126 1800.05/1800.87 v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 1800.05/1800.87 v -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 1800.05/1800.87 1800.05/1800.87 c user time= 1798.78 s 1800.05/1800.87 c system time= 1.35679 s 1800.05/1800.87 c wall clock time=1800.87
OK -40
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node20/watcher-357204-1176991048 -o ROOT/results/node20/solver-357204-1176991048 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357204-1176991048/instance-357204-1176991048.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 0.99 0.99 3/77 32413 /proc/meminfo: memFree=1822712/2055920 swapFree=4155228/4192956 [pid=32413] ppid=32411 vsize=1468 CPUtime=0 /proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 147022138 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134544626 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32413/statm: 367 163 130 317 0 46 0 [startup+0.0390631 s] /proc/loadavg: 1.00 0.99 0.99 3/77 32413 /proc/meminfo: memFree=1822712/2055920 swapFree=4155228/4192956 [pid=32413] ppid=32411 vsize=2260 CPUtime=0.03 /proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 368 0 0 0 3 0 0 0 18 0 1 0 147022138 2314240 350 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134828791 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32413/statm: 565 350 130 317 0 244 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2260 [startup+0.101069 s] /proc/loadavg: 1.00 0.99 0.99 3/77 32413 /proc/meminfo: memFree=1822712/2055920 swapFree=4155228/4192956 [pid=32413] ppid=32411 vsize=3636 CPUtime=0.09 /proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 707 0 0 0 9 0 0 0 18 0 1 0 147022138 3723264 689 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714826 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32413/statm: 909 689 130 317 0 588 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3636 [startup+0.30111 s] /proc/loadavg: 1.00 0.99 0.99 3/77 32413 /proc/meminfo: memFree=1822712/2055920 swapFree=4155228/4192956 [pid=32413] ppid=32411 vsize=7988 CPUtime=0.29 /proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 1822 0 0 0 29 0 0 0 19 0 1 0 147022138 8179712 1771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32413/statm: 1997 1771 130 317 0 1676 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7988 [startup+0.701191 s] /proc/loadavg: 1.00 0.99 0.99 3/77 32413 /proc/meminfo: memFree=1822712/2055920 swapFree=4155228/4192956 [pid=32413] ppid=32411 vsize=18756 CPUtime=0.69 /proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 4542 0 0 0 67 2 0 0 23 0 1 0 147022138 19206144 4426 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32413/statm: 4689 4426 137 317 0 4368 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18756 [startup+1.50135 s] /proc/loadavg: 1.00 0.99 0.99 2/78 32414 /proc/meminfo: memFree=1803376/2055920 swapFree=4155228/4192956 [pid=32413] ppid=32411 vsize=25572 CPUtime=1.48 /proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 6265 0 0 0 146 2 0 0 25 0 1 0 147022138 26185728 5600 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32413/statm: 6393 5600 170 317 0 6072 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 25572 [startup+3.10167 s] /proc/loadavg: 1.00 0.99 0.99 2/78 32414 /proc/meminfo: memFree=1797744/2055920 swapFree=4155228/4192956 [pid=32413] ppid=32411 vsize=33844 CPUtime=3.09 /proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 8128 0 0 0 305 4 0 0 25 0 1 0 147022138 34656256 7463 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32413/statm: 8461 7463 170 317 0 8140 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33844 [startup+6.30131 s] /proc/loadavg: 1.00 0.99 0.99 2/78 32414 /proc/meminfo: memFree=1784176/2055920 swapFree=4155228/4192956 [pid=32413] ppid=32411 vsize=47068 CPUtime=6.29 /proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 11050 0 0 0 624 5 0 0 25 0 1 0 147022138 48197632 10385 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272641 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32413/statm: 11767 10385 170 317 0 11446 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 47068 [startup+12.7016 s] /proc/loadavg: 1.00 0.99 0.99 2/78 32414 /proc/meminfo: memFree=1762416/2055920 swapFree=4155228/4192956 [pid=32413] ppid=32411 vsize=70572 CPUtime=12.69 /proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 16238 0 0 0 1261 8 0 0 25 0 1 0 147022138 72265728 15573 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32413/statm: 17643 15573 170 317 0 17322 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 70572 [startup+25.5012 s] /proc/loadavg: 1.00 0.99 0.99 2/78 32414 /proc/meminfo: memFree=1726384/2055920 swapFree=4155228/4192956 [pid=32413] ppid=32411 vsize=111084 CPUtime=25.48 /proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 25004 0 0 0 2537 11 0 0 25 0 1 0 147022138 113750016 24339 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32413/statm: 27771 24339 170 317 0 27450 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 111084 [startup+51.1013 s] /proc/loadavg: 1.00 0.99 0.99 2/78 32414 /proc/meminfo: memFree=1675632/2055920 swapFree=4155228/4192956 [pid=32413] ppid=32411 vsize=172956 CPUtime=51.07 /proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 37719 0 0 0 5090 17 0 0 25 0 1 0 147022138 177106944 37054 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710849 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32413/statm: 43239 37054 170 317 0 42918 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 172956 [startup+102.306 s] /proc/loadavg: 1.00 0.99 0.99 2/78 32414 /proc/meminfo: memFree=1609712/2055920 swapFree=4155228/4192956 [pid=32413] ppid=32411 vsize=242060 CPUtime=102.26 /proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 53921 0 0 0 10200 26 0 0 25 0 1 0 147022138 247869440 53256 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135273225 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32413/statm: 60515 53256 170 317 0 60194 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 242060 [startup+162.303 s] /proc/loadavg: 1.00 0.99 0.99 2/78 32414 /proc/meminfo: memFree=1538416/2055920 swapFree=4155228/4192956 [pid=32413] ppid=32411 vsize=334384 CPUtime=162.23 /proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 71857 0 0 0 16190 33 0 0 25 0 1 0 147022138 342409216 71192 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32413/statm: 83596 71192 170 317 0 83275 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 334384 [startup+222.302 s] /proc/loadavg: 1.00 0.99 0.99 2/84 32488 /proc/meminfo: memFree=1478392/2055920 swapFree=4155228/4192956 [pid=32413] ppid=32411 vsize=396600 CPUtime=222.18 /proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 86338 0 0 0 22175 43 0 0 25 0 1 0 147022138 406118400 85673 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32413/statm: 99150 85673 170 317 0 98829 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 396600 [startup+282.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 32612 /proc/meminfo: memFree=1426224/2055920 swapFree=4155228/4192956 [pid=32413] ppid=32411 vsize=454416 CPUtime=282.09 /proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 99737 0 0 0 28159 50 0 0 25 0 1 0 147022138 465321984 99072 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32413/statm: 113604 99072 170 317 0 113283 0 Current children cumulated CPU time (s) 282.09 Current children cumulated vsize (KiB) 454416 [startup+342.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 32612 /proc/meminfo: memFree=1381552/2055920 swapFree=4155228/4192956 [pid=32413] ppid=32411 vsize=501220 CPUtime=342.07 /proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 110763 0 0 0 34152 55 0 0 25 0 1 0 147022138 513249280 110098 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135276985 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32413/statm: 125305 110098 170 317 0 124984 0 Current children cumulated CPU time (s) 342.07 Current children cumulated vsize (KiB) 501220 [startup+402.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 32612 /proc/meminfo: memFree=1311728/2055920 swapFree=4155228/4192956 [pid=32413] ppid=32411 vsize=608488 CPUtime=402.04 /proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 128273 0 0 0 40142 62 0 0 25 0 1 0 147022138 623091712 127608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32413/statm: 152122 127608 170 317 0 151801 0 Current children cumulated CPU time (s) 402.04 Current children cumulated vsize (KiB) 608488 [startup+462.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 32612 /proc/meminfo: memFree=1273392/2055920 swapFree=4155228/4192956 [pid=32413] ppid=32411 vsize=653076 CPUtime=462.03 /proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 137773 0 0 0 46135 68 0 0 25 0 1 0 147022138 668749824 137108 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32413/statm: 163269 137108 170 317 0 162948 0 Current children cumulated CPU time (s) 462.03 Current children cumulated vsize (KiB) 653076 [startup+522.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 32612 /proc/meminfo: memFree=1252848/2055920 swapFree=4155228/4192956 [pid=32413] ppid=32411 vsize=674748 CPUtime=522 /proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 142914 0 0 0 52130 70 0 0 25 0 1 0 147022138 690941952 142249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32413/statm: 168687 142249 170 317 0 168366 0 Current children cumulated CPU time (s) 522 Current children cumulated vsize (KiB) 674748 [startup+582.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 32612 /proc/meminfo: memFree=1227632/2055920 swapFree=4155228/4192956 [pid=32413] ppid=32411 vsize=701368 CPUtime=581.98 /proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 149183 0 0 0 58125 73 0 0 25 0 1 0 147022138 718200832 148518 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32413/statm: 175342 148518 170 317 0 175021 0 Current children cumulated CPU time (s) 581.98 Current children cumulated vsize (KiB) 701368 [startup+642.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 32612 /proc/meminfo: memFree=1203696/2055920 swapFree=4155228/4192956 [pid=32413] ppid=32411 vsize=727020 CPUtime=641.96 /proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 155072 0 0 0 64119 77 0 0 25 0 1 0 147022138 744468480 154407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715645 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32413/statm: 181755 154407 170 317 0 181434 0 Current children cumulated CPU time (s) 641.96 Current children cumulated vsize (KiB) 727020 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 0.99 0.99 2/78 32612 /proc/meminfo: memFree=1114608/2055920 swapFree=4155228/4192956 [pid=32413] ppid=32411 vsize=824188 CPUtime=881.87 /proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 177258 0 0 0 88097 90 0 0 25 0 1 0 147022138 843968512 176593 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32413/statm: 206047 176593 170 317 0 205726 0 Current children cumulated CPU time (s) 881.87 Current children cumulated vsize (KiB) 824188 [startup+942.301 s] /proc/loadavg: 1.00 0.99 0.99 2/78 32612 /proc/meminfo: memFree=1092336/2055920 swapFree=4155228/4192956 [pid=32413] ppid=32411 vsize=847292 CPUtime=941.86 /proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 182870 0 0 0 94092 94 0 0 25 0 1 0 147022138 867627008 182205 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32413/statm: 211823 182205 170 317 0 211502 0 Current children cumulated CPU time (s) 941.86 Current children cumulated vsize (KiB) 847292 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 32612 /proc/meminfo: memFree=1071664/2055920 swapFree=4155228/4192956 [pid=32413] ppid=32411 vsize=868736 CPUtime=1001.83 /proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 187971 0 0 0 100087 96 0 0 25 0 1 0 147022138 889585664 187306 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32413/statm: 217184 187306 170 317 0 216863 0 Current children cumulated CPU time (s) 1001.83 Current children cumulated vsize (KiB) 868736 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 32612 /proc/meminfo: memFree=1052016/2055920 swapFree=4155228/4192956 [pid=32413] ppid=32411 vsize=889308 CPUtime=1061.81 /proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 192923 0 0 0 106082 99 0 0 25 0 1 0 147022138 910651392 192258 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32413/statm: 222327 192258 170 317 0 222006 0 Current children cumulated CPU time (s) 1061.81 Current children cumulated vsize (KiB) 889308 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 32612 /proc/meminfo: memFree=1033904/2055920 swapFree=4155228/4192956 [pid=32413] ppid=32411 vsize=909716 CPUtime=1121.79 /proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 197405 0 0 0 112078 101 0 0 25 0 1 0 147022138 931549184 196740 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32413/statm: 227429 196740 170 317 0 227108 0 Current children cumulated CPU time (s) 1121.79 Current children cumulated vsize (KiB) 909716 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 32612 /proc/meminfo: memFree=1012720/2055920 swapFree=4155228/4192956 [pid=32413] ppid=32411 vsize=931640 CPUtime=1181.77 /proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 202749 0 0 0 118074 103 0 0 25 0 1 0 147022138 953999360 202084 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32413/statm: 232910 202084 170 317 0 232589 0 Current children cumulated CPU time (s) 1181.77 Current children cumulated vsize (KiB) 931640 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 32612 /proc/meminfo: memFree=992368/2055920 swapFree=4155228/4192956 [pid=32413] ppid=32411 vsize=951984 CPUtime=1241.75 /proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 207776 0 0 0 124069 106 0 0 25 0 1 0 147022138 974831616 207111 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32413/statm: 237996 207111 170 317 0 237675 0 Current children cumulated CPU time (s) 1241.75 Current children cumulated vsize (KiB) 951984 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 32612 /proc/meminfo: memFree=972656/2055920 swapFree=4155228/4192956 [pid=32413] ppid=32411 vsize=971584 CPUtime=1301.73 /proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 212637 0 0 0 130064 109 0 0 25 0 1 0 147022138 994902016 211972 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32413/statm: 242896 211972 170 317 0 242575 0 Current children cumulated CPU time (s) 1301.73 Current children cumulated vsize (KiB) 971584 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 32612 /proc/meminfo: memFree=957296/2055920 swapFree=4155228/4192956 [pid=32413] ppid=32411 vsize=989204 CPUtime=1361.71 /proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 216510 0 0 0 136060 111 0 0 25 0 1 0 147022138 1012944896 215845 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32413/statm: 247301 215845 170 317 0 246980 0 Current children cumulated CPU time (s) 1361.71 Current children cumulated vsize (KiB) 989204 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.99 2/78 32612 /proc/meminfo: memFree=939376/2055920 swapFree=4155228/4192956 [pid=32413] ppid=32411 vsize=1007284 CPUtime=1421.69 /proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 220926 0 0 0 142055 114 0 0 25 0 1 0 147022138 1031458816 220261 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32413/statm: 251821 220261 170 317 0 251500 0 Current children cumulated CPU time (s) 1421.69 Current children cumulated vsize (KiB) 1007284 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 32612 /proc/meminfo: memFree=922416/2055920 swapFree=4155228/4192956 [pid=32413] ppid=32411 vsize=1024496 CPUtime=1481.66 /proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 225212 0 0 0 148050 116 0 0 25 0 1 0 147022138 1049083904 224547 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32413/statm: 256124 224547 170 317 0 255803 0 Current children cumulated CPU time (s) 1481.66 Current children cumulated vsize (KiB) 1024496 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 32612 /proc/meminfo: memFree=907440/2055920 swapFree=4155228/4192956 [pid=32413] ppid=32411 vsize=1041040 CPUtime=1541.64 /proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 228889 0 0 0 154047 117 0 0 25 0 1 0 147022138 1066024960 228224 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32413/statm: 260260 228224 170 317 0 259939 0 Current children cumulated CPU time (s) 1541.64 Current children cumulated vsize (KiB) 1041040 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 32612 /proc/meminfo: memFree=862192/2055920 swapFree=4155228/4192956 [pid=32413] ppid=32411 vsize=1181896 CPUtime=1601.62 /proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 257021 0 0 0 160033 129 0 0 25 0 1 0 147022138 1210261504 239460 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32413/statm: 295474 239460 170 317 0 295153 0 Current children cumulated CPU time (s) 1601.62 Current children cumulated vsize (KiB) 1181896 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 32612 /proc/meminfo: memFree=851888/2055920 swapFree=4155228/4192956 [pid=32413] ppid=32411 vsize=1196048 CPUtime=1661.6 /proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 259938 0 0 0 166029 131 0 0 25 0 1 0 147022138 1224753152 241981 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32413/statm: 299012 241981 170 317 0 298691 0 Current children cumulated CPU time (s) 1661.6 Current children cumulated vsize (KiB) 1196048 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 32612 /proc/meminfo: memFree=834736/2055920 swapFree=4155228/4192956 [pid=32413] ppid=32411 vsize=1212756 CPUtime=1721.58 /proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 264423 0 0 0 172025 133 0 0 25 0 1 0 147022138 1241862144 246301 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32413/statm: 303189 246301 170 317 0 302868 0 Current children cumulated CPU time (s) 1721.58 Current children cumulated vsize (KiB) 1212756 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 32612 /proc/meminfo: memFree=821040/2055920 swapFree=4155228/4192956 [pid=32413] ppid=32411 vsize=1229532 CPUtime=1781.56 /proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 267991 0 0 0 178021 135 0 0 25 0 1 0 147022138 1259040768 249671 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712565 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32413/statm: 307383 249671 170 317 0 307062 0 Current children cumulated CPU time (s) 1781.56 Current children cumulated vsize (KiB) 1229532 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 0.99 0.99 2/78 32612 /proc/meminfo: memFree=816624/2055920 swapFree=4155228/4192956 [pid=32413] ppid=32411 vsize=1235504 CPUtime=1800.05 /proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194304 269146 0 0 0 179870 135 0 0 25 0 1 0 147022138 1265156096 250760 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32413/statm: 308876 250760 170 317 0 308555 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1235504 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 1.00 0.99 0.99 2/78 32612 /proc/meminfo: memFree=816624/2055920 swapFree=4155228/4192956 [pid=32413] ppid=32411 vsize=0 CPUtime=1800.26 /proc/32413/stat : 32413 (oree) R 32411 32413 32269 0 -1 4194308 269162 0 0 0 179880 146 0 0 25 0 1 0 147022138 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/32413/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): 1801.07 CPU time (s): 1800.32 CPU user time (s): 1798.8 CPU system time (s): 1.52377 CPU usage (%): 99.9588 Max. virtual memory (cumulated for all children) (KiB): 1235504 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.8 system time used= 1.52377 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 269162 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= 26195 runsolver used 2.0037 second user time and 4.54331 second system time The end
Begin job on node20 on Thu Apr 19 13:57:28 UTC 2007 IDJOB= 357204 IDBENCH= 2263 IDSOLVER= 172 FILE ID= node20/357204-1176991048 PBS_JOBID= 4630460 Free space on /tmp= 66454 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-4.opb COMMAND LINE= oree /tmp/evaluation/357204-1176991048/instance-357204-1176991048.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-357204-1176991048 -o ROOT/results/node20/solver-357204-1176991048 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357204-1176991048/instance-357204-1176991048.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= e81d6b8e8ff8ec031773b7b65d16ea78 RANDOM SEED= 880077051 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node20.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.265 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.265 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: 1823120 kB Buffers: 26912 kB Cached: 122788 kB SwapCached: 16084 kB Active: 76016 kB Inactive: 96536 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1823120 kB SwapTotal: 4192956 kB SwapFree: 4155228 kB Dirty: 3288 kB Writeback: 0 kB Mapped: 29900 kB Slab: 45804 kB Committed_AS: 1892716 kB PageTables: 1744 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= 66454 MiB End job on node20 on Thu Apr 19 14:27:31 UTC 2007