Trace number 4115973

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-3.opb
MD5SUMa60d5b9361e66998e61250a2aafb07d9
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 benchmark705.001
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-26T15:04:19+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-4115973-1466946258.opb"]
0.00/0.01	c use --random-gen="3462944610 1032838105 693912570 1817856914 2635934005 331291609 2287497563 3104738641 1425459117 3705733666 1148258561 3510872188 3073837361 739775321 2006061126 2940402112 1415110751 32024982 3611412123 3969889844 1572401615 2808139150 546024916 3232008513 3203560498 3028736802 3557786329 3446590551 3919158249 645726720 482955037 2033543755 2819421402 1068509986 2110612974 2267799610 3238051715 1571082764 2570558969 4217204830 2398155585 639369848 3072832890 2769750844 330219554 3362473268 3736883386 2669757930 4162499975 1377577505 973286265 560940446 800193534 4197887114 999585973 2984494984 3141570514 262349742 3155889375 2415486117 3169489376 135772929 2758235236 685486476 882034537 599875399 3166578480 940830071 3615759519 1507359948 2322594304 1414701609 2441987725 1595349602 3086880524 34937809 1892824538 1442998625 4030590985 3876775440 43098979 4141475579 1002899955 3062663982 541957174 2994747514 240363525 3094257164 1105166026 395340464 3649777609 2718300830 1355498177 1507065979 602544136 1911047185 3099920462 407703159 3096466304 2235132220 2962885696 3905086378 1500009762 3181177350 1309903157 3792437314 2847801681 2738182400 4156521990 3197892849 2573193310 1438529899 3306298380 1818530580 888164993 1361896787 849135971 4082698845 3022561310 3043353780 599124546 1545932100 562223133 495809974 980003689 680940367 392706727 3525380884 1528341553 1085860384 2280626603 2702014483 2160863262 209568795 3938236818 1868658595 2857044163 1244782368 3487769765 4124347540 2416471324 2544966054 1948638140 3618735793 1854869546 2013493033 1877311666 2290590599 1205421610 2505653561 1415389693 1292530327 1387069178 1238431331 1010019947 665074854 2314390968 787562964 976151030 308065372 176384154 1538565821 690169772 4138982389 2402238200 2980671415 414331369 3747277694 1281134611 1541681268 3732866848 2114029163 3665420770 690893641 66810846 3868964257 2293825481 3283889341 3785021110 1623209499 4107571827 123292761 2707457834 266356627 1828216959 1339890157 2965583629 2434341754 3602230452 3346206366 3606222090 1271331645 3479226624 3160459248 115519942 3865868348 3915175182 527953965 290845877 1741013096 3481144185 4055025030 3637995367 3392617348 972485990 3951705667 1797531921 2731654048 340739669 2725526716 283235103 4038828174 1010098432 615409007 2097239263 2047646075 969457802 23392090 1205490947 3919828632 4148335960 1132683380 2241938567 763873694 4057487107 1682034525 3299188268 451273678 1915281925 2435083380 624515229 2996051248 1494598638 1611166606 1634982641 2857174037 2862637388 772838053 980822251 4237264719 1602611586 1851561321 1092445230 1992787619 1162197263 420215204 2089655425 3352619986 3994179773 4002743230 1795134184 2060036727 1140227746 568255170 3176310353 3029694339 255 362436" option to reproduce the execution
0.08/0.11	c #vars 4128
0.08/0.11	c #constraints 8656
0.19/0.25	c Solving starts ...
0.19/0.25	c ============================[ Search Statistics ]============================
0.19/0.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.25	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.25	c =============================================================================
0.19/0.25	c  0.0s |       0 |        0 |        0 |     4234      0 |      591 |        0
0.29/0.34	c  0.1s |       1 |     1300 |      100 |     4234      0 |      592 |      240
0.39/0.44	c  0.2s |       2 |     2560 |      250 |     4658      0 |      592 |      240
0.59/0.65	c  0.4s |       3 |     5485 |      475 |     5124      0 |      593 |      240
0.89/0.91	c  0.7s |       4 |     8484 |      813 |     5637      0 |      593 |      240
1.29/1.37	c  1.1s |       5 |    11222 |     1320 |     6201      0 |      593 |      240
2.20/2.22	c  2.0s |       6 |    15901 |     2081 |     7505      0 |      593 |      240
3.30/3.31	c  3.1s |       7 |    21327 |     3223 |     8256      0 |      593 |      240
4.40/4.49	c  4.2s |       8 |    28155 |     4936 |     9082      0 |      593 |      240
6.49/6.59	c  6.3s |       8 |    37261 |     7236 |     9082      0 |      593 |      240
7.09/7.15	c  6.9s |       9 |    37588 |     7506 |     9991      0 |      593 |      240
9.19/9.26	c  9.0s |       9 |    44797 |     9606 |     9991      0 |      593 |      240
11.00/11.06	c 10.8s |      10 |    48487 |    11361 |    10991      0 |      593 |      240
13.20/13.24	c 13.0s |      10 |    55294 |    13361 |    10991      1 |      593 |      240
15.29/15.32	c 15.1s |      10 |    59190 |    15061 |    10991      1 |      593 |      240
17.29/17.34	c 17.1s |      10 |    61264 |    16561 |    10991      1 |      593 |      240
18.19/18.22	c 18.0s |      11 |    61966 |    17144 |    12091      1 |      593 |      240
20.29/20.36	c 20.1s |      11 |    72218 |    19744 |    12091      1 |      593 |      240
22.39/22.48	c 22.2s |      11 |    74503 |    21344 |    12091      1 |      593 |      240
24.49/24.53	c 24.3s |      11 |    76630 |    22644 |    12091      2 |      593 |      240
26.59/26.62	c 26.4s |      11 |    78494 |    24044 |    12091      2 |      593 |      240
28.59/28.64	c 28.4s |      11 |    80151 |    25244 |    12091      2 |      593 |      240
29.69/29.73	c 29.5s |      12 |    80876 |    25819 |    13301      2 |      593 |      240
31.79/31.83	c 31.6s |      12 |    85048 |    27719 |    13301      2 |      593 |      240
33.88/33.92	c 33.7s |      12 |    87594 |    29219 |    13301      2 |      593 |      240
35.98/36.01	c 35.8s |      12 |    89551 |    30619 |    13301      2 |      593 |      240
38.08/38.11	c 37.9s |      12 |    90904 |    31719 |    13301      3 |      593 |      240
40.18/40.20	c 39.9s |      12 |    92378 |    32919 |    13301      3 |      593 |      240
42.18/42.21	c 42.0s |      12 |    93735 |    34019 |    13301      3 |      593 |      240
44.28/44.37	c 44.1s |      12 |    95651 |    35419 |    13301      3 |      593 |      240
46.48/46.51	c 46.3s |      12 |    97130 |    36619 |    13301      3 |      593 |      240
48.58/48.65	c 48.4s |      12 |    98351 |    37619 |    13301      3 |      593 |      240
50.59/50.67	c 50.4s |      12 |    99412 |    38519 |    13301      3 |      593 |      240
51.28/51.31	c 51.1s |      13 |    99772 |    38832 |    14632      3 |      593 |      240
53.28/53.32	c 53.1s |      13 |   105211 |    40732 |    14632      4 |      593 |      240
55.38/55.43	c 55.2s |      13 |   106981 |    42232 |    14632      4 |      593 |      240
57.48/57.53	c 57.3s |      13 |   108924 |    43732 |    14632      4 |      593 |      240
59.49/59.54	c 59.3s |      13 |   112165 |    45332 |    14632      4 |      593 |      240
61.48/61.57	c 61.3s |      13 |   118174 |    47432 |    14632      4 |      593 |      240
63.58/63.61	c 63.4s |      13 |   119837 |    48632 |    14632      5 |      593 |      240
65.68/65.76	c 65.5s |      13 |   121507 |    49832 |    14632      5 |      593 |      240
67.78/67.88	c 67.6s |      13 |   122998 |    50932 |    14632      5 |      593 |      240
69.98/70.04	c 69.8s |      13 |   124294 |    51932 |    14632      5 |      593 |      240
72.08/72.17	c 71.9s |      13 |   125734 |    52932 |    14632      5 |      593 |      240
74.28/74.39	c 74.1s |      13 |   126650 |    53632 |    14632      5 |      593 |      240
76.48/76.54	c 76.3s |      13 |   127999 |    54632 |    14632      5 |      593 |      240
78.58/78.61	c 78.4s |      13 |   129182 |    55532 |    14632      5 |      593 |      240
80.58/80.62	c 80.4s |      13 |   130275 |    56332 |    14632      5 |      593 |      240
82.58/82.63	c 82.4s |      13 |   131279 |    57132 |    14632      5 |      593 |      240
84.68/84.79	c 84.5s |      13 |   132196 |    57932 |    14632      6 |      593 |      240
85.88/85.95	c 85.7s |      14 |   132710 |    58352 |    16096      6 |      593 |      240
87.87/87.98	c 87.7s |      14 |   137550 |    60252 |    16096      6 |      593 |      240
89.97/90.02	c 89.8s |      14 |   139782 |    61852 |    16096      6 |      593 |      240
92.07/92.17	c 91.9s |      14 |   141399 |    63052 |    16096      6 |      593 |      240
94.27/94.31	c 94.1s |      14 |   143381 |    64452 |    16096      6 |      593 |      240
96.27/96.33	c 96.1s |      14 |   144907 |    65652 |    16096      6 |      593 |      240
98.27/98.39	c 98.1s |      14 |   146276 |    66752 |    16096      6 |      593 |      240
100.37/100.47	c  100s |      14 |   147649 |    67852 |    16096      6 |      593 |      240
102.57/102.62	c  102s |      14 |   148900 |    68752 |    16096      7 |      593 |      240
104.77/104.81	c  104s |      14 |   150216 |    69852 |    16096      7 |      593 |      240
106.87/106.91	c  106s |      14 |   151289 |    70752 |    16096      7 |      593 |      240
108.88/108.95	c  108s |      14 |   152203 |    71552 |    16096      7 |      593 |      240
110.97/111.05	c  110s |      14 |   153141 |    72352 |    16096      7 |      593 |      240
113.07/113.18	c  112s |      14 |   154048 |    73152 |    16096      7 |      593 |      240
115.37/115.43	c  115s |      14 |   154824 |    73852 |    16096      7 |      593 |      240
117.47/117.56	c  117s |      14 |   155604 |    74552 |    16096      7 |      593 |      240
119.67/119.73	c  119s |      14 |   156405 |    75252 |    16096      7 |      593 |      240
121.67/121.78	c  121s |      14 |   157073 |    75852 |    16096      7 |      593 |      240
123.97/124.01	c  123s |      14 |   157888 |    76552 |    16096      7 |      593 |      240
126.07/126.14	c  125s |      14 |   158545 |    77152 |    16096      7 |      593 |      240
128.47/128.57	c  128s |      14 |   159270 |    77752 |    16096      8 |      593 |      240
130.77/130.80	c  130s |      14 |   160402 |    78652 |    16096      8 |      593 |      240
132.86/132.96	c  132s |      14 |   161552 |    79552 |    16096      8 |      593 |      240
135.06/135.15	c  134s |      14 |   162918 |    80552 |    16096      8 |      593 |      240
137.27/137.35	c  137s |      14 |   164335 |    81652 |    16096      8 |      593 |      240
139.47/139.52	c  139s |      14 |   165454 |    82552 |    16096      8 |      593 |      240
141.67/141.72	c  141s |      14 |   166401 |    83352 |    16096      8 |      593 |      240
143.77/143.87	c  143s |      14 |   167374 |    84152 |    16096      8 |      593 |      240
145.87/145.94	c  145s |      14 |   168166 |    84852 |    16096      8 |      593 |      240
147.87/147.99	c  147s |      14 |   168862 |    85452 |    16096      8 |      593 |      240
149.97/150.05	c  149s |      14 |   169547 |    86052 |    16096      8 |      593 |      240
152.07/152.10	c  151s |      14 |   170250 |    86652 |    16096      8 |      593 |      240
154.37/154.44	c  154s |      14 |   171054 |    87352 |    17706      8 |      593 |      240
155.37/155.48	c  155s |      15 |   171371 |    87632 |    17706      8 |      593 |      240
157.38/157.48	c  157s |      15 |   176847 |    89332 |    17706      9 |      593 |      240
159.37/159.50	c  159s |      15 |   180836 |    91232 |    17706      9 |      593 |      240
161.57/161.66	c  161s |      15 |   184030 |    93032 |    17706      9 |      593 |      240
163.57/163.67	c  163s |      15 |   185654 |    94332 |    17706      9 |      593 |      240
165.67/165.74	c  165s |      15 |   187273 |    95532 |    17706      9 |      593 |      240
168.07/168.10	c  167s |      15 |   193915 |    97732 |    17706     10 |      593 |      240
170.07/170.12	c  169s |      15 |   196285 |    99232 |    17706     10 |      593 |      240
172.07/172.12	c  171s |      15 |   198371 |   100532 |    17706     10 |      593 |      240
174.17/174.21	c  173s |      15 |   200178 |   101832 |    17706     10 |      593 |      240
176.17/176.28	c  176s |      15 |   201770 |   103032 |    17706     10 |      593 |      240
178.17/178.30	c  178s |      15 |   203057 |   104032 |    17706     10 |      593 |      240
180.37/180.41	c  180s |      15 |   204459 |   105132 |    17706     10 |      593 |      240
182.37/182.44	c  182s |      15 |   205709 |   106132 |    17706     10 |      593 |      240
184.57/184.68	c  184s |      15 |   207095 |   107232 |    17706     10 |      593 |      240
186.66/186.70	c  186s |      15 |   208063 |   108032 |    17706     11 |      593 |      240
188.86/188.90	c  188s |      15 |   209289 |   108932 |    17706     11 |      593 |      240
190.86/190.92	c  190s |      15 |   213140 |   110832 |    17706     11 |      593 |      240
192.86/192.96	c  192s |      15 |   214973 |   112332 |    17706     11 |      593 |      240
194.96/195.04	c  194s |      15 |   219991 |   114232 |    17706     11 |      593 |      240
197.06/197.15	c  196s |      15 |   222728 |   115732 |    17706     11 |      593 |      240
199.26/199.33	c  199s |      15 |   224383 |   117032 |    17706     11 |      593 |      240
201.37/201.42	c  201s |      15 |   225789 |   118032 |    17706     12 |      593 |      240
203.47/203.55	c  203s |      15 |   227497 |   119332 |    17706     12 |      593 |      240
205.46/205.59	c  205s |      15 |   228617 |   120332 |    17706     12 |      593 |      240
207.66/207.76	c  207s |      15 |   230300 |   121632 |    17706     12 |      593 |      240
209.76/209.82	c  209s |      15 |   231670 |   122732 |    17706     12 |      593 |      240
211.76/211.83	c  211s |      15 |   232712 |   123632 |    17706     12 |      593 |      240
213.86/213.94	c  213s |      15 |   233728 |   124532 |    17706     12 |      593 |      240
215.96/216.06	c  215s |      15 |   234658 |   125332 |    17706     12 |      593 |      240
218.06/218.11	c  217s |      15 |   238928 |   126632 |    17706     12 |      593 |      240
220.07/220.17	c  219s |      15 |   242432 |   128032 |    17706     12 |      593 |      240
222.17/222.29	c  222s |      15 |   243741 |   128932 |    17706     13 |      593 |      240
224.26/224.31	c  224s |      15 |   244964 |   129832 |    17706     13 |      593 |      240
226.46/226.50	c  226s |      15 |   246056 |   130732 |    19477     13 |      593 |      240
228.56/228.60	c  228s |      15 |   246875 |   131432 |    19477     13 |      593 |      240
228.96/229.03	c  228s |      16 |   247015 |   131552 |    19477     13 |      593 |      240
231.06/231.12	c  230s |      16 |   250933 |   132952 |    19477     13 |      593 |      240
233.16/233.24	c  232s |      16 |   252387 |   134152 |    19477     13 |      593 |      240
235.16/235.28	c  235s |      16 |   253563 |   135152 |    19477     13 |      593 |      240
237.25/237.35	c  237s |      16 |   254749 |   136152 |    19477     13 |      593 |      240
239.45/239.52	c  239s |      16 |   256134 |   137352 |    19477     13 |      593 |      240
241.65/241.72	c  241s |      16 |   257270 |   138352 |    19477     13 |      593 |      240
243.85/243.92	c  243s |      16 |   258165 |   139152 |    19477     13 |      593 |      240
245.95/246.04	c  245s |      16 |   258931 |   139852 |    19477     13 |      593 |      240
247.95/248.05	c  247s |      16 |   263508 |   140952 |    19477     14 |      593 |      240
250.05/250.16	c  249s |      16 |   269876 |   142752 |    19477     14 |      593 |      240
252.05/252.19	c  251s |      16 |   273426 |   144152 |    19477     14 |      593 |      240
254.25/254.30	c  254s |      16 |   274914 |   145352 |    19477     14 |      593 |      240
256.26/256.36	c  256s |      16 |   276015 |   146252 |    19477     14 |      593 |      240
258.46/258.51	c  258s |      16 |   277518 |   147352 |    19477     14 |      593 |      240
260.45/260.54	c  260s |      16 |   278565 |   148252 |    19477     14 |      593 |      240
262.55/262.60	c  262s |      16 |   279622 |   149152 |    19477     14 |      593 |      240
264.55/264.66	c  264s |      16 |   280703 |   150052 |    19477     14 |      593 |      240
266.75/266.80	c  266s |      16 |   281712 |   150852 |    19477     14 |      593 |      240
268.95/269.00	c  268s |      16 |   282673 |   151652 |    19477     14 |      593 |      240
270.95/271.08	c  270s |      16 |   283567 |   152352 |    19477     15 |      593 |      240
273.15/273.25	c  273s |      16 |   284463 |   153152 |    19477     15 |      593 |      240
275.25/275.38	c  275s |      16 |   285350 |   153952 |    19477     15 |      593 |      240
277.45/277.56	c  277s |      16 |   286259 |   154752 |    19477     15 |      593 |      240
279.75/279.80	c  279s |      16 |   287052 |   155452 |    19477     15 |      593 |      240
281.85/281.95	c  281s |      16 |   288217 |   156352 |    19477     15 |      593 |      240
283.85/283.99	c  283s |      16 |   289130 |   157152 |    19477     15 |      593 |      240
285.95/286.07	c  285s |      16 |   290567 |   158152 |    19477     15 |      593 |      240
288.15/288.25	c  288s |      16 |   292234 |   159152 |    19477     15 |      593 |      240
290.24/290.38	c  290s |      16 |   293395 |   160052 |    19477     15 |      593 |      240
292.34/292.40	c  292s |      16 |   294718 |   160952 |    19477     15 |      593 |      240
294.34/294.47	c  294s |      16 |   295674 |   161752 |    19477     15 |      593 |      240
296.54/296.62	c  296s |      16 |   296613 |   162552 |    19477     15 |      593 |      240
298.64/298.77	c  298s |      16 |   297416 |   163252 |    19477     15 |      593 |      240
300.84/300.90	c  300s |      16 |   298637 |   164052 |    19477     16 |      593 |      240
302.84/302.91	c  302s |      16 |   300260 |   165052 |    19477     16 |      593 |      240
304.94/305.06	c  304s |      16 |   301383 |   165952 |    19477     16 |      593 |      240
307.14/307.24	c  306s |      16 |   302425 |   166852 |    19477     16 |      593 |      240
309.24/309.35	c  309s |      16 |   303167 |   167552 |    19477     16 |      593 |      240
311.24/311.36	c  311s |      16 |   304091 |   168352 |    19477     16 |      593 |      240
313.44/313.58	c  313s |      16 |   305022 |   169152 |    19477     16 |      593 |      240
315.54/315.60	c  315s |      16 |   305866 |   169852 |    19477     16 |      593 |      240
317.74/317.84	c  317s |      16 |   306773 |   170652 |    19477     16 |      593 |      240
319.94/320.03	c  319s |      16 |   307634 |   171352 |    19477     16 |      593 |      240
321.94/322.04	c  321s |      16 |   308318 |   171952 |    19477     16 |      593 |      240
324.04/324.12	c  323s |      16 |   309039 |   172552 |    19477     16 |      593 |      240
326.24/326.32	c  326s |      16 |   309898 |   173252 |    19477     16 |      593 |      240
328.24/328.32	c  328s |      16 |   310723 |   173952 |    19477     16 |      593 |      240
330.83/330.94	c  330s |      16 |   311509 |   174652 |    19477     17 |      593 |      240
333.03/333.13	c  332s |      16 |   312404 |   175452 |    19477     17 |      593 |      240
335.13/335.22	c  334s |      16 |   313187 |   176152 |    19477     17 |      593 |      240
337.33/337.49	c  337s |      16 |   313978 |   176852 |    19477     17 |      593 |      240
339.44/339.57	c  339s |      16 |   314790 |   177552 |    19477     17 |      593 |      240
341.74/341.83	c  341s |      16 |   315585 |   178252 |    19477     17 |      593 |      240
343.74/343.87	c  343s |      16 |   316397 |   178952 |    19477     17 |      593 |      240
345.94/346.06	c  345s |      16 |   317153 |   179652 |    19477     17 |      593 |      240
348.14/348.27	c  348s |      16 |   317910 |   180352 |    19477     17 |      593 |      240
350.34/350.47	c  350s |      16 |   318686 |   181052 |    19477     17 |      593 |      240
352.64/352.75	c  352s |      16 |   319425 |   181752 |    19477     17 |      593 |      240
354.84/354.93	c  354s |      16 |   320108 |   182352 |    19477     17 |      593 |      240
357.14/357.29	c  357s |      16 |   320732 |   182952 |    19477     17 |      593 |      240
359.34/359.44	c  359s |      16 |   321255 |   183452 |    19477     17 |      593 |      240
361.54/361.66	c  361s |      16 |   321798 |   183952 |    19477     17 |      593 |      240
363.94/364.06	c  363s |      16 |   322548 |   184552 |    19477     17 |      593 |      240
366.14/366.29	c  366s |      16 |   323244 |   185152 |    19477     17 |      593 |      240
368.34/368.45	c  368s |      16 |   323834 |   185652 |    19477     17 |      593 |      240
370.54/370.70	c  370s |      16 |   324289 |   186052 |    19477     18 |      593 |      240
372.64/372.76	c  372s |      16 |   325127 |   186752 |    19477     18 |      593 |      240
374.84/374.90	c  374s |      16 |   325888 |   187452 |    19477     18 |      593 |      240
376.84/376.98	c  376s |      16 |   326667 |   188152 |    19477     18 |      593 |      240
379.04/379.14	c  378s |      16 |   327462 |   188852 |    19477     18 |      593 |      240
381.04/381.18	c  380s |      16 |   328015 |   189352 |    19477     18 |      593 |      240
383.33/383.44	c  383s |      16 |   328855 |   190052 |    19477     18 |      593 |      240
385.44/385.56	c  385s |      16 |   329514 |   190652 |    19477     18 |      593 |      240
387.53/387.66	c  387s |      16 |   330066 |   191152 |    19477     18 |      593 |      240
389.83/389.95	c  389s |      16 |   330740 |   191752 |    19477     18 |      593 |      240
391.83/391.98	c  391s |      16 |   331323 |   192252 |    19477     18 |      593 |      240
393.93/394.05	c  393s |      16 |   331871 |   192752 |    19477     18 |      593 |      240
396.13/396.22	c  395s |      16 |   332429 |   193252 |    19477     18 |      593 |      240
398.14/398.27	c  398s |      16 |   333017 |   193752 |    19477     18 |      593 |      240
400.53/400.61	c  400s |      16 |   333559 |   194252 |    19477     18 |      593 |      240
402.64/402.75	c  402s |      16 |   334160 |   194752 |    19477     18 |      593 |      240
404.93/405.03	c  404s |      16 |   334687 |   195252 |    19477     18 |      593 |      240
407.04/407.14	c  406s |      16 |   335225 |   195752 |    19477     18 |      593 |      240
409.03/409.20	c  408s |      16 |   335783 |   196252 |    21425     18 |      593 |      240
411.53/411.66	c  411s |      16 |   336318 |   196752 |    21425     18 |      593 |      240
413.83/413.93	c  413s |      16 |   337064 |   197352 |    21425     18 |      593 |      240
414.13/414.22	c  413s |      17 |   337165 |   197432 |    21425     18 |      593 |      240
416.13/416.28	c  416s |      17 |   346441 |   199032 |    21425     19 |      593 |      240
418.13/418.29	c  418s |      17 |   352944 |   201632 |    21425     19 |      593 |      240
420.33/420.44	c  420s |      17 |   355256 |   203232 |    21425     19 |      593 |      240
422.43/422.52	c  422s |      17 |   357579 |   204732 |    21425     19 |      593 |      240
424.53/424.61	c  424s |      17 |   359028 |   205832 |    21425     19 |      593 |      240
426.53/426.64	c  426s |      17 |   360363 |   206832 |    21425     19 |      593 |      240
428.63/428.76	c  428s |      17 |   361644 |   207832 |    21425     19 |      593 |      240
430.72/430.86	c  430s |      17 |   363051 |   208932 |    21425     19 |      593 |      240
432.92/433.05	c  432s |      17 |   364117 |   209832 |    21425     19 |      593 |      240
435.12/435.27	c  435s |      17 |   365005 |   210632 |    21425     19 |      593 |      240
437.22/437.34	c  437s |      17 |   365699 |   211232 |    21425     20 |      593 |      240
439.42/439.50	c  439s |      17 |   366758 |   212132 |    21425     20 |      593 |      240
441.52/441.65	c  441s |      17 |   368209 |   213132 |    21425     20 |      593 |      240
443.72/443.81	c  443s |      17 |   369501 |   214132 |    21425     20 |      593 |      240
445.92/446.03	c  445s |      17 |   370579 |   215032 |    21425     20 |      593 |      240
447.92/448.04	c  447s |      17 |   371619 |   215832 |    21425     20 |      593 |      240
450.22/450.30	c  450s |      17 |   372754 |   216732 |    21425     20 |      593 |      240
452.42/452.54	c  452s |      17 |   373715 |   217532 |    21425     20 |      593 |      240
454.42/454.54	c  454s |      17 |   374802 |   218332 |    21425     20 |      593 |      240
456.42/456.56	c  456s |      17 |   375795 |   219132 |    21425     20 |      593 |      240
458.62/458.78	c  458s |      17 |   376786 |   219932 |    21425     20 |      593 |      240
460.82/460.99	c  460s |      17 |   377616 |   220632 |    21425     20 |      593 |      240
463.12/463.25	c  462s |      17 |   378434 |   221332 |    21425     20 |      593 |      240
465.12/465.30	c  465s |      17 |   379155 |   221932 |    21425     20 |      593 |      240
467.71/467.82	c  467s |      17 |   380576 |   222832 |    21425     21 |      593 |      240
469.72/469.88	c  469s |      17 |   382433 |   224032 |    21425     21 |      593 |      240
471.92/472.00	c  471s |      17 |   383826 |   225032 |    21425     21 |      593 |      240
473.91/474.06	c  473s |      17 |   384827 |   225832 |    21425     21 |      593 |      240
475.91/476.09	c  475s |      17 |   385853 |   226632 |    21425     21 |      593 |      240
478.11/478.21	c  477s |      17 |   386963 |   227532 |    21425     21 |      593 |      240
480.21/480.39	c  480s |      17 |   388106 |   228432 |    21425     21 |      593 |      240
482.31/482.48	c  482s |      17 |   389146 |   229232 |    21425     21 |      593 |      240
484.51/484.68	c  484s |      17 |   389955 |   229932 |    21425     21 |      593 |      240
486.71/486.85	c  486s |      17 |   391224 |   230832 |    21425     21 |      593 |      240
488.81/488.92	c  488s |      17 |   392412 |   231732 |    21425     21 |      593 |      240
491.01/491.13	c  490s |      17 |   393423 |   232532 |    21425     21 |      593 |      240
493.11/493.26	c  493s |      17 |   394553 |   233432 |    21425     21 |      593 |      240
495.31/495.40	c  495s |      17 |   395422 |   234132 |    21425     21 |      593 |      240
497.51/497.67	c  497s |      17 |   396411 |   234932 |    21425     21 |      593 |      240
499.51/499.68	c  499s |      17 |   397435 |   235632 |    21425     22 |      593 |      240
501.71/501.87	c  501s |      17 |   398814 |   236632 |    21425     22 |      593 |      240
503.91/504.00	c  503s |      17 |   400056 |   237532 |    21425     22 |      593 |      240
506.01/506.18	c  505s |      17 |   401021 |   238332 |    21425     22 |      593 |      240
508.11/508.23	c  507s |      17 |   402040 |   239132 |    21425     22 |      593 |      240
510.20/510.40	c  510s |      17 |   402953 |   239832 |    21425     22 |      593 |      240
512.30/512.44	c  512s |      17 |   403745 |   240532 |    21425     22 |      593 |      240
514.50/514.64	c  514s |      17 |   404700 |   241332 |    21425     22 |      593 |      240
516.80/516.97	c  516s |      17 |   405626 |   242132 |    21425     22 |      593 |      240
519.00/519.19	c  518s |      17 |   406467 |   242832 |    21425     22 |      593 |      240
521.20/521.31	c  521s |      17 |   407136 |   243432 |    21425     22 |      593 |      240
523.30/523.45	c  523s |      17 |   407831 |   244032 |    21425     22 |      593 |      240
525.61/525.76	c  525s |      17 |   408654 |   244732 |    21425     22 |      593 |      240
527.71/527.80	c  527s |      17 |   409354 |   245332 |    21425     22 |      593 |      240
529.91/530.00	c  529s |      17 |   410101 |   245932 |    21425     22 |      593 |      240
532.01/532.16	c  531s |      17 |   410684 |   246432 |    21425     22 |      593 |      240
534.11/534.22	c  533s |      17 |   411254 |   246932 |    21425     22 |      593 |      240
536.61/536.71	c  536s |      17 |   411853 |   247432 |    21425     23 |      593 |      240
538.80/538.90	c  538s |      17 |   412540 |   248032 |    21425     23 |      593 |      240
541.00/541.14	c  540s |      17 |   413376 |   248732 |    21425     23 |      593 |      240
543.20/543.35	c  543s |      17 |   414041 |   249332 |    21425     23 |      593 |      240
545.30/545.42	c  545s |      17 |   414848 |   249932 |    21425     23 |      593 |      240
547.60/547.71	c  547s |      17 |   415876 |   250732 |    21425     23 |      593 |      240
549.80/549.95	c  549s |      17 |   416679 |   251432 |    21425     23 |      593 |      240
551.90/552.04	c  551s |      17 |   418114 |   252232 |    21425     23 |      593 |      240
554.10/554.21	c  553s |      17 |   420350 |   253532 |    21425     23 |      593 |      240
556.10/556.28	c  556s |      17 |   421468 |   254432 |    21425     23 |      593 |      240
558.10/558.29	c  558s |      17 |   422278 |   255132 |    21425     23 |      593 |      240
560.20/560.39	c  560s |      17 |   423779 |   256032 |    21425     23 |      593 |      240
562.30/562.40	c  562s |      17 |   427574 |   257232 |    21425     23 |      593 |      240
564.40/564.58	c  564s |      17 |   430237 |   258532 |    21425     23 |      593 |      240
566.59/566.75	c  566s |      17 |   431591 |   259532 |    21425     23 |      593 |      240
568.70/568.81	c  568s |      17 |   432709 |   260432 |    21425     24 |      593 |      240
570.69/570.84	c  570s |      17 |   433922 |   261432 |    21425     24 |      593 |      240
572.89/573.05	c  572s |      17 |   435167 |   262432 |    21425     24 |      593 |      240
575.09/575.28	c  575s |      17 |   436214 |   263332 |    21425     24 |      593 |      240
577.29/577.42	c  577s |      17 |   437459 |   264232 |    21425     24 |      593 |      240
579.29/579.44	c  579s |      17 |   439205 |   265332 |    21425     24 |      593 |      240
581.49/581.63	c  581s |      17 |   440438 |   266332 |    21425     24 |      593 |      240
583.59/583.78	c  583s |      17 |   441480 |   267232 |    21425     24 |      593 |      240
585.89/586.01	c  585s |      17 |   442630 |   268132 |    21425     24 |      593 |      240
587.89/588.02	c  587s |      17 |   443626 |   268932 |    21425     24 |      593 |      240
589.89/590.06	c  589s |      17 |   444593 |   269732 |    21425     24 |      593 |      240
591.99/592.16	c  591s |      17 |   445613 |   270532 |    21425     24 |      593 |      240
594.09/594.28	c  594s |      17 |   446416 |   271232 |    21425     24 |      593 |      240
596.39/596.57	c  596s |      17 |   447366 |   272032 |    21425     24 |      593 |      240
598.59/598.79	c  598s |      17 |   448160 |   272732 |    21425     25 |      593 |      240
600.78/600.97	c  600s |      17 |   449067 |   273532 |    21425     25 |      593 |      240
602.98/603.13	c  602s |      17 |   449997 |   274332 |    21425     25 |      593 |      240
605.08/605.25	c  604s |      17 |   451354 |   275232 |    21425     25 |      593 |      240
607.28/607.40	c  607s |      17 |   452446 |   276132 |    21425     25 |      593 |      240
609.29/609.41	c  609s |      17 |   453427 |   276932 |    21425     25 |      593 |      240
611.38/611.57	c  611s |      17 |   454387 |   277732 |    21425     25 |      593 |      240
613.58/613.72	c  613s |      17 |   455340 |   278532 |    21425     25 |      593 |      240
615.89/616.02	c  615s |      17 |   456222 |   279332 |    21425     25 |      593 |      240
617.98/618.14	c  617s |      17 |   456987 |   280032 |    21425     25 |      593 |      240
620.29/620.43	c  620s |      17 |   457770 |   280732 |    21425     25 |      593 |      240
622.49/622.64	c  622s |      17 |   458588 |   281432 |    21425     25 |      593 |      240
624.69/624.87	c  624s |      17 |   459242 |   282032 |    21425     25 |      593 |      240
626.98/627.14	c  626s |      17 |   459923 |   282632 |    21425     25 |      593 |      240
629.28/629.43	c  629s |      17 |   460587 |   283232 |    21425     25 |      593 |      240
631.28/631.47	c  631s |      17 |   461125 |   283732 |    21425     25 |      593 |      240
633.37/633.55	c  633s |      17 |   461650 |   284232 |    21425     25 |      593 |      240
635.68/635.87	c  635s |      17 |   462204 |   284732 |    21425     26 |      593 |      240
637.88/638.07	c  637s |      17 |   463138 |   285532 |    21425     26 |      593 |      240
639.97/640.11	c  639s |      17 |   463965 |   286232 |    21425     26 |      593 |      240
642.28/642.43	c  642s |      17 |   464726 |   286932 |    21425     26 |      593 |      240
644.49/644.64	c  644s |      17 |   465729 |   287732 |    21425     26 |      593 |      240
646.79/646.91	c  646s |      17 |   466863 |   288632 |    21425     26 |      593 |      240
648.78/648.93	c  648s |      17 |   467841 |   289432 |    21425     26 |      593 |      240
651.09/651.21	c  650s |      17 |   468774 |   290232 |    21425     26 |      593 |      240
653.28/653.47	c  653s |      17 |   469716 |   291032 |    21425     26 |      593 |      240
655.58/655.76	c  655s |      17 |   470495 |   291732 |    21425     26 |      593 |      240
657.78/657.96	c  657s |      17 |   471321 |   292432 |    21425     26 |      593 |      240
659.98/660.19	c  659s |      17 |   472146 |   293132 |    21425     26 |      593 |      240
662.18/662.31	c  662s |      17 |   472858 |   293732 |    21425     26 |      593 |      240
664.28/664.42	c  664s |      17 |   473559 |   294332 |    23568     26 |      593 |      240
666.37/666.52	c  666s |      17 |   474255 |   294932 |    23568     26 |      593 |      240
668.68/668.88	c  668s |      17 |   474968 |   295532 |    23568     26 |      593 |      240
671.07/671.20	c  670s |      17 |   475667 |   296132 |    23568     26 |      593 |      240
671.47/671.62	c  671s |      18 |   475831 |   296252 |    23568     26 |      593 |      240
673.58/673.73	c  673s |      18 |   480186 |   297352 |    23568     27 |      593 |      240
675.58/675.76	c  675s |      18 |   481980 |   298652 |    23568     27 |      593 |      240
677.77/677.95	c  677s |      18 |   483285 |   299752 |    23568     27 |      593 |      240
679.78/679.97	c  679s |      18 |   484220 |   300552 |    23568     27 |      593 |      240
681.88/682.06	c  681s |      18 |   485328 |   301452 |    23568     27 |      593 |      240
684.08/684.24	c  683s |      18 |   486562 |   302452 |    23568     27 |      593 |      240
686.17/686.36	c  686s |      18 |   487726 |   303452 |    23568     27 |      593 |      240
688.17/688.38	c  688s |      18 |   488820 |   304352 |    23568     27 |      593 |      240
690.37/690.60	c  690s |      18 |   489898 |   305252 |    23568     27 |      593 |      240
692.56/692.74	c  692s |      18 |   490839 |   306052 |    23568     27 |      593 |      240
694.66/694.87	c  694s |      18 |   491848 |   306852 |    23568     27 |      593 |      240
696.86/697.02	c  696s |      18 |   492810 |   307652 |    23568     27 |      593 |      240
698.96/699.16	c  698s |      18 |   493754 |   308452 |    23568     27 |      593 |      240
700.96/701.17	c  700s |      18 |   494562 |   309152 |    23568     27 |      593 |      240
703.06/703.27	c  703s |      18 |   495348 |   309852 |    23568     27 |      593 |      240
705.16/705.35	c  705s |      18 |   496118 |   310452 |    23568     27 |      593 |      240
707.16/707.35	c  707s |      18 |   496872 |   311052 |    23568     28 |      593 |      240
709.46/709.62	c  709s |      18 |   497919 |   311852 |    23568     28 |      593 |      240
711.66/711.84	c  711s |      18 |   498661 |   312452 |    23568     28 |      593 |      240
713.96/714.11	c  713s |      18 |   499096 |   312852 |    23568     28 |      593 |      240
715.96/716.13	c  715s |      18 |   499705 |   313352 |    23568     28 |      593 |      240
718.05/718.23	c  717s |      18 |   500412 |   313952 |    23568     28 |      593 |      240
720.15/720.30	c  720s |      18 |   501219 |   314652 |    23568     28 |      593 |      240
722.25/722.49	c  722s |      18 |   502046 |   315352 |    23568     28 |      593 |      240
724.45/724.62	c  724s |      18 |   502760 |   315952 |    23568     28 |      593 |      240
726.55/726.70	c  726s |      18 |   503483 |   316552 |    23568     28 |      593 |      240
728.85/729.03	c  728s |      18 |   504130 |   317152 |    23568     28 |      593 |      240
731.15/731.30	c  731s |      18 |   504781 |   317752 |    23568     28 |      593 |      240
733.35/733.59	c  733s |      18 |   505458 |   318352 |    23568     28 |      593 |      240
735.75/735.92	c  735s |      18 |   506125 |   318952 |    23568     28 |      593 |      240
737.95/738.13	c  737s |      18 |   506752 |   319452 |    23568     28 |      593 |      240
739.94/740.13	c  739s |      18 |   507331 |   319952 |    23568     28 |      593 |      240
742.14/742.32	c  742s |      18 |   508017 |   320552 |    23568     28 |      593 |      240
744.34/744.58	c  744s |      18 |   508739 |   321152 |    23568     28 |      593 |      240
746.63/746.82	c  746s |      18 |   509465 |   321752 |    23568     28 |      593 |      240
748.83/749.03	c  748s |      18 |   510058 |   322252 |    23568     28 |      593 |      240
750.93/751.17	c  750s |      18 |   510620 |   322752 |    23568     28 |      593 |      240
753.03/753.25	c  753s |      18 |   511191 |   323252 |    23568     28 |      593 |      240
755.43/755.64	c  755s |      18 |   511747 |   323752 |    23568     28 |      593 |      240
758.23/758.45	c  758s |      18 |   512344 |   324252 |    23568     29 |      593 |      240
760.43/760.60	c  760s |      18 |   513028 |   324852 |    23568     29 |      593 |      240
762.53/762.76	c  762s |      18 |   513773 |   325452 |    23568     29 |      593 |      240
764.53/764.79	c  764s |      18 |   514671 |   326152 |    23568     29 |      593 |      240
766.83/767.08	c  766s |      18 |   515696 |   326952 |    23568     29 |      593 |      240
769.03/769.23	c  768s |      18 |   516496 |   327652 |    23568     29 |      593 |      240
771.33/771.54	c  771s |      18 |   517461 |   328452 |    23568     29 |      593 |      240
773.73/773.93	c  773s |      18 |   518292 |   329152 |    23568     29 |      593 |      240
775.73/775.99	c  775s |      18 |   518986 |   329752 |    23568     29 |      593 |      240
778.02/778.29	c  778s |      18 |   519821 |   330452 |    23568     29 |      593 |      240
780.22/780.43	c  780s |      18 |   520506 |   331052 |    23568     29 |      593 |      240
782.32/782.56	c  782s |      18 |   521230 |   331652 |    23568     29 |      593 |      240
784.52/784.79	c  784s |      18 |   522060 |   332352 |    23568     29 |      593 |      240
786.72/786.93	c  786s |      18 |   522774 |   332952 |    23568     29 |      593 |      240
789.02/789.21	c  788s |      18 |   523437 |   333552 |    23568     29 |      593 |      240
791.12/791.36	c  791s |      18 |   524115 |   334152 |    23568     29 |      593 |      240
793.41/793.67	c  793s |      18 |   524810 |   334752 |    23568     29 |      593 |      240
795.51/795.72	c  795s |      18 |   525393 |   335252 |    23568     29 |      593 |      240
797.51/797.78	c  797s |      18 |   525975 |   335752 |    23568     29 |      593 |      240
799.71/799.99	c  799s |      18 |   526530 |   336252 |    23568     29 |      593 |      240
801.91/802.17	c  801s |      18 |   527098 |   336752 |    23568     29 |      593 |      240
804.11/804.38	c  804s |      18 |   527659 |   337252 |    23568     29 |      593 |      240
806.40/806.69	c  806s |      18 |   528119 |   337652 |    23568     30 |      593 |      240
808.60/808.87	c  808s |      18 |   528786 |   338252 |    23568     30 |      593 |      240
810.80/811.02	c  810s |      18 |   529471 |   338852 |    23568     30 |      593 |      240
812.90/813.14	c  812s |      18 |   530152 |   339452 |    23568     30 |      593 |      240
815.01/815.27	c  815s |      18 |   530864 |   340052 |    23568     30 |      593 |      240
817.29/817.54	c  817s |      18 |   531651 |   340752 |    23568     30 |      593 |      240
819.40/819.67	c  819s |      18 |   532327 |   341352 |    23568     30 |      593 |      240
821.79/822.06	c  821s |      18 |   533004 |   341952 |    23568     30 |      593 |      240
824.09/824.30	c  824s |      18 |   533673 |   342552 |    23568     30 |      593 |      240
826.19/826.49	c  826s |      18 |   534359 |   343152 |    23568     30 |      593 |      240
828.48/828.79	c  828s |      18 |   535031 |   343752 |    23568     30 |      593 |      240
830.68/830.99	c  830s |      18 |   535747 |   344352 |    23568     30 |      593 |      240
832.98/833.27	c  833s |      18 |   536474 |   344952 |    23568     30 |      593 |      240
835.28/835.52	c  835s |      18 |   537162 |   345552 |    23568     30 |      593 |      240
837.28/837.59	c  837s |      18 |   537767 |   346052 |    23568     30 |      593 |      240
839.38/839.62	c  839s |      18 |   538340 |   346552 |    23568     30 |      593 |      240
841.58/841.85	c  841s |      18 |   538914 |   347052 |    23568     30 |      593 |      240
843.58/843.89	c  843s |      18 |   539495 |   347552 |    23568     30 |      593 |      240
846.08/846.31	c  846s |      18 |   540058 |   348052 |    23568     30 |      593 |      240
848.47/848.73	c  848s |      18 |   540611 |   348552 |    23568     30 |      593 |      240
850.77/851.06	c  850s |      18 |   541178 |   349052 |    23568     30 |      593 |      240
852.97/853.27	c  853s |      18 |   541763 |   349552 |    23568     30 |      593 |      240
855.28/855.55	c  855s |      18 |   542321 |   350052 |    23568     30 |      593 |      240
857.57/857.81	c  857s |      18 |   542944 |   350552 |    23568     30 |      593 |      240
859.87/860.13	c  859s |      18 |   543556 |   351052 |    23568     31 |      593 |      240
862.18/862.40	c  862s |      18 |   544245 |   351652 |    23568     31 |      593 |      240
864.38/864.68	c  864s |      18 |   544929 |   352252 |    23568     31 |      593 |      240
866.46/866.73	c  866s |      18 |   545485 |   352752 |    23568     31 |      593 |      240
868.87/869.11	c  868s |      18 |   546161 |   353352 |    23568     31 |      593 |      240
871.16/871.45	c  871s |      18 |   546856 |   353952 |    23568     31 |      593 |      240
873.46/873.75	c  873s |      18 |   547406 |   354452 |    23568     31 |      593 |      240
875.76/876.00	c  875s |      18 |   548057 |   355052 |    23568     31 |      593 |      240
878.06/878.32	c  878s |      18 |   548618 |   355552 |    23568     31 |      593 |      240
880.06/880.38	c  880s |      18 |   549154 |   356052 |    23568     31 |      593 |      240
882.15/882.46	c  882s |      18 |   549720 |   356552 |    23568     31 |      593 |      240
884.26/884.54	c  884s |      18 |   550415 |   357152 |    23568     31 |      593 |      240
886.46/886.74	c  886s |      18 |   551136 |   357752 |    23568     31 |      593 |      240
888.75/889.00	c  888s |      18 |   551859 |   358352 |    23568     31 |      593 |      240
890.85/891.18	c  890s |      18 |   552567 |   358952 |    23568     31 |      593 |      240
893.15/893.47	c  893s |      18 |   553265 |   359552 |    23568     31 |      593 |      240
895.34/895.61	c  895s |      18 |   553850 |   360052 |    23568     31 |      593 |      240
897.54/897.82	c  897s |      18 |   554564 |   360652 |    23568     31 |      593 |      240
899.55/899.90	c  899s |      18 |   555142 |   361152 |    23568     31 |      593 |      240
901.64/901.92	c  901s |      18 |   555740 |   361652 |    23568     31 |      593 |      240
903.64/903.93	c  903s |      18 |   556198 |   362052 |    23568     31 |      593 |      240
906.04/906.37	c  906s |      18 |   556897 |   362652 |    23568     31 |      593 |      240
908.24/908.53	c  908s |      18 |   557477 |   363152 |    23568     31 |      593 |      240
910.34/910.63	c  910s |      18 |   558015 |   363652 |    23568     31 |      593 |      240
913.04/913.37	c  913s |      18 |   558574 |   364152 |    23568     32 |      593 |      240
915.14/915.41	c  915s |      18 |   559271 |   364752 |    23568     32 |      593 |      240
917.33/917.63	c  917s |      18 |   560075 |   365452 |    23568     32 |      593 |      240
919.44/919.75	c  919s |      18 |   560886 |   366152 |    23568     32 |      593 |      240
921.54/921.90	c  921s |      18 |   561657 |   366852 |    23568     32 |      593 |      240
923.74/924.05	c  923s |      18 |   562503 |   367552 |    23568     32 |      593 |      240
926.04/926.35	c  926s |      18 |   563293 |   368252 |    23568     32 |      593 |      240
928.33/928.64	c  928s |      18 |   564079 |   368952 |    23568     32 |      593 |      240
930.33/930.70	c  930s |      18 |   564795 |   369552 |    23568     32 |      593 |      240
932.72/933.06	c  932s |      18 |   565522 |   370152 |    23568     32 |      593 |      240
934.92/935.22	c  934s |      18 |   566104 |   370652 |    23568     32 |      593 |      240
936.93/937.28	c  937s |      18 |   566648 |   371152 |    23568     32 |      593 |      240
939.02/939.35	c  939s |      18 |   567218 |   371652 |    23568     32 |      593 |      240
941.12/941.46	c  941s |      18 |   567766 |   372152 |    23568     32 |      593 |      240
943.42/943.73	c  943s |      18 |   568434 |   372752 |    23568     32 |      593 |      240
945.73/946.03	c  945s |      18 |   569122 |   373352 |    23568     32 |      593 |      240
947.92/948.22	c  947s |      18 |   569690 |   373852 |    23568     32 |      593 |      240
950.22/950.51	c  950s |      18 |   570273 |   374352 |    23568     32 |      593 |      240
952.21/952.60	c  952s |      18 |   570853 |   374852 |    23568     32 |      593 |      240
954.42/954.76	c  954s |      18 |   571437 |   375352 |    23568     32 |      593 |      240
956.72/957.00	c  956s |      18 |   571906 |   375752 |    23568     32 |      593 |      240
959.21/959.58	c  959s |      18 |   572344 |   376152 |    23568     32 |      593 |      240
961.41/961.76	c  961s |      18 |   572767 |   376552 |    23568     32 |      593 |      240
963.51/963.82	c  963s |      18 |   573211 |   376952 |    23568     32 |      593 |      240
965.52/965.82	c  965s |      18 |   573667 |   377352 |    23568     32 |      593 |      240
967.51/967.88	c  967s |      18 |   573985 |   377652 |    23568     33 |      593 |      240
969.61/969.97	c  969s |      18 |   574547 |   378152 |    23568     33 |      593 |      240
971.91/972.27	c  972s |      18 |   575351 |   378852 |    23568     33 |      593 |      240
974.01/974.39	c  974s |      18 |   575942 |   379352 |    23568     33 |      593 |      240
976.30/976.63	c  976s |      18 |   576623 |   379952 |    23568     33 |      593 |      240
978.50/978.89	c  978s |      18 |   577193 |   380452 |    23568     33 |      593 |      240
980.70/981.06	c  980s |      18 |   577909 |   381052 |    23568     33 |      593 |      240
982.80/983.15	c  982s |      18 |   578445 |   381552 |    23568     33 |      593 |      240
985.10/985.41	c  985s |      18 |   579140 |   382152 |    23568     33 |      593 |      240
987.09/987.49	c  987s |      18 |   579823 |   382752 |    23568     33 |      593 |      240
989.39/989.74	c  989s |      18 |   580362 |   383252 |    23568     33 |      593 |      240
991.49/991.85	c  991s |      18 |   580918 |   383752 |    23568     33 |      593 |      240
993.99/994.31	c  994s |      18 |   581586 |   384352 |    23568     33 |      593 |      240
996.29/996.64	c  996s |      18 |   582274 |   384952 |    23568     33 |      593 |      240
998.38/998.78	c  998s |      18 |   582829 |   385452 |    23568     33 |      593 |      240
1000.69/1001.08	c 1000s |      18 |   583509 |   386052 |    23568     33 |      593 |      240
1003.08/1003.40	c 1003s |      18 |   584082 |   386552 |    23568     33 |      593 |      240
1005.48/1005.86	c 1005s |      18 |   584730 |   387152 |    23568     33 |      593 |      240
1007.58/1007.97	c 1007s |      18 |   585191 |   387552 |    23568     33 |      593 |      240
1009.77/1010.18	c 1009s |      18 |   585627 |   387952 |    23568     33 |      593 |      240
1011.87/1012.25	c 1011s |      18 |   586083 |   388352 |    23568     33 |      593 |      240
1014.07/1014.40	c 1014s |      18 |   586508 |   388752 |    23568     33 |      593 |      240
1016.47/1016.83	c 1016s |      18 |   587071 |   389252 |    23568     33 |      593 |      240
1018.57/1018.94	c 1018s |      18 |   587630 |   389752 |    23568     33 |      593 |      240
1020.57/1020.97	c 1020s |      18 |   588098 |   390152 |    23568     33 |      593 |      240
1022.86/1023.28	c 1023s |      18 |   588640 |   390652 |    23568     33 |      593 |      240
1025.16/1025.54	c 1025s |      18 |   589222 |   391152 |    23568     34 |      593 |      240
1027.36/1027.73	c 1027s |      18 |   590044 |   391852 |    23568     34 |      593 |      240
1029.76/1030.11	c 1029s |      18 |   590703 |   392452 |    23568     34 |      593 |      240
1031.76/1032.18	c 1031s |      18 |   591373 |   393052 |    23568     34 |      593 |      240
1034.16/1034.55	c 1034s |      18 |   592157 |   393752 |    23568     34 |      593 |      240
1036.46/1036.85	c 1036s |      18 |   592850 |   394352 |    23568     34 |      593 |      240
1038.66/1039.08	c 1038s |      18 |   593429 |   394852 |    23568     34 |      593 |      240
1040.76/1041.19	c 1040s |      18 |   594147 |   395452 |    23568     34 |      593 |      240
1042.96/1043.32	c 1043s |      18 |   594752 |   395952 |    23568     34 |      593 |      240
1045.06/1045.41	c 1045s |      18 |   595469 |   396552 |    23568     34 |      593 |      240
1047.25/1047.63	c 1047s |      18 |   596242 |   397152 |    23568     34 |      593 |      240
1049.65/1050.03	c 1049s |      18 |   596966 |   397752 |    23568     34 |      593 |      240
1051.95/1052.37	c 1052s |      18 |   597651 |   398352 |    23568     34 |      593 |      240
1054.05/1054.40	c 1054s |      18 |   598270 |   398852 |    23568     34 |      593 |      240
1056.05/1056.47	c 1056s |      18 |   598822 |   399352 |    23568     34 |      593 |      240
1058.35/1058.74	c 1058s |      18 |   599516 |   399952 |    23568     34 |      593 |      240
1060.74/1061.16	c 1060s |      18 |   600072 |   400452 |    23568     34 |      593 |      240
1062.94/1063.30	c 1063s |      18 |   600652 |   400952 |    23568     34 |      593 |      240
1065.34/1065.70	c 1065s |      18 |   601201 |   401452 |    23568     34 |      593 |      240
1067.64/1068.04	c 1067s |      18 |   601781 |   401952 |    23568     34 |      593 |      240
1069.74/1070.12	c 1069s |      18 |   602239 |   402352 |    23568     34 |      593 |      240
1072.14/1072.55	c 1072s |      18 |   602785 |   402852 |    23568     34 |      593 |      240
1074.54/1074.97	c 1074s |      18 |   603343 |   403352 |    23568     34 |      593 |      240
1076.54/1076.98	c 1076s |      18 |   603811 |   403752 |    23568     34 |      593 |      240
1078.63/1079.10	c 1078s |      18 |   604146 |   404052 |    23568     35 |      593 |      240
1080.73/1081.14	c 1080s |      18 |   604694 |   404552 |    23568     35 |      593 |      240
1083.13/1083.56	c 1083s |      18 |   605351 |   405152 |    23568     35 |      593 |      240
1085.53/1085.97	c 1085s |      18 |   605889 |   405652 |    23568     35 |      593 |      240
1087.63/1088.06	c 1087s |      18 |   606566 |   406252 |    23568     35 |      593 |      240
1090.02/1090.41	c 1090s |      18 |   607200 |   406852 |    23568     35 |      593 |      240
1092.32/1092.73	c 1092s |      18 |   607887 |   407452 |    23568     35 |      593 |      240
1094.32/1094.78	c 1094s |      18 |   608431 |   407952 |    23568     35 |      593 |      240
1097.01/1097.40	c 1097s |      18 |   608953 |   408452 |    23568     35 |      593 |      240
1099.01/1099.42	c 1099s |      18 |   609387 |   408852 |    23568     35 |      593 |      240
1101.31/1101.72	c 1101s |      18 |   610070 |   409452 |    23568     35 |      593 |      240
1103.32/1103.73	c 1103s |      18 |   610634 |   409952 |    23568     35 |      593 |      240
1105.52/1105.92	c 1105s |      18 |   611177 |   410452 |    23568     35 |      593 |      240
1107.52/1107.99	c 1107s |      18 |   611853 |   411052 |    23568     35 |      593 |      240
1109.72/1110.18	c 1109s |      18 |   612553 |   411652 |    23568     35 |      593 |      240
1112.12/1112.51	c 1112s |      18 |   613224 |   412252 |    23568     35 |      593 |      240
1114.11/1114.59	c 1114s |      18 |   613776 |   412752 |    23568     35 |      593 |      240
1116.31/1116.70	c 1116s |      18 |   614364 |   413252 |    23568     35 |      593 |      240
1118.32/1118.74	c 1118s |      18 |   614936 |   413752 |    23568     35 |      593 |      240
1120.52/1120.95	c 1120s |      18 |   615494 |   414252 |    23568     35 |      593 |      240
1122.61/1123.06	c 1122s |      18 |   616066 |   414752 |    23568     35 |      593 |      240
1124.92/1125.38	c 1125s |      18 |   616646 |   415252 |    23568     35 |      593 |      240
1127.22/1127.64	c 1127s |      18 |   617236 |   415752 |    23568     35 |      593 |      240
1129.32/1129.72	c 1129s |      18 |   617670 |   416152 |    23568     35 |      593 |      240
1131.71/1132.15	c 1131s |      18 |   618238 |   416652 |    23568     35 |      593 |      240
1133.71/1134.20	c 1133s |      18 |   618815 |   417152 |    23568     35 |      593 |      240
1135.81/1136.26	c 1136s |      18 |   619279 |   417552 |    23568     36 |      593 |      240
1138.11/1138.53	c 1138s |      18 |   620115 |   418252 |    23568     36 |      593 |      240
1140.21/1140.66	c 1140s |      18 |   620810 |   418852 |    23568     36 |      593 |      240
1142.41/1142.88	c 1142s |      18 |   621474 |   419452 |    23568     36 |      593 |      240
1144.61/1145.00	c 1144s |      18 |   622175 |   420052 |    23568     36 |      593 |      240
1146.61/1147.02	c 1146s |      18 |   622752 |   420552 |    23568     36 |      593 |      240
1148.91/1149.30	c 1149s |      18 |   623427 |   421152 |    23568     36 |      593 |      240
1151.11/1151.56	c 1151s |      18 |   624106 |   421752 |    23568     36 |      593 |      240
1153.11/1153.59	c 1153s |      18 |   624649 |   422252 |    23568     36 |      593 |      240
1155.41/1155.88	c 1155s |      18 |   625321 |   422852 |    23568     36 |      593 |      240
1157.51/1157.93	c 1157s |      18 |   625905 |   423352 |    23568     36 |      593 |      240
1159.51/1159.93	c 1159s |      18 |   626467 |   423852 |    23568     36 |      593 |      240
1161.71/1162.10	c 1161s |      18 |   626996 |   424352 |    23568     36 |      593 |      240
1163.71/1164.19	c 1163s |      18 |   627544 |   424852 |    23568     36 |      593 |      240
1165.71/1166.19	c 1165s |      18 |   628097 |   425352 |    23568     36 |      593 |      240
1167.71/1168.19	c 1167s |      18 |   628632 |   425852 |    23568     36 |      593 |      240
1170.01/1170.42	c 1170s |      18 |   629150 |   426352 |    23568     36 |      593 |      240
1172.21/1172.68	c 1172s |      18 |   629695 |   426852 |    23568     36 |      593 |      240
1174.31/1174.78	c 1174s |      18 |   630228 |   427352 |    23568     36 |      593 |      240
1176.61/1177.01	c 1176s |      18 |   630775 |   427852 |    23568     36 |      593 |      240
1178.81/1179.21	c 1178s |      18 |   631328 |   428352 |    23568     36 |      593 |      240
1181.01/1181.43	c 1181s |      18 |   631864 |   428852 |    23568     36 |      593 |      240
1183.10/1183.59	c 1183s |      18 |   632395 |   429352 |    23568     36 |      593 |      240
1185.30/1185.71	c 1185s |      18 |   632944 |   429852 |    23568     36 |      593 |      240
1187.80/1188.20	c 1187s |      18 |   633471 |   430352 |    23568     36 |      593 |      240
1189.91/1190.32	c 1190s |      18 |   633926 |   430752 |    23568     37 |      593 |      240
1191.90/1192.38	c 1192s |      18 |   634594 |   431352 |    23568     37 |      593 |      240
1194.20/1194.62	c 1194s |      18 |   635238 |   431952 |    23568     37 |      593 |      240
1196.51/1196.98	c 1196s |      18 |   635875 |   432552 |    23568     37 |      593 |      240
1198.80/1199.22	c 1198s |      18 |   636506 |   433152 |    23568     37 |      593 |      240
1200.81/1201.25	c 1200s |      18 |   637050 |   433652 |    23568     37 |      593 |      240
1203.01/1203.44	c 1203s |      18 |   637596 |   434152 |    23568     37 |      593 |      240
1205.00/1205.50	c 1205s |      18 |   638106 |   434652 |    23568     37 |      593 |      240
1207.10/1207.52	c 1207s |      18 |   638628 |   435152 |    23568     37 |      593 |      240
1209.20/1209.62	c 1209s |      18 |   639165 |   435652 |    23568     37 |      593 |      240
1211.20/1211.65	c 1211s |      18 |   639688 |   436152 |    23568     37 |      593 |      240
1213.20/1213.69	c 1213s |      18 |   640226 |   436652 |    23568     37 |      593 |      240
1215.40/1215.85	c 1215s |      18 |   640767 |   437152 |    23568     37 |      593 |      240
1217.69/1218.13	c 1217s |      18 |   641297 |   437652 |    23568     37 |      593 |      240
1219.69/1220.20	c 1219s |      18 |   641709 |   438052 |    23568     37 |      593 |      240
1222.09/1222.54	c 1222s |      18 |   642239 |   438552 |    23568     37 |      593 |      240
1224.39/1224.80	c 1224s |      18 |   642762 |   439052 |    23568     37 |      593 |      240
1226.49/1226.95	c 1226s |      18 |   643304 |   439552 |    23568     37 |      593 |      240
1228.70/1229.15	c 1228s |      18 |   643831 |   440052 |    23568     37 |      593 |      240
1230.70/1231.19	c 1230s |      18 |   644361 |   440552 |    23568     37 |      593 |      240
1232.80/1233.25	c 1233s |      18 |   644790 |   440952 |    23568     37 |      593 |      240
1235.00/1235.48	c 1235s |      18 |   645331 |   441452 |    25925     37 |      593 |      240
1237.10/1237.54	c 1237s |      18 |   645891 |   441952 |    25925     37 |      593 |      240
1239.20/1239.61	c 1239s |      18 |   646424 |   442452 |    25925     37 |      593 |      240
1241.40/1241.83	c 1241s |      18 |   647016 |   442952 |    25925     37 |      593 |      240
1243.59/1244.10	c 1243s |      18 |   647577 |   443452 |    25925     37 |      593 |      240
1246.00/1246.43	c 1246s |      18 |   648128 |   443952 |    25925     37 |      593 |      240
1248.20/1248.62	c 1248s |      18 |   648730 |   444452 |    25925     37 |      593 |      240
1248.29/1248.78	c 1248s |      19 |   648760 |   444482 |    25925     37 |      593 |      240
1250.40/1250.86	c 1250s |      19 |   652264 |   444882 |    25925     38 |      593 |      240
1252.50/1253.00	c 1252s |      19 |   655481 |   446182 |    25925     38 |      593 |      240
1254.59/1255.07	c 1254s |      19 |   656741 |   447282 |    25925     38 |      593 |      240
1256.69/1257.19	c 1256s |      19 |   658248 |   448282 |    25925     38 |      593 |      240
1258.79/1259.21	c 1258s |      19 |   663223 |   450082 |    25925     38 |      593 |      240
1260.89/1261.33	c 1261s |      19 |   666148 |   451682 |    25925     38 |      593 |      240
1262.99/1263.43	c 1263s |      19 |   667695 |   453082 |    25925     38 |      593 |      240
1264.99/1265.48	c 1265s |      19 |   668998 |   454282 |    25925     38 |      593 |      240
1267.09/1267.52	c 1267s |      19 |   670168 |   455382 |    25925     38 |      593 |      240
1269.09/1269.53	c 1269s |      19 |   671268 |   456382 |    25925     38 |      593 |      240
1271.29/1271.74	c 1271s |      19 |   672346 |   457382 |    25925     38 |      593 |      240
1273.39/1273.84	c 1273s |      19 |   677656 |   459082 |    25925     38 |      593 |      240
1275.59/1276.04	c 1275s |      19 |   678648 |   459882 |    25925     39 |      593 |      240
1277.58/1278.04	c 1277s |      19 |   683438 |   461482 |    25925     39 |      593 |      240
1279.58/1280.05	c 1279s |      19 |   685056 |   462682 |    25925     39 |      593 |      240
1281.78/1282.20	c 1281s |      19 |   686539 |   463682 |    25925     39 |      593 |      240
1283.88/1284.30	c 1284s |      19 |   687693 |   464582 |    25925     39 |      593 |      240
1286.08/1286.55	c 1286s |      19 |   688795 |   465482 |    25925     39 |      593 |      240
1288.08/1288.57	c 1288s |      19 |   689775 |   466282 |    25925     39 |      593 |      240
1290.38/1290.80	c 1290s |      19 |   690567 |   466982 |    25925     39 |      593 |      240
1292.48/1292.98	c 1292s |      19 |   691326 |   467682 |    25925     39 |      593 |      240
1294.68/1295.13	c 1294s |      19 |   692210 |   468482 |    25925     39 |      593 |      240
1296.78/1297.20	c 1296s |      19 |   692982 |   469182 |    25925     39 |      593 |      240
1298.98/1299.49	c 1299s |      19 |   693678 |   469782 |    25925     39 |      593 |      240
1301.08/1301.52	c 1301s |      19 |   696598 |   471182 |    25925     39 |      593 |      240
1303.09/1303.54	c 1303s |      19 |   698227 |   472482 |    25925     39 |      593 |      240
1305.18/1305.67	c 1305s |      19 |   699770 |   473682 |    25925     39 |      593 |      240
1307.28/1307.71	c 1307s |      19 |   702165 |   474882 |    25925     40 |      593 |      240
1309.28/1309.75	c 1309s |      19 |   704844 |   476582 |    25925     40 |      593 |      240
1311.39/1311.87	c 1311s |      19 |   706710 |   477982 |    25925     40 |      593 |      240
1313.49/1313.98	c 1313s |      19 |   708264 |   479082 |    25925     40 |      593 |      240
1315.59/1316.07	c 1315s |      19 |   709974 |   480282 |    25925     40 |      593 |      240
1317.69/1318.10	c 1317s |      19 |   711394 |   481282 |    25925     40 |      593 |      240
1319.69/1320.16	c 1319s |      19 |   712411 |   482082 |    25925     40 |      593 |      240
1321.89/1322.37	c 1322s |      19 |   713730 |   482982 |    25925     40 |      593 |      240
1324.18/1324.65	c 1324s |      19 |   714770 |   483782 |    25925     40 |      593 |      240
1326.38/1326.80	c 1326s |      19 |   715747 |   484582 |    25925     40 |      593 |      240
1328.58/1329.05	c 1328s |      19 |   716644 |   485282 |    25925     40 |      593 |      240
1330.78/1331.22	c 1330s |      19 |   718056 |   486282 |    25925     40 |      593 |      240
1332.98/1333.41	c 1333s |      19 |   719459 |   487282 |    25925     40 |      593 |      240
1335.18/1335.62	c 1335s |      19 |   720814 |   488282 |    25925     40 |      593 |      240
1337.19/1337.64	c 1337s |      19 |   721893 |   489082 |    25925     41 |      593 |      240
1339.39/1339.82	c 1339s |      19 |   723040 |   489982 |    25925     41 |      593 |      240
1341.48/1341.98	c 1341s |      19 |   724238 |   490882 |    25925     41 |      593 |      240
1343.58/1344.06	c 1343s |      19 |   725216 |   491682 |    25925     41 |      593 |      240
1345.78/1346.21	c 1345s |      19 |   726224 |   492482 |    25925     41 |      593 |      240
1347.98/1348.47	c 1348s |      19 |   727240 |   493282 |    25925     41 |      593 |      240
1350.08/1350.59	c 1350s |      19 |   728076 |   493982 |    25925     41 |      593 |      240
1352.38/1352.83	c 1352s |      19 |   729174 |   494782 |    25925     41 |      593 |      240
1354.48/1354.90	c 1354s |      19 |   730081 |   495482 |    25925     41 |      593 |      240
1356.48/1356.97	c 1356s |      19 |   731068 |   496182 |    25925     41 |      593 |      240
1358.58/1359.08	c 1358s |      19 |   732127 |   496982 |    25925     41 |      593 |      240
1360.68/1361.11	c 1360s |      19 |   733080 |   497682 |    25925     41 |      593 |      240
1362.97/1363.43	c 1363s |      19 |   733994 |   498382 |    25925     41 |      593 |      240
1365.17/1365.67	c 1365s |      19 |   734902 |   499082 |    25925     41 |      593 |      240
1367.57/1368.06	c 1367s |      19 |   735663 |   499682 |    25925     41 |      593 |      240
1369.77/1370.27	c 1370s |      19 |   736428 |   500282 |    25925     41 |      593 |      240
1371.97/1372.45	c 1372s |      19 |   737291 |   500982 |    25925     41 |      593 |      240
1374.17/1374.63	c 1374s |      19 |   737989 |   501582 |    25925     41 |      593 |      240
1376.57/1377.08	c 1376s |      19 |   738805 |   502182 |    25925     41 |      593 |      240
1378.87/1379.38	c 1379s |      19 |   739437 |   502682 |    25925     42 |      593 |      240
1381.18/1381.67	c 1381s |      19 |   740360 |   503482 |    25925     42 |      593 |      240
1383.38/1383.81	c 1383s |      19 |   741206 |   504182 |    25925     42 |      593 |      240
1385.58/1386.04	c 1385s |      19 |   742246 |   504982 |    25925     42 |      593 |      240
1387.78/1388.23	c 1387s |      19 |   743308 |   505782 |    25925     42 |      593 |      240
1390.08/1390.52	c 1390s |      19 |   744336 |   506582 |    25925     42 |      593 |      240
1392.07/1392.59	c 1392s |      19 |   745278 |   507282 |    25925     42 |      593 |      240
1394.27/1394.72	c 1394s |      19 |   745942 |   507882 |    25925     42 |      593 |      240
1396.27/1396.76	c 1396s |      19 |   746642 |   508482 |    25925     42 |      593 |      240
1398.37/1398.81	c 1398s |      19 |   747394 |   509082 |    25925     42 |      593 |      240
1400.37/1400.81	c 1400s |      19 |   748098 |   509682 |    25925     42 |      593 |      240
1402.47/1402.91	c 1402s |      19 |   748826 |   510282 |    25925     42 |      593 |      240
1404.77/1405.28	c 1405s |      19 |   749559 |   510882 |    25925     42 |      593 |      240
1406.77/1407.29	c 1407s |      19 |   750139 |   511382 |    25925     42 |      593 |      240
1408.87/1409.34	c 1409s |      19 |   750790 |   511882 |    25925     42 |      593 |      240
1411.27/1411.72	c 1411s |      19 |   751577 |   512482 |    25925     42 |      593 |      240
1413.37/1413.85	c 1413s |      19 |   752129 |   512982 |    25925     42 |      593 |      240
1415.38/1415.86	c 1415s |      19 |   752750 |   513482 |    25925     42 |      593 |      240
1417.77/1418.27	c 1418s |      19 |   753445 |   514082 |    25925     42 |      593 |      240
1419.87/1420.35	c 1420s |      19 |   754016 |   514582 |    25925     42 |      593 |      240
1422.27/1422.77	c 1422s |      19 |   754587 |   515082 |    25925     42 |      593 |      240
1424.37/1424.81	c 1424s |      19 |   755225 |   515582 |    25925     42 |      593 |      240
1426.47/1426.94	c 1426s |      19 |   755901 |   516082 |    25925     42 |      593 |      240
1428.77/1429.29	c 1429s |      19 |   756681 |   516682 |    25925     42 |      593 |      240
1430.97/1431.41	c 1431s |      19 |   757277 |   517082 |    25925     43 |      593 |      240
1432.98/1433.45	c 1433s |      19 |   758145 |   517782 |    25925     43 |      593 |      240
1435.17/1435.62	c 1435s |      19 |   759029 |   518482 |    25925     43 |      593 |      240
1437.47/1437.93	c 1437s |      19 |   759854 |   519182 |    25925     43 |      593 |      240
1439.47/1439.93	c 1439s |      19 |   760627 |   519782 |    25925     43 |      593 |      240
1441.56/1442.04	c 1441s |      19 |   761340 |   520382 |    25925     43 |      593 |      240
1443.76/1444.21	c 1443s |      19 |   762094 |   520982 |    25925     43 |      593 |      240
1445.76/1446.24	c 1445s |      19 |   762901 |   521582 |    25925     43 |      593 |      240
1448.06/1448.52	c 1448s |      19 |   763775 |   522282 |    25925     43 |      593 |      240
1450.36/1450.82	c 1450s |      19 |   764446 |   522882 |    25925     43 |      593 |      240
1452.56/1453.01	c 1452s |      19 |   765130 |   523482 |    25925     43 |      593 |      240
1454.66/1455.15	c 1454s |      19 |   765925 |   524082 |    25925     43 |      593 |      240
1456.86/1457.36	c 1457s |      19 |   766647 |   524682 |    25925     43 |      593 |      240
1459.06/1459.52	c 1459s |      19 |   767403 |   525282 |    25925     43 |      593 |      240
1461.16/1461.60	c 1461s |      19 |   768065 |   525782 |    25925     43 |      593 |      240
1463.36/1463.84	c 1463s |      19 |   768660 |   526282 |    25925     43 |      593 |      240
1465.66/1466.20	c 1465s |      19 |   769432 |   526882 |    25925     43 |      593 |      240
1468.17/1468.63	c 1468s |      19 |   770179 |   527482 |    25925     43 |      593 |      240
1470.16/1470.63	c 1470s |      19 |   770802 |   527982 |    25925     43 |      593 |      240
1472.47/1472.92	c 1472s |      19 |   771546 |   528582 |    25925     43 |      593 |      240
1474.56/1475.07	c 1474s |      19 |   772115 |   529082 |    25925     43 |      593 |      240
1476.76/1477.22	c 1476s |      19 |   772725 |   529582 |    25925     43 |      593 |      240
1478.86/1479.32	c 1479s |      19 |   773314 |   530082 |    25925     43 |      593 |      240
1480.96/1481.46	c 1481s |      19 |   773893 |   530582 |    25925     43 |      593 |      240
1483.06/1483.58	c 1483s |      19 |   774483 |   531082 |    25925     43 |      593 |      240
1485.76/1486.28	c 1486s |      19 |   775050 |   531582 |    25925     44 |      593 |      240
1488.06/1488.59	c 1488s |      19 |   775919 |   532282 |    25925     44 |      593 |      240
1490.26/1490.70	c 1490s |      19 |   776634 |   532882 |    25925     44 |      593 |      240
1492.36/1492.89	c 1492s |      19 |   777385 |   533482 |    25925     44 |      593 |      240
1494.56/1495.09	c 1494s |      19 |   778103 |   534082 |    25925     44 |      593 |      240
1496.95/1497.40	c 1497s |      19 |   778838 |   534682 |    25925     44 |      593 |      240
1499.25/1499.73	c 1499s |      19 |   779602 |   535282 |    25925     44 |      593 |      240
1501.45/1501.90	c 1501s |      19 |   780489 |   535982 |    25925     44 |      593 |      240
1503.55/1504.08	c 1503s |      19 |   781316 |   536682 |    25925     44 |      593 |      240
1505.56/1506.09	c 1505s |      19 |   782083 |   537282 |    25925     44 |      593 |      240
1507.85/1508.39	c 1508s |      19 |   782812 |   537882 |    25925     44 |      593 |      240
1510.05/1510.54	c 1510s |      19 |   783406 |   538382 |    25925     44 |      593 |      240
1512.06/1512.59	c 1512s |      19 |   784081 |   538882 |    25925     44 |      593 |      240
1514.15/1514.66	c 1514s |      19 |   784856 |   539482 |    25925     44 |      593 |      240
1516.35/1516.81	c 1516s |      19 |   785463 |   539982 |    25925     44 |      593 |      240
1518.55/1519.10	c 1518s |      19 |   786387 |   540682 |    25925     44 |      593 |      240
1520.75/1521.21	c 1520s |      19 |   787098 |   541282 |    25925     44 |      593 |      240
1522.75/1523.28	c 1523s |      19 |   787900 |   541882 |    25925     44 |      593 |      240
1524.95/1525.48	c 1525s |      19 |   788646 |   542482 |    25925     44 |      593 |      240
1527.35/1527.83	c 1527s |      19 |   789383 |   543082 |    25925     44 |      593 |      240
1529.45/1529.96	c 1529s |      19 |   789965 |   543582 |    25925     44 |      593 |      240
1531.75/1532.20	c 1531s |      19 |   790587 |   544082 |    25925     44 |      593 |      240
1534.15/1534.64	c 1534s |      19 |   791302 |   544682 |    25925     44 |      593 |      240
1536.15/1536.68	c 1536s |      19 |   792040 |   545282 |    25925     44 |      593 |      240
1538.55/1539.01	c 1538s |      19 |   792716 |   545782 |    25925     45 |      593 |      240
1540.75/1541.23	c 1540s |      19 |   793801 |   546582 |    25925     45 |      593 |      240
1542.75/1543.29	c 1543s |      19 |   794873 |   547382 |    25925     45 |      593 |      240
1545.05/1545.56	c 1545s |      19 |   795974 |   548182 |    25925     45 |      593 |      240
1547.25/1547.76	c 1547s |      19 |   796846 |   548882 |    25925     45 |      593 |      240
1549.64/1550.11	c 1549s |      19 |   797878 |   549682 |    25925     45 |      593 |      240
1551.75/1552.21	c 1551s |      19 |   798737 |   550382 |    25925     45 |      593 |      240
1553.74/1554.28	c 1554s |      19 |   799445 |   550982 |    25925     45 |      593 |      240
1555.84/1556.31	c 1556s |      19 |   800197 |   551582 |    25925     45 |      593 |      240
1557.84/1558.36	c 1558s |      19 |   801151 |   552282 |    25925     45 |      593 |      240
1560.04/1560.52	c 1560s |      19 |   801900 |   552882 |    25925     45 |      593 |      240
1562.24/1562.77	c 1562s |      19 |   802738 |   553582 |    25925     45 |      593 |      240
1564.55/1565.02	c 1564s |      19 |   803617 |   554282 |    25925     45 |      593 |      240
1566.65/1567.13	c 1566s |      19 |   804362 |   554882 |    25925     45 |      593 |      240
1568.85/1569.36	c 1569s |      19 |   805250 |   555582 |    25925     45 |      593 |      240
1571.05/1571.56	c 1571s |      19 |   806158 |   556282 |    25925     45 |      593 |      240
1573.35/1573.86	c 1573s |      19 |   806921 |   556882 |    25925     45 |      593 |      240
1575.55/1576.04	c 1575s |      19 |   807379 |   557282 |    25925     45 |      593 |      240
1577.65/1578.10	c 1577s |      19 |   808144 |   557882 |    25925     45 |      593 |      240
1579.64/1580.15	c 1579s |      19 |   808788 |   558382 |    25925     45 |      593 |      240
1581.94/1582.42	c 1582s |      19 |   809532 |   558982 |    25925     45 |      593 |      240
1584.04/1584.53	c 1584s |      19 |   810257 |   559582 |    25925     45 |      593 |      240
1586.24/1586.76	c 1586s |      19 |   810856 |   560082 |    25925     46 |      593 |      240
1588.54/1589.06	c 1588s |      19 |   811741 |   560782 |    25925     46 |      593 |      240
1590.74/1591.20	c 1590s |      19 |   812626 |   561482 |    25925     46 |      593 |      240
1592.84/1593.37	c 1593s |      19 |   813626 |   562282 |    25925     46 |      593 |      240
1594.94/1595.44	c 1595s |      19 |   814454 |   562982 |    25925     46 |      593 |      240
1596.94/1597.47	c 1597s |      19 |   815100 |   563482 |    25925     46 |      593 |      240
1599.24/1599.71	c 1599s |      19 |   815950 |   564182 |    25925     46 |      593 |      240
1601.54/1602.01	c 1601s |      19 |   816798 |   564882 |    25925     46 |      593 |      240
1603.84/1604.30	c 1604s |      19 |   817676 |   565582 |    25925     46 |      593 |      240
1606.04/1606.51	c 1606s |      19 |   818260 |   566082 |    25925     46 |      593 |      240
1608.04/1608.51	c 1608s |      19 |   818982 |   566682 |    25925     46 |      593 |      240
1610.24/1610.79	c 1610s |      19 |   819814 |   567382 |    25925     46 |      593 |      240
1612.43/1612.90	c 1612s |      19 |   820571 |   567982 |    25925     46 |      593 |      240
1614.63/1615.11	c 1614s |      19 |   821284 |   568582 |    25925     46 |      593 |      240
1616.64/1617.12	c 1616s |      19 |   821829 |   569082 |    25925     46 |      593 |      240
1618.63/1619.15	c 1618s |      19 |   822720 |   569782 |    25925     46 |      593 |      240
1620.83/1621.39	c 1621s |      19 |   823625 |   570482 |    25925     46 |      593 |      240
1623.14/1623.69	c 1623s |      19 |   824588 |   571182 |    25925     46 |      593 |      240
1625.35/1625.83	c 1625s |      19 |   825354 |   571782 |    25925     46 |      593 |      240
1627.65/1628.12	c 1627s |      19 |   826331 |   572482 |    25925     46 |      593 |      240
1629.85/1630.38	c 1630s |      19 |   827133 |   573082 |    25925     46 |      593 |      240
1631.95/1632.48	c 1632s |      19 |   827788 |   573582 |    25925     46 |      593 |      240
1634.15/1634.62	c 1634s |      19 |   828567 |   574182 |    25925     46 |      593 |      240
1636.24/1636.76	c 1636s |      19 |   829070 |   574582 |    25925     47 |      593 |      240
1638.44/1638.96	c 1638s |      19 |   830106 |   575382 |    25925     47 |      593 |      240
1640.54/1641.06	c 1640s |      19 |   831012 |   576082 |    25925     47 |      593 |      240
1642.74/1643.29	c 1643s |      19 |   831877 |   576782 |    25925     47 |      593 |      240
1645.14/1645.61	c 1645s |      19 |   832711 |   577482 |    25925     47 |      593 |      240
1647.34/1647.87	c 1647s |      19 |   833598 |   578182 |    25925     47 |      593 |      240
1649.64/1650.12	c 1649s |      19 |   834316 |   578782 |    25925     47 |      593 |      240
1651.93/1652.49	c 1652s |      19 |   835021 |   579382 |    25925     47 |      593 |      240
1654.04/1654.59	c 1654s |      19 |   835709 |   579982 |    25925     47 |      593 |      240
1656.43/1656.93	c 1656s |      19 |   836404 |   580582 |    25925     47 |      593 |      240
1658.44/1658.95	c 1658s |      19 |   836969 |   581082 |    25925     47 |      593 |      240
1660.64/1661.12	c 1660s |      19 |   837669 |   581682 |    25925     47 |      593 |      240
1662.74/1663.24	c 1662s |      19 |   838424 |   582282 |    25925     47 |      593 |      240
1665.04/1665.55	c 1665s |      19 |   839205 |   582882 |    25925     47 |      593 |      240
1667.53/1668.05	c 1667s |      19 |   839991 |   583482 |    25925     47 |      593 |      240
1669.63/1670.16	c 1669s |      19 |   840570 |   583982 |    25925     47 |      593 |      240
1671.73/1672.21	c 1671s |      19 |   841151 |   584482 |    25925     47 |      593 |      240
1674.03/1674.55	c 1674s |      19 |   841888 |   585082 |    25925     47 |      593 |      240
1676.23/1676.70	c 1676s |      19 |   842472 |   585582 |    25925     47 |      593 |      240
1678.24/1678.75	c 1678s |      19 |   843125 |   586082 |    25925     47 |      593 |      240
1680.53/1681.00	c 1680s |      19 |   843757 |   586582 |    25925     47 |      593 |      240
1682.64/1683.14	c 1682s |      19 |   844379 |   587082 |    25925     47 |      593 |      240
1684.93/1685.45	c 1685s |      19 |   845163 |   587682 |    25925     47 |      593 |      240
1687.03/1687.55	c 1687s |      19 |   845798 |   588182 |    25925     47 |      593 |      240
1689.43/1689.90	c 1689s |      19 |   846367 |   588682 |    25925     47 |      593 |      240
1691.53/1692.08	c 1691s |      19 |   846820 |   589082 |    25925     48 |      593 |      240
1693.63/1694.15	c 1693s |      19 |   847585 |   589682 |    25925     48 |      593 |      240
1695.73/1696.25	c 1696s |      19 |   848404 |   590382 |    25925     48 |      593 |      240
1698.03/1698.58	c 1698s |      19 |   849171 |   591082 |    25925     48 |      593 |      240
1700.13/1700.64	c 1700s |      19 |   849899 |   591682 |    25925     48 |      593 |      240
1702.33/1702.88	c 1702s |      19 |   850625 |   592282 |    25925     48 |      593 |      240
1704.42/1704.94	c 1704s |      19 |   851239 |   592782 |    25925     48 |      593 |      240
1706.52/1707.09	c 1706s |      19 |   852147 |   593482 |    25925     48 |      593 |      240
1708.82/1709.33	c 1709s |      19 |   852899 |   594082 |    25925     48 |      593 |      240
1710.92/1711.46	c 1711s |      19 |   853612 |   594682 |    25925     48 |      593 |      240
1713.12/1713.62	c 1713s |      19 |   854375 |   595282 |    25925     48 |      593 |      240
1715.42/1715.95	c 1715s |      19 |   855136 |   595882 |    25925     48 |      593 |      240
1717.52/1718.02	c 1717s |      19 |   855710 |   596382 |    25925     48 |      593 |      240
1719.82/1720.31	c 1720s |      19 |   856301 |   596882 |    25925     48 |      593 |      240
1721.92/1722.40	c 1722s |      19 |   856755 |   597282 |    25925     48 |      593 |      240
1724.22/1724.79	c 1724s |      19 |   857390 |   597782 |    25925     48 |      593 |      240
1726.82/1727.31	c 1727s |      19 |   857946 |   598282 |    25925     48 |      593 |      240
1728.83/1729.39	c 1729s |      19 |   858572 |   598782 |    25925     48 |      593 |      240
1730.82/1731.40	c 1731s |      19 |   859301 |   599382 |    25925     48 |      593 |      240
1732.92/1733.48	c 1733s |      19 |   860039 |   599982 |    25925     48 |      593 |      240
1735.32/1735.81	c 1735s |      19 |   860747 |   600582 |    25925     48 |      593 |      240
1737.42/1737.94	c 1737s |      19 |   861315 |   601082 |    25925     48 |      593 |      240
1739.62/1740.12	c 1739s |      19 |   861915 |   601582 |    25925     48 |      593 |      240
1741.82/1742.34	c 1742s |      19 |   862678 |   602182 |    25925     48 |      593 |      240
1744.12/1744.67	c 1744s |      19 |   863380 |   602782 |    25925     48 |      593 |      240
1747.12/1747.61	c 1747s |      19 |   864121 |   603382 |    25925     49 |      593 |      240
1749.52/1750.00	c 1749s |      19 |   864993 |   604082 |    25925     49 |      593 |      240
1751.71/1752.20	c 1751s |      19 |   865857 |   604782 |    25925     49 |      593 |      240
1753.91/1754.45	c 1754s |      19 |   866677 |   605482 |    25925     49 |      593 |      240
1756.22/1756.73	c 1756s |      19 |   867613 |   606182 |    25925     49 |      593 |      240
1758.31/1758.83	c 1758s |      19 |   868415 |   606782 |    25925     49 |      593 |      240
1760.41/1760.90	c 1760s |      19 |   869194 |   607382 |    25925     49 |      593 |      240
1762.41/1762.90	c 1762s |      19 |   869927 |   607982 |    25925     49 |      593 |      240
1764.51/1765.03	c 1764s |      19 |   870649 |   608582 |    25925     49 |      593 |      240
1766.81/1767.32	c 1767s |      19 |   871394 |   609182 |    25925     49 |      593 |      240
1769.11/1769.63	c 1769s |      19 |   872115 |   609782 |    25925     49 |      593 |      240
1771.11/1771.69	c 1771s |      19 |   872866 |   610382 |    25925     49 |      593 |      240
1773.41/1773.92	c 1773s |      19 |   873675 |   611082 |    25925     49 |      593 |      240
1775.51/1776.05	c 1775s |      19 |   874247 |   611582 |    25925     49 |      593 |      240
1777.81/1778.34	c 1778s |      19 |   875021 |   612182 |    25925     49 |      593 |      240
1780.11/1780.67	c 1780s |      19 |   875794 |   612782 |    25925     49 |      593 |      240
1782.22/1782.73	c 1782s |      19 |   876404 |   613282 |    25925     49 |      593 |      240
1784.22/1784.73	c 1784s |      19 |   877061 |   613782 |    25925     49 |      593 |      240
1786.32/1786.82	c 1786s |      19 |   877668 |   614282 |    25925     49 |      593 |      240
1788.42/1788.97	c 1788s |      19 |   878269 |   614782 |    25925     49 |      593 |      240
1790.51/1791.04	c 1790s |      19 |   878910 |   615282 |    25925     49 |      593 |      240
1792.81/1793.30	c 1793s |      19 |   879505 |   615782 |    25925     49 |      593 |      240
1795.21/1795.72	c 1795s |      19 |   880262 |   616382 |    25925     49 |      593 |      240
1797.31/1797.87	c 1797s |      19 |   880878 |   616882 |    25925     49 |      593 |      240
1799.61/1800.18	c 1799s |      19 |   881650 |   617482 |    25925     49 |      593 |      240

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

pid=21268
running on 4 cores: 0,2,4,6

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.20 2.21 2.11 3/179 21271
/proc/meminfo: memFree=30731276/32872528 swapFree=1085692/1157232
[pid=21271] ppid=21268 vsize=811452 CPUtime=0 cores=0,2,4,6
/proc/21271/stat : 21271 (toysat) R 21268 21271 21062 0 -1 4202496 3041 0 0 0 0 0 0 0 20 0 4 0 27665478 830926848 2891 33554432000 4194304 16246674 140735053793568 140735053792992 15002730 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21271/statm: 203375 2901 441 2943 0 200269 0
[pid=21271/tid=21272] ppid=21268 vsize=827836 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21272/stat : 21272 (toysat) S 21268 21271 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27665478 847704064 2959 33554432000 4194304 16246674 140735053793568 139715937283312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21271/tid=21273] ppid=21268 vsize=832956 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21273/stat : 21273 (toysat) S 21268 21271 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27665478 852946944 2977 33554432000 4194304 16246674 140735053793568 139715926793456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21271/tid=21274] ppid=21268 vsize=837052 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21274/stat : 21274 (toysat) S 21268 21271 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27665478 857141248 2995 33554432000 4194304 16246674 140735053793568 139715916319920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.20 2.21 2.11 3/179 21271
/proc/meminfo: memFree=30731276/32872528 swapFree=1085692/1157232
[pid=21271] ppid=21268 vsize=1220164 CPUtime=0.08 cores=0,2,4,6
/proc/21271/stat : 21271 (toysat) R 21268 21271 21062 0 -1 4202496 28277 0 0 0 5 3 0 0 20 0 4 0 27665478 1249447936 28065 33554432000 4194304 16246674 140735053793568 140735053792880 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21271/statm: 305041 28065 801 2943 0 301935 0
[pid=21271/tid=21272] ppid=21268 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21272/stat : 21272 (toysat) S 21268 21271 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27665478 1249447936 28065 33554432000 4194304 16246674 140735053793568 139715937283312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21271/tid=21273] ppid=21268 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21273/stat : 21273 (toysat) S 21268 21271 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27665478 1249447936 28065 33554432000 4194304 16246674 140735053793568 139715926793456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21271/tid=21274] ppid=21268 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21274/stat : 21274 (toysat) S 21268 21271 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27665478 1249447936 28065 33554432000 4194304 16246674 140735053793568 139715916319920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1220164

[startup+0.200561 s]
/proc/loadavg: 2.20 2.21 2.11 3/179 21271
/proc/meminfo: memFree=30731276/32872528 swapFree=1085692/1157232
[pid=21271] ppid=21268 vsize=1301060 CPUtime=0.19 cores=0,2,4,6
/proc/21271/stat : 21271 (toysat) R 21268 21271 21062 0 -1 4202496 48484 0 0 0 12 7 0 0 20 0 4 0 27665478 1332285440 48272 33554432000 4194304 16246674 140735053793568 140735053792880 13956249 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21271/statm: 325265 48272 842 2943 0 322159 0
[pid=21271/tid=21272] ppid=21268 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21272/stat : 21272 (toysat) S 21268 21271 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27665478 1332285440 48272 33554432000 4194304 16246674 140735053793568 139715937283312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21271/tid=21273] ppid=21268 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21273/stat : 21273 (toysat) S 21268 21271 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27665478 1332285440 48272 33554432000 4194304 16246674 140735053793568 139715926793456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21271/tid=21274] ppid=21268 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21274/stat : 21274 (toysat) S 21268 21271 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27665478 1332285440 48272 33554432000 4194304 16246674 140735053793568 139715916319920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300418 s]
/proc/loadavg: 2.20 2.21 2.11 3/179 21271
/proc/meminfo: memFree=30731276/32872528 swapFree=1085692/1157232
[pid=21271] ppid=21268 vsize=1301060 CPUtime=0.29 cores=0,2,4,6
/proc/21271/stat : 21271 (toysat) R 21268 21271 21062 0 -1 4202496 50256 0 0 0 22 7 0 0 20 0 4 0 27665478 1332285440 50044 33554432000 4194304 16246674 140735053793568 140735053792880 6021174 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21271/statm: 325265 50049 882 2943 0 322159 0
[pid=21271/tid=21272] ppid=21268 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21272/stat : 21272 (toysat) S 21268 21271 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27665478 1332285440 50051 33554432000 4194304 16246674 140735053793568 139715937283312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21271/tid=21273] ppid=21268 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21273/stat : 21273 (toysat) S 21268 21271 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27665478 1332285440 50054 33554432000 4194304 16246674 140735053793568 139715926793456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21271/tid=21274] ppid=21268 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21274/stat : 21274 (toysat) S 21268 21271 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27665478 1332285440 50057 33554432000 4194304 16246674 140735053793568 139715916319920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700394 s]
/proc/loadavg: 2.20 2.21 2.11 3/179 21271
/proc/meminfo: memFree=30731276/32872528 swapFree=1085692/1157232
[pid=21271] ppid=21268 vsize=1301060 CPUtime=0.69 cores=0,2,4,6
/proc/21271/stat : 21271 (toysat) R 21268 21271 21062 0 -1 4202496 97359 0 0 0 55 14 0 0 20 0 4 0 27665478 1332285440 97147 33554432000 4194304 16246674 140735053793568 140735053792880 5677541 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21271/statm: 325265 97150 882 2943 0 322159 0
[pid=21271/tid=21272] ppid=21268 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21272/stat : 21272 (toysat) S 21268 21271 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27665478 1332285440 97152 33554432000 4194304 16246674 140735053793568 139715937283312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21271/tid=21273] ppid=21268 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21273/stat : 21273 (toysat) S 21268 21271 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27665478 1332285440 97154 33554432000 4194304 16246674 140735053793568 139715926793456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21271/tid=21274] ppid=21268 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21274/stat : 21274 (toysat) S 21268 21271 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27665478 1332285440 97156 33554432000 4194304 16246674 140735053793568 139715916319920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50039 s]
/proc/loadavg: 2.27 2.22 2.11 4/183 21275
/proc/meminfo: memFree=29586420/32872528 swapFree=1085692/1157232
[pid=21271] ppid=21268 vsize=1301060 CPUtime=1.48 cores=0,2,4,6
/proc/21271/stat : 21271 (toysat) R 21268 21271 21062 0 -1 4202496 202280 0 0 0 118 30 0 0 20 0 4 0 27665478 1332285440 202068 33554432000 4194304 16246674 140735053793568 140735053775488 5600933 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21271/statm: 325265 202070 882 2943 0 322159 0
[pid=21271/tid=21272] ppid=21268 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21272/stat : 21272 (toysat) S 21268 21271 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27665478 1332285440 202072 33554432000 4194304 16246674 140735053793568 139715937283312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21271/tid=21273] ppid=21268 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21273/stat : 21273 (toysat) S 21268 21271 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27665478 1332285440 202073 33554432000 4194304 16246674 140735053793568 139715926793456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21271/tid=21274] ppid=21268 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21274/stat : 21274 (toysat) S 21268 21271 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27665478 1332285440 202075 33554432000 4194304 16246674 140735053793568 139715916319920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1301060

[startup+3.1004 s]
/proc/loadavg: 2.27 2.22 2.11 4/183 21275
/proc/meminfo: memFree=28802856/32872528 swapFree=1085692/1157232
[pid=21271] ppid=21268 vsize=1312324 CPUtime=3.09 cores=0,2,4,6
/proc/21271/stat : 21271 (toysat) R 21268 21271 21062 0 -1 4202496 269265 0 0 0 270 39 0 0 20 0 4 0 27665478 1343819776 269053 33554432000 4194304 16246674 140735053793568 140735053775488 5722180 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21271/statm: 328081 269053 889 2943 0 324975 0
[pid=21271/tid=21272] ppid=21268 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21272/stat : 21272 (toysat) S 21268 21271 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27665478 1343819776 269053 33554432000 4194304 16246674 140735053793568 139715937283312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21271/tid=21273] ppid=21268 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21273/stat : 21273 (toysat) S 21268 21271 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27665478 1343819776 269053 33554432000 4194304 16246674 140735053793568 139715926793456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21271/tid=21274] ppid=21268 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21274/stat : 21274 (toysat) S 21268 21271 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27665478 1343819776 269053 33554432000 4194304 16246674 140735053793568 139715916319920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.3004 s]
/proc/loadavg: 2.27 2.22 2.11 3/183 21275
/proc/meminfo: memFree=28603256/32872528 swapFree=1085692/1157232
[pid=21271] ppid=21268 vsize=1312324 CPUtime=6.29 cores=0,2,4,6
/proc/21271/stat : 21271 (toysat) R 21268 21271 21062 0 -1 4202496 269270 0 0 0 590 39 0 0 20 0 4 0 27665478 1343819776 269058 33554432000 4194304 16246674 140735053793568 140735053775488 12477795 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21271/statm: 328081 269058 889 2943 0 324975 0
[pid=21271/tid=21272] ppid=21268 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21272/stat : 21272 (toysat) S 21268 21271 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27665478 1343819776 269058 33554432000 4194304 16246674 140735053793568 139715937283312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21271/tid=21273] ppid=21268 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21273/stat : 21273 (toysat) S 21268 21271 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27665478 1343819776 269058 33554432000 4194304 16246674 140735053793568 139715926793456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21271/tid=21274] ppid=21268 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21274/stat : 21274 (toysat) S 21268 21271 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27665478 1343819776 269058 33554432000 4194304 16246674 140735053793568 139715916319920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.23 2.22 2.11 3/183 21275
/proc/meminfo: memFree=28603508/32872528 swapFree=1085692/1157232
[pid=21271] ppid=21268 vsize=1312324 CPUtime=12.69 cores=0,2,4,6
/proc/21271/stat : 21271 (toysat) R 21268 21271 21062 0 -1 4202496 269270 0 0 0 1230 39 0 0 20 0 4 0 27665478 1343819776 269058 33554432000 4194304 16246674 140735053793568 140735053775488 5712760 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21271/statm: 328081 269058 889 2943 0 324975 0
[pid=21271/tid=21272] ppid=21268 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21272/stat : 21272 (toysat) S 21268 21271 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27665478 1343819776 269058 33554432000 4194304 16246674 140735053793568 139715937283312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21271/tid=21273] ppid=21268 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21273/stat : 21273 (toysat) S 21268 21271 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27665478 1343819776 269058 33554432000 4194304 16246674 140735053793568 139715926793456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21271/tid=21274] ppid=21268 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21274/stat : 21274 (toysat) S 21268 21271 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27665478 1343819776 269058 33554432000 4194304 16246674 140735053793568 139715916319920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.26 2.23 2.11 3/183 21275
/proc/meminfo: memFree=28603948/32872528 swapFree=1085692/1157232
[pid=21271] ppid=21268 vsize=1312324 CPUtime=25.49 cores=0,2,4,6
/proc/21271/stat : 21271 (toysat) R 21268 21271 21062 0 -1 4202496 269272 0 0 0 2510 39 0 0 20 0 4 0 27665478 1343819776 269060 33554432000 4194304 16246674 140735053793568 140735053775488 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21271/statm: 328081 269060 891 2943 0 324975 0
[pid=21271/tid=21272] ppid=21268 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21272/stat : 21272 (toysat) S 21268 21271 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27665478 1343819776 269060 33554432000 4194304 16246674 140735053793568 139715937283312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21271/tid=21273] ppid=21268 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21273/stat : 21273 (toysat) S 21268 21271 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27665478 1343819776 269060 33554432000 4194304 16246674 140735053793568 139715926793456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21271/tid=21274] ppid=21268 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21274/stat : 21274 (toysat) S 21268 21271 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27665478 1343819776 269060 33554432000 4194304 16246674 140735053793568 139715916319920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.23 2.22 2.11 3/183 21275
/proc/meminfo: memFree=28604080/32872528 swapFree=1085692/1157232
[pid=21271] ppid=21268 vsize=1312324 CPUtime=51.08 cores=0,2,4,6
/proc/21271/stat : 21271 (toysat) R 21268 21271 21062 0 -1 4202496 269273 0 0 0 5069 39 0 0 20 0 4 0 27665478 1343819776 269061 33554432000 4194304 16246674 140735053793568 140735053775488 5523188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21271/statm: 328081 269061 892 2943 0 324975 0
[pid=21271/tid=21272] ppid=21268 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21272/stat : 21272 (toysat) S 21268 21271 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27665478 1343819776 269061 33554432000 4194304 16246674 140735053793568 139715937283312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21271/tid=21273] ppid=21268 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21273/stat : 21273 (toysat) S 21268 21271 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27665478 1343819776 269061 33554432000 4194304 16246674 140735053793568 139715926793456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21271/tid=21274] ppid=21268 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21274/stat : 21274 (toysat) S 21268 21271 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27665478 1343819776 269061 33554432000 4194304 16246674 140735053793568 139715916319920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.3 s]
/proc/loadavg: 2.16 2.20 2.11 3/183 21276
/proc/meminfo: memFree=28581720/32872528 swapFree=1085692/1157232
[pid=21271] ppid=21268 vsize=1321540 CPUtime=102.28 cores=0,2,4,6
/proc/21271/stat : 21271 (toysat) R 21268 21271 21062 0 -1 4202496 271348 0 0 0 10189 39 0 0 20 0 4 0 27665478 1353256960 271136 33554432000 4194304 16246674 140735053793568 140735053775488 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21271/statm: 330385 271136 892 2943 0 327279 0
[pid=21271/tid=21272] ppid=21268 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21272/stat : 21272 (toysat) S 21268 21271 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27665478 1353256960 271136 33554432000 4194304 16246674 140735053793568 139715937283312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21271/tid=21273] ppid=21268 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21273/stat : 21273 (toysat) S 21268 21271 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27665478 1353256960 271136 33554432000 4194304 16246674 140735053793568 139715926793456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21271/tid=21274] ppid=21268 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21274/stat : 21274 (toysat) S 21268 21271 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27665478 1353256960 271136 33554432000 4194304 16246674 140735053793568 139715916319920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1321540


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

/proc/21271/task/21274/stat : 21274 (toysat) S 21268 21271 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27665478 1365839872 274637 33554432000 4194304 16246674 140735053793568 139715916319920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1333828

[startup+1362.3 s]
/proc/loadavg: 2.26 2.23 2.18 3/183 21357
/proc/meminfo: memFree=28542348/32872528 swapFree=1085692/1157232
[pid=21271] ppid=21268 vsize=1333828 CPUtime=1361.88 cores=0,2,4,6
/proc/21271/stat : 21271 (toysat) R 21268 21271 21062 0 -1 4202496 274929 0 0 0 136134 54 0 0 20 0 4 0 27665478 1365839872 274637 33554432000 4194304 16246674 140735053793568 140735053775488 5677716 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21271/statm: 333457 274637 892 2943 0 330351 0
[pid=21271/tid=21272] ppid=21268 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21272/stat : 21272 (toysat) S 21268 21271 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27665478 1365839872 274637 33554432000 4194304 16246674 140735053793568 139715937283312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21271/tid=21273] ppid=21268 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21273/stat : 21273 (toysat) S 21268 21271 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27665478 1365839872 274637 33554432000 4194304 16246674 140735053793568 139715926793456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21271/tid=21274] ppid=21268 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21274/stat : 21274 (toysat) S 21268 21271 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27665478 1365839872 274637 33554432000 4194304 16246674 140735053793568 139715916319920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1333828

[startup+1422.3 s]
/proc/loadavg: 2.22 2.23 2.18 3/183 21358
/proc/meminfo: memFree=28542380/32872528 swapFree=1085692/1157232
[pid=21271] ppid=21268 vsize=1333828 CPUtime=1421.88 cores=0,2,4,6
/proc/21271/stat : 21271 (toysat) R 21268 21271 21062 0 -1 4202496 274929 0 0 0 142133 55 0 0 20 0 4 0 27665478 1365839872 274637 33554432000 4194304 16246674 140735053793568 140735053775488 12459993 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21271/statm: 333457 274637 892 2943 0 330351 0
[pid=21271/tid=21272] ppid=21268 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21272/stat : 21272 (toysat) S 21268 21271 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27665478 1365839872 274637 33554432000 4194304 16246674 140735053793568 139715937283312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21271/tid=21273] ppid=21268 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21273/stat : 21273 (toysat) S 21268 21271 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27665478 1365839872 274637 33554432000 4194304 16246674 140735053793568 139715926793456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21271/tid=21274] ppid=21268 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21274/stat : 21274 (toysat) S 21268 21271 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27665478 1365839872 274637 33554432000 4194304 16246674 140735053793568 139715916319920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.14 2.20 2.18 3/183 21359
/proc/meminfo: memFree=28541508/32872528 swapFree=1085692/1157232
[pid=21271] ppid=21268 vsize=1333828 CPUtime=1481.86 cores=0,2,4,6
/proc/21271/stat : 21271 (toysat) R 21268 21271 21062 0 -1 4202496 274985 0 0 0 148131 55 0 0 20 0 4 0 27665478 1365839872 274693 33554432000 4194304 16246674 140735053793568 140735053775488 12477776 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21271/statm: 333457 274693 892 2943 0 330351 0
[pid=21271/tid=21272] ppid=21268 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21272/stat : 21272 (toysat) S 21268 21271 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27665478 1365839872 274693 33554432000 4194304 16246674 140735053793568 139715937283312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21271/tid=21273] ppid=21268 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21273/stat : 21273 (toysat) S 21268 21271 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27665478 1365839872 274693 33554432000 4194304 16246674 140735053793568 139715926793456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21271/tid=21274] ppid=21268 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21274/stat : 21274 (toysat) S 21268 21271 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27665478 1365839872 274693 33554432000 4194304 16246674 140735053793568 139715916319920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.15 2.19 2.18 3/183 21361
/proc/meminfo: memFree=28542148/32872528 swapFree=1085692/1157232
[pid=21271] ppid=21268 vsize=1333828 CPUtime=1541.85 cores=0,2,4,6
/proc/21271/stat : 21271 (toysat) R 21268 21271 21062 0 -1 4202496 274985 0 0 0 154130 55 0 0 20 0 4 0 27665478 1365839872 274693 33554432000 4194304 16246674 140735053793568 140735053792664 12477709 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21271/statm: 333457 274693 892 2943 0 330351 0
[pid=21271/tid=21272] ppid=21268 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21272/stat : 21272 (toysat) S 21268 21271 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27665478 1365839872 274693 33554432000 4194304 16246674 140735053793568 139715937283312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21271/tid=21273] ppid=21268 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21273/stat : 21273 (toysat) S 21268 21271 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27665478 1365839872 274693 33554432000 4194304 16246674 140735053793568 139715926793456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21271/tid=21274] ppid=21268 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21274/stat : 21274 (toysat) S 21268 21271 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27665478 1365839872 274693 33554432000 4194304 16246674 140735053793568 139715916319920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.16 2.18 2.17 3/184 21365
/proc/meminfo: memFree=28542192/32872528 swapFree=1085692/1157232
[pid=21271] ppid=21268 vsize=1333828 CPUtime=1601.84 cores=0,2,4,6
/proc/21271/stat : 21271 (toysat) R 21268 21271 21062 0 -1 4202496 274985 0 0 0 160128 56 0 0 20 0 4 0 27665478 1365839872 274693 33554432000 4194304 16246674 140735053793568 140735053792744 13820864 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21271/statm: 333457 274693 892 2943 0 330351 0
[pid=21271/tid=21272] ppid=21268 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21272/stat : 21272 (toysat) S 21268 21271 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27665478 1365839872 274693 33554432000 4194304 16246674 140735053793568 139715937283312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21271/tid=21273] ppid=21268 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21273/stat : 21273 (toysat) S 21268 21271 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27665478 1365839872 274693 33554432000 4194304 16246674 140735053793568 139715926793456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21271/tid=21274] ppid=21268 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21274/stat : 21274 (toysat) S 21268 21271 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27665478 1365839872 274693 33554432000 4194304 16246674 140735053793568 139715916319920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.06 2.15 2.16 3/183 21366
/proc/meminfo: memFree=28542096/32872528 swapFree=1085692/1157232
[pid=21271] ppid=21268 vsize=1333828 CPUtime=1661.83 cores=0,2,4,6
/proc/21271/stat : 21271 (toysat) R 21268 21271 21062 0 -1 4202496 274985 0 0 0 166126 57 0 0 20 0 4 0 27665478 1365839872 274693 33554432000 4194304 16246674 140735053793568 140735053776568 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21271/statm: 333457 274693 892 2943 0 330351 0
[pid=21271/tid=21272] ppid=21268 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21272/stat : 21272 (toysat) S 21268 21271 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27665478 1365839872 274693 33554432000 4194304 16246674 140735053793568 139715937283312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21271/tid=21273] ppid=21268 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21273/stat : 21273 (toysat) S 21268 21271 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27665478 1365839872 274693 33554432000 4194304 16246674 140735053793568 139715926793456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21271/tid=21274] ppid=21268 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21274/stat : 21274 (toysat) S 21268 21271 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27665478 1365839872 274693 33554432000 4194304 16246674 140735053793568 139715916319920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.11 2.15 2.16 3/183 21367
/proc/meminfo: memFree=28542032/32872528 swapFree=1085692/1157232
[pid=21271] ppid=21268 vsize=1333828 CPUtime=1721.82 cores=0,2,4,6
/proc/21271/stat : 21271 (toysat) R 21268 21271 21062 0 -1 4202496 274985 0 0 0 172125 57 0 0 20 0 4 0 27665478 1365839872 274693 33554432000 4194304 16246674 140735053793568 140735053775488 5711636 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21271/statm: 333457 274693 892 2943 0 330351 0
[pid=21271/tid=21272] ppid=21268 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21272/stat : 21272 (toysat) S 21268 21271 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27665478 1365839872 274693 33554432000 4194304 16246674 140735053793568 139715937283312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21271/tid=21273] ppid=21268 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21273/stat : 21273 (toysat) S 21268 21271 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27665478 1365839872 274693 33554432000 4194304 16246674 140735053793568 139715926793456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21271/tid=21274] ppid=21268 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21274/stat : 21274 (toysat) S 21268 21271 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27665478 1365839872 274693 33554432000 4194304 16246674 140735053793568 139715916319920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.14 2.15 2.16 3/183 21368
/proc/meminfo: memFree=28541564/32872528 swapFree=1085692/1157232
[pid=21271] ppid=21268 vsize=1333828 CPUtime=1781.82 cores=0,2,4,6
/proc/21271/stat : 21271 (toysat) R 21268 21271 21062 0 -1 4202496 274985 0 0 0 178124 58 0 0 20 0 4 0 27665478 1365839872 274693 33554432000 4194304 16246674 140735053793568 140735053792664 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21271/statm: 333457 274693 892 2943 0 330351 0
[pid=21271/tid=21272] ppid=21268 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21272/stat : 21272 (toysat) S 21268 21271 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27665478 1365839872 274693 33554432000 4194304 16246674 140735053793568 139715937283312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21271/tid=21273] ppid=21268 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21273/stat : 21273 (toysat) S 21268 21271 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27665478 1365839872 274693 33554432000 4194304 16246674 140735053793568 139715926793456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21271/tid=21274] ppid=21268 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21274/stat : 21274 (toysat) S 21268 21271 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27665478 1365839872 274693 33554432000 4194304 16246674 140735053793568 139715916319920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1333828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.18 2.16 2.16 3/183 21368
/proc/meminfo: memFree=28541660/32872528 swapFree=1085692/1157232
[pid=21271] ppid=21268 vsize=1333828 CPUtime=1800.01 cores=0,2,4,6
/proc/21271/stat : 21271 (toysat) R 21268 21271 21062 0 -1 4202496 274985 0 0 0 179943 58 0 0 20 0 4 0 27665478 1365839872 274693 33554432000 4194304 16246674 140735053793568 140735053775488 5754796 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21271/statm: 333457 274693 892 2943 0 330351 0
[pid=21271/tid=21272] ppid=21268 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21272/stat : 21272 (toysat) S 21268 21271 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27665478 1365839872 274693 33554432000 4194304 16246674 140735053793568 139715937283312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21271/tid=21273] ppid=21268 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21273/stat : 21273 (toysat) S 21268 21271 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27665478 1365839872 274693 33554432000 4194304 16246674 140735053793568 139715926793456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21271/tid=21274] ppid=21268 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21274/stat : 21274 (toysat) S 21268 21271 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27665478 1365839872 274693 33554432000 4194304 16246674 140735053793568 139715916319920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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 21271 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.18 2.16 2.16 3/183 21368
/proc/meminfo: memFree=28541660/32872528 swapFree=1085692/1157232
[pid=21271] ppid=21268 vsize=1333828 CPUtime=1800.01 cores=0,2,4,6
/proc/21271/stat : 21271 (toysat) R 21268 21271 21062 0 -1 4202496 274985 0 0 0 179943 58 0 0 20 0 4 0 27665478 1365839872 274693 33554432000 4194304 16246674 140735053793568 140735053775488 5754796 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21271/statm: 333457 274693 892 2943 0 330351 0
[pid=21271/tid=21272] ppid=21268 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21272/stat : 21272 (toysat) S 21268 21271 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27665478 1365839872 274693 33554432000 4194304 16246674 140735053793568 139715937283312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21271/tid=21273] ppid=21268 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21273/stat : 21273 (toysat) S 21268 21271 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27665478 1365839872 274693 33554432000 4194304 16246674 140735053793568 139715926793456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21271/tid=21274] ppid=21268 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/21271/task/21274/stat : 21274 (toysat) S 21268 21271 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27665478 1365839872 274693 33554432000 4194304 16246674 140735053793568 139715916319920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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.44
CPU system time (s): 0.581911
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 1333828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.44
system time used= 0.581911
maximum resident set size= 1098772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274985
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= 353
involuntary context switches= 1837

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.2021 second user time and 13.235 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-26 15:04:19
IDJOB=4115973
IDBENCH=109412
IDSOLVER=2542
FILE ID=node114/4115973-1466946258
RUNJOBID= node114-1466944456-21078
PBS_JOBID= 19976359
Free space on /tmp= 71640 MiB

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

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

MD5SUM BENCH= a60d5b9361e66998e61250a2aafb07d9
RANDOM SEED=1360234622

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30754652 kB
Buffers:            6760 kB
Cached:           214008 kB
SwapCached:        38936 kB
Active:            62384 kB
Inactive:         198764 kB
Active(anon):       5248 kB
Inactive(anon):    37756 kB
Active(file):      57136 kB
Inactive(file):   161008 kB
Unevictable:     1157232 kB
Mlocked:         1085692 kB
SwapTotal:      67108856 kB
SwapFree:       67061372 kB
Dirty:             33400 kB
Writeback:             0 kB
AnonPages:       1262488 kB
Mapped:             7060 kB
Shmem:                 0 kB
Slab:             567108 kB
SReclaimable:      10764 kB
SUnreclaim:       556344 kB
KernelStack:        1432 kB
PageTables:         6092 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1254672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    174080 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71624 MiB
End job on node114 at 2016-06-26 15:34:19