Trace number 4116125

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.09 1800.61

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size128-round22-8.opb
MD5SUMb49aa9fcb097a8864fa7f149914f20bf
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4128
Total number of constraints8704
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)416
Number of constraints which are nor clauses,nor cardinality constraints864
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-26T19:48:22+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-4116125-1466963302.opb"]
0.00/0.01	c use --random-gen="3612416650 4219156664 531378869 807461794 3678142291 2463332222 1904016967 3009589682 3425383177 1213071280 3835289737 2713903013 313692817 2639611961 1870898672 2809330009 3806452061 1859352410 3686775846 2669655888 3554607984 2051323236 2753001148 1203343598 3416788047 47781862 1964627620 541299963 2976162475 3420721103 3011491263 3519158298 4023582567 3715629261 1464093897 3976379645 365458778 2195900693 3506486138 2646979621 3772739639 4214231188 2685863281 510024892 2779708149 123906094 1673650054 3104890283 3570706717 3911388882 2364889999 223697287 4279974317 976212361 1907195338 3326841813 1584338320 2349649024 350300693 3256188141 1253816714 1610231834 2132965579 3693016350 4079988664 4049416110 1142125945 3907977397 4284823362 3339462955 629351637 3886519275 2672804930 3169975155 398029405 3141212886 7741922 1901418845 1652397049 140771281 3881659671 2566897156 2143272751 3248295191 275713267 1291227995 1810666549 3814818974 111118500 65549346 2888812012 639741962 1274851503 1141881759 1381484554 2866017610 2904101088 449807198 2553430169 158846283 1425692756 1933228763 3800115179 4117134105 4132378212 594630850 1942960345 2543990048 2719339232 1304873652 3508377653 2088958222 102917350 625026992 3257923945 166183043 1956413942 1930665503 1068909980 823168096 3639084257 2907401617 3050185912 3251904575 3130802906 4227490992 3475400403 3184950084 3344801202 3149360556 3228230737 1264647020 2079617159 69979148 3633680966 1683645005 800922640 3091935897 3408844186 316137965 552888958 3555147224 3446365500 3642231477 711749940 4250795999 3333560698 1622217937 2020898092 4152263779 1112323723 3586599307 3313193036 2765035853 3734224624 2340840741 1630679396 2859377918 1514259579 726643700 3557656166 3076354781 1340698702 501604105 2266045631 3011594219 952738515 2431557608 2468095404 2178093150 3078094977 168933989 3218397822 3249195053 2839808044 3387178136 1395692558 173878580 121678385 2965112881 542050649 4167062546 2996575626 702355610 3721450279 3089760578 1198107014 2149597092 3701447861 4159190092 3908095784 2530423199 2600620866 2632941503 531765610 3162678803 1841356766 2024905617 3849450522 35790701 643884396 1080954312 457056444 13756282 674100130 2727413514 1667224798 3808763230 2025679998 1993932492 417762499 4089174119 3597041223 1176046080 2107905860 3114522717 3370497420 490706329 2462319307 734833996 14677566 1811565706 2008411890 1006632871 205489188 349998412 636096126 526523792 1716085424 3656522770 1330872095 416897101 2488433010 3304391140 3694026505 235778006 1689839162 984692787 2898553689 2586685355 1668520012 3884455617 2393758230 2317323848 2641072829 1334072906 2000510094 1825979415 4059423077 3616124877 3614396492 926155563 2569376661 2360884398 579869200 3758047909 255 362436" option to reproduce the execution
0.09/0.11	c #vars 4128
0.09/0.11	c #constraints 8704
0.18/0.26	c Solving starts ...
0.18/0.26	c ============================[ Search Statistics ]============================
0.18/0.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.18/0.26	c       |         |          |          |    Limit     GC | Var      | Constra 
0.18/0.26	c =============================================================================
0.18/0.26	c  0.0s |       0 |        0 |        0 |     4234      0 |      754 |        0
0.29/0.34	c  0.1s |       1 |      460 |      100 |     4234      0 |      755 |      620
0.39/0.42	c  0.2s |       2 |     2399 |      250 |     4658      0 |      755 |      620
0.49/0.59	c  0.3s |       3 |     4949 |      475 |     5124      0 |      756 |      620
0.78/0.83	c  0.6s |       4 |     7077 |      813 |     5637      0 |      756 |      620
1.19/1.29	c  1.0s |       5 |    10626 |     1320 |     6201      0 |      756 |      620
1.89/1.91	c  1.7s |       6 |    13565 |     2081 |     7505      0 |      756 |      620
3.08/3.16	c  2.9s |       7 |    16701 |     3223 |     8256      0 |      756 |      620
4.68/4.70	c  4.4s |       8 |    22278 |     4936 |     9082      0 |      756 |      620
6.69/6.79	c  6.5s |       8 |    26940 |     7036 |     9082      0 |      756 |      620
7.38/7.44	c  7.2s |       9 |    27470 |     7506 |     9991      0 |      756 |      620
9.38/9.48	c  9.2s |       9 |    36918 |    10106 |     9991      0 |      756 |      620
10.78/10.80	c 10.5s |      10 |    39380 |    11361 |    10991      0 |      756 |      620
12.78/12.86	c 12.6s |      10 |    44216 |    13361 |    10991      0 |      756 |      620
14.88/14.92	c 14.7s |      10 |    46050 |    14961 |    10991      1 |      756 |      620
16.88/16.97	c 16.7s |      10 |    49445 |    17061 |    12091      1 |      756 |      620
16.98/17.09	c 16.8s |      11 |    49538 |    17144 |    12091      1 |      756 |      620
19.08/19.11	c 18.9s |      11 |    56426 |    19044 |    12091      1 |      756 |      620
21.27/21.36	c 21.1s |      11 |    58119 |    20344 |    12091      1 |      756 |      620
23.37/23.44	c 23.2s |      11 |    59535 |    21444 |    12091      1 |      756 |      620
25.48/25.52	c 25.3s |      11 |    61611 |    22644 |    12091      2 |      756 |      620
27.49/27.58	c 27.3s |      11 |    63902 |    24044 |    12091      2 |      756 |      620
29.58/29.68	c 29.4s |      11 |    65621 |    25344 |    12091      2 |      756 |      620
30.38/30.47	c 30.2s |      12 |    66234 |    25819 |    13301      2 |      756 |      620
32.48/32.59	c 32.3s |      12 |    75166 |    28119 |    13301      2 |      756 |      620
34.58/34.69	c 34.4s |      12 |    77252 |    29619 |    13301      2 |      756 |      620
36.78/36.83	c 36.6s |      12 |    78525 |    30719 |    13301      2 |      756 |      620
38.78/38.87	c 38.6s |      12 |    79462 |    31519 |    13301      3 |      756 |      620
40.98/41.06	c 40.8s |      12 |    80700 |    32619 |    13301      3 |      756 |      620
43.18/43.21	c 43.0s |      12 |    82215 |    33819 |    13301      3 |      756 |      620
45.18/45.26	c 45.0s |      12 |    83463 |    34819 |    13301      3 |      756 |      620
47.38/47.45	c 47.2s |      12 |    84874 |    35919 |    13301      3 |      756 |      620
49.48/49.51	c 49.3s |      12 |    85892 |    36819 |    13301      3 |      756 |      620
51.57/51.70	c 51.4s |      12 |    86812 |    37619 |    13301      3 |      756 |      620
53.77/53.86	c 53.6s |      12 |    87754 |    38419 |    13301      3 |      756 |      620
54.47/54.51	c 54.3s |      13 |    88363 |    38832 |    14632      3 |      756 |      620
56.57/56.60	c 56.3s |      13 |    91332 |    40332 |    14632      4 |      756 |      620
58.57/58.67	c 58.4s |      13 |    93247 |    41932 |    14632      4 |      756 |      620
60.58/60.67	c 60.4s |      13 |    94763 |    43232 |    14632      4 |      756 |      620
62.68/62.80	c 62.5s |      13 |    95844 |    44232 |    14632      4 |      756 |      620
64.88/65.00	c 64.7s |      13 |    96821 |    45132 |    14632      4 |      756 |      620
67.08/67.18	c 66.9s |      13 |    98107 |    46232 |    14632      4 |      756 |      620
69.47/69.53	c 69.3s |      13 |   100056 |    47332 |    14632      5 |      756 |      620
71.48/71.59	c 71.3s |      13 |   102281 |    48732 |    14632      5 |      756 |      620
73.57/73.61	c 73.3s |      13 |   104013 |    50032 |    14632      5 |      756 |      620
75.57/75.65	c 75.4s |      13 |   105223 |    51032 |    14632      5 |      756 |      620
77.67/77.72	c 77.5s |      13 |   106210 |    51932 |    14632      5 |      756 |      620
79.67/79.75	c 79.5s |      13 |   107326 |    52832 |    14632      5 |      756 |      620
81.77/81.81	c 81.6s |      13 |   108428 |    53732 |    14632      5 |      756 |      620
83.87/83.94	c 83.7s |      13 |   109325 |    54532 |    14632      5 |      756 |      620
85.97/86.02	c 85.8s |      13 |   110231 |    55332 |    14632      5 |      756 |      620
87.97/88.05	c 87.8s |      13 |   111028 |    56032 |    14632      5 |      756 |      620
90.07/90.14	c 89.9s |      13 |   111827 |    56732 |    14632      5 |      756 |      620
92.27/92.37	c 92.1s |      13 |   112619 |    57432 |    14632      6 |      756 |      620
94.36/94.43	c 94.2s |      13 |   113551 |    58232 |    16096      6 |      756 |      620
94.76/94.80	c 94.5s |      14 |   113673 |    58352 |    16096      6 |      756 |      620
96.78/96.83	c 96.6s |      14 |   125655 |    60852 |    16096      6 |      756 |      620
98.87/98.96	c 98.7s |      14 |   132144 |    63252 |    16096      6 |      756 |      620
100.97/101.04	c  100s |      14 |   138342 |    65552 |    16096      6 |      756 |      620
103.07/103.13	c  102s |      14 |   140125 |    67052 |    16096      6 |      756 |      620
105.17/105.24	c  104s |      14 |   141232 |    68052 |    16096      7 |      756 |      620
107.17/107.28	c  107s |      14 |   142458 |    69152 |    16096      7 |      756 |      620
109.27/109.33	c  109s |      14 |   143557 |    70152 |    16096      7 |      756 |      620
111.47/111.55	c  111s |      14 |   144702 |    71152 |    16096      7 |      756 |      620
113.57/113.62	c  113s |      14 |   145736 |    72052 |    16096      7 |      756 |      620
115.77/115.80	c  115s |      14 |   147299 |    73152 |    16096      7 |      756 |      620
117.86/117.99	c  117s |      14 |   148708 |    74252 |    16096      7 |      756 |      620
120.16/120.25	c  119s |      14 |   149840 |    75152 |    16096      7 |      756 |      620
122.26/122.35	c  122s |      14 |   150983 |    76052 |    16096      7 |      756 |      620
124.37/124.44	c  124s |      14 |   151976 |    76852 |    16096      7 |      756 |      620
126.36/126.48	c  126s |      14 |   152939 |    77652 |    16096      8 |      756 |      620
128.67/128.72	c  128s |      14 |   154144 |    78652 |    16096      8 |      756 |      620
130.66/130.76	c  130s |      14 |   154983 |    79352 |    16096      8 |      756 |      620
132.96/133.00	c  132s |      14 |   155963 |    80152 |    16096      8 |      756 |      620
134.96/135.06	c  134s |      14 |   156904 |    80952 |    16096      8 |      756 |      620
137.26/137.33	c  137s |      14 |   157858 |    81752 |    16096      8 |      756 |      620
139.36/139.43	c  139s |      14 |   158821 |    82552 |    16096      8 |      756 |      620
141.56/141.63	c  141s |      14 |   159953 |    83452 |    16096      8 |      756 |      620
143.66/143.76	c  143s |      14 |   160980 |    84252 |    16096      8 |      756 |      620
145.75/145.89	c  145s |      14 |   161975 |    85052 |    16096      8 |      756 |      620
147.86/147.98	c  147s |      14 |   162768 |    85752 |    16096      8 |      756 |      620
150.06/150.17	c  149s |      14 |   163612 |    86452 |    16096      8 |      756 |      620
152.16/152.29	c  152s |      14 |   164274 |    87052 |    17706      9 |      756 |      620
153.66/153.76	c  153s |      15 |   164973 |    87632 |    17706      9 |      756 |      620
155.66/155.78	c  155s |      15 |   168431 |    89332 |    17706      9 |      756 |      620
157.76/157.80	c  157s |      15 |   171217 |    91132 |    17706      9 |      756 |      620
159.76/159.83	c  159s |      15 |   173507 |    92732 |    17706      9 |      756 |      620
161.76/161.86	c  161s |      15 |   175591 |    94232 |    17706      9 |      756 |      620
163.86/163.94	c  163s |      15 |   176798 |    95332 |    17706      9 |      756 |      620
165.96/166.05	c  165s |      15 |   178004 |    96432 |    17706      9 |      756 |      620
168.06/168.18	c  167s |      15 |   179831 |    97632 |    17706      9 |      756 |      620
170.16/170.28	c  170s |      15 |   182253 |    98832 |    17706     10 |      756 |      620
172.26/172.39	c  172s |      15 |   184605 |   100332 |    17706     10 |      756 |      620
174.36/174.42	c  174s |      15 |   186710 |   101732 |    17706     10 |      756 |      620
176.46/176.55	c  176s |      15 |   188347 |   103032 |    17706     10 |      756 |      620
178.45/178.59	c  178s |      15 |   190634 |   104332 |    17706     10 |      756 |      620
180.65/180.75	c  180s |      15 |   192205 |   105732 |    17706     10 |      756 |      620
182.75/182.88	c  182s |      15 |   193576 |   107032 |    17706     10 |      756 |      620
184.86/184.94	c  184s |      15 |   194637 |   108032 |    17706     10 |      756 |      620
186.96/187.05	c  186s |      15 |   196532 |   109332 |    17706     11 |      756 |      620
189.05/189.15	c  188s |      15 |   198150 |   110632 |    17706     11 |      756 |      620
191.05/191.16	c  190s |      15 |   199940 |   112032 |    17706     11 |      756 |      620
193.15/193.26	c  193s |      15 |   201458 |   113232 |    17706     11 |      756 |      620
195.25/195.36	c  195s |      15 |   203229 |   114532 |    17706     11 |      756 |      620
197.35/197.46	c  197s |      15 |   204568 |   115632 |    17706     11 |      756 |      620
199.55/199.62	c  199s |      15 |   205823 |   116632 |    17706     11 |      756 |      620
201.65/201.75	c  201s |      15 |   207106 |   117632 |    17706     11 |      756 |      620
203.75/203.81	c  203s |      15 |   208377 |   118632 |    17706     11 |      756 |      620
205.75/205.81	c  205s |      15 |   210262 |   119632 |    17706     12 |      756 |      620
207.85/207.92	c  207s |      15 |   212057 |   120932 |    17706     12 |      756 |      620
209.95/210.02	c  209s |      15 |   214276 |   122232 |    17706     12 |      756 |      620
211.95/212.06	c  211s |      15 |   216421 |   123732 |    17706     12 |      756 |      620
213.95/214.09	c  213s |      15 |   219624 |   125132 |    17706     12 |      756 |      620
216.04/216.13	c  215s |      15 |   225024 |   127032 |    17706     12 |      756 |      620
218.24/218.35	c  218s |      15 |   226424 |   128132 |    17706     12 |      756 |      620
220.44/220.54	c  220s |      15 |   227781 |   129132 |    17706     12 |      756 |      620
222.54/222.64	c  222s |      15 |   228872 |   129932 |    17706     13 |      756 |      620
224.64/224.75	c  224s |      15 |   229799 |   130732 |    19477     13 |      756 |      620
226.84/226.99	c  226s |      15 |   230626 |   131432 |    19477     13 |      756 |      620
227.35/227.42	c  227s |      16 |   230748 |   131552 |    19477     13 |      756 |      620
229.35/229.45	c  229s |      16 |   235948 |   133452 |    19477     13 |      756 |      620
231.45/231.51	c  231s |      16 |   237433 |   134852 |    19477     13 |      756 |      620
233.45/233.55	c  233s |      16 |   245740 |   137052 |    19477     13 |      756 |      620
235.54/235.63	c  235s |      16 |   252691 |   139152 |    19477     13 |      756 |      620
237.65/237.71	c  237s |      16 |   262268 |   141452 |    19477     14 |      756 |      620
239.64/239.74	c  239s |      16 |   269575 |   143452 |    19477     14 |      756 |      620
241.84/241.91	c  241s |      16 |   271264 |   144752 |    19477     14 |      756 |      620
243.84/243.91	c  243s |      16 |   273577 |   146152 |    19477     14 |      756 |      620
245.84/245.92	c  245s |      16 |   275644 |   147452 |    19477     14 |      756 |      620
247.84/247.97	c  247s |      16 |   277063 |   148552 |    19477     14 |      756 |      620
250.04/250.16	c  249s |      16 |   278101 |   149452 |    19477     14 |      756 |      620
252.14/252.25	c  251s |      16 |   279142 |   150352 |    19477     14 |      756 |      620
254.14/254.27	c  254s |      16 |   280207 |   151252 |    19477     14 |      756 |      620
256.34/256.43	c  256s |      16 |   281466 |   152252 |    19477     14 |      756 |      620
258.34/258.48	c  258s |      16 |   282748 |   153252 |    19477     15 |      756 |      620
260.54/260.61	c  260s |      16 |   283948 |   154252 |    19477     15 |      756 |      620
262.64/262.75	c  262s |      16 |   285013 |   155152 |    19477     15 |      756 |      620
264.74/264.86	c  264s |      16 |   286600 |   156152 |    19477     15 |      756 |      620
266.84/267.00	c  266s |      16 |   288017 |   157152 |    19477     15 |      756 |      620
269.04/269.12	c  268s |      16 |   289231 |   158052 |    19477     15 |      756 |      620
271.23/271.37	c  271s |      16 |   290321 |   158952 |    19477     15 |      756 |      620
273.53/273.66	c  273s |      16 |   291255 |   159752 |    19477     15 |      756 |      620
275.63/275.74	c  275s |      16 |   292138 |   160452 |    19477     15 |      756 |      620
277.83/277.91	c  277s |      16 |   293312 |   161352 |    19477     15 |      756 |      620
279.83/279.93	c  279s |      16 |   294203 |   162152 |    19477     15 |      756 |      620
281.93/282.01	c  281s |      16 |   295028 |   162852 |    19477     15 |      756 |      620
283.93/284.04	c  283s |      16 |   295923 |   163552 |    19477     15 |      756 |      620
286.04/286.18	c  285s |      16 |   296791 |   164252 |    19477     16 |      756 |      620
288.04/288.19	c  287s |      16 |   298338 |   165252 |    19477     16 |      756 |      620
290.14/290.26	c  289s |      16 |   300269 |   166352 |    19477     16 |      756 |      620
292.24/292.30	c  292s |      16 |   301704 |   167452 |    19477     16 |      756 |      620
294.44/294.50	c  294s |      16 |   302900 |   168452 |    19477     16 |      756 |      620
296.44/296.58	c  296s |      16 |   303811 |   169252 |    19477     16 |      756 |      620
298.44/298.58	c  298s |      16 |   304564 |   169952 |    19477     16 |      756 |      620
300.64/300.79	c  300s |      16 |   305774 |   170952 |    19477     16 |      756 |      620
302.74/302.80	c  302s |      16 |   306570 |   171652 |    19477     16 |      756 |      620
304.84/304.93	c  304s |      16 |   308004 |   172652 |    19477     16 |      756 |      620
306.94/307.08	c  306s |      16 |   309164 |   173552 |    19477     16 |      756 |      620
309.24/309.37	c  309s |      16 |   310106 |   174352 |    19477     16 |      756 |      620
311.34/311.45	c  311s |      16 |   310847 |   174952 |    19477     17 |      756 |      620
313.54/313.61	c  313s |      16 |   311655 |   175652 |    19477     17 |      756 |      620
315.54/315.67	c  315s |      16 |   312469 |   176352 |    19477     17 |      756 |      620
317.53/317.68	c  317s |      16 |   313395 |   177152 |    19477     17 |      756 |      620
319.73/319.85	c  319s |      16 |   314331 |   177952 |    19477     17 |      756 |      620
321.93/322.02	c  321s |      16 |   315268 |   178752 |    19477     17 |      756 |      620
324.03/324.18	c  323s |      16 |   316209 |   179552 |    19477     17 |      756 |      620
326.13/326.24	c  325s |      16 |   317031 |   180252 |    19477     17 |      756 |      620
328.23/328.31	c  328s |      16 |   317723 |   180852 |    19477     17 |      756 |      620
330.23/330.38	c  330s |      16 |   318549 |   181552 |    19477     17 |      756 |      620
332.43/332.50	c  332s |      16 |   319985 |   182552 |    19477     17 |      756 |      620
334.53/334.66	c  334s |      16 |   321433 |   183552 |    19477     17 |      756 |      620
336.64/336.73	c  336s |      16 |   322508 |   184352 |    19477     17 |      756 |      620
338.63/338.76	c  338s |      16 |   323381 |   185052 |    19477     17 |      756 |      620
340.94/341.04	c  340s |      16 |   324369 |   185852 |    19477     17 |      756 |      620
343.03/343.20	c  342s |      16 |   325243 |   186552 |    19477     18 |      756 |      620
345.23/345.34	c  345s |      16 |   326416 |   187452 |    19477     18 |      756 |      620
347.33/347.42	c  347s |      16 |   327556 |   188352 |    19477     18 |      756 |      620
349.33/349.46	c  349s |      16 |   328559 |   189152 |    19477     18 |      756 |      620
351.53/351.61	c  351s |      16 |   329761 |   190052 |    19477     18 |      756 |      620
353.63/353.70	c  353s |      16 |   330591 |   190752 |    19477     18 |      756 |      620
355.83/355.98	c  355s |      16 |   331413 |   191452 |    19477     18 |      756 |      620
358.03/358.12	c  357s |      16 |   332259 |   192152 |    19477     18 |      756 |      620
360.12/360.30	c  360s |      16 |   333273 |   192952 |    19477     18 |      756 |      620
362.32/362.44	c  362s |      16 |   334117 |   193652 |    19477     18 |      756 |      620
364.42/364.53	c  364s |      16 |   334980 |   194352 |    19477     18 |      756 |      620
366.42/366.55	c  366s |      16 |   335680 |   194952 |    19477     18 |      756 |      620
368.53/368.64	c  368s |      16 |   336365 |   195552 |    19477     18 |      756 |      620
370.63/370.76	c  370s |      16 |   337369 |   196252 |    21425     18 |      756 |      620
372.62/372.79	c  372s |      16 |   338563 |   197152 |    21425     18 |      756 |      620
373.42/373.56	c  373s |      17 |   338904 |   197432 |    21425     18 |      756 |      620
375.42/375.56	c  375s |      17 |   344591 |   199232 |    21425     19 |      756 |      620
377.52/377.66	c  377s |      17 |   347008 |   200932 |    21425     19 |      756 |      620
379.62/379.74	c  379s |      17 |   348871 |   202132 |    21425     19 |      756 |      620
381.63/381.80	c  381s |      17 |   350452 |   203332 |    21425     19 |      756 |      620
383.72/383.90	c  383s |      17 |   351576 |   204332 |    21425     19 |      756 |      620
385.82/385.92	c  385s |      17 |   352780 |   205332 |    21425     19 |      756 |      620
387.92/388.06	c  387s |      17 |   354110 |   206432 |    21425     19 |      756 |      620
390.12/390.22	c  389s |      17 |   355358 |   207432 |    21425     19 |      756 |      620
392.22/392.39	c  392s |      17 |   356473 |   208332 |    21425     19 |      756 |      620
394.32/394.47	c  394s |      17 |   357342 |   209032 |    21425     19 |      756 |      620
396.41/396.53	c  396s |      17 |   358329 |   209832 |    21425     19 |      756 |      620
398.51/398.67	c  398s |      17 |   359163 |   210532 |    21425     19 |      756 |      620
400.71/400.82	c  400s |      17 |   359873 |   211132 |    21425     20 |      756 |      620
402.72/402.87	c  402s |      17 |   360579 |   211732 |    21425     20 |      756 |      620
405.02/405.12	c  404s |      17 |   361361 |   212432 |    21425     20 |      756 |      620
407.22/407.32	c  407s |      17 |   361911 |   212932 |    21425     20 |      756 |      620
409.23/409.39	c  409s |      17 |   362468 |   213432 |    21425     20 |      756 |      620
411.42/411.55	c  411s |      17 |   363151 |   214032 |    21425     20 |      756 |      620
413.52/413.65	c  413s |      17 |   363861 |   214632 |    21425     20 |      756 |      620
415.72/415.83	c  415s |      17 |   364594 |   215232 |    21425     20 |      756 |      620
418.02/418.15	c  417s |      17 |   365160 |   215732 |    21425     20 |      756 |      620
420.12/420.21	c  419s |      17 |   365725 |   216232 |    21425     20 |      756 |      620
422.32/422.44	c  422s |      17 |   366298 |   216732 |    21425     20 |      756 |      620
424.71/424.80	c  424s |      17 |   366847 |   217232 |    21425     20 |      756 |      620
426.72/426.88	c  426s |      17 |   367432 |   217732 |    21425     20 |      756 |      620
429.11/429.28	c  429s |      17 |   368094 |   218332 |    21425     20 |      756 |      620
431.22/431.33	c  431s |      17 |   368638 |   218832 |    21425     20 |      756 |      620
433.42/433.54	c  433s |      17 |   369328 |   219432 |    21425     20 |      756 |      620
435.41/435.60	c  435s |      17 |   370313 |   219932 |    21425     20 |      756 |      620
437.51/437.61	c  437s |      17 |   373119 |   221232 |    21425     20 |      756 |      620
439.92/440.06	c  439s |      17 |   376176 |   222732 |    21425     21 |      756 |      620
442.01/442.13	c  441s |      17 |   378325 |   224032 |    21425     21 |      756 |      620
444.01/444.15	c  443s |      17 |   380764 |   225432 |    21425     21 |      756 |      620
446.01/446.18	c  445s |      17 |   381998 |   226432 |    21425     21 |      756 |      620
448.20/448.31	c  448s |      17 |   383248 |   227432 |    21425     21 |      756 |      620
450.30/450.40	c  450s |      17 |   384455 |   228432 |    21425     21 |      756 |      620
452.30/452.44	c  452s |      17 |   387239 |   229632 |    21425     21 |      756 |      620
454.31/454.44	c  454s |      17 |   388734 |   230932 |    21425     21 |      756 |      620
456.41/456.50	c  456s |      17 |   390192 |   232132 |    21425     21 |      756 |      620
458.40/458.58	c  458s |      17 |   391519 |   233232 |    21425     21 |      756 |      620
460.50/460.60	c  460s |      17 |   392674 |   234232 |    21425     21 |      756 |      620
463.02/463.17	c  462s |      17 |   393881 |   235232 |    21425     22 |      756 |      620
465.22/465.32	c  465s |      17 |   395220 |   236332 |    21425     22 |      756 |      620
467.42/467.52	c  467s |      17 |   396454 |   237332 |    21425     22 |      756 |      620
469.62/469.71	c  469s |      17 |   397654 |   238332 |    21425     22 |      756 |      620
471.61/471.73	c  471s |      17 |   399421 |   239532 |    21425     22 |      756 |      620
473.81/473.91	c  473s |      17 |   402778 |   241132 |    21425     22 |      756 |      620
475.91/476.06	c  475s |      17 |   404341 |   242232 |    21425     22 |      756 |      620
478.11/478.27	c  478s |      17 |   405890 |   243332 |    21425     22 |      756 |      620
480.21/480.31	c  480s |      17 |   406910 |   244132 |    21425     22 |      756 |      620
482.30/482.48	c  482s |      17 |   407890 |   244932 |    21425     22 |      756 |      620
484.50/484.65	c  484s |      17 |   409550 |   246032 |    21425     22 |      756 |      620
486.50/486.68	c  486s |      17 |   410950 |   246932 |    21425     22 |      756 |      620
488.60/488.79	c  488s |      17 |   411786 |   247632 |    21425     23 |      756 |      620
490.80/490.98	c  490s |      17 |   412948 |   248532 |    21425     23 |      756 |      620
493.00/493.16	c  492s |      17 |   414539 |   249632 |    21425     23 |      756 |      620
495.20/495.32	c  495s |      17 |   416893 |   250932 |    21425     23 |      756 |      620
497.20/497.35	c  497s |      17 |   418361 |   251932 |    21425     23 |      756 |      620
499.30/499.49	c  499s |      17 |   419514 |   252932 |    21425     23 |      756 |      620
501.50/501.69	c  501s |      17 |   420856 |   253932 |    21425     23 |      756 |      620
503.70/503.83	c  503s |      17 |   422102 |   254932 |    21425     23 |      756 |      620
506.00/506.11	c  505s |      17 |   423213 |   255832 |    21425     23 |      756 |      620
508.20/508.33	c  508s |      17 |   424045 |   256532 |    21425     23 |      756 |      620
510.19/510.35	c  510s |      17 |   424927 |   257232 |    21425     23 |      756 |      620
512.29/512.45	c  512s |      17 |   425963 |   258032 |    21425     23 |      756 |      620
514.39/514.55	c  514s |      17 |   426729 |   258732 |    21425     23 |      756 |      620
516.79/516.92	c  516s |      17 |   428527 |   259632 |    21425     24 |      756 |      620
518.90/519.06	c  518s |      17 |   430091 |   260732 |    21425     24 |      756 |      620
521.10/521.24	c  520s |      17 |   431628 |   261832 |    21425     24 |      756 |      620
523.20/523.35	c  523s |      17 |   432836 |   262732 |    21425     24 |      756 |      620
525.40/525.53	c  525s |      17 |   434031 |   263632 |    21425     24 |      756 |      620
527.40/527.57	c  527s |      17 |   435037 |   264332 |    21425     24 |      756 |      620
529.60/529.71	c  529s |      17 |   436242 |   265232 |    21425     24 |      756 |      620
531.60/531.73	c  531s |      17 |   437321 |   266032 |    21425     24 |      756 |      620
533.90/534.00	c  533s |      17 |   438380 |   266832 |    21425     24 |      756 |      620
536.00/536.10	c  535s |      17 |   439450 |   267632 |    21425     24 |      756 |      620
538.20/538.37	c  538s |      17 |   440483 |   268432 |    21425     24 |      756 |      620
540.40/540.53	c  540s |      17 |   441387 |   269132 |    21425     24 |      756 |      620
542.50/542.67	c  542s |      17 |   442273 |   269832 |    21425     24 |      756 |      620
544.69/544.89	c  544s |      17 |   442996 |   270432 |    21425     24 |      756 |      620
546.89/547.02	c  546s |      17 |   443718 |   271032 |    21425     24 |      756 |      620
549.09/549.23	c  548s |      17 |   444532 |   271732 |    21425     24 |      756 |      620
551.39/551.50	c  551s |      17 |   445094 |   272232 |    21425     25 |      756 |      620
553.39/553.53	c  553s |      17 |   445836 |   272832 |    21425     25 |      756 |      620
555.59/555.76	c  555s |      17 |   446759 |   273632 |    21425     25 |      756 |      620
557.70/557.87	c  557s |      17 |   447646 |   274332 |    21425     25 |      756 |      620
559.90/560.01	c  559s |      17 |   449412 |   275432 |    21425     25 |      756 |      620
561.89/562.07	c  561s |      17 |   451285 |   276632 |    21425     25 |      756 |      620
563.99/564.13	c  563s |      17 |   453022 |   277732 |    21425     25 |      756 |      620
565.99/566.16	c  565s |      17 |   453914 |   278332 |    21425     25 |      756 |      620
568.19/568.36	c  568s |      17 |   455269 |   279232 |    21425     25 |      756 |      620
570.49/570.60	c  570s |      17 |   456456 |   280132 |    21425     25 |      756 |      620
572.49/572.68	c  572s |      17 |   457421 |   280932 |    21425     25 |      756 |      620
574.68/574.83	c  574s |      17 |   458358 |   281732 |    21425     25 |      756 |      620
576.88/577.07	c  576s |      17 |   459335 |   282532 |    21425     25 |      756 |      620
579.08/579.26	c  579s |      17 |   460326 |   283332 |    21425     25 |      756 |      620
581.28/581.49	c  581s |      17 |   461160 |   284032 |    21425     25 |      756 |      620
583.39/583.59	c  583s |      17 |   461748 |   284532 |    21425     26 |      756 |      620
585.59/585.78	c  585s |      17 |   462904 |   285432 |    21425     26 |      756 |      620
587.89/588.09	c  587s |      17 |   464059 |   286332 |    21425     26 |      756 |      620
590.09/590.29	c  590s |      17 |   464955 |   287032 |    21425     26 |      756 |      620
592.29/592.47	c  592s |      17 |   465798 |   287732 |    21425     26 |      756 |      620
594.39/594.50	c  594s |      17 |   466666 |   288432 |    21425     26 |      756 |      620
596.59/596.73	c  596s |      17 |   467496 |   289132 |    21425     26 |      756 |      620
598.79/598.98	c  598s |      17 |   468270 |   289832 |    21425     26 |      756 |      620
600.89/601.06	c  600s |      17 |   468966 |   290432 |    21425     26 |      756 |      620
603.19/603.39	c  603s |      17 |   469623 |   291032 |    21425     26 |      756 |      620
605.49/605.61	c  605s |      17 |   470433 |   291732 |    21425     26 |      756 |      620
607.69/607.86	c  607s |      17 |   471224 |   292432 |    21425     26 |      756 |      620
609.88/610.09	c  609s |      17 |   472165 |   293132 |    21425     26 |      756 |      620
612.08/612.24	c  611s |      17 |   472804 |   293632 |    21425     26 |      756 |      620
614.08/614.26	c  614s |      17 |   473557 |   294232 |    23568     26 |      756 |      620
616.28/616.40	c  616s |      17 |   474360 |   294932 |    23568     26 |      756 |      620
618.48/618.60	c  618s |      17 |   475084 |   295532 |    23568     26 |      756 |      620
620.78/620.93	c  620s |      17 |   475765 |   296132 |    23568     26 |      756 |      620
621.28/621.48	c  621s |      18 |   475907 |   296252 |    23568     26 |      756 |      620
623.38/623.57	c  623s |      18 |   481597 |   297552 |    23568     27 |      756 |      620
625.48/625.63	c  625s |      18 |   483273 |   298852 |    23568     27 |      756 |      620
627.58/627.78	c  627s |      18 |   484456 |   299852 |    23568     27 |      756 |      620
629.68/629.89	c  629s |      18 |   485537 |   300752 |    23568     27 |      756 |      620
631.78/631.98	c  631s |      18 |   489080 |   302252 |    23568     27 |      756 |      620
633.88/634.07	c  633s |      18 |   492034 |   303952 |    23568     27 |      756 |      620
635.98/636.14	c  635s |      18 |   493527 |   305152 |    23568     27 |      756 |      620
637.99/638.16	c  637s |      18 |   494793 |   306152 |    23568     27 |      756 |      620
640.19/640.35	c  640s |      18 |   495994 |   307152 |    23568     27 |      756 |      620
642.29/642.42	c  642s |      18 |   497066 |   308052 |    23568     27 |      756 |      620
644.28/644.46	c  644s |      18 |   498011 |   308852 |    23568     27 |      756 |      620
646.48/646.64	c  646s |      18 |   498781 |   309552 |    23568     27 |      756 |      620
648.48/648.68	c  648s |      18 |   499713 |   310352 |    23568     27 |      756 |      620
650.68/650.81	c  650s |      18 |   500654 |   311052 |    23568     28 |      756 |      620
652.88/653.02	c  652s |      18 |   501780 |   311952 |    23568     28 |      756 |      620
655.08/655.21	c  654s |      18 |   502882 |   312852 |    23568     28 |      756 |      620
657.18/657.37	c  657s |      18 |   503722 |   313552 |    23568     28 |      756 |      620
659.37/659.52	c  659s |      18 |   504551 |   314252 |    23568     28 |      756 |      620
661.47/661.65	c  661s |      18 |   505219 |   314852 |    23568     28 |      756 |      620
663.77/663.91	c  663s |      18 |   506018 |   315552 |    23568     28 |      756 |      620
666.07/666.23	c  665s |      18 |   506822 |   316252 |    23568     28 |      756 |      620
668.17/668.34	c  668s |      18 |   507638 |   316952 |    23568     28 |      756 |      620
670.37/670.59	c  670s |      18 |   508437 |   317652 |    23568     28 |      756 |      620
672.67/672.85	c  672s |      18 |   509252 |   318352 |    23568     28 |      756 |      620
674.87/675.01	c  674s |      18 |   510146 |   319052 |    23568     28 |      756 |      620
676.97/677.15	c  676s |      18 |   511087 |   319752 |    23568     28 |      756 |      620
679.07/679.20	c  678s |      18 |   511798 |   320352 |    23568     28 |      756 |      620
681.37/681.52	c  681s |      18 |   512603 |   321052 |    23568     28 |      756 |      620
683.67/683.80	c  683s |      18 |   514054 |   321952 |    23568     28 |      756 |      620
685.67/685.89	c  685s |      18 |   515171 |   322752 |    23568     28 |      756 |      620
687.87/688.04	c  687s |      18 |   516270 |   323552 |    23568     28 |      756 |      620
689.98/690.13	c  689s |      18 |   517000 |   324152 |    23568     29 |      756 |      620
692.07/692.20	c  691s |      18 |   518122 |   325052 |    23568     29 |      756 |      620
694.17/694.30	c  694s |      18 |   519452 |   326052 |    23568     29 |      756 |      620
696.37/696.54	c  696s |      18 |   520557 |   326952 |    23568     29 |      756 |      620
698.57/698.76	c  698s |      18 |   521659 |   327852 |    23568     29 |      756 |      620
700.68/700.81	c  700s |      18 |   522933 |   328752 |    23568     29 |      756 |      620
702.78/702.96	c  702s |      18 |   524160 |   329652 |    23568     29 |      756 |      620
704.87/705.06	c  704s |      18 |   525017 |   330352 |    23568     29 |      756 |      620
707.28/707.47	c  707s |      18 |   525848 |   331052 |    23568     29 |      756 |      620
709.57/709.76	c  709s |      18 |   526661 |   331752 |    23568     29 |      756 |      620
711.58/711.77	c  711s |      18 |   527499 |   332452 |    23568     29 |      756 |      620
713.57/713.78	c  713s |      18 |   528186 |   333052 |    23568     29 |      756 |      620
715.97/716.15	c  715s |      18 |   528872 |   333652 |    23568     29 |      756 |      620
718.17/718.39	c  718s |      18 |   529558 |   334252 |    23568     29 |      756 |      620
720.37/720.56	c  720s |      18 |   530128 |   334752 |    23568     29 |      756 |      620
722.46/722.61	c  722s |      18 |   530711 |   335252 |    23568     29 |      756 |      620
724.56/724.79	c  724s |      18 |   531416 |   335852 |    23568     29 |      756 |      620
726.66/726.88	c  726s |      18 |   532117 |   336452 |    23568     29 |      756 |      620
728.96/729.13	c  728s |      18 |   532789 |   337052 |    23568     29 |      756 |      620
731.26/731.41	c  731s |      18 |   533354 |   337552 |    23568     30 |      756 |      620
733.46/733.63	c  733s |      18 |   534135 |   338252 |    23568     30 |      756 |      620
735.66/735.85	c  735s |      18 |   534939 |   338952 |    23568     30 |      756 |      620
737.76/737.95	c  737s |      18 |   535600 |   339552 |    23568     30 |      756 |      620
740.06/740.22	c  739s |      18 |   536507 |   340252 |    23568     30 |      756 |      620
742.36/742.53	c  742s |      18 |   537196 |   340852 |    23568     30 |      756 |      620
744.36/744.57	c  744s |      18 |   537872 |   341452 |    23568     30 |      756 |      620
746.76/746.94	c  746s |      18 |   538536 |   342052 |    23568     30 |      756 |      620
749.16/749.34	c  749s |      18 |   539211 |   342652 |    23568     30 |      756 |      620
751.26/751.41	c  751s |      18 |   539649 |   343052 |    23568     30 |      756 |      620
753.36/753.58	c  753s |      18 |   540222 |   343552 |    23568     30 |      756 |      620
755.66/755.85	c  755s |      18 |   540787 |   344052 |    23568     30 |      756 |      620
757.96/758.13	c  757s |      18 |   541341 |   344552 |    23568     30 |      756 |      620
760.06/760.23	c  759s |      18 |   541772 |   344952 |    23568     30 |      756 |      620
762.45/762.61	c  762s |      18 |   542464 |   345552 |    23568     30 |      756 |      620
764.55/764.71	c  764s |      18 |   543025 |   346052 |    23568     30 |      756 |      620
766.95/767.12	c  766s |      18 |   543598 |   346552 |    23568     30 |      756 |      620
769.05/769.23	c  768s |      18 |   544154 |   347052 |    23568     30 |      756 |      620
771.45/771.67	c  771s |      18 |   544849 |   347652 |    23568     30 |      756 |      620
773.75/773.91	c  773s |      18 |   545440 |   348152 |    23568     30 |      756 |      620
776.15/776.32	c  776s |      18 |   546142 |   348752 |    23568     30 |      756 |      620
778.14/778.38	c  778s |      18 |   546698 |   349252 |    23568     30 |      756 |      620
780.44/780.69	c  780s |      18 |   547328 |   349752 |    23568     30 |      756 |      620
782.84/783.02	c  782s |      18 |   547943 |   350252 |    23568     30 |      756 |      620
785.35/785.57	c  785s |      18 |   548395 |   350652 |    23568     31 |      756 |      620
787.54/787.76	c  787s |      18 |   549111 |   351252 |    23568     31 |      756 |      620
789.64/789.84	c  789s |      18 |   549680 |   351752 |    23568     31 |      756 |      620
791.74/791.96	c  791s |      18 |   550234 |   352252 |    23568     31 |      756 |      620
793.84/794.00	c  793s |      18 |   550816 |   352752 |    23568     31 |      756 |      620
796.14/796.35	c  796s |      18 |   551503 |   353352 |    23568     31 |      756 |      620
798.33/798.55	c  798s |      18 |   552046 |   353852 |    23568     31 |      756 |      620
800.43/800.67	c  800s |      18 |   552619 |   354352 |    23568     31 |      756 |      620
802.84/803.02	c  802s |      18 |   553179 |   354852 |    23568     31 |      756 |      620
804.94/805.20	c  804s |      18 |   553735 |   355352 |    23568     31 |      756 |      620
807.14/807.39	c  807s |      18 |   554294 |   355852 |    23568     31 |      756 |      620
809.34/809.54	c  809s |      18 |   554825 |   356352 |    23568     31 |      756 |      620
811.65/811.84	c  811s |      18 |   555491 |   356952 |    23568     31 |      756 |      620
813.74/814.00	c  813s |      18 |   556015 |   357452 |    23568     31 |      756 |      620
815.84/816.06	c  815s |      18 |   556439 |   357852 |    23568     31 |      756 |      620
818.24/818.45	c  818s |      18 |   556971 |   358352 |    23568     31 |      756 |      620
820.34/820.51	c  820s |      18 |   557381 |   358752 |    23568     31 |      756 |      620
822.74/822.91	c  822s |      18 |   557931 |   359252 |    23568     31 |      756 |      620
825.03/825.26	c  825s |      18 |   558491 |   359752 |    23568     31 |      756 |      620
827.33/827.53	c  827s |      18 |   558926 |   360152 |    23568     31 |      756 |      620
829.34/829.55	c  829s |      18 |   559389 |   360552 |    23568     31 |      756 |      620
831.83/832.04	c  831s |      18 |   559934 |   361052 |    23568     31 |      756 |      620
834.23/834.48	c  834s |      18 |   560479 |   361552 |    23568     31 |      756 |      620
836.42/836.63	c  836s |      18 |   560933 |   361952 |    23568     31 |      756 |      620
838.62/838.85	c  838s |      18 |   561477 |   362452 |    23568     31 |      756 |      620
841.02/841.22	c  840s |      18 |   562012 |   362952 |    23568     31 |      756 |      620
843.22/843.47	c  843s |      18 |   562588 |   363452 |    23568     31 |      756 |      620
845.52/845.75	c  845s |      18 |   562915 |   363752 |    23568     32 |      756 |      620
847.62/847.80	c  847s |      18 |   563466 |   364252 |    23568     32 |      756 |      620
849.72/849.94	c  849s |      18 |   564008 |   364752 |    23568     32 |      756 |      620
852.12/852.33	c  852s |      18 |   564553 |   365252 |    23568     32 |      756 |      620
854.22/854.48	c  854s |      18 |   565090 |   365752 |    23568     32 |      756 |      620
856.41/856.65	c  856s |      18 |   565642 |   366252 |    23568     32 |      756 |      620
858.61/858.87	c  858s |      18 |   566178 |   366752 |    23568     32 |      756 |      620
860.91/861.14	c  860s |      18 |   566711 |   367252 |    23568     32 |      756 |      620
863.21/863.45	c  863s |      18 |   567242 |   367752 |    23568     32 |      756 |      620
865.42/865.61	c  865s |      18 |   567681 |   368152 |    23568     32 |      756 |      620
867.92/868.12	c  867s |      18 |   568231 |   368652 |    23568     32 |      756 |      620
869.92/870.20	c  869s |      18 |   568664 |   369052 |    23568     32 |      756 |      620
872.31/872.58	c  872s |      18 |   569200 |   369552 |    23568     32 |      756 |      620
874.71/874.99	c  874s |      18 |   569734 |   370052 |    23568     32 |      756 |      620
877.21/877.40	c  877s |      18 |   570272 |   370552 |    23568     32 |      756 |      620
879.21/879.43	c  879s |      18 |   570689 |   370952 |    23568     32 |      756 |      620
881.70/881.97	c  881s |      18 |   571225 |   371452 |    23568     32 |      756 |      620
883.80/884.04	c  883s |      18 |   571659 |   371852 |    23568     32 |      756 |      620
886.30/886.56	c  886s |      18 |   572189 |   372352 |    23568     32 |      756 |      620
888.50/888.78	c  888s |      18 |   572608 |   372752 |    23568     32 |      756 |      620
891.00/891.27	c  891s |      18 |   573147 |   373252 |    23568     32 |      756 |      620
893.11/893.38	c  893s |      18 |   573566 |   373652 |    23568     32 |      756 |      620
895.20/895.46	c  895s |      18 |   573990 |   374052 |    23568     32 |      756 |      620
897.60/897.82	c  897s |      18 |   574416 |   374452 |    23568     32 |      756 |      620
899.89/900.11	c  899s |      18 |   574838 |   374852 |    23568     32 |      756 |      620
902.29/902.51	c  902s |      18 |   575273 |   375252 |    23568     32 |      756 |      620
904.59/904.87	c  904s |      18 |   575838 |   375752 |    23568     32 |      756 |      620
906.89/907.17	c  906s |      18 |   576402 |   376252 |    23568     32 |      756 |      620
908.99/909.22	c  908s |      18 |   576847 |   376652 |    23568     32 |      756 |      620
911.49/911.77	c  911s |      18 |   577298 |   377052 |    23568     33 |      756 |      620
913.79/914.08	c  913s |      18 |   577968 |   377652 |    23568     33 |      756 |      620
915.89/916.18	c  915s |      18 |   578503 |   378152 |    23568     33 |      756 |      620
918.09/918.35	c  918s |      18 |   579036 |   378652 |    23568     33 |      756 |      620
920.29/920.55	c  920s |      18 |   579741 |   379252 |    23568     33 |      756 |      620
922.28/922.57	c  922s |      18 |   580465 |   379852 |    23568     33 |      756 |      620
924.68/924.97	c  924s |      18 |   581239 |   380552 |    23568     33 |      756 |      620
927.09/927.31	c  927s |      18 |   581883 |   381152 |    23568     33 |      756 |      620
929.18/929.41	c  929s |      18 |   582533 |   381752 |    23568     33 |      756 |      620
931.28/931.58	c  931s |      18 |   583067 |   382252 |    23568     33 |      756 |      620
933.70/933.91	c  933s |      18 |   583631 |   382752 |    23568     33 |      756 |      620
936.00/936.21	c  935s |      18 |   584162 |   383252 |    23568     33 |      756 |      620
937.99/938.22	c  937s |      18 |   584717 |   383752 |    23568     33 |      756 |      620
939.99/940.22	c  939s |      18 |   585291 |   384252 |    23568     33 |      756 |      620
942.09/942.38	c  942s |      18 |   585825 |   384752 |    23568     33 |      756 |      620
944.19/944.42	c  944s |      18 |   586237 |   385152 |    23568     33 |      756 |      620
946.49/946.76	c  946s |      18 |   586782 |   385652 |    23568     33 |      756 |      620
948.98/949.20	c  948s |      18 |   587324 |   386152 |    23568     33 |      756 |      620
951.29/951.51	c  951s |      18 |   587866 |   386652 |    23568     33 |      756 |      620
953.49/953.80	c  953s |      18 |   588407 |   387152 |    23568     33 |      756 |      620
955.58/955.81	c  955s |      18 |   588846 |   387552 |    23568     33 |      756 |      620
957.58/957.88	c  957s |      18 |   589784 |   388152 |    23568     33 |      756 |      620
959.78/960.06	c  959s |      18 |   590774 |   388852 |    23568     33 |      756 |      620
961.78/962.09	c  961s |      18 |   591562 |   389452 |    23568     33 |      756 |      620
963.98/964.25	c  963s |      18 |   592286 |   390052 |    23568     33 |      756 |      620
966.08/966.31	c  966s |      18 |   592772 |   390452 |    23568     34 |      756 |      620
968.17/968.45	c  968s |      18 |   593543 |   391152 |    23568     34 |      756 |      620
970.47/970.74	c  970s |      18 |   594330 |   391852 |    23568     34 |      756 |      620
972.67/972.94	c  972s |      18 |   595119 |   392552 |    23568     34 |      756 |      620
974.78/975.09	c  974s |      18 |   595898 |   393252 |    23568     34 |      756 |      620
977.08/977.38	c  977s |      18 |   596695 |   393952 |    23568     34 |      756 |      620
979.18/979.48	c  979s |      18 |   597357 |   394552 |    23568     34 |      756 |      620
981.28/981.59	c  981s |      18 |   598014 |   395152 |    23568     34 |      756 |      620
983.48/983.75	c  983s |      18 |   598669 |   395752 |    23568     34 |      756 |      620
985.78/986.09	c  985s |      18 |   599315 |   396352 |    23568     34 |      756 |      620
988.07/988.33	c  988s |      18 |   599972 |   396952 |    23568     34 |      756 |      620
990.27/990.57	c  990s |      18 |   600615 |   397552 |    23568     34 |      756 |      620
992.47/992.79	c  992s |      18 |   601152 |   398052 |    23568     34 |      756 |      620
994.77/995.08	c  994s |      18 |   601824 |   398652 |    23568     34 |      756 |      620
996.77/997.09	c  996s |      18 |   602363 |   399152 |    23568     34 |      756 |      620
999.07/999.35	c  999s |      18 |   602903 |   399652 |    23568     34 |      756 |      620
1001.36/1001.64	c 1001s |      18 |   603442 |   400152 |    23568     34 |      756 |      620
1003.66/1003.93	c 1003s |      18 |   603995 |   400652 |    23568     34 |      756 |      620
1005.86/1006.18	c 1005s |      18 |   604521 |   401152 |    23568     34 |      756 |      620
1008.26/1008.55	c 1008s |      18 |   605055 |   401652 |    23568     34 |      756 |      620
1010.46/1010.75	c 1010s |      18 |   605796 |   402252 |    23568     34 |      756 |      620
1012.45/1012.78	c 1012s |      18 |   606371 |   402752 |    23568     34 |      756 |      620
1014.76/1015.08	c 1014s |      18 |   606927 |   403252 |    23568     34 |      756 |      620
1016.86/1017.10	c 1016s |      18 |   607401 |   403652 |    23568     35 |      756 |      620
1018.86/1019.14	c 1018s |      18 |   608098 |   404252 |    23568     35 |      756 |      620
1020.86/1021.16	c 1020s |      18 |   608888 |   404952 |    23568     35 |      756 |      620
1023.06/1023.36	c 1023s |      18 |   609686 |   405652 |    23568     35 |      756 |      620
1025.36/1025.68	c 1025s |      18 |   610355 |   406252 |    23568     35 |      756 |      620
1027.45/1027.72	c 1027s |      18 |   610887 |   406752 |    23568     35 |      756 |      620
1029.75/1030.02	c 1029s |      18 |   611420 |   407252 |    23568     35 |      756 |      620
1032.15/1032.41	c 1032s |      18 |   611969 |   407752 |    23568     35 |      756 |      620
1034.25/1034.56	c 1034s |      18 |   612528 |   408252 |    23568     35 |      756 |      620
1036.45/1036.75	c 1036s |      18 |   613214 |   408852 |    23568     35 |      756 |      620
1038.65/1038.91	c 1038s |      18 |   613880 |   409452 |    23568     35 |      756 |      620
1040.84/1041.14	c 1040s |      18 |   614714 |   410152 |    23568     35 |      756 |      620
1042.94/1043.28	c 1043s |      18 |   615421 |   410752 |    23568     35 |      756 |      620
1045.44/1045.79	c 1045s |      18 |   615951 |   411252 |    23568     35 |      756 |      620
1047.94/1048.23	c 1047s |      18 |   616497 |   411752 |    23568     35 |      756 |      620
1050.04/1050.34	c 1050s |      18 |   617038 |   412252 |    23568     35 |      756 |      620
1052.23/1052.53	c 1052s |      18 |   617508 |   412652 |    23568     35 |      756 |      620
1054.33/1054.69	c 1054s |      18 |   618229 |   413252 |    23568     35 |      756 |      620
1056.33/1056.69	c 1056s |      18 |   618921 |   413852 |    23568     35 |      756 |      620
1058.53/1058.89	c 1058s |      18 |   619578 |   414452 |    23568     35 |      756 |      620
1060.83/1061.16	c 1060s |      18 |   620119 |   414952 |    23568     35 |      756 |      620
1063.23/1063.59	c 1063s |      18 |   620683 |   415452 |    23568     35 |      756 |      620
1065.53/1065.90	c 1065s |      18 |   621226 |   415952 |    23568     35 |      756 |      620
1067.93/1068.27	c 1068s |      18 |   621797 |   416452 |    23568     35 |      756 |      620
1070.52/1070.80	c 1070s |      18 |   622248 |   416852 |    23568     36 |      756 |      620
1072.62/1072.97	c 1072s |      18 |   622946 |   417452 |    23568     36 |      756 |      620
1074.72/1075.04	c 1074s |      18 |   623509 |   417952 |    23568     36 |      756 |      620
1076.92/1077.27	c 1077s |      18 |   624168 |   418552 |    23568     36 |      756 |      620
1079.22/1079.53	c 1079s |      18 |   624705 |   419052 |    23568     36 |      756 |      620
1081.21/1081.56	c 1081s |      18 |   625253 |   419552 |    23568     36 |      756 |      620
1083.61/1083.96	c 1083s |      18 |   625898 |   420152 |    23568     36 |      756 |      620
1085.91/1086.25	c 1085s |      18 |   626567 |   420752 |    23568     36 |      756 |      620
1088.11/1088.47	c 1088s |      18 |   627111 |   421252 |    23568     36 |      756 |      620
1090.32/1090.64	c 1090s |      18 |   627642 |   421752 |    23568     36 |      756 |      620
1092.61/1092.90	c 1092s |      18 |   628165 |   422252 |    23568     36 |      756 |      620
1094.81/1095.10	c 1094s |      18 |   628697 |   422752 |    23568     36 |      756 |      620
1097.01/1097.32	c 1097s |      18 |   629247 |   423252 |    23568     36 |      756 |      620
1099.21/1099.54	c 1099s |      18 |   629786 |   423752 |    23568     36 |      756 |      620
1101.50/1101.88	c 1101s |      18 |   630329 |   424252 |    23568     36 |      756 |      620
1103.90/1104.25	c 1103s |      18 |   630854 |   424752 |    23568     36 |      756 |      620
1106.20/1106.52	c 1106s |      18 |   631424 |   425252 |    23568     36 |      756 |      620
1108.40/1108.77	c 1108s |      18 |   631997 |   425752 |    23568     36 |      756 |      620
1110.71/1111.04	c 1110s |      18 |   632564 |   426252 |    23568     36 |      756 |      620
1113.00/1113.39	c 1113s |      18 |   633104 |   426752 |    23568     36 |      756 |      620
1115.50/1115.84	c 1115s |      18 |   633661 |   427252 |    23568     36 |      756 |      620
1117.60/1117.93	c 1117s |      18 |   634095 |   427652 |    23568     36 |      756 |      620
1120.09/1120.41	c 1120s |      18 |   634621 |   428152 |    23568     36 |      756 |      620
1122.19/1122.58	c 1122s |      18 |   635050 |   428552 |    23568     36 |      756 |      620
1124.59/1124.98	c 1124s |      18 |   635484 |   428952 |    23568     36 |      756 |      620
1127.09/1127.45	c 1127s |      18 |   636032 |   429452 |    23568     36 |      756 |      620
1129.09/1129.48	c 1129s |      18 |   636459 |   429852 |    23568     36 |      756 |      620
1131.38/1131.74	c 1131s |      18 |   636793 |   430152 |    23568     37 |      756 |      620
1133.68/1134.07	c 1133s |      18 |   637453 |   430752 |    23568     37 |      756 |      620
1135.68/1136.09	c 1135s |      18 |   638013 |   431252 |    23568     37 |      756 |      620
1137.88/1138.27	c 1138s |      18 |   639049 |   432052 |    23568     37 |      756 |      620
1139.98/1140.37	c 1140s |      18 |   639720 |   432652 |    23568     37 |      756 |      620
1142.27/1142.62	c 1142s |      18 |   640500 |   433352 |    23568     37 |      756 |      620
1144.37/1144.77	c 1144s |      18 |   641171 |   433952 |    23568     37 |      756 |      620
1146.37/1146.77	c 1146s |      18 |   641715 |   434452 |    23568     37 |      756 |      620
1148.47/1148.87	c 1148s |      18 |   642257 |   434952 |    23568     37 |      756 |      620
1150.57/1150.91	c 1150s |      18 |   642809 |   435452 |    23568     37 |      756 |      620
1152.67/1153.03	c 1152s |      18 |   643359 |   435952 |    23568     37 |      756 |      620
1154.87/1155.21	c 1154s |      18 |   644056 |   436552 |    23568     37 |      756 |      620
1157.17/1157.59	c 1157s |      18 |   644717 |   437152 |    23568     37 |      756 |      620
1159.36/1159.72	c 1159s |      18 |   645258 |   437652 |    23568     37 |      756 |      620
1161.37/1161.78	c 1161s |      18 |   645784 |   438152 |    23568     37 |      756 |      620
1163.57/1163.95	c 1163s |      18 |   646316 |   438652 |    23568     37 |      756 |      620
1165.86/1166.27	c 1166s |      18 |   646870 |   439152 |    23568     37 |      756 |      620
1168.27/1168.60	c 1168s |      18 |   647395 |   439652 |    23568     37 |      756 |      620
1170.37/1170.70	c 1170s |      18 |   647807 |   440052 |    23568     37 |      756 |      620
1172.46/1172.87	c 1172s |      18 |   648368 |   440552 |    23568     37 |      756 |      620
1174.86/1175.25	c 1174s |      18 |   648999 |   441152 |    23568     37 |      756 |      620
1176.96/1177.33	c 1177s |      18 |   649533 |   441652 |    25925     37 |      756 |      620
1179.26/1179.66	c 1179s |      18 |   650065 |   442152 |    25925     37 |      756 |      620
1181.65/1182.01	c 1181s |      18 |   650597 |   442652 |    25925     37 |      756 |      620
1183.95/1184.34	c 1184s |      18 |   651151 |   443152 |    25925     37 |      756 |      620
1186.25/1186.65	c 1186s |      18 |   651693 |   443652 |    25925     37 |      756 |      620
1188.65/1189.09	c 1188s |      18 |   652232 |   444152 |    25925     37 |      756 |      620
1190.45/1190.86	c 1190s |      19 |   652640 |   444482 |    25925     37 |      756 |      620
1192.45/1192.88	c 1192s |      19 |   660987 |   445782 |    25925     38 |      756 |      620
1194.65/1195.03	c 1194s |      19 |   664462 |   447282 |    25925     38 |      756 |      620
1196.65/1197.03	c 1196s |      19 |   665822 |   448282 |    25925     38 |      756 |      620
1198.75/1199.16	c 1198s |      19 |   667459 |   449582 |    25925     38 |      756 |      620
1200.85/1201.27	c 1201s |      19 |   668794 |   450682 |    25925     38 |      756 |      620
1202.94/1203.32	c 1203s |      19 |   669857 |   451582 |    25925     38 |      756 |      620
1205.04/1205.44	c 1205s |      19 |   670904 |   452482 |    25925     38 |      756 |      620
1207.24/1207.60	c 1207s |      19 |   671811 |   453282 |    25925     38 |      756 |      620
1209.34/1209.70	c 1209s |      19 |   672880 |   454182 |    25925     38 |      756 |      620
1211.54/1211.91	c 1211s |      19 |   673817 |   454982 |    25925     38 |      756 |      620
1213.64/1214.07	c 1213s |      19 |   674760 |   455782 |    25925     38 |      756 |      620
1215.73/1216.13	c 1215s |      19 |   675708 |   456582 |    25925     38 |      756 |      620
1217.93/1218.39	c 1218s |      19 |   676662 |   457382 |    25925     38 |      756 |      620
1220.13/1220.53	c 1220s |      19 |   677684 |   458182 |    25925     38 |      756 |      620
1222.33/1222.76	c 1222s |      19 |   678595 |   458982 |    25925     38 |      756 |      620
1224.43/1224.85	c 1224s |      19 |   679425 |   459682 |    25925     38 |      756 |      620
1226.64/1227.03	c 1226s |      19 |   680134 |   460282 |    25925     39 |      756 |      620
1228.74/1229.12	c 1228s |      19 |   681068 |   461082 |    25925     39 |      756 |      620
1230.73/1231.17	c 1230s |      19 |   681993 |   461882 |    25925     39 |      756 |      620
1233.03/1233.46	c 1233s |      19 |   682882 |   462682 |    25925     39 |      756 |      620
1235.23/1235.67	c 1235s |      19 |   683691 |   463382 |    25925     39 |      756 |      620
1237.43/1237.84	c 1237s |      19 |   684476 |   464082 |    25925     39 |      756 |      620
1239.43/1239.86	c 1239s |      19 |   685515 |   464882 |    25925     39 |      756 |      620
1241.42/1241.89	c 1241s |      19 |   686544 |   465682 |    25925     39 |      756 |      620
1243.62/1244.10	c 1243s |      19 |   687472 |   466482 |    25925     39 |      756 |      620
1245.82/1246.24	c 1245s |      19 |   688360 |   467282 |    25925     39 |      756 |      620
1247.92/1248.38	c 1248s |      19 |   689198 |   467982 |    25925     39 |      756 |      620
1250.02/1250.45	c 1250s |      19 |   689906 |   468582 |    25925     39 |      756 |      620
1252.11/1252.51	c 1252s |      19 |   690683 |   469282 |    25925     39 |      756 |      620
1254.21/1254.60	c 1254s |      19 |   691477 |   469982 |    25925     39 |      756 |      620
1256.31/1256.70	c 1256s |      19 |   692252 |   470682 |    25925     39 |      756 |      620
1258.61/1259.07	c 1258s |      19 |   693045 |   471382 |    25925     39 |      756 |      620
1260.61/1261.08	c 1260s |      19 |   693726 |   471982 |    25925     39 |      756 |      620
1262.80/1263.20	c 1262s |      19 |   694376 |   472582 |    25925     39 |      756 |      620
1265.00/1265.43	c 1265s |      19 |   695186 |   473282 |    25925     39 |      756 |      620
1267.20/1267.61	c 1267s |      19 |   695837 |   473882 |    25925     39 |      756 |      620
1269.80/1270.20	c 1269s |      19 |   696510 |   474482 |    25925     40 |      756 |      620
1272.00/1272.48	c 1272s |      19 |   697450 |   475282 |    25925     40 |      756 |      620
1274.10/1274.54	c 1274s |      19 |   698224 |   475982 |    25925     40 |      756 |      620
1276.10/1276.59	c 1276s |      19 |   699000 |   476682 |    25925     40 |      756 |      620
1278.20/1278.66	c 1278s |      19 |   699806 |   477382 |    25925     40 |      756 |      620
1280.40/1280.80	c 1280s |      19 |   700601 |   478082 |    25925     40 |      756 |      620
1282.59/1283.01	c 1282s |      19 |   701407 |   478782 |    25925     40 |      756 |      620
1284.89/1285.38	c 1285s |      19 |   702072 |   479382 |    25925     40 |      756 |      620
1287.19/1287.69	c 1287s |      19 |   702723 |   479982 |    25925     40 |      756 |      620
1289.39/1289.80	c 1289s |      19 |   703638 |   480682 |    25925     40 |      756 |      620
1291.69/1292.14	c 1291s |      19 |   704439 |   481382 |    25925     40 |      756 |      620
1293.69/1294.19	c 1293s |      19 |   705153 |   481982 |    25925     40 |      756 |      620
1295.89/1296.39	c 1296s |      19 |   705980 |   482682 |    25925     40 |      756 |      620
1297.99/1298.42	c 1298s |      19 |   706847 |   483382 |    25925     40 |      756 |      620
1299.98/1300.44	c 1300s |      19 |   707693 |   484082 |    25925     40 |      756 |      620
1302.29/1302.79	c 1302s |      19 |   708526 |   484782 |    25925     40 |      756 |      620
1304.48/1304.98	c 1304s |      19 |   709233 |   485382 |    25925     40 |      756 |      620
1306.58/1307.02	c 1306s |      19 |   709912 |   485982 |    25925     40 |      756 |      620
1308.78/1309.27	c 1309s |      19 |   710626 |   486582 |    25925     40 |      756 |      620
1311.08/1311.50	c 1311s |      19 |   711319 |   487182 |    25925     40 |      756 |      620
1313.28/1313.77	c 1313s |      19 |   711997 |   487782 |    25925     40 |      756 |      620
1315.68/1316.10	c 1315s |      19 |   712678 |   488382 |    25925     40 |      756 |      620
1318.07/1318.57	c 1318s |      19 |   713264 |   488882 |    25925     41 |      756 |      620
1320.17/1320.63	c 1320s |      19 |   713918 |   489482 |    25925     41 |      756 |      620
1322.37/1322.80	c 1322s |      19 |   714695 |   490182 |    25925     41 |      756 |      620
1324.57/1325.01	c 1324s |      19 |   715572 |   490982 |    25925     41 |      756 |      620
1326.67/1327.17	c 1326s |      19 |   716367 |   491682 |    25925     41 |      756 |      620
1328.97/1329.48	c 1329s |      19 |   717006 |   492282 |    25925     41 |      756 |      620
1331.17/1331.64	c 1331s |      19 |   717777 |   492982 |    25925     41 |      756 |      620
1333.46/1333.95	c 1333s |      19 |   718590 |   493682 |    25925     41 |      756 |      620
1335.56/1336.04	c 1335s |      19 |   719268 |   494282 |    25925     41 |      756 |      620
1337.76/1338.23	c 1337s |      19 |   719949 |   494882 |    25925     41 |      756 |      620
1339.96/1340.49	c 1340s |      19 |   720602 |   495482 |    25925     41 |      756 |      620
1342.26/1342.71	c 1342s |      19 |   721295 |   496082 |    25925     41 |      756 |      620
1344.56/1345.04	c 1344s |      19 |   721978 |   496682 |    25925     41 |      756 |      620
1346.66/1347.12	c 1346s |      19 |   722526 |   497182 |    25925     41 |      756 |      620
1348.76/1349.29	c 1349s |      19 |   723092 |   497682 |    25925     41 |      756 |      620
1350.75/1351.29	c 1351s |      19 |   723652 |   498182 |    25925     41 |      756 |      620
1352.95/1353.43	c 1353s |      19 |   724330 |   498782 |    25925     41 |      756 |      620
1355.26/1355.79	c 1355s |      19 |   724995 |   499382 |    25925     41 |      756 |      620
1357.56/1358.01	c 1357s |      19 |   725659 |   499982 |    25925     41 |      756 |      620
1359.96/1360.43	c 1360s |      19 |   726330 |   500582 |    25925     41 |      756 |      620
1361.95/1362.46	c 1362s |      19 |   726910 |   501082 |    25925     41 |      756 |      620
1364.15/1364.60	c 1364s |      19 |   727440 |   501582 |    25925     41 |      756 |      620
1366.35/1366.87	c 1366s |      19 |   728000 |   502082 |    25925     41 |      756 |      620
1368.65/1369.13	c 1368s |      19 |   728539 |   502582 |    25925     41 |      756 |      620
1370.95/1371.47	c 1371s |      19 |   729088 |   503082 |    25925     41 |      756 |      620
1373.04/1373.57	c 1373s |      19 |   729522 |   503482 |    25925     42 |      756 |      620
1375.14/1375.64	c 1375s |      19 |   730199 |   504082 |    25925     42 |      756 |      620
1377.34/1377.85	c 1377s |      19 |   730963 |   504782 |    25925     42 |      756 |      620
1379.34/1379.89	c 1379s |      19 |   731628 |   505382 |    25925     42 |      756 |      620
1381.64/1382.19	c 1381s |      19 |   732429 |   506082 |    25925     42 |      756 |      620
1383.74/1384.25	c 1383s |      19 |   733093 |   506682 |    25925     42 |      756 |      620
1385.84/1386.37	c 1386s |      19 |   733762 |   507282 |    25925     42 |      756 |      620
1387.94/1388.40	c 1388s |      19 |   734432 |   507882 |    25925     42 |      756 |      620
1390.14/1390.62	c 1390s |      19 |   735100 |   508482 |    25925     42 |      756 |      620
1392.34/1392.81	c 1392s |      19 |   735783 |   509082 |    25925     42 |      756 |      620
1394.45/1394.95	c 1394s |      19 |   736590 |   509782 |    25925     42 |      756 |      620
1396.54/1397.05	c 1396s |      19 |   737370 |   510482 |    25925     42 |      756 |      620
1398.74/1399.28	c 1399s |      19 |   738041 |   511082 |    25925     42 |      756 |      620
1400.83/1401.31	c 1401s |      19 |   738723 |   511682 |    25925     42 |      756 |      620
1402.83/1403.35	c 1403s |      19 |   739432 |   512282 |    25925     42 |      756 |      620
1405.13/1405.66	c 1405s |      19 |   740237 |   512982 |    25925     42 |      756 |      620
1407.33/1407.84	c 1407s |      19 |   740926 |   513582 |    25925     42 |      756 |      620
1409.74/1410.22	c 1409s |      19 |   741745 |   514282 |    25925     42 |      756 |      620
1411.83/1412.39	c 1412s |      19 |   742548 |   514982 |    25925     42 |      756 |      620
1414.03/1414.50	c 1414s |      19 |   743196 |   515582 |    25925     42 |      756 |      620
1416.44/1416.93	c 1416s |      19 |   743910 |   516182 |    25925     42 |      756 |      620
1418.54/1419.05	c 1418s |      19 |   744470 |   516682 |    25925     42 |      756 |      620
1420.74/1421.28	c 1421s |      19 |   745186 |   517282 |    25925     42 |      756 |      620
1422.83/1423.39	c 1423s |      19 |   745850 |   517782 |    25925     43 |      756 |      620
1425.04/1425.58	c 1425s |      19 |   746760 |   518582 |    25925     43 |      756 |      620
1427.35/1427.86	c 1427s |      19 |   747670 |   519382 |    25925     43 |      756 |      620
1429.44/1429.90	c 1429s |      19 |   748498 |   520082 |    25925     43 |      756 |      620
1431.44/1431.92	c 1431s |      19 |   749315 |   520782 |    25925     43 |      756 |      620
1433.44/1433.96	c 1433s |      19 |   750287 |   521582 |    25925     43 |      756 |      620
1435.63/1436.13	c 1435s |      19 |   751311 |   522382 |    25925     43 |      756 |      620
1437.63/1438.18	c 1437s |      19 |   752312 |   523182 |    25925     43 |      756 |      620
1439.83/1440.34	c 1440s |      19 |   753116 |   523882 |    25925     43 |      756 |      620
1442.13/1442.60	c 1442s |      19 |   754040 |   524682 |    25925     43 |      756 |      620
1444.13/1444.63	c 1444s |      19 |   754875 |   525382 |    25925     43 |      756 |      620
1446.23/1446.74	c 1446s |      19 |   755731 |   526082 |    25925     43 |      756 |      620
1448.53/1449.06	c 1448s |      19 |   756515 |   526782 |    25925     43 |      756 |      620
1450.73/1451.24	c 1450s |      19 |   757316 |   527482 |    25925     43 |      756 |      620
1452.93/1453.44	c 1453s |      19 |   758292 |   528282 |    25925     43 |      756 |      620
1455.03/1455.56	c 1455s |      19 |   759127 |   528982 |    25925     43 |      756 |      620
1457.43/1457.90	c 1457s |      19 |   759894 |   529682 |    25925     43 |      756 |      620
1459.63/1460.14	c 1459s |      19 |   760692 |   530382 |    25925     43 |      756 |      620
1461.93/1462.40	c 1462s |      19 |   761540 |   531082 |    25925     43 |      756 |      620
1464.23/1464.73	c 1464s |      19 |   762388 |   531782 |    25925     43 |      756 |      620
1466.33/1466.87	c 1466s |      19 |   762940 |   532282 |    25925     44 |      756 |      620
1468.43/1468.95	c 1468s |      19 |   763886 |   533082 |    25925     44 |      756 |      620
1470.63/1471.17	c 1470s |      19 |   764799 |   533882 |    25925     44 |      756 |      620
1472.63/1473.19	c 1472s |      19 |   765641 |   534582 |    25925     44 |      756 |      620
1474.73/1475.21	c 1474s |      19 |   766478 |   535282 |    25925     44 |      756 |      620
1476.72/1477.29	c 1477s |      19 |   767288 |   535982 |    25925     44 |      756 |      620
1478.82/1479.36	c 1479s |      19 |   768089 |   536682 |    25925     44 |      756 |      620
1481.02/1481.56	c 1481s |      19 |   768891 |   537382 |    25925     44 |      756 |      620
1483.12/1483.63	c 1483s |      19 |   769559 |   537982 |    25925     44 |      756 |      620
1485.32/1485.80	c 1485s |      19 |   770387 |   538682 |    25925     44 |      756 |      620
1487.52/1488.08	c 1487s |      19 |   771204 |   539382 |    25925     44 |      756 |      620
1489.72/1490.28	c 1490s |      19 |   771870 |   539982 |    25925     44 |      756 |      620
1492.02/1492.50	c 1492s |      19 |   772551 |   540582 |    25925     44 |      756 |      620
1494.02/1494.51	c 1494s |      19 |   773101 |   541082 |    25925     44 |      756 |      620
1496.23/1496.71	c 1496s |      19 |   773951 |   541782 |    25925     44 |      756 |      620
1498.33/1498.81	c 1498s |      19 |   774748 |   542482 |    25925     44 |      756 |      620
1500.43/1500.96	c 1500s |      19 |   775527 |   543182 |    25925     44 |      756 |      620
1502.43/1502.98	c 1502s |      19 |   776209 |   543782 |    25925     44 |      756 |      620
1504.63/1505.12	c 1504s |      19 |   777012 |   544482 |    25925     44 |      756 |      620
1506.73/1507.22	c 1506s |      19 |   777697 |   545082 |    25925     44 |      756 |      620
1508.92/1509.47	c 1509s |      19 |   778367 |   545682 |    25925     44 |      756 |      620
1511.12/1511.60	c 1511s |      19 |   779052 |   546282 |    25925     44 |      756 |      620
1513.42/1513.90	c 1513s |      19 |   779760 |   546882 |    25925     45 |      756 |      620
1515.43/1515.93	c 1515s |      19 |   780675 |   547682 |    25925     45 |      756 |      620
1517.63/1518.18	c 1517s |      19 |   781560 |   548482 |    25925     45 |      756 |      620
1519.83/1520.32	c 1520s |      19 |   782510 |   549282 |    25925     45 |      756 |      620
1521.82/1522.38	c 1522s |      19 |   783294 |   549982 |    25925     45 |      756 |      620
1524.02/1524.50	c 1524s |      19 |   784106 |   550682 |    25925     45 |      756 |      620
1526.02/1526.60	c 1526s |      19 |   784937 |   551382 |    25925     45 |      756 |      620
1528.22/1528.73	c 1528s |      19 |   785749 |   552082 |    25925     45 |      756 |      620
1530.42/1530.90	c 1530s |      19 |   786502 |   552782 |    25925     45 |      756 |      620
1532.62/1533.12	c 1532s |      19 |   787285 |   553482 |    25925     45 |      756 |      620
1534.62/1535.19	c 1534s |      19 |   787951 |   554082 |    25925     45 |      756 |      620
1536.82/1537.30	c 1537s |      19 |   788626 |   554682 |    25925     45 |      756 |      620
1538.92/1539.44	c 1539s |      19 |   789280 |   555282 |    25925     45 |      756 |      620
1541.22/1541.74	c 1541s |      19 |   789948 |   555882 |    25925     45 |      756 |      620
1543.42/1543.94	c 1543s |      19 |   790620 |   556482 |    25925     45 |      756 |      620
1545.62/1546.13	c 1545s |      19 |   791304 |   557082 |    25925     45 |      756 |      620
1547.92/1548.42	c 1548s |      19 |   792028 |   557682 |    25925     45 |      756 |      620
1550.12/1550.68	c 1550s |      19 |   792852 |   558382 |    25925     45 |      756 |      620
1552.32/1552.81	c 1552s |      19 |   793521 |   558982 |    25925     45 |      756 |      620
1554.52/1555.04	c 1554s |      19 |   794224 |   559582 |    25925     45 |      756 |      620
1556.62/1557.11	c 1556s |      19 |   794900 |   560182 |    25925     45 |      756 |      620
1558.72/1559.27	c 1559s |      19 |   795612 |   560782 |    25925     45 |      756 |      620
1561.01/1561.51	c 1561s |      19 |   796202 |   561282 |    25925     46 |      756 |      620
1563.01/1563.54	c 1563s |      19 |   797042 |   561982 |    25925     46 |      756 |      620
1565.01/1565.57	c 1565s |      19 |   797826 |   562682 |    25925     46 |      756 |      620
1567.31/1567.80	c 1567s |      19 |   798761 |   563482 |    25925     46 |      756 |      620
1569.51/1570.01	c 1569s |      19 |   799538 |   564182 |    25925     46 |      756 |      620
1571.52/1572.03	c 1571s |      19 |   800379 |   564882 |    25925     46 |      756 |      620
1573.72/1574.27	c 1574s |      19 |   801179 |   565582 |    25925     46 |      756 |      620
1576.01/1576.50	c 1576s |      19 |   802003 |   566282 |    25925     46 |      756 |      620
1578.02/1578.59	c 1578s |      19 |   802692 |   566882 |    25925     46 |      756 |      620
1580.11/1580.67	c 1580s |      19 |   803371 |   567482 |    25925     46 |      756 |      620
1582.31/1582.87	c 1582s |      19 |   804051 |   568082 |    25925     46 |      756 |      620
1584.51/1585.05	c 1584s |      19 |   804730 |   568682 |    25925     46 |      756 |      620
1586.61/1587.18	c 1586s |      19 |   805405 |   569282 |    25925     46 |      756 |      620
1589.01/1589.52	c 1589s |      19 |   806065 |   569882 |    25925     46 |      756 |      620
1591.11/1591.66	c 1591s |      19 |   806740 |   570482 |    25925     46 |      756 |      620
1593.31/1593.82	c 1593s |      19 |   807410 |   571082 |    25925     46 |      756 |      620
1595.51/1596.09	c 1595s |      19 |   808096 |   571682 |    25925     46 |      756 |      620
1597.81/1598.32	c 1598s |      19 |   808773 |   572282 |    25925     46 |      756 |      620
1599.90/1600.44	c 1600s |      19 |   809310 |   572782 |    25925     46 |      756 |      620
1602.31/1602.86	c 1602s |      19 |   810036 |   573382 |    25925     46 |      756 |      620
1604.41/1605.00	c 1604s |      19 |   810591 |   573882 |    25925     46 |      756 |      620
1606.50/1607.07	c 1606s |      19 |   811183 |   574382 |    25925     46 |      756 |      620
1608.82/1609.34	c 1609s |      19 |   811892 |   574982 |    25925     46 |      756 |      620
1610.91/1611.47	c 1611s |      19 |   812559 |   575582 |    25925     46 |      756 |      620
1613.11/1613.69	c 1613s |      19 |   813238 |   576182 |    25925     47 |      756 |      620
1615.21/1615.72	c 1615s |      19 |   814070 |   576882 |    25925     47 |      756 |      620
1617.31/1617.84	c 1617s |      19 |   814911 |   577582 |    25925     47 |      756 |      620
1619.51/1620.01	c 1619s |      19 |   815697 |   578282 |    25925     47 |      756 |      620
1621.51/1622.06	c 1621s |      19 |   816356 |   578882 |    25925     47 |      756 |      620
1623.61/1624.16	c 1623s |      19 |   817166 |   579582 |    25925     47 |      756 |      620
1625.80/1626.32	c 1626s |      19 |   818024 |   580282 |    25925     47 |      756 |      620
1627.90/1628.42	c 1628s |      19 |   818856 |   580982 |    25925     47 |      756 |      620
1629.90/1630.49	c 1630s |      19 |   819738 |   581682 |    25925     47 |      756 |      620
1632.01/1632.60	c 1632s |      19 |   820563 |   582382 |    25925     47 |      756 |      620
1634.21/1634.72	c 1634s |      19 |   821425 |   583082 |    25925     47 |      756 |      620
1636.31/1636.84	c 1636s |      19 |   822296 |   583782 |    25925     47 |      756 |      620
1638.40/1638.98	c 1638s |      19 |   823099 |   584482 |    25925     47 |      756 |      620
1640.50/1641.07	c 1640s |      19 |   823797 |   585082 |    25925     47 |      756 |      620
1642.80/1643.33	c 1643s |      19 |   824627 |   585782 |    25925     47 |      756 |      620
1645.00/1645.57	c 1645s |      19 |   825272 |   586382 |    25925     47 |      756 |      620
1647.31/1647.88	c 1647s |      19 |   826091 |   587082 |    25925     47 |      756 |      620
1649.40/1649.92	c 1649s |      19 |   826785 |   587682 |    25925     47 |      756 |      620
1651.50/1652.09	c 1651s |      19 |   827486 |   588282 |    25925     47 |      756 |      620
1653.70/1654.29	c 1654s |      19 |   828155 |   588882 |    25925     47 |      756 |      620
1655.90/1656.40	c 1656s |      19 |   828851 |   589482 |    25925     47 |      756 |      620
1658.50/1659.09	c 1658s |      19 |   829555 |   590082 |    25925     48 |      756 |      620
1660.70/1661.21	c 1660s |      19 |   830304 |   590782 |    25925     48 |      756 |      620
1662.70/1663.29	c 1663s |      19 |   831019 |   591382 |    25925     48 |      756 |      620
1664.90/1665.50	c 1665s |      19 |   831827 |   592082 |    25925     48 |      756 |      620
1667.20/1667.80	c 1667s |      19 |   832623 |   592782 |    25925     48 |      756 |      620
1669.60/1670.14	c 1669s |      19 |   833392 |   593482 |    25925     48 |      756 |      620
1671.70/1672.22	c 1671s |      19 |   834227 |   594182 |    25925     48 |      756 |      620
1673.80/1674.37	c 1674s |      19 |   834878 |   594782 |    25925     48 |      756 |      620
1675.90/1676.45	c 1676s |      19 |   835565 |   595382 |    25925     48 |      756 |      620
1677.99/1678.52	c 1678s |      19 |   836227 |   595982 |    25925     48 |      756 |      620
1680.19/1680.78	c 1680s |      19 |   837041 |   596682 |    25925     48 |      756 |      620
1682.29/1682.80	c 1682s |      19 |   837741 |   597282 |    25925     48 |      756 |      620
1684.49/1685.05	c 1684s |      19 |   838410 |   597882 |    25925     48 |      756 |      620
1686.69/1687.26	c 1687s |      19 |   839113 |   598482 |    25925     48 |      756 |      620
1688.89/1689.48	c 1689s |      19 |   839940 |   599182 |    25925     48 |      756 |      620
1690.99/1691.50	c 1691s |      19 |   840493 |   599682 |    25925     48 |      756 |      620
1692.99/1693.57	c 1693s |      19 |   841184 |   600282 |    25925     48 |      756 |      620
1695.49/1696.00	c 1695s |      19 |   841882 |   600882 |    25925     48 |      756 |      620
1697.49/1698.02	c 1697s |      19 |   842418 |   601382 |    25925     48 |      756 |      620
1699.79/1700.39	c 1700s |      19 |   843091 |   601982 |    25925     48 |      756 |      620
1702.09/1702.62	c 1702s |      19 |   843772 |   602582 |    25925     48 |      756 |      620
1704.09/1704.64	c 1704s |      19 |   844330 |   603082 |    25925     48 |      756 |      620
1706.49/1707.06	c 1706s |      19 |   845030 |   603682 |    25925     48 |      756 |      620
1708.59/1709.15	c 1708s |      19 |   845588 |   604182 |    25925     48 |      756 |      620
1710.79/1711.38	c 1711s |      19 |   846052 |   604582 |    25925     49 |      756 |      620
1712.99/1713.54	c 1713s |      19 |   846855 |   605282 |    25925     49 |      756 |      620
1715.09/1715.62	c 1715s |      19 |   847686 |   605982 |    25925     49 |      756 |      620
1717.09/1717.65	c 1717s |      19 |   848497 |   606682 |    25925     49 |      756 |      620
1719.19/1719.73	c 1719s |      19 |   849331 |   607382 |    25925     49 |      756 |      620
1721.19/1721.78	c 1721s |      19 |   850151 |   608082 |    25925     49 |      756 |      620
1723.49/1724.03	c 1723s |      19 |   850932 |   608782 |    25925     49 |      756 |      620
1725.49/1726.04	c 1725s |      19 |   851563 |   609382 |    25925     49 |      756 |      620
1727.89/1728.42	c 1728s |      19 |   852346 |   610082 |    25925     49 |      756 |      620
1729.89/1730.46	c 1730s |      19 |   853003 |   610682 |    25925     49 |      756 |      620
1731.99/1732.50	c 1732s |      19 |   853706 |   611282 |    25925     49 |      756 |      620
1734.19/1734.73	c 1734s |      19 |   854539 |   611982 |    25925     49 |      756 |      620
1736.39/1736.96	c 1736s |      19 |   855353 |   612682 |    25925     49 |      756 |      620
1738.69/1739.22	c 1738s |      19 |   856177 |   613382 |    25925     49 |      756 |      620
1740.68/1741.22	c 1740s |      19 |   856740 |   613882 |    25925     49 |      756 |      620
1742.99/1743.53	c 1743s |      19 |   857421 |   614482 |    25925     49 |      756 |      620
1745.38/1745.93	c 1745s |      19 |   858059 |   615082 |    25925     49 |      756 |      620
1747.39/1747.98	c 1747s |      19 |   858773 |   615682 |    25925     49 |      756 |      620
1749.69/1750.24	c 1749s |      19 |   859465 |   616282 |    25925     49 |      756 |      620
1751.68/1752.24	c 1751s |      19 |   860020 |   616782 |    25925     49 |      756 |      620
1753.68/1754.27	c 1754s |      19 |   860559 |   617282 |    25925     49 |      756 |      620
1756.09/1756.63	c 1756s |      19 |   861282 |   617882 |    25925     49 |      756 |      620
1758.19/1758.72	c 1758s |      19 |   861962 |   618482 |    25925     49 |      756 |      620
1760.69/1761.28	c 1761s |      19 |   862662 |   619082 |    25925     50 |      756 |      620
1762.89/1763.46	c 1763s |      19 |   863546 |   619882 |    25925     50 |      756 |      620
1764.99/1765.50	c 1765s |      19 |   864315 |   620582 |    25925     50 |      756 |      620
1767.29/1767.84	c 1767s |      19 |   865082 |   621282 |    25925     50 |      756 |      620
1769.58/1770.15	c 1769s |      19 |   865753 |   621882 |    25925     50 |      756 |      620
1771.78/1772.39	c 1772s |      19 |   866536 |   622582 |    25925     50 |      756 |      620
1773.89/1774.49	c 1774s |      19 |   867342 |   623282 |    25925     50 |      756 |      620
1776.28/1776.82	c 1776s |      19 |   868150 |   623982 |    25925     50 |      756 |      620
1778.29/1778.88	c 1778s |      19 |   868826 |   624582 |    25925     50 |      756 |      620
1780.39/1780.93	c 1780s |      19 |   869523 |   625182 |    25925     50 |      756 |      620
1782.59/1783.19	c 1782s |      19 |   870201 |   625782 |    25925     50 |      756 |      620
1784.68/1785.24	c 1784s |      19 |   870880 |   626382 |    25925     50 |      756 |      620
1786.68/1787.27	c 1787s |      19 |   871570 |   626982 |    25925     50 |      756 |      620
1788.98/1789.51	c 1789s |      19 |   872243 |   627582 |    25925     50 |      756 |      620
1791.17/1791.75	c 1791s |      19 |   872915 |   628182 |    25925     50 |      756 |      620
1793.37/1793.96	c 1793s |      19 |   873608 |   628782 |    25925     50 |      756 |      620
1795.47/1796.07	c 1795s |      19 |   874312 |   629382 |    25925     50 |      756 |      620
1797.67/1798.27	c 1798s |      19 |   874988 |   629982 |    25925     50 |      756 |      620
1799.97/1800.58	c 1800s |      19 |   875672 |   630582 |    25925     50 |      756 |      620

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-4116125-1466963302/watcher-4116125-1466963302 -o /tmp/evaluation-result-4116125-1466963302/solver-4116125-1466963302 -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-4116125-1466963302.opb 

pid=23820
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.28 2.26 2.19 3/179 23823
/proc/meminfo: memFree=29636100/32872528 swapFree=1085692/1157232
[pid=23823] ppid=23820 vsize=674236 CPUtime=0 cores=1,3,5,7
/proc/23823/stat : 23823 (toysat) R 23820 23823 21062 0 -1 4202496 2505 0 0 0 0 0 0 0 20 0 4 0 29369858 690417664 3377 33554432000 4194304 16246674 140735854406368 140735854405792 15002730 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23823/statm: 169327 3387 441 2943 0 166221 0
[pid=23823/tid=23824] ppid=23820 vsize=692668 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23824/stat : 23824 (toysat) S 23820 23823 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29369858 709292032 3448 33554432000 4194304 16246674 140735854406368 139696325766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=23823/tid=23825] ppid=23820 vsize=696764 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23825/stat : 23825 (toysat) S 23820 23823 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29369858 713486336 3464 33554432000 4194304 16246674 140735854406368 139696315276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=23823/tid=23826] ppid=23820 vsize=700860 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23826/stat : 23826 (toysat) S 23820 23823 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29369858 717680640 3481 33554432000 4194304 16246674 140735854406368 139696227216560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.28 2.26 2.19 3/179 23823
/proc/meminfo: memFree=29636100/32872528 swapFree=1085692/1157232
[pid=23823] ppid=23820 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/23823/stat : 23823 (toysat) R 23820 23823 21062 0 -1 4202496 28272 0 0 0 5 4 0 0 20 0 4 0 29369858 1249447936 29082 33554432000 4194304 16246674 140735854406368 140735854405680 4220897 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23823/statm: 305041 29082 801 2943 0 301935 0
[pid=23823/tid=23824] ppid=23820 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23824/stat : 23824 (toysat) S 23820 23823 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29369858 1249447936 29082 33554432000 4194304 16246674 140735854406368 139696325766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=23823/tid=23825] ppid=23820 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23825/stat : 23825 (toysat) S 23820 23823 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29369858 1249447936 29082 33554432000 4194304 16246674 140735854406368 139696315276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=23823/tid=23826] ppid=23820 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23826/stat : 23826 (toysat) S 23820 23823 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29369858 1249447936 29082 33554432000 4194304 16246674 140735854406368 139696227216560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200548 s]
/proc/loadavg: 2.28 2.26 2.19 3/179 23823
/proc/meminfo: memFree=29636100/32872528 swapFree=1085692/1157232
[pid=23823] ppid=23820 vsize=1301060 CPUtime=0.18 cores=1,3,5,7
/proc/23823/stat : 23823 (toysat) R 23820 23823 21062 0 -1 4202496 48476 0 0 0 11 7 0 0 20 0 4 0 29369858 1332285440 49286 33554432000 4194304 16246674 140735854406368 140735854389360 12457726 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23823/statm: 325265 49286 842 2943 0 322159 0
[pid=23823/tid=23824] ppid=23820 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23824/stat : 23824 (toysat) S 23820 23823 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29369858 1332285440 49286 33554432000 4194304 16246674 140735854406368 139696325766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=23823/tid=23825] ppid=23820 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23825/stat : 23825 (toysat) S 23820 23823 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29369858 1332285440 49286 33554432000 4194304 16246674 140735854406368 139696315276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=23823/tid=23826] ppid=23820 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23826/stat : 23826 (toysat) S 23820 23823 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29369858 1332285440 49286 33554432000 4194304 16246674 140735854406368 139696227216560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1301060

[startup+0.300503 s]
/proc/loadavg: 2.28 2.26 2.19 3/179 23823
/proc/meminfo: memFree=29636100/32872528 swapFree=1085692/1157232
[pid=23823] ppid=23820 vsize=1301060 CPUtime=0.29 cores=1,3,5,7
/proc/23823/stat : 23823 (toysat) R 23820 23823 21062 0 -1 4202496 50114 0 0 0 21 8 0 0 20 0 4 0 29369858 1332285440 50924 33554432000 4194304 16246674 140735854406368 140735854389360 13954518 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23823/statm: 325265 50932 882 2943 0 322159 0
[pid=23823/tid=23824] ppid=23820 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23824/stat : 23824 (toysat) S 23820 23823 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29369858 1332285440 50935 33554432000 4194304 16246674 140735854406368 139696325766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=23823/tid=23825] ppid=23820 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23825/stat : 23825 (toysat) S 23820 23823 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29369858 1332285440 50942 33554432000 4194304 16246674 140735854406368 139696315276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=23823/tid=23826] ppid=23820 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23826/stat : 23826 (toysat) S 23820 23823 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29369858 1332285440 50947 33554432000 4194304 16246674 140735854406368 139696227216560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700417 s]
/proc/loadavg: 2.28 2.26 2.19 3/179 23823
/proc/meminfo: memFree=29636100/32872528 swapFree=1085692/1157232
[pid=23823] ppid=23820 vsize=1301060 CPUtime=0.69 cores=1,3,5,7
/proc/23823/stat : 23823 (toysat) R 23820 23823 21062 0 -1 4202496 98900 0 0 0 54 15 0 0 20 0 4 0 29369858 1332285440 99711 33554432000 4194304 16246674 140735854406368 140735854389360 5677541 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23823/statm: 325265 99716 882 2943 0 322159 0
[pid=23823/tid=23824] ppid=23820 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23824/stat : 23824 (toysat) S 23820 23823 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29369858 1332285440 99718 33554432000 4194304 16246674 140735854406368 139696325766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=23823/tid=23825] ppid=23820 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23825/stat : 23825 (toysat) S 23820 23823 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29369858 1332285440 99720 33554432000 4194304 16246674 140735854406368 139696315276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=23823/tid=23826] ppid=23820 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23826/stat : 23826 (toysat) S 23820 23823 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29369858 1332285440 99723 33554432000 4194304 16246674 140735854406368 139696227216560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50042 s]
/proc/loadavg: 2.26 2.25 2.19 4/183 23827
/proc/meminfo: memFree=29045700/32872528 swapFree=1085692/1157232
[pid=23823] ppid=23820 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/23823/stat : 23823 (toysat) R 23820 23823 21062 0 -1 4202496 201320 0 0 0 120 29 0 0 20 0 4 0 29369858 1332285440 202130 33554432000 4194304 16246674 140735854406368 140735854388288 13780501 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23823/statm: 325265 202139 884 2943 0 322159 0
[pid=23823/tid=23824] ppid=23820 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23824/stat : 23824 (toysat) S 23820 23823 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29369858 1332285440 202143 33554432000 4194304 16246674 140735854406368 139696325766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=23823/tid=23825] ppid=23820 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23825/stat : 23825 (toysat) S 23820 23823 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29369858 1332285440 202146 33554432000 4194304 16246674 140735854406368 139696315276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=23823/tid=23826] ppid=23820 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23826/stat : 23826 (toysat) S 23820 23823 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29369858 1332285440 202150 33554432000 4194304 16246674 140735854406368 139696227216560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10032 s]
/proc/loadavg: 2.26 2.25 2.19 4/183 23827
/proc/meminfo: memFree=28557140/32872528 swapFree=1085692/1157232
[pid=23823] ppid=23820 vsize=1312324 CPUtime=3.08 cores=1,3,5,7
/proc/23823/stat : 23823 (toysat) R 23820 23823 21062 0 -1 4202496 269260 0 0 0 271 37 0 0 20 0 4 0 29369858 1343819776 270070 33554432000 4194304 16246674 140735854406368 140735854388288 5711636 0 0 0 34082818 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23823/statm: 328081 270070 890 2943 0 324975 0
[pid=23823/tid=23824] ppid=23820 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23824/stat : 23824 (toysat) S 23820 23823 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29369858 1343819776 270070 33554432000 4194304 16246674 140735854406368 139696325766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=23823/tid=23825] ppid=23820 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23825/stat : 23825 (toysat) S 23820 23823 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29369858 1343819776 270070 33554432000 4194304 16246674 140735854406368 139696315276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=23823/tid=23826] ppid=23820 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23826/stat : 23826 (toysat) S 23820 23823 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29369858 1343819776 270070 33554432000 4194304 16246674 140735854406368 139696227216560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1312324

[startup+6.30043 s]
/proc/loadavg: 2.32 2.27 2.20 3/183 23827
/proc/meminfo: memFree=28556768/32872528 swapFree=1085692/1157232
[pid=23823] ppid=23820 vsize=1312324 CPUtime=6.28 cores=1,3,5,7
/proc/23823/stat : 23823 (toysat) R 23820 23823 21062 0 -1 4202496 269265 0 0 0 591 37 0 0 20 0 4 0 29369858 1343819776 270075 33554432000 4194304 16246674 140735854406368 140735854388288 5600384 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23823/statm: 328081 270075 890 2943 0 324975 0
[pid=23823/tid=23824] ppid=23820 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23824/stat : 23824 (toysat) S 23820 23823 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29369858 1343819776 270075 33554432000 4194304 16246674 140735854406368 139696325766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=23823/tid=23825] ppid=23820 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23825/stat : 23825 (toysat) S 23820 23823 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29369858 1343819776 270075 33554432000 4194304 16246674 140735854406368 139696315276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=23823/tid=23826] ppid=23820 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23826/stat : 23826 (toysat) S 23820 23823 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29369858 1343819776 270075 33554432000 4194304 16246674 140735854406368 139696227216560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 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.29 2.26 2.19 3/183 23827
/proc/meminfo: memFree=28557068/32872528 swapFree=1085692/1157232
[pid=23823] ppid=23820 vsize=1312324 CPUtime=12.68 cores=1,3,5,7
/proc/23823/stat : 23823 (toysat) R 23820 23823 21062 0 -1 4202496 269265 0 0 0 1231 37 0 0 20 0 4 0 29369858 1343819776 270075 33554432000 4194304 16246674 140735854406368 140735854388288 12995176 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23823/statm: 328081 270075 890 2943 0 324975 0
[pid=23823/tid=23824] ppid=23820 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23824/stat : 23824 (toysat) S 23820 23823 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29369858 1343819776 270075 33554432000 4194304 16246674 140735854406368 139696325766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=23823/tid=23825] ppid=23820 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23825/stat : 23825 (toysat) S 23820 23823 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29369858 1343819776 270075 33554432000 4194304 16246674 140735854406368 139696315276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=23823/tid=23826] ppid=23820 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23826/stat : 23826 (toysat) S 23820 23823 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29369858 1343819776 270075 33554432000 4194304 16246674 140735854406368 139696227216560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 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.22 2.25 2.19 3/183 23827
/proc/meminfo: memFree=28559640/32872528 swapFree=1085692/1157232
[pid=23823] ppid=23820 vsize=1312324 CPUtime=25.48 cores=1,3,5,7
/proc/23823/stat : 23823 (toysat) R 23820 23823 21062 0 -1 4202496 269266 0 0 0 2510 38 0 0 20 0 4 0 29369858 1343819776 270076 33554432000 4194304 16246674 140735854406368 140735854388288 5722816 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23823/statm: 328081 270076 891 2943 0 324975 0
[pid=23823/tid=23824] ppid=23820 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23824/stat : 23824 (toysat) S 23820 23823 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29369858 1343819776 270076 33554432000 4194304 16246674 140735854406368 139696325766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=23823/tid=23825] ppid=23820 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23825/stat : 23825 (toysat) S 23820 23823 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29369858 1343819776 270076 33554432000 4194304 16246674 140735854406368 139696315276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=23823/tid=23826] ppid=23820 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23826/stat : 23826 (toysat) S 23820 23823 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29369858 1343819776 270076 33554432000 4194304 16246674 140735854406368 139696227216560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 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.22 2.24 2.19 3/183 23828
/proc/meminfo: memFree=28559256/32872528 swapFree=1085692/1157232
[pid=23823] ppid=23820 vsize=1312324 CPUtime=51.07 cores=1,3,5,7
/proc/23823/stat : 23823 (toysat) R 23820 23823 21062 0 -1 4202496 269267 0 0 0 5069 38 0 0 20 0 4 0 29369858 1343819776 270077 33554432000 4194304 16246674 140735854406368 140735854388288 5676002 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23823/statm: 328081 270077 891 2943 0 324975 0
[pid=23823/tid=23824] ppid=23820 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23824/stat : 23824 (toysat) S 23820 23823 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29369858 1343819776 270077 33554432000 4194304 16246674 140735854406368 139696325766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=23823/tid=23825] ppid=23820 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23825/stat : 23825 (toysat) S 23820 23823 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29369858 1343819776 270077 33554432000 4194304 16246674 140735854406368 139696315276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=23823/tid=23826] ppid=23820 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23826/stat : 23826 (toysat) S 23820 23823 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29369858 1343819776 270077 33554432000 4194304 16246674 140735854406368 139696227216560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1312324

[startup+102.301 s]
/proc/loadavg: 2.19 2.23 2.18 3/184 23832
/proc/meminfo: memFree=28549192/32872528 swapFree=1085692/1157232
[pid=23823] ppid=23820 vsize=1321540 CPUtime=102.28 cores=1,3,5,7
/proc/23823/stat : 23823 (toysat) R 23820 23823 21062 0 -1 4202496 271526 0 0 0 10189 39 0 0 20 0 4 0 29369858 1353256960 272336 33554432000 4194304 16246674 140735854406368 140735854388288 5712204 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23823/statm: 330385 272336 892 2943 0 327279 0
[pid=23823/tid=23824] ppid=23820 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23824/stat : 23824 (toysat) S 23820 23823 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29369858 1353256960 272336 33554432000 4194304 16246674 140735854406368 139696325766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=23823/tid=23825] ppid=23820 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23825/stat : 23825 (toysat) S 23820 23823 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29369858 1353256960 272336 33554432000 4194304 16246674 140735854406368 139696315276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=23823/tid=23826] ppid=23820 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23826/stat : 23826 (toysat) S 23820 23823 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29369858 1353256960 272336 33554432000 4194304 16246674 140735854406368 139696227216560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1321540


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

/proc/23823/task/23826/stat : 23826 (toysat) S 23820 23823 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29369858 1372131328 276782 33554432000 4194304 16246674 140735854406368 139696227216560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1339972

[startup+1302.3 s]
/proc/loadavg: 2.11 2.11 2.12 3/184 23885
/proc/meminfo: memFree=28503024/32872528 swapFree=1085692/1157232
[pid=23823] ppid=23820 vsize=1339972 CPUtime=1301.88 cores=1,3,5,7
/proc/23823/stat : 23823 (toysat) R 23820 23823 21062 0 -1 4202496 276505 0 0 0 130132 56 0 0 20 0 4 0 29369858 1372131328 276993 33554432000 4194304 16246674 140735854406368 140735854388288 13759557 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23823/statm: 334993 276993 892 2943 0 331887 0
[pid=23823/tid=23824] ppid=23820 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23824/stat : 23824 (toysat) S 23820 23823 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29369858 1372131328 276993 33554432000 4194304 16246674 140735854406368 139696325766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=23823/tid=23825] ppid=23820 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23825/stat : 23825 (toysat) S 23820 23823 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29369858 1372131328 276993 33554432000 4194304 16246674 140735854406368 139696315276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=23823/tid=23826] ppid=23820 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23826/stat : 23826 (toysat) S 23820 23823 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29369858 1372131328 276993 33554432000 4194304 16246674 140735854406368 139696227216560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1339972

[startup+1362.3 s]
/proc/loadavg: 2.11 2.12 2.12 3/183 23886
/proc/meminfo: memFree=28503264/32872528 swapFree=1085692/1157232
[pid=23823] ppid=23820 vsize=1339972 CPUtime=1361.85 cores=1,3,5,7
/proc/23823/stat : 23823 (toysat) R 23820 23823 21062 0 -1 4202496 276552 0 0 0 136127 58 0 0 20 0 4 0 29369858 1372131328 276993 33554432000 4194304 16246674 140735854406368 140735854388288 5712144 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23823/statm: 334993 276993 892 2943 0 331887 0
[pid=23823/tid=23824] ppid=23820 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23824/stat : 23824 (toysat) S 23820 23823 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29369858 1372131328 276993 33554432000 4194304 16246674 140735854406368 139696325766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=23823/tid=23825] ppid=23820 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23825/stat : 23825 (toysat) S 23820 23823 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29369858 1372131328 276993 33554432000 4194304 16246674 140735854406368 139696315276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=23823/tid=23826] ppid=23820 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23826/stat : 23826 (toysat) S 23820 23823 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29369858 1372131328 276993 33554432000 4194304 16246674 140735854406368 139696227216560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1339972

[startup+1422.3 s]
/proc/loadavg: 2.11 2.11 2.11 3/183 23887
/proc/meminfo: memFree=28503608/32872528 swapFree=1085692/1157232
[pid=23823] ppid=23820 vsize=1339972 CPUtime=1421.84 cores=1,3,5,7
/proc/23823/stat : 23823 (toysat) R 23820 23823 21062 0 -1 4202496 276560 0 0 0 142126 58 0 0 20 0 4 0 29369858 1372131328 276993 33554432000 4194304 16246674 140735854406368 140735854388288 5677277 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23823/statm: 334993 276993 892 2943 0 331887 0
[pid=23823/tid=23824] ppid=23820 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23824/stat : 23824 (toysat) S 23820 23823 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29369858 1372131328 276993 33554432000 4194304 16246674 140735854406368 139696325766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=23823/tid=23825] ppid=23820 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23825/stat : 23825 (toysat) S 23820 23823 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29369858 1372131328 276993 33554432000 4194304 16246674 140735854406368 139696315276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=23823/tid=23826] ppid=23820 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23826/stat : 23826 (toysat) S 23820 23823 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29369858 1372131328 276993 33554432000 4194304 16246674 140735854406368 139696227216560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1339972

[startup+1482.3 s]
/proc/loadavg: 2.08 2.10 2.10 4/183 23888
/proc/meminfo: memFree=28503480/32872528 swapFree=1085692/1157232
[pid=23823] ppid=23820 vsize=1339972 CPUtime=1481.82 cores=1,3,5,7
/proc/23823/stat : 23823 (toysat) R 23820 23823 21062 0 -1 4202496 276560 0 0 0 148123 59 0 0 20 0 4 0 29369858 1372131328 276993 33554432000 4194304 16246674 140735854406368 140735854388288 12468485 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23823/statm: 334993 276993 892 2943 0 331887 0
[pid=23823/tid=23824] ppid=23820 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23824/stat : 23824 (toysat) S 23820 23823 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29369858 1372131328 276993 33554432000 4194304 16246674 140735854406368 139696325766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=23823/tid=23825] ppid=23820 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23825/stat : 23825 (toysat) S 23820 23823 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29369858 1372131328 276993 33554432000 4194304 16246674 140735854406368 139696315276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=23823/tid=23826] ppid=23820 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23826/stat : 23826 (toysat) S 23820 23823 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29369858 1372131328 276993 33554432000 4194304 16246674 140735854406368 139696227216560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1339972

[startup+1542.31 s]
/proc/loadavg: 2.06 2.10 2.10 3/183 23889
/proc/meminfo: memFree=28503732/32872528 swapFree=1085692/1157232
[pid=23823] ppid=23820 vsize=1339972 CPUtime=1541.83 cores=1,3,5,7
/proc/23823/stat : 23823 (toysat) R 23820 23823 21062 0 -1 4202496 276560 0 0 0 154123 60 0 0 20 0 4 0 29369858 1372131328 276993 33554432000 4194304 16246674 140735854406368 140735854388288 5712656 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23823/statm: 334993 276993 892 2943 0 331887 0
[pid=23823/tid=23824] ppid=23820 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23824/stat : 23824 (toysat) S 23820 23823 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29369858 1372131328 276993 33554432000 4194304 16246674 140735854406368 139696325766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=23823/tid=23825] ppid=23820 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23825/stat : 23825 (toysat) S 23820 23823 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29369858 1372131328 276993 33554432000 4194304 16246674 140735854406368 139696315276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=23823/tid=23826] ppid=23820 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23826/stat : 23826 (toysat) S 23820 23823 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29369858 1372131328 276993 33554432000 4194304 16246674 140735854406368 139696227216560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1339972

[startup+1602.3 s]
/proc/loadavg: 2.06 2.09 2.09 3/183 23891
/proc/meminfo: memFree=28503980/32872528 swapFree=1085692/1157232
[pid=23823] ppid=23820 vsize=1339972 CPUtime=1601.8 cores=1,3,5,7
/proc/23823/stat : 23823 (toysat) R 23820 23823 21062 0 -1 4202496 276560 0 0 0 160120 60 0 0 20 0 4 0 29369858 1372131328 276993 33554432000 4194304 16246674 140735854406368 140735854388288 13006856 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23823/statm: 334993 276993 892 2943 0 331887 0
[pid=23823/tid=23824] ppid=23820 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23824/stat : 23824 (toysat) S 23820 23823 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29369858 1372131328 276993 33554432000 4194304 16246674 140735854406368 139696325766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=23823/tid=23825] ppid=23820 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23825/stat : 23825 (toysat) S 23820 23823 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29369858 1372131328 276993 33554432000 4194304 16246674 140735854406368 139696315276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=23823/tid=23826] ppid=23820 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23826/stat : 23826 (toysat) S 23820 23823 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29369858 1372131328 276993 33554432000 4194304 16246674 140735854406368 139696227216560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1339972

[startup+1662.3 s]
/proc/loadavg: 2.19 2.12 2.10 3/183 23892
/proc/meminfo: memFree=28503976/32872528 swapFree=1085692/1157232
[pid=23823] ppid=23820 vsize=1339972 CPUtime=1661.8 cores=1,3,5,7
/proc/23823/stat : 23823 (toysat) R 23820 23823 21062 0 -1 4202496 276560 0 0 0 166119 61 0 0 20 0 4 0 29369858 1372131328 276993 33554432000 4194304 16246674 140735854406368 140735854388288 5600176 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23823/statm: 334993 276993 892 2943 0 331887 0
[pid=23823/tid=23824] ppid=23820 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23824/stat : 23824 (toysat) S 23820 23823 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29369858 1372131328 276993 33554432000 4194304 16246674 140735854406368 139696325766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=23823/tid=23825] ppid=23820 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23825/stat : 23825 (toysat) S 23820 23823 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29369858 1372131328 276993 33554432000 4194304 16246674 140735854406368 139696315276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=23823/tid=23826] ppid=23820 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23826/stat : 23826 (toysat) S 23820 23823 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29369858 1372131328 276993 33554432000 4194304 16246674 140735854406368 139696227216560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1339972

[startup+1722.3 s]
/proc/loadavg: 2.17 2.12 2.10 3/183 23893
/proc/meminfo: memFree=28503732/32872528 swapFree=1085692/1157232
[pid=23823] ppid=23820 vsize=1339972 CPUtime=1721.79 cores=1,3,5,7
/proc/23823/stat : 23823 (toysat) R 23820 23823 21062 0 -1 4202496 276560 0 0 0 172118 61 0 0 20 0 4 0 29369858 1372131328 276993 33554432000 4194304 16246674 140735854406368 140735854388288 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23823/statm: 334993 276993 892 2943 0 331887 0
[pid=23823/tid=23824] ppid=23820 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23824/stat : 23824 (toysat) S 23820 23823 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29369858 1372131328 276993 33554432000 4194304 16246674 140735854406368 139696325766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=23823/tid=23825] ppid=23820 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23825/stat : 23825 (toysat) S 23820 23823 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29369858 1372131328 276993 33554432000 4194304 16246674 140735854406368 139696315276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=23823/tid=23826] ppid=23820 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23826/stat : 23826 (toysat) S 23820 23823 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29369858 1372131328 276993 33554432000 4194304 16246674 140735854406368 139696227216560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1339972

[startup+1782.3 s]
/proc/loadavg: 2.11 2.11 2.09 3/183 23943
/proc/meminfo: memFree=28524716/32872528 swapFree=1085692/1157232
[pid=23823] ppid=23820 vsize=1339972 CPUtime=1781.78 cores=1,3,5,7
/proc/23823/stat : 23823 (toysat) R 23820 23823 21062 0 -1 4202496 276560 0 0 0 178116 62 0 0 20 0 4 0 29369858 1372131328 276993 33554432000 4194304 16246674 140735854406368 140735854388288 5677884 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23823/statm: 334993 276993 892 2943 0 331887 0
[pid=23823/tid=23824] ppid=23820 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23824/stat : 23824 (toysat) S 23820 23823 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29369858 1372131328 276993 33554432000 4194304 16246674 140735854406368 139696325766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=23823/tid=23825] ppid=23820 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23825/stat : 23825 (toysat) S 23820 23823 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29369858 1372131328 276993 33554432000 4194304 16246674 140735854406368 139696315276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=23823/tid=23826] ppid=23820 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23826/stat : 23826 (toysat) S 23820 23823 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29369858 1372131328 276993 33554432000 4194304 16246674 140735854406368 139696227216560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1339972



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.09 2.11 2.09 4/183 23943
/proc/meminfo: memFree=28525540/32872528 swapFree=1085692/1157232
[pid=23823] ppid=23820 vsize=1339972 CPUtime=1800.07 cores=1,3,5,7
/proc/23823/stat : 23823 (toysat) R 23820 23823 21062 0 -1 4202496 276560 0 0 0 179945 62 0 0 20 0 4 0 29369858 1372131328 276993 33554432000 4194304 16246674 140735854406368 140735854388288 5711372 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23823/statm: 334993 276993 892 2943 0 331887 0
[pid=23823/tid=23824] ppid=23820 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23824/stat : 23824 (toysat) S 23820 23823 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29369858 1372131328 276993 33554432000 4194304 16246674 140735854406368 139696325766384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=23823/tid=23825] ppid=23820 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23825/stat : 23825 (toysat) S 23820 23823 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29369858 1372131328 276993 33554432000 4194304 16246674 140735854406368 139696315276528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=23823/tid=23826] ppid=23820 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/23823/task/23826/stat : 23826 (toysat) S 23820 23823 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29369858 1372131328 276993 33554432000 4194304 16246674 140735854406368 139696227216560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1339972

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 23823 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.09
CPU user time (s): 1799.46
CPU system time (s): 0.629904
CPU usage (%): 99.9714
Max. virtual memory (cumulated for all children) (KiB): 1339972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 0.629904
maximum resident set size= 1107972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276560
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= 395
involuntary context switches= 2310

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.78312 second user time and 8.88465 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-26 19:48:22
IDJOB=4116125
IDBENCH=109431
IDSOLVER=2542
FILE ID=node114/4116125-1466963302
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-round22-8.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116125-1466963302/watcher-4116125-1466963302 -o /tmp/evaluation-result-4116125-1466963302/solver-4116125-1466963302 -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-4116125-1466963302.opb

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

MD5SUM BENCH= b49aa9fcb097a8864fa7f149914f20bf
RANDOM SEED=181053108

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:        29636388 kB
Buffers:           35132 kB
Cached:           221908 kB
SwapCached:        38928 kB
Active:          1143692 kB
Inactive:         230176 kB
Active(anon):    1081352 kB
Inactive(anon):    37760 kB
Active(file):      62340 kB
Inactive(file):   192416 kB
Unevictable:     1157232 kB
Mlocked:         1085692 kB
SwapTotal:      67108856 kB
SwapFree:       67061384 kB
Dirty:             16720 kB
Writeback:             0 kB
AnonPages:       2356572 kB
Mapped:            10728 kB
Shmem:                 0 kB
Slab:             567256 kB
SReclaimable:      11392 kB
SUnreclaim:       555864 kB
KernelStack:        1520 kB
PageTables:         8496 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2380276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    194560 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 20:18:23