Trace number 4106511

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
toysat 2016-05-02OPT3 739.208 739.347

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=13-P1=53-P2=127-P3=83-P4=37-P5=107-P6=67-P7=41-P8=113-B.opb
MD5SUM81c333fcff34b0322e8b1b71c0cda382
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.094985
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables168
Total number of constraints17
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints17
Minimum length of a constraint7
Maximum length of a constraint63
Number of terms in the objective function 7
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 127
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 8192
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 32512
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)392
Sum of products size (including duplicates)784
Number of different products392
Sum of products size784

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 2016-06-18T19:59:09+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4106511-1466272749.opb"]
0.00/0.01	c use --random-gen="276973576 380824683 2790372012 4262784430 3601789580 577749785 2358260471 3678714571 3804038033 428043011 1245325244 3961307386 2401055856 4043120081 595102980 1630183354 1563744488 1644742783 3664119231 1474888795 2842985075 55092576 1027926558 1404740895 2150082657 3842622559 1023712405 3763500500 1789054198 1211233394 3841278531 753072930 1487996416 77144713 1255444429 1098848037 2676111121 3596495870 1332171012 1675521269 484425651 462942095 542129778 2907029433 1229692912 3698235611 2874078483 779388976 2573304801 283294225 1902514495 3491882448 1560572725 516807142 2875119279 384019059 1333224069 4199456844 71740618 2083649505 1724128718 3462865372 3070981402 4147291361 4150092161 622679625 1115660763 1466117874 2838427883 4001427320 227892002 3683827422 565810698 3482258037 388885359 2820262454 1579120168 776520401 2632099851 314242873 2634568656 2487302231 2272573992 2665041234 4225002914 3545852456 598512631 1687269513 1130030436 351215582 980105669 2215257733 3874937421 1520966622 2780028996 2702364085 4107932795 2170813539 1412551965 2830044571 314117926 2737924688 2189859669 2397893413 250461879 4012978040 3030963992 4012589573 1097943839 2807404056 695354103 3348237722 1750175968 2419902340 3048924415 392580792 4231725484 2326612833 559340823 3180327860 1358457378 3895034865 1272162922 3842955162 2542126308 2605874414 11529941 2560971567 1253428717 3225006504 3206040619 2041233020 106711492 224855568 3433709302 3896983769 1876430499 2081678714 3639649762 4156275295 3758807511 2010836083 448520699 172748218 4270652301 1225353211 2959944019 2087401200 2521023960 2646737041 2132665224 3244763618 1617465388 2705564579 2707299638 993184350 730441798 3511330426 3418770659 2662288122 90335821 1904210984 2247918566 769434022 1225521795 1278219749 42915778 2624154232 917528308 3697282197 768781122 865607208 2840941840 1087406454 1389721444 527094886 3780871371 2392695518 2968594404 3924340414 349943211 898303020 383529523 788520981 3722523903 827251017 3511560460 3872123904 3243273313 2004572388 3605516641 709747243 3160598942 2886658905 3458157170 3335141193 1883262011 2074030571 2311828181 863170088 1696481929 141553659 1872699538 1492145115 980744410 1397955168 1070453305 615117766 73177034 353684486 741040703 3259845110 2019476434 1441130651 911485989 955933593 3359299584 1555317795 510344128 156463793 2001535664 475285702 1471181982 903409838 3575264504 34701556 2803550320 4163925309 1837694515 2259424251 4897333 259994012 2299415245 973049509 3573702599 1259170021 1834332208 2901913225 450708795 3630901169 4049007403 76304824 2865571570 1021967242 2243760630 2705516437 1475763171 519979868 1072058191 3885238773 2521733120 774172263 2752090637 929849452 459946512 720320146 255 362436" option to reproduce the execution
0.00/0.01	c #vars 168
0.00/0.01	c #constraints 17
0.00/0.02	c BCD2: Hardening is enabled.
0.00/0.02	c BCD2: BiasedSearch is enabled.
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      587      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      110 |      100 |      587      0 |        0 |        0
0.00/0.07	c  0.0s |       2 |      289 |      250 |      646      0 |        0 |        0
0.09/0.12	c  0.1s |       3 |      601 |      475 |      711      0 |        0 |        0
0.19/0.23	c  0.2s |       4 |     1042 |      813 |      783      0 |        0 |        0
0.29/0.35	c  0.3s |       5 |     1592 |     1320 |      862      1 |        0 |        0
0.39/0.46	c  0.4s |       5 |     2062 |     1633 |      949      2 |        0 |        0
0.39/0.46	c #cpu_time = 0.432s
0.39/0.46	c #wall_clock_time = 0.433s
0.39/0.46	c #decision = 2062
0.39/0.46	c #random_decision = 10
0.39/0.46	c #conflict = 1633
0.39/0.46	c #restart = 5
0.39/0.46	o 125
0.39/0.46	c BCD2: updating upper bound: 127 -> 124
0.39/0.46	c BCD2: 0 <= obj <= 124
0.39/0.46	c BCD2: #cores=0, #unrelaxed=7, #relaxed=0, #hardened=0
0.39/0.46	c BCD2: #sat=1 #unsat=1 bias=1/2
0.39/0.46	c Solving starts ...
0.39/0.46	c ============================[ Search Statistics ]============================
0.39/0.46	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.39/0.46	c       |         |          |          |    Limit     GC | Var      | Constra 
0.39/0.46	c =============================================================================
0.39/0.46	c  0.0s |       0 |        0 |        0 |      949      0 |        0 |        0
0.39/0.46	c  0.0s |       0 |        5 |        0 |      949      0 |        0 |        0
0.39/0.46	c #cpu_time = 0.004s
0.39/0.46	c #wall_clock_time = 0.004s
0.39/0.46	c #decision = 5
0.39/0.46	c #random_decision = 0
0.39/0.46	c #conflict = 0
0.39/0.46	c #restart = 0
0.39/0.46	c BCD2: found a new core of size 6: cost of the new core is >=2
0.39/0.46	c lower bound updated to 2
0.39/0.46	c BCD2: 2 <= obj <= 124
0.39/0.46	c BCD2: #cores=1, #unrelaxed=1, #relaxed=6, #hardened=0
0.39/0.46	c BCD2: #sat=1 #unsat=2 bias=2/3
0.39/0.46	c Solving starts ...
0.39/0.46	c ============================[ Search Statistics ]============================
0.39/0.46	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.39/0.46	c       |         |          |          |    Limit     GC | Var      | Constra 
0.39/0.46	c =============================================================================
0.39/0.46	c  0.0s |       0 |        0 |        0 |      949      0 |        0 |        0
0.39/0.48	c  0.0s |       1 |      145 |      100 |      949      0 |        0 |        0
0.48/0.59	c  0.1s |       2 |      517 |      250 |      949      0 |        0 |        0
0.59/0.66	c  0.2s |       3 |      857 |      475 |     1044      1 |        0 |        0
0.89/0.92	c  0.5s |       4 |     1336 |      813 |     1044      1 |        0 |        0
0.99/1.08	c  0.6s |       5 |     2135 |     1320 |     1044      2 |        0 |        0
1.38/1.43	c  1.0s |       6 |     3014 |     2081 |     1149      3 |        0 |        0
1.59/1.67	c  1.2s |       7 |     4414 |     3223 |     1149      5 |        0 |        0
1.99/2.03	c  1.6s |       8 |     6487 |     4936 |     1264      7 |        0 |        0
2.38/2.48	c  2.0s |       9 |     9413 |     7506 |     1391     10 |        0 |        0
4.19/4.26	c  3.8s |      10 |    13517 |    11361 |     1531     13 |        0 |        0
5.50/5.51	c  5.0s |      11 |    19713 |    17144 |     1685     20 |        0 |        0
7.49/7.52	c  7.1s |      11 |    28863 |    25644 |     1854     29 |        0 |        0
7.49/7.55	c  7.1s |      12 |    29043 |    25819 |     1854     29 |        0 |        0
9.49/9.57	c  9.1s |      12 |    38000 |    34019 |     1854     36 |        0 |        0
10.79/10.89	c 10.4s |      13 |    43303 |    38832 |     2040     40 |        0 |        0
12.89/12.91	c 12.5s |      13 |    49286 |    43932 |     2040     44 |        0 |        0
14.89/14.95	c 14.5s |      13 |    58731 |    52632 |     2040     51 |        0 |        0
16.89/16.93	c 16.5s |      14 |    64853 |    58352 |     2244     55 |        0 |        0
18.89/18.94	c 18.5s |      14 |    74812 |    67652 |     2244     63 |        0 |        0
20.89/20.95	c 20.5s |      14 |    84048 |    76252 |     2244     69 |        0 |        0
22.89/22.95	c 22.5s |      14 |    93140 |    84752 |     2244     76 |        0 |        0
23.59/23.69	c 23.2s |      15 |    96284 |    87632 |     2469     78 |        0 |        0
25.69/25.73	c 25.3s |      15 |   104079 |    94732 |     2469     83 |        0 |        0
27.69/27.76	c 27.3s |      15 |   110121 |   100032 |     2469     87 |        0 |        0
29.69/29.77	c 29.3s |      15 |   120145 |   109332 |     2469     94 |        0 |        0
31.68/31.78	c 31.3s |      15 |   129377 |   117732 |     2469    100 |        0 |        0
33.68/33.79	c 33.3s |      15 |   137255 |   125032 |     2469    106 |        0 |        0
35.48/35.56	c 35.1s |      16 |   144403 |   131552 |     2716    110 |        0 |        0
37.49/37.57	c 37.1s |      16 |   155066 |   141252 |     2716    116 |        0 |        0
39.59/39.60	c 39.1s |      16 |   164843 |   150152 |     2716    122 |        0 |        0
41.58/41.62	c 41.2s |      16 |   174064 |   158852 |     2716    128 |        0 |        0
43.58/43.63	c 43.2s |      16 |   183419 |   167952 |     2716    134 |        0 |        0
45.58/45.63	c 45.2s |      16 |   192081 |   176052 |     2716    140 |        0 |        0
47.58/47.65	c 47.2s |      16 |   201255 |   184752 |     2716    146 |        0 |        0
49.58/49.67	c 49.2s |      16 |   210256 |   192552 |     2716    150 |        0 |        0
50.88/50.95	c 50.5s |      17 |   215571 |   197432 |     2988    153 |        0 |        0
52.89/52.99	c 52.5s |      17 |   224869 |   204432 |     2988    158 |        0 |        0
54.99/55.01	c 54.5s |      17 |   232604 |   210532 |     2988    161 |        0 |        0
56.98/57.02	c 56.6s |      17 |   240283 |   217232 |     2988    165 |        0 |        0
58.98/59.02	c 58.6s |      17 |   247436 |   222932 |     2988    169 |        0 |        0
60.98/61.04	c 60.6s |      17 |   255841 |   229132 |     2988    173 |        0 |        0
62.98/63.05	c 62.6s |      17 |   261454 |   233932 |     2988    176 |        0 |        0
64.99/65.07	c 64.6s |      17 |   268711 |   240432 |     2988    179 |        0 |        0
66.98/67.08	c 66.6s |      17 |   275265 |   246232 |     2988    183 |        0 |        0
69.08/69.12	c 68.7s |      17 |   281336 |   251932 |     2988    186 |        0 |        0
71.08/71.13	c 70.7s |      17 |   286554 |   256432 |     2988    189 |        0 |        0
73.08/73.15	c 72.7s |      17 |   291775 |   261132 |     2988    192 |        0 |        0
75.08/75.17	c 74.7s |      17 |   298340 |   267232 |     2988    196 |        0 |        0
77.18/77.21	c 76.7s |      17 |   302837 |   271232 |     2988    198 |        0 |        0
79.19/79.22	c 78.8s |      17 |   308531 |   276332 |     2988    201 |        0 |        0
81.18/81.24	c 80.8s |      17 |   313202 |   280532 |     2988    204 |        0 |        0
83.18/83.25	c 82.8s |      17 |   319121 |   285732 |     2988    207 |        0 |        0
85.18/85.26	c 84.8s |      17 |   325659 |   291532 |     2988    210 |        0 |        0
87.18/87.29	c 86.8s |      17 |   330178 |   295732 |     3287    213 |        0 |        0
87.48/87.59	c 87.1s |      18 |   330720 |   296252 |     3287    213 |        0 |        0
89.58/89.60	c 89.1s |      18 |   339536 |   304252 |     3287    217 |        0 |        0
91.58/91.60	c 91.1s |      18 |   347535 |   311452 |     3287    221 |        0 |        0
93.58/93.62	c 93.2s |      18 |   355397 |   318452 |     3287    225 |        0 |        0
95.58/95.63	c 95.2s |      18 |   363667 |   325752 |     3287    229 |        0 |        0
97.58/97.65	c 97.2s |      18 |   371863 |   333052 |     3287    233 |        0 |        0
99.57/99.66	c 99.2s |      18 |   380028 |   340652 |     3287    237 |        0 |        0
101.57/101.68	c  101s |      18 |   387561 |   347352 |     3287    241 |        0 |        0
103.67/103.70	c  103s |      18 |   395035 |   354052 |     3287    245 |        0 |        0
105.68/105.72	c  105s |      18 |   403469 |   361652 |     3287    249 |        0 |        0
107.67/107.74	c  107s |      18 |   410980 |   368452 |     3287    253 |        0 |        0
109.67/109.75	c  109s |      18 |   418219 |   375252 |     3287    256 |        0 |        0
111.67/111.76	c  111s |      18 |   425753 |   381952 |     3287    260 |        0 |        0
113.67/113.77	c  113s |      18 |   433595 |   388152 |     3287    264 |        0 |        0
115.67/115.80	c  115s |      18 |   441844 |   395252 |     3287    268 |        0 |        0
117.77/117.83	c  117s |      18 |   450264 |   402352 |     3287    271 |        0 |        0
119.77/119.85	c  119s |      18 |   457809 |   409052 |     3287    275 |        0 |        0
121.77/121.85	c  121s |      18 |   464740 |   415452 |     3287    279 |        0 |        0
123.76/123.86	c  123s |      18 |   472210 |   422352 |     3287    282 |        0 |        0
125.77/125.89	c  125s |      18 |   480665 |   430252 |     3287    287 |        0 |        0
127.87/127.91	c  127s |      18 |   488856 |   437952 |     3287    291 |        0 |        0
129.78/129.83	c  129s |      19 |   495780 |   444482 |     3616    294 |        0 |        0
131.77/131.86	c  131s |      19 |   503961 |   452282 |     3616    298 |        0 |        0
133.77/133.87	c  133s |      19 |   512038 |   460182 |     3616    302 |        0 |        0
135.77/135.87	c  135s |      19 |   520249 |   468182 |     3616    306 |        0 |        0
137.77/137.88	c  137s |      19 |   528119 |   475782 |     3616    310 |        0 |        0
139.78/139.89	c  139s |      19 |   536242 |   483682 |     3616    314 |        0 |        0
141.88/141.91	c  141s |      19 |   543640 |   490782 |     3616    318 |        0 |        0
143.87/143.92	c  143s |      19 |   550646 |   497282 |     3616    322 |        0 |        0
145.87/145.94	c  145s |      19 |   558028 |   504082 |     3616    325 |        0 |        0
147.87/147.97	c  147s |      19 |   564482 |   510382 |     3616    329 |        0 |        0
149.97/150.00	c  149s |      19 |   570578 |   515682 |     3616    331 |        0 |        0
151.97/152.03	c  151s |      19 |   576410 |   520482 |     3616    333 |        0 |        0
153.97/154.05	c  153s |      19 |   582022 |   525982 |     3616    336 |        0 |        0
155.97/156.08	c  155s |      19 |   587510 |   531082 |     3616    339 |        0 |        0
158.07/158.11	c  157s |      19 |   592992 |   535982 |     3616    341 |        0 |        0
160.07/160.12	c  159s |      19 |   599373 |   542082 |     3616    344 |        0 |        0
162.07/162.13	c  161s |      19 |   605820 |   548182 |     3616    347 |        0 |        0
164.07/164.13	c  163s |      19 |   612130 |   554082 |     3616    350 |        0 |        0
166.07/166.15	c  165s |      19 |   618541 |   560082 |     3616    353 |        0 |        0
168.06/168.17	c  167s |      19 |   624333 |   565682 |     3616    356 |        0 |        0
170.06/170.18	c  169s |      19 |   630817 |   571882 |     3616    359 |        0 |        0
172.06/172.19	c  171s |      19 |   636261 |   577082 |     3616    362 |        0 |        0
174.16/174.21	c  173s |      19 |   641866 |   582282 |     3616    364 |        0 |        0
176.16/176.22	c  175s |      19 |   648507 |   588482 |     3616    367 |        0 |        0
178.17/178.25	c  177s |      19 |   655505 |   594582 |     3616    371 |        0 |        0
180.16/180.25	c  179s |      19 |   661508 |   599782 |     3616    373 |        0 |        0
182.16/182.27	c  181s |      19 |   667418 |   605082 |     3616    376 |        0 |        0
184.16/184.27	c  183s |      19 |   673069 |   610382 |     3616    379 |        0 |        0
186.16/186.28	c  185s |      19 |   678833 |   615682 |     3616    381 |        0 |        0
188.26/188.32	c  187s |      19 |   684977 |   621182 |     3616    384 |        0 |        0
190.27/190.34	c  189s |      19 |   690601 |   626182 |     3616    386 |        0 |        0
192.26/192.35	c  191s |      19 |   695772 |   630782 |     3616    389 |        0 |        0
194.26/194.39	c  193s |      19 |   701501 |   635882 |     3616    391 |        0 |        0
196.36/196.41	c  195s |      19 |   707890 |   641682 |     3616    394 |        0 |        0
198.36/198.43	c  197s |      19 |   713566 |   646682 |     3616    397 |        0 |        0
200.36/200.45	c  199s |      19 |   720327 |   652782 |     3616    400 |        0 |        0
202.36/202.46	c  201s |      19 |   725772 |   657882 |     3616    402 |        0 |        0
204.35/204.46	c  203s |      19 |   731322 |   662982 |     3978    405 |        0 |        0
205.76/205.81	c  205s |      20 |   735639 |   666827 |     3978    407 |        0 |        0
207.75/207.84	c  207s |      20 |   743460 |   673827 |     3978    410 |        0 |        0
209.75/209.85	c  209s |      20 |   749584 |   679327 |     3978    413 |        0 |        0
211.75/211.86	c  211s |      20 |   754774 |   683927 |     3978    415 |        0 |        0
213.85/213.90	c  213s |      20 |   760730 |   689327 |     3978    417 |        0 |        0
215.85/215.92	c  215s |      20 |   768289 |   695927 |     3978    421 |        0 |        0
217.86/217.93	c  217s |      20 |   775887 |   702827 |     3978    424 |        0 |        0
219.85/219.94	c  219s |      20 |   783138 |   709427 |     3978    427 |        0 |        0
221.85/221.95	c  221s |      20 |   790073 |   715927 |     3978    430 |        0 |        0
223.85/223.96	c  223s |      20 |   798364 |   723427 |     3978    434 |        0 |        0
225.85/225.97	c  225s |      20 |   804503 |   729227 |     3978    437 |        0 |        0
227.85/227.98	c  227s |      20 |   811043 |   735327 |     3978    440 |        0 |        0
229.86/230.00	c  229s |      20 |   819035 |   742727 |     3978    443 |        0 |        0
231.95/232.03	c  231s |      20 |   825772 |   748927 |     3978    446 |        0 |        0
233.95/234.03	c  233s |      20 |   832574 |   755127 |     3978    449 |        0 |        0
235.95/236.06	c  235s |      20 |   840082 |   762227 |     3978    453 |        0 |        0
237.95/238.06	c  237s |      20 |   848115 |   769827 |     3978    456 |        0 |        0
239.95/240.07	c  239s |      20 |   855712 |   776727 |     3978    460 |        0 |        0
241.95/242.09	c  241s |      20 |   863536 |   783927 |     3978    463 |        0 |        0
244.05/244.10	c  243s |      20 |   871563 |   791127 |     3978    467 |        0 |        0
246.05/246.11	c  245s |      20 |   879589 |   798627 |     3978    470 |        1 |        7
248.05/248.11	c  247s |      20 |   888481 |   807127 |     3978    474 |        1 |        7
250.05/250.14	c  249s |      20 |   896858 |   815127 |     3978    477 |        1 |        7
252.05/252.17	c  251s |      20 |   905142 |   823227 |     3978    481 |        1 |        7
254.06/254.19	c  253s |      20 |   912607 |   829327 |     3978    484 |        1 |        7
256.15/256.20	c  255s |      20 |   917795 |   834127 |     3978    486 |        1 |        7
258.15/258.23	c  257s |      20 |   922763 |   838727 |     3978    488 |        1 |        7
260.15/260.24	c  259s |      20 |   927830 |   843427 |     3978    490 |        1 |        7
262.15/262.28	c  261s |      20 |   933063 |   848127 |     3978    492 |        1 |        7
264.25/264.30	c  263s |      20 |   939332 |   853327 |     3978    495 |        1 |        7
266.26/266.31	c  265s |      20 |   944669 |   858327 |     3978    497 |        1 |        7
268.25/268.33	c  267s |      20 |   951015 |   864327 |     3978    500 |        1 |        7
270.25/270.35	c  269s |      20 |   956213 |   869327 |     3978    502 |        1 |        7
272.25/272.38	c  271s |      20 |   962716 |   875427 |     3978    505 |        1 |        7
274.25/274.38	c  273s |      20 |   968641 |   881127 |     3978    507 |        1 |        7
276.35/276.40	c  275s |      20 |   975404 |   887627 |     3978    510 |        1 |        7
278.36/278.41	c  277s |      20 |   981035 |   892727 |     3978    513 |        1 |        7
280.35/280.42	c  279s |      20 |   986481 |   897927 |     3978    515 |        1 |        7
282.35/282.44	c  281s |      20 |   993034 |   904327 |     3978    518 |        1 |        7
284.35/284.44	c  283s |      20 |   999896 |   910827 |     3978    521 |        1 |        7
286.35/286.49	c  286s |      20 |  1008077 |   918527 |     3978    524 |        1 |        7
288.35/288.49	c  288s |      20 |  1017002 |   927027 |     3978    528 |        1 |        7
290.35/290.49	c  290s |      20 |  1024228 |   934027 |     3978    531 |        1 |        7
292.45/292.51	c  292s |      20 |  1031460 |   940827 |     3978    535 |        1 |        7
294.44/294.51	c  294s |      20 |  1039181 |   948427 |     3978    538 |        1 |        7
296.44/296.53	c  296s |      20 |  1046869 |   955727 |     3978    541 |        1 |        7
298.44/298.54	c  298s |      20 |  1054750 |   963027 |     3978    545 |        1 |        7
300.44/300.55	c  300s |      20 |  1062409 |   969927 |     3978    548 |        1 |        7
302.45/302.56	c  302s |      20 |  1069124 |   976327 |     3978    551 |        1 |        7
304.44/304.57	c  304s |      20 |  1076841 |   983427 |     3978    554 |        1 |        7
306.44/306.59	c  306s |      20 |  1084482 |   990527 |     3978    557 |        1 |        7
308.54/308.62	c  308s |      20 |  1091373 |   996727 |     4376    559 |        1 |        7
309.74/309.85	c  309s |      21 |  1095130 |  1000345 |     4376    561 |        1 |        7
311.74/311.87	c  311s |      21 |  1102681 |  1006745 |     4376    564 |        1 |        7
313.74/313.87	c  313s |      21 |  1109566 |  1013245 |     4376    566 |        1 |        7
315.75/315.88	c  315s |      21 |  1115947 |  1018445 |     4376    569 |        1 |        7
317.74/317.90	c  317s |      21 |  1121307 |  1022845 |     4376    570 |        1 |        7
319.84/319.93	c  319s |      21 |  1127280 |  1028445 |     4376    573 |        1 |        7
321.84/321.94	c  321s |      21 |  1132160 |  1032545 |     4376    574 |        1 |        7
323.84/323.95	c  323s |      21 |  1138848 |  1037645 |     4376    577 |        1 |        7
325.84/325.97	c  325s |      21 |  1145826 |  1043845 |     4376    579 |        1 |        7
327.84/327.99	c  327s |      21 |  1152708 |  1049945 |     4376    582 |        1 |        7
329.84/330.00	c  329s |      21 |  1159330 |  1056245 |     4376    585 |        1 |        7
331.94/332.00	c  331s |      21 |  1167671 |  1063945 |     4376    588 |        2 |       14
333.94/334.01	c  333s |      21 |  1175072 |  1070345 |     4376    590 |        2 |       14
335.93/336.03	c  335s |      21 |  1182197 |  1076845 |     4376    593 |        2 |       14
337.93/338.03	c  337s |      21 |  1189497 |  1083145 |     4376    596 |        2 |       14
339.94/340.04	c  339s |      21 |  1195686 |  1088645 |     4376    598 |        2 |       14
341.93/342.05	c  341s |      21 |  1202479 |  1094745 |     4376    601 |        2 |       14
343.93/344.08	c  343s |      21 |  1210054 |  1100845 |     4376    603 |        2 |       14
345.93/346.08	c  345s |      21 |  1217170 |  1107245 |     4376    606 |        2 |       14
348.03/348.11	c  347s |      21 |  1224611 |  1113745 |     4376    608 |        2 |       14
350.03/350.14	c  349s |      21 |  1231934 |  1120245 |     4376    611 |        2 |       14
352.04/352.15	c  351s |      21 |  1238572 |  1126345 |     4376    614 |        2 |       14
354.03/354.17	c  353s |      21 |  1245862 |  1132745 |     4376    616 |        2 |       14
356.03/356.18	c  355s |      21 |  1252939 |  1139445 |     4376    619 |        2 |       14
358.03/358.19	c  357s |      21 |  1260748 |  1146745 |     4376    622 |        2 |       14
360.13/360.20	c  359s |      21 |  1267309 |  1153145 |     4376    625 |        2 |       14
362.13/362.20	c  361s |      21 |  1273283 |  1158745 |     4376    627 |        2 |       14
364.14/364.23	c  363s |      21 |  1280433 |  1165645 |     4376    630 |        2 |       14
366.13/366.24	c  365s |      21 |  1287785 |  1172145 |     4376    633 |        2 |       14
368.13/368.25	c  367s |      21 |  1294444 |  1178045 |     4376    635 |        2 |       14
370.13/370.26	c  369s |      21 |  1302444 |  1185445 |     4376    638 |        2 |       14
372.13/372.27	c  371s |      21 |  1310032 |  1192745 |     4376    641 |        2 |       14
374.23/374.31	c  373s |      21 |  1317616 |  1200145 |     4376    645 |        2 |       14
376.23/376.33	c  375s |      21 |  1324758 |  1207145 |     4376    647 |        2 |       14
378.23/378.34	c  377s |      21 |  1331481 |  1213045 |     4376    650 |        2 |       14
380.23/380.35	c  379s |      21 |  1338576 |  1219945 |     4376    653 |        2 |       14
382.22/382.38	c  381s |      21 |  1345785 |  1227045 |     4376    656 |        2 |       14
384.23/384.38	c  383s |      21 |  1353544 |  1234545 |     4376    659 |        2 |       14
386.33/386.41	c  385s |      21 |  1360849 |  1241645 |     4376    662 |        2 |       14
388.34/388.43	c  387s |      21 |  1368053 |  1248645 |     4376    665 |        2 |       14
390.33/390.44	c  389s |      21 |  1375662 |  1256045 |     4376    668 |        2 |       14
392.33/392.47	c  392s |      21 |  1383119 |  1263045 |     4376    671 |        2 |       14
394.33/394.47	c  394s |      21 |  1390486 |  1270045 |     4376    674 |        2 |       14
396.33/396.47	c  396s |      21 |  1398609 |  1277745 |     4376    677 |        2 |       14
398.43/398.50	c  398s |      21 |  1405358 |  1284145 |     4376    679 |        2 |       14
400.44/400.53	c  400s |      21 |  1412901 |  1291145 |     4376    682 |        2 |       14
402.43/402.56	c  402s |      21 |  1420224 |  1298045 |     4376    685 |        2 |       14
404.43/404.59	c  404s |      21 |  1427861 |  1305345 |     4376    688 |        2 |       14
406.43/406.59	c  406s |      21 |  1435443 |  1312645 |     4376    691 |        2 |       14
408.53/408.60	c  408s |      21 |  1442473 |  1319145 |     4376    694 |        2 |       14
410.52/410.63	c  410s |      21 |  1449110 |  1325345 |     4376    697 |        2 |       14
412.53/412.63	c  412s |      21 |  1455737 |  1331545 |     4376    699 |        2 |       14
414.52/414.66	c  414s |      21 |  1461774 |  1337445 |     4376    702 |        2 |       14
416.52/416.68	c  416s |      21 |  1468534 |  1343445 |     4376    704 |        2 |       14
418.52/418.69	c  418s |      21 |  1474643 |  1349445 |     4376    707 |        2 |       14
420.62/420.70	c  420s |      21 |  1481011 |  1355545 |     4376    709 |        2 |       14
422.62/422.72	c  422s |      21 |  1487479 |  1361645 |     4376    712 |        2 |       14
424.63/424.75	c  424s |      21 |  1493338 |  1367145 |     4376    714 |        2 |       14
426.62/426.76	c  426s |      21 |  1499376 |  1372745 |     4376    716 |        2 |       14
428.62/428.77	c  428s |      21 |  1506437 |  1379345 |     4376    719 |        2 |       14
430.72/430.80	c  430s |      21 |  1512932 |  1385645 |     4376    722 |        2 |       14
432.72/432.83	c  432s |      21 |  1519244 |  1391545 |     4376    724 |        2 |       14
434.72/434.87	c  434s |      21 |  1525220 |  1397045 |     4376    726 |        2 |       14
436.73/436.90	c  436s |      21 |  1531382 |  1402545 |     4376    729 |        2 |       14
438.83/438.91	c  438s |      21 |  1537109 |  1408045 |     4376    731 |        2 |       14
440.82/440.94	c  440s |      21 |  1543127 |  1413645 |     4376    733 |        2 |       14
442.82/442.97	c  442s |      21 |  1548859 |  1418745 |     4376    736 |        2 |       14
444.82/444.97	c  444s |      21 |  1555013 |  1423945 |     4376    738 |        2 |       14
446.82/446.98	c  446s |      21 |  1560814 |  1428945 |     4376    740 |        2 |       14
448.82/448.99	c  448s |      21 |  1566852 |  1434545 |     4376    742 |        2 |       14
450.82/450.99	c  450s |      21 |  1572847 |  1439845 |     4376    744 |        2 |       14
452.91/453.02	c  452s |      21 |  1579282 |  1445845 |     4376    747 |        2 |       14
454.92/455.03	c  454s |      21 |  1586321 |  1452645 |     4376    750 |        2 |       14
456.92/457.05	c  456s |      21 |  1593506 |  1459545 |     4376    753 |        2 |       14
458.92/459.05	c  458s |      21 |  1600721 |  1466345 |     4376    755 |        2 |       14
460.93/461.06	c  460s |      21 |  1607726 |  1472745 |     4376    758 |        2 |       14
462.92/463.07	c  462s |      21 |  1613767 |  1478545 |     4376    760 |        2 |       14
464.92/465.08	c  464s |      21 |  1620985 |  1485345 |     4376    763 |        2 |       14
467.02/467.11	c  466s |      21 |  1627934 |  1491845 |     4814    766 |        2 |       14
469.02/469.12	c  468s |      21 |  1634795 |  1498145 |     4814    768 |        2 |       14
469.92/470.04	c  469s |      22 |  1637523 |  1500622 |     4814    769 |        2 |       14
471.93/472.06	c  471s |      22 |  1644849 |  1507322 |     4814    772 |        2 |       14
473.92/474.07	c  473s |      22 |  1650555 |  1512622 |     4814    774 |        2 |       14
476.02/476.11	c  475s |      22 |  1656030 |  1517922 |     4814    776 |        2 |       14
478.02/478.14	c  477s |      22 |  1661552 |  1522622 |     4814    778 |        2 |       14
480.02/480.17	c  479s |      22 |  1667384 |  1527922 |     4814    780 |        2 |       14
482.02/482.18	c  481s |      22 |  1673759 |  1534022 |     4814    782 |        2 |       14
484.03/484.18	c  483s |      22 |  1680871 |  1540722 |     4814    785 |        2 |       14
486.02/486.19	c  485s |      22 |  1686874 |  1546122 |     4814    787 |        2 |       14
488.12/488.24	c  487s |      22 |  1692752 |  1551722 |     4814    789 |        2 |       14
490.12/490.25	c  489s |      22 |  1697942 |  1556822 |     4814    792 |        2 |       14
492.12/492.26	c  491s |      22 |  1705582 |  1563722 |     4814    794 |        3 |       21
494.12/494.26	c  493s |      22 |  1712447 |  1570122 |     4814    797 |        3 |       21
496.22/496.30	c  495s |      22 |  1719542 |  1576622 |     4814    799 |        3 |       21
498.11/498.30	c  497s |      22 |  1726601 |  1583222 |     4814    802 |        3 |       21
500.21/500.32	c  499s |      22 |  1733596 |  1589722 |     4814    804 |        3 |       21
502.21/502.33	c  501s |      22 |  1740322 |  1595922 |     4814    807 |        3 |       21
504.21/504.35	c  503s |      22 |  1747782 |  1602722 |     4814    809 |        3 |       21
506.21/506.36	c  505s |      22 |  1754997 |  1609322 |     4814    812 |        3 |       21
508.22/508.38	c  507s |      22 |  1762305 |  1615922 |     4814    815 |        3 |       21
510.21/510.40	c  509s |      22 |  1770758 |  1624022 |     4814    818 |        3 |       21
512.31/512.41	c  511s |      22 |  1777099 |  1629922 |     4814    820 |        3 |       21
514.31/514.41	c  513s |      22 |  1783950 |  1636522 |     4814    823 |        3 |       21
516.31/516.42	c  515s |      22 |  1790364 |  1642722 |     4814    825 |        3 |       21
518.31/518.44	c  517s |      22 |  1797370 |  1649422 |     4814    828 |        3 |       21
520.32/520.46	c  519s |      22 |  1805363 |  1656822 |     4814    831 |        3 |       21
522.31/522.47	c  522s |      22 |  1812287 |  1663422 |     4814    833 |        3 |       21
524.41/524.50	c  524s |      22 |  1818839 |  1669522 |     4814    836 |        3 |       21
526.41/526.52	c  526s |      22 |  1826083 |  1676522 |     4814    838 |        3 |       21
528.41/528.53	c  528s |      22 |  1833243 |  1683422 |     4814    841 |        3 |       21
530.41/530.54	c  530s |      22 |  1840029 |  1690022 |     4814    844 |        3 |       21
532.41/532.57	c  532s |      22 |  1847441 |  1697122 |     4814    846 |        3 |       21
534.41/534.59	c  534s |      22 |  1854669 |  1704222 |     4814    849 |        3 |       21
536.41/536.59	c  536s |      22 |  1862087 |  1711222 |     4814    852 |        3 |       21
538.51/538.62	c  538s |      22 |  1869185 |  1717922 |     4814    855 |        3 |       21
540.50/540.64	c  540s |      22 |  1876754 |  1724822 |     4814    857 |        3 |       21
542.50/542.65	c  542s |      22 |  1883993 |  1731722 |     4814    860 |        3 |       21
544.51/544.65	c  544s |      22 |  1890714 |  1737922 |     4814    862 |        3 |       21
546.50/546.67	c  546s |      22 |  1897446 |  1744122 |     4814    865 |        3 |       21
548.60/548.70	c  548s |      22 |  1904219 |  1750622 |     4814    867 |        3 |       21
550.60/550.72	c  550s |      22 |  1909996 |  1756122 |     4814    869 |        3 |       21
552.60/552.73	c  552s |      22 |  1916647 |  1762422 |     4814    872 |        3 |       21
554.60/554.74	c  554s |      22 |  1923833 |  1769422 |     4814    875 |        3 |       21
556.61/556.75	c  556s |      22 |  1931334 |  1776722 |     4814    878 |        3 |       21
558.60/558.77	c  558s |      22 |  1938978 |  1784122 |     4814    880 |        3 |       21
560.60/560.78	c  560s |      22 |  1945673 |  1790622 |     4814    883 |        3 |       21
562.60/562.78	c  562s |      22 |  1952379 |  1797122 |     4814    886 |        3 |       21
564.70/564.80	c  564s |      22 |  1959457 |  1803922 |     4814    888 |        3 |       21
566.70/566.81	c  566s |      22 |  1966617 |  1810722 |     4814    891 |        3 |       21
568.71/568.84	c  568s |      22 |  1973113 |  1816722 |     4814    893 |        3 |       21
570.70/570.84	c  570s |      22 |  1980209 |  1823222 |     4814    896 |        3 |       21
572.70/572.85	c  572s |      22 |  1987972 |  1830322 |     4814    899 |        3 |       21
574.70/574.87	c  574s |      22 |  1995183 |  1837022 |     4814    901 |        3 |       21
576.80/576.90	c  576s |      22 |  2002050 |  1843422 |     4814    904 |        3 |       21
578.80/578.90	c  578s |      22 |  2008340 |  1849422 |     4814    906 |        3 |       21
580.80/580.92	c  580s |      22 |  2016073 |  1856822 |     4814    909 |        3 |       21
582.80/582.95	c  582s |      22 |  2022471 |  1863022 |     4814    911 |        3 |       21
584.80/584.97	c  584s |      22 |  2028941 |  1869222 |     4814    914 |        3 |       21
586.80/586.97	c  586s |      22 |  2035656 |  1875722 |     4814    916 |        3 |       21
588.79/588.99	c  588s |      22 |  2042193 |  1882022 |     4814    919 |        3 |       21
590.89/591.01	c  590s |      22 |  2048630 |  1888322 |     4814    921 |        3 |       21
592.90/593.02	c  592s |      22 |  2055281 |  1894722 |     4814    924 |        3 |       21
594.89/595.05	c  594s |      22 |  2062069 |  1901122 |     4814    926 |        3 |       21
596.89/597.06	c  596s |      22 |  2069587 |  1908422 |     4814    929 |        3 |       21
598.89/599.07	c  598s |      22 |  2076365 |  1914922 |     4814    932 |        3 |       21
600.89/601.09	c  600s |      22 |  2083738 |  1921722 |     4814    934 |        3 |       21
602.99/603.11	c  602s |      22 |  2090608 |  1927922 |     4814    937 |        3 |       21
605.00/605.11	c  604s |      22 |  2097417 |  1934322 |     4814    939 |        3 |       21
607.00/607.13	c  606s |      22 |  2104657 |  1941022 |     4814    942 |        3 |       21
609.00/609.15	c  608s |      22 |  2111816 |  1947622 |     4814    945 |        3 |       21
611.00/611.17	c  610s |      22 |  2118057 |  1953622 |     4814    947 |        3 |       21
613.00/613.20	c  612s |      22 |  2124825 |  1960222 |     4814    950 |        3 |       21
615.10/615.20	c  614s |      22 |  2131595 |  1966822 |     4814    952 |        3 |       21
617.10/617.23	c  616s |      22 |  2137621 |  1972722 |     4814    954 |        3 |       21
619.09/619.24	c  618s |      22 |  2143247 |  1978122 |     4814    957 |        3 |       21
621.09/621.26	c  620s |      22 |  2149637 |  1984222 |     4814    959 |        3 |       21
623.10/623.27	c  622s |      22 |  2156172 |  1990422 |     4814    961 |        3 |       21
625.19/625.30	c  624s |      22 |  2163729 |  1997422 |     4814    964 |        3 |       21
627.19/627.31	c  626s |      22 |  2170985 |  2004422 |     4814    967 |        3 |       21
629.20/629.32	c  628s |      22 |  2177731 |  2010822 |     4814    969 |        3 |       21
631.19/631.32	c  630s |      22 |  2184791 |  2017622 |     4814    972 |        3 |       21
633.19/633.33	c  632s |      22 |  2191903 |  2024622 |     4814    975 |        3 |       21
635.19/635.34	c  634s |      22 |  2198600 |  2031022 |     4814    977 |        3 |       21
637.19/637.34	c  636s |      22 |  2205028 |  2037222 |     4814    980 |        3 |       21
639.19/639.36	c  638s |      22 |  2212000 |  2043922 |     4814    982 |        3 |       21
641.20/641.37	c  640s |      22 |  2218149 |  2049822 |     4814    985 |        3 |       21
643.19/643.39	c  642s |      22 |  2225631 |  2057022 |     4814    988 |        3 |       21
645.29/645.41	c  644s |      22 |  2233058 |  2064122 |     4814    990 |        3 |       21
647.28/647.45	c  646s |      22 |  2240090 |  2070822 |     4814    993 |        3 |       21
649.28/649.46	c  649s |      22 |  2247421 |  2077522 |     4814    996 |        3 |       21
651.28/651.47	c  651s |      22 |  2254284 |  2083722 |     4814    998 |        3 |       21
653.29/653.50	c  653s |      22 |  2260906 |  2090022 |     4814   1001 |        3 |       21
655.38/655.53	c  655s |      22 |  2268607 |  2096822 |     4814   1003 |        3 |       21
657.38/657.54	c  657s |      22 |  2275714 |  2103222 |     4814   1006 |        3 |       21
659.39/659.56	c  659s |      22 |  2282287 |  2109522 |     4814   1008 |        3 |       21
661.49/661.60	c  661s |      22 |  2288411 |  2115122 |     4814   1011 |        3 |       21
663.49/663.62	c  663s |      22 |  2295364 |  2121622 |     4814   1013 |        3 |       21
665.50/665.64	c  665s |      22 |  2302197 |  2128022 |     4814   1016 |        3 |       21
667.49/667.65	c  667s |      22 |  2308563 |  2134222 |     4814   1018 |        3 |       21
669.59/669.70	c  669s |      22 |  2314170 |  2139622 |     4814   1020 |        3 |       21
671.59/671.72	c  671s |      22 |  2321017 |  2146022 |     4814   1023 |        3 |       21
673.59/673.74	c  673s |      22 |  2328115 |  2152622 |     4814   1025 |        3 |       21
675.59/675.75	c  675s |      22 |  2335262 |  2159222 |     4814   1028 |        3 |       21
677.59/677.77	c  677s |      22 |  2341428 |  2165022 |     4814   1030 |        3 |       21
679.69/679.82	c  679s |      22 |  2348081 |  2171222 |     4814   1033 |        3 |       21
681.68/681.83	c  681s |      22 |  2353808 |  2176522 |     4814   1035 |        3 |       21
683.68/683.83	c  683s |      22 |  2359172 |  2181722 |     4814   1037 |        3 |       21
685.68/685.84	c  685s |      22 |  2365217 |  2187522 |     4814   1039 |        3 |       21
687.68/687.85	c  687s |      22 |  2371598 |  2193622 |     4814   1041 |        3 |       21
689.69/689.85	c  689s |      22 |  2377920 |  2199522 |     4814   1044 |        3 |       21
691.68/691.86	c  691s |      22 |  2384811 |  2205822 |     4814   1046 |        3 |       21
693.68/693.88	c  693s |      22 |  2391928 |  2211922 |     4814   1049 |        3 |       21
695.78/695.92	c  695s |      22 |  2399099 |  2218722 |     4814   1051 |        3 |       21
697.78/697.92	c  697s |      22 |  2405375 |  2224722 |     4814   1054 |        3 |       21
699.77/699.93	c  699s |      22 |  2412410 |  2231322 |     4814   1056 |        3 |       21
701.78/701.94	c  701s |      22 |  2419466 |  2237822 |     5296   1059 |        3 |       21
703.77/703.95	c  703s |      22 |  2427395 |  2245322 |     5296   1061 |        3 |       21
705.67/705.81	c  705s |      23 |  2433416 |  2251038 |     5296   1063 |        3 |       21
707.67/707.81	c  707s |      23 |  2441012 |  2257938 |     5296   1066 |        3 |       21
709.67/709.83	c  709s |      23 |  2447004 |  2263338 |     5296   1068 |        3 |       21
711.67/711.84	c  711s |      23 |  2452643 |  2268038 |     5296   1070 |        3 |       21
713.67/713.85	c  713s |      23 |  2458427 |  2273338 |     5296   1072 |        3 |       21
715.66/715.86	c  715s |      23 |  2464700 |  2279138 |     5296   1074 |        3 |       21
717.66/717.86	c  717s |      23 |  2471494 |  2285238 |     5296   1076 |        3 |       21
719.66/719.87	c  719s |      23 |  2477711 |  2291038 |     5296   1078 |        3 |       21
721.66/721.88	c  721s |      23 |  2484765 |  2297338 |     5296   1080 |        3 |       21
723.67/723.90	c  723s |      23 |  2491712 |  2303738 |     5296   1083 |        3 |       21
725.76/725.92	c  725s |      23 |  2497821 |  2309438 |     5296   1085 |        3 |       21
727.76/727.97	c  727s |      23 |  2505214 |  2316438 |     5296   1088 |        3 |       21
729.76/730.00	c  729s |      23 |  2512013 |  2323038 |     5296   1090 |        3 |       21
731.85/732.00	c  731s |      23 |  2518924 |  2329738 |     5296   1093 |        4 |       28
733.85/734.03	c  733s |      23 |  2526695 |  2337138 |     5296   1095 |        4 |       28
735.86/736.04	c  735s |      23 |  2534196 |  2344138 |     5296   1098 |        4 |       28
737.85/738.06	c  737s |      23 |  2541474 |  2350538 |     5296   1100 |        4 |       28
738.45/738.68	c  738s |      23 |  2543411 |  2352307 |     5296   1101 |        4 |       28
738.45/738.68	c #cpu_time = 736.311s
738.45/738.68	c #wall_clock_time = 738.222s
738.45/738.68	c #decision = 2543411
738.45/738.68	c #random_decision = 10192
738.45/738.68	c #conflict = 2352307
738.45/738.68	c #restart = 23
738.45/738.68	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 7: cost of the new core is >=3
738.45/738.68	c lower bound updated to 3
738.45/738.68	c BCD2: 3 <= obj <= 124
738.45/738.68	c BCD2: #cores=1, #unrelaxed=0, #relaxed=7, #hardened=0
738.45/738.68	c BCD2: #sat=1 #unsat=3 bias=3/4
738.45/738.68	c Solving starts ...
738.45/738.68	c ============================[ Search Statistics ]============================
738.45/738.68	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
738.45/738.68	c       |         |          |          |    Limit     GC | Var      | Constra 
738.45/738.68	c =============================================================================
738.45/738.68	c  0.0s |       0 |        0 |        0 |     5296      0 |        5 |       28
738.55/738.73	c  0.0s |       1 |      140 |      100 |     5296      0 |        5 |       29
738.55/738.78	c  0.1s |       2 |      340 |      250 |     5296      0 |        5 |       29
738.65/738.88	c  0.2s |       3 |      766 |      475 |     5296      0 |        5 |       29
738.75/738.90	c  0.2s |       3 |      961 |      536 |     5296      0 |        5 |       29
738.75/738.90	c #cpu_time = 0.213s
738.75/738.90	c #wall_clock_time = 0.214s
738.75/738.90	c #decision = 961
738.75/738.90	c #random_decision = 5
738.75/738.90	c #conflict = 536
738.75/738.90	c #restart = 3
738.75/738.90	o 75
738.75/738.90	c BCD2: updating upper bound: 124 -> 74
738.75/738.90	c BCD2: 3 <= obj <= 74
738.75/738.90	c BCD2: #cores=1, #unrelaxed=0, #relaxed=7, #hardened=0
738.75/738.90	c BCD2: #sat=2 #unsat=3 bias=3/5
738.75/738.90	c Solving starts ...
738.75/738.90	c ============================[ Search Statistics ]============================
738.75/738.90	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
738.75/738.90	c       |         |          |          |    Limit     GC | Var      | Constra 
738.75/738.90	c =============================================================================
738.75/738.90	c  0.0s |       0 |        0 |        0 |     5296      0 |        5 |       29
738.75/738.93	c  0.0s |       1 |      234 |      100 |     5296      0 |        5 |       29
738.75/738.95	c  0.1s |       1 |      385 |      138 |     5296      0 |        5 |       29
738.75/738.95	c #cpu_time = 0.051s
738.75/738.95	c #wall_clock_time = 0.051s
738.75/738.95	c #decision = 385
738.75/738.95	c #random_decision = 0
738.75/738.95	c #conflict = 138
738.75/738.95	c #restart = 1
738.75/738.95	o 29
738.75/738.95	c BCD2: hardening fixes 2 literals
738.75/738.95	c BCD2: updating upper bound: 74 -> 28
738.75/738.95	c BCD2: 3 <= obj <= 28
738.75/738.95	c BCD2: #cores=1, #unrelaxed=0, #relaxed=5, #hardened=2
738.75/738.95	c BCD2: #sat=3 #unsat=3 bias=3/6
738.75/738.95	c Solving starts ...
738.75/738.95	c ============================[ Search Statistics ]============================
738.75/738.95	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
738.75/738.95	c       |         |          |          |    Limit     GC | Var      | Constra 
738.75/738.95	c =============================================================================
738.75/738.95	c  0.0s |       0 |        0 |        0 |     5296      0 |       23 |       33
738.75/738.99	c  0.0s |       1 |      141 |      100 |     5296      0 |       23 |       75
738.85/739.02	c  0.1s |       2 |      406 |      250 |     5296      0 |       23 |       75
738.85/739.06	c  0.1s |       3 |      687 |      475 |     5296      0 |       23 |       75
738.95/739.16	c  0.2s |       4 |     1233 |      813 |     5296      0 |       23 |       75
739.06/739.26	c  0.3s |       5 |     1841 |     1320 |     5296      0 |       23 |       75
739.06/739.27	c  0.3s |       5 |     1973 |     1377 |     5296      0 |       23 |       75
739.06/739.27	c #cpu_time = 0.324s
739.06/739.27	c #wall_clock_time = 0.325s
739.06/739.27	c #decision = 1973
739.06/739.27	c #random_decision = 8
739.06/739.27	c #conflict = 1377
739.06/739.27	c #restart = 5
739.06/739.27	o 9
739.06/739.27	c BCD2: hardening fixes 1 literals
739.06/739.27	c BCD2: updating upper bound: 28 -> 8
739.06/739.28	c BCD2: 3 <= obj <= 8
739.06/739.28	c BCD2: #cores=1, #unrelaxed=0, #relaxed=4, #hardened=3
739.06/739.28	c BCD2: #sat=4 #unsat=3 bias=3/7
739.06/739.28	c Solving starts ...
739.06/739.28	c ============================[ Search Statistics ]============================
739.06/739.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
739.06/739.28	c       |         |          |          |    Limit     GC | Var      | Constra 
739.06/739.28	c =============================================================================
739.06/739.28	c  0.0s |       0 |        0 |        0 |     5296      0 |       32 |       76
739.06/739.29	c  0.0s |       0 |       88 |        6 |     5296      0 |       32 |       98
739.06/739.29	c #cpu_time = 0.010s
739.06/739.29	c #wall_clock_time = 0.010s
739.06/739.29	c #decision = 88
739.06/739.29	c #random_decision = 1
739.06/739.29	c #conflict = 6
739.06/739.29	c #restart = 0
739.06/739.29	o 3
739.06/739.29	s OPTIMUM FOUND
739.06/739.29	v x1 x2 -x3 -x4 -x5 -x6 -x7 x8 x9 x10
739.06/739.29	v -x11 -x12 x13 -x14 x15 -x16 -x17 -x18 -x19 -x20
739.06/739.29	v x21 x22 -x23 x24 -x25 -x26 -x27 -x28 x29 -x30
739.06/739.29	v -x31 x32 x33 -x34 -x35 x36 -x37 -x38 x39 x40
739.06/739.29	v x41 -x42 x43 x44 -x45 x46 -x47 x48 -x49 x50
739.06/739.29	v x51 x52 -x53 -x54 x55 -x56 x57 -x58 x59 -x60
739.06/739.29	v x61 x62 -x63 x64 -x65 x66 -x67 x68 x69 x70
739.06/739.29	v x71 -x72 x73 -x74 x75 x76 -x77 x78 -x79 -x80
739.06/739.29	v x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 x90
739.06/739.29	v x91 x92 -x93 -x94 x95 x96 -x97 -x98 x99 x100
739.06/739.29	v -x101 -x102 x103 x104 -x105 x106 -x107 x108 -x109 -x110
739.06/739.29	v -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120
739.06/739.29	v x121 -x122 x123 x124 x125 -x126 -x127 x128 -x129 -x130
739.06/739.29	v -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140
739.06/739.29	v x141 x142 -x143 x144 -x145 x146 -x147 -x148 -x149 -x150
739.06/739.29	v x151 -x152 -x153 -x154 x155 x156 x157 x158 -x159 -x160
739.06/739.29	v -x161 -x162 -x163 x164 x165 x166 -x167 -x168
739.06/739.29	c total CPU time = 737.375s
739.06/739.29	c total wall clock time = 739.289s

Verifier Data 

OK	3

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4106511-1466272749/watcher-4106511-1466272749 -o /tmp/evaluation-result-4106511-1466272749/solver-4106511-1466272749 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28915 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106511-1466272749.opb 

pid=9903
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: 2.12 2.12 2.09 3/179 9906
/proc/meminfo: memFree=30184656/32872528 swapFree=526336/559040
[pid=9906] ppid=9903 vsize=699836 CPUtime=0 cores=1,3,5,7
/proc/9906/stat : 9906 (toysat) R 9903 9906 28898 0 -1 4202496 2609 0 0 0 0 0 0 0 20 0 4 0 29325069 716632064 2459 33554432000 4194304 16246674 140735950253968 140735950253392 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9906/statm: 175727 2469 441 2943 0 172621 0
[pid=9906/tid=9907] ppid=9903 vsize=742844 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9907/stat : 9907 (toysat) S 9903 9906 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29325069 760672256 2627 33554432000 4194304 16246674 140735950253968 140544587050224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9906/tid=9908] ppid=9903 vsize=747964 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9908/stat : 9908 (toysat) S 9903 9906 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29325069 765915136 2644 33554432000 4194304 16246674 140735950253968 140544576560368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9906/tid=9909] ppid=9903 vsize=752060 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9909/stat : 9909 (toysat) S 9903 9906 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29325069 770109440 2660 33554432000 4194304 16246674 140735950253968 140544566086832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.12 2.12 2.09 3/179 9906
/proc/meminfo: memFree=30184656/32872528 swapFree=526336/559040
[pid=9906] ppid=9903 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/9906/stat : 9906 (toysat) R 9903 9906 28898 0 -1 4202496 21894 0 0 0 6 3 0 0 20 0 4 0 29325069 1247350784 21732 33554432000 4194304 16246674 140735950253968 140735950253392 13780501 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9906/statm: 304529 21740 758 2943 0 301423 0
[pid=9906/tid=9907] ppid=9903 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9907/stat : 9907 (toysat) S 9903 9906 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29325069 1247350784 21747 33554432000 4194304 16246674 140735950253968 140544587050224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9906/tid=9908] ppid=9903 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9908/stat : 9908 (toysat) S 9903 9906 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29325069 1247350784 21754 33554432000 4194304 16246674 140735950253968 140544576560368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9906/tid=9909] ppid=9903 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9909/stat : 9909 (toysat) S 9903 9906 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29325069 1247350784 21759 33554432000 4194304 16246674 140735950253968 140544566086832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200617 s]
/proc/loadavg: 2.12 2.12 2.09 3/179 9906
/proc/meminfo: memFree=30184656/32872528 swapFree=526336/559040
[pid=9906] ppid=9903 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/9906/stat : 9906 (toysat) R 9903 9906 28898 0 -1 4202496 39178 0 0 0 14 5 0 0 20 0 4 0 29325069 1247350784 39016 33554432000 4194304 16246674 140735950253968 140735950253392 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9906/statm: 304529 39024 758 2943 0 301423 0
[pid=9906/tid=9907] ppid=9903 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9907/stat : 9907 (toysat) S 9903 9906 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29325069 1247350784 39028 33554432000 4194304 16246674 140735950253968 140544587050224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9906/tid=9908] ppid=9903 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9908/stat : 9908 (toysat) S 9903 9906 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29325069 1247350784 39034 33554432000 4194304 16246674 140735950253968 140544576560368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9906/tid=9909] ppid=9903 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9909/stat : 9909 (toysat) S 9903 9906 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29325069 1247350784 39041 33554432000 4194304 16246674 140735950253968 140544566086832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300478 s]
/proc/loadavg: 2.12 2.12 2.09 3/179 9906
/proc/meminfo: memFree=30184656/32872528 swapFree=526336/559040
[pid=9906] ppid=9903 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/9906/stat : 9906 (toysat) R 9903 9906 28898 0 -1 4202496 57409 0 0 0 21 8 0 0 20 0 4 0 29325069 1247350784 57248 33554432000 4194304 16246674 140735950253968 140735950253392 13192029 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9906/statm: 304529 57253 765 2943 0 301423 0
[pid=9906/tid=9907] ppid=9903 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9907/stat : 9907 (toysat) S 9903 9906 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29325069 1247350784 57257 33554432000 4194304 16246674 140735950253968 140544587050224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9906/tid=9908] ppid=9903 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9908/stat : 9908 (toysat) S 9903 9906 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29325069 1247350784 57263 33554432000 4194304 16246674 140735950253968 140544576560368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9906/tid=9909] ppid=9903 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9909/stat : 9909 (toysat) S 9903 9906 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29325069 1247350784 57271 33554432000 4194304 16246674 140735950253968 140544566086832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700416 s]
/proc/loadavg: 2.12 2.12 2.09 3/179 9906
/proc/meminfo: memFree=30184656/32872528 swapFree=526336/559040
[pid=9906] ppid=9903 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/9906/stat : 9906 (toysat) R 9903 9906 28898 0 -1 4202496 126836 0 0 0 51 18 0 0 20 0 4 0 29325069 1247350784 126673 33554432000 4194304 16246674 140735950253968 140735950253392 12478333 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9906/statm: 304529 126678 793 2943 0 301423 0
[pid=9906/tid=9907] ppid=9903 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9907/stat : 9907 (toysat) S 9903 9906 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29325069 1247350784 126682 33554432000 4194304 16246674 140735950253968 140544587050224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9906/tid=9908] ppid=9903 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9908/stat : 9908 (toysat) S 9903 9906 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29325069 1247350784 126685 33554432000 4194304 16246674 140735950253968 140544576560368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9906/tid=9909] ppid=9903 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9909/stat : 9909 (toysat) S 9903 9906 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29325069 1247350784 126688 33554432000 4194304 16246674 140735950253968 140544566086832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.12 2.12 2.09 3/182 9910
/proc/meminfo: memFree=29432068/32872528 swapFree=526336/559040
[pid=9906] ppid=9903 vsize=1220164 CPUtime=1.49 cores=1,3,5,7
/proc/9906/stat : 9906 (toysat) R 9903 9906 28898 0 -1 4202496 246068 0 0 0 114 35 0 0 20 0 4 0 29325069 1249447936 245883 33554432000 4194304 16246674 140735950253968 140735950253280 6020672 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9906/statm: 305041 245883 849 2943 0 301935 0
[pid=9906/tid=9907] ppid=9903 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9907/stat : 9907 (toysat) S 9903 9906 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29325069 1249447936 245883 33554432000 4194304 16246674 140735950253968 140544587050224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9906/tid=9908] ppid=9903 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9908/stat : 9908 (toysat) S 9903 9906 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29325069 1249447936 245883 33554432000 4194304 16246674 140735950253968 140544576560368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9906/tid=9909] ppid=9903 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9909/stat : 9909 (toysat) S 9903 9906 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29325069 1249447936 245883 33554432000 4194304 16246674 140735950253968 140544566086832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1220164

[startup+3.10043 s]
/proc/loadavg: 2.12 2.12 2.09 3/182 9910
/proc/meminfo: memFree=29159776/32872528 swapFree=526336/559040
[pid=9906] ppid=9903 vsize=1303108 CPUtime=3.08 cores=1,3,5,7
/proc/9906/stat : 9906 (toysat) R 9903 9906 28898 0 -1 4202496 266758 0 0 0 271 37 0 0 20 0 4 0 29325069 1334382592 266573 33554432000 4194304 16246674 140735950253968 140735950235840 5600804 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9906/statm: 325777 266573 849 2943 0 322671 0
[pid=9906/tid=9907] ppid=9903 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9907/stat : 9907 (toysat) S 9903 9906 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29325069 1334382592 266573 33554432000 4194304 16246674 140735950253968 140544587050224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9906/tid=9908] ppid=9903 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9908/stat : 9908 (toysat) S 9903 9906 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29325069 1334382592 266573 33554432000 4194304 16246674 140735950253968 140544576560368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9906/tid=9909] ppid=9903 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9909/stat : 9909 (toysat) S 9903 9906 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29325069 1334382592 266573 33554432000 4194304 16246674 140735950253968 140544566086832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1303108

[startup+6.30043 s]
/proc/loadavg: 2.11 2.12 2.09 3/183 9911
/proc/meminfo: memFree=29115412/32872528 swapFree=526336/559040
[pid=9906] ppid=9903 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/9906/stat : 9906 (toysat) R 9903 9906 28898 0 -1 4202496 267831 0 0 0 591 38 0 0 20 0 4 0 29325069 1338576896 267646 33554432000 4194304 16246674 140735950253968 140735950235840 5677392 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9906/statm: 326801 267646 851 2943 0 323695 0
[pid=9906/tid=9907] ppid=9903 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9907/stat : 9907 (toysat) S 9903 9906 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29325069 1338576896 267646 33554432000 4194304 16246674 140735950253968 140544587050224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9906/tid=9908] ppid=9903 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9908/stat : 9908 (toysat) S 9903 9906 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29325069 1338576896 267646 33554432000 4194304 16246674 140735950253968 140544576560368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9906/tid=9909] ppid=9903 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9909/stat : 9909 (toysat) S 9903 9906 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29325069 1338576896 267646 33554432000 4194304 16246674 140735950253968 140544566086832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.10 2.12 2.09 3/183 9911
/proc/meminfo: memFree=29113932/32872528 swapFree=526336/559040
[pid=9906] ppid=9903 vsize=1308228 CPUtime=12.69 cores=1,3,5,7
/proc/9906/stat : 9906 (toysat) R 9903 9906 28898 0 -1 4202496 268040 0 0 0 1231 38 0 0 20 0 4 0 29325069 1339625472 267855 33554432000 4194304 16246674 140735950253968 140735950235840 5722842 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9906/statm: 327057 267855 851 2943 0 323951 0
[pid=9906/tid=9907] ppid=9903 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9907/stat : 9907 (toysat) S 9903 9906 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29325069 1339625472 267855 33554432000 4194304 16246674 140735950253968 140544587050224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9906/tid=9908] ppid=9903 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9908/stat : 9908 (toysat) S 9903 9906 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29325069 1339625472 267855 33554432000 4194304 16246674 140735950253968 140544576560368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9906/tid=9909] ppid=9903 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9909/stat : 9909 (toysat) S 9903 9906 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29325069 1339625472 267855 33554432000 4194304 16246674 140735950253968 140544566086832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5006 s]
/proc/loadavg: 2.08 2.11 2.09 3/183 9911
/proc/meminfo: memFree=29111944/32872528 swapFree=526336/559040
[pid=9906] ppid=9903 vsize=1310276 CPUtime=25.49 cores=1,3,5,7
/proc/9906/stat : 9906 (toysat) R 9903 9906 28898 0 -1 4202496 268612 0 0 0 2511 38 0 0 20 0 4 0 29325069 1341722624 268427 33554432000 4194304 16246674 140735950253968 140735950236968 5546252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9906/statm: 327569 268427 851 2943 0 324463 0
[pid=9906/tid=9907] ppid=9903 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9907/stat : 9907 (toysat) S 9903 9906 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29325069 1341722624 268427 33554432000 4194304 16246674 140735950253968 140544587050224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9906/tid=9908] ppid=9903 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9908/stat : 9908 (toysat) S 9903 9906 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29325069 1341722624 268427 33554432000 4194304 16246674 140735950253968 140544576560368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9906/tid=9909] ppid=9903 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9909/stat : 9909 (toysat) S 9903 9906 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29325069 1341722624 268427 33554432000 4194304 16246674 140735950253968 140544566086832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1310276

[startup+51.1005 s]
/proc/loadavg: 2.11 2.12 2.09 3/183 9911
/proc/meminfo: memFree=29105588/32872528 swapFree=526336/559040
[pid=9906] ppid=9903 vsize=1316420 CPUtime=51.08 cores=1,3,5,7
/proc/9906/stat : 9906 (toysat) R 9903 9906 28898 0 -1 4202496 270204 0 0 0 5070 38 0 0 20 0 4 0 29325069 1348014080 270019 33554432000 4194304 16246674 140735950253968 140735950236968 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9906/statm: 329105 270019 853 2943 0 325999 0
[pid=9906/tid=9907] ppid=9903 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9907/stat : 9907 (toysat) S 9903 9906 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29325069 1348014080 270019 33554432000 4194304 16246674 140735950253968 140544587050224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9906/tid=9908] ppid=9903 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9908/stat : 9908 (toysat) S 9903 9906 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29325069 1348014080 270019 33554432000 4194304 16246674 140735950253968 140544576560368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9906/tid=9909] ppid=9903 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9909/stat : 9909 (toysat) S 9903 9906 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29325069 1348014080 270019 33554432000 4194304 16246674 140735950253968 140544566086832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1316420

[startup+102.301 s]
/proc/loadavg: 2.10 2.11 2.09 3/184 9915
/proc/meminfo: memFree=29104988/32872528 swapFree=526336/559040
[pid=9906] ppid=9903 vsize=1316420 CPUtime=102.28 cores=1,3,5,7
/proc/9906/stat : 9906 (toysat) R 9903 9906 28898 0 -1 4202496 270204 0 0 0 10189 39 0 0 20 0 4 0 29325069 1348014080 270019 33554432000 4194304 16246674 140735950253968 140735950236968 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9906/statm: 329105 270019 853 2943 0 325999 0
[pid=9906/tid=9907] ppid=9903 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9907/stat : 9907 (toysat) S 9903 9906 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29325069 1348014080 270019 33554432000 4194304 16246674 140735950253968 140544587050224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9906/tid=9908] ppid=9903 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9908/stat : 9908 (toysat) S 9903 9906 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29325069 1348014080 270019 33554432000 4194304 16246674 140735950253968 140544576560368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9906/tid=9909] ppid=9903 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9909/stat : 9909 (toysat) S 9903 9906 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29325069 1348014080 270019 33554432000 4194304 16246674 140735950253968 140544566086832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1316420


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

Current children cumulated vsize (KiB) 1320516

[startup+582.3 s]
/proc/loadavg: 2.33 2.24 2.14 3/183 9947
/proc/meminfo: memFree=29098672/32872528 swapFree=526336/559040
[pid=9906] ppid=9903 vsize=1321540 CPUtime=582.2 cores=1,3,5,7
/proc/9906/stat : 9906 (toysat) R 9903 9906 28898 0 -1 4202496 271484 0 0 0 58177 43 0 0 20 0 4 0 29325069 1353256960 271299 33554432000 4194304 16246674 140735950253968 140735950236968 6011723 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9906/statm: 330385 271299 853 2943 0 327279 0
[pid=9906/tid=9907] ppid=9903 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9907/stat : 9907 (toysat) S 9903 9906 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29325069 1353256960 271299 33554432000 4194304 16246674 140735950253968 140544587050224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9906/tid=9908] ppid=9903 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9908/stat : 9908 (toysat) S 9903 9906 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29325069 1353256960 271299 33554432000 4194304 16246674 140735950253968 140544576560368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9906/tid=9909] ppid=9903 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9909/stat : 9909 (toysat) S 9903 9906 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29325069 1353256960 271299 33554432000 4194304 16246674 140735950253968 140544566086832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1321540

[startup+642.3 s]
/proc/loadavg: 2.30 2.24 2.14 3/183 9949
/proc/meminfo: memFree=29095492/32872528 swapFree=526336/559040
[pid=9906] ppid=9903 vsize=1324612 CPUtime=642.19 cores=1,3,5,7
/proc/9906/stat : 9906 (toysat) R 9903 9906 28898 0 -1 4202496 272252 0 0 0 64175 44 0 0 20 0 4 0 29325069 1356402688 272067 33554432000 4194304 16246674 140735950253968 140735950236968 5722834 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9906/statm: 331153 272067 853 2943 0 328047 0
[pid=9906/tid=9907] ppid=9903 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9907/stat : 9907 (toysat) S 9903 9906 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29325069 1356402688 272067 33554432000 4194304 16246674 140735950253968 140544587050224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9906/tid=9908] ppid=9903 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9908/stat : 9908 (toysat) S 9903 9906 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29325069 1356402688 272067 33554432000 4194304 16246674 140735950253968 140544576560368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9906/tid=9909] ppid=9903 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9909/stat : 9909 (toysat) S 9903 9906 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29325069 1356402688 272067 33554432000 4194304 16246674 140735950253968 140544566086832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 642.19
Current children cumulated vsize (KiB) 1324612

[startup+702.301 s]
/proc/loadavg: 2.22 2.22 2.14 3/184 9953
/proc/meminfo: memFree=29094032/32872528 swapFree=526336/559040
[pid=9906] ppid=9903 vsize=1324612 CPUtime=702.17 cores=1,3,5,7
/proc/9906/stat : 9906 (toysat) R 9903 9906 28898 0 -1 4202496 272276 0 0 0 70172 45 0 0 20 0 4 0 29325069 1356402688 272324 33554432000 4194304 16246674 140735950253968 140735950235840 13950232 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9906/statm: 331153 272324 854 2943 0 328047 0
[pid=9906/tid=9907] ppid=9903 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9907/stat : 9907 (toysat) S 9903 9906 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29325069 1356402688 272324 33554432000 4194304 16246674 140735950253968 140544587050224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9906/tid=9908] ppid=9903 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9908/stat : 9908 (toysat) S 9903 9906 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29325069 1356402688 272324 33554432000 4194304 16246674 140735950253968 140544576560368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9906/tid=9909] ppid=9903 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9909/stat : 9909 (toysat) S 9903 9906 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29325069 1356402688 272324 33554432000 4194304 16246674 140735950253968 140544566086832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 702.17
Current children cumulated vsize (KiB) 1324612

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 9906 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+716.8 s]
/proc/loadavg: 2.39 2.26 2.15 3/183 9953
/proc/meminfo: memFree=29091920/32872528 swapFree=526336/559040
[pid=9906] ppid=9903 vsize=1326660 CPUtime=716.66 cores=1,3,5,7
/proc/9906/stat : 9906 (toysat) R 9903 9906 28898 0 -1 4202496 272794 0 0 0 71621 45 0 0 20 0 4 0 29325069 1358499840 272836 33554432000 4194304 16246674 140735950253968 140735950236968 5723867 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9906/statm: 331665 272836 854 2943 0 328559 0
[pid=9906/tid=9907] ppid=9903 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9907/stat : 9907 (toysat) S 9903 9906 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29325069 1358499840 272836 33554432000 4194304 16246674 140735950253968 140544587050224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9906/tid=9908] ppid=9903 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9908/stat : 9908 (toysat) S 9903 9906 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29325069 1358499840 272836 33554432000 4194304 16246674 140735950253968 140544576560368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9906/tid=9909] ppid=9903 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9909/stat : 9909 (toysat) S 9903 9906 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29325069 1358499840 272836 33554432000 4194304 16246674 140735950253968 140544566086832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 716.66
Current children cumulated vsize (KiB) 1326660

[startup+729.6 s]
/proc/loadavg: 2.30 2.25 2.15 3/183 9954
/proc/meminfo: memFree=29092528/32872528 swapFree=526336/559040
[pid=9906] ppid=9903 vsize=1326660 CPUtime=729.46 cores=1,3,5,7
/proc/9906/stat : 9906 (toysat) R 9903 9906 28898 0 -1 4202496 272800 0 0 0 72901 45 0 0 20 0 4 0 29325069 1358499840 272836 33554432000 4194304 16246674 140735950253968 140735950235840 5600380 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9906/statm: 331665 272836 854 2943 0 328559 0
[pid=9906/tid=9907] ppid=9903 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9907/stat : 9907 (toysat) S 9903 9906 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29325069 1358499840 272836 33554432000 4194304 16246674 140735950253968 140544587050224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9906/tid=9908] ppid=9903 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9908/stat : 9908 (toysat) S 9903 9906 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29325069 1358499840 272836 33554432000 4194304 16246674 140735950253968 140544576560368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9906/tid=9909] ppid=9903 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9909/stat : 9909 (toysat) S 9903 9906 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29325069 1358499840 272836 33554432000 4194304 16246674 140735950253968 140544566086832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 729.46
Current children cumulated vsize (KiB) 1326660

[startup+736.007 s]
/proc/loadavg: 2.28 2.24 2.15 3/183 9954
/proc/meminfo: memFree=29092564/32872528 swapFree=526336/559040
[pid=9906] ppid=9903 vsize=1326660 CPUtime=735.86 cores=1,3,5,7
/proc/9906/stat : 9906 (toysat) R 9903 9906 28898 0 -1 4202496 272807 0 0 0 73541 45 0 0 20 0 4 0 29325069 1358499840 272836 33554432000 4194304 16246674 140735950253968 140735950235840 5673511 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9906/statm: 331665 272836 854 2943 0 328559 0
[pid=9906/tid=9907] ppid=9903 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9907/stat : 9907 (toysat) S 9903 9906 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29325069 1358499840 272836 33554432000 4194304 16246674 140735950253968 140544587050224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9906/tid=9908] ppid=9903 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9908/stat : 9908 (toysat) S 9903 9906 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29325069 1358499840 272836 33554432000 4194304 16246674 140735950253968 140544576560368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9906/tid=9909] ppid=9903 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9909/stat : 9909 (toysat) S 9903 9906 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29325069 1358499840 272836 33554432000 4194304 16246674 140735950253968 140544566086832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 735.86
Current children cumulated vsize (KiB) 1326660

[startup+737.6 s]
/proc/loadavg: 2.28 2.24 2.15 3/183 9954
/proc/meminfo: memFree=29092564/32872528 swapFree=526336/559040
[pid=9906] ppid=9903 vsize=1326660 CPUtime=737.45 cores=1,3,5,7
/proc/9906/stat : 9906 (toysat) R 9903 9906 28898 0 -1 4202496 272807 0 0 0 73700 45 0 0 20 0 4 0 29325069 1358499840 272836 33554432000 4194304 16246674 140735950253968 140735950235840 5711636 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9906/statm: 331665 272836 854 2943 0 328559 0
[pid=9906/tid=9907] ppid=9903 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9907/stat : 9907 (toysat) S 9903 9906 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29325069 1358499840 272836 33554432000 4194304 16246674 140735950253968 140544587050224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9906/tid=9908] ppid=9903 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9908/stat : 9908 (toysat) S 9903 9906 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29325069 1358499840 272836 33554432000 4194304 16246674 140735950253968 140544576560368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9906/tid=9909] ppid=9903 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9909/stat : 9909 (toysat) S 9903 9906 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29325069 1358499840 272836 33554432000 4194304 16246674 140735950253968 140544566086832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 737.45
Current children cumulated vsize (KiB) 1326660

[startup+738.4 s]
/proc/loadavg: 2.28 2.24 2.15 4/183 9954
/proc/meminfo: memFree=29092688/32872528 swapFree=526336/559040
[pid=9906] ppid=9903 vsize=1326660 CPUtime=738.25 cores=1,3,5,7
/proc/9906/stat : 9906 (toysat) R 9903 9906 28898 0 -1 4202496 272807 0 0 0 73780 45 0 0 20 0 4 0 29325069 1358499840 272836 33554432000 4194304 16246674 140735950253968 140735950235840 5677667 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9906/statm: 331665 272836 854 2943 0 328559 0
[pid=9906/tid=9907] ppid=9903 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9907/stat : 9907 (toysat) S 9903 9906 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29325069 1358499840 272836 33554432000 4194304 16246674 140735950253968 140544587050224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9906/tid=9908] ppid=9903 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9908/stat : 9908 (toysat) S 9903 9906 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29325069 1358499840 272836 33554432000 4194304 16246674 140735950253968 140544576560368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9906/tid=9909] ppid=9903 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9909/stat : 9909 (toysat) S 9903 9906 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29325069 1358499840 272836 33554432000 4194304 16246674 140735950253968 140544566086832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 738.25
Current children cumulated vsize (KiB) 1326660

[startup+738.8 s]
/proc/loadavg: 2.28 2.24 2.15 4/183 9954
/proc/meminfo: memFree=29092688/32872528 swapFree=526336/559040
[pid=9906] ppid=9903 vsize=1326660 CPUtime=738.65 cores=1,3,5,7
/proc/9906/stat : 9906 (toysat) R 9903 9906 28898 0 -1 4202496 272807 0 0 0 73820 45 0 0 20 0 4 0 29325069 1358499840 272836 33554432000 4194304 16246674 140735950253968 140735950235840 4220480 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9906/statm: 331665 272836 854 2943 0 328559 0
[pid=9906/tid=9907] ppid=9903 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9907/stat : 9907 (toysat) S 9903 9906 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29325069 1358499840 272836 33554432000 4194304 16246674 140735950253968 140544587050224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9906/tid=9908] ppid=9903 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9908/stat : 9908 (toysat) S 9903 9906 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29325069 1358499840 272836 33554432000 4194304 16246674 140735950253968 140544576560368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9906/tid=9909] ppid=9903 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9909/stat : 9909 (toysat) S 9903 9906 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29325069 1358499840 272836 33554432000 4194304 16246674 140735950253968 140544566086832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 738.65
Current children cumulated vsize (KiB) 1326660

[startup+739.2 s]
/proc/loadavg: 2.42 2.27 2.16 3/183 9954
/proc/meminfo: memFree=29092688/32872528 swapFree=526336/559040
[pid=9906] ppid=9903 vsize=1326660 CPUtime=739.06 cores=1,3,5,7
/proc/9906/stat : 9906 (toysat) R 9903 9906 28898 0 -1 4202496 272808 0 0 0 73861 45 0 0 20 0 4 0 29325069 1358499840 272837 33554432000 4194304 16246674 140735950253968 140735950236960 5829888 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9906/statm: 331665 272837 855 2943 0 328559 0
[pid=9906/tid=9907] ppid=9903 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9907/stat : 9907 (toysat) S 9903 9906 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29325069 1358499840 272837 33554432000 4194304 16246674 140735950253968 140544587050224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9906/tid=9908] ppid=9903 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9908/stat : 9908 (toysat) S 9903 9906 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29325069 1358499840 272837 33554432000 4194304 16246674 140735950253968 140544576560368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9906/tid=9909] ppid=9903 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/9906/task/9909/stat : 9909 (toysat) S 9903 9906 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29325069 1358499840 272837 33554432000 4194304 16246674 140735950253968 140544566086832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 739.06
Current children cumulated vsize (KiB) 1326660

[startup+739.307 s]
/proc/loadavg: 2.42 2.27 2.16 3/183 9954
/proc/meminfo: memFree=29092688/32872528 swapFree=526336/559040
[pid=9906] ppid=9903 vsize=0 CPUtime=739.16 cores=1,3,5,7
/proc/9906/stat : 9906 (toysat) R 9903 9906 28898 0 -1 4202500 272812 0 0 0 73869 47 0 0 20 0 1 0 29325069 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9906/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 739.16
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 739.347
CPU time (s): 739.208
CPU user time (s): 738.696
CPU system time (s): 0.511922
CPU usage (%): 99.9811
Max. virtual memory (cumulated for all children) (KiB): 1326660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 738.696
system time used= 0.511922
maximum resident set size= 1091356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272812
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= 60
involuntary context switches= 779

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.85126 second user time and 7.2039 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-18 19:59:09
IDJOB=4106511
IDBENCH=48086
IDSOLVER=2542
FILE ID=node106/4106511-1466272749
RUNJOBID= node106-1466241787-28915
PBS_JOBID= 19918214
Free space on /tmp= 71684 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=13-P1=53-P2=127-P3=83-P4=37-P5=107-P6=67-P7=41-P8=113-B.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106511-1466272749/watcher-4106511-1466272749 -o /tmp/evaluation-result-4106511-1466272749/solver-4106511-1466272749 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28915 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106511-1466272749.opb

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

MD5SUM BENCH= 81c333fcff34b0322e8b1b71c0cda382
RANDOM SEED=1832317019

node106.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		: 2667.073
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	: 5334.14
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		: 2667.073
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	: 5332.55
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		: 2667.073
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
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	: 5332.56
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		: 2667.073
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	: 5332.55
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		: 2667.073
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	: 5332.56
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		: 2667.073
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	: 5332.38
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		: 2667.073
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30185572 kB
Buffers:           94700 kB
Cached:           197892 kB
SwapCached:         1736 kB
Active:          1186944 kB
Inactive:         195132 kB
Active(anon):    1087764 kB
Inactive(anon):     4000 kB
Active(file):      99180 kB
Inactive(file):   191132 kB
Unevictable:      559040 kB
Mlocked:          526336 kB
SwapTotal:      67108856 kB
SwapFree:       67099160 kB
Dirty:             16348 kB
Writeback:             0 kB
AnonPages:       1647704 kB
Mapped:            10540 kB
Shmem:                 0 kB
Slab:             613048 kB
SReclaimable:      56656 kB
SUnreclaim:       556392 kB
KernelStack:        1448 kB
PageTables:         7692 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1791332 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     57344 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71668 MiB
End job on node106 at 2016-06-18 20:11:29