Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -39 | 1800.22 | 1800.79 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb |
MD5SUM | 32f273c48805c1e726044ae006778010 |
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.1 |
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 | 80035 |
Number of constraints which are clauses | 80035 |
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 bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/353696-1176673158/instance-353696-1176673158.opb 0.00/0.00 c File size is 1935391 bytes. 0.29/0.32 c Highest Coefficient sum: 1150 0.29/0.32 c Parsing was ok!! 0.29/0.32 c Total parsing time: 0.319 s 0.29/0.35 c Var: 1150 Constr: 80035 80035/0/0 Lit: 160070 Watch. Lit: 160070 0.29/0.35 c Obj. Vars: 1150 (100 % of total variables) 2.40/2.45 c Pre-processing Time: 2.448 s 2.40/2.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.40/2.45 c 0 1150 80035 160070 2 160070 26678 0 0 2.45 2.40/2.45 c Switching off LPR mode. 2.40/2.46 o -37 2.462 2.40/2.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.40/2.48 c 0 1150 80036 161220 2 160109 27678 1 0 2.47 2.40/2.48 o -38 2.482 1706.85/1707.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1706.85/1707.43 c 29 1150 80066 194555 2 160207 27678 31 11 2.49 1706.85/1707.43 c 129 1150 80166 305380 3 160407 30446 131 50 2.55 1706.85/1707.43 c 379 1150 80416 582395 7 160907 33491 381 140 2.71 1706.85/1707.43 c 854 1150 80891 1108810 13 161857 36841 856 282 3.02 1706.85/1707.43 c 1667 1150 81704 2009716 24 163483 40526 1669 439 3.79 1706.85/1707.43 c 2987 1150 83024 3472612 41 166123 44579 2989 552 5.41 1706.85/1707.43 c 5069 1150 85106 5779922 67 170287 49037 5071 558 9.08 1706.85/1707.43 c 8292 1150 88329 9350584 105 176733 53941 8294 478 17.34 1706.85/1707.43 c 13228 1150 93265 14813033 158 186605 59336 13230 397 33.24 1706.85/1707.43 c 20735 1150 100772 23131144 229 201619 65270 20737 294 70.32 1706.85/1707.43 c 32096 1150 112133 35720077 318 224341 71798 32098 295 108.69 1706.85/1707.43 c 49240 1150 129277 54713321 423 258629 78978 49242 142 344.80 1706.85/1707.43 c 75059 1150 155096 83332735 537 310267 86876 75061 121 615.25 1706.85/1707.43 c 113891 1150 118125 42360593 358 236288 95564 38090 103 1099.07 1706.85/1707.43 c 172243 1150 92425 13889140 150 184888 105121 12390 100 1706.62 1706.85/1707.43 o -39 1706.88 1799.92/1800.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.92/1800.56 c 172300 1150 92483 13953465 150 185043 27678 12448 100 1706.89 1799.92/1800.56 c 172400 1150 92583 14064157 151 185243 30446 12548 100 1707.03 1799.92/1800.56 c 172650 1150 92833 14341077 154 185743 33491 12798 101 1707.37 1799.92/1800.56 c 173126 1150 93309 14868138 159 186695 36841 13274 101 1708.30 1799.92/1800.56 c 173939 1150 94122 15768293 167 188321 40526 14087 101 1709.80 1799.92/1800.56 c 175259 1150 95442 17230380 180 190961 44579 15407 102 1715.25 1799.92/1800.56 c 177340 1150 97523 19533827 200 195123 49037 17488 103 1719.40 1799.92/1800.56 c 180564 1150 100747 23103282 229 201571 53941 20712 103 1736.27 1799.92/1800.56 c 185500 1150 105683 28563502 270 211443 59336 25648 105 1752.95 1799.92/1800.56 c 193006 1150 113189 36872561 325 226455 65270 33154 108 1781.90 1799.92/1800.56 c Resources Exceeded 1799.92/1800.57 v -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 1799.92/1800.57 v -x1133 -x1132 x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 x1118 -x1117 -x1116 1799.92/1800.57 v -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 1799.92/1800.57 v -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 1799.92/1800.57 v x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 1799.92/1800.57 v -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 1799.92/1800.57 v -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 x1031 1799.92/1800.57 v -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 1799.92/1800.57 v -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 1799.92/1800.57 v -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 x981 -x980 -x979 -x978 -x977 -x976 -x975 1799.92/1800.57 v -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 1799.92/1800.57 v -x953 -x952 -x951 -x950 x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 x939 -x938 -x937 -x936 -x935 -x934 -x933 1799.92/1800.57 v -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 1799.92/1800.57 v -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 1799.92/1800.57 v -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 1799.92/1800.57 v -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 x854 -x853 -x852 -x851 -x850 -x849 1799.92/1800.57 v -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 x830 -x829 -x828 1799.92/1800.57 v -x827 -x826 -x825 x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 1799.92/1800.57 v -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 x786 1799.92/1800.57 v -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 1799.92/1800.57 v -x764 -x763 -x762 -x761 -x760 -x759 x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 1799.92/1800.57 v -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 1799.92/1800.57 v -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 1799.92/1800.57 v -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 1799.92/1800.57 v -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 x670 -x669 -x668 -x667 -x666 x665 -x664 -x663 -x662 -x661 -x660 1799.92/1800.57 v -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 1799.92/1800.57 v -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 1799.92/1800.57 v -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 x601 -x600 -x599 -x598 -x597 1799.92/1800.57 v -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 1799.92/1800.57 v x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 1799.92/1800.57 v -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 x539 -x538 -x537 -x536 -x535 -x534 1799.92/1800.57 v -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 1799.92/1800.57 v -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 1799.92/1800.57 v -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 1799.92/1800.57 v -x470 -x469 -x468 -x467 -x466 -x465 x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 1799.92/1800.57 v -x449 -x448 -x447 -x446 -x445 -x444 -x443 x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 1799.92/1800.57 v -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 1799.92/1800.57 v -x407 -x406 -x405 -x404 -x403 -x402 -x401 x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 1799.92/1800.57 v -x386 -x385 -x384 -x383 -x382 x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 1799.92/1800.57 v -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 1799.92/1800.57 v -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 x324 1799.92/1800.57 v -x323 x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 1799.92/1800.57 v -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 1799.92/1800.57 v -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 1799.92/1800.57 v -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 1799.92/1800.57 v -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 1799.92/1800.57 v -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 1799.92/1800.57 v -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 1799.92/1800.57 v -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 1799.92/1800.57 v -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 1799.92/1800.57 v -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 1799.92/1800.57 v -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 1799.92/1800.57 v -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 1799.92/1800.57 v -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 1799.92/1800.57 v -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 1799.92/1800.57 v -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 x4 -x3 -x2 -x1 1799.92/1800.57 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.92/1800.57 c 26 198000 21731 226470 118183 42402216 38148 109 1800.00 1799.92/1800.57 c Objective: -39 1799.92/1800.57 s SATISFIABLE 1799.92/1800.57 c Total time: 1800 s
OK -39
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node19/watcher-353696-1176673158 -o ROOT/results/node19/solver-353696-1176673158 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353696-1176673158/instance-353696-1176673158.opb 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.92 0.98 0.99 3/77 26502 /proc/meminfo: memFree=1840144/2055920 swapFree=4159528/4192956 [pid=26502] ppid=26500 vsize=13628 CPUtime=0 /proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 115233185 13955072 336 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26502/statm: 3407 336 281 324 0 2003 0 [startup+0.04226 s] /proc/loadavg: 0.92 0.98 0.99 3/77 26502 /proc/meminfo: memFree=1840144/2055920 swapFree=4159528/4192956 [pid=26502] ppid=26500 vsize=6792 CPUtime=0.03 /proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 666 0 0 0 3 0 0 0 18 0 1 0 115233185 6955008 634 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26502/statm: 1698 634 336 324 0 294 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 6792 [startup+0.101245 s] /proc/loadavg: 0.92 0.98 0.99 3/77 26502 /proc/meminfo: memFree=1840144/2055920 swapFree=4159528/4192956 [pid=26502] ppid=26500 vsize=8300 CPUtime=0.09 /proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 1126 0 0 0 9 0 0 0 18 0 1 0 115233185 8499200 1094 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26502/statm: 2075 1094 425 324 0 671 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8300 [startup+0.301268 s] /proc/loadavg: 0.92 0.98 0.99 3/77 26502 /proc/meminfo: memFree=1840144/2055920 swapFree=4159528/4192956 [pid=26502] ppid=26500 vsize=13248 CPUtime=0.29 /proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 2642 0 0 0 28 1 0 0 19 0 1 0 115233185 13565952 2610 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26502/statm: 3312 2611 720 324 0 1908 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13248 [startup+0.701311 s] /proc/loadavg: 0.92 0.98 0.99 3/77 26502 /proc/meminfo: memFree=1840144/2055920 swapFree=4159528/4192956 [pid=26502] ppid=26500 vsize=18248 CPUtime=0.69 /proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 4445 0 0 0 67 2 0 0 23 0 1 0 115233185 18685952 3940 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26502/statm: 4562 3940 307 324 0 3631 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18248 [startup+1.5014 s] /proc/loadavg: 0.92 0.98 0.99 2/78 26503 /proc/meminfo: memFree=1825480/2055920 swapFree=4159528/4192956 [pid=26502] ppid=26500 vsize=18248 CPUtime=1.49 /proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 4445 0 0 0 144 5 0 0 25 0 1 0 115233185 18685952 3940 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26502/statm: 4562 3940 307 324 0 3631 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18248 [startup+3.10157 s] /proc/loadavg: 0.92 0.98 0.99 2/78 26503 /proc/meminfo: memFree=1825352/2055920 swapFree=4159528/4192956 [pid=26502] ppid=26500 vsize=29192 CPUtime=3.09 /proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 8382 0 0 0 300 9 0 0 25 0 1 0 115233185 29892608 6680 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26502/statm: 7298 6680 312 324 0 6367 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 29192 [startup+6.30192 s] /proc/loadavg: 0.93 0.98 0.99 2/78 26503 /proc/meminfo: memFree=1785416/2055920 swapFree=4159528/4192956 [pid=26502] ppid=26500 vsize=67364 CPUtime=6.3 /proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 17925 0 0 0 616 14 0 0 25 0 1 0 115233185 68980736 16223 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26502/statm: 16841 16223 312 324 0 15910 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 67364 [startup+12.7026 s] /proc/loadavg: 0.93 0.98 0.99 2/78 26503 /proc/meminfo: memFree=1737296/2055920 swapFree=4159528/4192956 [pid=26502] ppid=26500 vsize=109744 CPUtime=12.69 /proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 28520 0 0 0 1249 20 0 0 25 0 1 0 115233185 112377856 26818 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26502/statm: 27436 26818 312 324 0 26505 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 109744 [startup+25.502 s] /proc/loadavg: 0.95 0.98 0.99 2/78 26503 /proc/meminfo: memFree=1671120/2055920 swapFree=4159528/4192956 [pid=26502] ppid=26500 vsize=173260 CPUtime=25.49 /proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 44385 0 0 0 2520 29 0 0 25 0 1 0 115233185 177418240 42683 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26502/statm: 43315 42683 312 324 0 42384 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 173260 [startup+51.1018 s] /proc/loadavg: 0.96 0.98 0.99 3/78 26503 /proc/meminfo: memFree=1571984/2055920 swapFree=4159528/4192956 [pid=26502] ppid=26500 vsize=272528 CPUtime=51.08 /proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 69216 0 0 0 5067 41 0 0 25 0 1 0 115233185 279068672 67514 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551255 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26502/statm: 68132 67514 312 324 0 67201 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 272528 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/78 26503 /proc/meminfo: memFree=1386320/2055920 swapFree=4159528/4192956 [pid=26502] ppid=26500 vsize=456728 CPUtime=102.26 /proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 115252 0 0 0 10161 65 0 0 25 0 1 0 115233185 467689472 113550 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26502/statm: 114182 113550 312 324 0 113251 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 456728 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26503 /proc/meminfo: memFree=1296656/2055920 swapFree=4159528/4192956 [pid=26502] ppid=26500 vsize=546728 CPUtime=162.24 /proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 137748 0 0 0 16146 78 0 0 25 0 1 0 115233185 559849472 136046 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26502/statm: 136682 136046 312 324 0 135751 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 546728 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26503 /proc/meminfo: memFree=1239504/2055920 swapFree=4159528/4192956 [pid=26502] ppid=26500 vsize=603248 CPUtime=222.23 /proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 151903 0 0 0 22137 86 0 0 25 0 1 0 115233185 617725952 150201 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26502/statm: 150812 150201 312 324 0 149881 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 603248 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26503 /proc/meminfo: memFree=1196688/2055920 swapFree=4159528/4192956 [pid=26502] ppid=26500 vsize=646500 CPUtime=282.21 /proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 162699 0 0 0 28129 92 0 0 25 0 1 0 115233185 662016000 160997 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26502/statm: 161625 160997 312 324 0 160694 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 646500 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26503 /proc/meminfo: memFree=1132432/2055920 swapFree=4159528/4192956 [pid=26502] ppid=26500 vsize=710324 CPUtime=342.2 /proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 178671 0 0 0 34119 101 0 0 25 0 1 0 115233185 727371776 176969 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26502/statm: 177581 176969 312 324 0 176650 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 710324 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26503 /proc/meminfo: memFree=1010960/2055920 swapFree=4159528/4192956 [pid=26502] ppid=26500 vsize=833684 CPUtime=402.18 /proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 209505 0 0 0 40100 118 0 0 25 0 1 0 115233185 853692416 207803 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26502/statm: 208421 207803 312 324 0 207490 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 833684 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26503 /proc/meminfo: memFree=911824/2055920 swapFree=4159528/4192956 [pid=26502] ppid=26500 vsize=930356 CPUtime=462.16 /proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 233683 0 0 0 46086 130 0 0 25 0 1 0 115233185 952684544 231981 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26502/statm: 232589 231981 312 324 0 231658 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 930356 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26503 /proc/meminfo: memFree=850640/2055920 swapFree=4159528/4192956 [pid=26502] ppid=26500 vsize=992028 CPUtime=522.15 /proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 249091 0 0 0 52075 140 0 0 25 0 1 0 115233185 1015836672 247389 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26502/statm: 248007 247389 312 324 0 247076 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 992028 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26503 /proc/meminfo: memFree=792912/2055920 swapFree=4159528/4192956 [pid=26502] ppid=26500 vsize=1049236 CPUtime=582.13 /proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 263389 0 0 0 58067 146 0 0 25 0 1 0 115233185 1074417664 261687 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26502/statm: 262309 261687 312 324 0 261378 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 1049236 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26503 /proc/meminfo: memFree=669264/2055920 swapFree=4159528/4192956 [pid=26502] ppid=26500 vsize=1172016 CPUtime=642.13 /proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 294095 0 0 0 64051 162 0 0 25 0 1 0 115233185 1200144384 292393 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26502/statm: 293004 292393 312 324 0 292073 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 1172016 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26503 /proc/meminfo: memFree=577040/2055920 swapFree=4159528/4192956 [pid=26502] ppid=26500 vsize=1264024 CPUtime=882.06 /proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 317158 0 0 0 88027 179 0 0 25 0 1 0 115233185 1294360576 315370 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26502/statm: 316006 315370 312 324 0 315075 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 1264024 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 3/78 26503 /proc/meminfo: memFree=577040/2055920 swapFree=4159528/4192956 [pid=26502] ppid=26500 vsize=1264024 CPUtime=942.05 /proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 317158 0 0 0 94024 181 0 0 25 0 1 0 115233185 1294360576 315370 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26502/statm: 316006 315370 312 324 0 315075 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 1264024 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26503 /proc/meminfo: memFree=577104/2055920 swapFree=4159528/4192956 [pid=26502] ppid=26500 vsize=1264024 CPUtime=1002.03 /proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 317158 0 0 0 100020 183 0 0 25 0 1 0 115233185 1294360576 315370 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26502/statm: 316006 315370 312 324 0 315075 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 1264024 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26503 /proc/meminfo: memFree=577104/2055920 swapFree=4159528/4192956 [pid=26502] ppid=26500 vsize=1264024 CPUtime=1062.01 /proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 317158 0 0 0 106017 184 0 0 25 0 1 0 115233185 1294360576 315370 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7917293 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26502/statm: 316006 315370 312 324 0 315075 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 1264024 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26503 /proc/meminfo: memFree=577168/2055920 swapFree=4159528/4192956 [pid=26502] ppid=26500 vsize=1264024 CPUtime=1121.99 /proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 317158 0 0 0 112013 186 0 0 25 0 1 0 115233185 1294360576 315370 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26502/statm: 316006 315370 312 324 0 315075 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 1264024 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26503 /proc/meminfo: memFree=577168/2055920 swapFree=4159528/4192956 [pid=26502] ppid=26500 vsize=1264024 CPUtime=1181.98 /proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 317158 0 0 0 118010 188 0 0 25 0 1 0 115233185 1294360576 315370 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26502/statm: 316006 315370 312 324 0 315075 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 1264024 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26503 /proc/meminfo: memFree=577168/2055920 swapFree=4159528/4192956 [pid=26502] ppid=26500 vsize=1264024 CPUtime=1241.96 /proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 317158 0 0 0 124006 190 0 0 25 0 1 0 115233185 1294360576 315370 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26502/statm: 316006 315370 312 324 0 315075 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 1264024 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26503 /proc/meminfo: memFree=577168/2055920 swapFree=4159528/4192956 [pid=26502] ppid=26500 vsize=1264024 CPUtime=1301.95 /proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 317158 0 0 0 130003 192 0 0 25 0 1 0 115233185 1294360576 315370 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26502/statm: 316006 315370 312 324 0 315075 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1264024 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26701 /proc/meminfo: memFree=576632/2055920 swapFree=4159528/4192956 [pid=26502] ppid=26500 vsize=1264024 CPUtime=1361.84 /proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 317158 0 0 0 135989 195 0 0 25 0 1 0 115233185 1294360576 315370 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26502/statm: 316006 315370 312 324 0 315075 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 1264024 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26701 /proc/meminfo: memFree=576912/2055920 swapFree=4159528/4192956 [pid=26502] ppid=26500 vsize=1264024 CPUtime=1421.83 /proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 317158 0 0 0 141985 198 0 0 25 0 1 0 115233185 1294360576 315370 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26502/statm: 316006 315370 312 324 0 315075 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 1264024 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26701 /proc/meminfo: memFree=526800/2055920 swapFree=4159528/4192956 [pid=26502] ppid=26500 vsize=1315592 CPUtime=1481.81 /proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 330079 0 0 0 147975 206 0 0 25 0 1 0 115233185 1347166208 328291 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26502/statm: 328898 328291 312 324 0 327967 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 1315592 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26701 /proc/meminfo: memFree=457040/2055920 swapFree=4159528/4192956 [pid=26502] ppid=26500 vsize=1383536 CPUtime=1541.8 /proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 347142 0 0 0 153962 218 0 0 25 0 1 0 115233185 1416740864 345259 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26502/statm: 345884 345259 312 324 0 344953 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 1383536 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26701 /proc/meminfo: memFree=457104/2055920 swapFree=4159528/4192956 [pid=26502] ppid=26500 vsize=1383536 CPUtime=1601.78 /proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 347142 0 0 0 159960 218 0 0 25 0 1 0 115233185 1416740864 345259 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26502/statm: 345884 345259 312 324 0 344953 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 1383536 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26701 /proc/meminfo: memFree=457168/2055920 swapFree=4159528/4192956 [pid=26502] ppid=26500 vsize=1383536 CPUtime=1661.76 /proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 347142 0 0 0 165958 218 0 0 25 0 1 0 115233185 1416740864 345259 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26502/statm: 345884 345259 312 324 0 344953 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 1383536 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26701 /proc/meminfo: memFree=457168/2055920 swapFree=4159528/4192956 [pid=26502] ppid=26500 vsize=1383536 CPUtime=1721.75 /proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 347142 0 0 0 171955 220 0 0 25 0 1 0 115233185 1416740864 345259 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26502/statm: 345884 345259 312 324 0 344953 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 1383536 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26701 /proc/meminfo: memFree=457232/2055920 swapFree=4159528/4192956 [pid=26502] ppid=26500 vsize=1383536 CPUtime=1781.73 /proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194304 347142 0 0 0 177950 223 0 0 25 0 1 0 115233185 1416740864 345259 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26502/statm: 345884 345259 312 324 0 344953 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 1383536 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26701 /proc/meminfo: memFree=677392/2055920 swapFree=4159528/4192956 [pid=26502] ppid=26500 vsize=0 CPUtime=1800.04 /proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194308 347143 0 0 0 179775 229 0 0 25 0 1 0 115233185 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26502/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 0.99 0.98 0.99 2/78 26701 /proc/meminfo: memFree=677392/2055920 swapFree=4159528/4192956 [pid=26502] ppid=26500 vsize=0 CPUtime=1800.13 /proc/26502/stat : 26502 (bsolo3.0.16) R 26500 26502 25464 0 -1 4194308 347143 0 0 0 179775 238 0 0 25 0 1 0 115233185 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26502/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.79 CPU time (s): 1800.22 CPU user time (s): 1797.76 CPU system time (s): 2.46563 CPU usage (%): 99.9685 Max. virtual memory (cumulated for all children) (KiB): 1383916 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.76 system time used= 2.46563 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 347143 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= 12 involuntary context switches= 2986 runsolver used 2.10468 second user time and 4.26735 second system time The end
Begin job on node19 on Sun Apr 15 21:39:18 UTC 2007 IDJOB= 353696 IDBENCH= 2262 IDSOLVER= 163 FILE ID= node19/353696-1176673158 PBS_JOBID= 4559376 Free space on /tmp= 66539 MiB SOLVER NAME= bsolo 3.0.16 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-5.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353696-1176673158/instance-353696-1176673158.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-353696-1176673158 -o ROOT/results/node19/solver-353696-1176673158 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353696-1176673158/instance-353696-1176673158.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 32f273c48805c1e726044ae006778010 RANDOM SEED= 720234341 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node19.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.213 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.213 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1840552 kB Buffers: 34208 kB Cached: 105980 kB SwapCached: 2204 kB Active: 94712 kB Inactive: 69308 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1840552 kB SwapTotal: 4192956 kB SwapFree: 4159528 kB Dirty: 6380 kB Writeback: 0 kB Mapped: 31892 kB Slab: 36832 kB Committed_AS: 2898744 kB PageTables: 1788 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66539 MiB End job on node19 on Sun Apr 15 22:09:21 UTC 2007