Trace number 4117053

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.02 1800.51

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size112-round22-6.opb
MD5SUMe6c88e046c8333b5f08a0b7bdca9455c
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 benchmark1425.54
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4128
Total number of constraints8688
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)400
Number of constraints which are nor clauses,nor cardinality constraints864
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-26T19:36:04+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-4117053-1466962564.opb"]
0.00/0.01	c use --random-gen="2306777577 1821690127 312712803 3436318971 3326145948 399201103 1243795973 2541022243 1922577299 2867616650 3511130762 3886315090 2643334792 1626087470 1415655795 647113685 1996963963 1198109206 3535594640 1236126526 816482027 802379993 2021660895 2633387708 812776481 3226147313 1033904228 2757409104 2453094703 681369593 1762978199 1961192097 167962648 1021327223 3258449668 2318603279 790157296 4164160138 2629354864 1874885940 563170134 2702499774 3000743501 3695842487 3698363986 97970981 2995862546 1277460824 2245451444 3592161599 210446355 1765004411 1388681660 2374185116 3481892908 42721921 4034111874 2582984659 1050422009 2223838031 2672321612 527944890 2188903986 51402305 882683672 854179826 1474473001 1429472011 2444850575 350115658 1812990713 2869454392 4208876416 2794006302 4178254574 2576341117 1653710077 3084480187 2496828549 493844149 3462475334 3457086950 2466166011 3004461067 2577478214 3530215786 580016618 4060361675 3146359271 3923526008 1891728246 1252703043 1814960721 1336602629 1671443278 3009179452 3931030308 2477362894 4202228886 4048015355 2713330507 1626611352 9699601 3965590724 3746412042 3816451541 1664841941 2374986460 2153334774 2440475659 41610109 4282822712 3722793311 3947870290 984790617 2731940405 608369503 821425148 4128224782 849555882 3212628894 3144037643 825320168 3745661208 364795816 883280795 1360248775 646241845 3822959605 1727386853 1712393091 867902500 3298774335 2798694367 2413802691 1410231070 1042145844 719284178 1254633339 70487691 3665978152 1698723128 545534768 350812915 2347518663 2180999255 3172040391 341257068 4167411882 1883453857 4115133025 303685966 2889563569 1123312889 2499620001 3226705909 4214530951 2220577052 1529588917 752773193 1788173817 3235658033 3694761134 2069161047 3577283211 3270681322 2952606438 2270169700 1644318867 3264779718 2642523185 3251917891 475454116 922717912 36978933 175362136 4111854457 889045588 1999281307 3274736568 358069355 2308370131 2068485079 670384694 1586039027 3591389260 2773120245 1086810160 1287160119 2396099148 539213234 896397068 3279984421 2251542903 1133186590 301402026 1940059087 1992938565 2736194894 170217534 1458975071 2210436017 2357779280 2043909764 3859871404 2091622749 1673845404 1868873944 3329175830 2984581760 2952468855 2406217845 601545876 2235340093 3721002545 3058538072 2593259913 2864551868 3610911853 1970067731 3272641264 4131547241 1124933786 2848875636 120731640 635558748 1542853801 3845697588 3870486956 1654125550 2788314019 1183937915 3195365414 3542489582 1676083973 949985529 3228903592 1481704475 1355173832 2274538388 2757862825 3009330822 3662723111 380582849 3458208122 4194857195 1663023985 3249143368 31062344 6346290 3363295087 1183275488 921611370 2974235343 2582912767 3342471756 255 362436" option to reproduce the execution
0.09/0.11	c #vars 4128
0.09/0.11	c #constraints 8688
0.19/0.25	c Solving starts ...
0.19/0.25	c ============================[ Search Statistics ]============================
0.19/0.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.25	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.25	c =============================================================================
0.19/0.25	c  0.0s |       0 |        0 |        0 |     4234      0 |      700 |        0
0.29/0.35	c  0.1s |       1 |     1534 |      100 |     4234      0 |      701 |      598
0.39/0.44	c  0.2s |       2 |     2803 |      250 |     4658      0 |      701 |      598
0.59/0.62	c  0.4s |       3 |     4659 |      475 |     5124      0 |      701 |      598
0.79/0.82	c  0.6s |       4 |     7309 |      813 |     5637      0 |      701 |      598
1.28/1.39	c  1.1s |       5 |     9857 |     1320 |     6201      0 |      701 |      598
2.09/2.11	c  1.9s |       6 |    13966 |     2081 |     7505      0 |      702 |      598
2.78/2.85	c  2.6s |       7 |    20052 |     3223 |     8256      0 |      702 |      598
4.89/4.91	c  4.7s |       7 |    23087 |     4823 |     8256      0 |      702 |      598
4.99/5.05	c  4.8s |       8 |    23252 |     4936 |     9082      0 |      702 |      598
7.09/7.13	c  6.9s |       8 |    30978 |     7036 |     9082      0 |      702 |      598
7.89/7.90	c  7.7s |       9 |    31482 |     7506 |     9991      0 |      702 |      598
9.90/10.00	c  9.7s |       9 |    39250 |     9806 |     9991      0 |      702 |      598
12.10/12.15	c 11.9s |       9 |    40929 |    11206 |     9991      0 |      702 |      598
12.39/12.47	c 12.2s |      10 |    41092 |    11361 |    10991      0 |      702 |      598
14.40/14.49	c 14.2s |      10 |    45291 |    13061 |    10991      0 |      702 |      598
16.50/16.58	c 16.3s |      10 |    47569 |    14561 |    10991      1 |      702 |      598
18.49/18.59	c 18.3s |      10 |    49258 |    15961 |    10991      1 |      702 |      598
20.49/20.51	c 20.3s |      11 |    50600 |    17144 |    12091      1 |      702 |      598
22.49/22.52	c 22.3s |      11 |    61542 |    19844 |    12091      1 |      702 |      598
24.59/24.62	c 24.4s |      11 |    67354 |    21944 |    12091      1 |      702 |      598
26.59/26.69	c 26.4s |      11 |    69024 |    23144 |    12091      2 |      702 |      598
28.79/28.88	c 28.6s |      11 |    70789 |    24544 |    12091      2 |      702 |      598
30.90/30.95	c 30.7s |      11 |    72127 |    25644 |    12091      2 |      702 |      598
31.29/31.31	c 31.1s |      12 |    72322 |    25819 |    13301      2 |      702 |      598
33.29/33.32	c 33.1s |      12 |    77197 |    27719 |    13301      2 |      702 |      598
35.38/35.42	c 35.2s |      12 |    79177 |    29319 |    13301      2 |      702 |      598
37.39/37.44	c 37.2s |      12 |    80504 |    30519 |    13301      2 |      702 |      598
39.59/39.62	c 39.4s |      12 |    81811 |    31619 |    13301      3 |      702 |      598
41.58/41.65	c 41.4s |      12 |    83137 |    32719 |    13301      3 |      702 |      598
43.68/43.78	c 43.5s |      12 |    84566 |    33919 |    13301      3 |      702 |      598
45.68/45.78	c 45.5s |      12 |    85649 |    34819 |    13301      3 |      702 |      598
47.88/47.96	c 47.7s |      12 |    86912 |    35919 |    13301      3 |      702 |      598
49.88/49.99	c 49.7s |      12 |    87913 |    36819 |    13301      3 |      702 |      598
51.98/52.04	c 51.8s |      12 |    88789 |    37619 |    13301      3 |      702 |      598
54.18/54.26	c 54.0s |      12 |    89658 |    38419 |    13301      3 |      702 |      598
55.28/55.38	c 55.1s |      13 |    90105 |    38832 |    14632      3 |      702 |      598
57.38/57.46	c 57.2s |      13 |    95613 |    40632 |    14632      4 |      702 |      598
59.39/59.48	c 59.2s |      13 |    97509 |    42032 |    14632      4 |      702 |      598
61.38/61.48	c 61.2s |      13 |    99106 |    43232 |    14632      4 |      702 |      598
63.48/63.50	c 63.2s |      13 |   100348 |    44232 |    14632      4 |      702 |      598
65.68/65.71	c 65.5s |      13 |   101037 |    44832 |    14632      4 |      702 |      598
67.68/67.78	c 67.5s |      13 |   102381 |    45932 |    14632      4 |      702 |      598
69.78/69.87	c 69.6s |      13 |   103696 |    46932 |    14632      4 |      702 |      598
71.98/72.03	c 71.8s |      13 |   105132 |    48032 |    14632      4 |      702 |      598
74.18/74.20	c 73.9s |      13 |   106090 |    48832 |    14632      4 |      702 |      598
76.28/76.33	c 76.1s |      13 |   106778 |    49432 |    14632      5 |      702 |      598
78.38/78.40	c 78.1s |      13 |   107831 |    50332 |    14632      5 |      702 |      598
80.48/80.51	c 80.3s |      13 |   108924 |    51232 |    14632      5 |      702 |      598
82.68/82.71	c 82.5s |      13 |   109958 |    52132 |    14632      5 |      702 |      598
84.88/84.90	c 84.6s |      13 |   110893 |    52932 |    14632      5 |      702 |      598
86.88/86.96	c 86.7s |      13 |   111670 |    53632 |    14632      5 |      702 |      598
88.97/89.10	c 88.9s |      13 |   112468 |    54332 |    14632      5 |      702 |      598
91.28/91.34	c 91.1s |      13 |   113291 |    55032 |    14632      5 |      702 |      598
93.27/93.39	c 93.1s |      13 |   113952 |    55632 |    14632      5 |      702 |      598
95.57/95.66	c 95.4s |      13 |   114755 |    56332 |    14632      5 |      702 |      598
97.67/97.72	c 97.5s |      13 |   115890 |    57132 |    14632      5 |      702 |      598
100.27/100.37	c  100s |      13 |   116877 |    57932 |    14632      6 |      702 |      598
101.28/101.37	c  101s |      14 |   117429 |    58352 |    16096      6 |      702 |      598
103.38/103.45	c  103s |      14 |   124273 |    60652 |    16096      6 |      702 |      598
105.37/105.45	c  105s |      14 |   126966 |    62452 |    16096      6 |      702 |      598
107.47/107.51	c  107s |      14 |   130349 |    64252 |    16096      6 |      702 |      598
109.57/109.65	c  109s |      14 |   131992 |    65452 |    16096      6 |      702 |      598
111.77/111.83	c  111s |      14 |   133194 |    66452 |    16096      6 |      702 |      598
113.77/113.86	c  113s |      14 |   135481 |    67852 |    16096      6 |      702 |      598
115.97/116.03	c  115s |      14 |   138375 |    69252 |    16096      7 |      702 |      598
118.07/118.16	c  117s |      14 |   140647 |    70652 |    16096      7 |      702 |      598
120.07/120.17	c  119s |      14 |   142619 |    71852 |    16096      7 |      702 |      598
122.27/122.31	c  122s |      14 |   144206 |    72952 |    16096      7 |      702 |      598
124.38/124.48	c  124s |      14 |   145665 |    73952 |    16096      7 |      702 |      598
126.58/126.69	c  126s |      14 |   147171 |    75152 |    16096      7 |      702 |      598
128.68/128.76	c  128s |      14 |   148435 |    76152 |    16096      7 |      702 |      598
130.77/130.86	c  130s |      14 |   150097 |    77252 |    16096      7 |      702 |      598
132.87/132.98	c  132s |      14 |   151599 |    78352 |    16096      8 |      702 |      598
135.07/135.16	c  134s |      14 |   153211 |    79552 |    16096      8 |      702 |      598
137.27/137.35	c  137s |      14 |   154255 |    80452 |    16096      8 |      702 |      598
139.47/139.50	c  139s |      14 |   155834 |    81552 |    16096      8 |      702 |      598
141.47/141.59	c  141s |      14 |   156768 |    82352 |    16096      8 |      702 |      598
143.67/143.72	c  143s |      14 |   157878 |    83252 |    16096      8 |      702 |      598
145.77/145.82	c  145s |      14 |   158985 |    84152 |    16096      8 |      702 |      598
147.77/147.89	c  147s |      14 |   160286 |    85152 |    16096      8 |      702 |      598
149.97/150.08	c  149s |      14 |   161424 |    86052 |    16096      8 |      702 |      598
152.17/152.27	c  152s |      14 |   162305 |    86752 |    16096      8 |      702 |      598
154.37/154.46	c  154s |      14 |   163129 |    87452 |    17706      8 |      702 |      598
154.97/155.05	c  154s |      15 |   163346 |    87632 |    17706      8 |      702 |      598
156.96/157.09	c  156s |      15 |   174049 |    89732 |    17706      9 |      702 |      598
159.06/159.17	c  158s |      15 |   177460 |    91432 |    17706      9 |      702 |      598
161.16/161.21	c  160s |      15 |   178901 |    92532 |    17706      9 |      702 |      598
163.26/163.31	c  163s |      15 |   184426 |    94532 |    17706      9 |      702 |      598
165.26/165.34	c  165s |      15 |   186541 |    95932 |    17706      9 |      702 |      598
167.27/167.40	c  167s |      15 |   188723 |    97032 |    17706      9 |      702 |      598
169.47/169.56	c  169s |      15 |   191268 |    98432 |    17706      9 |      702 |      598
171.57/171.63	c  171s |      15 |   192794 |    99532 |    17706     10 |      702 |      598
173.56/173.65	c  173s |      15 |   194193 |   100632 |    17706     10 |      702 |      598
175.66/175.79	c  175s |      15 |   195648 |   101732 |    17706     10 |      702 |      598
177.86/177.91	c  177s |      15 |   196766 |   102632 |    17706     10 |      702 |      598
180.06/180.15	c  179s |      15 |   197884 |   103532 |    17706     10 |      702 |      598
182.36/182.45	c  182s |      15 |   198967 |   104432 |    17706     10 |      702 |      598
184.46/184.54	c  184s |      15 |   199750 |   105132 |    17706     10 |      702 |      598
186.56/186.62	c  186s |      15 |   200582 |   105832 |    17706     10 |      702 |      598
188.66/188.76	c  188s |      15 |   201371 |   106532 |    17706     10 |      702 |      598
190.76/190.82	c  190s |      15 |   202041 |   107132 |    17706     10 |      702 |      598
192.76/192.83	c  192s |      15 |   202797 |   107732 |    17706     10 |      702 |      598
194.77/194.86	c  194s |      15 |   204053 |   108532 |    17706     10 |      702 |      598
196.97/197.02	c  196s |      15 |   205236 |   109332 |    17706     11 |      702 |      598
199.16/199.22	c  198s |      15 |   206650 |   110332 |    17706     11 |      702 |      598
201.26/201.34	c  201s |      15 |   207806 |   111132 |    17706     11 |      702 |      598
203.35/203.49	c  203s |      15 |   209125 |   112132 |    17706     11 |      702 |      598
205.45/205.52	c  205s |      15 |   210282 |   113032 |    17706     11 |      702 |      598
207.45/207.56	c  207s |      15 |   211121 |   113732 |    17706     11 |      702 |      598
209.75/209.85	c  209s |      15 |   212060 |   114532 |    17706     11 |      702 |      598
211.75/211.86	c  211s |      15 |   213122 |   115332 |    17706     11 |      702 |      598
213.85/213.99	c  213s |      15 |   214128 |   116132 |    17706     11 |      702 |      598
216.15/216.23	c  215s |      15 |   214934 |   116832 |    17706     11 |      702 |      598
218.36/218.44	c  218s |      15 |   215642 |   117432 |    17706     11 |      702 |      598
220.66/220.72	c  220s |      15 |   216369 |   118032 |    17706     11 |      702 |      598
222.76/222.83	c  222s |      15 |   217122 |   118632 |    17706     11 |      702 |      598
224.96/225.08	c  224s |      15 |   217675 |   119132 |    17706     11 |      702 |      598
227.36/227.42	c  227s |      15 |   218264 |   119632 |    17706     12 |      702 |      598
229.46/229.59	c  229s |      15 |   218967 |   120232 |    17706     12 |      702 |      598
231.66/231.72	c  231s |      15 |   219816 |   120932 |    17706     12 |      702 |      598
233.85/233.96	c  233s |      15 |   220795 |   121732 |    17706     12 |      702 |      598
236.16/236.21	c  235s |      15 |   221606 |   122432 |    17706     12 |      702 |      598
238.25/238.38	c  238s |      15 |   222879 |   123232 |    17706     12 |      702 |      598
240.65/240.75	c  240s |      15 |   223877 |   123932 |    17706     12 |      702 |      598
242.95/243.04	c  242s |      15 |   224977 |   124732 |    17706     12 |      702 |      598
244.95/245.05	c  244s |      15 |   225491 |   125132 |    17706     12 |      702 |      598
247.25/247.38	c  247s |      15 |   226345 |   125832 |    17706     12 |      702 |      598
249.55/249.70	c  249s |      15 |   227185 |   126532 |    17706     12 |      702 |      598
251.65/251.75	c  251s |      15 |   228102 |   127232 |    17706     12 |      702 |      598
253.95/254.06	c  253s |      15 |   229065 |   127932 |    17706     12 |      702 |      598
256.26/256.34	c  256s |      15 |   230176 |   128732 |    17706     12 |      702 |      598
258.56/258.61	c  258s |      15 |   231085 |   129432 |    17706     12 |      702 |      598
260.55/260.66	c  260s |      15 |   231714 |   129932 |    17706     13 |      702 |      598
262.55/262.69	c  262s |      15 |   232541 |   130632 |    17706     13 |      702 |      598
264.85/264.90	c  264s |      15 |   233371 |   131332 |    19477     13 |      702 |      598
265.45/265.58	c  265s |      16 |   233617 |   131552 |    19477     13 |      702 |      598
267.55/267.68	c  267s |      16 |   240691 |   133852 |    19477     13 |      702 |      598
269.65/269.73	c  269s |      16 |   243848 |   135852 |    19477     13 |      702 |      598
271.66/271.75	c  271s |      16 |   246512 |   137452 |    19477     13 |      702 |      598
273.75/273.80	c  273s |      16 |   248275 |   138852 |    19477     13 |      702 |      598
275.75/275.86	c  275s |      16 |   249764 |   140052 |    19477     13 |      702 |      598
277.84/277.90	c  277s |      16 |   251243 |   141252 |    19477     13 |      702 |      598
280.04/280.12	c  279s |      16 |   252257 |   142152 |    19477     14 |      702 |      598
282.14/282.25	c  281s |      16 |   253531 |   143252 |    19477     14 |      702 |      598
284.24/284.38	c  284s |      16 |   254967 |   144452 |    19477     14 |      702 |      598
286.34/286.42	c  286s |      16 |   256164 |   145452 |    19477     14 |      702 |      598
288.54/288.63	c  288s |      16 |   257470 |   146552 |    19477     14 |      702 |      598
290.64/290.75	c  290s |      16 |   258697 |   147552 |    19477     14 |      702 |      598
292.65/292.75	c  292s |      16 |   259468 |   148252 |    19477     14 |      702 |      598
294.85/294.98	c  294s |      16 |   260376 |   149052 |    19477     14 |      702 |      598
297.05/297.17	c  296s |      16 |   261129 |   149752 |    19477     14 |      702 |      598
299.34/299.49	c  299s |      16 |   262051 |   150552 |    19477     14 |      702 |      598
301.54/301.63	c  301s |      16 |   262866 |   151252 |    19477     14 |      702 |      598
303.65/303.76	c  303s |      16 |   263657 |   151952 |    19477     14 |      702 |      598
305.64/305.79	c  305s |      16 |   264465 |   152652 |    19477     14 |      702 |      598
307.95/308.09	c  307s |      16 |   265245 |   153352 |    19477     14 |      702 |      598
310.15/310.24	c  309s |      16 |   265930 |   153952 |    19477     15 |      702 |      598
312.24/312.40	c  312s |      16 |   266837 |   154752 |    19477     15 |      702 |      598
314.34/314.48	c  314s |      16 |   267757 |   155552 |    19477     15 |      702 |      598
316.64/316.79	c  316s |      16 |   268681 |   156352 |    19477     15 |      702 |      598
319.05/319.13	c  318s |      16 |   269448 |   157052 |    19477     15 |      702 |      598
321.04/321.13	c  320s |      16 |   270291 |   157752 |    19477     15 |      702 |      598
323.13/323.28	c  323s |      16 |   271566 |   158752 |    19477     15 |      702 |      598
325.23/325.34	c  325s |      16 |   272674 |   159652 |    19477     15 |      702 |      598
327.43/327.53	c  327s |      16 |   273773 |   160552 |    19477     15 |      702 |      598
329.53/329.62	c  329s |      16 |   274860 |   161452 |    19477     15 |      702 |      598
331.73/331.83	c  331s |      16 |   275976 |   162352 |    19477     15 |      702 |      598
333.83/333.96	c  333s |      16 |   276920 |   163152 |    19477     15 |      702 |      598
335.93/336.02	c  335s |      16 |   277724 |   163852 |    19477     15 |      702 |      598
338.03/338.14	c  337s |      16 |   278531 |   164552 |    19477     15 |      702 |      598
340.13/340.26	c  340s |      16 |   279240 |   165152 |    19477     16 |      702 |      598
342.33/342.45	c  342s |      16 |   280270 |   166052 |    19477     16 |      702 |      598
344.53/344.67	c  344s |      16 |   281429 |   167052 |    19477     16 |      702 |      598
346.55/346.69	c  346s |      16 |   282344 |   167852 |    19477     16 |      702 |      598
348.65/348.76	c  348s |      16 |   283268 |   168652 |    19477     16 |      702 |      598
350.64/350.77	c  350s |      16 |   284057 |   169352 |    19477     16 |      702 |      598
352.94/353.03	c  352s |      16 |   284947 |   170152 |    19477     16 |      702 |      598
355.25/355.31	c  355s |      16 |   285909 |   170952 |    19477     16 |      702 |      598
357.34/357.48	c  357s |      16 |   286689 |   171652 |    19477     16 |      702 |      598
359.54/359.60	c  359s |      16 |   287521 |   172352 |    19477     16 |      702 |      598
361.74/361.87	c  361s |      16 |   288465 |   173152 |    19477     16 |      702 |      598
363.83/363.91	c  363s |      16 |   289322 |   173852 |    19477     16 |      702 |      598
366.13/366.20	c  365s |      16 |   290241 |   174652 |    19477     16 |      702 |      598
368.23/368.39	c  368s |      16 |   291024 |   175352 |    19477     16 |      702 |      598
370.53/370.69	c  370s |      16 |   291830 |   176052 |    19477     16 |      702 |      598
372.63/372.76	c  372s |      16 |   292535 |   176652 |    19477     17 |      702 |      598
374.73/374.86	c  374s |      16 |   293467 |   177452 |    19477     17 |      702 |      598
376.93/377.01	c  376s |      16 |   294404 |   178252 |    19477     17 |      702 |      598
379.03/379.19	c  378s |      16 |   295298 |   179052 |    19477     17 |      702 |      598
381.33/381.48	c  381s |      16 |   296189 |   179852 |    19477     17 |      702 |      598
383.63/383.75	c  383s |      16 |   297131 |   180652 |    19477     17 |      702 |      598
385.83/385.96	c  385s |      16 |   297903 |   181352 |    19477     17 |      702 |      598
388.03/388.14	c  387s |      16 |   298713 |   182052 |    19477     17 |      702 |      598
390.13/390.29	c  390s |      16 |   300037 |   183052 |    19477     17 |      702 |      598
392.23/392.35	c  392s |      16 |   301000 |   183852 |    19477     17 |      702 |      598
394.43/394.52	c  394s |      16 |   301935 |   184652 |    19477     17 |      702 |      598
396.53/396.68	c  396s |      16 |   302853 |   185452 |    19477     17 |      702 |      598
398.73/398.83	c  398s |      16 |   303779 |   186252 |    19477     17 |      702 |      598
400.93/401.00	c  400s |      16 |   304701 |   187052 |    19477     17 |      702 |      598
403.33/403.40	c  403s |      16 |   305552 |   187752 |    19477     18 |      702 |      598
405.43/405.59	c  405s |      16 |   306567 |   188652 |    19477     18 |      702 |      598
407.73/407.82	c  407s |      16 |   307507 |   189452 |    19477     18 |      702 |      598
409.73/409.85	c  409s |      16 |   308429 |   190252 |    19477     18 |      702 |      598
411.73/411.87	c  411s |      16 |   309337 |   191052 |    19477     18 |      702 |      598
413.83/413.92	c  413s |      16 |   310292 |   191852 |    19477     18 |      702 |      598
415.84/415.98	c  415s |      16 |   311065 |   192552 |    19477     18 |      702 |      598
417.94/418.06	c  417s |      16 |   311897 |   193252 |    19477     18 |      702 |      598
419.93/420.08	c  419s |      16 |   312736 |   193952 |    19477     18 |      702 |      598
422.02/422.12	c  421s |      16 |   313533 |   194652 |    19477     18 |      702 |      598
424.32/424.41	c  424s |      16 |   314454 |   195452 |    19477     18 |      702 |      598
426.62/426.72	c  426s |      16 |   315239 |   196152 |    21425     18 |      702 |      598
428.62/428.78	c  428s |      16 |   315935 |   196752 |    21425     18 |      702 |      598
430.72/430.88	c  430s |      16 |   316608 |   197352 |    21425     18 |      702 |      598
431.02/431.12	c  430s |      17 |   316692 |   197432 |    21425     18 |      702 |      598
433.02/433.18	c  432s |      17 |   325121 |   199332 |    21425     18 |      702 |      598
435.12/435.22	c  434s |      17 |   332166 |   201232 |    21425     19 |      702 |      598
437.22/437.33	c  437s |      17 |   334686 |   203132 |    21425     19 |      702 |      598
439.22/439.38	c  439s |      17 |   341239 |   204932 |    21425     19 |      702 |      598
441.32/441.42	c  441s |      17 |   346529 |   206932 |    21425     19 |      702 |      598
443.42/443.52	c  443s |      17 |   349131 |   208532 |    21425     19 |      702 |      598
445.43/445.55	c  445s |      17 |   350715 |   209732 |    21425     19 |      702 |      598
447.63/447.73	c  447s |      17 |   352102 |   210832 |    21425     19 |      702 |      598
449.62/449.78	c  449s |      17 |   353612 |   211932 |    21425     19 |      702 |      598
451.72/451.87	c  451s |      17 |   354450 |   212632 |    21425     20 |      702 |      598
453.82/453.97	c  453s |      17 |   355612 |   213532 |    21425     20 |      702 |      598
455.92/456.01	c  455s |      17 |   356922 |   214532 |    21425     20 |      702 |      598
457.92/458.03	c  457s |      17 |   358167 |   215532 |    21425     20 |      702 |      598
460.22/460.30	c  460s |      17 |   359234 |   216432 |    21425     20 |      702 |      598
462.22/462.34	c  462s |      17 |   360200 |   217232 |    21425     20 |      702 |      598
464.32/464.48	c  464s |      17 |   361024 |   217932 |    21425     20 |      702 |      598
466.62/466.78	c  466s |      17 |   361963 |   218732 |    21425     20 |      702 |      598
468.72/468.85	c  468s |      17 |   362791 |   219432 |    21425     20 |      702 |      598
470.73/470.87	c  470s |      17 |   363829 |   220232 |    21425     20 |      702 |      598
472.82/472.91	c  472s |      17 |   364640 |   220932 |    21425     20 |      702 |      598
475.13/475.22	c  474s |      17 |   365439 |   221632 |    21425     20 |      702 |      598
477.22/477.40	c  477s |      17 |   366256 |   222332 |    21425     20 |      702 |      598
479.42/479.50	c  479s |      17 |   366949 |   222932 |    21425     20 |      702 |      598
481.61/481.72	c  481s |      17 |   367624 |   223532 |    21425     20 |      702 |      598
483.61/483.79	c  483s |      17 |   368321 |   224132 |    21425     20 |      702 |      598
485.81/485.90	c  485s |      17 |   369010 |   224732 |    21425     20 |      702 |      598
488.01/488.15	c  487s |      17 |   369569 |   225232 |    21425     21 |      702 |      598
490.11/490.21	c  489s |      17 |   370239 |   225832 |    21425     21 |      702 |      598
492.31/492.46	c  492s |      17 |   371051 |   226532 |    21425     21 |      702 |      598
494.51/494.65	c  494s |      17 |   371885 |   227232 |    21425     21 |      702 |      598
496.61/496.74	c  496s |      17 |   372867 |   228032 |    21425     21 |      702 |      598
498.81/498.90	c  498s |      17 |   373826 |   228832 |    21425     21 |      702 |      598
500.91/501.04	c  500s |      17 |   374658 |   229532 |    21425     21 |      702 |      598
503.01/503.14	c  502s |      17 |   375497 |   230232 |    21425     21 |      702 |      598
505.01/505.15	c  504s |      17 |   376192 |   230832 |    21425     21 |      702 |      598
507.12/507.21	c  506s |      17 |   376855 |   231432 |    21425     21 |      702 |      598
509.22/509.38	c  509s |      17 |   377533 |   232032 |    21425     21 |      702 |      598
511.31/511.49	c  511s |      17 |   378263 |   232632 |    21425     21 |      702 |      598
513.51/513.62	c  513s |      17 |   378938 |   233232 |    21425     21 |      702 |      598
515.61/515.79	c  515s |      17 |   379634 |   233832 |    21425     21 |      702 |      598
517.81/517.91	c  517s |      17 |   380297 |   234432 |    21425     21 |      702 |      598
520.01/520.17	c  519s |      17 |   380970 |   235032 |    21425     21 |      702 |      598
522.41/522.59	c  522s |      17 |   381620 |   235632 |    21425     21 |      702 |      598
524.61/524.77	c  524s |      17 |   382161 |   236132 |    21425     21 |      702 |      598
527.00/527.13	c  526s |      17 |   382888 |   236732 |    21425     21 |      702 |      598
529.50/529.64	c  529s |      17 |   383503 |   237232 |    21425     22 |      702 |      598
531.70/531.82	c  531s |      17 |   384295 |   237932 |    21425     22 |      702 |      598
534.00/534.14	c  533s |      17 |   385116 |   238632 |    21425     22 |      702 |      598
536.10/536.24	c  535s |      17 |   385785 |   239232 |    21425     22 |      702 |      598
538.10/538.27	c  538s |      17 |   386435 |   239832 |    21425     22 |      702 |      598
540.20/540.36	c  540s |      17 |   387268 |   240532 |    21425     22 |      702 |      598
542.50/542.68	c  542s |      17 |   388073 |   241232 |    21425     22 |      702 |      598
544.60/544.71	c  544s |      17 |   388908 |   241932 |    21425     22 |      702 |      598
546.80/546.94	c  546s |      17 |   389703 |   242632 |    21425     22 |      702 |      598
548.92/549.07	c  548s |      17 |   390511 |   243332 |    21425     22 |      702 |      598
551.21/551.36	c  551s |      17 |   391193 |   243932 |    21425     22 |      702 |      598
553.51/553.62	c  553s |      17 |   391843 |   244532 |    21425     22 |      702 |      598
555.52/555.65	c  555s |      17 |   392534 |   245132 |    21425     22 |      702 |      598
557.91/558.00	c  557s |      17 |   393320 |   245832 |    21425     22 |      702 |      598
560.20/560.33	c  560s |      17 |   393996 |   246432 |    21425     22 |      702 |      598
562.50/562.69	c  562s |      17 |   394687 |   247032 |    21425     22 |      702 |      598
564.90/565.08	c  564s |      17 |   395233 |   247532 |    21425     22 |      702 |      598
567.00/567.18	c  566s |      17 |   395787 |   248032 |    21425     22 |      702 |      598
569.20/569.32	c  569s |      17 |   396449 |   248632 |    21425     22 |      702 |      598
571.30/571.49	c  571s |      17 |   397166 |   249232 |    21425     22 |      702 |      598
573.40/573.53	c  573s |      17 |   397605 |   249632 |    21425     23 |      702 |      598
575.50/575.64	c  575s |      17 |   398248 |   250232 |    21425     23 |      702 |      598
577.70/577.89	c  577s |      17 |   399040 |   250932 |    21425     23 |      702 |      598
580.00/580.14	c  579s |      17 |   399833 |   251632 |    21425     23 |      702 |      598
582.20/582.38	c  582s |      17 |   400628 |   252332 |    21425     23 |      702 |      598
584.30/584.44	c  584s |      17 |   401783 |   253232 |    21425     23 |      702 |      598
586.40/586.58	c  586s |      17 |   402921 |   254132 |    21425     23 |      702 |      598
588.70/588.88	c  588s |      17 |   403870 |   254932 |    21425     23 |      702 |      598
590.90/591.09	c  590s |      17 |   404682 |   255632 |    21425     23 |      702 |      598
593.00/593.11	c  592s |      17 |   405338 |   256232 |    21425     23 |      702 |      598
595.20/595.38	c  595s |      17 |   406148 |   256932 |    21425     23 |      702 |      598
597.31/597.46	c  597s |      17 |   406853 |   257532 |    21425     23 |      702 |      598
599.41/599.55	c  599s |      17 |   407401 |   258032 |    21425     23 |      702 |      598
601.61/601.73	c  601s |      17 |   408202 |   258732 |    21425     23 |      702 |      598
603.91/604.04	c  603s |      17 |   408870 |   259332 |    21425     23 |      702 |      598
606.01/606.13	c  605s |      17 |   409563 |   259932 |    21425     23 |      702 |      598
608.21/608.31	c  608s |      17 |   410243 |   260532 |    21425     23 |      702 |      598
610.30/610.46	c  610s |      17 |   410901 |   261132 |    21425     23 |      702 |      598
612.60/612.74	c  612s |      17 |   411562 |   261732 |    21425     23 |      702 |      598
614.90/615.02	c  614s |      17 |   412092 |   262232 |    21425     24 |      702 |      598
616.89/617.09	c  616s |      17 |   412826 |   262932 |    21425     24 |      702 |      598
619.20/619.35	c  619s |      17 |   413468 |   263532 |    21425     24 |      702 |      598
621.50/621.63	c  621s |      17 |   414288 |   264232 |    21425     24 |      702 |      598
623.49/623.65	c  623s |      17 |   415160 |   264932 |    21425     24 |      702 |      598
625.80/625.92	c  625s |      17 |   416102 |   265732 |    21425     24 |      702 |      598
628.10/628.23	c  627s |      17 |   416866 |   266432 |    21425     24 |      702 |      598
630.09/630.28	c  630s |      17 |   417410 |   266932 |    21425     24 |      702 |      598
632.40/632.51	c  632s |      17 |   418064 |   267532 |    21425     24 |      702 |      598
634.70/634.88	c  634s |      17 |   418719 |   268132 |    21425     24 |      702 |      598
637.09/637.24	c  636s |      17 |   419379 |   268732 |    21425     24 |      702 |      598
639.49/639.65	c  639s |      17 |   420045 |   269332 |    21425     24 |      702 |      598
641.69/641.89	c  641s |      17 |   420598 |   269832 |    21425     24 |      702 |      598
643.79/643.95	c  643s |      17 |   421150 |   270332 |    21425     24 |      702 |      598
646.19/646.33	c  646s |      17 |   421849 |   270932 |    21425     24 |      702 |      598
648.19/648.35	c  648s |      17 |   422427 |   271432 |    21425     24 |      702 |      598
650.49/650.63	c  650s |      17 |   422989 |   271932 |    21425     24 |      702 |      598
652.49/652.66	c  652s |      17 |   423527 |   272432 |    21425     24 |      702 |      598
654.59/654.72	c  654s |      17 |   424184 |   273032 |    21425     24 |      702 |      598
656.89/657.03	c  656s |      17 |   424724 |   273532 |    21425     24 |      702 |      598
659.18/659.31	c  659s |      17 |   425272 |   274032 |    21425     24 |      702 |      598
661.38/661.52	c  661s |      17 |   425802 |   274532 |    21425     25 |      702 |      598
663.58/663.71	c  663s |      17 |   426439 |   275132 |    21425     25 |      702 |      598
665.68/665.85	c  665s |      17 |   427092 |   275732 |    21425     25 |      702 |      598
668.08/668.25	c  668s |      17 |   427710 |   276332 |    21425     25 |      702 |      598
670.38/670.52	c  670s |      17 |   428368 |   276932 |    21425     25 |      702 |      598
672.49/672.60	c  672s |      17 |   429005 |   277532 |    21425     25 |      702 |      598
674.59/674.73	c  674s |      17 |   429563 |   278032 |    21425     25 |      702 |      598
676.59/676.75	c  676s |      17 |   430258 |   278632 |    21425     25 |      702 |      598
678.60/678.76	c  678s |      17 |   430927 |   279232 |    21425     25 |      702 |      598
680.80/680.92	c  680s |      17 |   431643 |   279832 |    21425     25 |      702 |      598
682.89/683.02	c  682s |      17 |   432337 |   280432 |    21425     25 |      702 |      598
684.99/685.17	c  684s |      17 |   433005 |   281032 |    21425     25 |      702 |      598
687.09/687.23	c  686s |      17 |   433679 |   281632 |    21425     25 |      702 |      598
689.09/689.28	c  689s |      17 |   434224 |   282132 |    21425     25 |      702 |      598
691.39/691.59	c  691s |      17 |   434897 |   282732 |    21425     25 |      702 |      598
693.49/693.62	c  693s |      17 |   435432 |   283232 |    21425     25 |      702 |      598
695.78/695.95	c  695s |      17 |   436095 |   283832 |    21425     25 |      702 |      598
697.88/698.03	c  697s |      17 |   436653 |   284332 |    21425     25 |      702 |      598
700.08/700.22	c  699s |      17 |   437324 |   284932 |    21425     25 |      702 |      598
702.18/702.33	c  702s |      17 |   437879 |   285432 |    21425     25 |      702 |      598
704.38/704.51	c  704s |      17 |   438416 |   285932 |    21425     25 |      702 |      598
706.48/706.64	c  706s |      17 |   438856 |   286332 |    21425     26 |      702 |      598
708.58/708.79	c  708s |      17 |   439511 |   286932 |    21425     26 |      702 |      598
710.78/710.97	c  710s |      17 |   440216 |   287532 |    21425     26 |      702 |      598
712.98/713.11	c  712s |      17 |   440875 |   288132 |    21425     26 |      702 |      598
715.18/715.36	c  715s |      17 |   441519 |   288732 |    21425     26 |      702 |      598
717.48/717.62	c  717s |      17 |   442161 |   289332 |    21425     26 |      702 |      598
719.68/719.84	c  719s |      17 |   442819 |   289932 |    21425     26 |      702 |      598
721.88/722.02	c  721s |      17 |   443615 |   290632 |    21425     26 |      702 |      598
724.07/724.21	c  723s |      17 |   444238 |   291232 |    21425     26 |      702 |      598
726.27/726.41	c  726s |      17 |   444914 |   291832 |    21425     26 |      702 |      598
728.58/728.71	c  728s |      17 |   445587 |   292432 |    21425     26 |      702 |      598
730.57/730.79	c  730s |      17 |   446138 |   292932 |    21425     26 |      702 |      598
732.87/733.02	c  732s |      17 |   446795 |   293532 |    21425     26 |      702 |      598
735.07/735.25	c  734s |      17 |   447470 |   294132 |    21425     26 |      702 |      598
737.37/737.53	c  737s |      17 |   448138 |   294732 |    23568     26 |      702 |      598
739.67/739.81	c  739s |      17 |   448689 |   295232 |    23568     26 |      702 |      598
741.77/741.97	c  741s |      17 |   449224 |   295732 |    23568     26 |      702 |      598
743.97/744.16	c  743s |      17 |   449775 |   296232 |    23568     26 |      702 |      598
744.07/744.25	c  744s |      18 |   449794 |   296252 |    23568     26 |      702 |      598
746.08/746.28	c  746s |      18 |   452547 |   297452 |    23568     26 |      702 |      598
748.18/748.39	c  748s |      18 |   455978 |   299452 |    23568     26 |      702 |      598
750.38/750.53	c  750s |      18 |   457292 |   300452 |    23568     27 |      702 |      598
752.58/752.72	c  752s |      18 |   459334 |   301952 |    23568     27 |      702 |      598
754.68/754.85	c  754s |      18 |   461126 |   303352 |    23568     27 |      702 |      598
756.68/756.89	c  756s |      18 |   462693 |   304652 |    23568     27 |      702 |      598
758.88/759.06	c  758s |      18 |   463868 |   305652 |    23568     27 |      702 |      598
760.97/761.15	c  760s |      18 |   465175 |   306752 |    23568     27 |      702 |      598
763.07/763.20	c  762s |      18 |   466758 |   307952 |    23568     27 |      702 |      598
765.17/765.38	c  765s |      18 |   468330 |   309152 |    23568     27 |      702 |      598
767.27/767.41	c  767s |      18 |   469632 |   310152 |    23568     27 |      702 |      598
769.47/769.62	c  769s |      18 |   471000 |   311252 |    23568     27 |      702 |      598
771.47/771.67	c  771s |      18 |   471930 |   312052 |    23568     27 |      702 |      598
773.77/773.90	c  773s |      18 |   472971 |   312952 |    23568     27 |      702 |      598
775.87/776.04	c  775s |      18 |   473887 |   313752 |    23568     27 |      702 |      598
777.87/778.07	c  777s |      18 |   474755 |   314452 |    23568     28 |      702 |      598
779.97/780.18	c  779s |      18 |   475802 |   315352 |    23568     28 |      702 |      598
782.17/782.34	c  782s |      18 |   476746 |   316152 |    23568     28 |      702 |      598
784.28/784.44	c  784s |      18 |   477662 |   316952 |    23568     28 |      702 |      598
786.27/786.49	c  786s |      18 |   478475 |   317652 |    23568     28 |      702 |      598
788.47/788.65	c  788s |      18 |   479236 |   318352 |    23568     28 |      702 |      598
790.47/790.68	c  790s |      18 |   480041 |   319052 |    23568     28 |      702 |      598
792.67/792.88	c  792s |      18 |   480987 |   319852 |    23568     28 |      702 |      598
794.87/795.01	c  794s |      18 |   481978 |   320652 |    23568     28 |      702 |      598
796.86/797.07	c  796s |      18 |   482799 |   321352 |    23568     28 |      702 |      598
799.16/799.30	c  799s |      18 |   483593 |   322052 |    23568     28 |      702 |      598
801.17/801.30	c  801s |      18 |   484288 |   322652 |    23568     28 |      702 |      598
803.26/803.49	c  803s |      18 |   485288 |   323452 |    23568     28 |      702 |      598
805.36/805.54	c  805s |      18 |   486142 |   324152 |    23568     28 |      702 |      598
807.56/807.77	c  807s |      18 |   487002 |   324852 |    23568     28 |      702 |      598
809.66/809.85	c  809s |      18 |   487843 |   325552 |    23568     28 |      702 |      598
811.86/812.05	c  811s |      18 |   488711 |   326252 |    23568     28 |      702 |      598
814.26/814.42	c  814s |      18 |   489522 |   326952 |    23568     28 |      702 |      598
816.26/816.49	c  816s |      18 |   490237 |   327552 |    23568     29 |      702 |      598
818.37/818.52	c  818s |      18 |   491174 |   328352 |    23568     29 |      702 |      598
820.36/820.58	c  820s |      18 |   491997 |   329052 |    23568     29 |      702 |      598
822.46/822.65	c  822s |      18 |   492834 |   329752 |    23568     29 |      702 |      598
824.76/824.93	c  824s |      18 |   493750 |   330552 |    23568     29 |      702 |      598
826.76/826.93	c  826s |      18 |   494554 |   331252 |    23568     29 |      702 |      598
829.06/829.26	c  829s |      18 |   495326 |   331952 |    23568     29 |      702 |      598
831.26/831.42	c  831s |      18 |   496110 |   332652 |    23568     29 |      702 |      598
833.56/833.75	c  833s |      18 |   496915 |   333352 |    23568     29 |      702 |      598
835.76/835.97	c  835s |      18 |   497750 |   334052 |    23568     29 |      702 |      598
837.96/838.10	c  837s |      18 |   498428 |   334652 |    23568     29 |      702 |      598
840.06/840.27	c  840s |      18 |   499103 |   335252 |    23568     29 |      702 |      598
842.36/842.59	c  842s |      18 |   499805 |   335852 |    23568     29 |      702 |      598
844.77/844.91	c  844s |      18 |   500491 |   336452 |    23568     29 |      702 |      598
846.97/847.18	c  846s |      18 |   501162 |   337052 |    23568     29 |      702 |      598
849.35/849.54	c  849s |      18 |   501843 |   337652 |    23568     29 |      702 |      598
851.75/851.93	c  851s |      18 |   502565 |   338252 |    23568     29 |      702 |      598
853.95/854.12	c  853s |      18 |   503275 |   338852 |    23568     29 |      702 |      598
856.05/856.24	c  855s |      18 |   503928 |   339452 |    23568     29 |      702 |      598
858.45/858.61	c  858s |      18 |   504596 |   340052 |    23568     29 |      702 |      598
860.95/861.14	c  860s |      18 |   505143 |   340552 |    23568     30 |      702 |      598
863.15/863.31	c  863s |      18 |   505935 |   341252 |    23568     30 |      702 |      598
865.35/865.53	c  865s |      18 |   506719 |   341952 |    23568     30 |      702 |      598
867.55/867.76	c  867s |      18 |   507510 |   342652 |    23568     30 |      702 |      598
869.75/869.97	c  869s |      18 |   508314 |   343352 |    23568     30 |      702 |      598
871.85/872.08	c  871s |      18 |   509158 |   344052 |    23568     30 |      702 |      598
873.95/874.18	c  873s |      18 |   509942 |   344752 |    23568     30 |      702 |      598
876.05/876.25	c  875s |      18 |   510771 |   345452 |    23568     30 |      702 |      598
878.35/878.50	c  878s |      18 |   511545 |   346152 |    23568     30 |      702 |      598
880.55/880.78	c  880s |      18 |   512345 |   346852 |    23568     30 |      702 |      598
882.85/883.04	c  882s |      18 |   513168 |   347552 |    23568     30 |      702 |      598
885.05/885.23	c  884s |      18 |   513825 |   348152 |    23568     30 |      702 |      598
887.05/887.24	c  886s |      18 |   514526 |   348752 |    23568     30 |      702 |      598
889.05/889.24	c  888s |      18 |   515206 |   349352 |    23568     30 |      702 |      598
891.15/891.38	c  891s |      18 |   515891 |   349952 |    23568     30 |      702 |      598
893.35/893.51	c  893s |      18 |   516548 |   350552 |    23568     30 |      702 |      598
895.65/895.87	c  895s |      18 |   517363 |   351252 |    23568     30 |      702 |      598
897.75/897.95	c  897s |      18 |   517901 |   351752 |    23568     30 |      702 |      598
900.15/900.30	c  900s |      18 |   518570 |   352352 |    23568     30 |      702 |      598
902.14/902.32	c  902s |      18 |   519125 |   352852 |    23568     30 |      702 |      598
904.15/904.35	c  904s |      18 |   519703 |   353352 |    23568     30 |      702 |      598
906.94/907.12	c  906s |      18 |   520393 |   353952 |    23568     31 |      702 |      598
909.04/909.28	c  909s |      18 |   521439 |   354752 |    23568     31 |      702 |      598
911.34/911.55	c  911s |      18 |   522332 |   355552 |    23568     31 |      702 |      598
913.54/913.77	c  913s |      18 |   523118 |   356252 |    23568     31 |      702 |      598
915.84/916.09	c  915s |      18 |   523901 |   356952 |    23568     31 |      702 |      598
918.04/918.20	c  917s |      18 |   524540 |   357552 |    23568     31 |      702 |      598
920.24/920.49	c  920s |      18 |   525205 |   358152 |    23568     31 |      702 |      598
922.64/922.84	c  922s |      18 |   525877 |   358752 |    23568     31 |      702 |      598
924.84/925.09	c  924s |      18 |   526542 |   359352 |    23568     31 |      702 |      598
927.25/927.46	c  927s |      18 |   527196 |   359952 |    23568     31 |      702 |      598
929.45/929.66	c  929s |      18 |   527852 |   360552 |    23568     31 |      702 |      598
931.74/931.97	c  931s |      18 |   528566 |   361152 |    23568     31 |      702 |      598
934.14/934.36	c  934s |      18 |   529254 |   361752 |    23568     31 |      702 |      598
936.24/936.48	c  936s |      18 |   529790 |   362252 |    23568     31 |      702 |      598
938.44/938.64	c  938s |      18 |   530342 |   362752 |    23568     31 |      702 |      598
940.64/940.81	c  940s |      18 |   531156 |   363452 |    23568     31 |      702 |      598
942.83/943.00	c  942s |      18 |   531966 |   364152 |    23568     31 |      702 |      598
944.85/945.04	c  944s |      18 |   532645 |   364752 |    23568     31 |      702 |      598
946.94/947.11	c  946s |      18 |   533313 |   365352 |    23568     31 |      702 |      598
948.93/949.12	c  948s |      18 |   534029 |   365952 |    23568     31 |      702 |      598
951.03/951.27	c  951s |      18 |   534691 |   366552 |    23568     31 |      702 |      598
953.43/953.61	c  953s |      18 |   535373 |   367152 |    23568     31 |      702 |      598
955.63/955.90	c  955s |      18 |   536045 |   367752 |    23568     32 |      702 |      598
957.94/958.17	c  957s |      18 |   536804 |   368452 |    23568     32 |      702 |      598
960.03/960.24	c  959s |      18 |   537584 |   369152 |    23568     32 |      702 |      598
962.03/962.28	c  962s |      18 |   538590 |   369952 |    23568     32 |      702 |      598
964.23/964.46	c  964s |      18 |   539392 |   370652 |    23568     32 |      702 |      598
966.33/966.51	c  966s |      18 |   540264 |   371352 |    23568     32 |      702 |      598
968.53/968.76	c  968s |      18 |   541081 |   372052 |    23568     32 |      702 |      598
970.63/970.88	c  970s |      18 |   541854 |   372752 |    23568     32 |      702 |      598
972.63/972.88	c  972s |      18 |   542514 |   373352 |    23568     32 |      702 |      598
974.93/975.15	c  974s |      18 |   543318 |   374052 |    23568     32 |      702 |      598
976.93/977.16	c  976s |      18 |   544027 |   374652 |    23568     32 |      702 |      598
979.03/979.21	c  978s |      18 |   544699 |   375252 |    23568     32 |      702 |      598
981.04/981.28	c  981s |      18 |   545395 |   375852 |    23568     32 |      702 |      598
983.43/983.62	c  983s |      18 |   546101 |   376452 |    23568     32 |      702 |      598
985.83/986.07	c  985s |      18 |   546757 |   377052 |    23568     32 |      702 |      598
988.13/988.36	c  988s |      18 |   547614 |   377752 |    23568     32 |      702 |      598
990.43/990.63	c  990s |      18 |   548438 |   378452 |    23568     32 |      702 |      598
992.63/992.81	c  992s |      18 |   549137 |   379052 |    23568     32 |      702 |      598
994.93/995.10	c  994s |      18 |   549825 |   379652 |    23568     32 |      702 |      598
996.93/997.18	c  996s |      18 |   550378 |   380152 |    23568     32 |      702 |      598
999.43/999.61	c  999s |      18 |   550945 |   380652 |    23568     33 |      702 |      598
1001.42/1001.62	c 1001s |      18 |   551753 |   381352 |    23568     33 |      702 |      598
1003.52/1003.79	c 1003s |      18 |   552699 |   382152 |    23568     33 |      702 |      598
1005.82/1006.06	c 1005s |      18 |   553639 |   382952 |    23568     33 |      702 |      598
1008.02/1008.24	c 1007s |      18 |   554468 |   383652 |    23568     33 |      702 |      598
1010.12/1010.37	c 1010s |      18 |   555283 |   384352 |    23568     33 |      702 |      598
1012.42/1012.63	c 1012s |      18 |   556063 |   385052 |    23568     33 |      702 |      598
1014.42/1014.65	c 1014s |      18 |   556768 |   385652 |    23568     33 |      702 |      598
1016.62/1016.86	c 1016s |      18 |   557438 |   386252 |    23568     33 |      702 |      598
1018.82/1019.09	c 1018s |      18 |   558088 |   386852 |    23568     33 |      702 |      598
1021.01/1021.26	c 1021s |      18 |   558806 |   387452 |    23568     33 |      702 |      598
1023.31/1023.56	c 1023s |      18 |   559628 |   388152 |    23568     33 |      702 |      598
1025.31/1025.58	c 1025s |      18 |   560309 |   388752 |    23568     33 |      702 |      598
1027.41/1027.69	c 1027s |      18 |   561009 |   389352 |    23568     33 |      702 |      598
1029.71/1029.92	c 1029s |      18 |   561679 |   389952 |    23568     33 |      702 |      598
1032.01/1032.20	c 1031s |      18 |   562344 |   390552 |    23568     33 |      702 |      598
1034.11/1034.40	c 1034s |      18 |   562898 |   391052 |    23568     33 |      702 |      598
1036.31/1036.51	c 1036s |      18 |   563570 |   391652 |    23568     33 |      702 |      598
1038.32/1038.59	c 1038s |      18 |   564351 |   392252 |    23568     33 |      702 |      598
1040.60/1040.84	c 1040s |      18 |   565054 |   392852 |    23568     33 |      702 |      598
1043.00/1043.23	c 1042s |      18 |   565759 |   393452 |    23568     33 |      702 |      598
1045.30/1045.53	c 1045s |      18 |   566353 |   393952 |    23568     34 |      702 |      598
1047.61/1047.81	c 1047s |      18 |   567332 |   394752 |    23568     34 |      702 |      598
1049.61/1049.89	c 1049s |      18 |   568153 |   395452 |    23568     34 |      702 |      598
1051.80/1052.02	c 1051s |      18 |   569007 |   396152 |    23568     34 |      702 |      598
1053.90/1054.13	c 1053s |      18 |   569799 |   396852 |    23568     34 |      702 |      598
1055.91/1056.16	c 1055s |      18 |   570475 |   397452 |    23568     34 |      702 |      598
1058.01/1058.30	c 1058s |      18 |   571286 |   398152 |    23568     34 |      702 |      598
1060.10/1060.32	c 1060s |      18 |   572555 |   398952 |    23568     34 |      702 |      598
1062.30/1062.50	c 1062s |      18 |   573651 |   399752 |    23568     34 |      702 |      598
1064.30/1064.55	c 1064s |      18 |   575381 |   400752 |    23568     34 |      702 |      598
1066.40/1066.61	c 1066s |      18 |   576622 |   401652 |    23568     34 |      702 |      598
1068.40/1068.64	c 1068s |      18 |   577825 |   402552 |    23568     34 |      702 |      598
1070.39/1070.65	c 1070s |      18 |   578825 |   403352 |    23568     34 |      702 |      598
1072.49/1072.71	c 1072s |      18 |   579718 |   404052 |    23568     34 |      702 |      598
1074.69/1074.92	c 1074s |      18 |   580538 |   404752 |    23568     34 |      702 |      598
1076.99/1077.29	c 1077s |      18 |   581476 |   405452 |    23568     34 |      702 |      598
1079.09/1079.31	c 1079s |      18 |   582064 |   405952 |    23568     34 |      702 |      598
1081.09/1081.34	c 1081s |      18 |   582943 |   406652 |    23568     34 |      702 |      598
1083.08/1083.34	c 1083s |      18 |   583691 |   407252 |    23568     35 |      702 |      598
1085.28/1085.59	c 1085s |      18 |   584767 |   408152 |    23568     35 |      702 |      598
1087.38/1087.64	c 1087s |      18 |   585951 |   409052 |    23568     35 |      702 |      598
1089.48/1089.76	c 1089s |      18 |   587224 |   410052 |    23568     35 |      702 |      598
1091.67/1091.93	c 1091s |      18 |   588332 |   410952 |    23568     35 |      702 |      598
1093.67/1093.96	c 1093s |      18 |   589280 |   411752 |    23568     35 |      702 |      598
1095.87/1096.18	c 1095s |      18 |   590249 |   412552 |    23568     35 |      702 |      598
1098.17/1098.42	c 1098s |      18 |   591206 |   413352 |    23568     35 |      702 |      598
1100.27/1100.56	c 1100s |      18 |   592015 |   414052 |    23568     35 |      702 |      598
1102.37/1102.60	c 1102s |      18 |   593058 |   414852 |    23568     35 |      702 |      598
1104.57/1104.84	c 1104s |      18 |   594012 |   415652 |    23568     35 |      702 |      598
1106.66/1106.96	c 1106s |      18 |   594833 |   416352 |    23568     35 |      702 |      598
1108.76/1109.01	c 1108s |      18 |   595660 |   417052 |    23568     35 |      702 |      598
1110.87/1111.13	c 1110s |      18 |   596410 |   417652 |    23568     35 |      702 |      598
1112.86/1113.18	c 1112s |      18 |   597125 |   418252 |    23568     35 |      702 |      598
1115.06/1115.31	c 1115s |      18 |   597808 |   418852 |    23568     35 |      702 |      598
1117.26/1117.50	c 1117s |      18 |   598548 |   419452 |    23568     35 |      702 |      598
1119.46/1119.70	c 1119s |      18 |   599355 |   420152 |    23568     35 |      702 |      598
1121.55/1121.84	c 1121s |      18 |   599944 |   420652 |    23568     36 |      702 |      598
1123.65/1123.97	c 1123s |      18 |   600868 |   421452 |    23568     36 |      702 |      598
1125.85/1126.16	c 1125s |      18 |   601773 |   422252 |    23568     36 |      702 |      598
1128.05/1128.36	c 1128s |      18 |   602680 |   423052 |    23568     36 |      702 |      598
1130.15/1130.41	c 1130s |      18 |   603537 |   423752 |    23568     36 |      702 |      598
1132.14/1132.45	c 1132s |      18 |   604215 |   424352 |    23568     36 |      702 |      598
1134.34/1134.65	c 1134s |      18 |   605051 |   425052 |    23568     36 |      702 |      598
1136.54/1136.83	c 1136s |      18 |   605879 |   425752 |    23568     36 |      702 |      598
1138.84/1139.12	c 1138s |      18 |   606690 |   426452 |    23568     36 |      702 |      598
1140.94/1141.21	c 1140s |      18 |   607400 |   427052 |    23568     36 |      702 |      598
1143.04/1143.36	c 1143s |      18 |   608256 |   427752 |    23568     36 |      702 |      598
1145.14/1145.42	c 1145s |      18 |   609435 |   428552 |    23568     36 |      702 |      598
1147.15/1147.47	c 1147s |      18 |   610305 |   429252 |    23568     36 |      702 |      598
1149.14/1149.49	c 1149s |      18 |   611000 |   429852 |    23568     36 |      702 |      598
1151.63/1151.90	c 1151s |      18 |   611801 |   430552 |    23568     36 |      702 |      598
1153.83/1154.19	c 1153s |      18 |   612643 |   431252 |    23568     36 |      702 |      598
1156.03/1156.36	c 1156s |      18 |   613447 |   431952 |    23568     36 |      702 |      598
1158.14/1158.50	c 1158s |      18 |   614267 |   432652 |    23568     36 |      702 |      598
1160.33/1160.67	c 1160s |      18 |   615099 |   433352 |    23568     36 |      702 |      598
1162.92/1163.20	c 1162s |      18 |   615791 |   433952 |    23568     37 |      702 |      598
1164.92/1165.23	c 1164s |      18 |   616592 |   434652 |    23568     37 |      702 |      598
1166.93/1167.23	c 1166s |      18 |   617408 |   435352 |    23568     37 |      702 |      598
1168.92/1169.26	c 1169s |      18 |   618072 |   435952 |    23568     37 |      702 |      598
1171.01/1171.35	c 1171s |      18 |   619772 |   436852 |    23568     37 |      702 |      598
1173.01/1173.37	c 1173s |      18 |   621728 |   438052 |    23568     37 |      702 |      598
1175.11/1175.42	c 1175s |      18 |   624376 |   439452 |    23568     37 |      702 |      598
1177.21/1177.50	c 1177s |      18 |   627387 |   440852 |    23568     37 |      702 |      598
1179.31/1179.64	c 1179s |      18 |   630220 |   442352 |    25925     37 |      702 |      598
1181.51/1181.85	c 1181s |      18 |   631579 |   443452 |    25925     37 |      702 |      598
1183.61/1183.90	c 1183s |      19 |   633070 |   444482 |    25925     37 |      702 |      598
1185.61/1185.94	c 1185s |      19 |   643716 |   446382 |    25925     37 |      702 |      598
1187.60/1188.00	c 1187s |      19 |   649723 |   448882 |    25925     37 |      702 |      598
1189.80/1190.15	c 1189s |      19 |   651862 |   450282 |    25925     38 |      702 |      598
1191.99/1192.30	c 1192s |      19 |   653676 |   451682 |    25925     38 |      702 |      598
1193.99/1194.30	c 1194s |      19 |   655629 |   452982 |    25925     38 |      702 |      598
1195.99/1196.32	c 1196s |      19 |   657333 |   454282 |    25925     38 |      702 |      598
1198.09/1198.45	c 1198s |      19 |   658712 |   455382 |    25925     38 |      702 |      598
1200.29/1200.60	c 1200s |      19 |   660043 |   456482 |    25925     38 |      702 |      598
1202.39/1202.70	c 1202s |      19 |   661264 |   457482 |    25925     38 |      702 |      598
1204.39/1204.71	c 1204s |      19 |   665772 |   459082 |    25925     38 |      702 |      598
1206.50/1206.86	c 1206s |      19 |   668379 |   460582 |    25925     38 |      702 |      598
1208.60/1208.96	c 1208s |      19 |   669996 |   461782 |    25925     38 |      702 |      598
1210.79/1211.19	c 1210s |      19 |   671306 |   462782 |    25925     38 |      702 |      598
1212.99/1213.35	c 1213s |      19 |   672273 |   463582 |    25925     38 |      702 |      598
1215.08/1215.44	c 1215s |      19 |   673145 |   464282 |    25925     39 |      702 |      598
1217.08/1217.48	c 1217s |      19 |   674176 |   465182 |    25925     39 |      702 |      598
1219.28/1219.69	c 1219s |      19 |   675065 |   465982 |    25925     39 |      702 |      598
1221.57/1221.96	c 1221s |      19 |   675968 |   466782 |    25925     39 |      702 |      598
1223.67/1224.09	c 1223s |      19 |   676907 |   467582 |    25925     39 |      702 |      598
1225.77/1226.13	c 1225s |      19 |   677738 |   468282 |    25925     39 |      702 |      598
1227.97/1228.35	c 1228s |      19 |   678525 |   468982 |    25925     39 |      702 |      598
1230.07/1230.48	c 1230s |      19 |   679465 |   469782 |    25925     39 |      702 |      598
1232.17/1232.55	c 1232s |      19 |   680259 |   470482 |    25925     39 |      702 |      598
1234.27/1234.62	c 1234s |      19 |   681104 |   471182 |    25925     39 |      702 |      598
1236.37/1236.74	c 1236s |      19 |   681763 |   471782 |    25925     39 |      702 |      598
1238.67/1239.10	c 1238s |      19 |   682400 |   472382 |    25925     39 |      702 |      598
1240.86/1241.29	c 1241s |      19 |   683104 |   472982 |    25925     39 |      702 |      598
1243.16/1243.56	c 1243s |      19 |   683750 |   473582 |    25925     39 |      702 |      598
1245.37/1245.75	c 1245s |      19 |   684450 |   474182 |    25925     39 |      702 |      598
1247.57/1247.97	c 1247s |      19 |   685006 |   474682 |    25925     39 |      702 |      598
1249.97/1250.37	c 1250s |      19 |   685707 |   475282 |    25925     39 |      702 |      598
1252.46/1252.86	c 1252s |      19 |   686400 |   475882 |    25925     39 |      702 |      598
1254.56/1254.99	c 1254s |      19 |   687000 |   476382 |    25925     39 |      702 |      598
1256.86/1257.20	c 1256s |      19 |   687574 |   476882 |    25925     39 |      702 |      598
1259.06/1259.49	c 1259s |      19 |   688110 |   477382 |    25925     39 |      702 |      598
1261.15/1261.57	c 1261s |      19 |   688702 |   477882 |    25925     39 |      702 |      598
1263.25/1263.69	c 1263s |      19 |   689372 |   478482 |    25925     39 |      702 |      598
1265.45/1265.83	c 1265s |      19 |   689937 |   478982 |    25925     40 |      702 |      598
1267.75/1268.11	c 1267s |      19 |   690868 |   479782 |    25925     40 |      702 |      598
1269.75/1270.18	c 1269s |      19 |   691502 |   480382 |    25925     40 |      702 |      598
1272.04/1272.42	c 1272s |      19 |   692276 |   481082 |    25925     40 |      702 |      598
1274.14/1274.53	c 1274s |      19 |   692948 |   481682 |    25925     40 |      702 |      598
1276.14/1276.59	c 1276s |      19 |   693602 |   482282 |    25925     40 |      702 |      598
1278.54/1278.90	c 1278s |      19 |   694233 |   482882 |    25925     40 |      702 |      598
1280.74/1281.13	c 1280s |      19 |   695039 |   483582 |    25925     40 |      702 |      598
1283.04/1283.47	c 1283s |      19 |   695848 |   484282 |    25925     40 |      702 |      598
1285.14/1285.52	c 1285s |      19 |   696516 |   484882 |    25925     40 |      702 |      598
1287.14/1287.54	c 1287s |      19 |   697060 |   485382 |    25925     40 |      702 |      598
1289.44/1289.81	c 1289s |      19 |   697605 |   485882 |    25925     40 |      702 |      598
1291.43/1291.83	c 1291s |      19 |   698150 |   486382 |    25925     40 |      702 |      598
1293.43/1293.89	c 1293s |      19 |   698697 |   486882 |    25925     40 |      702 |      598
1295.73/1296.14	c 1295s |      19 |   699337 |   487482 |    25925     40 |      702 |      598
1297.74/1298.16	c 1297s |      19 |   699887 |   487982 |    25925     40 |      702 |      598
1299.84/1300.29	c 1300s |      19 |   700457 |   488482 |    25925     40 |      702 |      598
1301.93/1302.30	c 1302s |      19 |   701013 |   488982 |    25925     40 |      702 |      598
1304.23/1304.65	c 1304s |      19 |   701678 |   489582 |    25925     40 |      702 |      598
1306.32/1306.70	c 1306s |      19 |   702212 |   490082 |    25925     40 |      702 |      598
1308.42/1308.84	c 1308s |      19 |   702767 |   490582 |    25925     40 |      702 |      598
1310.62/1311.04	c 1310s |      19 |   703300 |   491082 |    25925     40 |      702 |      598
1312.92/1313.34	c 1313s |      19 |   703986 |   491682 |    25925     40 |      702 |      598
1314.92/1315.39	c 1315s |      19 |   704520 |   492182 |    25925     40 |      702 |      598
1317.12/1317.56	c 1317s |      19 |   705089 |   492682 |    25925     40 |      702 |      598
1319.22/1319.65	c 1319s |      19 |   705644 |   493182 |    25925     40 |      702 |      598
1321.41/1321.86	c 1321s |      19 |   706081 |   493582 |    25925     41 |      702 |      598
1323.41/1323.87	c 1323s |      19 |   706751 |   494182 |    25925     41 |      702 |      598
1325.51/1325.92	c 1325s |      19 |   707336 |   494682 |    25925     41 |      702 |      598
1327.51/1327.93	c 1327s |      19 |   707876 |   495182 |    25925     41 |      702 |      598
1329.62/1330.07	c 1329s |      19 |   708413 |   495682 |    25925     41 |      702 |      598
1331.81/1332.24	c 1331s |      19 |   708943 |   496182 |    25925     41 |      702 |      598
1333.91/1334.32	c 1334s |      19 |   710214 |   496982 |    25925     41 |      702 |      598
1336.11/1336.56	c 1336s |      19 |   711439 |   497882 |    25925     41 |      702 |      598
1338.31/1338.71	c 1338s |      19 |   712359 |   498682 |    25925     41 |      702 |      598
1340.30/1340.79	c 1340s |      19 |   713195 |   499382 |    25925     41 |      702 |      598
1342.71/1343.15	c 1342s |      19 |   714175 |   500182 |    25925     41 |      702 |      598
1344.91/1345.41	c 1345s |      19 |   714974 |   500882 |    25925     41 |      702 |      598
1347.21/1347.63	c 1347s |      19 |   715937 |   501682 |    25925     41 |      702 |      598
1349.50/1349.97	c 1349s |      19 |   716926 |   502482 |    25925     41 |      702 |      598
1351.79/1352.26	c 1352s |      19 |   717633 |   503082 |    25925     41 |      702 |      598
1353.99/1354.44	c 1354s |      19 |   718317 |   503682 |    25925     41 |      702 |      598
1356.19/1356.67	c 1356s |      19 |   719016 |   504282 |    25925     41 |      702 |      598
1358.49/1358.95	c 1358s |      19 |   719565 |   504782 |    25925     41 |      702 |      598
1360.78/1361.22	c 1360s |      19 |   720254 |   505382 |    25925     41 |      702 |      598
1362.98/1363.45	c 1363s |      19 |   721022 |   506082 |    25925     41 |      702 |      598
1365.18/1365.68	c 1365s |      19 |   721675 |   506682 |    25925     41 |      702 |      598
1367.18/1367.69	c 1367s |      19 |   722353 |   507282 |    25925     41 |      702 |      598
1369.78/1370.29	c 1370s |      19 |   723073 |   507882 |    25925     42 |      702 |      598
1371.97/1372.42	c 1372s |      19 |   723748 |   508482 |    25925     42 |      702 |      598
1374.07/1374.50	c 1374s |      19 |   724565 |   509182 |    25925     42 |      702 |      598
1376.17/1376.64	c 1376s |      19 |   725375 |   509882 |    25925     42 |      702 |      598
1378.37/1378.84	c 1378s |      19 |   726180 |   510582 |    25925     42 |      702 |      598
1380.57/1381.01	c 1380s |      19 |   727240 |   511382 |    25925     42 |      702 |      598
1382.57/1383.03	c 1382s |      19 |   727936 |   511982 |    25925     42 |      702 |      598
1384.67/1385.12	c 1384s |      19 |   730525 |   513082 |    25925     42 |      702 |      598
1386.78/1387.21	c 1386s |      19 |   732102 |   513982 |    25925     42 |      702 |      598
1388.88/1389.32	c 1389s |      19 |   733450 |   514882 |    25925     42 |      702 |      598
1391.08/1391.53	c 1391s |      19 |   735709 |   516082 |    25925     42 |      702 |      598
1393.07/1393.54	c 1393s |      19 |   740134 |   517582 |    25925     42 |      702 |      598
1395.17/1395.60	c 1395s |      19 |   741902 |   518782 |    25925     42 |      702 |      598
1397.27/1397.75	c 1397s |      19 |   743281 |   519782 |    25925     42 |      702 |      598
1399.27/1399.79	c 1399s |      19 |   744351 |   520582 |    25925     42 |      702 |      598
1401.47/1401.91	c 1401s |      19 |   745455 |   521382 |    25925     42 |      702 |      598
1404.28/1404.74	c 1404s |      19 |   746759 |   522282 |    25925     43 |      702 |      598
1406.37/1406.80	c 1406s |      19 |   747911 |   523182 |    25925     43 |      702 |      598
1408.37/1408.85	c 1408s |      19 |   748883 |   523982 |    25925     43 |      702 |      598
1410.47/1410.98	c 1410s |      19 |   750255 |   524982 |    25925     43 |      702 |      598
1412.57/1413.05	c 1412s |      19 |   751599 |   525982 |    25925     43 |      702 |      598
1414.57/1415.08	c 1414s |      19 |   752560 |   526782 |    25925     43 |      702 |      598
1416.77/1417.27	c 1417s |      19 |   753651 |   527682 |    25925     43 |      702 |      598
1418.97/1419.49	c 1419s |      19 |   754612 |   528482 |    25925     43 |      702 |      598
1421.17/1421.65	c 1421s |      19 |   755607 |   529282 |    25925     43 |      702 |      598
1423.17/1423.66	c 1423s |      19 |   756571 |   530082 |    25925     43 |      702 |      598
1425.28/1425.77	c 1425s |      19 |   757569 |   530882 |    25925     43 |      702 |      598
1427.38/1427.81	c 1427s |      19 |   758416 |   531582 |    25925     43 |      702 |      598
1429.37/1429.83	c 1429s |      19 |   759265 |   532282 |    25925     43 |      702 |      598
1431.57/1432.08	c 1431s |      19 |   760108 |   532982 |    25925     43 |      702 |      598
1433.67/1434.16	c 1433s |      19 |   760978 |   533682 |    25925     43 |      702 |      598
1435.87/1436.39	c 1436s |      19 |   762066 |   534482 |    25925     43 |      702 |      598
1438.07/1438.55	c 1438s |      19 |   762947 |   535182 |    25925     43 |      702 |      598
1440.17/1440.65	c 1440s |      19 |   763839 |   535882 |    25925     43 |      702 |      598
1442.57/1443.06	c 1442s |      19 |   764703 |   536582 |    25925     43 |      702 |      598
1444.67/1445.14	c 1444s |      19 |   765288 |   537082 |    25925     44 |      702 |      598
1446.77/1447.20	c 1446s |      19 |   766239 |   537882 |    25925     44 |      702 |      598
1448.96/1449.47	c 1449s |      19 |   767181 |   538682 |    25925     44 |      702 |      598
1451.06/1451.52	c 1451s |      19 |   768033 |   539382 |    25925     44 |      702 |      598
1453.16/1453.69	c 1453s |      19 |   769014 |   540182 |    25925     44 |      702 |      598
1455.36/1455.85	c 1455s |      19 |   769846 |   540882 |    25925     44 |      702 |      598
1457.56/1458.03	c 1457s |      19 |   770670 |   541582 |    25925     44 |      702 |      598
1459.66/1460.17	c 1459s |      19 |   771516 |   542282 |    25925     44 |      702 |      598
1461.76/1462.22	c 1461s |      19 |   772266 |   542882 |    25925     44 |      702 |      598
1463.86/1464.30	c 1464s |      19 |   772963 |   543482 |    25925     44 |      702 |      598
1465.97/1466.49	c 1466s |      19 |   773664 |   544082 |    25925     44 |      702 |      598
1468.36/1468.88	c 1468s |      19 |   774363 |   544682 |    25925     44 |      702 |      598
1470.46/1470.92	c 1470s |      19 |   775101 |   545282 |    25925     44 |      702 |      598
1472.57/1473.09	c 1472s |      19 |   775960 |   545982 |    25925     44 |      702 |      598
1474.77/1475.23	c 1474s |      19 |   776832 |   546682 |    25925     44 |      702 |      598
1476.76/1477.26	c 1477s |      19 |   777912 |   547482 |    25925     44 |      702 |      598
1478.86/1479.39	c 1479s |      19 |   778970 |   548282 |    25925     44 |      702 |      598
1481.06/1481.51	c 1481s |      19 |   779834 |   548982 |    25925     44 |      702 |      598
1483.16/1483.66	c 1483s |      19 |   780676 |   549682 |    25925     44 |      702 |      598
1485.25/1485.73	c 1485s |      19 |   781513 |   550382 |    25925     44 |      702 |      598
1487.25/1487.78	c 1487s |      19 |   782262 |   550982 |    25925     44 |      702 |      598
1489.25/1489.78	c 1489s |      19 |   782915 |   551482 |    25925     45 |      702 |      598
1491.56/1492.08	c 1491s |      19 |   783966 |   552382 |    25925     45 |      702 |      598
1493.66/1494.18	c 1493s |      19 |   784794 |   553082 |    25925     45 |      702 |      598
1495.96/1496.47	c 1496s |      19 |   785590 |   553782 |    25925     45 |      702 |      598
1498.06/1498.55	c 1498s |      19 |   786254 |   554382 |    25925     45 |      702 |      598
1500.26/1500.79	c 1500s |      19 |   787081 |   555082 |    25925     45 |      702 |      598
1502.36/1502.82	c 1502s |      19 |   787880 |   555782 |    25925     45 |      702 |      598
1504.56/1505.04	c 1504s |      19 |   788685 |   556482 |    25925     45 |      702 |      598
1506.57/1507.10	c 1506s |      19 |   789355 |   557082 |    25925     45 |      702 |      598
1508.66/1509.18	c 1508s |      19 |   790771 |   557882 |    25925     45 |      702 |      598
1510.76/1511.20	c 1510s |      19 |   792345 |   558882 |    25925     45 |      702 |      598
1512.86/1513.38	c 1513s |      19 |   793310 |   559582 |    25925     45 |      702 |      598
1514.96/1515.45	c 1515s |      19 |   794328 |   560382 |    25925     45 |      702 |      598
1517.16/1517.60	c 1517s |      19 |   795524 |   561282 |    25925     45 |      702 |      598
1519.26/1519.76	c 1519s |      19 |   796660 |   562082 |    25925     45 |      702 |      598
1521.26/1521.79	c 1521s |      19 |   797482 |   562782 |    25925     45 |      702 |      598
1523.46/1523.96	c 1523s |      19 |   798305 |   563482 |    25925     45 |      702 |      598
1525.56/1526.10	c 1525s |      19 |   799117 |   564182 |    25925     45 |      702 |      598
1527.85/1528.37	c 1528s |      19 |   799899 |   564882 |    25925     45 |      702 |      598
1529.95/1530.40	c 1530s |      19 |   800779 |   565582 |    25925     45 |      702 |      598
1532.15/1532.65	c 1532s |      19 |   801505 |   566182 |    25925     46 |      702 |      598
1534.35/1534.81	c 1534s |      19 |   802464 |   566982 |    25925     46 |      702 |      598
1536.55/1537.00	c 1536s |      19 |   803287 |   567682 |    25925     46 |      702 |      598
1538.65/1539.15	c 1538s |      19 |   804276 |   568482 |    25925     46 |      702 |      598
1540.95/1541.45	c 1541s |      19 |   805244 |   569282 |    25925     46 |      702 |      598
1543.25/1543.76	c 1543s |      19 |   806013 |   569982 |    25925     46 |      702 |      598
1545.35/1545.85	c 1545s |      19 |   806738 |   570582 |    25925     46 |      702 |      598
1547.65/1548.12	c 1547s |      19 |   807627 |   571282 |    25925     46 |      702 |      598
1549.75/1550.28	c 1550s |      19 |   808318 |   571882 |    25925     46 |      702 |      598
1551.85/1552.36	c 1552s |      19 |   808895 |   572382 |    25925     46 |      702 |      598
1553.86/1554.37	c 1554s |      19 |   809448 |   572882 |    25925     46 |      702 |      598
1556.16/1556.65	c 1556s |      19 |   810129 |   573482 |    25925     46 |      702 |      598
1558.26/1558.71	c 1558s |      19 |   810907 |   574082 |    25925     46 |      702 |      598
1560.25/1560.77	c 1560s |      19 |   811742 |   574782 |    25925     46 |      702 |      598
1562.25/1562.78	c 1562s |      19 |   812416 |   575382 |    25925     46 |      702 |      598
1564.25/1564.79	c 1564s |      19 |   813259 |   576082 |    25925     46 |      702 |      598
1566.35/1566.88	c 1566s |      19 |   814167 |   576782 |    25925     46 |      702 |      598
1568.45/1568.90	c 1568s |      19 |   814786 |   577282 |    25925     46 |      702 |      598
1570.55/1571.01	c 1570s |      19 |   815354 |   577782 |    25925     46 |      702 |      598
1572.85/1573.37	c 1573s |      19 |   816057 |   578382 |    25925     46 |      702 |      598
1574.95/1575.48	c 1575s |      19 |   816756 |   578982 |    25925     46 |      702 |      598
1577.15/1577.68	c 1577s |      19 |   817304 |   579482 |    25925     46 |      702 |      598
1579.26/1579.78	c 1579s |      19 |   817892 |   579982 |    25925     46 |      702 |      598
1581.64/1582.12	c 1581s |      19 |   818353 |   580382 |    25925     47 |      702 |      598
1583.84/1584.35	c 1584s |      19 |   819022 |   580982 |    25925     47 |      702 |      598
1586.04/1586.50	c 1586s |      19 |   819692 |   581582 |    25925     47 |      702 |      598
1588.14/1588.68	c 1588s |      19 |   820390 |   582182 |    25925     47 |      702 |      598
1590.34/1590.80	c 1590s |      19 |   821382 |   582982 |    25925     47 |      702 |      598
1592.45/1592.92	c 1592s |      19 |   822324 |   583782 |    25925     47 |      702 |      598
1594.44/1595.00	c 1594s |      19 |   823111 |   584482 |    25925     47 |      702 |      598
1596.75/1597.28	c 1597s |      19 |   823899 |   585182 |    25925     47 |      702 |      598
1599.05/1599.56	c 1599s |      19 |   824698 |   585882 |    25925     47 |      702 |      598
1601.15/1601.65	c 1601s |      19 |   825275 |   586382 |    25925     47 |      702 |      598
1603.45/1603.95	c 1603s |      19 |   825970 |   586982 |    25925     47 |      702 |      598
1605.65/1606.13	c 1605s |      19 |   826863 |   587682 |    25925     47 |      702 |      598
1607.64/1608.16	c 1607s |      19 |   827534 |   588282 |    25925     47 |      702 |      598
1609.74/1610.22	c 1609s |      19 |   828253 |   588882 |    25925     47 |      702 |      598
1611.84/1612.35	c 1612s |      19 |   828981 |   589482 |    25925     47 |      702 |      598
1614.04/1614.54	c 1614s |      19 |   829664 |   590082 |    25925     47 |      702 |      598
1616.44/1616.92	c 1616s |      19 |   830329 |   590682 |    25925     47 |      702 |      598
1618.64/1619.14	c 1618s |      19 |   831007 |   591282 |    25925     47 |      702 |      598
1620.83/1621.33	c 1621s |      19 |   831728 |   591882 |    25925     47 |      702 |      598
1622.93/1623.40	c 1623s |      19 |   832409 |   592482 |    25925     47 |      702 |      598
1624.93/1625.43	c 1625s |      19 |   832964 |   592982 |    25925     47 |      702 |      598
1627.03/1627.53	c 1627s |      19 |   833530 |   593482 |    25925     47 |      702 |      598
1629.13/1629.63	c 1629s |      19 |   834095 |   593982 |    25925     47 |      702 |      598
1631.43/1631.96	c 1631s |      19 |   834785 |   594582 |    25925     47 |      702 |      598
1633.43/1633.97	c 1633s |      19 |   835104 |   594882 |    25925     48 |      702 |      598
1635.63/1636.12	c 1635s |      19 |   835774 |   595482 |    25925     48 |      702 |      598
1637.63/1638.19	c 1637s |      19 |   836438 |   596082 |    25925     48 |      702 |      598
1639.74/1640.29	c 1640s |      19 |   837244 |   596782 |    25925     48 |      702 |      598
1641.84/1642.34	c 1642s |      19 |   837915 |   597382 |    25925     48 |      702 |      598
1643.93/1644.46	c 1644s |      19 |   838570 |   597982 |    25925     48 |      702 |      598
1646.13/1646.67	c 1646s |      19 |   839271 |   598582 |    25925     48 |      702 |      598
1648.33/1648.80	c 1648s |      19 |   839827 |   599082 |    25925     48 |      702 |      598
1650.43/1650.92	c 1650s |      19 |   840395 |   599582 |    25925     48 |      702 |      598
1652.63/1653.14	c 1652s |      19 |   841161 |   600282 |    25925     48 |      702 |      598
1654.83/1655.38	c 1655s |      19 |   841939 |   600982 |    25925     48 |      702 |      598
1656.93/1657.41	c 1657s |      19 |   842606 |   601582 |    25925     48 |      702 |      598
1659.23/1659.79	c 1659s |      19 |   843266 |   602182 |    25925     48 |      702 |      598
1661.33/1661.87	c 1661s |      19 |   843808 |   602682 |    25925     48 |      702 |      598
1663.43/1663.94	c 1663s |      19 |   844430 |   603182 |    25925     48 |      702 |      598
1665.53/1666.07	c 1665s |      19 |   845560 |   603982 |    25925     48 |      702 |      598
1667.63/1668.17	c 1667s |      19 |   846516 |   604682 |    25925     48 |      702 |      598
1669.93/1670.41	c 1670s |      19 |   847369 |   605382 |    25925     48 |      702 |      598
1671.93/1672.44	c 1672s |      19 |   848263 |   606082 |    25925     48 |      702 |      598
1674.13/1674.63	c 1674s |      19 |   849139 |   606782 |    25925     48 |      702 |      598
1676.53/1677.00	c 1676s |      19 |   849949 |   607482 |    25925     48 |      702 |      598
1678.73/1679.27	c 1679s |      19 |   850673 |   608082 |    25925     48 |      702 |      598
1680.93/1681.47	c 1681s |      19 |   851546 |   608782 |    25925     48 |      702 |      598
1683.03/1683.59	c 1683s |      19 |   852156 |   609282 |    25925     49 |      702 |      598
1685.13/1685.68	c 1685s |      19 |   853138 |   610082 |    25925     49 |      702 |      598
1687.43/1687.98	c 1687s |      19 |   854090 |   610882 |    25925     49 |      702 |      598
1689.73/1690.22	c 1689s |      19 |   854880 |   611582 |    25925     49 |      702 |      598
1691.93/1692.40	c 1692s |      19 |   855532 |   612182 |    25925     49 |      702 |      598
1694.03/1694.56	c 1694s |      19 |   856186 |   612782 |    25925     49 |      702 |      598
1696.43/1696.97	c 1696s |      19 |   856951 |   613482 |    25925     49 |      702 |      598
1698.83/1699.30	c 1699s |      19 |   857622 |   614082 |    25925     49 |      702 |      598
1701.13/1701.60	c 1701s |      19 |   858265 |   614682 |    25925     49 |      702 |      598
1703.13/1703.67	c 1703s |      19 |   859376 |   615482 |    25925     49 |      702 |      598
1705.43/1705.97	c 1705s |      19 |   860340 |   616282 |    25925     49 |      702 |      598
1707.43/1707.98	c 1707s |      19 |   861150 |   616982 |    25925     49 |      702 |      598
1709.83/1710.30	c 1710s |      19 |   861992 |   617682 |    25925     49 |      702 |      598
1712.02/1712.51	c 1712s |      19 |   862843 |   618382 |    25925     49 |      702 |      598
1714.12/1714.61	c 1714s |      19 |   863634 |   618982 |    25925     49 |      702 |      598
1716.22/1716.72	c 1716s |      19 |   864365 |   619582 |    25925     49 |      702 |      598
1718.52/1719.00	c 1718s |      19 |   865071 |   620182 |    25925     49 |      702 |      598
1720.72/1721.28	c 1721s |      19 |   865927 |   620882 |    25925     49 |      702 |      598
1722.92/1723.41	c 1723s |      19 |   866618 |   621482 |    25925     49 |      702 |      598
1725.12/1725.61	c 1725s |      19 |   867360 |   622082 |    25925     49 |      702 |      598
1727.12/1727.65	c 1727s |      19 |   868283 |   622782 |    25925     49 |      702 |      598
1729.22/1729.79	c 1729s |      19 |   869496 |   623682 |    25925     49 |      702 |      598
1731.42/1731.96	c 1731s |      19 |   870417 |   624382 |    25925     50 |      702 |      598
1733.72/1734.21	c 1733s |      19 |   871863 |   625482 |    25925     50 |      702 |      598
1735.72/1736.23	c 1735s |      19 |   872827 |   626282 |    25925     50 |      702 |      598
1737.72/1738.26	c 1738s |      19 |   873632 |   626982 |    25925     50 |      702 |      598
1739.92/1740.45	c 1740s |      19 |   874701 |   627882 |    25925     50 |      702 |      598
1742.03/1742.57	c 1742s |      19 |   875770 |   628782 |    25925     50 |      702 |      598
1744.12/1744.70	c 1744s |      19 |   876978 |   629782 |    25925     50 |      702 |      598
1746.32/1746.84	c 1746s |      19 |   878108 |   630682 |    25925     50 |      702 |      598
1748.31/1748.85	c 1748s |      19 |   879116 |   631482 |    25925     50 |      702 |      598
1750.41/1750.96	c 1750s |      19 |   880091 |   632282 |    25925     50 |      702 |      598
1752.52/1753.04	c 1752s |      19 |   882635 |   633282 |    25925     50 |      702 |      598
1754.62/1755.17	c 1754s |      19 |   884417 |   634282 |    25925     50 |      702 |      598
1756.82/1757.35	c 1757s |      19 |   885424 |   635082 |    25925     50 |      702 |      598
1759.01/1759.51	c 1759s |      19 |   886156 |   635682 |    25925     50 |      702 |      598
1761.01/1761.54	c 1761s |      19 |   886991 |   636382 |    25925     50 |      702 |      598
1763.31/1763.85	c 1763s |      19 |   887819 |   637082 |    25925     50 |      702 |      598
1765.61/1766.11	c 1765s |      19 |   888551 |   637682 |    25925     50 |      702 |      598
1767.91/1768.44	c 1768s |      19 |   889179 |   638182 |    25925     51 |      702 |      598
1770.11/1770.61	c 1770s |      19 |   890695 |   638982 |    25925     51 |      702 |      598
1772.11/1772.67	c 1772s |      19 |   892686 |   640182 |    25925     51 |      702 |      598
1774.11/1774.69	c 1774s |      19 |   896385 |   641482 |    25925     51 |      702 |      598
1776.31/1776.81	c 1776s |      19 |   897973 |   642582 |    25925     51 |      702 |      598
1778.41/1778.93	c 1778s |      19 |   899180 |   643482 |    25925     51 |      702 |      598
1780.42/1780.96	c 1780s |      19 |   900240 |   644382 |    25925     51 |      702 |      598
1782.62/1783.13	c 1782s |      19 |   901448 |   645282 |    25925     51 |      702 |      598
1784.61/1785.14	c 1784s |      19 |   902580 |   646182 |    25925     51 |      702 |      598
1786.81/1787.36	c 1787s |      19 |   903680 |   647082 |    25925     51 |      702 |      598
1788.91/1789.44	c 1789s |      19 |   904665 |   647882 |    25925     51 |      702 |      598
1791.11/1791.62	c 1791s |      19 |   905613 |   648682 |    25925     51 |      702 |      598
1793.21/1793.74	c 1793s |      19 |   906666 |   649482 |    25925     51 |      702 |      598
1795.21/1795.79	c 1795s |      19 |   907642 |   650282 |    25925     51 |      702 |      598
1797.51/1798.09	c 1797s |      19 |   908540 |   651082 |    25925     51 |      702 |      598
1799.81/1800.34	c 1800s |      19 |   909462 |   651882 |    25925     51 |      702 |      598

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

pid=3240
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.09 2.04 2.04 3/261 3243
/proc/meminfo: memFree=30844156/32872528 swapFree=7556/7556
[pid=3243] ppid=3240 vsize=1086908 CPUtime=0 cores=0-3,8-11
/proc/3243/stat : 3243 (toysat) R 3240 3243 32495 0 -1 4202496 4118 0 0 0 0 0 0 0 20 0 4 0 29294540 1112993792 3969 33554432000 4194304 16246674 140735694174208 140735694173632 13880264 0 2 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3243/statm: 272239 3980 441 2943 0 269133 0
[pid=3243/tid=3244] ppid=3240 vsize=1136060 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3244/stat : 3244 (toysat) S 3240 3243 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29294540 1163325440 4161 33554432000 4194304 16246674 140735694174208 140312732216560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3243/tid=3245] ppid=3240 vsize=1141180 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3245/stat : 3245 (toysat) S 3240 3243 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29294540 1168568320 4181 33554432000 4194304 16246674 140735694174208 140312721726704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3243/tid=3246] ppid=3240 vsize=1146300 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3246/stat : 3246 (toysat) S 3240 3243 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29294540 1173811200 4201 33554432000 4194304 16246674 140735694174208 140312711253168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0

[startup+0.100161 s]
/proc/loadavg: 2.09 2.04 2.04 3/261 3243
/proc/meminfo: memFree=30844156/32872528 swapFree=7556/7556
[pid=3243] ppid=3240 vsize=1220164 CPUtime=0.09 cores=0-3,8-11
/proc/3243/stat : 3243 (toysat) R 3240 3243 32495 0 -1 4202496 28278 0 0 0 5 4 0 0 20 0 4 0 29294540 1249447936 28066 33554432000 4194304 16246674 140735694174208 140735694173520 4220897 0 2 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3243/statm: 305041 28066 801 2943 0 301935 0
[pid=3243/tid=3244] ppid=3240 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3244/stat : 3244 (toysat) S 3240 3243 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29294540 1249447936 28066 33554432000 4194304 16246674 140735694174208 140312732216560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3243/tid=3245] ppid=3240 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3245/stat : 3245 (toysat) S 3240 3243 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29294540 1249447936 28066 33554432000 4194304 16246674 140735694174208 140312721726704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3243/tid=3246] ppid=3240 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3246/stat : 3246 (toysat) S 3240 3243 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29294540 1249447936 28066 33554432000 4194304 16246674 140735694174208 140312711253168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200478 s]
/proc/loadavg: 2.09 2.04 2.04 3/261 3243
/proc/meminfo: memFree=30844156/32872528 swapFree=7556/7556
[pid=3243] ppid=3240 vsize=1301060 CPUtime=0.19 cores=0-3,8-11
/proc/3243/stat : 3243 (toysat) R 3240 3243 32495 0 -1 4202496 48485 0 0 0 13 6 0 0 20 0 4 0 29294540 1332285440 48273 33554432000 4194304 16246674 140735694174208 140735694173520 7204266 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3243/statm: 325265 48273 842 2943 0 322159 0
[pid=3243/tid=3244] ppid=3240 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3244/stat : 3244 (toysat) S 3240 3243 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29294540 1332285440 48273 33554432000 4194304 16246674 140735694174208 140312732216560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3243/tid=3245] ppid=3240 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3245/stat : 3245 (toysat) S 3240 3243 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29294540 1332285440 48273 33554432000 4194304 16246674 140735694174208 140312721726704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3243/tid=3246] ppid=3240 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3246/stat : 3246 (toysat) S 3240 3243 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29294540 1332285440 48273 33554432000 4194304 16246674 140735694174208 140312711253168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300462 s]
/proc/loadavg: 2.09 2.04 2.04 3/261 3243
/proc/meminfo: memFree=30844156/32872528 swapFree=7556/7556
[pid=3243] ppid=3240 vsize=1301060 CPUtime=0.29 cores=0-3,8-11
/proc/3243/stat : 3243 (toysat) R 3240 3243 32495 0 -1 4202496 50147 0 0 0 22 7 0 0 20 0 4 0 29294540 1332285440 49935 33554432000 4194304 16246674 140735694174208 140735694156096 5677277 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3243/statm: 325265 49941 882 2943 0 322159 0
[pid=3243/tid=3244] ppid=3240 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3244/stat : 3244 (toysat) S 3240 3243 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29294540 1332285440 49945 33554432000 4194304 16246674 140735694174208 140312732216560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3243/tid=3245] ppid=3240 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3245/stat : 3245 (toysat) S 3240 3243 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29294540 1332285440 49949 33554432000 4194304 16246674 140735694174208 140312721726704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3243/tid=3246] ppid=3240 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3246/stat : 3246 (toysat) S 3240 3243 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29294540 1332285440 49953 33554432000 4194304 16246674 140735694174208 140312711253168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700452 s]
/proc/loadavg: 2.09 2.04 2.04 3/261 3243
/proc/meminfo: memFree=30844156/32872528 swapFree=7556/7556
[pid=3243] ppid=3240 vsize=1301060 CPUtime=0.69 cores=0-3,8-11
/proc/3243/stat : 3243 (toysat) R 3240 3243 32495 0 -1 4202496 99915 0 0 0 54 15 0 0 20 0 4 0 29294540 1332285440 99703 33554432000 4194304 16246674 140735694174208 140735694156096 13954518 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3243/statm: 325265 99713 882 2943 0 322159 0
[pid=3243/tid=3244] ppid=3240 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3244/stat : 3244 (toysat) S 3240 3243 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29294540 1332285440 99718 33554432000 4194304 16246674 140735694174208 140312732216560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3243/tid=3245] ppid=3240 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3245/stat : 3245 (toysat) S 3240 3243 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29294540 1332285440 99722 33554432000 4194304 16246674 140735694174208 140312721726704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3243/tid=3246] ppid=3240 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3246/stat : 3246 (toysat) S 3240 3243 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29294540 1332285440 99728 33554432000 4194304 16246674 140735694174208 140312711253168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50044 s]
/proc/loadavg: 2.09 2.04 2.04 3/265 3247
/proc/meminfo: memFree=30251272/32872528 swapFree=7556/7556
[pid=3243] ppid=3240 vsize=1302084 CPUtime=1.49 cores=0-3,8-11
/proc/3243/stat : 3243 (toysat) R 3240 3243 32495 0 -1 4202496 202395 0 0 0 117 32 0 0 20 0 4 0 29294540 1333334016 202183 33554432000 4194304 16246674 140735694174208 140735694156096 5532301 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3243/statm: 325521 202192 882 2943 0 322415 0
[pid=3243/tid=3244] ppid=3240 vsize=1302084 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3244/stat : 3244 (toysat) S 3240 3243 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29294540 1333334016 202198 33554432000 4194304 16246674 140735694174208 140312732216560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3243/tid=3245] ppid=3240 vsize=1302084 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3245/stat : 3245 (toysat) S 3240 3243 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29294540 1333334016 202204 33554432000 4194304 16246674 140735694174208 140312721726704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3243/tid=3246] ppid=3240 vsize=1302084 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3246/stat : 3246 (toysat) S 3240 3243 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29294540 1333334016 202210 33554432000 4194304 16246674 140735694174208 140312711253168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1302084

[startup+3.10042 s]
/proc/loadavg: 2.09 2.04 2.04 3/265 3247
/proc/meminfo: memFree=29841676/32872528 swapFree=7556/7556
[pid=3243] ppid=3240 vsize=1312324 CPUtime=3.08 cores=0-3,8-11
/proc/3243/stat : 3243 (toysat) R 3240 3243 32495 0 -1 4202496 250696 0 0 0 269 39 0 0 20 0 4 0 29294540 1343819776 250484 33554432000 4194304 16246674 140735694174208 140735694156096 12476859 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3243/statm: 328081 250484 888 2943 0 324975 0
[pid=3243/tid=3244] ppid=3240 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3244/stat : 3244 (toysat) S 3240 3243 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29294540 1343819776 250484 33554432000 4194304 16246674 140735694174208 140312732216560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3243/tid=3245] ppid=3240 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3245/stat : 3245 (toysat) S 3240 3243 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29294540 1343819776 250484 33554432000 4194304 16246674 140735694174208 140312721726704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3243/tid=3246] ppid=3240 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3246/stat : 3246 (toysat) S 3240 3243 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29294540 1343819776 250484 33554432000 4194304 16246674 140735694174208 140312711253168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1312324

[startup+6.3004 s]
/proc/loadavg: 2.08 2.04 2.04 3/265 3247
/proc/meminfo: memFree=29767404/32872528 swapFree=7556/7556
[pid=3243] ppid=3240 vsize=1312324 CPUtime=6.29 cores=0-3,8-11
/proc/3243/stat : 3243 (toysat) R 3240 3243 32495 0 -1 4202496 269269 0 0 0 587 42 0 0 20 0 4 0 29294540 1343819776 269057 33554432000 4194304 16246674 140735694174208 140735694156096 5600808 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3243/statm: 328081 269057 888 2943 0 324975 0
[pid=3243/tid=3244] ppid=3240 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3244/stat : 3244 (toysat) S 3240 3243 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29294540 1343819776 269057 33554432000 4194304 16246674 140735694174208 140312732216560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3243/tid=3245] ppid=3240 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3245/stat : 3245 (toysat) S 3240 3243 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29294540 1343819776 269057 33554432000 4194304 16246674 140735694174208 140312721726704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3243/tid=3246] ppid=3240 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3246/stat : 3246 (toysat) S 3240 3243 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29294540 1343819776 269057 33554432000 4194304 16246674 140735694174208 140312711253168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 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.08 2.04 2.04 3/265 3247
/proc/meminfo: memFree=29767572/32872528 swapFree=7556/7556
[pid=3243] ppid=3240 vsize=1312324 CPUtime=12.69 cores=0-3,8-11
/proc/3243/stat : 3243 (toysat) R 3240 3243 32495 0 -1 4202496 269270 0 0 0 1227 42 0 0 20 0 4 0 29294540 1343819776 269058 33554432000 4194304 16246674 140735694174208 140735694156096 12415740 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3243/statm: 328081 269058 889 2943 0 324975 0
[pid=3243/tid=3244] ppid=3240 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3244/stat : 3244 (toysat) S 3240 3243 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29294540 1343819776 269058 33554432000 4194304 16246674 140735694174208 140312732216560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3243/tid=3245] ppid=3240 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3245/stat : 3245 (toysat) S 3240 3243 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29294540 1343819776 269058 33554432000 4194304 16246674 140735694174208 140312721726704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3243/tid=3246] ppid=3240 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3246/stat : 3246 (toysat) S 3240 3243 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29294540 1343819776 269058 33554432000 4194304 16246674 140735694174208 140312711253168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 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.06 2.04 2.04 3/265 3247
/proc/meminfo: memFree=29768884/32872528 swapFree=7556/7556
[pid=3243] ppid=3240 vsize=1312324 CPUtime=25.49 cores=0-3,8-11
/proc/3243/stat : 3243 (toysat) R 3240 3243 32495 0 -1 4202496 269273 0 0 0 2507 42 0 0 20 0 4 0 29294540 1343819776 269061 33554432000 4194304 16246674 140735694174208 140735694156096 7249934 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3243/statm: 328081 269061 892 2943 0 324975 0
[pid=3243/tid=3244] ppid=3240 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3244/stat : 3244 (toysat) S 3240 3243 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29294540 1343819776 269061 33554432000 4194304 16246674 140735694174208 140312732216560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3243/tid=3245] ppid=3240 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3245/stat : 3245 (toysat) S 3240 3243 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29294540 1343819776 269061 33554432000 4194304 16246674 140735694174208 140312721726704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3243/tid=3246] ppid=3240 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3246/stat : 3246 (toysat) S 3240 3243 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29294540 1343819776 269061 33554432000 4194304 16246674 140735694174208 140312711253168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 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.04 2.03 2.04 3/265 3247
/proc/meminfo: memFree=29769096/32872528 swapFree=7556/7556
[pid=3243] ppid=3240 vsize=1312324 CPUtime=51.08 cores=0-3,8-11
/proc/3243/stat : 3243 (toysat) R 3240 3243 32495 0 -1 4202496 269273 0 0 0 5066 42 0 0 20 0 4 0 29294540 1343819776 269061 33554432000 4194304 16246674 140735694174208 140735694156096 13191456 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3243/statm: 328081 269061 892 2943 0 324975 0
[pid=3243/tid=3244] ppid=3240 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3244/stat : 3244 (toysat) S 3240 3243 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29294540 1343819776 269061 33554432000 4194304 16246674 140735694174208 140312732216560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3243/tid=3245] ppid=3240 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3245/stat : 3245 (toysat) S 3240 3243 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29294540 1343819776 269061 33554432000 4194304 16246674 140735694174208 140312721726704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3243/tid=3246] ppid=3240 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3246/stat : 3246 (toysat) S 3240 3243 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29294540 1343819776 269061 33554432000 4194304 16246674 140735694174208 140312711253168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.3 s]
/proc/loadavg: 2.02 2.03 2.03 3/265 3248
/proc/meminfo: memFree=29760876/32872528 swapFree=7556/7556
[pid=3243] ppid=3240 vsize=1320516 CPUtime=102.28 cores=0-3,8-11
/proc/3243/stat : 3243 (toysat) R 3240 3243 32495 0 -1 4202496 271071 0 0 0 10186 42 0 0 20 0 4 0 29294540 1352208384 270859 33554432000 4194304 16246674 140735694174208 140735694157208 12415785 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3243/statm: 330129 270859 892 2943 0 327023 0
[pid=3243/tid=3244] ppid=3240 vsize=1320516 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3244/stat : 3244 (toysat) S 3240 3243 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29294540 1352208384 270859 33554432000 4194304 16246674 140735694174208 140312732216560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3243/tid=3245] ppid=3240 vsize=1320516 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3245/stat : 3245 (toysat) S 3240 3243 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29294540 1352208384 270859 33554432000 4194304 16246674 140735694174208 140312721726704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3243/tid=3246] ppid=3240 vsize=1320516 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3246/stat : 3246 (toysat) S 3240 3243 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29294540 1352208384 270859 33554432000 4194304 16246674 140735694174208 140312711253168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1320516


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

/proc/3243/task/3246/stat : 3246 (toysat) S 3240 3243 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29294540 1359548416 273158 33554432000 4194304 16246674 140735694174208 140312711253168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1327684

[startup+1362.3 s]
/proc/loadavg: 2.02 2.09 2.08 3/265 3330
/proc/meminfo: memFree=29736496/32872528 swapFree=7556/7556
[pid=3243] ppid=3240 vsize=1327684 CPUtime=1361.88 cores=0-3,8-11
/proc/3243/stat : 3243 (toysat) R 3240 3243 32495 0 -1 4202496 273408 0 0 0 136137 51 0 0 20 0 4 0 29294540 1359548416 273158 33554432000 4194304 16246674 140735694174208 140735694156096 5822484 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3243/statm: 331921 273158 892 2943 0 328815 0
[pid=3243/tid=3244] ppid=3240 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3244/stat : 3244 (toysat) S 3240 3243 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29294540 1359548416 273158 33554432000 4194304 16246674 140735694174208 140312732216560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3243/tid=3245] ppid=3240 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3245/stat : 3245 (toysat) S 3240 3243 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29294540 1359548416 273158 33554432000 4194304 16246674 140735694174208 140312721726704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3243/tid=3246] ppid=3240 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3246/stat : 3246 (toysat) S 3240 3243 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29294540 1359548416 273158 33554432000 4194304 16246674 140735694174208 140312711253168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1327684

[startup+1422.3 s]
/proc/loadavg: 2.13 2.11 2.09 3/265 3331
/proc/meminfo: memFree=29734728/32872528 swapFree=7556/7556
[pid=3243] ppid=3240 vsize=1327684 CPUtime=1421.88 cores=0-3,8-11
/proc/3243/stat : 3243 (toysat) R 3240 3243 32495 0 -1 4202496 273416 0 0 0 142136 52 0 0 20 0 4 0 29294540 1359548416 273158 33554432000 4194304 16246674 140735694174208 140735694156096 13906985 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3243/statm: 331921 273158 892 2943 0 328815 0
[pid=3243/tid=3244] ppid=3240 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3244/stat : 3244 (toysat) S 3240 3243 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29294540 1359548416 273158 33554432000 4194304 16246674 140735694174208 140312732216560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3243/tid=3245] ppid=3240 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3245/stat : 3245 (toysat) S 3240 3243 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29294540 1359548416 273158 33554432000 4194304 16246674 140735694174208 140312721726704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3243/tid=3246] ppid=3240 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3246/stat : 3246 (toysat) S 3240 3243 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29294540 1359548416 273158 33554432000 4194304 16246674 140735694174208 140312711253168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1327684

[startup+1482.3 s]
/proc/loadavg: 2.05 2.09 2.08 3/266 3336
/proc/meminfo: memFree=29734124/32872528 swapFree=7556/7556
[pid=3243] ppid=3240 vsize=1327684 CPUtime=1481.86 cores=0-3,8-11
/proc/3243/stat : 3243 (toysat) R 3240 3243 32495 0 -1 4202496 273416 0 0 0 148134 52 0 0 20 0 4 0 29294540 1359548416 273158 33554432000 4194304 16246674 140735694174208 140735694173384 5823863 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3243/statm: 331921 273158 892 2943 0 328815 0
[pid=3243/tid=3244] ppid=3240 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3244/stat : 3244 (toysat) S 3240 3243 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29294540 1359548416 273158 33554432000 4194304 16246674 140735694174208 140312732216560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3243/tid=3245] ppid=3240 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3245/stat : 3245 (toysat) S 3240 3243 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29294540 1359548416 273158 33554432000 4194304 16246674 140735694174208 140312721726704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3243/tid=3246] ppid=3240 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3246/stat : 3246 (toysat) S 3240 3243 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29294540 1359548416 273158 33554432000 4194304 16246674 140735694174208 140312711253168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1327684

[startup+1542.31 s]
/proc/loadavg: 2.02 2.07 2.08 3/266 3360
/proc/meminfo: memFree=29734724/32872528 swapFree=7556/7556
[pid=3243] ppid=3240 vsize=1327684 CPUtime=1541.86 cores=0-3,8-11
/proc/3243/stat : 3243 (toysat) R 3240 3243 32495 0 -1 4202496 273416 0 0 0 154133 53 0 0 20 0 4 0 29294540 1359548416 273158 33554432000 4194304 16246674 140735694174208 140735694156096 5823206 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3243/statm: 331921 273158 892 2943 0 328815 0
[pid=3243/tid=3244] ppid=3240 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3244/stat : 3244 (toysat) S 3240 3243 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29294540 1359548416 273158 33554432000 4194304 16246674 140735694174208 140312732216560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3243/tid=3245] ppid=3240 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3245/stat : 3245 (toysat) S 3240 3243 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29294540 1359548416 273158 33554432000 4194304 16246674 140735694174208 140312721726704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3243/tid=3246] ppid=3240 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3246/stat : 3246 (toysat) S 3240 3243 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29294540 1359548416 273158 33554432000 4194304 16246674 140735694174208 140312711253168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1327684

[startup+1602.3 s]
/proc/loadavg: 2.00 2.05 2.07 3/265 3361
/proc/meminfo: memFree=29718416/32872528 swapFree=7556/7556
[pid=3243] ppid=3240 vsize=1327684 CPUtime=1601.84 cores=0-3,8-11
/proc/3243/stat : 3243 (toysat) R 3240 3243 32495 0 -1 4202496 273416 0 0 0 160131 53 0 0 20 0 4 0 29294540 1359548416 273158 33554432000 4194304 16246674 140735694174208 140735694156096 4220480 0 2 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3243/statm: 331921 273158 892 2943 0 328815 0
[pid=3243/tid=3244] ppid=3240 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3244/stat : 3244 (toysat) S 3240 3243 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29294540 1359548416 273158 33554432000 4194304 16246674 140735694174208 140312732216560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3243/tid=3245] ppid=3240 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3245/stat : 3245 (toysat) S 3240 3243 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29294540 1359548416 273158 33554432000 4194304 16246674 140735694174208 140312721726704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3243/tid=3246] ppid=3240 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3246/stat : 3246 (toysat) S 3240 3243 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29294540 1359548416 273158 33554432000 4194304 16246674 140735694174208 140312711253168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1327684

[startup+1662.3 s]
/proc/loadavg: 2.05 2.06 2.07 3/265 3362
/proc/meminfo: memFree=29718464/32872528 swapFree=7556/7556
[pid=3243] ppid=3240 vsize=1327684 CPUtime=1661.83 cores=0-3,8-11
/proc/3243/stat : 3243 (toysat) R 3240 3243 32495 0 -1 4202496 273416 0 0 0 166130 53 0 0 20 0 4 0 29294540 1359548416 273158 33554432000 4194304 16246674 140735694174208 140735694156096 5523032 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3243/statm: 331921 273158 892 2943 0 328815 0
[pid=3243/tid=3244] ppid=3240 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3244/stat : 3244 (toysat) S 3240 3243 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29294540 1359548416 273158 33554432000 4194304 16246674 140735694174208 140312732216560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3243/tid=3245] ppid=3240 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3245/stat : 3245 (toysat) S 3240 3243 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29294540 1359548416 273158 33554432000 4194304 16246674 140735694174208 140312721726704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3243/tid=3246] ppid=3240 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3246/stat : 3246 (toysat) S 3240 3243 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29294540 1359548416 273158 33554432000 4194304 16246674 140735694174208 140312711253168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1327684

[startup+1722.3 s]
/proc/loadavg: 2.02 2.05 2.06 3/265 3363
/proc/meminfo: memFree=29717764/32872528 swapFree=7556/7556
[pid=3243] ppid=3240 vsize=1327684 CPUtime=1721.82 cores=0-3,8-11
/proc/3243/stat : 3243 (toysat) R 3240 3243 32495 0 -1 4202496 273416 0 0 0 172128 54 0 0 20 0 4 0 29294540 1359548416 273158 33554432000 4194304 16246674 140735694174208 140735694173384 5822252 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3243/statm: 331921 273158 892 2943 0 328815 0
[pid=3243/tid=3244] ppid=3240 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3244/stat : 3244 (toysat) S 3240 3243 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29294540 1359548416 273158 33554432000 4194304 16246674 140735694174208 140312732216560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3243/tid=3245] ppid=3240 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3245/stat : 3245 (toysat) S 3240 3243 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29294540 1359548416 273158 33554432000 4194304 16246674 140735694174208 140312721726704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3243/tid=3246] ppid=3240 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3246/stat : 3246 (toysat) S 3240 3243 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29294540 1359548416 273158 33554432000 4194304 16246674 140735694174208 140312711253168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1327684

[startup+1782.3 s]
/proc/loadavg: 2.06 2.05 2.06 3/265 3365
/proc/meminfo: memFree=29698172/32872528 swapFree=7556/7556
[pid=3243] ppid=3240 vsize=1346116 CPUtime=1781.81 cores=0-3,8-11
/proc/3243/stat : 3243 (toysat) R 3240 3243 32495 0 -1 4202496 278024 0 0 0 178126 55 0 0 20 0 4 0 29294540 1378422784 277766 33554432000 4194304 16246674 140735694174208 140735694157208 5711688 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3243/statm: 336529 277766 892 2943 0 333423 0
[pid=3243/tid=3244] ppid=3240 vsize=1346116 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3244/stat : 3244 (toysat) S 3240 3243 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29294540 1378422784 277766 33554432000 4194304 16246674 140735694174208 140312732216560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3243/tid=3245] ppid=3240 vsize=1346116 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3245/stat : 3245 (toysat) S 3240 3243 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29294540 1378422784 277766 33554432000 4194304 16246674 140735694174208 140312721726704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3243/tid=3246] ppid=3240 vsize=1346116 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3246/stat : 3246 (toysat) S 3240 3243 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29294540 1378422784 277766 33554432000 4194304 16246674 140735694174208 140312711253168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1346116



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.12 2.06 2.07 3/265 3365
/proc/meminfo: memFree=29698408/32872528 swapFree=7556/7556
[pid=3243] ppid=3240 vsize=1346116 CPUtime=1800.01 cores=0-3,8-11
/proc/3243/stat : 3243 (toysat) R 3240 3243 32495 0 -1 4202496 278024 0 0 0 179946 55 0 0 20 0 4 0 29294540 1378422784 277766 33554432000 4194304 16246674 140735694174208 140735694156096 12415740 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3243/statm: 336529 277766 892 2943 0 333423 0
[pid=3243/tid=3244] ppid=3240 vsize=1346116 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3244/stat : 3244 (toysat) S 3240 3243 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29294540 1378422784 277766 33554432000 4194304 16246674 140735694174208 140312732216560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3243/tid=3245] ppid=3240 vsize=1346116 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3245/stat : 3245 (toysat) S 3240 3243 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29294540 1378422784 277766 33554432000 4194304 16246674 140735694174208 140312721726704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3243/tid=3246] ppid=3240 vsize=1346116 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3246/stat : 3246 (toysat) S 3240 3243 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29294540 1378422784 277766 33554432000 4194304 16246674 140735694174208 140312711253168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1346116

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 3243 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.12 2.06 2.07 3/265 3365
/proc/meminfo: memFree=29698408/32872528 swapFree=7556/7556
[pid=3243] ppid=3240 vsize=1346116 CPUtime=1800.01 cores=0-3,8-11
/proc/3243/stat : 3243 (toysat) R 3240 3243 32495 0 -1 4202496 278024 0 0 0 179946 55 0 0 20 0 4 0 29294540 1378422784 277766 33554432000 4194304 16246674 140735694174208 140735694156096 12415740 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3243/statm: 336529 277766 892 2943 0 333423 0
[pid=3243/tid=3244] ppid=3240 vsize=1346116 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3244/stat : 3244 (toysat) S 3240 3243 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29294540 1378422784 277766 33554432000 4194304 16246674 140735694174208 140312732216560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=3243/tid=3245] ppid=3240 vsize=1346116 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3245/stat : 3245 (toysat) S 3240 3243 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29294540 1378422784 277766 33554432000 4194304 16246674 140735694174208 140312721726704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=3243/tid=3246] ppid=3240 vsize=1346116 CPUtime=0 cores=0-3,8-11
/proc/3243/task/3246/stat : 3246 (toysat) S 3240 3243 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29294540 1378422784 277766 33554432000 4194304 16246674 140735694174208 140312711253168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1346116

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.47
CPU system time (s): 0.558915
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 1346116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.47
system time used= 0.558915
maximum resident set size= 1111064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278024
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= 319
involuntary context switches= 1951

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5149 second user time and 19.2931 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-26 19:36:04
IDJOB=4117053
IDBENCH=109547
IDSOLVER=2542
FILE ID=node132/4117053-1466962564
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-round22-6.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4117053-1466962564/watcher-4117053-1466962564 -o /tmp/evaluation-result-4117053-1466962564/solver-4117053-1466962564 -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-4117053-1466962564.opb

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

MD5SUM BENCH= e6c88e046c8333b5f08a0b7bdca9455c
RANDOM SEED=1718315612

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:        30843840 kB
Buffers:           39580 kB
Cached:           181084 kB
SwapCached:         1784 kB
Active:          1154812 kB
Inactive:         158460 kB
Active(anon):    1092556 kB
Inactive(anon):     1700 kB
Active(file):      62256 kB
Inactive(file):   156760 kB
Unevictable:        7556 kB
Mlocked:            7556 kB
SwapTotal:      67108856 kB
SwapFree:       67098636 kB
Dirty:             16988 kB
Writeback:             0 kB
AnonPages:       1195092 kB
Mapped:            10960 kB
Shmem:                 0 kB
Slab:             570860 kB
SReclaimable:      11428 kB
SUnreclaim:       559432 kB
KernelStack:        2240 kB
PageTables:         6644 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1241240 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1181696 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 20:06:04