Trace number 4116949

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

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size144-round22-0.opb
MD5SUMc96210cacdef9eb2768a7c5a4938e22d
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4128
Total number of constraints8720
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)432
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-26T21:16:18+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-4116949-1466968577.opb"]
0.00/0.01	c use --random-gen="1394487456 2234565305 3632486300 3334296783 1796474362 3969183684 2602902232 3101766514 2260666646 401089033 3530609532 3138632146 2504340819 3277699870 3785263577 717361829 545908917 699552248 3435507512 1851183095 4003267770 3509261434 3514320420 1163566349 2356235677 2156713282 1306527319 3105111787 3938677847 1548921824 2689930695 143650420 302707756 1886485866 3906090585 3826680526 5910354 2572438249 2641648253 547692827 2577271968 3028690317 3209599488 1299001686 2006061886 1927264487 4160271210 1327860796 166232816 3029624532 4072893866 1285634133 3893768543 2508325749 84312814 4097449124 2359191890 2388942603 2022031335 3503392102 509486912 984340815 1890230916 3539553772 1811862402 1224280589 1546079189 526608595 1913533335 1823992555 1304837015 1991022465 120908174 2071685356 3464386194 1353759911 3077725824 1358037587 3914172290 2982855299 2896741428 2582505400 1457576475 3947840570 450878403 263263943 2979130651 239589229 1416651445 3930975682 1309042505 2870920380 778514519 4000155192 3669682095 502758123 3299288152 2982104829 461088540 1430843833 3879220654 653706794 1114501752 1112959356 1098954774 1128391915 595877877 525923923 3105809868 4210161928 1068640751 3206281946 983654145 2953806964 3297213671 94635195 2338536327 3740225804 835028777 1461444748 684172660 4005707221 2395480089 3577029316 1541824537 3684227837 2853418191 530711216 3389783834 3305536860 2899036452 2791704410 3534359347 2633268314 2556058359 1579537538 4080167413 1956187849 2996997828 3564169716 3724877633 2535574883 3426197899 1665003093 2975747594 3235987791 2488254598 198696433 3171652026 2480728125 1327847925 1116183954 3137932672 1746469669 791159482 3774930915 4287624037 3862518129 3239953310 2106648953 3181894972 531980315 337348944 3898455549 1778407045 3584319120 2309827394 2786475732 1631384671 3208136794 1774060991 1132668572 2968120134 1288534570 1136308852 1090508748 3449292895 552682562 3230373965 1265972189 3265782057 1275598687 519801833 2061465013 1382137737 1152624304 2126102348 1992107836 2242319244 453124002 561675150 399166994 3470215738 3534194377 2647967200 2114072072 2672541186 2700909978 3342932541 1211056873 3714549594 3663481784 671219895 1675591925 2011501894 2818165360 2544279609 71699838 1667752876 4130787798 1244241212 2964474410 31690800 3556089482 4022811514 1631454526 1090791485 2629731880 2977599981 732641895 459494216 1989386958 3444899771 575691837 1185689113 584179750 1077111462 539574153 2197617924 1785797786 2216763705 422722456 2447923929 544193301 173062780 3620613285 3860638447 649923219 1831451660 736373612 3172404490 690767110 3879492984 3575981748 2460605363 3020557188 1706934486 3915979592 3083610269 1496543715 3936815610 463406464 3613695746 1175013615 4135995882 3606577050 255 362436" option to reproduce the execution
0.09/0.11	c #vars 4128
0.09/0.11	c #constraints 8720
0.18/0.26	c Solving starts ...
0.18/0.26	c ============================[ Search Statistics ]============================
0.18/0.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.18/0.26	c       |         |          |          |    Limit     GC | Var      | Constra 
0.18/0.26	c =============================================================================
0.18/0.26	c  0.0s |       0 |        0 |        0 |     4234      0 |      816 |        0
0.29/0.35	c  0.1s |       1 |      479 |      100 |     4234      0 |      817 |      718
0.39/0.45	c  0.2s |       2 |     2069 |      250 |     4658      0 |      818 |      718
0.59/0.68	c  0.4s |       3 |     3437 |      475 |     5124      0 |      818 |      718
0.89/0.94	c  0.7s |       4 |     5868 |      813 |     5637      0 |      818 |      718
1.29/1.33	c  1.1s |       5 |     9399 |     1320 |     6201      0 |      818 |      718
1.99/2.07	c  1.8s |       6 |    12104 |     2081 |     7505      0 |      818 |      718
2.59/2.69	c  2.4s |       7 |    18989 |     3223 |     8256      0 |      818 |      718
3.89/3.95	c  3.7s |       8 |    27237 |     4936 |     9082      0 |      818 |      718
5.99/6.02	c  5.8s |       8 |    32521 |     6836 |     9082      0 |      819 |      718
6.69/6.79	c  6.5s |       9 |    33833 |     7506 |     9991      0 |      819 |      718
8.79/8.81	c  8.6s |       9 |    39284 |     9206 |     9991      0 |      819 |      718
10.79/10.89	c 10.6s |       9 |    41442 |    10706 |     9991      0 |      819 |      718
11.89/11.98	c 11.7s |      10 |    42212 |    11361 |    10991      0 |      819 |      718
13.98/14.04	c 13.8s |      10 |    46460 |    13161 |    10991      0 |      819 |      718
16.08/16.11	c 15.9s |      10 |    48200 |    14661 |    10991      1 |      819 |      718
18.08/18.13	c 17.9s |      10 |    49957 |    16161 |    10991      1 |      819 |      718
19.68/19.70	c 19.4s |      11 |    51105 |    17144 |    12091      1 |      819 |      718
21.68/21.72	c 21.5s |      11 |    57524 |    19744 |    12091      1 |      819 |      718
23.68/23.72	c 23.5s |      11 |    60684 |    21644 |    12091      1 |      819 |      718
25.78/25.82	c 25.6s |      11 |    63097 |    23244 |    12091      2 |      819 |      718
27.78/27.88	c 27.6s |      11 |    64951 |    24644 |    12091      2 |      819 |      718
29.88/29.93	c 29.7s |      12 |    66577 |    25819 |    13301      2 |      819 |      718
32.08/32.13	c 31.9s |      12 |    71715 |    27419 |    13301      2 |      819 |      718
34.09/34.18	c 33.9s |      12 |    74238 |    28719 |    13301      2 |      819 |      718
36.18/36.24	c 36.0s |      12 |    77457 |    30619 |    13301      2 |      819 |      718
38.28/38.38	c 38.1s |      12 |    78961 |    31719 |    13301      3 |      819 |      718
40.38/40.48	c 40.2s |      12 |    80689 |    33019 |    13301      3 |      819 |      718
42.58/42.64	c 42.4s |      12 |    82197 |    34119 |    13301      3 |      819 |      718
44.78/44.89	c 44.6s |      12 |    83543 |    35119 |    13301      3 |      819 |      718
46.88/46.98	c 46.7s |      12 |    84384 |    35819 |    13301      3 |      819 |      718
49.18/49.25	c 49.0s |      12 |    85401 |    36619 |    13301      3 |      819 |      718
51.38/51.41	c 51.2s |      12 |    86632 |    37519 |    13301      3 |      819 |      718
53.28/53.39	c 53.1s |      13 |    88522 |    38832 |    14632      3 |      819 |      718
55.38/55.49	c 55.2s |      13 |    91179 |    40232 |    14632      4 |      819 |      718
57.48/57.53	c 57.3s |      13 |    96265 |    42432 |    14632      4 |      819 |      718
59.49/59.54	c 59.3s |      13 |    98827 |    44132 |    14632      4 |      819 |      718
61.48/61.59	c 61.3s |      13 |   100356 |    45332 |    14632      4 |      819 |      718
63.58/63.65	c 63.4s |      13 |   101580 |    46332 |    14632      4 |      819 |      718
65.68/65.77	c 65.5s |      13 |   102832 |    47332 |    14632      4 |      819 |      718
67.78/67.81	c 67.6s |      13 |   104175 |    48432 |    14632      4 |      819 |      718
69.98/70.00	c 69.7s |      13 |   105308 |    49532 |    14632      5 |      819 |      718
71.98/72.06	c 71.8s |      13 |   106456 |    50632 |    14632      5 |      819 |      718
74.08/74.16	c 73.9s |      13 |   107618 |    51732 |    14632      5 |      819 |      718
76.28/76.34	c 76.1s |      13 |   108652 |    52732 |    14632      5 |      819 |      718
78.38/78.45	c 78.2s |      13 |   110079 |    53832 |    14632      5 |      819 |      718
80.47/80.55	c 80.3s |      13 |   111825 |    55332 |    14632      5 |      819 |      718
82.58/82.63	c 82.4s |      13 |   114231 |    56932 |    14632      5 |      819 |      718
84.57/84.67	c 84.4s |      13 |   116559 |    58232 |    16096      5 |      819 |      718
84.68/84.78	c 84.5s |      14 |   116694 |    58352 |    16096      5 |      819 |      718
86.88/86.91	c 86.7s |      14 |   126248 |    60252 |    16096      6 |      819 |      718
88.87/88.92	c 88.7s |      14 |   139298 |    63252 |    16096      6 |      819 |      718
90.87/90.99	c 90.7s |      14 |   141313 |    64752 |    16096      6 |      819 |      718
92.97/93.09	c 92.8s |      14 |   142720 |    65952 |    16096      6 |      819 |      718
95.17/95.24	c 95.0s |      14 |   146775 |    67852 |    16096      6 |      819 |      718
97.17/97.28	c 97.0s |      14 |   148372 |    68952 |    16096      7 |      819 |      718
99.27/99.30	c 99.0s |      14 |   149939 |    70152 |    16096      7 |      819 |      718
101.37/101.42	c  101s |      14 |   152516 |    71652 |    16096      7 |      819 |      718
103.57/103.61	c  103s |      14 |   154960 |    73152 |    16096      7 |      819 |      718
105.67/105.75	c  105s |      14 |   157282 |    74452 |    16096      7 |      819 |      718
107.77/107.88	c  107s |      14 |   158761 |    75552 |    16096      7 |      819 |      718
109.97/110.04	c  109s |      14 |   159892 |    76452 |    16096      7 |      819 |      718
112.17/112.20	c  111s |      14 |   160984 |    77352 |    16096      7 |      819 |      718
114.16/114.21	c  113s |      14 |   162003 |    78152 |    16096      8 |      819 |      718
116.36/116.41	c  116s |      14 |   163203 |    79152 |    16096      8 |      819 |      718
118.36/118.46	c  118s |      14 |   164294 |    80052 |    16096      8 |      819 |      718
120.36/120.47	c  120s |      14 |   165106 |    80752 |    16096      8 |      819 |      718
122.66/122.72	c  122s |      14 |   166074 |    81552 |    16096      8 |      819 |      718
124.86/124.96	c  124s |      14 |   167474 |    82452 |    16096      8 |      819 |      718
126.96/127.06	c  126s |      14 |   172056 |    83652 |    16096      8 |      819 |      718
129.06/129.11	c  128s |      14 |   174725 |    85152 |    16096      8 |      819 |      718
131.16/131.21	c  130s |      14 |   176174 |    86352 |    16096      8 |      819 |      718
133.16/133.29	c  133s |      14 |   178298 |    87452 |    17706      8 |      819 |      718
133.35/133.42	c  133s |      15 |   179264 |    87632 |    17706      8 |      819 |      718
135.45/135.50	c  135s |      15 |   185558 |    89432 |    17706      9 |      819 |      718
137.46/137.53	c  137s |      15 |   187333 |    90732 |    17706      9 |      819 |      718
139.45/139.56	c  139s |      15 |   188681 |    91832 |    17706      9 |      819 |      718
141.55/141.65	c  141s |      15 |   190765 |    93132 |    17706      9 |      819 |      718
143.55/143.66	c  143s |      15 |   192950 |    94432 |    17706      9 |      819 |      718
145.55/145.69	c  145s |      15 |   194489 |    95532 |    17706      9 |      819 |      718
147.76/147.89	c  147s |      15 |   195979 |    96632 |    17706      9 |      819 |      718
149.96/150.08	c  149s |      15 |   197072 |    97532 |    17706      9 |      819 |      718
152.06/152.17	c  151s |      15 |   198087 |    98332 |    17706      9 |      819 |      718
154.56/154.60	c  154s |      15 |   199065 |    99132 |    17706     10 |      819 |      718
156.56/156.63	c  156s |      15 |   200446 |   100132 |    17706     10 |      819 |      718
158.76/158.80	c  158s |      15 |   203405 |   101632 |    17706     10 |      819 |      718
160.86/160.97	c  160s |      15 |   204800 |   102732 |    17706     10 |      819 |      718
163.06/163.10	c  162s |      15 |   206520 |   103932 |    17706     10 |      819 |      718
164.96/165.10	c  164s |      15 |   207915 |   104932 |    17706     10 |      819 |      718
167.05/167.13	c  166s |      15 |   209374 |   105932 |    17706     10 |      819 |      718
169.05/169.17	c  168s |      15 |   210534 |   106832 |    17706     10 |      819 |      718
171.15/171.26	c  171s |      15 |   211918 |   107832 |    17706     10 |      819 |      718
173.25/173.39	c  173s |      15 |   213357 |   108932 |    17706     10 |      819 |      718
175.45/175.52	c  175s |      15 |   214391 |   109732 |    17706     11 |      819 |      718
177.55/177.67	c  177s |      15 |   215759 |   110832 |    17706     11 |      819 |      718
179.65/179.71	c  179s |      15 |   216874 |   111732 |    17706     11 |      819 |      718
181.75/181.86	c  181s |      15 |   217807 |   112532 |    17706     11 |      819 |      718
183.95/184.08	c  183s |      15 |   218887 |   113432 |    17706     11 |      819 |      718
186.15/186.20	c  185s |      15 |   219805 |   114232 |    17706     11 |      819 |      718
188.16/188.29	c  188s |      15 |   220594 |   114932 |    17706     11 |      819 |      718
190.26/190.36	c  190s |      15 |   221371 |   115632 |    17706     11 |      819 |      718
192.35/192.41	c  192s |      15 |   222179 |   116332 |    17706     11 |      819 |      718
194.55/194.60	c  194s |      15 |   223128 |   117132 |    17706     11 |      819 |      718
196.75/196.88	c  196s |      15 |   223929 |   117832 |    17706     11 |      819 |      718
198.85/198.93	c  198s |      15 |   224612 |   118432 |    17706     11 |      819 |      718
200.85/200.95	c  200s |      15 |   225326 |   119032 |    17706     11 |      819 |      718
203.05/203.12	c  202s |      15 |   226151 |   119732 |    17706     11 |      819 |      718
205.15/205.26	c  205s |      15 |   227033 |   120432 |    17706     12 |      819 |      718
207.35/207.41	c  207s |      15 |   228153 |   121332 |    17706     12 |      819 |      718
209.35/209.49	c  209s |      15 |   229096 |   122132 |    17706     12 |      819 |      718
211.54/211.67	c  211s |      15 |   230035 |   122932 |    17706     12 |      819 |      718
213.74/213.85	c  213s |      15 |   230989 |   123732 |    17706     12 |      819 |      718
215.94/216.09	c  215s |      15 |   231959 |   124532 |    17706     12 |      819 |      718
218.14/218.24	c  217s |      15 |   232910 |   125332 |    17706     12 |      819 |      718
220.34/220.49	c  220s |      15 |   233712 |   126032 |    17706     12 |      819 |      718
222.44/222.50	c  222s |      15 |   234398 |   126632 |    17706     12 |      819 |      718
224.54/224.65	c  224s |      15 |   235191 |   127332 |    17706     12 |      819 |      718
226.64/226.77	c  226s |      15 |   235855 |   127932 |    17706     12 |      819 |      718
228.84/228.99	c  228s |      15 |   236538 |   128532 |    17706     12 |      819 |      718
230.94/231.02	c  230s |      15 |   237216 |   129132 |    17706     12 |      819 |      718
233.14/233.22	c  232s |      15 |   237898 |   129732 |    17706     12 |      819 |      718
235.13/235.28	c  235s |      15 |   238603 |   130332 |    17706     12 |      819 |      718
237.43/237.50	c  237s |      15 |   239184 |   130832 |    19477     13 |      819 |      718
239.74/239.81	c  239s |      15 |   239985 |   131532 |    19477     13 |      819 |      718
239.74/239.88	c  239s |      16 |   240010 |   131552 |    19477     13 |      819 |      718
241.94/242.00	c  241s |      16 |   243116 |   133352 |    19477     13 |      819 |      718
244.03/244.10	c  243s |      16 |   245967 |   135152 |    19477     13 |      819 |      718
246.03/246.15	c  245s |      16 |   247472 |   136552 |    19477     13 |      819 |      718
248.02/248.17	c  247s |      16 |   248966 |   137852 |    19477     13 |      819 |      718
250.12/250.20	c  249s |      16 |   250142 |   138952 |    19477     13 |      819 |      718
252.22/252.33	c  252s |      16 |   251338 |   140052 |    19477     13 |      819 |      718
254.42/254.54	c  254s |      16 |   252578 |   141152 |    19477     13 |      819 |      718
256.42/256.58	c  256s |      16 |   253682 |   142152 |    19477     13 |      819 |      718
258.53/258.65	c  258s |      16 |   254576 |   142952 |    19477     14 |      819 |      718
260.73/260.83	c  260s |      16 |   255561 |   143852 |    19477     14 |      819 |      718
262.72/262.85	c  262s |      16 |   256429 |   144652 |    19477     14 |      819 |      718
264.92/265.10	c  264s |      16 |   257428 |   145552 |    19477     14 |      819 |      718
267.01/267.12	c  266s |      16 |   258286 |   146352 |    19477     14 |      819 |      718
269.01/269.19	c  268s |      16 |   259232 |   147152 |    19477     14 |      819 |      718
271.31/271.46	c  271s |      16 |   260111 |   147952 |    19477     14 |      819 |      718
273.41/273.53	c  273s |      16 |   260889 |   148652 |    19477     14 |      819 |      718
275.61/275.78	c  275s |      16 |   261654 |   149352 |    19477     14 |      819 |      718
277.91/278.02	c  277s |      16 |   262422 |   150052 |    19477     14 |      819 |      718
280.01/280.15	c  279s |      16 |   263213 |   150752 |    19477     14 |      819 |      718
282.01/282.19	c  281s |      16 |   263864 |   151352 |    19477     14 |      819 |      718
284.41/284.54	c  284s |      16 |   264636 |   152052 |    19477     14 |      819 |      718
286.71/286.81	c  286s |      16 |   265303 |   152652 |    19477     14 |      819 |      718
288.71/288.86	c  288s |      16 |   265839 |   153152 |    19477     14 |      819 |      718
291.10/291.29	c  291s |      16 |   266512 |   153752 |    19477     14 |      819 |      718
293.20/293.33	c  293s |      16 |   267064 |   154252 |    19477     14 |      819 |      718
295.30/295.44	c  295s |      16 |   267629 |   154752 |    19477     15 |      819 |      718
297.40/297.58	c  297s |      16 |   268375 |   155452 |    19477     15 |      819 |      718
299.70/299.86	c  299s |      16 |   269249 |   156252 |    19477     15 |      819 |      718
301.80/301.97	c  301s |      16 |   270034 |   156952 |    19477     15 |      819 |      718
303.90/304.02	c  303s |      16 |   271672 |   158052 |    19477     15 |      819 |      718
305.91/306.06	c  305s |      16 |   273934 |   159652 |    19477     15 |      819 |      718
308.10/308.24	c  307s |      16 |   275311 |   160852 |    19477     15 |      819 |      718
310.30/310.40	c  310s |      16 |   276656 |   162052 |    19477     15 |      819 |      718
312.41/312.52	c  312s |      16 |   277976 |   163252 |    19477     15 |      819 |      718
314.40/314.56	c  314s |      16 |   278865 |   164052 |    19477     15 |      819 |      718
316.50/316.62	c  316s |      16 |   279739 |   164852 |    19477     15 |      819 |      718
318.70/318.87	c  318s |      16 |   280487 |   165552 |    19477     16 |      819 |      718
320.80/320.96	c  320s |      16 |   281519 |   166452 |    19477     16 |      819 |      718
323.00/323.15	c  322s |      16 |   282529 |   167352 |    19477     16 |      819 |      718
325.20/325.38	c  325s |      16 |   283414 |   168152 |    19477     16 |      819 |      718
327.49/327.63	c  327s |      16 |   284289 |   168952 |    19477     16 |      819 |      718
329.69/329.88	c  329s |      16 |   285196 |   169752 |    19477     16 |      819 |      718
331.79/331.92	c  331s |      16 |   285972 |   170452 |    19477     16 |      819 |      718
333.99/334.19	c  333s |      16 |   286750 |   171152 |    19477     16 |      819 |      718
336.19/336.37	c  336s |      16 |   287523 |   171852 |    19477     16 |      819 |      718
338.29/338.50	c  338s |      16 |   288331 |   172552 |    19477     16 |      819 |      718
340.59/340.73	c  340s |      16 |   289082 |   173252 |    19477     16 |      819 |      718
342.78/342.91	c  342s |      16 |   289866 |   173952 |    19477     16 |      819 |      718
344.88/345.04	c  344s |      16 |   290902 |   174852 |    19477     16 |      819 |      718
346.98/347.13	c  346s |      16 |   291809 |   175652 |    19477     16 |      819 |      718
349.18/349.32	c  349s |      16 |   292680 |   176452 |    19477     16 |      819 |      718
351.28/351.50	c  351s |      16 |   293439 |   177152 |    19477     17 |      819 |      718
353.48/353.68	c  353s |      16 |   294401 |   178052 |    19477     17 |      819 |      718
355.78/355.92	c  355s |      16 |   295373 |   178952 |    19477     17 |      819 |      718
357.87/358.09	c  357s |      16 |   296225 |   179752 |    19477     17 |      819 |      718
360.07/360.27	c  360s |      16 |   296987 |   180452 |    19477     17 |      819 |      718
362.37/362.56	c  362s |      16 |   297736 |   181152 |    19477     17 |      819 |      718
364.67/364.80	c  364s |      16 |   298486 |   181852 |    19477     17 |      819 |      718
366.77/366.97	c  366s |      16 |   299236 |   182552 |    19477     17 |      819 |      718
369.07/369.29	c  369s |      16 |   299996 |   183252 |    19477     17 |      819 |      718
371.27/371.49	c  371s |      16 |   300630 |   183852 |    19477     17 |      819 |      718
373.47/373.60	c  373s |      16 |   301259 |   184452 |    19477     17 |      819 |      718
375.56/375.79	c  375s |      16 |   301925 |   185052 |    19477     17 |      819 |      718
377.66/377.80	c  377s |      16 |   302579 |   185652 |    19477     17 |      819 |      718
379.77/379.95	c  379s |      16 |   303207 |   186252 |    19477     17 |      819 |      718
381.97/382.16	c  381s |      16 |   303867 |   186852 |    19477     17 |      819 |      718
384.27/384.41	c  384s |      16 |   304511 |   187452 |    19477     17 |      819 |      718
386.47/386.63	c  386s |      16 |   305036 |   187952 |    19477     18 |      819 |      718
388.47/388.68	c  388s |      16 |   305771 |   188652 |    19477     18 |      819 |      718
390.57/390.74	c  390s |      16 |   306618 |   189452 |    19477     18 |      819 |      718
392.57/392.76	c  392s |      16 |   307358 |   190152 |    19477     18 |      819 |      718
394.77/394.92	c  394s |      16 |   308104 |   190852 |    19477     18 |      819 |      718
396.76/396.99	c  396s |      16 |   308855 |   191552 |    19477     18 |      819 |      718
398.86/399.00	c  398s |      16 |   309496 |   192152 |    19477     18 |      819 |      718
401.06/401.29	c  401s |      16 |   310249 |   192852 |    19477     18 |      819 |      718
403.26/403.42	c  403s |      16 |   311046 |   193552 |    19477     18 |      819 |      718
405.36/405.53	c  405s |      16 |   311926 |   194352 |    19477     18 |      819 |      718
407.45/407.65	c  407s |      16 |   312803 |   195152 |    19477     18 |      819 |      718
409.65/409.88	c  409s |      16 |   313588 |   195852 |    19477     18 |      819 |      718
411.85/412.01	c  411s |      16 |   314347 |   196552 |    21425     18 |      819 |      718
414.05/414.21	c  413s |      16 |   315130 |   197252 |    21425     18 |      819 |      718
414.66/414.82	c  414s |      17 |   315328 |   197432 |    21425     18 |      819 |      718
416.65/416.87	c  416s |      17 |   323976 |   199132 |    21425     18 |      819 |      718
418.75/418.96	c  418s |      17 |   325476 |   200332 |    21425     18 |      819 |      718
421.16/421.34	c  421s |      17 |   326606 |   201232 |    21425     19 |      819 |      718
423.25/423.42	c  423s |      17 |   327578 |   202132 |    21425     19 |      819 |      718
425.25/425.48	c  425s |      17 |   328482 |   202932 |    21425     19 |      819 |      718
427.35/427.57	c  427s |      17 |   329452 |   203732 |    21425     19 |      819 |      718
429.54/429.75	c  429s |      17 |   330800 |   204832 |    21425     19 |      819 |      718
431.64/431.86	c  431s |      17 |   332500 |   206032 |    21425     19 |      819 |      718
433.64/433.86	c  433s |      17 |   333733 |   207032 |    21425     19 |      819 |      718
435.94/436.11	c  435s |      17 |   334863 |   208032 |    21425     19 |      819 |      718
438.04/438.24	c  437s |      17 |   336396 |   209132 |    21425     19 |      819 |      718
440.04/440.29	c  440s |      17 |   337664 |   210032 |    21425     19 |      819 |      718
442.24/442.49	c  442s |      17 |   338672 |   210832 |    21425     19 |      819 |      718
444.44/444.66	c  444s |      17 |   339524 |   211532 |    21425     19 |      819 |      718
446.44/446.68	c  446s |      17 |   340382 |   212232 |    21425     19 |      819 |      718
448.54/448.75	c  448s |      17 |   341053 |   212832 |    21425     19 |      819 |      718
450.74/450.97	c  450s |      17 |   341826 |   213532 |    21425     19 |      819 |      718
452.94/453.15	c  452s |      17 |   342653 |   214232 |    21425     20 |      819 |      718
455.03/455.23	c  454s |      17 |   343482 |   214932 |    21425     20 |      819 |      718
457.03/457.26	c  457s |      17 |   344331 |   215632 |    21425     20 |      819 |      718
459.13/459.39	c  459s |      17 |   345177 |   216332 |    21425     20 |      819 |      718
461.23/461.40	c  461s |      17 |   346023 |   217032 |    21425     20 |      819 |      718
463.33/463.51	c  463s |      17 |   346691 |   217632 |    21425     20 |      819 |      718
465.53/465.74	c  465s |      17 |   347555 |   218332 |    21425     20 |      819 |      718
467.52/467.78	c  467s |      17 |   348272 |   218932 |    21425     20 |      819 |      718
469.72/469.96	c  469s |      17 |   349048 |   219632 |    21425     20 |      819 |      718
472.12/472.35	c  472s |      17 |   349728 |   220232 |    21425     20 |      819 |      718
474.12/474.39	c  474s |      17 |   350430 |   220832 |    21425     20 |      819 |      718
476.32/476.53	c  476s |      17 |   351155 |   221432 |    21425     20 |      819 |      718
478.52/478.74	c  478s |      17 |   351819 |   222032 |    21425     20 |      819 |      718
480.72/480.91	c  480s |      17 |   352557 |   222632 |    21425     20 |      819 |      718
482.72/482.95	c  482s |      17 |   353246 |   223232 |    21425     20 |      819 |      718
484.92/485.20	c  484s |      17 |   353917 |   223832 |    21425     20 |      819 |      718
487.12/487.38	c  487s |      17 |   354628 |   224432 |    21425     20 |      819 |      718
489.32/489.54	c  489s |      17 |   355342 |   225032 |    21425     20 |      819 |      718
491.41/491.67	c  491s |      17 |   356021 |   225632 |    21425     20 |      819 |      718
493.61/493.88	c  493s |      17 |   356670 |   226232 |    21425     21 |      819 |      718
495.81/496.04	c  495s |      17 |   357560 |   227032 |    21425     21 |      819 |      718
498.00/498.24	c  497s |      17 |   358630 |   227832 |    21425     21 |      819 |      718
500.41/500.62	c  500s |      17 |   359443 |   228532 |    21425     21 |      819 |      718
502.61/502.81	c  502s |      17 |   360112 |   229132 |    21425     21 |      819 |      718
504.61/504.86	c  504s |      17 |   360789 |   229732 |    21425     21 |      819 |      718
506.71/506.97	c  506s |      17 |   361447 |   230332 |    21425     21 |      819 |      718
509.00/509.23	c  508s |      17 |   362078 |   230932 |    21425     21 |      819 |      718
511.10/511.39	c  511s |      17 |   362745 |   231532 |    21425     21 |      819 |      718
513.40/513.69	c  513s |      17 |   363398 |   232132 |    21425     21 |      819 |      718
515.50/515.71	c  515s |      17 |   364188 |   232732 |    21425     21 |      819 |      718
517.60/517.86	c  517s |      17 |   365127 |   233532 |    21425     21 |      819 |      718
519.60/519.89	c  519s |      17 |   366041 |   234232 |    21425     21 |      819 |      718
521.80/522.01	c  521s |      17 |   366775 |   234832 |    21425     21 |      819 |      718
524.10/524.34	c  524s |      17 |   367607 |   235532 |    21425     21 |      819 |      718
526.29/526.50	c  526s |      17 |   368325 |   236132 |    21425     21 |      819 |      718
528.39/528.68	c  528s |      17 |   368991 |   236732 |    21425     21 |      819 |      718
530.89/531.12	c  530s |      17 |   369559 |   237232 |    21425     21 |      819 |      718
533.30/533.57	c  533s |      17 |   370171 |   237732 |    21425     21 |      819 |      718
535.50/535.73	c  535s |      17 |   370528 |   238032 |    21425     21 |      819 |      718
537.79/538.04	c  537s |      17 |   370868 |   238332 |    21425     22 |      819 |      718
540.18/540.46	c  540s |      17 |   371640 |   239032 |    21425     22 |      819 |      718
542.28/542.52	c  542s |      17 |   372328 |   239632 |    21425     22 |      819 |      718
544.48/544.72	c  544s |      17 |   373016 |   240232 |    21425     22 |      819 |      718
546.67/546.99	c  546s |      17 |   373805 |   240932 |    21425     22 |      819 |      718
549.07/549.31	c  549s |      17 |   374682 |   241732 |    21425     22 |      819 |      718
551.17/551.46	c  551s |      17 |   375431 |   242432 |    21425     22 |      819 |      718
553.47/553.79	c  553s |      17 |   376207 |   243132 |    21425     22 |      819 |      718
556.27/556.50	c  556s |      17 |   376874 |   243732 |    21425     22 |      819 |      718
558.27/558.52	c  558s |      17 |   377309 |   244132 |    21425     22 |      819 |      718
560.37/560.69	c  560s |      17 |   378171 |   244832 |    21425     22 |      819 |      718
562.87/563.13	c  562s |      17 |   378849 |   245432 |    21425     22 |      819 |      718
565.17/565.45	c  565s |      17 |   379512 |   246032 |    21425     22 |      819 |      718
567.26/567.51	c  567s |      17 |   380199 |   246632 |    21425     22 |      819 |      718
569.36/569.63	c  569s |      17 |   380871 |   247232 |    21425     22 |      819 |      718
571.36/571.69	c  571s |      17 |   381409 |   247732 |    21425     22 |      819 |      718
573.66/573.96	c  573s |      17 |   382092 |   248332 |    21425     22 |      819 |      718
575.66/575.98	c  575s |      17 |   382658 |   248832 |    21425     22 |      819 |      718
577.85/578.16	c  577s |      17 |   383195 |   249332 |    21425     22 |      819 |      718
580.15/580.44	c  580s |      17 |   383758 |   249832 |    21425     22 |      819 |      718
582.55/582.89	c  582s |      17 |   384289 |   250332 |    21425     22 |      819 |      718
584.85/585.12	c  584s |      17 |   384714 |   250732 |    21425     23 |      819 |      718
586.85/587.19	c  586s |      17 |   385522 |   251432 |    21425     23 |      819 |      718
588.95/589.28	c  589s |      17 |   386581 |   252232 |    21425     23 |      819 |      718
591.25/591.53	c  591s |      17 |   387374 |   252932 |    21425     23 |      819 |      718
593.34/593.64	c  593s |      17 |   388229 |   253632 |    21425     23 |      819 |      718
595.34/595.66	c  595s |      17 |   388935 |   254232 |    21425     23 |      819 |      718
597.54/597.81	c  597s |      17 |   389607 |   254832 |    21425     23 |      819 |      718
599.74/600.06	c  599s |      17 |   390275 |   255432 |    21425     23 |      819 |      718
601.94/602.20	c  601s |      17 |   390977 |   256032 |    21425     23 |      819 |      718
604.04/604.34	c  604s |      17 |   391919 |   256832 |    21425     23 |      819 |      718
606.24/606.55	c  606s |      17 |   392592 |   257432 |    21425     23 |      819 |      718
608.33/608.66	c  608s |      17 |   393287 |   258032 |    21425     23 |      819 |      718
610.53/610.85	c  610s |      17 |   393897 |   258532 |    21425     23 |      819 |      718
612.63/612.93	c  612s |      17 |   394450 |   259032 |    21425     23 |      819 |      718
614.74/615.04	c  614s |      17 |   395121 |   259632 |    21425     23 |      819 |      718
616.84/617.13	c  616s |      17 |   395645 |   260132 |    21425     23 |      819 |      718
619.13/619.44	c  619s |      17 |   396180 |   260632 |    21425     23 |      819 |      718
621.43/621.76	c  621s |      17 |   396903 |   261232 |    21425     23 |      819 |      718
623.63/623.91	c  623s |      17 |   397443 |   261732 |    21425     23 |      819 |      718
625.84/626.15	c  625s |      17 |   398048 |   262232 |    21425     23 |      819 |      718
627.94/628.25	c  627s |      17 |   398497 |   262632 |    21425     23 |      819 |      718
630.14/630.47	c  630s |      17 |   399042 |   263132 |    21425     24 |      819 |      718
632.24/632.52	c  632s |      17 |   399579 |   263632 |    21425     24 |      819 |      718
634.54/634.86	c  634s |      17 |   400390 |   264332 |    21425     24 |      819 |      718
636.73/637.03	c  636s |      17 |   401074 |   264932 |    21425     24 |      819 |      718
638.93/639.25	c  638s |      17 |   401616 |   265432 |    21425     24 |      819 |      718
641.22/641.53	c  641s |      17 |   402155 |   265932 |    21425     24 |      819 |      718
643.42/643.73	c  643s |      17 |   402682 |   266432 |    21425     24 |      819 |      718
645.43/645.77	c  645s |      17 |   403248 |   266932 |    21425     24 |      819 |      718
647.52/647.89	c  647s |      17 |   403785 |   267432 |    21425     24 |      819 |      718
649.82/650.18	c  649s |      17 |   404320 |   267932 |    21425     24 |      819 |      718
652.32/652.67	c  652s |      17 |   404883 |   268432 |    21425     24 |      819 |      718
654.62/654.98	c  654s |      17 |   405415 |   268932 |    21425     24 |      819 |      718
656.81/657.14	c  656s |      17 |   406688 |   269632 |    21425     24 |      819 |      718
658.91/659.20	c  658s |      17 |   407842 |   270432 |    21425     24 |      819 |      718
661.01/661.34	c  661s |      17 |   408754 |   271132 |    21425     24 |      819 |      718
663.12/663.43	c  663s |      17 |   409405 |   271732 |    21425     24 |      819 |      718
665.31/665.69	c  665s |      17 |   410405 |   272532 |    21425     24 |      819 |      718
667.51/667.81	c  667s |      17 |   411259 |   273232 |    21425     24 |      819 |      718
669.50/669.90	c  669s |      17 |   412076 |   273932 |    21425     24 |      819 |      718
671.70/672.02	c  671s |      17 |   412787 |   274532 |    21425     24 |      819 |      718
674.11/674.40	c  674s |      17 |   413312 |   275032 |    21425     24 |      819 |      718
676.21/676.59	c  676s |      17 |   414009 |   275632 |    21425     25 |      819 |      718
678.40/678.72	c  678s |      17 |   414666 |   276232 |    21425     25 |      819 |      718
680.60/680.92	c  680s |      17 |   415535 |   277032 |    21425     25 |      819 |      718
682.59/682.99	c  682s |      17 |   416499 |   277832 |    21425     25 |      819 |      718
684.79/685.18	c  684s |      17 |   417272 |   278532 |    21425     25 |      819 |      718
686.99/687.39	c  687s |      17 |   418165 |   279332 |    21425     25 |      819 |      718
689.19/689.57	c  689s |      17 |   418815 |   279932 |    21425     25 |      819 |      718
691.29/691.63	c  691s |      17 |   419346 |   280432 |    21425     25 |      819 |      718
693.39/693.75	c  693s |      17 |   419998 |   281032 |    21425     25 |      819 |      718
695.39/695.76	c  695s |      17 |   420851 |   281732 |    21425     25 |      819 |      718
697.59/697.99	c  697s |      17 |   421796 |   282532 |    21425     25 |      819 |      718
699.79/700.17	c  699s |      17 |   422606 |   283232 |    21425     25 |      819 |      718
701.99/702.33	c  702s |      17 |   423274 |   283832 |    21425     25 |      819 |      718
704.29/704.68	c  704s |      17 |   423930 |   284432 |    21425     25 |      819 |      718
706.39/706.71	c  706s |      17 |   424455 |   284932 |    21425     25 |      819 |      718
708.59/708.97	c  708s |      17 |   425139 |   285532 |    21425     25 |      819 |      718
710.59/710.99	c  710s |      17 |   425671 |   286032 |    21425     25 |      819 |      718
712.88/713.29	c  713s |      17 |   426338 |   286632 |    21425     25 |      819 |      718
715.18/715.58	c  715s |      17 |   426984 |   287232 |    21425     25 |      819 |      718
717.38/717.77	c  717s |      17 |   427534 |   287732 |    21425     26 |      819 |      718
719.78/720.11	c  719s |      17 |   428321 |   288432 |    21425     26 |      819 |      718
721.88/722.22	c  721s |      17 |   429089 |   289132 |    21425     26 |      819 |      718
724.18/724.53	c  724s |      17 |   429840 |   289832 |    21425     26 |      819 |      718
726.48/726.89	c  726s |      17 |   430587 |   290532 |    21425     26 |      819 |      718
728.68/729.08	c  728s |      17 |   431234 |   291132 |    21425     26 |      819 |      718
730.98/731.34	c  731s |      17 |   431872 |   291732 |    21425     26 |      819 |      718
733.39/733.78	c  733s |      17 |   432506 |   292332 |    21425     26 |      819 |      718
735.48/735.85	c  735s |      17 |   433157 |   292932 |    21425     26 |      819 |      718
737.48/737.87	c  737s |      17 |   433684 |   293432 |    21425     26 |      819 |      718
739.88/740.20	c  739s |      17 |   434345 |   294032 |    21425     26 |      819 |      718
742.19/742.59	c  742s |      17 |   435016 |   294632 |    23568     26 |      819 |      718
744.28/744.61	c  744s |      17 |   435557 |   295132 |    23568     26 |      819 |      718
746.38/746.76	c  746s |      17 |   436096 |   295632 |    23568     26 |      819 |      718
748.38/748.79	c  748s |      17 |   436638 |   296132 |    23568     26 |      819 |      718
748.98/749.37	c  749s |      18 |   436766 |   296252 |    23568     26 |      819 |      718
751.18/751.50	c  751s |      18 |   444015 |   297952 |    23568     26 |      819 |      718
753.29/753.62	c  753s |      18 |   445675 |   299452 |    23568     26 |      819 |      718
755.28/755.66	c  755s |      18 |   447069 |   300752 |    23568     26 |      819 |      718
757.38/757.77	c  757s |      18 |   448311 |   301952 |    23568     26 |      819 |      718
759.48/759.81	c  759s |      18 |   449243 |   302852 |    23568     27 |      819 |      718
761.48/761.81	c  761s |      18 |   450395 |   303952 |    23568     27 |      819 |      718
763.48/763.86	c  763s |      18 |   451436 |   304952 |    23568     27 |      819 |      718
765.68/766.04	c  765s |      18 |   452466 |   305952 |    23568     27 |      819 |      718
767.68/768.05	c  767s |      18 |   453477 |   306852 |    23568     27 |      819 |      718
769.88/770.21	c  769s |      18 |   454413 |   307752 |    23568     27 |      819 |      718
771.98/772.33	c  772s |      18 |   455238 |   308552 |    23568     27 |      819 |      718
774.18/774.52	c  774s |      18 |   456055 |   309352 |    23568     27 |      819 |      718
776.17/776.54	c  776s |      18 |   458089 |   310752 |    23568     27 |      819 |      718
778.17/778.59	c  778s |      18 |   459505 |   312052 |    23568     27 |      819 |      718
780.27/780.61	c  780s |      18 |   460774 |   313252 |    23568     27 |      819 |      718
782.37/782.70	c  782s |      18 |   462086 |   314452 |    23568     27 |      819 |      718
784.37/784.76	c  784s |      18 |   463041 |   315352 |    23568     28 |      819 |      718
786.58/786.94	c  786s |      18 |   471718 |   317452 |    23568     28 |      819 |      718
788.58/788.98	c  788s |      18 |   477785 |   319352 |    23568     28 |      819 |      718
790.68/791.01	c  790s |      18 |   481273 |   321352 |    23568     28 |      819 |      718
792.78/793.12	c  792s |      18 |   483673 |   323052 |    23568     28 |      819 |      718
794.78/795.16	c  794s |      18 |   486102 |   324752 |    23568     28 |      819 |      718
796.78/797.17	c  796s |      18 |   488452 |   326252 |    23568     28 |      819 |      718
799.08/799.49	c  799s |      18 |   490510 |   327752 |    23568     29 |      819 |      718
801.18/801.53	c  801s |      18 |   493313 |   329552 |    23568     29 |      819 |      718
803.27/803.60	c  803s |      18 |   494967 |   330952 |    23568     29 |      819 |      718
805.37/805.74	c  805s |      18 |   497169 |   332352 |    23568     29 |      819 |      718
807.47/807.84	c  807s |      18 |   498687 |   333552 |    23568     29 |      819 |      718
809.57/809.95	c  809s |      18 |   500998 |   335052 |    23568     29 |      819 |      718
811.67/812.04	c  811s |      18 |   503064 |   336552 |    23568     29 |      819 |      718
813.68/814.06	c  813s |      18 |   505169 |   337952 |    23568     29 |      819 |      718
815.77/816.18	c  815s |      18 |   507369 |   339352 |    23568     29 |      819 |      718
817.87/818.21	c  817s |      18 |   509484 |   340652 |    23568     29 |      819 |      718
819.87/820.28	c  820s |      18 |   510761 |   341652 |    23568     30 |      819 |      718
822.17/822.50	c  822s |      18 |   512244 |   342952 |    23568     30 |      819 |      718
824.17/824.51	c  824s |      18 |   513422 |   344052 |    23568     30 |      819 |      718
826.27/826.67	c  826s |      18 |   514568 |   345052 |    23568     30 |      819 |      718
828.47/828.82	c  828s |      18 |   516089 |   346152 |    23568     30 |      819 |      718
830.47/830.85	c  830s |      18 |   517277 |   347052 |    23568     30 |      819 |      718
832.67/833.00	c  832s |      18 |   518438 |   347952 |    23568     30 |      819 |      718
834.77/835.20	c  834s |      18 |   519868 |   348952 |    23568     30 |      819 |      718
836.87/837.21	c  836s |      18 |   521407 |   349952 |    23568     30 |      819 |      718
838.97/839.33	c  839s |      18 |   523110 |   351152 |    23568     30 |      819 |      718
840.97/841.33	c  841s |      18 |   525057 |   352352 |    23568     30 |      819 |      718
843.26/843.65	c  843s |      18 |   526337 |   353352 |    23568     30 |      819 |      718
845.36/845.73	c  845s |      18 |   527134 |   353952 |    23568     31 |      819 |      718
847.46/847.87	c  847s |      18 |   528206 |   354752 |    23568     31 |      819 |      718
849.66/850.01	c  849s |      18 |   529246 |   355552 |    23568     31 |      819 |      718
851.66/852.05	c  851s |      18 |   530480 |   356452 |    23568     31 |      819 |      718
853.66/854.07	c  853s |      18 |   532412 |   357652 |    23568     31 |      819 |      718
855.86/856.27	c  856s |      18 |   534141 |   358852 |    23568     31 |      819 |      718
857.96/858.32	c  858s |      18 |   535173 |   359652 |    23568     31 |      819 |      718
860.16/860.53	c  860s |      18 |   536374 |   360452 |    23568     31 |      819 |      718
862.26/862.64	c  862s |      18 |   537433 |   361252 |    23568     31 |      819 |      718
864.27/864.67	c  864s |      18 |   538297 |   361952 |    23568     31 |      819 |      718
866.67/867.02	c  866s |      18 |   539160 |   362652 |    23568     31 |      819 |      718
868.97/869.31	c  869s |      18 |   540003 |   363352 |    23568     31 |      819 |      718
870.97/871.35	c  871s |      18 |   540767 |   363952 |    23568     31 |      819 |      718
873.17/873.52	c  873s |      18 |   541667 |   364652 |    23568     31 |      819 |      718
875.37/875.72	c  875s |      18 |   543076 |   365552 |    23568     31 |      819 |      718
877.57/877.94	c  877s |      18 |   544750 |   366652 |    23568     31 |      819 |      718
880.06/880.41	c  880s |      18 |   545639 |   367352 |    23568     32 |      819 |      718
882.06/882.41	c  882s |      18 |   548328 |   368952 |    23568     32 |      819 |      718
884.07/884.44	c  884s |      18 |   549737 |   370052 |    23568     32 |      819 |      718
886.27/886.65	c  886s |      18 |   550748 |   370852 |    23568     32 |      819 |      718
888.26/888.69	c  888s |      18 |   551892 |   371752 |    23568     32 |      819 |      718
890.36/890.77	c  890s |      18 |   553169 |   372652 |    23568     32 |      819 |      718
892.46/892.84	c  892s |      18 |   554502 |   373552 |    23568     32 |      819 |      718
894.56/894.93	c  894s |      18 |   556203 |   374652 |    23568     32 |      819 |      718
896.56/896.94	c  896s |      18 |   557964 |   375852 |    23568     32 |      819 |      718
898.76/899.10	c  898s |      18 |   560079 |   377252 |    23568     32 |      819 |      718
900.76/901.13	c  900s |      18 |   562367 |   378652 |    23568     32 |      819 |      718
902.86/903.22	c  902s |      18 |   563938 |   379652 |    23568     32 |      819 |      718
904.86/905.30	c  905s |      18 |   565255 |   380552 |    23568     32 |      819 |      718
906.96/907.31	c  907s |      18 |   566955 |   381652 |    23568     33 |      819 |      718
908.95/909.34	c  909s |      18 |   569052 |   382952 |    23568     33 |      819 |      718
911.05/911.42	c  911s |      18 |   570307 |   383952 |    23568     33 |      819 |      718
913.05/913.48	c  913s |      18 |   571447 |   384852 |    23568     33 |      819 |      718
915.05/915.49	c  915s |      18 |   573568 |   386252 |    23568     33 |      819 |      718
917.25/917.66	c  917s |      18 |   575643 |   387652 |    23568     33 |      819 |      718
919.45/919.81	c  919s |      18 |   577287 |   388852 |    23568     33 |      819 |      718
921.56/921.94	c  921s |      18 |   579431 |   390252 |    23568     33 |      819 |      718
923.66/924.01	c  923s |      18 |   581515 |   391552 |    23568     33 |      819 |      718
925.75/926.16	c  925s |      18 |   583318 |   392652 |    23568     33 |      819 |      718
927.85/928.27	c  928s |      18 |   584551 |   393552 |    23568     33 |      819 |      718
929.85/930.27	c  930s |      18 |   585722 |   394352 |    23568     34 |      819 |      718
931.85/932.28	c  932s |      18 |   587892 |   395852 |    23568     34 |      819 |      718
933.85/934.28	c  934s |      18 |   589776 |   397252 |    23568     34 |      819 |      718
935.95/936.35	c  936s |      18 |   591137 |   398252 |    23568     34 |      819 |      718
938.16/938.58	c  938s |      18 |   592345 |   399152 |    23568     34 |      819 |      718
940.16/940.59	c  940s |      18 |   593410 |   399952 |    23568     34 |      819 |      718
942.55/942.90	c  942s |      18 |   594403 |   400752 |    23568     34 |      819 |      718
944.66/945.01	c  944s |      18 |   595905 |   401752 |    23568     34 |      819 |      718
946.76/947.14	c  946s |      18 |   597917 |   403052 |    23568     34 |      819 |      718
948.85/949.26	c  949s |      18 |   599554 |   404252 |    23568     34 |      819 |      718
951.05/951.40	c  951s |      18 |   601300 |   405352 |    23568     34 |      819 |      718
953.15/953.50	c  953s |      18 |   602819 |   406352 |    23568     34 |      819 |      718
955.15/955.54	c  955s |      18 |   604045 |   407252 |    23568     35 |      819 |      718
957.15/957.58	c  957s |      18 |   605580 |   408352 |    23568     35 |      819 |      718
959.25/959.62	c  959s |      18 |   607791 |   409752 |    23568     35 |      819 |      718
961.35/961.71	c  961s |      18 |   609064 |   410752 |    23568     35 |      819 |      718
963.36/963.80	c  963s |      18 |   610737 |   411852 |    23568     35 |      819 |      718
965.46/965.89	c  965s |      18 |   613164 |   413452 |    23568     35 |      819 |      718
967.55/967.94	c  967s |      18 |   614621 |   414452 |    23568     35 |      819 |      718
969.75/970.10	c  969s |      18 |   615977 |   415452 |    23568     35 |      819 |      718
971.75/972.17	c  971s |      18 |   617806 |   416652 |    23568     35 |      819 |      718
973.74/974.18	c  973s |      18 |   619522 |   417752 |    23568     35 |      819 |      718
975.84/976.21	c  975s |      18 |   620735 |   418652 |    23568     35 |      819 |      718
978.04/978.47	c  978s |      18 |   622041 |   419452 |    23568     36 |      819 |      718
980.24/980.65	c  980s |      18 |   623743 |   420752 |    23568     36 |      819 |      718
982.34/982.72	c  982s |      18 |   625484 |   421952 |    23568     36 |      819 |      718
984.34/984.77	c  984s |      18 |   627000 |   422952 |    23568     36 |      819 |      718
986.45/986.84	c  986s |      18 |   628449 |   424052 |    23568     36 |      819 |      718
988.55/988.91	c  988s |      18 |   630760 |   425452 |    23568     36 |      819 |      718
990.64/991.04	c  990s |      18 |   632934 |   426952 |    23568     36 |      819 |      718
992.64/993.06	c  992s |      18 |   635153 |   428352 |    23568     36 |      819 |      718
994.64/995.07	c  994s |      18 |   637231 |   429652 |    23568     36 |      819 |      718
996.75/997.14	c  996s |      18 |   638738 |   430752 |    23568     36 |      819 |      718
998.85/999.28	c  999s |      18 |   640167 |   431752 |    23568     36 |      819 |      718
1001.04/1001.40	c 1001s |      18 |   641800 |   432852 |    23568     37 |      819 |      718
1003.04/1003.46	c 1003s |      18 |   644260 |   434352 |    23568     37 |      819 |      718
1005.05/1005.47	c 1005s |      18 |   646074 |   435552 |    23568     37 |      819 |      718
1007.14/1007.56	c 1007s |      18 |   647962 |   436952 |    23568     37 |      819 |      718
1009.14/1009.59	c 1009s |      18 |   649651 |   438152 |    23568     37 |      819 |      718
1011.24/1011.69	c 1011s |      18 |   651340 |   439352 |    23568     37 |      819 |      718
1013.44/1013.83	c 1013s |      18 |   653459 |   440752 |    23568     37 |      819 |      718
1015.54/1015.95	c 1015s |      18 |   655160 |   441952 |    25925     37 |      819 |      718
1017.54/1018.00	c 1017s |      18 |   656373 |   442852 |    25925     37 |      819 |      718
1019.64/1020.00	c 1019s |      18 |   657681 |   443752 |    25925     37 |      819 |      718
1021.24/1021.61	c 1021s |      19 |   658692 |   444482 |    25925     37 |      819 |      718
1023.24/1023.69	c 1023s |      19 |   666222 |   446082 |    25925     37 |      819 |      718
1025.44/1025.80	c 1025s |      19 |   668097 |   447382 |    25925     37 |      819 |      718
1027.44/1027.84	c 1027s |      19 |   669371 |   448382 |    25925     37 |      819 |      718
1029.64/1030.02	c 1029s |      19 |   670491 |   449282 |    25925     38 |      819 |      718
1031.74/1032.13	c 1031s |      19 |   672015 |   450482 |    25925     38 |      819 |      718
1033.84/1034.25	c 1033s |      19 |   674743 |   451882 |    25925     38 |      819 |      718
1035.85/1036.30	c 1036s |      19 |   676606 |   453282 |    25925     38 |      819 |      718
1038.05/1038.41	c 1038s |      19 |   678068 |   454482 |    25925     38 |      819 |      718
1040.14/1040.56	c 1040s |      19 |   679200 |   455482 |    25925     38 |      819 |      718
1042.44/1042.81	c 1042s |      19 |   680364 |   456482 |    25925     38 |      819 |      718
1044.54/1044.97	c 1044s |      19 |   681825 |   457582 |    25925     38 |      819 |      718
1046.64/1047.02	c 1046s |      19 |   683103 |   458582 |    25925     38 |      819 |      718
1048.64/1049.06	c 1048s |      19 |   684384 |   459582 |    25925     38 |      819 |      718
1050.84/1051.25	c 1050s |      19 |   685342 |   460382 |    25925     38 |      819 |      718
1052.84/1053.26	c 1053s |      19 |   686380 |   461182 |    25925     38 |      819 |      718
1055.04/1055.40	c 1055s |      19 |   687305 |   461982 |    25925     38 |      819 |      718
1057.13/1057.57	c 1057s |      19 |   688236 |   462782 |    25925     38 |      819 |      718
1059.43/1059.82	c 1059s |      19 |   689006 |   463482 |    25925     39 |      819 |      718
1061.43/1061.89	c 1061s |      19 |   690043 |   464382 |    25925     39 |      819 |      718
1063.53/1063.97	c 1063s |      19 |   690955 |   465182 |    25925     39 |      819 |      718
1065.83/1066.21	c 1065s |      19 |   691865 |   465982 |    25925     39 |      819 |      718
1067.93/1068.31	c 1068s |      19 |   692911 |   466782 |    25925     39 |      819 |      718
1070.13/1070.56	c 1070s |      19 |   693809 |   467582 |    25925     39 |      819 |      718
1072.33/1072.76	c 1072s |      19 |   694717 |   468382 |    25925     39 |      819 |      718
1074.44/1074.86	c 1074s |      19 |   695609 |   469182 |    25925     39 |      819 |      718
1076.54/1076.92	c 1076s |      19 |   696422 |   469882 |    25925     39 |      819 |      718
1078.53/1078.97	c 1078s |      19 |   697235 |   470582 |    25925     39 |      819 |      718
1080.83/1081.25	c 1080s |      19 |   698169 |   471382 |    25925     39 |      819 |      718
1082.83/1083.30	c 1083s |      19 |   699002 |   472082 |    25925     39 |      819 |      718
1085.23/1085.61	c 1085s |      19 |   699993 |   472882 |    25925     39 |      819 |      718
1087.33/1087.72	c 1087s |      19 |   700900 |   473582 |    25925     39 |      819 |      718
1089.43/1089.89	c 1089s |      19 |   701887 |   474382 |    25925     39 |      819 |      718
1091.73/1092.16	c 1091s |      19 |   702840 |   475182 |    25925     39 |      819 |      718
1093.93/1094.34	c 1094s |      19 |   703644 |   475882 |    25925     39 |      819 |      718
1096.23/1096.64	c 1096s |      19 |   704439 |   476582 |    25925     39 |      819 |      718
1098.33/1098.74	c 1098s |      19 |   705114 |   477182 |    25925     39 |      819 |      718
1100.63/1101.02	c 1100s |      19 |   705902 |   477882 |    25925     39 |      819 |      718
1102.73/1103.18	c 1102s |      19 |   706587 |   478482 |    25925     40 |      819 |      718
1104.93/1105.32	c 1105s |      19 |   707611 |   479382 |    25925     40 |      819 |      718
1107.13/1107.54	c 1107s |      19 |   708703 |   480282 |    25925     40 |      819 |      718
1109.32/1109.76	c 1109s |      19 |   709790 |   481182 |    25925     40 |      819 |      718
1111.42/1111.82	c 1111s |      19 |   710574 |   481882 |    25925     40 |      819 |      718
1113.42/1113.89	c 1113s |      19 |   711416 |   482582 |    25925     40 |      819 |      718
1115.62/1116.09	c 1115s |      19 |   712348 |   483382 |    25925     40 |      819 |      718
1117.72/1118.17	c 1117s |      19 |   713000 |   483982 |    25925     40 |      819 |      718
1120.02/1120.44	c 1120s |      19 |   713808 |   484682 |    25925     40 |      819 |      718
1122.32/1122.76	c 1122s |      19 |   714501 |   485282 |    25925     40 |      819 |      718
1124.52/1124.95	c 1124s |      19 |   715153 |   485882 |    25925     40 |      819 |      718
1126.82/1127.25	c 1126s |      19 |   715967 |   486582 |    25925     40 |      819 |      718
1128.92/1129.33	c 1129s |      19 |   716647 |   487182 |    25925     40 |      819 |      718
1131.02/1131.44	c 1131s |      19 |   717352 |   487782 |    25925     40 |      819 |      718
1133.22/1133.62	c 1133s |      19 |   718038 |   488382 |    25925     40 |      819 |      718
1135.42/1135.85	c 1135s |      19 |   718886 |   489082 |    25925     40 |      819 |      718
1137.52/1137.95	c 1137s |      19 |   719608 |   489682 |    25925     40 |      819 |      718
1139.62/1140.06	c 1139s |      19 |   720333 |   490282 |    25925     40 |      819 |      718
1141.72/1142.14	c 1141s |      19 |   721074 |   490882 |    25925     40 |      819 |      718
1144.02/1144.43	c 1144s |      19 |   721753 |   491482 |    25925     40 |      819 |      718
1146.22/1146.60	c 1146s |      19 |   722422 |   492082 |    25925     40 |      819 |      718
1148.42/1148.89	c 1148s |      19 |   723110 |   492682 |    25925     40 |      819 |      718
1150.72/1151.13	c 1150s |      19 |   723776 |   493282 |    25925     41 |      819 |      718
1152.91/1153.30	c 1153s |      19 |   724820 |   494182 |    25925     41 |      819 |      718
1154.91/1155.39	c 1155s |      19 |   725599 |   494882 |    25925     41 |      819 |      718
1157.11/1157.51	c 1157s |      19 |   726525 |   495682 |    25925     41 |      819 |      718
1159.21/1159.65	c 1159s |      19 |   727456 |   496482 |    25925     41 |      819 |      718
1161.41/1161.86	c 1161s |      19 |   728433 |   497282 |    25925     41 |      819 |      718
1163.71/1164.11	c 1163s |      19 |   729380 |   498082 |    25925     41 |      819 |      718
1165.81/1166.23	c 1165s |      19 |   730363 |   498882 |    25925     41 |      819 |      718
1167.92/1168.37	c 1168s |      19 |   731271 |   499682 |    25925     41 |      819 |      718
1170.12/1170.58	c 1170s |      19 |   732187 |   500482 |    25925     41 |      819 |      718
1172.11/1172.59	c 1172s |      19 |   732940 |   501182 |    25925     41 |      819 |      718
1174.21/1174.67	c 1174s |      19 |   733610 |   501782 |    25925     41 |      819 |      718
1176.41/1176.84	c 1176s |      19 |   734318 |   502382 |    25925     41 |      819 |      718
1178.51/1178.93	c 1178s |      19 |   735042 |   502982 |    25925     41 |      819 |      718
1180.71/1181.17	c 1180s |      19 |   735875 |   503682 |    25925     41 |      819 |      718
1182.91/1183.38	c 1183s |      19 |   736691 |   504382 |    25925     41 |      819 |      718
1185.21/1185.61	c 1185s |      19 |   737484 |   505082 |    25925     41 |      819 |      718
1187.21/1187.69	c 1187s |      19 |   738203 |   505682 |    25925     41 |      819 |      718
1189.31/1189.74	c 1189s |      19 |   738918 |   506282 |    25925     41 |      819 |      718
1191.51/1191.99	c 1191s |      19 |   739591 |   506882 |    25925     41 |      819 |      718
1193.72/1194.13	c 1193s |      19 |   740026 |   507282 |    25925     42 |      819 |      718
1195.91/1196.30	c 1196s |      19 |   740793 |   507982 |    25925     42 |      819 |      718
1198.01/1198.44	c 1198s |      19 |   741722 |   508782 |    25925     42 |      819 |      718
1200.21/1200.68	c 1200s |      19 |   742643 |   509582 |    25925     42 |      819 |      718
1202.51/1202.99	c 1202s |      19 |   743560 |   510382 |    25925     42 |      819 |      718
1204.81/1205.27	c 1205s |      19 |   744390 |   511082 |    25925     42 |      819 |      718
1206.91/1207.34	c 1207s |      19 |   745188 |   511782 |    25925     42 |      819 |      718
1209.21/1209.69	c 1209s |      19 |   745972 |   512482 |    25925     42 |      819 |      718
1211.41/1211.89	c 1211s |      19 |   746783 |   513182 |    25925     42 |      819 |      718
1213.61/1214.07	c 1213s |      19 |   747576 |   513882 |    25925     42 |      819 |      718
1215.91/1216.32	c 1216s |      19 |   748349 |   514582 |    25925     42 |      819 |      718
1218.11/1218.55	c 1218s |      19 |   749262 |   515382 |    25925     42 |      819 |      718
1220.31/1220.78	c 1220s |      19 |   750278 |   516182 |    25925     42 |      819 |      718
1222.51/1222.98	c 1222s |      19 |   751130 |   516882 |    25925     42 |      819 |      718
1224.81/1225.24	c 1224s |      19 |   751940 |   517582 |    25925     42 |      819 |      718
1226.91/1227.30	c 1227s |      19 |   752627 |   518182 |    25925     42 |      819 |      718
1228.91/1229.35	c 1229s |      19 |   753328 |   518782 |    25925     42 |      819 |      718
1231.01/1231.49	c 1231s |      19 |   753989 |   519382 |    25925     42 |      819 |      718
1233.11/1233.59	c 1233s |      19 |   754666 |   519982 |    25925     42 |      819 |      718
1235.21/1235.64	c 1235s |      19 |   755390 |   520582 |    25925     42 |      819 |      718
1237.31/1237.78	c 1237s |      19 |   756085 |   521182 |    25925     42 |      819 |      718
1240.01/1240.47	c 1240s |      19 |   756748 |   521782 |    25925     43 |      819 |      718
1242.31/1242.70	c 1242s |      19 |   757790 |   522682 |    25925     43 |      819 |      718
1244.31/1244.76	c 1244s |      19 |   758776 |   523482 |    25925     43 |      819 |      718
1246.41/1246.87	c 1246s |      19 |   759821 |   524382 |    25925     43 |      819 |      718
1248.51/1248.99	c 1248s |      19 |   760735 |   525182 |    25925     43 |      819 |      718
1250.70/1251.12	c 1250s |      19 |   761627 |   525982 |    25925     43 |      819 |      718
1252.90/1253.32	c 1253s |      19 |   762622 |   526782 |    25925     43 |      819 |      718
1255.00/1255.47	c 1255s |      19 |   763554 |   527582 |    25925     43 |      819 |      718
1257.10/1257.50	c 1257s |      19 |   764369 |   528282 |    25925     43 |      819 |      718
1259.11/1259.55	c 1259s |      19 |   765172 |   528982 |    25925     43 |      819 |      718
1261.31/1261.77	c 1261s |      19 |   765948 |   529682 |    25925     43 |      819 |      718
1263.61/1264.08	c 1263s |      19 |   766772 |   530382 |    25925     43 |      819 |      718
1265.90/1266.35	c 1266s |      19 |   767579 |   531082 |    25925     43 |      819 |      718
1268.30/1268.70	c 1268s |      19 |   768394 |   531782 |    25925     43 |      819 |      718
1270.30/1270.74	c 1270s |      19 |   769079 |   532382 |    25925     43 |      819 |      718
1272.41/1272.82	c 1272s |      19 |   769760 |   532982 |    25925     43 |      819 |      718
1274.70/1275.17	c 1274s |      19 |   770590 |   533682 |    25925     43 |      819 |      718
1276.81/1277.23	c 1276s |      19 |   771295 |   534282 |    25925     43 |      819 |      718
1279.01/1279.49	c 1279s |      19 |   771966 |   534882 |    25925     43 |      819 |      718
1281.11/1281.55	c 1281s |      19 |   772501 |   535382 |    25925     43 |      819 |      718
1283.40/1283.85	c 1283s |      19 |   773181 |   535982 |    25925     43 |      819 |      718
1285.50/1285.96	c 1285s |      19 |   773624 |   536382 |    25925     44 |      819 |      718
1287.60/1288.08	c 1287s |      19 |   774402 |   537082 |    25925     44 |      819 |      718
1289.80/1290.20	c 1289s |      19 |   775192 |   537782 |    25925     44 |      819 |      718
1291.90/1292.32	c 1292s |      19 |   775940 |   538482 |    25925     44 |      819 |      718
1294.10/1294.50	c 1294s |      19 |   776733 |   539182 |    25925     44 |      819 |      718
1296.30/1296.77	c 1296s |      19 |   777542 |   539882 |    25925     44 |      819 |      718
1298.40/1298.81	c 1298s |      19 |   778187 |   540482 |    25925     44 |      819 |      718
1300.50/1300.91	c 1300s |      19 |   778843 |   541082 |    25925     44 |      819 |      718
1302.60/1303.06	c 1302s |      19 |   779509 |   541682 |    25925     44 |      819 |      718
1304.69/1305.10	c 1304s |      19 |   780187 |   542282 |    25925     44 |      819 |      718
1306.69/1307.17	c 1306s |      19 |   781023 |   542982 |    25925     44 |      819 |      718
1308.79/1309.21	c 1308s |      19 |   781879 |   543682 |    25925     44 |      819 |      718
1310.80/1311.27	c 1311s |      19 |   782771 |   544382 |    25925     44 |      819 |      718
1312.89/1313.39	c 1313s |      19 |   783556 |   545082 |    25925     44 |      819 |      718
1315.09/1315.59	c 1315s |      19 |   784245 |   545682 |    25925     44 |      819 |      718
1317.19/1317.60	c 1317s |      19 |   784907 |   546282 |    25925     44 |      819 |      718
1319.19/1319.62	c 1319s |      19 |   785625 |   546882 |    25925     44 |      819 |      718
1321.49/1321.98	c 1321s |      19 |   786362 |   547482 |    25925     44 |      819 |      718
1323.59/1324.09	c 1323s |      19 |   787103 |   548082 |    25925     44 |      819 |      718
1325.79/1326.29	c 1326s |      19 |   787753 |   548682 |    25925     44 |      819 |      718
1328.09/1328.53	c 1328s |      19 |   788419 |   549282 |    25925     44 |      819 |      718
1330.29/1330.74	c 1330s |      19 |   789109 |   549882 |    25925     44 |      819 |      718
1332.49/1332.97	c 1332s |      19 |   789787 |   550482 |    25925     44 |      819 |      718
1334.79/1335.28	c 1335s |      19 |   790341 |   550982 |    25925     45 |      819 |      718
1336.89/1337.33	c 1337s |      19 |   791111 |   551682 |    25925     45 |      819 |      718
1338.89/1339.37	c 1339s |      19 |   791761 |   552282 |    25925     45 |      819 |      718
1341.09/1341.59	c 1341s |      19 |   792683 |   553082 |    25925     45 |      819 |      718
1343.19/1343.66	c 1343s |      19 |   793461 |   553782 |    25925     45 |      819 |      718
1345.29/1345.76	c 1345s |      19 |   794257 |   554482 |    25925     45 |      819 |      718
1347.49/1347.92	c 1347s |      19 |   795031 |   555182 |    25925     45 |      819 |      718
1349.59/1350.08	c 1349s |      19 |   795916 |   555882 |    25925     45 |      819 |      718
1351.79/1352.20	c 1351s |      19 |   796628 |   556482 |    25925     45 |      819 |      718
1353.79/1354.27	c 1354s |      19 |   797467 |   557182 |    25925     45 |      819 |      718
1355.89/1356.33	c 1356s |      19 |   798158 |   557782 |    25925     45 |      819 |      718
1358.19/1358.67	c 1358s |      19 |   798836 |   558382 |    25925     45 |      819 |      718
1360.18/1360.70	c 1360s |      19 |   799511 |   558982 |    25925     45 |      819 |      718
1362.28/1362.73	c 1362s |      19 |   800187 |   559582 |    25925     45 |      819 |      718
1364.28/1364.79	c 1364s |      19 |   800847 |   560182 |    25925     45 |      819 |      718
1366.48/1366.99	c 1366s |      19 |   801506 |   560782 |    25925     45 |      819 |      718
1368.88/1369.35	c 1369s |      19 |   802166 |   561382 |    25925     45 |      819 |      718
1370.98/1371.45	c 1371s |      19 |   802724 |   561882 |    25925     45 |      819 |      718
1373.38/1373.82	c 1373s |      19 |   803465 |   562482 |    25925     45 |      819 |      718
1375.59/1376.07	c 1375s |      19 |   804046 |   562982 |    25925     45 |      819 |      718
1377.69/1378.17	c 1377s |      19 |   804472 |   563382 |    25925     45 |      819 |      718
1379.99/1380.43	c 1380s |      19 |   805021 |   563882 |    25925     45 |      819 |      718
1382.19/1382.61	c 1382s |      19 |   805675 |   564482 |    25925     45 |      819 |      718
1384.19/1384.68	c 1384s |      19 |   806356 |   565082 |    25925     45 |      819 |      718
1386.59/1387.07	c 1386s |      19 |   806904 |   565582 |    25925     46 |      819 |      718
1388.78/1389.25	c 1388s |      19 |   807814 |   566382 |    25925     46 |      819 |      718
1390.98/1391.43	c 1391s |      19 |   808600 |   567082 |    25925     46 |      819 |      718
1393.18/1393.68	c 1393s |      19 |   809374 |   567782 |    25925     46 |      819 |      718
1395.38/1395.88	c 1395s |      19 |   810158 |   568482 |    25925     46 |      819 |      718
1397.69/1398.12	c 1397s |      19 |   810917 |   569182 |    25925     46 |      819 |      718
1399.78/1400.22	c 1399s |      19 |   811575 |   569782 |    25925     46 |      819 |      718
1402.09/1402.52	c 1402s |      19 |   812358 |   570482 |    25925     46 |      819 |      718
1404.18/1404.64	c 1404s |      19 |   813498 |   571182 |    25925     46 |      819 |      718
1406.28/1406.78	c 1406s |      19 |   814971 |   572182 |    25925     46 |      819 |      718
1408.48/1408.94	c 1408s |      19 |   816571 |   573282 |    25925     46 |      819 |      718
1410.58/1411.02	c 1410s |      19 |   817797 |   574182 |    25925     46 |      819 |      718
1412.78/1413.22	c 1412s |      19 |   818681 |   574982 |    25925     46 |      819 |      718
1415.08/1415.50	c 1415s |      19 |   819604 |   575782 |    25925     46 |      819 |      718
1417.08/1417.51	c 1417s |      19 |   820295 |   576382 |    25925     46 |      819 |      718
1419.28/1419.77	c 1419s |      19 |   821066 |   577082 |    25925     46 |      819 |      718
1421.48/1421.98	c 1421s |      19 |   821695 |   577682 |    25925     46 |      819 |      718
1423.78/1424.30	c 1424s |      19 |   822563 |   578382 |    25925     46 |      819 |      718
1426.08/1426.51	c 1426s |      19 |   823246 |   578982 |    25925     46 |      819 |      718
1428.08/1428.57	c 1428s |      19 |   823907 |   579582 |    25925     46 |      819 |      718
1430.68/1431.11	c 1430s |      19 |   824581 |   580182 |    25925     47 |      819 |      718
1432.68/1433.13	c 1432s |      19 |   825575 |   580982 |    25925     47 |      819 |      718
1434.88/1435.33	c 1435s |      19 |   826797 |   581982 |    25925     47 |      819 |      718
1436.98/1437.41	c 1437s |      19 |   827735 |   582782 |    25925     47 |      819 |      718
1438.98/1439.45	c 1439s |      19 |   828811 |   583682 |    25925     47 |      819 |      718
1441.08/1441.58	c 1441s |      19 |   829750 |   584482 |    25925     47 |      819 |      718
1443.27/1443.78	c 1443s |      19 |   830694 |   585282 |    25925     47 |      819 |      718
1445.47/1445.99	c 1445s |      19 |   831592 |   586082 |    25925     47 |      819 |      718
1447.67/1448.17	c 1447s |      19 |   832245 |   586682 |    25925     47 |      819 |      718
1449.97/1450.49	c 1450s |      19 |   833021 |   587382 |    25925     47 |      819 |      718
1452.27/1452.73	c 1452s |      19 |   834284 |   588282 |    25925     47 |      819 |      718
1454.37/1454.84	c 1454s |      19 |   835239 |   589082 |    25925     47 |      819 |      718
1456.37/1456.84	c 1456s |      19 |   836431 |   589882 |    25925     47 |      819 |      718
1458.37/1458.85	c 1458s |      19 |   837298 |   590582 |    25925     47 |      819 |      718
1460.57/1461.02	c 1460s |      19 |   838442 |   591382 |    25925     47 |      819 |      718
1462.77/1463.21	c 1462s |      19 |   840186 |   592282 |    25925     47 |      819 |      718
1464.78/1465.26	c 1465s |      19 |   841088 |   592982 |    25925     47 |      819 |      718
1466.87/1467.36	c 1467s |      19 |   842028 |   593682 |    25925     47 |      819 |      718
1468.97/1469.42	c 1469s |      19 |   843051 |   594482 |    25925     47 |      819 |      718
1470.97/1471.49	c 1471s |      19 |   843772 |   595082 |    25925     48 |      819 |      718
1473.07/1473.58	c 1473s |      19 |   845116 |   596082 |    25925     48 |      819 |      718
1475.17/1475.68	c 1475s |      19 |   846085 |   596882 |    25925     48 |      819 |      718
1477.27/1477.79	c 1477s |      19 |   847181 |   597782 |    25925     48 |      819 |      718
1479.37/1479.80	c 1479s |      19 |   848124 |   598582 |    25925     48 |      819 |      718
1481.47/1481.99	c 1481s |      19 |   849161 |   599482 |    25925     48 |      819 |      718
1483.58/1484.09	c 1483s |      19 |   850081 |   600282 |    25925     48 |      819 |      718
1485.78/1486.22	c 1485s |      19 |   851019 |   601082 |    25925     48 |      819 |      718
1487.77/1488.23	c 1487s |      19 |   851930 |   601882 |    25925     48 |      819 |      718
1489.97/1490.45	c 1490s |      19 |   852855 |   602682 |    25925     48 |      819 |      718
1491.97/1492.47	c 1492s |      19 |   853658 |   603382 |    25925     48 |      819 |      718
1494.17/1494.66	c 1494s |      19 |   854455 |   604082 |    25925     48 |      819 |      718
1496.37/1496.88	c 1496s |      19 |   855221 |   604782 |    25925     48 |      819 |      718
1498.67/1499.10	c 1498s |      19 |   855897 |   605382 |    25925     48 |      819 |      718
1500.87/1501.31	c 1501s |      19 |   856565 |   605982 |    25925     48 |      819 |      718
1502.87/1503.38	c 1503s |      19 |   857263 |   606582 |    25925     48 |      819 |      718
1504.97/1505.50	c 1505s |      19 |   857928 |   607182 |    25925     48 |      819 |      718
1507.26/1507.72	c 1507s |      19 |   858601 |   607782 |    25925     48 |      819 |      718
1509.46/1509.94	c 1509s |      19 |   859293 |   608382 |    25925     48 |      819 |      718
1511.66/1512.16	c 1511s |      19 |   859998 |   608982 |    25925     48 |      819 |      718
1513.76/1514.28	c 1514s |      19 |   860655 |   609582 |    25925     49 |      819 |      718
1516.06/1516.52	c 1516s |      19 |   861589 |   610382 |    25925     49 |      819 |      718
1518.26/1518.71	c 1518s |      19 |   862553 |   611182 |    25925     49 |      819 |      718
1520.46/1520.97	c 1520s |      19 |   863496 |   611982 |    25925     49 |      819 |      718
1522.56/1523.02	c 1522s |      19 |   864350 |   612682 |    25925     49 |      819 |      718
1524.56/1525.05	c 1524s |      19 |   865152 |   613382 |    25925     49 |      819 |      718
1526.66/1527.11	c 1526s |      19 |   865808 |   613982 |    25925     49 |      819 |      718
1528.67/1529.17	c 1528s |      19 |   866487 |   614582 |    25925     49 |      819 |      718
1530.96/1531.45	c 1531s |      19 |   867135 |   615182 |    25925     49 |      819 |      718
1533.46/1533.93	c 1533s |      19 |   867785 |   615782 |    25925     49 |      819 |      718
1535.76/1536.26	c 1536s |      19 |   868453 |   616382 |    25925     49 |      819 |      718
1538.16/1538.62	c 1538s |      19 |   869123 |   616982 |    25925     49 |      819 |      718
1540.36/1540.87	c 1540s |      19 |   869796 |   617582 |    25925     49 |      819 |      718
1542.46/1542.96	c 1542s |      19 |   870491 |   618182 |    25925     49 |      819 |      718
1544.76/1545.26	c 1544s |      19 |   871401 |   618882 |    25925     49 |      819 |      718
1547.06/1547.56	c 1547s |      19 |   872305 |   619582 |    25925     49 |      819 |      718
1549.26/1549.75	c 1549s |      19 |   873025 |   620182 |    25925     49 |      819 |      718
1551.26/1551.76	c 1551s |      19 |   873765 |   620782 |    25925     49 |      819 |      718
1553.56/1554.04	c 1553s |      19 |   874447 |   621382 |    25925     49 |      819 |      718
1555.86/1556.32	c 1556s |      19 |   875114 |   621982 |    25925     49 |      819 |      718
1558.16/1558.64	c 1558s |      19 |   875796 |   622582 |    25925     49 |      819 |      718
1560.46/1560.94	c 1560s |      19 |   876477 |   623182 |    25925     49 |      819 |      718
1562.45/1562.94	c 1562s |      19 |   877052 |   623682 |    25925     49 |      819 |      718
1564.65/1565.16	c 1564s |      19 |   877606 |   624182 |    25925     50 |      819 |      718
1566.85/1567.35	c 1567s |      19 |   878392 |   624882 |    25925     50 |      819 |      718
1569.05/1569.54	c 1569s |      19 |   879031 |   625482 |    25925     50 |      819 |      718
1571.05/1571.55	c 1571s |      19 |   879704 |   626082 |    25925     50 |      819 |      718
1573.15/1573.60	c 1573s |      19 |   880485 |   626782 |    25925     50 |      819 |      718
1575.35/1575.86	c 1575s |      19 |   881273 |   627482 |    25925     50 |      819 |      718
1577.65/1578.18	c 1577s |      19 |   881922 |   628082 |    25925     50 |      819 |      718
1579.75/1580.27	c 1580s |      19 |   882566 |   628682 |    25925     50 |      819 |      718
1582.05/1582.59	c 1582s |      19 |   883368 |   629382 |    25925     50 |      819 |      718
1584.45/1584.91	c 1584s |      19 |   884172 |   630082 |    25925     50 |      819 |      718
1586.45/1586.92	c 1586s |      19 |   884850 |   630682 |    25925     50 |      819 |      718
1588.55/1589.09	c 1588s |      19 |   885822 |   631382 |    25925     50 |      819 |      718
1590.75/1591.21	c 1590s |      19 |   887108 |   632282 |    25925     50 |      819 |      718
1592.75/1593.21	c 1592s |      19 |   888000 |   632982 |    25925     50 |      819 |      718
1594.95/1595.44	c 1595s |      19 |   888989 |   633782 |    25925     50 |      819 |      718
1597.25/1597.73	c 1597s |      19 |   889957 |   634582 |    25925     50 |      819 |      718
1599.55/1600.00	c 1599s |      19 |   890772 |   635282 |    25925     50 |      819 |      718
1601.65/1602.19	c 1601s |      19 |   891626 |   635982 |    25925     50 |      819 |      718
1603.75/1604.22	c 1603s |      19 |   892318 |   636582 |    25925     50 |      819 |      718
1605.85/1606.37	c 1606s |      19 |   893152 |   637282 |    25925     50 |      819 |      718
1608.05/1608.52	c 1608s |      19 |   893983 |   637982 |    25925     50 |      819 |      718
1610.15/1610.66	c 1610s |      19 |   894720 |   638582 |    25925     51 |      819 |      718
1612.25/1612.72	c 1612s |      19 |   895680 |   639382 |    25925     51 |      819 |      718
1614.24/1614.73	c 1614s |      19 |   896652 |   640182 |    25925     51 |      819 |      718
1616.44/1617.00	c 1616s |      19 |   897545 |   640982 |    25925     51 |      819 |      718
1618.64/1619.12	c 1618s |      19 |   898326 |   641682 |    25925     51 |      819 |      718
1620.74/1621.24	c 1620s |      19 |   899167 |   642382 |    25925     51 |      819 |      718
1623.04/1623.51	c 1623s |      19 |   900114 |   643182 |    25925     51 |      819 |      718
1625.14/1625.65	c 1625s |      19 |   900968 |   643882 |    25925     51 |      819 |      718
1627.44/1627.98	c 1627s |      19 |   901888 |   644682 |    25925     51 |      819 |      718
1629.54/1630.01	c 1629s |      19 |   902579 |   645282 |    25925     51 |      819 |      718
1631.54/1632.06	c 1631s |      19 |   903251 |   645882 |    25925     51 |      819 |      718
1633.64/1634.16	c 1633s |      19 |   903926 |   646482 |    25925     51 |      819 |      718
1635.94/1636.47	c 1636s |      19 |   904740 |   647182 |    25925     51 |      819 |      718
1638.14/1638.61	c 1638s |      19 |   905417 |   647782 |    25925     51 |      819 |      718
1640.24/1640.73	c 1640s |      19 |   906136 |   648382 |    25925     51 |      819 |      718
1642.64/1643.15	c 1642s |      19 |   906994 |   649082 |    25925     51 |      819 |      718
1644.74/1645.20	c 1644s |      19 |   907787 |   649682 |    25925     51 |      819 |      718
1646.74/1647.29	c 1647s |      19 |   908795 |   650482 |    25925     51 |      819 |      718
1648.94/1649.42	c 1649s |      19 |   909613 |   651182 |    25925     51 |      819 |      718
1651.04/1651.52	c 1651s |      19 |   910473 |   651882 |    25925     51 |      819 |      718
1653.04/1653.59	c 1653s |      19 |   911227 |   652482 |    25925     51 |      819 |      718
1655.14/1655.63	c 1655s |      19 |   911806 |   652982 |    25925     52 |      819 |      718
1657.24/1657.73	c 1657s |      19 |   912713 |   653782 |    25925     52 |      819 |      718
1659.34/1659.86	c 1659s |      19 |   913492 |   654482 |    25925     52 |      819 |      718
1661.44/1661.99	c 1661s |      19 |   914285 |   655182 |    25925     52 |      819 |      718
1663.54/1664.04	c 1663s |      19 |   915092 |   655882 |    25925     52 |      819 |      718
1665.84/1666.35	c 1666s |      19 |   915854 |   656582 |    25925     52 |      819 |      718
1667.94/1668.42	c 1668s |      19 |   916669 |   657282 |    25925     52 |      819 |      718
1670.04/1670.55	c 1670s |      19 |   917472 |   657982 |    25925     52 |      819 |      718
1672.13/1672.65	c 1672s |      19 |   918283 |   658682 |    25925     52 |      819 |      718
1674.23/1674.70	c 1674s |      19 |   918956 |   659282 |    25925     52 |      819 |      718
1676.43/1676.98	c 1676s |      19 |   919733 |   659982 |    25925     52 |      819 |      718
1678.63/1679.19	c 1678s |      19 |   920392 |   660582 |    25925     52 |      819 |      718
1680.73/1681.20	c 1680s |      19 |   920933 |   661082 |    25925     52 |      819 |      718
1682.73/1683.27	c 1683s |      19 |   921502 |   661582 |    25925     52 |      819 |      718
1684.93/1685.45	c 1685s |      19 |   922195 |   662182 |    28518     52 |      819 |      718
1687.13/1687.66	c 1687s |      19 |   922889 |   662782 |    28518     52 |      819 |      718
1689.14/1689.70	c 1689s |      19 |   923438 |   663282 |    28518     52 |      819 |      718
1691.53/1692.01	c 1691s |      19 |   924131 |   663882 |    28518     52 |      819 |      718
1693.83/1694.30	c 1694s |      19 |   924911 |   664582 |    28518     52 |      819 |      718
1696.13/1696.68	c 1696s |      19 |   925594 |   665182 |    28518     52 |      819 |      718
1698.33/1698.84	c 1698s |      19 |   926373 |   665782 |    28518     52 |      819 |      718
1700.34/1700.87	c 1700s |      19 |   926985 |   666282 |    28518     52 |      819 |      718
1702.24/1702.76	c 1702s |      20 |   927618 |   666827 |    28518     52 |      819 |      718
1704.24/1704.78	c 1704s |      20 |   931317 |   668627 |    28518     52 |      819 |      718
1706.54/1707.03	c 1706s |      20 |   932951 |   670127 |    28518     53 |      819 |      718
1708.74/1709.26	c 1709s |      20 |   933928 |   670927 |    28518     53 |      819 |      718
1711.04/1711.59	c 1711s |      20 |   935653 |   672427 |    28518     53 |      819 |      718
1713.24/1713.70	c 1713s |      20 |   936430 |   673127 |    28518     53 |      819 |      718
1715.44/1716.00	c 1715s |      20 |   937194 |   673827 |    28518     53 |      819 |      718
1717.84/1718.35	c 1718s |      20 |   937816 |   674427 |    28518     53 |      819 |      718
1720.13/1720.62	c 1720s |      20 |   938157 |   674727 |    28518     53 |      819 |      718
1722.63/1723.17	c 1722s |      20 |   938372 |   674927 |    28518     53 |      819 |      718
1725.03/1725.58	c 1725s |      20 |   938585 |   675127 |    28518     53 |      819 |      718
1727.13/1727.60	c 1727s |      20 |   939722 |   675927 |    28518     53 |      819 |      718
1729.23/1729.70	c 1729s |      20 |   941317 |   676727 |    28518     53 |      819 |      718
1731.23/1731.72	c 1731s |      20 |   942859 |   678027 |    28518     53 |      819 |      718
1733.33/1733.82	c 1733s |      20 |   944147 |   679227 |    28518     53 |      819 |      718
1735.44/1735.93	c 1735s |      20 |   945476 |   680427 |    28518     53 |      819 |      718
1737.64/1738.11	c 1737s |      20 |   946831 |   681627 |    28518     53 |      819 |      718
1739.74/1740.27	c 1740s |      20 |   948045 |   682727 |    28518     53 |      819 |      718
1741.83/1742.36	c 1742s |      20 |   949147 |   683727 |    28518     53 |      819 |      718
1743.83/1744.39	c 1744s |      20 |   950153 |   684627 |    28518     53 |      819 |      718
1746.03/1746.52	c 1746s |      20 |   951153 |   685527 |    28518     53 |      819 |      718
1748.23/1748.73	c 1748s |      20 |   952014 |   686327 |    28518     54 |      819 |      718
1750.23/1750.76	c 1750s |      20 |   952979 |   687227 |    28518     54 |      819 |      718
1752.33/1752.88	c 1752s |      20 |   953959 |   688127 |    28518     54 |      819 |      718
1754.43/1754.95	c 1754s |      20 |   954833 |   688927 |    28518     54 |      819 |      718
1756.53/1757.09	c 1756s |      20 |   955803 |   689827 |    28518     54 |      819 |      718
1758.62/1759.12	c 1758s |      20 |   956648 |   690627 |    28518     54 |      819 |      718
1760.73/1761.26	c 1761s |      20 |   957391 |   691327 |    28518     54 |      819 |      718
1762.83/1763.34	c 1763s |      20 |   958158 |   692027 |    28518     54 |      819 |      718
1765.03/1765.57	c 1765s |      20 |   958940 |   692727 |    28518     54 |      819 |      718
1767.23/1767.77	c 1767s |      20 |   960092 |   693727 |    28518     54 |      819 |      718
1769.43/1769.96	c 1769s |      20 |   961231 |   694627 |    28518     54 |      819 |      718
1771.73/1772.24	c 1771s |      20 |   961995 |   695327 |    28518     54 |      819 |      718
1773.93/1774.41	c 1774s |      20 |   962903 |   696127 |    28518     54 |      819 |      718
1775.92/1776.49	c 1776s |      20 |   963782 |   696927 |    28518     54 |      819 |      718
1778.02/1778.52	c 1778s |      20 |   964567 |   697627 |    28518     54 |      819 |      718
1780.02/1780.57	c 1780s |      20 |   965492 |   698427 |    28518     54 |      819 |      718
1782.32/1782.84	c 1782s |      20 |   966401 |   699227 |    28518     54 |      819 |      718
1784.52/1785.07	c 1784s |      20 |   967315 |   700027 |    28518     54 |      819 |      718
1786.62/1787.13	c 1786s |      20 |   968081 |   700727 |    28518     54 |      819 |      718
1788.82/1789.34	c 1789s |      20 |   968853 |   701427 |    28518     54 |      819 |      718
1790.92/1791.44	c 1791s |      20 |   969512 |   702027 |    28518     55 |      819 |      718
1793.12/1793.60	c 1793s |      20 |   970518 |   702927 |    28518     55 |      819 |      718
1795.22/1795.70	c 1795s |      20 |   971403 |   703727 |    28518     55 |      819 |      718
1797.42/1797.90	c 1797s |      20 |   972274 |   704527 |    28518     55 |      819 |      718
1799.62/1800.11	c 1799s |      20 |   973024 |   705227 |    28518     55 |      819 |      718

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

pid=23645
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.27 2.32 2.18 3/171 23648
/proc/meminfo: memFree=30346864/32872528 swapFree=1541156/1696500
[pid=23648] ppid=23645 vsize=643516 CPUtime=0 cores=1,3,5,7
/proc/23648/stat : 23648 (toysat) R 23645 23648 23447 0 -1 4202496 2386 0 0 0 0 0 0 0 20 0 4 0 29896448 658960384 2748 33554432000 4194304 16246674 140733558489344 140733558488768 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23648/statm: 161647 2757 441 2943 0 158541 0
[pid=23648/tid=23649] ppid=23645 vsize=661948 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23649/stat : 23649 (toysat) S 23645 23648 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29896448 677834752 2819 33554432000 4194304 16246674 140733558489344 140191487470832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23648/tid=23650] ppid=23645 vsize=666044 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23650/stat : 23650 (toysat) S 23645 23648 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29896448 682029056 2834 33554432000 4194304 16246674 140733558489344 140191476980976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23648/tid=23651] ppid=23645 vsize=670140 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23651/stat : 23651 (toysat) S 23645 23648 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29896448 686223360 2850 33554432000 4194304 16246674 140733558489344 140191356415152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.27 2.32 2.18 3/171 23648
/proc/meminfo: memFree=30346864/32872528 swapFree=1541156/1696500
[pid=23648] ppid=23645 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/23648/stat : 23648 (toysat) R 23645 23648 23447 0 -1 4202496 28276 0 0 0 5 4 0 0 20 0 4 0 29896448 1249447936 28575 33554432000 4194304 16246674 140733558489344 140733558488656 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23648/statm: 305041 28575 802 2943 0 301935 0
[pid=23648/tid=23649] ppid=23645 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23649/stat : 23649 (toysat) S 23645 23648 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29896448 1249447936 28575 33554432000 4194304 16246674 140733558489344 140191487470832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23648/tid=23650] ppid=23645 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23650/stat : 23650 (toysat) S 23645 23648 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29896448 1249447936 28575 33554432000 4194304 16246674 140733558489344 140191476980976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23648/tid=23651] ppid=23645 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23651/stat : 23651 (toysat) S 23645 23648 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29896448 1249447936 28575 33554432000 4194304 16246674 140733558489344 140191356415152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200521 s]
/proc/loadavg: 2.27 2.32 2.18 3/171 23648
/proc/meminfo: memFree=30346864/32872528 swapFree=1541156/1696500
[pid=23648] ppid=23645 vsize=1301060 CPUtime=0.18 cores=1,3,5,7
/proc/23648/stat : 23648 (toysat) R 23645 23648 23447 0 -1 4202496 48484 0 0 0 11 7 0 0 20 0 4 0 29896448 1332285440 48783 33554432000 4194304 16246674 140733558489344 140733558488656 7204210 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23648/statm: 325265 48783 843 2943 0 322159 0
[pid=23648/tid=23649] ppid=23645 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23649/stat : 23649 (toysat) S 23645 23648 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29896448 1332285440 48783 33554432000 4194304 16246674 140733558489344 140191487470832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23648/tid=23650] ppid=23645 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23650/stat : 23650 (toysat) S 23645 23648 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29896448 1332285440 48783 33554432000 4194304 16246674 140733558489344 140191476980976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23648/tid=23651] ppid=23645 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23651/stat : 23651 (toysat) S 23645 23648 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29896448 1332285440 48783 33554432000 4194304 16246674 140733558489344 140191356415152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1301060

[startup+0.300495 s]
/proc/loadavg: 2.27 2.32 2.18 3/171 23648
/proc/meminfo: memFree=30346864/32872528 swapFree=1541156/1696500
[pid=23648] ppid=23645 vsize=1301060 CPUtime=0.29 cores=1,3,5,7
/proc/23648/stat : 23648 (toysat) R 23645 23648 23447 0 -1 4202496 50328 0 0 0 21 8 0 0 20 0 4 0 29896448 1332285440 50628 33554432000 4194304 16246674 140733558489344 140733558471232 13965592 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23648/statm: 325265 50637 883 2943 0 322159 0
[pid=23648/tid=23649] ppid=23645 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23649/stat : 23649 (toysat) S 23645 23648 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29896448 1332285440 50646 33554432000 4194304 16246674 140733558489344 140191487470832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23648/tid=23650] ppid=23645 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23650/stat : 23650 (toysat) S 23645 23648 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29896448 1332285440 50654 33554432000 4194304 16246674 140733558489344 140191476980976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23648/tid=23651] ppid=23645 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23651/stat : 23651 (toysat) S 23645 23648 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29896448 1332285440 50656 33554432000 4194304 16246674 140733558489344 140191356415152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700407 s]
/proc/loadavg: 2.27 2.32 2.18 3/171 23648
/proc/meminfo: memFree=30346864/32872528 swapFree=1541156/1696500
[pid=23648] ppid=23645 vsize=1301060 CPUtime=0.69 cores=1,3,5,7
/proc/23648/stat : 23648 (toysat) R 23645 23648 23447 0 -1 4202496 103322 0 0 0 52 17 0 0 20 0 4 0 29896448 1332285440 103621 33554432000 4194304 16246674 140733558489344 140733558471232 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23648/statm: 325265 103624 883 2943 0 322159 0
[pid=23648/tid=23649] ppid=23645 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23649/stat : 23649 (toysat) S 23645 23648 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29896448 1332285440 103627 33554432000 4194304 16246674 140733558489344 140191487470832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23648/tid=23650] ppid=23645 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23650/stat : 23650 (toysat) S 23645 23648 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29896448 1332285440 103631 33554432000 4194304 16246674 140733558489344 140191476980976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23648/tid=23651] ppid=23645 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23651/stat : 23651 (toysat) S 23645 23648 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29896448 1332285440 103634 33554432000 4194304 16246674 140733558489344 140191356415152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50036 s]
/proc/loadavg: 2.33 2.33 2.18 3/183 23665
/proc/meminfo: memFree=29154256/32872528 swapFree=1541156/1696500
[pid=23648] ppid=23645 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/23648/stat : 23648 (toysat) R 23645 23648 23447 0 -1 4202496 206538 0 0 0 117 32 0 0 20 0 4 0 29896448 1332285440 206837 33554432000 4194304 16246674 140733558489344 140733558471232 5724032 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23648/statm: 325265 206844 883 2943 0 322159 0
[pid=23648/tid=23649] ppid=23645 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23649/stat : 23649 (toysat) S 23645 23648 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29896448 1332285440 206848 33554432000 4194304 16246674 140733558489344 140191487470832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23648/tid=23650] ppid=23645 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23650/stat : 23650 (toysat) S 23645 23648 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29896448 1332285440 206851 33554432000 4194304 16246674 140733558489344 140191476980976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23648/tid=23651] ppid=23645 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23651/stat : 23651 (toysat) S 23645 23648 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29896448 1332285440 206854 33554432000 4194304 16246674 140733558489344 140191356415152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.1004 s]
/proc/loadavg: 2.33 2.33 2.18 3/183 23665
/proc/meminfo: memFree=28189908/32872528 swapFree=1541156/1696500
[pid=23648] ppid=23645 vsize=1312324 CPUtime=3.09 cores=1,3,5,7
/proc/23648/stat : 23648 (toysat) R 23645 23648 23447 0 -1 4202496 269203 0 0 0 270 39 0 0 20 0 4 0 29896448 1343819776 269502 33554432000 4194304 16246674 140733558489344 140733558471232 5711636 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23648/statm: 328081 269502 889 2943 0 324975 0
[pid=23648/tid=23649] ppid=23645 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23649/stat : 23649 (toysat) S 23645 23648 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29896448 1343819776 269502 33554432000 4194304 16246674 140733558489344 140191487470832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23648/tid=23650] ppid=23645 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23650/stat : 23650 (toysat) S 23645 23648 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29896448 1343819776 269502 33554432000 4194304 16246674 140733558489344 140191476980976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23648/tid=23651] ppid=23645 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23651/stat : 23651 (toysat) S 23645 23648 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29896448 1343819776 269502 33554432000 4194304 16246674 140733558489344 140191356415152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.3004 s]
/proc/loadavg: 2.30 2.33 2.18 3/183 23665
/proc/meminfo: memFree=28189044/32872528 swapFree=1541156/1696500
[pid=23648] ppid=23645 vsize=1312324 CPUtime=6.29 cores=1,3,5,7
/proc/23648/stat : 23648 (toysat) R 23645 23648 23447 0 -1 4202496 269268 0 0 0 590 39 0 0 20 0 4 0 29896448 1343819776 269567 33554432000 4194304 16246674 140733558489344 140733558471232 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23648/statm: 328081 269567 889 2943 0 324975 0
[pid=23648/tid=23649] ppid=23645 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23649/stat : 23649 (toysat) S 23645 23648 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29896448 1343819776 269567 33554432000 4194304 16246674 140733558489344 140191487470832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23648/tid=23650] ppid=23645 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23650/stat : 23650 (toysat) S 23645 23648 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29896448 1343819776 269567 33554432000 4194304 16246674 140733558489344 140191476980976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23648/tid=23651] ppid=23645 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23651/stat : 23651 (toysat) S 23645 23648 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29896448 1343819776 269567 33554432000 4194304 16246674 140733558489344 140191356415152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.36 2.34 2.19 3/183 23665
/proc/meminfo: memFree=28188528/32872528 swapFree=1541156/1696500
[pid=23648] ppid=23645 vsize=1312324 CPUtime=12.69 cores=1,3,5,7
/proc/23648/stat : 23648 (toysat) R 23645 23648 23447 0 -1 4202496 269268 0 0 0 1230 39 0 0 20 0 4 0 29896448 1343819776 269567 33554432000 4194304 16246674 140733558489344 140733558471232 12483230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23648/statm: 328081 269567 889 2943 0 324975 0
[pid=23648/tid=23649] ppid=23645 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23649/stat : 23649 (toysat) S 23645 23648 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29896448 1343819776 269567 33554432000 4194304 16246674 140733558489344 140191487470832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23648/tid=23650] ppid=23645 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23650/stat : 23650 (toysat) S 23645 23648 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29896448 1343819776 269567 33554432000 4194304 16246674 140733558489344 140191476980976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23648/tid=23651] ppid=23645 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23651/stat : 23651 (toysat) S 23645 23648 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29896448 1343819776 269567 33554432000 4194304 16246674 140733558489344 140191356415152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.38 2.34 2.19 3/183 23665
/proc/meminfo: memFree=28189360/32872528 swapFree=1541156/1696500
[pid=23648] ppid=23645 vsize=1312324 CPUtime=25.48 cores=1,3,5,7
/proc/23648/stat : 23648 (toysat) R 23645 23648 23447 0 -1 4202496 269272 0 0 0 2509 39 0 0 20 0 4 0 29896448 1343819776 269571 33554432000 4194304 16246674 140733558489344 140733558471232 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23648/statm: 328081 269571 893 2943 0 324975 0
[pid=23648/tid=23649] ppid=23645 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23649/stat : 23649 (toysat) S 23645 23648 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29896448 1343819776 269571 33554432000 4194304 16246674 140733558489344 140191487470832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23648/tid=23650] ppid=23645 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23650/stat : 23650 (toysat) S 23645 23648 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29896448 1343819776 269571 33554432000 4194304 16246674 140733558489344 140191476980976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23648/tid=23651] ppid=23645 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23651/stat : 23651 (toysat) S 23645 23648 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29896448 1343819776 269571 33554432000 4194304 16246674 140733558489344 140191356415152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.23 2.31 2.18 3/183 23665
/proc/meminfo: memFree=28188956/32872528 swapFree=1541156/1696500
[pid=23648] ppid=23645 vsize=1312324 CPUtime=51.08 cores=1,3,5,7
/proc/23648/stat : 23648 (toysat) R 23645 23648 23447 0 -1 4202496 269274 0 0 0 5068 40 0 0 20 0 4 0 29896448 1343819776 269571 33554432000 4194304 16246674 140733558489344 140733558471232 12415827 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23648/statm: 328081 269571 893 2943 0 324975 0
[pid=23648/tid=23649] ppid=23645 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23649/stat : 23649 (toysat) S 23645 23648 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29896448 1343819776 269571 33554432000 4194304 16246674 140733558489344 140191487470832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23648/tid=23650] ppid=23645 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23650/stat : 23650 (toysat) S 23645 23648 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29896448 1343819776 269571 33554432000 4194304 16246674 140733558489344 140191476980976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23648/tid=23651] ppid=23645 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23651/stat : 23651 (toysat) S 23645 23648 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29896448 1343819776 269571 33554432000 4194304 16246674 140733558489344 140191356415152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.3 s]
/proc/loadavg: 2.28 2.32 2.19 4/183 23666
/proc/meminfo: memFree=28177212/32872528 swapFree=1541156/1696500
[pid=23648] ppid=23645 vsize=1320516 CPUtime=102.27 cores=1,3,5,7
/proc/23648/stat : 23648 (toysat) R 23645 23648 23447 0 -1 4202496 271322 0 0 0 10187 40 0 0 20 0 4 0 29896448 1352208384 271605 33554432000 4194304 16246674 140733558489344 140733558471232 5722540 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23648/statm: 330129 271605 893 2943 0 327023 0
[pid=23648/tid=23649] ppid=23645 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23649/stat : 23649 (toysat) S 23645 23648 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29896448 1352208384 271605 33554432000 4194304 16246674 140733558489344 140191487470832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23648/tid=23650] ppid=23645 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23650/stat : 23650 (toysat) S 23645 23648 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29896448 1352208384 271605 33554432000 4194304 16246674 140733558489344 140191476980976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23648/tid=23651] ppid=23645 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23651/stat : 23651 (toysat) S 23645 23648 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29896448 1352208384 271605 33554432000 4194304 16246674 140733558489344 140191356415152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1320516


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

/proc/23648/task/23651/stat : 23651 (toysat) S 23645 23648 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29896448 1368985600 275667 33554432000 4194304 16246674 140733558489344 140191356415152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1336900

[startup+1362.3 s]
/proc/loadavg: 2.25 2.27 2.26 3/183 23697
/proc/meminfo: memFree=28132972/32872528 swapFree=1541156/1696500
[pid=23648] ppid=23645 vsize=1336900 CPUtime=1361.88 cores=1,3,5,7
/proc/23648/stat : 23648 (toysat) R 23645 23648 23447 0 -1 4202496 275724 0 0 0 136138 50 0 0 20 0 4 0 29896448 1368985600 275667 33554432000 4194304 16246674 140733558489344 140733558471232 13950192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23648/statm: 334225 275667 893 2943 0 331119 0
[pid=23648/tid=23649] ppid=23645 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23649/stat : 23649 (toysat) S 23645 23648 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29896448 1368985600 275667 33554432000 4194304 16246674 140733558489344 140191487470832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23648/tid=23650] ppid=23645 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23650/stat : 23650 (toysat) S 23645 23648 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29896448 1368985600 275667 33554432000 4194304 16246674 140733558489344 140191476980976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23648/tid=23651] ppid=23645 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23651/stat : 23651 (toysat) S 23645 23648 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29896448 1368985600 275667 33554432000 4194304 16246674 140733558489344 140191356415152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1336900

[startup+1422.3 s]
/proc/loadavg: 2.22 2.26 2.26 3/183 23698
/proc/meminfo: memFree=28133388/32872528 swapFree=1541156/1696500
[pid=23648] ppid=23645 vsize=1336900 CPUtime=1421.88 cores=1,3,5,7
/proc/23648/stat : 23648 (toysat) R 23645 23648 23447 0 -1 4202496 275724 0 0 0 142137 51 0 0 20 0 4 0 29896448 1368985600 275667 33554432000 4194304 16246674 140733558489344 140733558471232 5717604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23648/statm: 334225 275667 893 2943 0 331119 0
[pid=23648/tid=23649] ppid=23645 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23649/stat : 23649 (toysat) S 23645 23648 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29896448 1368985600 275667 33554432000 4194304 16246674 140733558489344 140191487470832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23648/tid=23650] ppid=23645 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23650/stat : 23650 (toysat) S 23645 23648 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29896448 1368985600 275667 33554432000 4194304 16246674 140733558489344 140191476980976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23648/tid=23651] ppid=23645 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23651/stat : 23651 (toysat) S 23645 23648 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29896448 1368985600 275667 33554432000 4194304 16246674 140733558489344 140191356415152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1336900

[startup+1482.3 s]
/proc/loadavg: 2.36 2.29 2.27 3/184 23703
/proc/meminfo: memFree=28133100/32872528 swapFree=1541156/1696500
[pid=23648] ppid=23645 vsize=1336900 CPUtime=1481.87 cores=1,3,5,7
/proc/23648/stat : 23648 (toysat) R 23645 23648 23447 0 -1 4202496 275724 0 0 0 148136 51 0 0 20 0 4 0 29896448 1368985600 275667 33554432000 4194304 16246674 140733558489344 140733558471232 5711688 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23648/statm: 334225 275667 893 2943 0 331119 0
[pid=23648/tid=23649] ppid=23645 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23649/stat : 23649 (toysat) S 23645 23648 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29896448 1368985600 275667 33554432000 4194304 16246674 140733558489344 140191487470832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23648/tid=23650] ppid=23645 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23650/stat : 23650 (toysat) S 23645 23648 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29896448 1368985600 275667 33554432000 4194304 16246674 140733558489344 140191476980976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23648/tid=23651] ppid=23645 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23651/stat : 23651 (toysat) S 23645 23648 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29896448 1368985600 275667 33554432000 4194304 16246674 140733558489344 140191356415152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1336900

[startup+1542.31 s]
/proc/loadavg: 2.17 2.25 2.26 3/183 23704
/proc/meminfo: memFree=28133472/32872528 swapFree=1541156/1696500
[pid=23648] ppid=23645 vsize=1336900 CPUtime=1541.87 cores=1,3,5,7
/proc/23648/stat : 23648 (toysat) R 23645 23648 23447 0 -1 4202496 275724 0 0 0 154136 51 0 0 20 0 4 0 29896448 1368985600 275667 33554432000 4194304 16246674 140733558489344 140733558471232 5722668 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23648/statm: 334225 275667 893 2943 0 331119 0
[pid=23648/tid=23649] ppid=23645 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23649/stat : 23649 (toysat) S 23645 23648 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29896448 1368985600 275667 33554432000 4194304 16246674 140733558489344 140191487470832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23648/tid=23650] ppid=23645 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23650/stat : 23650 (toysat) S 23645 23648 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29896448 1368985600 275667 33554432000 4194304 16246674 140733558489344 140191476980976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23648/tid=23651] ppid=23645 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23651/stat : 23651 (toysat) S 23645 23648 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29896448 1368985600 275667 33554432000 4194304 16246674 140733558489344 140191356415152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1336900

[startup+1602.3 s]
/proc/loadavg: 2.22 2.25 2.26 3/183 23705
/proc/meminfo: memFree=28133348/32872528 swapFree=1541156/1696500
[pid=23648] ppid=23645 vsize=1336900 CPUtime=1601.85 cores=1,3,5,7
/proc/23648/stat : 23648 (toysat) R 23645 23648 23447 0 -1 4202496 275724 0 0 0 160134 51 0 0 20 0 4 0 29896448 1368985600 275667 33554432000 4194304 16246674 140733558489344 140733558471232 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23648/statm: 334225 275667 893 2943 0 331119 0
[pid=23648/tid=23649] ppid=23645 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23649/stat : 23649 (toysat) S 23645 23648 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29896448 1368985600 275667 33554432000 4194304 16246674 140733558489344 140191487470832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23648/tid=23650] ppid=23645 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23650/stat : 23650 (toysat) S 23645 23648 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29896448 1368985600 275667 33554432000 4194304 16246674 140733558489344 140191476980976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23648/tid=23651] ppid=23645 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23651/stat : 23651 (toysat) S 23645 23648 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29896448 1368985600 275667 33554432000 4194304 16246674 140733558489344 140191356415152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1336900

[startup+1662.3 s]
/proc/loadavg: 2.24 2.24 2.26 4/183 23706
/proc/meminfo: memFree=28133336/32872528 swapFree=1541156/1696500
[pid=23648] ppid=23645 vsize=1336900 CPUtime=1661.84 cores=1,3,5,7
/proc/23648/stat : 23648 (toysat) R 23645 23648 23447 0 -1 4202496 275724 0 0 0 166133 51 0 0 20 0 4 0 29896448 1368985600 275667 33554432000 4194304 16246674 140733558489344 140733558471232 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23648/statm: 334225 275667 893 2943 0 331119 0
[pid=23648/tid=23649] ppid=23645 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23649/stat : 23649 (toysat) S 23645 23648 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29896448 1368985600 275667 33554432000 4194304 16246674 140733558489344 140191487470832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23648/tid=23650] ppid=23645 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23650/stat : 23650 (toysat) S 23645 23648 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29896448 1368985600 275667 33554432000 4194304 16246674 140733558489344 140191476980976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23648/tid=23651] ppid=23645 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23651/stat : 23651 (toysat) S 23645 23648 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29896448 1368985600 275667 33554432000 4194304 16246674 140733558489344 140191356415152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1336900

[startup+1722.3 s]
/proc/loadavg: 2.13 2.21 2.24 3/183 23707
/proc/meminfo: memFree=28133400/32872528 swapFree=1541156/1696500
[pid=23648] ppid=23645 vsize=1336900 CPUtime=1721.83 cores=1,3,5,7
/proc/23648/stat : 23648 (toysat) R 23645 23648 23447 0 -1 4202496 275724 0 0 0 172131 52 0 0 20 0 4 0 29896448 1368985600 275667 33554432000 4194304 16246674 140733558489344 140733558471232 12477807 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23648/statm: 334225 275667 893 2943 0 331119 0
[pid=23648/tid=23649] ppid=23645 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23649/stat : 23649 (toysat) S 23645 23648 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29896448 1368985600 275667 33554432000 4194304 16246674 140733558489344 140191487470832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23648/tid=23650] ppid=23645 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23650/stat : 23650 (toysat) S 23645 23648 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29896448 1368985600 275667 33554432000 4194304 16246674 140733558489344 140191476980976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23648/tid=23651] ppid=23645 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23651/stat : 23651 (toysat) S 23645 23648 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29896448 1368985600 275667 33554432000 4194304 16246674 140733558489344 140191356415152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1336900

[startup+1782.3 s]
/proc/loadavg: 2.22 2.22 2.24 4/183 23709
/proc/meminfo: memFree=28132908/32872528 swapFree=1541156/1696500
[pid=23648] ppid=23645 vsize=1336900 CPUtime=1781.82 cores=1,3,5,7
/proc/23648/stat : 23648 (toysat) R 23645 23648 23447 0 -1 4202496 275724 0 0 0 178130 52 0 0 20 0 4 0 29896448 1368985600 275667 33554432000 4194304 16246674 140733558489344 140733558471232 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23648/statm: 334225 275667 893 2943 0 331119 0
[pid=23648/tid=23649] ppid=23645 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23649/stat : 23649 (toysat) S 23645 23648 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29896448 1368985600 275667 33554432000 4194304 16246674 140733558489344 140191487470832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23648/tid=23650] ppid=23645 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23650/stat : 23650 (toysat) S 23645 23648 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29896448 1368985600 275667 33554432000 4194304 16246674 140733558489344 140191476980976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23648/tid=23651] ppid=23645 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23651/stat : 23651 (toysat) S 23645 23648 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29896448 1368985600 275667 33554432000 4194304 16246674 140733558489344 140191356415152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1336900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.25 2.22 2.24 3/183 23709
/proc/meminfo: memFree=28133284/32872528 swapFree=1541156/1696500
[pid=23648] ppid=23645 vsize=1336900 CPUtime=1800.02 cores=1,3,5,7
/proc/23648/stat : 23648 (toysat) R 23645 23648 23447 0 -1 4202496 275724 0 0 0 179950 52 0 0 20 0 4 0 29896448 1368985600 275667 33554432000 4194304 16246674 140733558489344 140733558471232 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23648/statm: 334225 275667 893 2943 0 331119 0
[pid=23648/tid=23649] ppid=23645 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23649/stat : 23649 (toysat) S 23645 23648 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29896448 1368985600 275667 33554432000 4194304 16246674 140733558489344 140191487470832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23648/tid=23650] ppid=23645 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23650/stat : 23650 (toysat) S 23645 23648 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29896448 1368985600 275667 33554432000 4194304 16246674 140733558489344 140191476980976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23648/tid=23651] ppid=23645 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23651/stat : 23651 (toysat) S 23645 23648 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29896448 1368985600 275667 33554432000 4194304 16246674 140733558489344 140191356415152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1336900

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

[startup+1800.5 s]
/proc/loadavg: 2.25 2.22 2.24 3/183 23709
/proc/meminfo: memFree=28133284/32872528 swapFree=1541156/1696500
[pid=23648] ppid=23645 vsize=1336900 CPUtime=1800.02 cores=1,3,5,7
/proc/23648/stat : 23648 (toysat) R 23645 23648 23447 0 -1 4202496 275724 0 0 0 179950 52 0 0 20 0 4 0 29896448 1368985600 275667 33554432000 4194304 16246674 140733558489344 140733558471232 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23648/statm: 334225 275667 893 2943 0 331119 0
[pid=23648/tid=23649] ppid=23645 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23649/stat : 23649 (toysat) S 23645 23648 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29896448 1368985600 275667 33554432000 4194304 16246674 140733558489344 140191487470832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23648/tid=23650] ppid=23645 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23650/stat : 23650 (toysat) S 23645 23648 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29896448 1368985600 275667 33554432000 4194304 16246674 140733558489344 140191476980976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23648/tid=23651] ppid=23645 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/23648/task/23651/stat : 23651 (toysat) S 23645 23648 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29896448 1368985600 275667 33554432000 4194304 16246674 140733558489344 140191356415152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1336900

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.51
CPU system time (s): 0.527919
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 1336900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.51
system time used= 0.527919
maximum resident set size= 1102668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275724
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= 371
involuntary context switches= 1839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.50731 second user time and 7.07592 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-26 21:16:17
IDJOB=4116949
IDBENCH=109534
IDSOLVER=2542
FILE ID=node125/4116949-1466968577
RUNJOBID= node125-1466966776-23464
PBS_JOBID= 19976375
Free space on /tmp= 71740 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round22-0.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116949-1466968577/watcher-4116949-1466968577 -o /tmp/evaluation-result-4116949-1466968577/solver-4116949-1466968577 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466966776-23464 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4116949-1466968577.opb

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

MD5SUM BENCH= c96210cacdef9eb2768a7c5a4938e22d
RANDOM SEED=2118805213

node125.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.021
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.04
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.021
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
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.021
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30357272 kB
Buffers:           35088 kB
Cached:            80512 kB
SwapCached:         1736 kB
Active:            62456 kB
Inactive:          56796 kB
Active(anon):       5528 kB
Inactive(anon):      448 kB
Active(file):      56928 kB
Inactive(file):    56348 kB
Unevictable:     1696500 kB
Mlocked:         1541156 kB
SwapTotal:      67108856 kB
SwapFree:       67098452 kB
Dirty:             19816 kB
Writeback:             0 kB
AnonPages:       1739332 kB
Mapped:             7116 kB
Shmem:                 0 kB
Slab:             567048 kB
SReclaimable:      11096 kB
SUnreclaim:       555952 kB
KernelStack:        1520 kB
PageTables:         7380 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1793724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    196608 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= 71708 MiB
End job on node125 at 2016-06-26 21:46:18