Trace number 4116389

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 NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.11 1800.61

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size128-round21-2.opb
MD5SUMfffab1c809e66c3ffabf2a45b249e251
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark122.482
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3968
Total number of constraints7904
Number of constraints which are clauses6656
Number of constraints which are cardinality constraints (but not clauses)416
Number of constraints which are nor clauses,nor cardinality constraints832
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-26T15:50:31+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-4116389-1466949031.opb"]
0.00/0.01	c use --random-gen="2917599785 4258921309 802588724 2538856881 3128995605 3765285395 2707352344 3851113721 4143365753 2487043589 2150834425 921555831 1562720743 38717467 4139209147 2669676861 2687338998 861989265 3839482537 3276856548 3669123743 413450860 3759942432 1929369338 159770650 606048583 2921071939 1369287270 1244520564 1863063782 713362024 486730188 1494261229 269325640 2561809129 2292902431 4165152985 190763807 337279689 2547365921 3347735112 2562679596 2512882723 391682877 1114079350 2344392048 3529407566 1039761684 4246465471 2471405120 1195156577 901422733 4269781627 1179720416 1708316735 3067240604 1543113183 1323668158 4030900993 3884348000 94780024 3681891194 2719725373 27520664 3100812003 423324029 515920753 962863249 2858592351 1743167643 3635420494 3206130586 1023028188 2906983763 243566081 1423424456 3135609787 1395606174 3646498606 2667328374 102622423 2124047286 3789944437 711242198 3806061561 2192458030 701728146 2884403922 4284784442 778332938 1912111737 2918515617 3536216933 3583382226 182178002 2944624365 2189829008 2097263126 645880955 1439669865 2893002877 3624879047 1779435378 2488170327 1392570203 1255476906 3404308260 3555332595 2883459108 1468928800 765650451 4173181991 3001860973 1694233703 101121848 4001230095 2680301361 3633453901 3636123228 1891046381 1593733297 1741002161 143188088 3922948794 3546362313 1042474983 1390305685 4019435262 2157484094 2878115756 2651689527 2294840577 3021596401 3784278474 3577008961 3493184643 3006228173 325374912 3009654045 227527113 3457513222 37733563 1375441797 4150426352 3873248973 2765454602 2668875432 31038537 54948342 1941525705 1127883196 1457715744 2603223900 780131423 565269454 845576913 2154821408 3242208166 3295330757 3131600257 2650985290 1363756110 2347997458 1681016859 797448578 1057687237 2362915791 3008852936 1909182481 3626315533 2929517514 1338728180 2850793736 1324316375 1341826718 1454899592 3355169492 2869918005 3553716273 3287703488 2405246588 2766036375 4231687292 1149508443 2497262023 593509802 1644252638 947829959 313316117 677615709 1672022247 3657665327 3932069298 1797937476 1701909783 1961736502 2969042321 2847558058 3884926174 2356921274 4292589171 3335412870 494123296 1558401285 265831553 1621536133 108000872 3300402599 2619780741 1294143406 1208958683 4230425108 3889541677 162454050 1418206262 4225903863 3463796599 4118193461 484177843 1610721813 3428710335 561828549 951212236 3695260464 354929680 786714520 3069373123 1922391679 3570136751 1093051 4090761363 4273357292 463290951 1510321905 3421765046 174387623 1730999220 1144660004 2293162529 1659432711 1567174227 1446513509 707724103 345787514 2145476399 3379763612 2159210078 2013494196 704595093 2185791144 205594078 1413707704 870887068 892348059 2873819775 167874466 255 362436" option to reproduce the execution
0.00/0.09	c #vars 3968
0.00/0.09	c #constraints 7904
0.19/0.23	c Solving starts ...
0.19/0.23	c ============================[ Search Statistics ]============================
0.19/0.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.23	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.23	c =============================================================================
0.19/0.23	c  0.0s |       0 |        0 |        0 |     3904      0 |      794 |        0
0.19/0.29	c  0.1s |       1 |     1258 |      100 |     3904      0 |      795 |      623
0.28/0.38	c  0.2s |       2 |     2413 |      250 |     4295      0 |      795 |      623
0.49/0.56	c  0.3s |       3 |     5704 |      475 |     4725      0 |      795 |      623
0.89/0.96	c  0.7s |       4 |     7803 |      813 |     5198      0 |      795 |      623
1.39/1.44	c  1.2s |       5 |     9395 |     1320 |     5718      0 |      795 |      623
2.38/2.45	c  2.2s |       6 |    10791 |     2081 |     6920      0 |      795 |      623
3.08/3.16	c  2.9s |       7 |    17940 |     3223 |     7613      0 |      796 |      623
4.98/5.01	c  4.8s |       8 |    20584 |     4936 |     8375      0 |      796 |      623
7.08/7.11	c  6.9s |       8 |    27146 |     6936 |     8375      0 |      796 |      623
7.69/7.76	c  7.5s |       9 |    28397 |     7506 |     9213      0 |      796 |      623
9.68/9.79	c  9.6s |       9 |    32747 |     9506 |     9213      0 |      796 |      623
11.78/11.86	c 11.6s |       9 |    34594 |    11006 |     9213      0 |      796 |      623
12.38/12.45	c 12.2s |      10 |    35016 |    11361 |    10135      0 |      796 |      623
14.48/14.53	c 14.3s |      10 |    40240 |    13361 |    10135      1 |      796 |      623
16.49/16.56	c 16.3s |      10 |    42400 |    15061 |    10135      1 |      796 |      623
18.69/18.71	c 18.5s |      10 |    43979 |    16561 |    10135      1 |      796 |      623
19.38/19.49	c 19.3s |      11 |    44686 |    17144 |    11149      1 |      796 |      623
21.48/21.53	c 21.3s |      11 |    54929 |    19344 |    11149      2 |      796 |      623
23.58/23.60	c 23.4s |      11 |    57491 |    21144 |    11149      2 |      796 |      623
25.58/25.62	c 25.4s |      11 |    58785 |    22244 |    11149      2 |      796 |      623
27.59/27.64	c 27.4s |      11 |    60529 |    23544 |    11149      2 |      796 |      623
29.69/29.74	c 29.5s |      11 |    61859 |    24644 |    11149      2 |      796 |      623
31.78/31.81	c 31.6s |      11 |    63175 |    25744 |    12264      2 |      796 |      623
31.89/31.93	c 31.7s |      12 |    63273 |    25819 |    12264      2 |      796 |      623
33.88/34.00	c 33.8s |      12 |    65954 |    27319 |    12264      3 |      796 |      623
35.98/36.01	c 35.8s |      12 |    67171 |    28419 |    12264      3 |      796 |      623
37.98/38.09	c 37.9s |      12 |    68528 |    29619 |    12264      3 |      796 |      623
40.09/40.18	c 40.0s |      12 |    69719 |    30619 |    12264      3 |      796 |      623
42.19/42.29	c 42.1s |      12 |    70895 |    31619 |    12264      3 |      796 |      623
44.29/44.30	c 44.1s |      12 |    72261 |    32719 |    12264      3 |      796 |      623
46.29/46.34	c 46.1s |      12 |    73568 |    33819 |    12264      3 |      796 |      623
48.28/48.38	c 48.1s |      12 |    74638 |    34719 |    12264      4 |      796 |      623
50.28/50.39	c 50.2s |      12 |    75817 |    35719 |    12264      4 |      796 |      623
52.38/52.42	c 52.2s |      12 |    76827 |    36619 |    12264      4 |      796 |      623
54.38/54.44	c 54.2s |      12 |    77769 |    37419 |    12264      4 |      796 |      623
56.48/56.50	c 56.3s |      12 |    78635 |    38219 |    12264      4 |      796 |      623
57.78/57.88	c 57.7s |      13 |    79406 |    38832 |    13491      4 |      796 |      623
59.88/59.94	c 59.7s |      13 |    90017 |    41332 |    13491      4 |      796 |      623
62.28/62.34	c 62.1s |      13 |    92623 |    43032 |    13491      5 |      796 |      623
64.48/64.51	c 64.3s |      13 |    94389 |    44332 |    13491      5 |      796 |      623
66.58/66.70	c 66.5s |      13 |    95831 |    45432 |    13491      5 |      796 |      623
68.68/68.78	c 68.5s |      13 |    97190 |    46532 |    13491      5 |      796 |      623
70.78/70.87	c 70.6s |      13 |    98506 |    47532 |    13491      5 |      796 |      623
72.88/72.96	c 72.7s |      13 |    99872 |    48632 |    13491      5 |      796 |      623
74.98/75.04	c 74.8s |      13 |   100828 |    49432 |    13491      5 |      796 |      623
76.99/77.10	c 76.9s |      13 |   101800 |    50232 |    13491      5 |      796 |      623
79.29/79.35	c 79.1s |      13 |   103003 |    51232 |    13491      5 |      796 |      623
81.38/81.42	c 81.2s |      13 |   103938 |    52032 |    13491      6 |      796 |      623
83.48/83.58	c 83.4s |      13 |   104964 |    52932 |    13491      6 |      796 |      623
85.58/85.64	c 85.4s |      13 |   105863 |    53732 |    13491      6 |      796 |      623
87.78/87.81	c 87.6s |      13 |   106794 |    54532 |    13491      6 |      796 |      623
89.98/90.01	c 89.8s |      13 |   107730 |    55332 |    13491      6 |      796 |      623
91.98/92.02	c 91.8s |      13 |   108526 |    56032 |    13491      6 |      796 |      623
94.17/94.24	c 94.0s |      13 |   109442 |    56832 |    13491      6 |      796 |      623
96.37/96.47	c 96.2s |      13 |   110239 |    57532 |    13491      6 |      796 |      623
98.47/98.50	c 98.3s |      13 |   110908 |    58132 |    14841      6 |      796 |      623
99.08/99.18	c 99.0s |      14 |   111167 |    58352 |    14841      6 |      796 |      623
101.18/101.26	c  101s |      14 |   115221 |    59952 |    14841      6 |      796 |      623
103.27/103.33	c  103s |      14 |   117135 |    61352 |    14841      7 |      796 |      623
105.47/105.50	c  105s |      14 |   118930 |    62752 |    14841      7 |      796 |      623
107.57/107.67	c  107s |      14 |   120411 |    63952 |    14841      7 |      796 |      623
109.57/109.67	c  109s |      14 |   121445 |    64852 |    14841      7 |      796 |      623
111.77/111.81	c  111s |      14 |   122744 |    65952 |    14841      7 |      796 |      623
113.87/113.96	c  113s |      14 |   123883 |    66952 |    14841      7 |      796 |      623
115.87/115.96	c  115s |      14 |   124678 |    67652 |    14841      7 |      796 |      623
118.17/118.21	c  117s |      14 |   125707 |    68552 |    14841      7 |      796 |      623
120.38/120.42	c  120s |      14 |   126467 |    69252 |    14841      7 |      796 |      623
122.58/122.62	c  122s |      14 |   127554 |    70152 |    14841      7 |      796 |      623
124.67/124.78	c  124s |      14 |   128330 |    70852 |    14841      8 |      796 |      623
126.97/127.02	c  126s |      14 |   129181 |    71652 |    14841      8 |      796 |      623
129.17/129.29	c  129s |      14 |   130033 |    72452 |    14841      8 |      796 |      623
131.27/131.36	c  131s |      14 |   130903 |    73252 |    14841      8 |      796 |      623
133.27/133.37	c  133s |      14 |   131806 |    74052 |    14841      8 |      796 |      623
135.47/135.52	c  135s |      14 |   132699 |    74852 |    14841      8 |      796 |      623
137.58/137.62	c  137s |      14 |   133487 |    75552 |    14841      8 |      796 |      623
139.57/139.62	c  139s |      14 |   134259 |    76252 |    14841      8 |      796 |      623
141.88/141.92	c  141s |      14 |   135143 |    77052 |    14841      8 |      796 |      623
143.97/144.08	c  143s |      14 |   135932 |    77752 |    14841      8 |      796 |      623
146.07/146.17	c  145s |      14 |   136584 |    78352 |    14841      8 |      796 |      623
148.27/148.31	c  148s |      14 |   137214 |    78952 |    14841      8 |      796 |      623
150.37/150.49	c  150s |      14 |   137880 |    79552 |    14841      9 |      796 |      623
152.47/152.54	c  152s |      14 |   138923 |    80452 |    14841      9 |      796 |      623
154.57/154.69	c  154s |      14 |   139776 |    81252 |    14841      9 |      796 |      623
156.67/156.70	c  156s |      14 |   140548 |    81952 |    14841      9 |      796 |      623
158.66/158.78	c  158s |      14 |   141282 |    82652 |    14841      9 |      796 |      623
160.86/160.94	c  160s |      14 |   142067 |    83352 |    14841      9 |      796 |      623
163.26/163.31	c  163s |      14 |   142825 |    84052 |    14841      9 |      796 |      623
165.56/165.68	c  165s |      14 |   143561 |    84752 |    14841      9 |      796 |      623
167.76/167.80	c  167s |      14 |   144324 |    85452 |    14841      9 |      796 |      623
169.96/170.08	c  169s |      14 |   145093 |    86152 |    14841      9 |      796 |      623
172.16/172.28	c  172s |      14 |   145848 |    86852 |    14841      9 |      796 |      623
174.26/174.32	c  174s |      14 |   146500 |    87452 |    16326      9 |      796 |      623
174.76/174.90	c  174s |      15 |   146702 |    87632 |    16326      9 |      796 |      623
176.86/176.93	c  176s |      15 |   155361 |    89332 |    16326     10 |      796 |      623
178.86/178.93	c  178s |      15 |   157901 |    91132 |    16326     10 |      796 |      623
180.86/180.99	c  180s |      15 |   159432 |    92432 |    16326     10 |      796 |      623
182.96/183.01	c  182s |      15 |   162023 |    93932 |    16326     10 |      796 |      623
185.06/185.11	c  184s |      15 |   164927 |    95632 |    16326     10 |      796 |      623
187.17/187.23	c  187s |      15 |   166840 |    96932 |    16326     10 |      796 |      623
189.47/189.54	c  189s |      15 |   169038 |    98332 |    16326     11 |      796 |      623
191.56/191.67	c  191s |      15 |   170839 |    99532 |    16326     11 |      796 |      623
193.76/193.84	c  193s |      15 |   171867 |   100432 |    16326     11 |      796 |      623
195.96/196.03	c  195s |      15 |   173618 |   101632 |    16326     11 |      796 |      623
198.16/198.23	c  198s |      15 |   174621 |   102432 |    16326     11 |      796 |      623
200.17/200.27	c  200s |      15 |   175658 |   103232 |    16326     11 |      796 |      623
202.37/202.42	c  202s |      15 |   176785 |   104132 |    16326     11 |      796 |      623
204.36/204.46	c  204s |      15 |   177729 |   104932 |    16326     11 |      796 |      623
206.46/206.59	c  206s |      15 |   178680 |   105732 |    16326     11 |      796 |      623
208.56/208.65	c  208s |      15 |   179524 |   106432 |    16326     11 |      796 |      623
210.76/210.85	c  210s |      15 |   180767 |   107332 |    16326     11 |      796 |      623
212.76/212.86	c  212s |      15 |   181621 |   108032 |    16326     11 |      796 |      623
214.76/214.86	c  214s |      15 |   182289 |   108632 |    16326     12 |      796 |      623
216.86/216.98	c  216s |      15 |   183083 |   109332 |    16326     12 |      796 |      623
218.96/219.07	c  218s |      15 |   184084 |   110132 |    16326     12 |      796 |      623
221.26/221.39	c  221s |      15 |   185018 |   110932 |    16326     12 |      796 |      623
223.36/223.49	c  223s |      15 |   185902 |   111632 |    16326     12 |      796 |      623
225.46/225.59	c  225s |      15 |   186745 |   112332 |    16326     12 |      796 |      623
227.56/227.61	c  227s |      15 |   187483 |   112932 |    16326     12 |      796 |      623
229.66/229.70	c  229s |      15 |   188163 |   113532 |    16326     12 |      796 |      623
231.75/231.87	c  231s |      15 |   188828 |   114132 |    16326     12 |      796 |      623
233.95/234.05	c  233s |      15 |   189631 |   114832 |    16326     12 |      796 |      623
236.35/236.49	c  236s |      15 |   190447 |   115532 |    16326     12 |      796 |      623
238.76/238.81	c  238s |      15 |   191267 |   116232 |    16326     12 |      796 |      623
240.86/240.99	c  240s |      15 |   191947 |   116832 |    16326     12 |      796 |      623
243.25/243.31	c  243s |      15 |   192635 |   117432 |    16326     12 |      796 |      623
245.26/245.38	c  245s |      15 |   193222 |   117932 |    16326     13 |      796 |      623
247.56/247.65	c  247s |      15 |   193992 |   118632 |    16326     13 |      796 |      623
249.85/249.90	c  249s |      15 |   194785 |   119332 |    16326     13 |      796 |      623
251.96/252.07	c  251s |      15 |   195592 |   120032 |    16326     13 |      796 |      623
254.25/254.35	c  254s |      15 |   196366 |   120732 |    16326     13 |      796 |      623
256.36/256.46	c  256s |      15 |   197428 |   121532 |    16326     13 |      796 |      623
258.65/258.70	c  258s |      15 |   198404 |   122332 |    16326     13 |      796 |      623
260.85/260.97	c  260s |      15 |   199320 |   123132 |    16326     13 |      796 |      623
263.05/263.12	c  262s |      15 |   199992 |   123732 |    16326     13 |      796 |      623
265.25/265.31	c  265s |      15 |   200836 |   124432 |    16326     13 |      796 |      623
267.45/267.59	c  267s |      15 |   201526 |   125032 |    16326     13 |      796 |      623
269.65/269.78	c  269s |      15 |   202208 |   125632 |    16326     13 |      796 |      623
271.94/272.07	c  271s |      15 |   202886 |   126232 |    16326     13 |      796 |      623
274.14/274.27	c  274s |      15 |   203548 |   126832 |    16326     13 |      796 |      623
276.34/276.48	c  276s |      15 |   204222 |   127432 |    16326     13 |      796 |      623
278.44/278.53	c  278s |      15 |   204690 |   127832 |    16326     14 |      796 |      623
280.45/280.60	c  280s |      15 |   205508 |   128532 |    16326     14 |      796 |      623
282.54/282.64	c  282s |      15 |   206235 |   129132 |    16326     14 |      796 |      623
284.74/284.80	c  284s |      15 |   207033 |   129832 |    16326     14 |      796 |      623
286.84/286.97	c  286s |      15 |   207855 |   130532 |    16326     14 |      796 |      623
289.04/289.18	c  288s |      15 |   208665 |   131232 |    17959     14 |      796 |      623
290.24/290.36	c  290s |      16 |   209024 |   131552 |    17959     14 |      796 |      623
292.24/292.37	c  292s |      16 |   211933 |   133152 |    17959     14 |      796 |      623
294.34/294.48	c  294s |      16 |   214077 |   134852 |    17959     14 |      796 |      623
296.44/296.52	c  296s |      16 |   222415 |   137052 |    17959     14 |      796 |      623
298.44/298.53	c  298s |      16 |   227298 |   138652 |    17959     15 |      796 |      623
300.54/300.64	c  300s |      16 |   234053 |   140952 |    17959     15 |      796 |      623
302.55/302.68	c  302s |      16 |   235697 |   142452 |    17959     15 |      796 |      623
304.54/304.69	c  304s |      16 |   236976 |   143652 |    17959     15 |      796 |      623
306.64/306.72	c  306s |      16 |   238349 |   144852 |    17959     15 |      796 |      623
308.74/308.88	c  308s |      16 |   239771 |   146052 |    17959     15 |      796 |      623
310.84/310.97	c  310s |      16 |   241011 |   147152 |    17959     15 |      796 |      623
313.04/313.12	c  312s |      16 |   241985 |   148052 |    17959     15 |      796 |      623
315.14/315.27	c  315s |      16 |   243217 |   149152 |    17959     16 |      796 |      623
317.14/317.27	c  317s |      16 |   244382 |   150252 |    17959     16 |      796 |      623
319.34/319.42	c  319s |      16 |   245569 |   151352 |    17959     16 |      796 |      623
321.34/321.47	c  321s |      16 |   246671 |   152352 |    17959     16 |      796 |      623
323.44/323.51	c  323s |      16 |   247664 |   153252 |    17959     16 |      796 |      623
325.54/325.62	c  325s |      16 |   248656 |   154152 |    17959     16 |      796 |      623
327.64/327.79	c  327s |      16 |   249649 |   155052 |    17959     16 |      796 |      623
329.74/329.86	c  329s |      16 |   251215 |   156152 |    17959     16 |      796 |      623
331.84/331.96	c  331s |      16 |   252846 |   157452 |    17959     16 |      796 |      623
333.94/334.03	c  333s |      16 |   254976 |   158652 |    17959     16 |      796 |      623
336.04/336.12	c  335s |      16 |   256129 |   159652 |    17959     17 |      796 |      623
338.04/338.18	c  337s |      16 |   257427 |   160752 |    17959     17 |      796 |      623
340.34/340.40	c  340s |      16 |   258569 |   161752 |    17959     17 |      796 |      623
342.44/342.56	c  342s |      16 |   259584 |   162652 |    17959     17 |      796 |      623
344.44/344.58	c  344s |      16 |   260665 |   163552 |    17959     17 |      796 |      623
346.55/346.68	c  346s |      16 |   261724 |   164452 |    17959     17 |      796 |      623
348.65/348.79	c  348s |      16 |   262853 |   165352 |    17959     17 |      796 |      623
350.85/350.92	c  350s |      16 |   263820 |   166152 |    17959     17 |      796 |      623
352.94/353.02	c  352s |      16 |   265069 |   167052 |    17959     17 |      796 |      623
355.04/355.16	c  354s |      16 |   265985 |   167852 |    17959     17 |      796 |      623
357.24/357.36	c  357s |      16 |   266849 |   168652 |    17959     17 |      796 |      623
359.54/359.64	c  359s |      16 |   267606 |   169352 |    17959     17 |      796 |      623
361.64/361.71	c  361s |      16 |   268692 |   170252 |    17959     18 |      796 |      623
363.84/363.90	c  363s |      16 |   270003 |   171352 |    17959     18 |      796 |      623
365.84/365.90	c  365s |      16 |   271050 |   172252 |    17959     18 |      796 |      623
367.84/367.94	c  367s |      16 |   271979 |   173052 |    17959     18 |      796 |      623
369.94/370.04	c  369s |      16 |   272848 |   173852 |    17959     18 |      796 |      623
372.14/372.22	c  371s |      16 |   273725 |   174652 |    17959     18 |      796 |      623
374.44/374.54	c  374s |      16 |   274473 |   175352 |    17959     18 |      796 |      623
376.63/376.71	c  376s |      16 |   275250 |   176052 |    17959     18 |      796 |      623
378.83/378.91	c  378s |      16 |   276148 |   176852 |    17959     18 |      796 |      623
381.13/381.22	c  380s |      16 |   276905 |   177552 |    17959     18 |      796 |      623
383.13/383.26	c  383s |      16 |   277567 |   178152 |    17959     18 |      796 |      623
385.33/385.42	c  385s |      16 |   278338 |   178852 |    17959     18 |      796 |      623
387.53/387.69	c  387s |      16 |   278980 |   179452 |    17959     18 |      796 |      623
389.83/389.94	c  389s |      16 |   279648 |   180052 |    17959     19 |      796 |      623
392.03/392.10	c  391s |      16 |   280421 |   180752 |    17959     19 |      796 |      623
394.13/394.29	c  394s |      16 |   281179 |   181452 |    17959     19 |      796 |      623
396.43/396.56	c  396s |      16 |   281931 |   182152 |    17959     19 |      796 |      623
398.53/398.68	c  398s |      16 |   282707 |   182852 |    17959     19 |      796 |      623
400.83/400.93	c  400s |      16 |   283489 |   183552 |    17959     19 |      796 |      623
402.83/402.94	c  402s |      16 |   284131 |   184152 |    17959     19 |      796 |      623
404.84/404.97	c  404s |      16 |   284789 |   184752 |    17959     19 |      796 |      623
406.94/407.08	c  406s |      16 |   285438 |   185352 |    17959     19 |      796 |      623
409.23/409.34	c  409s |      16 |   286254 |   186052 |    17959     19 |      796 |      623
411.33/411.44	c  411s |      16 |   290683 |   187552 |    17959     19 |      796 |      623
413.43/413.57	c  413s |      16 |   292009 |   188752 |    17959     19 |      796 |      623
415.53/415.60	c  415s |      16 |   293285 |   189852 |    17959     19 |      796 |      623
417.53/417.62	c  417s |      16 |   294169 |   190652 |    17959     20 |      796 |      623
419.53/419.68	c  419s |      16 |   295240 |   191652 |    17959     20 |      796 |      623
421.62/421.72	c  421s |      16 |   296180 |   192552 |    17959     20 |      796 |      623
423.72/423.84	c  423s |      16 |   297159 |   193452 |    17959     20 |      796 |      623
426.02/426.10	c  425s |      16 |   298152 |   194352 |    17959     20 |      796 |      623
428.02/428.12	c  427s |      16 |   299016 |   195152 |    17959     20 |      796 |      623
430.22/430.37	c  430s |      16 |   299899 |   195952 |    17959     20 |      796 |      623
432.33/432.42	c  432s |      16 |   300644 |   196652 |    19755     20 |      796 |      623
434.43/434.56	c  434s |      16 |   301382 |   197352 |    19755     20 |      796 |      623
434.62/434.78	c  434s |      17 |   301471 |   197432 |    19755     20 |      796 |      623
436.73/436.88	c  436s |      17 |   306328 |   199232 |    19755     20 |      796 |      623
438.83/438.91	c  438s |      17 |   308038 |   200632 |    19755     20 |      796 |      623
440.92/441.01	c  440s |      17 |   309707 |   202032 |    19755     20 |      796 |      623
443.02/443.18	c  442s |      17 |   310979 |   203032 |    19755     21 |      796 |      623
445.22/445.34	c  445s |      17 |   312315 |   204132 |    19755     21 |      796 |      623
447.42/447.53	c  447s |      17 |   313377 |   205032 |    19755     21 |      796 |      623
449.52/449.65	c  449s |      17 |   314444 |   205932 |    19755     21 |      796 |      623
451.62/451.73	c  451s |      17 |   315497 |   206832 |    19755     21 |      796 |      623
453.72/453.81	c  453s |      17 |   316399 |   207632 |    19755     21 |      796 |      623
455.72/455.86	c  455s |      17 |   317628 |   208532 |    19755     21 |      796 |      623
457.82/457.95	c  457s |      17 |   318855 |   209532 |    19755     21 |      796 |      623
459.82/459.99	c  459s |      17 |   320186 |   210532 |    19755     21 |      796 |      623
462.03/462.17	c  461s |      17 |   321345 |   211532 |    19755     21 |      796 |      623
464.02/464.19	c  463s |      17 |   322294 |   212332 |    19755     21 |      796 |      623
466.12/466.25	c  466s |      17 |   323242 |   213132 |    19755     21 |      796 |      623
468.22/468.38	c  468s |      17 |   324219 |   213932 |    19755     21 |      796 |      623
470.73/470.80	c  470s |      17 |   325030 |   214632 |    19755     22 |      796 |      623
472.72/472.81	c  472s |      17 |   325826 |   215332 |    19755     22 |      796 |      623
474.92/475.01	c  474s |      17 |   326600 |   216032 |    19755     22 |      796 |      623
477.22/477.32	c  477s |      17 |   327630 |   216932 |    19755     22 |      796 |      623
479.22/479.36	c  479s |      17 |   328474 |   217632 |    19755     22 |      796 |      623
481.32/481.42	c  481s |      17 |   329285 |   218332 |    19755     22 |      796 |      623
483.52/483.61	c  483s |      17 |   330106 |   219032 |    19755     22 |      796 |      623
485.52/485.66	c  485s |      17 |   331024 |   219832 |    19755     22 |      796 |      623
487.72/487.83	c  487s |      17 |   331967 |   220632 |    19755     22 |      796 |      623
489.82/489.93	c  489s |      17 |   332774 |   221332 |    19755     22 |      796 |      623
491.92/492.08	c  491s |      17 |   333557 |   222032 |    19755     22 |      796 |      623
494.12/494.24	c  494s |      17 |   334342 |   222732 |    19755     22 |      796 |      623
496.32/496.43	c  496s |      17 |   335118 |   223432 |    19755     22 |      796 |      623
498.32/498.45	c  498s |      17 |   335780 |   224032 |    19755     22 |      796 |      623
500.52/500.60	c  500s |      17 |   336427 |   224632 |    19755     22 |      796 |      623
502.52/502.66	c  502s |      17 |   336977 |   225132 |    19755     22 |      796 |      623
504.52/504.68	c  504s |      17 |   337535 |   225632 |    19755     22 |      796 |      623
507.12/507.23	c  507s |      17 |   338109 |   226132 |    19755     23 |      796 |      623
509.22/509.33	c  509s |      17 |   338883 |   226832 |    19755     23 |      796 |      623
511.31/511.48	c  511s |      17 |   340004 |   227732 |    19755     23 |      796 |      623
513.51/513.68	c  513s |      17 |   341082 |   228632 |    19755     23 |      796 |      623
515.61/515.77	c  515s |      17 |   341893 |   229332 |    19755     23 |      796 |      623
517.91/518.06	c  517s |      17 |   342704 |   230032 |    19755     23 |      796 |      623
520.22/520.34	c  520s |      17 |   343348 |   230632 |    19755     23 |      796 |      623
522.31/522.50	c  522s |      17 |   344011 |   231232 |    19755     23 |      796 |      623
524.41/524.59	c  524s |      17 |   344814 |   231932 |    19755     23 |      796 |      623
526.71/526.87	c  526s |      17 |   345449 |   232532 |    19755     23 |      796 |      623
529.02/529.11	c  528s |      17 |   346122 |   233132 |    19755     23 |      796 |      623
531.22/531.39	c  531s |      17 |   346807 |   233732 |    19755     23 |      796 |      623
533.31/533.49	c  533s |      17 |   347464 |   234332 |    19755     23 |      796 |      623
535.72/535.84	c  535s |      17 |   348230 |   235032 |    19755     23 |      796 |      623
537.92/538.09	c  537s |      17 |   348928 |   235632 |    19755     23 |      796 |      623
540.01/540.17	c  539s |      17 |   349468 |   236132 |    19755     23 |      796 |      623
542.41/542.56	c  542s |      17 |   350115 |   236732 |    19755     23 |      796 |      623
544.81/544.91	c  544s |      17 |   350780 |   237332 |    19755     23 |      796 |      623
546.81/546.92	c  546s |      17 |   351244 |   237732 |    19755     24 |      796 |      623
549.01/549.17	c  548s |      17 |   352046 |   238432 |    19755     24 |      796 |      623
551.11/551.25	c  551s |      17 |   353020 |   239232 |    19755     24 |      796 |      623
553.40/553.51	c  553s |      17 |   354077 |   240132 |    19755     24 |      796 |      623
555.60/555.71	c  555s |      17 |   354828 |   240832 |    19755     24 |      796 |      623
557.71/557.82	c  557s |      17 |   355465 |   241432 |    19755     24 |      796 |      623
559.81/559.98	c  559s |      17 |   356131 |   242032 |    19755     24 |      796 |      623
562.01/562.16	c  561s |      17 |   356777 |   242632 |    19755     24 |      796 |      623
564.00/564.19	c  563s |      17 |   357339 |   243132 |    19755     24 |      796 |      623
566.20/566.33	c  566s |      17 |   358146 |   243832 |    19755     24 |      796 |      623
568.20/568.34	c  568s |      17 |   358956 |   244532 |    19755     24 |      796 |      623
570.30/570.47	c  570s |      17 |   359907 |   245332 |    19755     24 |      796 |      623
572.60/572.70	c  572s |      17 |   360722 |   246032 |    19755     24 |      796 |      623
574.80/574.94	c  574s |      17 |   361555 |   246732 |    19755     24 |      796 |      623
576.80/577.00	c  576s |      17 |   362235 |   247332 |    19755     24 |      796 |      623
579.00/579.16	c  578s |      17 |   363524 |   248232 |    19755     24 |      796 |      623
581.40/581.50	c  581s |      17 |   364306 |   248932 |    19755     24 |      796 |      623
583.60/583.74	c  583s |      17 |   365111 |   249632 |    19755     25 |      796 |      623
585.61/585.76	c  585s |      17 |   366088 |   250432 |    19755     25 |      796 |      623
587.80/587.90	c  587s |      17 |   367377 |   251332 |    19755     25 |      796 |      623
589.90/590.03	c  589s |      17 |   368435 |   252232 |    19755     25 |      796 |      623
591.90/592.08	c  591s |      17 |   369266 |   252932 |    19755     25 |      796 |      623
594.30/594.44	c  594s |      17 |   370219 |   253732 |    19755     25 |      796 |      623
596.60/596.72	c  596s |      17 |   370789 |   254232 |    19755     25 |      796 |      623
599.20/599.31	c  599s |      17 |   371386 |   254732 |    19755     25 |      796 |      623
601.61/601.80	c  601s |      17 |   372081 |   255332 |    19755     25 |      796 |      623
604.00/604.13	c  603s |      17 |   372545 |   255732 |    19755     25 |      796 |      623
606.20/606.30	c  606s |      17 |   372887 |   256032 |    19755     25 |      796 |      623
608.30/608.43	c  608s |      17 |   373494 |   256532 |    19755     25 |      796 |      623
610.30/610.46	c  610s |      17 |   374453 |   257332 |    19755     25 |      796 |      623
612.60/612.72	c  612s |      17 |   375344 |   258132 |    19755     25 |      796 |      623
614.59/614.76	c  614s |      17 |   376411 |   258932 |    19755     25 |      796 |      623
616.69/616.84	c  616s |      17 |   377468 |   259732 |    19755     25 |      796 |      623
619.20/619.37	c  619s |      17 |   378457 |   260532 |    19755     26 |      796 |      623
621.40/621.54	c  621s |      17 |   379714 |   261532 |    19755     26 |      796 |      623
623.60/623.72	c  623s |      17 |   380731 |   262332 |    19755     26 |      796 |      623
625.69/625.86	c  625s |      17 |   381948 |   263332 |    19755     26 |      796 |      623
627.79/627.95	c  627s |      17 |   382853 |   264132 |    19755     26 |      796 |      623
629.89/630.07	c  629s |      17 |   383847 |   264932 |    19755     26 |      796 |      623
632.19/632.32	c  632s |      17 |   384759 |   265732 |    19755     26 |      796 |      623
634.19/634.39	c  634s |      17 |   385406 |   266332 |    19755     26 |      796 |      623
636.49/636.64	c  636s |      17 |   386091 |   266932 |    19755     26 |      796 |      623
638.79/638.94	c  638s |      17 |   386854 |   267632 |    19755     26 |      796 |      623
640.79/640.98	c  640s |      17 |   387737 |   268332 |    19755     26 |      796 |      623
642.89/643.07	c  642s |      17 |   388678 |   269032 |    19755     26 |      796 |      623
645.09/645.23	c  644s |      17 |   389562 |   269832 |    19755     26 |      796 |      623
647.09/647.24	c  647s |      17 |   390493 |   270632 |    19755     26 |      796 |      623
649.29/649.42	c  649s |      17 |   391462 |   271432 |    19755     26 |      796 |      623
651.29/651.45	c  651s |      17 |   392287 |   272032 |    19755     27 |      796 |      623
653.39/653.59	c  653s |      17 |   393401 |   272932 |    19755     27 |      796 |      623
655.59/655.75	c  655s |      17 |   394301 |   273732 |    19755     27 |      796 |      623
657.69/657.85	c  657s |      17 |   395284 |   274532 |    19755     27 |      796 |      623
659.89/660.07	c  659s |      17 |   396299 |   275432 |    19755     27 |      796 |      623
662.19/662.32	c  662s |      17 |   397188 |   276232 |    19755     27 |      796 |      623
664.19/664.33	c  664s |      17 |   398288 |   277032 |    19755     27 |      796 |      623
666.18/666.38	c  666s |      17 |   399000 |   277632 |    19755     27 |      796 |      623
668.48/668.61	c  668s |      17 |   399842 |   278332 |    19755     27 |      796 |      623
670.48/670.65	c  670s |      17 |   400611 |   278932 |    19755     27 |      796 |      623
672.58/672.79	c  672s |      17 |   401467 |   279632 |    19755     27 |      796 |      623
674.68/674.85	c  674s |      17 |   402235 |   280332 |    19755     27 |      796 |      623
676.98/677.10	c  676s |      17 |   403007 |   281032 |    19755     27 |      796 |      623
679.28/679.40	c  679s |      17 |   403800 |   281732 |    19755     27 |      796 |      623
681.38/681.57	c  681s |      17 |   404468 |   282332 |    19755     27 |      796 |      623
683.68/683.88	c  683s |      17 |   405203 |   282932 |    19755     27 |      796 |      623
685.79/685.98	c  685s |      17 |   405657 |   283332 |    19755     28 |      796 |      623
687.89/688.09	c  687s |      17 |   406333 |   283932 |    19755     28 |      796 |      623
689.99/690.16	c  689s |      17 |   407011 |   284532 |    19755     28 |      796 |      623
692.09/692.22	c  691s |      17 |   407701 |   285132 |    19755     28 |      796 |      623
694.29/694.40	c  694s |      17 |   408238 |   285632 |    19755     28 |      796 |      623
696.69/696.89	c  696s |      17 |   408777 |   286132 |    19755     28 |      796 |      623
698.79/698.92	c  698s |      17 |   409333 |   286632 |    19755     28 |      796 |      623
700.98/701.10	c  700s |      17 |   409874 |   287132 |    19755     28 |      796 |      623
703.28/703.42	c  703s |      17 |   410386 |   287632 |    19755     28 |      796 |      623
705.28/705.45	c  705s |      17 |   411287 |   288332 |    19755     28 |      796 |      623
707.38/707.58	c  707s |      17 |   412521 |   289232 |    19755     28 |      796 |      623
709.68/709.84	c  709s |      17 |   413717 |   290132 |    19755     28 |      796 |      623
711.69/711.85	c  711s |      17 |   414498 |   290732 |    19755     28 |      796 |      623
713.79/713.98	c  713s |      17 |   415176 |   291332 |    19755     28 |      796 |      623
715.99/716.15	c  715s |      17 |   416056 |   292032 |    19755     28 |      796 |      623
718.19/718.34	c  718s |      17 |   416751 |   292632 |    19755     28 |      796 |      623
720.39/720.52	c  720s |      17 |   417633 |   293332 |    19755     28 |      796 |      623
722.69/722.84	c  722s |      17 |   418328 |   293932 |    19755     28 |      796 |      623
724.88/725.03	c  724s |      17 |   418988 |   294532 |    21731     28 |      796 |      623
726.88/727.05	c  726s |      17 |   419548 |   295032 |    21731     28 |      796 |      623
729.28/729.42	c  729s |      17 |   420260 |   295632 |    21731     28 |      796 |      623
731.28/731.48	c  731s |      17 |   420804 |   296132 |    21731     28 |      796 |      623
731.68/731.85	c  731s |      18 |   420933 |   296252 |    21731     28 |      796 |      623
733.78/733.91	c  733s |      18 |   423157 |   297352 |    21731     29 |      796 |      623
735.78/735.93	c  735s |      18 |   425470 |   299052 |    21731     29 |      796 |      623
737.77/737.99	c  737s |      18 |   427218 |   300452 |    21731     29 |      796 |      623
739.97/740.13	c  739s |      18 |   428892 |   301852 |    21731     29 |      796 |      623
742.07/742.26	c  742s |      18 |   430242 |   303052 |    21731     29 |      796 |      623
744.17/744.32	c  744s |      18 |   431492 |   304152 |    21731     29 |      796 |      623
746.27/746.49	c  746s |      18 |   432764 |   305252 |    21731     29 |      796 |      623
748.37/748.56	c  748s |      18 |   433808 |   306152 |    21731     29 |      796 |      623
750.47/750.63	c  750s |      18 |   434823 |   307052 |    21731     29 |      796 |      623
752.47/752.68	c  752s |      18 |   435682 |   307852 |    21731     29 |      796 |      623
754.57/754.78	c  754s |      18 |   436667 |   308752 |    21731     29 |      796 |      623
756.67/756.88	c  756s |      18 |   437456 |   309452 |    21731     30 |      796 |      623
758.87/759.08	c  758s |      18 |   438463 |   310352 |    21731     30 |      796 |      623
760.86/761.09	c  760s |      18 |   439402 |   311152 |    21731     30 |      796 |      623
762.96/763.13	c  762s |      18 |   440333 |   311952 |    21731     30 |      796 |      623
765.16/765.39	c  765s |      18 |   441227 |   312752 |    21731     30 |      796 |      623
767.36/767.55	c  767s |      18 |   442016 |   313452 |    21731     30 |      796 |      623
769.46/769.62	c  769s |      18 |   442681 |   314052 |    21731     30 |      796 |      623
771.66/771.83	c  771s |      18 |   443477 |   314752 |    21731     30 |      796 |      623
773.86/774.07	c  773s |      18 |   444273 |   315452 |    21731     30 |      796 |      623
775.96/776.18	c  775s |      18 |   444932 |   316052 |    21731     30 |      796 |      623
778.06/778.25	c  778s |      18 |   445712 |   316752 |    21731     30 |      796 |      623
780.06/780.26	c  780s |      18 |   446376 |   317352 |    21731     30 |      796 |      623
782.16/782.37	c  782s |      18 |   447034 |   317952 |    21731     30 |      796 |      623
784.45/784.64	c  784s |      18 |   447811 |   318652 |    21731     30 |      796 |      623
786.75/786.99	c  786s |      18 |   448475 |   319252 |    21731     30 |      796 |      623
788.95/789.12	c  788s |      18 |   449114 |   319852 |    21731     30 |      796 |      623
791.25/791.47	c  791s |      18 |   449787 |   320452 |    21731     30 |      796 |      623
793.25/793.48	c  793s |      18 |   450330 |   320952 |    21731     30 |      796 |      623
795.45/795.61	c  795s |      18 |   450876 |   321452 |    21731     30 |      796 |      623
797.55/797.77	c  797s |      18 |   451418 |   321952 |    21731     31 |      796 |      623
799.75/799.90	c  799s |      18 |   452059 |   322552 |    21731     31 |      796 |      623
801.86/802.05	c  801s |      18 |   452698 |   323152 |    21731     31 |      796 |      623
804.06/804.27	c  804s |      18 |   453591 |   323952 |    21731     31 |      796 |      623
806.35/806.50	c  806s |      18 |   454354 |   324652 |    21731     31 |      796 |      623
808.46/808.67	c  808s |      18 |   455127 |   325352 |    21731     31 |      796 |      623
810.85/811.05	c  810s |      18 |   455877 |   326052 |    21731     31 |      796 |      623
813.05/813.27	c  813s |      18 |   456533 |   326652 |    21731     31 |      796 |      623
815.45/815.60	c  815s |      18 |   457188 |   327252 |    21731     31 |      796 |      623
817.65/817.82	c  817s |      18 |   457853 |   327852 |    21731     31 |      796 |      623
819.95/820.14	c  819s |      18 |   458505 |   328452 |    21731     31 |      796 |      623
822.05/822.22	c  821s |      18 |   459050 |   328952 |    21731     31 |      796 |      623
824.05/824.28	c  824s |      18 |   459577 |   329452 |    21731     31 |      796 |      623
826.15/826.34	c  826s |      18 |   460123 |   329952 |    21731     31 |      796 |      623
828.25/828.48	c  828s |      18 |   460749 |   330552 |    21731     31 |      796 |      623
830.35/830.54	c  830s |      18 |   461287 |   331052 |    21731     31 |      796 |      623
832.75/832.93	c  832s |      18 |   461929 |   331652 |    21731     31 |      796 |      623
834.85/835.03	c  834s |      18 |   462463 |   332152 |    21731     31 |      796 |      623
836.95/837.18	c  836s |      18 |   463005 |   332652 |    21731     31 |      796 |      623
839.25/839.43	c  839s |      18 |   463662 |   333252 |    21731     31 |      796 |      623
841.35/841.55	c  841s |      18 |   464280 |   333852 |    21731     31 |      796 |      623
843.44/843.63	c  843s |      18 |   464831 |   334352 |    21731     32 |      796 |      623
845.44/845.64	c  845s |      18 |   465585 |   335052 |    21731     32 |      796 |      623
847.54/847.78	c  847s |      18 |   466367 |   335752 |    21731     32 |      796 |      623
849.74/849.96	c  849s |      18 |   467258 |   336552 |    21731     32 |      796 |      623
851.84/852.00	c  851s |      18 |   468048 |   337252 |    21731     32 |      796 |      623
854.04/854.28	c  854s |      18 |   468810 |   337952 |    21731     32 |      796 |      623
856.14/856.38	c  856s |      18 |   469595 |   338652 |    21731     32 |      796 |      623
858.13/858.38	c  858s |      18 |   470236 |   339252 |    21731     32 |      796 |      623
860.14/860.39	c  860s |      18 |   470903 |   339852 |    21731     32 |      796 |      623
862.24/862.45	c  862s |      18 |   471463 |   340352 |    21731     32 |      796 |      623
864.33/864.54	c  864s |      18 |   472149 |   340952 |    21731     32 |      796 |      623
866.33/866.56	c  866s |      18 |   473038 |   341652 |    21731     32 |      796 |      623
868.33/868.58	c  868s |      18 |   473917 |   342352 |    21731     32 |      796 |      623
870.43/870.64	c  870s |      18 |   474726 |   343052 |    21731     32 |      796 |      623
872.53/872.74	c  872s |      18 |   475527 |   343752 |    21731     32 |      796 |      623
874.83/875.07	c  874s |      18 |   476340 |   344452 |    21731     32 |      796 |      623
876.92/877.17	c  876s |      18 |   477017 |   345052 |    21731     32 |      796 |      623
879.02/879.23	c  879s |      18 |   477692 |   345652 |    21731     32 |      796 |      623
881.12/881.33	c  881s |      18 |   478363 |   346252 |    21731     32 |      796 |      623
883.23/883.47	c  883s |      18 |   479055 |   346852 |    21731     33 |      796 |      623
885.33/885.57	c  885s |      18 |   480089 |   347752 |    21731     33 |      796 |      623
887.53/887.73	c  887s |      18 |   481030 |   348552 |    21731     33 |      796 |      623
889.62/889.84	c  889s |      18 |   481974 |   349352 |    21731     33 |      796 |      623
891.72/891.94	c  891s |      18 |   482890 |   350152 |    21731     33 |      796 |      623
893.82/894.01	c  893s |      18 |   483677 |   350852 |    21731     33 |      796 |      623
896.02/896.27	c  896s |      18 |   484459 |   351552 |    21731     33 |      796 |      623
898.12/898.35	c  898s |      18 |   485263 |   352252 |    21731     33 |      796 |      623
900.12/900.38	c  900s |      18 |   485920 |   352852 |    21731     33 |      796 |      623
902.42/902.68	c  902s |      18 |   486710 |   353552 |    21731     33 |      796 |      623
904.52/904.71	c  904s |      18 |   487363 |   354152 |    21731     33 |      796 |      623
906.62/906.89	c  906s |      18 |   488015 |   354752 |    21731     33 |      796 |      623
909.02/909.23	c  909s |      18 |   488646 |   355352 |    21731     33 |      796 |      623
911.02/911.25	c  911s |      18 |   489194 |   355852 |    21731     33 |      796 |      623
913.32/913.55	c  913s |      18 |   489847 |   356452 |    21731     33 |      796 |      623
915.62/915.87	c  915s |      18 |   490504 |   357052 |    21731     33 |      796 |      623
917.92/918.19	c  917s |      18 |   491143 |   357652 |    21731     33 |      796 |      623
920.22/920.47	c  920s |      18 |   491848 |   358252 |    21731     33 |      796 |      623
922.82/923.02	c  922s |      18 |   492684 |   358952 |    21731     34 |      796 |      623
924.82/925.05	c  924s |      18 |   493628 |   359752 |    21731     34 |      796 |      623
926.92/927.18	c  926s |      18 |   494552 |   360552 |    21731     34 |      796 |      623
929.02/929.26	c  929s |      18 |   495336 |   361252 |    21731     34 |      796 |      623
931.21/931.44	c  931s |      18 |   496243 |   362052 |    21731     34 |      796 |      623
933.41/933.63	c  933s |      18 |   497148 |   362852 |    21731     34 |      796 |      623
935.61/935.88	c  935s |      18 |   498059 |   363652 |    21731     34 |      796 |      623
937.91/938.17	c  937s |      18 |   498831 |   364352 |    21731     34 |      796 |      623
939.91/940.19	c  939s |      18 |   499504 |   364952 |    21731     34 |      796 |      623
942.01/942.25	c  942s |      18 |   500345 |   365652 |    21731     34 |      796 |      623
944.21/944.45	c  944s |      18 |   501120 |   366352 |    21731     34 |      796 |      623
946.31/946.56	c  946s |      18 |   501956 |   367052 |    21731     34 |      796 |      623
948.51/948.79	c  948s |      18 |   502871 |   367852 |    21731     34 |      796 |      623
950.81/951.01	c  950s |      18 |   503685 |   368552 |    21731     34 |      796 |      623
952.81/953.08	c  952s |      18 |   504366 |   369152 |    21731     34 |      796 |      623
954.91/955.12	c  954s |      18 |   505044 |   369752 |    21731     34 |      796 |      623
957.21/957.42	c  957s |      18 |   505701 |   370352 |    21731     34 |      796 |      623
959.41/959.62	c  959s |      18 |   506381 |   370952 |    21731     34 |      796 |      623
961.40/961.69	c  961s |      18 |   506958 |   371452 |    21731     35 |      796 |      623
963.70/963.92	c  963s |      18 |   507854 |   372252 |    21731     35 |      796 |      623
966.11/966.30	c  966s |      18 |   508755 |   373052 |    21731     35 |      796 |      623
968.41/968.60	c  968s |      18 |   509669 |   373852 |    21731     35 |      796 |      623
970.61/970.81	c  970s |      18 |   510447 |   374552 |    21731     35 |      796 |      623
972.81/973.05	c  972s |      18 |   511229 |   375252 |    21731     35 |      796 |      623
974.81/975.07	c  974s |      18 |   511860 |   375852 |    21731     35 |      796 |      623
977.10/977.31	c  977s |      18 |   512637 |   376552 |    21731     35 |      796 |      623
979.20/979.46	c  979s |      18 |   513417 |   377252 |    21731     35 |      796 |      623
981.30/981.56	c  981s |      18 |   514269 |   377952 |    21731     35 |      796 |      623
983.50/983.79	c  983s |      18 |   515067 |   378652 |    21731     35 |      796 |      623
985.89/986.12	c  985s |      18 |   515857 |   379352 |    21731     35 |      796 |      623
987.89/988.14	c  987s |      18 |   516521 |   379952 |    21731     35 |      796 |      623
990.19/990.43	c  990s |      18 |   517433 |   380752 |    21731     35 |      796 |      623
992.59/992.83	c  992s |      18 |   518211 |   381452 |    21731     35 |      796 |      623
994.79/995.00	c  994s |      18 |   518905 |   382052 |    21731     35 |      796 |      623
996.79/997.06	c  996s |      18 |   519558 |   382652 |    21731     35 |      796 |      623
998.99/999.23	c  999s |      18 |   520218 |   383252 |    21731     35 |      796 |      623
1001.09/1001.30	c 1001s |      18 |   520764 |   383752 |    21731     35 |      796 |      623
1003.38/1003.62	c 1003s |      18 |   521426 |   384352 |    21731     36 |      796 |      623
1005.48/1005.71	c 1005s |      18 |   522226 |   385052 |    21731     36 |      796 |      623
1007.58/1007.85	c 1007s |      18 |   522995 |   385752 |    21731     36 |      796 |      623
1009.78/1010.02	c 1009s |      18 |   523804 |   386452 |    21731     36 |      796 |      623
1011.98/1012.20	c 1011s |      18 |   524742 |   387252 |    21731     36 |      796 |      623
1014.18/1014.42	c 1014s |      18 |   525641 |   388052 |    21731     36 |      796 |      623
1016.37/1016.64	c 1016s |      18 |   526570 |   388852 |    21731     36 |      796 |      623
1018.48/1018.77	c 1018s |      18 |   527373 |   389552 |    21731     36 |      796 |      623
1020.58/1020.82	c 1020s |      18 |   528180 |   390252 |    21731     36 |      796 |      623
1022.78/1023.04	c 1022s |      18 |   528964 |   390952 |    21731     36 |      796 |      623
1024.87/1025.13	c 1024s |      18 |   529624 |   391552 |    21731     36 |      796 |      623
1027.07/1027.38	c 1027s |      18 |   530458 |   392252 |    21731     36 |      796 |      623
1029.17/1029.40	c 1029s |      18 |   531130 |   392852 |    21731     36 |      796 |      623
1031.17/1031.46	c 1031s |      18 |   531795 |   393452 |    21731     36 |      796 |      623
1033.47/1033.73	c 1033s |      18 |   532442 |   394052 |    21731     36 |      796 |      623
1035.57/1035.88	c 1035s |      18 |   532981 |   394552 |    21731     36 |      796 |      623
1037.66/1037.91	c 1037s |      18 |   533534 |   395052 |    21731     36 |      796 |      623
1039.96/1040.28	c 1040s |      18 |   534192 |   395652 |    21731     36 |      796 |      623
1042.26/1042.58	c 1042s |      18 |   534764 |   396152 |    21731     36 |      796 |      623
1044.26/1044.59	c 1044s |      18 |   535332 |   396652 |    21731     37 |      796 |      623
1046.46/1046.78	c 1046s |      18 |   536143 |   397352 |    21731     37 |      796 |      623
1048.66/1048.98	c 1048s |      18 |   536912 |   398052 |    21731     37 |      796 |      623
1050.97/1051.20	c 1050s |      18 |   537693 |   398752 |    21731     37 |      796 |      623
1053.06/1053.32	c 1053s |      18 |   538491 |   399452 |    21731     37 |      796 |      623
1055.26/1055.60	c 1055s |      18 |   539427 |   400252 |    21731     37 |      796 |      623
1057.46/1057.71	c 1057s |      18 |   540212 |   400952 |    21731     37 |      796 |      623
1059.66/1059.91	c 1059s |      18 |   540971 |   401652 |    21731     37 |      796 |      623
1061.86/1062.14	c 1061s |      18 |   541635 |   402252 |    21731     37 |      796 |      623
1064.16/1064.43	c 1064s |      18 |   542558 |   403052 |    21731     37 |      796 |      623
1066.36/1066.69	c 1066s |      18 |   543386 |   403752 |    21731     37 |      796 |      623
1068.56/1068.82	c 1068s |      18 |   544051 |   404352 |    21731     37 |      796 |      623
1070.76/1071.06	c 1070s |      18 |   544712 |   404952 |    21731     37 |      796 |      623
1072.96/1073.26	c 1073s |      18 |   545372 |   405552 |    21731     37 |      796 |      623
1075.26/1075.58	c 1075s |      18 |   546037 |   406152 |    21731     37 |      796 |      623
1077.56/1077.87	c 1077s |      18 |   546698 |   406752 |    21731     37 |      796 |      623
1079.65/1079.95	c 1079s |      18 |   547385 |   407352 |    21731     37 |      796 |      623
1081.85/1082.16	c 1081s |      18 |   548051 |   407952 |    21731     37 |      796 |      623
1084.05/1084.37	c 1084s |      18 |   548719 |   408552 |    21731     37 |      796 |      623
1086.25/1086.50	c 1086s |      18 |   549273 |   409052 |    21731     38 |      796 |      623
1088.45/1088.75	c 1088s |      18 |   550047 |   409752 |    21731     38 |      796 |      623
1090.65/1090.95	c 1090s |      18 |   550838 |   410452 |    21731     38 |      796 |      623
1092.65/1092.96	c 1092s |      18 |   551617 |   411152 |    21731     38 |      796 |      623
1094.65/1094.97	c 1094s |      18 |   552296 |   411752 |    21731     38 |      796 |      623
1096.64/1096.99	c 1096s |      18 |   552962 |   412352 |    21731     38 |      796 |      623
1098.75/1099.07	c 1098s |      18 |   553738 |   413052 |    21731     38 |      796 |      623
1100.95/1101.21	c 1100s |      18 |   554515 |   413752 |    21731     38 |      796 |      623
1103.34/1103.63	c 1103s |      18 |   555301 |   414452 |    21731     38 |      796 |      623
1105.54/1105.89	c 1105s |      18 |   556086 |   415152 |    21731     38 |      796 |      623
1107.63/1107.92	c 1107s |      18 |   556763 |   415752 |    21731     38 |      796 |      623
1109.64/1109.97	c 1109s |      18 |   557422 |   416352 |    21731     38 |      796 |      623
1111.73/1112.10	c 1111s |      18 |   558082 |   416952 |    21731     38 |      796 |      623
1113.83/1114.18	c 1113s |      18 |   558611 |   417452 |    21731     38 |      796 |      623
1116.24/1116.59	c 1116s |      18 |   559396 |   418152 |    21731     38 |      796 |      623
1118.54/1118.88	c 1118s |      18 |   560063 |   418752 |    21731     38 |      796 |      623
1120.53/1120.89	c 1120s |      18 |   560774 |   419352 |    21731     38 |      796 |      623
1122.84/1123.17	c 1122s |      18 |   561553 |   420052 |    21731     38 |      796 |      623
1125.14/1125.46	c 1125s |      18 |   562347 |   420752 |    21731     38 |      796 |      623
1127.42/1127.74	c 1127s |      18 |   562925 |   421252 |    21731     39 |      796 |      623
1129.53/1129.81	c 1129s |      18 |   563793 |   422052 |    21731     39 |      796 |      623
1131.63/1131.96	c 1131s |      18 |   564704 |   422852 |    21731     39 |      796 |      623
1133.83/1134.19	c 1133s |      18 |   565514 |   423552 |    21731     39 |      796 |      623
1136.02/1136.35	c 1136s |      18 |   566453 |   424352 |    21731     39 |      796 |      623
1138.02/1138.37	c 1138s |      18 |   567401 |   425152 |    21731     39 |      796 |      623
1140.31/1140.64	c 1140s |      18 |   568387 |   425952 |    21731     39 |      796 |      623
1142.41/1142.74	c 1142s |      18 |   569237 |   426652 |    21731     39 |      796 |      623
1144.41/1144.77	c 1144s |      18 |   569909 |   427252 |    21731     39 |      796 |      623
1146.71/1147.00	c 1146s |      18 |   570701 |   427952 |    21731     39 |      796 |      623
1148.91/1149.21	c 1148s |      18 |   571361 |   428552 |    21731     39 |      796 |      623
1151.21/1151.52	c 1151s |      18 |   572141 |   429252 |    21731     39 |      796 |      623
1153.51/1153.83	c 1153s |      18 |   572906 |   429952 |    21731     39 |      796 |      623
1155.71/1156.00	c 1155s |      18 |   573571 |   430552 |    21731     39 |      796 |      623
1157.70/1158.03	c 1157s |      18 |   574292 |   431152 |    21731     39 |      796 |      623
1159.80/1160.13	c 1159s |      18 |   574860 |   431652 |    21731     39 |      796 |      623
1161.80/1162.17	c 1161s |      18 |   575534 |   432252 |    21731     39 |      796 |      623
1164.00/1164.31	c 1164s |      18 |   576196 |   432852 |    21731     39 |      796 |      623
1165.99/1166.39	c 1166s |      18 |   576740 |   433352 |    21731     39 |      796 |      623
1168.09/1168.43	c 1168s |      18 |   577283 |   433852 |    21731     40 |      796 |      623
1170.20/1170.58	c 1170s |      18 |   578155 |   434652 |    21731     40 |      796 |      623
1172.30/1172.68	c 1172s |      18 |   578924 |   435352 |    21731     40 |      796 |      623
1174.60/1174.98	c 1174s |      18 |   579712 |   436052 |    21731     40 |      796 |      623
1176.88/1177.21	c 1176s |      18 |   580502 |   436752 |    21731     40 |      796 |      623
1178.99/1179.31	c 1179s |      18 |   581166 |   437352 |    21731     40 |      796 |      623
1181.19/1181.55	c 1181s |      18 |   582061 |   438152 |    21731     40 |      796 |      623
1183.18/1183.55	c 1183s |      18 |   582699 |   438752 |    21731     40 |      796 |      623
1185.49/1185.83	c 1185s |      18 |   583479 |   439452 |    21731     40 |      796 |      623
1187.48/1187.87	c 1187s |      18 |   584144 |   440052 |    21731     40 |      796 |      623
1189.68/1190.00	c 1189s |      18 |   584958 |   440752 |    21731     40 |      796 |      623
1191.77/1192.11	c 1191s |      18 |   585728 |   441452 |    23905     40 |      796 |      623
1193.87/1194.27	c 1194s |      18 |   586416 |   442052 |    23905     40 |      796 |      623
1195.97/1196.32	c 1196s |      18 |   587061 |   442652 |    23905     40 |      796 |      623
1198.17/1198.58	c 1198s |      18 |   587726 |   443252 |    23905     40 |      796 |      623
1200.47/1200.82	c 1200s |      18 |   588397 |   443852 |    23905     40 |      796 |      623
1202.66/1203.09	c 1202s |      18 |   589064 |   444452 |    23905     40 |      796 |      623
1202.86/1203.23	c 1203s |      19 |   589106 |   444482 |    23905     40 |      796 |      623
1204.86/1205.26	c 1205s |      19 |   594303 |   446082 |    23905     40 |      796 |      623
1206.96/1207.37	c 1207s |      19 |   596349 |   447682 |    23905     40 |      796 |      623
1209.06/1209.47	c 1209s |      19 |   597900 |   448582 |    23905     41 |      796 |      623
1211.26/1211.61	c 1211s |      19 |   602878 |   450682 |    23905     41 |      796 |      623
1213.36/1213.71	c 1213s |      19 |   604425 |   451782 |    23905     41 |      796 |      623
1215.46/1215.80	c 1215s |      19 |   605750 |   452782 |    23905     41 |      796 |      623
1217.46/1217.83	c 1217s |      19 |   607603 |   454082 |    23905     41 |      796 |      623
1219.45/1219.83	c 1219s |      19 |   609028 |   455182 |    23905     41 |      796 |      623
1221.45/1221.85	c 1221s |      19 |   610210 |   456182 |    23905     41 |      796 |      623
1223.45/1223.89	c 1223s |      19 |   611223 |   457082 |    23905     41 |      796 |      623
1225.55/1225.95	c 1225s |      19 |   613506 |   458382 |    23905     41 |      796 |      623
1227.64/1228.07	c 1227s |      19 |   615793 |   459782 |    23905     41 |      796 |      623
1229.65/1230.08	c 1229s |      19 |   616956 |   460682 |    23905     41 |      796 |      623
1231.85/1232.21	c 1231s |      19 |   618146 |   461582 |    23905     41 |      796 |      623
1233.96/1234.37	c 1234s |      19 |   619115 |   462382 |    23905     42 |      796 |      623
1235.94/1236.38	c 1236s |      19 |   620078 |   463182 |    23905     42 |      796 |      623
1238.04/1238.49	c 1238s |      19 |   620991 |   463982 |    23905     42 |      796 |      623
1240.14/1240.52	c 1240s |      19 |   621830 |   464682 |    23905     42 |      796 |      623
1242.24/1242.68	c 1242s |      19 |   622737 |   465482 |    23905     42 |      796 |      623
1244.54/1244.92	c 1244s |      19 |   623640 |   466282 |    23905     42 |      796 |      623
1246.64/1247.05	c 1246s |      19 |   624413 |   466982 |    23905     42 |      796 |      623
1248.74/1249.16	c 1248s |      19 |   625178 |   467682 |    23905     42 |      796 |      623
1250.94/1251.38	c 1251s |      19 |   625994 |   468382 |    23905     42 |      796 |      623
1253.14/1253.55	c 1253s |      19 |   626850 |   469082 |    23905     42 |      796 |      623
1255.13/1255.56	c 1255s |      19 |   627550 |   469682 |    23905     42 |      796 |      623
1257.43/1257.88	c 1257s |      19 |   628378 |   470382 |    23905     42 |      796 |      623
1259.53/1259.99	c 1259s |      19 |   629081 |   470982 |    23905     42 |      796 |      623
1261.73/1262.13	c 1261s |      19 |   629872 |   471582 |    23905     42 |      796 |      623
1263.83/1264.21	c 1263s |      19 |   630784 |   472282 |    23905     42 |      796 |      623
1265.84/1266.26	c 1266s |      19 |   631506 |   472882 |    23905     42 |      796 |      623
1268.03/1268.50	c 1268s |      19 |   632342 |   473582 |    23905     42 |      796 |      623
1270.13/1270.54	c 1270s |      19 |   633273 |   474282 |    23905     42 |      796 |      623
1272.33/1272.76	c 1272s |      19 |   634205 |   474982 |    23905     42 |      796 |      623
1274.32/1274.79	c 1274s |      19 |   635051 |   475682 |    23905     43 |      796 |      623
1276.61/1277.06	c 1276s |      19 |   636044 |   476582 |    23905     43 |      796 |      623
1278.81/1279.30	c 1279s |      19 |   637282 |   477482 |    23905     43 |      796 |      623
1280.91/1281.35	c 1281s |      19 |   638186 |   478282 |    23905     43 |      796 |      623
1283.01/1283.47	c 1283s |      19 |   638954 |   478982 |    23905     43 |      796 |      623
1285.11/1285.56	c 1285s |      19 |   639620 |   479582 |    23905     43 |      796 |      623
1287.21/1287.67	c 1287s |      19 |   640275 |   480182 |    23905     43 |      796 |      623
1289.41/1289.85	c 1289s |      19 |   640915 |   480782 |    23905     43 |      796 |      623
1291.71/1292.18	c 1291s |      19 |   641548 |   481382 |    23905     43 |      796 |      623
1294.01/1294.41	c 1294s |      19 |   642193 |   481982 |    23905     43 |      796 |      623
1296.21/1296.61	c 1296s |      19 |   642972 |   482582 |    23905     43 |      796 |      623
1298.31/1298.75	c 1298s |      19 |   643884 |   483282 |    23905     43 |      796 |      623
1300.41/1300.81	c 1300s |      19 |   644600 |   483882 |    23905     43 |      796 |      623
1302.51/1302.94	c 1302s |      19 |   645332 |   484482 |    23905     43 |      796 |      623
1304.80/1305.23	c 1305s |      19 |   646047 |   485082 |    23905     43 |      796 |      623
1307.00/1307.44	c 1307s |      19 |   646786 |   485682 |    23905     43 |      796 |      623
1309.30/1309.76	c 1309s |      19 |   647550 |   486282 |    23905     43 |      796 |      623
1311.40/1311.89	c 1311s |      19 |   648119 |   486782 |    23905     43 |      796 |      623
1313.50/1313.91	c 1313s |      19 |   648685 |   487282 |    23905     43 |      796 |      623
1315.60/1316.04	c 1315s |      19 |   649243 |   487782 |    23905     43 |      796 |      623
1317.69/1318.15	c 1317s |      19 |   649806 |   488282 |    23905     43 |      796 |      623
1319.79/1320.26	c 1320s |      19 |   650416 |   488782 |    23905     43 |      796 |      623
1321.90/1322.33	c 1322s |      19 |   650926 |   489182 |    23905     44 |      796 |      623
1324.10/1324.53	c 1324s |      19 |   651790 |   489882 |    23905     44 |      796 |      623
1326.49/1326.96	c 1326s |      19 |   652623 |   490582 |    23905     44 |      796 |      623
1328.59/1329.02	c 1328s |      19 |   653324 |   491182 |    23905     44 |      796 |      623
1330.59/1331.05	c 1330s |      19 |   653871 |   491682 |    23905     44 |      796 |      623
1332.68/1333.18	c 1332s |      19 |   654563 |   492282 |    23905     44 |      796 |      623
1334.99/1335.41	c 1335s |      19 |   655226 |   492882 |    23905     44 |      796 |      623
1337.19/1337.67	c 1337s |      19 |   655862 |   493482 |    23905     44 |      796 |      623
1339.39/1339.89	c 1339s |      19 |   656500 |   494082 |    23905     44 |      796 |      623
1341.48/1341.99	c 1341s |      19 |   657025 |   494582 |    23905     44 |      796 |      623
1343.68/1344.11	c 1343s |      19 |   657579 |   495082 |    23905     44 |      796 |      623
1345.68/1346.14	c 1345s |      19 |   658110 |   495582 |    23905     44 |      796 |      623
1347.77/1348.23	c 1347s |      19 |   658674 |   496082 |    23905     44 |      796 |      623
1349.87/1350.30	c 1350s |      19 |   659199 |   496582 |    23905     44 |      796 |      623
1352.17/1352.61	c 1352s |      19 |   659741 |   497082 |    23905     44 |      796 |      623
1354.47/1354.98	c 1354s |      19 |   660196 |   497482 |    23905     44 |      796 |      623
1356.86/1357.31	c 1357s |      19 |   660755 |   497982 |    23905     44 |      796 |      623
1359.27/1359.73	c 1359s |      19 |   661439 |   498582 |    23905     44 |      796 |      623
1361.47/1361.92	c 1361s |      19 |   662003 |   499082 |    23905     44 |      796 |      623
1363.86/1364.37	c 1364s |      19 |   662555 |   499582 |    23905     44 |      796 |      623
1366.26/1366.70	c 1366s |      19 |   663284 |   500182 |    23905     44 |      796 |      623
1368.26/1368.79	c 1368s |      19 |   663716 |   500582 |    23905     44 |      796 |      623
1370.56/1371.06	c 1370s |      19 |   664154 |   500982 |    23905     44 |      796 |      623
1372.76/1373.21	c 1372s |      19 |   664615 |   501382 |    23905     44 |      796 |      623
1375.16/1375.61	c 1375s |      19 |   665178 |   501882 |    23905     44 |      796 |      623
1377.55/1378.07	c 1377s |      19 |   665524 |   502182 |    23905     45 |      796 |      623
1379.65/1380.12	c 1379s |      19 |   666068 |   502682 |    23905     45 |      796 |      623
1381.75/1382.21	c 1381s |      19 |   666673 |   503182 |    23905     45 |      796 |      623
1383.85/1384.31	c 1384s |      19 |   667714 |   503982 |    23905     45 |      796 |      623
1386.05/1386.54	c 1386s |      19 |   668680 |   504782 |    23905     45 |      796 |      623
1388.05/1388.57	c 1388s |      19 |   669543 |   505482 |    23905     45 |      796 |      623
1390.15/1390.67	c 1390s |      19 |   670377 |   506182 |    23905     45 |      796 |      623
1392.26/1392.75	c 1392s |      19 |   671275 |   506882 |    23905     45 |      796 |      623
1394.55/1395.02	c 1394s |      19 |   672107 |   507582 |    23905     45 |      796 |      623
1396.55/1397.02	c 1396s |      19 |   672826 |   508182 |    23905     45 |      796 |      623
1398.65/1399.16	c 1398s |      19 |   673509 |   508782 |    23905     45 |      796 |      623
1400.75/1401.29	c 1401s |      19 |   674193 |   509382 |    23905     45 |      796 |      623
1402.95/1403.44	c 1403s |      19 |   674866 |   509982 |    23905     45 |      796 |      623
1405.15/1405.61	c 1405s |      19 |   675545 |   510582 |    23905     45 |      796 |      623
1407.45/1407.97	c 1407s |      19 |   676232 |   511182 |    23905     45 |      796 |      623
1409.55/1410.06	c 1409s |      19 |   676804 |   511682 |    23905     45 |      796 |      623
1411.65/1412.12	c 1411s |      19 |   677362 |   512182 |    23905     45 |      796 |      623
1413.85/1414.36	c 1414s |      19 |   677885 |   512682 |    23905     45 |      796 |      623
1416.24/1416.71	c 1416s |      19 |   678609 |   513282 |    23905     45 |      796 |      623
1418.34/1418.80	c 1418s |      19 |   679179 |   513782 |    23905     45 |      796 |      623
1420.44/1420.92	c 1420s |      19 |   679797 |   514282 |    23905     45 |      796 |      623
1422.74/1423.20	c 1422s |      19 |   680372 |   514782 |    23905     45 |      796 |      623
1424.94/1425.44	c 1425s |      19 |   680978 |   515282 |    23905     45 |      796 |      623
1427.24/1427.79	c 1427s |      19 |   681580 |   515782 |    23905     46 |      796 |      623
1429.34/1429.80	c 1429s |      19 |   682423 |   516482 |    23905     46 |      796 |      623
1431.44/1431.98	c 1431s |      19 |   683416 |   517282 |    23905     46 |      796 |      623
1433.64/1434.10	c 1433s |      19 |   684403 |   518082 |    23905     46 |      796 |      623
1435.64/1436.11	c 1435s |      19 |   685258 |   518782 |    23905     46 |      796 |      623
1437.94/1438.41	c 1438s |      19 |   686094 |   519482 |    23905     46 |      796 |      623
1440.14/1440.66	c 1440s |      19 |   686751 |   520082 |    23905     46 |      796 |      623
1442.34/1442.87	c 1442s |      19 |   687411 |   520682 |    23905     46 |      796 |      623
1444.54/1445.00	c 1444s |      19 |   688113 |   521282 |    23905     46 |      796 |      623
1446.64/1447.16	c 1446s |      19 |   688668 |   521782 |    23905     46 |      796 |      623
1448.84/1449.32	c 1449s |      19 |   689178 |   522282 |    23905     46 |      796 |      623
1450.84/1451.33	c 1451s |      19 |   689706 |   522782 |    23905     46 |      796 |      623
1453.14/1453.64	c 1453s |      19 |   690261 |   523282 |    23905     46 |      796 |      623
1455.44/1455.99	c 1455s |      19 |   690796 |   523782 |    23905     46 |      796 |      623
1457.55/1458.09	c 1457s |      19 |   691213 |   524182 |    23905     46 |      796 |      623
1459.95/1460.40	c 1460s |      19 |   691763 |   524682 |    23905     46 |      796 |      623
1462.35/1462.84	c 1462s |      19 |   692307 |   525182 |    23905     46 |      796 |      623
1464.35/1464.85	c 1464s |      19 |   692746 |   525582 |    23905     46 |      796 |      623
1466.85/1467.37	c 1467s |      19 |   693309 |   526082 |    23905     46 |      796 |      623
1468.94/1469.47	c 1469s |      19 |   693856 |   526582 |    23905     46 |      796 |      623
1471.35/1471.86	c 1471s |      19 |   694374 |   527082 |    23905     46 |      796 |      623
1473.74/1474.27	c 1474s |      19 |   694924 |   527582 |    23905     46 |      796 |      623
1475.85/1476.31	c 1476s |      19 |   695348 |   527982 |    23905     46 |      796 |      623
1477.84/1478.38	c 1478s |      19 |   695793 |   528382 |    23905     46 |      796 |      623
1479.94/1480.41	c 1480s |      19 |   696217 |   528782 |    23905     46 |      796 |      623
1482.64/1483.10	c 1482s |      19 |   696656 |   529182 |    23905     47 |      796 |      623
1484.65/1485.11	c 1484s |      19 |   697217 |   529682 |    23905     47 |      796 |      623
1486.75/1487.23	c 1486s |      19 |   697786 |   530182 |    23905     47 |      796 |      623
1488.84/1489.34	c 1489s |      19 |   698536 |   530782 |    23905     47 |      796 |      623
1491.15/1491.67	c 1491s |      19 |   699201 |   531382 |    23905     47 |      796 |      623
1493.35/1493.85	c 1493s |      19 |   700049 |   532082 |    23905     47 |      796 |      623
1495.44/1495.93	c 1495s |      19 |   700977 |   532782 |    23905     47 |      796 |      623
1497.64/1498.13	c 1497s |      19 |   701646 |   533382 |    23905     47 |      796 |      623
1499.84/1500.40	c 1500s |      19 |   702296 |   533982 |    23905     47 |      796 |      623
1502.34/1502.82	c 1502s |      19 |   703143 |   534682 |    23905     47 |      796 |      623
1504.45/1504.92	c 1504s |      19 |   703741 |   535182 |    23905     47 |      796 |      623
1506.55/1507.04	c 1506s |      19 |   704856 |   535882 |    23905     47 |      796 |      623
1508.54/1509.08	c 1508s |      19 |   705740 |   536582 |    23905     47 |      796 |      623
1510.54/1511.09	c 1510s |      19 |   706637 |   537282 |    23905     47 |      796 |      623
1512.74/1513.24	c 1513s |      19 |   707456 |   537982 |    23905     47 |      796 |      623
1514.84/1515.30	c 1515s |      19 |   708160 |   538582 |    23905     47 |      796 |      623
1517.14/1517.66	c 1517s |      19 |   708843 |   539182 |    23905     47 |      796 |      623
1519.54/1520.01	c 1519s |      19 |   709525 |   539782 |    23905     47 |      796 |      623
1521.73/1522.29	c 1522s |      19 |   710064 |   540282 |    23905     47 |      796 |      623
1524.03/1524.53	c 1524s |      19 |   711096 |   540882 |    23905     47 |      796 |      623
1526.03/1526.59	c 1526s |      19 |   711806 |   541482 |    23905     47 |      796 |      623
1528.33/1528.85	c 1528s |      19 |   712557 |   542082 |    23905     47 |      796 |      623
1530.43/1530.94	c 1530s |      19 |   713078 |   542482 |    23905     48 |      796 |      623
1532.43/1532.98	c 1532s |      19 |   713987 |   543182 |    23905     48 |      796 |      623
1534.63/1535.11	c 1534s |      19 |   715111 |   544082 |    23905     48 |      796 |      623
1536.63/1537.14	c 1536s |      19 |   715956 |   544782 |    23905     48 |      796 |      623
1538.83/1539.32	c 1539s |      19 |   716799 |   545482 |    23905     48 |      796 |      623
1540.93/1541.43	c 1541s |      19 |   717663 |   546182 |    23905     48 |      796 |      623
1543.23/1543.70	c 1543s |      19 |   718605 |   546982 |    23905     48 |      796 |      623
1545.33/1545.89	c 1545s |      19 |   719501 |   547682 |    23905     48 |      796 |      623
1547.73/1548.22	c 1547s |      19 |   720298 |   548382 |    23905     48 |      796 |      623
1549.93/1550.46	c 1550s |      19 |   721016 |   548982 |    23905     48 |      796 |      623
1552.13/1552.63	c 1552s |      19 |   721676 |   549582 |    23905     48 |      796 |      623
1554.13/1554.64	c 1554s |      19 |   722386 |   550182 |    23905     48 |      796 |      623
1556.23/1556.76	c 1556s |      19 |   722851 |   550582 |    23905     48 |      796 |      623
1558.33/1558.82	c 1558s |      19 |   723468 |   551082 |    23905     48 |      796 |      623
1560.43/1560.95	c 1560s |      19 |   724203 |   551682 |    23905     48 |      796 |      623
1562.63/1563.12	c 1562s |      19 |   724921 |   552282 |    23905     48 |      796 |      623
1564.93/1565.44	c 1565s |      19 |   725598 |   552882 |    23905     48 |      796 |      623
1567.13/1567.63	c 1567s |      19 |   726382 |   553482 |    23905     48 |      796 |      623
1569.43/1569.91	c 1569s |      19 |   727091 |   554082 |    23905     48 |      796 |      623
1571.73/1572.22	c 1571s |      19 |   727791 |   554682 |    23905     48 |      796 |      623
1574.02/1574.57	c 1574s |      19 |   728483 |   555282 |    23905     48 |      796 |      623
1576.42/1576.94	c 1576s |      19 |   729205 |   555882 |    23905     48 |      796 |      623
1578.72/1579.20	c 1578s |      19 |   729801 |   556382 |    23905     49 |      796 |      623
1580.72/1581.22	c 1580s |      19 |   730514 |   556982 |    23905     49 |      796 |      623
1583.02/1583.52	c 1583s |      19 |   731302 |   557682 |    23905     49 |      796 |      623
1585.22/1585.72	c 1585s |      19 |   731974 |   558282 |    23905     49 |      796 |      623
1587.53/1588.05	c 1587s |      19 |   732650 |   558882 |    23905     49 |      796 |      623
1589.62/1590.16	c 1589s |      19 |   733192 |   559382 |    23905     49 |      796 |      623
1591.92/1592.44	c 1592s |      19 |   733881 |   559982 |    23905     49 |      796 |      623
1594.12/1594.67	c 1594s |      19 |   734591 |   560582 |    23905     49 |      796 |      623
1596.22/1596.76	c 1596s |      19 |   735129 |   561082 |    23905     49 |      796 |      623
1598.32/1598.86	c 1598s |      19 |   735718 |   561582 |    23905     49 |      796 |      623
1600.32/1600.86	c 1600s |      19 |   736146 |   561982 |    23905     49 |      796 |      623
1602.33/1602.89	c 1602s |      19 |   736570 |   562382 |    23905     49 |      796 |      623
1604.53/1605.05	c 1604s |      19 |   736985 |   562782 |    23905     49 |      796 |      623
1606.82/1607.32	c 1607s |      19 |   737591 |   563282 |    23905     49 |      796 |      623
1609.22/1609.73	c 1609s |      19 |   738298 |   563882 |    23905     49 |      796 |      623
1611.52/1612.03	c 1611s |      19 |   739005 |   564482 |    23905     49 |      796 |      623
1613.52/1614.08	c 1613s |      19 |   739565 |   564982 |    23905     49 |      796 |      623
1615.72/1616.26	c 1616s |      19 |   740146 |   565482 |    23905     49 |      796 |      623
1617.92/1618.41	c 1618s |      19 |   740716 |   565982 |    23905     49 |      796 |      623
1620.12/1620.67	c 1620s |      19 |   741388 |   566582 |    23905     49 |      796 |      623
1622.32/1622.84	c 1622s |      19 |   741974 |   567082 |    23905     49 |      796 |      623
1624.52/1625.08	c 1624s |      19 |   742563 |   567582 |    23905     49 |      796 |      623
1626.72/1627.28	c 1627s |      19 |   743139 |   568082 |    23905     49 |      796 |      623
1629.22/1629.74	c 1629s |      19 |   743725 |   568582 |    23905     49 |      796 |      623
1631.52/1632.03	c 1631s |      19 |   744305 |   569082 |    23905     49 |      796 |      623
1633.81/1634.34	c 1634s |      19 |   744873 |   569582 |    23905     49 |      796 |      623
1636.01/1636.55	c 1636s |      19 |   745315 |   569982 |    23905     50 |      796 |      623
1638.21/1638.75	c 1638s |      19 |   746086 |   570682 |    23905     50 |      796 |      623
1640.61/1641.11	c 1640s |      19 |   746747 |   571282 |    23905     50 |      796 |      623
1642.71/1643.25	c 1643s |      19 |   747449 |   571882 |    23905     50 |      796 |      623
1644.81/1645.32	c 1645s |      19 |   748179 |   572482 |    23905     50 |      796 |      623
1647.01/1647.50	c 1647s |      19 |   748891 |   573082 |    23905     50 |      796 |      623
1649.21/1649.72	c 1649s |      19 |   749586 |   573682 |    23905     50 |      796 |      623
1651.31/1651.80	c 1651s |      19 |   750303 |   574282 |    23905     50 |      796 |      623
1653.61/1654.11	c 1653s |      19 |   750976 |   574882 |    23905     50 |      796 |      623
1655.81/1656.31	c 1656s |      19 |   751533 |   575382 |    23905     50 |      796 |      623
1658.01/1658.54	c 1658s |      19 |   752117 |   575882 |    23905     50 |      796 |      623
1660.52/1661.01	c 1660s |      19 |   752828 |   576482 |    23905     50 |      796 |      623
1662.72/1663.21	c 1662s |      19 |   753409 |   576982 |    23905     50 |      796 |      623
1665.01/1665.55	c 1665s |      19 |   753979 |   577482 |    23905     50 |      796 |      623
1667.21/1667.80	c 1667s |      19 |   754587 |   577982 |    23905     50 |      796 |      623
1669.31/1669.88	c 1669s |      19 |   757792 |   579082 |    23905     50 |      796 |      623
1671.41/1671.90	c 1671s |      19 |   759208 |   580082 |    23905     50 |      796 |      623
1673.41/1673.93	c 1673s |      19 |   760708 |   580882 |    23905     50 |      796 |      623
1675.41/1675.98	c 1675s |      19 |   762047 |   581782 |    23905     50 |      796 |      623
1677.51/1678.09	c 1677s |      19 |   762854 |   582482 |    23905     50 |      796 |      623
1680.00/1680.54	c 1680s |      19 |   763667 |   583182 |    23905     51 |      796 |      623
1682.00/1682.55	c 1682s |      19 |   766131 |   584082 |    23905     51 |      796 |      623
1684.00/1684.58	c 1684s |      19 |   768401 |   585182 |    23905     51 |      796 |      623
1686.10/1686.63	c 1686s |      19 |   770103 |   586282 |    23905     51 |      796 |      623
1688.20/1688.70	c 1688s |      19 |   771516 |   587282 |    23905     51 |      796 |      623
1690.21/1690.73	c 1690s |      19 |   773187 |   588382 |    23905     51 |      796 |      623
1692.30/1692.82	c 1692s |      19 |   774434 |   589282 |    23905     51 |      796 |      623
1694.40/1694.92	c 1694s |      19 |   775294 |   589982 |    23905     51 |      796 |      623
1696.40/1696.98	c 1696s |      19 |   777440 |   591082 |    23905     51 |      796 |      623
1698.50/1699.07	c 1698s |      19 |   779480 |   592182 |    23905     51 |      796 |      623
1700.60/1701.11	c 1700s |      19 |   780772 |   593082 |    23905     51 |      796 |      623
1702.60/1703.12	c 1702s |      19 |   781837 |   593882 |    23905     51 |      796 |      623
1704.70/1705.21	c 1704s |      19 |   782710 |   594582 |    23905     51 |      796 |      623
1706.71/1707.30	c 1707s |      19 |   783560 |   595282 |    23905     51 |      796 |      623
1708.80/1709.37	c 1709s |      19 |   784248 |   595882 |    23905     51 |      796 |      623
1711.50/1712.00	c 1711s |      19 |   785056 |   596582 |    23905     52 |      796 |      623
1713.50/1714.07	c 1713s |      19 |   785892 |   597282 |    23905     52 |      796 |      623
1715.51/1716.07	c 1715s |      19 |   786871 |   598082 |    23905     52 |      796 |      623
1717.70/1718.21	c 1717s |      19 |   787665 |   598782 |    23905     52 |      796 |      623
1719.70/1720.22	c 1719s |      19 |   788346 |   599382 |    23905     52 |      796 |      623
1721.91/1722.43	c 1722s |      19 |   789271 |   600182 |    23905     52 |      796 |      623
1724.01/1724.58	c 1724s |      19 |   790045 |   600882 |    23905     52 |      796 |      623
1726.11/1726.65	c 1726s |      19 |   790701 |   601482 |    23905     52 |      796 |      623
1728.11/1728.67	c 1728s |      19 |   791375 |   602082 |    23905     52 |      796 |      623
1730.21/1730.71	c 1730s |      19 |   792213 |   602782 |    23905     52 |      796 |      623
1732.40/1732.90	c 1732s |      19 |   792864 |   603382 |    23905     52 |      796 |      623
1734.40/1734.96	c 1734s |      19 |   793407 |   603882 |    23905     52 |      796 |      623
1736.41/1736.97	c 1736s |      19 |   794030 |   604382 |    23905     52 |      796 |      623
1738.71/1739.21	c 1738s |      19 |   796177 |   605482 |    23905     52 |      796 |      623
1740.81/1741.35	c 1741s |      19 |   797374 |   606382 |    23905     52 |      796 |      623
1743.01/1743.58	c 1743s |      19 |   798415 |   607182 |    23905     52 |      796 |      623
1745.10/1745.60	c 1745s |      19 |   799401 |   607882 |    23905     52 |      796 |      623
1747.20/1747.76	c 1747s |      19 |   800463 |   608682 |    23905     52 |      796 |      623
1749.40/1750.00	c 1749s |      19 |   801360 |   609382 |    23905     52 |      796 |      623
1752.10/1752.69	c 1752s |      19 |   802220 |   610082 |    23905     53 |      796 |      623
1754.20/1754.72	c 1754s |      19 |   803184 |   610882 |    23905     53 |      796 |      623
1756.31/1756.85	c 1756s |      19 |   804401 |   611782 |    23905     53 |      796 |      623
1758.30/1758.89	c 1758s |      19 |   805569 |   612682 |    23905     53 |      796 |      623
1760.61/1761.12	c 1760s |      19 |   806759 |   613582 |    23905     53 |      796 |      623
1762.70/1763.22	c 1762s |      19 |   807788 |   614382 |    23905     53 |      796 |      623
1764.80/1765.31	c 1765s |      19 |   808809 |   615182 |    23905     53 |      796 |      623
1767.00/1767.53	c 1767s |      19 |   809700 |   615882 |    23905     53 |      796 |      623
1769.20/1769.73	c 1769s |      19 |   810536 |   616582 |    23905     53 |      796 |      623
1771.30/1771.85	c 1771s |      19 |   811224 |   617182 |    23905     53 |      796 |      623
1773.40/1773.95	c 1773s |      19 |   811928 |   617782 |    23905     53 |      796 |      623
1775.60/1776.14	c 1775s |      19 |   812586 |   618382 |    23905     53 |      796 |      623
1777.90/1778.40	c 1778s |      19 |   813310 |   618982 |    23905     53 |      796 |      623
1779.90/1780.46	c 1780s |      19 |   813881 |   619482 |    23905     53 |      796 |      623
1781.89/1782.46	c 1782s |      19 |   814617 |   620082 |    23905     53 |      796 |      623
1783.99/1784.52	c 1784s |      19 |   815378 |   620682 |    23905     53 |      796 |      623
1786.00/1786.52	c 1786s |      19 |   815982 |   621182 |    23905     53 |      796 |      623
1788.10/1788.66	c 1788s |      19 |   816671 |   621782 |    23905     53 |      796 |      623
1790.40/1790.97	c 1790s |      19 |   817397 |   622382 |    23905     53 |      796 |      623
1792.60/1793.13	c 1792s |      19 |   818147 |   622982 |    23905     53 |      796 |      623
1794.70/1795.27	c 1795s |      19 |   818702 |   623482 |    23905     53 |      796 |      623
1796.69/1797.29	c 1797s |      19 |   819287 |   623982 |    23905     54 |      796 |      623
1798.89/1799.47	c 1799s |      19 |   820091 |   624682 |    23905     54 |      796 |      623

Verifier Data 

ERROR: no interpretation found !

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

pid=22019
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.21 2.22 2.18 3/180 22022
/proc/meminfo: memFree=29652352/32872528 swapFree=1085692/1157232
[pid=22022] ppid=22019 vsize=798140 CPUtime=0 cores=1,3,5,7
/proc/22022/stat : 22022 (toysat) R 22019 22022 21062 0 -1 4202496 2992 0 0 0 0 0 0 0 20 0 4 0 27942707 817295360 2841 33554432000 4194304 16246674 140734930183408 140734930182832 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22022/statm: 200047 2851 441 2943 0 196941 0
[pid=22022/tid=22023] ppid=22019 vsize=815548 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22023/stat : 22023 (toysat) S 22019 22022 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27942707 835121152 2910 33554432000 4194304 16246674 140734930183408 140192972254448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22022/tid=22024] ppid=22019 vsize=819644 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22024/stat : 22024 (toysat) S 22019 22022 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27942707 839315456 2927 33554432000 4194304 16246674 140734930183408 140192961764592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22022/tid=22025] ppid=22019 vsize=823740 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22025/stat : 22025 (toysat) S 22019 22022 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27942707 843509760 2944 33554432000 4194304 16246674 140734930183408 140192951291056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100164 s]
/proc/loadavg: 2.21 2.22 2.18 3/180 22022
/proc/meminfo: memFree=29652352/32872528 swapFree=1085692/1157232
[pid=22022] ppid=22019 vsize=1301060 CPUtime=0.08 cores=1,3,5,7
/proc/22022/stat : 22022 (toysat) R 22019 22022 21062 0 -1 4202496 25162 0 0 0 5 3 0 0 20 0 4 0 27942707 1332285440 24949 33554432000 4194304 16246674 140734930183408 140734930182720 6760209 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22022/statm: 325265 24959 830 2943 0 322159 0
[pid=22022/tid=22023] ppid=22019 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22023/stat : 22023 (toysat) S 22019 22022 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27942707 1332285440 24965 33554432000 4194304 16246674 140734930183408 140192972254448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22022/tid=22024] ppid=22019 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22024/stat : 22024 (toysat) S 22019 22022 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27942707 1332285440 24972 33554432000 4194304 16246674 140734930183408 140192961764592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22022/tid=22025] ppid=22019 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22025/stat : 22025 (toysat) S 22019 22022 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27942707 1332285440 24979 33554432000 4194304 16246674 140734930183408 140192951291056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1301060

[startup+0.200498 s]
/proc/loadavg: 2.21 2.22 2.18 3/180 22022
/proc/meminfo: memFree=29652352/32872528 swapFree=1085692/1157232
[pid=22022] ppid=22019 vsize=1302084 CPUtime=0.19 cores=1,3,5,7
/proc/22022/stat : 22022 (toysat) R 22019 22022 21062 0 -1 4202496 43510 0 0 0 13 6 0 0 20 0 4 0 27942707 1333334016 43297 33554432000 4194304 16246674 140734930183408 140734930182720 13954672 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22022/statm: 325521 43297 840 2943 0 322415 0
[pid=22022/tid=22023] ppid=22019 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22023/stat : 22023 (toysat) S 22019 22022 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27942707 1333334016 43297 33554432000 4194304 16246674 140734930183408 140192972254448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22022/tid=22024] ppid=22019 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22024/stat : 22024 (toysat) S 22019 22022 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27942707 1333334016 43297 33554432000 4194304 16246674 140734930183408 140192961764592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22022/tid=22025] ppid=22019 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22025/stat : 22025 (toysat) S 22019 22022 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27942707 1333334016 43297 33554432000 4194304 16246674 140734930183408 140192951291056 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) 1302084

[startup+0.300489 s]
/proc/loadavg: 2.21 2.22 2.18 3/180 22022
/proc/meminfo: memFree=29652352/32872528 swapFree=1085692/1157232
[pid=22022] ppid=22019 vsize=1302084 CPUtime=0.28 cores=1,3,5,7
/proc/22022/stat : 22022 (toysat) R 22019 22022 21062 0 -1 4202496 48179 0 0 0 22 6 0 0 20 0 4 0 27942707 1333334016 47966 33554432000 4194304 16246674 140734930183408 140734930182720 5532733 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22022/statm: 325521 47975 880 2943 0 322415 0
[pid=22022/tid=22023] ppid=22019 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22023/stat : 22023 (toysat) S 22019 22022 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27942707 1333334016 47980 33554432000 4194304 16246674 140734930183408 140192972254448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22022/tid=22024] ppid=22019 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22024/stat : 22024 (toysat) S 22019 22022 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27942707 1333334016 47985 33554432000 4194304 16246674 140734930183408 140192961764592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22022/tid=22025] ppid=22019 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22025/stat : 22025 (toysat) S 22019 22022 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27942707 1333334016 47989 33554432000 4194304 16246674 140734930183408 140192951291056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1302084

[startup+0.700425 s]
/proc/loadavg: 2.21 2.22 2.18 3/180 22022
/proc/meminfo: memFree=29652352/32872528 swapFree=1085692/1157232
[pid=22022] ppid=22019 vsize=1302084 CPUtime=0.69 cores=1,3,5,7
/proc/22022/stat : 22022 (toysat) R 22019 22022 21062 0 -1 4202496 95043 0 0 0 55 14 0 0 20 0 4 0 27942707 1333334016 94830 33554432000 4194304 16246674 140734930183408 140734930165312 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22022/statm: 325521 94834 880 2943 0 322415 0
[pid=22022/tid=22023] ppid=22019 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22023/stat : 22023 (toysat) S 22019 22022 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27942707 1333334016 94835 33554432000 4194304 16246674 140734930183408 140192972254448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22022/tid=22024] ppid=22019 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22024/stat : 22024 (toysat) S 22019 22022 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27942707 1333334016 94838 33554432000 4194304 16246674 140734930183408 140192961764592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22022/tid=22025] ppid=22019 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22025/stat : 22025 (toysat) S 22019 22022 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27942707 1333334016 94841 33554432000 4194304 16246674 140734930183408 140192951291056 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) 1302084

[startup+1.50042 s]
/proc/loadavg: 2.21 2.22 2.18 3/184 22026
/proc/meminfo: memFree=29055236/32872528 swapFree=1085692/1157232
[pid=22022] ppid=22019 vsize=1302084 CPUtime=1.49 cores=1,3,5,7
/proc/22022/stat : 22022 (toysat) R 22019 22022 21062 0 -1 4202496 205396 0 0 0 118 31 0 0 20 0 4 0 27942707 1333334016 205183 33554432000 4194304 16246674 140734930183408 140734930165312 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22022/statm: 325521 205189 880 2943 0 322415 0
[pid=22022/tid=22023] ppid=22019 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22023/stat : 22023 (toysat) S 22019 22022 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27942707 1333334016 205192 33554432000 4194304 16246674 140734930183408 140192972254448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22022/tid=22024] ppid=22019 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22024/stat : 22024 (toysat) S 22019 22022 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27942707 1333334016 205197 33554432000 4194304 16246674 140734930183408 140192961764592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22022/tid=22025] ppid=22019 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22025/stat : 22025 (toysat) S 22019 22022 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27942707 1333334016 205202 33554432000 4194304 16246674 140734930183408 140192951291056 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) 1302084

[startup+3.10043 s]
/proc/loadavg: 2.21 2.22 2.18 3/184 22026
/proc/meminfo: memFree=28577688/32872528 swapFree=1085692/1157232
[pid=22022] ppid=22019 vsize=1312324 CPUtime=3.08 cores=1,3,5,7
/proc/22022/stat : 22022 (toysat) R 22019 22022 21062 0 -1 4202496 269087 0 0 0 270 38 0 0 20 0 4 0 27942707 1343819776 268874 33554432000 4194304 16246674 140734930183408 140734930165312 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22022/statm: 328081 268874 887 2943 0 324975 0
[pid=22022/tid=22023] ppid=22019 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22023/stat : 22023 (toysat) S 22019 22022 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27942707 1343819776 268874 33554432000 4194304 16246674 140734930183408 140192972254448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22022/tid=22024] ppid=22019 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22024/stat : 22024 (toysat) S 22019 22022 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27942707 1343819776 268874 33554432000 4194304 16246674 140734930183408 140192961764592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22022/tid=22025] ppid=22019 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22025/stat : 22025 (toysat) S 22019 22022 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27942707 1343819776 268874 33554432000 4194304 16246674 140734930183408 140192951291056 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) 1312324

[startup+6.30042 s]
/proc/loadavg: 2.27 2.23 2.18 3/184 22026
/proc/meminfo: memFree=28576532/32872528 swapFree=1085692/1157232
[pid=22022] ppid=22019 vsize=1312324 CPUtime=6.28 cores=1,3,5,7
/proc/22022/stat : 22022 (toysat) R 22019 22022 21062 0 -1 4202496 269270 0 0 0 590 38 0 0 20 0 4 0 27942707 1343819776 269057 33554432000 4194304 16246674 140734930183408 140734930165312 5545796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22022/statm: 328081 269057 887 2943 0 324975 0
[pid=22022/tid=22023] ppid=22019 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22023/stat : 22023 (toysat) S 22019 22022 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27942707 1343819776 269057 33554432000 4194304 16246674 140734930183408 140192972254448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22022/tid=22024] ppid=22019 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22024/stat : 22024 (toysat) S 22019 22022 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27942707 1343819776 269057 33554432000 4194304 16246674 140734930183408 140192961764592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22022/tid=22025] ppid=22019 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22025/stat : 22025 (toysat) S 22019 22022 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27942707 1343819776 269057 33554432000 4194304 16246674 140734930183408 140192951291056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.25 2.22 2.18 3/184 22026
/proc/meminfo: memFree=28576464/32872528 swapFree=1085692/1157232
[pid=22022] ppid=22019 vsize=1312324 CPUtime=12.68 cores=1,3,5,7
/proc/22022/stat : 22022 (toysat) R 22019 22022 21062 0 -1 4202496 269272 0 0 0 1230 38 0 0 20 0 4 0 27942707 1343819776 269059 33554432000 4194304 16246674 140734930183408 140734930165312 12460484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22022/statm: 328081 269059 889 2943 0 324975 0
[pid=22022/tid=22023] ppid=22019 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22023/stat : 22023 (toysat) S 22019 22022 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27942707 1343819776 269059 33554432000 4194304 16246674 140734930183408 140192972254448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22022/tid=22024] ppid=22019 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22024/stat : 22024 (toysat) S 22019 22022 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27942707 1343819776 269059 33554432000 4194304 16246674 140734930183408 140192961764592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22022/tid=22025] ppid=22019 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22025/stat : 22025 (toysat) S 22019 22022 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27942707 1343819776 269059 33554432000 4194304 16246674 140734930183408 140192951291056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.27 2.23 2.18 3/184 22026
/proc/meminfo: memFree=28576872/32872528 swapFree=1085692/1157232
[pid=22022] ppid=22019 vsize=1312324 CPUtime=25.48 cores=1,3,5,7
/proc/22022/stat : 22022 (toysat) R 22019 22022 21062 0 -1 4202496 269273 0 0 0 2510 38 0 0 20 0 4 0 27942707 1343819776 269060 33554432000 4194304 16246674 140734930183408 140734930165312 5675344 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22022/statm: 328081 269060 890 2943 0 324975 0
[pid=22022/tid=22023] ppid=22019 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22023/stat : 22023 (toysat) S 22019 22022 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27942707 1343819776 269060 33554432000 4194304 16246674 140734930183408 140192972254448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22022/tid=22024] ppid=22019 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22024/stat : 22024 (toysat) S 22019 22022 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27942707 1343819776 269060 33554432000 4194304 16246674 140734930183408 140192961764592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22022/tid=22025] ppid=22019 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22025/stat : 22025 (toysat) S 22019 22022 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27942707 1343819776 269060 33554432000 4194304 16246674 140734930183408 140192951291056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.18 2.21 2.18 3/183 22026
/proc/meminfo: memFree=28576724/32872528 swapFree=1085692/1157232
[pid=22022] ppid=22019 vsize=1312324 CPUtime=51.08 cores=1,3,5,7
/proc/22022/stat : 22022 (toysat) R 22019 22022 21062 0 -1 4202496 269273 0 0 0 5069 39 0 0 20 0 4 0 27942707 1343819776 269060 33554432000 4194304 16246674 140734930183408 140734930165312 5828829 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22022/statm: 328081 269060 890 2943 0 324975 0
[pid=22022/tid=22023] ppid=22019 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22023/stat : 22023 (toysat) S 22019 22022 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27942707 1343819776 269060 33554432000 4194304 16246674 140734930183408 140192972254448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22022/tid=22024] ppid=22019 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22024/stat : 22024 (toysat) S 22019 22022 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27942707 1343819776 269060 33554432000 4194304 16246674 140734930183408 140192961764592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22022/tid=22025] ppid=22019 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22025/stat : 22025 (toysat) S 22019 22022 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27942707 1343819776 269060 33554432000 4194304 16246674 140734930183408 140192951291056 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) 1312324

[startup+102.301 s]
/proc/loadavg: 2.22 2.22 2.18 3/183 22027
/proc/meminfo: memFree=28568216/32872528 swapFree=1085692/1157232
[pid=22022] ppid=22019 vsize=1320516 CPUtime=102.28 cores=1,3,5,7
/proc/22022/stat : 22022 (toysat) R 22019 22022 21062 0 -1 4202496 271228 0 0 0 10189 39 0 0 20 0 4 0 27942707 1352208384 271015 33554432000 4194304 16246674 140734930183408 140734930182504 5546608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22022/statm: 330129 271015 890 2943 0 327023 0
[pid=22022/tid=22023] ppid=22019 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22023/stat : 22023 (toysat) S 22019 22022 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27942707 1352208384 271015 33554432000 4194304 16246674 140734930183408 140192972254448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22022/tid=22024] ppid=22019 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22024/stat : 22024 (toysat) S 22019 22022 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27942707 1352208384 271015 33554432000 4194304 16246674 140734930183408 140192961764592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22022/tid=22025] ppid=22019 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22025/stat : 22025 (toysat) S 22019 22022 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27942707 1352208384 271015 33554432000 4194304 16246674 140734930183408 140192951291056 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) 1320516


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

/proc/22022/task/22025/stat : 22025 (toysat) S 22019 22022 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27942707 1376325632 277252 33554432000 4194304 16246674 140734930183408 140192951291056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 1344068

[startup+1302.3 s]
/proc/loadavg: 2.27 2.22 2.19 3/183 22129
/proc/meminfo: memFree=28557272/32872528 swapFree=1085692/1157232
[pid=22022] ppid=22019 vsize=1344068 CPUtime=1301.91 cores=1,3,5,7
/proc/22022/stat : 22022 (toysat) R 22019 22022 21062 0 -1 4202496 277513 0 0 0 130142 49 0 0 20 0 4 0 27942707 1376325632 277252 33554432000 4194304 16246674 140734930183408 140734930182584 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22022/statm: 336017 277252 890 2943 0 332911 0
[pid=22022/tid=22023] ppid=22019 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22023/stat : 22023 (toysat) S 22019 22022 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27942707 1376325632 277252 33554432000 4194304 16246674 140734930183408 140192972254448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22022/tid=22024] ppid=22019 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22024/stat : 22024 (toysat) S 22019 22022 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27942707 1376325632 277252 33554432000 4194304 16246674 140734930183408 140192961764592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22022/tid=22025] ppid=22019 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22025/stat : 22025 (toysat) S 22019 22022 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27942707 1376325632 277252 33554432000 4194304 16246674 140734930183408 140192951291056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1344068

[startup+1362.3 s]
/proc/loadavg: 2.23 2.21 2.18 3/183 22130
/proc/meminfo: memFree=28554276/32872528 swapFree=1085692/1157232
[pid=22022] ppid=22019 vsize=1344068 CPUtime=1361.86 cores=1,3,5,7
/proc/22022/stat : 22022 (toysat) R 22019 22022 21062 0 -1 4202496 277561 0 0 0 136137 49 0 0 20 0 4 0 27942707 1376325632 277252 33554432000 4194304 16246674 140734930183408 140734930165312 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22022/statm: 336017 277252 890 2943 0 332911 0
[pid=22022/tid=22023] ppid=22019 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22023/stat : 22023 (toysat) S 22019 22022 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27942707 1376325632 277252 33554432000 4194304 16246674 140734930183408 140192972254448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22022/tid=22024] ppid=22019 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22024/stat : 22024 (toysat) S 22019 22022 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27942707 1376325632 277252 33554432000 4194304 16246674 140734930183408 140192961764592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22022/tid=22025] ppid=22019 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22025/stat : 22025 (toysat) S 22019 22022 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27942707 1376325632 277252 33554432000 4194304 16246674 140734930183408 140192951291056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1344068

[startup+1422.3 s]
/proc/loadavg: 2.24 2.21 2.18 3/183 22131
/proc/meminfo: memFree=28553792/32872528 swapFree=1085692/1157232
[pid=22022] ppid=22019 vsize=1344068 CPUtime=1421.85 cores=1,3,5,7
/proc/22022/stat : 22022 (toysat) R 22019 22022 21062 0 -1 4202496 277576 0 0 0 142136 49 0 0 20 0 4 0 27942707 1376325632 277252 33554432000 4194304 16246674 140734930183408 140734930182504 5712060 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22022/statm: 336017 277252 890 2943 0 332911 0
[pid=22022/tid=22023] ppid=22019 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22023/stat : 22023 (toysat) S 22019 22022 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27942707 1376325632 277252 33554432000 4194304 16246674 140734930183408 140192972254448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22022/tid=22024] ppid=22019 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22024/stat : 22024 (toysat) S 22019 22022 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27942707 1376325632 277252 33554432000 4194304 16246674 140734930183408 140192961764592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22022/tid=22025] ppid=22019 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22025/stat : 22025 (toysat) S 22019 22022 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27942707 1376325632 277252 33554432000 4194304 16246674 140734930183408 140192951291056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1344068

[startup+1482.3 s]
/proc/loadavg: 2.37 2.25 2.19 3/183 22132
/proc/meminfo: memFree=28553344/32872528 swapFree=1085692/1157232
[pid=22022] ppid=22019 vsize=1344068 CPUtime=1481.84 cores=1,3,5,7
/proc/22022/stat : 22022 (toysat) R 22019 22022 21062 0 -1 4202496 277576 0 0 0 148134 50 0 0 20 0 4 0 27942707 1376325632 277252 33554432000 4194304 16246674 140734930183408 140734930165312 5677492 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22022/statm: 336017 277252 890 2943 0 332911 0
[pid=22022/tid=22023] ppid=22019 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22023/stat : 22023 (toysat) S 22019 22022 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27942707 1376325632 277252 33554432000 4194304 16246674 140734930183408 140192972254448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22022/tid=22024] ppid=22019 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22024/stat : 22024 (toysat) S 22019 22022 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27942707 1376325632 277252 33554432000 4194304 16246674 140734930183408 140192961764592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22022/tid=22025] ppid=22019 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22025/stat : 22025 (toysat) S 22019 22022 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27942707 1376325632 277252 33554432000 4194304 16246674 140734930183408 140192951291056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1344068

[startup+1542.31 s]
/proc/loadavg: 2.24 2.23 2.19 3/183 22134
/proc/meminfo: memFree=28553812/32872528 swapFree=1085692/1157232
[pid=22022] ppid=22019 vsize=1344068 CPUtime=1541.84 cores=1,3,5,7
/proc/22022/stat : 22022 (toysat) R 22019 22022 21062 0 -1 4202496 277576 0 0 0 154134 50 0 0 20 0 4 0 27942707 1376325632 277252 33554432000 4194304 16246674 140734930183408 140734930165312 5711216 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22022/statm: 336017 277252 890 2943 0 332911 0
[pid=22022/tid=22023] ppid=22019 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22023/stat : 22023 (toysat) S 22019 22022 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27942707 1376325632 277252 33554432000 4194304 16246674 140734930183408 140192972254448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22022/tid=22024] ppid=22019 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22024/stat : 22024 (toysat) S 22019 22022 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27942707 1376325632 277252 33554432000 4194304 16246674 140734930183408 140192961764592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22022/tid=22025] ppid=22019 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22025/stat : 22025 (toysat) S 22019 22022 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27942707 1376325632 277252 33554432000 4194304 16246674 140734930183408 140192951291056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1344068

[startup+1602.3 s]
/proc/loadavg: 2.20 2.22 2.18 3/183 22135
/proc/meminfo: memFree=28546152/32872528 swapFree=1085692/1157232
[pid=22022] ppid=22019 vsize=1344068 CPUtime=1601.82 cores=1,3,5,7
/proc/22022/stat : 22022 (toysat) R 22019 22022 21062 0 -1 4202496 277576 0 0 0 160131 51 0 0 20 0 4 0 27942707 1376325632 277252 33554432000 4194304 16246674 140734930183408 140734930165312 12478786 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22022/statm: 336017 277252 890 2943 0 332911 0
[pid=22022/tid=22023] ppid=22019 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22023/stat : 22023 (toysat) S 22019 22022 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27942707 1376325632 277252 33554432000 4194304 16246674 140734930183408 140192972254448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22022/tid=22024] ppid=22019 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22024/stat : 22024 (toysat) S 22019 22022 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27942707 1376325632 277252 33554432000 4194304 16246674 140734930183408 140192961764592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22022/tid=22025] ppid=22019 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22025/stat : 22025 (toysat) S 22019 22022 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27942707 1376325632 277252 33554432000 4194304 16246674 140734930183408 140192951291056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1344068

[startup+1662.3 s]
/proc/loadavg: 2.27 2.23 2.19 3/183 22136
/proc/meminfo: memFree=28545956/32872528 swapFree=1085692/1157232
[pid=22022] ppid=22019 vsize=1344068 CPUtime=1661.81 cores=1,3,5,7
/proc/22022/stat : 22022 (toysat) R 22019 22022 21062 0 -1 4202496 277576 0 0 0 166130 51 0 0 20 0 4 0 27942707 1376325632 277252 33554432000 4194304 16246674 140734930183408 140734930182584 5522977 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22022/statm: 336017 277252 890 2943 0 332911 0
[pid=22022/tid=22023] ppid=22019 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22023/stat : 22023 (toysat) S 22019 22022 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27942707 1376325632 277252 33554432000 4194304 16246674 140734930183408 140192972254448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22022/tid=22024] ppid=22019 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22024/stat : 22024 (toysat) S 22019 22022 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27942707 1376325632 277252 33554432000 4194304 16246674 140734930183408 140192961764592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22022/tid=22025] ppid=22019 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22025/stat : 22025 (toysat) S 22019 22022 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27942707 1376325632 277252 33554432000 4194304 16246674 140734930183408 140192951291056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1344068

[startup+1722.3 s]
/proc/loadavg: 2.15 2.20 2.18 4/183 22185
/proc/meminfo: memFree=28556920/32872528 swapFree=1085692/1157232
[pid=22022] ppid=22019 vsize=1344068 CPUtime=1721.81 cores=1,3,5,7
/proc/22022/stat : 22022 (toysat) R 22019 22022 21062 0 -1 4202496 277576 0 0 0 172129 52 0 0 20 0 4 0 27942707 1376325632 277252 33554432000 4194304 16246674 140734930183408 140734930165312 5711908 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22022/statm: 336017 277252 890 2943 0 332911 0
[pid=22022/tid=22023] ppid=22019 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22023/stat : 22023 (toysat) S 22019 22022 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27942707 1376325632 277252 33554432000 4194304 16246674 140734930183408 140192972254448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22022/tid=22024] ppid=22019 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22024/stat : 22024 (toysat) S 22019 22022 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27942707 1376325632 277252 33554432000 4194304 16246674 140734930183408 140192961764592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22022/tid=22025] ppid=22019 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22025/stat : 22025 (toysat) S 22019 22022 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27942707 1376325632 277252 33554432000 4194304 16246674 140734930183408 140192951291056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1344068

[startup+1782.3 s]
/proc/loadavg: 2.22 2.21 2.18 4/184 22189
/proc/meminfo: memFree=28549704/32872528 swapFree=1085692/1157232
[pid=22022] ppid=22019 vsize=1344068 CPUtime=1781.79 cores=1,3,5,7
/proc/22022/stat : 22022 (toysat) R 22019 22022 21062 0 -1 4202496 277576 0 0 0 178127 52 0 0 20 0 4 0 27942707 1376325632 277252 33554432000 4194304 16246674 140734930183408 140734930165312 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22022/statm: 336017 277252 890 2943 0 332911 0
[pid=22022/tid=22023] ppid=22019 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22023/stat : 22023 (toysat) S 22019 22022 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27942707 1376325632 277252 33554432000 4194304 16246674 140734930183408 140192972254448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22022/tid=22024] ppid=22019 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22024/stat : 22024 (toysat) S 22019 22022 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27942707 1376325632 277252 33554432000 4194304 16246674 140734930183408 140192961764592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22022/tid=22025] ppid=22019 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22025/stat : 22025 (toysat) S 22019 22022 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27942707 1376325632 277252 33554432000 4194304 16246674 140734930183408 140192951291056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1344068



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.16 2.20 2.18 3/184 22189
/proc/meminfo: memFree=28549984/32872528 swapFree=1085692/1157232
[pid=22022] ppid=22019 vsize=1344068 CPUtime=1800.09 cores=1,3,5,7
/proc/22022/stat : 22022 (toysat) R 22019 22022 21062 0 -1 4202496 277576 0 0 0 179957 52 0 0 20 0 4 0 27942707 1376325632 277252 33554432000 4194304 16246674 140734930183408 140734930165312 13809250 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22022/statm: 336017 277252 890 2943 0 332911 0
[pid=22022/tid=22023] ppid=22019 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22023/stat : 22023 (toysat) S 22019 22022 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27942707 1376325632 277252 33554432000 4194304 16246674 140734930183408 140192972254448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22022/tid=22024] ppid=22019 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22024/stat : 22024 (toysat) S 22019 22022 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27942707 1376325632 277252 33554432000 4194304 16246674 140734930183408 140192961764592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22022/tid=22025] ppid=22019 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/22022/task/22025/stat : 22025 (toysat) S 22019 22022 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27942707 1376325632 277252 33554432000 4194304 16246674 140734930183408 140192951291056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1344068

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.11
CPU user time (s): 1799.58
CPU system time (s): 0.52392
CPU usage (%): 99.9721
Max. virtual memory (cumulated for all children) (KiB): 1344068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.52392
maximum resident set size= 1109008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277576
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= 381
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.31934 second user time and 7.2139 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-26 15:50:31
IDJOB=4116389
IDBENCH=109464
IDSOLVER=2542
FILE ID=node114/4116389-1466949031
RUNJOBID= node114-1466944456-21079
PBS_JOBID= 19976359
Free space on /tmp= 71640 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round21-2.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116389-1466949031/watcher-4116389-1466949031 -o /tmp/evaluation-result-4116389-1466949031/solver-4116389-1466949031 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1466944456-21079 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4116389-1466949031.opb

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

MD5SUM BENCH= fffab1c809e66c3ffabf2a45b249e251
RANDOM SEED=294271121

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29652732 kB
Buffers:           11912 kB
Cached:           216116 kB
SwapCached:        38936 kB
Active:          1157912 kB
Inactive:         203816 kB
Active(anon):    1098600 kB
Inactive(anon):    37756 kB
Active(file):      59312 kB
Inactive(file):   166060 kB
Unevictable:     1157232 kB
Mlocked:         1085692 kB
SwapTotal:      67108856 kB
SwapFree:       67061372 kB
Dirty:             16796 kB
Writeback:             8 kB
AnonPages:       2253264 kB
Mapped:            10812 kB
Shmem:                 0 kB
Slab:             566352 kB
SReclaimable:      10324 kB
SUnreclaim:       556028 kB
KernelStack:        1488 kB
PageTables:         8180 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2395636 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     75776 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= 71624 MiB
End job on node114 at 2016-06-26 16:20:32