Trace number 4099515

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

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb
MD5SUMfe9566a2c8ff9ee542e29a30eb3c6e16
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.024995
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables4000
Total number of constraints180
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint50
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 51
Number of bits of the biggest sum of numbers6
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-18T01:29:03+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-4099515-1466206142.opb"]
0.00/0.01	c use --random-gen="1047293636 3928124512 1918774963 256293286 670278140 2766435837 3258859305 1719001529 78142910 3713168040 4262513606 2889645177 290798332 1277780412 603844367 3333621337 3291396388 2867035478 510560832 612716848 3823337465 68232671 3668816370 3840829349 2820596009 1323943477 1736202965 1720065700 958448394 2999127892 3936839971 930039439 331386532 2481392390 2709099308 740879883 394050860 1786671316 2628650319 4292111250 3900660852 191503080 1798685143 3424997254 194136310 608385652 4098405936 1918408038 2774205360 2443141887 366941035 2165302372 525458646 915765352 1275903735 3625015881 3194472220 1782882806 2941491884 2906754343 3888680877 1012645215 2614004664 789043153 412573034 1892134371 1036651370 490405037 2308068491 774117510 1895998342 3995064205 2846723228 2999747470 3181630631 1976165333 1339467285 3851026021 2125711233 689139060 1702644876 3548135809 1551464048 2835216092 3122290478 408866928 824718908 1304859765 2388454390 3868960842 3536862657 1678953401 2549132846 2908260266 1858486620 2638408869 3259119880 468021537 38478461 3570079451 3293278419 4058947735 933956902 2559272509 4246254858 2036907219 476630007 443846397 3781653201 2784091942 2977968666 1697184851 1934432761 2503528802 1599531337 2907332257 1226577626 2980491379 2890301545 3168386315 493219561 3094025676 4082488909 187462482 913000011 246700856 1640573147 1846688011 3510230720 1217607090 2804320663 2803101914 1242609909 709235833 4134638739 3620244810 225421465 1781556965 2015634101 1586920982 2267198864 1235496948 3637749486 2497285236 347473853 3789954312 3370534222 3323765767 1309893589 3625249526 3714102147 911655959 4026494935 2212288652 629314314 1641689221 3300839170 2446170675 1156227302 3254246192 4175181057 1709041530 2494970001 2186390482 999595241 2176506448 4231434118 3163856902 55515529 1784435582 712480343 1412366504 3264018058 32472446 866724290 3093574544 1317192154 3499453908 2153105508 3730623022 2054177051 1683744013 2808150304 1992259279 1983289204 2995512320 1488111425 232537155 2568926097 1537495891 476737500 1932672845 765201865 3556659252 2268127136 3714021268 798814844 2220303740 4124095961 118489614 3553696432 4004324180 808068594 2228009173 3148331842 2116104577 3516615487 2863960203 2408273123 1433044803 2022112870 3267050005 1504162500 94120346 1628954935 1841539493 2754962896 164353421 1724033877 771190757 2009925112 1894395093 2711668863 1345632259 498020792 889202410 2923380730 267747406 1453694087 1528243678 3321387426 3015290470 1439697709 2378062789 1548694678 2842423429 1506721864 1548395641 2167679130 3266281819 1118703569 1025028744 3166756866 3971358116 2042077159 961702738 565782027 2558966036 136032047 3073663937 383967503 1872164639 2913830622 2998435505 2624988994 3770060880 255 362436" option to reproduce the execution
0.00/0.03	c #vars 4000
0.00/0.03	c #constraints 180
0.00/0.05	c Solving starts ...
0.00/0.05	c ============================[ Search Statistics ]============================
0.00/0.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.05	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.05	c =============================================================================
0.00/0.05	c  0.0s |       0 |        0 |        0 |     1393      0 |        0 |        0
0.00/0.09	c  0.0s |       1 |      151 |      100 |     1393      0 |        0 |        0
0.18/0.20	c  0.2s |       2 |     1176 |      250 |     1533      0 |        0 |        0
0.28/0.38	c  0.3s |       3 |     2326 |      475 |     1687      0 |        0 |        0
0.59/0.60	c  0.6s |       4 |     3696 |      813 |     1856      0 |        0 |        0
0.89/0.97	c  0.9s |       5 |     5261 |     1320 |     2042      0 |        0 |        0
1.49/1.58	c  1.5s |       6 |     7165 |     2081 |     2472      0 |        0 |        0
3.09/3.15	c  3.1s |       7 |     9331 |     3223 |     2720      0 |        0 |        0
4.69/4.72	c  4.7s |       8 |    12735 |     4936 |     2993      1 |        0 |        0
6.79/6.82	c  6.8s |       8 |    16004 |     6836 |     2993      2 |        0 |        0
7.59/7.66	c  7.6s |       9 |    16733 |     7506 |     3293      2 |        0 |        0
9.59/9.69	c  9.6s |       9 |    19716 |     9306 |     3293      3 |        0 |        0
11.89/11.92	c 11.9s |       9 |    21272 |    10706 |     3293      4 |        0 |        0
13.19/13.22	c 13.2s |      10 |    21980 |    11361 |     3623      4 |        0 |        0
15.29/15.32	c 15.3s |      10 |    26113 |    14061 |     3623      5 |        0 |        0
17.29/17.32	c 17.3s |      10 |    28161 |    15661 |     3623      6 |        0 |        0
19.39/19.45	c 19.4s |      11 |    29825 |    17144 |     3986      6 |        0 |        0
21.48/21.50	c 21.5s |      11 |    33748 |    19444 |     3986      7 |        0 |        0
23.48/23.53	c 23.5s |      11 |    35828 |    21244 |     3986      8 |        0 |        0
25.58/25.62	c 25.6s |      11 |    37566 |    22844 |     3986      8 |        0 |        0
27.59/27.65	c 27.6s |      11 |    39097 |    24244 |     3986      9 |        0 |        0
29.58/29.68	c 29.6s |      12 |    40816 |    25819 |     4385      9 |        0 |        0
31.69/31.79	c 31.7s |      12 |    44487 |    28019 |     4385     10 |        0 |        0
33.79/33.85	c 33.8s |      12 |    46387 |    29719 |     4385     11 |        0 |        0
35.99/36.00	c 35.9s |      12 |    48103 |    31219 |     4385     11 |        0 |        0
37.99/38.04	c 38.0s |      12 |    49507 |    32519 |     4385     11 |        0 |        0
39.99/40.08	c 40.0s |      12 |    50920 |    33819 |     4385     12 |        0 |        0
42.19/42.20	c 42.2s |      12 |    52439 |    35219 |     4385     12 |        0 |        0
44.29/44.32	c 44.3s |      12 |    53747 |    36419 |     4385     13 |        0 |        0
46.29/46.38	c 46.3s |      12 |    55149 |    37719 |     4385     13 |        0 |        0
48.28/48.38	c 48.3s |      13 |    56384 |    38832 |     4824     13 |        0 |        0
50.38/50.42	c 50.4s |      13 |    60656 |    40532 |     4824     14 |        0 |        0
52.38/52.43	c 52.4s |      13 |    62474 |    42132 |     4824     14 |        0 |        0
54.38/54.45	c 54.4s |      13 |    63778 |    43332 |     4824     15 |        0 |        0
56.48/56.56	c 56.5s |      13 |    65223 |    44632 |     4824     15 |        0 |        0
58.58/58.65	c 58.6s |      13 |    66536 |    45832 |     4824     15 |        0 |        0
60.78/60.80	c 60.8s |      13 |    67848 |    47032 |     4824     16 |        0 |        0
62.88/62.94	c 62.9s |      13 |    69591 |    48532 |     4824     16 |        0 |        0
64.89/64.98	c 64.9s |      13 |    70912 |    49732 |     4824     17 |        0 |        0
67.09/67.13	c 67.1s |      13 |    72244 |    50932 |     4824     17 |        0 |        0
69.18/69.20	c 69.2s |      13 |    73459 |    52032 |     4824     17 |        0 |        0
71.28/71.33	c 71.3s |      13 |    74665 |    53132 |     4824     18 |        0 |        0
73.38/73.43	c 73.4s |      13 |    75855 |    54232 |     4824     18 |        0 |        0
75.38/75.45	c 75.4s |      13 |    76930 |    55232 |     4824     18 |        0 |        0
77.47/77.54	c 77.5s |      13 |    77910 |    56132 |     4824     19 |        0 |        0
79.57/79.65	c 79.6s |      13 |    79203 |    57332 |     4824     19 |        0 |        0
81.57/81.65	c 81.6s |      13 |    80168 |    58232 |     5307     19 |        0 |        0
81.87/81.96	c 81.9s |      14 |    80299 |    58352 |     5307     19 |        0 |        0
83.87/83.99	c 83.9s |      14 |    83389 |    60652 |     5307     20 |        0 |        0
85.97/86.02	c 86.0s |      14 |    86241 |    63152 |     5307     21 |        0 |        0
87.98/88.05	c 88.0s |      14 |    89196 |    65152 |     5307     22 |        0 |        0
89.98/90.08	c 90.0s |      14 |    91532 |    67152 |     5307     22 |        0 |        0
92.08/92.14	c 92.1s |      14 |    93089 |    68552 |     5307     22 |        0 |        0
94.08/94.18	c 94.1s |      14 |    94393 |    69752 |     5307     23 |        0 |        0
96.28/96.34	c 96.3s |      14 |    95985 |    71152 |     5307     23 |        0 |        0
98.38/98.42	c 98.4s |      14 |    97188 |    72252 |     5307     23 |        0 |        0
100.48/100.56	c  100s |      14 |    98376 |    73352 |     5307     24 |        0 |        0
102.68/102.74	c  102s |      14 |    99684 |    74552 |     5307     24 |        0 |        0
104.78/104.86	c  104s |      14 |   100781 |    75552 |     5307     24 |        0 |        0
106.97/107.06	c  107s |      14 |   101742 |    76452 |     5307     24 |        0 |        0
109.07/109.13	c  109s |      14 |   102784 |    77352 |     5307     25 |        0 |        0
111.18/111.25	c  111s |      14 |   104026 |    78452 |     5307     25 |        0 |        0
113.37/113.43	c  113s |      14 |   105234 |    79552 |     5307     25 |        0 |        0
115.57/115.63	c  115s |      14 |   106213 |    80452 |     5307     26 |        0 |        0
117.77/117.82	c  117s |      14 |   107445 |    81552 |     5307     26 |        0 |        0
119.88/119.99	c  119s |      14 |   108532 |    82552 |     5307     26 |        0 |        0
121.97/122.05	c  121s |      14 |   109629 |    83552 |     5307     26 |        0 |        0
124.07/124.18	c  124s |      14 |   110904 |    84652 |     5307     27 |        0 |        0
126.17/126.27	c  126s |      14 |   112223 |    85852 |     5307     27 |        0 |        0
128.17/128.27	c  128s |      14 |   113333 |    86852 |     5307     27 |        0 |        0
129.88/129.95	c  129s |      15 |   114232 |    87632 |     5838     27 |        0 |        0
131.98/132.07	c  132s |      15 |   118403 |    89232 |     5838     28 |        0 |        0
134.07/134.15	c  134s |      15 |   120184 |    90832 |     5838     28 |        0 |        0
136.17/136.21	c  136s |      15 |   121747 |    92232 |     5838     28 |        0 |        0
138.17/138.24	c  138s |      15 |   122863 |    93232 |     5838     29 |        0 |        0
140.37/140.41	c  140s |      15 |   124373 |    94532 |     5838     29 |        0 |        0
142.57/142.62	c  142s |      15 |   125628 |    95632 |     5838     29 |        0 |        0
144.77/144.80	c  144s |      15 |   126646 |    96532 |     5838     29 |        0 |        0
146.86/146.92	c  146s |      15 |   127516 |    97332 |     5838     30 |        0 |        0
148.96/149.04	c  148s |      15 |   128736 |    98432 |     5838     30 |        0 |        0
151.06/151.14	c  151s |      15 |   129923 |    99532 |     5838     30 |        0 |        0
153.26/153.31	c  153s |      15 |   131026 |   100532 |     5838     30 |        0 |        0
155.36/155.42	c  155s |      15 |   132030 |   101432 |     5838     31 |        0 |        0
157.46/157.58	c  157s |      15 |   133129 |   102432 |     5838     31 |        0 |        0
159.56/159.62	c  159s |      15 |   134252 |   103432 |     5838     31 |        0 |        0
161.56/161.69	c  161s |      15 |   135239 |   104332 |     5838     31 |        0 |        0
163.76/163.88	c  163s |      15 |   136232 |   105232 |     5838     32 |        0 |        0
165.96/166.07	c  166s |      15 |   137435 |   106332 |     5838     32 |        0 |        0
168.06/168.19	c  168s |      15 |   138687 |   107432 |     5838     32 |        0 |        0
170.16/170.21	c  170s |      15 |   139679 |   108332 |     5838     32 |        0 |        0
172.36/172.42	c  172s |      15 |   140654 |   109232 |     5838     32 |        0 |        0
174.36/174.48	c  174s |      15 |   141556 |   110032 |     5838     33 |        0 |        0
176.56/176.70	c  176s |      15 |   142763 |   111132 |     5838     33 |        0 |        0
178.75/178.86	c  178s |      15 |   143769 |   112032 |     5838     33 |        0 |        0
180.85/180.98	c  180s |      15 |   144764 |   112932 |     5838     33 |        0 |        0
183.05/183.16	c  183s |      15 |   145755 |   113832 |     5838     34 |        0 |        0
185.15/185.21	c  185s |      15 |   146727 |   114732 |     5838     34 |        0 |        0
187.15/187.29	c  187s |      15 |   147703 |   115632 |     5838     34 |        0 |        0
189.45/189.53	c  189s |      15 |   148679 |   116532 |     5838     34 |        0 |        0
191.46/191.57	c  191s |      15 |   149543 |   117332 |     5838     34 |        0 |        0
193.45/193.59	c  193s |      15 |   150195 |   117932 |     5838     35 |        0 |        0
195.55/195.62	c  195s |      15 |   151217 |   118832 |     5838     35 |        0 |        0
197.64/197.77	c  197s |      15 |   152115 |   119632 |     5838     35 |        0 |        0
199.75/199.80	c  199s |      15 |   153130 |   120532 |     5838     35 |        0 |        0
201.74/201.83	c  201s |      15 |   154006 |   121332 |     5838     35 |        0 |        0
203.84/203.90	c  203s |      15 |   154769 |   122032 |     5838     36 |        0 |        0
205.94/206.06	c  206s |      15 |   155632 |   122832 |     5838     36 |        0 |        0
208.34/208.40	c  208s |      15 |   156477 |   123632 |     5838     36 |        0 |        0
210.64/210.79	c  210s |      15 |   157237 |   124332 |     5838     36 |        0 |        0
212.84/212.96	c  212s |      15 |   157986 |   125032 |     5838     36 |        0 |        0
214.94/215.04	c  214s |      15 |   158621 |   125632 |     5838     36 |        0 |        0
217.63/217.72	c  217s |      15 |   159280 |   126232 |     5838     37 |        0 |        0
219.63/219.72	c  219s |      15 |   159921 |   126832 |     5838     37 |        0 |        0
221.63/221.76	c  221s |      15 |   161083 |   127832 |     5838     37 |        0 |        0
223.64/223.79	c  223s |      15 |   162347 |   128932 |     5838     37 |        0 |        0
225.83/225.97	c  225s |      15 |   163406 |   129832 |     5838     37 |        0 |        0
228.03/228.12	c  228s |      15 |   164432 |   130732 |     6422     38 |        0 |        0
229.72/229.81	c  229s |      16 |   165348 |   131552 |     6422     38 |        0 |        0
231.72/231.85	c  231s |      16 |   169090 |   133152 |     6422     38 |        0 |        0
233.83/233.97	c  233s |      16 |   170707 |   134552 |     6422     38 |        0 |        0
236.03/236.11	c  236s |      16 |   172203 |   135852 |     6422     38 |        0 |        0
238.03/238.14	c  238s |      16 |   173192 |   136752 |     6422     39 |        0 |        0
240.12/240.27	c  240s |      16 |   174331 |   137752 |     6422     39 |        0 |        0
242.22/242.36	c  242s |      16 |   175316 |   138652 |     6422     39 |        0 |        0
244.32/244.46	c  244s |      16 |   176187 |   139452 |     6422     39 |        0 |        0
246.52/246.63	c  246s |      16 |   177191 |   140352 |     6422     39 |        0 |        0
248.71/248.84	c  248s |      16 |   178079 |   141152 |     6422     39 |        0 |        0
250.73/250.86	c  250s |      16 |   178633 |   141652 |     6422     40 |        0 |        0
253.03/253.17	c  253s |      16 |   179365 |   142352 |     6422     40 |        0 |        0
255.22/255.32	c  255s |      16 |   180251 |   143152 |     6422     40 |        0 |        0
257.42/257.53	c  257s |      16 |   181134 |   143952 |     6422     40 |        0 |        0
259.42/259.59	c  259s |      16 |   181809 |   144552 |     6422     40 |        0 |        0
261.52/261.66	c  261s |      16 |   182815 |   145452 |     6422     40 |        0 |        0
263.62/263.72	c  263s |      16 |   183632 |   146152 |     6422     40 |        0 |        0
265.71/265.83	c  265s |      16 |   184428 |   146852 |     6422     41 |        0 |        0
268.01/268.10	c  268s |      16 |   185439 |   147752 |     6422     41 |        0 |        0
270.11/270.22	c  270s |      16 |   186352 |   148552 |     6422     41 |        0 |        0
272.30/272.42	c  272s |      16 |   187237 |   149352 |     6422     41 |        0 |        0
274.51/274.64	c  274s |      16 |   188037 |   150052 |     6422     41 |        0 |        0
276.81/276.93	c  276s |      16 |   188700 |   150652 |     6422     41 |        0 |        0
279.10/279.23	c  279s |      16 |   189378 |   151252 |     6422     42 |        0 |        0
281.21/281.35	c  281s |      16 |   190394 |   152152 |     6422     42 |        0 |        0
283.40/283.58	c  283s |      16 |   191279 |   152952 |     6422     42 |        0 |        0
285.50/285.67	c  285s |      16 |   192274 |   153852 |     6422     42 |        0 |        0
287.50/287.67	c  287s |      16 |   193185 |   154652 |     6422     42 |        0 |        0
289.70/289.83	c  289s |      16 |   193975 |   155352 |     6422     42 |        0 |        0
291.80/291.98	c  291s |      16 |   194766 |   156052 |     6422     42 |        0 |        0
294.10/294.24	c  294s |      16 |   195426 |   156652 |     6422     43 |        0 |        0
296.30/296.44	c  296s |      16 |   196573 |   157652 |     6422     43 |        0 |        0
298.29/298.46	c  298s |      16 |   197578 |   158552 |     6422     43 |        0 |        0
300.59/300.70	c  300s |      16 |   198473 |   159352 |     6422     43 |        0 |        0
302.70/302.81	c  302s |      16 |   199240 |   160052 |     6422     43 |        0 |        0
304.89/305.06	c  305s |      16 |   200120 |   160852 |     6422     43 |        0 |        0
306.90/307.08	c  307s |      16 |   200680 |   161352 |     6422     44 |        0 |        0
308.89/309.09	c  309s |      16 |   201420 |   162052 |     6422     44 |        0 |        0
311.20/311.33	c  311s |      16 |   202159 |   162752 |     6422     44 |        0 |        0
313.29/313.42	c  313s |      16 |   202915 |   163452 |     6422     44 |        0 |        0
315.29/315.48	c  315s |      16 |   203562 |   164052 |     6422     44 |        0 |        0
317.49/317.64	c  317s |      16 |   204203 |   164652 |     6422     44 |        0 |        0
319.59/319.71	c  319s |      16 |   204973 |   165352 |     6422     44 |        0 |        0
321.79/321.95	c  321s |      16 |   205905 |   166152 |     6422     44 |        0 |        0
323.98/324.10	c  324s |      16 |   206600 |   166752 |     6422     45 |        0 |        0
325.98/326.18	c  326s |      16 |   207363 |   167452 |     6422     45 |        0 |        0
328.08/328.24	c  328s |      16 |   208456 |   168352 |     6422     45 |        0 |        0
330.29/330.46	c  330s |      16 |   209576 |   169352 |     6422     45 |        0 |        0
332.59/332.72	c  332s |      16 |   210458 |   170152 |     6422     45 |        0 |        0
334.58/334.73	c  334s |      16 |   211223 |   170852 |     6422     45 |        0 |        0
336.88/337.09	c  337s |      16 |   211892 |   171452 |     6422     46 |        0 |        0
338.98/339.11	c  339s |      16 |   212778 |   172252 |     6422     46 |        0 |        0
341.18/341.36	c  341s |      16 |   213693 |   173052 |     6422     46 |        0 |        0
343.48/343.60	c  343s |      16 |   214464 |   173752 |     6422     46 |        0 |        0
345.48/345.61	c  345s |      16 |   215221 |   174452 |     6422     46 |        0 |        0
347.68/347.81	c  347s |      16 |   215875 |   175052 |     6422     46 |        0 |        0
349.87/350.05	c  349s |      16 |   216550 |   175652 |     6422     46 |        0 |        0
352.28/352.49	c  352s |      16 |   217356 |   176352 |     6422     47 |        0 |        0
354.38/354.56	c  354s |      16 |   218380 |   177252 |     6422     47 |        0 |        0
356.47/356.64	c  356s |      16 |   219267 |   178052 |     6422     47 |        0 |        0
358.58/358.77	c  358s |      16 |   220048 |   178752 |     6422     47 |        0 |        0
360.57/360.80	c  360s |      16 |   220716 |   179352 |     6422     47 |        0 |        0
362.67/362.80	c  362s |      16 |   221512 |   180052 |     6422     47 |        0 |        0
364.77/364.93	c  364s |      16 |   222206 |   180652 |     6422     47 |        0 |        0
366.77/366.96	c  366s |      16 |   222877 |   181252 |     6422     47 |        0 |        0
369.07/369.22	c  369s |      16 |   223455 |   181752 |     6422     48 |        0 |        0
371.37/371.50	c  371s |      16 |   224110 |   182352 |     6422     48 |        0 |        0
373.37/373.52	c  373s |      16 |   225024 |   183152 |     6422     48 |        0 |        0
375.37/375.53	c  375s |      16 |   225904 |   183952 |     6422     48 |        0 |        0
377.56/377.73	c  377s |      16 |   226832 |   184752 |     6422     48 |        0 |        0
379.67/379.88	c  379s |      16 |   227568 |   185452 |     6422     48 |        0 |        0
382.06/382.24	c  382s |      16 |   228348 |   186152 |     6422     48 |        0 |        0
384.16/384.34	c  384s |      16 |   228893 |   186652 |     6422     49 |        0 |        0
386.16/386.36	c  386s |      16 |   229565 |   187252 |     6422     49 |        0 |        0
388.26/388.47	c  388s |      16 |   230281 |   187852 |     6422     49 |        0 |        0
390.47/390.62	c  390s |      16 |   231289 |   188752 |     6422     49 |        0 |        0
392.76/392.93	c  392s |      16 |   232198 |   189552 |     6422     49 |        0 |        0
395.05/395.20	c  395s |      16 |   232965 |   190252 |     6422     49 |        0 |        0
397.06/397.24	c  397s |      16 |   233634 |   190852 |     6422     49 |        0 |        0
399.16/399.40	c  399s |      16 |   234415 |   191552 |     6422     50 |        0 |        0
401.26/401.48	c  401s |      16 |   235264 |   192352 |     6422     50 |        0 |        0
403.45/403.68	c  403s |      16 |   236077 |   193052 |     6422     50 |        0 |        0
405.55/405.72	c  405s |      16 |   236855 |   193752 |     6422     50 |        0 |        0
407.75/407.94	c  407s |      16 |   237882 |   194652 |     6422     50 |        0 |        0
409.95/410.13	c  410s |      16 |   238774 |   195452 |     6422     50 |        0 |        0
411.95/412.17	c  412s |      16 |   239547 |   196152 |     7065     50 |        0 |        0
414.25/414.42	c  414s |      16 |   240316 |   196852 |     7065     50 |        0 |        0
416.34/416.59	c  416s |      17 |   240949 |   197432 |     7065     51 |        0 |        0
418.44/418.68	c  418s |      17 |   243650 |   198432 |     7065     51 |        0 |        0
420.64/420.83	c  420s |      17 |   244848 |   199432 |     7065     51 |        0 |        0
422.84/423.00	c  422s |      17 |   245997 |   200432 |     7065     51 |        0 |        0
424.94/425.13	c  425s |      17 |   246782 |   201132 |     7065     52 |        0 |        0
427.14/427.32	c  427s |      17 |   247808 |   202032 |     7065     52 |        0 |        0
429.34/429.54	c  429s |      17 |   248829 |   202932 |     7065     52 |        0 |        0
431.54/431.79	c  431s |      17 |   249725 |   203732 |     7065     52 |        0 |        0
433.84/434.02	c  433s |      17 |   250525 |   204432 |     7065     52 |        0 |        0
436.23/436.42	c  436s |      17 |   251323 |   205132 |     7065     53 |        0 |        0
438.33/438.53	c  438s |      17 |   252206 |   205932 |     7065     53 |        0 |        0
440.44/440.69	c  440s |      17 |   252997 |   206632 |     7065     53 |        0 |        0
442.54/442.72	c  442s |      17 |   253659 |   207232 |     7065     53 |        0 |        0
444.73/444.94	c  444s |      17 |   254408 |   207932 |     7065     53 |        0 |        0
446.73/446.94	c  446s |      17 |   255073 |   208532 |     7065     53 |        0 |        0
448.93/449.14	c  449s |      17 |   255839 |   209232 |     7065     53 |        0 |        0
451.23/451.44	c  451s |      17 |   256468 |   209832 |     7065     54 |        0 |        0
453.43/453.68	c  453s |      17 |   257515 |   210732 |     7065     54 |        0 |        0
455.62/455.81	c  455s |      17 |   258387 |   211532 |     7065     54 |        0 |        0
457.82/458.03	c  457s |      17 |   259292 |   212332 |     7065     54 |        0 |        0
460.03/460.24	c  460s |      17 |   260059 |   213032 |     7065     54 |        0 |        0
462.13/462.30	c  462s |      17 |   260946 |   213832 |     7065     54 |        0 |        0
464.23/464.42	c  464s |      17 |   261722 |   214532 |     7065     55 |        0 |        0
466.43/466.62	c  466s |      17 |   262594 |   215332 |     7065     55 |        0 |        0
468.43/468.64	c  468s |      17 |   263453 |   216132 |     7065     55 |        0 |        0
470.63/470.82	c  470s |      17 |   264370 |   216932 |     7065     55 |        0 |        0
472.62/472.83	c  472s |      17 |   265043 |   217532 |     7065     55 |        0 |        0
474.92/475.18	c  475s |      17 |   265806 |   218232 |     7065     55 |        0 |        0
477.22/477.50	c  477s |      17 |   266507 |   218832 |     7065     56 |        0 |        0
479.32/479.59	c  479s |      17 |   267660 |   219832 |     7065     56 |        0 |        0
481.41/481.65	c  481s |      17 |   268684 |   220732 |     7065     56 |        0 |        0
483.51/483.70	c  483s |      17 |   269587 |   221532 |     7065     56 |        0 |        0
485.61/485.85	c  485s |      17 |   270501 |   222332 |     7065     56 |        0 |        0
487.81/488.07	c  488s |      17 |   271291 |   223032 |     7065     57 |        0 |        0
489.91/490.18	c  490s |      17 |   272209 |   223832 |     7065     57 |        0 |        0
492.01/492.25	c  492s |      17 |   273393 |   224832 |     7065     57 |        0 |        0
494.21/494.47	c  494s |      17 |   274465 |   225732 |     7065     57 |        0 |        0
496.52/496.71	c  496s |      17 |   275391 |   226532 |     7065     57 |        0 |        0
498.61/498.80	c  498s |      17 |   276207 |   227232 |     7065     57 |        0 |        0
500.71/500.99	c  500s |      17 |   277005 |   227932 |     7065     58 |        0 |        0
502.81/503.01	c  502s |      17 |   277954 |   228732 |     7065     58 |        0 |        0
504.82/505.05	c  505s |      17 |   278841 |   229532 |     7065     58 |        0 |        0
507.01/507.29	c  507s |      17 |   279746 |   230332 |     7065     58 |        0 |        0
509.30/509.57	c  509s |      17 |   280556 |   231032 |     7065     58 |        0 |        0
511.50/511.78	c  511s |      17 |   281358 |   231732 |     7065     58 |        0 |        0
513.71/513.96	c  513s |      17 |   282125 |   232432 |     7065     59 |        0 |        0
515.81/516.07	c  516s |      17 |   282919 |   233132 |     7065     59 |        0 |        0
518.01/518.29	c  518s |      17 |   283680 |   233832 |     7065     59 |        0 |        0
520.10/520.37	c  520s |      17 |   284359 |   234432 |     7065     59 |        0 |        0
522.19/522.47	c  522s |      17 |   285016 |   235032 |     7065     59 |        0 |        0
524.40/524.60	c  524s |      17 |   285698 |   235632 |     7065     59 |        0 |        0
526.40/526.68	c  526s |      17 |   286498 |   236332 |     7065     60 |        0 |        0
528.59/528.86	c  528s |      17 |   287495 |   237232 |     7065     60 |        0 |        0
530.59/530.89	c  530s |      17 |   288494 |   238132 |     7065     60 |        0 |        0
532.69/532.94	c  532s |      17 |   289383 |   238932 |     7065     60 |        0 |        0
535.00/535.27	c  535s |      17 |   290274 |   239732 |     7065     60 |        0 |        0
537.29/537.56	c  537s |      17 |   291036 |   240432 |     7065     60 |        0 |        0
539.59/539.87	c  539s |      17 |   291680 |   241032 |     7065     61 |        0 |        0
541.79/542.08	c  542s |      17 |   292574 |   241832 |     7065     61 |        0 |        0
544.09/544.35	c  544s |      17 |   293341 |   242532 |     7065     61 |        0 |        0
546.29/546.57	c  546s |      17 |   294266 |   243332 |     7065     61 |        0 |        0
548.58/548.84	c  548s |      17 |   295020 |   244032 |     7065     61 |        0 |        0
550.78/551.09	c  551s |      17 |   295707 |   244632 |     7065     61 |        0 |        0
552.88/553.19	c  553s |      17 |   296372 |   245232 |     7065     61 |        0 |        0
555.08/555.31	c  555s |      17 |   297022 |   245832 |     7065     62 |        0 |        0
557.28/557.57	c  557s |      17 |   297943 |   246632 |     7065     62 |        0 |        0
559.58/559.82	c  559s |      17 |   298836 |   247432 |     7065     62 |        0 |        0
561.68/561.93	c  561s |      17 |   299621 |   248132 |     7065     62 |        0 |        0
563.78/564.05	c  564s |      17 |   300294 |   248732 |     7065     62 |        0 |        0
565.97/566.20	c  566s |      17 |   300939 |   249332 |     7065     62 |        0 |        0
568.27/568.51	c  568s |      17 |   301486 |   249832 |     7065     63 |        0 |        0
570.27/570.54	c  570s |      17 |   302558 |   250732 |     7065     63 |        0 |        0
572.47/572.73	c  572s |      17 |   303697 |   251732 |     7065     63 |        0 |        0
574.57/574.85	c  574s |      17 |   304690 |   252632 |     7065     63 |        0 |        0
576.57/576.87	c  576s |      17 |   305561 |   253432 |     7065     63 |        0 |        0
578.97/579.22	c  579s |      17 |   306443 |   254232 |     7065     64 |        0 |        0
580.97/581.25	c  581s |      17 |   307344 |   255032 |     7065     64 |        0 |        0
583.07/583.31	c  583s |      17 |   308264 |   255832 |     7065     64 |        0 |        0
585.07/585.33	c  585s |      17 |   309150 |   256632 |     7065     64 |        0 |        0
587.27/587.58	c  587s |      17 |   310067 |   257432 |     7065     64 |        0 |        0
589.46/589.79	c  589s |      17 |   310868 |   258132 |     7065     64 |        0 |        0
591.66/591.95	c  591s |      17 |   311535 |   258732 |     7065     65 |        0 |        0
593.87/594.17	c  594s |      17 |   312425 |   259532 |     7065     65 |        0 |        0
596.16/596.40	c  596s |      17 |   313326 |   260332 |     7065     65 |        0 |        0
598.35/598.60	c  598s |      17 |   314098 |   261032 |     7065     65 |        0 |        0
600.46/600.73	c  600s |      17 |   314906 |   261732 |     7065     65 |        0 |        0
602.45/602.80	c  602s |      17 |   315803 |   262532 |     7065     65 |        0 |        0
604.65/604.93	c  604s |      17 |   316575 |   263232 |     7065     66 |        0 |        0
606.76/607.08	c  607s |      17 |   317466 |   264032 |     7065     66 |        0 |        0
608.95/609.26	c  609s |      17 |   318371 |   264832 |     7065     66 |        0 |        0
611.15/611.44	c  611s |      17 |   319258 |   265632 |     7065     66 |        0 |        0
613.25/613.59	c  613s |      17 |   320041 |   266332 |     7065     66 |        0 |        0
615.35/615.68	c  615s |      17 |   320828 |   267032 |     7065     66 |        0 |        0
617.45/617.71	c  617s |      17 |   321381 |   267532 |     7065     67 |        0 |        0
619.44/619.78	c  619s |      17 |   322163 |   268232 |     7065     67 |        0 |        0
621.54/621.89	c  621s |      17 |   322998 |   268932 |     7065     67 |        0 |        0
623.74/624.03	c  623s |      17 |   323822 |   269632 |     7065     67 |        0 |        0
625.94/626.25	c  626s |      17 |   324595 |   270332 |     7065     67 |        0 |        0
628.14/628.42	c  628s |      17 |   325366 |   271032 |     7065     67 |        0 |        0
630.14/630.47	c  630s |      17 |   326023 |   271632 |     7065     67 |        0 |        0
632.24/632.56	c  632s |      17 |   326571 |   272132 |     7065     68 |        0 |        0
634.44/634.79	c  634s |      17 |   327235 |   272732 |     7065     68 |        0 |        0
636.74/637.08	c  637s |      17 |   327883 |   273332 |     7065     68 |        0 |        0
639.03/639.30	c  639s |      17 |   328533 |   273932 |     7065     68 |        0 |        0
641.14/641.43	c  641s |      17 |   329301 |   274632 |     7065     68 |        0 |        0
643.24/643.60	c  643s |      17 |   330000 |   275232 |     7065     68 |        0 |        0
645.33/645.66	c  645s |      17 |   330626 |   275832 |     7065     68 |        0 |        0
647.53/647.89	c  647s |      17 |   331434 |   276532 |     7065     69 |        0 |        0
649.73/650.06	c  650s |      17 |   332342 |   277332 |     7065     69 |        0 |        0
652.03/652.35	c  652s |      17 |   333271 |   278132 |     7065     69 |        0 |        0
654.02/654.36	c  654s |      17 |   334075 |   278832 |     7065     69 |        0 |        0
656.02/656.38	c  656s |      17 |   334853 |   279532 |     7065     69 |        0 |        0
658.32/658.62	c  658s |      17 |   335614 |   280232 |     7065     69 |        0 |        0
660.72/661.00	c  660s |      17 |   336397 |   280932 |     7065     70 |        0 |        0
662.71/663.09	c  663s |      17 |   337052 |   281532 |     7065     70 |        0 |        0
664.82/665.16	c  665s |      17 |   337697 |   282132 |     7065     70 |        0 |        0
666.92/667.24	c  667s |      17 |   338339 |   282732 |     7065     70 |        0 |        0
669.11/669.44	c  669s |      17 |   338983 |   283332 |     7065     70 |        0 |        0
671.31/671.66	c  671s |      17 |   339747 |   284032 |     7065     70 |        0 |        0
673.31/673.69	c  673s |      17 |   340541 |   284732 |     7065     70 |        0 |        0
675.81/676.18	c  676s |      17 |   341315 |   285432 |     7065     71 |        0 |        0
678.11/678.48	c  678s |      17 |   341869 |   285932 |     7065     71 |        0 |        0
680.30/680.69	c  680s |      17 |   342515 |   286532 |     7065     71 |        0 |        0
682.70/683.00	c  682s |      17 |   343172 |   287132 |     7065     71 |        0 |        0
684.81/685.14	c  685s |      17 |   344091 |   287932 |     7065     71 |        0 |        0
686.91/687.28	c  687s |      17 |   344770 |   288532 |     7065     71 |        0 |        0
689.01/689.31	c  689s |      17 |   345332 |   289032 |     7065     71 |        0 |        0
691.30/691.69	c  691s |      17 |   345983 |   289632 |     7065     71 |        0 |        0
693.60/693.99	c  693s |      17 |   346526 |   290132 |     7065     72 |        0 |        0
696.01/696.34	c  696s |      17 |   347310 |   290832 |     7065     72 |        0 |        0
698.20/698.56	c  698s |      17 |   347957 |   291432 |     7065     72 |        0 |        0
700.51/700.89	c  700s |      17 |   348625 |   292032 |     7065     72 |        0 |        0
702.60/702.99	c  702s |      17 |   349173 |   292532 |     7065     72 |        0 |        0
704.91/705.26	c  705s |      17 |   349726 |   293032 |     7065     72 |        0 |        0
707.20/707.55	c  707s |      17 |   350264 |   293532 |     7065     72 |        0 |        0
709.59/709.99	c  709s |      17 |   350805 |   294032 |     7065     72 |        0 |        0
711.79/712.10	c  712s |      17 |   351232 |   294432 |     7772     72 |        0 |        0
713.79/714.17	c  714s |      17 |   351788 |   294932 |     7772     72 |        0 |        0
715.99/716.35	c  716s |      17 |   352458 |   295532 |     7772     73 |        0 |        0
718.00/718.39	c  718s |      18 |   353268 |   296252 |     7772     73 |        0 |        0
720.09/720.44	c  720s |      18 |   358072 |   298252 |     7772     73 |        0 |        0
722.08/722.47	c  722s |      18 |   360060 |   300052 |     7772     73 |        0 |        0
724.28/724.62	c  724s |      18 |   361503 |   301352 |     7772     74 |        0 |        0
726.38/726.72	c  726s |      18 |   362976 |   302652 |     7772     74 |        0 |        0
728.38/728.80	c  728s |      18 |   364405 |   303952 |     7772     74 |        0 |        0
730.58/730.98	c  730s |      18 |   365812 |   305252 |     7772     74 |        0 |        0
732.78/733.10	c  733s |      18 |   367138 |   306452 |     7772     75 |        0 |        0
734.98/735.30	c  735s |      18 |   368554 |   307752 |     7772     75 |        0 |        0
736.98/737.37	c  737s |      18 |   369730 |   308852 |     7772     75 |        0 |        0
739.18/739.50	c  739s |      18 |   370893 |   309952 |     7772     75 |        0 |        0
741.19/741.53	c  741s |      18 |   372029 |   310952 |     7772     76 |        0 |        0
743.18/743.56	c  743s |      18 |   373717 |   312452 |     7772     76 |        0 |        0
745.28/745.67	c  745s |      18 |   374870 |   313452 |     7772     76 |        0 |        0
747.48/747.88	c  747s |      18 |   376133 |   314552 |     7772     76 |        0 |        0
749.67/750.07	c  750s |      18 |   376997 |   315352 |     7772     77 |        0 |        0
751.87/752.25	c  752s |      18 |   377978 |   316252 |     7772     77 |        0 |        0
754.07/754.42	c  754s |      18 |   379404 |   317552 |     7772     77 |        0 |        0
756.07/756.47	c  756s |      18 |   380579 |   318652 |     7772     77 |        0 |        0
758.17/758.51	c  758s |      18 |   381658 |   319652 |     7772     77 |        0 |        0
760.17/760.57	c  760s |      18 |   382545 |   320452 |     7772     78 |        0 |        0
762.37/762.72	c  762s |      18 |   384098 |   321852 |     7772     78 |        0 |        0
764.46/764.86	c  764s |      18 |   385295 |   322952 |     7772     78 |        0 |        0
766.66/767.00	c  766s |      18 |   386396 |   323952 |     7772     78 |        0 |        0
768.76/769.12	c  769s |      18 |   387473 |   324952 |     7772     78 |        0 |        0
770.77/771.13	c  771s |      18 |   388434 |   325852 |     7772     79 |        0 |        0
772.76/773.15	c  773s |      18 |   389880 |   327152 |     7772     79 |        0 |        0
774.96/775.34	c  775s |      18 |   391430 |   328552 |     7772     79 |        0 |        0
776.96/777.39	c  777s |      18 |   392526 |   329552 |     7772     79 |        0 |        0
779.16/779.52	c  779s |      18 |   393500 |   330452 |     7772     80 |        0 |        0
781.16/781.53	c  781s |      18 |   394706 |   331552 |     7772     80 |        0 |        0
783.26/783.60	c  783s |      18 |   395878 |   332652 |     7772     80 |        0 |        0
785.26/785.66	c  785s |      18 |   397050 |   333752 |     7772     80 |        0 |        0
787.36/787.72	c  787s |      18 |   398131 |   334752 |     7772     80 |        0 |        0
789.35/789.76	c  789s |      18 |   399244 |   335752 |     7772     81 |        0 |        0
791.55/791.90	c  791s |      18 |   400687 |   337052 |     7772     81 |        0 |        0
793.55/793.92	c  793s |      18 |   401890 |   338152 |     7772     81 |        0 |        0
795.75/796.10	c  796s |      18 |   403186 |   339352 |     7772     81 |        0 |        0
798.05/798.41	c  798s |      18 |   404380 |   340452 |     7772     82 |        0 |        0
800.15/800.51	c  800s |      18 |   405706 |   341652 |     7772     82 |        0 |        0
802.25/802.68	c  802s |      18 |   407151 |   342952 |     7772     82 |        0 |        0
804.44/804.88	c  804s |      18 |   408437 |   344152 |     7772     82 |        0 |        0
806.64/807.02	c  806s |      18 |   409654 |   345252 |     7772     82 |        0 |        0
808.74/809.13	c  809s |      18 |   410867 |   346352 |     7772     83 |        0 |        0
810.74/811.16	c  811s |      18 |   412072 |   347452 |     7772     83 |        0 |        0
812.74/813.18	c  813s |      18 |   413063 |   348352 |     7772     83 |        0 |        0
814.94/815.33	c  815s |      18 |   414375 |   349552 |     7772     83 |        0 |        0
817.24/817.65	c  817s |      18 |   415441 |   350552 |     7772     84 |        0 |        0
819.34/819.76	c  819s |      18 |   416821 |   351852 |     7772     84 |        0 |        0
821.45/821.83	c  821s |      18 |   418113 |   353052 |     7772     84 |        0 |        0
823.44/823.86	c  823s |      18 |   419284 |   354152 |     7772     84 |        0 |        0
825.44/825.87	c  825s |      18 |   420354 |   355152 |     7772     84 |        0 |        0
827.54/827.92	c  827s |      18 |   421214 |   355952 |     7772     85 |        0 |        0
829.64/830.07	c  830s |      18 |   422493 |   357152 |     7772     85 |        0 |        0
831.74/832.12	c  832s |      18 |   423583 |   358152 |     7772     85 |        0 |        0
833.84/834.25	c  834s |      18 |   425220 |   359652 |     7772     85 |        0 |        0
835.94/836.36	c  836s |      18 |   426333 |   360652 |     7772     86 |        0 |        0
838.14/838.52	c  838s |      18 |   427726 |   361952 |     7772     86 |        0 |        0
840.24/840.63	c  840s |      18 |   429128 |   363252 |     7772     86 |        0 |        0
842.34/842.77	c  842s |      18 |   430435 |   364452 |     7772     86 |        0 |        0
844.74/845.12	c  845s |      18 |   431622 |   365552 |     7772     87 |        0 |        0
846.84/847.28	c  847s |      18 |   432922 |   366752 |     7772     87 |        0 |        0
849.04/849.42	c  849s |      18 |   434033 |   367752 |     7772     87 |        0 |        0
851.14/851.53	c  851s |      18 |   435374 |   368952 |     7772     87 |        0 |        0
853.24/853.67	c  853s |      18 |   436799 |   370252 |     7772     87 |        0 |        0
855.44/855.80	c  855s |      18 |   438000 |   371352 |     7772     88 |        0 |        0
857.43/857.83	c  857s |      18 |   439305 |   372552 |     7772     88 |        0 |        0
859.53/859.93	c  859s |      18 |   440493 |   373652 |     7772     88 |        0 |        0
861.73/862.11	c  862s |      18 |   441408 |   374452 |     7772     88 |        0 |        0
864.03/864.41	c  864s |      18 |   442632 |   375552 |     7772     89 |        0 |        0
866.13/866.51	c  866s |      18 |   444145 |   376952 |     7772     89 |        0 |        0
868.23/868.62	c  868s |      18 |   445556 |   378252 |     7772     89 |        0 |        0
870.33/870.71	c  870s |      18 |   446743 |   379352 |     7772     89 |        0 |        0
872.53/872.97	c  872s |      18 |   447712 |   380252 |     7772     89 |        0 |        0
874.73/875.14	c  875s |      18 |   448876 |   381252 |     7772     90 |        0 |        0
876.73/877.16	c  877s |      18 |   450194 |   382452 |     7772     90 |        0 |        0
878.83/879.24	c  879s |      18 |   451574 |   383552 |     7772     90 |        0 |        0
880.93/881.38	c  881s |      18 |   452950 |   384752 |     7772     90 |        0 |        0
883.04/883.42	c  883s |      18 |   453899 |   385552 |     7772     91 |        0 |        0
885.14/885.57	c  885s |      18 |   455159 |   386652 |     7772     91 |        0 |        0
887.13/887.58	c  887s |      18 |   456420 |   387752 |     7772     91 |        0 |        0
889.23/889.69	c  889s |      18 |   457510 |   388752 |     7772     91 |        0 |        0
891.53/891.92	c  891s |      18 |   458725 |   389852 |     7772     91 |        0 |        0
893.63/894.05	c  894s |      18 |   459712 |   390752 |     7772     92 |        0 |        0
895.73/896.10	c  896s |      18 |   460872 |   391752 |     7772     92 |        0 |        0
897.83/898.25	c  898s |      18 |   462084 |   392852 |     7772     92 |        0 |        0
899.83/900.26	c  900s |      18 |   463384 |   393952 |     7772     92 |        0 |        0
901.83/902.30	c  902s |      18 |   464407 |   394852 |     7772     92 |        0 |        0
904.53/904.91	c  904s |      18 |   465295 |   395652 |     7772     93 |        0 |        0
906.62/907.07	c  907s |      18 |   466537 |   396752 |     7772     93 |        0 |        0
908.72/909.14	c  909s |      18 |   467531 |   397652 |     7772     93 |        0 |        0
910.82/911.29	c  911s |      18 |   468882 |   398852 |     7772     93 |        0 |        0
912.92/913.33	c  913s |      18 |   470099 |   399952 |     7772     93 |        0 |        0
914.93/915.38	c  915s |      18 |   471568 |   401252 |     7772     94 |        0 |        0
917.13/917.53	c  917s |      18 |   472952 |   402452 |     7772     94 |        0 |        0
919.12/919.60	c  919s |      18 |   474175 |   403552 |     7772     94 |        0 |        0
921.32/921.72	c  921s |      18 |   475366 |   404652 |     7772     94 |        0 |        0
923.32/923.79	c  923s |      18 |   476341 |   405552 |     7772     94 |        0 |        0
925.42/925.89	c  925s |      18 |   477441 |   406552 |     7772     95 |        0 |        0
927.72/928.10	c  928s |      18 |   478529 |   407552 |     7772     95 |        0 |        0
929.72/930.11	c  930s |      18 |   479753 |   408652 |     7772     95 |        0 |        0
931.82/932.23	c  932s |      18 |   481137 |   409852 |     7772     95 |        0 |        0
934.02/934.43	c  934s |      18 |   482127 |   410752 |     7772     96 |        0 |        0
936.12/936.58	c  936s |      18 |   483366 |   411852 |     7772     96 |        0 |        0
938.32/938.71	c  938s |      18 |   484650 |   412952 |     7772     96 |        0 |        0
940.32/940.76	c  940s |      18 |   485759 |   413952 |     7772     96 |        0 |        0
942.43/942.84	c  942s |      18 |   486847 |   414952 |     7772     96 |        0 |        0
944.53/944.93	c  944s |      18 |   487828 |   415852 |     7772     97 |        0 |        0
946.52/946.97	c  946s |      18 |   489086 |   416952 |     7772     97 |        0 |        0
948.52/948.97	c  948s |      18 |   490502 |   418252 |     7772     97 |        0 |        0
950.72/951.12	c  951s |      18 |   491948 |   419552 |     7772     97 |        0 |        0
952.82/953.29	c  953s |      18 |   493184 |   420652 |     7772     98 |        0 |        0
954.92/955.37	c  955s |      18 |   494391 |   421752 |     7772     98 |        0 |        0
957.02/957.47	c  957s |      18 |   495485 |   422752 |     7772     98 |        0 |        0
959.12/959.54	c  959s |      18 |   496677 |   423852 |     7772     98 |        0 |        0
961.22/961.62	c  961s |      18 |   497767 |   424852 |     7772     98 |        0 |        0
963.32/963.77	c  963s |      18 |   498749 |   425752 |     7772     99 |        0 |        0
965.42/965.90	c  965s |      18 |   499829 |   426752 |     7772     99 |        0 |        0
967.52/967.96	c  967s |      18 |   501011 |   427852 |     7772     99 |        0 |        0
969.61/970.03	c  969s |      18 |   502130 |   428852 |     7772     99 |        0 |        0
971.81/972.20	c  972s |      18 |   503341 |   429952 |     7772     99 |        0 |        0
973.82/974.20	c  974s |      18 |   504445 |   430952 |     7772    100 |        0 |        0
975.82/976.22	c  976s |      18 |   505748 |   432152 |     7772    100 |        0 |        0
977.92/978.35	c  978s |      18 |   507058 |   433352 |     7772    100 |        0 |        0
979.92/980.37	c  980s |      18 |   508166 |   434352 |     7772    100 |        0 |        0
982.12/982.50	c  982s |      18 |   509251 |   435352 |     7772    100 |        0 |        0
984.22/984.68	c  984s |      18 |   510051 |   436052 |     7772    101 |        0 |        0
986.42/986.85	c  986s |      18 |   511368 |   437252 |     7772    101 |        0 |        0
988.52/988.92	c  988s |      18 |   512567 |   438352 |     7772    101 |        0 |        0
990.62/991.02	c  990s |      18 |   513773 |   439452 |     7772    101 |        0 |        0
992.72/993.16	c  993s |      18 |   514831 |   440452 |     7772    101 |        0 |        0
994.81/995.21	c  995s |      18 |   515805 |   441352 |     8550    102 |        0 |        0
996.81/997.21	c  997s |      18 |   517126 |   442552 |     8550    102 |        0 |        0
998.81/999.27	c  999s |      18 |   518566 |   443852 |     8550    102 |        0 |        0
1000.21/1000.64	c 1000s |      19 |   519260 |   444482 |     8550    102 |        0 |        0
1002.21/1002.70	c 1002s |      19 |   522681 |   445782 |     8550    103 |        0 |        0
1004.31/1004.78	c 1004s |      19 |   524398 |   447282 |     8550    103 |        0 |        0
1006.41/1006.87	c 1006s |      19 |   525876 |   448582 |     8550    103 |        0 |        0
1008.41/1008.89	c 1008s |      19 |   526968 |   449582 |     8550    103 |        0 |        0
1010.61/1011.08	c 1011s |      19 |   527971 |   450482 |     8550    103 |        0 |        0
1012.82/1013.26	c 1013s |      19 |   529123 |   451482 |     8550    103 |        0 |        0
1014.92/1015.39	c 1015s |      19 |   530059 |   452282 |     8550    104 |        0 |        0
1017.12/1017.56	c 1017s |      19 |   531053 |   453182 |     8550    104 |        0 |        0
1019.32/1019.75	c 1019s |      19 |   532060 |   454082 |     8550    104 |        0 |        0
1021.51/1021.97	c 1021s |      19 |   533061 |   454982 |     8550    104 |        0 |        0
1023.51/1023.99	c 1023s |      19 |   533833 |   455682 |     8550    104 |        0 |        0
1025.71/1026.10	c 1026s |      19 |   534625 |   456382 |     8550    104 |        0 |        0
1028.01/1028.42	c 1028s |      19 |   535393 |   457082 |     8550    104 |        0 |        0
1030.01/1030.49	c 1030s |      19 |   536173 |   457782 |     8550    104 |        0 |        0
1032.01/1032.50	c 1032s |      19 |   536737 |   458282 |     8550    105 |        0 |        0
1034.20/1034.67	c 1034s |      19 |   537724 |   459182 |     8550    105 |        0 |        0
1036.30/1036.70	c 1036s |      19 |   538709 |   460082 |     8550    105 |        0 |        0
1038.41/1038.80	c 1038s |      19 |   539587 |   460882 |     8550    105 |        0 |        0
1040.41/1040.81	c 1040s |      19 |   540233 |   461482 |     8550    105 |        0 |        0
1042.51/1042.95	c 1042s |      19 |   541121 |   462282 |     8550    105 |        0 |        0
1044.81/1045.20	c 1045s |      19 |   541987 |   463082 |     8550    105 |        0 |        0
1046.91/1047.35	c 1047s |      19 |   542992 |   463982 |     8550    105 |        0 |        0
1049.20/1049.62	c 1049s |      19 |   543555 |   464482 |     8550    106 |        0 |        0
1051.22/1051.69	c 1051s |      19 |   544431 |   465282 |     8550    106 |        0 |        0
1053.51/1053.99	c 1053s |      19 |   545322 |   466082 |     8550    106 |        0 |        0
1055.71/1056.16	c 1056s |      19 |   546078 |   466782 |     8550    106 |        0 |        0
1057.91/1058.39	c 1058s |      19 |   547076 |   467682 |     8550    106 |        0 |        0
1060.11/1060.58	c 1060s |      19 |   547960 |   468482 |     8550    106 |        0 |        0
1062.31/1062.76	c 1062s |      19 |   548704 |   469182 |     8550    106 |        0 |        0
1064.51/1064.94	c 1064s |      19 |   549608 |   469982 |     8550    106 |        0 |        0
1066.81/1067.23	c 1067s |      19 |   550146 |   470482 |     8550    107 |        0 |        0
1068.91/1069.34	c 1069s |      19 |   551260 |   471482 |     8550    107 |        0 |        0
1071.01/1071.48	c 1071s |      19 |   552263 |   472382 |     8550    107 |        0 |        0
1073.10/1073.51	c 1073s |      19 |   553130 |   473182 |     8550    107 |        0 |        0
1075.10/1075.52	c 1075s |      19 |   554343 |   474282 |     8550    107 |        0 |        0
1077.10/1077.58	c 1077s |      19 |   555453 |   475282 |     8550    107 |        0 |        0
1079.31/1079.70	c 1079s |      19 |   556437 |   476182 |     8550    107 |        0 |        0
1081.40/1081.86	c 1081s |      19 |   557206 |   476882 |     8550    108 |        0 |        0
1083.50/1083.91	c 1083s |      19 |   558123 |   477682 |     8550    108 |        0 |        0
1085.50/1085.96	c 1085s |      19 |   559004 |   478482 |     8550    108 |        0 |        0
1087.70/1088.15	c 1088s |      19 |   560009 |   479382 |     8550    108 |        0 |        0
1089.90/1090.36	c 1090s |      19 |   560986 |   480282 |     8550    108 |        0 |        0
1092.01/1092.41	c 1092s |      19 |   562224 |   481382 |     8550    108 |        0 |        0
1094.11/1094.59	c 1094s |      19 |   563307 |   482382 |     8550    108 |        0 |        0
1096.31/1096.72	c 1096s |      19 |   564316 |   483282 |     8550    109 |        0 |        0
1098.30/1098.78	c 1098s |      19 |   565520 |   484382 |     8550    109 |        0 |        0
1100.40/1100.80	c 1100s |      19 |   566618 |   485382 |     8550    109 |        0 |        0
1102.60/1103.05	c 1103s |      19 |   567689 |   486382 |     8550    109 |        0 |        0
1104.70/1105.13	c 1105s |      19 |   568671 |   487282 |     8550    109 |        0 |        0
1106.69/1107.19	c 1107s |      19 |   569459 |   487982 |     8550    109 |        0 |        0
1108.79/1109.29	c 1109s |      19 |   570512 |   488882 |     8550    110 |        0 |        0
1111.00/1111.48	c 1111s |      19 |   571894 |   490082 |     8550    110 |        0 |        0
1113.20/1113.62	c 1113s |      19 |   573136 |   491182 |     8550    110 |        0 |        0
1115.30/1115.72	c 1115s |      19 |   574234 |   492182 |     8550    110 |        0 |        0
1117.31/1117.75	c 1117s |      19 |   575235 |   493082 |     8550    110 |        0 |        0
1119.30/1119.76	c 1119s |      19 |   576001 |   493782 |     8550    110 |        0 |        0
1121.70/1122.14	c 1122s |      19 |   576985 |   494682 |     8550    111 |        0 |        0
1123.69/1124.16	c 1124s |      19 |   578193 |   495782 |     8550    111 |        0 |        0
1125.89/1126.32	c 1126s |      19 |   579426 |   496882 |     8550    111 |        0 |        0
1128.09/1128.56	c 1128s |      19 |   580417 |   497782 |     8550    111 |        0 |        0
1130.19/1130.69	c 1130s |      19 |   581612 |   498882 |     8550    111 |        0 |        0
1132.39/1132.88	c 1132s |      19 |   582716 |   499882 |     8550    111 |        0 |        0
1134.99/1135.41	c 1135s |      19 |   583722 |   500782 |     8550    112 |        0 |        0
1137.10/1137.54	c 1137s |      19 |   584712 |   501682 |     8550    112 |        0 |        0
1139.19/1139.69	c 1139s |      19 |   585689 |   502582 |     8550    112 |        0 |        0
1141.49/1141.95	c 1141s |      19 |   586648 |   503482 |     8550    112 |        0 |        0
1143.70/1144.16	c 1144s |      19 |   587502 |   504282 |     8550    112 |        0 |        0
1145.69/1146.19	c 1146s |      19 |   588254 |   504982 |     8550    112 |        0 |        0
1147.89/1148.40	c 1148s |      19 |   589106 |   505782 |     8550    112 |        0 |        0
1149.99/1150.42	c 1150s |      19 |   589972 |   506582 |     8550    112 |        0 |        0
1152.09/1152.54	c 1152s |      19 |   590723 |   507282 |     8550    113 |        0 |        0
1154.39/1154.89	c 1154s |      19 |   591621 |   508082 |     8550    113 |        0 |        0
1156.49/1156.99	c 1156s |      19 |   593030 |   509282 |     8550    113 |        0 |        0
1158.69/1159.13	c 1159s |      19 |   594291 |   510382 |     8550    113 |        0 |        0
1160.89/1161.36	c 1161s |      19 |   595425 |   511382 |     8550    113 |        0 |        0
1162.99/1163.48	c 1163s |      19 |   596311 |   512182 |     8550    113 |        0 |        0
1165.29/1165.74	c 1165s |      19 |   597071 |   512882 |     8550    114 |        0 |        0
1167.39/1167.83	c 1167s |      19 |   598053 |   513782 |     8550    114 |        0 |        0
1169.48/1169.93	c 1169s |      19 |   599110 |   514782 |     8550    114 |        0 |        0
1171.49/1171.93	c 1171s |      19 |   599997 |   515582 |     8550    114 |        0 |        0
1173.49/1173.98	c 1173s |      19 |   600748 |   516282 |     8550    114 |        0 |        0
1175.69/1176.18	c 1176s |      19 |   601777 |   517182 |     8550    114 |        0 |        0
1177.79/1178.29	c 1178s |      19 |   602782 |   518082 |     8550    114 |        0 |        0
1179.89/1180.30	c 1180s |      19 |   603675 |   518882 |     8550    114 |        0 |        0
1181.88/1182.32	c 1182s |      19 |   604163 |   519282 |     8550    115 |        0 |        0
1183.89/1184.37	c 1184s |      19 |   605147 |   520182 |     8550    115 |        0 |        0
1186.09/1186.52	c 1186s |      19 |   606128 |   521082 |     8550    115 |        0 |        0
1188.08/1188.55	c 1188s |      19 |   607163 |   521982 |     8550    115 |        0 |        0
1190.28/1190.75	c 1190s |      19 |   608142 |   522882 |     8550    115 |        0 |        0
1192.38/1192.84	c 1192s |      19 |   609133 |   523782 |     8550    115 |        0 |        0
1194.48/1194.93	c 1194s |      19 |   610014 |   524582 |     8550    115 |        0 |        0
1196.49/1196.97	c 1196s |      19 |   610445 |   524982 |     8550    116 |        0 |        0
1198.78/1199.21	c 1199s |      19 |   611678 |   526082 |     8550    116 |        0 |        0
1200.89/1201.35	c 1201s |      19 |   612683 |   526982 |     8550    116 |        0 |        0
1202.88/1203.39	c 1203s |      19 |   613661 |   527882 |     8550    116 |        0 |        0
1204.98/1205.42	c 1205s |      19 |   614557 |   528682 |     8550    116 |        0 |        0
1206.99/1207.46	c 1207s |      19 |   615400 |   529482 |     8550    116 |        0 |        0
1209.18/1209.61	c 1209s |      19 |   616253 |   530282 |     8550    116 |        0 |        0
1211.18/1211.66	c 1211s |      19 |   617030 |   530982 |     8550    116 |        0 |        0
1213.18/1213.69	c 1213s |      19 |   617807 |   531682 |     8550    117 |        0 |        0
1215.68/1216.11	c 1216s |      19 |   618757 |   532582 |     8550    117 |        0 |        0
1217.78/1218.20	c 1218s |      19 |   619752 |   533482 |     8550    117 |        0 |        0
1219.78/1220.23	c 1220s |      19 |   620625 |   534282 |     8550    117 |        0 |        0
1221.98/1222.48	c 1222s |      19 |   621512 |   535082 |     8550    117 |        0 |        0
1224.18/1224.66	c 1224s |      19 |   622534 |   535982 |     8550    117 |        0 |        0
1226.18/1226.67	c 1226s |      19 |   623423 |   536782 |     8550    117 |        0 |        0
1228.28/1228.77	c 1228s |      19 |   624204 |   537482 |     8550    118 |        0 |        0
1230.38/1230.88	c 1230s |      19 |   625283 |   538382 |     8550    118 |        0 |        0
1232.58/1233.00	c 1232s |      19 |   626159 |   539182 |     8550    118 |        0 |        0
1234.68/1235.10	c 1235s |      19 |   627154 |   540082 |     8550    118 |        0 |        0
1236.68/1237.15	c 1237s |      19 |   628026 |   540882 |     8550    118 |        0 |        0
1238.77/1239.21	c 1239s |      19 |   628883 |   541682 |     8550    118 |        0 |        0
1240.97/1241.40	c 1241s |      19 |   629789 |   542482 |     8550    118 |        0 |        0
1242.97/1243.42	c 1243s |      19 |   630547 |   543182 |     8550    119 |        0 |        0
1244.98/1245.42	c 1245s |      19 |   631429 |   543982 |     8550    119 |        0 |        0
1247.18/1247.62	c 1247s |      19 |   632528 |   544982 |     8550    119 |        0 |        0
1249.38/1249.86	c 1249s |      19 |   633521 |   545882 |     8550    119 |        0 |        0
1251.38/1251.88	c 1251s |      19 |   634421 |   546682 |     8550    119 |        0 |        0
1253.58/1254.07	c 1254s |      19 |   635298 |   547482 |     8550    119 |        0 |        0
1255.67/1256.15	c 1256s |      19 |   636285 |   548382 |     8550    119 |        0 |        0
1258.28/1258.75	c 1258s |      19 |   637266 |   549282 |     8550    120 |        0 |        0
1260.28/1260.78	c 1260s |      19 |   638144 |   550082 |     8550    120 |        0 |        0
1262.38/1262.84	c 1262s |      19 |   639336 |   551182 |     8550    120 |        0 |        0
1264.58/1265.05	c 1265s |      19 |   640411 |   552182 |     8550    120 |        0 |        0
1266.67/1267.20	c 1267s |      19 |   641367 |   553082 |     8550    120 |        0 |        0
1268.87/1269.31	c 1269s |      19 |   642457 |   554082 |     8550    120 |        0 |        0
1270.87/1271.34	c 1271s |      19 |   643339 |   554882 |     8550    120 |        0 |        0
1272.97/1273.42	c 1273s |      19 |   643987 |   555482 |     8550    121 |        0 |        0
1275.07/1275.55	c 1275s |      19 |   645067 |   556482 |     8550    121 |        0 |        0
1277.17/1277.61	c 1277s |      19 |   646060 |   557382 |     8550    121 |        0 |        0
1279.27/1279.79	c 1279s |      19 |   647036 |   558282 |     8550    121 |        0 |        0
1281.47/1281.92	c 1281s |      19 |   647900 |   559082 |     8550    121 |        0 |        0
1283.57/1284.09	c 1284s |      19 |   648793 |   559882 |     8550    121 |        0 |        0
1285.67/1286.13	c 1286s |      19 |   649564 |   560582 |     8550    121 |        0 |        0
1287.77/1288.20	c 1288s |      19 |   650320 |   561282 |     8550    121 |        0 |        0
1289.77/1290.21	c 1290s |      19 |   650853 |   561782 |     8550    122 |        0 |        0
1291.76/1292.22	c 1292s |      19 |   651707 |   562582 |     8550    122 |        0 |        0
1293.97/1294.47	c 1294s |      19 |   652551 |   563382 |     8550    122 |        0 |        0
1296.17/1296.61	c 1296s |      19 |   653419 |   564182 |     8550    122 |        0 |        0
1298.27/1298.74	c 1298s |      19 |   654214 |   564882 |     8550    122 |        0 |        0
1300.57/1301.01	c 1300s |      19 |   654980 |   565582 |     8550    122 |        0 |        0
1302.66/1303.11	c 1303s |      19 |   655597 |   566182 |     8550    122 |        0 |        0
1304.87/1305.37	c 1305s |      19 |   656237 |   566782 |     8550    122 |        0 |        0
1306.97/1307.48	c 1307s |      19 |   656911 |   567382 |     8550    122 |        0 |        0
1309.27/1309.70	c 1309s |      19 |   657643 |   568082 |     8550    123 |        0 |        0
1311.46/1311.96	c 1311s |      19 |   658649 |   568982 |     8550    123 |        0 |        0
1313.66/1314.15	c 1314s |      19 |   659643 |   569882 |     8550    123 |        0 |        0
1315.66/1316.19	c 1316s |      19 |   660501 |   570682 |     8550    123 |        0 |        0
1317.77/1318.26	c 1318s |      19 |   661379 |   571482 |     8550    123 |        0 |        0
1319.87/1320.36	c 1320s |      19 |   662226 |   572282 |     8550    123 |        0 |        0
1321.97/1322.46	c 1322s |      19 |   662969 |   572982 |     8550    123 |        0 |        0
1324.17/1324.66	c 1324s |      19 |   663634 |   573582 |     8550    124 |        0 |        0
1326.36/1326.81	c 1326s |      19 |   664483 |   574382 |     8550    124 |        0 |        0
1328.47/1328.95	c 1328s |      19 |   665364 |   575182 |     8550    124 |        0 |        0
1330.57/1331.01	c 1330s |      19 |   666178 |   575882 |     8550    124 |        0 |        0
1332.57/1333.04	c 1332s |      19 |   666866 |   576482 |     8550    124 |        0 |        0
1334.67/1335.16	c 1335s |      19 |   667718 |   577282 |     8550    124 |        0 |        0
1336.86/1337.37	c 1337s |      19 |   668643 |   578082 |     8550    124 |        0 |        0
1339.16/1339.62	c 1339s |      19 |   669402 |   578782 |     8550    124 |        0 |        0
1341.36/1341.82	c 1341s |      19 |   670154 |   579482 |     8550    124 |        0 |        0
1343.56/1344.06	c 1344s |      19 |   670778 |   580082 |     8550    125 |        0 |        0
1345.66/1346.15	c 1346s |      19 |   671537 |   580782 |     8550    125 |        0 |        0
1347.76/1348.26	c 1348s |      19 |   672408 |   581582 |     8550    125 |        0 |        0
1350.06/1350.54	c 1350s |      19 |   673205 |   582282 |     8550    125 |        0 |        0
1352.26/1352.71	c 1352s |      19 |   674240 |   583182 |     8550    125 |        0 |        0
1354.26/1354.76	c 1354s |      19 |   675411 |   584182 |     8550    125 |        0 |        0
1356.46/1356.98	c 1356s |      19 |   676391 |   585082 |     8550    125 |        0 |        0
1358.96/1359.48	c 1359s |      19 |   677046 |   585682 |     8550    126 |        0 |        0
1361.06/1361.58	c 1361s |      19 |   678331 |   586782 |     8550    126 |        0 |        0
1363.15/1363.67	c 1363s |      19 |   679451 |   587782 |     8550    126 |        0 |        0
1365.25/1365.75	c 1365s |      19 |   680477 |   588682 |     8550    126 |        0 |        0
1367.26/1367.76	c 1367s |      19 |   681455 |   589582 |     8550    126 |        0 |        0
1369.36/1369.87	c 1369s |      19 |   682560 |   590582 |     8550    126 |        0 |        0
1371.56/1372.09	c 1372s |      19 |   683550 |   591482 |     8550    126 |        0 |        0
1373.75/1374.21	c 1374s |      19 |   684302 |   592182 |     8550    127 |        0 |        0
1375.76/1376.27	c 1376s |      19 |   685308 |   593082 |     8550    127 |        0 |        0
1377.97/1378.43	c 1378s |      19 |   686504 |   594182 |     8550    127 |        0 |        0
1380.16/1380.68	c 1380s |      19 |   687624 |   595182 |     8550    127 |        0 |        0
1382.46/1382.91	c 1382s |      19 |   688515 |   595982 |     8550    127 |        0 |        0
1384.56/1385.03	c 1384s |      19 |   689434 |   596782 |     8550    127 |        0 |        0
1386.56/1387.04	c 1386s |      19 |   690208 |   597482 |     8550    127 |        0 |        0
1388.55/1389.09	c 1389s |      19 |   690863 |   598082 |     8550    128 |        0 |        0
1390.65/1391.15	c 1391s |      19 |   691780 |   598882 |     8550    128 |        0 |        0
1392.85/1393.38	c 1393s |      19 |   692888 |   599882 |     8550    128 |        0 |        0
1394.96/1395.47	c 1395s |      19 |   693745 |   600682 |     8550    128 |        0 |        0
1397.16/1397.64	c 1397s |      19 |   694735 |   601582 |     8550    128 |        0 |        0
1399.15/1399.65	c 1399s |      19 |   695590 |   602382 |     8550    128 |        0 |        0
1401.35/1401.83	c 1401s |      19 |   696472 |   603182 |     8550    128 |        0 |        0
1404.05/1404.52	c 1404s |      19 |   697101 |   603782 |     8550    129 |        0 |        0
1406.25/1406.70	c 1406s |      19 |   698064 |   604682 |     8550    129 |        0 |        0
1408.45/1408.90	c 1408s |      19 |   698889 |   605482 |     8550    129 |        0 |        0
1410.45/1410.97	c 1410s |      19 |   699749 |   606282 |     8550    129 |        0 |        0
1412.65/1413.16	c 1413s |      19 |   700503 |   606982 |     8550    129 |        0 |        0
1414.65/1415.20	c 1415s |      19 |   701160 |   607582 |     8550    129 |        0 |        0
1416.75/1417.29	c 1417s |      19 |   702067 |   608382 |     8550    129 |        0 |        0
1418.94/1419.46	c 1419s |      19 |   703161 |   609382 |     8550    129 |        0 |        0
1421.05/1421.56	c 1421s |      19 |   704031 |   610182 |     8550    130 |        0 |        0
1423.06/1423.56	c 1423s |      19 |   705026 |   611082 |     8550    130 |        0 |        0
1425.15/1425.68	c 1425s |      19 |   706262 |   612182 |     8550    130 |        0 |        0
1427.25/1427.76	c 1427s |      19 |   707378 |   613182 |     8550    130 |        0 |        0
1429.44/1429.90	c 1429s |      19 |   708373 |   614082 |     8550    130 |        0 |        0
1431.64/1432.16	c 1432s |      19 |   709419 |   614982 |     8550    130 |        0 |        0
1433.85/1434.35	c 1434s |      19 |   710278 |   615782 |     8550    130 |        0 |        0
1435.85/1436.38	c 1436s |      19 |   711047 |   616482 |     8550    131 |        0 |        0
1437.95/1438.45	c 1438s |      19 |   712042 |   617382 |     8550    131 |        0 |        0
1440.04/1440.51	c 1440s |      19 |   712919 |   618182 |     8550    131 |        0 |        0
1442.05/1442.52	c 1442s |      19 |   713674 |   618882 |     8550    131 |        0 |        0
1444.25/1444.76	c 1444s |      19 |   714545 |   619682 |     8550    131 |        0 |        0
1446.25/1446.79	c 1446s |      19 |   715357 |   620382 |     8550    131 |        0 |        0
1448.35/1448.81	c 1448s |      19 |   716134 |   621082 |     8550    131 |        0 |        0
1450.34/1450.81	c 1450s |      19 |   716886 |   621782 |     8550    131 |        0 |        0
1452.45/1452.93	c 1452s |      19 |   717653 |   622482 |     8550    132 |        0 |        0
1454.55/1455.01	c 1454s |      19 |   718409 |   623182 |     8550    132 |        0 |        0
1456.55/1457.10	c 1457s |      19 |   719379 |   624082 |     8550    132 |        0 |        0
1458.74/1459.27	c 1459s |      19 |   720239 |   624882 |     8550    132 |        0 |        0
1460.84/1461.35	c 1461s |      19 |   721256 |   625782 |     8550    132 |        0 |        0
1462.84/1463.36	c 1463s |      19 |   722168 |   626582 |     8550    132 |        0 |        0
1464.94/1465.42	c 1465s |      19 |   723076 |   627382 |     8550    132 |        0 |        0
1467.05/1467.56	c 1467s |      19 |   723723 |   627982 |     8550    133 |        0 |        0
1469.14/1469.63	c 1469s |      19 |   724728 |   628882 |     8550    133 |        0 |        0
1471.24/1471.73	c 1471s |      19 |   725612 |   629682 |     8550    133 |        0 |        0
1473.35/1473.85	c 1473s |      19 |   726505 |   630482 |     8550    133 |        0 |        0
1475.44/1475.97	c 1475s |      19 |   727376 |   631282 |     8550    133 |        0 |        0
1477.64/1478.16	c 1478s |      19 |   728334 |   632182 |     8550    133 |        0 |        0
1479.84/1480.36	c 1480s |      19 |   729107 |   632882 |     8550    133 |        0 |        0
1481.94/1482.46	c 1482s |      19 |   729987 |   633682 |     8550    133 |        0 |        0
1484.14/1484.69	c 1484s |      19 |   730621 |   634282 |     8550    134 |        0 |        0
1486.34/1486.89	c 1486s |      19 |   731617 |   635182 |     8550    134 |        0 |        0
1488.63/1489.17	c 1489s |      19 |   732717 |   636182 |     8550    134 |        0 |        0
1490.84/1491.34	c 1491s |      19 |   733596 |   636982 |     8550    134 |        0 |        0
1492.94/1493.40	c 1493s |      19 |   734448 |   637782 |     8550    134 |        0 |        0
1495.13/1495.63	c 1495s |      19 |   735414 |   638682 |     8550    134 |        0 |        0
1497.14/1497.67	c 1497s |      19 |   736180 |   639382 |     8550    134 |        0 |        0
1499.24/1499.70	c 1499s |      19 |   736883 |   639982 |     8550    134 |        0 |        0
1501.24/1501.72	c 1501s |      19 |   737298 |   640382 |     8550    135 |        0 |        0
1503.34/1503.87	c 1503s |      19 |   738180 |   641182 |     8550    135 |        0 |        0
1505.54/1506.06	c 1506s |      19 |   739258 |   642182 |     8550    135 |        0 |        0
1507.64/1508.13	c 1508s |      19 |   740241 |   643082 |     8550    135 |        0 |        0
1509.74/1510.20	c 1510s |      19 |   741326 |   644082 |     8550    135 |        0 |        0
1511.83/1512.36	c 1512s |      19 |   742315 |   644982 |     8550    135 |        0 |        0
1514.03/1514.51	c 1514s |      19 |   743297 |   645882 |     8550    135 |        0 |        0
1516.13/1516.63	c 1516s |      19 |   744048 |   646582 |     8550    136 |        0 |        0
1518.24/1518.71	c 1518s |      19 |   745012 |   647482 |     8550    136 |        0 |        0
1520.24/1520.78	c 1520s |      19 |   745864 |   648282 |     8550    136 |        0 |        0
1522.44/1522.98	c 1522s |      19 |   746823 |   649182 |     8550    136 |        0 |        0
1524.63/1525.11	c 1525s |      19 |   747673 |   649982 |     8550    136 |        0 |        0
1526.63/1527.15	c 1527s |      19 |   748523 |   650782 |     8550    136 |        0 |        0
1528.94/1529.42	c 1529s |      19 |   749402 |   651582 |     8550    136 |        0 |        0
1531.13/1531.64	c 1531s |      19 |   750039 |   652182 |     8550    137 |        0 |        0
1533.13/1533.68	c 1533s |      19 |   750909 |   652982 |     8550    137 |        0 |        0
1535.33/1535.85	c 1535s |      19 |   751768 |   653782 |     8550    137 |        0 |        0
1537.44/1537.91	c 1537s |      19 |   752538 |   654482 |     8550    137 |        0 |        0
1539.54/1540.05	c 1540s |      19 |   753430 |   655282 |     8550    137 |        0 |        0
1541.93/1542.40	c 1542s |      19 |   754197 |   655982 |     8550    137 |        0 |        0
1544.23/1544.73	c 1544s |      19 |   754961 |   656682 |     8550    137 |        0 |        0
1546.43/1546.91	c 1546s |      19 |   755604 |   657282 |     8550    137 |        0 |        0
1548.63/1549.15	c 1549s |      19 |   756338 |   657982 |     8550    137 |        0 |        0
1550.64/1551.18	c 1551s |      19 |   756776 |   658382 |     8550    138 |        0 |        0
1552.93/1553.48	c 1553s |      19 |   757631 |   659182 |     8550    138 |        0 |        0
1555.04/1555.55	c 1555s |      19 |   758625 |   660082 |     8550    138 |        0 |        0
1557.03/1557.56	c 1557s |      19 |   759624 |   660982 |     8550    138 |        0 |        0
1559.13/1559.62	c 1559s |      19 |   760491 |   661782 |     8550    138 |        0 |        0
1561.13/1561.64	c 1561s |      19 |   761638 |   662782 |     9405    138 |        0 |        0
1563.23/1563.76	c 1563s |      19 |   762647 |   663682 |     9405    138 |        0 |        0
1565.33/1565.81	c 1565s |      19 |   763418 |   664382 |     9405    138 |        0 |        0
1567.93/1568.45	c 1568s |      19 |   764359 |   665182 |     9405    139 |        0 |        0
1570.13/1570.63	c 1570s |      19 |   765477 |   666182 |     9405    139 |        0 |        0
1571.53/1572.04	c 1571s |      20 |   766191 |   666827 |     9405    139 |        0 |        0
1573.63/1574.11	c 1574s |      20 |   769135 |   668027 |     9405    139 |        0 |        0
1575.72/1576.20	c 1576s |      20 |   770321 |   669027 |     9405    139 |        0 |        0
1577.72/1578.29	c 1578s |      20 |   771478 |   670027 |     9405    139 |        0 |        0
1579.92/1580.48	c 1580s |      20 |   772301 |   670727 |     9405    140 |        0 |        0
1582.12/1582.66	c 1582s |      20 |   773353 |   671627 |     9405    140 |        0 |        0
1584.22/1584.74	c 1584s |      20 |   774384 |   672527 |     9405    140 |        0 |        0
1586.42/1586.95	c 1586s |      20 |   775301 |   673327 |     9405    140 |        0 |        0
1588.72/1589.20	c 1589s |      20 |   776257 |   674127 |     9405    140 |        0 |        0
1590.82/1591.34	c 1591s |      20 |   777194 |   674927 |     9405    140 |        0 |        0
1592.92/1593.46	c 1593s |      20 |   778016 |   675627 |     9405    140 |        0 |        0
1595.22/1595.76	c 1595s |      20 |   778906 |   676427 |     9405    140 |        0 |        0
1597.42/1597.95	c 1597s |      20 |   779596 |   677027 |     9405    141 |        0 |        0
1599.63/1600.17	c 1600s |      20 |   780522 |   677827 |     9405    141 |        0 |        0
1601.82/1602.31	c 1602s |      20 |   781495 |   678627 |     9405    141 |        0 |        0
1604.12/1604.64	c 1604s |      20 |   782441 |   679427 |     9405    141 |        0 |        0
1606.52/1607.01	c 1606s |      20 |   783376 |   680227 |     9405    141 |        0 |        0
1608.92/1609.41	c 1609s |      20 |   784059 |   680827 |     9405    141 |        0 |        0
1611.02/1611.54	c 1611s |      20 |   784901 |   681527 |     9405    141 |        0 |        0
1613.22/1613.79	c 1613s |      20 |   785694 |   682227 |     9405    141 |        0 |        0
1615.53/1616.03	c 1615s |      20 |   786347 |   682827 |     9405    142 |        0 |        0
1617.73/1618.25	c 1618s |      20 |   787257 |   683627 |     9405    142 |        0 |        0
1619.83/1620.38	c 1620s |      20 |   788049 |   684327 |     9405    142 |        0 |        0
1622.02/1622.56	c 1622s |      20 |   788851 |   685027 |     9405    142 |        0 |        0
1624.12/1624.66	c 1624s |      20 |   789663 |   685727 |     9405    142 |        0 |        0
1626.42/1626.96	c 1626s |      20 |   790472 |   686427 |     9405    142 |        0 |        0
1628.63/1629.18	c 1629s |      20 |   791140 |   687027 |     9405    142 |        0 |        0
1630.72/1631.26	c 1631s |      20 |   791813 |   687627 |     9405    142 |        0 |        0
1632.82/1633.34	c 1633s |      20 |   792504 |   688227 |     9405    142 |        0 |        0
1634.92/1635.47	c 1635s |      20 |   793080 |   688727 |     9405    143 |        0 |        0
1637.02/1637.51	c 1637s |      20 |   793980 |   689527 |     9405    143 |        0 |        0
1639.22/1639.72	c 1639s |      20 |   794793 |   690227 |     9405    143 |        0 |        0
1641.21/1641.75	c 1641s |      20 |   795481 |   690827 |     9405    143 |        0 |        0
1643.61/1644.10	c 1644s |      20 |   796273 |   691527 |     9405    143 |        0 |        0
1645.71/1646.21	c 1646s |      20 |   796959 |   692127 |     9405    143 |        0 |        0
1647.81/1648.31	c 1648s |      20 |   797741 |   692827 |     9405    143 |        0 |        0
1649.91/1650.49	c 1650s |      20 |   798511 |   693527 |     9405    143 |        0 |        0
1652.01/1652.60	c 1652s |      20 |   799168 |   694127 |     9405    143 |        0 |        0
1654.31/1654.82	c 1654s |      20 |   799713 |   694627 |     9405    144 |        0 |        0
1656.31/1656.84	c 1656s |      20 |   800477 |   695327 |     9405    144 |        0 |        0
1658.51/1659.03	c 1658s |      20 |   801372 |   696127 |     9405    144 |        0 |        0
1660.61/1661.13	c 1661s |      20 |   802259 |   696927 |     9405    144 |        0 |        0
1662.71/1663.21	c 1663s |      20 |   803008 |   697627 |     9405    144 |        0 |        0
1665.01/1665.51	c 1665s |      20 |   803766 |   698327 |     9405    144 |        0 |        0
1667.01/1667.55	c 1667s |      20 |   804434 |   698927 |     9405    144 |        0 |        0
1669.21/1669.71	c 1669s |      20 |   805076 |   699527 |     9405    144 |        0 |        0
1671.52/1672.05	c 1671s |      20 |   805728 |   700127 |     9405    144 |        0 |        0
1673.72/1674.26	c 1674s |      20 |   806281 |   700627 |     9405    145 |        0 |        0
1675.81/1676.35	c 1676s |      20 |   807069 |   701327 |     9405    145 |        0 |        0
1678.12/1678.67	c 1678s |      20 |   807813 |   702027 |     9405    145 |        0 |        0
1680.42/1680.93	c 1680s |      20 |   808705 |   702827 |     9405    145 |        0 |        0
1682.52/1683.09	c 1683s |      20 |   809584 |   703627 |     9405    145 |        0 |        0
1684.61/1685.18	c 1685s |      20 |   810334 |   704327 |     9405    145 |        0 |        0
1686.91/1687.46	c 1687s |      20 |   811098 |   705027 |     9405    145 |        0 |        0
1689.00/1689.54	c 1689s |      20 |   811754 |   705627 |     9405    145 |        0 |        0
1691.21/1691.77	c 1691s |      20 |   812500 |   706327 |     9405    145 |        0 |        0
1693.31/1693.80	c 1693s |      20 |   813049 |   706827 |     9405    146 |        0 |        0
1695.31/1695.87	c 1695s |      20 |   813808 |   707527 |     9405    146 |        0 |        0
1697.61/1698.13	c 1698s |      20 |   814573 |   708227 |     9405    146 |        0 |        0
1699.71/1700.22	c 1700s |      20 |   815240 |   708827 |     9405    146 |        0 |        0
1701.71/1702.29	c 1702s |      20 |   815897 |   709427 |     9405    146 |        0 |        0
1704.01/1704.59	c 1704s |      20 |   816651 |   710127 |     9405    146 |        0 |        0
1706.31/1706.84	c 1706s |      20 |   817305 |   710727 |     9405    146 |        0 |        0
1708.50/1709.01	c 1708s |      20 |   817853 |   711227 |     9405    146 |        0 |        0
1710.60/1711.13	c 1711s |      20 |   818646 |   711927 |     9405    146 |        0 |        0
1712.70/1713.29	c 1713s |      20 |   819217 |   712427 |     9405    147 |        0 |        0
1715.00/1715.58	c 1715s |      20 |   819979 |   713127 |     9405    147 |        0 |        0
1717.20/1717.79	c 1717s |      20 |   820758 |   713827 |     9405    147 |        0 |        0
1719.31/1719.87	c 1719s |      20 |   821572 |   714527 |     9405    147 |        0 |        0
1721.61/1722.12	c 1722s |      20 |   822222 |   715127 |     9405    147 |        0 |        0
1723.60/1724.15	c 1724s |      20 |   822902 |   715727 |     9405    147 |        0 |        0
1725.80/1726.35	c 1726s |      20 |   823550 |   716327 |     9405    147 |        0 |        0
1727.80/1728.37	c 1728s |      20 |   824325 |   717027 |     9405    147 |        0 |        0
1730.00/1730.60	c 1730s |      20 |   825196 |   717827 |     9405    147 |        0 |        0
1732.40/1732.96	c 1732s |      20 |   825849 |   718427 |     9405    148 |        0 |        0
1734.50/1735.03	c 1734s |      20 |   826600 |   719127 |     9405    148 |        0 |        0
1736.70/1737.20	c 1737s |      20 |   827489 |   719927 |     9405    148 |        0 |        0
1738.71/1739.28	c 1739s |      20 |   828140 |   720527 |     9405    148 |        0 |        0
1740.91/1741.46	c 1741s |      20 |   828784 |   721127 |     9405    148 |        0 |        0
1742.90/1743.49	c 1743s |      20 |   829432 |   721727 |     9405    148 |        0 |        0
1745.00/1745.51	c 1745s |      20 |   830079 |   722327 |     9405    148 |        0 |        0
1747.20/1747.76	c 1747s |      20 |   830710 |   722927 |     9405    148 |        0 |        0
1749.61/1750.19	c 1750s |      20 |   831362 |   723527 |     9405    148 |        0 |        0
1751.70/1752.28	c 1752s |      20 |   831908 |   724027 |     9405    148 |        0 |        0
1753.90/1754.46	c 1754s |      20 |   832365 |   724427 |     9405    149 |        0 |        0
1756.00/1756.58	c 1756s |      20 |   833234 |   725227 |     9405    149 |        0 |        0
1758.20/1758.70	c 1758s |      20 |   833916 |   725827 |     9405    149 |        0 |        0
1760.20/1760.77	c 1760s |      20 |   834562 |   726427 |     9405    149 |        0 |        0
1762.40/1762.90	c 1762s |      20 |   835205 |   727027 |     9405    149 |        0 |        0
1764.69/1765.22	c 1765s |      20 |   835952 |   727727 |     9405    149 |        0 |        0
1766.89/1767.46	c 1767s |      20 |   836613 |   728327 |     9405    149 |        0 |        0
1769.10/1769.66	c 1769s |      20 |   837241 |   728927 |     9405    149 |        0 |        0
1771.40/1771.94	c 1771s |      20 |   837918 |   729527 |     9405    149 |        0 |        0
1773.50/1774.08	c 1774s |      20 |   838560 |   730127 |     9405    149 |        0 |        0
1775.60/1776.19	c 1776s |      20 |   839082 |   730627 |     9405    150 |        0 |        0
1777.79/1778.35	c 1778s |      20 |   839604 |   731127 |     9405    150 |        0 |        0
1779.99/1780.50	c 1780s |      20 |   840258 |   731727 |     9405    150 |        0 |        0
1782.19/1782.70	c 1782s |      20 |   841140 |   732527 |     9405    150 |        0 |        0
1784.19/1784.75	c 1784s |      20 |   841916 |   733227 |     9405    150 |        0 |        0
1786.49/1787.00	c 1786s |      20 |   842681 |   733927 |     9405    150 |        0 |        0
1788.49/1789.08	c 1789s |      20 |   843334 |   734527 |     9405    150 |        0 |        0
1790.80/1791.38	c 1791s |      20 |   843970 |   735127 |     9405    150 |        0 |        0
1793.20/1793.79	c 1793s |      20 |   844622 |   735727 |     9405    150 |        0 |        0
1795.80/1796.32	c 1796s |      20 |   845148 |   736227 |     9405    151 |        0 |        0
1797.80/1798.39	c 1798s |      20 |   845793 |   736827 |     9405    151 |        0 |        0

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

pid=13863
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: 1.20 0.51 0.29 4/179 13866
/proc/meminfo: memFree=29523432/32872528 swapFree=1286400/1433568
[pid=13866] ppid=13863 vsize=634300 CPUtime=0 cores=0,2,4,6
/proc/13866/stat : 13866 (toysat) R 13863 13866 12983 0 -1 4202496 2348 0 0 0 0 0 0 0 20 0 4 0 22661015 649523200 2708 33554432000 4194304 16246674 140737042963824 140737042963248 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13866/statm: 159087 2716 441 2943 0 155981 0
[pid=13866/tid=13867] ppid=13863 vsize=652732 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13867/stat : 13867 (toysat) S 13863 13866 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22661015 668397568 2780 33554432000 4194304 16246674 140737042963824 139961718254832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13866/tid=13868] ppid=13863 vsize=656828 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13868/stat : 13868 (toysat) S 13863 13866 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22661015 672591872 2799 33554432000 4194304 16246674 140737042963824 139961707764976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13866/tid=13869] ppid=13863 vsize=660924 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13869/stat : 13869 (toysat) S 13863 13866 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22661015 676786176 2813 33554432000 4194304 16246674 140737042963824 139961697291440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100126 s]
/proc/loadavg: 1.20 0.51 0.29 4/179 13866
/proc/meminfo: memFree=29523432/32872528 swapFree=1286400/1433568
[pid=13866] ppid=13863 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/13866/stat : 13866 (toysat) R 13863 13866 12983 0 -1 4202496 29015 0 0 0 5 4 0 0 20 0 4 0 22661015 1247350784 29364 33554432000 4194304 16246674 140737042963824 140737042946816 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13866/statm: 304529 29370 704 2943 0 301423 0
[pid=13866/tid=13867] ppid=13863 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13867/stat : 13867 (toysat) S 13863 13866 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22661015 1247350784 29375 33554432000 4194304 16246674 140737042963824 139961718254832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13866/tid=13868] ppid=13863 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13868/stat : 13868 (toysat) S 13863 13866 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22661015 1247350784 29379 33554432000 4194304 16246674 140737042963824 139961707764976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13866/tid=13869] ppid=13863 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13869/stat : 13869 (toysat) S 13863 13866 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22661015 1247350784 29383 33554432000 4194304 16246674 140737042963824 139961697291440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200463 s]
/proc/loadavg: 1.20 0.51 0.29 4/179 13866
/proc/meminfo: memFree=29523432/32872528 swapFree=1286400/1433568
[pid=13866] ppid=13863 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/13866/stat : 13866 (toysat) R 13863 13866 12983 0 -1 4202496 68432 0 0 0 10 8 0 0 20 0 4 0 22661015 1247350784 68782 33554432000 4194304 16246674 140737042963824 140737042946816 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13866/statm: 304529 68793 704 2943 0 301423 0
[pid=13866/tid=13867] ppid=13863 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13867/stat : 13867 (toysat) S 13863 13866 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22661015 1247350784 68801 33554432000 4194304 16246674 140737042963824 139961718254832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13866/tid=13868] ppid=13863 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13868/stat : 13868 (toysat) S 13863 13866 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22661015 1247350784 68809 33554432000 4194304 16246674 140737042963824 139961707764976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13866/tid=13869] ppid=13863 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13869/stat : 13869 (toysat) S 13863 13866 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22661015 1247350784 68817 33554432000 4194304 16246674 140737042963824 139961697291440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300428 s]
/proc/loadavg: 1.20 0.51 0.29 4/179 13866
/proc/meminfo: memFree=29523432/32872528 swapFree=1286400/1433568
[pid=13866] ppid=13863 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/13866/stat : 13866 (toysat) R 13863 13866 12983 0 -1 4202496 105235 0 0 0 16 12 0 0 20 0 4 0 22661015 1247350784 105584 33554432000 4194304 16246674 140737042963824 140737042946816 13193365 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13866/statm: 304529 105598 704 2943 0 301423 0
[pid=13866/tid=13867] ppid=13863 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13867/stat : 13867 (toysat) S 13863 13866 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22661015 1247350784 105607 33554432000 4194304 16246674 140737042963824 139961718254832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13866/tid=13868] ppid=13863 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13868/stat : 13868 (toysat) S 13863 13866 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22661015 1247350784 105613 33554432000 4194304 16246674 140737042963824 139961707764976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13866/tid=13869] ppid=13863 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13869/stat : 13869 (toysat) S 13863 13866 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22661015 1247350784 105618 33554432000 4194304 16246674 140737042963824 139961697291440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700335 s]
/proc/loadavg: 1.20 0.51 0.29 4/179 13866
/proc/meminfo: memFree=29523432/32872528 swapFree=1286400/1433568
[pid=13866] ppid=13863 vsize=1220164 CPUtime=0.69 cores=0,2,4,6
/proc/13866/stat : 13866 (toysat) R 13863 13866 12983 0 -1 4202496 245802 0 0 0 40 29 0 0 20 0 4 0 22661015 1249447936 246134 33554432000 4194304 16246674 140737042963824 140737042945728 4225154 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13866/statm: 305041 246143 739 2943 0 301935 0
[pid=13866/tid=13867] ppid=13863 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13867/stat : 13867 (toysat) S 13863 13866 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22661015 1249447936 246151 33554432000 4194304 16246674 140737042963824 139961718254832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13866/tid=13868] ppid=13863 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13868/stat : 13868 (toysat) S 13863 13866 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22661015 1249447936 246154 33554432000 4194304 16246674 140737042963824 139961707764976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13866/tid=13869] ppid=13863 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13869/stat : 13869 (toysat) S 13863 13866 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22661015 1249447936 246162 33554432000 4194304 16246674 140737042963824 139961697291440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1220164

[startup+1.50036 s]
/proc/loadavg: 1.34 0.55 0.30 4/183 13870
/proc/meminfo: memFree=28476544/32872528 swapFree=1286400/1433568
[pid=13866] ppid=13863 vsize=1307204 CPUtime=1.49 cores=0,2,4,6
/proc/13866/stat : 13866 (toysat) R 13863 13866 12983 0 -1 4202496 267678 0 0 0 116 33 0 0 20 0 4 0 22661015 1338576896 268007 33554432000 4194304 16246674 140737042963824 140737042946824 5545840 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13866/statm: 326801 268007 783 2943 0 323695 0
[pid=13866/tid=13867] ppid=13863 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13867/stat : 13867 (toysat) S 13863 13866 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22661015 1338576896 268007 33554432000 4194304 16246674 140737042963824 139961718254832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13866/tid=13868] ppid=13863 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13868/stat : 13868 (toysat) S 13863 13866 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22661015 1338576896 268007 33554432000 4194304 16246674 140737042963824 139961707764976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13866/tid=13869] ppid=13863 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13869/stat : 13869 (toysat) S 13863 13866 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22661015 1338576896 268007 33554432000 4194304 16246674 140737042963824 139961697291440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.1004 s]
/proc/loadavg: 1.34 0.55 0.30 4/183 13870
/proc/meminfo: memFree=28451132/32872528 swapFree=1286400/1433568
[pid=13866] ppid=13863 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/13866/stat : 13866 (toysat) R 13863 13866 12983 0 -1 4202496 267817 0 0 0 275 34 0 0 20 0 4 0 22661015 1338576896 268146 33554432000 4194304 16246674 140737042963824 140737042945728 12478272 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13866/statm: 326801 268146 783 2943 0 323695 0
[pid=13866/tid=13867] ppid=13863 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13867/stat : 13867 (toysat) S 13863 13866 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22661015 1338576896 268146 33554432000 4194304 16246674 140737042963824 139961718254832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13866/tid=13868] ppid=13863 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13868/stat : 13868 (toysat) S 13863 13866 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22661015 1338576896 268146 33554432000 4194304 16246674 140737042963824 139961707764976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13866/tid=13869] ppid=13863 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13869/stat : 13869 (toysat) S 13863 13866 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22661015 1338576896 268146 33554432000 4194304 16246674 140737042963824 139961697291440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30041 s]
/proc/loadavg: 1.39 0.58 0.31 3/183 13870
/proc/meminfo: memFree=28451272/32872528 swapFree=1286400/1433568
[pid=13866] ppid=13863 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/13866/stat : 13866 (toysat) R 13863 13866 12983 0 -1 4202496 267827 0 0 0 595 34 0 0 20 0 4 0 22661015 1339625472 268156 33554432000 4194304 16246674 140737042963824 140737042945728 6021024 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13866/statm: 327057 268156 788 2943 0 323951 0
[pid=13866/tid=13867] ppid=13863 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13867/stat : 13867 (toysat) S 13863 13866 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22661015 1339625472 268156 33554432000 4194304 16246674 140737042963824 139961718254832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13866/tid=13868] ppid=13863 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13868/stat : 13868 (toysat) S 13863 13866 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22661015 1339625472 268156 33554432000 4194304 16246674 140737042963824 139961707764976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13866/tid=13869] ppid=13863 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13869/stat : 13869 (toysat) S 13863 13866 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22661015 1339625472 268156 33554432000 4194304 16246674 140737042963824 139961697291440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7003 s]
/proc/loadavg: 1.44 0.60 0.32 3/183 13870
/proc/meminfo: memFree=28434924/32872528 swapFree=1286400/1433568
[pid=13866] ppid=13863 vsize=1311300 CPUtime=12.69 cores=0,2,4,6
/proc/13866/stat : 13866 (toysat) R 13863 13866 12983 0 -1 4202496 268717 0 0 0 1235 34 0 0 20 0 4 0 22661015 1342771200 269046 33554432000 4194304 16246674 140737042963824 140737042945728 5754872 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13866/statm: 327825 269046 791 2943 0 324719 0
[pid=13866/tid=13867] ppid=13863 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13867/stat : 13867 (toysat) S 13863 13866 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22661015 1342771200 269046 33554432000 4194304 16246674 140737042963824 139961718254832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13866/tid=13868] ppid=13863 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13868/stat : 13868 (toysat) S 13863 13866 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22661015 1342771200 269046 33554432000 4194304 16246674 140737042963824 139961707764976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13866/tid=13869] ppid=13863 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13869/stat : 13869 (toysat) S 13863 13866 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22661015 1342771200 269046 33554432000 4194304 16246674 140737042963824 139961697291440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1311300

[startup+25.5005 s]
/proc/loadavg: 1.57 0.67 0.35 3/183 13870
/proc/meminfo: memFree=28426704/32872528 swapFree=1286400/1433568
[pid=13866] ppid=13863 vsize=1318468 CPUtime=25.48 cores=0,2,4,6
/proc/13866/stat : 13866 (toysat) R 13863 13866 12983 0 -1 4202496 270641 0 0 0 2514 34 0 0 20 0 4 0 22661015 1350111232 270970 33554432000 4194304 16246674 140737042963824 140737042945728 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13866/statm: 329617 270970 791 2943 0 326511 0
[pid=13866/tid=13867] ppid=13863 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13867/stat : 13867 (toysat) S 13863 13866 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22661015 1350111232 270970 33554432000 4194304 16246674 140737042963824 139961718254832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13866/tid=13868] ppid=13863 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13868/stat : 13868 (toysat) S 13863 13866 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22661015 1350111232 270970 33554432000 4194304 16246674 140737042963824 139961707764976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13866/tid=13869] ppid=13863 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13869/stat : 13869 (toysat) S 13863 13866 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22661015 1350111232 270970 33554432000 4194304 16246674 140737042963824 139961697291440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1318468

[startup+51.1005 s]
/proc/loadavg: 1.79 0.79 0.40 3/183 13870
/proc/meminfo: memFree=28424592/32872528 swapFree=1286400/1433568
[pid=13866] ppid=13863 vsize=1320516 CPUtime=51.08 cores=0,2,4,6
/proc/13866/stat : 13866 (toysat) R 13863 13866 12983 0 -1 4202496 271153 0 0 0 5073 35 0 0 20 0 4 0 22661015 1352208384 271482 33554432000 4194304 16246674 140737042963824 140737042946824 12483000 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13866/statm: 330129 271482 791 2943 0 327023 0
[pid=13866/tid=13867] ppid=13863 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13867/stat : 13867 (toysat) S 13863 13866 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22661015 1352208384 271482 33554432000 4194304 16246674 140737042963824 139961718254832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13866/tid=13868] ppid=13863 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13868/stat : 13868 (toysat) S 13863 13866 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22661015 1352208384 271482 33554432000 4194304 16246674 140737042963824 139961707764976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13866/tid=13869] ppid=13863 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13869/stat : 13869 (toysat) S 13863 13866 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22661015 1352208384 271482 33554432000 4194304 16246674 140737042963824 139961697291440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1320516

[startup+102.3 s]
/proc/loadavg: 1.97 0.99 0.48 4/184 13874
/proc/meminfo: memFree=28421860/32872528 swapFree=1286400/1433568
[pid=13866] ppid=13863 vsize=1322564 CPUtime=102.28 cores=0,2,4,6
/proc/13866/stat : 13866 (toysat) R 13863 13866 12983 0 -1 4202496 271666 0 0 0 10192 36 0 0 20 0 4 0 22661015 1354305536 271995 33554432000 4194304 16246674 140737042963824 140737042945728 13950192 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13866/statm: 330641 271995 791 2943 0 327535 0
[pid=13866/tid=13867] ppid=13863 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13867/stat : 13867 (toysat) S 13863 13866 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22661015 1354305536 271995 33554432000 4194304 16246674 140737042963824 139961718254832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13866/tid=13868] ppid=13863 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13868/stat : 13868 (toysat) S 13863 13866 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22661015 1354305536 271995 33554432000 4194304 16246674 140737042963824 139961707764976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13866/tid=13869] ppid=13863 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13869/stat : 13869 (toysat) S 13863 13866 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22661015 1354305536 271995 33554432000 4194304 16246674 140737042963824 139961697291440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1322564


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

/proc/13866/task/13869/stat : 13869 (toysat) S 13863 13866 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22661015 1370034176 275659 33554432000 4194304 16246674 140737042963824 139961697291440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1337924

[startup+1362.3 s]
/proc/loadavg: 2.22 2.21 1.76 3/183 13954
/proc/meminfo: memFree=23257576/32872528 swapFree=1286400/1433568
[pid=13866] ppid=13863 vsize=1337924 CPUtime=1361.86 cores=0,2,4,6
/proc/13866/stat : 13866 (toysat) R 13863 13866 12983 0 -1 4202496 275921 0 0 0 136075 111 0 0 20 0 4 0 22661015 1370034176 275841 33554432000 4194304 16246674 140737042963824 140737042945728 13950199 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13866/statm: 334481 275841 792 2943 0 331375 0
[pid=13866/tid=13867] ppid=13863 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13867/stat : 13867 (toysat) S 13863 13866 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22661015 1370034176 275841 33554432000 4194304 16246674 140737042963824 139961718254832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13866/tid=13868] ppid=13863 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13868/stat : 13868 (toysat) S 13863 13866 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22661015 1370034176 275841 33554432000 4194304 16246674 140737042963824 139961707764976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13866/tid=13869] ppid=13863 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13869/stat : 13869 (toysat) S 13863 13866 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22661015 1370034176 275841 33554432000 4194304 16246674 140737042963824 139961697291440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1337924

[startup+1422.3 s]
/proc/loadavg: 2.13 2.18 1.78 3/182 13955
/proc/meminfo: memFree=23237612/32872528 swapFree=1286400/1433568
[pid=13866] ppid=13863 vsize=1337924 CPUtime=1421.86 cores=0,2,4,6
/proc/13866/stat : 13866 (toysat) R 13863 13866 12983 0 -1 4202496 275921 0 0 0 142069 117 0 0 20 0 4 0 22661015 1370034176 275841 33554432000 4194304 16246674 140737042963824 140737042945728 6021024 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13866/statm: 334481 275841 792 2943 0 331375 0
[pid=13866/tid=13867] ppid=13863 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13867/stat : 13867 (toysat) S 13863 13866 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22661015 1370034176 275841 33554432000 4194304 16246674 140737042963824 139961718254832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13866/tid=13868] ppid=13863 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13868/stat : 13868 (toysat) S 13863 13866 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22661015 1370034176 275841 33554432000 4194304 16246674 140737042963824 139961707764976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13866/tid=13869] ppid=13863 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13869/stat : 13869 (toysat) S 13863 13866 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22661015 1370034176 275841 33554432000 4194304 16246674 140737042963824 139961697291440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1337924

[startup+1482.3 s]
/proc/loadavg: 2.27 2.21 1.81 3/183 13957
/proc/meminfo: memFree=23226948/32872528 swapFree=1286400/1433568
[pid=13866] ppid=13863 vsize=1337924 CPUtime=1481.84 cores=0,2,4,6
/proc/13866/stat : 13866 (toysat) R 13863 13866 12983 0 -1 4202496 275921 0 0 0 148061 123 0 0 20 0 4 0 22661015 1370034176 275841 33554432000 4194304 16246674 140737042963824 140737042963000 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13866/statm: 334481 275841 792 2943 0 331375 0
[pid=13866/tid=13867] ppid=13863 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13867/stat : 13867 (toysat) S 13863 13866 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22661015 1370034176 275841 33554432000 4194304 16246674 140737042963824 139961718254832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13866/tid=13868] ppid=13863 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13868/stat : 13868 (toysat) S 13863 13866 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22661015 1370034176 275841 33554432000 4194304 16246674 140737042963824 139961707764976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13866/tid=13869] ppid=13863 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13869/stat : 13869 (toysat) S 13863 13866 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22661015 1370034176 275841 33554432000 4194304 16246674 140737042963824 139961697291440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1337924

[startup+1542.31 s]
/proc/loadavg: 2.20 2.20 1.83 3/183 13959
/proc/meminfo: memFree=23218084/32872528 swapFree=1286400/1433568
[pid=13866] ppid=13863 vsize=1337924 CPUtime=1541.83 cores=0,2,4,6
/proc/13866/stat : 13866 (toysat) R 13863 13866 12983 0 -1 4202496 275921 0 0 0 154055 128 0 0 20 0 4 0 22661015 1370034176 275841 33554432000 4194304 16246674 140737042963824 140737042945728 5546219 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13866/statm: 334481 275841 792 2943 0 331375 0
[pid=13866/tid=13867] ppid=13863 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13867/stat : 13867 (toysat) S 13863 13866 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22661015 1370034176 275841 33554432000 4194304 16246674 140737042963824 139961718254832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13866/tid=13868] ppid=13863 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13868/stat : 13868 (toysat) S 13863 13866 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22661015 1370034176 275841 33554432000 4194304 16246674 140737042963824 139961707764976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13866/tid=13869] ppid=13863 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13869/stat : 13869 (toysat) S 13863 13866 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22661015 1370034176 275841 33554432000 4194304 16246674 140737042963824 139961697291440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1337924

[startup+1602.3 s]
/proc/loadavg: 2.18 2.19 1.85 3/183 13960
/proc/meminfo: memFree=23199168/32872528 swapFree=1286400/1433568
[pid=13866] ppid=13863 vsize=1337924 CPUtime=1601.82 cores=0,2,4,6
/proc/13866/stat : 13866 (toysat) R 13863 13866 12983 0 -1 4202496 275921 0 0 0 160051 131 0 0 20 0 4 0 22661015 1370034176 275841 33554432000 4194304 16246674 140737042963824 140737042945728 5545784 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13866/statm: 334481 275841 792 2943 0 331375 0
[pid=13866/tid=13867] ppid=13863 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13867/stat : 13867 (toysat) S 13863 13866 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22661015 1370034176 275841 33554432000 4194304 16246674 140737042963824 139961718254832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13866/tid=13868] ppid=13863 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13868/stat : 13868 (toysat) S 13863 13866 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22661015 1370034176 275841 33554432000 4194304 16246674 140737042963824 139961707764976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13866/tid=13869] ppid=13863 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13869/stat : 13869 (toysat) S 13863 13866 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22661015 1370034176 275841 33554432000 4194304 16246674 140737042963824 139961697291440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1337924

[startup+1662.3 s]
/proc/loadavg: 2.19 2.20 1.87 3/183 13961
/proc/meminfo: memFree=23188740/32872528 swapFree=1286400/1433568
[pid=13866] ppid=13863 vsize=1337924 CPUtime=1661.81 cores=0,2,4,6
/proc/13866/stat : 13866 (toysat) R 13863 13866 12983 0 -1 4202496 275921 0 0 0 166048 133 0 0 20 0 4 0 22661015 1370034176 275841 33554432000 4194304 16246674 140737042963824 140737042945728 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13866/statm: 334481 275841 792 2943 0 331375 0
[pid=13866/tid=13867] ppid=13863 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13867/stat : 13867 (toysat) S 13863 13866 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22661015 1370034176 275841 33554432000 4194304 16246674 140737042963824 139961718254832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13866/tid=13868] ppid=13863 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13868/stat : 13868 (toysat) S 13863 13866 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22661015 1370034176 275841 33554432000 4194304 16246674 140737042963824 139961707764976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13866/tid=13869] ppid=13863 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13869/stat : 13869 (toysat) S 13863 13866 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22661015 1370034176 275841 33554432000 4194304 16246674 140737042963824 139961697291440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1337924

[startup+1722.3 s]
/proc/loadavg: 2.17 2.19 1.89 4/183 13962
/proc/meminfo: memFree=23171616/32872528 swapFree=1286400/1433568
[pid=13866] ppid=13863 vsize=1337924 CPUtime=1721.8 cores=0,2,4,6
/proc/13866/stat : 13866 (toysat) R 13863 13866 12983 0 -1 4202496 275921 0 0 0 172044 136 0 0 20 0 4 0 22661015 1370034176 275841 33554432000 4194304 16246674 140737042963824 140737042945728 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13866/statm: 334481 275841 792 2943 0 331375 0
[pid=13866/tid=13867] ppid=13863 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13867/stat : 13867 (toysat) S 13863 13866 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22661015 1370034176 275841 33554432000 4194304 16246674 140737042963824 139961718254832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13866/tid=13868] ppid=13863 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13868/stat : 13868 (toysat) S 13863 13866 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22661015 1370034176 275841 33554432000 4194304 16246674 140737042963824 139961707764976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13866/tid=13869] ppid=13863 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13869/stat : 13869 (toysat) S 13863 13866 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22661015 1370034176 275841 33554432000 4194304 16246674 140737042963824 139961697291440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1337924

[startup+1782.3 s]
/proc/loadavg: 2.27 2.21 1.91 3/183 13963
/proc/meminfo: memFree=23162680/32872528 swapFree=1286400/1433568
[pid=13866] ppid=13863 vsize=1337924 CPUtime=1781.79 cores=0,2,4,6
/proc/13866/stat : 13866 (toysat) R 13863 13866 12983 0 -1 4202496 275921 0 0 0 178041 138 0 0 20 0 4 0 22661015 1370034176 275841 33554432000 4194304 16246674 140737042963824 140737042945728 13950218 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13866/statm: 334481 275841 792 2943 0 331375 0
[pid=13866/tid=13867] ppid=13863 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13867/stat : 13867 (toysat) S 13863 13866 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22661015 1370034176 275841 33554432000 4194304 16246674 140737042963824 139961718254832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13866/tid=13868] ppid=13863 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13868/stat : 13868 (toysat) S 13863 13866 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22661015 1370034176 275841 33554432000 4194304 16246674 140737042963824 139961707764976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13866/tid=13869] ppid=13863 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13869/stat : 13869 (toysat) S 13863 13866 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22661015 1370034176 275841 33554432000 4194304 16246674 140737042963824 139961697291440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1337924



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.21 2.20 1.91 3/183 13964
/proc/meminfo: memFree=23154960/32872528 swapFree=1286400/1433568
[pid=13866] ppid=13863 vsize=1338948 CPUtime=1800 cores=0,2,4,6
/proc/13866/stat : 13866 (toysat) R 13863 13866 12983 0 -1 4202496 276010 0 0 0 179861 139 0 0 20 0 4 0 22661015 1371082752 275930 33554432000 4194304 16246674 140737042963824 140737042945728 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13866/statm: 334737 275930 792 2943 0 331631 0
[pid=13866/tid=13867] ppid=13863 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13867/stat : 13867 (toysat) S 13863 13866 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22661015 1371082752 275930 33554432000 4194304 16246674 140737042963824 139961718254832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13866/tid=13868] ppid=13863 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13868/stat : 13868 (toysat) S 13863 13866 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22661015 1371082752 275930 33554432000 4194304 16246674 140737042963824 139961707764976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13866/tid=13869] ppid=13863 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13869/stat : 13869 (toysat) S 13863 13866 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22661015 1371082752 275930 33554432000 4194304 16246674 140737042963824 139961697291440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1338948

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

[startup+1800.5 s]
/proc/loadavg: 2.21 2.20 1.91 3/183 13964
/proc/meminfo: memFree=23154960/32872528 swapFree=1286400/1433568
[pid=13866] ppid=13863 vsize=1338948 CPUtime=1800 cores=0,2,4,6
/proc/13866/stat : 13866 (toysat) R 13863 13866 12983 0 -1 4202496 276010 0 0 0 179861 139 0 0 20 0 4 0 22661015 1371082752 275930 33554432000 4194304 16246674 140737042963824 140737042945728 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13866/statm: 334737 275930 792 2943 0 331631 0
[pid=13866/tid=13867] ppid=13863 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13867/stat : 13867 (toysat) S 13863 13866 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22661015 1371082752 275930 33554432000 4194304 16246674 140737042963824 139961718254832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13866/tid=13868] ppid=13863 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13868/stat : 13868 (toysat) S 13863 13866 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22661015 1371082752 275930 33554432000 4194304 16246674 140737042963824 139961707764976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13866/tid=13869] ppid=13863 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/13866/task/13869/stat : 13869 (toysat) S 13863 13866 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22661015 1371082752 275930 33554432000 4194304 16246674 140737042963824 139961697291440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1338948

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.01
CPU user time (s): 1798.62
CPU system time (s): 1.39079
CPU usage (%): 99.9721
Max. virtual memory (cumulated for all children) (KiB): 1338948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.62
system time used= 1.39079
maximum resident set size= 1103720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276010
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= 429
involuntary context switches= 1913

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5753 second user time and 6.92795 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-18 01:29:02
IDJOB=4099515
IDBENCH=1433
IDSOLVER=2542
FILE ID=node130/4099515-1466206142
RUNJOBID= node130-1466206066-12999
PBS_JOBID= 19918147
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099515-1466206142/watcher-4099515-1466206142 -o /tmp/evaluation-result-4099515-1466206142/solver-4099515-1466206142 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466206066-12999 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099515-1466206142.opb

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

MD5SUM BENCH= fe9566a2c8ff9ee542e29a30eb3c6e16
RANDOM SEED=1520571238

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29523340 kB
Buffers:           36452 kB
Cached:            97672 kB
SwapCached:         1824 kB
Active:          1152496 kB
Inactive:          54360 kB
Active(anon):    1073476 kB
Inactive(anon):     1544 kB
Active(file):      79020 kB
Inactive(file):    52816 kB
Unevictable:     1433568 kB
Mlocked:         1286400 kB
SwapTotal:      67108856 kB
SwapFree:       67098948 kB
Dirty:             33116 kB
Writeback:             0 kB
AnonPages:       2505608 kB
Mapped:            10340 kB
Shmem:                 0 kB
Slab:             572416 kB
SReclaimable:      15584 kB
SUnreclaim:       556832 kB
KernelStack:        1472 kB
PageTables:         9104 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2652384 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 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= 71672 MiB
End job on node130 at 2016-06-18 01:59:03