Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -39 | 1800.24 | 1800.83 |
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.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/433110-1177954570/instance-433110-1177954570.opb 0.00/0.00 c File size is 1935391 bytes. 0.29/0.33 c Highest Coefficient sum: 1150 0.29/0.33 c Parsing was ok!! 0.29/0.33 c Total parsing time: 0.326 s 0.29/0.36 c Var: 1150 Constr: 80035 80035/0/0 Lit: 160070 Watch. Lit: 160070 0.29/0.36 c Obj. Vars: 1150 (100 % of total variables) 2.39/2.49 c Pre-processing Time: 2.485 s 2.39/2.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.49 c 0 1150 80035 160070 2 160070 26678 0 0 2.49 2.39/2.49 c Switching off LPR mode. 2.49/2.50 o -37 2.5 2.49/2.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.49/2.52 c 0 1150 80036 161220 2 160109 27678 1 0 2.50 2.49/2.52 o -38 2.52 1702.64/1703.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1702.64/1703.29 c 29 1150 80066 194555 2 160207 27678 31 11 2.52 1702.64/1703.29 c 129 1150 80166 305380 3 160407 30446 131 49 2.58 1702.64/1703.29 c 379 1150 80416 582395 7 160907 33491 381 138 2.74 1702.64/1703.29 c 854 1150 80891 1108810 13 161857 36841 856 279 3.06 1702.64/1703.29 c 1667 1150 81704 2009716 24 163483 40526 1669 436 3.82 1702.64/1703.29 c 2987 1150 83024 3472612 41 166123 44579 2989 554 5.39 1702.64/1703.29 c 5069 1150 85106 5779922 67 170287 49037 5071 559 9.05 1702.64/1703.29 c 8292 1150 88329 9350584 105 176733 53941 8294 483 17.14 1702.64/1703.29 c 13228 1150 93265 14813033 158 186605 59336 13230 400 33.02 1702.64/1703.29 c 20735 1150 100772 23131144 229 201619 65270 20737 295 70.12 1702.64/1703.29 c 32096 1150 112133 35720077 318 224341 71798 32098 295 108.44 1702.64/1703.29 c 49240 1150 129277 54713321 423 258629 78978 49242 143 343.48 1702.64/1703.29 c 75059 1150 155096 83332735 537 310267 86876 75061 122 613.28 1702.64/1703.29 c 113891 1150 118125 42360593 358 236288 95564 38090 103 1096.19 1702.64/1703.29 c 172243 1150 92425 13889140 150 184888 105121 12390 101 1702.48 1702.64/1703.29 o -39 1702.74 1800.02/1800.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.02/1800.61 c 172300 1150 92483 13953465 150 185043 27678 12448 101 1702.74 1800.02/1800.61 c 172400 1150 92583 14064157 151 185243 30446 12548 101 1702.88 1800.02/1800.61 c 172650 1150 92833 14341077 154 185743 33491 12798 101 1703.23 1800.02/1800.61 c 173126 1150 93309 14868138 159 186695 36841 13274 101 1704.16 1800.02/1800.61 c 173939 1150 94122 15768293 167 188321 40526 14087 101 1705.67 1800.02/1800.61 c 175259 1150 95442 17230380 180 190961 44579 15407 102 1711.07 1800.02/1800.61 c 177340 1150 97523 19533827 200 195123 49037 17488 103 1715.15 1800.02/1800.61 c 180564 1150 100747 23103282 229 201571 53941 20712 104 1731.97 1800.02/1800.61 c 185500 1150 105683 28563502 270 211443 59336 25648 106 1748.70 1800.02/1800.61 c 193006 1150 113189 36872561 325 226455 65270 33154 108 1777.59 1800.02/1800.61 c Caught signal: 15 1800.02/1800.61 v -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 1800.02/1800.61 v -x1133 -x1132 x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 x1118 -x1117 -x1116 1800.02/1800.61 v -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 1800.02/1800.61 v -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 1800.02/1800.61 v x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 1800.02/1800.61 v -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 1800.02/1800.61 v -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 x1031 1800.02/1800.61 v -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 1800.02/1800.61 v -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 1800.02/1800.61 v -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 x981 -x980 -x979 -x978 -x977 -x976 -x975 1800.02/1800.61 v -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 1800.02/1800.61 v -x953 -x952 -x951 -x950 x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 x939 -x938 -x937 -x936 -x935 -x934 -x933 1800.02/1800.61 v -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 1800.02/1800.61 v -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 1800.02/1800.61 v -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 1800.02/1800.61 v -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 x854 -x853 -x852 -x851 -x850 -x849 1800.02/1800.61 v -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 x830 -x829 -x828 1800.02/1800.61 v -x827 -x826 -x825 x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 1800.02/1800.61 v -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 x786 1800.02/1800.61 v -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 1800.02/1800.61 v -x764 -x763 -x762 -x761 -x760 -x759 x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 1800.02/1800.61 v -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 1800.02/1800.61 v -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 1800.02/1800.61 v -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 1800.02/1800.61 v -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 x670 -x669 -x668 -x667 -x666 x665 -x664 -x663 -x662 -x661 -x660 1800.02/1800.61 v -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 1800.02/1800.61 v -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 1800.02/1800.61 v -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 x601 -x600 -x599 -x598 -x597 1800.02/1800.61 v -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 1800.02/1800.61 v x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 1800.02/1800.61 v -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 x539 -x538 -x537 -x536 -x535 -x534 1800.02/1800.61 v -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 1800.02/1800.61 v -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 1800.02/1800.61 v -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 1800.02/1800.61 v -x470 -x469 -x468 -x467 -x466 -x465 x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 1800.02/1800.61 v -x449 -x448 -x447 -x446 -x445 -x444 -x443 x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 1800.02/1800.61 v -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 1800.02/1800.61 v -x407 -x406 -x405 -x404 -x403 -x402 -x401 x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 1800.02/1800.61 v -x386 -x385 -x384 -x383 -x382 x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 1800.02/1800.61 v -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 1800.02/1800.61 v -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 x324 1800.02/1800.61 v -x323 x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 1800.02/1800.61 v -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 1800.02/1800.61 v -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 1800.02/1800.61 v -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 1800.02/1800.61 v -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 1800.02/1800.61 v -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 1800.02/1800.61 v -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 1800.02/1800.61 v -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 1800.02/1800.61 v -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 1800.02/1800.61 v -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 1800.02/1800.61 v -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 1800.02/1800.61 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 1800.02/1800.61 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 1800.02/1800.61 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 1800.02/1800.61 v -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 x4 -x3 -x2 -x1 1800.02/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.02/1800.61 c 26 198774 21806 227325 118957 43259036 38922 110 1800.03 1800.02/1800.61 c Objective: -39 1800.02/1800.61 s SATISFIABLE 1800.02/1800.61 c Total time: 1800.03 s
OK -39
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node17/watcher-433110-1177954570 -o ROOT/results/node17/solver-433110-1177954570 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433110-1177954570/instance-433110-1177954570.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.78 0.95 0.96 3/77 5729 /proc/meminfo: memFree=1645936/2055920 swapFree=4140232/4192956 [pid=5729] ppid=5727 vsize=21440 CPUtime=0 /proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 360 0 0 0 0 0 0 0 18 0 1 0 243374593 21954560 330 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3294843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5729/statm: 5360 330 278 324 0 3957 0 [startup+0.0548499 s] /proc/loadavg: 0.78 0.95 0.96 3/77 5729 /proc/meminfo: memFree=1645936/2055920 swapFree=4140232/4192956 [pid=5729] ppid=5727 vsize=7064 CPUtime=0.04 /proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 747 0 0 0 4 0 0 0 18 0 1 0 243374593 7233536 717 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5729/statm: 1766 717 350 324 0 363 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 7064 [startup+0.101856 s] /proc/loadavg: 0.78 0.95 0.96 3/77 5729 /proc/meminfo: memFree=1645936/2055920 swapFree=4140232/4192956 [pid=5729] ppid=5727 vsize=8300 CPUtime=0.09 /proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 1110 0 0 0 9 0 0 0 18 0 1 0 243374593 8499200 1080 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5729/statm: 2075 1080 420 324 0 672 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8300 [startup+0.301876 s] /proc/loadavg: 0.78 0.95 0.96 3/77 5729 /proc/meminfo: memFree=1645936/2055920 swapFree=4140232/4192956 [pid=5729] ppid=5727 vsize=13112 CPUtime=0.29 /proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 2596 0 0 0 28 1 0 0 19 0 1 0 243374593 13426688 2566 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3294843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5729/statm: 3278 2566 710 324 0 1875 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13112 [startup+0.701919 s] /proc/loadavg: 0.78 0.95 0.96 3/77 5729 /proc/meminfo: memFree=1645936/2055920 swapFree=4140232/4192956 [pid=5729] ppid=5727 vsize=18248 CPUtime=0.69 /proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 4441 0 0 0 67 2 0 0 22 0 1 0 243374593 18685952 3938 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5729/statm: 4562 3938 305 324 0 3632 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18248 [startup+1.502 s] /proc/loadavg: 0.78 0.95 0.96 2/78 5730 /proc/meminfo: memFree=1631336/2055920 swapFree=4140232/4192956 [pid=5729] ppid=5727 vsize=18248 CPUtime=1.48 /proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 4441 0 0 0 145 3 0 0 25 0 1 0 243374593 18685952 3938 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5729/statm: 4562 3938 305 324 0 3632 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 18248 [startup+3.10117 s] /proc/loadavg: 0.78 0.95 0.96 2/78 5730 /proc/meminfo: memFree=1631208/2055920 swapFree=4140232/4192956 [pid=5729] ppid=5727 vsize=28552 CPUtime=3.09 /proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 8215 0 0 0 301 8 0 0 25 0 1 0 243374593 29237248 6515 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5729/statm: 7138 6515 310 324 0 6208 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 28552 [startup+6.3015 s] /proc/loadavg: 0.80 0.95 0.96 2/78 5730 /proc/meminfo: memFree=1591080/2055920 swapFree=4140232/4192956 [pid=5729] ppid=5727 vsize=67492 CPUtime=6.28 /proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 17935 0 0 0 616 12 0 0 25 0 1 0 243374593 69111808 16235 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5729/statm: 16873 16235 310 324 0 15943 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 67492 [startup+12.7012 s] /proc/loadavg: 0.81 0.95 0.96 2/78 5730 /proc/meminfo: memFree=1542704/2055920 swapFree=4140232/4192956 [pid=5729] ppid=5727 vsize=110380 CPUtime=12.68 /proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 28668 0 0 0 1252 16 0 0 25 0 1 0 243374593 113029120 26968 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134584944 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5729/statm: 27595 26968 310 324 0 26665 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 110380 [startup+25.5015 s] /proc/loadavg: 0.85 0.95 0.96 2/78 5730 /proc/meminfo: memFree=1476272/2055920 swapFree=4140232/4192956 [pid=5729] ppid=5727 vsize=173772 CPUtime=25.47 /proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 44534 0 0 0 2524 23 0 0 25 0 1 0 243374593 177942528 42834 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550910 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5729/statm: 43443 42834 310 324 0 42513 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 173772 [startup+51.1012 s] /proc/loadavg: 0.90 0.96 0.96 2/78 5730 /proc/meminfo: memFree=1377392/2055920 swapFree=4140232/4192956 [pid=5729] ppid=5727 vsize=272912 CPUtime=51.07 /proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 69297 0 0 0 5071 36 0 0 25 0 1 0 243374593 279461888 67597 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5729/statm: 68228 67597 310 324 0 67298 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 272912 [startup+102.306 s] /proc/loadavg: 0.96 0.96 0.96 2/78 5730 /proc/meminfo: memFree=1191536/2055920 swapFree=4140232/4192956 [pid=5729] ppid=5727 vsize=457368 CPUtime=102.26 /proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 115411 0 0 0 10172 54 0 0 25 0 1 0 243374593 468344832 113711 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5729/statm: 114342 113711 310 324 0 113412 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 457368 [startup+162.302 s] /proc/loadavg: 0.98 0.97 0.96 2/78 5730 /proc/meminfo: memFree=1101808/2055920 swapFree=4140232/4192956 [pid=5729] ppid=5727 vsize=547112 CPUtime=162.24 /proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 137850 0 0 0 16158 66 0 0 25 0 1 0 243374593 560242688 136150 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5729/statm: 136778 136150 310 324 0 135848 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 547112 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 5730 /proc/meminfo: memFree=1044592/2055920 swapFree=4140232/4192956 [pid=5729] ppid=5727 vsize=603884 CPUtime=222.23 /proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 152033 0 0 0 22150 73 0 0 25 0 1 0 243374593 618377216 150333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550904 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5729/statm: 150971 150333 310 324 0 150041 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 603884 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 5732 /proc/meminfo: memFree=1001328/2055920 swapFree=4140232/4192956 [pid=5729] ppid=5727 vsize=647648 CPUtime=282.21 /proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 162975 0 0 0 28142 79 0 0 25 0 1 0 243374593 663191552 161275 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5729/statm: 161912 161275 310 324 0 160982 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 647648 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 5732 /proc/meminfo: memFree=936504/2055920 swapFree=4140232/4192956 [pid=5729] ppid=5727 vsize=712240 CPUtime=342.2 /proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 179147 0 0 0 34132 88 0 0 25 0 1 0 243374593 729333760 177447 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5729/statm: 178060 177447 310 324 0 177130 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 712240 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 5732 /proc/meminfo: memFree=812600/2055920 swapFree=4140232/4192956 [pid=5729] ppid=5727 vsize=837516 CPUtime=402.18 /proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 210459 0 0 0 40115 103 0 0 25 0 1 0 243374593 857616384 208759 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550913 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5729/statm: 209379 208759 310 324 0 208449 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 837516 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 5732 /proc/meminfo: memFree=715832/2055920 swapFree=4140232/4192956 [pid=5729] ppid=5727 vsize=932396 CPUtime=462.17 /proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 234162 0 0 0 46103 114 0 0 25 0 1 0 243374593 954773504 232462 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5729/statm: 233099 232462 310 324 0 232169 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 932396 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 5732 /proc/meminfo: memFree=654520/2055920 swapFree=4140232/4192956 [pid=5729] ppid=5727 vsize=994324 CPUtime=522.15 /proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 249668 0 0 0 52092 123 0 0 25 0 1 0 243374593 1018187776 247968 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5729/statm: 248581 247968 310 324 0 247651 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 994324 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 5732 /proc/meminfo: memFree=597112/2055920 swapFree=4140232/4192956 [pid=5729] ppid=5727 vsize=1050768 CPUtime=582.14 /proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 263761 0 0 0 58082 132 0 0 25 0 1 0 243374593 1075986432 262061 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5729/statm: 262692 262061 310 324 0 261762 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 1050768 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 5732 /proc/meminfo: memFree=471096/2055920 swapFree=4140232/4192956 [pid=5729] ppid=5727 vsize=1176228 CPUtime=642.12 /proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 295120 0 0 0 64064 148 0 0 25 0 1 0 243374593 1204457472 293420 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5729/statm: 294057 293420 310 324 0 293127 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 1176228 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 5732 /proc/meminfo: memFree=382904/2055920 swapFree=4140232/4192956 [pid=5729] ppid=5727 vsize=1264024 CPUtime=882.06 /proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 317154 0 0 0 88045 161 0 0 25 0 1 0 243374593 1294360576 315368 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5729/statm: 316006 315368 310 324 0 315076 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 1264024 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 5732 /proc/meminfo: memFree=382904/2055920 swapFree=4140232/4192956 [pid=5729] ppid=5727 vsize=1264024 CPUtime=942.04 /proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 317154 0 0 0 94043 161 0 0 25 0 1 0 243374593 1294360576 315368 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5729/statm: 316006 315368 310 324 0 315076 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 1264024 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 5732 /proc/meminfo: memFree=383096/2055920 swapFree=4140232/4192956 [pid=5729] ppid=5727 vsize=1264024 CPUtime=1002.03 /proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 317154 0 0 0 100041 162 0 0 25 0 1 0 243374593 1294360576 315368 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5729/statm: 316006 315368 310 324 0 315076 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 1264024 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 5732 /proc/meminfo: memFree=383096/2055920 swapFree=4140232/4192956 [pid=5729] ppid=5727 vsize=1264024 CPUtime=1062.01 /proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 317154 0 0 0 106039 162 0 0 25 0 1 0 243374593 1294360576 315368 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5729/statm: 316006 315368 310 324 0 315076 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 1264024 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 5732 /proc/meminfo: memFree=383160/2055920 swapFree=4140232/4192956 [pid=5729] ppid=5727 vsize=1264024 CPUtime=1122 /proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 317154 0 0 0 112037 163 0 0 25 0 1 0 243374593 1294360576 315368 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5729/statm: 316006 315368 310 324 0 315076 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 1264024 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 5732 /proc/meminfo: memFree=383160/2055920 swapFree=4140232/4192956 [pid=5729] ppid=5727 vsize=1264024 CPUtime=1181.98 /proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 317154 0 0 0 118035 163 0 0 25 0 1 0 243374593 1294360576 315368 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5729/statm: 316006 315368 310 324 0 315076 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 1264024 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 5732 /proc/meminfo: memFree=383096/2055920 swapFree=4140232/4192956 [pid=5729] ppid=5727 vsize=1264024 CPUtime=1241.96 /proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 317154 0 0 0 124033 163 0 0 25 0 1 0 243374593 1294360576 315368 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3292916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5729/statm: 316006 315368 310 324 0 315076 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 1264024 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 5732 /proc/meminfo: memFree=383096/2055920 swapFree=4140232/4192956 [pid=5729] ppid=5727 vsize=1264024 CPUtime=1301.95 /proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 317154 0 0 0 130031 164 0 0 25 0 1 0 243374593 1294360576 315368 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3292916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5729/statm: 316006 315368 310 324 0 315076 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1264024 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 5732 /proc/meminfo: memFree=383096/2055920 swapFree=4140232/4192956 [pid=5729] ppid=5727 vsize=1264024 CPUtime=1361.94 /proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 317154 0 0 0 136029 165 0 0 25 0 1 0 243374593 1294360576 315368 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5729/statm: 316006 315368 310 324 0 315076 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1264024 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.96 2/78 5732 /proc/meminfo: memFree=383032/2055920 swapFree=4140232/4192956 [pid=5729] ppid=5727 vsize=1264024 CPUtime=1421.92 /proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 317154 0 0 0 142027 165 0 0 25 0 1 0 243374593 1294360576 315368 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5729/statm: 316006 315368 310 324 0 315076 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1264024 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 5732 /proc/meminfo: memFree=323640/2055920 swapFree=4140232/4192956 [pid=5729] ppid=5727 vsize=1323768 CPUtime=1481.9 /proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 332111 0 0 0 148017 173 0 0 25 0 1 0 243374593 1355538432 330325 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5729/statm: 330942 330325 310 324 0 330012 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1323768 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.96 2/84 5910 /proc/meminfo: memFree=261824/2055920 swapFree=4140232/4192956 [pid=5729] ppid=5727 vsize=1383536 CPUtime=1541.79 /proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 347138 0 0 0 153997 182 0 0 25 0 1 0 243374593 1416740864 345257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546114 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5729/statm: 345884 345257 310 324 0 344954 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 1383536 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 5930 /proc/meminfo: memFree=262840/2055920 swapFree=4140232/4192956 [pid=5729] ppid=5727 vsize=1383536 CPUtime=1601.76 /proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 347138 0 0 0 159993 183 0 0 25 0 1 0 243374593 1416740864 345257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5729/statm: 345884 345257 310 324 0 344954 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 1383536 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 5930 /proc/meminfo: memFree=263032/2055920 swapFree=4140232/4192956 [pid=5729] ppid=5727 vsize=1383536 CPUtime=1661.75 /proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 347138 0 0 0 165991 184 0 0 25 0 1 0 243374593 1416740864 345257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5729/statm: 345884 345257 310 324 0 344954 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 1383536 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 5930 /proc/meminfo: memFree=263096/2055920 swapFree=4140232/4192956 [pid=5729] ppid=5727 vsize=1383536 CPUtime=1721.73 /proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 347138 0 0 0 171989 184 0 0 25 0 1 0 243374593 1416740864 345257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5729/statm: 345884 345257 310 324 0 344954 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 1383536 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 5930 /proc/meminfo: memFree=263096/2055920 swapFree=4140232/4192956 [pid=5729] ppid=5727 vsize=1383536 CPUtime=1781.71 /proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 347138 0 0 0 177987 184 0 0 25 0 1 0 243374593 1416740864 345257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5729/statm: 345884 345257 310 324 0 344954 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 1383536 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.96 2/78 5930 /proc/meminfo: memFree=263160/2055920 swapFree=4140232/4192956 [pid=5729] ppid=5727 vsize=1383536 CPUtime=1800.02 /proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194304 347138 0 0 0 179817 185 0 0 25 0 1 0 243374593 1416740864 345257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5729/statm: 345884 345257 310 324 0 344954 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1383536 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.96 2/78 5930 /proc/meminfo: memFree=263160/2055920 swapFree=4140232/4192956 [pid=5729] ppid=5727 vsize=0 CPUtime=1800.21 /proc/5729/stat : 5729 (bsolo3.0.17) R 5727 5729 5666 0 -1 4194308 347142 0 0 0 179817 204 0 0 25 0 1 0 243374593 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/5729/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.83 CPU time (s): 1800.24 CPU user time (s): 1798.18 CPU system time (s): 2.06669 CPU usage (%): 99.9676 Max. virtual memory (cumulated for all children) (KiB): 1383916 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.18 system time used= 2.06669 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 347142 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= 2229 runsolver used 1.43878 second user time and 3.86341 second system time The end
Begin job on node17 on Mon Apr 30 17:36:11 UTC 2007 IDJOB= 433110 IDBENCH= 2262 IDSOLVER= 199 FILE ID= node17/433110-1177954570 PBS_JOBID= 4727698 Free space on /tmp= 66556 MiB SOLVER NAME= bsolo 3.0.17 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.17 -m1800 /tmp/evaluation/433110-1177954570/instance-433110-1177954570.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-433110-1177954570 -o ROOT/results/node17/solver-433110-1177954570 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433110-1177954570/instance-433110-1177954570.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 32f273c48805c1e726044ae006778010 RANDOM SEED= 573196829 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node17.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.240 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.240 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: 1646344 kB Buffers: 39256 kB Cached: 276668 kB SwapCached: 15576 kB Active: 218208 kB Inactive: 121068 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1646344 kB SwapTotal: 4192956 kB SwapFree: 4140232 kB Dirty: 8516 kB Writeback: 0 kB Mapped: 30168 kB Slab: 55816 kB Committed_AS: 7374016 kB PageTables: 1796 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= 66556 MiB End job on node17 on Mon Apr 30 18:06:13 UTC 2007