Trace number 4116029

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.02 1800.51

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size80-round22-8.opb
MD5SUMdd6e01899eb6d13d944da43efb759260
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark206.872
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 constraints8656
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)368
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-26T17:05:59+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-4116029-1466953558.opb"]
0.00/0.01	c use --random-gen="3492931963 1267431293 1454916753 2991132610 4112223944 962817019 2564617208 2343954418 2648502777 1111501900 1480478084 596259025 1023039519 4228812604 1312735607 1739688303 3110143673 2923089945 4095054746 2990077720 1807536732 2119629860 1540795925 2461669926 899700535 872779763 1886787716 46833931 3638858151 319740578 3036092600 2920981322 947377695 1587895346 3784670036 3145077374 260861408 2627939289 1435971193 756798878 3202310116 3833144570 3074566817 2654382158 891054511 97197176 1971706899 2251225946 1921528803 3130884189 1158964218 3042801258 643658119 3583469047 3366343773 2528349301 521840170 3870718084 377133518 3810577639 3973868331 1225934266 1399160278 3404590355 1810955309 2639341969 194158124 1258924463 2871175961 2267739785 3737979154 1743420916 3646616085 3211266647 1974213382 2537565890 1581952316 1878660437 3971682555 3979361357 2283429205 3589888351 1252573591 1287166189 2419851697 3636224414 4154248753 604971015 193317577 2827733186 4161642789 1447235914 3043857517 2723769100 1670408233 1153433592 3636340492 4178373178 3397941500 728608427 4244708795 1572570907 1240156188 3953699604 1601901719 1920027685 4268800623 1599870608 2609987321 1893779948 2830920672 997378900 232388772 3564245108 3254710370 1296363431 1530036127 2436392503 1457291320 2900490316 2822028567 214353525 536751856 1477547550 1184661705 875274529 269951448 253344561 3635262270 344392000 3211369141 877855526 68082548 438356421 4195302159 2628089558 3552906976 2081575365 243279066 2906925989 312495959 594960109 2192078054 500572847 2526152750 990476482 3234378867 1603670208 300737196 466982832 2861800717 3332730466 1888709549 4266471715 271833093 1209665739 377585856 3721626823 2769230277 2445249362 3576168921 2461699353 1552972209 3101575083 2733120321 3438475161 3816334215 297348466 3463589424 3169437824 3097929500 198443568 89750093 4004369515 4220747062 3252904234 441265365 2313037452 3504427557 2052566344 704420459 3531580698 3653374626 3864659100 4280686999 2281910148 1253788023 3559775488 4235720730 2451749457 722333342 2000866282 3092387996 2778228672 56916862 935190090 228744084 2015744872 2387586424 3394585328 2623440233 124917599 454561696 97471330 1687080715 1962690500 2003754436 2010112667 4207002935 233084713 3705141369 745978116 2639528749 3856880469 2911813433 668710184 1493077089 1319548824 1102852719 217066076 2187024238 254741708 2935703068 2605920336 3934303542 2313953274 38871139 837783835 2664307518 1806661248 557842871 1978393760 2429703851 3600546457 142057975 987862433 1592473164 3575023754 3171568603 3526069412 1549517180 132135630 3588444917 40240355 2667181305 3563136386 3401261815 398935029 2470968 2338645825 2367694062 1806523573 789789235 664398783 1853593707 1934548648 255 362436" option to reproduce the execution
0.09/0.11	c #vars 4128
0.09/0.11	c #constraints 8656
0.18/0.25	c Solving starts ...
0.18/0.25	c ============================[ Search Statistics ]============================
0.18/0.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.18/0.25	c       |         |          |          |    Limit     GC | Var      | Constra 
0.18/0.25	c =============================================================================
0.18/0.25	c  0.0s |       0 |        0 |        0 |     4234      0 |      607 |        0
0.29/0.34	c  0.1s |       1 |     1382 |      100 |     4234      0 |      608 |      342
0.39/0.44	c  0.2s |       2 |     3293 |      250 |     4658      0 |      608 |      342
0.59/0.67	c  0.4s |       3 |     5954 |      475 |     5124      0 |      608 |      342
0.99/1.03	c  0.8s |       4 |     7875 |      813 |     5637      0 |      608 |      342
1.49/1.59	c  1.3s |       5 |     9810 |     1320 |     6201      0 |      608 |      342
2.09/2.14	c  1.9s |       6 |    15209 |     2081 |     7505      0 |      608 |      342
2.99/3.05	c  2.8s |       7 |    20635 |     3223 |     8256      0 |      608 |      342
4.29/4.33	c  4.1s |       8 |    30790 |     4936 |     9082      0 |      609 |      342
6.29/6.33	c  6.1s |       8 |    34420 |     6836 |     9082      0 |      609 |      342
7.09/7.19	c  6.9s |       9 |    35455 |     7506 |     9991      0 |      609 |      342
9.19/9.25	c  9.0s |       9 |    41473 |     9506 |     9991      0 |      609 |      342
10.69/10.75	c 10.5s |      10 |    48205 |    11361 |    10991      0 |      609 |      342
12.79/12.84	c 12.6s |      10 |    52622 |    13061 |    10991      0 |      609 |      342
14.89/14.91	c 14.7s |      10 |    55860 |    14761 |    10991      1 |      609 |      342
16.89/16.95	c 16.7s |      10 |    59570 |    16661 |    10991      1 |      609 |      342
17.29/17.35	c 17.1s |      11 |    60389 |    17144 |    12091      1 |      609 |      342
19.29/19.36	c 19.1s |      11 |    62478 |    18344 |    12091      1 |      609 |      342
21.39/21.47	c 21.2s |      11 |    63553 |    19344 |    12091      1 |      609 |      342
23.59/23.61	c 23.4s |      11 |    65296 |    20744 |    12091      1 |      609 |      342
25.59/25.69	c 25.4s |      11 |    66499 |    21844 |    12091      1 |      609 |      342
27.78/27.82	c 27.6s |      11 |    67619 |    22844 |    12091      2 |      609 |      342
29.79/29.82	c 29.6s |      11 |    68748 |    23844 |    12091      2 |      609 |      342
31.89/31.94	c 31.7s |      11 |    69732 |    24744 |    12091      2 |      609 |      342
33.88/33.97	c 33.7s |      11 |    70731 |    25644 |    12091      2 |      609 |      342
34.38/34.41	c 34.2s |      12 |    70924 |    25819 |    13301      2 |      609 |      342
36.39/36.42	c 36.2s |      12 |    77910 |    27719 |    13301      2 |      609 |      342
38.38/38.46	c 38.2s |      12 |    79854 |    29119 |    13301      2 |      609 |      342
40.38/40.47	c 40.2s |      12 |    81985 |    30619 |    13301      2 |      609 |      342
42.48/42.52	c 42.3s |      12 |    83695 |    31819 |    13301      3 |      609 |      342
44.58/44.69	c 44.4s |      12 |    85192 |    33019 |    13301      3 |      609 |      342
46.78/46.81	c 46.6s |      12 |    88015 |    34519 |    13301      3 |      609 |      342
48.78/48.85	c 48.6s |      12 |    89529 |    35619 |    13301      3 |      609 |      342
50.88/50.90	c 50.6s |      12 |    90679 |    36519 |    13301      3 |      609 |      342
52.98/53.01	c 52.8s |      12 |    91619 |    37319 |    13301      3 |      609 |      342
55.09/55.15	c 54.9s |      12 |    92568 |    38119 |    13301      3 |      609 |      342
56.88/56.97	c 56.7s |      13 |    93529 |    38832 |    14632      3 |      609 |      342
58.88/58.97	c 58.7s |      13 |    97646 |    40532 |    14632      4 |      609 |      342
60.98/61.00	c 60.7s |      13 |    99839 |    42132 |    14632      4 |      609 |      342
62.98/63.05	c 62.8s |      13 |   101860 |    43732 |    14632      4 |      609 |      342
64.99/65.07	c 64.8s |      13 |   103247 |    44932 |    14632      4 |      609 |      342
67.09/67.12	c 66.9s |      13 |   104735 |    46132 |    14632      4 |      609 |      342
69.08/69.17	c 68.9s |      13 |   106138 |    47332 |    14632      4 |      609 |      342
71.18/71.23	c 71.0s |      13 |   107453 |    48432 |    14632      4 |      609 |      342
73.28/73.33	c 73.1s |      13 |   108542 |    49332 |    14632      5 |      609 |      342
75.38/75.45	c 75.2s |      13 |   110267 |    50532 |    14632      5 |      609 |      342
77.38/77.46	c 77.2s |      13 |   111921 |    51532 |    14632      5 |      609 |      342
79.48/79.54	c 79.3s |      13 |   114101 |    52832 |    14632      5 |      609 |      342
81.58/81.67	c 81.4s |      13 |   115443 |    53932 |    14632      5 |      609 |      342
83.78/83.80	c 83.5s |      13 |   116621 |    54932 |    14632      5 |      609 |      342
85.79/85.83	c 85.6s |      13 |   117627 |    55832 |    14632      5 |      609 |      342
87.99/88.02	c 87.8s |      13 |   118650 |    56732 |    14632      5 |      609 |      342
90.08/90.21	c 90.0s |      13 |   119669 |    57632 |    14632      5 |      609 |      342
92.08/92.11	c 91.9s |      14 |   120470 |    58352 |    16096      6 |      609 |      342
94.08/94.16	c 93.9s |      14 |   125630 |    59852 |    16096      6 |      609 |      342
96.18/96.26	c 96.0s |      14 |   127331 |    61152 |    16096      6 |      609 |      342
98.27/98.36	c 98.1s |      14 |   128542 |    62152 |    16096      6 |      609 |      342
100.27/100.38	c  100s |      14 |   129763 |    63152 |    16096      6 |      609 |      342
102.47/102.58	c  102s |      14 |   130911 |    64152 |    16096      6 |      609 |      342
104.67/104.79	c  104s |      14 |   131890 |    65052 |    16096      6 |      609 |      342
106.78/106.84	c  106s |      14 |   132778 |    65852 |    16096      6 |      609 |      342
108.98/109.01	c  108s |      14 |   133776 |    66752 |    16096      6 |      609 |      342
111.08/111.14	c  110s |      14 |   134644 |    67552 |    16096      6 |      609 |      342
113.17/113.29	c  113s |      14 |   135421 |    68252 |    16096      6 |      609 |      342
115.37/115.50	c  115s |      14 |   136225 |    68952 |    16096      7 |      609 |      342
117.68/117.73	c  117s |      14 |   137239 |    69852 |    16096      7 |      609 |      342
119.88/119.99	c  119s |      14 |   138121 |    70652 |    16096      7 |      609 |      342
122.08/122.13	c  121s |      14 |   138911 |    71352 |    16096      7 |      609 |      342
124.28/124.31	c  124s |      14 |   139649 |    72052 |    16096      7 |      609 |      342
126.37/126.50	c  126s |      14 |   140433 |    72752 |    16096      7 |      609 |      342
128.57/128.61	c  128s |      14 |   141231 |    73452 |    16096      7 |      609 |      342
130.57/130.62	c  130s |      14 |   142114 |    74152 |    16096      7 |      609 |      342
132.67/132.74	c  132s |      14 |   142784 |    74752 |    16096      7 |      609 |      342
135.07/135.15	c  134s |      14 |   143571 |    75452 |    16096      7 |      609 |      342
137.37/137.40	c  137s |      14 |   144249 |    76052 |    16096      7 |      609 |      342
139.37/139.46	c  139s |      14 |   144911 |    76652 |    16096      7 |      609 |      342
141.47/141.50	c  141s |      14 |   145583 |    77252 |    16096      7 |      609 |      342
143.47/143.58	c  143s |      14 |   146293 |    77852 |    16096      7 |      609 |      342
145.67/145.74	c  145s |      14 |   147163 |    78552 |    16096      8 |      609 |      342
147.77/147.83	c  147s |      14 |   148233 |    79452 |    16096      8 |      609 |      342
149.87/149.92	c  149s |      14 |   149347 |    80352 |    16096      8 |      609 |      342
151.96/152.02	c  151s |      14 |   150497 |    81252 |    16096      8 |      609 |      342
154.07/154.15	c  153s |      14 |   151536 |    82152 |    16096      8 |      609 |      342
156.17/156.28	c  156s |      14 |   152600 |    83052 |    16096      8 |      609 |      342
158.16/158.28	c  158s |      14 |   153410 |    83752 |    16096      8 |      609 |      342
160.26/160.33	c  160s |      14 |   154212 |    84452 |    16096      8 |      609 |      342
162.56/162.62	c  162s |      14 |   154975 |    85152 |    16096      8 |      609 |      342
164.66/164.72	c  164s |      14 |   155753 |    85852 |    16096      8 |      609 |      342
166.76/166.84	c  166s |      14 |   156714 |    86652 |    16096      8 |      609 |      342
168.96/169.07	c  168s |      14 |   157668 |    87452 |    17706      8 |      609 |      342
169.56/169.64	c  169s |      15 |   157857 |    87632 |    17706      8 |      609 |      342
171.57/171.65	c  171s |      15 |   170006 |    89932 |    17706      9 |      609 |      342
173.56/173.66	c  173s |      15 |   178012 |    92332 |    17706      9 |      609 |      342
175.56/175.69	c  175s |      15 |   184352 |    94132 |    17706      9 |      609 |      342
177.66/177.77	c  177s |      15 |   187756 |    95832 |    17706      9 |      609 |      342
179.76/179.81	c  179s |      15 |   191601 |    97732 |    17706      9 |      609 |      342
181.86/181.91	c  181s |      15 |   193047 |    99032 |    17706     10 |      609 |      342
183.86/183.91	c  183s |      15 |   194507 |   100332 |    17706     10 |      609 |      342
185.87/185.93	c  185s |      15 |   195812 |   101532 |    17706     10 |      609 |      342
188.07/188.12	c  187s |      15 |   197084 |   102732 |    17706     10 |      609 |      342
190.06/190.13	c  189s |      15 |   198271 |   103832 |    17706     10 |      609 |      342
192.15/192.21	c  191s |      15 |   199490 |   104932 |    17706     10 |      609 |      342
194.35/194.43	c  194s |      15 |   200562 |   105932 |    17706     10 |      609 |      342
196.45/196.50	c  196s |      15 |   201537 |   106832 |    17706     10 |      609 |      342
198.45/198.58	c  198s |      15 |   202503 |   107732 |    17706     10 |      609 |      342
200.45/200.59	c  200s |      15 |   203390 |   108532 |    17706     10 |      609 |      342
202.55/202.63	c  202s |      15 |   204257 |   109332 |    17706     11 |      609 |      342
204.56/204.67	c  204s |      15 |   206046 |   110532 |    17706     11 |      609 |      342
206.65/206.70	c  206s |      15 |   208166 |   111932 |    17706     11 |      609 |      342
208.65/208.76	c  208s |      15 |   210056 |   113132 |    17706     11 |      609 |      342
210.85/210.90	c  210s |      15 |   211860 |   114632 |    17706     11 |      609 |      342
212.95/213.09	c  212s |      15 |   213267 |   115832 |    17706     11 |      609 |      342
214.95/215.09	c  214s |      15 |   214306 |   116732 |    17706     11 |      609 |      342
217.15/217.26	c  217s |      15 |   215332 |   117632 |    17706     11 |      609 |      342
219.35/219.41	c  219s |      15 |   216353 |   118532 |    17706     11 |      609 |      342
221.35/221.48	c  221s |      15 |   217625 |   119532 |    17706     11 |      609 |      342
223.55/223.63	c  223s |      15 |   218558 |   120332 |    17706     12 |      609 |      342
225.56/225.67	c  225s |      15 |   219489 |   121132 |    17706     12 |      609 |      342
227.76/227.81	c  227s |      15 |   220521 |   122032 |    17706     12 |      609 |      342
229.86/229.98	c  229s |      15 |   221607 |   122932 |    17706     12 |      609 |      342
232.16/232.24	c  231s |      15 |   222522 |   123732 |    17706     12 |      609 |      342
234.15/234.28	c  234s |      15 |   223307 |   124432 |    17706     12 |      609 |      342
236.35/236.45	c  236s |      15 |   224092 |   125132 |    17706     12 |      609 |      342
238.55/238.68	c  238s |      15 |   224862 |   125832 |    17706     12 |      609 |      342
240.66/240.80	c  240s |      15 |   225536 |   126432 |    17706     12 |      609 |      342
242.96/243.06	c  242s |      15 |   226400 |   127132 |    17706     12 |      609 |      342
245.27/245.32	c  245s |      15 |   227183 |   127832 |    17706     12 |      609 |      342
247.57/247.62	c  247s |      15 |   227962 |   128532 |    17706     12 |      609 |      342
249.77/249.82	c  249s |      15 |   228620 |   129132 |    17706     12 |      609 |      342
251.86/251.93	c  251s |      15 |   229254 |   129732 |    17706     12 |      609 |      342
254.06/254.16	c  253s |      15 |   229832 |   130232 |    17706     13 |      609 |      342
256.36/256.43	c  256s |      15 |   230722 |   131032 |    19477     13 |      609 |      342
257.95/258.07	c  257s |      16 |   231298 |   131552 |    19477     13 |      609 |      342
259.95/260.07	c  259s |      16 |   239581 |   133852 |    19477     13 |      609 |      342
261.95/262.07	c  261s |      16 |   241580 |   135352 |    19477     13 |      609 |      342
263.96/264.10	c  263s |      16 |   243346 |   136752 |    19477     13 |      609 |      342
266.05/266.16	c  265s |      16 |   247154 |   138452 |    19477     13 |      609 |      342
268.15/268.23	c  267s |      16 |   250696 |   140052 |    19477     13 |      609 |      342
270.24/270.36	c  270s |      16 |   252851 |   141452 |    19477     13 |      609 |      342
272.64/272.74	c  272s |      16 |   254065 |   142452 |    19477     14 |      609 |      342
274.64/274.75	c  274s |      16 |   255648 |   143552 |    19477     14 |      609 |      342
276.84/276.99	c  276s |      16 |   257003 |   144552 |    19477     14 |      609 |      342
279.04/279.13	c  278s |      16 |   258165 |   145452 |    19477     14 |      609 |      342
281.04/281.13	c  280s |      16 |   259135 |   146252 |    19477     14 |      609 |      342
283.24/283.30	c  283s |      16 |   260112 |   147052 |    19477     14 |      609 |      342
285.44/285.52	c  285s |      16 |   260903 |   147752 |    19477     14 |      609 |      342
287.44/287.55	c  287s |      16 |   261756 |   148452 |    19477     14 |      609 |      342
289.54/289.62	c  289s |      16 |   262606 |   149152 |    19477     14 |      609 |      342
291.64/291.78	c  291s |      16 |   263277 |   149752 |    19477     14 |      609 |      342
293.84/293.97	c  293s |      16 |   263949 |   150352 |    19477     14 |      609 |      342
295.95/296.08	c  295s |      16 |   264759 |   151052 |    19477     14 |      609 |      342
298.24/298.34	c  298s |      16 |   265573 |   151752 |    19477     14 |      609 |      342
300.64/300.70	c  300s |      16 |   266220 |   152352 |    19477     14 |      609 |      342
302.84/302.96	c  302s |      16 |   266884 |   152952 |    19477     14 |      609 |      342
304.94/305.00	c  304s |      16 |   267688 |   153652 |    19477     14 |      609 |      342
306.95/307.04	c  306s |      16 |   268237 |   154152 |    19477     15 |      609 |      342
309.15/309.21	c  308s |      16 |   269171 |   154952 |    19477     15 |      609 |      342
311.25/311.34	c  311s |      16 |   270126 |   155752 |    19477     15 |      609 |      342
313.34/313.41	c  313s |      16 |   271053 |   156552 |    19477     15 |      609 |      342
315.44/315.55	c  315s |      16 |   271844 |   157252 |    19477     15 |      609 |      342
317.85/317.93	c  317s |      16 |   272726 |   158052 |    19477     15 |      609 |      342
319.84/319.95	c  319s |      16 |   273407 |   158652 |    19477     15 |      609 |      342
321.94/322.03	c  321s |      16 |   274262 |   159352 |    19477     15 |      609 |      342
324.03/324.11	c  323s |      16 |   275041 |   160052 |    19477     15 |      609 |      342
326.24/326.34	c  326s |      16 |   275834 |   160752 |    19477     15 |      609 |      342
328.24/328.35	c  328s |      16 |   276538 |   161352 |    19477     15 |      609 |      342
330.54/330.60	c  330s |      16 |   277209 |   161952 |    19477     15 |      609 |      342
332.64/332.78	c  332s |      16 |   277893 |   162552 |    19477     15 |      609 |      342
334.84/334.94	c  334s |      16 |   278601 |   163152 |    19477     15 |      609 |      342
337.14/337.21	c  336s |      16 |   279266 |   163752 |    19477     15 |      609 |      342
339.34/339.43	c  339s |      16 |   279936 |   164352 |    19477     15 |      609 |      342
341.44/341.55	c  341s |      16 |   280514 |   164852 |    19477     15 |      609 |      342
343.54/343.62	c  343s |      16 |   280974 |   165252 |    19477     16 |      609 |      342
345.74/345.86	c  345s |      16 |   281931 |   166052 |    19477     16 |      609 |      342
347.94/348.05	c  347s |      16 |   282754 |   166752 |    19477     16 |      609 |      342
350.14/350.24	c  349s |      16 |   283559 |   167452 |    19477     16 |      609 |      342
352.24/352.35	c  352s |      16 |   284380 |   168152 |    19477     16 |      609 |      342
354.64/354.71	c  354s |      16 |   285048 |   168752 |    19477     16 |      609 |      342
357.14/357.22	c  356s |      16 |   285614 |   169252 |    19477     16 |      609 |      342
359.44/359.57	c  359s |      16 |   286273 |   169852 |    19477     16 |      609 |      342
361.54/361.68	c  361s |      16 |   286823 |   170352 |    19477     16 |      609 |      342
363.83/363.95	c  363s |      16 |   287520 |   170952 |    19477     16 |      609 |      342
366.13/366.23	c  365s |      16 |   288196 |   171552 |    19477     16 |      609 |      342
368.23/368.32	c  368s |      16 |   288762 |   172052 |    19477     16 |      609 |      342
370.23/370.36	c  370s |      16 |   289298 |   172552 |    19477     16 |      609 |      342
372.33/372.48	c  372s |      16 |   289857 |   173052 |    19477     16 |      609 |      342
374.53/374.61	c  374s |      16 |   290409 |   173552 |    19477     16 |      609 |      342
376.83/376.91	c  376s |      16 |   290951 |   174052 |    19477     16 |      609 |      342
379.03/379.16	c  378s |      16 |   291510 |   174552 |    19477     16 |      609 |      342
381.23/381.34	c  381s |      16 |   292069 |   175052 |    19477     16 |      609 |      342
383.33/383.44	c  383s |      16 |   292902 |   175652 |    19477     16 |      609 |      342
385.43/385.50	c  385s |      16 |   293624 |   176252 |    19477     16 |      609 |      342
387.53/387.61	c  387s |      16 |   294188 |   176752 |    19477     17 |      609 |      342
389.52/389.62	c  389s |      16 |   295052 |   177452 |    19477     17 |      609 |      342
391.82/391.95	c  391s |      16 |   295865 |   178152 |    19477     17 |      609 |      342
394.12/394.25	c  393s |      16 |   296547 |   178752 |    19477     17 |      609 |      342
396.52/396.60	c  396s |      16 |   297252 |   179352 |    19477     17 |      609 |      342
398.62/398.72	c  398s |      16 |   297940 |   179952 |    19477     17 |      609 |      342
400.92/401.09	c  400s |      16 |   298619 |   180552 |    19477     17 |      609 |      342
403.41/403.52	c  403s |      16 |   299267 |   181152 |    19477     17 |      609 |      342
405.61/405.76	c  405s |      16 |   299928 |   181752 |    19477     17 |      609 |      342
407.82/407.94	c  407s |      16 |   300487 |   182252 |    19477     17 |      609 |      342
409.82/409.95	c  409s |      16 |   301041 |   182752 |    19477     17 |      609 |      342
412.02/412.13	c  411s |      16 |   301655 |   183252 |    19477     17 |      609 |      342
414.12/414.28	c  414s |      16 |   302331 |   183852 |    19477     17 |      609 |      342
416.32/416.42	c  416s |      16 |   302995 |   184452 |    19477     17 |      609 |      342
418.32/418.44	c  418s |      16 |   303664 |   185052 |    19477     17 |      609 |      342
420.62/420.70	c  420s |      16 |   304347 |   185652 |    19477     17 |      609 |      342
422.82/422.97	c  422s |      16 |   305023 |   186252 |    19477     17 |      609 |      342
425.22/425.38	c  425s |      16 |   305696 |   186852 |    19477     17 |      609 |      342
427.32/427.40	c  427s |      16 |   306248 |   187352 |    19477     17 |      609 |      342
429.52/429.65	c  429s |      16 |   306814 |   187852 |    19477     18 |      609 |      342
431.72/431.88	c  431s |      16 |   307617 |   188552 |    19477     18 |      609 |      342
433.91/434.09	c  433s |      16 |   308398 |   189252 |    19477     18 |      609 |      342
436.01/436.13	c  435s |      16 |   308952 |   189752 |    19477     18 |      609 |      342
438.01/438.17	c  437s |      16 |   309496 |   190252 |    19477     18 |      609 |      342
440.31/440.44	c  440s |      16 |   310038 |   190752 |    19477     18 |      609 |      342
442.41/442.50	c  442s |      16 |   310579 |   191252 |    19477     18 |      609 |      342
444.51/444.65	c  444s |      16 |   311118 |   191752 |    19477     18 |      609 |      342
446.71/446.89	c  446s |      16 |   311674 |   192252 |    19477     18 |      609 |      342
449.11/449.24	c  448s |      16 |   312322 |   192852 |    19477     18 |      609 |      342
451.21/451.39	c  451s |      16 |   312850 |   193352 |    19477     18 |      609 |      342
453.31/453.45	c  453s |      16 |   313389 |   193852 |    19477     18 |      609 |      342
455.51/455.62	c  455s |      16 |   314065 |   194452 |    19477     18 |      609 |      342
457.81/457.99	c  457s |      16 |   314740 |   195052 |    19477     18 |      609 |      342
460.01/460.14	c  459s |      16 |   315428 |   195652 |    19477     18 |      609 |      342
462.31/462.42	c  462s |      16 |   316125 |   196252 |    21425     18 |      609 |      342
464.30/464.44	c  464s |      16 |   316674 |   196752 |    21425     18 |      609 |      342
466.50/466.68	c  466s |      16 |   317364 |   197352 |    21425     18 |      609 |      342
466.80/466.94	c  466s |      17 |   317465 |   197432 |    21425     18 |      609 |      342
468.90/469.02	c  468s |      17 |   320181 |   198732 |    21425     18 |      609 |      342
471.40/471.59	c  471s |      17 |   324310 |   200732 |    21425     19 |      609 |      342
473.50/473.68	c  473s |      17 |   326771 |   202432 |    21425     19 |      609 |      342
475.60/475.72	c  475s |      17 |   329719 |   204132 |    21425     19 |      609 |      342
477.70/477.82	c  477s |      17 |   331400 |   205432 |    21425     19 |      609 |      342
479.80/479.91	c  479s |      17 |   332726 |   206532 |    21425     19 |      609 |      342
481.80/481.98	c  481s |      17 |   334742 |   207932 |    21425     19 |      609 |      342
484.00/484.12	c  483s |      17 |   336177 |   209132 |    21425     19 |      609 |      342
486.10/486.23	c  485s |      17 |   337343 |   210132 |    21425     19 |      609 |      342
488.19/488.32	c  488s |      17 |   339709 |   211332 |    21425     19 |      609 |      342
490.29/490.43	c  490s |      17 |   341003 |   212332 |    21425     19 |      609 |      342
492.38/492.52	c  492s |      17 |   342301 |   213232 |    21425     20 |      609 |      342
494.39/494.59	c  494s |      17 |   343997 |   214332 |    21425     20 |      609 |      342
496.59/496.71	c  496s |      17 |   345504 |   215432 |    21425     20 |      609 |      342
498.69/498.81	c  498s |      17 |   346632 |   216432 |    21425     20 |      609 |      342
500.89/501.05	c  500s |      17 |   347940 |   217432 |    21425     20 |      609 |      342
502.99/503.10	c  502s |      17 |   348935 |   218232 |    21425     20 |      609 |      342
505.19/505.32	c  505s |      17 |   350019 |   219132 |    21425     20 |      609 |      342
507.39/507.53	c  507s |      17 |   350951 |   219932 |    21425     20 |      609 |      342
509.49/509.69	c  509s |      17 |   351797 |   220632 |    21425     20 |      609 |      342
511.69/511.87	c  511s |      17 |   352611 |   221332 |    21425     20 |      609 |      342
513.88/514.01	c  513s |      17 |   353404 |   222032 |    21425     20 |      609 |      342
516.18/516.30	c  516s |      17 |   354187 |   222732 |    21425     20 |      609 |      342
518.38/518.51	c  518s |      17 |   355011 |   223432 |    21425     20 |      609 |      342
520.38/520.54	c  520s |      17 |   355722 |   224032 |    21425     20 |      609 |      342
522.49/522.67	c  522s |      17 |   356566 |   224732 |    21425     20 |      609 |      342
524.59/524.75	c  524s |      17 |   357270 |   225332 |    21425     20 |      609 |      342
526.67/526.83	c  526s |      17 |   357963 |   225932 |    21425     21 |      609 |      342
528.87/529.06	c  528s |      17 |   359045 |   226832 |    21425     21 |      609 |      342
531.07/531.29	c  531s |      17 |   359968 |   227632 |    21425     21 |      609 |      342
533.27/533.42	c  533s |      17 |   361412 |   228532 |    21425     21 |      609 |      342
535.27/535.46	c  535s |      17 |   363438 |   229732 |    21425     21 |      609 |      342
537.37/537.54	c  537s |      17 |   364606 |   230732 |    21425     21 |      609 |      342
539.47/539.66	c  539s |      17 |   365769 |   231732 |    21425     21 |      609 |      342
541.57/541.78	c  541s |      17 |   366893 |   232732 |    21425     21 |      609 |      342
543.67/543.82	c  543s |      17 |   368196 |   233632 |    21425     21 |      609 |      342
545.87/546.00	c  545s |      17 |   369270 |   234532 |    21425     21 |      609 |      342
547.97/548.15	c  547s |      17 |   370383 |   235432 |    21425     21 |      609 |      342
550.17/550.32	c  550s |      17 |   371461 |   236332 |    21425     21 |      609 |      342
552.37/552.56	c  552s |      17 |   372412 |   237132 |    21425     21 |      609 |      342
554.47/554.68	c  554s |      17 |   373275 |   237832 |    21425     22 |      609 |      342
556.77/556.90	c  556s |      17 |   374267 |   238732 |    21425     22 |      609 |      342
558.78/558.92	c  558s |      17 |   376016 |   239632 |    21425     22 |      609 |      342
560.88/561.06	c  560s |      17 |   378016 |   240932 |    21425     22 |      609 |      342
562.97/563.11	c  562s |      17 |   379826 |   242132 |    21425     22 |      609 |      342
564.97/565.11	c  564s |      17 |   381705 |   243232 |    21425     22 |      609 |      342
567.07/567.24	c  566s |      17 |   382587 |   244032 |    21425     22 |      609 |      342
569.27/569.48	c  569s |      17 |   383638 |   244932 |    21425     22 |      609 |      342
571.36/571.56	c  571s |      17 |   384291 |   245532 |    21425     22 |      609 |      342
573.46/573.62	c  573s |      17 |   385193 |   246332 |    21425     22 |      609 |      342
575.46/575.64	c  575s |      17 |   386053 |   247032 |    21425     22 |      609 |      342
577.56/577.77	c  577s |      17 |   387001 |   247832 |    21425     22 |      609 |      342
579.67/579.81	c  579s |      17 |   387839 |   248532 |    21425     22 |      609 |      342
581.66/581.88	c  581s |      17 |   388502 |   249132 |    21425     22 |      609 |      342
583.86/584.01	c  583s |      17 |   389142 |   249732 |    21425     22 |      609 |      342
585.96/586.19	c  585s |      17 |   389804 |   250332 |    21425     23 |      609 |      342
588.06/588.24	c  587s |      17 |   390686 |   251132 |    21425     23 |      609 |      342
590.26/590.42	c  590s |      17 |   391451 |   251832 |    21425     23 |      609 |      342
592.56/592.70	c  592s |      17 |   392196 |   252532 |    21425     23 |      609 |      342
594.76/594.97	c  594s |      17 |   392974 |   253232 |    21425     23 |      609 |      342
596.95/597.11	c  596s |      17 |   393746 |   253932 |    21425     23 |      609 |      342
599.05/599.22	c  598s |      17 |   394409 |   254532 |    21425     23 |      609 |      342
601.16/601.33	c  601s |      17 |   395078 |   255132 |    21425     23 |      609 |      342
603.26/603.47	c  603s |      17 |   395718 |   255732 |    21425     23 |      609 |      342
605.46/605.67	c  605s |      17 |   396518 |   256432 |    21425     23 |      609 |      342
607.66/607.85	c  607s |      17 |   397428 |   257232 |    21425     23 |      609 |      342
609.66/609.89	c  609s |      17 |   398195 |   257932 |    21425     23 |      609 |      342
611.86/612.06	c  611s |      17 |   398991 |   258632 |    21425     23 |      609 |      342
613.95/614.11	c  613s |      17 |   399793 |   259332 |    21425     23 |      609 |      342
616.05/616.26	c  616s |      17 |   400437 |   259932 |    21425     23 |      609 |      342
618.35/618.56	c  618s |      17 |   401083 |   260532 |    21425     23 |      609 |      342
620.45/620.65	c  620s |      17 |   401783 |   261132 |    21425     23 |      609 |      342
622.65/622.82	c  622s |      17 |   402574 |   261832 |    21425     23 |      609 |      342
624.76/624.93	c  624s |      17 |   403152 |   262332 |    21425     24 |      609 |      342
626.74/626.94	c  626s |      17 |   403970 |   263032 |    21425     24 |      609 |      342
629.05/629.21	c  628s |      17 |   404738 |   263732 |    21425     24 |      609 |      342
631.35/631.56	c  631s |      17 |   405510 |   264432 |    21425     24 |      609 |      342
633.55/633.76	c  633s |      17 |   406278 |   265132 |    21425     24 |      609 |      342
635.65/635.89	c  635s |      17 |   407451 |   266032 |    21425     24 |      609 |      342
637.85/638.01	c  637s |      17 |   408696 |   266832 |    21425     24 |      609 |      342
639.84/640.08	c  639s |      17 |   410000 |   267732 |    21425     24 |      609 |      342
642.14/642.30	c  642s |      17 |   411038 |   268532 |    21425     24 |      609 |      342
644.34/644.52	c  644s |      17 |   412193 |   269432 |    21425     24 |      609 |      342
646.44/646.61	c  646s |      17 |   412997 |   270132 |    21425     24 |      609 |      342
648.64/648.88	c  648s |      17 |   413774 |   270832 |    21425     24 |      609 |      342
651.05/651.21	c  650s |      17 |   414406 |   271332 |    21425     24 |      609 |      342
653.25/653.48	c  653s |      17 |   415098 |   271932 |    21425     24 |      609 |      342
655.64/655.81	c  655s |      17 |   415936 |   272632 |    21425     24 |      609 |      342
657.94/658.15	c  657s |      17 |   416770 |   273332 |    21425     24 |      609 |      342
660.04/660.27	c  660s |      17 |   417208 |   273732 |    21425     24 |      609 |      342
662.44/662.65	c  662s |      17 |   417656 |   274132 |    21425     24 |      609 |      342
664.64/664.82	c  664s |      17 |   417990 |   274432 |    21425     25 |      609 |      342
666.83/667.06	c  666s |      17 |   418654 |   275032 |    21425     25 |      609 |      342
668.93/669.15	c  668s |      17 |   419721 |   275832 |    21425     25 |      609 |      342
670.94/671.16	c  670s |      17 |   420773 |   276532 |    21425     25 |      609 |      342
673.14/673.32	c  673s |      17 |   421919 |   277332 |    21425     25 |      609 |      342
675.34/675.53	c  675s |      17 |   423431 |   278432 |    21425     25 |      609 |      342
677.44/677.69	c  677s |      17 |   424635 |   279432 |    21425     25 |      609 |      342
679.53/679.73	c  679s |      17 |   425608 |   280232 |    21425     25 |      609 |      342
681.63/681.81	c  681s |      17 |   426598 |   281032 |    21425     25 |      609 |      342
683.73/683.98	c  683s |      17 |   427741 |   281932 |    21425     25 |      609 |      342
685.83/686.06	c  685s |      17 |   428664 |   282732 |    21425     25 |      609 |      342
687.93/688.14	c  687s |      17 |   429484 |   283432 |    21425     25 |      609 |      342
690.03/690.24	c  689s |      17 |   430304 |   284132 |    21425     25 |      609 |      342
692.33/692.51	c  692s |      17 |   431073 |   284832 |    21425     25 |      609 |      342
694.33/694.58	c  694s |      17 |   431755 |   285432 |    21425     25 |      609 |      342
696.63/696.81	c  696s |      17 |   432398 |   286032 |    21425     25 |      609 |      342
698.83/699.05	c  698s |      17 |   433164 |   286732 |    21425     25 |      609 |      342
700.93/701.10	c  700s |      17 |   433832 |   287332 |    21425     26 |      609 |      342
703.12/703.36	c  703s |      17 |   434706 |   288132 |    21425     26 |      609 |      342
705.22/705.48	c  705s |      17 |   435457 |   288832 |    21425     26 |      609 |      342
707.32/707.55	c  707s |      17 |   436202 |   289532 |    21425     26 |      609 |      342
709.52/709.73	c  709s |      17 |   436970 |   290232 |    21425     26 |      609 |      342
711.53/711.81	c  711s |      17 |   438103 |   291132 |    21425     26 |      609 |      342
713.83/714.06	c  713s |      17 |   439179 |   292032 |    21425     26 |      609 |      342
716.02/716.27	c  716s |      17 |   440105 |   292832 |    21425     26 |      609 |      342
718.22/718.45	c  718s |      17 |   440900 |   293532 |    21425     26 |      609 |      342
720.42/720.67	c  720s |      17 |   441688 |   294232 |    23568     26 |      609 |      342
722.71/722.99	c  722s |      17 |   442455 |   294932 |    23568     26 |      609 |      342
725.01/725.25	c  724s |      17 |   443103 |   295532 |    23568     26 |      609 |      342
727.21/727.49	c  727s |      17 |   443898 |   296232 |    23568     26 |      609 |      342
727.31/727.58	c  727s |      18 |   443919 |   296252 |    23568     26 |      609 |      342
729.41/729.61	c  729s |      18 |   456057 |   298552 |    23568     26 |      609 |      342
731.42/731.69	c  731s |      18 |   459490 |   300352 |    23568     26 |      609 |      342
733.51/733.78	c  733s |      18 |   461435 |   301552 |    23568     27 |      609 |      342
735.60/735.88	c  735s |      18 |   463742 |   302952 |    23568     27 |      609 |      342
737.70/737.99	c  737s |      18 |   465194 |   304052 |    23568     27 |      609 |      342
739.80/740.08	c  739s |      18 |   466732 |   305152 |    23568     27 |      609 |      342
742.00/742.22	c  741s |      18 |   468022 |   306052 |    23568     27 |      609 |      342
744.19/744.40	c  744s |      18 |   469156 |   306952 |    23568     27 |      609 |      342
746.59/746.86	c  746s |      18 |   470190 |   307852 |    23568     27 |      609 |      342
748.79/749.00	c  748s |      18 |   471500 |   308752 |    23568     27 |      609 |      342
750.89/751.14	c  750s |      18 |   472615 |   309652 |    23568     27 |      609 |      342
752.89/753.17	c  752s |      18 |   473598 |   310452 |    23568     27 |      609 |      342
755.19/755.40	c  755s |      18 |   474757 |   311352 |    23568     27 |      609 |      342
757.19/757.49	c  757s |      18 |   475569 |   312052 |    23568     27 |      609 |      342
759.49/759.75	c  759s |      18 |   476338 |   312752 |    23568     27 |      609 |      342
761.79/762.09	c  761s |      18 |   477298 |   313552 |    23568     27 |      609 |      342
763.88/764.11	c  763s |      18 |   478174 |   314252 |    23568     27 |      609 |      342
765.98/766.24	c  765s |      18 |   478898 |   314852 |    23568     28 |      609 |      342
768.18/768.47	c  768s |      18 |   479956 |   315752 |    23568     28 |      609 |      342
770.28/770.58	c  770s |      18 |   480861 |   316452 |    23568     28 |      609 |      342
772.57/772.81	c  772s |      18 |   481664 |   317152 |    23568     28 |      609 |      342
774.67/774.98	c  774s |      18 |   482488 |   317852 |    23568     28 |      609 |      342
776.97/777.22	c  776s |      18 |   483391 |   318552 |    23568     28 |      609 |      342
779.07/779.30	c  779s |      18 |   485529 |   319552 |    23568     28 |      609 |      342
781.07/781.35	c  781s |      18 |   488293 |   320952 |    23568     28 |      609 |      342
783.26/783.53	c  783s |      18 |   489822 |   322152 |    23568     28 |      609 |      342
785.36/785.60	c  785s |      18 |   491185 |   323152 |    23568     28 |      609 |      342
787.47/787.77	c  787s |      18 |   492264 |   324052 |    23568     28 |      609 |      342
789.67/789.97	c  789s |      18 |   493362 |   324952 |    23568     28 |      609 |      342
791.87/792.11	c  791s |      18 |   494206 |   325652 |    23568     28 |      609 |      342
793.96/794.25	c  793s |      18 |   495055 |   326352 |    23568     28 |      609 |      342
795.95/796.26	c  796s |      18 |   495752 |   326952 |    23568     28 |      609 |      342
798.15/798.43	c  798s |      18 |   496437 |   327552 |    23568     28 |      609 |      342
800.15/800.48	c  800s |      18 |   497151 |   328152 |    23568     29 |      609 |      342
802.44/802.76	c  802s |      18 |   498265 |   329052 |    23568     29 |      609 |      342
804.54/804.84	c  804s |      18 |   499068 |   329752 |    23568     29 |      609 |      342
806.75/807.00	c  806s |      18 |   499957 |   330552 |    23568     29 |      609 |      342
808.95/809.22	c  808s |      18 |   500861 |   331352 |    23568     29 |      609 |      342
811.15/811.41	c  811s |      18 |   501648 |   332052 |    23568     29 |      609 |      342
813.24/813.58	c  813s |      18 |   502424 |   332752 |    23568     29 |      609 |      342
815.54/815.81	c  815s |      18 |   503210 |   333452 |    23568     29 |      609 |      342
817.54/817.85	c  817s |      18 |   503893 |   334052 |    23568     29 |      609 |      342
819.64/819.97	c  819s |      18 |   504726 |   334752 |    23568     29 |      609 |      342
821.74/822.03	c  821s |      18 |   505434 |   335352 |    23568     29 |      609 |      342
823.75/824.09	c  823s |      18 |   506103 |   335952 |    23568     29 |      609 |      342
825.95/826.25	c  825s |      18 |   506639 |   336452 |    23568     29 |      609 |      342
828.15/828.44	c  828s |      18 |   507162 |   336952 |    23568     29 |      609 |      342
830.43/830.76	c  830s |      18 |   507834 |   337552 |    23568     29 |      609 |      342
832.54/832.85	c  832s |      18 |   508498 |   338152 |    23568     29 |      609 |      342
834.83/835.19	c  834s |      18 |   509176 |   338752 |    23568     29 |      609 |      342
837.03/837.33	c  837s |      18 |   509877 |   339352 |    23568     29 |      609 |      342
839.04/839.33	c  839s |      18 |   510423 |   339852 |    23568     29 |      609 |      342
841.34/841.63	c  841s |      18 |   511527 |   340652 |    23568     29 |      609 |      342
843.53/843.81	c  843s |      18 |   512162 |   341152 |    23568     30 |      609 |      342
845.52/845.89	c  845s |      18 |   518011 |   342952 |    23568     30 |      609 |      342
847.62/847.95	c  847s |      18 |   519939 |   344452 |    23568     30 |      609 |      342
849.72/850.06	c  849s |      18 |   521474 |   345652 |    23568     30 |      609 |      342
851.82/852.19	c  851s |      18 |   523047 |   346852 |    23568     30 |      609 |      342
854.02/854.33	c  854s |      18 |   524212 |   347852 |    23568     30 |      609 |      342
856.12/856.49	c  856s |      18 |   525453 |   348852 |    23568     30 |      609 |      342
858.12/858.49	c  858s |      18 |   526261 |   349552 |    23568     30 |      609 |      342
860.22/860.58	c  860s |      18 |   527220 |   350352 |    23568     30 |      609 |      342
862.41/862.75	c  862s |      18 |   528029 |   351052 |    23568     30 |      609 |      342
864.71/865.05	c  864s |      18 |   528809 |   351752 |    23568     30 |      609 |      342
866.81/867.11	c  866s |      18 |   529688 |   352452 |    23568     30 |      609 |      342
868.91/869.26	c  869s |      18 |   530634 |   353252 |    23568     30 |      609 |      342
871.21/871.51	c  871s |      18 |   531583 |   354052 |    23568     30 |      609 |      342
873.30/873.61	c  873s |      18 |   532327 |   354652 |    23568     31 |      609 |      342
875.31/875.69	c  875s |      18 |   533502 |   355552 |    23568     31 |      609 |      342
877.40/877.73	c  877s |      18 |   534626 |   356452 |    23568     31 |      609 |      342
879.60/879.96	c  879s |      18 |   535551 |   357252 |    23568     31 |      609 |      342
881.70/882.02	c  881s |      18 |   536521 |   358052 |    23568     31 |      609 |      342
883.69/884.08	c  883s |      18 |   537309 |   358752 |    23568     31 |      609 |      342
885.89/886.20	c  885s |      18 |   538248 |   359552 |    23568     31 |      609 |      342
888.09/888.44	c  888s |      18 |   539227 |   360352 |    23568     31 |      609 |      342
890.19/890.58	c  890s |      18 |   540014 |   361052 |    23568     31 |      609 |      342
892.39/892.72	c  892s |      18 |   540813 |   361752 |    23568     31 |      609 |      342
894.39/894.75	c  894s |      18 |   541701 |   362452 |    23568     31 |      609 |      342
896.39/896.77	c  896s |      18 |   542395 |   363052 |    23568     31 |      609 |      342
898.50/898.87	c  898s |      18 |   543197 |   363752 |    23568     31 |      609 |      342
900.60/900.99	c  900s |      18 |   544088 |   364452 |    23568     31 |      609 |      342
902.68/903.09	c  902s |      18 |   544925 |   365152 |    23568     31 |      609 |      342
904.78/905.14	c  904s |      18 |   545604 |   365752 |    23568     31 |      609 |      342
906.98/907.39	c  907s |      18 |   546265 |   366352 |    23568     31 |      609 |      342
909.08/909.49	c  909s |      18 |   546953 |   366952 |    23568     31 |      609 |      342
911.48/911.82	c  911s |      18 |   547620 |   367552 |    23568     31 |      609 |      342
913.47/913.89	c  913s |      18 |   548168 |   368052 |    23568     32 |      609 |      342
915.77/916.16	c  915s |      18 |   548972 |   368752 |    23568     32 |      609 |      342
918.07/918.41	c  918s |      18 |   549751 |   369452 |    23568     32 |      609 |      342
920.17/920.58	c  920s |      18 |   550395 |   370052 |    23568     32 |      609 |      342
922.27/922.63	c  922s |      18 |   551059 |   370652 |    23568     32 |      609 |      342
924.36/924.73	c  924s |      18 |   551865 |   371352 |    23568     32 |      609 |      342
926.56/926.96	c  926s |      18 |   552535 |   371952 |    23568     32 |      609 |      342
928.56/928.98	c  928s |      18 |   553087 |   372452 |    23568     32 |      609 |      342
930.76/931.10	c  930s |      18 |   553735 |   373052 |    23568     32 |      609 |      342
932.76/933.19	c  932s |      18 |   554414 |   373652 |    23568     32 |      609 |      342
934.96/935.39	c  935s |      18 |   555101 |   374252 |    23568     32 |      609 |      342
937.46/937.80	c  937s |      18 |   555759 |   374852 |    23568     32 |      609 |      342
939.66/940.06	c  939s |      18 |   556446 |   375452 |    23568     32 |      609 |      342
941.95/942.36	c  942s |      18 |   557156 |   376052 |    23568     32 |      609 |      342
944.25/944.64	c  944s |      18 |   557699 |   376552 |    23568     32 |      609 |      342
946.55/946.99	c  946s |      18 |   558232 |   377052 |    23568     32 |      609 |      342
948.96/949.31	c  949s |      18 |   558942 |   377652 |    23568     32 |      609 |      342
951.05/951.41	c  951s |      18 |   559514 |   378152 |    23568     32 |      609 |      342
953.14/953.58	c  953s |      18 |   560054 |   378652 |    23568     32 |      609 |      342
955.24/955.62	c  955s |      18 |   560620 |   379152 |    23568     32 |      609 |      342
957.34/957.76	c  957s |      18 |   561178 |   379652 |    23568     32 |      609 |      342
959.74/960.11	c  959s |      18 |   561711 |   380152 |    23568     32 |      609 |      342
961.74/962.19	c  961s |      18 |   562244 |   380652 |    23568     32 |      609 |      342
964.53/964.97	c  964s |      18 |   562793 |   381152 |    23568     33 |      609 |      342
966.74/967.13	c  966s |      18 |   563434 |   381752 |    23568     33 |      609 |      342
968.85/969.26	c  969s |      18 |   564079 |   382352 |    23568     33 |      609 |      342
970.95/971.34	c  971s |      18 |   564751 |   382952 |    23568     33 |      609 |      342
973.04/973.49	c  973s |      18 |   565487 |   383552 |    23568     33 |      609 |      342
975.14/975.57	c  975s |      18 |   566324 |   384252 |    23568     33 |      609 |      342
977.24/977.64	c  977s |      18 |   567504 |   385152 |    23568     33 |      609 |      342
979.34/979.74	c  979s |      18 |   568324 |   385852 |    23568     33 |      609 |      342
981.53/981.97	c  981s |      18 |   569113 |   386552 |    23568     33 |      609 |      342
983.73/984.12	c  983s |      18 |   569937 |   387252 |    23568     33 |      609 |      342
985.93/986.37	c  986s |      18 |   570782 |   387952 |    23568     33 |      609 |      342
988.13/988.52	c  988s |      18 |   571483 |   388552 |    23568     33 |      609 |      342
990.23/990.63	c  990s |      18 |   572190 |   389152 |    23568     33 |      609 |      342
992.23/992.66	c  992s |      18 |   572891 |   389752 |    23568     33 |      609 |      342
994.53/994.99	c  994s |      18 |   573598 |   390352 |    23568     33 |      609 |      342
996.83/997.28	c  997s |      18 |   574416 |   391052 |    23568     33 |      609 |      342
999.23/999.66	c  999s |      18 |   575115 |   391652 |    23568     33 |      609 |      342
1001.33/1001.76	c 1001s |      18 |   575671 |   392152 |    23568     33 |      609 |      342
1003.53/1003.95	c 1003s |      18 |   576205 |   392652 |    23568     33 |      609 |      342
1005.93/1006.37	c 1006s |      18 |   576877 |   393252 |    23568     33 |      609 |      342
1008.22/1008.61	c 1008s |      18 |   577593 |   393852 |    23568     33 |      609 |      342
1010.72/1011.13	c 1010s |      18 |   578171 |   394352 |    23568     34 |      609 |      342
1012.83/1013.22	c 1012s |      18 |   578959 |   395052 |    23568     34 |      609 |      342
1015.13/1015.55	c 1015s |      18 |   579734 |   395752 |    23568     34 |      609 |      342
1017.24/1017.63	c 1017s |      18 |   580386 |   396352 |    23568     34 |      609 |      342
1019.23/1019.70	c 1019s |      18 |   581062 |   396952 |    23568     34 |      609 |      342
1021.43/1021.85	c 1021s |      18 |   581860 |   397652 |    23568     34 |      609 |      342
1023.53/1023.91	c 1023s |      18 |   582536 |   398252 |    23568     34 |      609 |      342
1025.73/1026.10	c 1025s |      18 |   583190 |   398852 |    23568     34 |      609 |      342
1027.93/1028.32	c 1028s |      18 |   583859 |   399452 |    23568     34 |      609 |      342
1030.03/1030.43	c 1030s |      18 |   584538 |   400052 |    23568     34 |      609 |      342
1032.23/1032.62	c 1032s |      18 |   585226 |   400652 |    23568     34 |      609 |      342
1034.52/1034.90	c 1034s |      18 |   585885 |   401252 |    23568     34 |      609 |      342
1036.82/1037.21	c 1036s |      18 |   586549 |   401852 |    23568     34 |      609 |      342
1039.02/1039.45	c 1039s |      18 |   587232 |   402452 |    23568     34 |      609 |      342
1041.33/1041.75	c 1041s |      18 |   587921 |   403052 |    23568     34 |      609 |      342
1043.63/1044.07	c 1043s |      18 |   588580 |   403652 |    23568     34 |      609 |      342
1046.02/1046.49	c 1046s |      18 |   589255 |   404252 |    23568     34 |      609 |      342
1048.42/1048.85	c 1048s |      18 |   590004 |   404852 |    23568     34 |      609 |      342
1050.72/1051.18	c 1050s |      18 |   590894 |   405552 |    23568     34 |      609 |      342
1052.92/1053.34	c 1053s |      18 |   591605 |   406152 |    23568     34 |      609 |      342
1055.12/1055.59	c 1055s |      18 |   592269 |   406752 |    23568     34 |      609 |      342
1057.22/1057.67	c 1057s |      18 |   593046 |   407352 |    23568     34 |      609 |      342
1059.52/1059.95	c 1059s |      18 |   593635 |   407852 |    23568     35 |      609 |      342
1061.72/1062.15	c 1061s |      18 |   594587 |   408652 |    23568     35 |      609 |      342
1064.02/1064.42	c 1064s |      18 |   595382 |   409352 |    23568     35 |      609 |      342
1066.12/1066.53	c 1066s |      18 |   596064 |   409952 |    23568     35 |      609 |      342
1068.22/1068.62	c 1068s |      18 |   596869 |   410652 |    23568     35 |      609 |      342
1070.32/1070.77	c 1070s |      18 |   597661 |   411352 |    23568     35 |      609 |      342
1072.52/1072.95	c 1072s |      18 |   598324 |   411952 |    23568     35 |      609 |      342
1074.61/1075.08	c 1074s |      18 |   599153 |   412652 |    23568     35 |      609 |      342
1076.71/1077.11	c 1076s |      18 |   599839 |   413252 |    23568     35 |      609 |      342
1078.92/1079.32	c 1079s |      18 |   600641 |   413952 |    23568     35 |      609 |      342
1080.93/1081.35	c 1081s |      18 |   601336 |   414552 |    23568     35 |      609 |      342
1083.23/1083.62	c 1083s |      18 |   602008 |   415152 |    23568     35 |      609 |      342
1085.52/1085.96	c 1085s |      18 |   602705 |   415752 |    23568     35 |      609 |      342
1087.72/1088.12	c 1087s |      18 |   603252 |   416252 |    23568     35 |      609 |      342
1089.83/1090.21	c 1089s |      18 |   603807 |   416752 |    23568     35 |      609 |      342
1091.82/1092.22	c 1091s |      18 |   604347 |   417252 |    23568     35 |      609 |      342
1093.81/1094.26	c 1094s |      18 |   604924 |   417752 |    23568     35 |      609 |      342
1095.91/1096.34	c 1096s |      18 |   605473 |   418252 |    23568     35 |      609 |      342
1098.01/1098.40	c 1098s |      18 |   606021 |   418752 |    23568     35 |      609 |      342
1100.41/1100.82	c 1100s |      18 |   606680 |   419352 |    23568     35 |      609 |      342
1102.71/1103.10	c 1102s |      18 |   607252 |   419852 |    23568     35 |      609 |      342
1105.01/1105.48	c 1105s |      18 |   607964 |   420452 |    23568     35 |      609 |      342
1107.21/1107.61	c 1107s |      18 |   608420 |   420852 |    23568     36 |      609 |      342
1109.31/1109.78	c 1109s |      18 |   609211 |   421552 |    23568     36 |      609 |      342
1111.41/1111.88	c 1111s |      18 |   609873 |   422152 |    23568     36 |      609 |      342
1113.71/1114.11	c 1113s |      18 |   610653 |   422852 |    23568     36 |      609 |      342
1115.71/1116.15	c 1115s |      18 |   611297 |   423452 |    23568     36 |      609 |      342
1117.81/1118.27	c 1118s |      18 |   611966 |   424052 |    23568     36 |      609 |      342
1120.11/1120.54	c 1120s |      18 |   612502 |   424552 |    23568     36 |      609 |      342
1122.21/1122.65	c 1122s |      18 |   613040 |   425052 |    23568     36 |      609 |      342
1124.61/1125.03	c 1124s |      18 |   613676 |   425652 |    23568     36 |      609 |      342
1126.71/1127.11	c 1126s |      18 |   614361 |   426252 |    23568     36 |      609 |      342
1128.81/1129.24	c 1128s |      18 |   615015 |   426852 |    23568     36 |      609 |      342
1130.81/1131.28	c 1131s |      18 |   615567 |   427352 |    23568     36 |      609 |      342
1133.11/1133.57	c 1133s |      18 |   616233 |   427952 |    23568     36 |      609 |      342
1135.21/1135.63	c 1135s |      18 |   616900 |   428552 |    23568     36 |      609 |      342
1137.51/1137.95	c 1137s |      18 |   617578 |   429152 |    23568     36 |      609 |      342
1139.61/1140.08	c 1139s |      18 |   618139 |   429652 |    23568     36 |      609 |      342
1141.71/1142.11	c 1141s |      18 |   618684 |   430152 |    23568     36 |      609 |      342
1143.91/1144.38	c 1144s |      18 |   619382 |   430752 |    23568     36 |      609 |      342
1146.10/1146.58	c 1146s |      18 |   620061 |   431352 |    23568     36 |      609 |      342
1148.30/1148.73	c 1148s |      18 |   620659 |   431852 |    23568     36 |      609 |      342
1150.70/1151.19	c 1150s |      18 |   621341 |   432452 |    23568     36 |      609 |      342
1152.80/1153.25	c 1152s |      18 |   621894 |   432952 |    23568     36 |      609 |      342
1155.10/1155.57	c 1155s |      18 |   622439 |   433452 |    23568     36 |      609 |      342
1157.30/1157.77	c 1157s |      18 |   622981 |   433952 |    23568     36 |      609 |      342
1159.40/1159.84	c 1159s |      18 |   623319 |   434252 |    23568     37 |      609 |      342
1161.40/1161.87	c 1161s |      18 |   623878 |   434752 |    23568     37 |      609 |      342
1163.41/1163.87	c 1163s |      18 |   624408 |   435252 |    23568     37 |      609 |      342
1165.80/1166.20	c 1165s |      18 |   625072 |   435852 |    23568     37 |      609 |      342
1168.21/1168.61	c 1168s |      18 |   625738 |   436452 |    23568     37 |      609 |      342
1170.21/1170.62	c 1170s |      18 |   626291 |   436952 |    23568     37 |      609 |      342
1172.51/1172.99	c 1172s |      18 |   626965 |   437552 |    23568     37 |      609 |      342
1175.01/1175.45	c 1175s |      18 |   627626 |   438152 |    23568     37 |      609 |      342
1177.10/1177.52	c 1177s |      18 |   628164 |   438652 |    23568     37 |      609 |      342
1179.30/1179.75	c 1179s |      18 |   628699 |   439152 |    23568     37 |      609 |      342
1181.60/1182.02	c 1181s |      18 |   629232 |   439652 |    23568     37 |      609 |      342
1184.00/1184.40	c 1184s |      18 |   629778 |   440152 |    23568     37 |      609 |      342
1186.10/1186.58	c 1186s |      18 |   630318 |   440652 |    23568     37 |      609 |      342
1188.40/1188.81	c 1188s |      18 |   630846 |   441152 |    23568     37 |      609 |      342
1190.50/1190.94	c 1190s |      18 |   631555 |   441752 |    25925     37 |      609 |      342
1192.80/1193.24	c 1192s |      18 |   632380 |   442452 |    25925     37 |      609 |      342
1195.00/1195.49	c 1195s |      18 |   633073 |   443052 |    25925     37 |      609 |      342
1197.30/1197.73	c 1197s |      18 |   633754 |   443652 |    25925     37 |      609 |      342
1199.30/1199.75	c 1199s |      18 |   634304 |   444152 |    25925     37 |      609 |      342
1200.70/1201.12	c 1200s |      19 |   634656 |   444482 |    25925     37 |      609 |      342
1202.70/1203.18	c 1202s |      19 |   638997 |   445882 |    25925     37 |      609 |      342
1204.80/1205.24	c 1204s |      19 |   643922 |   447882 |    25925     37 |      609 |      342
1206.90/1207.39	c 1207s |      19 |   645648 |   449382 |    25925     37 |      609 |      342
1209.00/1209.40	c 1209s |      19 |   646598 |   450182 |    25925     38 |      609 |      342
1211.10/1211.51	c 1211s |      19 |   648353 |   451582 |    25925     38 |      609 |      342
1213.10/1213.52	c 1213s |      19 |   649633 |   452682 |    25925     38 |      609 |      342
1215.11/1215.54	c 1215s |      19 |   650940 |   453782 |    25925     38 |      609 |      342
1217.20/1217.65	c 1217s |      19 |   652285 |   454882 |    25925     38 |      609 |      342
1219.20/1219.69	c 1219s |      19 |   653331 |   455782 |    25925     38 |      609 |      342
1221.29/1221.70	c 1221s |      19 |   654239 |   456582 |    25925     38 |      609 |      342
1223.49/1223.92	c 1223s |      19 |   655257 |   457482 |    25925     38 |      609 |      342
1225.69/1226.15	c 1225s |      19 |   656426 |   458482 |    25925     38 |      609 |      342
1227.79/1228.27	c 1228s |      19 |   657307 |   459282 |    25925     38 |      609 |      342
1230.09/1230.50	c 1230s |      19 |   658310 |   460182 |    25925     38 |      609 |      342
1232.09/1232.51	c 1232s |      19 |   659112 |   460882 |    25925     38 |      609 |      342
1234.29/1234.77	c 1234s |      19 |   659885 |   461582 |    25925     38 |      609 |      342
1236.49/1236.95	c 1236s |      19 |   660834 |   462382 |    25925     38 |      609 |      342
1238.79/1239.22	c 1238s |      19 |   661623 |   463082 |    25925     38 |      609 |      342
1240.89/1241.31	c 1241s |      19 |   662437 |   463782 |    25925     38 |      609 |      342
1243.19/1243.60	c 1243s |      19 |   663226 |   464482 |    25925     38 |      609 |      342
1245.39/1245.80	c 1245s |      19 |   663924 |   465082 |    25925     39 |      609 |      342
1247.49/1247.97	c 1247s |      19 |   664703 |   465782 |    25925     39 |      609 |      342
1249.69/1250.19	c 1249s |      19 |   665489 |   466482 |    25925     39 |      609 |      342
1251.89/1252.36	c 1252s |      19 |   666265 |   467182 |    25925     39 |      609 |      342
1254.19/1254.61	c 1254s |      19 |   667052 |   467882 |    25925     39 |      609 |      342
1256.29/1256.79	c 1256s |      19 |   667826 |   468582 |    25925     39 |      609 |      342
1258.59/1259.03	c 1258s |      19 |   668600 |   469282 |    25925     39 |      609 |      342
1260.89/1261.36	c 1261s |      19 |   669402 |   469982 |    25925     39 |      609 |      342
1263.19/1263.65	c 1263s |      19 |   670185 |   470682 |    25925     39 |      609 |      342
1265.38/1265.82	c 1265s |      19 |   670983 |   471382 |    25925     39 |      609 |      342
1267.58/1268.07	c 1267s |      19 |   671775 |   472082 |    25925     39 |      609 |      342
1269.78/1270.23	c 1269s |      19 |   672452 |   472682 |    25925     39 |      609 |      342
1271.78/1272.28	c 1272s |      19 |   673107 |   473282 |    25925     39 |      609 |      342
1274.08/1274.59	c 1274s |      19 |   673756 |   473882 |    25925     39 |      609 |      342
1276.38/1276.85	c 1276s |      19 |   674413 |   474482 |    25925     39 |      609 |      342
1278.48/1278.94	c 1278s |      19 |   675081 |   475082 |    25925     39 |      609 |      342
1280.78/1281.21	c 1280s |      19 |   675766 |   475682 |    25925     39 |      609 |      342
1282.99/1283.48	c 1283s |      19 |   676448 |   476282 |    25925     39 |      609 |      342
1285.39/1285.85	c 1285s |      19 |   677090 |   476882 |    25925     39 |      609 |      342
1287.70/1288.11	c 1287s |      19 |   677736 |   477482 |    25925     39 |      609 |      342
1289.79/1290.26	c 1290s |      19 |   678292 |   477982 |    25925     39 |      609 |      342
1292.20/1292.63	c 1292s |      19 |   678961 |   478582 |    25925     39 |      609 |      342
1294.99/1295.42	c 1295s |      19 |   679543 |   479082 |    25925     40 |      609 |      342
1296.99/1297.49	c 1297s |      19 |   680341 |   479782 |    25925     40 |      609 |      342
1299.29/1299.71	c 1299s |      19 |   681117 |   480482 |    25925     40 |      609 |      342
1301.29/1301.77	c 1301s |      19 |   681785 |   481082 |    25925     40 |      609 |      342
1303.39/1303.80	c 1303s |      19 |   682586 |   481782 |    25925     40 |      609 |      342
1305.59/1306.03	c 1305s |      19 |   683249 |   482382 |    25925     40 |      609 |      342
1307.60/1308.09	c 1307s |      19 |   683920 |   482982 |    25925     40 |      609 |      342
1309.80/1310.22	c 1309s |      19 |   684596 |   483582 |    25925     40 |      609 |      342
1312.09/1312.55	c 1312s |      19 |   685394 |   484282 |    25925     40 |      609 |      342
1314.38/1314.84	c 1314s |      19 |   686178 |   484982 |    25925     40 |      609 |      342
1316.48/1316.99	c 1316s |      19 |   686851 |   485582 |    25925     40 |      609 |      342
1318.68/1319.15	c 1318s |      19 |   687521 |   486182 |    25925     40 |      609 |      342
1320.79/1321.24	c 1320s |      19 |   688198 |   486782 |    25925     40 |      609 |      342
1323.08/1323.54	c 1323s |      19 |   688865 |   487382 |    25925     40 |      609 |      342
1325.48/1325.96	c 1325s |      19 |   689517 |   487982 |    25925     40 |      609 |      342
1327.78/1328.26	c 1328s |      19 |   690163 |   488582 |    25925     40 |      609 |      342
1330.18/1330.60	c 1330s |      19 |   690818 |   489182 |    25925     40 |      609 |      342
1332.48/1332.97	c 1332s |      19 |   691473 |   489782 |    25925     40 |      609 |      342
1334.68/1335.11	c 1334s |      19 |   692009 |   490282 |    25925     40 |      609 |      342
1336.78/1337.25	c 1336s |      19 |   692556 |   490782 |    25925     40 |      609 |      342
1338.98/1339.44	c 1339s |      19 |   693130 |   491282 |    25925     40 |      609 |      342
1341.38/1341.89	c 1341s |      19 |   693814 |   491882 |    25925     40 |      609 |      342
1343.79/1344.30	c 1344s |      19 |   694356 |   492382 |    25925     40 |      609 |      342
1346.18/1346.62	c 1346s |      19 |   694896 |   492882 |    25925     40 |      609 |      342
1348.58/1349.00	c 1348s |      19 |   695425 |   493382 |    25925     40 |      609 |      342
1350.87/1351.36	c 1351s |      19 |   695847 |   493782 |    25925     41 |      609 |      342
1352.87/1353.37	c 1353s |      19 |   696512 |   494382 |    25925     41 |      609 |      342
1354.97/1355.44	c 1355s |      19 |   697145 |   494982 |    25925     41 |      609 |      342
1357.17/1357.61	c 1357s |      19 |   697777 |   495582 |    25925     41 |      609 |      342
1359.37/1359.90	c 1359s |      19 |   698553 |   496282 |    25925     41 |      609 |      342
1361.48/1361.94	c 1361s |      19 |   699336 |   496982 |    25925     41 |      609 |      342
1363.68/1364.18	c 1363s |      19 |   699992 |   497582 |    25925     41 |      609 |      342
1365.88/1366.40	c 1366s |      19 |   700759 |   498282 |    25925     41 |      609 |      342
1367.98/1368.42	c 1368s |      19 |   701436 |   498882 |    25925     41 |      609 |      342
1370.18/1370.64	c 1370s |      19 |   702085 |   499482 |    25925     41 |      609 |      342
1372.48/1372.97	c 1372s |      19 |   702866 |   500182 |    25925     41 |      609 |      342
1374.77/1375.20	c 1374s |      19 |   703532 |   500782 |    25925     41 |      609 |      342
1376.88/1377.33	c 1377s |      19 |   704185 |   501382 |    25925     41 |      609 |      342
1378.87/1379.34	c 1379s |      19 |   704713 |   501882 |    25925     41 |      609 |      342
1381.08/1381.59	c 1381s |      19 |   705369 |   502482 |    25925     41 |      609 |      342
1383.39/1383.83	c 1383s |      19 |   705893 |   502982 |    25925     41 |      609 |      342
1385.69/1386.16	c 1385s |      19 |   706421 |   503482 |    25925     41 |      609 |      342
1388.08/1388.51	c 1388s |      19 |   707061 |   504082 |    25925     41 |      609 |      342
1390.27/1390.71	c 1390s |      19 |   707586 |   504582 |    25925     41 |      609 |      342
1392.57/1393.06	c 1392s |      19 |   708224 |   505182 |    25925     41 |      609 |      342
1394.67/1395.16	c 1394s |      19 |   708767 |   505682 |    25925     41 |      609 |      342
1396.87/1397.33	c 1397s |      19 |   709319 |   506182 |    25925     41 |      609 |      342
1399.17/1399.66	c 1399s |      19 |   709844 |   506682 |    25925     41 |      609 |      342
1401.27/1401.75	c 1401s |      19 |   710394 |   507182 |    25925     41 |      609 |      342
1403.47/1403.99	c 1403s |      19 |   710919 |   507682 |    25925     41 |      609 |      342
1406.37/1406.89	c 1406s |      19 |   711452 |   508182 |    25925     42 |      609 |      342
1408.57/1409.00	c 1408s |      19 |   712113 |   508782 |    25925     42 |      609 |      342
1410.67/1411.15	c 1410s |      19 |   712873 |   509482 |    25925     42 |      609 |      342
1412.67/1413.16	c 1412s |      19 |   713512 |   510082 |    25925     42 |      609 |      342
1414.97/1415.49	c 1415s |      19 |   714155 |   510682 |    25925     42 |      609 |      342
1417.37/1417.81	c 1417s |      19 |   714796 |   511282 |    25925     42 |      609 |      342
1419.57/1420.00	c 1419s |      19 |   715459 |   511882 |    25925     42 |      609 |      342
1421.67/1422.16	c 1421s |      19 |   716133 |   512482 |    25925     42 |      609 |      342
1423.87/1424.34	c 1424s |      19 |   716791 |   513082 |    25925     42 |      609 |      342
1426.07/1426.56	c 1426s |      19 |   717433 |   513682 |    25925     42 |      609 |      342
1428.16/1428.69	c 1428s |      19 |   718096 |   514282 |    25925     42 |      609 |      342
1430.46/1430.96	c 1430s |      19 |   718870 |   514982 |    25925     42 |      609 |      342
1432.46/1432.97	c 1432s |      19 |   719529 |   515582 |    25925     42 |      609 |      342
1434.66/1435.17	c 1434s |      19 |   720177 |   516182 |    25925     42 |      609 |      342
1436.66/1437.17	c 1436s |      19 |   720719 |   516682 |    25925     42 |      609 |      342
1438.76/1439.21	c 1438s |      19 |   721392 |   517282 |    25925     42 |      609 |      342
1440.86/1441.32	c 1441s |      19 |   722060 |   517882 |    25925     42 |      609 |      342
1443.16/1443.65	c 1443s |      19 |   722726 |   518482 |    25925     42 |      609 |      342
1445.46/1445.94	c 1445s |      19 |   723417 |   519082 |    25925     42 |      609 |      342
1447.46/1447.99	c 1447s |      19 |   723970 |   519582 |    25925     42 |      609 |      342
1449.56/1450.05	c 1449s |      19 |   724512 |   520082 |    25925     42 |      609 |      342
1451.96/1452.47	c 1452s |      19 |   725176 |   520682 |    25925     42 |      609 |      342
1454.06/1454.51	c 1454s |      19 |   725701 |   521182 |    25925     42 |      609 |      342
1456.16/1456.64	c 1456s |      19 |   726236 |   521682 |    25925     42 |      609 |      342
1458.27/1458.79	c 1458s |      19 |   726803 |   522182 |    25925     42 |      609 |      342
1460.96/1461.50	c 1461s |      19 |   727337 |   522682 |    25925     43 |      609 |      342
1463.16/1463.65	c 1463s |      19 |   727979 |   523282 |    25925     43 |      609 |      342
1465.46/1465.92	c 1465s |      19 |   728739 |   523982 |    25925     43 |      609 |      342
1467.55/1468.02	c 1467s |      19 |   729386 |   524582 |    25925     43 |      609 |      342
1469.75/1470.28	c 1470s |      19 |   730151 |   525282 |    25925     43 |      609 |      342
1472.05/1472.51	c 1472s |      19 |   730942 |   525982 |    25925     43 |      609 |      342
1474.06/1474.59	c 1474s |      19 |   731727 |   526682 |    25925     43 |      609 |      342
1476.16/1476.68	c 1476s |      19 |   732530 |   527382 |    25925     43 |      609 |      342
1478.46/1478.93	c 1478s |      19 |   733574 |   528282 |    25925     43 |      609 |      342
1480.66/1481.13	c 1480s |      19 |   734485 |   529082 |    25925     43 |      609 |      342
1482.66/1483.17	c 1482s |      19 |   735308 |   529782 |    25925     43 |      609 |      342
1484.86/1485.31	c 1485s |      19 |   736159 |   530482 |    25925     43 |      609 |      342
1487.16/1487.62	c 1487s |      19 |   736855 |   531082 |    25925     43 |      609 |      342
1489.26/1489.78	c 1489s |      19 |   737408 |   531582 |    25925     43 |      609 |      342
1491.36/1491.83	c 1491s |      19 |   737963 |   532082 |    25925     43 |      609 |      342
1493.47/1493.95	c 1493s |      19 |   738651 |   532682 |    25925     43 |      609 |      342
1495.67/1496.18	c 1495s |      19 |   739315 |   533282 |    25925     43 |      609 |      342
1497.77/1498.23	c 1497s |      19 |   739857 |   533782 |    25925     43 |      609 |      342
1500.07/1500.51	c 1500s |      19 |   740534 |   534382 |    25925     43 |      609 |      342
1502.27/1502.73	c 1502s |      19 |   741204 |   534982 |    25925     43 |      609 |      342
1504.26/1504.79	c 1504s |      19 |   741760 |   535482 |    25925     43 |      609 |      342
1506.57/1507.01	c 1506s |      19 |   742456 |   536082 |    25925     43 |      609 |      342
1508.66/1509.19	c 1508s |      19 |   743021 |   536582 |    25925     43 |      609 |      342
1511.46/1511.97	c 1511s |      19 |   743575 |   537082 |    25925     44 |      609 |      342
1513.66/1514.19	c 1513s |      19 |   744336 |   537782 |    25925     44 |      609 |      342
1515.96/1516.40	c 1516s |      19 |   745117 |   538482 |    25925     44 |      609 |      342
1518.16/1518.67	c 1518s |      19 |   745880 |   539182 |    25925     44 |      609 |      342
1520.45/1520.94	c 1520s |      19 |   746787 |   539982 |    25925     44 |      609 |      342
1522.55/1523.04	c 1522s |      19 |   747578 |   540682 |    25925     44 |      609 |      342
1524.55/1525.09	c 1524s |      19 |   748340 |   541382 |    25925     44 |      609 |      342
1526.95/1527.40	c 1527s |      19 |   749106 |   542082 |    25925     44 |      609 |      342
1529.05/1529.54	c 1529s |      19 |   749766 |   542682 |    25925     44 |      609 |      342
1531.15/1531.68	c 1531s |      19 |   750404 |   543282 |    25925     44 |      609 |      342
1533.45/1533.98	c 1533s |      19 |   751049 |   543882 |    25925     44 |      609 |      342
1535.84/1536.33	c 1536s |      19 |   751686 |   544482 |    25925     44 |      609 |      342
1537.84/1538.34	c 1538s |      19 |   752347 |   545082 |    25925     44 |      609 |      342
1539.94/1540.47	c 1540s |      19 |   753021 |   545682 |    25925     44 |      609 |      342
1542.34/1542.80	c 1542s |      19 |   753667 |   546282 |    25925     44 |      609 |      342
1544.54/1545.06	c 1544s |      19 |   754349 |   546882 |    25925     44 |      609 |      342
1546.94/1547.44	c 1547s |      19 |   754989 |   547482 |    25925     44 |      609 |      342
1549.34/1549.80	c 1549s |      19 |   755628 |   548082 |    25925     44 |      609 |      342
1551.34/1551.87	c 1551s |      19 |   756175 |   548582 |    25925     44 |      609 |      342
1553.44/1553.98	c 1553s |      19 |   756714 |   549082 |    25925     44 |      609 |      342
1555.74/1556.21	c 1555s |      19 |   757276 |   549582 |    25925     44 |      609 |      342
1557.94/1558.45	c 1558s |      19 |   757810 |   550082 |    25925     44 |      609 |      342
1560.24/1560.74	c 1560s |      19 |   758362 |   550582 |    25925     44 |      609 |      342
1562.44/1562.97	c 1562s |      19 |   758931 |   551082 |    25925     44 |      609 |      342
1564.64/1565.17	c 1564s |      19 |   759469 |   551582 |    25925     44 |      609 |      342
1566.74/1567.20	c 1566s |      19 |   759782 |   551882 |    25925     45 |      609 |      342
1568.94/1569.45	c 1569s |      19 |   760552 |   552582 |    25925     45 |      609 |      342
1571.34/1571.80	c 1571s |      19 |   761295 |   553282 |    25925     45 |      609 |      342
1573.54/1574.06	c 1573s |      19 |   761913 |   553882 |    25925     45 |      609 |      342
1575.64/1576.18	c 1575s |      19 |   762702 |   554582 |    25925     45 |      609 |      342
1577.75/1578.28	c 1578s |      19 |   763341 |   555182 |    25925     45 |      609 |      342
1580.05/1580.50	c 1580s |      19 |   764124 |   555882 |    25925     45 |      609 |      342
1582.14/1582.68	c 1582s |      19 |   764765 |   556482 |    25925     45 |      609 |      342
1584.54/1585.10	c 1584s |      19 |   765410 |   557082 |    25925     45 |      609 |      342
1586.74/1587.29	c 1587s |      19 |   765942 |   557582 |    25925     45 |      609 |      342
1589.05/1589.55	c 1589s |      19 |   766466 |   558082 |    25925     45 |      609 |      342
1591.04/1591.57	c 1591s |      19 |   766892 |   558482 |    25925     45 |      609 |      342
1593.34/1593.80	c 1593s |      19 |   767463 |   558982 |    25925     45 |      609 |      342
1595.44/1595.97	c 1595s |      19 |   768166 |   559582 |    25925     45 |      609 |      342
1597.64/1598.15	c 1597s |      19 |   768812 |   560182 |    25925     45 |      609 |      342
1599.84/1600.37	c 1600s |      19 |   769477 |   560782 |    25925     45 |      609 |      342
1602.14/1602.65	c 1602s |      19 |   770127 |   561382 |    25925     45 |      609 |      342
1604.55/1605.01	c 1604s |      19 |   770816 |   561982 |    25925     45 |      609 |      342
1606.65/1607.14	c 1606s |      19 |   771357 |   562482 |    25925     45 |      609 |      342
1608.74/1609.28	c 1609s |      19 |   771917 |   562982 |    25925     45 |      609 |      342
1610.94/1611.41	c 1611s |      19 |   772462 |   563482 |    25925     45 |      609 |      342
1613.14/1613.69	c 1613s |      19 |   773010 |   563982 |    25925     45 |      609 |      342
1615.34/1615.81	c 1615s |      19 |   773565 |   564482 |    25925     45 |      609 |      342
1617.44/1617.94	c 1617s |      19 |   774104 |   564982 |    25925     45 |      609 |      342
1619.64/1620.17	c 1619s |      19 |   774629 |   565482 |    25925     45 |      609 |      342
1622.15/1622.61	c 1622s |      19 |   775188 |   565982 |    25925     45 |      609 |      342
1624.14/1624.66	c 1624s |      19 |   775504 |   566282 |    25925     46 |      609 |      342
1626.55/1627.03	c 1626s |      19 |   776298 |   566982 |    25925     46 |      609 |      342
1628.75/1629.27	c 1629s |      19 |   777079 |   567682 |    25925     46 |      609 |      342
1630.84/1631.34	c 1631s |      19 |   777711 |   568282 |    25925     46 |      609 |      342
1632.93/1633.46	c 1633s |      19 |   778384 |   568882 |    25925     46 |      609 |      342
1635.24/1635.75	c 1635s |      19 |   779122 |   569582 |    25925     46 |      609 |      342
1637.44/1638.00	c 1637s |      19 |   780056 |   570382 |    25925     46 |      609 |      342
1639.64/1640.17	c 1639s |      19 |   781150 |   571182 |    25925     46 |      609 |      342
1641.84/1642.34	c 1642s |      19 |   782289 |   572082 |    25925     46 |      609 |      342
1643.93/1644.47	c 1644s |      19 |   783242 |   572882 |    25925     46 |      609 |      342
1646.13/1646.69	c 1646s |      19 |   784170 |   573682 |    25925     46 |      609 |      342
1648.23/1648.70	c 1648s |      19 |   784960 |   574382 |    25925     46 |      609 |      342
1650.23/1650.79	c 1650s |      19 |   785777 |   575082 |    25925     46 |      609 |      342
1652.43/1652.99	c 1652s |      19 |   786596 |   575782 |    25925     46 |      609 |      342
1654.63/1655.17	c 1654s |      19 |   787385 |   576482 |    25925     46 |      609 |      342
1656.83/1657.36	c 1657s |      19 |   788199 |   577182 |    25925     46 |      609 |      342
1659.03/1659.50	c 1659s |      19 |   789001 |   577882 |    25925     46 |      609 |      342
1661.13/1661.66	c 1661s |      19 |   789809 |   578582 |    25925     46 |      609 |      342
1663.33/1663.88	c 1663s |      19 |   790590 |   579282 |    25925     46 |      609 |      342
1665.63/1666.15	c 1665s |      19 |   791367 |   579982 |    25925     46 |      609 |      342
1667.73/1668.28	c 1668s |      19 |   792061 |   580582 |    25925     46 |      609 |      342
1669.93/1670.42	c 1670s |      19 |   792636 |   581082 |    25925     47 |      609 |      342
1671.93/1672.48	c 1672s |      19 |   793397 |   581782 |    25925     47 |      609 |      342
1674.03/1674.56	c 1674s |      19 |   794179 |   582482 |    25925     47 |      609 |      342
1676.23/1676.76	c 1676s |      19 |   794969 |   583182 |    25925     47 |      609 |      342
1678.24/1678.77	c 1678s |      19 |   795895 |   583982 |    25925     47 |      609 |      342
1680.44/1680.91	c 1680s |      19 |   796933 |   584882 |    25925     47 |      609 |      342
1682.64/1683.14	c 1682s |      19 |   797834 |   585682 |    25925     47 |      609 |      342
1684.62/1685.20	c 1684s |      19 |   798621 |   586382 |    25925     47 |      609 |      342
1686.72/1687.29	c 1687s |      19 |   799362 |   587082 |    25925     47 |      609 |      342
1688.82/1689.38	c 1689s |      19 |   800146 |   587782 |    25925     47 |      609 |      342
1690.92/1691.44	c 1691s |      19 |   800934 |   588482 |    25925     47 |      609 |      342
1693.02/1693.55	c 1693s |      19 |   801864 |   589282 |    25925     47 |      609 |      342
1695.12/1695.62	c 1695s |      19 |   802670 |   589982 |    25925     47 |      609 |      342
1697.12/1697.69	c 1697s |      19 |   803464 |   590682 |    25925     47 |      609 |      342
1699.42/1699.94	c 1699s |      19 |   804276 |   591382 |    25925     47 |      609 |      342
1701.42/1701.97	c 1701s |      19 |   804954 |   591982 |    25925     47 |      609 |      342
1703.72/1704.24	c 1703s |      19 |   805740 |   592682 |    25925     47 |      609 |      342
1705.92/1706.43	c 1706s |      19 |   806528 |   593382 |    25925     47 |      609 |      342
1708.22/1708.74	c 1708s |      19 |   807345 |   594082 |    25925     47 |      609 |      342
1710.42/1710.92	c 1710s |      19 |   807998 |   594682 |    25925     47 |      609 |      342
1712.42/1712.97	c 1712s |      19 |   808683 |   595282 |    25925     47 |      609 |      342
1714.72/1715.20	c 1714s |      19 |   809361 |   595882 |    25925     48 |      609 |      342
1716.73/1717.24	c 1716s |      19 |   810155 |   596582 |    25925     48 |      609 |      342
1718.83/1719.38	c 1719s |      19 |   811094 |   597382 |    25925     48 |      609 |      342
1721.03/1721.52	c 1721s |      19 |   811864 |   598082 |    25925     48 |      609 |      342
1723.02/1723.55	c 1723s |      19 |   812542 |   598682 |    25925     48 |      609 |      342
1725.11/1725.67	c 1725s |      19 |   813326 |   599382 |    25925     48 |      609 |      342
1727.31/1727.80	c 1727s |      19 |   814158 |   600082 |    25925     48 |      609 |      342
1729.61/1730.10	c 1729s |      19 |   814922 |   600782 |    25925     48 |      609 |      342
1731.61/1732.17	c 1731s |      19 |   815617 |   601382 |    25925     48 |      609 |      342
1733.81/1734.31	c 1734s |      19 |   816286 |   601982 |    25925     48 |      609 |      342
1735.91/1736.41	c 1736s |      19 |   816953 |   602582 |    25925     48 |      609 |      342
1738.21/1738.72	c 1738s |      19 |   817602 |   603182 |    25925     48 |      609 |      342
1740.31/1740.87	c 1740s |      19 |   818279 |   603782 |    25925     48 |      609 |      342
1742.61/1743.10	c 1742s |      19 |   818914 |   604382 |    25925     48 |      609 |      342
1744.81/1745.35	c 1745s |      19 |   819574 |   604982 |    25925     48 |      609 |      342
1746.91/1747.48	c 1747s |      19 |   820253 |   605582 |    25925     48 |      609 |      342
1749.21/1749.75	c 1749s |      19 |   820913 |   606182 |    25925     48 |      609 |      342
1751.21/1751.78	c 1751s |      19 |   821440 |   606682 |    25925     48 |      609 |      342
1753.31/1753.84	c 1753s |      19 |   821971 |   607182 |    25925     48 |      609 |      342
1755.61/1756.16	c 1755s |      19 |   822611 |   607782 |    25925     48 |      609 |      342
1758.01/1758.54	c 1758s |      19 |   823270 |   608382 |    25925     48 |      609 |      342
1760.31/1760.82	c 1760s |      19 |   823922 |   608982 |    25925     48 |      609 |      342
1762.31/1762.85	c 1762s |      19 |   824468 |   609482 |    25925     48 |      609 |      342
1764.31/1764.86	c 1764s |      19 |   824918 |   609882 |    25925     49 |      609 |      342
1766.51/1767.08	c 1766s |      19 |   825669 |   610582 |    25925     49 |      609 |      342
1768.81/1769.30	c 1769s |      19 |   826580 |   611382 |    25925     49 |      609 |      342
1771.01/1771.53	c 1771s |      19 |   827366 |   612082 |    25925     49 |      609 |      342
1773.11/1773.65	c 1773s |      19 |   828026 |   612682 |    25925     49 |      609 |      342
1775.21/1775.74	c 1775s |      19 |   828668 |   613282 |    25925     49 |      609 |      342
1777.41/1777.99	c 1777s |      19 |   829450 |   613982 |    25925     49 |      609 |      342
1779.71/1780.25	c 1779s |      19 |   830212 |   614682 |    25925     49 |      609 |      342
1781.91/1782.49	c 1782s |      19 |   830849 |   615282 |    25925     49 |      609 |      342
1784.00/1784.59	c 1784s |      19 |   831393 |   615782 |    25925     49 |      609 |      342
1786.40/1786.91	c 1786s |      19 |   832042 |   616382 |    25925     49 |      609 |      342
1788.50/1789.07	c 1788s |      19 |   832709 |   616982 |    25925     49 |      609 |      342
1790.60/1791.16	c 1790s |      19 |   833387 |   617582 |    25925     49 |      609 |      342
1792.80/1793.39	c 1793s |      19 |   834066 |   618182 |    25925     49 |      609 |      342
1795.10/1795.60	c 1795s |      19 |   834730 |   618782 |    25925     49 |      609 |      342
1797.40/1797.92	c 1797s |      19 |   835381 |   619382 |    25925     49 |      609 |      342
1799.50/1800.04	c 1799s |      19 |   835919 |   619882 |    25925     49 |      609 |      342

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

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

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


[startup+0 s]
/proc/loadavg: 2.11 2.12 2.06 3/261 2485
/proc/meminfo: memFree=30854824/32872528 swapFree=7556/7556
[pid=2485] ppid=2482 vsize=1033660 CPUtime=0 cores=0-3,8-11
/proc/2485/stat : 2485 (toysat) R 2482 2485 32495 0 -1 4202496 3908 0 0 0 0 0 0 0 20 0 4 0 28394026 1058467840 4270 33554432000 4194304 16246674 140737226622960 140737226622384 13880264 0 2 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2485/statm: 258927 4279 441 2943 0 255821 0
[pid=2485/tid=2486] ppid=2482 vsize=1086908 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2486/stat : 2486 (toysat) S 2482 2485 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28394026 1112993792 4480 33554432000 4194304 16246674 140737226622960 140001044049136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2485/tid=2487] ppid=2482 vsize=1092028 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2487/stat : 2487 (toysat) S 2482 2485 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28394026 1118236672 4500 33554432000 4194304 16246674 140737226622960 140001033559280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2485/tid=2488] ppid=2482 vsize=1096124 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2488/stat : 2488 (toysat) S 2482 2485 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28394026 1122430976 4517 33554432000 4194304 16246674 140737226622960 140001023085744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0

[startup+0.100131 s]
/proc/loadavg: 2.11 2.12 2.06 3/261 2485
/proc/meminfo: memFree=30854824/32872528 swapFree=7556/7556
[pid=2485] ppid=2482 vsize=1220164 CPUtime=0.09 cores=0-3,8-11
/proc/2485/stat : 2485 (toysat) R 2482 2485 32495 0 -1 4202496 28276 0 0 0 5 4 0 0 20 0 4 0 28394026 1249447936 28575 33554432000 4194304 16246674 140737226622960 140737226622272 4222992 0 2 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2485/statm: 305041 28575 801 2943 0 301935 0
[pid=2485/tid=2486] ppid=2482 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2486/stat : 2486 (toysat) S 2482 2485 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28394026 1249447936 28575 33554432000 4194304 16246674 140737226622960 140001044049136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2485/tid=2487] ppid=2482 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2487/stat : 2487 (toysat) S 2482 2485 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28394026 1249447936 28575 33554432000 4194304 16246674 140737226622960 140001033559280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2485/tid=2488] ppid=2482 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2488/stat : 2488 (toysat) S 2482 2485 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28394026 1249447936 28575 33554432000 4194304 16246674 140737226622960 140001023085744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200476 s]
/proc/loadavg: 2.11 2.12 2.06 3/261 2485
/proc/meminfo: memFree=30854824/32872528 swapFree=7556/7556
[pid=2485] ppid=2482 vsize=1301060 CPUtime=0.18 cores=0-3,8-11
/proc/2485/stat : 2485 (toysat) R 2482 2485 32495 0 -1 4202496 48483 0 0 0 11 7 0 0 20 0 4 0 28394026 1332285440 48782 33554432000 4194304 16246674 140737226622960 140737226622272 6973253 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2485/statm: 325265 48782 842 2943 0 322159 0
[pid=2485/tid=2486] ppid=2482 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2486/stat : 2486 (toysat) S 2482 2485 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28394026 1332285440 48782 33554432000 4194304 16246674 140737226622960 140001044049136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2485/tid=2487] ppid=2482 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2487/stat : 2487 (toysat) S 2482 2485 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28394026 1332285440 48782 33554432000 4194304 16246674 140737226622960 140001033559280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2485/tid=2488] ppid=2482 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2488/stat : 2488 (toysat) S 2482 2485 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28394026 1332285440 48782 33554432000 4194304 16246674 140737226622960 140001023085744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1301060

[startup+0.300467 s]
/proc/loadavg: 2.11 2.12 2.06 3/261 2485
/proc/meminfo: memFree=30854824/32872528 swapFree=7556/7556
[pid=2485] ppid=2482 vsize=1301060 CPUtime=0.29 cores=0-3,8-11
/proc/2485/stat : 2485 (toysat) R 2482 2485 32495 0 -1 4202496 50395 0 0 0 21 8 0 0 20 0 4 0 28394026 1332285440 50694 33554432000 4194304 16246674 140737226622960 140737226622272 5532301 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2485/statm: 325265 50701 882 2943 0 322159 0
[pid=2485/tid=2486] ppid=2482 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2486/stat : 2486 (toysat) S 2482 2485 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28394026 1332285440 50705 33554432000 4194304 16246674 140737226622960 140001044049136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2485/tid=2487] ppid=2482 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2487/stat : 2487 (toysat) S 2482 2485 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28394026 1332285440 50710 33554432000 4194304 16246674 140737226622960 140001033559280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2485/tid=2488] ppid=2482 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2488/stat : 2488 (toysat) S 2482 2485 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28394026 1332285440 50715 33554432000 4194304 16246674 140737226622960 140001023085744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.70039 s]
/proc/loadavg: 2.11 2.12 2.06 3/261 2485
/proc/meminfo: memFree=30854824/32872528 swapFree=7556/7556
[pid=2485] ppid=2482 vsize=1301060 CPUtime=0.69 cores=0-3,8-11
/proc/2485/stat : 2485 (toysat) R 2482 2485 32495 0 -1 4202496 99897 0 0 0 54 15 0 0 20 0 4 0 28394026 1332285440 100196 33554432000 4194304 16246674 140737226622960 140737226604864 5828874 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2485/statm: 325265 100200 882 2943 0 322159 0
[pid=2485/tid=2486] ppid=2482 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2486/stat : 2486 (toysat) S 2482 2485 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28394026 1332285440 100202 33554432000 4194304 16246674 140737226622960 140001044049136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2485/tid=2487] ppid=2482 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2487/stat : 2487 (toysat) S 2482 2485 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28394026 1332285440 100206 33554432000 4194304 16246674 140737226622960 140001033559280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2485/tid=2488] ppid=2482 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2488/stat : 2488 (toysat) S 2482 2485 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28394026 1332285440 100209 33554432000 4194304 16246674 140737226622960 140001023085744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50034 s]
/proc/loadavg: 2.11 2.12 2.06 3/265 2489
/proc/meminfo: memFree=30240644/32872528 swapFree=7556/7556
[pid=2485] ppid=2482 vsize=1301060 CPUtime=1.49 cores=0-3,8-11
/proc/2485/stat : 2485 (toysat) R 2482 2485 32495 0 -1 4202496 208797 0 0 0 120 29 0 0 20 0 4 0 28394026 1332285440 209096 33554432000 4194304 16246674 140737226622960 140737226604864 5723366 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2485/statm: 325265 209102 882 2943 0 322159 0
[pid=2485/tid=2486] ppid=2482 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2486/stat : 2486 (toysat) S 2482 2485 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28394026 1332285440 209105 33554432000 4194304 16246674 140737226622960 140001044049136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2485/tid=2487] ppid=2482 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2487/stat : 2487 (toysat) S 2482 2485 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28394026 1332285440 209117 33554432000 4194304 16246674 140737226622960 140001033559280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2485/tid=2488] ppid=2482 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2488/stat : 2488 (toysat) S 2482 2485 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28394026 1332285440 209130 33554432000 4194304 16246674 140737226622960 140001023085744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10039 s]
/proc/loadavg: 2.10 2.12 2.06 3/265 2489
/proc/meminfo: memFree=29778084/32872528 swapFree=7556/7556
[pid=2485] ppid=2482 vsize=1312324 CPUtime=3.09 cores=0-3,8-11
/proc/2485/stat : 2485 (toysat) R 2482 2485 32495 0 -1 4202496 269213 0 0 0 272 37 0 0 20 0 4 0 28394026 1343819776 269512 33554432000 4194304 16246674 140737226622960 140737226604864 5659404 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2485/statm: 328081 269512 888 2943 0 324975 0
[pid=2485/tid=2486] ppid=2482 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2486/stat : 2486 (toysat) S 2482 2485 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28394026 1343819776 269512 33554432000 4194304 16246674 140737226622960 140001044049136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2485/tid=2487] ppid=2482 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2487/stat : 2487 (toysat) S 2482 2485 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28394026 1343819776 269512 33554432000 4194304 16246674 140737226622960 140001033559280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2485/tid=2488] ppid=2482 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2488/stat : 2488 (toysat) S 2482 2485 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28394026 1343819776 269512 33554432000 4194304 16246674 140737226622960 140001023085744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.30036 s]
/proc/loadavg: 2.10 2.12 2.06 3/265 2489
/proc/meminfo: memFree=29776856/32872528 swapFree=7556/7556
[pid=2485] ppid=2482 vsize=1312324 CPUtime=6.29 cores=0-3,8-11
/proc/2485/stat : 2485 (toysat) R 2482 2485 32495 0 -1 4202496 269268 0 0 0 592 37 0 0 20 0 4 0 28394026 1343819776 269567 33554432000 4194304 16246674 140737226622960 140737226604864 5822252 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2485/statm: 328081 269567 889 2943 0 324975 0
[pid=2485/tid=2486] ppid=2482 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2486/stat : 2486 (toysat) S 2482 2485 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28394026 1343819776 269567 33554432000 4194304 16246674 140737226622960 140001044049136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2485/tid=2487] ppid=2482 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2487/stat : 2487 (toysat) S 2482 2485 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28394026 1343819776 269567 33554432000 4194304 16246674 140737226622960 140001033559280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2485/tid=2488] ppid=2482 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2488/stat : 2488 (toysat) S 2482 2485 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28394026 1343819776 269567 33554432000 4194304 16246674 140737226622960 140001023085744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.08 2.12 2.06 3/265 2489
/proc/meminfo: memFree=29777064/32872528 swapFree=7556/7556
[pid=2485] ppid=2482 vsize=1312324 CPUtime=12.69 cores=0-3,8-11
/proc/2485/stat : 2485 (toysat) R 2482 2485 32495 0 -1 4202496 269270 0 0 0 1232 37 0 0 20 0 4 0 28394026 1343819776 269569 33554432000 4194304 16246674 140737226622960 140737226604864 13809250 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2485/statm: 328081 269569 891 2943 0 324975 0
[pid=2485/tid=2486] ppid=2482 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2486/stat : 2486 (toysat) S 2482 2485 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28394026 1343819776 269569 33554432000 4194304 16246674 140737226622960 140001044049136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2485/tid=2487] ppid=2482 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2487/stat : 2487 (toysat) S 2482 2485 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28394026 1343819776 269569 33554432000 4194304 16246674 140737226622960 140001033559280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2485/tid=2488] ppid=2482 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2488/stat : 2488 (toysat) S 2482 2485 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28394026 1343819776 269569 33554432000 4194304 16246674 140737226622960 140001023085744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.22 2.14 2.07 3/265 2489
/proc/meminfo: memFree=29777332/32872528 swapFree=7556/7556
[pid=2485] ppid=2482 vsize=1312324 CPUtime=25.49 cores=0-3,8-11
/proc/2485/stat : 2485 (toysat) R 2482 2485 32495 0 -1 4202496 269272 0 0 0 2512 37 0 0 20 0 4 0 28394026 1343819776 269571 33554432000 4194304 16246674 140737226622960 140737226604864 12478249 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2485/statm: 328081 269571 892 2943 0 324975 0
[pid=2485/tid=2486] ppid=2482 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2486/stat : 2486 (toysat) S 2482 2485 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28394026 1343819776 269571 33554432000 4194304 16246674 140737226622960 140001044049136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2485/tid=2487] ppid=2482 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2487/stat : 2487 (toysat) S 2482 2485 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28394026 1343819776 269571 33554432000 4194304 16246674 140737226622960 140001033559280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2485/tid=2488] ppid=2482 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2488/stat : 2488 (toysat) S 2482 2485 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28394026 1343819776 269571 33554432000 4194304 16246674 140737226622960 140001023085744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.14 2.13 2.07 3/265 2489
/proc/meminfo: memFree=29777180/32872528 swapFree=7556/7556
[pid=2485] ppid=2482 vsize=1312324 CPUtime=51.08 cores=0-3,8-11
/proc/2485/stat : 2485 (toysat) R 2482 2485 32495 0 -1 4202496 269272 0 0 0 5071 37 0 0 20 0 4 0 28394026 1343819776 269571 33554432000 4194304 16246674 140737226622960 140737226604864 5672188 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2485/statm: 328081 269571 892 2943 0 324975 0
[pid=2485/tid=2486] ppid=2482 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2486/stat : 2486 (toysat) S 2482 2485 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28394026 1343819776 269571 33554432000 4194304 16246674 140737226622960 140001044049136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2485/tid=2487] ppid=2482 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2487/stat : 2487 (toysat) S 2482 2485 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28394026 1343819776 269571 33554432000 4194304 16246674 140737226622960 140001033559280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2485/tid=2488] ppid=2482 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2488/stat : 2488 (toysat) S 2482 2485 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28394026 1343819776 269571 33554432000 4194304 16246674 140737226622960 140001023085744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.301 s]
/proc/loadavg: 2.14 2.14 2.07 3/265 2490
/proc/meminfo: memFree=29770724/32872528 swapFree=7556/7556
[pid=2485] ppid=2482 vsize=1318468 CPUtime=102.28 cores=0-3,8-11
/proc/2485/stat : 2485 (toysat) R 2482 2485 32495 0 -1 4202496 270787 0 0 0 10190 38 0 0 20 0 4 0 28394026 1350111232 271086 33554432000 4194304 16246674 140737226622960 140737226604864 13943600 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2485/statm: 329617 271086 892 2943 0 326511 0
[pid=2485/tid=2486] ppid=2482 vsize=1318468 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2486/stat : 2486 (toysat) S 2482 2485 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28394026 1350111232 271086 33554432000 4194304 16246674 140737226622960 140001044049136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2485/tid=2487] ppid=2482 vsize=1318468 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2487/stat : 2487 (toysat) S 2482 2485 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28394026 1350111232 271086 33554432000 4194304 16246674 140737226622960 140001033559280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2485/tid=2488] ppid=2482 vsize=1318468 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2488/stat : 2488 (toysat) S 2482 2485 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28394026 1350111232 271086 33554432000 4194304 16246674 140737226622960 140001023085744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1318468


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

/proc/2485/task/2488/stat : 2488 (toysat) S 2482 2485 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28394026 1365839872 274947 33554432000 4194304 16246674 140737226622960 140001023085744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1333828

[startup+1362.3 s]
/proc/loadavg: 2.07 2.07 2.08 3/265 2570
/proc/meminfo: memFree=29758976/32872528 swapFree=7556/7556
[pid=2485] ppid=2482 vsize=1333828 CPUtime=1361.87 cores=0-3,8-11
/proc/2485/stat : 2485 (toysat) R 2482 2485 32495 0 -1 4202496 274980 0 0 0 136137 50 0 0 20 0 4 0 28394026 1365839872 274947 33554432000 4194304 16246674 140737226622960 140737226604864 5711216 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2485/statm: 333457 274947 892 2943 0 330351 0
[pid=2485/tid=2486] ppid=2482 vsize=1333828 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2486/stat : 2486 (toysat) S 2482 2485 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28394026 1365839872 274947 33554432000 4194304 16246674 140737226622960 140001044049136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2485/tid=2487] ppid=2482 vsize=1333828 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2487/stat : 2487 (toysat) S 2482 2485 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28394026 1365839872 274947 33554432000 4194304 16246674 140737226622960 140001033559280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2485/tid=2488] ppid=2482 vsize=1333828 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2488/stat : 2488 (toysat) S 2482 2485 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28394026 1365839872 274947 33554432000 4194304 16246674 140737226622960 140001023085744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1333828

[startup+1422.3 s]
/proc/loadavg: 2.10 2.07 2.08 3/265 2571
/proc/meminfo: memFree=29758888/32872528 swapFree=7556/7556
[pid=2485] ppid=2482 vsize=1333828 CPUtime=1421.88 cores=0-3,8-11
/proc/2485/stat : 2485 (toysat) R 2482 2485 32495 0 -1 4202496 274980 0 0 0 142137 51 0 0 20 0 4 0 28394026 1365839872 274947 33554432000 4194304 16246674 140737226622960 140737226604864 13965602 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2485/statm: 333457 274947 892 2943 0 330351 0
[pid=2485/tid=2486] ppid=2482 vsize=1333828 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2486/stat : 2486 (toysat) S 2482 2485 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28394026 1365839872 274947 33554432000 4194304 16246674 140737226622960 140001044049136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2485/tid=2487] ppid=2482 vsize=1333828 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2487/stat : 2487 (toysat) S 2482 2485 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28394026 1365839872 274947 33554432000 4194304 16246674 140737226622960 140001033559280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2485/tid=2488] ppid=2482 vsize=1333828 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2488/stat : 2488 (toysat) S 2482 2485 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28394026 1365839872 274947 33554432000 4194304 16246674 140737226622960 140001023085744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1333828

[startup+1482.3 s]
/proc/loadavg: 2.07 2.07 2.08 3/266 2576
/proc/meminfo: memFree=29758076/32872528 swapFree=7556/7556
[pid=2485] ppid=2482 vsize=1333828 CPUtime=1481.86 cores=0-3,8-11
/proc/2485/stat : 2485 (toysat) R 2482 2485 32495 0 -1 4202496 274980 0 0 0 148134 52 0 0 20 0 4 0 28394026 1365839872 274947 33554432000 4194304 16246674 140737226622960 140737226604864 12483532 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2485/statm: 333457 274947 892 2943 0 330351 0
[pid=2485/tid=2486] ppid=2482 vsize=1333828 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2486/stat : 2486 (toysat) S 2482 2485 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28394026 1365839872 274947 33554432000 4194304 16246674 140737226622960 140001044049136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2485/tid=2487] ppid=2482 vsize=1333828 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2487/stat : 2487 (toysat) S 2482 2485 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28394026 1365839872 274947 33554432000 4194304 16246674 140737226622960 140001033559280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2485/tid=2488] ppid=2482 vsize=1333828 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2488/stat : 2488 (toysat) S 2482 2485 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28394026 1365839872 274947 33554432000 4194304 16246674 140737226622960 140001023085744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1333828

[startup+1542.31 s]
/proc/loadavg: 2.10 2.08 2.08 3/265 2577
/proc/meminfo: memFree=29758188/32872528 swapFree=7556/7556
[pid=2485] ppid=2482 vsize=1333828 CPUtime=1541.85 cores=0-3,8-11
/proc/2485/stat : 2485 (toysat) R 2482 2485 32495 0 -1 4202496 274980 0 0 0 154133 52 0 0 20 0 4 0 28394026 1365839872 274947 33554432000 4194304 16246674 140737226622960 140737226604864 5722224 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2485/statm: 333457 274947 892 2943 0 330351 0
[pid=2485/tid=2486] ppid=2482 vsize=1333828 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2486/stat : 2486 (toysat) S 2482 2485 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28394026 1365839872 274947 33554432000 4194304 16246674 140737226622960 140001044049136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2485/tid=2487] ppid=2482 vsize=1333828 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2487/stat : 2487 (toysat) S 2482 2485 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28394026 1365839872 274947 33554432000 4194304 16246674 140737226622960 140001033559280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2485/tid=2488] ppid=2482 vsize=1333828 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2488/stat : 2488 (toysat) S 2482 2485 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28394026 1365839872 274947 33554432000 4194304 16246674 140737226622960 140001023085744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1333828

[startup+1602.3 s]
/proc/loadavg: 2.04 2.07 2.07 3/265 2578
/proc/meminfo: memFree=29756304/32872528 swapFree=7556/7556
[pid=2485] ppid=2482 vsize=1333828 CPUtime=1601.84 cores=0-3,8-11
/proc/2485/stat : 2485 (toysat) R 2482 2485 32495 0 -1 4202496 274980 0 0 0 160131 53 0 0 20 0 4 0 28394026 1365839872 274947 33554432000 4194304 16246674 140737226622960 140737226604864 5822252 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2485/statm: 333457 274947 892 2943 0 330351 0
[pid=2485/tid=2486] ppid=2482 vsize=1333828 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2486/stat : 2486 (toysat) S 2482 2485 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28394026 1365839872 274947 33554432000 4194304 16246674 140737226622960 140001044049136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2485/tid=2487] ppid=2482 vsize=1333828 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2487/stat : 2487 (toysat) S 2482 2485 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28394026 1365839872 274947 33554432000 4194304 16246674 140737226622960 140001033559280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2485/tid=2488] ppid=2482 vsize=1333828 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2488/stat : 2488 (toysat) S 2482 2485 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28394026 1365839872 274947 33554432000 4194304 16246674 140737226622960 140001023085744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1333828

[startup+1662.3 s]
/proc/loadavg: 2.01 2.05 2.07 3/265 2579
/proc/meminfo: memFree=29752452/32872528 swapFree=7556/7556
[pid=2485] ppid=2482 vsize=1333828 CPUtime=1661.83 cores=0-3,8-11
/proc/2485/stat : 2485 (toysat) R 2482 2485 32495 0 -1 4202496 274980 0 0 0 166130 53 0 0 20 0 4 0 28394026 1365839872 274947 33554432000 4194304 16246674 140737226622960 140737226604864 5827966 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2485/statm: 333457 274947 892 2943 0 330351 0
[pid=2485/tid=2486] ppid=2482 vsize=1333828 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2486/stat : 2486 (toysat) S 2482 2485 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28394026 1365839872 274947 33554432000 4194304 16246674 140737226622960 140001044049136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2485/tid=2487] ppid=2482 vsize=1333828 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2487/stat : 2487 (toysat) S 2482 2485 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28394026 1365839872 274947 33554432000 4194304 16246674 140737226622960 140001033559280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2485/tid=2488] ppid=2482 vsize=1333828 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2488/stat : 2488 (toysat) S 2482 2485 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28394026 1365839872 274947 33554432000 4194304 16246674 140737226622960 140001023085744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1333828

[startup+1722.3 s]
/proc/loadavg: 2.13 2.07 2.07 3/265 2580
/proc/meminfo: memFree=29752824/32872528 swapFree=7556/7556
[pid=2485] ppid=2482 vsize=1333828 CPUtime=1721.82 cores=0-3,8-11
/proc/2485/stat : 2485 (toysat) R 2482 2485 32495 0 -1 4202496 274981 0 0 0 172129 53 0 0 20 0 4 0 28394026 1365839872 274950 33554432000 4194304 16246674 140737226622960 140737226604864 5822428 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2485/statm: 333457 274950 892 2943 0 330351 0
[pid=2485/tid=2486] ppid=2482 vsize=1333828 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2486/stat : 2486 (toysat) S 2482 2485 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28394026 1365839872 274950 33554432000 4194304 16246674 140737226622960 140001044049136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2485/tid=2487] ppid=2482 vsize=1333828 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2487/stat : 2487 (toysat) S 2482 2485 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28394026 1365839872 274950 33554432000 4194304 16246674 140737226622960 140001033559280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2485/tid=2488] ppid=2482 vsize=1333828 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2488/stat : 2488 (toysat) S 2482 2485 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28394026 1365839872 274950 33554432000 4194304 16246674 140737226622960 140001023085744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1333828

[startup+1782.3 s]
/proc/loadavg: 2.09 2.07 2.07 3/265 2582
/proc/meminfo: memFree=29752784/32872528 swapFree=7556/7556
[pid=2485] ppid=2482 vsize=1333828 CPUtime=1781.81 cores=0-3,8-11
/proc/2485/stat : 2485 (toysat) R 2482 2485 32495 0 -1 4202496 274981 0 0 0 178128 53 0 0 20 0 4 0 28394026 1365839872 274950 33554432000 4194304 16246674 140737226622960 140737226622136 12415740 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2485/statm: 333457 274950 892 2943 0 330351 0
[pid=2485/tid=2486] ppid=2482 vsize=1333828 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2486/stat : 2486 (toysat) S 2482 2485 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28394026 1365839872 274950 33554432000 4194304 16246674 140737226622960 140001044049136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2485/tid=2487] ppid=2482 vsize=1333828 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2487/stat : 2487 (toysat) S 2482 2485 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28394026 1365839872 274950 33554432000 4194304 16246674 140737226622960 140001033559280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2485/tid=2488] ppid=2482 vsize=1333828 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2488/stat : 2488 (toysat) S 2482 2485 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28394026 1365839872 274950 33554432000 4194304 16246674 140737226622960 140001023085744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1333828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.20 2.10 2.08 3/265 2582
/proc/meminfo: memFree=29752540/32872528 swapFree=7560/7560
[pid=2485] ppid=2482 vsize=1333828 CPUtime=1800 cores=0-3,8-11
/proc/2485/stat : 2485 (toysat) R 2482 2485 32495 0 -1 4202496 274981 0 0 0 179947 53 0 0 20 0 4 0 28394026 1365839872 274950 33554432000 4194304 16246674 140737226622960 140737226604864 5676002 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2485/statm: 333457 274950 892 2943 0 330351 0
[pid=2485/tid=2486] ppid=2482 vsize=1333828 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2486/stat : 2486 (toysat) S 2482 2485 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28394026 1365839872 274950 33554432000 4194304 16246674 140737226622960 140001044049136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2485/tid=2487] ppid=2482 vsize=1333828 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2487/stat : 2487 (toysat) S 2482 2485 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28394026 1365839872 274950 33554432000 4194304 16246674 140737226622960 140001033559280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2485/tid=2488] ppid=2482 vsize=1333828 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2488/stat : 2488 (toysat) S 2482 2485 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28394026 1365839872 274950 33554432000 4194304 16246674 140737226622960 140001023085744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1333828

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

[startup+1800.5 s]
/proc/loadavg: 2.20 2.10 2.08 3/265 2582
/proc/meminfo: memFree=29752540/32872528 swapFree=7560/7560
[pid=2485] ppid=2482 vsize=1333828 CPUtime=1800 cores=0-3,8-11
/proc/2485/stat : 2485 (toysat) R 2482 2485 32495 0 -1 4202496 274981 0 0 0 179947 53 0 0 20 0 4 0 28394026 1365839872 274950 33554432000 4194304 16246674 140737226622960 140737226604864 5676002 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2485/statm: 333457 274950 892 2943 0 330351 0
[pid=2485/tid=2486] ppid=2482 vsize=1333828 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2486/stat : 2486 (toysat) S 2482 2485 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28394026 1365839872 274950 33554432000 4194304 16246674 140737226622960 140001044049136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2485/tid=2487] ppid=2482 vsize=1333828 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2487/stat : 2487 (toysat) S 2482 2485 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28394026 1365839872 274950 33554432000 4194304 16246674 140737226622960 140001033559280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2485/tid=2488] ppid=2482 vsize=1333828 CPUtime=0 cores=0-3,8-11
/proc/2485/task/2488/stat : 2488 (toysat) S 2482 2485 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28394026 1365839872 274950 33554432000 4194304 16246674 140737226622960 140001023085744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1333828

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.48
CPU system time (s): 0.539917
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 1333828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.48
system time used= 0.539917
maximum resident set size= 1099800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274981
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= 348
involuntary context switches= 1951

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.04778 second user time and 10.1615 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-26 17:05:58
IDJOB=4116029
IDBENCH=109419
IDSOLVER=2542
FILE ID=node132/4116029-1466953558
RUNJOBID= node132-1466939688-32511
PBS_JOBID= 19976333
Free space on /tmp= 71512 MiB

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

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

MD5SUM BENCH= dd6e01899eb6d13d944da43efb759260
RANDOM SEED=55453912

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30855964 kB
Buffers:           25616 kB
Cached:           177640 kB
SwapCached:         1784 kB
Active:          1160884 kB
Inactive:         141276 kB
Active(anon):    1100100 kB
Inactive(anon):     1700 kB
Active(file):      60784 kB
Inactive(file):   139576 kB
Unevictable:        7556 kB
Mlocked:            7556 kB
SwapTotal:      67108856 kB
SwapFree:       67098636 kB
Dirty:             17004 kB
Writeback:             0 kB
AnonPages:       1106120 kB
Mapped:            10776 kB
Shmem:                 0 kB
Slab:             570284 kB
SReclaimable:      10828 kB
SUnreclaim:       559456 kB
KernelStack:        2240 kB
PageTables:         6680 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1250416 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:    628736 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71496 MiB
End job on node132 at 2016-06-26 17:35:59