Trace number 3741718

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)-62126175 1800.15 1800.68

General information on the benchmark

Name/OPT-BIGINT-LIN/
heinz/normalized-harp2.opb
MD5SUM3f0afbcd16b5dd29f67967742a878949
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-67205306
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2993
Total number of constraints112
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)73
Number of constraints which are nor clauses,nor cardinality constraints39
Minimum length of a constraint41
Maximum length of a constraint73
Number of terms in the objective function 2993
Biggest coefficient in the objective function 17006200
Number of bits for the biggest coefficient in the objective function 25
Sum of the numbers in the objective function 4415092451
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 4208540000
Number of bits of the biggest number in a constraint 32
Biggest sum of numbers in a constraint 46909379837
Number of bits of the biggest sum of numbers36
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-3741718-1338762553.opb
0.00/0.00	c File size is 112955 bytes.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Highest Coefficient sum: 4.69094e+10
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.007 s
0.00/0.01	c Var: 2993 Constr: 185 73/73/39 Lit: 8833 Watch. Lit: 5557
0.00/0.01	c Obj. Vars: 2993 (100 % of total variables)
0.00/0.02	c Pre-processing Time: 0.02 s
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1373      173     7957   45     4872   43873      0      0 0.02
0.00/0.02	o -52043396	0.021
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c        0   1373      174     9330   53     5301   46619      1      0 0.02
0.09/0.17	c      100   1373      274   111241  405     5504   51281    101   1754 0.06
0.09/0.17	c      350   1373      524   365353  697     6011   56410    351   2058 0.17
0.09/0.17	o -52873767	0.172
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c      350   1373      525   366726  698     6337   46619    352   2023 0.17
0.09/0.17	o -54846522	0.175
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c      350   1373      526   368099  699     6694   46619    353   1988 0.18
0.09/0.19	o -54864722	0.192
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c      376   1373      553   397299  718     7111   46619    380   1958 0.19
0.19/0.20	o -59012861	0.196
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c      387   1373      565   399263  706     7317   46619    392   1964 0.20
0.19/0.21	o -59020932	0.207
0.99/1.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.06	c      400   1373      579   412474  712     7689   46619    406   1923 0.21
0.99/1.06	c      501   1373      680   517798  761     8027   51281    507   1751 0.29
0.99/1.06	c      751   1373      930   776075  834     8546   56410    757   1406 0.53
0.99/1.06	c     1226   1373     1405  1267277  901     9387   62052   1232   1164 1.05
0.99/1.06	o -59120253	1.065
6.99/7.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.99/7.09	c     1237   1373     1417  1271499  897     9812   46619   1244   1161 1.06
6.99/7.09	c     1337   1373     1517  1361505  897     9913   51281   1344   1112 1.20
6.99/7.09	c     1587   1373     1767  1627524  921    10488   56410   1594   1064 1.49
6.99/7.09	c     2063   1373     2243  2127576  948    11470   62052   2070   1011 2.04
6.99/7.09	c     2876   1373     3056  2795251  914    12979   68258   2883   1074 2.68
6.99/7.09	c     4197   1373     4377  4182294  955    15794   75084   4204    945 4.44
6.99/7.09	c     6278   1373     6458  6278606  972    20110   82593   6285    889 7.06
6.99/7.09	o -60480780	7.089
9.68/9.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.68/9.73	c     6408   1373     6589  6284411  953    20277   46619   6416    903 7.09
9.68/9.73	c     6508   1373     6689  6389658  955    20613   51281   6516    905 7.19
9.68/9.73	c     6759   1373     6940  6648597  958    21055   56410   6767    904 7.47
9.68/9.73	c     7235   1373     7416  7144141  963    22272   62052   7243    897 8.06
9.68/9.73	c     8050   1373     8231  7182721  872    23329   68258   8058    985 8.17
9.68/9.73	c     9370   1373     9551  8560874  896    26476   75084   9378    965 9.70
9.68/9.73	o -62126175	9.729
1800.07/1800.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.07/1800.60	c     9519   1373     9701  8568988  883    26665   46619   9528    978 9.73
1800.07/1800.60	c     9619   1373     9801  8674699  885    27125   51281   9628    977 9.84
1800.07/1800.60	c     9870   1373    10052  8942115  889    27528   56410   9879    977 10.10
1800.07/1800.60	c    10345   1373    10527  9447848  897    28618   62052  10354    972 10.64
1800.07/1800.60	c    11158   1373    11340 10188813  898    30150   68258  11167    982 11.36
1800.07/1800.60	c    12478   1373    12660 11607114  916    33096   75084  12487    948 13.16
1800.07/1800.60	c    14560   1373    14742 13789856  935    36939   82593  14569    906 16.07
1800.07/1800.60	c    17783   1373    17965 17113687  952    43485   90853  17792    887 20.04
1800.07/1800.60	c    22719   1373    22901 22342551  975    53417   99939  22728    870 26.11
1800.07/1800.60	c    30226   1373    30408 30389522  999    68359  109933  30235    810 37.28
1800.07/1800.60	c    41587   1373    41769 42714574 1022    90914  120927  41596    763 54.44
1800.07/1800.60	c    58732   1373    58914 59885044 1016   125334  133020  58741    595 98.70
1800.07/1800.60	c    84551   1373    84733 86463340 1020   176968  146323  84560    441 191.71
1800.07/1800.60	c   123383   1373   123565 127413827 1031   254795  160956 123392    332 370.56
1800.07/1800.60	c   181735   1373    30766 33185791 1078    66497  177052  30593    270 672.79
1800.07/1800.60	c   269369   1373   118400 126972902 1072   241825  194758 118227    210 1279.47
1800.07/1800.60	c   400921   1373    65242 69047751 1058   135515  214234  65069    230 1738.50
1800.07/1800.60	c Caught signal: 15
1800.07/1800.60	v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 x1718 -x1719 -x1720 -x1721 -x1722 x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 x2007 -x2008 -x2009 x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 x2253 -x2254 -x2255 -x2256 -x2257 x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 x2497 -x2498 -x2499 -x2500 -x2501 x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 
1800.07/1800.60	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.07/1800.60	c   41   426171  19926   451381    90492 95920611  90319    236 1800.08
1800.07/1800.60	c Objective: -62126175
1800.07/1800.60	s SATISFIABLE
1800.07/1800.60	c Total time: 1800.08 s

Verifier Data

OK	-62126175

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-3741718-1338762553/watcher-3741718-1338762553 -o /tmp/evaluation-result-3741718-1338762553/solver-3741718-1338762553 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3741718-1338762553.opb 

running on 4 cores: 1,3,5,7

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: 4.47 3.07 2.40 3/177 7482
/proc/meminfo: memFree=28198544/32873844 swapFree=7112/7112
[pid=7482] ppid=7480 vsize=12620 CPUtime=0 cores=1,3,5,7
/proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 483 0 0 0 0 0 0 0 20 0 1 0 342380982 12922880 420 33554432000 134512640 135840783 4287502496 4287501152 6001959 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7482/statm: 3155 420 329 325 0 2063 0

[startup+0.094105 s]
/proc/loadavg: 4.47 3.07 2.40 3/177 7482
/proc/meminfo: memFree=28198544/32873844 swapFree=7112/7112
[pid=7482] ppid=7480 vsize=7428 CPUtime=0.08 cores=1,3,5,7
/proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 1224 0 0 0 8 0 0 0 20 0 1 0 342380982 7606272 1133 33554432000 134512640 135840783 4287502496 4287489248 134586540 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7482/statm: 1857 1133 349 325 0 793 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7428

[startup+0.10022 s]
/proc/loadavg: 4.47 3.07 2.40 3/177 7482
/proc/meminfo: memFree=28198544/32873844 swapFree=7112/7112
[pid=7482] ppid=7480 vsize=7676 CPUtime=0.09 cores=1,3,5,7
/proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 1266 0 0 0 9 0 0 0 20 0 1 0 342380982 7860224 1175 33554432000 134512640 135840783 4287502496 4287489888 134586540 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7482/statm: 1919 1175 349 325 0 855 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7676

[startup+0.30018 s]
/proc/loadavg: 4.47 3.07 2.40 3/177 7482
/proc/meminfo: memFree=28198544/32873844 swapFree=7112/7112
[pid=7482] ppid=7480 vsize=11944 CPUtime=0.29 cores=1,3,5,7
/proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 2327 0 0 0 29 0 0 0 20 0 1 0 342380982 12230656 2236 33554432000 134512640 135840783 4287502496 4287501856 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7482/statm: 2986 2236 349 325 0 1922 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11944

[startup+0.700173 s]
/proc/loadavg: 4.47 3.07 2.40 3/177 7482
/proc/meminfo: memFree=28198544/32873844 swapFree=7112/7112
[pid=7482] ppid=7480 vsize=16444 CPUtime=0.69 cores=1,3,5,7
/proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 3479 0 0 0 69 0 0 0 20 0 1 0 342380982 16838656 3388 33554432000 134512640 135840783 4287502496 4287489372 14342336 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7482/statm: 4111 3388 349 325 0 3047 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16444

[startup+1.50018 s]
/proc/loadavg: 4.47 3.07 2.40 3/178 7483
/proc/meminfo: memFree=28174116/32873844 swapFree=7112/7112
[pid=7482] ppid=7480 vsize=26068 CPUtime=1.48 cores=1,3,5,7
/proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 5865 0 0 0 148 0 0 0 20 0 1 0 342380982 26693632 5774 33554432000 134512640 135840783 4287502496 4287501856 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7482/statm: 6517 5774 349 325 0 5453 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 26068

[startup+3.10018 s]
/proc/loadavg: 4.47 3.07 2.40 3/178 7483
/proc/meminfo: memFree=28152172/32873844 swapFree=7112/7112
[pid=7482] ppid=7480 vsize=45400 CPUtime=3.08 cores=1,3,5,7
/proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 10694 0 0 0 307 1 0 0 20 0 1 0 342380982 46489600 10603 33554432000 134512640 135840783 4287502496 4287501856 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7482/statm: 11350 10603 349 325 0 10286 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 45400

[startup+6.30018 s]
/proc/loadavg: 4.27 3.06 2.39 3/178 7483
/proc/meminfo: memFree=28089856/32873844 swapFree=7112/7112
[pid=7482] ppid=7480 vsize=77924 CPUtime=6.29 cores=1,3,5,7
/proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 18832 0 0 0 626 3 0 0 20 0 1 0 342380982 79794176 18741 33554432000 134512640 135840783 4287502496 4287501856 134550884 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7482/statm: 19481 18741 349 325 0 18417 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 77924

[startup+12.7002 s]
/proc/loadavg: 4.09 3.04 2.39 3/178 7483
/proc/meminfo: memFree=27950256/32873844 swapFree=7112/7112
[pid=7482] ppid=7480 vsize=149704 CPUtime=12.68 cores=1,3,5,7
/proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 36768 0 0 0 1262 6 0 0 20 0 1 0 342380982 153296896 36677 33554432000 134512640 135840783 4287502496 4287501856 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7482/statm: 37426 36677 349 325 0 36362 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 149704

[startup+25.5002 s]
/proc/loadavg: 3.63 2.99 2.38 3/178 7483
/proc/meminfo: memFree=27663664/32873844 swapFree=7112/7112
[pid=7482] ppid=7480 vsize=285192 CPUtime=25.48 cores=1,3,5,7
/proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 70652 0 0 0 2536 12 0 0 20 0 1 0 342380982 292036608 70561 33554432000 134512640 135840783 4287502496 4287488928 134586540 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7482/statm: 71298 70561 349 325 0 70234 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 285192

[startup+51.1003 s]
/proc/loadavg: 3.07 2.91 2.37 3/178 7485
/proc/meminfo: memFree=27302504/32873844 swapFree=7112/7112
[pid=7482] ppid=7480 vsize=525996 CPUtime=51.08 cores=1,3,5,7
/proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 130850 0 0 0 5085 23 0 0 20 0 1 0 342380982 538619904 130759 33554432000 134512640 135840783 4287502496 4287501856 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7482/statm: 131499 130759 349 325 0 130435 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 525996

[startup+102.307 s]
/proc/loadavg: 2.46 2.77 2.35 3/178 7485
/proc/meminfo: memFree=26596524/32873844 swapFree=7112/7112
[pid=7482] ppid=7480 vsize=799336 CPUtime=102.27 cores=1,3,5,7
/proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 199189 0 0 0 10188 39 0 0 20 0 1 0 342380982 818520064 199098 33554432000 134512640 135840783 4287502496 4287501856 134551359 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7482/statm: 199834 199098 349 325 0 198770 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 799336

[startup+162.3 s]
/proc/loadavg: 2.17 2.62 2.33 3/177 7485
/proc/meminfo: memFree=25788452/32873844 swapFree=7112/7112
[pid=7482] ppid=7480 vsize=1031440 CPUtime=162.26 cores=1,3,5,7
/proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 257205 0 0 0 16175 51 0 0 20 0 1 0 342380982 1056194560 257114 33554432000 134512640 135840783 4287502496 4287501808 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7482/statm: 257860 257114 349 325 0 256796 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1031440

[startup+222.3 s]
/proc/loadavg: 2.06 2.51 2.30 3/177 7485
/proc/meminfo: memFree=25193652/32873844 swapFree=7112/7112
[pid=7482] ppid=7480 vsize=1219440 CPUtime=222.25 cores=1,3,5,7
/proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 304225 0 0 0 22162 63 0 0 20 0 1 0 342380982 1248706560 304134 33554432000 134512640 135840783 4287502496 4287501856 134550878 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7482/statm: 304860 304134 349 325 0 303796 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1219440

[startup+282.3 s]
/proc/loadavg: 2.02 2.41 2.28 3/177 7486
/proc/meminfo: memFree=24693216/32873844 swapFree=7112/7112
[pid=7482] ppid=7480 vsize=1441824 CPUtime=282.25 cores=1,3,5,7
/proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 359820 0 0 0 28147 78 0 0 20 0 1 0 342380982 1476427776 359729 33554432000 134512640 135840783 4287502496 4287501856 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7482/statm: 360456 359729 349 325 0 359392 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1441824

[startup+342.3 s]
/proc/loadavg: 2.01 2.33 2.26 3/177 7486
/proc/meminfo: memFree=24269784/32873844 swapFree=7112/7112
[pid=7482] ppid=7480 vsize=1586296 CPUtime=342.23 cores=1,3,5,7
/proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 395932 0 0 0 34135 88 0 0 20 0 1 0 342380982 1624367104 395841 33554432000 134512640 135840783 4287502496 4287501808 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7482/statm: 396574 395841 349 325 0 395510 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1586296

[startup+402.3 s]
/proc/loadavg: 2.00 2.27 2.24 3/177 7486
/proc/meminfo: memFree=23795264/32873844 swapFree=7112/7112
[pid=7482] ppid=7480 vsize=1830900 CPUtime=402.23 cores=1,3,5,7
/proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 457066 0 0 0 40121 102 0 0 20 0 1 0 342380982 1874841600 456975 33554432000 134512640 135840783 4287502496 4287501856 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7482/statm: 457725 456975 349 325 0 456661 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1830900

[startup+462.3 s]
/proc/loadavg: 2.00 2.22 2.23 3/177 7486
/proc/meminfo: memFree=23282552/32873844 swapFree=7112/7112
[pid=7482] ppid=7480 vsize=1961368 CPUtime=462.21 cores=1,3,5,7
/proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 489698 0 0 0 46111 110 0 0 20 0 1 0 342380982 2008440832 489607 33554432000 134512640 135840783 4287502496 4287501856 134551104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7482/statm: 490342 489607 349 325 0 489278 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1961368

[startup+522.3 s]
/proc/loadavg: 2.04 2.19 2.21 3/177 7486
/proc/meminfo: memFree=22712428/32873844 swapFree=7112/7112
[pid=7482] ppid=7480 vsize=2041072 CPUtime=522.21 cores=1,3,5,7
/proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 509616 0 0 0 52105 116 0 0 20 0 1 0 342380982 2090057728 509525 33554432000 134512640 135840783 4287502496 4287501856 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7482/statm: 510268 509525 349 325 0 509204 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 2041072

[startup+582.3 s]
/proc/loadavg: 2.01 2.15 2.20 3/177 7487
/proc/meminfo: memFree=22137716/32873844 swapFree=7112/7112
[pid=7482] ppid=7480 vsize=2202080 CPUtime=582.19 cores=1,3,5,7
/proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 550033 0 0 0 58095 124 0 0 20 0 1 0 342380982 2254929920 549781 33554432000 134512640 135840783 4287502496 4287501920 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7482/statm: 550520 549781 349 325 0 549456 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 2202080

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.31 2.92 2.58 3/177 7531
/proc/meminfo: memFree=25784520/32873844 swapFree=7112/7112
[pid=7482] ppid=7480 vsize=2202080 CPUtime=882.09 cores=1,3,5,7
/proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 550124 0 0 0 88084 125 0 0 20 0 1 0 342380982 2254929920 549786 33554432000 134512640 135840783 4287502496 4287501856 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7482/statm: 550520 549786 349 325 0 549456 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 2202080

[startup+942.3 s]
/proc/loadavg: 2.11 2.75 2.54 3/177 7531
/proc/meminfo: memFree=25697996/32873844 swapFree=7112/7112
[pid=7482] ppid=7480 vsize=2202080 CPUtime=942.08 cores=1,3,5,7
/proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 550142 0 0 0 94083 125 0 0 20 0 1 0 342380982 2254929920 549786 33554432000 134512640 135840783 4287502496 4287501856 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7482/statm: 550520 549786 349 325 0 549456 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 2202080

[startup+1002.3 s]
/proc/loadavg: 2.08 2.63 2.51 3/177 7531
/proc/meminfo: memFree=25698148/32873844 swapFree=7112/7112
[pid=7482] ppid=7480 vsize=2202080 CPUtime=1002.06 cores=1,3,5,7
/proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 550162 0 0 0 100081 125 0 0 20 0 1 0 342380982 2254929920 549786 33554432000 134512640 135840783 4287502496 4287501856 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7482/statm: 550520 549786 349 325 0 549456 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 2202080

[startup+1062.3 s]
/proc/loadavg: 2.03 2.51 2.47 3/177 7531
/proc/meminfo: memFree=25628860/32873844 swapFree=7112/7112
[pid=7482] ppid=7480 vsize=2202080 CPUtime=1062.05 cores=1,3,5,7
/proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 550169 0 0 0 106080 125 0 0 20 0 1 0 342380982 2254929920 549786 33554432000 134512640 135840783 4287502496 4287501856 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7482/statm: 550520 549786 349 325 0 549456 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 2202080

[startup+1122.3 s]
/proc/loadavg: 2.01 2.41 2.44 3/177 7531
/proc/meminfo: memFree=25566888/32873844 swapFree=7112/7112
[pid=7482] ppid=7480 vsize=2202080 CPUtime=1122.03 cores=1,3,5,7
/proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 550187 0 0 0 112078 125 0 0 20 0 1 0 342380982 2254929920 549786 33554432000 134512640 135840783 4287502496 4287501856 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7482/statm: 550520 549786 349 325 0 549456 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 2202080

[startup+1182.31 s]
/proc/loadavg: 2.00 2.34 2.41 3/177 7532
/proc/meminfo: memFree=25566916/32873844 swapFree=7112/7112
[pid=7482] ppid=7480 vsize=2202080 CPUtime=1182.01 cores=1,3,5,7
/proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 550206 0 0 0 118076 125 0 0 20 0 1 0 342380982 2254929920 549786 33554432000 134512640 135840783 4287502496 4287501856 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7482/statm: 550520 549786 349 325 0 549456 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 2202080

[startup+1242.3 s]
/proc/loadavg: 2.00 2.27 2.38 3/177 7532
/proc/meminfo: memFree=25566696/32873844 swapFree=7112/7112
[pid=7482] ppid=7480 vsize=2202080 CPUtime=1241.99 cores=1,3,5,7
/proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 550228 0 0 0 124074 125 0 0 20 0 1 0 342380982 2254929920 549786 33554432000 134512640 135840783 4287502496 4287501856 134551186 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7482/statm: 550520 549786 349 325 0 549456 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 2202080

[startup+1302.3 s]
/proc/loadavg: 2.04 2.23 2.36 3/178 7535
/proc/meminfo: memFree=25531128/32873844 swapFree=7112/7112
[pid=7482] ppid=7480 vsize=2202080 CPUtime=1301.96 cores=1,3,5,7
/proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 550251 0 0 0 130071 125 0 0 20 0 1 0 342380982 2254929920 549786 33554432000 134512640 135840783 4287502496 4287501856 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7482/statm: 550520 549786 349 325 0 549456 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 2202080

[startup+1362.3 s]
/proc/loadavg: 2.01 2.19 2.34 3/177 7535
/proc/meminfo: memFree=25438164/32873844 swapFree=7112/7112
[pid=7482] ppid=7480 vsize=2248036 CPUtime=1361.94 cores=1,3,5,7
/proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 561755 0 0 0 136066 128 0 0 20 0 1 0 342380982 2301988864 561270 33554432000 134512640 135840783 4287502496 4287488816 134586540 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7482/statm: 562009 561270 349 325 0 560945 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 2248036

[startup+1422.3 s]
/proc/loadavg: 2.00 2.15 2.31 3/177 7535
/proc/meminfo: memFree=25211768/32873844 swapFree=7112/7112
[pid=7482] ppid=7480 vsize=2469820 CPUtime=1421.9 cores=1,3,5,7
/proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 617216 0 0 0 142049 141 0 0 20 0 1 0 342380982 2529095680 616710 33554432000 134512640 135840783 4287502496 4287501856 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7482/statm: 617455 616710 349 325 0 616391 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 2469820

[startup+1482.3 s]
/proc/loadavg: 2.00 2.12 2.29 3/177 7536
/proc/meminfo: memFree=25081100/32873844 swapFree=7112/7112
[pid=7482] ppid=7480 vsize=2602736 CPUtime=1481.88 cores=1,3,5,7
/proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 650459 0 0 0 148036 152 0 0 20 0 1 0 342380982 2665201664 649945 33554432000 134512640 135840783 4287502496 4287501856 134551324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7482/statm: 650684 649945 349 325 0 649620 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 2602736

[startup+1542.3 s]
/proc/loadavg: 2.00 2.10 2.27 3/176 7536
/proc/meminfo: memFree=24991484/32873844 swapFree=7112/7112
[pid=7482] ppid=7480 vsize=2689460 CPUtime=1541.86 cores=1,3,5,7
/proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 672359 0 0 0 154026 160 0 0 20 0 1 0 342380982 2754007040 671630 33554432000 134512640 135840783 4287502496 4287501920 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7482/statm: 672365 671630 349 325 0 671301 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 2689460

[startup+1602.3 s]
/proc/loadavg: 2.00 2.08 2.25 3/177 7537
/proc/meminfo: memFree=24991132/32873844 swapFree=7112/7112
[pid=7482] ppid=7480 vsize=2689460 CPUtime=1601.84 cores=1,3,5,7
/proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 672385 0 0 0 160024 160 0 0 20 0 1 0 342380982 2754007040 671630 33554432000 134512640 135840783 4287502496 4287501856 134550916 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7482/statm: 672365 671630 349 325 0 671301 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 2689460

[startup+1662.3 s]
/proc/loadavg: 2.00 2.06 2.23 3/177 7537
/proc/meminfo: memFree=24991160/32873844 swapFree=7112/7112
[pid=7482] ppid=7480 vsize=2689460 CPUtime=1661.81 cores=1,3,5,7
/proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 672414 0 0 0 166021 160 0 0 20 0 1 0 342380982 2754007040 671630 33554432000 134512640 135840783 4287502496 4287501856 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7482/statm: 672365 671630 349 325 0 671301 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 2689460

[startup+1722.3 s]
/proc/loadavg: 2.00 2.05 2.21 3/177 7537
/proc/meminfo: memFree=24991188/32873844 swapFree=7112/7112
[pid=7482] ppid=7480 vsize=2689460 CPUtime=1721.79 cores=1,3,5,7
/proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 672449 0 0 0 172019 160 0 0 20 0 1 0 342380982 2754007040 671630 33554432000 134512640 135840783 4287502496 4287501856 134551186 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7482/statm: 672365 671630 349 325 0 671301 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 2689460

[startup+1782.3 s]
/proc/loadavg: 2.04 2.05 2.20 3/177 7538
/proc/meminfo: memFree=24990720/32873844 swapFree=7112/7112
[pid=7482] ppid=7480 vsize=2689460 CPUtime=1781.77 cores=1,3,5,7
/proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 672461 0 0 0 178017 160 0 0 20 0 1 0 342380982 2754007040 671630 33554432000 134512640 135840783 4287502496 4287501856 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7482/statm: 672365 671630 349 325 0 671301 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 2689460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.03 2.05 2.20 3/177 7538
/proc/meminfo: memFree=24991060/32873844 swapFree=7112/7112
[pid=7482] ppid=7480 vsize=2689460 CPUtime=1800.07 cores=1,3,5,7
/proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 672462 0 0 0 179847 160 0 0 20 0 1 0 342380982 2754007040 671630 33554432000 134512640 135840783 4287502496 4287501856 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7482/statm: 672365 671630 349 325 0 671301 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 2689460

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1800.6 s]
/proc/loadavg: 2.03 2.05 2.20 3/177 7538
/proc/meminfo: memFree=24991060/32873844 swapFree=7112/7112
[pid=7482] ppid=7480 vsize=2689460 CPUtime=1800.07 cores=1,3,5,7
/proc/7482/stat : 7482 (bsolo3.0.17) R 7480 7482 5948 0 -1 4202496 672462 0 0 0 179847 160 0 0 20 0 1 0 342380982 2754007040 671630 33554432000 134512640 135840783 4287502496 4287501856 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7482/statm: 672365 671630 349 325 0 671301 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 2689460

Child status: 15
Real time (s): 1800.68
CPU time (s): 1800.15
CPU user time (s): 1798.48
CPU system time (s): 1.67374
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 2690236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.48
system time used= 1.67374
maximum resident set size= 2687296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 672465
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= 428
involuntary context switches= 1843

runsolver used 4.13337 second user time and 9.15161 second system time

The end

Launcher Data

Begin job on node119 at 2012-06-04 00:29:13
IDJOB=3741718
IDBENCH=89903
IDSOLVER=2318
FILE ID=node119/3741718-1338762553
RUNJOBID= node119-1338748763-5965
PBS_JOBID= 14636790
Free space on /tmp= 70892 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-harp2.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741718-1338762553/watcher-3741718-1338762553 -o /tmp/evaluation-result-3741718-1338762553/solver-3741718-1338762553 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3741718-1338762553.opb            

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

MD5SUM BENCH= 3f0afbcd16b5dd29f67967742a878949
RANDOM SEED=158684459

node119.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.943
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	: 5333.88
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.943
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.943
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	: 5331.93
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.943
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.943
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.93
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.943
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	: 5331.92
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.943
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.90
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.943
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:       32873844 kB
MemFree:        28199180 kB
Buffers:          420960 kB
Cached:          3138968 kB
SwapCached:         1936 kB
Active:          1775976 kB
Inactive:        2054744 kB
Active(anon):     265876 kB
Inactive(anon):     6624 kB
Active(file):    1510100 kB
Inactive(file):  2048120 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67100224 kB
Dirty:             12448 kB
Writeback:             0 kB
AnonPages:        275628 kB
Mapped:            13292 kB
Shmem:                 0 kB
Slab:             703812 kB
SReclaimable:     145088 kB
SUnreclaim:       558724 kB
KernelStack:        1480 kB
PageTables:         4668 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     389036 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70840 MiB
End job on node119 at 2012-06-04 00:59:16