Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -39 | 1800.24 | 1802.99 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-1.opb |
MD5SUM | dc857dc123c51e1f53f981679774fda8 |
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.07 |
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 | 80072 |
Number of constraints which are clauses | 80072 |
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/433108-1177954557/instance-433108-1177954557.opb 0.00/0.00 c File size is 1930218 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.322 s 0.29/0.35 c Var: 1150 Constr: 80072 80072/0/0 Lit: 160144 Watch. Lit: 160144 0.29/0.35 c Obj. Vars: 1150 (100 % of total variables) 2.29/2.32 c Pre-processing Time: 2.317 s 2.29/2.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.32 c 0 1150 80072 160144 2 160144 26690 0 0 2.32 2.29/2.32 c Switching off LPR mode. 2.29/2.33 o -37 2.331 2.39/2.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.45 c 0 1150 80073 161294 2 160183 27690 1 0 2.33 2.39/2.45 c 100 1150 80173 272125 3 160383 30460 101 41 2.39 2.39/2.45 o -38 2.449 444.92/445.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 444.92/445.17 c 186 1150 80260 368533 4 160595 27690 188 75 2.45 444.92/445.17 c 287 1150 80361 480436 5 160797 30460 289 114 2.52 444.92/445.17 c 537 1150 80611 757426 9 161297 33507 539 200 2.67 444.92/445.17 c 1013 1150 81087 1284675 15 162249 36858 1015 329 3.08 444.92/445.17 c 1826 1150 81900 2185298 26 163875 40544 1828 490 3.72 444.92/445.17 c 3147 1150 83221 3649858 43 166517 44599 3149 635 4.96 444.92/445.17 c 5229 1150 85303 5956775 69 170681 49059 5231 632 8.26 444.92/445.17 c 8453 1150 88527 9528997 107 177129 53965 8455 530 15.92 444.92/445.17 c 13389 1150 93463 14997686 160 187001 59362 13391 398 33.59 444.92/445.17 c 20895 1150 100969 23309994 230 202013 65299 20897 339 61.49 444.92/445.17 c 32256 1150 112330 35896860 319 224735 71829 32258 309 104.20 444.92/445.17 c 49401 1150 129475 54901218 424 259025 79012 49403 273 180.93 444.92/445.17 c 75221 1150 155295 83515619 537 310665 86914 75223 191 392.00 444.92/445.17 o -39 445.001 1800.04/1800.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.04/1800.80 c 85859 1150 165934 95306537 574 331982 27690 85862 192 445.00 1800.04/1800.80 c 85960 1150 92381 13800459 149 184801 30460 12309 135 632.39 1800.04/1800.80 c 86210 1150 92631 14077305 151 185301 33507 12559 136 632.84 1800.04/1800.80 c 86685 1150 93106 14603319 156 186251 36858 13034 136 633.26 1800.04/1800.80 c 87499 1150 93920 15505176 165 187879 40544 13848 137 635.37 1800.04/1800.80 c 88821 1150 95242 16968801 178 190523 44599 15170 139 638.25 1800.04/1800.80 c 90902 1150 97323 19271961 198 194685 49059 17251 141 641.27 1800.04/1800.80 c 94126 1150 100547 22840064 227 201133 53965 20475 144 649.82 1800.04/1800.80 c 99063 1150 105484 28306834 268 211007 59362 25412 146 675.32 1800.04/1800.80 c 106569 1150 112990 36614338 324 226019 65299 32918 154 691.62 1800.04/1800.80 c 117930 1150 124351 49186982 395 248741 71829 44279 160 736.14 1800.04/1800.80 c 135075 1150 141496 68167217 481 283031 79012 61424 166 809.51 1800.04/1800.80 c 160895 1150 99329 21488512 216 198697 86914 19257 158 1017.56 1800.04/1800.80 c 199728 1150 138162 64487824 466 276363 95606 58090 127 1572.56 1800.04/1800.80 c Caught signal: 15 1800.04/1800.80 v -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 1800.04/1800.80 v -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 1800.04/1800.80 v -x1116 -x1115 -x1114 -x1113 x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 x1102 -x1101 -x1100 -x1099 1800.04/1800.80 v -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 1800.04/1800.80 v -x1081 -x1080 -x1079 -x1078 -x1077 x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 1800.04/1800.80 v -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 1800.04/1800.80 v -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 x1033 -x1032 -x1031 1800.04/1800.80 v -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 1800.04/1800.80 v -x1013 -x1012 x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 1800.04/1800.80 v -x995 -x994 -x993 -x992 -x991 -x990 x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 1800.04/1800.80 v -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 1800.04/1800.80 v -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 x933 1800.04/1800.80 v -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 1800.04/1800.80 v -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 1800.04/1800.80 v x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 1800.04/1800.80 v -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 x852 x851 -x850 -x849 1800.04/1800.80 v -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 1800.04/1800.80 v x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 1800.04/1800.80 v -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 1800.04/1800.80 v -x785 -x784 -x783 -x782 x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 1800.04/1800.80 v -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 x750 -x749 -x748 -x747 -x746 -x745 -x744 1800.04/1800.80 v -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 1800.04/1800.80 v -x722 -x721 -x720 -x719 -x718 -x717 -x716 x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 x705 -x704 -x703 -x702 1800.04/1800.80 v -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 1800.04/1800.80 v -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 x665 -x664 -x663 -x662 -x661 -x660 1800.04/1800.80 v -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 1800.04/1800.80 v -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 x621 -x620 -x619 -x618 1800.04/1800.80 v -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 1800.04/1800.80 v -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 1800.04/1800.80 v -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 1800.04/1800.80 v -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 1800.04/1800.80 v -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 1800.04/1800.80 v -x512 -x511 -x510 -x509 -x508 -x507 x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 1800.04/1800.80 v -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 1800.04/1800.80 v -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 1800.04/1800.80 v -x449 -x448 x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 1800.04/1800.80 v -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 x410 -x409 -x408 1800.04/1800.80 v -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 1800.04/1800.80 v -x386 x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 1800.04/1800.80 v -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 x348 -x347 -x346 -x345 1800.04/1800.80 v -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 1800.04/1800.80 v -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 1800.04/1800.80 v -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 1800.04/1800.80 v -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 1800.04/1800.80 v -x260 -x259 -x258 -x257 -x256 -x255 x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 x243 -x242 -x241 -x240 1800.04/1800.80 v -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 1800.04/1800.80 v x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 1800.04/1800.80 v -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 1800.04/1800.80 v -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 1800.04/1800.80 v -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 1800.04/1800.80 v -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 1800.04/1800.80 v -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 1800.04/1800.80 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.04/1800.80 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.04/1800.80 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.04/1800.80 v -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 1800.04/1800.80 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.04/1800.80 c 29 227428 27190 263666 165863 95149059 85791 126 1800.05 1800.04/1800.80 c Objective: -39 1800.04/1800.80 s SATISFIABLE 1800.04/1800.80 c Total time: 1800.05 s
OK -39
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node67/watcher-433108-1177954557 -o ROOT/results/node67/solver-433108-1177954557 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433108-1177954557/instance-433108-1177954557.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.91 3/64 32656 /proc/meminfo: memFree=1711976/2055920 swapFree=4182996/4192956 [pid=32656] ppid=32654 vsize=13624 CPUtime=0 /proc/32656/stat : 32656 (bsolo3.0.17) R 32654 32656 32593 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 271445199 13950976 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32656/statm: 3406 334 279 324 0 2004 0 [startup+0.084438 s] /proc/loadavg: 0.78 0.95 0.91 3/64 32656 /proc/meminfo: memFree=1711976/2055920 swapFree=4182996/4192956 [pid=32656] ppid=32654 vsize=7884 CPUtime=0.07 /proc/32656/stat : 32656 (bsolo3.0.17) R 32654 32656 32593 0 -1 4194304 987 0 0 0 7 0 0 0 18 0 1 0 271445199 8073216 957 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7325307 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32656/statm: 1971 958 396 324 0 569 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 7884 [startup+0.10144 s] /proc/loadavg: 0.78 0.95 0.91 3/64 32656 /proc/meminfo: memFree=1711976/2055920 swapFree=4182996/4192956 [pid=32656] ppid=32654 vsize=8296 CPUtime=0.09 /proc/32656/stat : 32656 (bsolo3.0.17) R 32654 32656 32593 0 -1 4194304 1118 0 0 0 9 0 0 0 18 0 1 0 271445199 8495104 1088 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32656/statm: 2074 1089 421 324 0 672 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8296 [startup+0.301476 s] /proc/loadavg: 0.78 0.95 0.91 3/64 32656 /proc/meminfo: memFree=1711976/2055920 swapFree=4182996/4192956 [pid=32656] ppid=32654 vsize=13112 CPUtime=0.29 /proc/32656/stat : 32656 (bsolo3.0.17) R 32654 32656 32593 0 -1 4194304 2624 0 0 0 28 1 0 0 19 0 1 0 271445199 13426688 2594 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7325307 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32656/statm: 3278 2594 714 324 0 1876 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13112 [startup+0.70155 s] /proc/loadavg: 0.78 0.95 0.91 3/64 32656 /proc/meminfo: memFree=1711976/2055920 swapFree=4182996/4192956 [pid=32656] ppid=32654 vsize=18244 CPUtime=0.69 /proc/32656/stat : 32656 (bsolo3.0.17) R 32654 32656 32593 0 -1 4194304 4441 0 0 0 67 2 0 0 22 0 1 0 271445199 18681856 3939 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32656/statm: 4561 3939 305 324 0 3631 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18244 [startup+1.5017 s] /proc/loadavg: 0.78 0.95 0.91 2/65 32657 /proc/meminfo: memFree=1697376/2055920 swapFree=4182996/4192956 [pid=32656] ppid=32654 vsize=18244 CPUtime=1.49 /proc/32656/stat : 32656 (bsolo3.0.17) R 32654 32656 32593 0 -1 4194304 4441 0 0 0 146 3 0 0 25 0 1 0 271445199 18681856 3939 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32656/statm: 4561 3939 305 324 0 3631 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18244 [startup+3.10199 s] /proc/loadavg: 0.80 0.95 0.91 2/65 32657 /proc/meminfo: memFree=1697248/2055920 swapFree=4182996/4192956 [pid=32656] ppid=32654 vsize=30484 CPUtime=3.09 /proc/32656/stat : 32656 (bsolo3.0.17) R 32654 32656 32593 0 -1 4194304 8711 0 0 0 302 7 0 0 25 0 1 0 271445199 31215616 7011 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32656/statm: 7621 7011 310 324 0 6691 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 30484 [startup+6.30158 s] /proc/loadavg: 0.80 0.95 0.91 2/65 32657 /proc/meminfo: memFree=1647840/2055920 swapFree=4182996/4192956 [pid=32656] ppid=32654 vsize=76824 CPUtime=6.29 /proc/32656/stat : 32656 (bsolo3.0.17) R 32654 32656 32593 0 -1 4194304 20268 0 0 0 617 12 0 0 25 0 1 0 271445199 78667776 18568 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32656/statm: 19206 18568 310 324 0 18276 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 76824 [startup+12.7018 s] /proc/loadavg: 0.83 0.95 0.91 2/65 32657 /proc/meminfo: memFree=1600544/2055920 swapFree=4182996/4192956 [pid=32656] ppid=32654 vsize=118312 CPUtime=12.69 /proc/32656/stat : 32656 (bsolo3.0.17) R 32654 32656 32593 0 -1 4194304 30651 0 0 0 1253 16 0 0 25 0 1 0 271445199 121151488 28951 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32656/statm: 29578 28951 310 324 0 28648 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 118312 [startup+25.5011 s] /proc/loadavg: 0.85 0.95 0.91 2/65 32657 /proc/meminfo: memFree=1535328/2055920 swapFree=4182996/4192956 [pid=32656] ppid=32654 vsize=180856 CPUtime=25.48 /proc/32656/stat : 32656 (bsolo3.0.17) R 32654 32656 32593 0 -1 4194304 46280 0 0 0 2526 22 0 0 25 0 1 0 271445199 185196544 44580 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32656/statm: 45214 44580 310 324 0 44284 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 180856 [startup+51.1018 s] /proc/loadavg: 0.90 0.96 0.91 2/65 32657 /proc/meminfo: memFree=1429856/2055920 swapFree=4182996/4192956 [pid=32656] ppid=32654 vsize=286364 CPUtime=51.06 /proc/32656/stat : 32656 (bsolo3.0.17) R 32654 32656 32593 0 -1 4194304 72678 0 0 0 5071 35 0 0 25 0 1 0 271445199 293236736 70978 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32656/statm: 71591 70978 310 324 0 70661 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 286364 [startup+102.305 s] /proc/loadavg: 1.02 0.98 0.92 2/65 32657 /proc/meminfo: memFree=1245344/2055920 swapFree=4182996/4192956 [pid=32656] ppid=32654 vsize=469636 CPUtime=102.25 /proc/32656/stat : 32656 (bsolo3.0.17) R 32654 32656 32593 0 -1 4194304 118489 0 0 0 10169 56 0 0 25 0 1 0 271445199 480907264 116789 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32656/statm: 117409 116789 310 324 0 116479 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 469636 [startup+162.301 s] /proc/loadavg: 1.01 0.98 0.92 2/65 32657 /proc/meminfo: memFree=1037280/2055920 swapFree=4182996/4192956 [pid=32656] ppid=32654 vsize=679572 CPUtime=162.22 /proc/32656/stat : 32656 (bsolo3.0.17) R 32654 32656 32593 0 -1 4194304 170963 0 0 0 16143 79 0 0 25 0 1 0 271445199 695881728 169263 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32656/statm: 169893 169263 310 324 0 168963 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 679572 [startup+222.301 s] /proc/loadavg: 1.00 0.98 0.92 2/65 32657 /proc/meminfo: memFree=850720/2055920 swapFree=4182996/4192956 [pid=32656] ppid=32654 vsize=863544 CPUtime=222.2 /proc/32656/stat : 32656 (bsolo3.0.17) R 32654 32656 32593 0 -1 4194304 216955 0 0 0 22118 102 0 0 25 0 1 0 271445199 884269056 215255 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551324 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32656/statm: 215886 215255 310 324 0 214956 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 863544 [startup+282.301 s] /proc/loadavg: 1.00 0.98 0.92 2/65 32657 /proc/meminfo: memFree=750240/2055920 swapFree=4182996/4192956 [pid=32656] ppid=32654 vsize=964024 CPUtime=282.18 /proc/32656/stat : 32656 (bsolo3.0.17) R 32654 32656 32593 0 -1 4194304 242089 0 0 0 28103 115 0 0 25 0 1 0 271445199 987160576 240389 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32656/statm: 241006 240389 310 324 0 240076 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 964024 [startup+342.301 s] /proc/loadavg: 1.00 0.98 0.92 2/65 32657 /proc/meminfo: memFree=677920/2055920 swapFree=4182996/4192956 [pid=32656] ppid=32654 vsize=1035768 CPUtime=342.16 /proc/32656/stat : 32656 (bsolo3.0.17) R 32654 32656 32593 0 -1 4194304 260022 0 0 0 34092 124 0 0 25 0 1 0 271445199 1060626432 258322 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32656/statm: 258942 258322 310 324 0 258012 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 1035768 [startup+402.301 s] /proc/loadavg: 1.00 0.98 0.92 2/65 32659 /proc/meminfo: memFree=584352/2055920 swapFree=4182996/4192956 [pid=32656] ppid=32654 vsize=1132288 CPUtime=402.14 /proc/32656/stat : 32656 (bsolo3.0.17) R 32654 32656 32593 0 -1 4194304 284148 0 0 0 40079 135 0 0 25 0 1 0 271445199 1159462912 282448 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32656/statm: 283072 282448 310 324 0 282142 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 1132288 [startup+462.301 s] /proc/loadavg: 1.00 0.98 0.92 2/65 32659 /proc/meminfo: memFree=479264/2055920 swapFree=4182996/4192956 [pid=32656] ppid=32654 vsize=1233656 CPUtime=462.11 /proc/32656/stat : 32656 (bsolo3.0.17) R 32654 32656 32593 0 -1 4194304 309567 0 0 0 46064 147 0 0 25 0 1 0 271445199 1263263744 307783 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32656/statm: 308414 307783 310 324 0 307484 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 1233656 [startup+522.301 s] /proc/loadavg: 1.00 0.98 0.92 2/65 32659 /proc/meminfo: memFree=479328/2055920 swapFree=4182996/4192956 [pid=32656] ppid=32654 vsize=1233656 CPUtime=522.09 /proc/32656/stat : 32656 (bsolo3.0.17) R 32654 32656 32593 0 -1 4194304 309567 0 0 0 52062 147 0 0 25 0 1 0 271445199 1263263744 307783 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32656/statm: 308414 307783 310 324 0 307484 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 1233656 [startup+582.301 s] /proc/loadavg: 1.00 0.98 0.92 2/65 32659 /proc/meminfo: memFree=479328/2055920 swapFree=4182996/4192956 [pid=32656] ppid=32654 vsize=1233656 CPUtime=582.07 /proc/32656/stat : 32656 (bsolo3.0.17) R 32654 32656 32593 0 -1 4194304 309567 0 0 0 58060 147 0 0 25 0 1 0 271445199 1263263744 307783 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32656/statm: 308414 307783 310 324 0 307484 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 1233656 [startup+642.301 s] /proc/loadavg: 1.00 0.98 0.92 2/65 32659 /proc/meminfo: memFree=479392/2055920 swapFree=4182996/4192956 [pid=32656] ppid=32654 vsize=1233656 CPUtime=642.05 /proc/32656/stat : 32656 (bsolo3.0.17) R 32654 32656 32593 0 -1 4194304 309567 0 0 0 64058 147 0 0 25 0 1 0 271445199 1263263744 307783 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32656/statm: 308414 307783 310 324 0 307484 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 1233656 ################ # More data... # ################ /proc/meminfo: memFree=479328/2055920 swapFree=4182996/4192956 [pid=32656] ppid=32654 vsize=1233656 CPUtime=1121.87 /proc/32656/stat : 32656 (bsolo3.0.17) R 32654 32656 32593 0 -1 4194304 309567 0 0 0 112040 147 0 0 25 0 1 0 271445199 1263263744 307783 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32656/statm: 308414 307783 310 324 0 307484 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 1233656 [startup+1182.3 s] /proc/loadavg: 1.00 0.98 0.92 2/65 32659 /proc/meminfo: memFree=479328/2055920 swapFree=4182996/4192956 [pid=32656] ppid=32654 vsize=1233656 CPUtime=1181.85 /proc/32656/stat : 32656 (bsolo3.0.17) R 32654 32656 32593 0 -1 4194304 309567 0 0 0 118038 147 0 0 25 0 1 0 271445199 1263263744 307783 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32656/statm: 308414 307783 310 324 0 307484 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 1233656 [startup+1242.3 s] /proc/loadavg: 1.00 0.98 0.92 2/65 32659 /proc/meminfo: memFree=479264/2055920 swapFree=4182996/4192956 [pid=32656] ppid=32654 vsize=1233656 CPUtime=1241.83 /proc/32656/stat : 32656 (bsolo3.0.17) R 32654 32656 32593 0 -1 4194304 309567 0 0 0 124036 147 0 0 25 0 1 0 271445199 1263263744 307783 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32656/statm: 308414 307783 310 324 0 307484 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 1233656 [startup+1302.3 s] /proc/loadavg: 1.00 0.98 0.92 2/65 32659 /proc/meminfo: memFree=479264/2055920 swapFree=4182996/4192956 [pid=32656] ppid=32654 vsize=1233656 CPUtime=1301.81 /proc/32656/stat : 32656 (bsolo3.0.17) R 32654 32656 32593 0 -1 4194304 309567 0 0 0 130034 147 0 0 25 0 1 0 271445199 1263263744 307783 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32656/statm: 308414 307783 310 324 0 307484 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 1233656 [startup+1362.3 s] /proc/loadavg: 1.00 0.98 0.92 2/65 32659 /proc/meminfo: memFree=479200/2055920 swapFree=4182996/4192956 [pid=32656] ppid=32654 vsize=1233656 CPUtime=1361.79 /proc/32656/stat : 32656 (bsolo3.0.17) R 32654 32656 32593 0 -1 4194304 309567 0 0 0 136032 147 0 0 25 0 1 0 271445199 1263263744 307783 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32656/statm: 308414 307783 310 324 0 307484 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 1233656 [startup+1422.31 s] /proc/loadavg: 1.00 0.98 0.92 2/65 32659 /proc/meminfo: memFree=479264/2055920 swapFree=4182996/4192956 [pid=32656] ppid=32654 vsize=1233656 CPUtime=1421.77 /proc/32656/stat : 32656 (bsolo3.0.17) R 32654 32656 32593 0 -1 4194304 309567 0 0 0 142030 147 0 0 25 0 1 0 271445199 1263263744 307783 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32656/statm: 308414 307783 310 324 0 307484 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 1233656 [startup+1482.3 s] /proc/loadavg: 1.00 0.98 0.92 2/65 32659 /proc/meminfo: memFree=479200/2055920 swapFree=4182996/4192956 [pid=32656] ppid=32654 vsize=1233656 CPUtime=1481.74 /proc/32656/stat : 32656 (bsolo3.0.17) R 32654 32656 32593 0 -1 4194304 309567 0 0 0 148027 147 0 0 25 0 1 0 271445199 1263263744 307783 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32656/statm: 308414 307783 310 324 0 307484 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 1233656 [startup+1542.3 s] /proc/loadavg: 1.00 0.98 0.92 2/71 359 /proc/meminfo: memFree=477808/2055920 swapFree=4182996/4192956 [pid=32656] ppid=32654 vsize=1233656 CPUtime=1541.65 /proc/32656/stat : 32656 (bsolo3.0.17) R 32654 32656 32593 0 -1 4194304 309567 0 0 0 154017 148 0 0 25 0 1 0 271445199 1263263744 307783 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32656/statm: 308414 307783 310 324 0 307484 0 Current children cumulated CPU time (s) 1541.65 Current children cumulated vsize (KiB) 1233656 [startup+1602.3 s] /proc/loadavg: 1.00 0.98 0.92 2/65 389 /proc/meminfo: memFree=478880/2055920 swapFree=4182996/4192956 [pid=32656] ppid=32654 vsize=1233656 CPUtime=1601.61 /proc/32656/stat : 32656 (bsolo3.0.17) R 32654 32656 32593 0 -1 4194304 309567 0 0 0 160013 148 0 0 25 0 1 0 271445199 1263263744 307783 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32656/statm: 308414 307783 310 324 0 307484 0 Current children cumulated CPU time (s) 1601.61 Current children cumulated vsize (KiB) 1233656 [startup+1662.3 s] /proc/loadavg: 1.00 0.98 0.92 2/65 389 /proc/meminfo: memFree=478880/2055920 swapFree=4182996/4192956 [pid=32656] ppid=32654 vsize=1233656 CPUtime=1661.59 /proc/32656/stat : 32656 (bsolo3.0.17) R 32654 32656 32593 0 -1 4194304 309567 0 0 0 166011 148 0 0 25 0 1 0 271445199 1263263744 307783 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32656/statm: 308414 307783 310 324 0 307484 0 Current children cumulated CPU time (s) 1661.59 Current children cumulated vsize (KiB) 1233656 [startup+1722.3 s] /proc/loadavg: 1.00 0.98 0.92 2/65 389 /proc/meminfo: memFree=478880/2055920 swapFree=4182996/4192956 [pid=32656] ppid=32654 vsize=1233656 CPUtime=1721.57 /proc/32656/stat : 32656 (bsolo3.0.17) R 32654 32656 32593 0 -1 4194304 309567 0 0 0 172009 148 0 0 25 0 1 0 271445199 1263263744 307783 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32656/statm: 308414 307783 310 324 0 307484 0 Current children cumulated CPU time (s) 1721.57 Current children cumulated vsize (KiB) 1233656 [startup+1782.3 s] /proc/loadavg: 1.00 0.98 0.92 2/65 389 /proc/meminfo: memFree=478880/2055920 swapFree=4182996/4192956 [pid=32656] ppid=32654 vsize=1233656 CPUtime=1781.55 /proc/32656/stat : 32656 (bsolo3.0.17) R 32654 32656 32593 0 -1 4194304 309567 0 0 0 178007 148 0 0 25 0 1 0 271445199 1263263744 307783 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32656/statm: 308414 307783 310 324 0 307484 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (KiB) 1233656 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 0.98 0.92 2/65 389 /proc/meminfo: memFree=478880/2055920 swapFree=4182996/4192956 [pid=32656] ppid=32654 vsize=1233656 CPUtime=1800.04 /proc/32656/stat : 32656 (bsolo3.0.17) R 32654 32656 32593 0 -1 4194304 309567 0 0 0 179856 148 0 0 25 0 1 0 271445199 1263263744 307783 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32656/statm: 308414 307783 310 324 0 307484 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1233656 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 0.98 0.92 2/65 389 /proc/meminfo: memFree=478880/2055920 swapFree=4182996/4192956 [pid=32656] ppid=32654 vsize=1233660 CPUtime=1800.04 /proc/32656/stat : 32656 (bsolo3.0.17) S 32654 32656 32593 0 -1 4194304 309568 0 0 0 179856 148 0 0 17 0 1 0 271445199 1263267840 307784 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 0 0 0 /proc/32656/statm: 308415 307784 310 324 0 307485 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1233660 [startup+1802.2 s] /proc/loadavg: 1.00 0.98 0.92 1/66 390 /proc/meminfo: memFree=478872/2055920 swapFree=4182996/4192956 [pid=32656] ppid=32654 vsize=1233660 CPUtime=1800.04 /proc/32656/stat : 32656 (bsolo3.0.17) S 32654 32656 32593 0 -1 4194304 309568 0 0 0 179856 148 0 0 17 0 1 0 271445199 1263267840 307784 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 0 0 0 /proc/32656/statm: 308415 307784 310 324 0 307485 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1233660 [startup+1802.6 s] /proc/loadavg: 1.00 0.98 0.92 1/66 390 /proc/meminfo: memFree=478872/2055920 swapFree=4182996/4192956 [pid=32656] ppid=32654 vsize=1233660 CPUtime=1800.04 /proc/32656/stat : 32656 (bsolo3.0.17) S 32654 32656 32593 0 -1 4194304 309568 0 0 0 179856 148 0 0 17 0 1 0 271445199 1263267840 307784 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 0 0 0 /proc/32656/statm: 308415 307784 310 324 0 307485 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1233660 [startup+1802.8 s] /proc/loadavg: 0.92 0.96 0.91 1/66 390 /proc/meminfo: memFree=478872/2055920 swapFree=4182996/4192956 [pid=32656] ppid=32654 vsize=1233660 CPUtime=1800.04 /proc/32656/stat : 32656 (bsolo3.0.17) S 32654 32656 32593 0 -1 4194304 309568 0 0 0 179856 148 0 0 17 0 1 0 271445199 1263267840 307784 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 0 0 0 /proc/32656/statm: 308415 307784 310 324 0 307485 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1233660 [startup+1802.91 s] /proc/loadavg: 0.92 0.96 0.91 1/66 390 /proc/meminfo: memFree=478872/2055920 swapFree=4182996/4192956 [pid=32656] ppid=32654 vsize=0 CPUtime=1800.14 /proc/32656/stat : 32656 (bsolo3.0.17) R 32654 32656 32593 0 -1 4195332 309568 0 0 0 179856 158 0 0 17 0 1 0 271445199 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 0 0 0 /proc/32656/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.99 CPU time (s): 1800.24 CPU user time (s): 1798.57 CPU system time (s): 1.66775 CPU usage (%): 99.8474 Max. virtual memory (cumulated for all children) (KiB): 1233992 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.57 system time used= 1.66775 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 309568 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= 15 involuntary context switches= 3284 runsolver used 1.39479 second user time and 3.58545 second system time The end
Begin job on node67 on Mon Apr 30 17:35:57 UTC 2007 IDJOB= 433108 IDBENCH= 2260 IDSOLVER= 199 FILE ID= node67/433108-1177954557 PBS_JOBID= 4727697 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-1.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433108-1177954557/instance-433108-1177954557.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node67/watcher-433108-1177954557 -o ROOT/results/node67/solver-433108-1177954557 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433108-1177954557/instance-433108-1177954557.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= dc857dc123c51e1f53f981679774fda8 RANDOM SEED= 357382480 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node67.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.263 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.263 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: 1712384 kB Buffers: 23716 kB Cached: 243064 kB SwapCached: 3996 kB Active: 63304 kB Inactive: 213092 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1712384 kB SwapTotal: 4192956 kB SwapFree: 4182996 kB Dirty: 8680 kB Writeback: 0 kB Mapped: 15496 kB Slab: 53120 kB Committed_AS: 1304652 kB PageTables: 1452 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 node67 on Mon Apr 30 18:06:00 UTC 2007