Trace number 2681251

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
bsolo 3.2 CardSAT26 1798.04 1798.85

General information on the benchmark

Name/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/
normalized-90_rounds_0_errors.opb
MD5SUMa240e4a37082dfb03371e204a64a9828
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark2.34564
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables584
Total number of constraints427
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)33
Number of constraints which are nor clauses,nor cardinality constraints394
Minimum length of a constraint1
Maximum length of a constraint34
Number of terms in the objective function 182
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 182
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 182
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2406
Sum of products size (including duplicates)10572
Number of different products2406
Sum of products size10572

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.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2681251-1277517630.opb
0.00/0.00	c File size is 307008 bytes.
0.00/0.05	c Highest Coefficient sum: 182
0.00/0.05	c Parsing was ok!!
0.00/0.05	c Total parsing time: 0.052 s
0.00/0.06	c Var: 2990 Constr: 5666 2775/485/2406 Lit: 37628 Watch. Lit: 24414
0.00/0.06	c Obj. Vars: 182 (6.08696 % of total variables)
0.29/0.33	c Pre-processing Time: 0.331 s
0.29/0.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.33	c        0   2273     4294    29154    6    18751   56096      0      0 0.33
0.29/0.33	c Switching off lower bounding mode.
1.18/1.20	c      102   2273     4414    31298    7    18999   61706    120    253 0.40
1.18/1.20	c      252   2273     4623    45495    9    19544   67877    329    499 0.51
1.18/1.20	c      478   2273     4942    61779   12    20374   74665    648    743 0.64
1.18/1.20	c      818   2273     5434    88907   16    21574   82132   1140    993 0.82
1.18/1.20	o 49
12.58/12.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
12.58/12.67	c     1242   2273     6082   154223   25    23226   57096   1788   1034 1.20
12.58/12.67	c     1344   2273     6234   169865   27    23586   62806   1940   1025 1.31
12.58/12.67	c     1594   2273     6575   202580   30    24498   69087   2281    996 1.60
12.58/12.67	c     2069   2273     7204   254549   35    26085   75996   2910    918 2.25
12.58/12.67	c     2884   2273     8300   345065   41    28726   83596   4006    748 3.85
12.58/12.67	c     4206   2273    10171   555403   54    33092   91956   5877    592 7.10
12.58/12.67	c     6288   2273    12991   775170   59    39751  101152   8697    547 11.48
12.58/12.67	o 46
17.49/17.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.49/17.50	c     6806   2273    13677   833083   60    41619   57096   9383    537 12.67
17.49/17.50	c     6906   2273    13813   845533   61    41927   62806   9519    536 12.88
17.49/17.50	c     7157   2273    14169   863773   60    42679   69087   9875    539 13.26
17.49/17.50	c     7632   2273    14855   917160   61    44365   75996  10561    516 14.78
17.49/17.50	c     8445   2273    15981  1019837   63    46997   83596  11687    500 16.88
17.49/17.50	o 45
60.75/60.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
60.75/60.87	c     8604   2273    16200  1036540   63    47619   57096  11906    491 17.50
60.75/60.87	c     8704   2273    16345  1050297   64    48041   62806  12051    486 17.87
60.75/60.87	c     8954   2273    16703  1087801   65    48987   69087  12409    482 18.55
60.75/60.87	c     9430   2273    17358  1155552   66    50439   75996  13064    475 19.82
60.75/60.87	c    10243   2273    18428  1277849   69    53153   83596  14134    452 22.66
60.75/60.87	c    11565   2273    20183  1501013   74    57386   91956  15889    415 27.84
60.75/60.87	c    13646   2273    23054  1994542   86    63817  101152  18760    371 36.75
60.75/60.87	c    16871   2273    27650  2807127  101    74361  111268  23356    312 54.02
60.75/60.87	o 44
88.74/88.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
88.74/88.82	c    18697   2273    30073  3128472  104    79950   57096  25779    307 60.83
88.74/88.82	c    18798   2273    30201  3147436  104    80257   62806  25907    306 61.35
88.74/88.82	c    19048   2273    30492  3159189  103    80903   69087  26198    307 61.91
88.74/88.82	c    19526   2273    31141  3219328  103    82442   75996  26847    305 63.83
88.74/88.82	c    20340   2273    32260  3321856  102    84952   83596  27966    301 67.57
88.74/88.82	c    21660   2273    33983  3489466  102    89171   91956  29689    300 71.97
88.74/88.82	c    23741   2273    36797  3875618  105    95830  101152  32503    280 84.57
88.74/88.82	o 41
238.86/239.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
238.86/239.19	c    24338   2273    37654  3960351  105    97968   57096  33360    274 88.78
238.86/239.19	c    24438   2273    37786  3976175  105    98253   62806  33492    273 89.42
238.86/239.19	c    24688   2273    38115  4009481  105    99143   69087  33821    271 90.93
238.86/239.19	c    25163   2273    38777  4078627  105   100739   75996  34483    269 93.33
238.86/239.19	c    25978   2273    39899  4198443  105   103300   83596  35605    264 98.19
238.86/239.19	c    27298   2273    41754  4413297  105   107511   91956  37460    256 106.23
238.86/239.19	c    29382   2273    44774  4772501  106   114258  101152  40480    247 118.64
238.86/239.19	c    32605   2273    49474  5353728  108   124747  111268  45180    229 141.77
238.86/239.19	c    37543   2273    56780  6327106  111   141048  122395  52486    203 184.07
238.86/239.19	o 38
339.22/339.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
339.22/339.53	c    43766   2273    65937  7590567  115   161162   57096  61643    183 238.97
339.22/339.53	c    43866   2273    22944  2357598  102    59554   62806  18650    180 242.82
339.22/339.53	c    44116   2273    23288  2387915  102    60363   69087  18994    180 243.86
339.22/339.53	c    44591   2273    23975  2462569  102    61948   75996  19681    181 246.09
339.22/339.53	c    45406   2273    25141  2612668  103    64429   83596  20847    182 249.38
339.22/339.53	c    46730   2273    27113  2857921  105    69202   91956  22819    183 255.19
339.22/339.53	c    48812   2273    30248  3354156  110    75987  101152  25954    184 264.79
339.22/339.53	c    52037   2273    35324  4070457  115    86922  111268  31030    183 283.37
339.22/339.53	c    56975   2273    42461  4965656  116   103454  122395  38167    180 314.95
339.22/339.53	o 37
439.88/440.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
439.88/440.28	c    59808   2273    46374  5321069  114   113309   57096  42080    176 339.26
439.88/440.28	c    59909   2273    46520  5327748  114   113632   62806  42226    176 340.22
439.88/440.28	c    60159   2273    46835  5344829  114   114466   69087  42541    176 341.51
439.88/440.28	c    60635   2273    47501  5406295  113   116183   75996  43207    175 345.08
439.88/440.28	c    61448   2273    48623  5484579  112   119428   83596  44329    174 352.22
439.88/440.28	c    62772   2273    50497  5648753  111   123921   91956  46203    172 364.50
439.88/440.28	c    64854   2273    53376  5882626  110   130771  101152  49082    169 383.23
439.88/440.28	c    68078   2273    58177  6475044  111   141267  111268  53883    165 412.50
439.88/440.28	o 35
554.05/554.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
554.05/554.41	c    71073   2273    62264  7004813  112   151048   57096  57970    161 439.98
554.05/554.41	c    71174   2273    21918  1772588   80    59819   62806  17624    161 442.00
554.05/554.41	c    71426   2273    22272  1801605   80    60751   69087  17978    161 442.90
554.05/554.41	c    71903   2273    22962  1847695   80    62567   75996  18668    161 444.56
554.05/554.41	c    72717   2273    24084  1928377   80    65622   83596  19790    162 448.28
554.05/554.41	c    74038   2273    25811  2086485   80    69945   91956  21517    163 452.22
554.05/554.41	c    76119   2273    28796  2432343   84    76598  101152  24502    165 461.11
554.05/554.41	c    79342   2273    33201  2972733   89    86915  111268  28907    166 476.76
554.05/554.41	c    84278   2273    40619  3923842   96   104032  122395  36325    165 508.18
554.05/554.41	c    91784   2273    50146  5111152  101   126140  134635  45852    170 539.34
554.05/554.41	o 34
560.94/561.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
560.94/561.35	c    94084   2273    53261  5418908  101   133452   57096  48967    169 554.07
560.94/561.35	c    94185   2273    53387  5426831  101   133760   62806  49093    169 554.69
560.94/561.35	c    94435   2273    53756  5469882  101   134615   69087  49462    169 556.97
560.94/561.35	c    94910   2273    54408  5548274  101   136100   75996  50114    169 560.06
560.94/561.35	o 27
1744.90/1745.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1744.90/1745.75	c    95026   2273    54562  5562714  101   136682   57096  50268    169 561.00
1744.90/1745.75	c    95126   2273    54682  5569065  101   136959   62806  50388    169 561.54
1744.90/1745.75	c    95376   2273    55028  5588218  101   137772   69087  50734    169 564.11
1744.90/1745.75	c    95852   2273    55624  5646724  101   139225   75996  51330    169 566.82
1744.90/1745.75	c    96667   2273    56657  5753003  101   141627   83596  52363    168 572.77
1744.90/1745.75	c    97987   2273    58319  5891773  101   145500   91956  54025    168 583.08
1744.90/1745.75	c   100069   2273    61055  6229684  102   151929  101152  56761    168 595.23
1744.90/1745.75	c   103292   2273    65569  6629107  101   162294  111268  61275    165 624.35
1744.90/1745.75	c   108228   2273    72598  7210829   99   177732  122395  68304    160 674.27
1744.90/1745.75	c   115734   2273    82779  8049596   97   199916  134635  78485    153 753.37
1744.90/1745.75	c   127095   2273    98717  9788610   99   233797  148099  94423    138 919.22
1744.90/1745.75	c   144242   2273   122482 11938261   97   284249  162909 118188    122 1173.49
1744.90/1745.75	c   170061   2273   157285 16637360  105   360971  179200 152991    106 1592.84
1744.90/1745.75	o 26
1797.97/1798.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.97/1798.82	c   176813   2273   166970 17694187  105   383114   57096 162676    101 1744.96
1797.97/1798.82	c   176913   2273    25198  2333198   92    65018   62806  20904     99 1771.52
1797.97/1798.82	c   177163   2273    25563  2360433   92    66043   69087  21269     99 1772.66
1797.97/1798.82	c   177639   2273    26229  2408846   91    67747   75996  21935    100 1774.54
1797.97/1798.82	c   178452   2273    27217  2474384   90    70103   83596  22923    100 1777.44
1797.97/1798.82	c   179772   2273    29012  2603746   89    74804   91956  24718    100 1784.41
1797.97/1798.82	c   181854   2273    31679  2801960   88    81169  101152  27385    101 1794.91
1797.97/1798.82	c Resources Exceeded
1797.97/1798.82	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 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x222 -x601 -x602 -x603 x604 -x605 -x606 -x607 -x608 -x226 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 x231 -x625 x626 -x627 -x628 -x629 -x630 -x631 -x632 -x234 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 -x239 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x242 -x657 -x658 -x659 -x660 -x661 -x662 -x663 x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x247 -x673 x674 -x675 -x676 -x677 -x678 -x679 -x680 x250 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x255 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 x257 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x261 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 x263 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 x266 -x745 -x746 -x747 -x748 -x749 -x750 x751 -x752 -x268 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 -x270 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 x272 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x273 -x793 -x794 x795 -x796 -x797 -x798 -x799 -x800 x275 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 x276 -x817 -x818 -x819 x820 -x821 -x822 -x823 -x824 -x278 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 x835 -x836 -x837 -x838 -x839 -x840 x279 -x841 -x842 -x843 -x844 -x845 x846 -x847 -x848 -x281 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 x859 -x860 -x861 -x862 -x863 -x864 x282 -x865 -x866 -x867 -x868 -x869 x870 -x871 -x872 x284 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x285 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x287 -x897 -x898 -x899 x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x288 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x290 -x921 -x922 -x923 -x924 -x925 -x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 x291 -x937 -x938 -x939 -x940 -x941 x942 -x943 -x944 x293 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 x294 -x961 -x962 -x963 x964 -x965 -x966 -x967 -x968 -x296 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 x982 -x983 -x984 x297 -x985 -x986 -x987 -x988 -x989 x990 -x991 -x992 -x299 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 x1006 -x1007 -x1008 x300 x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 x302 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 x303 -x1033 -x1034 x1035 -x1036 -x1037 -x1038 -x1039 -x1040 x305 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x306 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 x308 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x309 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x311 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 x312 -x1105 -x1106 -x1107 -x1108 x1109 -x1110 -x1111 -x1112 -x314 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 x1128 x315 -x1129 -x1130 -x1131 -x1132 -x1133 x1134 -x1135 -x1136 -x317 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 x1151 -x1152 -x318 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x320 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 x321 x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x323 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x324 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x326 -x1209 -x1210 -x1211 x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x327 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 x329 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 x330 -x1249 -x1250 -x1251 x1252 -x1253 -x1254 -x1255 -x1256 x332 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x333 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x335 -x1281 -x1282 -x1283 x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 x336 -x1297 x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 x338 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x339 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 x341 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 x342 -x1345 -x1346 -x1347 x1348 -x1349 -x1350 -x1351 -x1352 x344 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 x345 -x1369 -x1370 -x1371 x1372 -x1373 -x1374 -x1375 -x1376 -x347 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 x1391 -x1392 x348 -x1393 -x1394 -x1395 -x1396 -x1397 x1398 -x1399 -x1400 -x350 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 x1412 -x1413 -x1414 -x1415 -x1416 x351 x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x353 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 x1437 -x1438 -x1439 -x1440 x354 -x1441 x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 x356 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x357 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x359 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x360 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 x362 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 x363 -x1513 -x1514 -x1515 x1516 -x1517 -x1518 -x1519 -x1520 -x365 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 x1536 -x366 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x368 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x369 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x371 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x372 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 x374 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x375 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x377 -x1617 x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x378 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 x380 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x381 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x383 -x1665 -x1666 -x1667 x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x384 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 x386 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 x387 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 x1712 -x389 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 x1724 -x1725 -x1726 -x1727 -x1728 x390 -x1729 -x1730 -x1731 -x1732 -x1733 x1734 -x1735 -x1736 -x392 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x393 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 x395 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 x396 -x1777 -x1778 -x1779 x1780 -x1781 -x1782 -x1783 -x1784 x398 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x399 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x401 x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x402 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x404 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 x405 -x1849 -x1850 -x1851 -x1852 x1853 -x1854 -x1855 -x1856 x407 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x408 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 x410 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 x411 -x1897 -x1898 -x1899 x1900 -x1901 -x1902 -x1903 -x1904 x413 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x414 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 x416 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x417 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 x419 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x420 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x422 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x424 -x2001 x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 x426 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x428 -x2049 -x2050 x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x430 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 x432 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 x434 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x435 -x2145 -x2146 -x2147 -x2148 -x2149 x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 x436 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x437 -x2193 -x2194 -x2195 -x2196 x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x438 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 x439 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 x2259 -x2260 -x2261 -x2262 -x2263 -x2264 x440 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x441 -x2289 x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 x2309 -x2310 -x2311 -x2312 x442 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 x2331 -x2332 -x2333 -x2334 -x2335 -x2336 x443 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x444 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 x2381 -x2382 -x2383 -x2384 -x445 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x446 x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 x2429 -x2430 -x2431 -x2432 x447 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 x2455 -x2456 x448 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 x2480 x449 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 x450 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x451 -x2529 x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x452 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 x453 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 x454 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 x455 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 x2647 -x2648 x456 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 x2672 -x457 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x458 -x2697 x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 x459 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x460 -x2745 -x2746 -x462 -x2747 -x2748 x463 x2749 -x2750 x464 -x2751 x2752 -x465 -x2753 -x2754 -x466 -x2755 -x2756 x467 x2757 -x2758 -x468 -x2759 -x2760 -x469 -x2761 -x2762 x470 -x2763 x2764 -x471 -x2765 -x2766 -x472 -x2767 -x2768 -x473 -x2769 -x2770 x474 x2771 -x2772 x475 -x2773 x2774 -x476 -x2775 -x2776 -x477 -x2777 -x2778 x478 x2779 -x2780 -x479 -x2781 -x2782 -x480 -x2783 -x2784 -x481 -x2785 -x2786 -x482 -x2787 -x2788 x483 -x2789 x2790 -x484 -x2791 -x2792 x485 x2793 -x2794 x486 -x2795 x2796 -x487 -x2797 -x2798 -x488 -x2799 -x2800 -x489 -x2801 -x2802 -x490 -x2803 -x2804 -x491 -x2805 -x2806 -x492 -x2807 -x2808 -x493 -x2809 -x2810 -x494 -x2811 -x2812 x495 x2813 -x2814 x496 -x2815 x2816 x497 x2817 -x2818 -x498 -x2819 -x2820 x499 -x2821 x2822 x500 x2823 -x2824 x501 -x2825 x2826 -x502 -x2827 -x2828 -x503 -x2829 -x2830 -x504 -x2831 -x2832 x505 x2833 -x2834 -x506 -x2835 -x2836 x507 -x2837 x2838 -x508 -x2839 -x2840 -x509 -x2841 -x2842 -x510 -x2843 -x2844 -x511 -x2845 -x2846 x512 x2847 -x2848 -x513 -x2849 -x2850 x514 -x2851 x2852 -x515 -x2853 -x2854 x516 x2855 -x2856 x517 -x2857 x2858 x518 x2859 -x2860 -x519 -x2861 -x2862 x520 -x2863 x2864 x521 x2865 -x2866 x522 -x2867 x2868 x523 x2869 -x2870 x524 -x2871 x2872 -x525 -x2873 -x2874 -x526 -x2875 -x2876 -x527 -x2877 -x2878 -x528 -x2879 -x2880 x529 x2881 -x2882 -x530 -x2883 -x2884 x531 -x2885 x2886 x532 x2887 -x2888 -x533 -x2889 -x2890 -x534 -x2891 -x2892 -x535 -x2893 -x2894 -x536 -x2895 -x2896 -x537 -x2897 -x2898 -x538 -x2899 -x2900 x539 -x2901 x2902 -x540 -x2903 -x2904 x541 x2905 -x2906 x542 -x2907 x2908 x543 x2909 -x2910 -x544 -x2911 -x2912 x545 -x2913 x2914 x546 x2915 -x2916 x547 -x2917 x2918 x548 x2919 -x2920 -x549 -x2921 -x2922 -x550 -x2923 -x2924 -x551 -x2925 -x2926 x552 -x2927 x2928 x553 x2929 -x2930 x554 -x2931 x2932 x555 x2933 -x2934 -x556 -x2935 -x2936 -x557 -x2937 -x2938 -x558 -x2939 -x2940 -x559 -x2941 -x2942 x560 -x2943 x2944 -x561 -x2945 -x2946 -x562 -x2947 -x2948 x563 x2949 -x2950 x564 -x2951 x2952 -x565 -x2953 -x2954 -x566 -x2955 -x2956 -x567 -x2957 -x2958 x568 x2959 -x2960 x569 -x2961 x2962 -x570 -x2963 -x2964 -x571 -x2965 -x2966 x572 x2967 -x2968 -x573 -x2969 -x2970 x574 -x2971 x2972 x575 x2973 -x2974 -x576 -x2975 -x2976 -x577 -x2977 -x2978 x578 -x2979 x2980 -x579 -x2981 -x2982 x580 x2983 -x2984 x581 -x2985 x2986 x582 x2987 -x2988 -x583 -x2989 -x2990 -x584 x461 x224 -x325 -x322 x319 x316 x313 x310 -x307 -x304 -x301 x298 -x295 x292 x289 x286 x283 x280 -x277 -x274 x271 x267 -x262 -x256 -x248 -x240 -x232 -x223 x433 x431 -x429 x427 -x425 -x423 x421 -x418 x415 -x412 -x409 x406 x403 x400 -x397 -x394 x391 x388 x385 x382 -x379 -x376 x373 -x370 -x367 -x364 x361 x358 -x355 -x352 x349 -x346 -x343 x217 x340 x251 -x337 x243 -x334 x235 -x331 x227 -x328 x218 x258 -x252 x244 x236 -x228 -x219 -x249 -x241 -x233 x225 x264 x259 -x253 x245 x237 x229 x220 -x269 -x265 -x260 x254 x246 x238 -x230 x221 
1797.97/1798.82	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.97/1798.82	c   91   182296  51108   301770    32287  2848612  27993    101 1798.01
1797.97/1798.82	c Objective: 26
1797.97/1798.82	s SATISFIABLE
1797.97/1798.82	c Total time: 1798.01 s

Verifier Data 

OK	26

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2681251-1277517630/watcher-2681251-1277517630 -o /tmp/evaluation-result-2681251-1277517630/solver-2681251-1277517630 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2681251-1277517630.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 31216
/proc/meminfo: memFree=1846016/2059040 swapFree=4139544/4192956
[pid=31216] ppid=31214 vsize=11232 CPUtime=0
/proc/31216/stat : 31216 (bsolo_pb10) R 31214 31216 29834 0 -1 4202496 339 0 0 0 0 0 0 0 19 0 1 0 93053987 11501568 257 1992294400 134512640 137138936 4290740752 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31216/statm: 2808 258 171 642 0 2089 0

[startup+0.079161 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 31216
/proc/meminfo: memFree=1846016/2059040 swapFree=4139544/4192956
[pid=31216] ppid=31214 vsize=12540 CPUtime=0.07
/proc/31216/stat : 31216 (bsolo_pb10) R 31214 31216 29834 0 -1 4202496 853 0 0 0 7 0 0 0 19 0 1 0 93053987 12840960 696 1992294400 134512640 137138936 4290740752 18446744073709551615 134543154 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31216/statm: 3135 696 184 642 0 2491 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12540

[startup+0.102164 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 31216
/proc/meminfo: memFree=1846016/2059040 swapFree=4139544/4192956
[pid=31216] ppid=31214 vsize=12540 CPUtime=0.09
/proc/31216/stat : 31216 (bsolo_pb10) R 31214 31216 29834 0 -1 4202496 853 0 0 0 9 0 0 0 19 0 1 0 93053987 12840960 696 1992294400 134512640 137138936 4290740752 18446744073709551615 134542725 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31216/statm: 3135 696 184 642 0 2491 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12540

[startup+0.300198 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 31216
/proc/meminfo: memFree=1846016/2059040 swapFree=4139544/4192956
[pid=31216] ppid=31214 vsize=12540 CPUtime=0.29
/proc/31216/stat : 31216 (bsolo_pb10) R 31214 31216 29834 0 -1 4202496 853 0 0 0 29 0 0 0 20 0 1 0 93053987 12840960 696 1992294400 134512640 137138936 4290740752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31216/statm: 3135 696 184 642 0 2491 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12540

[startup+0.700266 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 31216
/proc/meminfo: memFree=1846016/2059040 swapFree=4139544/4192956
[pid=31216] ppid=31214 vsize=12848 CPUtime=0.69
/proc/31216/stat : 31216 (bsolo_pb10) R 31214 31216 29834 0 -1 4202496 941 0 0 0 69 0 0 0 20 0 1 0 93053987 13156352 779 1992294400 134512640 137138936 4290740752 18446744073709551615 134551479 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31216/statm: 3212 779 192 642 0 2568 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12848

[startup+1.5004 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 31217
/proc/meminfo: memFree=1842824/2059040 swapFree=4139544/4192956
[pid=31216] ppid=31214 vsize=14656 CPUtime=1.48
/proc/31216/stat : 31216 (bsolo_pb10) R 31214 31216 29834 0 -1 4202496 1381 0 0 0 148 0 0 0 22 0 1 0 93053987 15007744 1219 1992294400 134512640 137138936 4290740752 18446744073709551615 136511073 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31216/statm: 3664 1219 192 642 0 3020 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 14656

[startup+3.10066 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 31217
/proc/meminfo: memFree=1840964/2059040 swapFree=4139544/4192956
[pid=31216] ppid=31214 vsize=16284 CPUtime=3.09
/proc/31216/stat : 31216 (bsolo_pb10) R 31214 31216 29834 0 -1 4202496 1802 0 0 0 308 1 0 0 25 0 1 0 93053987 16674816 1640 1992294400 134512640 137138936 4290740752 18446744073709551615 134607043 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31216/statm: 4071 1640 192 642 0 3427 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16284

[startup+6.3012 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 31217
/proc/meminfo: memFree=1838236/2059040 swapFree=4139544/4192956
[pid=31216] ppid=31214 vsize=18868 CPUtime=6.29
/proc/31216/stat : 31216 (bsolo_pb10) R 31214 31216 29834 0 -1 4202496 2431 0 0 0 627 2 0 0 25 0 1 0 93053987 19320832 2269 1992294400 134512640 137138936 4290740752 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31216/statm: 4717 2269 192 642 0 4073 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18868

[startup+12.7013 s]
/proc/loadavg: 0.94 0.98 0.99 2/107 31217
/proc/meminfo: memFree=1833152/2059040 swapFree=4139544/4192956
[pid=31216] ppid=31214 vsize=23680 CPUtime=12.68
/proc/31216/stat : 31216 (bsolo_pb10) R 31214 31216 29834 0 -1 4202496 3651 0 0 0 1265 3 0 0 25 0 1 0 93053987 24248320 3489 1992294400 134512640 137138936 4290740752 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31216/statm: 5920 3489 192 642 0 5276 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 23680

[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 31217
/proc/meminfo: memFree=1825092/2059040 swapFree=4139544/4192956
[pid=31216] ppid=31214 vsize=31416 CPUtime=25.48
/proc/31216/stat : 31216 (bsolo_pb10) R 31214 31216 29834 0 -1 4202496 5570 0 0 0 2542 6 0 0 25 0 1 0 93053987 32169984 5408 1992294400 134512640 137138936 4290740752 18446744073709551615 136296964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31216/statm: 7854 5408 192 642 0 7210 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 31416

[startup+51.1007 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 31226
/proc/meminfo: memFree=1807052/2059040 swapFree=4139544/4192956
[pid=31216] ppid=31214 vsize=49316 CPUtime=51.05
/proc/31216/stat : 31216 (bsolo_pb10) R 31214 31216 29834 0 -1 4202496 10040 0 0 0 5093 12 0 0 25 0 1 0 93053987 50499584 9878 1992294400 134512640 137138936 4290740752 18446744073709551615 134606680 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31216/statm: 12329 9878 192 642 0 11685 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 49316

[startup+102.309 s]
/proc/loadavg: 1.20 1.03 1.01 2/112 31642
/proc/meminfo: memFree=1753472/2059040 swapFree=4139544/4192956
[pid=31216] ppid=31214 vsize=71292 CPUtime=102.14
/proc/31216/stat : 31216 (bsolo_pb10) R 31214 31216 29834 0 -1 4202496 15537 0 0 0 10190 24 0 0 25 0 1 0 93053987 73003008 15375 1992294400 134512640 137138936 4290740752 18446744073709551615 135984545 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31216/statm: 17823 15375 192 642 0 17179 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 71292

[startup+162.301 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 31696
/proc/meminfo: memFree=1727208/2059040 swapFree=4139544/4192956
[pid=31216] ppid=31214 vsize=92124 CPUtime=162.09
/proc/31216/stat : 31216 (bsolo_pb10) R 31214 31216 29834 0 -1 4202496 20767 0 0 0 16175 34 0 0 25 0 1 0 93053987 94334976 20605 1992294400 134512640 137138936 4290740752 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31216/statm: 23031 20605 192 642 0 22387 0
Current children cumulated CPU time (s) 162.09
Current children cumulated vsize (KiB) 92124

[startup+222.301 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 31698
/proc/meminfo: memFree=1707988/2059040 swapFree=4139544/4192956
[pid=31216] ppid=31214 vsize=111208 CPUtime=222.06
/proc/31216/stat : 31216 (bsolo_pb10) R 31214 31216 29834 0 -1 4202496 25516 0 0 0 22166 40 0 0 25 0 1 0 93053987 113876992 25354 1992294400 134512640 137138936 4290740752 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31216/statm: 27802 25354 192 642 0 27158 0
Current children cumulated CPU time (s) 222.06
Current children cumulated vsize (KiB) 111208

[startup+282.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 31700
/proc/meminfo: memFree=1702780/2059040 swapFree=4139544/4192956
[pid=31216] ppid=31214 vsize=116004 CPUtime=282.04
/proc/31216/stat : 31216 (bsolo_pb10) R 31214 31216 29834 0 -1 4202496 26791 0 0 0 28159 45 0 0 25 0 1 0 93053987 118788096 26568 1992294400 134512640 137138936 4290740752 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31216/statm: 29001 26568 192 642 0 28357 0
Current children cumulated CPU time (s) 282.04
Current children cumulated vsize (KiB) 116004

[startup+342.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 31700
/proc/meminfo: memFree=1702780/2059040 swapFree=4139544/4192956
[pid=31216] ppid=31214 vsize=116004 CPUtime=342.02
/proc/31216/stat : 31216 (bsolo_pb10) R 31214 31216 29834 0 -1 4202496 26791 0 0 0 34152 50 0 0 25 0 1 0 93053987 118788096 26568 1992294400 134512640 137138936 4290740752 18446744073709551615 136503378 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31216/statm: 29001 26568 192 642 0 28357 0
Current children cumulated CPU time (s) 342.02
Current children cumulated vsize (KiB) 116004

[startup+402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31702
/proc/meminfo: memFree=1702788/2059040 swapFree=4139544/4192956
[pid=31216] ppid=31214 vsize=116004 CPUtime=402
/proc/31216/stat : 31216 (bsolo_pb10) R 31214 31216 29834 0 -1 4202496 26791 0 0 0 40147 53 0 0 25 0 1 0 93053987 118788096 26568 1992294400 134512640 137138936 4290740752 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31216/statm: 29001 26568 192 642 0 28357 0
Current children cumulated CPU time (s) 402
Current children cumulated vsize (KiB) 116004

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31704
/proc/meminfo: memFree=1702788/2059040 swapFree=4139544/4192956
[pid=31216] ppid=31214 vsize=116288 CPUtime=461.98
/proc/31216/stat : 31216 (bsolo_pb10) R 31214 31216 29834 0 -1 4202496 26841 0 0 0 46139 59 0 0 25 0 1 0 93053987 119078912 26618 1992294400 134512640 137138936 4290740752 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31216/statm: 29072 26618 192 642 0 28428 0
Current children cumulated CPU time (s) 461.98
Current children cumulated vsize (KiB) 116288

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31706
/proc/meminfo: memFree=1702788/2059040 swapFree=4139544/4192956
[pid=31216] ppid=31214 vsize=116288 CPUtime=521.96
/proc/31216/stat : 31216 (bsolo_pb10) R 31214 31216 29834 0 -1 4202496 26841 0 0 0 52132 64 0 0 25 0 1 0 93053987 119078912 26618 1992294400 134512640 137138936 4290740752 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31216/statm: 29072 26618 192 642 0 28428 0
Current children cumulated CPU time (s) 521.96
Current children cumulated vsize (KiB) 116288

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31708
/proc/meminfo: memFree=1702664/2059040 swapFree=4139544/4192956
[pid=31216] ppid=31214 vsize=116288 CPUtime=581.93
/proc/31216/stat : 31216 (bsolo_pb10) R 31214 31216 29834 0 -1 4202496 26841 0 0 0 58125 68 0 0 25 0 1 0 93053987 119078912 26618 1992294400 134512640 137138936 4290740752 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31216/statm: 29072 26618 192 642 0 28428 0
Current children cumulated CPU time (s) 581.93
Current children cumulated vsize (KiB) 116288

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31708
/proc/meminfo: memFree=1702664/2059040 swapFree=4139544/4192956
[pid=31216] ppid=31214 vsize=116296 CPUtime=641.92
/proc/31216/stat : 31216 (bsolo_pb10) R 31214 31216 29834 0 -1 4202496 26843 0 0 0 64119 73 0 0 25 0 1 0 93053987 119087104 26620 1992294400 134512640 137138936 4290740752 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31216/statm: 29074 26620 192 642 0 28430 0
Current children cumulated CPU time (s) 641.92
Current children cumulated vsize (KiB) 116296

[startup+702.3 s]

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

/proc/meminfo: memFree=1646368/2059040 swapFree=4139544/4192956
[pid=31216] ppid=31214 vsize=172228 CPUtime=1121.73
/proc/31216/stat : 31216 (bsolo_pb10) R 31214 31216 29834 0 -1 4202496 40851 0 0 0 112071 102 0 0 25 0 1 0 93053987 176361472 40628 1992294400 134512640 137138936 4290740752 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31216/statm: 43057 40628 192 642 0 42413 0
Current children cumulated CPU time (s) 1121.73
Current children cumulated vsize (KiB) 172228

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31724
/proc/meminfo: memFree=1639548/2059040 swapFree=4139544/4192956
[pid=31216] ppid=31214 vsize=179236 CPUtime=1181.71
/proc/31216/stat : 31216 (bsolo_pb10) R 31214 31216 29834 0 -1 4202496 42591 0 0 0 118065 106 0 0 25 0 1 0 93053987 183537664 42368 1992294400 134512640 137138936 4290740752 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31216/statm: 44809 42368 192 642 0 44165 0
Current children cumulated CPU time (s) 1181.71
Current children cumulated vsize (KiB) 179236

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31724
/proc/meminfo: memFree=1631116/2059040 swapFree=4139544/4192956
[pid=31216] ppid=31214 vsize=187832 CPUtime=1241.68
/proc/31216/stat : 31216 (bsolo_pb10) R 31214 31216 29834 0 -1 4202496 44730 0 0 0 124059 109 0 0 25 0 1 0 93053987 192339968 44507 1992294400 134512640 137138936 4290740752 18446744073709551615 134618947 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31216/statm: 46958 44507 192 642 0 46314 0
Current children cumulated CPU time (s) 1241.68
Current children cumulated vsize (KiB) 187832

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31726
/proc/meminfo: memFree=1617352/2059040 swapFree=4139544/4192956
[pid=31216] ppid=31214 vsize=201252 CPUtime=1301.66
/proc/31216/stat : 31216 (bsolo_pb10) R 31214 31216 29834 0 -1 4202496 48099 0 0 0 130052 114 0 0 25 0 1 0 93053987 206082048 47876 1992294400 134512640 137138936 4290740752 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31216/statm: 50313 47876 192 642 0 49669 0
Current children cumulated CPU time (s) 1301.66
Current children cumulated vsize (KiB) 201252

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31728
/proc/meminfo: memFree=1608796/2059040 swapFree=4139544/4192956
[pid=31216] ppid=31214 vsize=209904 CPUtime=1361.63
/proc/31216/stat : 31216 (bsolo_pb10) R 31214 31216 29834 0 -1 4202496 50253 0 0 0 136045 118 0 0 25 0 1 0 93053987 214941696 50030 1992294400 134512640 137138936 4290740752 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31216/statm: 52476 50030 192 642 0 51832 0
Current children cumulated CPU time (s) 1361.63
Current children cumulated vsize (KiB) 209904

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31730
/proc/meminfo: memFree=1599620/2059040 swapFree=4139544/4192956
[pid=31216] ppid=31214 vsize=218852 CPUtime=1421.62
/proc/31216/stat : 31216 (bsolo_pb10) R 31214 31216 29834 0 -1 4202496 52513 0 0 0 142040 122 0 0 25 0 1 0 93053987 224104448 52290 1992294400 134512640 137138936 4290740752 18446744073709551615 134575368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31216/statm: 54713 52290 192 642 0 54069 0
Current children cumulated CPU time (s) 1421.62
Current children cumulated vsize (KiB) 218852

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31732
/proc/meminfo: memFree=1591684/2059040 swapFree=4139544/4192956
[pid=31216] ppid=31214 vsize=226892 CPUtime=1481.6
/proc/31216/stat : 31216 (bsolo_pb10) R 31214 31216 29834 0 -1 4202496 54517 0 0 0 148034 126 0 0 25 0 1 0 93053987 232337408 54294 1992294400 134512640 137138936 4290740752 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31216/statm: 56723 54294 192 642 0 56079 0
Current children cumulated CPU time (s) 1481.6
Current children cumulated vsize (KiB) 226892

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31732
/proc/meminfo: memFree=1581888/2059040 swapFree=4139544/4192956
[pid=31216] ppid=31214 vsize=236752 CPUtime=1541.57
/proc/31216/stat : 31216 (bsolo_pb10) R 31214 31216 29834 0 -1 4202496 56957 0 0 0 154027 130 0 0 25 0 1 0 93053987 242434048 56734 1992294400 134512640 137138936 4290740752 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31216/statm: 59188 56734 192 642 0 58544 0
Current children cumulated CPU time (s) 1541.57
Current children cumulated vsize (KiB) 236752

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31734
/proc/meminfo: memFree=1575812/2059040 swapFree=4139544/4192956
[pid=31216] ppid=31214 vsize=242704 CPUtime=1601.55
/proc/31216/stat : 31216 (bsolo_pb10) R 31214 31216 29834 0 -1 4202496 58445 0 0 0 160023 132 0 0 25 0 1 0 93053987 248528896 58222 1992294400 134512640 137138936 4290740752 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31216/statm: 60676 58222 192 642 0 60032 0
Current children cumulated CPU time (s) 1601.55
Current children cumulated vsize (KiB) 242704

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31736
/proc/meminfo: memFree=1570852/2059040 swapFree=4139544/4192956
[pid=31216] ppid=31214 vsize=247448 CPUtime=1661.52
/proc/31216/stat : 31216 (bsolo_pb10) R 31214 31216 29834 0 -1 4202496 59661 0 0 0 166019 133 0 0 25 0 1 0 93053987 253386752 59438 1992294400 134512640 137138936 4290740752 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31216/statm: 61862 59438 192 642 0 61218 0
Current children cumulated CPU time (s) 1661.52
Current children cumulated vsize (KiB) 247448

[startup+1722.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 31738
/proc/meminfo: memFree=1564776/2059040 swapFree=4139544/4192956
[pid=31216] ppid=31214 vsize=253568 CPUtime=1721.51
/proc/31216/stat : 31216 (bsolo_pb10) R 31214 31216 29834 0 -1 4202496 61184 0 0 0 172014 137 0 0 25 0 1 0 93053987 259653632 60961 1992294400 134512640 137138936 4290740752 18446744073709551615 134542252 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31216/statm: 63392 60961 192 642 0 62748 0
Current children cumulated CPU time (s) 1721.51
Current children cumulated vsize (KiB) 253568

[startup+1782.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 31740
/proc/meminfo: memFree=1560808/2059040 swapFree=4139544/4192956
[pid=31216] ppid=31214 vsize=256808 CPUtime=1781.49
/proc/31216/stat : 31216 (bsolo_pb10) R 31214 31216 29834 0 -1 4202496 62152 0 0 0 178010 139 0 0 25 0 1 0 93053987 262971392 61770 1992294400 134512640 137138936 4290740752 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31216/statm: 64202 61770 192 642 0 63558 0
Current children cumulated CPU time (s) 1781.49
Current children cumulated vsize (KiB) 256808

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

[startup+1791.91 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 31740
/proc/meminfo: memFree=1560808/2059040 swapFree=4139544/4192956
[pid=31216] ppid=31214 vsize=256808 CPUtime=1791.09
/proc/31216/stat : 31216 (bsolo_pb10) R 31214 31216 29834 0 -1 4202496 62152 0 0 0 178969 140 0 0 25 0 1 0 93053987 262971392 61770 1992294400 134512640 137138936 4290740752 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31216/statm: 64202 61770 192 642 0 63558 0
Current children cumulated CPU time (s) 1791.09
Current children cumulated vsize (KiB) 256808

[startup+1795.1 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 31740
/proc/meminfo: memFree=1560808/2059040 swapFree=4139544/4192956
[pid=31216] ppid=31214 vsize=256808 CPUtime=1794.29
/proc/31216/stat : 31216 (bsolo_pb10) R 31214 31216 29834 0 -1 4202496 62152 0 0 0 179289 140 0 0 25 0 1 0 93053987 262971392 61770 1992294400 134512640 137138936 4290740752 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31216/statm: 64202 61770 192 642 0 63558 0
Current children cumulated CPU time (s) 1794.29
Current children cumulated vsize (KiB) 256808

[startup+1796.7 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 31740
/proc/meminfo: memFree=1560808/2059040 swapFree=4139544/4192956
[pid=31216] ppid=31214 vsize=256808 CPUtime=1795.88
/proc/31216/stat : 31216 (bsolo_pb10) R 31214 31216 29834 0 -1 4202496 62152 0 0 0 179448 140 0 0 25 0 1 0 93053987 262971392 61770 1992294400 134512640 137138936 4290740752 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31216/statm: 64202 61770 192 642 0 63558 0
Current children cumulated CPU time (s) 1795.88
Current children cumulated vsize (KiB) 256808

[startup+1797.5 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 31740
/proc/meminfo: memFree=1560808/2059040 swapFree=4139544/4192956
[pid=31216] ppid=31214 vsize=256808 CPUtime=1796.68
/proc/31216/stat : 31216 (bsolo_pb10) R 31214 31216 29834 0 -1 4202496 62152 0 0 0 179528 140 0 0 25 0 1 0 93053987 262971392 61770 1992294400 134512640 137138936 4290740752 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31216/statm: 64202 61770 192 642 0 63558 0
Current children cumulated CPU time (s) 1796.68
Current children cumulated vsize (KiB) 256808

[startup+1798.3 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 31740
/proc/meminfo: memFree=1560808/2059040 swapFree=4139544/4192956
[pid=31216] ppid=31214 vsize=256808 CPUtime=1797.48
/proc/31216/stat : 31216 (bsolo_pb10) R 31214 31216 29834 0 -1 4202496 62152 0 0 0 179608 140 0 0 25 0 1 0 93053987 262971392 61770 1992294400 134512640 137138936 4290740752 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31216/statm: 64202 61770 192 642 0 63558 0
Current children cumulated CPU time (s) 1797.48
Current children cumulated vsize (KiB) 256808

[startup+1798.7 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 31740
/proc/meminfo: memFree=1560808/2059040 swapFree=4139544/4192956
[pid=31216] ppid=31214 vsize=256808 CPUtime=1797.87
/proc/31216/stat : 31216 (bsolo_pb10) R 31214 31216 29834 0 -1 4202496 62152 0 0 0 179647 140 0 0 25 0 1 0 93053987 262971392 61770 1992294400 134512640 137138936 4290740752 18446744073709551615 134542181 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31216/statm: 64202 61770 192 642 0 63558 0
Current children cumulated CPU time (s) 1797.87
Current children cumulated vsize (KiB) 256808

[startup+1798.8 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 31740
/proc/meminfo: memFree=1560808/2059040 swapFree=4139544/4192956
[pid=31216] ppid=31214 vsize=256808 CPUtime=1797.97
/proc/31216/stat : 31216 (bsolo_pb10) R 31214 31216 29834 0 -1 4202496 62152 0 0 0 179657 140 0 0 25 0 1 0 93053987 262971392 61770 1992294400 134512640 137138936 4290740752 18446744073709551615 134606670 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31216/statm: 64202 61770 192 642 0 63558 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 256808

Child status: 0
Real time (s): 1798.85
CPU time (s): 1798.04
CPU user time (s): 1796.61
CPU system time (s): 1.43378
CPU usage (%): 99.9548
Max. virtual memory (cumulated for all children) (KiB): 257444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.61
system time used= 1.43378
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62153
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= 1
involuntary context switches= 10579

runsolver used 2.98355 second user time and 8.50171 second system time

The end

Launcher Data 

Begin job on node055 at 2010-06-26 04:00:30
IDJOB=2681251
IDBENCH=72486
IDSOLVER=1162
FILE ID=node055/2681251-1277517630
PBS_JOBID= 11190628
Free space on /tmp= 62360 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/normalized-90_rounds_0_errors.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2681251-1277517630/watcher-2681251-1277517630 -o /tmp/evaluation-result-2681251-1277517630/solver-2681251-1277517630 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2681251-1277517630.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= a240e4a37082dfb03371e204a64a9828
RANDOM SEED=1684748419

node055.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.258
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.51
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.258
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1848644 kB
Buffers:         20348 kB
Cached:         103332 kB
SwapCached:       5924 kB
Active:          79884 kB
Inactive:        56580 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1848644 kB
SwapTotal:     4192956 kB
SwapFree:      4139544 kB
Dirty:            4064 kB
Writeback:           0 kB
AnonPages:       11576 kB
Mapped:          11808 kB
Slab:            51940 kB
PageTables:       4240 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182812 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2681251-1277517630.opb

Free space on /tmp at the end= 62356 MiB
End job on node055 at 2010-06-26 04:30:29