Trace number 3733242

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB07: bsolo 3.0.17SAT (TO)-39 1800.06 1800.72

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb
MD5SUMe81d6b8e8ff8ec031773b7b65d16ea78
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-48
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -50
Optimality of the best value was proved NO
Number of variables1150
Total number of constraints80258
Number of constraints which are clauses80258
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
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 numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

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 15500 MB
0.00/0.00	c Instance file HOME/instance-3733242-1338693756.opb
0.00/0.00	c File size is 1941373 bytes.
0.09/0.15	c Highest Coefficient sum: 1150
0.09/0.15	c Parsing was ok!!
0.09/0.15	c Total parsing time: 0.148 s
0.09/0.17	c Var: 1150 Constr: 80258 80258/0/0 Lit: 160516 Watch. Lit: 160516
0.09/0.17	c Obj. Vars: 1150 (100 % of total variables)
0.69/0.77	c Pre-processing Time: 0.769 s
0.69/0.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.77	c        0   1150    80258   160516    2   160516   26752      0      0 0.77
0.69/0.77	c Switching off LPR mode.
0.69/0.78	o -36	0.775
0.69/0.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.78	c        0   1150    80259   161666    2   160554   27752      1      0 0.78
0.69/0.78	o -37	0.778
0.78/0.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.78/0.84	c        3   1150    80263   166151    2   160599   27752      5      3 0.78
0.78/0.84	c      103   1150    80363   277120    3   160799   30528    105    125 0.82
0.78/0.84	o -38	0.835
0.78/0.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.78/0.85	c      148   1150    80409   328223    4   160929   27752    151    177 0.84
0.78/0.85	o -39	0.845
1800.04/1800.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.04/1800.71	c      166   1150    80428   349324    4   161006   27752    170    196 0.85
1800.04/1800.71	c      267   1150    80529   461124    5   161208   30528    271    301 0.89
1800.04/1800.71	c      517   1150    80779   737670    9   161708   33581    521    501 1.03
1800.04/1800.71	c      993   1150    81255  1264860   15   162660   36940    997    751 1.32
1800.04/1800.71	c     1806   1150    82068  2165412   26   164286   40635   1810    985 1.83
1800.04/1800.71	c     3128   1150    83390  3627590   43   166930   44699   3132   1100 2.84
1800.04/1800.71	c     5209   1150    85471  5932642   69   171092   49169   5213   1070 4.86
1800.04/1800.71	c     8432   1150    88694  9500974  107   177538   54086   8436    981 8.59
1800.04/1800.71	c    13369   1150    93631 14965523  159   187412   59495  13373    790 16.91
1800.04/1800.71	c    20875   1150   101137 23270801  230   202424   65445  20879    633 32.95
1800.04/1800.71	c    32236   1150   112498 35843493  318   225146   71990  32240    411 78.40
1800.04/1800.71	c    49381   1150   129643 54824938  422   259436   79190  49385    284 173.38
1800.04/1800.71	c    75200   1150   155462 83403939  536   311074   87110  75204    268 279.83
1800.04/1800.71	c   114032   1150   118256 42218198  357   236551   95822  37998    192 592.42
1800.04/1800.71	c   172384   1150    92661 13887862  149   185361  105405  12403    182 946.59
1800.04/1800.71	c   260017   1150   180294 110913543  615   360627  115946 100036    183 1415.92
1800.04/1800.71	c Caught signal: 15
1800.04/1800.71	v -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 x1107 -x1106 -x1105 -x1104 -x1103 x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 x968 -x967 -x966 -x965 -x964 x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -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 -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 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 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
1800.04/1800.71	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.04/1800.71	c   20   333118  38244   382148   148866 76127585  68608    185 1800.05
1800.04/1800.71	c Objective: -39
1800.04/1800.71	s SATISFIABLE
1800.04/1800.71	c Total time: 1800.05 s

Verifier Data 

OK	-39

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3733242-1338693756/watcher-3733242-1338693756 -o /tmp/evaluation-result-3733242-1338693756/solver-3733242-1338693756 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3733242-1338693756.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.98 2.04 2.14 2/176 12436
/proc/meminfo: memFree=25131788/32873648 swapFree=7368/7368
[pid=12436] ppid=12434 vsize=4476 CPUtime=0 cores=0,2,4,6
/proc/12436/stat : 12436 (bsolo3.0.17) R 12434 12436 10459 0 -1 4194304 196 0 0 0 0 0 0 0 20 0 1 0 335499702 4583424 147 33554432000 134512640 135840783 4290878032 4290877172 2510476 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12436/statm: 1119 148 130 325 0 39 0

[startup+0.0225529 s]
/proc/loadavg: 1.98 2.04 2.14 2/176 12436
/proc/meminfo: memFree=25131788/32873648 swapFree=7368/7368
[pid=12436] ppid=12434 vsize=7276 CPUtime=0.01 cores=0,2,4,6
/proc/12436/stat : 12436 (bsolo3.0.17) R 12434 12436 10459 0 -1 4202496 682 0 0 0 1 0 0 0 20 0 1 0 335499702 7450624 619 33554432000 134512640 135840783 4290878032 4290876736 3077415 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12436/statm: 1819 619 365 325 0 281 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7276

[startup+0.100212 s]
/proc/loadavg: 1.98 2.04 2.14 2/176 12436
/proc/meminfo: memFree=25131788/32873648 swapFree=7368/7368
[pid=12436] ppid=12434 vsize=11400 CPUtime=0.09 cores=0,2,4,6
/proc/12436/stat : 12436 (bsolo3.0.17) R 12434 12436 10459 0 -1 4202496 1969 0 0 0 9 0 0 0 20 0 1 0 335499702 11673600 1906 33554432000 134512640 135840783 4290878032 4290876864 3077415 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12436/statm: 2850 1908 615 325 0 1312 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11400

[startup+0.300233 s]
/proc/loadavg: 1.98 2.04 2.14 2/176 12436
/proc/meminfo: memFree=25131788/32873648 swapFree=7368/7368
[pid=12436] ppid=12434 vsize=18996 CPUtime=0.29 cores=0,2,4,6
/proc/12436/stat : 12436 (bsolo3.0.17) R 12434 12436 10459 0 -1 4202496 4525 0 0 0 28 1 0 0 20 0 1 0 335499702 19451904 3988 33554432000 134512640 135840783 4290878032 4290863148 11678768 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12436/statm: 4749 3988 343 325 0 3685 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18996

[startup+0.700219 s]
/proc/loadavg: 1.98 2.04 2.14 2/176 12436
/proc/meminfo: memFree=25131788/32873648 swapFree=7368/7368
[pid=12436] ppid=12434 vsize=18996 CPUtime=0.69 cores=0,2,4,6
/proc/12436/stat : 12436 (bsolo3.0.17) R 12434 12436 10459 0 -1 4202496 4525 0 0 0 67 2 0 0 20 0 1 0 335499702 19451904 3988 33554432000 134512640 135840783 4290878032 4290863148 11678768 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12436/statm: 4749 3988 343 325 0 3685 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18996

[startup+1.5002 s]
/proc/loadavg: 1.98 2.04 2.14 3/177 12437
/proc/meminfo: memFree=25113412/32873648 swapFree=7368/7368
[pid=12436] ppid=12434 vsize=35308 CPUtime=1.49 cores=0,2,4,6
/proc/12436/stat : 12436 (bsolo3.0.17) R 12434 12436 10459 0 -1 4202496 9826 0 0 0 146 3 0 0 20 0 1 0 335499702 36155392 8088 33554432000 134512640 135840783 4290878032 4290877276 3079744 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12436/statm: 8827 8088 348 325 0 7763 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35308

[startup+3.10019 s]
/proc/loadavg: 1.98 2.04 2.14 3/177 12437
/proc/meminfo: memFree=25087504/32873648 swapFree=7368/7368
[pid=12436] ppid=12434 vsize=66672 CPUtime=3.09 cores=0,2,4,6
/proc/12436/stat : 12436 (bsolo3.0.17) R 12434 12436 10459 0 -1 4202496 17664 0 0 0 305 4 0 0 20 0 1 0 335499702 68272128 15926 33554432000 134512640 135840783 4290878032 4290877168 3074861 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12436/statm: 16668 15926 348 325 0 15604 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 66672

[startup+6.30023 s]
/proc/loadavg: 1.98 2.04 2.14 3/177 12437
/proc/meminfo: memFree=25034308/32873648 swapFree=7368/7368
[pid=12436] ppid=12434 vsize=112592 CPUtime=6.28 cores=0,2,4,6
/proc/12436/stat : 12436 (bsolo3.0.17) R 12434 12436 10459 0 -1 4202496 29155 0 0 0 622 6 0 0 20 0 1 0 335499702 115294208 27417 33554432000 134512640 135840783 4290878032 4290877392 134550878 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12436/statm: 28148 27417 348 325 0 27084 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 112592

[startup+12.7002 s]
/proc/loadavg: 1.98 2.04 2.14 3/177 12437
/proc/meminfo: memFree=24962308/32873648 swapFree=7368/7368
[pid=12436] ppid=12434 vsize=177244 CPUtime=12.68 cores=0,2,4,6
/proc/12436/stat : 12436 (bsolo3.0.17) R 12434 12436 10459 0 -1 4202496 45307 0 0 0 1259 9 0 0 20 0 1 0 335499702 181497856 43569 33554432000 134512640 135840783 4290878032 4290877392 134550957 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12436/statm: 44311 43569 348 325 0 43247 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 177244

[startup+25.5003 s]
/proc/loadavg: 1.99 2.03 2.14 3/177 12437
/proc/meminfo: memFree=24861224/32873648 swapFree=7368/7368
[pid=12436] ppid=12434 vsize=277824 CPUtime=25.48 cores=0,2,4,6
/proc/12436/stat : 12436 (bsolo3.0.17) R 12434 12436 10459 0 -1 4202496 70445 0 0 0 2534 14 0 0 20 0 1 0 335499702 284491776 68707 33554432000 134512640 135840783 4290878032 4290877344 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12436/statm: 69456 68707 348 325 0 68392 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 277824

[startup+51.1003 s]
/proc/loadavg: 1.99 2.03 2.13 3/177 12437
/proc/meminfo: memFree=24732356/32873648 swapFree=7368/7368
[pid=12436] ppid=12434 vsize=406212 CPUtime=51.08 cores=0,2,4,6
/proc/12436/stat : 12436 (bsolo3.0.17) R 12434 12436 10459 0 -1 4202496 102566 0 0 0 5086 22 0 0 20 0 1 0 335499702 415961088 100828 33554432000 134512640 135840783 4290878032 4290877392 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12436/statm: 101553 100828 348 325 0 100489 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 406212

[startup+102.306 s]
/proc/loadavg: 2.07 2.04 2.13 3/177 12437
/proc/meminfo: memFree=24576304/32873648 swapFree=7368/7368
[pid=12436] ppid=12434 vsize=558948 CPUtime=102.27 cores=0,2,4,6
/proc/12436/stat : 12436 (bsolo3.0.17) R 12434 12436 10459 0 -1 4202496 140725 0 0 0 10195 32 0 0 20 0 1 0 335499702 572362752 138987 33554432000 134512640 135840783 4290878032 4290877392 134550902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12436/statm: 139737 138987 348 325 0 138673 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 558948

[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.12 3/177 12437
/proc/meminfo: memFree=24441172/32873648 swapFree=7368/7368
[pid=12436] ppid=12434 vsize=694648 CPUtime=162.26 cores=0,2,4,6
/proc/12436/stat : 12436 (bsolo3.0.17) R 12434 12436 10459 0 -1 4202496 174665 0 0 0 16185 41 0 0 20 0 1 0 335499702 711319552 172927 33554432000 134512640 135840783 4290878032 4290877392 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12436/statm: 173662 172927 348 325 0 172598 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 694648

[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.10 3/177 12437
/proc/meminfo: memFree=24185900/32873648 swapFree=7368/7368
[pid=12436] ppid=12434 vsize=948784 CPUtime=222.25 cores=0,2,4,6
/proc/12436/stat : 12436 (bsolo3.0.17) R 12434 12436 10459 0 -1 4202496 238199 0 0 0 22172 53 0 0 20 0 1 0 335499702 971554816 236461 33554432000 134512640 135840783 4290878032 4290877392 134550782 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12436/statm: 237196 236461 348 325 0 236132 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 948784

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.09 3/177 12438
/proc/meminfo: memFree=24029392/32873648 swapFree=7368/7368
[pid=12436] ppid=12434 vsize=1112592 CPUtime=282.24 cores=0,2,4,6
/proc/12436/stat : 12436 (bsolo3.0.17) R 12434 12436 10459 0 -1 4202496 279136 0 0 0 28161 63 0 0 20 0 1 0 335499702 1139294208 277398 33554432000 134512640 135840783 4290878032 4290877392 134551104 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12436/statm: 278148 277398 348 325 0 277084 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1112592

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.09 3/177 12438
/proc/meminfo: memFree=23866608/32873648 swapFree=7368/7368
[pid=12436] ppid=12434 vsize=1266484 CPUtime=342.23 cores=0,2,4,6
/proc/12436/stat : 12436 (bsolo3.0.17) R 12434 12436 10459 0 -1 4202496 317700 0 0 0 34151 72 0 0 20 0 1 0 335499702 1296879616 315875 33554432000 134512640 135840783 4290878032 4290877392 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12436/statm: 316621 315875 348 325 0 315557 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1266484

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.08 3/177 12438
/proc/meminfo: memFree=23865788/32873648 swapFree=7368/7368
[pid=12436] ppid=12434 vsize=1266484 CPUtime=402.22 cores=0,2,4,6
/proc/12436/stat : 12436 (bsolo3.0.17) R 12434 12436 10459 0 -1 4202496 317700 0 0 0 40150 72 0 0 20 0 1 0 335499702 1296879616 315875 33554432000 134512640 135840783 4290878032 4290877392 134551312 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12436/statm: 316621 315875 348 325 0 315557 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1266484

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/178 12441
/proc/meminfo: memFree=23841832/32873648 swapFree=7368/7368
[pid=12436] ppid=12434 vsize=1266484 CPUtime=462.21 cores=0,2,4,6
/proc/12436/stat : 12436 (bsolo3.0.17) R 12434 12436 10459 0 -1 4202496 317700 0 0 0 46149 72 0 0 20 0 1 0 335499702 1296879616 315875 33554432000 134512640 135840783 4290878032 4290864016 134574500 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12436/statm: 316621 315875 348 325 0 315557 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1266484

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/177 12441
/proc/meminfo: memFree=23808388/32873648 swapFree=7368/7368
[pid=12436] ppid=12434 vsize=1266484 CPUtime=522.21 cores=0,2,4,6
/proc/12436/stat : 12436 (bsolo3.0.17) R 12434 12436 10459 0 -1 4202496 317700 0 0 0 52149 72 0 0 20 0 1 0 335499702 1296879616 315875 33554432000 134512640 135840783 4290878032 4290877392 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12436/statm: 316621 315875 348 325 0 315557 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1266484

[startup+582.3 s]
/proc/loadavg: 2.08 2.02 2.07 3/177 12442
/proc/meminfo: memFree=23766904/32873648 swapFree=7368/7368
[pid=12436] ppid=12434 vsize=1266484 CPUtime=582.2 cores=0,2,4,6
/proc/12436/stat : 12436 (bsolo3.0.17) R 12434 12436 10459 0 -1 4202496 317700 0 0 0 58148 72 0 0 20 0 1 0 335499702 1296879616 315875 33554432000 134512640 135840783 4290878032 4290877392 134551104 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12436/statm: 316621 315875 348 325 0 315557 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1266484

[startup+642.3 s]

################
# More data... #
################

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 12482
/proc/meminfo: memFree=25681544/32873648 swapFree=7368/7368
[pid=12436] ppid=12434 vsize=1313200 CPUtime=882.08 cores=0,2,4,6
/proc/12436/stat : 12436 (bsolo3.0.17) R 12434 12436 10459 0 -1 4202496 329500 0 0 0 88133 75 0 0 20 0 1 0 335499702 1344716800 327565 33554432000 134512640 135840783 4290878032 4290877392 134551104 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12436/statm: 328300 327565 348 325 0 327236 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 1313200

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/177 12482
/proc/meminfo: memFree=25590928/32873648 swapFree=7368/7368
[pid=12436] ppid=12434 vsize=1381396 CPUtime=942.06 cores=0,2,4,6
/proc/12436/stat : 12436 (bsolo3.0.17) R 12434 12436 10459 0 -1 4202496 346676 0 0 0 94125 81 0 0 20 0 1 0 335499702 1414549504 344622 33554432000 134512640 135840783 4290878032 4290877200 134546112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12436/statm: 345349 344622 348 325 0 344285 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 1381396

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/177 12482
/proc/meminfo: memFree=25591208/32873648 swapFree=7368/7368
[pid=12436] ppid=12434 vsize=1381396 CPUtime=1002.03 cores=0,2,4,6
/proc/12436/stat : 12436 (bsolo3.0.17) R 12434 12436 10459 0 -1 4202496 346711 0 0 0 100122 81 0 0 20 0 1 0 335499702 1414549504 344622 33554432000 134512640 135840783 4290878032 4290877392 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12436/statm: 345349 344622 348 325 0 344285 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 1381396

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/178 12485
/proc/meminfo: memFree=25593468/32873648 swapFree=7368/7368
[pid=12436] ppid=12434 vsize=1381396 CPUtime=1061.99 cores=0,2,4,6
/proc/12436/stat : 12436 (bsolo3.0.17) R 12434 12436 10459 0 -1 4202496 346757 0 0 0 106118 81 0 0 20 0 1 0 335499702 1414549504 344622 33554432000 134512640 135840783 4290878032 4290877344 134550910 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12436/statm: 345349 344622 348 325 0 344285 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 1381396

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/177 12485
/proc/meminfo: memFree=25570288/32873648 swapFree=7368/7368
[pid=12436] ppid=12434 vsize=1381396 CPUtime=1121.96 cores=0,2,4,6
/proc/12436/stat : 12436 (bsolo3.0.17) R 12434 12436 10459 0 -1 4202496 346799 0 0 0 112115 81 0 0 20 0 1 0 335499702 1414549504 344622 33554432000 134512640 135840783 4290878032 4290877344 134551063 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12436/statm: 345349 344622 348 325 0 344285 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 1381396

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/176 12485
/proc/meminfo: memFree=25570076/32873648 swapFree=7368/7368
[pid=12436] ppid=12434 vsize=1381396 CPUtime=1181.93 cores=0,2,4,6
/proc/12436/stat : 12436 (bsolo3.0.17) R 12434 12436 10459 0 -1 4202496 346835 0 0 0 118112 81 0 0 20 0 1 0 335499702 1414549504 344622 33554432000 134512640 135840783 4290878032 4290877392 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12436/statm: 345349 344622 348 325 0 344285 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 1381396

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12486
/proc/meminfo: memFree=25570344/32873648 swapFree=7368/7368
[pid=12436] ppid=12434 vsize=1381396 CPUtime=1241.9 cores=0,2,4,6
/proc/12436/stat : 12436 (bsolo3.0.17) R 12434 12436 10459 0 -1 4202496 346879 0 0 0 124109 81 0 0 20 0 1 0 335499702 1414549504 344622 33554432000 134512640 135840783 4290878032 4290877392 134551104 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12436/statm: 345349 344622 348 325 0 344285 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 1381396

[startup+1302.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 12486
/proc/meminfo: memFree=25570124/32873648 swapFree=7368/7368
[pid=12436] ppid=12434 vsize=1381396 CPUtime=1301.87 cores=0,2,4,6
/proc/12436/stat : 12436 (bsolo3.0.17) R 12434 12436 10459 0 -1 4202496 346922 0 0 0 130106 81 0 0 20 0 1 0 335499702 1414549504 344622 33554432000 134512640 135840783 4290878032 4290877268 3072130 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12436/statm: 345349 344622 348 325 0 344285 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1381396

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 12486
/proc/meminfo: memFree=25543864/32873648 swapFree=7368/7368
[pid=12436] ppid=12434 vsize=1381396 CPUtime=1361.83 cores=0,2,4,6
/proc/12436/stat : 12436 (bsolo3.0.17) R 12434 12436 10459 0 -1 4202496 346961 0 0 0 136102 81 0 0 20 0 1 0 335499702 1414549504 344622 33554432000 134512640 135840783 4290878032 4290877392 134550820 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12436/statm: 345349 344622 348 325 0 344285 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1381396

[startup+1422.31 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 12486
/proc/meminfo: memFree=25401788/32873648 swapFree=7368/7368
[pid=12436] ppid=12434 vsize=1524464 CPUtime=1421.8 cores=0,2,4,6
/proc/12436/stat : 12436 (bsolo3.0.17) R 12434 12436 10459 0 -1 4202496 382746 0 0 0 142091 89 0 0 20 0 1 0 335499702 1561051136 380375 33554432000 134512640 135840783 4290878032 4290863872 134586540 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12436/statm: 381116 380375 348 325 0 380052 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1524464

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 12486
/proc/meminfo: memFree=25249052/32873648 swapFree=7368/7368
[pid=12436] ppid=12434 vsize=1675468 CPUtime=1481.76 cores=0,2,4,6
/proc/12436/stat : 12436 (bsolo3.0.17) R 12434 12436 10459 0 -1 4202496 420653 0 0 0 148080 96 0 0 20 0 1 0 335499702 1715679232 418139 33554432000 134512640 135840783 4290878032 4290877268 3072094 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12436/statm: 418867 418139 348 325 0 417803 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 1675468

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 12487
/proc/meminfo: memFree=25249204/32873648 swapFree=7368/7368
[pid=12436] ppid=12434 vsize=1675468 CPUtime=1541.74 cores=0,2,4,6
/proc/12436/stat : 12436 (bsolo3.0.17) R 12434 12436 10459 0 -1 4202496 420671 0 0 0 154078 96 0 0 20 0 1 0 335499702 1715679232 418139 33554432000 134512640 135840783 4290878032 4290877392 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12436/statm: 418867 418139 348 325 0 417803 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 1675468

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12487
/proc/meminfo: memFree=25248860/32873648 swapFree=7368/7368
[pid=12436] ppid=12434 vsize=1675468 CPUtime=1601.69 cores=0,2,4,6
/proc/12436/stat : 12436 (bsolo3.0.17) R 12434 12436 10459 0 -1 4202496 420713 0 0 0 160073 96 0 0 20 0 1 0 335499702 1715679232 418139 33554432000 134512640 135840783 4290878032 4290877344 134550863 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12436/statm: 418867 418139 348 325 0 417803 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 1675468

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12490
/proc/meminfo: memFree=25221112/32873648 swapFree=7368/7368
[pid=12436] ppid=12434 vsize=1675468 CPUtime=1661.65 cores=0,2,4,6
/proc/12436/stat : 12436 (bsolo3.0.17) R 12434 12436 10459 0 -1 4202496 420760 0 0 0 166069 96 0 0 20 0 1 0 335499702 1715679232 418139 33554432000 134512640 135840783 4290878032 4290877392 134550820 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12436/statm: 418867 418139 348 325 0 417803 0
Current children cumulated CPU time (s) 1661.65
Current children cumulated vsize (KiB) 1675468

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12490
/proc/meminfo: memFree=25220776/32873648 swapFree=7368/7368
[pid=12436] ppid=12434 vsize=1675468 CPUtime=1721.64 cores=0,2,4,6
/proc/12436/stat : 12436 (bsolo3.0.17) R 12434 12436 10459 0 -1 4202496 420772 0 0 0 172068 96 0 0 20 0 1 0 335499702 1715679232 418139 33554432000 134512640 135840783 4290878032 4290877392 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12436/statm: 418867 418139 348 325 0 417803 0
Current children cumulated CPU time (s) 1721.64
Current children cumulated vsize (KiB) 1675468

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12490
/proc/meminfo: memFree=25220308/32873648 swapFree=7368/7368
[pid=12436] ppid=12434 vsize=1675468 CPUtime=1781.63 cores=0,2,4,6
/proc/12436/stat : 12436 (bsolo3.0.17) R 12434 12436 10459 0 -1 4202496 420772 0 0 0 178067 96 0 0 20 0 1 0 335499702 1715679232 418139 33554432000 134512640 135840783 4290878032 4290877392 134551071 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12436/statm: 418867 418139 348 325 0 417803 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 1675468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12491
/proc/meminfo: memFree=25220524/32873648 swapFree=7368/7368
[pid=12436] ppid=12434 vsize=1675468 CPUtime=1800.04 cores=0,2,4,6
/proc/12436/stat : 12436 (bsolo3.0.17) R 12434 12436 10459 0 -1 4202496 420772 0 0 0 179908 96 0 0 20 0 1 0 335499702 1715679232 418139 33554432000 134512640 135840783 4290878032 4290877392 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12436/statm: 418867 418139 348 325 0 417803 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1675468

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: 2.00 2.00 2.00 3/177 12491
/proc/meminfo: memFree=25220524/32873648 swapFree=7368/7368
[pid=12436] ppid=12434 vsize=1675468 CPUtime=1800.04 cores=0,2,4,6
/proc/12436/stat : 12436 (bsolo3.0.17) R 12434 12436 10459 0 -1 4202496 420772 0 0 0 179908 96 0 0 20 0 1 0 335499702 1715679232 418139 33554432000 134512640 135840783 4290878032 4290877392 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12436/statm: 418867 418139 348 325 0 417803 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1675468

Child status: 15
Real time (s): 1800.72
CPU time (s): 1800.06
CPU user time (s): 1799.08
CPU system time (s): 0.973851
CPU usage (%): 99.9633
Max. virtual memory (cumulated for all children) (KiB): 1675928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.08
system time used= 0.973851
maximum resident set size= 1673016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 420775
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= 631
involuntary context switches= 1924

runsolver used 3.35049 second user time and 9.10462 second system time

The end

Launcher Data 

Begin job on node149 at 2012-06-03 05:22:36
IDJOB=3733242
IDBENCH=2263
IDSOLVER=2318
FILE ID=node149/3733242-1338693756
RUNJOBID= node149-1338678596-10475
PBS_JOBID= 14636664
Free space on /tmp= 71044 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3733242-1338693756/watcher-3733242-1338693756 -o /tmp/evaluation-result-3733242-1338693756/solver-3733242-1338693756 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3733242-1338693756.opb            

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= e81d6b8e8ff8ec031773b7b65d16ea78
RANDOM SEED=1802154168

node149.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        25132432 kB
Buffers:          711536 kB
Cached:          4041336 kB
SwapCached:         2468 kB
Active:          3997508 kB
Inactive:        2855116 kB
Active(anon):    2082492 kB
Inactive(anon):     9368 kB
Active(file):    1915016 kB
Inactive(file):  2845748 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104892 kB
Dirty:              8572 kB
Writeback:             0 kB
AnonPages:       2078252 kB
Mapped:            15636 kB
Shmem:                96 kB
Slab:             745908 kB
SReclaimable:     190180 kB
SUnreclaim:       555728 kB
KernelStack:        1456 kB
PageTables:         8380 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    2203916 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1183744 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71040 MiB
End job on node149 at 2012-06-03 05:52:39