Trace number 4078721

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.18 1800.52

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin16.opb
MD5SUMd761333f7ff9a755d3cd90e52b11f227
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables14400
Total number of constraints1088
Number of constraints which are clauses480
Number of constraints which are cardinality constraints (but not clauses)608
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint120
Maximum length of a constraint225
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 227
Number of bits of the biggest sum of numbers8
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-06T14:38:04+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4078721-1465216684.opb"]
0.00/0.01	c use --random-gen="594704335 2685575486 2532225697 4269237789 244578580 989840091 3381218910 1180774394 1556284260 372764601 4118076092 332479272 3290258910 2409342163 3003553555 4043772014 3088596009 911413638 401114851 1831897327 3616427643 2556215313 2023482291 2578405010 2902369203 2093398759 1437231573 2888621832 3605453984 1770200079 3180262973 1737850923 23226044 1538038229 1059867828 709030182 3768644993 4141212790 1792690150 3810451261 3658477424 2786507396 1992405816 1722126563 4100875886 322372487 63511094 1751833189 1726186868 4120070890 1836815608 2495800609 1212233896 2015054003 4056778091 2560924678 1697693459 2661669687 3887125145 2843110950 1142657804 3030260226 2148971385 4016813004 4087905519 2252947677 1476806365 2483346020 3400827791 2363457206 3528411001 3365105084 740000269 3387090960 1503045188 4123290352 2818006788 3865510411 255008015 2157358984 147284411 529080812 2368737360 2790549100 900234789 14185213 3275080705 1081675316 3358110097 1135993219 736981196 1129702205 2367381981 2138763341 475410254 4244052713 762143309 4256388521 1337043903 4191567412 256997373 2318842549 341731627 909007672 3007153472 2954470425 1737394543 1613759433 821217586 3079659200 3566923770 536665948 3977551390 2091854292 1643724316 1984235454 3480365582 1070587367 109995462 1500071134 3990009691 908706246 4194808030 94226292 2419304429 3546598654 3167618051 2310656600 2802275791 103527431 4000743771 2292299321 217795380 1001895426 790547843 4160845258 3565703384 4233966802 735557133 3891223831 3830065037 182223553 3963080276 836483748 2400915686 1292022270 1990983340 59973138 320052920 1784971412 2751678990 1574627078 1726765112 1824427143 3711600322 3256837509 4094769798 3771957522 4022544805 633189605 61310504 2383337311 3915818952 2540912426 801058645 1199486074 2869712881 2335362044 3140394143 3148782205 203429945 1358944412 1078240956 3143787264 3990422502 1330014489 3419810746 433374983 4113430012 3049822795 3395612433 717071341 970437654 2716056927 1910571059 4127475361 518851542 3655652064 1958172264 378841263 3313769427 2606670951 724121878 36228037 341468714 674009996 751691299 2498644750 3807314558 612727270 1268939192 741508416 1407679588 3086402924 2210588817 2117759693 2816850468 484275120 3315582048 1949863101 800620384 323309924 4175790580 1047628868 3536017780 4015815527 3620804720 3290417479 4247625783 3924986350 4282191485 3311332984 3124581421 1982347284 1044399616 2313356813 1533553788 2820783868 651258907 2856147943 1145676372 4257289090 1783223532 315052682 3218684365 3886146582 1628311919 1345799533 152816383 2134541245 628785574 980006673 669819226 2622345894 392893521 329668819 2294627358 923939850 3099908283 1792055600 4169218995 3737613317 2012262810 677543374 1917267858 3517757610 255 362436" option to reproduce the execution
0.19/0.28	c #vars 14400
0.19/0.28	c #constraints 1088
0.59/0.60	c Solving starts ...
0.59/0.60	c ============================[ Search Statistics ]============================
0.59/0.60	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.59/0.60	c       |         |          |          |    Limit     GC | Var      | Constra 
0.59/0.60	c =============================================================================
0.59/0.64	c  0.0s |       0 |        0 |        0 |     5162      0 |        0 |        0
0.79/0.87	c  0.2s |       1 |      388 |      100 |     5162      0 |        0 |        0
1.20/1.28	c  0.6s |       2 |     2095 |      250 |     5679      0 |        0 |        0
1.99/2.00	c  1.4s |       3 |     3719 |      475 |     6247      0 |        0 |        0
2.59/2.65	c  2.0s |       4 |     6830 |      813 |     6872      0 |        0 |        0
5.49/5.56	c  4.9s |       4 |     9588 |     1313 |     7560      0 |        0 |        0
5.59/5.62	c  5.0s |       5 |     9607 |     1320 |     7560      0 |        0 |        0
7.58/7.66	c  7.0s |       5 |    13805 |     1920 |     8316      0 |        0 |        0
8.08/8.13	c  7.5s |       6 |    14230 |     2081 |     9148      0 |        0 |        0
10.09/10.19	c  9.5s |       6 |    17896 |     2581 |     9148      0 |        0 |        0
13.20/13.23	c 12.6s |       6 |    18666 |     2981 |     9148      0 |        0 |        0
16.50/16.58	c 15.9s |       6 |    19069 |     3181 |     9148      0 |        0 |        0
17.19/17.21	c 16.6s |       7 |    19137 |     3223 |    10063      0 |        0 |        0
19.19/19.28	c 18.6s |       7 |    23770 |     3823 |    10063      0 |        0 |        0
21.68/21.75	c 21.1s |       7 |    25711 |     4523 |    10063      0 |        0 |        0
24.39/24.47	c 23.8s |       7 |    26271 |     4923 |    11070      0 |        0 |        0
24.59/24.68	c 24.0s |       8 |    26284 |     4936 |    11070      0 |        0 |        0
26.88/26.93	c 26.3s |       8 |    30687 |     5436 |    11070      0 |        0 |        0
29.08/29.15	c 28.5s |       8 |    32702 |     6036 |    11070      0 |        0 |        0
31.59/31.63	c 31.0s |       8 |    35377 |     6736 |    11070      0 |        0 |        0
33.98/34.02	c 33.4s |       8 |    35834 |     7036 |    11070      0 |        0 |        0
36.39/36.44	c 35.8s |       8 |    36631 |     7436 |    11070      0 |        0 |        0
36.78/36.82	c 36.2s |       9 |    36808 |     7506 |    12178      0 |        0 |        0
39.28/39.37	c 38.7s |       9 |    38831 |     7906 |    12178      0 |        0 |        0
41.38/41.47	c 40.8s |       9 |    39592 |     8206 |    12178      0 |        0 |        0
43.68/43.76	c 43.1s |       9 |    40468 |     8606 |    12178      0 |        0 |        0
45.79/45.82	c 45.2s |       9 |    41675 |     9006 |    12178      0 |        0 |        0
48.28/48.39	c 47.7s |       9 |    42298 |     9406 |    12178      0 |        0 |        0
50.48/50.52	c 49.9s |       9 |    42881 |     9706 |    12178      0 |        0 |        0
52.89/52.98	c 52.3s |       9 |    43518 |    10106 |    12178      0 |        0 |        0
54.99/55.06	c 54.4s |       9 |    43939 |    10406 |    12178      0 |        0 |        0
57.29/57.35	c 56.7s |       9 |    45146 |    10906 |    12178      0 |        0 |        0
59.08/59.17	c 58.5s |      10 |    47110 |    11361 |    13396      0 |        0 |        0
61.28/61.35	c 60.7s |      10 |    49339 |    11761 |    13396      0 |        0 |        0
63.68/63.75	c 63.1s |      10 |    50147 |    12261 |    13396      0 |        0 |        0
65.68/65.80	c 65.2s |      10 |    50631 |    12561 |    13396      0 |        0 |        0
68.28/68.32	c 67.7s |      10 |    51089 |    12861 |    13396      0 |        0 |        0
70.48/70.58	c 69.9s |      10 |    51547 |    13161 |    13396      0 |        0 |        0
73.08/73.20	c 72.6s |      10 |    51998 |    13461 |    13396      0 |        0 |        0
75.27/75.31	c 74.7s |      10 |    52305 |    13661 |    13396      0 |        0 |        0
77.38/77.44	c 76.8s |      10 |    52561 |    13861 |    13396      0 |        0 |        0
79.67/79.79	c 79.2s |      10 |    52835 |    14061 |    13396      0 |        0 |        0
81.98/82.02	c 81.4s |      10 |    53112 |    14261 |    13396      0 |        0 |        0
84.87/84.90	c 84.3s |      10 |    53533 |    14561 |    13396      0 |        0 |        0
86.88/86.94	c 86.3s |      10 |    53784 |    14761 |    13396      0 |        0 |        0
89.68/89.72	c 89.1s |      10 |    54062 |    14961 |    13396      0 |        0 |        0
92.17/92.25	c 91.6s |      10 |    54311 |    15161 |    13396      0 |        0 |        0
94.37/94.42	c 93.8s |      10 |    54666 |    15361 |    13396      0 |        0 |        0
96.78/96.85	c 96.2s |      10 |    55109 |    15661 |    13396      0 |        0 |        0
99.27/99.32	c 98.7s |      10 |    55723 |    15961 |    13396      0 |        0 |        0
101.28/101.38	c  100s |      10 |    56034 |    16161 |    13396      0 |        0 |        0
103.87/103.99	c  103s |      10 |    56489 |    16461 |    13396      0 |        0 |        0
106.58/106.64	c  105s |      10 |    56905 |    16761 |    13396      0 |        0 |        0
108.98/109.08	c  108s |      10 |    57392 |    17061 |    14736      0 |        0 |        0
109.77/109.84	c  109s |      11 |    57513 |    17144 |    14736      0 |        0 |        0
112.97/113.05	c  112s |      11 |    59337 |    17244 |    14736      1 |        0 |        0
115.27/115.33	c  114s |      11 |    61761 |    17944 |    14736      1 |        0 |        0
117.58/117.67	c  117s |      11 |    62579 |    18444 |    14736      1 |        0 |        0
120.27/120.31	c  119s |      11 |    63201 |    18844 |    14736      1 |        0 |        0
122.67/122.77	c  122s |      11 |    64232 |    19344 |    14736      1 |        0 |        0
124.87/124.91	c  124s |      11 |    64699 |    19644 |    14736      1 |        0 |        0
127.68/127.75	c  127s |      11 |    65094 |    19944 |    14736      1 |        0 |        0
129.88/129.92	c  129s |      11 |    65550 |    20244 |    14736      1 |        0 |        0
132.37/132.46	c  131s |      11 |    65956 |    20544 |    14736      1 |        0 |        0
135.07/135.14	c  134s |      11 |    66408 |    20844 |    14736      1 |        0 |        0
137.58/137.68	c  137s |      11 |    66965 |    21144 |    14736      1 |        0 |        0
140.16/140.21	c  139s |      11 |    67457 |    21444 |    14736      1 |        0 |        0
143.17/143.22	c  142s |      11 |    67895 |    21744 |    14736      1 |        0 |        0
145.28/145.37	c  144s |      11 |    68178 |    21944 |    14736      1 |        0 |        0
148.57/148.61	c  147s |      11 |    68581 |    22244 |    14736      1 |        0 |        0
150.77/150.81	c  150s |      11 |    68906 |    22444 |    14736      1 |        0 |        0
153.57/153.63	c  152s |      11 |    69157 |    22644 |    14736      1 |        0 |        0
156.07/156.19	c  155s |      11 |    69441 |    22844 |    14736      1 |        0 |        0
158.87/158.95	c  158s |      11 |    69738 |    23044 |    14736      1 |        0 |        0
161.27/161.31	c  160s |      11 |    70077 |    23244 |    14736      1 |        0 |        0
163.26/163.37	c  162s |      11 |    70374 |    23444 |    14736      1 |        0 |        0
166.07/166.17	c  165s |      11 |    70907 |    23744 |    14736      1 |        0 |        0
168.16/168.25	c  167s |      11 |    71311 |    23944 |    14736      1 |        0 |        0
170.36/170.47	c  169s |      11 |    71763 |    24144 |    14736      1 |        0 |        0
173.36/173.45	c  172s |      11 |    72083 |    24344 |    14736      1 |        0 |        0
175.97/176.07	c  175s |      11 |    72397 |    24544 |    14736      1 |        0 |        0
178.77/178.85	c  178s |      11 |    72677 |    24744 |    14736      1 |        0 |        0
181.66/181.70	c  181s |      11 |    72959 |    24944 |    14736      1 |        0 |        0
184.16/184.28	c  183s |      11 |    73273 |    25144 |    14736      1 |        0 |        0
187.46/187.50	c  186s |      11 |    73505 |    25344 |    14736      1 |        0 |        0
189.86/189.94	c  189s |      11 |    73819 |    25544 |    14736      1 |        0 |        0
192.26/192.37	c  191s |      11 |    74133 |    25744 |    16210      1 |        0 |        0
192.96/193.06	c  192s |      12 |    74248 |    25819 |    16210      1 |        0 |        0
197.06/197.17	c  196s |      12 |    76352 |    25919 |    16210      2 |        0 |        0
199.56/199.64	c  199s |      12 |    77888 |    26419 |    16210      2 |        0 |        0
201.66/201.74	c  201s |      12 |    78364 |    26719 |    16210      2 |        0 |        0
203.96/204.03	c  203s |      12 |    79450 |    27119 |    16210      2 |        0 |        0
206.35/206.41	c  205s |      12 |    80914 |    27619 |    16210      2 |        0 |        0
208.86/209.00	c  208s |      12 |    81685 |    28019 |    16210      2 |        0 |        0
211.17/211.21	c  210s |      12 |    82030 |    28219 |    16210      2 |        0 |        0
213.26/213.33	c  212s |      12 |    82803 |    28519 |    16210      2 |        0 |        0
215.36/215.44	c  214s |      12 |    85684 |    29019 |    16210      2 |        0 |        0
217.66/217.73	c  217s |      12 |    87746 |    29619 |    16210      2 |        0 |        0
219.86/219.93	c  219s |      12 |    90500 |    30419 |    16210      2 |        0 |        0
221.85/221.96	c  221s |      12 |    92101 |    31019 |    16210      2 |        0 |        0
224.15/224.20	c  223s |      12 |    93456 |    31619 |    16210      2 |        0 |        0
226.35/226.46	c  225s |      12 |    94223 |    32019 |    16210      2 |        0 |        0
229.06/229.14	c  228s |      12 |    94880 |    32419 |    16210      2 |        0 |        0
231.06/231.16	c  230s |      12 |    95751 |    32819 |    16210      2 |        0 |        0
233.56/233.60	c  232s |      12 |    96791 |    33319 |    16210      2 |        0 |        0
235.85/235.93	c  235s |      12 |    97288 |    33619 |    16210      2 |        0 |        0
238.25/238.37	c  237s |      12 |    97557 |    33819 |    16210      2 |        0 |        0
240.55/240.65	c  240s |      12 |    97689 |    33919 |    16210      2 |        0 |        0
243.86/243.93	c  243s |      12 |    97922 |    34119 |    16210      2 |        0 |        0
246.75/246.81	c  246s |      12 |    98455 |    34419 |    16210      2 |        0 |        0
249.15/249.22	c  248s |      12 |    98780 |    34619 |    16210      2 |        0 |        0
251.25/251.38	c  250s |      12 |    99669 |    35019 |    16210      2 |        0 |        0
253.45/253.56	c  252s |      12 |   100184 |    35319 |    16210      2 |        0 |        0
255.75/255.81	c  255s |      12 |   100681 |    35619 |    16210      2 |        0 |        0
257.85/257.90	c  257s |      12 |   101130 |    35919 |    16210      2 |        0 |        0
260.76/260.82	c  260s |      12 |   101830 |    36319 |    16210      2 |        0 |        0
262.75/262.83	c  262s |      12 |   102159 |    36519 |    16210      2 |        0 |        0
265.35/265.48	c  264s |      12 |   102620 |    36819 |    16210      2 |        0 |        0
267.55/267.65	c  267s |      12 |   103074 |    37119 |    16210      2 |        0 |        0
270.05/270.10	c  269s |      12 |   103503 |    37419 |    16210      2 |        0 |        0
272.34/272.49	c  271s |      12 |   103979 |    37719 |    16210      2 |        0 |        0
274.55/274.61	c  273s |      12 |   104363 |    37919 |    16210      2 |        0 |        0
277.44/277.58	c  276s |      12 |   104835 |    38219 |    16210      2 |        0 |        0
279.85/279.90	c  279s |      12 |   105074 |    38419 |    16210      2 |        0 |        0
282.85/282.93	c  282s |      12 |   105297 |    38619 |    17831      2 |        0 |        0
284.85/284.96	c  284s |      12 |   105632 |    38819 |    17831      2 |        0 |        0
284.95/285.06	c  284s |      13 |   105646 |    38832 |    17831      2 |        0 |        0
289.94/290.05	c  289s |      13 |   106857 |    38932 |    17831      3 |        0 |        0
292.24/292.33	c  291s |      13 |   107859 |    39432 |    17831      3 |        0 |        0
294.45/294.52	c  293s |      13 |   108845 |    39932 |    17831      3 |        0 |        0
296.95/297.08	c  296s |      13 |   109421 |    40332 |    17831      3 |        0 |        0
299.05/299.15	c  298s |      13 |   110160 |    40732 |    17831      3 |        0 |        0
301.45/301.56	c  300s |      13 |   110561 |    41032 |    17831      3 |        0 |        0
304.14/304.29	c  303s |      13 |   111212 |    41432 |    17831      3 |        0 |        0
306.55/306.67	c  306s |      13 |   111627 |    41732 |    17831      3 |        0 |        0
308.94/309.07	c  308s |      13 |   112081 |    42032 |    17831      3 |        0 |        0
311.74/311.88	c  311s |      13 |   112520 |    42332 |    17831      3 |        0 |        0
313.94/314.07	c  313s |      13 |   112783 |    42532 |    17831      3 |        0 |        0
316.34/316.49	c  315s |      13 |   113058 |    42732 |    17831      3 |        0 |        0
318.74/318.89	c  318s |      13 |   113301 |    42932 |    17831      3 |        0 |        0
321.54/321.60	c  320s |      13 |   113762 |    43232 |    17831      3 |        0 |        0
324.03/324.12	c  323s |      13 |   114396 |    43632 |    17831      3 |        0 |        0
326.04/326.17	c  325s |      13 |   114829 |    43932 |    17831      3 |        0 |        0
328.54/328.61	c  327s |      13 |   115228 |    44232 |    17831      3 |        0 |        0
331.04/331.12	c  330s |      13 |   115631 |    44532 |    17831      3 |        0 |        0
333.04/333.16	c  332s |      13 |   115901 |    44732 |    17831      3 |        0 |        0
335.64/335.78	c  335s |      13 |   116310 |    45032 |    17831      3 |        0 |        0
338.03/338.11	c  337s |      13 |   116743 |    45332 |    17831      3 |        0 |        0
340.64/340.75	c  340s |      13 |   117121 |    45632 |    17831      3 |        0 |        0
343.34/343.46	c  342s |      13 |   117521 |    45932 |    17831      3 |        0 |        0
345.44/345.52	c  344s |      13 |   117778 |    46132 |    17831      3 |        0 |        0
347.94/348.05	c  347s |      13 |   118073 |    46332 |    17831      3 |        0 |        0
350.34/350.47	c  349s |      13 |   118315 |    46532 |    17831      3 |        0 |        0
353.64/353.73	c  353s |      13 |   118699 |    46832 |    17831      3 |        0 |        0
356.24/356.30	c  355s |      13 |   118934 |    47032 |    17831      3 |        0 |        0
358.64/358.72	c  358s |      13 |   119189 |    47232 |    17831      3 |        0 |        0
361.33/361.47	c  360s |      13 |   119586 |    47532 |    17831      3 |        0 |        0
363.83/363.97	c  363s |      13 |   119867 |    47732 |    17831      3 |        0 |        0
366.24/366.35	c  365s |      13 |   120125 |    47932 |    17831      3 |        0 |        0
368.94/369.06	c  368s |      13 |   120389 |    48132 |    17831      3 |        0 |        0
371.63/371.72	c  371s |      13 |   120975 |    48432 |    17831      3 |        0 |        0
374.53/374.64	c  373s |      13 |   121227 |    48632 |    17831      3 |        0 |        0
377.63/377.70	c  377s |      13 |   121478 |    48832 |    17831      3 |        0 |        0
380.13/380.24	c  379s |      13 |   121743 |    49032 |    17831      3 |        0 |        0
382.93/383.09	c  382s |      13 |   122180 |    49332 |    17831      3 |        0 |        0
385.04/385.15	c  384s |      13 |   122662 |    49632 |    17831      3 |        0 |        0
387.83/387.99	c  387s |      13 |   123407 |    50032 |    17831      3 |        0 |        0
390.44/390.53	c  389s |      13 |   124386 |    50532 |    17831      3 |        0 |        0
392.73/392.84	c  392s |      13 |   125069 |    50932 |    17831      3 |        0 |        0
394.84/394.90	c  394s |      13 |   125865 |    51332 |    17831      3 |        0 |        0
396.93/397.01	c  396s |      13 |   126140 |    51532 |    17831      3 |        0 |        0
398.93/399.09	c  398s |      13 |   126619 |    51832 |    17831      3 |        0 |        0
401.23/401.32	c  400s |      13 |   127158 |    52132 |    17831      3 |        0 |        0
403.33/403.49	c  402s |      13 |   127524 |    52332 |    17831      3 |        0 |        0
405.53/405.60	c  404s |      13 |   127776 |    52532 |    17831      3 |        0 |        0
408.32/408.41	c  407s |      13 |   128215 |    52832 |    17831      3 |        0 |        0
411.22/411.31	c  410s |      13 |   128673 |    53132 |    17831      3 |        0 |        0
413.23/413.39	c  412s |      13 |   128972 |    53332 |    17831      3 |        0 |        0
415.33/415.40	c  414s |      13 |   129226 |    53532 |    17831      3 |        0 |        0
417.53/417.60	c  416s |      13 |   129712 |    53832 |    17831      3 |        0 |        0
420.52/420.68	c  420s |      13 |   130160 |    54132 |    17831      3 |        0 |        0
422.72/422.89	c  422s |      13 |   130430 |    54332 |    17831      3 |        0 |        0
425.43/425.51	c  424s |      13 |   130908 |    54632 |    17831      3 |        0 |        0
427.73/427.87	c  427s |      13 |   131184 |    54832 |    17831      3 |        0 |        0
429.82/429.91	c  429s |      13 |   131582 |    55032 |    17831      3 |        0 |        0
431.82/431.95	c  431s |      13 |   131923 |    55232 |    17831      3 |        0 |        0
434.13/434.20	c  433s |      13 |   132242 |    55432 |    17831      3 |        0 |        0
436.42/436.54	c  435s |      13 |   132548 |    55632 |    17831      3 |        0 |        0
438.82/438.99	c  438s |      13 |   132840 |    55832 |    17831      3 |        0 |        0
441.03/441.13	c  440s |      13 |   133163 |    56032 |    17831      3 |        0 |        0
443.82/443.96	c  443s |      13 |   133438 |    56232 |    17831      3 |        0 |        0
447.22/447.32	c  446s |      13 |   133732 |    56432 |    17831      3 |        0 |        0
450.62/450.72	c  450s |      13 |   134097 |    56632 |    17831      3 |        0 |        0
454.02/454.19	c  453s |      13 |   134426 |    56832 |    17831      3 |        0 |        0
457.02/457.16	c  456s |      13 |   134852 |    57132 |    17831      3 |        0 |        0
459.22/459.38	c  458s |      13 |   135359 |    57432 |    17831      3 |        0 |        0
461.22/461.38	c  460s |      13 |   135648 |    57632 |    17831      3 |        0 |        0
463.42/463.59	c  462s |      13 |   135926 |    57832 |    17831      3 |        0 |        0
465.81/465.99	c  465s |      13 |   136207 |    58032 |    19615      3 |        0 |        0
468.42/468.57	c  467s |      13 |   136667 |    58332 |    19615      3 |        0 |        0
468.53/468.65	c  468s |      14 |   136702 |    58352 |    19615      3 |        0 |        0
475.22/475.35	c  474s |      14 |   139354 |    58452 |    19615      4 |        0 |        0
477.61/477.79	c  477s |      14 |   143807 |    59152 |    19615      4 |        0 |        0
479.72/479.85	c  479s |      14 |   144230 |    59452 |    19615      4 |        0 |        0
482.21/482.35	c  481s |      14 |   144640 |    59752 |    19615      4 |        0 |        0
484.82/484.95	c  484s |      14 |   145383 |    60052 |    19615      4 |        0 |        0
486.81/486.97	c  486s |      14 |   146237 |    60452 |    19615      4 |        0 |        0
489.52/489.69	c  489s |      14 |   146883 |    60852 |    19615      4 |        0 |        0
491.81/491.92	c  491s |      14 |   147432 |    61152 |    19615      4 |        0 |        0
495.02/495.11	c  494s |      14 |   147821 |    61452 |    19615      4 |        0 |        0
497.12/497.25	c  496s |      14 |   148439 |    61752 |    19615      4 |        0 |        0
499.61/499.74	c  499s |      14 |   149312 |    62152 |    19615      4 |        0 |        0
501.82/501.92	c  501s |      14 |   150623 |    62552 |    19615      4 |        0 |        0
504.21/504.36	c  503s |      14 |   151446 |    62952 |    19615      4 |        0 |        0
506.61/506.71	c  506s |      14 |   152686 |    63452 |    19615      4 |        0 |        0
508.91/509.07	c  508s |      14 |   153219 |    63752 |    19615      4 |        0 |        0
511.01/511.16	c  510s |      14 |   153506 |    63952 |    19615      4 |        0 |        0
513.41/513.51	c  512s |      14 |   153788 |    64152 |    19615      4 |        0 |        0
516.21/516.35	c  515s |      14 |   154225 |    64452 |    19615      4 |        0 |        0
518.31/518.40	c  517s |      14 |   154609 |    64652 |    19615      4 |        0 |        0
520.51/520.68	c  520s |      14 |   154905 |    64852 |    19615      4 |        0 |        0
523.11/523.30	c  522s |      14 |   155141 |    65052 |    19615      4 |        0 |        0
525.21/525.33	c  524s |      14 |   155437 |    65252 |    19615      4 |        0 |        0
527.21/527.37	c  526s |      14 |   155734 |    65452 |    19615      4 |        0 |        0
529.61/529.70	c  529s |      14 |   155988 |    65652 |    19615      4 |        0 |        0
531.91/532.08	c  531s |      14 |   156251 |    65852 |    19615      4 |        0 |        0
534.62/534.72	c  534s |      14 |   156514 |    66052 |    19615      4 |        0 |        0
536.81/536.95	c  536s |      14 |   156788 |    66252 |    19615      4 |        0 |        0
539.81/539.92	c  539s |      14 |   157070 |    66452 |    19615      4 |        0 |        0
542.51/542.67	c  542s |      14 |   157314 |    66652 |    19615      4 |        0 |        0
544.60/544.71	c  544s |      14 |   157430 |    66752 |    19615      4 |        0 |        0
548.21/548.32	c  547s |      14 |   157689 |    66952 |    19615      4 |        0 |        0
550.30/550.45	c  549s |      14 |   158027 |    67152 |    19615      4 |        0 |        0
553.32/553.42	c  552s |      14 |   158289 |    67352 |    19615      4 |        0 |        0
555.90/556.05	c  555s |      14 |   158580 |    67552 |    19615      4 |        0 |        0
559.11/559.20	c  558s |      14 |   159028 |    67852 |    19615      4 |        0 |        0
561.80/561.99	c  561s |      14 |   159315 |    68052 |    19615      4 |        0 |        0
564.31/564.42	c  563s |      14 |   159580 |    68252 |    19615      4 |        0 |        0
567.51/567.62	c  566s |      14 |   160130 |    68552 |    19615      4 |        0 |        0
569.71/569.82	c  569s |      14 |   160439 |    68752 |    19615      4 |        0 |        0
572.50/572.67	c  572s |      14 |   160701 |    68952 |    19615      4 |        0 |        0
575.40/575.53	c  574s |      14 |   160954 |    69152 |    19615      4 |        0 |        0
578.30/578.46	c  577s |      14 |   161261 |    69352 |    19615      4 |        0 |        0
581.20/581.32	c  580s |      14 |   161575 |    69552 |    19615      4 |        0 |        0
584.01/584.16	c  583s |      14 |   162128 |    69852 |    19615      4 |        0 |        0
586.31/586.42	c  585s |      14 |   162519 |    70052 |    19615      4 |        0 |        0
589.30/589.40	c  588s |      14 |   162840 |    70252 |    19615      4 |        0 |        0
591.81/591.95	c  591s |      14 |   163173 |    70452 |    19615      4 |        0 |        0
595.20/595.36	c  594s |      14 |   163464 |    70652 |    19615      4 |        0 |        0
598.70/598.84	c  598s |      14 |   163708 |    70852 |    19615      4 |        0 |        0
601.90/602.00	c  601s |      14 |   163979 |    71052 |    19615      4 |        0 |        0
606.60/606.71	c  606s |      14 |   164265 |    71252 |    19615      4 |        0 |        0
608.80/608.93	c  608s |      14 |   164389 |    71352 |    19615      4 |        0 |        0
610.89/611.09	c  610s |      14 |   164517 |    71452 |    19615      4 |        0 |        0
613.29/613.41	c  612s |      14 |   164695 |    71552 |    19615      4 |        0 |        0
615.49/615.65	c  615s |      14 |   164820 |    71652 |    19615      4 |        0 |        0
617.99/618.19	c  617s |      14 |   165104 |    71852 |    19615      4 |        0 |        0
620.40/620.51	c  619s |      14 |   165414 |    72052 |    19615      4 |        0 |        0
623.09/623.28	c  622s |      14 |   165711 |    72252 |    19615      4 |        0 |        0
625.99/626.10	c  625s |      14 |   165954 |    72452 |    19615      4 |        0 |        0
630.00/630.10	c  629s |      14 |   166206 |    72652 |    19615      4 |        0 |        0
632.99/633.18	c  632s |      14 |   166467 |    72852 |    19615      4 |        0 |        0
635.70/635.89	c  635s |      14 |   166771 |    73052 |    19615      4 |        0 |        0
638.29/638.49	c  637s |      14 |   167141 |    73252 |    19615      4 |        0 |        0
640.79/640.94	c  640s |      14 |   167463 |    73452 |    19615      4 |        0 |        0
643.50/643.67	c  643s |      14 |   167723 |    73652 |    19615      4 |        0 |        0
646.29/646.44	c  645s |      14 |   168002 |    73852 |    19615      4 |        0 |        0
649.09/649.26	c  648s |      14 |   168304 |    74052 |    19615      4 |        0 |        0
651.89/652.06	c  651s |      14 |   168613 |    74252 |    19615      4 |        0 |        0
654.09/654.22	c  653s |      14 |   168765 |    74352 |    19615      4 |        0 |        0
657.59/657.73	c  657s |      14 |   169027 |    74552 |    19615      4 |        0 |        0
660.89/661.01	c  660s |      14 |   169301 |    74752 |    19615      4 |        0 |        0
665.49/665.66	c  665s |      14 |   169548 |    74952 |    19615      4 |        0 |        0
668.89/669.06	c  668s |      14 |   169884 |    75152 |    19615      4 |        0 |        0
671.69/671.85	c  671s |      14 |   170134 |    75352 |    19615      4 |        0 |        0
675.58/675.75	c  675s |      14 |   170381 |    75552 |    19615      4 |        0 |        0
677.99/678.16	c  677s |      14 |   170495 |    75652 |    19615      4 |        0 |        0
681.89/682.01	c  681s |      14 |   170821 |    75852 |    19615      4 |        0 |        0
684.68/684.80	c  684s |      14 |   171118 |    76052 |    19615      4 |        0 |        0
687.18/687.33	c  686s |      14 |   171444 |    76252 |    19615      4 |        0 |        0
692.59/692.72	c  692s |      14 |   171608 |    76352 |    19615      5 |        0 |        0
695.19/695.38	c  694s |      14 |   171948 |    76552 |    19615      5 |        0 |        0
698.39/698.56	c  697s |      14 |   172204 |    76752 |    19615      5 |        0 |        0
700.78/700.98	c  700s |      14 |   172454 |    76952 |    19615      5 |        0 |        0
703.68/703.85	c  703s |      14 |   172752 |    77152 |    19615      5 |        0 |        0
707.29/707.50	c  706s |      14 |   173006 |    77352 |    19615      5 |        0 |        0
711.08/711.26	c  710s |      14 |   173296 |    77552 |    19615      5 |        0 |        0
714.68/714.82	c  714s |      14 |   173554 |    77752 |    19615      5 |        0 |        0
716.68/716.89	c  716s |      14 |   173654 |    77852 |    19615      5 |        0 |        0
720.49/720.69	c  720s |      14 |   173941 |    78052 |    19615      5 |        0 |        0
723.69/723.89	c  723s |      14 |   174243 |    78252 |    19615      5 |        0 |        0
725.78/725.95	c  725s |      14 |   174374 |    78352 |    19615      5 |        0 |        0
727.98/728.12	c  727s |      14 |   174538 |    78452 |    19615      5 |        0 |        0
730.29/730.43	c  729s |      14 |   174674 |    78552 |    19615      5 |        0 |        0
734.17/734.34	c  733s |      14 |   174938 |    78752 |    19615      5 |        0 |        0
737.88/738.00	c  737s |      14 |   175190 |    78952 |    19615      5 |        0 |        0
741.28/741.43	c  740s |      14 |   175462 |    79152 |    19615      5 |        0 |        0
744.07/744.25	c  743s |      14 |   175774 |    79352 |    19615      5 |        0 |        0
748.17/748.34	c  747s |      14 |   176016 |    79552 |    19615      5 |        0 |        0
751.47/751.64	c  750s |      14 |   176317 |    79752 |    19615      5 |        0 |        0
753.78/753.94	c  753s |      14 |   176438 |    79852 |    19615      5 |        0 |        0
757.37/757.54	c  756s |      14 |   176741 |    80052 |    19615      5 |        0 |        0
761.08/761.24	c  760s |      14 |   177007 |    80252 |    19615      5 |        0 |        0
763.38/763.56	c  762s |      14 |   177126 |    80352 |    19615      5 |        0 |        0
766.57/766.80	c  766s |      14 |   177419 |    80552 |    19615      5 |        0 |        0
768.67/768.89	c  768s |      14 |   177542 |    80652 |    19615      5 |        0 |        0
770.77/770.91	c  770s |      14 |   177726 |    80752 |    19615      5 |        0 |        0
775.07/775.27	c  774s |      14 |   178002 |    80952 |    19615      5 |        0 |        0
777.27/777.40	c  776s |      14 |   178108 |    81052 |    19615      5 |        0 |        0
779.97/780.12	c  779s |      14 |   178233 |    81152 |    19615      5 |        0 |        0
782.27/782.41	c  781s |      14 |   178437 |    81252 |    19615      5 |        0 |        0
785.57/785.76	c  785s |      14 |   178770 |    81452 |    19615      5 |        0 |        0
787.77/787.92	c  787s |      14 |   178894 |    81552 |    19615      5 |        0 |        0
790.17/790.39	c  789s |      14 |   179017 |    81652 |    19615      5 |        0 |        0
793.07/793.29	c  792s |      14 |   179133 |    81752 |    19615      5 |        0 |        0
795.57/795.72	c  795s |      14 |   179247 |    81852 |    19615      5 |        0 |        0
797.87/798.00	c  797s |      14 |   179387 |    81952 |    19615      5 |        0 |        0
801.77/801.95	c  801s |      14 |   179671 |    82152 |    19615      5 |        0 |        0
804.27/804.46	c  803s |      14 |   179867 |    82252 |    19615      5 |        0 |        0
807.27/807.43	c  806s |      14 |   179979 |    82352 |    19615      5 |        0 |        0
812.26/812.40	c  811s |      14 |   180281 |    82552 |    19615      5 |        0 |        0
815.37/815.51	c  814s |      14 |   180404 |    82652 |    19615      5 |        0 |        0
817.76/817.93	c  817s |      14 |   180524 |    82752 |    19615      5 |        0 |        0
820.17/820.39	c  819s |      14 |   180665 |    82852 |    19615      5 |        0 |        0
823.06/823.23	c  822s |      14 |   180804 |    82952 |    19615      5 |        0 |        0
827.07/827.30	c  826s |      14 |   180953 |    83052 |    19615      5 |        0 |        0
829.66/829.84	c  829s |      14 |   181073 |    83152 |    19615      5 |        0 |        0
832.96/833.11	c  832s |      14 |   181199 |    83252 |    19615      5 |        0 |        0
835.26/835.47	c  834s |      14 |   181339 |    83352 |    19615      5 |        0 |        0
837.56/837.78	c  837s |      14 |   181475 |    83452 |    19615      5 |        0 |        0
840.56/840.75	c  840s |      14 |   181601 |    83552 |    19615      5 |        0 |        0
843.26/843.47	c  842s |      14 |   181726 |    83652 |    19615      5 |        0 |        0
845.56/845.74	c  845s |      14 |   181892 |    83752 |    19615      5 |        0 |        0
848.56/848.71	c  848s |      14 |   182430 |    84052 |    19615      5 |        0 |        0
850.66/850.83	c  850s |      14 |   182914 |    84252 |    19615      5 |        0 |        0
852.66/852.86	c  852s |      14 |   183240 |    84452 |    19615      5 |        0 |        0
855.26/855.42	c  854s |      14 |   183651 |    84652 |    19615      5 |        0 |        0
857.46/857.65	c  857s |      14 |   184350 |    84952 |    19615      5 |        0 |        0
859.66/859.89	c  859s |      14 |   184924 |    85252 |    19615      5 |        0 |        0
862.26/862.41	c  861s |      14 |   185413 |    85552 |    19615      5 |        0 |        0
864.57/864.75	c  864s |      14 |   185704 |    85752 |    19615      5 |        0 |        0
867.36/867.52	c  866s |      14 |   186307 |    86052 |    19615      5 |        0 |        0
870.35/870.54	c  869s |      14 |   186567 |    86252 |    19615      5 |        0 |        0
873.06/873.27	c  872s |      14 |   187130 |    86552 |    19615      5 |        0 |        0
875.15/875.37	c  874s |      14 |   187482 |    86752 |    19615      5 |        0 |        0
877.86/878.05	c  877s |      14 |   187964 |    87052 |    21577      5 |        0 |        0
879.96/880.11	c  879s |      14 |   188279 |    87252 |    21577      5 |        0 |        0
882.46/882.69	c  882s |      14 |   188631 |    87452 |    21577      5 |        0 |        0
884.55/884.71	c  884s |      15 |   188921 |    87632 |    21577      5 |        0 |        0
892.16/892.36	c  891s |      15 |   190282 |    87732 |    21577      6 |        0 |        0
894.65/894.86	c  894s |      15 |   191246 |    88232 |    21577      6 |        0 |        0
897.15/897.34	c  896s |      15 |   191729 |    88532 |    21577      6 |        0 |        0
899.35/899.57	c  898s |      15 |   193766 |    89032 |    21577      6 |        0 |        0
901.65/901.84	c  901s |      15 |   195092 |    89532 |    21577      6 |        0 |        0
904.25/904.41	c  903s |      15 |   195696 |    89832 |    21577      6 |        0 |        0
906.45/906.67	c  906s |      15 |   196423 |    90232 |    21577      6 |        0 |        0
908.86/909.01	c  908s |      15 |   197936 |    90832 |    21577      6 |        0 |        0
911.25/911.45	c  910s |      15 |   198629 |    91232 |    21577      6 |        0 |        0
913.45/913.64	c  912s |      15 |   199071 |    91532 |    21577      6 |        0 |        0
915.75/915.97	c  915s |      15 |   199511 |    91832 |    21577      6 |        0 |        0
918.55/918.76	c  918s |      15 |   199962 |    92132 |    21577      6 |        0 |        0
921.75/921.94	c  921s |      15 |   200410 |    92432 |    21577      6 |        0 |        0
924.35/924.53	c  923s |      15 |   200685 |    92632 |    21577      6 |        0 |        0
926.45/926.61	c  925s |      15 |   200929 |    92832 |    21577      6 |        0 |        0
929.05/929.28	c  928s |      15 |   201507 |    93132 |    21577      6 |        0 |        0
931.14/931.36	c  930s |      15 |   201823 |    93332 |    21577      6 |        0 |        0
933.34/933.59	c  932s |      15 |   202972 |    93732 |    21577      6 |        0 |        0
936.14/936.33	c  935s |      15 |   203401 |    94032 |    21577      6 |        0 |        0
938.65/938.89	c  938s |      15 |   203711 |    94232 |    21577      6 |        0 |        0
942.04/942.22	c  941s |      15 |   204141 |    94532 |    21577      6 |        0 |        0
944.23/944.45	c  943s |      15 |   204699 |    94832 |    21577      6 |        0 |        0
946.33/946.52	c  945s |      15 |   205009 |    95032 |    21577      6 |        0 |        0
948.44/948.64	c  947s |      15 |   205613 |    95332 |    21577      6 |        0 |        0
950.54/950.78	c  950s |      15 |   205949 |    95532 |    21577      6 |        0 |        0
952.64/952.82	c  952s |      15 |   206315 |    95732 |    21577      6 |        0 |        0
954.65/954.84	c  954s |      15 |   207011 |    96032 |    21577      6 |        0 |        0
957.13/957.39	c  956s |      15 |   207290 |    96232 |    21577      6 |        0 |        0
959.44/959.62	c  958s |      15 |   207670 |    96432 |    21577      6 |        0 |        0
962.83/963.02	c  962s |      15 |   208117 |    96632 |    21577      6 |        0 |        0
964.93/965.16	c  964s |      15 |   208480 |    96832 |    21577      6 |        0 |        0
966.94/967.18	c  966s |      15 |   208818 |    97032 |    21577      6 |        0 |        0
969.73/969.97	c  969s |      15 |   209365 |    97332 |    21577      6 |        0 |        0
973.13/973.35	c  972s |      15 |   209726 |    97532 |    21577      6 |        0 |        0
975.34/975.55	c  974s |      15 |   210063 |    97732 |    21577      6 |        0 |        0
977.63/977.89	c  977s |      15 |   210498 |    98032 |    21577      6 |        0 |        0
980.23/980.43	c  979s |      15 |   210967 |    98332 |    21577      6 |        0 |        0
982.93/983.14	c  982s |      15 |   211987 |    98832 |    21577      6 |        0 |        0
985.22/985.45	c  984s |      15 |   213099 |    99332 |    21577      6 |        0 |        0
988.03/988.20	c  987s |      15 |   213778 |    99732 |    21577      6 |        0 |        0
990.13/990.37	c  989s |      15 |   214353 |   100032 |    21577      6 |        0 |        0
992.63/992.87	c  992s |      15 |   215082 |   100432 |    21577      6 |        0 |        0
995.53/995.70	c  995s |      15 |   215702 |   100832 |    21577      6 |        0 |        0
997.53/997.80	c  997s |      15 |   216105 |   101032 |    21577      6 |        0 |        0
1000.13/1000.36	c  999s |      15 |   217194 |   101532 |    21577      6 |        0 |        0
1002.22/1002.42	c 1001s |      15 |   217667 |   101832 |    21577      6 |        0 |        0
1004.82/1005.04	c 1004s |      15 |   218115 |   102132 |    21577      6 |        0 |        0
1007.32/1007.57	c 1006s |      15 |   218652 |   102332 |    21577      6 |        0 |        0
1010.13/1010.34	c 1009s |      15 |   219119 |   102632 |    21577      6 |        0 |        0
1012.73/1012.92	c 1012s |      15 |   219813 |   103032 |    21577      6 |        0 |        0
1015.13/1015.34	c 1014s |      15 |   220933 |   103532 |    21577      6 |        0 |        0
1017.53/1017.79	c 1017s |      15 |   221722 |   103932 |    21577      6 |        0 |        0
1019.73/1019.97	c 1019s |      15 |   222633 |   104332 |    21577      6 |        0 |        0
1022.02/1022.29	c 1021s |      15 |   223125 |   104632 |    21577      6 |        0 |        0
1024.52/1024.76	c 1024s |      15 |   223839 |   105032 |    21577      6 |        0 |        0
1026.62/1026.86	c 1026s |      15 |   224325 |   105332 |    21577      6 |        0 |        0
1029.42/1029.61	c 1028s |      15 |   224801 |   105632 |    21577      6 |        0 |        0
1031.82/1032.05	c 1031s |      15 |   225258 |   105932 |    21577      6 |        0 |        0
1034.02/1034.24	c 1033s |      15 |   225558 |   106132 |    21577      6 |        0 |        0
1036.32/1036.59	c 1035s |      15 |   225907 |   106332 |    21577      6 |        0 |        0
1039.12/1039.31	c 1038s |      15 |   226170 |   106532 |    21577      6 |        0 |        0
1041.42/1041.63	c 1040s |      15 |   226458 |   106732 |    21577      6 |        0 |        0
1044.12/1044.39	c 1043s |      15 |   226727 |   106932 |    21577      6 |        0 |        0
1047.21/1047.42	c 1046s |      15 |   226998 |   107132 |    21577      6 |        0 |        0
1049.81/1050.01	c 1049s |      15 |   227362 |   107432 |    21577      6 |        0 |        0
1051.82/1052.09	c 1051s |      15 |   227635 |   107632 |    21577      6 |        0 |        0
1054.02/1054.28	c 1053s |      15 |   227917 |   107832 |    21577      6 |        0 |        0
1056.51/1056.77	c 1056s |      15 |   228456 |   108132 |    21577      6 |        0 |        0
1058.51/1058.79	c 1058s |      15 |   228766 |   108332 |    21577      6 |        0 |        0
1061.12/1061.30	c 1060s |      15 |   229435 |   108632 |    21577      6 |        0 |        0
1064.22/1064.48	c 1063s |      15 |   229844 |   108932 |    21577      6 |        0 |        0
1069.92/1070.10	c 1069s |      15 |   230007 |   109032 |    21577      7 |        0 |        0
1072.91/1073.13	c 1072s |      15 |   230434 |   109332 |    21577      7 |        0 |        0
1075.12/1075.36	c 1074s |      15 |   230760 |   109532 |    21577      7 |        0 |        0
1077.11/1077.38	c 1076s |      15 |   231043 |   109732 |    21577      7 |        0 |        0
1079.81/1080.01	c 1079s |      15 |   231533 |   110032 |    21577      7 |        0 |        0
1082.22/1082.50	c 1081s |      15 |   232035 |   110332 |    21577      7 |        0 |        0
1084.41/1084.63	c 1083s |      15 |   232446 |   110632 |    21577      7 |        0 |        0
1086.51/1086.79	c 1086s |      15 |   232901 |   110932 |    21577      7 |        0 |        0
1089.20/1089.46	c 1088s |      15 |   233316 |   111232 |    21577      7 |        0 |        0
1091.70/1091.97	c 1091s |      15 |   233587 |   111432 |    21577      7 |        0 |        0
1094.51/1094.76	c 1094s |      15 |   234108 |   111732 |    21577      7 |        0 |        0
1097.51/1097.76	c 1097s |      15 |   234554 |   112032 |    21577      7 |        0 |        0
1099.71/1099.99	c 1099s |      15 |   234854 |   112232 |    21577      7 |        0 |        0
1101.90/1102.20	c 1101s |      15 |   235140 |   112432 |    21577      7 |        0 |        0
1104.51/1104.75	c 1104s |      15 |   235395 |   112632 |    21577      7 |        0 |        0
1107.70/1107.95	c 1107s |      15 |   235622 |   112832 |    21577      7 |        0 |        0
1110.01/1110.23	c 1109s |      15 |   235928 |   113032 |    21577      7 |        0 |        0
1112.60/1112.83	c 1112s |      15 |   236225 |   113232 |    21577      7 |        0 |        0
1115.11/1115.40	c 1114s |      15 |   236569 |   113432 |    21577      7 |        0 |        0
1118.20/1118.48	c 1117s |      15 |   237109 |   113732 |    21577      7 |        0 |        0
1120.50/1120.78	c 1120s |      15 |   237400 |   113932 |    21577      7 |        0 |        0
1123.10/1123.34	c 1122s |      15 |   237637 |   114132 |    21577      7 |        0 |        0
1125.40/1125.66	c 1125s |      15 |   237923 |   114332 |    21577      7 |        0 |        0
1127.51/1127.75	c 1127s |      15 |   238170 |   114532 |    21577      7 |        0 |        0
1130.10/1130.31	c 1129s |      15 |   238433 |   114732 |    21577      7 |        0 |        0
1132.20/1132.49	c 1131s |      15 |   238733 |   114932 |    21577      7 |        0 |        0
1135.11/1135.38	c 1134s |      15 |   238990 |   115132 |    21577      7 |        0 |        0
1137.70/1137.96	c 1137s |      15 |   239221 |   115332 |    21577      7 |        0 |        0
1141.10/1141.32	c 1140s |      15 |   239582 |   115532 |    21577      7 |        0 |        0
1143.50/1143.73	c 1143s |      15 |   240301 |   115932 |    21577      7 |        0 |        0
1145.80/1146.07	c 1145s |      15 |   241346 |   116432 |    21577      7 |        0 |        0
1148.09/1148.36	c 1147s |      15 |   241768 |   116732 |    21577      7 |        0 |        0
1150.40/1150.62	c 1149s |      15 |   242183 |   117032 |    21577      7 |        0 |        0
1152.49/1152.73	c 1152s |      15 |   242434 |   117232 |    21577      7 |        0 |        0
1155.09/1155.31	c 1154s |      15 |   242836 |   117532 |    21577      7 |        0 |        0
1158.00/1158.22	c 1157s |      15 |   243657 |   117932 |    21577      7 |        0 |        0
1160.49/1160.73	c 1160s |      15 |   244083 |   118232 |    21577      7 |        0 |        0
1163.19/1163.44	c 1162s |      15 |   244362 |   118432 |    21577      7 |        0 |        0
1165.20/1165.49	c 1164s |      15 |   244633 |   118632 |    21577      7 |        0 |        0
1167.89/1168.11	c 1167s |      15 |   244865 |   118832 |    21577      7 |        0 |        0
1170.19/1170.45	c 1169s |      15 |   245232 |   119032 |    21577      7 |        0 |        0
1172.29/1172.60	c 1171s |      15 |   245527 |   119232 |    21577      7 |        0 |        0
1175.29/1175.54	c 1174s |      15 |   245827 |   119432 |    21577      7 |        0 |        0
1177.90/1178.14	c 1177s |      15 |   246151 |   119632 |    21577      7 |        0 |        0
1181.69/1181.92	c 1181s |      15 |   246470 |   119832 |    21577      7 |        0 |        0
1185.59/1185.84	c 1185s |      15 |   246746 |   120032 |    21577      7 |        0 |        0
1188.29/1188.50	c 1187s |      15 |   246886 |   120132 |    21577      7 |        0 |        0
1191.78/1192.04	c 1191s |      15 |   247143 |   120332 |    21577      7 |        0 |        0
1193.88/1194.17	c 1193s |      15 |   248373 |   120732 |    21577      7 |        0 |        0
1196.49/1196.72	c 1196s |      15 |   249972 |   121232 |    21577      7 |        0 |        0
1199.49/1199.76	c 1199s |      15 |   250378 |   121532 |    21577      7 |        0 |        0
1202.09/1202.30	c 1201s |      15 |   250786 |   121832 |    21577      7 |        0 |        0
1204.19/1204.40	c 1203s |      15 |   251065 |   122032 |    21577      7 |        0 |        0
1206.69/1206.95	c 1206s |      15 |   251526 |   122332 |    21577      7 |        0 |        0
1209.39/1209.68	c 1209s |      15 |   252004 |   122632 |    21577      7 |        0 |        0
1212.19/1212.48	c 1211s |      15 |   252426 |   122932 |    21577      7 |        0 |        0
1214.38/1214.60	c 1213s |      15 |   253215 |   123232 |    21577      7 |        0 |        0
1216.78/1217.00	c 1216s |      15 |   253979 |   123632 |    21577      7 |        0 |        0
1219.18/1219.42	c 1218s |      15 |   254826 |   124032 |    21577      7 |        0 |        0
1221.28/1221.57	c 1220s |      15 |   256194 |   124532 |    21577      7 |        0 |        0
1223.58/1223.87	c 1223s |      15 |   256987 |   124932 |    21577      7 |        0 |        0
1226.08/1226.36	c 1225s |      15 |   257479 |   125232 |    21577      7 |        0 |        0
1228.59/1228.87	c 1228s |      15 |   258228 |   125632 |    21577      7 |        0 |        0
1231.28/1231.52	c 1230s |      15 |   258837 |   126032 |    21577      7 |        0 |        0
1233.28/1233.55	c 1232s |      15 |   259128 |   126232 |    21577      7 |        0 |        0
1235.58/1235.88	c 1235s |      15 |   259558 |   126532 |    21577      7 |        0 |        0
1241.08/1241.33	c 1240s |      15 |   259703 |   126632 |    21577      8 |        0 |        0
1243.38/1243.67	c 1243s |      15 |   259978 |   126832 |    21577      8 |        0 |        0
1246.28/1246.54	c 1245s |      15 |   260526 |   127132 |    21577      8 |        0 |        0
1248.77/1249.04	c 1248s |      15 |   260898 |   127332 |    21577      8 |        0 |        0
1251.69/1251.99	c 1251s |      15 |   261217 |   127532 |    21577      8 |        0 |        0
1254.28/1254.50	c 1253s |      15 |   261719 |   127832 |    21577      8 |        0 |        0
1256.27/1256.58	c 1255s |      15 |   262296 |   128132 |    21577      8 |        0 |        0
1258.88/1259.14	c 1258s |      15 |   263037 |   128532 |    21577      8 |        0 |        0
1260.97/1261.27	c 1260s |      15 |   263632 |   128832 |    21577      8 |        0 |        0
1263.57/1263.87	c 1263s |      15 |   264259 |   129232 |    21577      8 |        0 |        0
1266.08/1266.37	c 1265s |      15 |   264947 |   129632 |    21577      8 |        0 |        0
1268.47/1268.79	c 1268s |      15 |   265443 |   129932 |    21577      8 |        0 |        0
1271.27/1271.50	c 1270s |      15 |   265912 |   130232 |    21577      8 |        0 |        0
1273.97/1274.24	c 1273s |      15 |   266228 |   130432 |    21577      8 |        0 |        0
1277.07/1277.40	c 1276s |      15 |   266486 |   130632 |    21577      8 |        0 |        0
1279.67/1279.92	c 1279s |      15 |   266762 |   130832 |    23735      8 |        0 |        0
1282.67/1282.95	c 1282s |      15 |   267237 |   131132 |    23735      8 |        0 |        0
1285.46/1285.74	c 1285s |      15 |   267574 |   131332 |    23735      8 |        0 |        0
1288.47/1288.73	c 1288s |      15 |   267875 |   131532 |    23735      8 |        0 |        0
1288.77/1289.03	c 1288s |      16 |   267901 |   131552 |    23735      8 |        0 |        0
1290.97/1291.29	c 1290s |      16 |   269914 |   131652 |    23735      8 |        0 |        0
1293.06/1293.40	c 1292s |      16 |   272609 |   132252 |    23735      8 |        0 |        0
1295.36/1295.69	c 1295s |      16 |   273409 |   132652 |    23735      8 |        0 |        0
1297.87/1298.18	c 1297s |      16 |   274154 |   133052 |    23735      8 |        0 |        0
1300.07/1300.38	c 1299s |      16 |   274645 |   133352 |    23735      8 |        0 |        0
1302.47/1302.72	c 1302s |      16 |   275190 |   133652 |    23735      8 |        0 |        0
1304.57/1304.87	c 1304s |      16 |   276497 |   134152 |    23735      8 |        0 |        0
1306.86/1307.11	c 1306s |      16 |   277244 |   134552 |    23735      8 |        0 |        0
1309.56/1309.83	c 1309s |      16 |   277862 |   134952 |    23735      8 |        0 |        0
1312.26/1312.55	c 1311s |      16 |   278335 |   135252 |    23735      8 |        0 |        0
1314.66/1314.95	c 1314s |      16 |   278596 |   135452 |    23735      8 |        0 |        0
1317.26/1317.54	c 1316s |      16 |   278838 |   135652 |    23735      8 |        0 |        0
1319.26/1319.55	c 1318s |      16 |   279162 |   135852 |    23735      8 |        0 |        0
1322.55/1322.82	c 1322s |      16 |   279585 |   136152 |    23735      8 |        0 |        0
1324.86/1325.16	c 1324s |      16 |   280238 |   136452 |    23735      8 |        0 |        0
1327.56/1327.83	c 1327s |      16 |   280673 |   136752 |    23735      8 |        0 |        0
1330.25/1330.55	c 1329s |      16 |   281121 |   137052 |    23735      8 |        0 |        0
1332.75/1333.05	c 1332s |      16 |   281539 |   137352 |    23735      8 |        0 |        0
1335.56/1335.87	c 1335s |      16 |   281970 |   137652 |    23735      8 |        0 |        0
1338.85/1339.15	c 1338s |      16 |   282452 |   137952 |    23735      8 |        0 |        0
1341.75/1342.03	c 1341s |      16 |   282671 |   138152 |    23735      8 |        0 |        0
1344.55/1344.81	c 1344s |      16 |   282975 |   138352 |    23735      8 |        0 |        0
1346.65/1346.96	c 1346s |      16 |   283270 |   138552 |    23735      8 |        0 |        0
1348.95/1349.30	c 1348s |      16 |   283544 |   138752 |    23735      8 |        0 |        0
1351.14/1351.40	c 1350s |      16 |   283793 |   138952 |    23735      8 |        0 |        0
1353.15/1353.49	c 1352s |      16 |   284278 |   139252 |    23735      8 |        0 |        0
1355.95/1356.24	c 1355s |      16 |   284726 |   139552 |    23735      8 |        0 |        0
1358.74/1359.05	c 1358s |      16 |   285246 |   139852 |    23735      8 |        0 |        0
1361.35/1361.61	c 1360s |      16 |   285669 |   140152 |    23735      8 |        0 |        0
1363.65/1363.91	c 1363s |      16 |   285918 |   140352 |    23735      8 |        0 |        0
1365.85/1366.14	c 1365s |      16 |   286185 |   140552 |    23735      8 |        0 |        0
1368.34/1368.68	c 1368s |      16 |   286651 |   140852 |    23735      8 |        0 |        0
1370.55/1370.85	c 1370s |      16 |   287200 |   141152 |    23735      8 |        0 |        0
1373.35/1373.64	c 1372s |      16 |   287673 |   141452 |    23735      8 |        0 |        0
1376.44/1376.79	c 1376s |      16 |   288129 |   141752 |    23735      8 |        0 |        0
1379.34/1379.62	c 1378s |      16 |   288538 |   142052 |    23735      8 |        0 |        0
1381.54/1381.84	c 1381s |      16 |   288824 |   142252 |    23735      8 |        0 |        0
1384.35/1384.61	c 1383s |      16 |   289063 |   142452 |    23735      8 |        0 |        0
1386.65/1386.96	c 1386s |      16 |   289356 |   142652 |    23735      8 |        0 |        0
1389.24/1389.58	c 1388s |      16 |   289618 |   142852 |    23735      8 |        0 |        0
1391.64/1391.96	c 1391s |      16 |   289882 |   143052 |    23735      8 |        0 |        0
1394.14/1394.41	c 1393s |      16 |   290121 |   143252 |    23735      8 |        0 |        0
1396.54/1396.85	c 1396s |      16 |   290380 |   143452 |    23735      8 |        0 |        0
1398.84/1399.14	c 1398s |      16 |   290613 |   143652 |    23735      8 |        0 |        0
1401.94/1402.25	c 1401s |      16 |   290892 |   143852 |    23735      8 |        0 |        0
1404.84/1405.18	c 1404s |      16 |   291129 |   144052 |    23735      8 |        0 |        0
1407.85/1408.18	c 1407s |      16 |   291376 |   144252 |    23735      8 |        0 |        0
1410.24/1410.56	c 1409s |      16 |   291669 |   144452 |    23735      8 |        0 |        0
1412.64/1412.96	c 1412s |      16 |   292016 |   144652 |    23735      8 |        0 |        0
1415.04/1415.38	c 1414s |      16 |   292322 |   144852 |    23735      8 |        0 |        0
1417.64/1417.94	c 1417s |      16 |   292584 |   145052 |    23735      8 |        0 |        0
1420.03/1420.31	c 1419s |      16 |   292925 |   145252 |    23735      8 |        0 |        0
1422.23/1422.52	c 1421s |      16 |   293259 |   145452 |    23735      8 |        0 |        0
1424.83/1425.15	c 1424s |      16 |   293714 |   145752 |    23735      8 |        0 |        0
1426.84/1427.17	c 1426s |      16 |   293989 |   145952 |    23735      8 |        0 |        0
1428.94/1429.22	c 1428s |      16 |   294246 |   146152 |    23735      8 |        0 |        0
1436.23/1436.53	c 1435s |      16 |   294670 |   146452 |    23735      9 |        0 |        0
1439.23/1439.50	c 1438s |      16 |   295102 |   146752 |    23735      9 |        0 |        0
1441.52/1441.85	c 1441s |      16 |   295346 |   146952 |    23735      9 |        0 |        0
1443.73/1444.08	c 1443s |      16 |   295605 |   147152 |    23735      9 |        0 |        0
1446.63/1447.00	c 1446s |      16 |   295876 |   147352 |    23735      9 |        0 |        0
1449.53/1449.81	c 1449s |      16 |   296142 |   147552 |    23735      9 |        0 |        0
1452.42/1452.73	c 1452s |      16 |   296373 |   147752 |    23735      9 |        0 |        0
1456.02/1456.37	c 1455s |      16 |   296631 |   147952 |    23735      9 |        0 |        0
1458.43/1458.75	c 1458s |      16 |   296926 |   148152 |    23735      9 |        0 |        0
1461.23/1461.50	c 1460s |      16 |   297363 |   148452 |    23735      9 |        0 |        0
1463.63/1463.91	c 1463s |      16 |   297866 |   148752 |    23735      9 |        0 |        0
1466.42/1466.77	c 1466s |      16 |   298360 |   149052 |    23735      9 |        0 |        0
1469.62/1469.98	c 1469s |      16 |   298624 |   149252 |    23735      9 |        0 |        0
1472.63/1472.94	c 1472s |      16 |   298879 |   149452 |    23735      9 |        0 |        0
1475.02/1475.33	c 1474s |      16 |   299178 |   149652 |    23735      9 |        0 |        0
1477.43/1477.70	c 1477s |      16 |   299469 |   149852 |    23735      9 |        0 |        0
1479.82/1480.15	c 1479s |      16 |   299716 |   150052 |    23735      9 |        0 |        0
1483.12/1483.48	c 1482s |      16 |   300002 |   150252 |    23735      9 |        0 |        0
1486.72/1487.00	c 1486s |      16 |   300260 |   150452 |    23735      9 |        0 |        0
1488.82/1489.16	c 1488s |      16 |   300580 |   150652 |    23735      9 |        0 |        0
1491.52/1491.80	c 1491s |      16 |   300834 |   150852 |    23735      9 |        0 |        0
1494.72/1495.06	c 1494s |      16 |   301091 |   151052 |    23735      9 |        0 |        0
1497.02/1497.35	c 1496s |      16 |   301386 |   151252 |    23735      9 |        0 |        0
1499.71/1500.04	c 1499s |      16 |   301649 |   151452 |    23735      9 |        0 |        0
1503.22/1503.50	c 1502s |      16 |   301915 |   151652 |    23735      9 |        0 |        0
1506.31/1506.67	c 1506s |      16 |   302186 |   151852 |    23735      9 |        0 |        0
1508.41/1508.79	c 1508s |      16 |   302446 |   152052 |    23735      9 |        0 |        0
1511.92/1512.28	c 1511s |      16 |   302686 |   152252 |    23735      9 |        0 |        0
1514.81/1515.19	c 1514s |      16 |   302956 |   152452 |    23735      9 |        0 |        0
1517.51/1517.81	c 1517s |      16 |   303207 |   152652 |    23735      9 |        0 |        0
1520.01/1520.36	c 1519s |      16 |   303516 |   152852 |    23735      9 |        0 |        0
1522.71/1523.03	c 1522s |      16 |   303792 |   153052 |    23735      9 |        0 |        0
1525.11/1525.48	c 1524s |      16 |   304072 |   153252 |    23735      9 |        0 |        0
1527.41/1527.78	c 1527s |      16 |   304369 |   153452 |    23735      9 |        0 |        0
1530.51/1530.83	c 1530s |      16 |   304616 |   153652 |    23735      9 |        0 |        0
1533.21/1533.57	c 1532s |      16 |   304874 |   153852 |    23735      9 |        0 |        0
1536.52/1536.85	c 1536s |      16 |   305142 |   154052 |    23735      9 |        0 |        0
1538.50/1538.88	c 1538s |      16 |   305263 |   154152 |    23735      9 |        0 |        0
1541.80/1542.10	c 1541s |      16 |   305538 |   154352 |    23735      9 |        0 |        0
1544.01/1544.31	c 1543s |      16 |   305668 |   154452 |    23735      9 |        0 |        0
1546.80/1547.13	c 1546s |      16 |   305792 |   154552 |    23735      9 |        0 |        0
1550.40/1550.79	c 1550s |      16 |   306072 |   154752 |    23735      9 |        0 |        0
1554.11/1554.48	c 1553s |      16 |   306358 |   154952 |    23735      9 |        0 |        0
1556.71/1557.07	c 1556s |      16 |   306621 |   155152 |    23735      9 |        0 |        0
1558.81/1559.11	c 1558s |      16 |   306888 |   155352 |    23735      9 |        0 |        0
1561.20/1561.54	c 1560s |      16 |   307164 |   155552 |    23735      9 |        0 |        0
1563.61/1563.90	c 1563s |      16 |   307423 |   155752 |    23735      9 |        0 |        0
1565.90/1566.24	c 1565s |      16 |   307705 |   155952 |    23735      9 |        0 |        0
1568.31/1568.69	c 1568s |      16 |   307993 |   156152 |    23735      9 |        0 |        0
1571.40/1571.73	c 1571s |      16 |   308231 |   156352 |    23735      9 |        0 |        0
1573.69/1574.09	c 1573s |      16 |   308536 |   156552 |    23735      9 |        0 |        0
1576.60/1576.98	c 1576s |      16 |   308788 |   156752 |    23735      9 |        0 |        0
1579.10/1579.46	c 1578s |      16 |   309049 |   156952 |    23735      9 |        0 |        0
1581.20/1581.55	c 1580s |      16 |   309456 |   157152 |    23735      9 |        0 |        0
1583.90/1584.21	c 1583s |      16 |   309753 |   157352 |    23735      9 |        0 |        0
1586.60/1586.91	c 1586s |      16 |   309999 |   157552 |    23735      9 |        0 |        0
1589.49/1589.82	c 1589s |      16 |   310225 |   157752 |    23735      9 |        0 |        0
1591.69/1592.08	c 1591s |      16 |   310516 |   157952 |    23735      9 |        0 |        0
1594.19/1594.50	c 1593s |      16 |   310754 |   158152 |    23735      9 |        0 |        0
1596.59/1596.90	c 1596s |      16 |   311026 |   158352 |    23735      9 |        0 |        0
1599.80/1600.17	c 1599s |      16 |   311300 |   158552 |    23735      9 |        0 |        0
1602.70/1603.05	c 1602s |      16 |   311543 |   158752 |    23735      9 |        0 |        0
1605.19/1605.51	c 1604s |      16 |   311786 |   158952 |    23735      9 |        0 |        0
1608.00/1608.39	c 1607s |      16 |   312020 |   159152 |    23735      9 |        0 |        0
1610.39/1610.79	c 1610s |      16 |   312277 |   159352 |    23735      9 |        0 |        0
1612.89/1613.24	c 1612s |      16 |   312552 |   159552 |    23735      9 |        0 |        0
1615.70/1616.00	c 1615s |      16 |   312822 |   159752 |    23735      9 |        0 |        0
1618.59/1618.93	c 1618s |      16 |   313073 |   159952 |    23735      9 |        0 |        0
1621.30/1621.61	c 1620s |      16 |   313306 |   160152 |    23735      9 |        0 |        0
1623.79/1624.18	c 1623s |      16 |   313555 |   160352 |    23735      9 |        0 |        0
1626.99/1627.36	c 1626s |      16 |   313799 |   160552 |    23735      9 |        0 |        0
1630.69/1631.04	c 1630s |      16 |   314033 |   160752 |    23735      9 |        0 |        0
1634.19/1634.58	c 1633s |      16 |   314266 |   160952 |    23735      9 |        0 |        0
1637.89/1638.23	c 1637s |      16 |   314501 |   161152 |    23735      9 |        0 |        0
1641.09/1641.49	c 1640s |      16 |   314765 |   161352 |    23735      9 |        0 |        0
1644.69/1645.01	c 1644s |      16 |   315005 |   161552 |    23735      9 |        0 |        0
1647.78/1648.18	c 1647s |      16 |   315235 |   161752 |    23735      9 |        0 |        0
1651.09/1651.44	c 1650s |      16 |   315836 |   162052 |    23735      9 |        0 |        0
1653.68/1654.04	c 1653s |      16 |   316136 |   162252 |    23735      9 |        0 |        0
1656.29/1656.67	c 1656s |      16 |   316394 |   162452 |    23735      9 |        0 |        0
1659.79/1660.14	c 1659s |      16 |   316635 |   162652 |    23735      9 |        0 |        0
1662.39/1662.73	c 1662s |      16 |   316963 |   162852 |    23735      9 |        0 |        0
1665.68/1666.05	c 1665s |      16 |   317211 |   163052 |    23735      9 |        0 |        0
1669.28/1669.60	c 1668s |      16 |   317458 |   163252 |    23735      9 |        0 |        0
1671.38/1671.76	c 1671s |      16 |   317764 |   163452 |    23735      9 |        0 |        0
1674.18/1674.53	c 1673s |      16 |   318046 |   163652 |    23735      9 |        0 |        0
1677.29/1677.64	c 1676s |      16 |   318325 |   163852 |    23735      9 |        0 |        0
1679.67/1680.04	c 1679s |      16 |   318646 |   164052 |    23735      9 |        0 |        0
1682.48/1682.89	c 1682s |      16 |   319059 |   164352 |    23735      9 |        0 |        0
1685.38/1685.72	c 1685s |      16 |   319455 |   164652 |    23735      9 |        0 |        0
1687.78/1688.11	c 1687s |      16 |   319699 |   164852 |    23735      9 |        0 |        0
1694.28/1694.66	c 1694s |      16 |   319824 |   164952 |    23735     10 |        0 |        0
1696.88/1697.21	c 1696s |      16 |   320102 |   165152 |    23735     10 |        0 |        0
1699.28/1699.66	c 1699s |      16 |   320360 |   165352 |    23735     10 |        0 |        0
1701.57/1701.93	c 1701s |      16 |   320616 |   165552 |    23735     10 |        0 |        0
1704.07/1704.44	c 1703s |      16 |   321064 |   165852 |    23735     10 |        0 |        0
1706.17/1706.50	c 1705s |      16 |   321358 |   166052 |    23735     10 |        0 |        0
1708.58/1708.90	c 1708s |      16 |   321616 |   166252 |    23735     10 |        0 |        0
1710.87/1711.22	c 1710s |      16 |   321884 |   166452 |    23735     10 |        0 |        0
1713.37/1713.78	c 1713s |      16 |   322349 |   166752 |    23735     10 |        0 |        0
1716.07/1716.42	c 1715s |      16 |   322760 |   167052 |    23735     10 |        0 |        0
1718.87/1719.29	c 1718s |      16 |   323144 |   167352 |    23735     10 |        0 |        0
1721.08/1721.50	c 1720s |      16 |   323661 |   167652 |    23735     10 |        0 |        0
1723.87/1724.20	c 1723s |      16 |   324065 |   167952 |    23735     10 |        0 |        0
1726.37/1726.72	c 1726s |      16 |   324525 |   168252 |    23735     10 |        0 |        0
1728.77/1729.15	c 1728s |      16 |   324775 |   168452 |    23735     10 |        0 |        0
1731.67/1732.01	c 1731s |      16 |   325172 |   168752 |    23735     10 |        0 |        0
1734.57/1734.97	c 1734s |      16 |   325420 |   168952 |    23735     10 |        0 |        0
1737.97/1738.34	c 1737s |      16 |   325795 |   169252 |    23735     10 |        0 |        0
1740.57/1740.96	c 1740s |      16 |   326062 |   169452 |    23735     10 |        0 |        0
1743.17/1743.51	c 1742s |      16 |   326304 |   169652 |    23735     10 |        0 |        0
1745.86/1746.26	c 1745s |      16 |   326736 |   169952 |    23735     10 |        0 |        0
1749.17/1749.50	c 1748s |      16 |   327161 |   170252 |    23735     10 |        0 |        0
1751.47/1751.84	c 1751s |      16 |   327465 |   170452 |    23735     10 |        0 |        0
1753.86/1754.23	c 1753s |      16 |   327773 |   170652 |    23735     10 |        0 |        0
1756.37/1756.74	c 1756s |      16 |   328218 |   170952 |    23735     10 |        0 |        0
1759.87/1760.23	c 1759s |      16 |   328658 |   171252 |    23735     10 |        0 |        0
1761.97/1762.36	c 1761s |      16 |   328934 |   171452 |    23735     10 |        0 |        0
1764.36/1764.78	c 1764s |      16 |   329252 |   171652 |    23735     10 |        0 |        0
1766.87/1767.20	c 1766s |      16 |   329516 |   171852 |    23735     10 |        0 |        0
1769.26/1769.62	c 1768s |      16 |   329769 |   172052 |    23735     10 |        0 |        0
1771.96/1772.33	c 1771s |      16 |   330040 |   172252 |    23735     10 |        0 |        0
1774.96/1775.36	c 1774s |      16 |   330280 |   172452 |    23735     10 |        0 |        0
1778.16/1778.56	c 1777s |      16 |   330564 |   172652 |    23735     10 |        0 |        0
1780.36/1780.78	c 1780s |      16 |   330805 |   172852 |    23735     10 |        0 |        0
1782.77/1783.17	c 1782s |      16 |   331059 |   173052 |    23735     10 |        0 |        0
1785.15/1785.53	c 1784s |      16 |   331304 |   173252 |    23735     10 |        0 |        0
1788.36/1788.71	c 1788s |      16 |   331568 |   173452 |    23735     10 |        0 |        0
1791.06/1791.47	c 1790s |      16 |   331838 |   173652 |    23735     10 |        0 |        0
1793.46/1793.89	c 1793s |      16 |   332101 |   173852 |    23735     10 |        0 |        0
1796.35/1796.79	c 1796s |      16 |   332359 |   174052 |    23735     10 |        0 |        0
1799.15/1799.60	c 1798s |      16 |   332636 |   174252 |    23735     10 |        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-4078721-1465216684/watcher-4078721-1465216684 -o /tmp/evaluation-result-4078721-1465216684/solver-4078721-1465216684 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465216678-13091 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078721-1465216684.opb 

pid=13170
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.90 2.85 2.70 3/179 13173
/proc/meminfo: memFree=30298420/32872528 swapFree=16636/1570076
[pid=13173] ppid=13170 vsize=748988 CPUtime=0 cores=0,2,4,6
/proc/13173/stat : 13173 (toysat) R 13170 13173 13075 0 -1 4202496 2802 0 0 0 0 0 0 0 20 0 4 0 103600778 766963712 3162 33554432000 4194304 16246674 140736343413376 140736343412800 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13173/statm: 188015 3171 441 2943 0 184909 0
[pid=13173/tid=13174] ppid=13170 vsize=772540 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13174/stat : 13174 (toysat) S 13170 13173 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103600778 791080960 3250 33554432000 4194304 16246674 140736343413376 140180917824752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13173/tid=13175] ppid=13170 vsize=776636 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13175/stat : 13175 (toysat) S 13170 13173 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103600778 795275264 3270 33554432000 4194304 16246674 140736343413376 140180907334896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13173/tid=13176] ppid=13170 vsize=780732 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13176/stat : 13176 (toysat) S 13170 13173 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103600778 799469568 3286 33554432000 4194304 16246674 140736343413376 140180820323504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 1.90 2.85 2.70 3/179 13173
/proc/meminfo: memFree=30298420/32872528 swapFree=16636/1570076
[pid=13173] ppid=13170 vsize=1302084 CPUtime=0.08 cores=0,2,4,6
/proc/13173/stat : 13173 (toysat) R 13170 13173 13075 0 -1 4202496 27351 0 0 0 5 3 0 0 20 0 4 0 103600778 1333334016 27650 33554432000 4194304 16246674 140736343413376 140736343412688 8056990 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13173/statm: 325521 27665 800 2943 0 322415 0
[pid=13173/tid=13174] ppid=13170 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13174/stat : 13174 (toysat) S 13170 13173 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103600778 1333334016 27676 33554432000 4194304 16246674 140736343413376 140180917824752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13173/tid=13175] ppid=13170 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13175/stat : 13175 (toysat) S 13170 13173 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103600778 1333334016 27688 33554432000 4194304 16246674 140736343413376 140180907334896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13173/tid=13176] ppid=13170 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13176/stat : 13176 (toysat) S 13170 13173 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103600778 1333334016 27699 33554432000 4194304 16246674 140736343413376 140180820323504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200518 s]
/proc/loadavg: 1.90 2.85 2.70 3/179 13173
/proc/meminfo: memFree=30298420/32872528 swapFree=16636/1570076
[pid=13173] ppid=13170 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/13173/stat : 13173 (toysat) R 13170 13173 13075 0 -1 4202496 45895 0 0 0 13 6 0 0 20 0 4 0 103600778 1344868352 46704 33554432000 4194304 16246674 140736343413376 140736343412688 13761616 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13173/statm: 328337 46704 801 2943 0 325231 0
[pid=13173/tid=13174] ppid=13170 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13174/stat : 13174 (toysat) S 13170 13173 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103600778 1344868352 46704 33554432000 4194304 16246674 140736343413376 140180917824752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13173/tid=13175] ppid=13170 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13175/stat : 13175 (toysat) S 13170 13173 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103600778 1344868352 46704 33554432000 4194304 16246674 140736343413376 140180907334896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13173/tid=13176] ppid=13170 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13176/stat : 13176 (toysat) S 13170 13173 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103600778 1344868352 46704 33554432000 4194304 16246674 140736343413376 140180820323504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300502 s]
/proc/loadavg: 1.90 2.85 2.70 3/179 13173
/proc/meminfo: memFree=30298420/32872528 swapFree=16636/1570076
[pid=13173] ppid=13170 vsize=1313348 CPUtime=0.28 cores=0,2,4,6
/proc/13173/stat : 13173 (toysat) R 13170 13173 13075 0 -1 4202496 58665 0 0 0 20 8 0 0 20 0 4 0 103600778 1344868352 59474 33554432000 4194304 16246674 140736343413376 140736343412688 6727251 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13173/statm: 328337 59474 832 2943 0 325231 0
[pid=13173/tid=13174] ppid=13170 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13174/stat : 13174 (toysat) S 13170 13173 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103600778 1344868352 59474 33554432000 4194304 16246674 140736343413376 140180917824752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13173/tid=13175] ppid=13170 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13175/stat : 13175 (toysat) S 13170 13173 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103600778 1344868352 59474 33554432000 4194304 16246674 140736343413376 140180907334896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13173/tid=13176] ppid=13170 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13176/stat : 13176 (toysat) S 13170 13173 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103600778 1344868352 59474 33554432000 4194304 16246674 140736343413376 140180820323504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

[startup+0.700408 s]
/proc/loadavg: 1.90 2.85 2.70 3/179 13173
/proc/meminfo: memFree=30298420/32872528 swapFree=16636/1570076
[pid=13173] ppid=13170 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/13173/stat : 13173 (toysat) R 13170 13173 13075 0 -1 4202496 126472 0 0 0 51 18 0 0 20 0 4 0 103600778 1344868352 127281 33554432000 4194304 16246674 140736343413376 140736343412688 5667118 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13173/statm: 328337 127281 873 2943 0 325231 0
[pid=13173/tid=13174] ppid=13170 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13174/stat : 13174 (toysat) S 13170 13173 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103600778 1344868352 127281 33554432000 4194304 16246674 140736343413376 140180917824752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13173/tid=13175] ppid=13170 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13175/stat : 13175 (toysat) S 13170 13173 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103600778 1344868352 127281 33554432000 4194304 16246674 140736343413376 140180907334896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13173/tid=13176] ppid=13170 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13176/stat : 13176 (toysat) S 13170 13173 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103600778 1344868352 127281 33554432000 4194304 16246674 140736343413376 140180820323504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50041 s]
/proc/loadavg: 1.90 2.85 2.70 3/183 13177
/proc/meminfo: memFree=29735312/32872528 swapFree=16636/1570076
[pid=13173] ppid=13170 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/13173/stat : 13173 (toysat) R 13170 13173 13075 0 -1 4202496 126481 0 0 0 131 18 0 0 20 0 4 0 103600778 1344868352 127290 33554432000 4194304 16246674 140736343413376 140736343395264 13950222 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13173/statm: 328337 127290 879 2943 0 325231 0
[pid=13173/tid=13174] ppid=13170 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13174/stat : 13174 (toysat) S 13170 13173 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103600778 1344868352 127290 33554432000 4194304 16246674 140736343413376 140180917824752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13173/tid=13175] ppid=13170 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13175/stat : 13175 (toysat) S 13170 13173 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103600778 1344868352 127290 33554432000 4194304 16246674 140736343413376 140180907334896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13173/tid=13176] ppid=13170 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13176/stat : 13176 (toysat) S 13170 13173 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103600778 1344868352 127290 33554432000 4194304 16246674 140736343413376 140180820323504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10041 s]
/proc/loadavg: 1.90 2.85 2.70 3/183 13177
/proc/meminfo: memFree=29734708/32872528 swapFree=16636/1570076
[pid=13173] ppid=13170 vsize=1313348 CPUtime=3.09 cores=0,2,4,6
/proc/13173/stat : 13173 (toysat) R 13170 13173 13075 0 -1 4202496 126481 0 0 0 291 18 0 0 20 0 4 0 103600778 1344868352 127290 33554432000 4194304 16246674 140736343413376 140736343395264 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13173/statm: 328337 127290 879 2943 0 325231 0
[pid=13173/tid=13174] ppid=13170 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13174/stat : 13174 (toysat) S 13170 13173 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103600778 1344868352 127290 33554432000 4194304 16246674 140736343413376 140180917824752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13173/tid=13175] ppid=13170 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13175/stat : 13175 (toysat) S 13170 13173 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103600778 1344868352 127290 33554432000 4194304 16246674 140736343413376 140180907334896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13173/tid=13176] ppid=13170 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13176/stat : 13176 (toysat) S 13170 13173 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103600778 1344868352 127290 33554432000 4194304 16246674 140736343413376 140180820323504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30036 s]
/proc/loadavg: 1.91 2.84 2.69 3/183 13177
/proc/meminfo: memFree=29654168/32872528 swapFree=16636/1570076
[pid=13173] ppid=13170 vsize=1313348 CPUtime=6.29 cores=0,2,4,6
/proc/13173/stat : 13173 (toysat) R 13170 13173 13075 0 -1 4202496 126481 0 0 0 611 18 0 0 20 0 4 0 103600778 1344868352 127290 33554432000 4194304 16246674 140736343413376 140736343395264 5553664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13173/statm: 328337 127290 879 2943 0 325231 0
[pid=13173/tid=13174] ppid=13170 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13174/stat : 13174 (toysat) S 13170 13173 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103600778 1344868352 127290 33554432000 4194304 16246674 140736343413376 140180917824752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13173/tid=13175] ppid=13170 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13175/stat : 13175 (toysat) S 13170 13173 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103600778 1344868352 127290 33554432000 4194304 16246674 140736343413376 140180907334896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13173/tid=13176] ppid=13170 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13176/stat : 13176 (toysat) S 13170 13173 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103600778 1344868352 127290 33554432000 4194304 16246674 140736343413376 140180820323504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 1.84 2.81 2.69 3/183 13275
/proc/meminfo: memFree=29338700/32872528 swapFree=16636/1570076
[pid=13173] ppid=13170 vsize=1313348 CPUtime=12.69 cores=0,2,4,6
/proc/13173/stat : 13173 (toysat) R 13170 13173 13075 0 -1 4202496 126483 0 0 0 1250 19 0 0 20 0 4 0 103600778 1344868352 127292 33554432000 4194304 16246674 140736343413376 140736343412552 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13173/statm: 328337 127292 881 2943 0 325231 0
[pid=13173/tid=13174] ppid=13170 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13174/stat : 13174 (toysat) S 13170 13173 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103600778 1344868352 127292 33554432000 4194304 16246674 140736343413376 140180917824752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13173/tid=13175] ppid=13170 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13175/stat : 13175 (toysat) S 13170 13173 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103600778 1344868352 127292 33554432000 4194304 16246674 140736343413376 140180907334896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13173/tid=13176] ppid=13170 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13176/stat : 13176 (toysat) S 13170 13173 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103600778 1344868352 127292 33554432000 4194304 16246674 140736343413376 140180820323504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 1.87 2.77 2.67 4/183 13275
/proc/meminfo: memFree=29339288/32872528 swapFree=16636/1570076
[pid=13173] ppid=13170 vsize=1313348 CPUtime=25.48 cores=0,2,4,6
/proc/13173/stat : 13173 (toysat) R 13170 13173 13075 0 -1 4202496 126483 0 0 0 2527 21 0 0 20 0 4 0 103600778 1344868352 127292 33554432000 4194304 16246674 140736343413376 140736343412472 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13173/statm: 328337 127292 881 2943 0 325231 0
[pid=13173/tid=13174] ppid=13170 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13174/stat : 13174 (toysat) S 13170 13173 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103600778 1344868352 127292 33554432000 4194304 16246674 140736343413376 140180917824752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13173/tid=13175] ppid=13170 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13175/stat : 13175 (toysat) S 13170 13173 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103600778 1344868352 127292 33554432000 4194304 16246674 140736343413376 140180907334896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13173/tid=13176] ppid=13170 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13176/stat : 13176 (toysat) S 13170 13173 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103600778 1344868352 127292 33554432000 4194304 16246674 140736343413376 140180820323504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.05 2.74 2.66 3/183 13275
/proc/meminfo: memFree=29338936/32872528 swapFree=16636/1570076
[pid=13173] ppid=13170 vsize=1313348 CPUtime=51.08 cores=0,2,4,6
/proc/13173/stat : 13173 (toysat) R 13170 13173 13075 0 -1 4202496 126483 0 0 0 5084 24 0 0 20 0 4 0 103600778 1344868352 127292 33554432000 4194304 16246674 140736343413376 140736343412552 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13173/statm: 328337 127292 881 2943 0 325231 0
[pid=13173/tid=13174] ppid=13170 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13174/stat : 13174 (toysat) S 13170 13173 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103600778 1344868352 127292 33554432000 4194304 16246674 140736343413376 140180917824752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13173/tid=13175] ppid=13170 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13175/stat : 13175 (toysat) S 13170 13173 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103600778 1344868352 127292 33554432000 4194304 16246674 140736343413376 140180907334896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13173/tid=13176] ppid=13170 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13176/stat : 13176 (toysat) S 13170 13173 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103600778 1344868352 127292 33554432000 4194304 16246674 140736343413376 140180820323504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.3 s]
/proc/loadavg: 2.14 2.65 2.64 3/183 13276
/proc/meminfo: memFree=29338572/32872528 swapFree=16636/1570076
[pid=13173] ppid=13170 vsize=1313348 CPUtime=102.28 cores=0,2,4,6
/proc/13173/stat : 13173 (toysat) R 13170 13173 13075 0 -1 4202496 126483 0 0 0 10198 30 0 0 20 0 4 0 103600778 1344868352 127292 33554432000 4194304 16246674 140736343413376 140736343412552 5667620 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13173/statm: 328337 127292 881 2943 0 325231 0
[pid=13173/tid=13174] ppid=13170 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13174/stat : 13174 (toysat) S 13170 13173 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103600778 1344868352 127292 33554432000 4194304 16246674 140736343413376 140180917824752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13173/tid=13175] ppid=13170 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13175/stat : 13175 (toysat) S 13170 13173 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103600778 1344868352 127292 33554432000 4194304 16246674 140736343413376 140180907334896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13173/tid=13176] ppid=13170 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13176/stat : 13176 (toysat) S 13170 13173 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103600778 1344868352 127292 33554432000 4194304 16246674 140736343413376 140180820323504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1313348


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

/proc/13173/task/13174/stat : 13174 (toysat) S 13170 13173 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103600778 2871595008 642796 33554432000 4194304 16246674 140736343413376 140180917824752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13173/tid=13175] ppid=13170 vsize=2804292 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13175/stat : 13175 (toysat) S 13170 13173 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103600778 2871595008 642796 33554432000 4194304 16246674 140736343413376 140180907334896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13173/tid=13176] ppid=13170 vsize=2804292 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13176/stat : 13176 (toysat) S 13170 13173 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103600778 2871595008 642796 33554432000 4194304 16246674 140736343413376 140180820323504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 2804292

[startup+1362.3 s]
/proc/loadavg: 2.27 2.20 2.29 4/184 13310
/proc/meminfo: memFree=25180940/32872528 swapFree=16636/1570076
[pid=13173] ppid=13170 vsize=2825796 CPUtime=1362.05 cores=0,2,4,6
/proc/13173/stat : 13173 (toysat) R 13170 13173 13075 0 -1 4202496 647060 0 0 0 135758 447 0 0 20 0 4 0 103600778 2893615104 648054 33554432000 4194304 16246674 140736343413376 140736343412552 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13173/statm: 706449 648054 888 2943 0 703343 0
[pid=13173/tid=13174] ppid=13170 vsize=2825796 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13174/stat : 13174 (toysat) S 13170 13173 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103600778 2893615104 648054 33554432000 4194304 16246674 140736343413376 140180917824752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13173/tid=13175] ppid=13170 vsize=2825796 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13175/stat : 13175 (toysat) S 13170 13173 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103600778 2893615104 648054 33554432000 4194304 16246674 140736343413376 140180907334896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13173/tid=13176] ppid=13170 vsize=2825796 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13176/stat : 13176 (toysat) S 13170 13173 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103600778 2893615104 648054 33554432000 4194304 16246674 140736343413376 140180820323504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 2825796

[startup+1422.3 s]
/proc/loadavg: 2.23 2.20 2.28 3/184 13334
/proc/meminfo: memFree=24993576/32872528 swapFree=16636/1570076
[pid=13173] ppid=13170 vsize=2967108 CPUtime=1422.04 cores=0,2,4,6
/proc/13173/stat : 13173 (toysat) R 13170 13173 13075 0 -1 4202496 682422 0 0 0 141717 487 0 0 20 0 4 0 103600778 3038318592 683411 33554432000 4194304 16246674 140736343413376 140736343412552 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13173/statm: 741777 683411 888 2943 0 738671 0
[pid=13173/tid=13174] ppid=13170 vsize=2967108 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13174/stat : 13174 (toysat) S 13170 13173 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103600778 3038318592 683411 33554432000 4194304 16246674 140736343413376 140180917824752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13173/tid=13175] ppid=13170 vsize=2967108 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13175/stat : 13175 (toysat) S 13170 13173 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103600778 3038318592 683411 33554432000 4194304 16246674 140736343413376 140180907334896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13173/tid=13176] ppid=13170 vsize=2967108 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13176/stat : 13176 (toysat) S 13170 13173 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103600778 3038318592 683411 33554432000 4194304 16246674 140736343413376 140180820323504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 2967108

[startup+1482.3 s]
/proc/loadavg: 2.20 2.19 2.27 3/183 13335
/proc/meminfo: memFree=24767704/32872528 swapFree=16636/1570076
[pid=13173] ppid=13170 vsize=3101252 CPUtime=1482.02 cores=0,2,4,6
/proc/13173/stat : 13173 (toysat) R 13170 13173 13075 0 -1 4202496 716076 0 0 0 147678 524 0 0 20 0 4 0 103600778 3175682048 717056 33554432000 4194304 16246674 140736343413376 140736343412552 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13173/statm: 775313 717056 888 2943 0 772207 0
[pid=13173/tid=13174] ppid=13170 vsize=3101252 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13174/stat : 13174 (toysat) S 13170 13173 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103600778 3175682048 717056 33554432000 4194304 16246674 140736343413376 140180917824752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13173/tid=13175] ppid=13170 vsize=3101252 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13175/stat : 13175 (toysat) S 13170 13173 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103600778 3175682048 717056 33554432000 4194304 16246674 140736343413376 140180907334896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13173/tid=13176] ppid=13170 vsize=3101252 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13176/stat : 13176 (toysat) S 13170 13173 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103600778 3175682048 717056 33554432000 4194304 16246674 140736343413376 140180820323504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 3101252

[startup+1542.31 s]
/proc/loadavg: 2.27 2.21 2.27 3/183 13336
/proc/meminfo: memFree=24556528/32872528 swapFree=16636/1570076
[pid=13173] ppid=13170 vsize=3207748 CPUtime=1542.01 cores=0,2,4,6
/proc/13173/stat : 13173 (toysat) R 13170 13173 13075 0 -1 4202496 742653 0 0 0 153637 564 0 0 20 0 4 0 103600778 3284733952 743627 33554432000 4194304 16246674 140736343413376 140736343412552 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13173/statm: 801937 743627 888 2943 0 798831 0
[pid=13173/tid=13174] ppid=13170 vsize=3207748 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13174/stat : 13174 (toysat) S 13170 13173 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103600778 3284733952 743627 33554432000 4194304 16246674 140736343413376 140180917824752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13173/tid=13175] ppid=13170 vsize=3207748 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13175/stat : 13175 (toysat) S 13170 13173 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103600778 3284733952 743627 33554432000 4194304 16246674 140736343413376 140180907334896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13173/tid=13176] ppid=13170 vsize=3207748 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13176/stat : 13176 (toysat) S 13170 13173 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103600778 3284733952 743627 33554432000 4194304 16246674 140736343413376 140180820323504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 3207748

[startup+1602.3 s]
/proc/loadavg: 2.18 2.19 2.26 3/183 13337
/proc/meminfo: memFree=24343620/32872528 swapFree=16636/1570076
[pid=13173] ppid=13170 vsize=3331652 CPUtime=1601.99 cores=0,2,4,6
/proc/13173/stat : 13173 (toysat) R 13170 13173 13075 0 -1 4202496 773684 0 0 0 159601 598 0 0 20 0 4 0 103600778 3411611648 774649 33554432000 4194304 16246674 140736343413376 140736343412472 5672230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13173/statm: 832913 774649 888 2943 0 829807 0
[pid=13173/tid=13174] ppid=13170 vsize=3331652 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13174/stat : 13174 (toysat) S 13170 13173 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103600778 3411611648 774649 33554432000 4194304 16246674 140736343413376 140180917824752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13173/tid=13175] ppid=13170 vsize=3331652 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13175/stat : 13175 (toysat) S 13170 13173 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103600778 3411611648 774649 33554432000 4194304 16246674 140736343413376 140180907334896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13173/tid=13176] ppid=13170 vsize=3331652 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13176/stat : 13176 (toysat) S 13170 13173 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103600778 3411611648 774649 33554432000 4194304 16246674 140736343413376 140180820323504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 3331652

[startup+1662.3 s]
/proc/loadavg: 2.25 2.20 2.26 3/183 13338
/proc/meminfo: memFree=24115240/32872528 swapFree=16636/1570076
[pid=13173] ppid=13170 vsize=3455556 CPUtime=1661.98 cores=0,2,4,6
/proc/13173/stat : 13173 (toysat) R 13170 13173 13075 0 -1 4202496 804482 0 0 0 165564 634 0 0 20 0 4 0 103600778 3538489344 805441 33554432000 4194304 16246674 140736343413376 140736343412552 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13173/statm: 863889 805441 888 2943 0 860783 0
[pid=13173/tid=13174] ppid=13170 vsize=3455556 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13174/stat : 13174 (toysat) S 13170 13173 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103600778 3538489344 805441 33554432000 4194304 16246674 140736343413376 140180917824752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13173/tid=13175] ppid=13170 vsize=3455556 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13175/stat : 13175 (toysat) S 13170 13173 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103600778 3538489344 805441 33554432000 4194304 16246674 140736343413376 140180907334896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13173/tid=13176] ppid=13170 vsize=3455556 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13176/stat : 13176 (toysat) S 13170 13173 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103600778 3538489344 805441 33554432000 4194304 16246674 140736343413376 140180820323504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 3455556

[startup+1722.3 s]
/proc/loadavg: 2.39 2.24 2.27 3/183 13340
/proc/meminfo: memFree=23965724/32872528 swapFree=16636/1570076
[pid=13173] ppid=13170 vsize=3530308 CPUtime=1721.97 cores=0,2,4,6
/proc/13173/stat : 13173 (toysat) R 13170 13173 13075 0 -1 4202496 823364 0 0 0 171528 669 0 0 20 0 4 0 103600778 3615035392 824320 33554432000 4194304 16246674 140736343413376 140736343412472 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13173/statm: 882577 824320 888 2943 0 879471 0
[pid=13173/tid=13174] ppid=13170 vsize=3530308 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13174/stat : 13174 (toysat) S 13170 13173 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103600778 3615035392 824320 33554432000 4194304 16246674 140736343413376 140180917824752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13173/tid=13175] ppid=13170 vsize=3530308 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13175/stat : 13175 (toysat) S 13170 13173 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103600778 3615035392 824320 33554432000 4194304 16246674 140736343413376 140180907334896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13173/tid=13176] ppid=13170 vsize=3530308 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13176/stat : 13176 (toysat) S 13170 13173 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103600778 3615035392 824320 33554432000 4194304 16246674 140736343413376 140180820323504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 3530308

[startup+1782.3 s]
/proc/loadavg: 2.34 2.25 2.27 3/183 13341
/proc/meminfo: memFree=23893840/32872528 swapFree=16636/1570076
[pid=13173] ppid=13170 vsize=3530308 CPUtime=1781.95 cores=0,2,4,6
/proc/13173/stat : 13173 (toysat) R 13170 13173 13075 0 -1 4202496 823369 0 0 0 177493 702 0 0 20 0 4 0 103600778 3615035392 824320 33554432000 4194304 16246674 140736343413376 140736343412552 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13173/statm: 882577 824320 888 2943 0 879471 0
[pid=13173/tid=13174] ppid=13170 vsize=3530308 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13174/stat : 13174 (toysat) S 13170 13173 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103600778 3615035392 824320 33554432000 4194304 16246674 140736343413376 140180917824752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13173/tid=13175] ppid=13170 vsize=3530308 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13175/stat : 13175 (toysat) S 13170 13173 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103600778 3615035392 824320 33554432000 4194304 16246674 140736343413376 140180907334896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13173/tid=13176] ppid=13170 vsize=3530308 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13176/stat : 13176 (toysat) S 13170 13173 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103600778 3615035392 824320 33554432000 4194304 16246674 140736343413376 140180820323504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 3530308



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.34 2.25 2.27 3/183 13341
/proc/meminfo: memFree=23886244/32872528 swapFree=16636/1570076
[pid=13173] ppid=13170 vsize=3530308 CPUtime=1800.05 cores=0,2,4,6
/proc/13173/stat : 13173 (toysat) R 13170 13173 13075 0 -1 4202496 823371 0 0 0 179292 713 0 0 20 0 4 0 103600778 3615035392 824320 33554432000 4194304 16246674 140736343413376 140736343412472 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13173/statm: 882577 824320 888 2943 0 879471 0
[pid=13173/tid=13174] ppid=13170 vsize=3530308 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13174/stat : 13174 (toysat) S 13170 13173 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103600778 3615035392 824320 33554432000 4194304 16246674 140736343413376 140180917824752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13173/tid=13175] ppid=13170 vsize=3530308 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13175/stat : 13175 (toysat) S 13170 13173 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103600778 3615035392 824320 33554432000 4194304 16246674 140736343413376 140180907334896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13173/tid=13176] ppid=13170 vsize=3530308 CPUtime=0 cores=0,2,4,6
/proc/13173/task/13176/stat : 13176 (toysat) S 13170 13173 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103600778 3615035392 824320 33554432000 4194304 16246674 140736343413376 140180820323504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 3530308

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

[startup+1800.5 s]
/proc/loadavg: 2.34 2.25 2.27 3/183 13341
/proc/meminfo: memFree=23886244/32872528 swapFree=16636/1570076
[pid=13173] ppid=13170 vsize=0 CPUtime=1800.16 cores=0,2,4,6
/proc/13173/stat : 13173 (toysat) Z 13170 13173 13075 0 -1 4203532 823371 0 0 0 179293 723 0 0 20 0 2 0 103600778 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13173/statm: 0 0 0 0 0 0 0
[pid=13173/tid=13174] ppid=13170 vsize=0 CPUtime=0.08 cores=0,2,4,6
/proc/13173/task/13174/stat : 13174 (toysat) R 13170 13173 13075 0 -1 4203588 10 0 0 0 0 8 0 0 20 0 2 0 103600778 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.18
CPU user time (s): 1792.93
CPU system time (s): 7.2489
CPU usage (%): 99.9809
Max. virtual memory (cumulated for all children) (KiB): 3530308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.93
system time used= 7.2489
maximum resident set size= 3297280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 823371
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= 131
involuntary context switches= 1834

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.82227 second user time and 6.70498 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-06 14:38:04
IDJOB=4078721
IDBENCH=1153
IDSOLVER=2542
FILE ID=node140/4078721-1465216684
RUNJOBID= node140-1465216678-13091
PBS_JOBID= 19843199
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin16.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078721-1465216684/watcher-4078721-1465216684 -o /tmp/evaluation-result-4078721-1465216684/solver-4078721-1465216684 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465216678-13091 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078721-1465216684.opb

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

MD5SUM BENCH= d761333f7ff9a755d3cd90e52b11f227
RANDOM SEED=2122922364

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
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.768
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
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	: 5334.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30298924 kB
Buffers:            1144 kB
Cached:            68440 kB
SwapCached:         1300 kB
Active:           287068 kB
Inactive:          14012 kB
Active(anon):     232140 kB
Inactive(anon):     1644 kB
Active(file):      54928 kB
Inactive(file):    12368 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67097332 kB
Dirty:             34716 kB
Writeback:             0 kB
AnonPages:       1801420 kB
Mapped:            10216 kB
Shmem:                 0 kB
Slab:             567532 kB
SReclaimable:      10624 kB
SUnreclaim:       556908 kB
KernelStack:        1472 kB
PageTables:         9368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2788396 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1558528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node140 at 2016-06-06 15:08:05