Trace number 4117165

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

General information on the benchmark

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

Solver Data 

0.00/0.00	c 2016-06-26T15:42:14+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-4117165-1466948534.opb"]
0.00/0.01	c use --random-gen="2496780041 3151663462 535303554 3899307099 956413738 3267269233 3213518354 358730077 1984711470 77046943 2646634846 101716066 3668155585 3441223253 479359304 3308587234 3404878609 2211726637 3483653065 3830172880 3854377140 2229750819 655969211 3946868545 4011664059 763995144 1657365135 3840312853 1041935558 3869468837 3257190327 3594808522 2089897416 2320343176 1587307448 701405394 260720419 383957102 3632875551 3169819787 1346576717 1974241712 3627787705 2158806009 3057227152 1557468438 3601153078 1729348647 80774259 2673112344 812911556 2001316987 1545055084 1481372254 1887688299 757356553 3252595118 2293702538 3392031463 2380514600 2718440224 3045838866 864313139 1105855236 1097457974 654381733 3887492538 573076195 3222467383 3306115783 3136717185 1185973810 2200286962 168504265 2238116181 1977896183 690682392 3852749721 1098658222 4202597924 2588784339 1011259886 2304820006 1098844861 2390328163 2515276827 2685661428 2205009549 133246230 697496032 535814929 179772713 2652086225 2687878937 1134100247 2152314028 2459230377 3492829996 2855087717 4038752865 3827446572 411391731 1220202621 3293211236 705318177 2133968427 3267930215 2262204480 3950630592 2984908944 539772623 1748894588 3728026997 2807967640 3767965500 1147768110 450896488 3627238568 4231560556 2330708128 336716538 4205370895 781565356 2488491288 2908752537 1906655345 672541635 2318535382 3029091485 4080132073 4127241559 2762151998 1662465299 1937153881 929480810 1983125909 1541227085 114455870 1397849425 373490066 1709180536 1653759955 1411068840 3930004795 2041036577 2494816271 550242938 2322855275 774510212 27531874 621780435 1247362912 3046351888 2184562482 1106643536 423582328 2697191884 2926384967 2290190792 694010281 2630608884 922322059 3460604517 88538280 3958907726 137510061 1160879842 3204834403 3497794948 2158963669 3935144421 3775579842 3641045257 31155573 3210085192 3897858410 3845849577 2446404208 2629258693 776400609 3764032378 501791590 1958493531 3766072655 3747743116 2249278492 259237842 1635245064 2614073585 470258049 2812028132 757751176 3681897793 2231252963 4288231315 1381975781 2067343960 3151266295 328853086 2972068918 2817335631 2827425588 1054941339 3091382207 1940911478 4234492815 1682191296 955569237 2815437681 674327123 2806019162 3556421957 2588458349 922284085 1643122763 1720966086 2675677821 3384969813 3467447124 1095998442 1569621148 96814679 3232382085 863304927 1150867910 2986742693 3800216607 2127560727 752328671 1610842926 4268911094 4057077006 2504879811 2798251060 3576907709 3838285883 1935540562 3948704473 1137899499 3741230827 2155679318 1594589128 1508516399 858337951 1965210272 1706238256 1763225213 595124123 2694643207 1994846180 2937372909 3339597405 2431125414 539081082 2897680581 3770990249 255 362436" option to reproduce the execution
0.00/0.09	c #vars 3968
0.00/0.09	c #constraints 7888
0.19/0.23	c Solving starts ...
0.19/0.23	c ============================[ Search Statistics ]============================
0.19/0.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.23	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.23	c =============================================================================
0.19/0.23	c  0.0s |       0 |        0 |        0 |     3904      0 |      709 |        0
0.28/0.30	c  0.1s |       1 |     1036 |      100 |     3904      0 |      710 |      458
0.28/0.39	c  0.2s |       2 |     2499 |      250 |     4295      0 |      710 |      458
0.48/0.56	c  0.3s |       3 |     4834 |      475 |     4725      0 |      711 |      458
0.88/0.99	c  0.8s |       4 |     6420 |      813 |     5198      0 |      711 |      458
1.29/1.35	c  1.1s |       5 |     9718 |     1320 |     5718      0 |      711 |      458
2.20/2.28	c  2.1s |       6 |    11269 |     2081 |     6920      0 |      711 |      458
3.09/3.18	c  2.9s |       7 |    15556 |     3223 |     7613      0 |      711 |      458
4.99/5.02	c  4.8s |       8 |    19387 |     4936 |     8375      0 |      711 |      458
6.99/7.04	c  6.8s |       8 |    27171 |     7336 |     8375      0 |      711 |      458
7.09/7.17	c  6.9s |       9 |    28598 |     7506 |     9213      0 |      711 |      458
9.09/9.19	c  9.0s |       9 |    32307 |     9006 |     9213      0 |      711 |      458
11.29/11.32	c 11.1s |       9 |    34220 |    10306 |     9213      0 |      711 |      458
12.89/12.90	c 12.7s |      10 |    35469 |    11361 |    10135      0 |      711 |      458
14.89/14.92	c 14.7s |      10 |    42065 |    13161 |    10135      1 |      711 |      458
16.89/16.93	c 16.7s |      10 |    44009 |    14561 |    10135      1 |      711 |      458
18.99/19.03	c 18.8s |      10 |    45893 |    15961 |    10135      1 |      711 |      458
21.00/21.09	c 20.9s |      11 |    47361 |    17144 |    11149      1 |      711 |      458
23.20/23.23	c 23.0s |      11 |    54317 |    18944 |    11149      1 |      711 |      458
25.19/25.25	c 25.0s |      11 |    56258 |    20344 |    11149      2 |      711 |      458
27.28/27.38	c 27.2s |      11 |    57936 |    21744 |    11149      2 |      711 |      458
29.28/29.39	c 29.2s |      11 |    59351 |    22944 |    11149      2 |      711 |      458
31.38/31.43	c 31.2s |      11 |    60682 |    24044 |    11149      2 |      711 |      458
33.48/33.54	c 33.3s |      11 |    61934 |    25144 |    11149      2 |      711 |      458
34.88/34.98	c 34.7s |      12 |    62694 |    25819 |    12264      2 |      711 |      458
36.88/36.98	c 36.8s |      12 |    67581 |    27319 |    12264      3 |      711 |      458
38.98/39.00	c 38.8s |      12 |    71208 |    29119 |    12264      3 |      711 |      458
40.98/41.05	c 40.8s |      12 |    74113 |    30619 |    12264      3 |      711 |      458
43.08/43.10	c 42.9s |      12 |    78919 |    32519 |    12264      3 |      711 |      458
45.19/45.21	c 45.0s |      12 |    80577 |    33719 |    12264      3 |      711 |      458
47.18/47.27	c 47.0s |      12 |    81966 |    34719 |    12264      4 |      711 |      458
49.38/49.44	c 49.2s |      12 |    83423 |    35819 |    12264      4 |      711 |      458
51.48/51.56	c 51.3s |      12 |    84518 |    36719 |    12264      4 |      711 |      458
53.58/53.62	c 53.4s |      12 |    85597 |    37619 |    12264      4 |      711 |      458
55.68/55.74	c 55.5s |      12 |    86504 |    38419 |    12264      4 |      711 |      458
56.58/56.68	c 56.4s |      13 |    86987 |    38832 |    13491      4 |      711 |      458
58.68/58.74	c 58.5s |      13 |    93494 |    41132 |    13491      4 |      711 |      458
60.78/60.87	c 60.6s |      13 |    95866 |    42832 |    13491      4 |      711 |      458
62.79/62.89	c 62.7s |      13 |    97130 |    43832 |    13491      5 |      711 |      458
64.99/65.06	c 64.8s |      13 |    98576 |    45032 |    13491      5 |      711 |      458
67.08/67.15	c 66.9s |      13 |    99733 |    46032 |    13491      5 |      711 |      458
69.29/69.32	c 69.1s |      13 |   100913 |    47032 |    13491      5 |      711 |      458
71.28/71.35	c 71.1s |      13 |   101923 |    47932 |    13491      5 |      711 |      458
73.48/73.50	c 73.3s |      13 |   103112 |    48932 |    13491      5 |      711 |      458
75.58/75.68	c 75.4s |      13 |   104267 |    49932 |    13491      5 |      711 |      458
77.78/77.84	c 77.6s |      13 |   105289 |    50832 |    13491      5 |      711 |      458
79.98/80.05	c 79.8s |      13 |   106328 |    51732 |    13491      5 |      711 |      458
82.08/82.14	c 81.9s |      13 |   107213 |    52532 |    13491      6 |      711 |      458
84.18/84.21	c 84.0s |      13 |   108243 |    53432 |    13491      6 |      711 |      458
86.18/86.23	c 86.0s |      13 |   109157 |    54232 |    13491      6 |      711 |      458
88.38/88.42	c 88.2s |      13 |   110030 |    55032 |    13491      6 |      711 |      458
90.38/90.47	c 90.2s |      13 |   110790 |    55732 |    13491      6 |      711 |      458
92.49/92.52	c 92.3s |      13 |   111557 |    56432 |    13491      6 |      711 |      458
94.59/94.63	c 94.4s |      13 |   112455 |    57232 |    13491      6 |      711 |      458
96.68/96.77	c 96.5s |      13 |   113385 |    58032 |    14841      6 |      711 |      458
97.78/97.82	c 97.6s |      14 |   113738 |    58352 |    14841      6 |      711 |      458
99.88/99.91	c 99.7s |      14 |   117371 |    59952 |    14841      6 |      711 |      458
101.88/101.95	c  101s |      14 |   119014 |    61452 |    14841      6 |      711 |      458
104.08/104.12	c  103s |      14 |   120198 |    62552 |    14841      7 |      711 |      458
106.08/106.16	c  105s |      14 |   121374 |    63652 |    14841      7 |      711 |      458
108.28/108.34	c  108s |      14 |   122534 |    64752 |    14841      7 |      711 |      458
110.28/110.39	c  110s |      14 |   123611 |    65752 |    14841      7 |      711 |      458
112.38/112.45	c  112s |      14 |   124556 |    66652 |    14841      7 |      711 |      458
114.38/114.46	c  114s |      14 |   125382 |    67452 |    14841      7 |      711 |      458
116.58/116.63	c  116s |      14 |   126445 |    68452 |    14841      7 |      711 |      458
118.68/118.78	c  118s |      14 |   127435 |    69352 |    14841      7 |      711 |      458
120.87/120.96	c  120s |      14 |   128404 |    70252 |    14841      7 |      711 |      458
122.97/123.02	c  122s |      14 |   129171 |    70952 |    14841      8 |      711 |      458
125.07/125.15	c  124s |      14 |   130160 |    71852 |    14841      8 |      711 |      458
127.07/127.15	c  126s |      14 |   131141 |    72752 |    14841      8 |      711 |      458
129.17/129.24	c  129s |      14 |   131987 |    73552 |    14841      8 |      711 |      458
131.37/131.41	c  131s |      14 |   132822 |    74352 |    14841      8 |      711 |      458
133.57/133.60	c  133s |      14 |   133654 |    75152 |    14841      8 |      711 |      458
135.57/135.64	c  135s |      14 |   134396 |    75852 |    14841      8 |      711 |      458
137.87/137.91	c  137s |      14 |   135235 |    76652 |    14841      8 |      711 |      458
140.07/140.20	c  139s |      14 |   136090 |    77452 |    14841      8 |      711 |      458
142.37/142.46	c  142s |      14 |   136973 |    78252 |    14841      8 |      711 |      458
144.47/144.57	c  144s |      14 |   137732 |    78952 |    14841      8 |      711 |      458
146.87/146.94	c  146s |      14 |   138470 |    79652 |    14841      8 |      711 |      458
148.97/149.05	c  148s |      14 |   139095 |    80252 |    14841      9 |      711 |      458
151.07/151.18	c  150s |      14 |   139931 |    81052 |    14841      9 |      711 |      458
153.17/153.21	c  152s |      14 |   140648 |    81752 |    14841      9 |      711 |      458
155.18/155.27	c  155s |      14 |   141390 |    82452 |    14841      9 |      711 |      458
157.17/157.28	c  157s |      14 |   142151 |    83152 |    14841      9 |      711 |      458
159.48/159.56	c  159s |      14 |   143009 |    83952 |    14841      9 |      711 |      458
161.57/161.61	c  161s |      14 |   143674 |    84552 |    14841      9 |      711 |      458
163.57/163.64	c  163s |      14 |   144452 |    85252 |    14841      9 |      711 |      458
165.67/165.71	c  165s |      14 |   145205 |    85952 |    14841      9 |      711 |      458
167.87/167.90	c  167s |      14 |   145990 |    86652 |    14841      9 |      711 |      458
169.96/170.00	c  169s |      14 |   146784 |    87352 |    16326      9 |      711 |      458
170.66/170.76	c  170s |      15 |   147099 |    87632 |    16326      9 |      711 |      458
172.68/172.77	c  172s |      15 |   152763 |    89432 |    16326      9 |      711 |      458
174.77/174.81	c  174s |      15 |   154187 |    90532 |    16326     10 |      711 |      458
176.76/176.81	c  176s |      15 |   155412 |    91532 |    16326     10 |      711 |      458
178.96/179.00	c  178s |      15 |   156883 |    92732 |    16326     10 |      711 |      458
180.96/181.05	c  180s |      15 |   158062 |    93732 |    16326     10 |      711 |      458
183.06/183.11	c  182s |      15 |   159168 |    94632 |    16326     10 |      711 |      458
185.06/185.16	c  184s |      15 |   162323 |    96032 |    16326     10 |      711 |      458
187.26/187.33	c  187s |      15 |   163989 |    97332 |    16326     10 |      711 |      458
189.27/189.38	c  189s |      15 |   166007 |    98532 |    16326     10 |      711 |      458
191.47/191.56	c  191s |      15 |   167206 |    99532 |    16326     10 |      711 |      458
193.57/193.63	c  193s |      15 |   168596 |   100432 |    16326     11 |      711 |      458
195.66/195.70	c  195s |      15 |   170082 |   101532 |    16326     11 |      711 |      458
197.66/197.78	c  197s |      15 |   171328 |   102532 |    16326     11 |      711 |      458
199.96/200.03	c  199s |      15 |   172445 |   103432 |    16326     11 |      711 |      458
202.16/202.25	c  202s |      15 |   173379 |   104232 |    16326     11 |      711 |      458
204.36/204.48	c  204s |      15 |   174173 |   104932 |    16326     11 |      711 |      458
206.45/206.55	c  206s |      15 |   174982 |   105632 |    16326     11 |      711 |      458
208.65/208.70	c  208s |      15 |   175967 |   106432 |    16326     11 |      711 |      458
210.65/210.78	c  210s |      15 |   176760 |   107132 |    16326     11 |      711 |      458
212.95/213.01	c  212s |      15 |   177571 |   107832 |    16326     11 |      711 |      458
215.25/215.32	c  215s |      15 |   178348 |   108532 |    16326     11 |      711 |      458
217.25/217.34	c  217s |      15 |   179042 |   109132 |    16326     11 |      711 |      458
219.45/219.52	c  219s |      15 |   179748 |   109732 |    16326     12 |      711 |      458
221.45/221.55	c  221s |      15 |   180545 |   110432 |    16326     12 |      711 |      458
223.45/223.59	c  223s |      15 |   181335 |   111132 |    16326     12 |      711 |      458
225.56/225.66	c  225s |      15 |   181991 |   111732 |    16326     12 |      711 |      458
227.76/227.89	c  227s |      15 |   182960 |   112532 |    16326     12 |      711 |      458
229.87/229.96	c  229s |      15 |   183811 |   113232 |    16326     12 |      711 |      458
231.96/232.07	c  231s |      15 |   184592 |   113932 |    16326     12 |      711 |      458
234.06/234.17	c  233s |      15 |   185363 |   114632 |    16326     12 |      711 |      458
236.36/236.44	c  236s |      15 |   186128 |   115332 |    16326     12 |      711 |      458
238.36/238.49	c  238s |      15 |   186779 |   115932 |    16326     12 |      711 |      458
240.56/240.65	c  240s |      15 |   187580 |   116632 |    16326     12 |      711 |      458
242.76/242.80	c  242s |      15 |   188387 |   117332 |    16326     12 |      711 |      458
244.76/244.89	c  244s |      15 |   189078 |   117932 |    16326     12 |      711 |      458
246.86/246.92	c  246s |      15 |   189745 |   118532 |    16326     12 |      711 |      458
248.96/249.08	c  248s |      15 |   190442 |   119132 |    16326     12 |      711 |      458
250.96/251.10	c  250s |      15 |   191170 |   119732 |    16326     13 |      711 |      458
253.07/253.12	c  252s |      15 |   191963 |   120432 |    16326     13 |      711 |      458
255.16/255.28	c  255s |      15 |   192740 |   121132 |    16326     13 |      711 |      458
257.25/257.38	c  257s |      15 |   193542 |   121832 |    16326     13 |      711 |      458
259.45/259.54	c  259s |      15 |   194320 |   122532 |    16326     13 |      711 |      458
261.65/261.75	c  261s |      15 |   195191 |   123232 |    16326     13 |      711 |      458
263.96/264.01	c  263s |      15 |   196309 |   124032 |    16326     13 |      711 |      458
266.26/266.36	c  266s |      15 |   197095 |   124732 |    16326     13 |      711 |      458
268.36/268.50	c  268s |      15 |   197780 |   125332 |    16326     13 |      711 |      458
270.45/270.60	c  270s |      15 |   198468 |   125932 |    16326     13 |      711 |      458
272.65/272.73	c  272s |      15 |   199124 |   126532 |    16326     13 |      711 |      458
274.75/274.83	c  274s |      15 |   199666 |   127032 |    16326     13 |      711 |      458
277.05/277.12	c  276s |      15 |   200377 |   127632 |    16326     13 |      711 |      458
279.15/279.28	c  279s |      15 |   201035 |   128232 |    16326     13 |      711 |      458
281.75/281.88	c  281s |      15 |   201689 |   128832 |    16326     14 |      711 |      458
284.05/284.13	c  283s |      15 |   202440 |   129532 |    16326     14 |      711 |      458
286.25/286.37	c  286s |      15 |   203243 |   130232 |    16326     14 |      711 |      458
288.55/288.62	c  288s |      15 |   204024 |   130932 |    17959     14 |      711 |      458
290.55/290.63	c  290s |      15 |   204701 |   131532 |    17959     14 |      711 |      458
290.65/290.71	c  290s |      16 |   204728 |   131552 |    17959     14 |      711 |      458
292.74/292.81	c  292s |      16 |   210925 |   133552 |    17959     14 |      711 |      458
294.75/294.82	c  294s |      16 |   217718 |   136052 |    17959     14 |      711 |      458
296.84/296.92	c  296s |      16 |   222470 |   138152 |    17959     14 |      711 |      458
299.04/299.12	c  298s |      16 |   223608 |   138952 |    17959     14 |      711 |      458
301.04/301.17	c  300s |      16 |   224174 |   139452 |    17959     14 |      711 |      458
303.14/303.22	c  302s |      16 |   225996 |   140452 |    17959     15 |      711 |      458
305.24/305.31	c  305s |      16 |   227455 |   141552 |    17959     15 |      711 |      458
307.44/307.50	c  307s |      16 |   228587 |   142452 |    17959     15 |      711 |      458
309.44/309.56	c  309s |      16 |   229752 |   143252 |    17959     15 |      711 |      458
311.74/311.84	c  311s |      16 |   230757 |   144052 |    17959     15 |      711 |      458
314.14/314.28	c  314s |      16 |   231619 |   144752 |    17959     15 |      711 |      458
316.54/316.66	c  316s |      16 |   232554 |   145452 |    17959     15 |      711 |      458
318.95/319.02	c  318s |      16 |   233387 |   146152 |    17959     15 |      711 |      458
321.15/321.26	c  321s |      16 |   234074 |   146752 |    17959     15 |      711 |      458
323.35/323.48	c  323s |      16 |   234804 |   147352 |    17959     15 |      711 |      458
325.65/325.76	c  325s |      16 |   235690 |   148052 |    17959     15 |      711 |      458
328.04/328.12	c  327s |      16 |   236522 |   148752 |    17959     15 |      711 |      458
330.05/330.16	c  329s |      16 |   237284 |   149352 |    17959     15 |      711 |      458
332.25/332.35	c  332s |      16 |   238043 |   149952 |    17959     15 |      711 |      458
334.35/334.44	c  334s |      16 |   238429 |   150252 |    17959     16 |      711 |      458
336.34/336.45	c  336s |      16 |   239020 |   150752 |    17959     16 |      711 |      458
338.75/338.83	c  338s |      16 |   239790 |   151352 |    17959     16 |      711 |      458
341.05/341.17	c  340s |      16 |   240468 |   151952 |    17959     16 |      711 |      458
343.15/343.21	c  342s |      16 |   241046 |   152452 |    17959     16 |      711 |      458
345.45/345.54	c  345s |      16 |   241757 |   153052 |    17959     16 |      711 |      458
347.55/347.63	c  347s |      16 |   242346 |   153552 |    17959     16 |      711 |      458
349.74/349.85	c  349s |      16 |   242942 |   154052 |    17959     16 |      711 |      458
352.04/352.11	c  351s |      16 |   243634 |   154652 |    17959     16 |      711 |      458
354.33/354.41	c  354s |      16 |   244228 |   155152 |    17959     16 |      711 |      458
356.44/356.52	c  356s |      16 |   244823 |   155652 |    17959     16 |      711 |      458
358.93/359.00	c  358s |      16 |   245412 |   156152 |    17959     16 |      711 |      458
360.93/361.02	c  360s |      16 |   245998 |   156652 |    17959     16 |      711 |      458
363.43/363.51	c  363s |      16 |   246586 |   157152 |    17959     16 |      711 |      458
365.53/365.62	c  365s |      16 |   247046 |   157552 |    17959     16 |      711 |      458
367.83/367.91	c  367s |      16 |   247636 |   158052 |    17959     16 |      711 |      458
370.03/370.19	c  369s |      16 |   248083 |   158452 |    17959     16 |      711 |      458
372.14/372.28	c  372s |      16 |   248664 |   158952 |    17959     16 |      711 |      458
374.44/374.50	c  374s |      16 |   249261 |   159452 |    17959     16 |      711 |      458
376.93/377.09	c  376s |      16 |   249892 |   159952 |    17959     17 |      711 |      458
379.03/379.13	c  378s |      16 |   251021 |   160752 |    17959     17 |      711 |      458
381.13/381.23	c  380s |      16 |   251679 |   161352 |    17959     17 |      711 |      458
383.13/383.25	c  383s |      16 |   253158 |   162352 |    17959     17 |      711 |      458
385.23/385.39	c  385s |      16 |   254526 |   163352 |    17959     17 |      711 |      458
387.53/387.65	c  387s |      16 |   255739 |   164352 |    17959     17 |      711 |      458
389.83/389.93	c  389s |      16 |   256688 |   165152 |    17959     17 |      711 |      458
392.23/392.34	c  392s |      16 |   257486 |   165852 |    17959     17 |      711 |      458
394.23/394.39	c  394s |      16 |   258018 |   166352 |    17959     17 |      711 |      458
396.43/396.59	c  396s |      16 |   258734 |   166952 |    17959     17 |      711 |      458
398.63/398.70	c  398s |      16 |   259716 |   167752 |    17959     17 |      711 |      458
400.73/400.83	c  400s |      16 |   260543 |   168452 |    17959     17 |      711 |      458
402.83/402.97	c  402s |      16 |   261240 |   169052 |    17959     17 |      711 |      458
405.03/405.16	c  404s |      16 |   262064 |   169752 |    17959     17 |      711 |      458
407.03/407.20	c  406s |      16 |   262817 |   170352 |    17959     17 |      711 |      458
409.13/409.23	c  408s |      16 |   263304 |   170752 |    17959     18 |      711 |      458
411.22/411.35	c  411s |      16 |   264173 |   171452 |    17959     18 |      711 |      458
413.42/413.60	c  413s |      16 |   265007 |   172152 |    17959     18 |      711 |      458
415.73/415.87	c  415s |      16 |   265849 |   172852 |    17959     18 |      711 |      458
417.82/417.95	c  417s |      16 |   266576 |   173452 |    17959     18 |      711 |      458
420.23/420.32	c  420s |      16 |   267402 |   174152 |    17959     18 |      711 |      458
422.52/422.61	c  422s |      16 |   268238 |   174852 |    17959     18 |      711 |      458
424.82/424.91	c  424s |      16 |   268947 |   175452 |    17959     18 |      711 |      458
426.92/427.04	c  426s |      16 |   269510 |   175952 |    17959     18 |      711 |      458
429.33/429.44	c  429s |      16 |   270074 |   176452 |    17959     18 |      711 |      458
431.63/431.77	c  431s |      16 |   270907 |   177152 |    17959     18 |      711 |      458
433.83/433.95	c  433s |      16 |   271645 |   177752 |    17959     18 |      711 |      458
436.23/436.30	c  436s |      16 |   272354 |   178352 |    17959     18 |      711 |      458
438.63/438.78	c  438s |      16 |   273029 |   178952 |    17959     18 |      711 |      458
440.63/440.79	c  440s |      16 |   274093 |   179652 |    17959     18 |      711 |      458
442.83/442.90	c  442s |      16 |   275081 |   180352 |    17959     18 |      711 |      458
444.83/444.98	c  444s |      16 |   275839 |   180952 |    17959     18 |      711 |      458
447.23/447.38	c  447s |      16 |   276402 |   181452 |    17959     19 |      711 |      458
449.62/449.75	c  449s |      16 |   276820 |   181852 |    17959     19 |      711 |      458
452.13/452.23	c  452s |      16 |   277535 |   182452 |    17959     19 |      711 |      458
454.12/454.28	c  454s |      16 |   278295 |   183052 |    17959     19 |      711 |      458
456.32/456.44	c  456s |      16 |   278863 |   183552 |    17959     19 |      711 |      458
458.63/458.71	c  458s |      16 |   279515 |   184052 |    17959     19 |      711 |      458
461.12/461.26	c  461s |      16 |   280386 |   184752 |    17959     19 |      711 |      458
463.52/463.63	c  463s |      16 |   280715 |   185052 |    17959     19 |      711 |      458
465.92/466.06	c  465s |      16 |   281182 |   185452 |    17959     19 |      711 |      458
469.82/469.98	c  469s |      16 |   282068 |   186152 |    17959     19 |      711 |      458
472.02/472.18	c  471s |      16 |   282320 |   186352 |    17959     19 |      711 |      458
475.32/475.46	c  475s |      16 |   282582 |   186552 |    17959     19 |      711 |      458
478.02/478.16	c  477s |      16 |   282811 |   186752 |    17959     19 |      711 |      458
480.12/480.27	c  480s |      16 |   285064 |   187852 |    17959     19 |      711 |      458
482.22/482.32	c  482s |      16 |   287078 |   189052 |    17959     19 |      711 |      458
484.22/484.39	c  484s |      16 |   288574 |   190052 |    17959     19 |      711 |      458
486.32/486.48	c  486s |      16 |   289781 |   190952 |    17959     19 |      711 |      458
488.32/488.49	c  488s |      16 |   292099 |   192152 |    17959     20 |      711 |      458
490.41/490.53	c  490s |      16 |   293355 |   193052 |    17959     20 |      711 |      458
492.41/492.56	c  492s |      16 |   294368 |   193752 |    17959     20 |      711 |      458
494.51/494.66	c  494s |      16 |   295245 |   194452 |    17959     20 |      711 |      458
496.71/496.89	c  496s |      16 |   296496 |   195352 |    17959     20 |      711 |      458
498.81/498.91	c  498s |      16 |   297386 |   196052 |    17959     20 |      711 |      458
501.11/501.27	c  501s |      16 |   298126 |   196652 |    19755     20 |      711 |      458
503.11/503.28	c  503s |      16 |   298828 |   197252 |    19755     20 |      711 |      458
503.61/503.80	c  503s |      17 |   299051 |   197432 |    19755     20 |      711 |      458
505.81/505.91	c  505s |      17 |   307657 |   199532 |    19755     20 |      711 |      458
507.91/508.03	c  507s |      17 |   310183 |   201132 |    19755     20 |      711 |      458
510.01/510.14	c  509s |      17 |   312105 |   202532 |    19755     20 |      711 |      458
512.11/512.27	c  512s |      17 |   313351 |   203532 |    19755     20 |      711 |      458
514.11/514.28	c  514s |      17 |   314482 |   204432 |    19755     21 |      711 |      458
516.31/516.46	c  516s |      17 |   315821 |   205532 |    19755     21 |      711 |      458
518.41/518.59	c  518s |      17 |   317056 |   206532 |    19755     21 |      711 |      458
520.71/520.81	c  520s |      17 |   318441 |   207632 |    19755     21 |      711 |      458
522.81/522.99	c  522s |      17 |   319684 |   208632 |    19755     21 |      711 |      458
525.01/525.11	c  524s |      17 |   320787 |   209532 |    19755     21 |      711 |      458
527.20/527.30	c  527s |      17 |   321955 |   210432 |    19755     21 |      711 |      458
529.20/529.39	c  529s |      17 |   323888 |   211632 |    19755     21 |      711 |      458
531.40/531.52	c  531s |      17 |   328753 |   213232 |    19755     21 |      711 |      458
533.51/533.65	c  533s |      17 |   330631 |   214432 |    19755     21 |      711 |      458
535.61/535.77	c  535s |      17 |   331681 |   215232 |    19755     22 |      711 |      458
537.81/537.97	c  537s |      17 |   332703 |   216132 |    19755     22 |      711 |      458
540.02/540.19	c  539s |      17 |   333928 |   217132 |    19755     22 |      711 |      458
542.22/542.39	c  542s |      17 |   336050 |   218432 |    19755     22 |      711 |      458
544.31/544.46	c  544s |      17 |   337254 |   219432 |    19755     22 |      711 |      458
546.41/546.53	c  546s |      17 |   341313 |   221332 |    19755     22 |      711 |      458
548.51/548.62	c  548s |      17 |   343518 |   223032 |    19755     22 |      711 |      458
550.61/550.75	c  550s |      17 |   345748 |   224732 |    19755     22 |      711 |      458
552.71/552.87	c  552s |      17 |   347263 |   226032 |    19755     22 |      711 |      458
554.81/554.90	c  554s |      17 |   348362 |   227032 |    19755     23 |      711 |      458
556.91/557.00	c  556s |      17 |   349599 |   228132 |    19755     23 |      711 |      458
558.91/559.04	c  558s |      17 |   350725 |   229132 |    19755     23 |      711 |      458
560.92/561.05	c  560s |      17 |   351724 |   230032 |    19755     23 |      711 |      458
563.12/563.29	c  563s |      17 |   352845 |   231032 |    19755     23 |      711 |      458
565.32/565.49	c  565s |      17 |   353829 |   231932 |    19755     23 |      711 |      458
567.52/567.63	c  567s |      17 |   354858 |   232832 |    19755     23 |      711 |      458
569.61/569.81	c  569s |      17 |   355880 |   233732 |    19755     23 |      711 |      458
571.81/571.90	c  571s |      17 |   356915 |   234632 |    19755     23 |      711 |      458
574.01/574.13	c  573s |      17 |   357832 |   235432 |    19755     23 |      711 |      458
576.20/576.32	c  576s |      17 |   358773 |   236232 |    19755     23 |      711 |      458
578.30/578.41	c  578s |      17 |   359662 |   237032 |    19755     23 |      711 |      458
580.30/580.42	c  580s |      17 |   360861 |   237932 |    19755     23 |      711 |      458
582.30/582.49	c  582s |      17 |   362203 |   238832 |    19755     24 |      711 |      458
584.30/584.49	c  584s |      17 |   363560 |   239932 |    19755     24 |      711 |      458
586.40/586.50	c  586s |      17 |   364766 |   240932 |    19755     24 |      711 |      458
588.41/588.55	c  588s |      17 |   365935 |   241932 |    19755     24 |      711 |      458
590.50/590.66	c  590s |      17 |   367107 |   242932 |    19755     24 |      711 |      458
592.60/592.75	c  592s |      17 |   368194 |   243832 |    19755     24 |      711 |      458
594.70/594.89	c  594s |      17 |   369275 |   244732 |    19755     24 |      711 |      458
596.70/596.89	c  596s |      17 |   370200 |   245532 |    19755     24 |      711 |      458
598.80/598.99	c  598s |      17 |   371105 |   246332 |    19755     24 |      711 |      458
600.89/601.02	c  600s |      17 |   371892 |   247032 |    19755     24 |      711 |      458
602.99/603.13	c  602s |      17 |   372676 |   247732 |    19755     24 |      711 |      458
605.00/605.18	c  604s |      17 |   373478 |   248432 |    19755     24 |      711 |      458
607.20/607.32	c  607s |      17 |   374262 |   249132 |    19755     24 |      711 |      458
609.49/609.68	c  609s |      17 |   374916 |   249732 |    19755     25 |      711 |      458
611.69/611.88	c  611s |      17 |   375913 |   250632 |    19755     25 |      711 |      458
613.70/613.91	c  613s |      17 |   376662 |   251332 |    19755     25 |      711 |      458
615.90/616.10	c  615s |      17 |   377400 |   252032 |    19755     25 |      711 |      458
618.20/618.37	c  618s |      17 |   378138 |   252732 |    19755     25 |      711 |      458
620.30/620.46	c  620s |      17 |   378895 |   253432 |    19755     25 |      711 |      458
622.39/622.53	c  622s |      17 |   379651 |   254132 |    19755     25 |      711 |      458
624.59/624.77	c  624s |      17 |   380402 |   254832 |    19755     25 |      711 |      458
626.68/626.82	c  626s |      17 |   381044 |   255432 |    19755     25 |      711 |      458
628.78/628.95	c  628s |      17 |   381821 |   256132 |    19755     25 |      711 |      458
630.88/631.03	c  630s |      17 |   382608 |   256832 |    19755     25 |      711 |      458
632.98/633.14	c  632s |      17 |   383370 |   257532 |    19755     25 |      711 |      458
635.08/635.25	c  635s |      17 |   384017 |   258132 |    19755     25 |      711 |      458
637.18/637.35	c  637s |      17 |   384667 |   258732 |    19755     25 |      711 |      458
639.28/639.45	c  639s |      17 |   385345 |   259332 |    19755     25 |      711 |      458
641.38/641.56	c  641s |      17 |   385984 |   259932 |    19755     25 |      711 |      458
643.68/643.89	c  643s |      17 |   386637 |   260532 |    19755     25 |      711 |      458
645.88/646.00	c  645s |      17 |   387428 |   261232 |    19755     25 |      711 |      458
647.98/648.10	c  647s |      17 |   388230 |   261932 |    19755     26 |      711 |      458
650.09/650.29	c  650s |      17 |   389264 |   262832 |    19755     26 |      711 |      458
652.18/652.34	c  652s |      17 |   390199 |   263632 |    19755     26 |      711 |      458
654.38/654.52	c  654s |      17 |   391087 |   264432 |    19755     26 |      711 |      458
656.47/656.69	c  656s |      17 |   391831 |   265132 |    19755     26 |      711 |      458
658.78/658.99	c  658s |      17 |   392615 |   265832 |    19755     26 |      711 |      458
660.98/661.18	c  660s |      17 |   393375 |   266532 |    19755     26 |      711 |      458
663.28/663.46	c  663s |      17 |   394133 |   267232 |    19755     26 |      711 |      458
665.27/665.50	c  665s |      17 |   394775 |   267832 |    19755     26 |      711 |      458
667.37/667.57	c  667s |      17 |   395461 |   268432 |    19755     26 |      711 |      458
669.47/669.63	c  669s |      17 |   396245 |   269132 |    19755     26 |      711 |      458
671.67/671.83	c  671s |      17 |   397026 |   269832 |    19755     26 |      711 |      458
673.87/674.08	c  673s |      17 |   397836 |   270532 |    19755     26 |      711 |      458
676.06/676.27	c  676s |      17 |   398605 |   271232 |    19755     26 |      711 |      458
678.36/678.51	c  678s |      17 |   399252 |   271832 |    19755     26 |      711 |      458
680.56/680.71	c  680s |      17 |   399913 |   272432 |    19755     26 |      711 |      458
682.76/682.93	c  682s |      17 |   400569 |   273032 |    19755     27 |      711 |      458
684.95/685.12	c  684s |      17 |   401464 |   273832 |    19755     27 |      711 |      458
686.95/687.16	c  686s |      17 |   402238 |   274532 |    19755     27 |      711 |      458
688.95/689.16	c  688s |      17 |   403022 |   275232 |    19755     27 |      711 |      458
691.05/691.23	c  691s |      17 |   403812 |   275932 |    19755     27 |      711 |      458
693.15/693.34	c  693s |      17 |   404580 |   276632 |    19755     27 |      711 |      458
695.34/695.57	c  695s |      17 |   405360 |   277332 |    19755     27 |      711 |      458
697.36/697.59	c  697s |      17 |   406028 |   277932 |    19755     27 |      711 |      458
699.55/699.76	c  699s |      17 |   406682 |   278532 |    19755     27 |      711 |      458
701.54/701.77	c  701s |      17 |   407310 |   279132 |    19755     27 |      711 |      458
703.74/703.91	c  703s |      17 |   407950 |   279732 |    19755     27 |      711 |      458
705.94/706.17	c  705s |      17 |   408600 |   280332 |    19755     27 |      711 |      458
708.04/708.26	c  708s |      17 |   409247 |   280932 |    19755     27 |      711 |      458
710.24/710.49	c  710s |      17 |   409906 |   281532 |    19755     27 |      711 |      458
712.54/712.78	c  712s |      17 |   410559 |   282132 |    19755     27 |      711 |      458
714.84/715.01	c  714s |      17 |   411246 |   282732 |    19755     27 |      711 |      458
716.83/717.01	c  716s |      17 |   411934 |   283332 |    19755     27 |      711 |      458
719.43/719.61	c  719s |      17 |   412819 |   284132 |    19755     28 |      711 |      458
721.63/721.84	c  721s |      17 |   413977 |   285132 |    19755     28 |      711 |      458
723.83/724.05	c  723s |      17 |   415139 |   286132 |    19755     28 |      711 |      458
725.93/726.14	c  725s |      17 |   416198 |   287032 |    19755     28 |      711 |      458
728.03/728.26	c  728s |      17 |   417106 |   287832 |    19755     28 |      711 |      458
730.23/730.45	c  730s |      17 |   418003 |   288632 |    19755     28 |      711 |      458
732.53/732.71	c  732s |      17 |   418887 |   289432 |    19755     28 |      711 |      458
734.73/734.99	c  734s |      17 |   419649 |   290132 |    19755     28 |      711 |      458
736.83/737.06	c  736s |      17 |   420424 |   290832 |    19755     28 |      711 |      458
739.13/739.35	c  739s |      17 |   421305 |   291632 |    19755     28 |      711 |      458
741.42/741.65	c  741s |      17 |   422074 |   292332 |    19755     28 |      711 |      458
743.62/743.80	c  743s |      17 |   422840 |   293032 |    19755     28 |      711 |      458
745.91/746.11	c  745s |      17 |   423582 |   293732 |    19755     28 |      711 |      458
748.01/748.25	c  748s |      17 |   424363 |   294432 |    21731     28 |      711 |      458
750.41/750.63	c  750s |      17 |   425122 |   295132 |    21731     28 |      711 |      458
752.51/752.76	c  752s |      17 |   425637 |   295632 |    21731     28 |      711 |      458
755.01/755.21	c  754s |      17 |   426290 |   296232 |    21731     28 |      711 |      458
755.11/755.31	c  755s |      18 |   426314 |   296252 |    21731     28 |      711 |      458
757.11/757.33	c  757s |      18 |   431656 |   297652 |    21731     29 |      711 |      458
759.21/759.46	c  759s |      18 |   433498 |   299252 |    21731     29 |      711 |      458
761.41/761.64	c  761s |      18 |   434963 |   300552 |    21731     29 |      711 |      458
763.51/763.75	c  763s |      18 |   436161 |   301652 |    21731     29 |      711 |      458
765.60/765.85	c  765s |      18 |   444159 |   303852 |    21731     29 |      711 |      458
767.71/767.96	c  767s |      18 |   446342 |   305452 |    21731     29 |      711 |      458
769.81/770.05	c  769s |      18 |   448063 |   306852 |    21731     29 |      711 |      458
772.01/772.25	c  772s |      18 |   449471 |   308052 |    21731     29 |      711 |      458
774.00/774.27	c  774s |      18 |   451978 |   309252 |    21731     30 |      711 |      458
776.10/776.39	c  776s |      18 |   453525 |   310452 |    21731     30 |      711 |      458
778.40/778.61	c  778s |      18 |   454920 |   311652 |    21731     30 |      711 |      458
780.50/780.72	c  780s |      18 |   456031 |   312652 |    21731     30 |      711 |      458
782.60/782.83	c  782s |      18 |   457071 |   313552 |    21731     30 |      711 |      458
784.69/784.94	c  784s |      18 |   458121 |   314452 |    21731     30 |      711 |      458
786.79/787.01	c  786s |      18 |   459036 |   315252 |    21731     30 |      711 |      458
788.89/789.10	c  788s |      18 |   459940 |   316052 |    21731     30 |      711 |      458
791.09/791.31	c  791s |      18 |   460822 |   316852 |    21731     30 |      711 |      458
793.29/793.50	c  793s |      18 |   461794 |   317652 |    21731     30 |      711 |      458
795.39/795.64	c  795s |      18 |   462833 |   318552 |    21731     30 |      711 |      458
797.49/797.72	c  797s |      18 |   463708 |   319352 |    21731     30 |      711 |      458
799.50/799.78	c  799s |      18 |   464528 |   320052 |    21731     30 |      711 |      458
801.59/801.87	c  801s |      18 |   465308 |   320752 |    21731     30 |      711 |      458
803.79/804.08	c  803s |      18 |   466088 |   321452 |    21731     30 |      711 |      458
805.88/806.12	c  805s |      18 |   466636 |   321952 |    21731     31 |      711 |      458
808.08/808.35	c  808s |      18 |   467500 |   322752 |    21731     31 |      711 |      458
810.28/810.51	c  810s |      18 |   468370 |   323552 |    21731     31 |      711 |      458
812.38/812.63	c  812s |      18 |   469156 |   324252 |    21731     31 |      711 |      458
814.68/814.92	c  814s |      18 |   469898 |   324952 |    21731     31 |      711 |      458
816.78/817.04	c  816s |      18 |   470670 |   325652 |    21731     31 |      711 |      458
819.08/819.31	c  819s |      18 |   471465 |   326352 |    21731     31 |      711 |      458
821.28/821.51	c  821s |      18 |   472242 |   327052 |    21731     31 |      711 |      458
823.38/823.67	c  823s |      18 |   473015 |   327752 |    21731     31 |      711 |      458
825.47/825.79	c  825s |      18 |   473691 |   328352 |    21731     31 |      711 |      458
827.57/827.82	c  827s |      18 |   474357 |   328952 |    21731     31 |      711 |      458
829.67/829.93	c  829s |      18 |   474894 |   329452 |    21731     31 |      711 |      458
831.67/831.98	c  831s |      18 |   475441 |   329952 |    21731     31 |      711 |      458
833.87/834.10	c  833s |      18 |   475982 |   330452 |    21731     31 |      711 |      458
835.96/836.27	c  836s |      18 |   476663 |   331052 |    21731     31 |      711 |      458
837.97/838.27	c  838s |      18 |   477194 |   331552 |    21731     31 |      711 |      458
840.06/840.31	c  840s |      18 |   477730 |   332052 |    21731     31 |      711 |      458
842.06/842.34	c  842s |      18 |   478266 |   332552 |    21731     31 |      711 |      458
844.36/844.60	c  844s |      18 |   478922 |   333152 |    21731     31 |      711 |      458
846.45/846.74	c  846s |      18 |   479446 |   333652 |    21731     31 |      711 |      458
848.65/848.99	c  848s |      18 |   479991 |   334152 |    21731     31 |      711 |      458
850.95/851.27	c  851s |      18 |   480537 |   334652 |    21731     32 |      711 |      458
853.15/853.43	c  853s |      18 |   481182 |   335252 |    21731     32 |      711 |      458
855.45/855.74	c  855s |      18 |   481931 |   335952 |    21731     32 |      711 |      458
857.65/857.90	c  857s |      18 |   482592 |   336552 |    21731     32 |      711 |      458
859.65/859.90	c  859s |      18 |   483110 |   337052 |    21731     32 |      711 |      458
861.75/862.00	c  861s |      18 |   483777 |   337652 |    21731     32 |      711 |      458
864.05/864.35	c  864s |      18 |   484405 |   338252 |    21731     32 |      711 |      458
866.56/866.82	c  866s |      18 |   485041 |   338852 |    21731     32 |      711 |      458
868.86/869.19	c  868s |      18 |   485692 |   339452 |    21731     32 |      711 |      458
870.95/871.21	c  870s |      18 |   486251 |   339952 |    21731     32 |      711 |      458
872.95/873.23	c  872s |      18 |   487066 |   340552 |    21731     32 |      711 |      458
875.14/875.40	c  875s |      18 |   487720 |   341152 |    21731     32 |      711 |      458
877.14/877.48	c  877s |      18 |   488582 |   341852 |    21731     32 |      711 |      458
879.44/879.74	c  879s |      18 |   489394 |   342552 |    21731     32 |      711 |      458
881.74/882.01	c  881s |      18 |   490189 |   343252 |    21731     32 |      711 |      458
883.94/884.25	c  884s |      18 |   490850 |   343852 |    21731     32 |      711 |      458
886.03/886.33	c  886s |      18 |   491534 |   344452 |    21731     32 |      711 |      458
888.23/888.53	c  888s |      18 |   492188 |   345052 |    21731     32 |      711 |      458
890.43/890.73	c  890s |      18 |   492840 |   345652 |    21731     32 |      711 |      458
892.43/892.74	c  892s |      18 |   493418 |   346152 |    21731     32 |      711 |      458
894.43/894.76	c  894s |      18 |   493874 |   346552 |    21731     33 |      711 |      458
896.63/896.93	c  896s |      18 |   494637 |   347252 |    21731     33 |      711 |      458
898.83/899.18	c  898s |      18 |   495434 |   347952 |    21731     33 |      711 |      458
900.93/901.26	c  901s |      18 |   496074 |   348552 |    21731     33 |      711 |      458
903.13/903.42	c  903s |      18 |   496700 |   349152 |    21731     33 |      711 |      458
905.23/905.52	c  905s |      18 |   497359 |   349752 |    21731     33 |      711 |      458
907.43/907.77	c  907s |      18 |   498134 |   350452 |    21731     33 |      711 |      458
909.43/909.80	c  909s |      18 |   498819 |   351052 |    21731     33 |      711 |      458
911.63/911.95	c  911s |      18 |   499476 |   351652 |    21731     33 |      711 |      458
913.72/914.07	c  913s |      18 |   500158 |   352252 |    21731     33 |      711 |      458
916.13/916.44	c  916s |      18 |   500963 |   352952 |    21731     33 |      711 |      458
918.12/918.48	c  918s |      18 |   501661 |   353552 |    21731     33 |      711 |      458
920.32/920.67	c  920s |      18 |   502339 |   354152 |    21731     33 |      711 |      458
922.63/922.93	c  922s |      18 |   503008 |   354752 |    21731     33 |      711 |      458
925.02/925.33	c  925s |      18 |   503711 |   355352 |    21731     33 |      711 |      458
927.13/927.43	c  927s |      18 |   504240 |   355852 |    21731     33 |      711 |      458
929.52/929.86	c  929s |      18 |   504899 |   356452 |    21731     33 |      711 |      458
931.82/932.10	c  931s |      18 |   505455 |   356952 |    21731     33 |      711 |      458
934.12/934.40	c  934s |      18 |   505983 |   357452 |    21731     33 |      711 |      458
936.12/936.49	c  936s |      18 |   506539 |   357952 |    21731     33 |      711 |      458
938.52/938.83	c  938s |      18 |   507087 |   358452 |    21731     33 |      711 |      458
940.92/941.20	c  940s |      18 |   507511 |   358852 |    21731     34 |      711 |      458
943.01/943.34	c  943s |      18 |   508161 |   359452 |    21731     34 |      711 |      458
945.01/945.37	c  945s |      18 |   508821 |   360052 |    21731     34 |      711 |      458
947.31/947.69	c  947s |      18 |   509634 |   360752 |    21731     34 |      711 |      458
949.41/949.77	c  949s |      18 |   510273 |   361352 |    21731     34 |      711 |      458
951.61/951.96	c  951s |      18 |   510936 |   361952 |    21731     34 |      711 |      458
954.01/954.31	c  954s |      18 |   511720 |   362652 |    21731     34 |      711 |      458
956.11/956.45	c  956s |      18 |   512379 |   363252 |    21731     34 |      711 |      458
958.31/958.64	c  958s |      18 |   513031 |   363852 |    21731     34 |      711 |      458
960.41/960.77	c  960s |      18 |   513565 |   364352 |    21731     34 |      711 |      458
962.41/962.78	c  962s |      18 |   514110 |   364852 |    21731     34 |      711 |      458
964.42/964.79	c  964s |      18 |   514653 |   365352 |    21731     34 |      711 |      458
966.72/967.01	c  966s |      18 |   515194 |   365852 |    21731     34 |      711 |      458
968.92/969.28	c  969s |      18 |   515863 |   366452 |    21731     34 |      711 |      458
971.41/971.72	c  971s |      18 |   516518 |   367052 |    21731     34 |      711 |      458
973.51/973.81	c  973s |      18 |   517072 |   367552 |    21731     34 |      711 |      458
975.51/975.90	c  975s |      18 |   517610 |   368052 |    21731     34 |      711 |      458
977.71/978.06	c  977s |      18 |   518150 |   368552 |    21731     34 |      711 |      458
979.91/980.26	c  980s |      18 |   518873 |   369152 |    21731     34 |      711 |      458
982.30/982.63	c  982s |      18 |   519655 |   369852 |    21731     34 |      711 |      458
984.50/984.82	c  984s |      18 |   520331 |   370452 |    21731     34 |      711 |      458
986.69/987.07	c  986s |      18 |   521005 |   371052 |    21731     34 |      711 |      458
988.99/989.32	c  989s |      18 |   521666 |   371652 |    21731     35 |      711 |      458
990.99/991.32	c  991s |      18 |   522452 |   372352 |    21731     35 |      711 |      458
993.00/993.33	c  993s |      18 |   523238 |   373052 |    21731     35 |      711 |      458
995.08/995.42	c  995s |      18 |   524046 |   373752 |    21731     35 |      711 |      458
997.28/997.62	c  997s |      18 |   524844 |   374452 |    21731     35 |      711 |      458
999.28/999.66	c  999s |      18 |   525490 |   375052 |    21731     35 |      711 |      458
1001.58/1001.93	c 1001s |      18 |   526298 |   375752 |    21731     35 |      711 |      458
1003.78/1004.12	c 1003s |      18 |   526941 |   376352 |    21731     35 |      711 |      458
1006.08/1006.47	c 1006s |      18 |   527575 |   376952 |    21731     35 |      711 |      458
1008.28/1008.62	c 1008s |      18 |   528221 |   377552 |    21731     35 |      711 |      458
1010.59/1011.00	c 1010s |      18 |   528868 |   378152 |    21731     35 |      711 |      458
1012.68/1013.09	c 1012s |      18 |   529772 |   378852 |    21731     35 |      711 |      458
1015.08/1015.43	c 1015s |      18 |   530594 |   379552 |    21731     35 |      711 |      458
1017.37/1017.75	c 1017s |      18 |   531405 |   380252 |    21731     35 |      711 |      458
1019.48/1019.87	c 1019s |      18 |   532053 |   380852 |    21731     35 |      711 |      458
1021.58/1021.99	c 1021s |      18 |   532725 |   381452 |    21731     35 |      711 |      458
1023.88/1024.26	c 1024s |      18 |   533410 |   382052 |    21731     35 |      711 |      458
1025.97/1026.36	c 1026s |      18 |   533966 |   382552 |    21731     35 |      711 |      458
1027.96/1028.37	c 1028s |      18 |   534508 |   383052 |    21731     35 |      711 |      458
1030.37/1030.75	c 1030s |      18 |   535081 |   383552 |    21731     36 |      711 |      458
1032.57/1032.92	c 1032s |      18 |   535915 |   384252 |    21731     36 |      711 |      458
1034.56/1034.95	c 1034s |      18 |   536592 |   384852 |    21731     36 |      711 |      458
1036.85/1037.24	c 1037s |      18 |   537358 |   385552 |    21731     36 |      711 |      458
1038.85/1039.29	c 1039s |      18 |   538020 |   386152 |    21731     36 |      711 |      458
1040.85/1041.29	c 1041s |      18 |   538660 |   386752 |    21731     36 |      711 |      458
1043.25/1043.60	c 1043s |      18 |   539442 |   387452 |    21731     36 |      711 |      458
1045.45/1045.85	c 1045s |      18 |   540231 |   388152 |    21731     36 |      711 |      458
1047.54/1047.96	c 1047s |      18 |   540901 |   388752 |    21731     36 |      711 |      458
1049.74/1050.18	c 1049s |      18 |   541531 |   389352 |    21731     36 |      711 |      458
1052.14/1052.51	c 1052s |      18 |   542169 |   389952 |    21731     36 |      711 |      458
1054.24/1054.61	c 1054s |      18 |   542696 |   390452 |    21731     36 |      711 |      458
1056.44/1056.83	c 1056s |      18 |   543368 |   391052 |    21731     36 |      711 |      458
1058.84/1059.22	c 1058s |      18 |   544035 |   391652 |    21731     36 |      711 |      458
1060.95/1061.32	c 1061s |      18 |   544574 |   392152 |    21731     36 |      711 |      458
1063.36/1063.73	c 1063s |      18 |   545228 |   392752 |    21731     36 |      711 |      458
1065.34/1065.75	c 1065s |      18 |   545777 |   393252 |    21731     36 |      711 |      458
1067.54/1067.94	c 1067s |      18 |   546454 |   393852 |    21731     36 |      711 |      458
1069.84/1070.23	c 1070s |      18 |   547111 |   394452 |    21731     36 |      711 |      458
1072.04/1072.50	c 1072s |      18 |   547775 |   395052 |    21731     36 |      711 |      458
1074.45/1074.90	c 1074s |      18 |   548444 |   395652 |    21731     36 |      711 |      458
1076.64/1077.08	c 1076s |      18 |   549003 |   396152 |    21731     37 |      711 |      458
1078.74/1079.19	c 1078s |      18 |   549767 |   396852 |    21731     37 |      711 |      458
1080.83/1081.27	c 1081s |      18 |   550571 |   397552 |    21731     37 |      711 |      458
1083.03/1083.48	c 1083s |      18 |   551334 |   398252 |    21731     37 |      711 |      458
1085.34/1085.75	c 1085s |      18 |   552099 |   398952 |    21731     37 |      711 |      458
1087.53/1087.91	c 1087s |      18 |   552898 |   399652 |    21731     37 |      711 |      458
1089.63/1090.06	c 1089s |      18 |   553557 |   400252 |    21731     37 |      711 |      458
1091.93/1092.31	c 1092s |      18 |   554225 |   400852 |    21731     37 |      711 |      458
1094.13/1094.56	c 1094s |      18 |   554910 |   401452 |    21731     37 |      711 |      458
1096.43/1096.81	c 1096s |      18 |   555568 |   402052 |    21731     37 |      711 |      458
1098.53/1098.95	c 1098s |      18 |   556217 |   402652 |    21731     37 |      711 |      458
1100.62/1101.00	c 1100s |      18 |   556758 |   403152 |    21731     37 |      711 |      458
1102.72/1103.15	c 1102s |      18 |   557282 |   403652 |    21731     37 |      711 |      458
1105.01/1105.47	c 1105s |      18 |   557976 |   404252 |    21731     37 |      711 |      458
1107.21/1107.63	c 1107s |      18 |   558504 |   404752 |    21731     37 |      711 |      458
1109.41/1109.82	c 1109s |      18 |   559187 |   405352 |    21731     37 |      711 |      458
1111.82/1112.23	c 1111s |      18 |   559821 |   405952 |    21731     37 |      711 |      458
1114.11/1114.53	c 1114s |      18 |   560501 |   406552 |    21731     37 |      711 |      458
1116.11/1116.55	c 1116s |      18 |   561036 |   407052 |    21731     37 |      711 |      458
1118.31/1118.74	c 1118s |      18 |   561576 |   407552 |    21731     37 |      711 |      458
1121.10/1121.51	c 1121s |      18 |   562111 |   408052 |    21731     38 |      711 |      458
1123.10/1123.52	c 1123s |      18 |   562755 |   408652 |    21731     38 |      711 |      458
1125.20/1125.60	c 1125s |      18 |   563403 |   409252 |    21731     38 |      711 |      458
1127.20/1127.69	c 1127s |      18 |   564042 |   409852 |    21731     38 |      711 |      458
1129.30/1129.80	c 1129s |      18 |   564697 |   410452 |    21731     38 |      711 |      458
1131.50/1131.93	c 1131s |      18 |   565339 |   411052 |    21731     38 |      711 |      458
1133.59/1134.03	c 1133s |      18 |   565857 |   411552 |    21731     38 |      711 |      458
1135.59/1136.05	c 1135s |      18 |   566508 |   412152 |    21731     38 |      711 |      458
1137.89/1138.35	c 1138s |      18 |   567276 |   412852 |    21731     38 |      711 |      458
1139.99/1140.41	c 1140s |      18 |   567817 |   413352 |    21731     38 |      711 |      458
1142.09/1142.55	c 1142s |      18 |   568459 |   413952 |    21731     38 |      711 |      458
1144.49/1144.92	c 1144s |      18 |   569234 |   414652 |    21731     38 |      711 |      458
1146.48/1146.94	c 1146s |      18 |   569914 |   415252 |    21731     38 |      711 |      458
1148.58/1149.07	c 1148s |      18 |   570585 |   415852 |    21731     38 |      711 |      458
1150.78/1151.30	c 1151s |      18 |   571252 |   416452 |    21731     38 |      711 |      458
1152.88/1153.38	c 1153s |      18 |   571943 |   417052 |    21731     38 |      711 |      458
1155.07/1155.58	c 1155s |      18 |   572627 |   417652 |    21731     38 |      711 |      458
1157.37/1157.80	c 1157s |      18 |   573302 |   418252 |    21731     38 |      711 |      458
1159.47/1159.99	c 1159s |      18 |   573958 |   418852 |    21731     38 |      711 |      458
1161.57/1162.03	c 1161s |      18 |   574524 |   419352 |    21731     38 |      711 |      458
1163.57/1164.04	c 1163s |      18 |   575058 |   419852 |    21731     38 |      711 |      458
1165.76/1166.26	c 1166s |      18 |   575607 |   420352 |    21731     38 |      711 |      458
1168.06/1168.52	c 1168s |      18 |   576157 |   420852 |    21731     39 |      711 |      458
1170.07/1170.56	c 1170s |      18 |   576815 |   421452 |    21731     39 |      711 |      458
1172.17/1172.63	c 1172s |      18 |   577483 |   422052 |    21731     39 |      711 |      458
1174.47/1174.91	c 1174s |      18 |   578233 |   422752 |    21731     39 |      711 |      458
1176.57/1177.03	c 1176s |      18 |   578895 |   423352 |    21731     39 |      711 |      458
1178.76/1179.26	c 1179s |      18 |   579686 |   424052 |    21731     39 |      711 |      458
1180.86/1181.32	c 1181s |      18 |   580340 |   424652 |    21731     39 |      711 |      458
1182.95/1183.46	c 1183s |      18 |   580985 |   425252 |    21731     39 |      711 |      458
1185.25/1185.70	c 1185s |      18 |   581647 |   425852 |    21731     39 |      711 |      458
1187.45/1187.97	c 1187s |      18 |   582314 |   426452 |    21731     39 |      711 |      458
1189.76/1190.21	c 1189s |      18 |   582961 |   427052 |    21731     39 |      711 |      458
1191.85/1192.33	c 1192s |      18 |   583511 |   427552 |    21731     39 |      711 |      458
1194.05/1194.57	c 1194s |      18 |   584190 |   428152 |    21731     39 |      711 |      458
1196.36/1196.89	c 1196s |      18 |   584850 |   428752 |    21731     39 |      711 |      458
1198.45/1198.96	c 1198s |      18 |   585400 |   429252 |    21731     39 |      711 |      458
1200.55/1201.08	c 1200s |      18 |   586045 |   429852 |    21731     39 |      711 |      458
1202.85/1203.31	c 1203s |      18 |   586715 |   430452 |    21731     39 |      711 |      458
1204.84/1205.36	c 1205s |      18 |   587358 |   431052 |    21731     39 |      711 |      458
1206.94/1207.48	c 1207s |      18 |   588001 |   431652 |    21731     39 |      711 |      458
1209.04/1209.53	c 1209s |      18 |   588689 |   432252 |    21731     39 |      711 |      458
1211.34/1211.82	c 1211s |      18 |   589245 |   432752 |    21731     40 |      711 |      458
1213.54/1214.08	c 1213s |      18 |   589990 |   433452 |    21731     40 |      711 |      458
1215.84/1216.33	c 1216s |      18 |   590761 |   434152 |    21731     40 |      711 |      458
1218.14/1218.63	c 1218s |      18 |   591527 |   434852 |    21731     40 |      711 |      458
1220.34/1220.80	c 1220s |      18 |   592194 |   435452 |    21731     40 |      711 |      458
1222.64/1223.12	c 1222s |      18 |   592831 |   436052 |    21731     40 |      711 |      458
1224.83/1225.31	c 1225s |      18 |   593483 |   436652 |    21731     40 |      711 |      458
1227.03/1227.57	c 1227s |      18 |   594128 |   437252 |    21731     40 |      711 |      458
1229.13/1229.66	c 1229s |      18 |   594772 |   437852 |    21731     40 |      711 |      458
1231.43/1231.96	c 1231s |      18 |   595398 |   438452 |    21731     40 |      711 |      458
1233.53/1234.02	c 1233s |      18 |   595936 |   438952 |    21731     40 |      711 |      458
1235.53/1236.05	c 1235s |      18 |   596467 |   439452 |    21731     40 |      711 |      458
1237.73/1238.26	c 1238s |      18 |   597000 |   439952 |    21731     40 |      711 |      458
1239.83/1240.34	c 1240s |      18 |   597538 |   440452 |    21731     40 |      711 |      458
1242.13/1242.62	c 1242s |      18 |   598185 |   441052 |    21731     40 |      711 |      458
1244.43/1244.96	c 1244s |      18 |   598716 |   441552 |    23905     40 |      711 |      458
1246.73/1247.28	c 1247s |      18 |   599248 |   442052 |    23905     40 |      711 |      458
1248.83/1249.31	c 1249s |      18 |   599820 |   442552 |    23905     40 |      711 |      458
1251.23/1251.70	c 1251s |      18 |   600466 |   443152 |    23905     40 |      711 |      458
1253.23/1253.77	c 1253s |      18 |   601023 |   443652 |    23905     40 |      711 |      458
1255.63/1256.14	c 1255s |      18 |   601665 |   444252 |    23905     40 |      711 |      458
1256.63/1257.18	c 1256s |      19 |   601901 |   444482 |    23905     40 |      711 |      458
1258.63/1259.18	c 1258s |      19 |   606414 |   445982 |    23905     40 |      711 |      458
1260.73/1261.21	c 1260s |      19 |   608646 |   447382 |    23905     41 |      711 |      458
1262.83/1263.31	c 1263s |      19 |   610751 |   448982 |    23905     41 |      711 |      458
1264.83/1265.38	c 1265s |      19 |   612732 |   450482 |    23905     41 |      711 |      458
1267.03/1267.53	c 1267s |      19 |   614512 |   451882 |    23905     41 |      711 |      458
1269.13/1269.65	c 1269s |      19 |   616481 |   453282 |    23905     41 |      711 |      458
1271.24/1271.79	c 1271s |      19 |   617917 |   454482 |    23905     41 |      711 |      458
1273.44/1273.92	c 1273s |      19 |   619602 |   455682 |    23905     41 |      711 |      458
1275.43/1275.98	c 1275s |      19 |   620996 |   456782 |    23905     41 |      711 |      458
1277.52/1278.00	c 1277s |      19 |   622210 |   457782 |    23905     41 |      711 |      458
1279.52/1280.07	c 1279s |      19 |   623449 |   458782 |    23905     41 |      711 |      458
1281.62/1282.13	c 1281s |      19 |   624527 |   459682 |    23905     41 |      711 |      458
1283.92/1284.44	c 1284s |      19 |   625506 |   460482 |    23905     41 |      711 |      458
1286.02/1286.58	c 1286s |      19 |   626305 |   461182 |    23905     42 |      711 |      458
1288.22/1288.74	c 1288s |      19 |   627548 |   462182 |    23905     42 |      711 |      458
1290.32/1290.84	c 1290s |      19 |   628588 |   463082 |    23905     42 |      711 |      458
1292.62/1293.17	c 1292s |      19 |   629679 |   463982 |    23905     42 |      711 |      458
1294.92/1295.47	c 1295s |      19 |   630847 |   464882 |    23905     42 |      711 |      458
1297.12/1297.61	c 1297s |      19 |   631809 |   465682 |    23905     42 |      711 |      458
1299.32/1299.87	c 1299s |      19 |   632738 |   466482 |    23905     42 |      711 |      458
1301.62/1302.16	c 1301s |      19 |   633679 |   467282 |    23905     42 |      711 |      458
1303.92/1304.44	c 1304s |      19 |   634611 |   468082 |    23905     42 |      711 |      458
1305.92/1306.46	c 1306s |      19 |   635427 |   468782 |    23905     42 |      711 |      458
1307.92/1308.48	c 1308s |      19 |   636114 |   469382 |    23905     42 |      711 |      458
1310.12/1310.62	c 1310s |      19 |   637229 |   470182 |    23905     42 |      711 |      458
1312.42/1312.91	c 1312s |      19 |   638220 |   470982 |    23905     42 |      711 |      458
1314.72/1315.29	c 1315s |      19 |   639051 |   471682 |    23905     42 |      711 |      458
1316.82/1317.39	c 1317s |      19 |   639842 |   472382 |    23905     42 |      711 |      458
1318.92/1319.45	c 1319s |      19 |   640681 |   473082 |    23905     42 |      711 |      458
1321.12/1321.60	c 1321s |      19 |   641495 |   473782 |    23905     42 |      711 |      458
1323.22/1323.72	c 1323s |      19 |   642194 |   474382 |    23905     43 |      711 |      458
1325.32/1325.86	c 1325s |      19 |   643084 |   475182 |    23905     43 |      711 |      458
1327.41/1327.98	c 1327s |      19 |   644074 |   476082 |    23905     43 |      711 |      458
1329.61/1330.11	c 1329s |      19 |   645033 |   476882 |    23905     43 |      711 |      458
1331.81/1332.38	c 1332s |      19 |   646129 |   477782 |    23905     43 |      711 |      458
1334.01/1334.59	c 1334s |      19 |   647064 |   478582 |    23905     43 |      711 |      458
1336.32/1336.85	c 1336s |      19 |   647969 |   479382 |    23905     43 |      711 |      458
1338.62/1339.14	c 1338s |      19 |   648915 |   480182 |    23905     43 |      711 |      458
1340.72/1341.26	c 1341s |      19 |   649711 |   480882 |    23905     43 |      711 |      458
1342.82/1343.39	c 1343s |      19 |   650355 |   481482 |    23905     43 |      711 |      458
1345.02/1345.55	c 1345s |      19 |   651134 |   482182 |    23905     43 |      711 |      458
1347.32/1347.81	c 1347s |      19 |   651790 |   482782 |    23905     43 |      711 |      458
1349.33/1349.82	c 1349s |      19 |   652333 |   483282 |    23905     43 |      711 |      458
1351.32/1351.83	c 1351s |      19 |   653001 |   483882 |    23905     43 |      711 |      458
1353.42/1353.91	c 1353s |      19 |   654241 |   484682 |    23905     43 |      711 |      458
1355.52/1356.06	c 1355s |      19 |   655519 |   485682 |    23905     43 |      711 |      458
1357.62/1358.16	c 1357s |      19 |   656748 |   486582 |    23905     43 |      711 |      458
1359.72/1360.29	c 1360s |      19 |   657939 |   487482 |    23905     43 |      711 |      458
1361.82/1362.37	c 1362s |      19 |   658790 |   488182 |    23905     44 |      711 |      458
1363.92/1364.47	c 1364s |      19 |   659978 |   489182 |    23905     44 |      711 |      458
1366.02/1366.52	c 1366s |      19 |   660976 |   490082 |    23905     44 |      711 |      458
1368.12/1368.69	c 1368s |      19 |   662146 |   491082 |    23905     44 |      711 |      458
1370.23/1370.73	c 1370s |      19 |   663058 |   491882 |    23905     44 |      711 |      458
1372.33/1372.83	c 1372s |      19 |   664111 |   492782 |    23905     44 |      711 |      458
1374.42/1374.98	c 1374s |      19 |   665152 |   493682 |    23905     44 |      711 |      458
1376.51/1377.03	c 1376s |      19 |   666103 |   494482 |    23905     44 |      711 |      458
1378.71/1379.22	c 1378s |      19 |   667023 |   495282 |    23905     44 |      711 |      458
1380.81/1381.39	c 1381s |      19 |   667934 |   496082 |    23905     44 |      711 |      458
1382.91/1383.44	c 1383s |      19 |   668691 |   496782 |    23905     44 |      711 |      458
1384.91/1385.48	c 1385s |      19 |   669509 |   497482 |    23905     44 |      711 |      458
1387.21/1387.71	c 1387s |      19 |   670451 |   498282 |    23905     44 |      711 |      458
1389.41/1389.93	c 1389s |      19 |   671364 |   499082 |    23905     44 |      711 |      458
1391.41/1391.98	c 1391s |      19 |   672146 |   499782 |    23905     44 |      711 |      458
1393.51/1394.06	c 1393s |      19 |   672815 |   500382 |    23905     44 |      711 |      458
1395.71/1396.23	c 1396s |      19 |   673497 |   500982 |    23905     44 |      711 |      458
1397.81/1398.31	c 1398s |      19 |   674047 |   501482 |    23905     45 |      711 |      458
1400.01/1400.56	c 1400s |      19 |   674920 |   502282 |    23905     45 |      711 |      458
1402.12/1402.67	c 1402s |      19 |   675700 |   502982 |    23905     45 |      711 |      458
1404.22/1404.71	c 1404s |      19 |   676706 |   503782 |    23905     45 |      711 |      458
1406.21/1406.72	c 1406s |      19 |   677594 |   504582 |    23905     45 |      711 |      458
1408.21/1408.77	c 1408s |      19 |   678640 |   505482 |    23905     45 |      711 |      458
1410.31/1410.82	c 1410s |      19 |   679730 |   506382 |    23905     45 |      711 |      458
1412.31/1412.88	c 1412s |      19 |   680990 |   507382 |    23905     45 |      711 |      458
1414.51/1415.01	c 1414s |      19 |   682158 |   508382 |    23905     45 |      711 |      458
1416.51/1417.08	c 1416s |      19 |   683100 |   509182 |    23905     45 |      711 |      458
1418.81/1419.32	c 1419s |      19 |   683932 |   509882 |    23905     45 |      711 |      458
1420.91/1421.40	c 1421s |      19 |   684578 |   510482 |    23905     45 |      711 |      458
1423.01/1423.56	c 1423s |      19 |   685391 |   511182 |    23905     45 |      711 |      458
1425.11/1425.63	c 1425s |      19 |   686062 |   511782 |    23905     45 |      711 |      458
1427.10/1427.67	c 1427s |      19 |   686901 |   512482 |    23905     45 |      711 |      458
1429.40/1429.92	c 1429s |      19 |   687810 |   513282 |    23905     45 |      711 |      458
1431.60/1432.16	c 1431s |      19 |   688791 |   514082 |    23905     45 |      711 |      458
1433.80/1434.33	c 1434s |      19 |   689640 |   514782 |    23905     45 |      711 |      458
1436.00/1436.53	c 1436s |      19 |   690346 |   515382 |    23905     46 |      711 |      458
1438.20/1438.72	c 1438s |      19 |   691230 |   516182 |    23905     46 |      711 |      458
1440.20/1440.77	c 1440s |      19 |   692331 |   517082 |    23905     46 |      711 |      458
1442.40/1442.98	c 1442s |      19 |   693563 |   518082 |    23905     46 |      711 |      458
1444.50/1445.00	c 1444s |      19 |   694483 |   518882 |    23905     46 |      711 |      458
1446.70/1447.26	c 1447s |      19 |   695381 |   519682 |    23905     46 |      711 |      458
1449.00/1449.50	c 1449s |      19 |   696037 |   520282 |    23905     46 |      711 |      458
1451.00/1451.51	c 1451s |      19 |   697022 |   521082 |    23905     46 |      711 |      458
1453.00/1453.55	c 1453s |      19 |   697812 |   521782 |    23905     46 |      711 |      458
1455.10/1455.67	c 1455s |      19 |   698628 |   522482 |    23905     46 |      711 |      458
1457.20/1457.71	c 1457s |      19 |   699472 |   523182 |    23905     46 |      711 |      458
1459.50/1460.02	c 1459s |      19 |   700417 |   523982 |    23905     46 |      711 |      458
1461.60/1462.19	c 1461s |      19 |   701256 |   524682 |    23905     46 |      711 |      458
1463.90/1464.44	c 1464s |      19 |   702202 |   525482 |    23905     46 |      711 |      458
1465.91/1466.45	c 1466s |      19 |   702770 |   525982 |    23905     46 |      711 |      458
1467.90/1468.48	c 1468s |      19 |   703440 |   526582 |    23905     46 |      711 |      458
1470.20/1470.74	c 1470s |      19 |   704116 |   527182 |    23905     46 |      711 |      458
1472.51/1473.02	c 1472s |      19 |   704783 |   527782 |    23905     46 |      711 |      458
1474.79/1475.39	c 1475s |      19 |   705452 |   528382 |    23905     46 |      711 |      458
1476.90/1477.43	c 1477s |      19 |   706208 |   528982 |    23905     47 |      711 |      458
1478.89/1479.44	c 1479s |      19 |   707285 |   529882 |    23905     47 |      711 |      458
1480.89/1481.44	c 1481s |      19 |   708195 |   530682 |    23905     47 |      711 |      458
1482.99/1483.54	c 1483s |      19 |   709226 |   531582 |    23905     47 |      711 |      458
1484.99/1485.60	c 1485s |      19 |   710206 |   532382 |    23905     47 |      711 |      458
1487.09/1487.70	c 1487s |      19 |   710973 |   533082 |    23905     47 |      711 |      458
1489.19/1489.74	c 1489s |      19 |   711781 |   533782 |    23905     47 |      711 |      458
1491.39/1491.91	c 1491s |      19 |   712703 |   534582 |    23905     47 |      711 |      458
1493.49/1494.04	c 1493s |      19 |   713595 |   535382 |    23905     47 |      711 |      458
1495.50/1496.06	c 1495s |      19 |   714431 |   536082 |    23905     47 |      711 |      458
1497.70/1498.24	c 1498s |      19 |   715258 |   536782 |    23905     47 |      711 |      458
1499.69/1500.28	c 1500s |      19 |   716219 |   537582 |    23905     47 |      711 |      458
1501.99/1502.51	c 1502s |      19 |   717133 |   538382 |    23905     47 |      711 |      458
1503.99/1504.52	c 1504s |      19 |   717950 |   539082 |    23905     47 |      711 |      458
1506.09/1506.67	c 1506s |      19 |   718741 |   539782 |    23905     47 |      711 |      458
1508.49/1509.01	c 1508s |      19 |   719662 |   540582 |    23905     47 |      711 |      458
1510.49/1511.06	c 1510s |      19 |   720472 |   541282 |    23905     47 |      711 |      458
1512.89/1513.49	c 1513s |      19 |   721289 |   541982 |    23905     48 |      711 |      458
1515.09/1515.60	c 1515s |      19 |   722333 |   542882 |    23905     48 |      711 |      458
1517.29/1517.84	c 1517s |      19 |   723355 |   543782 |    23905     48 |      711 |      458
1519.39/1519.94	c 1519s |      19 |   724317 |   544582 |    23905     48 |      711 |      458
1521.49/1522.07	c 1521s |      19 |   725224 |   545382 |    23905     48 |      711 |      458
1523.59/1524.16	c 1523s |      19 |   726153 |   546182 |    23905     48 |      711 |      458
1525.89/1526.43	c 1526s |      19 |   727077 |   546982 |    23905     48 |      711 |      458
1528.19/1528.71	c 1528s |      19 |   727968 |   547782 |    23905     48 |      711 |      458
1530.39/1530.93	c 1530s |      19 |   728872 |   548582 |    23905     48 |      711 |      458
1532.59/1533.16	c 1532s |      19 |   729633 |   549282 |    23905     48 |      711 |      458
1534.68/1535.24	c 1535s |      19 |   730316 |   549882 |    23905     48 |      711 |      458
1536.68/1537.29	c 1537s |      19 |   730989 |   550482 |    23905     48 |      711 |      458
1538.88/1539.41	c 1539s |      19 |   731779 |   551182 |    23905     48 |      711 |      458
1540.88/1541.42	c 1541s |      19 |   732474 |   551782 |    23905     48 |      711 |      458
1542.98/1543.56	c 1543s |      19 |   733155 |   552382 |    23905     48 |      711 |      458
1545.18/1545.76	c 1545s |      19 |   733816 |   552982 |    23905     48 |      711 |      458
1547.29/1547.82	c 1547s |      19 |   734490 |   553582 |    23905     48 |      711 |      458
1549.49/1550.01	c 1549s |      19 |   735269 |   554282 |    23905     48 |      711 |      458
1551.48/1552.05	c 1551s |      19 |   735827 |   554782 |    23905     48 |      711 |      458
1553.58/1554.14	c 1553s |      19 |   736515 |   555382 |    23905     48 |      711 |      458
1555.68/1556.29	c 1556s |      19 |   737234 |   555982 |    23905     49 |      711 |      458
1557.78/1558.39	c 1558s |      19 |   738130 |   556782 |    23905     49 |      711 |      458
1559.98/1560.50	c 1560s |      19 |   739014 |   557582 |    23905     49 |      711 |      458
1561.98/1562.53	c 1562s |      19 |   739785 |   558282 |    23905     49 |      711 |      458
1564.18/1564.73	c 1564s |      19 |   740706 |   559082 |    23905     49 |      711 |      458
1566.18/1566.79	c 1566s |      19 |   741598 |   559882 |    23905     49 |      711 |      458
1568.48/1569.04	c 1568s |      19 |   742505 |   560682 |    23905     49 |      711 |      458
1570.58/1571.11	c 1570s |      19 |   743313 |   561382 |    23905     49 |      711 |      458
1572.88/1573.44	c 1573s |      19 |   744107 |   562082 |    23905     49 |      711 |      458
1574.88/1575.46	c 1575s |      19 |   744773 |   562682 |    23905     49 |      711 |      458
1577.08/1577.60	c 1577s |      19 |   745557 |   563382 |    23905     49 |      711 |      458
1579.19/1579.71	c 1579s |      19 |   746325 |   564082 |    23905     49 |      711 |      458
1581.48/1582.02	c 1581s |      19 |   747100 |   564782 |    23905     49 |      711 |      458
1583.68/1584.20	c 1583s |      19 |   747757 |   565382 |    23905     49 |      711 |      458
1585.69/1586.21	c 1585s |      19 |   748437 |   565982 |    23905     49 |      711 |      458
1587.78/1588.35	c 1588s |      19 |   749122 |   566582 |    23905     49 |      711 |      458
1589.78/1590.37	c 1590s |      19 |   749771 |   567182 |    23905     49 |      711 |      458
1591.78/1592.39	c 1592s |      19 |   750459 |   567782 |    23905     49 |      711 |      458
1593.87/1594.42	c 1594s |      19 |   751115 |   568382 |    23905     49 |      711 |      458
1595.87/1596.44	c 1596s |      19 |   751641 |   568882 |    23905     49 |      711 |      458
1597.97/1598.53	c 1598s |      19 |   752191 |   569382 |    23905     50 |      711 |      458
1600.17/1600.78	c 1600s |      19 |   752959 |   570082 |    23905     50 |      711 |      458
1602.28/1602.83	c 1602s |      19 |   753609 |   570682 |    23905     50 |      711 |      458
1604.27/1604.89	c 1604s |      19 |   754390 |   571382 |    23905     50 |      711 |      458
1606.47/1607.00	c 1606s |      19 |   755182 |   572082 |    23905     50 |      711 |      458
1608.47/1609.06	c 1608s |      19 |   755969 |   572782 |    23905     50 |      711 |      458
1610.47/1611.09	c 1610s |      19 |   756628 |   573382 |    23905     50 |      711 |      458
1612.77/1613.30	c 1613s |      19 |   757408 |   574082 |    23905     50 |      711 |      458
1614.98/1615.58	c 1615s |      19 |   758061 |   574682 |    23905     50 |      711 |      458
1617.08/1617.66	c 1617s |      19 |   758917 |   575382 |    23905     50 |      711 |      458
1619.18/1619.73	c 1619s |      19 |   759725 |   576082 |    23905     50 |      711 |      458
1621.38/1621.96	c 1621s |      19 |   760635 |   576882 |    23905     50 |      711 |      458
1623.58/1624.13	c 1623s |      19 |   761439 |   577582 |    23905     50 |      711 |      458
1625.78/1626.39	c 1626s |      19 |   762087 |   578182 |    23905     50 |      711 |      458
1627.88/1628.42	c 1628s |      19 |   762622 |   578682 |    23905     50 |      711 |      458
1630.18/1630.74	c 1630s |      19 |   763420 |   579382 |    23905     50 |      711 |      458
1632.28/1632.86	c 1632s |      19 |   764176 |   580082 |    23905     50 |      711 |      458
1634.28/1634.87	c 1634s |      19 |   764840 |   580682 |    23905     50 |      711 |      458
1636.48/1637.07	c 1636s |      19 |   765648 |   581382 |    23905     50 |      711 |      458
1638.59/1639.18	c 1638s |      19 |   766321 |   581982 |    23905     50 |      711 |      458
1641.48/1642.00	c 1641s |      19 |   766978 |   582582 |    23905     51 |      711 |      458
1643.68/1644.24	c 1644s |      19 |   767864 |   583382 |    23905     51 |      711 |      458
1645.67/1646.28	c 1646s |      19 |   768643 |   584082 |    23905     51 |      711 |      458
1647.77/1648.32	c 1648s |      19 |   769562 |   584882 |    23905     51 |      711 |      458
1649.77/1650.36	c 1650s |      19 |   770357 |   585582 |    23905     51 |      711 |      458
1651.87/1652.40	c 1652s |      19 |   771279 |   586382 |    23905     51 |      711 |      458
1654.07/1654.67	c 1654s |      19 |   772151 |   587182 |    23905     51 |      711 |      458
1656.27/1656.80	c 1656s |      19 |   772939 |   587882 |    23905     51 |      711 |      458
1658.28/1658.83	c 1658s |      19 |   773725 |   588582 |    23905     51 |      711 |      458
1660.48/1661.07	c 1660s |      19 |   774497 |   589282 |    23905     51 |      711 |      458
1662.68/1663.31	c 1663s |      19 |   775410 |   590082 |    23905     51 |      711 |      458
1664.98/1665.51	c 1665s |      19 |   776213 |   590782 |    23905     51 |      711 |      458
1666.97/1667.56	c 1667s |      19 |   776870 |   591382 |    23905     51 |      711 |      458
1669.07/1669.65	c 1669s |      19 |   777513 |   591982 |    23905     51 |      711 |      458
1671.07/1671.67	c 1671s |      19 |   778161 |   592582 |    23905     51 |      711 |      458
1673.37/1673.98	c 1673s |      19 |   778961 |   593282 |    23905     51 |      711 |      458
1675.57/1676.11	c 1675s |      19 |   779626 |   593882 |    23905     51 |      711 |      458
1677.77/1678.38	c 1678s |      19 |   780441 |   594582 |    23905     51 |      711 |      458
1679.87/1680.46	c 1680s |      19 |   781111 |   595182 |    23905     51 |      711 |      458
1682.07/1682.66	c 1682s |      19 |   781797 |   595782 |    23905     51 |      711 |      458
1684.27/1684.83	c 1684s |      19 |   782358 |   596282 |    23905     52 |      711 |      458
1686.46/1687.04	c 1686s |      19 |   783133 |   596982 |    23905     52 |      711 |      458
1688.46/1689.09	c 1688s |      19 |   783767 |   597582 |    23905     52 |      711 |      458
1690.76/1691.35	c 1691s |      19 |   784411 |   598182 |    23905     52 |      711 |      458
1692.86/1693.43	c 1693s |      19 |   785037 |   598782 |    23905     52 |      711 |      458
1694.96/1695.52	c 1695s |      19 |   786006 |   599582 |    23905     52 |      711 |      458
1697.06/1697.65	c 1697s |      19 |   786941 |   600382 |    23905     52 |      711 |      458
1699.16/1699.71	c 1699s |      19 |   787898 |   601182 |    23905     52 |      711 |      458
1701.36/1701.98	c 1701s |      19 |   788822 |   601982 |    23905     52 |      711 |      458
1703.56/1704.16	c 1703s |      19 |   789617 |   602682 |    23905     52 |      711 |      458
1705.86/1706.46	c 1706s |      19 |   790412 |   603382 |    23905     52 |      711 |      458
1708.06/1708.69	c 1708s |      19 |   791218 |   604082 |    23905     52 |      711 |      458
1710.36/1710.94	c 1710s |      19 |   791994 |   604782 |    23905     52 |      711 |      458
1712.46/1713.04	c 1712s |      19 |   792826 |   605482 |    23905     52 |      711 |      458
1714.47/1715.08	c 1714s |      19 |   793489 |   606082 |    23905     52 |      711 |      458
1716.57/1717.12	c 1716s |      19 |   794180 |   606682 |    23905     52 |      711 |      458
1718.56/1719.19	c 1718s |      19 |   794847 |   607282 |    23905     52 |      711 |      458
1720.86/1721.46	c 1721s |      19 |   795505 |   607882 |    23905     52 |      711 |      458
1723.17/1723.71	c 1723s |      19 |   796326 |   608582 |    23905     52 |      711 |      458
1725.47/1726.06	c 1725s |      19 |   797123 |   609282 |    23905     52 |      711 |      458
1727.46/1728.08	c 1727s |      19 |   797666 |   609782 |    23905     53 |      711 |      458
1729.56/1730.10	c 1729s |      19 |   798558 |   610582 |    23905     53 |      711 |      458
1731.56/1732.15	c 1731s |      19 |   799460 |   611382 |    23905     53 |      711 |      458
1733.76/1734.32	c 1734s |      19 |   800212 |   612082 |    23905     53 |      711 |      458
1735.86/1736.46	c 1736s |      19 |   800995 |   612782 |    23905     53 |      711 |      458
1737.96/1738.56	c 1738s |      19 |   801795 |   613482 |    23905     53 |      711 |      458
1740.06/1740.67	c 1740s |      19 |   802793 |   614282 |    23905     53 |      711 |      458
1742.36/1742.90	c 1742s |      19 |   803859 |   615182 |    23905     53 |      711 |      458
1744.56/1745.14	c 1744s |      19 |   804772 |   615982 |    23905     53 |      711 |      458
1746.66/1747.23	c 1746s |      19 |   805730 |   616782 |    23905     53 |      711 |      458
1748.66/1749.26	c 1749s |      19 |   806662 |   617582 |    23905     53 |      711 |      458
1750.85/1751.48	c 1751s |      19 |   807568 |   618382 |    23905     53 |      711 |      458
1753.15/1753.79	c 1753s |      19 |   808505 |   619182 |    23905     53 |      711 |      458
1755.55/1756.10	c 1755s |      19 |   809270 |   619882 |    23905     53 |      711 |      458
1757.55/1758.14	c 1757s |      19 |   809986 |   620482 |    23905     53 |      711 |      458
1759.65/1760.21	c 1759s |      19 |   810681 |   621082 |    23905     53 |      711 |      458
1761.66/1762.21	c 1761s |      19 |   811390 |   621682 |    23905     53 |      711 |      458
1763.75/1764.37	c 1764s |      19 |   812049 |   622282 |    23905     53 |      711 |      458
1766.16/1766.71	c 1766s |      19 |   812719 |   622882 |    23905     53 |      711 |      458
1768.15/1768.72	c 1768s |      19 |   813210 |   623282 |    23905     54 |      711 |      458
1770.25/1770.83	c 1770s |      19 |   814133 |   624082 |    23905     54 |      711 |      458
1772.35/1772.99	c 1772s |      19 |   815044 |   624882 |    23905     54 |      711 |      458
1774.55/1775.13	c 1774s |      19 |   815950 |   625682 |    23905     54 |      711 |      458
1776.75/1777.39	c 1777s |      19 |   816860 |   626482 |    23905     54 |      711 |      458
1778.85/1779.41	c 1779s |      19 |   817652 |   627182 |    23905     54 |      711 |      458
1780.95/1781.55	c 1781s |      19 |   818298 |   627782 |    23905     54 |      711 |      458
1783.25/1783.82	c 1783s |      19 |   819080 |   628482 |    23905     54 |      711 |      458
1785.35/1785.90	c 1785s |      19 |   819732 |   629082 |    23905     54 |      711 |      458
1787.35/1787.90	c 1787s |      19 |   820396 |   629682 |    23905     54 |      711 |      458
1789.55/1790.12	c 1789s |      19 |   821252 |   630382 |    23905     54 |      711 |      458
1791.75/1792.38	c 1792s |      19 |   822102 |   631082 |    23905     54 |      711 |      458
1793.85/1794.44	c 1794s |      19 |   822796 |   631682 |    23905     54 |      711 |      458
1795.95/1796.54	c 1796s |      19 |   823468 |   632282 |    23905     54 |      711 |      458
1798.25/1798.81	c 1798s |      19 |   824142 |   632882 |    23905     54 |      711 |      458

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

pid=1695
running on 8 cores: 0-3,8-11

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.07 2.09 2.08 3/262 1698
/proc/meminfo: memFree=30865272/32872528 swapFree=7556/7556
[pid=1698] ppid=1695 vsize=974268 CPUtime=0 cores=0-3,8-11
/proc/1698/stat : 1698 (toysat) R 1695 1698 32495 0 -1 4202496 3679 0 0 0 0 0 0 0 20 0 4 0 27891564 997650432 4040 33554432000 4194304 16246674 140733782831040 140733782830464 13880264 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/1698/statm: 244335 4049 441 2943 0 241229 0
[pid=1698/tid=1699] ppid=1695 vsize=1178044 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1699/stat : 1699 (toysat) S 1695 1698 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27891564 1206317056 4835 33554432000 4194304 16246674 140733782831040 140403039775984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=1698/tid=1700] ppid=1695 vsize=1183164 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1700/stat : 1700 (toysat) S 1695 1698 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27891564 1211559936 4854 33554432000 4194304 16246674 140733782831040 140403029286128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=1698/tid=1701] ppid=1695 vsize=1187260 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1701/stat : 1701 (toysat) S 1695 1698 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27891564 1215754240 4871 33554432000 4194304 16246674 140733782831040 140402950663344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.07 2.09 2.08 3/262 1698
/proc/meminfo: memFree=30865272/32872528 swapFree=7556/7556
[pid=1698] ppid=1695 vsize=1301060 CPUtime=0.09 cores=0-3,8-11
/proc/1698/stat : 1698 (toysat) R 1695 1698 32495 0 -1 4202496 25224 0 0 0 6 3 0 0 20 0 4 0 27891564 1332285440 25523 33554432000 4194304 16246674 140733782831040 140733782830352 13956064 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/1698/statm: 325265 25530 830 2943 0 322159 0
[pid=1698/tid=1699] ppid=1695 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1699/stat : 1699 (toysat) S 1695 1698 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27891564 1332285440 25537 33554432000 4194304 16246674 140733782831040 140403039775984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=1698/tid=1700] ppid=1695 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1700/stat : 1700 (toysat) S 1695 1698 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27891564 1332285440 25544 33554432000 4194304 16246674 140733782831040 140403029286128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=1698/tid=1701] ppid=1695 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1701/stat : 1701 (toysat) S 1695 1698 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27891564 1332285440 25550 33554432000 4194304 16246674 140733782831040 140402950663344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200494 s]
/proc/loadavg: 2.07 2.09 2.08 3/262 1698
/proc/meminfo: memFree=30865272/32872528 swapFree=7556/7556
[pid=1698] ppid=1695 vsize=1302084 CPUtime=0.19 cores=0-3,8-11
/proc/1698/stat : 1698 (toysat) R 1695 1698 32495 0 -1 4202496 43486 0 0 0 13 6 0 0 20 0 4 0 27891564 1333334016 43785 33554432000 4194304 16246674 140733782831040 140733782830352 13950188 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/1698/statm: 325521 43785 840 2943 0 322415 0
[pid=1698/tid=1699] ppid=1695 vsize=1302084 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1699/stat : 1699 (toysat) S 1695 1698 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27891564 1333334016 43785 33554432000 4194304 16246674 140733782831040 140403039775984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=1698/tid=1700] ppid=1695 vsize=1302084 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1700/stat : 1700 (toysat) S 1695 1698 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27891564 1333334016 43785 33554432000 4194304 16246674 140733782831040 140403029286128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=1698/tid=1701] ppid=1695 vsize=1302084 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1701/stat : 1701 (toysat) S 1695 1698 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27891564 1333334016 43785 33554432000 4194304 16246674 140733782831040 140402950663344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1302084

[startup+0.300475 s]
/proc/loadavg: 2.07 2.09 2.08 3/262 1698
/proc/meminfo: memFree=30865272/32872528 swapFree=7556/7556
[pid=1698] ppid=1695 vsize=1302084 CPUtime=0.28 cores=0-3,8-11
/proc/1698/stat : 1698 (toysat) R 1695 1698 32495 0 -1 4202496 48491 0 0 0 22 6 0 0 20 0 4 0 27891564 1333334016 48790 33554432000 4194304 16246674 140733782831040 140733782830352 5602895 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/1698/statm: 325521 48795 880 2943 0 322415 0
[pid=1698/tid=1699] ppid=1695 vsize=1302084 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1699/stat : 1699 (toysat) S 1695 1698 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27891564 1333334016 48799 33554432000 4194304 16246674 140733782831040 140403039775984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=1698/tid=1700] ppid=1695 vsize=1302084 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1700/stat : 1700 (toysat) S 1695 1698 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27891564 1333334016 48803 33554432000 4194304 16246674 140733782831040 140403029286128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=1698/tid=1701] ppid=1695 vsize=1302084 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1701/stat : 1701 (toysat) S 1695 1698 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27891564 1333334016 48806 33554432000 4194304 16246674 140733782831040 140402950663344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1302084

[startup+0.70039 s]
/proc/loadavg: 2.07 2.09 2.08 3/262 1698
/proc/meminfo: memFree=30865272/32872528 swapFree=7556/7556
[pid=1698] ppid=1695 vsize=1302084 CPUtime=0.68 cores=0-3,8-11
/proc/1698/stat : 1698 (toysat) R 1695 1698 32495 0 -1 4202496 97145 0 0 0 55 13 0 0 20 0 4 0 27891564 1333334016 97444 33554432000 4194304 16246674 140733782831040 140733782830352 5546181 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/1698/statm: 325521 97451 880 2943 0 322415 0
[pid=1698/tid=1699] ppid=1695 vsize=1302084 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1699/stat : 1699 (toysat) S 1695 1698 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27891564 1333334016 97459 33554432000 4194304 16246674 140733782831040 140403039775984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=1698/tid=1700] ppid=1695 vsize=1302084 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1700/stat : 1700 (toysat) S 1695 1698 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27891564 1333334016 97465 33554432000 4194304 16246674 140733782831040 140403029286128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=1698/tid=1701] ppid=1695 vsize=1302084 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1701/stat : 1701 (toysat) S 1695 1698 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27891564 1333334016 97474 33554432000 4194304 16246674 140733782831040 140402950663344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1302084

[startup+1.50039 s]
/proc/loadavg: 2.07 2.09 2.08 3/266 1702
/proc/meminfo: memFree=30264816/32872528 swapFree=7556/7556
[pid=1698] ppid=1695 vsize=1302084 CPUtime=1.49 cores=0-3,8-11
/proc/1698/stat : 1698 (toysat) R 1695 1698 32495 0 -1 4202496 206047 0 0 0 122 27 0 0 20 0 4 0 27891564 1333334016 206346 33554432000 4194304 16246674 140733782831040 140733782812928 13780501 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/1698/statm: 325521 206350 880 2943 0 322415 0
[pid=1698/tid=1699] ppid=1695 vsize=1302084 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1699/stat : 1699 (toysat) S 1695 1698 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27891564 1333334016 206359 33554432000 4194304 16246674 140733782831040 140403039775984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=1698/tid=1700] ppid=1695 vsize=1302084 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1700/stat : 1700 (toysat) S 1695 1698 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27891564 1333334016 206363 33554432000 4194304 16246674 140733782831040 140403029286128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=1698/tid=1701] ppid=1695 vsize=1302084 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1701/stat : 1701 (toysat) S 1695 1698 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27891564 1333334016 206366 33554432000 4194304 16246674 140733782831040 140402950663344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1302084

[startup+3.1004 s]
/proc/loadavg: 2.07 2.09 2.08 3/266 1702
/proc/meminfo: memFree=29789116/32872528 swapFree=7556/7556
[pid=1698] ppid=1695 vsize=1312324 CPUtime=3.09 cores=0-3,8-11
/proc/1698/stat : 1698 (toysat) R 1695 1698 32495 0 -1 4202496 269265 0 0 0 273 36 0 0 20 0 4 0 27891564 1343819776 269564 33554432000 4194304 16246674 140733782831040 140733782812928 5711421 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/1698/statm: 328081 269564 887 2943 0 324975 0
[pid=1698/tid=1699] ppid=1695 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1699/stat : 1699 (toysat) S 1695 1698 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27891564 1343819776 269564 33554432000 4194304 16246674 140733782831040 140403039775984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=1698/tid=1700] ppid=1695 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1700/stat : 1700 (toysat) S 1695 1698 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27891564 1343819776 269564 33554432000 4194304 16246674 140733782831040 140403029286128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=1698/tid=1701] ppid=1695 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1701/stat : 1701 (toysat) S 1695 1698 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27891564 1343819776 269564 33554432000 4194304 16246674 140733782831040 140402950663344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.30036 s]
/proc/loadavg: 2.22 2.12 2.09 3/266 1702
/proc/meminfo: memFree=29787984/32872528 swapFree=7556/7556
[pid=1698] ppid=1695 vsize=1312324 CPUtime=6.29 cores=0-3,8-11
/proc/1698/stat : 1698 (toysat) R 1695 1698 32495 0 -1 4202496 269265 0 0 0 593 36 0 0 20 0 4 0 27891564 1343819776 269564 33554432000 4194304 16246674 140733782831040 140733782812928 13950192 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/1698/statm: 328081 269564 887 2943 0 324975 0
[pid=1698/tid=1699] ppid=1695 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1699/stat : 1699 (toysat) S 1695 1698 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27891564 1343819776 269564 33554432000 4194304 16246674 140733782831040 140403039775984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=1698/tid=1700] ppid=1695 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1700/stat : 1700 (toysat) S 1695 1698 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27891564 1343819776 269564 33554432000 4194304 16246674 140733782831040 140403029286128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=1698/tid=1701] ppid=1695 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1701/stat : 1701 (toysat) S 1695 1698 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27891564 1343819776 269564 33554432000 4194304 16246674 140733782831040 140402950663344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.36 2.15 2.10 3/266 1702
/proc/meminfo: memFree=29787740/32872528 swapFree=7556/7556
[pid=1698] ppid=1695 vsize=1312324 CPUtime=12.69 cores=0-3,8-11
/proc/1698/stat : 1698 (toysat) R 1695 1698 32495 0 -1 4202496 269268 0 0 0 1233 36 0 0 20 0 4 0 27891564 1343819776 269567 33554432000 4194304 16246674 140733782831040 140733782812928 5822252 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/1698/statm: 328081 269567 889 2943 0 324975 0
[pid=1698/tid=1699] ppid=1695 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1699/stat : 1699 (toysat) S 1695 1698 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27891564 1343819776 269567 33554432000 4194304 16246674 140733782831040 140403039775984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=1698/tid=1700] ppid=1695 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1700/stat : 1700 (toysat) S 1695 1698 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27891564 1343819776 269567 33554432000 4194304 16246674 140733782831040 140403029286128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=1698/tid=1701] ppid=1695 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1701/stat : 1701 (toysat) S 1695 1698 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27891564 1343819776 269567 33554432000 4194304 16246674 140733782831040 140402950663344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.28 2.14 2.10 3/266 1702
/proc/meminfo: memFree=29786964/32872528 swapFree=7556/7556
[pid=1698] ppid=1695 vsize=1312324 CPUtime=25.49 cores=0-3,8-11
/proc/1698/stat : 1698 (toysat) R 1695 1698 32495 0 -1 4202496 269268 0 0 0 2513 36 0 0 20 0 4 0 27891564 1343819776 269567 33554432000 4194304 16246674 140733782831040 140733782812928 5523464 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/1698/statm: 328081 269567 889 2943 0 324975 0
[pid=1698/tid=1699] ppid=1695 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1699/stat : 1699 (toysat) S 1695 1698 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27891564 1343819776 269567 33554432000 4194304 16246674 140733782831040 140403039775984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=1698/tid=1700] ppid=1695 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1700/stat : 1700 (toysat) S 1695 1698 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27891564 1343819776 269567 33554432000 4194304 16246674 140733782831040 140403029286128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=1698/tid=1701] ppid=1695 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1701/stat : 1701 (toysat) S 1695 1698 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27891564 1343819776 269567 33554432000 4194304 16246674 140733782831040 140402950663344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.18 2.13 2.10 3/265 1702
/proc/meminfo: memFree=29787436/32872528 swapFree=7556/7556
[pid=1698] ppid=1695 vsize=1312324 CPUtime=51.08 cores=0-3,8-11
/proc/1698/stat : 1698 (toysat) R 1695 1698 32495 0 -1 4202496 269269 0 0 0 5072 36 0 0 20 0 4 0 27891564 1343819776 269568 33554432000 4194304 16246674 140733782831040 140733782812928 5712683 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/1698/statm: 328081 269568 890 2943 0 324975 0
[pid=1698/tid=1699] ppid=1695 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1699/stat : 1699 (toysat) S 1695 1698 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27891564 1343819776 269568 33554432000 4194304 16246674 140733782831040 140403039775984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=1698/tid=1700] ppid=1695 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1700/stat : 1700 (toysat) S 1695 1698 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27891564 1343819776 269568 33554432000 4194304 16246674 140733782831040 140403029286128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=1698/tid=1701] ppid=1695 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1701/stat : 1701 (toysat) S 1695 1698 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27891564 1343819776 269568 33554432000 4194304 16246674 140733782831040 140402950663344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.301 s]
/proc/loadavg: 2.18 2.14 2.10 3/265 1703
/proc/meminfo: memFree=29783572/32872528 swapFree=7556/7556
[pid=1698] ppid=1695 vsize=1315396 CPUtime=102.29 cores=0-3,8-11
/proc/1698/stat : 1698 (toysat) R 1695 1698 32495 0 -1 4202496 270037 0 0 0 10192 37 0 0 20 0 4 0 27891564 1346965504 270336 33554432000 4194304 16246674 140733782831040 140733782812928 5522977 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/1698/statm: 328849 270336 890 2943 0 325743 0
[pid=1698/tid=1699] ppid=1695 vsize=1315396 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1699/stat : 1699 (toysat) S 1695 1698 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27891564 1346965504 270336 33554432000 4194304 16246674 140733782831040 140403039775984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=1698/tid=1700] ppid=1695 vsize=1315396 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1700/stat : 1700 (toysat) S 1695 1698 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27891564 1346965504 270336 33554432000 4194304 16246674 140733782831040 140403029286128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=1698/tid=1701] ppid=1695 vsize=1315396 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1701/stat : 1701 (toysat) S 1695 1698 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27891564 1346965504 270336 33554432000 4194304 16246674 140733782831040 140402950663344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1315396


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

/proc/1698/task/1701/stat : 1701 (toysat) S 1695 1698 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27891564 1370034176 276224 33554432000 4194304 16246674 140733782831040 140402950663344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 1337924

[startup+1302.3 s]
/proc/loadavg: 2.04 2.07 2.08 3/265 1922
/proc/meminfo: memFree=29773228/32872528 swapFree=7556/7556
[pid=1698] ppid=1695 vsize=1337924 CPUtime=1301.82 cores=0-3,8-11
/proc/1698/stat : 1698 (toysat) R 1695 1698 32495 0 -1 4202496 276089 0 0 0 130134 48 0 0 20 0 4 0 27891564 1370034176 276224 33554432000 4194304 16246674 140733782831040 140733782812928 5672188 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/1698/statm: 334481 276224 890 2943 0 331375 0
[pid=1698/tid=1699] ppid=1695 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1699/stat : 1699 (toysat) S 1695 1698 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27891564 1370034176 276224 33554432000 4194304 16246674 140733782831040 140403039775984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=1698/tid=1700] ppid=1695 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1700/stat : 1700 (toysat) S 1695 1698 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27891564 1370034176 276224 33554432000 4194304 16246674 140733782831040 140403029286128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=1698/tid=1701] ppid=1695 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1701/stat : 1701 (toysat) S 1695 1698 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27891564 1370034176 276224 33554432000 4194304 16246674 140733782831040 140402950663344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 1337924

[startup+1362.3 s]
/proc/loadavg: 2.01 2.06 2.07 3/265 1973
/proc/meminfo: memFree=29774656/32872528 swapFree=7556/7556
[pid=1698] ppid=1695 vsize=1337924 CPUtime=1361.82 cores=0-3,8-11
/proc/1698/stat : 1698 (toysat) R 1695 1698 32495 0 -1 4202496 276089 0 0 0 136133 49 0 0 20 0 4 0 27891564 1370034176 276224 33554432000 4194304 16246674 140733782831040 140733782830216 5722604 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/1698/statm: 334481 276224 890 2943 0 331375 0
[pid=1698/tid=1699] ppid=1695 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1699/stat : 1699 (toysat) S 1695 1698 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27891564 1370034176 276224 33554432000 4194304 16246674 140733782831040 140403039775984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=1698/tid=1700] ppid=1695 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1700/stat : 1700 (toysat) S 1695 1698 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27891564 1370034176 276224 33554432000 4194304 16246674 140733782831040 140403029286128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=1698/tid=1701] ppid=1695 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1701/stat : 1701 (toysat) S 1695 1698 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27891564 1370034176 276224 33554432000 4194304 16246674 140733782831040 140402950663344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1337924

[startup+1422.3 s]
/proc/loadavg: 2.00 2.04 2.07 3/265 1974
/proc/meminfo: memFree=29774788/32872528 swapFree=7556/7556
[pid=1698] ppid=1695 vsize=1337924 CPUtime=1421.81 cores=0-3,8-11
/proc/1698/stat : 1698 (toysat) R 1695 1698 32495 0 -1 4202496 276089 0 0 0 142132 49 0 0 20 0 4 0 27891564 1370034176 276224 33554432000 4194304 16246674 140733782831040 140733782830216 5711688 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/1698/statm: 334481 276224 890 2943 0 331375 0
[pid=1698/tid=1699] ppid=1695 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1699/stat : 1699 (toysat) S 1695 1698 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27891564 1370034176 276224 33554432000 4194304 16246674 140733782831040 140403039775984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=1698/tid=1700] ppid=1695 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1700/stat : 1700 (toysat) S 1695 1698 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27891564 1370034176 276224 33554432000 4194304 16246674 140733782831040 140403029286128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=1698/tid=1701] ppid=1695 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1701/stat : 1701 (toysat) S 1695 1698 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27891564 1370034176 276224 33554432000 4194304 16246674 140733782831040 140402950663344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 1337924

[startup+1482.3 s]
/proc/loadavg: 2.06 2.05 2.06 3/265 1975
/proc/meminfo: memFree=29771080/32872528 swapFree=7556/7556
[pid=1698] ppid=1695 vsize=1337924 CPUtime=1481.79 cores=0-3,8-11
/proc/1698/stat : 1698 (toysat) R 1695 1698 32495 0 -1 4202496 276089 0 0 0 148130 49 0 0 20 0 4 0 27891564 1370034176 276224 33554432000 4194304 16246674 140733782831040 140733782812928 5827838 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/1698/statm: 334481 276224 890 2943 0 331375 0
[pid=1698/tid=1699] ppid=1695 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1699/stat : 1699 (toysat) S 1695 1698 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27891564 1370034176 276224 33554432000 4194304 16246674 140733782831040 140403039775984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=1698/tid=1700] ppid=1695 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1700/stat : 1700 (toysat) S 1695 1698 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27891564 1370034176 276224 33554432000 4194304 16246674 140733782831040 140403029286128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=1698/tid=1701] ppid=1695 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1701/stat : 1701 (toysat) S 1695 1698 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27891564 1370034176 276224 33554432000 4194304 16246674 140733782831040 140402950663344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 1337924

[startup+1542.31 s]
/proc/loadavg: 2.07 2.05 2.06 3/265 1978
/proc/meminfo: memFree=29761652/32872528 swapFree=7556/7556
[pid=1698] ppid=1695 vsize=1337924 CPUtime=1541.79 cores=0-3,8-11
/proc/1698/stat : 1698 (toysat) R 1695 1698 32495 0 -1 4202496 276089 0 0 0 154130 49 0 0 20 0 4 0 27891564 1370034176 276224 33554432000 4194304 16246674 140733782831040 140733782812928 5712756 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/1698/statm: 334481 276224 890 2943 0 331375 0
[pid=1698/tid=1699] ppid=1695 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1699/stat : 1699 (toysat) S 1695 1698 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27891564 1370034176 276224 33554432000 4194304 16246674 140733782831040 140403039775984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=1698/tid=1700] ppid=1695 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1700/stat : 1700 (toysat) S 1695 1698 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27891564 1370034176 276224 33554432000 4194304 16246674 140733782831040 140403029286128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=1698/tid=1701] ppid=1695 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1701/stat : 1701 (toysat) S 1695 1698 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27891564 1370034176 276224 33554432000 4194304 16246674 140733782831040 140402950663344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1337924

[startup+1602.3 s]
/proc/loadavg: 2.21 2.09 2.07 3/265 1979
/proc/meminfo: memFree=29761276/32872528 swapFree=7556/7556
[pid=1698] ppid=1695 vsize=1337924 CPUtime=1601.77 cores=0-3,8-11
/proc/1698/stat : 1698 (toysat) R 1695 1698 32495 0 -1 4202496 276089 0 0 0 160128 49 0 0 20 0 4 0 27891564 1370034176 276224 33554432000 4194304 16246674 140733782831040 140733782812928 5672188 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/1698/statm: 334481 276224 890 2943 0 331375 0
[pid=1698/tid=1699] ppid=1695 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1699/stat : 1699 (toysat) S 1695 1698 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27891564 1370034176 276224 33554432000 4194304 16246674 140733782831040 140403039775984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=1698/tid=1700] ppid=1695 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1700/stat : 1700 (toysat) S 1695 1698 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27891564 1370034176 276224 33554432000 4194304 16246674 140733782831040 140403029286128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=1698/tid=1701] ppid=1695 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1701/stat : 1701 (toysat) S 1695 1698 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27891564 1370034176 276224 33554432000 4194304 16246674 140733782831040 140402950663344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1337924

[startup+1662.3 s]
/proc/loadavg: 2.08 2.07 2.07 3/265 1980
/proc/meminfo: memFree=29761156/32872528 swapFree=7556/7556
[pid=1698] ppid=1695 vsize=1337924 CPUtime=1661.77 cores=0-3,8-11
/proc/1698/stat : 1698 (toysat) R 1695 1698 32495 0 -1 4202496 276089 0 0 0 166127 50 0 0 20 0 4 0 27891564 1370034176 276224 33554432000 4194304 16246674 140733782831040 140733782812928 6026800 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/1698/statm: 334481 276224 890 2943 0 331375 0
[pid=1698/tid=1699] ppid=1695 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1699/stat : 1699 (toysat) S 1695 1698 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27891564 1370034176 276224 33554432000 4194304 16246674 140733782831040 140403039775984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=1698/tid=1700] ppid=1695 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1700/stat : 1700 (toysat) S 1695 1698 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27891564 1370034176 276224 33554432000 4194304 16246674 140733782831040 140403029286128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=1698/tid=1701] ppid=1695 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1701/stat : 1701 (toysat) S 1695 1698 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27891564 1370034176 276224 33554432000 4194304 16246674 140733782831040 140402950663344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1337924

[startup+1722.3 s]
/proc/loadavg: 2.07 2.07 2.07 3/266 1985
/proc/meminfo: memFree=29761460/32872528 swapFree=7556/7556
[pid=1698] ppid=1695 vsize=1337924 CPUtime=1721.76 cores=0-3,8-11
/proc/1698/stat : 1698 (toysat) R 1695 1698 32495 0 -1 4202496 276089 0 0 0 172126 50 0 0 20 0 4 0 27891564 1370034176 276224 33554432000 4194304 16246674 140733782831040 140733782812928 5822604 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/1698/statm: 334481 276224 890 2943 0 331375 0
[pid=1698/tid=1699] ppid=1695 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1699/stat : 1699 (toysat) S 1695 1698 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27891564 1370034176 276224 33554432000 4194304 16246674 140733782831040 140403039775984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=1698/tid=1700] ppid=1695 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1700/stat : 1700 (toysat) S 1695 1698 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27891564 1370034176 276224 33554432000 4194304 16246674 140733782831040 140403029286128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=1698/tid=1701] ppid=1695 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1701/stat : 1701 (toysat) S 1695 1698 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27891564 1370034176 276224 33554432000 4194304 16246674 140733782831040 140402950663344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1337924

[startup+1782.3 s]
/proc/loadavg: 2.02 2.05 2.06 3/265 1986
/proc/meminfo: memFree=29761216/32872528 swapFree=7556/7556
[pid=1698] ppid=1695 vsize=1337924 CPUtime=1781.75 cores=0-3,8-11
/proc/1698/stat : 1698 (toysat) R 1695 1698 32495 0 -1 4202496 276089 0 0 0 178125 50 0 0 20 0 4 0 27891564 1370034176 276224 33554432000 4194304 16246674 140733782831040 140733782812928 5677802 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/1698/statm: 334481 276224 890 2943 0 331375 0
[pid=1698/tid=1699] ppid=1695 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1699/stat : 1699 (toysat) S 1695 1698 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27891564 1370034176 276224 33554432000 4194304 16246674 140733782831040 140403039775984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=1698/tid=1700] ppid=1695 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1700/stat : 1700 (toysat) S 1695 1698 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27891564 1370034176 276224 33554432000 4194304 16246674 140733782831040 140403029286128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=1698/tid=1701] ppid=1695 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1701/stat : 1701 (toysat) S 1695 1698 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27891564 1370034176 276224 33554432000 4194304 16246674 140733782831040 140402950663344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1337924



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.02 2.05 2.06 3/265 1986
/proc/meminfo: memFree=29761096/32872528 swapFree=7556/7556
[pid=1698] ppid=1695 vsize=1337924 CPUtime=1800.05 cores=0-3,8-11
/proc/1698/stat : 1698 (toysat) R 1695 1698 32495 0 -1 4202496 276089 0 0 0 179955 50 0 0 20 0 4 0 27891564 1370034176 276224 33554432000 4194304 16246674 140733782831040 140733782812928 5822428 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/1698/statm: 334481 276224 890 2943 0 331375 0
[pid=1698/tid=1699] ppid=1695 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1699/stat : 1699 (toysat) S 1695 1698 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27891564 1370034176 276224 33554432000 4194304 16246674 140733782831040 140403039775984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=1698/tid=1700] ppid=1695 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1700/stat : 1700 (toysat) S 1695 1698 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27891564 1370034176 276224 33554432000 4194304 16246674 140733782831040 140403029286128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=1698/tid=1701] ppid=1695 vsize=1337924 CPUtime=0 cores=0-3,8-11
/proc/1698/task/1701/stat : 1701 (toysat) S 1695 1698 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27891564 1370034176 276224 33554432000 4194304 16246674 140733782831040 140402950663344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1337924

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 1698 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.06
CPU user time (s): 1799.56
CPU system time (s): 0.504923
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (KiB): 1337924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.504923
maximum resident set size= 1104896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276089
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= 436
involuntary context switches= 1837

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.81066 second user time and 12.0662 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-26 15:42:14
IDJOB=4117165
IDBENCH=109561
IDSOLVER=2542
FILE ID=node132/4117165-1466948534
RUNJOBID= node132-1466939688-32511
PBS_JOBID= 19976333
Free space on /tmp= 71512 MiB

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

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

MD5SUM BENCH= 1b6f62b17870a8adf22c8bb4b2e54837
RANDOM SEED=917364605

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

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

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

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

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

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

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

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30866064 kB
Buffers:           17492 kB
Cached:           174752 kB
SwapCached:         1784 kB
Active:          1160884 kB
Inactive:         131636 kB
Active(anon):    1101152 kB
Inactive(anon):     1700 kB
Active(file):      59732 kB
Inactive(file):   129936 kB
Unevictable:        7556 kB
Mlocked:            7556 kB
SwapTotal:      67108856 kB
SwapFree:       67098636 kB
Dirty:             17012 kB
Writeback:             0 kB
AnonPages:       1106924 kB
Mapped:            10940 kB
Shmem:                 0 kB
Slab:             570168 kB
SReclaimable:      10728 kB
SUnreclaim:       559440 kB
KernelStack:        2248 kB
PageTables:         6632 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1248476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:    237568 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= 71496 MiB
End job on node132 at 2016-06-26 16:12:15