Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | -41 | 1800.36 | 1800.93 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb |
MD5SUM | 604c6b786f56b09c749bc0d6b7c8f76d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -51 |
Best CPU time to get the best result obtained on this benchmark | 1800.11 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -52 |
Optimality of the best value was proved | NO |
Number of variables | 1272 |
Total number of constraints | 94227 |
Number of constraints which are clauses | 94227 |
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 | 1272 |
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 | 1272 |
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 | 1272 |
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.59/0.66 c ...done 0.59/0.66 c #vars=1272 #constraints=94228 hasObjective=yes 0.99/1.07 c res. mode=mod 0.99/1.07 c VSIDS like heuristics 0.99/1.07 c complete search running 1.10/1.13 c nbDecision=35 #constraints=94228 1.10/1.13 c linear search for optimum 1.10/1.13 o -35 6.29/6.33 c restart after 401 decisions 6.69/6.72 c nbDecision=435 #constraints=94569 6.69/6.72 o -36 7.39/7.42 c nbDecision=500 #constraints=94605 10.29/10.36 c restart after 801 decisions 13.58/13.63 c nbDecision=1000 #constraints=94907 22.78/22.80 c nbDecision=1500 #constraints=95400 24.68/24.75 c restart after 1601 decisions 34.08/34.11 c nbDecision=2000 #constraints=95858 47.48/47.55 c nbDecision=2500 #constraints=96340 62.37/62.40 c nbDecision=3000 #constraints=96801 69.37/69.43 c restart after 3201 decisions 73.47/73.54 c nbDecision=3241 #constraints=96983 73.47/73.54 o -40 78.97/79.09 c nbDecision=3370 #constraints=97061 78.97/79.09 o -41 83.87/83.95 c nbDecision=3500 #constraints=97136 104.16/104.20 c nbDecision=4000 #constraints=97532 125.45/125.50 c nbDecision=4500 #constraints=97955 147.15/147.24 c nbDecision=5000 #constraints=98347 168.84/168.96 c nbDecision=5500 #constraints=98732 194.64/194.77 c nbDecision=6000 #constraints=99145 215.93/216.05 c restart after 6401 decisions 228.63/228.76 c nbDecision=6500 #constraints=99576 269.62/269.78 c nbDecision=7000 #constraints=100065 302.81/302.98 c nbDecision=7500 #constraints=100565 338.90/339.06 c nbDecision=8000 #constraints=101059 384.45/384.68 c nbDecision=8500 #constraints=101544 425.89/426.13 c nbDecision=9000 #constraints=102037 467.87/468.12 c nbDecision=9500 #constraints=102536 512.37/512.68 c nbDecision=10000 #constraints=103019 561.76/562.09 c nbDecision=10500 #constraints=103516 604.34/604.62 c nbDecision=11000 #constraints=104016 651.73/652.09 c nbDecision=11500 #constraints=104511 697.12/697.47 c nbDecision=12000 #constraints=104980 751.80/752.15 c nbDecision=12500 #constraints=105466 782.09/782.43 c restart after 12801 decisions 817.38/817.75 c nbDecision=13000 #constraints=105912 871.66/872.02 c nbDecision=13500 #constraints=106386 928.45/928.82 c nbDecision=14000 #constraints=106867 987.94/988.37 c nbDecision=14500 #constraints=107354 1048.82/1049.27 c nbDecision=15000 #constraints=107840 1111.00/1111.41 c nbDecision=15500 #constraints=108324 1175.18/1175.64 c nbDecision=16000 #constraints=108805 1238.97/1239.43 c nbDecision=16500 #constraints=109297 1300.35/1300.88 c nbDecision=17000 #constraints=109785 1363.44/1363.97 c nbDecision=17500 #constraints=110273 1430.72/1431.22 c nbDecision=18000 #constraints=110769 1494.80/1495.35 c nbDecision=18500 #constraints=111257 1555.89/1556.40 c nbDecision=19000 #constraints=111734 1620.36/1620.99 c nbDecision=19500 #constraints=112221 1685.15/1685.78 c nbDecision=20000 #constraints=112700 1755.83/1756.45 c nbDecision=20500 #constraints=113200 1800.02/1800.61 Received signal 15 1800.02/1800.70 1800.02/1800.70 s SATISFIABLE 1800.02/1800.70 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.02/1800.70 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.02/1800.70 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.02/1800.70 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.02/1800.70 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 1800.02/1800.70 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 1800.02/1800.70 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.02/1800.70 v x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.02/1800.70 v -x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1800.02/1800.70 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1800.02/1800.70 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1800.02/1800.70 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1800.02/1800.70 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 -x294 1800.02/1800.70 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 1800.02/1800.70 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1800.02/1800.70 v -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1800.02/1800.70 v -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1800.02/1800.70 v -x379 -x380 -x381 -x382 -x383 -x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1800.02/1800.70 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 1800.02/1800.70 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 -x439 -x440 -x441 1800.02/1800.70 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 1800.02/1800.70 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1800.02/1800.70 v -x484 -x485 -x486 -x487 x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1800.02/1800.70 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1800.02/1800.70 v -x526 -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1800.02/1800.70 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1800.02/1800.70 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 1800.02/1800.70 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 1800.02/1800.70 v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 1800.02/1800.70 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 1800.02/1800.70 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 1800.02/1800.70 v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 1800.02/1800.70 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 1800.02/1800.70 v -x715 -x716 -x717 -x718 -x719 -x720 -x721 x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 1800.02/1800.70 v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 x755 -x756 1800.02/1800.70 v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 1800.02/1800.70 v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 1800.02/1800.70 v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 1800.02/1800.70 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 1800.02/1800.70 v x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 1800.02/1800.70 v -x862 -x863 -x864 -x865 -x866 x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 1800.02/1800.70 v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 x900 -x901 -x902 -x903 1800.02/1800.70 v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 1800.02/1800.70 v x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 1800.02/1800.70 v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 -x962 -x963 -x964 -x965 -x966 1800.02/1800.70 v -x967 -x968 -x969 -x970 x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 1800.02/1800.70 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 1800.02/1800.70 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 1800.02/1800.70 v x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 1800.02/1800.70 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 1800.02/1800.70 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 1800.02/1800.70 v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 1800.02/1800.70 v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 1800.02/1800.70 v -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 1800.02/1800.70 v -x1126 -x1127 -x1128 x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 1800.02/1800.70 v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 x1154 -x1155 -x1156 -x1157 -x1158 -x1159 1800.02/1800.70 v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 1800.02/1800.70 v -x1177 -x1178 -x1179 x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 1800.02/1800.70 v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 x1208 -x1209 -x1210 1800.02/1800.70 v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 1800.02/1800.70 v x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 1800.02/1800.70 v -x1245 -x1246 -x1247 -x1248 -x1249 x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 1800.02/1800.70 v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 1800.12/1800.71 1800.12/1800.71 c user time= 1798.62 s 1800.12/1800.71 c system time= 1.52077 s 1800.12/1800.71 c wall clock time=1800.71
OK -41
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node15/watcher-357200-1176990890 -o ROOT/results/node15/solver-357200-1176990890 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357200-1176990890/instance-357200-1176990890.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: 0.99 0.97 0.97 3/77 17192 /proc/meminfo: memFree=1652408/2055920 swapFree=4169120/4192956 [pid=17192] ppid=17190 vsize=1468 CPUtime=0 /proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 147006673 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135174392 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17192/statm: 367 163 130 317 0 46 0 [startup+0.0508781 s] /proc/loadavg: 0.99 0.97 0.97 3/77 17192 /proc/meminfo: memFree=1652408/2055920 swapFree=4169120/4192956 [pid=17192] ppid=17190 vsize=2524 CPUtime=0.04 /proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 434 0 0 0 4 0 0 0 18 0 1 0 147006673 2584576 416 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17192/statm: 631 416 130 317 0 310 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2524 [startup+0.102882 s] /proc/loadavg: 0.99 0.97 0.97 3/77 17192 /proc/meminfo: memFree=1652408/2055920 swapFree=4169120/4192956 [pid=17192] ppid=17190 vsize=3640 CPUtime=0.09 /proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 722 0 0 0 9 0 0 0 18 0 1 0 147006673 3727360 704 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17192/statm: 910 704 130 317 0 589 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3640 [startup+0.301902 s] /proc/loadavg: 0.99 0.97 0.97 3/77 17192 /proc/meminfo: memFree=1652408/2055920 swapFree=4169120/4192956 [pid=17192] ppid=17190 vsize=8124 CPUtime=0.29 /proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 1838 0 0 0 29 0 0 0 19 0 1 0 147006673 8318976 1787 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17192/statm: 2031 1788 130 317 0 1710 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8124 [startup+0.701936 s] /proc/loadavg: 0.99 0.97 0.97 3/77 17192 /proc/meminfo: memFree=1652408/2055920 swapFree=4169120/4192956 [pid=17192] ppid=17190 vsize=21652 CPUtime=0.69 /proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 5282 0 0 0 67 2 0 0 22 0 1 0 147006673 22171648 5166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17192/statm: 5413 5166 137 317 0 5092 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21652 [startup+1.50201 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17193 /proc/meminfo: memFree=1631088/2055920 swapFree=4169120/4192956 [pid=17192] ppid=17190 vsize=29380 CPUtime=1.49 /proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 7270 0 0 0 146 3 0 0 25 0 1 0 147006673 30085120 6509 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17192/statm: 7345 6509 170 317 0 7024 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 29380 [startup+3.10116 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17193 /proc/meminfo: memFree=1624560/2055920 swapFree=4169120/4192956 [pid=17192] ppid=17190 vsize=37132 CPUtime=3.09 /proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 9023 0 0 0 306 3 0 0 25 0 1 0 147006673 38023168 8262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17192/statm: 9283 8262 170 317 0 8962 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 37132 [startup+6.30145 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17193 /proc/meminfo: memFree=1610032/2055920 swapFree=4169120/4192956 [pid=17192] ppid=17190 vsize=50572 CPUtime=6.29 /proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 12060 0 0 0 624 5 0 0 25 0 1 0 147006673 51785728 11299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17192/statm: 12643 11299 170 317 0 12322 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 50572 [startup+12.701 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17193 /proc/meminfo: memFree=1589936/2055920 swapFree=4169120/4192956 [pid=17192] ppid=17190 vsize=71764 CPUtime=12.69 /proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 16917 0 0 0 1262 7 0 0 25 0 1 0 147006673 73486336 16156 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272676 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17192/statm: 17941 16156 170 317 0 17620 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 71764 [startup+25.5022 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17193 /proc/meminfo: memFree=1548208/2055920 swapFree=4169120/4192956 [pid=17192] ppid=17190 vsize=117128 CPUtime=25.48 /proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 26859 0 0 0 2537 11 0 0 25 0 1 0 147006673 119939072 26098 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17192/statm: 29282 26098 170 317 0 28961 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 117128 [startup+51.1026 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17193 /proc/meminfo: memFree=1488112/2055920 swapFree=4169120/4192956 [pid=17192] ppid=17190 vsize=189568 CPUtime=51.08 /proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 42079 0 0 0 5090 18 0 0 25 0 1 0 147006673 194117632 41318 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272553 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17192/statm: 47392 41318 170 317 0 47071 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 189568 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.97 3/78 17193 /proc/meminfo: memFree=1429104/2055920 swapFree=4169120/4192956 [pid=17192] ppid=17190 vsize=249276 CPUtime=102.27 /proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 56597 0 0 0 10201 26 0 0 25 0 1 0 147006673 255258624 55836 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17192/statm: 62319 55836 170 317 0 61998 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 249276 [startup+162.303 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17193 /proc/meminfo: memFree=1349232/2055920 swapFree=4169120/4192956 [pid=17192] ppid=17190 vsize=351004 CPUtime=162.24 /proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 76684 0 0 0 16189 35 0 0 25 0 1 0 147006673 359428096 75923 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17192/statm: 87751 75923 170 317 0 87430 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 351004 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17193 /proc/meminfo: memFree=1299888/2055920 swapFree=4169120/4192956 [pid=17192] ppid=17190 vsize=401768 CPUtime=222.24 /proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 88798 0 0 0 22182 42 0 0 25 0 1 0 147006673 411410432 88037 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17192/statm: 100442 88037 170 317 0 100121 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 401768 [startup+282.303 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17193 /proc/meminfo: memFree=1258864/2055920 swapFree=4169120/4192956 [pid=17192] ppid=17190 vsize=444880 CPUtime=282.21 /proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 99171 0 0 0 28174 47 0 0 25 0 1 0 147006673 455557120 98410 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712585 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17192/statm: 111220 98410 170 317 0 110899 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 444880 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17193 /proc/meminfo: memFree=1212848/2055920 swapFree=4169120/4192956 [pid=17192] ppid=17190 vsize=492920 CPUtime=342.2 /proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 110570 0 0 0 34166 54 0 0 25 0 1 0 147006673 504750080 109809 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17192/statm: 123230 109809 170 317 0 122909 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 492920 [startup+402.303 s] /proc/loadavg: 0.99 0.97 0.97 2/84 17357 /proc/meminfo: memFree=1177344/2055920 swapFree=4169120/4192956 [pid=17192] ppid=17190 vsize=527544 CPUtime=402.11 /proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 119174 0 0 0 40152 59 0 0 25 0 1 0 147006673 540205056 118413 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17192/statm: 131886 118413 170 317 0 131565 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 527544 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.97 3/78 17391 /proc/meminfo: memFree=1103600/2055920 swapFree=4169120/4192956 [pid=17192] ppid=17190 vsize=642264 CPUtime=462.08 /proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 137747 0 0 0 46140 68 0 0 25 0 1 0 147006673 657678336 136986 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17192/statm: 160566 136986 170 317 0 160245 0 Current children cumulated CPU time (s) 462.08 Current children cumulated vsize (KiB) 642264 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17391 /proc/meminfo: memFree=1068656/2055920 swapFree=4169120/4192956 [pid=17192] ppid=17190 vsize=681716 CPUtime=522.06 /proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 146665 0 0 0 52134 72 0 0 25 0 1 0 147006673 698077184 145904 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17192/statm: 170429 145904 170 317 0 170108 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 681716 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17391 /proc/meminfo: memFree=1034288/2055920 swapFree=4169120/4192956 [pid=17192] ppid=17190 vsize=718260 CPUtime=582.05 /proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 155131 0 0 0 58129 76 0 0 25 0 1 0 147006673 735498240 154370 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17192/statm: 179565 154370 170 317 0 179244 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 718260 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17391 /proc/meminfo: memFree=998000/2055920 swapFree=4169120/4192956 [pid=17192] ppid=17190 vsize=757540 CPUtime=642.03 /proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 164096 0 0 0 64123 80 0 0 25 0 1 0 147006673 775720960 163335 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17192/statm: 189385 163335 170 317 0 189064 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 757540 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17391 /proc/meminfo: memFree=855792/2055920 swapFree=4169120/4192956 [pid=17192] ppid=17190 vsize=904256 CPUtime=941.95 /proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 199680 0 0 0 94097 98 0 0 25 0 1 0 147006673 925958144 198919 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17192/statm: 226064 198919 170 317 0 225743 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 904256 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17391 /proc/meminfo: memFree=828208/2055920 swapFree=4169120/4192956 [pid=17192] ppid=17190 vsize=932060 CPUtime=1001.94 /proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 206493 0 0 0 100092 102 0 0 25 0 1 0 147006673 954429440 205732 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17192/statm: 233015 205732 170 317 0 232694 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 932060 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17391 /proc/meminfo: memFree=802224/2055920 swapFree=4169120/4192956 [pid=17192] ppid=17190 vsize=958844 CPUtime=1061.92 /proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 213038 0 0 0 106087 105 0 0 25 0 1 0 147006673 981856256 212277 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17192/statm: 239711 212277 170 317 0 239390 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 958844 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17391 /proc/meminfo: memFree=776368/2055920 swapFree=4169120/4192956 [pid=17192] ppid=17190 vsize=984764 CPUtime=1121.9 /proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 219396 0 0 0 112082 108 0 0 25 0 1 0 147006673 1008398336 218635 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17192/statm: 246191 218635 170 317 0 245870 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 984764 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17391 /proc/meminfo: memFree=751664/2055920 swapFree=4169120/4192956 [pid=17192] ppid=17190 vsize=1011248 CPUtime=1181.89 /proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 225675 0 0 0 118078 111 0 0 25 0 1 0 147006673 1035517952 224914 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17192/statm: 252812 224914 170 317 0 252491 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 1011248 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17391 /proc/meminfo: memFree=725936/2055920 swapFree=4169120/4192956 [pid=17192] ppid=17190 vsize=1036780 CPUtime=1241.87 /proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 232010 0 0 0 124073 114 0 0 25 0 1 0 147006673 1061662720 231249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17192/statm: 259195 231249 170 317 0 258874 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 1036780 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17391 /proc/meminfo: memFree=699376/2055920 swapFree=4169120/4192956 [pid=17192] ppid=17190 vsize=1063680 CPUtime=1301.86 /proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 238592 0 0 0 130068 118 0 0 25 0 1 0 147006673 1089208320 237831 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716132 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17192/statm: 265920 237831 170 317 0 265599 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 1063680 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17391 /proc/meminfo: memFree=673776/2055920 swapFree=4169120/4192956 [pid=17192] ppid=17190 vsize=1089968 CPUtime=1361.84 /proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 245050 0 0 0 136063 121 0 0 25 0 1 0 147006673 1116127232 244289 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17192/statm: 272492 244289 170 317 0 272171 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 1089968 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17391 /proc/meminfo: memFree=616304/2055920 swapFree=4169120/4192956 [pid=17192] ppid=17190 vsize=1254796 CPUtime=1421.83 /proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 277977 0 0 0 142051 132 0 0 25 0 1 0 147006673 1284911104 258472 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17192/statm: 313699 258472 170 317 0 313378 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 1254796 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17391 /proc/meminfo: memFree=590640/2055920 swapFree=4169120/4192956 [pid=17192] ppid=17190 vsize=1283972 CPUtime=1481.81 /proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 285131 0 0 0 148046 135 0 0 25 0 1 0 147006673 1314787328 264966 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17192/statm: 320993 264966 170 317 0 320672 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 1283972 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17391 /proc/meminfo: memFree=567536/2055920 swapFree=4169120/4192956 [pid=17192] ppid=17190 vsize=1311028 CPUtime=1541.79 /proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 290987 0 0 0 154041 138 0 0 25 0 1 0 147006673 1342492672 270657 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17192/statm: 327757 270657 170 317 0 327436 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 1311028 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17391 /proc/meminfo: memFree=540528/2055920 swapFree=4169120/4192956 [pid=17192] ppid=17190 vsize=1339536 CPUtime=1601.77 /proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 298044 0 0 0 160036 141 0 0 25 0 1 0 147006673 1371684864 277483 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17192/statm: 334884 277483 170 317 0 334563 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 1339536 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17391 /proc/meminfo: memFree=515248/2055920 swapFree=4169120/4192956 [pid=17192] ppid=17190 vsize=1365200 CPUtime=1661.75 /proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 304479 0 0 0 166031 144 0 0 25 0 1 0 147006673 1397964800 283720 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17192/statm: 341300 283720 170 317 0 340979 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 1365200 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17391 /proc/meminfo: memFree=489712/2055920 swapFree=4169120/4192956 [pid=17192] ppid=17190 vsize=1391184 CPUtime=1721.74 /proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 311028 0 0 0 172026 148 0 0 25 0 1 0 147006673 1424572416 290170 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17192/statm: 347796 290170 170 317 0 347475 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 1391184 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17391 /proc/meminfo: memFree=464880/2055920 swapFree=4169120/4192956 [pid=17192] ppid=17190 vsize=1417356 CPUtime=1781.73 /proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 317624 0 0 0 178022 151 0 0 25 0 1 0 147006673 1451372544 296304 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718327 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17192/statm: 354339 296304 170 317 0 354018 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 1417356 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17391 /proc/meminfo: memFree=458096/2055920 swapFree=4169120/4192956 [pid=17192] ppid=17190 vsize=1424776 CPUtime=1800.02 /proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194304 319279 0 0 0 179851 151 0 0 25 0 1 0 147006673 1458970624 297959 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17192/statm: 356194 297959 170 317 0 355873 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1424776 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: 0.99 0.97 0.97 2/78 17391 /proc/meminfo: memFree=458096/2055920 swapFree=4169120/4192956 [pid=17192] ppid=17190 vsize=0 CPUtime=1800.22 /proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194308 319300 0 0 0 179864 158 0 0 25 0 1 0 147006673 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17192/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.22 Current children cumulated vsize (KiB) 0 [startup+1800.9 s] /proc/loadavg: 0.99 0.97 0.97 2/78 17391 /proc/meminfo: memFree=458096/2055920 swapFree=4169120/4192956 [pid=17192] ppid=17190 vsize=0 CPUtime=1800.32 /proc/17192/stat : 17192 (oree) R 17190 17192 17090 0 -1 4194308 319300 0 0 0 179864 168 0 0 25 0 1 0 147006673 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17192/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.32 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.93 CPU time (s): 1800.36 CPU user time (s): 1798.64 CPU system time (s): 1.71574 CPU usage (%): 99.9681 Max. virtual memory (cumulated for all children) (KiB): 1424776 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.64 system time used= 1.71574 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 319300 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= 1605 runsolver used 2.13167 second user time and 4.40933 second system time The end
Begin job on node15 on Thu Apr 19 13:54:51 UTC 2007 IDJOB= 357200 IDBENCH= 2259 IDSOLVER= 172 FILE ID= node15/357200-1176990890 PBS_JOBID= 4630463 Free space on /tmp= 66481 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/frb53-24-opb/normalized-frb53-24-1.opb COMMAND LINE= oree /tmp/evaluation/357200-1176990890/instance-357200-1176990890.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-357200-1176990890 -o ROOT/results/node15/solver-357200-1176990890 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357200-1176990890/instance-357200-1176990890.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 604c6b786f56b09c749bc0d6b7c8f76d RANDOM SEED= 382174821 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node15.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.227 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.227 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: 1652816 kB Buffers: 36804 kB Cached: 294192 kB SwapCached: 2544 kB Active: 217396 kB Inactive: 136472 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1652816 kB SwapTotal: 4192956 kB SwapFree: 4169120 kB Dirty: 3568 kB Writeback: 0 kB Mapped: 30100 kB Slab: 34660 kB Committed_AS: 6275532 kB PageTables: 1868 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= 66481 MiB End job on node15 on Thu Apr 19 14:24:53 UTC 2007