Trace number 4093670

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

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900667195--soft-0-100-0.wbo
MD5SUMa4c39a3f1b80365b8ad34a89f93fc523
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark38.03
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 134314
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 134313
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 655
Number of bits of the biggest sum of numbers10
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-16T18:35:57+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","--wbo","--search=bcd2","HOME/instance-4093670-1466094957.wbo"]
0.00/0.01	c use --random-gen="3847004552 2857331850 3308152545 233832488 1183850032 3003654121 3156236603 2479975882 2672164136 3899459396 853399756 3195880870 1593692513 1710545541 3780235279 1723185185 4014822553 2499089926 2616885837 3330088262 669889184 3343987102 2057924185 2076243883 3049530182 1943250147 2502317140 2946907284 2728068691 1731737148 2549445879 546771190 1560505260 2617799647 2347025174 1502835763 2382869192 2653895742 3595872971 2810660973 2331467404 2331704533 2123555124 1505982287 2618475971 3469594296 1004032934 3052291900 3891321342 2327820418 1702637694 921258348 4096444907 3830473997 2984119916 287098354 3548274751 2127853801 3291934789 2898625960 3491271844 2805060604 227537652 2293761736 3647076427 331985656 2621002950 285700261 3032480760 1752472014 3561990031 219874188 2874893935 1964837692 519290999 3017195814 4049746698 2971189677 114083581 436617500 3552295078 258560398 4215240505 2106262456 1630412141 3946158796 1970612664 2763594475 3022238674 3707511389 3792757654 2988230222 1169301122 3655542170 2118828888 4014332786 3753667504 4024410402 752110269 2440949605 3082201518 3797768943 3795947502 1166047408 989267310 1339807883 2634910871 2576655169 3560218531 3420263635 3307770872 3378233902 914137944 3616415385 874022781 747617266 1526061096 169480536 2215512717 1248457763 1178367265 1997645760 3692586809 456105957 2576759419 2173984179 721081951 109331886 2906893370 3767342977 1503816127 3800731518 2165102622 583065599 1163935231 2014138950 3498983764 1944550886 1752505161 4025404417 4207425885 1389267730 295261545 3354905098 1625227713 3832151773 671163311 219980716 1329515682 3410411387 2972539417 184321547 1024157897 1759635922 209422598 2618500752 3860954726 2511382625 4063360063 1548763536 3737030566 1968232551 2593173765 1178359960 3874849459 2165196268 3960236726 1465276333 4014473945 2869752524 232231939 748767283 2364183775 4260811252 2712437633 2128174044 468192582 3336926801 3771205070 349479269 935371490 3163016846 1886027351 4106008683 3991034145 904611364 2510313635 185840688 3576882681 3822272120 1483783431 2447797569 912306473 1373057185 3113814856 112933140 582091625 2904846665 1344087661 2489399802 2927808350 4059038553 2217472063 1547041421 1355906772 2574478226 3667372609 1611410049 3226146138 500780425 1428129709 1677955967 924582163 2205372973 656890225 2915463045 1681535926 3172622328 908324400 2446424807 1875834618 1214522628 1848774905 1327408692 1686274594 3828958208 3609852963 4177472352 1070428281 3089825238 3308904166 4024709789 3174967807 2887271992 1772808842 1477392945 2561211070 127924632 2610077621 16946873 202666829 2902961087 1529263310 3319646870 1245940288 636575060 2638495373 2458727943 2406786975 2176453044 3440671105 3105310848 1193583774 4058110461 3274866349 1615273622 255 362436" option to reproduce the execution
0.09/0.18	c #vars 231
0.09/0.18	c #constraints 2707
0.19/0.22	c BCD2: Hardening is enabled.
0.19/0.22	c BCD2: BiasedSearch is enabled.
0.19/0.22	c Solving starts ...
0.19/0.22	c ============================[ Search Statistics ]============================
0.19/0.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.22	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.22	c =============================================================================
0.19/0.22	c  0.0s |       0 |        0 |        0 |     1881      0 |        0 |        0
0.19/0.24	c  0.0s |       0 |     2717 |        0 |     1881      0 |        0 |        0
0.19/0.24	c #cpu_time = 0.017s
0.19/0.24	c #wall_clock_time = 0.017s
0.19/0.24	c #decision = 2717
0.19/0.24	c #random_decision = 15
0.19/0.24	c #conflict = 0
0.19/0.24	c #restart = 0
0.19/0.24	o 452
0.19/0.25	c BCD2: updating upper bound: 134313 -> 451
0.19/0.26	c BCD2: 0 <= obj <= 451
0.19/0.26	c BCD2: #cores=0, #unrelaxed=2707, #relaxed=0, #hardened=0
0.19/0.26	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.26	c Solving starts ...
0.19/0.26	c ============================[ Search Statistics ]============================
0.19/0.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.26	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.26	c =============================================================================
0.19/0.26	c  0.0s |       0 |        0 |        0 |     1881      0 |        0 |        0
0.19/0.29	c  0.0s |       1 |     2866 |      100 |     1881      0 |        0 |        0
0.29/0.34	c  0.1s |       2 |     5791 |      250 |     2070      0 |        0 |        0
0.39/0.41	c  0.1s |       3 |     8815 |      475 |     2277      0 |        0 |        0
0.49/0.53	c  0.3s |       4 |    11983 |      813 |     2505      0 |        0 |        0
0.69/0.77	c  0.5s |       5 |    15334 |     1320 |     2756      0 |        0 |        0
0.99/1.09	c  0.8s |       6 |    19098 |     2081 |     3336      0 |        0 |        0
1.49/1.57	c  1.3s |       7 |    23468 |     3223 |     3670      0 |        0 |        0
2.49/2.56	c  2.3s |       8 |    28665 |     4936 |     4038      0 |        0 |        0
4.59/4.62	c  4.4s |       8 |    34572 |     7236 |     4038      1 |        0 |        0
4.89/4.98	c  4.7s |       9 |    34978 |     7506 |     4442      1 |        0 |        0
6.99/7.04	c  6.8s |       9 |    42755 |    10906 |     4442      2 |        0 |        0
7.29/7.38	c  7.1s |      10 |    43338 |    11361 |     4887      2 |        0 |        0
9.29/9.39	c  9.1s |      10 |    49490 |    13761 |     4887      3 |        0 |        0
11.39/11.40	c 11.1s |      10 |    51954 |    15561 |     4887      3 |        0 |        0
12.69/12.76	c 12.5s |      11 |    54136 |    17144 |     5376      4 |        0 |        0
14.79/14.84	c 14.6s |      11 |    59884 |    19344 |     5376      4 |        0 |        0
16.89/16.93	c 16.7s |      11 |    62261 |    21144 |     5376      5 |        0 |        0
18.89/18.94	c 18.7s |      11 |    64516 |    22744 |     5376      5 |        0 |        0
21.08/21.12	c 20.9s |      11 |    66642 |    24344 |     5376      6 |        0 |        0
23.09/23.13	c 22.9s |      12 |    68631 |    25819 |     5914      6 |        0 |        0
25.09/25.13	c 24.9s |      12 |    73626 |    27419 |     5914      6 |        0 |        0
27.28/27.30	c 27.0s |      12 |    75810 |    28819 |     5914      7 |        0 |        0
29.28/29.35	c 29.1s |      12 |    77901 |    30119 |     5914      7 |        0 |        0
31.38/31.44	c 31.2s |      12 |    80231 |    31619 |     5914      7 |        0 |        0
33.38/33.46	c 33.2s |      12 |    82110 |    32819 |     5914      7 |        0 |        0
35.69/35.73	c 35.5s |      12 |    83892 |    34019 |     5914      8 |        0 |        0
37.68/37.79	c 37.5s |      12 |    86076 |    35519 |     5914      8 |        0 |        0
39.88/39.95	c 39.7s |      12 |    87771 |    36719 |     5914      8 |        0 |        0
41.89/41.98	c 41.7s |      12 |    89477 |    37819 |     5914      9 |        0 |        0
43.48/43.56	c 43.3s |      13 |    90933 |    38832 |     6506      9 |        0 |        0
45.59/45.64	c 45.4s |      13 |    95354 |    40032 |     6506      9 |        0 |        0
47.68/47.72	c 47.5s |      13 |    96740 |    41032 |     6506      9 |        0 |        0
49.79/49.86	c 49.6s |      13 |    98491 |    42232 |     6506      9 |        0 |        0
51.88/51.95	c 51.7s |      13 |   100560 |    43432 |     6506     10 |        0 |        0
54.08/54.18	c 53.9s |      13 |   102071 |    44532 |     6506     10 |        0 |        0
56.48/56.57	c 56.3s |      13 |   102748 |    45032 |     6506     10 |        0 |        0
58.48/58.59	c 58.3s |      13 |   103570 |    45632 |     6506     10 |        0 |        0
60.68/60.70	c 60.4s |      13 |   105561 |    46832 |     6506     10 |        0 |        0
62.79/62.87	c 62.6s |      13 |   106950 |    47832 |     6506     11 |        0 |        0
64.99/65.02	c 64.8s |      13 |   108307 |    48732 |     6506     11 |        0 |        0
66.98/67.05	c 66.8s |      13 |   109883 |    49732 |     6506     11 |        0 |        0
68.98/69.08	c 68.8s |      13 |   111321 |    50632 |     6506     11 |        0 |        0
71.08/71.16	c 70.9s |      13 |   112693 |    51532 |     6506     11 |        0 |        0
73.18/73.20	c 72.9s |      13 |   115778 |    53732 |     6506     12 |        0 |        0
75.18/75.23	c 75.0s |      13 |   118730 |    55732 |     6506     12 |        0 |        0
77.28/77.34	c 77.1s |      13 |   121791 |    57732 |     6506     13 |        0 |        0
77.88/77.96	c 77.7s |      14 |   122727 |    58352 |     7157     13 |        0 |        0
79.88/79.96	c 79.7s |      14 |   127663 |    59752 |     7157     13 |        0 |        0
82.08/82.10	c 81.8s |      14 |   130361 |    61352 |     7157     13 |        0 |        0
84.08/84.16	c 83.9s |      14 |   132951 |    63152 |     7157     14 |        0 |        0
86.18/86.23	c 86.0s |      14 |   135591 |    65052 |     7157     14 |        0 |        0
88.27/88.32	c 88.1s |      14 |   137980 |    66652 |     7157     15 |        0 |        0
90.28/90.39	c 90.1s |      14 |   140747 |    68652 |     7157     15 |        0 |        0
92.39/92.48	c 92.2s |      14 |   144052 |    70952 |     7157     15 |        0 |        0
94.48/94.57	c 94.3s |      14 |   146730 |    72652 |     7157     16 |        0 |        0
96.47/96.59	c 96.3s |      14 |   148723 |    74052 |     7157     16 |        0 |        0
98.58/98.68	c 98.4s |      14 |   151519 |    75852 |     7157     16 |        0 |        0
100.67/100.74	c  100s |      14 |   153672 |    77252 |     7157     17 |        0 |        0
102.77/102.86	c  102s |      14 |   156183 |    78752 |     7157     17 |        0 |        0
104.88/104.94	c  104s |      14 |   158165 |    80052 |     7157     17 |        0 |        0
106.97/107.07	c  106s |      14 |   159604 |    81152 |     7157     17 |        0 |        0
109.07/109.12	c  108s |      14 |   163123 |    83652 |     7157     18 |        0 |        0
111.08/111.14	c  110s |      14 |   166268 |    85852 |     7157     18 |        0 |        0
112.97/113.06	c  112s |      15 |   168660 |    87632 |     7873     19 |        0 |        0
115.08/115.19	c  114s |      15 |   173098 |    88932 |     7873     19 |        0 |        0
117.27/117.32	c  117s |      15 |   174825 |    90232 |     7873     19 |        0 |        0
119.27/119.33	c  119s |      15 |   176119 |    91232 |     7873     19 |        0 |        0
121.37/121.44	c  121s |      15 |   177883 |    92432 |     7873     20 |        0 |        0
123.37/123.47	c  123s |      15 |   179167 |    93332 |     7873     20 |        0 |        0
125.37/125.50	c  125s |      15 |   180765 |    94432 |     7873     20 |        0 |        0
127.47/127.51	c  127s |      15 |   183254 |    96232 |     7873     20 |        0 |        0
129.47/129.59	c  129s |      15 |   186007 |    98132 |     7873     21 |        0 |        0
131.57/131.62	c  131s |      15 |   188071 |    99632 |     7873     21 |        0 |        0
133.67/133.73	c  133s |      15 |   190205 |   101232 |     7873     21 |        0 |        0
135.77/135.81	c  135s |      15 |   192183 |   102732 |     7873     21 |        0 |        0
137.77/137.85	c  137s |      15 |   193841 |   104032 |     7873     22 |        0 |        0
139.77/139.86	c  139s |      15 |   195612 |   105432 |     7873     22 |        0 |        0
141.77/141.89	c  141s |      15 |   197057 |   106632 |     7873     22 |        0 |        0
143.97/144.09	c  143s |      15 |   198271 |   107632 |     7873     22 |        0 |        0
146.07/146.15	c  145s |      15 |   199167 |   108332 |     7873     23 |        0 |        0
148.26/148.30	c  148s |      15 |   201105 |   109632 |     7873     23 |        0 |        0
150.37/150.42	c  150s |      15 |   203269 |   111132 |     7873     23 |        0 |        0
152.46/152.53	c  152s |      15 |   204853 |   112332 |     7873     23 |        0 |        0
154.47/154.56	c  154s |      15 |   205883 |   113132 |     7873     23 |        0 |        0
156.47/156.58	c  156s |      15 |   207805 |   114532 |     7873     24 |        0 |        0
158.56/158.61	c  158s |      15 |   209571 |   115832 |     7873     24 |        0 |        0
160.57/160.67	c  160s |      15 |   211440 |   117232 |     7873     24 |        0 |        0
162.67/162.71	c  162s |      15 |   212478 |   118032 |     7873     24 |        0 |        0
164.87/164.90	c  164s |      15 |   213982 |   119132 |     7873     25 |        0 |        0
166.96/167.09	c  166s |      15 |   215500 |   120232 |     7873     25 |        0 |        0
169.38/169.40	c  169s |      15 |   216477 |   121032 |     7873     25 |        0 |        0
171.46/171.57	c  171s |      15 |   217752 |   121932 |     7873     25 |        0 |        0
173.66/173.70	c  173s |      15 |   218625 |   122632 |     7873     25 |        0 |        0
175.86/175.91	c  175s |      15 |   219611 |   123432 |     7873     25 |        0 |        0
177.86/177.97	c  177s |      15 |   220553 |   124132 |     7873     26 |        0 |        0
180.06/180.18	c  179s |      15 |   221377 |   124832 |     7873     26 |        0 |        0
182.36/182.42	c  182s |      15 |   222448 |   125632 |     7873     26 |        0 |        0
184.37/184.47	c  184s |      15 |   224792 |   127332 |     7873     26 |        0 |        0
186.46/186.55	c  186s |      15 |   227810 |   129532 |     7873     27 |        0 |        0
188.17/188.26	c  187s |      16 |   230670 |   131552 |     8661     27 |        0 |        0
190.27/190.40	c  190s |      16 |   235595 |   133152 |     8661     27 |        0 |        0
192.36/192.42	c  192s |      16 |   237187 |   134252 |     8661     27 |        0 |        0
194.67/194.72	c  194s |      16 |   239180 |   135652 |     8661     28 |        0 |        0
196.76/196.84	c  196s |      16 |   241034 |   137052 |     8661     28 |        0 |        0
198.76/198.86	c  198s |      16 |   243344 |   138652 |     8661     28 |        0 |        0
200.96/201.09	c  200s |      16 |   244973 |   139852 |     8661     28 |        0 |        0
203.06/203.17	c  202s |      16 |   246494 |   140952 |     8661     28 |        0 |        0
205.16/205.29	c  205s |      16 |   249160 |   142652 |     8661     29 |        0 |        0
207.26/207.39	c  207s |      16 |   251950 |   144552 |     8661     29 |        0 |        0
209.36/209.45	c  209s |      16 |   253660 |   145752 |     8661     29 |        0 |        0
211.46/211.59	c  211s |      16 |   254971 |   146652 |     8661     29 |        0 |        0
213.55/213.60	c  213s |      16 |   256659 |   147652 |     8661     30 |        0 |        0
215.56/215.67	c  215s |      16 |   258026 |   148652 |     8661     30 |        0 |        0
217.65/217.74	c  217s |      16 |   261613 |   151352 |     8661     30 |        0 |        0
219.76/219.81	c  219s |      16 |   263636 |   153052 |     8661     31 |        0 |        0
221.76/221.85	c  221s |      16 |   266196 |   154952 |     8661     31 |        0 |        0
223.76/223.86	c  223s |      16 |   268130 |   156452 |     8661     31 |        0 |        0
225.95/226.01	c  225s |      16 |   269613 |   157652 |     8661     31 |        0 |        0
228.05/228.19	c  227s |      16 |   271099 |   158952 |     8661     32 |        0 |        0
230.16/230.23	c  229s |      16 |   272501 |   160152 |     8661     32 |        0 |        0
232.16/232.23	c  231s |      16 |   273678 |   161152 |     8661     32 |        0 |        0
234.26/234.31	c  234s |      16 |   275242 |   162452 |     8661     32 |        0 |        0
236.35/236.43	c  236s |      16 |   276994 |   163852 |     8661     32 |        0 |        0
238.45/238.57	c  238s |      16 |   278633 |   165152 |     8661     33 |        0 |        0
240.56/240.60	c  240s |      16 |   281239 |   167052 |     8661     33 |        0 |        0
242.56/242.64	c  242s |      16 |   283440 |   168652 |     8661     33 |        0 |        0
244.55/244.66	c  244s |      16 |   285187 |   170052 |     8661     34 |        0 |        0
246.65/246.70	c  246s |      16 |   287294 |   171752 |     8661     34 |        0 |        0
248.66/248.79	c  248s |      16 |   288898 |   173052 |     8661     34 |        0 |        0
250.76/250.89	c  250s |      16 |   290714 |   174452 |     8661     34 |        0 |        0
252.85/252.95	c  252s |      16 |   292231 |   175652 |     8661     35 |        0 |        0
254.85/254.99	c  254s |      16 |   293767 |   176852 |     8661     35 |        0 |        0
256.95/257.03	c  256s |      16 |   295015 |   177852 |     8661     35 |        0 |        0
259.05/259.13	c  258s |      16 |   296227 |   178852 |     8661     35 |        0 |        0
261.05/261.15	c  260s |      16 |   297444 |   179852 |     8661     35 |        0 |        0
263.05/263.19	c  262s |      16 |   298629 |   180752 |     8661     35 |        0 |        0
265.25/265.35	c  265s |      16 |   300023 |   181852 |     8661     36 |        0 |        0
267.36/267.49	c  267s |      16 |   301271 |   182852 |     8661     36 |        0 |        0
269.45/269.58	c  269s |      16 |   302377 |   183752 |     8661     36 |        0 |        0
271.55/271.61	c  271s |      16 |   303497 |   184652 |     8661     36 |        0 |        0
273.65/273.73	c  273s |      16 |   304347 |   185352 |     8661     36 |        0 |        0
275.95/276.06	c  275s |      16 |   305157 |   186052 |     8661     36 |        0 |        0
278.04/278.16	c  277s |      16 |   305994 |   186752 |     8661     36 |        0 |        0
280.15/280.21	c  279s |      16 |   307675 |   187852 |     8661     37 |        0 |        0
282.15/282.22	c  281s |      16 |   309470 |   189152 |     8661     37 |        0 |        0
284.14/284.24	c  283s |      16 |   311327 |   190552 |     8661     37 |        0 |        0
286.24/286.38	c  286s |      16 |   312856 |   191752 |     8661     37 |        0 |        0
288.35/288.50	c  288s |      16 |   314118 |   192752 |     8661     38 |        0 |        0
290.45/290.51	c  290s |      16 |   315707 |   193952 |     8661     38 |        0 |        0
292.45/292.57	c  292s |      16 |   316783 |   194852 |     8661     38 |        0 |        0
294.55/294.61	c  294s |      16 |   318171 |   195952 |     8661     38 |        0 |        0
296.74/296.86	c  296s |      16 |   319417 |   196952 |     9528     38 |        0 |        0
297.85/297.95	c  297s |      17 |   320059 |   197432 |     9528     38 |        0 |        0
300.05/300.19	c  299s |      17 |   325009 |   199132 |     9528     39 |        0 |        0
302.14/302.29	c  302s |      17 |   327228 |   200832 |     9528     39 |        0 |        0
304.35/304.48	c  304s |      17 |   328682 |   202032 |     9528     39 |        0 |        0
306.54/306.65	c  306s |      17 |   329960 |   203032 |     9528     39 |        0 |        0
308.85/308.91	c  308s |      17 |   331067 |   203932 |     9528     39 |        0 |        0
311.14/311.26	c  310s |      17 |   331905 |   204632 |     9528     40 |        0 |        0
313.24/313.37	c  313s |      17 |   334663 |   206632 |     9528     40 |        0 |        0
315.34/315.47	c  315s |      17 |   336484 |   208032 |     9528     40 |        0 |        0
317.44/317.55	c  317s |      17 |   338471 |   209532 |     9528     40 |        0 |        0
319.74/319.82	c  319s |      17 |   340101 |   210732 |     9528     41 |        0 |        0
321.84/321.90	c  321s |      17 |   342061 |   212232 |     9528     41 |        0 |        0
323.94/324.01	c  323s |      17 |   343214 |   213132 |     9528     41 |        0 |        0
325.94/326.04	c  325s |      17 |   344780 |   214332 |     9528     41 |        0 |        0
328.04/328.18	c  327s |      17 |   346067 |   215432 |     9528     41 |        0 |        0
330.24/330.35	c  330s |      17 |   347926 |   216832 |     9528     42 |        0 |        0
332.34/332.44	c  332s |      17 |   349458 |   218032 |     9528     42 |        0 |        0
334.34/334.45	c  334s |      17 |   350841 |   219132 |     9528     42 |        0 |        0
336.44/336.52	c  336s |      17 |   351926 |   220032 |     9528     42 |        0 |        0
338.53/338.63	c  338s |      17 |   352770 |   220732 |     9528     42 |        0 |        0
340.54/340.69	c  340s |      17 |   354077 |   221732 |     9528     42 |        0 |        0
342.64/342.74	c  342s |      17 |   355249 |   222632 |     9528     42 |        0 |        0
344.73/344.82	c  344s |      17 |   356453 |   223532 |     9528     43 |        0 |        0
346.84/346.95	c  346s |      17 |   358027 |   224732 |     9528     43 |        0 |        0
348.94/349.01	c  348s |      17 |   359056 |   225532 |     9528     43 |        0 |        0
350.94/351.09	c  350s |      17 |   360304 |   226532 |     9528     43 |        0 |        0
353.14/353.29	c  353s |      17 |   361408 |   227432 |     9528     43 |        0 |        0
355.44/355.51	c  355s |      17 |   362383 |   228232 |     9528     43 |        0 |        0
357.54/357.64	c  357s |      17 |   363065 |   228832 |     9528     43 |        0 |        0
359.93/360.08	c  359s |      17 |   363788 |   229432 |     9528     44 |        0 |        0
362.13/362.20	c  361s |      17 |   364665 |   230132 |     9528     44 |        0 |        0
364.04/364.20	c  363s |      17 |   365982 |   231032 |     9528     44 |        0 |        0
366.24/366.37	c  366s |      17 |   367570 |   232132 |     9528     44 |        0 |        0
368.54/368.63	c  368s |      17 |   368656 |   232932 |     9528     44 |        0 |        0
370.64/370.80	c  370s |      17 |   369753 |   233832 |     9528     44 |        0 |        0
372.84/372.97	c  372s |      17 |   370610 |   234532 |     9528     44 |        0 |        0
374.94/375.04	c  374s |      17 |   371311 |   235132 |     9528     44 |        0 |        0
376.93/377.09	c  376s |      17 |   371962 |   235632 |     9528     45 |        0 |        0
379.03/379.11	c  378s |      17 |   373201 |   236432 |     9528     45 |        0 |        0
381.03/381.18	c  380s |      17 |   375674 |   238232 |     9528     45 |        0 |        0
383.13/383.22	c  382s |      17 |   379165 |   240932 |     9528     45 |        0 |        0
385.14/385.23	c  384s |      17 |   382523 |   243232 |     9528     46 |        0 |        0
387.14/387.25	c  386s |      17 |   385034 |   245132 |     9528     46 |        0 |        0
389.13/389.26	c  388s |      17 |   387719 |   247132 |     9528     46 |        0 |        0
391.23/391.35	c  391s |      17 |   390456 |   249232 |     9528     47 |        0 |        0
393.33/393.40	c  393s |      17 |   392556 |   250932 |     9528     47 |        0 |        0
395.33/395.44	c  395s |      17 |   395211 |   252932 |     9528     47 |        0 |        0
397.33/397.49	c  397s |      17 |   397957 |   254832 |     9528     48 |        0 |        0
399.34/399.49	c  399s |      17 |   400306 |   256632 |     9528     48 |        0 |        0
401.43/401.52	c  401s |      17 |   402212 |   258132 |     9528     48 |        0 |        0
403.52/403.60	c  403s |      17 |   403875 |   259432 |     9528     48 |        0 |        0
405.53/405.68	c  405s |      17 |   405919 |   260932 |     9528     49 |        0 |        0
407.63/407.78	c  407s |      17 |   407632 |   262232 |     9528     49 |        0 |        0
409.72/409.83	c  409s |      17 |   409418 |   263532 |     9528     49 |        0 |        0
411.83/411.94	c  411s |      17 |   411401 |   265032 |     9528     49 |        0 |        0
413.82/414.00	c  413s |      17 |   413124 |   266332 |     9528     50 |        0 |        0
416.03/416.13	c  415s |      17 |   415400 |   268032 |     9528     50 |        0 |        0
418.03/418.13	c  417s |      17 |   417465 |   269632 |     9528     50 |        0 |        0
420.02/420.20	c  419s |      17 |   419431 |   271132 |     9528     50 |        0 |        0
422.12/422.23	c  421s |      17 |   420980 |   272232 |     9528     50 |        0 |        0
424.12/424.28	c  424s |      17 |   425392 |   275632 |     9528     51 |        0 |        0
426.33/426.43	c  426s |      17 |   428862 |   278432 |     9528     52 |        0 |        0
428.33/428.44	c  428s |      17 |   432487 |   281132 |     9528     52 |        0 |        0
430.42/430.51	c  430s |      17 |   435247 |   283232 |     9528     52 |        0 |        0
432.43/432.59	c  432s |      17 |   437168 |   284732 |     9528     53 |        0 |        0
434.43/434.59	c  434s |      17 |   439541 |   286632 |     9528     53 |        0 |        0
436.52/436.68	c  436s |      17 |   441386 |   288232 |     9528     53 |        0 |        0
438.62/438.79	c  438s |      17 |   442807 |   289432 |     9528     53 |        0 |        0
440.73/440.83	c  440s |      17 |   444405 |   290732 |     9528     54 |        0 |        0
442.72/442.84	c  442s |      17 |   446655 |   292532 |     9528     54 |        0 |        0
444.72/444.88	c  444s |      17 |   448682 |   294132 |     9528     54 |        0 |        0
446.82/446.94	c  446s |      17 |   450484 |   295532 |    10481     54 |        0 |        0
448.32/448.42	c  448s |      18 |   451418 |   296252 |    10481     54 |        0 |        0
450.32/450.45	c  450s |      18 |   455958 |   297652 |    10481     55 |        0 |        0
452.42/452.55	c  452s |      18 |   457826 |   299052 |    10481     55 |        0 |        0
454.52/454.61	c  454s |      18 |   459580 |   300452 |    10481     55 |        0 |        0
456.53/456.67	c  456s |      18 |   461718 |   302152 |    10481     55 |        0 |        0
458.72/458.86	c  458s |      18 |   463694 |   303752 |    10481     56 |        0 |        0
460.82/460.93	c  460s |      18 |   466600 |   305952 |    10481     56 |        0 |        0
462.82/462.93	c  462s |      18 |   469504 |   308252 |    10481     56 |        0 |        0
464.92/465.00	c  464s |      18 |   472387 |   310552 |    10481     57 |        0 |        0
466.92/467.04	c  466s |      18 |   475286 |   312952 |    10481     57 |        0 |        0
468.92/469.08	c  468s |      18 |   477310 |   314552 |    10481     57 |        0 |        0
471.02/471.15	c  470s |      18 |   479225 |   316052 |    10481     57 |        0 |        0
473.02/473.18	c  472s |      18 |   480870 |   317352 |    10481     58 |        0 |        0
475.22/475.31	c  475s |      18 |   482581 |   318752 |    10481     58 |        0 |        0
477.22/477.36	c  477s |      18 |   484340 |   320052 |    10481     58 |        0 |        0
479.32/479.40	c  479s |      18 |   486348 |   321552 |    10481     58 |        0 |        0
481.42/481.57	c  481s |      18 |   487710 |   322652 |    10481     58 |        0 |        0
483.51/483.64	c  483s |      18 |   489948 |   324352 |    10481     59 |        0 |        0
485.52/485.64	c  485s |      18 |   492525 |   326352 |    10481     59 |        0 |        0
487.62/487.70	c  487s |      18 |   494399 |   327752 |    10481     59 |        0 |        0
489.72/489.83	c  489s |      18 |   495610 |   328752 |    10481     59 |        0 |        0
491.81/491.90	c  491s |      18 |   497209 |   330052 |    10481     59 |        0 |        0
493.82/493.93	c  493s |      18 |   499445 |   331852 |    10481     60 |        0 |        0
495.81/495.93	c  495s |      18 |   501696 |   333652 |    10481     60 |        0 |        0
497.82/497.95	c  497s |      18 |   503538 |   335052 |    10481     60 |        0 |        0
499.92/500.08	c  499s |      18 |   505159 |   336352 |    10481     60 |        0 |        0
502.01/502.12	c  501s |      18 |   506637 |   337552 |    10481     61 |        0 |        0
504.11/504.21	c  503s |      18 |   508194 |   338852 |    10481     61 |        0 |        0
506.21/506.34	c  506s |      18 |   509824 |   340152 |    10481     61 |        0 |        0
508.41/508.52	c  508s |      18 |   511241 |   341252 |    10481     61 |        0 |        0
510.42/510.59	c  510s |      18 |   512736 |   342452 |    10481     61 |        0 |        0
512.61/512.74	c  512s |      18 |   514118 |   343552 |    10481     62 |        0 |        0
514.72/514.87	c  514s |      18 |   515965 |   344952 |    10481     62 |        0 |        0
516.92/517.09	c  516s |      18 |   517427 |   346052 |    10481     62 |        0 |        0
518.92/519.10	c  518s |      18 |   518657 |   347052 |    10481     62 |        0 |        0
521.01/521.14	c  520s |      18 |   519866 |   347952 |    10481     62 |        0 |        0
523.21/523.34	c  523s |      18 |   520960 |   348852 |    10481     62 |        0 |        0
525.41/525.56	c  525s |      18 |   521992 |   349652 |    10481     62 |        0 |        0
527.40/527.56	c  527s |      18 |   523300 |   350652 |    10481     63 |        0 |        0
529.61/529.73	c  529s |      18 |   524422 |   351552 |    10481     63 |        0 |        0
531.70/531.80	c  531s |      18 |   525725 |   352552 |    10481     63 |        0 |        0
533.71/533.88	c  533s |      18 |   526952 |   353552 |    10481     63 |        0 |        0
535.90/536.06	c  535s |      18 |   528168 |   354552 |    10481     63 |        0 |        0
538.01/538.16	c  537s |      18 |   529463 |   355552 |    10481     63 |        0 |        0
540.02/540.18	c  539s |      18 |   530597 |   356452 |    10481     63 |        0 |        0
542.11/542.23	c  541s |      18 |   531556 |   357252 |    10481     64 |        0 |        0
544.11/544.26	c  543s |      18 |   533026 |   358352 |    10481     64 |        0 |        0
546.11/546.30	c  546s |      18 |   538074 |   362052 |    10481     64 |        0 |        0
548.20/548.30	c  548s |      18 |   542564 |   365452 |    10481     65 |        0 |        0
550.20/550.35	c  550s |      18 |   546171 |   368352 |    10481     65 |        0 |        0
552.21/552.39	c  552s |      18 |   549961 |   371452 |    10481     66 |        0 |        0
554.31/554.49	c  554s |      18 |   553421 |   374252 |    10481     66 |        0 |        0
556.41/556.52	c  556s |      18 |   556151 |   376452 |    10481     66 |        0 |        0
558.41/558.57	c  558s |      18 |   560007 |   379452 |    10481     67 |        0 |        0
560.51/560.63	c  560s |      18 |   563514 |   382252 |    10481     67 |        0 |        0
562.51/562.65	c  562s |      18 |   565682 |   384052 |    10481     68 |        0 |        0
564.50/564.65	c  564s |      18 |   569480 |   386952 |    10481     68 |        0 |        0
566.60/566.71	c  566s |      18 |   573527 |   390052 |    10481     69 |        0 |        0
568.61/568.72	c  568s |      18 |   576710 |   392652 |    10481     69 |        0 |        0
570.60/570.77	c  570s |      18 |   579954 |   395152 |    10481     69 |        0 |        0
572.70/572.82	c  572s |      18 |   582974 |   397552 |    10481     70 |        0 |        0
574.80/574.90	c  574s |      18 |   585933 |   399852 |    10481     70 |        0 |        0
576.80/576.94	c  576s |      18 |   589386 |   402552 |    10481     70 |        0 |        0
578.90/579.02	c  578s |      18 |   592553 |   405052 |    10481     71 |        0 |        0
580.90/581.05	c  580s |      18 |   594789 |   406952 |    10481     71 |        0 |        0
583.00/583.12	c  582s |      18 |   597959 |   409352 |    10481     71 |        0 |        0
585.00/585.20	c  584s |      18 |   600411 |   411252 |    10481     72 |        0 |        0
587.20/587.30	c  587s |      18 |   603385 |   413452 |    10481     72 |        0 |        0
589.30/589.40	c  589s |      18 |   605733 |   415252 |    10481     72 |        0 |        0
591.30/591.43	c  591s |      18 |   607276 |   416552 |    10481     73 |        0 |        0
593.30/593.46	c  593s |      18 |   609464 |   418352 |    10481     73 |        0 |        0
595.40/595.54	c  595s |      18 |   611678 |   420252 |    10481     73 |        0 |        0
597.50/597.65	c  597s |      18 |   613586 |   421852 |    10481     73 |        0 |        0
599.60/599.72	c  599s |      18 |   616288 |   423952 |    10481     74 |        0 |        0
601.60/601.72	c  601s |      18 |   618425 |   425652 |    10481     74 |        0 |        0
603.60/603.74	c  603s |      18 |   621206 |   427552 |    10481     74 |        0 |        0
605.60/605.76	c  605s |      18 |   623860 |   429452 |    10481     74 |        0 |        0
607.70/607.80	c  607s |      18 |   627062 |   431952 |    10481     75 |        0 |        0
609.80/609.93	c  609s |      18 |   630020 |   434152 |    10481     75 |        0 |        0
611.80/611.96	c  611s |      18 |   631589 |   435452 |    10481     75 |        0 |        0
613.90/614.01	c  613s |      18 |   633139 |   436652 |    10481     76 |        0 |        0
615.90/616.02	c  615s |      18 |   635699 |   438552 |    10481     76 |        0 |        0
617.89/618.05	c  617s |      18 |   638523 |   440752 |    10481     76 |        0 |        0
619.89/620.09	c  619s |      18 |   641141 |   442852 |    11530     76 |        0 |        0
622.00/622.12	c  621s |      18 |   642722 |   444152 |    11530     77 |        0 |        0
622.30/622.46	c  622s |      19 |   643119 |   444482 |    11530     77 |        0 |        0
624.40/624.59	c  624s |      19 |   647831 |   445982 |    11530     77 |        0 |        0
626.59/626.75	c  626s |      19 |   649192 |   447082 |    11530     77 |        0 |        0
628.80/628.90	c  628s |      19 |   650336 |   447982 |    11530     77 |        0 |        0
630.79/630.92	c  630s |      19 |   651729 |   449082 |    11530     77 |        0 |        0
632.99/633.16	c  632s |      19 |   653102 |   450182 |    11530     77 |        0 |        0
635.10/635.23	c  634s |      19 |   654262 |   451082 |    11530     77 |        0 |        0
637.09/637.27	c  637s |      19 |   655086 |   451782 |    11530     78 |        0 |        0
639.10/639.28	c  639s |      19 |   656201 |   452682 |    11530     78 |        0 |        0
641.39/641.59	c  641s |      19 |   657080 |   453382 |    11530     78 |        0 |        0
643.59/643.72	c  643s |      19 |   658248 |   454282 |    11530     78 |        0 |        0
645.60/645.75	c  645s |      19 |   659807 |   455482 |    11530     78 |        0 |        0
647.59/647.75	c  647s |      19 |   661347 |   456582 |    11530     78 |        0 |        0
649.70/649.88	c  649s |      19 |   662523 |   457482 |    11530     78 |        0 |        0
651.99/652.10	c  651s |      19 |   663682 |   458382 |    11530     78 |        0 |        0
654.09/654.22	c  653s |      19 |   664761 |   459182 |    11530     79 |        0 |        0
656.09/656.25	c  655s |      19 |   665734 |   459882 |    11530     79 |        0 |        0
658.29/658.42	c  658s |      19 |   666861 |   460682 |    11530     79 |        0 |        0
660.29/660.44	c  660s |      19 |   667714 |   461382 |    11530     79 |        0 |        0
662.39/662.55	c  662s |      19 |   668641 |   462082 |    11530     79 |        0 |        0
664.69/664.89	c  664s |      19 |   669442 |   462782 |    11530     79 |        0 |        0
666.99/667.13	c  666s |      19 |   670082 |   463282 |    11530     79 |        0 |        0
669.08/669.20	c  668s |      19 |   670839 |   463882 |    11530     79 |        0 |        0
671.09/671.29	c  671s |      19 |   672010 |   464782 |    11530     79 |        0 |        0
673.59/673.77	c  673s |      19 |   672963 |   465582 |    11530     80 |        0 |        0
675.79/675.93	c  675s |      19 |   673927 |   466382 |    11530     80 |        0 |        0
677.79/677.98	c  677s |      19 |   675025 |   467182 |    11530     80 |        0 |        0
679.79/679.99	c  679s |      19 |   677210 |   468882 |    11530     80 |        0 |        0
681.89/682.01	c  681s |      19 |   678540 |   469982 |    11530     80 |        0 |        0
683.89/684.08	c  683s |      19 |   680158 |   471282 |    11530     80 |        0 |        0
686.09/686.25	c  685s |      19 |   681686 |   472582 |    11530     80 |        0 |        0
688.18/688.34	c  688s |      19 |   683012 |   473682 |    11530     81 |        0 |        0
690.39/690.50	c  690s |      19 |   684414 |   474882 |    11530     81 |        0 |        0
692.38/692.56	c  692s |      19 |   685747 |   475982 |    11530     81 |        0 |        0
694.59/694.72	c  694s |      19 |   686931 |   476982 |    11530     81 |        0 |        0
696.69/696.82	c  696s |      19 |   687877 |   477682 |    11530     81 |        0 |        0
698.88/699.01	c  698s |      19 |   689515 |   478982 |    11530     81 |        0 |        0
700.89/701.08	c  700s |      19 |   690685 |   479882 |    11530     82 |        0 |        0
702.89/703.08	c  702s |      19 |   691794 |   480782 |    11530     82 |        0 |        0
705.09/705.25	c  704s |      19 |   693168 |   481882 |    11530     82 |        0 |        0
707.19/707.38	c  707s |      19 |   694307 |   482782 |    11530     82 |        0 |        0
709.49/709.64	c  709s |      19 |   695122 |   483482 |    11530     82 |        0 |        0
711.69/711.87	c  711s |      19 |   695856 |   484082 |    11530     82 |        0 |        0
713.79/713.98	c  713s |      19 |   697330 |   485182 |    11530     82 |        0 |        0
715.88/716.09	c  715s |      19 |   699522 |   486882 |    11530     82 |        0 |        0
717.99/718.12	c  717s |      19 |   701156 |   488182 |    11530     83 |        0 |        0
720.08/720.22	c  719s |      19 |   703060 |   489582 |    11530     83 |        0 |        0
722.18/722.33	c  722s |      19 |   704685 |   490882 |    11530     83 |        0 |        0
724.28/724.43	c  724s |      19 |   706171 |   491982 |    11530     83 |        0 |        0
726.38/726.52	c  726s |      19 |   707375 |   492882 |    11530     83 |        0 |        0
728.38/728.54	c  728s |      19 |   708507 |   493782 |    11530     83 |        0 |        0
730.58/730.79	c  730s |      19 |   709421 |   494482 |    11530     84 |        0 |        0
732.87/733.01	c  732s |      19 |   710280 |   495182 |    11530     84 |        0 |        0
734.98/735.18	c  734s |      19 |   711064 |   495882 |    11530     84 |        0 |        0
737.38/737.52	c  737s |      19 |   711787 |   496482 |    11530     84 |        0 |        0
739.48/739.66	c  739s |      19 |   712924 |   497382 |    11530     84 |        0 |        0
741.68/741.89	c  741s |      19 |   714258 |   498382 |    11530     84 |        0 |        0
743.87/744.07	c  743s |      19 |   715667 |   499382 |    11530     84 |        0 |        0
746.08/746.25	c  745s |      19 |   716873 |   500282 |    11530     84 |        0 |        0
748.08/748.27	c  748s |      19 |   717729 |   500982 |    11530     84 |        0 |        0
750.18/750.38	c  750s |      19 |   718447 |   501582 |    11530     85 |        0 |        0
752.38/752.53	c  752s |      19 |   719959 |   502782 |    11530     85 |        0 |        0
754.38/754.55	c  754s |      19 |   721141 |   503682 |    11530     85 |        0 |        0
756.57/756.72	c  756s |      19 |   721968 |   504382 |    11530     85 |        0 |        0
758.67/758.88	c  758s |      19 |   722856 |   505082 |    11530     85 |        0 |        0
760.88/761.01	c  760s |      19 |   723860 |   505882 |    11530     85 |        0 |        0
763.07/763.23	c  762s |      19 |   724923 |   506782 |    11530     85 |        0 |        0
765.28/765.40	c  765s |      19 |   725974 |   507582 |    11530     85 |        0 |        0
767.37/767.56	c  767s |      19 |   726976 |   508382 |    11530     85 |        0 |        0
769.57/769.72	c  769s |      19 |   727870 |   509082 |    11530     86 |        0 |        0
771.88/772.01	c  771s |      19 |   728823 |   509782 |    11530     86 |        0 |        0
774.07/774.28	c  774s |      19 |   729729 |   510482 |    11530     86 |        0 |        0
776.28/776.40	c  776s |      19 |   730489 |   511082 |    11530     86 |        0 |        0
778.37/778.50	c  778s |      19 |   731313 |   511782 |    11530     86 |        0 |        0
780.38/780.54	c  780s |      19 |   731927 |   512282 |    11530     86 |        0 |        0
782.37/782.57	c  782s |      19 |   732523 |   512782 |    11530     86 |        0 |        0
784.57/784.74	c  784s |      19 |   733104 |   513282 |    11530     86 |        0 |        0
786.67/786.81	c  786s |      19 |   733570 |   513682 |    11530     86 |        0 |        0
788.68/788.82	c  788s |      19 |   734150 |   514182 |    11530     86 |        0 |        0
790.87/791.07	c  790s |      19 |   734903 |   514782 |    11530     86 |        0 |        0
793.27/793.43	c  793s |      19 |   735669 |   515382 |    11530     86 |        0 |        0
795.37/795.56	c  795s |      19 |   736300 |   515882 |    11530     87 |        0 |        0
797.77/797.90	c  797s |      19 |   737057 |   516482 |    11530     87 |        0 |        0
799.97/800.13	c  799s |      19 |   737864 |   517082 |    11530     87 |        0 |        0
802.26/802.47	c  802s |      19 |   738806 |   517782 |    11530     87 |        0 |        0
804.37/804.58	c  804s |      19 |   739430 |   518282 |    11530     87 |        0 |        0
806.47/806.61	c  806s |      19 |   740252 |   518882 |    11530     87 |        0 |        0
808.77/808.98	c  808s |      19 |   741043 |   519482 |    11530     87 |        0 |        0
810.97/811.16	c  810s |      19 |   741604 |   519982 |    11530     87 |        0 |        0
813.07/813.24	c  812s |      19 |   742237 |   520482 |    11530     87 |        0 |        0
815.16/815.37	c  815s |      19 |   742902 |   520982 |    11530     87 |        0 |        0
817.27/817.48	c  817s |      19 |   744899 |   522482 |    11530     87 |        0 |        0
819.38/819.56	c  819s |      19 |   746086 |   523382 |    11530     88 |        0 |        0
821.46/821.65	c  821s |      19 |   747259 |   524282 |    11530     88 |        0 |        0
823.57/823.76	c  823s |      19 |   748849 |   525482 |    11530     88 |        0 |        0
825.76/825.97	c  825s |      19 |   749849 |   526282 |    11530     88 |        0 |        0
827.86/828.01	c  827s |      19 |   750811 |   527082 |    11530     88 |        0 |        0
830.07/830.29	c  830s |      19 |   751787 |   527882 |    11530     88 |        0 |        0
832.36/832.59	c  832s |      19 |   752692 |   528582 |    11530     88 |        0 |        0
834.66/834.88	c  834s |      19 |   753297 |   529082 |    11530     88 |        0 |        0
836.76/836.93	c  836s |      19 |   754177 |   529782 |    11530     88 |        0 |        0
838.77/838.99	c  838s |      19 |   755239 |   530582 |    11530     89 |        0 |        0
840.96/841.11	c  840s |      19 |   756352 |   531482 |    11530     89 |        0 |        0
843.26/843.46	c  843s |      19 |   757599 |   532482 |    11530     89 |        0 |        0
845.47/845.61	c  845s |      19 |   758648 |   533282 |    11530     89 |        0 |        0
847.46/847.69	c  847s |      19 |   759911 |   534282 |    11530     89 |        0 |        0
849.56/849.79	c  849s |      19 |   761331 |   535382 |    11530     89 |        0 |        0
851.76/851.91	c  851s |      19 |   762792 |   536482 |    11530     89 |        0 |        0
853.96/854.17	c  853s |      19 |   763845 |   537282 |    11530     90 |        0 |        0
856.16/856.39	c  856s |      19 |   764796 |   537982 |    11530     90 |        0 |        0
858.66/858.86	c  858s |      19 |   765604 |   538582 |    11530     90 |        0 |        0
860.76/860.96	c  860s |      19 |   766775 |   539482 |    11530     90 |        0 |        0
862.86/863.07	c  862s |      19 |   767934 |   540382 |    11530     90 |        0 |        0
864.96/865.12	c  864s |      19 |   768786 |   540982 |    11530     90 |        0 |        0
867.16/867.36	c  867s |      19 |   769570 |   541582 |    11530     90 |        0 |        0
869.25/869.40	c  869s |      19 |   770167 |   542082 |    11530     90 |        0 |        0
871.36/871.55	c  871s |      19 |   770622 |   542482 |    11530     90 |        0 |        0
873.55/873.76	c  873s |      19 |   771158 |   542882 |    11530     90 |        0 |        0
875.86/876.08	c  875s |      19 |   772160 |   543582 |    11530     90 |        0 |        0
877.95/878.13	c  877s |      19 |   772683 |   543982 |    11530     90 |        0 |        0
880.06/880.28	c  880s |      19 |   773346 |   544482 |    11530     91 |        0 |        0
882.56/882.73	c  882s |      19 |   773930 |   544982 |    11530     91 |        0 |        0
884.55/884.77	c  884s |      19 |   774785 |   545582 |    11530     91 |        0 |        0
886.65/886.87	c  886s |      19 |   777980 |   547982 |    11530     91 |        0 |        0
888.66/888.88	c  888s |      19 |   780081 |   549682 |    11530     91 |        0 |        0
890.86/891.02	c  890s |      19 |   782142 |   551382 |    11530     91 |        0 |        0
892.96/893.12	c  892s |      19 |   783806 |   552782 |    11530     92 |        0 |        0
894.96/895.16	c  894s |      19 |   785596 |   554282 |    11530     92 |        0 |        0
897.05/897.23	c  896s |      19 |   787644 |   555982 |    11530     92 |        0 |        0
899.06/899.28	c  899s |      19 |   789275 |   557282 |    11530     92 |        0 |        0
901.16/901.37	c  901s |      19 |   790993 |   558582 |    11530     93 |        0 |        0
903.25/903.45	c  903s |      19 |   792685 |   559882 |    11530     93 |        0 |        0
905.25/905.48	c  905s |      19 |   794996 |   561782 |    11530     93 |        0 |        0
907.46/907.63	c  907s |      19 |   797021 |   563482 |    11530     93 |        0 |        0
909.45/909.63	c  909s |      19 |   798909 |   565082 |    11530     93 |        0 |        0
911.45/911.66	c  911s |      19 |   800628 |   566482 |    11530     94 |        0 |        0
913.55/913.74	c  913s |      19 |   802499 |   567882 |    11530     94 |        0 |        0
915.75/915.94	c  915s |      19 |   803993 |   569082 |    11530     94 |        0 |        0
917.85/918.09	c  917s |      19 |   805603 |   570182 |    11530     94 |        0 |        0
920.05/920.26	c  919s |      19 |   806988 |   571182 |    11530     94 |        0 |        0
922.25/922.45	c  922s |      19 |   808156 |   572082 |    11530     94 |        0 |        0
924.65/924.82	c  924s |      19 |   809288 |   572982 |    11530     95 |        0 |        0
926.85/927.01	c  926s |      19 |   810311 |   573782 |    11530     95 |        0 |        0
928.85/929.04	c  928s |      19 |   812090 |   575082 |    11530     95 |        0 |        0
930.85/931.08	c  930s |      19 |   813664 |   576182 |    11530     95 |        0 |        0
932.94/933.16	c  932s |      19 |   814946 |   577182 |    11530     95 |        0 |        0
935.05/935.24	c  934s |      19 |   816471 |   578382 |    11530     95 |        0 |        0
937.05/937.25	c  936s |      19 |   818236 |   579582 |    11530     95 |        0 |        0
939.04/939.26	c  938s |      19 |   820373 |   581182 |    11530     96 |        0 |        0
941.15/941.35	c  941s |      19 |   822867 |   583082 |    11530     96 |        0 |        0
943.35/943.50	c  943s |      19 |   824822 |   584682 |    11530     96 |        0 |        0
945.35/945.55	c  945s |      19 |   826621 |   586082 |    11530     96 |        0 |        0
947.45/947.69	c  947s |      19 |   828224 |   587282 |    11530     97 |        0 |        0
949.54/949.79	c  949s |      19 |   829889 |   588582 |    11530     97 |        0 |        0
951.74/951.94	c  951s |      19 |   831306 |   589682 |    11530     97 |        0 |        0
953.74/953.98	c  953s |      19 |   832601 |   590682 |    11530     97 |        0 |        0
955.85/956.04	c  955s |      19 |   833543 |   591482 |    11530     97 |        0 |        0
958.05/958.23	c  957s |      19 |   834444 |   592182 |    11530     97 |        0 |        0
960.05/960.26	c  959s |      19 |   835704 |   593182 |    11530     97 |        0 |        0
962.14/962.39	c  962s |      19 |   837338 |   594382 |    11530     97 |        0 |        0
964.35/964.54	c  964s |      19 |   838685 |   595382 |    11530     98 |        0 |        0
966.44/966.64	c  966s |      19 |   839716 |   596182 |    11530     98 |        0 |        0
968.65/968.81	c  968s |      19 |   841137 |   597182 |    11530     98 |        0 |        0
970.64/970.87	c  970s |      19 |   842119 |   597882 |    11530     98 |        0 |        0
972.74/972.95	c  972s |      19 |   843765 |   599082 |    11530     98 |        0 |        0
974.84/975.08	c  974s |      19 |   845385 |   600282 |    11530     98 |        0 |        0
976.85/977.09	c  976s |      19 |   846404 |   601082 |    11530     98 |        0 |        0
978.95/979.18	c  978s |      19 |   847703 |   602082 |    11530     99 |        0 |        0
981.05/981.29	c  981s |      19 |   849047 |   603082 |    11530     99 |        0 |        0
983.14/983.35	c  983s |      19 |   850067 |   603882 |    11530     99 |        0 |        0
985.34/985.51	c  985s |      19 |   851152 |   604682 |    11530     99 |        0 |        0
987.34/987.59	c  987s |      19 |   852391 |   605582 |    11530     99 |        0 |        0
989.44/989.60	c  989s |      19 |   853661 |   606482 |    11530     99 |        0 |        0
991.64/991.88	c  991s |      19 |   854685 |   607282 |    11530     99 |        0 |        0
993.84/994.06	c  993s |      19 |   855746 |   608082 |    11530     99 |        0 |        0
995.84/996.08	c  995s |      19 |   856373 |   608582 |    11530     99 |        0 |        0
997.94/998.15	c  997s |      19 |   857110 |   609182 |    11530    100 |        0 |        0
1000.14/1000.34	c 1000s |      19 |   857979 |   609882 |    11530    100 |        0 |        0
1002.34/1002.57	c 1002s |      19 |   858841 |   610582 |    11530    100 |        0 |        0
1004.64/1004.83	c 1004s |      19 |   859750 |   611282 |    11530    100 |        0 |        0
1006.64/1006.87	c 1006s |      19 |   860513 |   611882 |    11530    100 |        0 |        0
1008.93/1009.16	c 1008s |      19 |   861335 |   612582 |    11530    100 |        0 |        0
1011.24/1011.45	c 1011s |      19 |   862072 |   613182 |    11530    100 |        0 |        0
1013.53/1013.72	c 1013s |      19 |   862789 |   613782 |    11530    100 |        0 |        0
1015.54/1015.76	c 1015s |      19 |   863420 |   614282 |    11530    100 |        0 |        0
1017.83/1018.03	c 1017s |      19 |   864272 |   614882 |    11530    100 |        0 |        0
1020.14/1020.30	c 1020s |      19 |   865079 |   615482 |    11530    100 |        0 |        0
1022.23/1022.45	c 1022s |      19 |   865552 |   615882 |    11530    100 |        0 |        0
1024.34/1024.55	c 1024s |      19 |   866014 |   616282 |    11530    101 |        0 |        0
1026.73/1026.94	c 1026s |      19 |   866628 |   616782 |    11530    101 |        0 |        0
1028.94/1029.10	c 1028s |      19 |   867535 |   617482 |    11530    101 |        0 |        0
1031.23/1031.40	c 1031s |      19 |   868740 |   618482 |    11530    101 |        0 |        0
1033.23/1033.49	c 1033s |      19 |   869904 |   619382 |    11530    101 |        0 |        0
1035.54/1035.70	c 1035s |      19 |   870890 |   620182 |    11530    101 |        0 |        0
1037.74/1037.95	c 1037s |      19 |   871621 |   620782 |    11530    101 |        0 |        0
1039.93/1040.13	c 1039s |      19 |   872491 |   621482 |    11530    101 |        0 |        0
1042.23/1042.44	c 1042s |      19 |   873487 |   622282 |    11530    101 |        0 |        0
1044.23/1044.46	c 1044s |      19 |   874359 |   622982 |    11530    101 |        0 |        0
1046.33/1046.56	c 1046s |      19 |   875163 |   623582 |    11530    102 |        0 |        0
1048.33/1048.58	c 1048s |      19 |   875980 |   624282 |    11530    102 |        0 |        0
1050.53/1050.76	c 1050s |      19 |   876928 |   625082 |    11530    102 |        0 |        0
1052.73/1052.99	c 1052s |      19 |   877914 |   625882 |    11530    102 |        0 |        0
1054.93/1055.16	c 1054s |      19 |   878735 |   626582 |    11530    102 |        0 |        0
1057.23/1057.47	c 1057s |      19 |   879621 |   627282 |    11530    102 |        0 |        0
1059.33/1059.51	c 1059s |      19 |   880381 |   627882 |    11530    102 |        0 |        0
1061.53/1061.74	c 1061s |      19 |   881121 |   628482 |    11530    102 |        0 |        0
1063.73/1063.91	c 1063s |      19 |   882468 |   629482 |    11530    102 |        0 |        0
1065.74/1065.96	c 1065s |      19 |   883377 |   630182 |    11530    103 |        0 |        0
1067.93/1068.16	c 1067s |      19 |   884761 |   631282 |    11530    103 |        0 |        0
1070.24/1070.48	c 1070s |      19 |   885999 |   632282 |    11530    103 |        0 |        0
1072.33/1072.51	c 1072s |      19 |   887143 |   633182 |    11530    103 |        0 |        0
1074.54/1074.70	c 1074s |      19 |   888213 |   633982 |    11530    103 |        0 |        0
1076.74/1076.96	c 1076s |      19 |   889470 |   634982 |    11530    103 |        0 |        0
1078.82/1079.05	c 1078s |      19 |   890382 |   635682 |    11530    103 |        0 |        0
1080.92/1081.17	c 1080s |      19 |   891196 |   636382 |    11530    103 |        0 |        0
1082.93/1083.19	c 1082s |      19 |   892071 |   637082 |    11530    103 |        0 |        0
1085.23/1085.42	c 1085s |      19 |   892646 |   637582 |    11530    104 |        0 |        0
1087.52/1087.74	c 1087s |      19 |   893353 |   638182 |    11530    104 |        0 |        0
1089.63/1089.81	c 1089s |      19 |   894393 |   638982 |    11530    104 |        0 |        0
1091.63/1091.86	c 1091s |      19 |   895599 |   639882 |    11530    104 |        0 |        0
1093.72/1093.95	c 1093s |      19 |   896950 |   640882 |    11530    104 |        0 |        0
1095.93/1096.19	c 1095s |      19 |   897936 |   641682 |    11530    104 |        0 |        0
1098.13/1098.32	c 1098s |      19 |   898886 |   642382 |    11530    104 |        0 |        0
1100.22/1100.48	c 1100s |      19 |   899669 |   642982 |    11530    104 |        0 |        0
1102.62/1102.82	c 1102s |      19 |   900442 |   643582 |    11530    104 |        0 |        0
1104.72/1104.93	c 1104s |      19 |   901048 |   644082 |    11530    104 |        0 |        0
1107.22/1107.41	c 1107s |      19 |   901597 |   644482 |    11530    105 |        0 |        0
1109.23/1109.44	c 1109s |      19 |   902795 |   645382 |    11530    105 |        0 |        0
1111.22/1111.45	c 1111s |      19 |   904024 |   646382 |    11530    105 |        0 |        0
1113.42/1113.61	c 1113s |      19 |   905122 |   647282 |    11530    105 |        0 |        0
1115.52/1115.70	c 1115s |      19 |   906389 |   648182 |    11530    105 |        0 |        0
1117.53/1117.71	c 1117s |      19 |   907641 |   649082 |    11530    105 |        0 |        0
1119.73/1119.92	c 1119s |      19 |   908698 |   649882 |    11530    105 |        0 |        0
1121.82/1122.04	c 1121s |      19 |   909986 |   650782 |    11530    105 |        0 |        0
1124.42/1124.67	c 1124s |      19 |   911260 |   651582 |    11530    106 |        0 |        0
1126.62/1126.89	c 1126s |      19 |   912661 |   652682 |    11530    106 |        0 |        0
1128.72/1128.96	c 1128s |      19 |   913523 |   653382 |    11530    106 |        0 |        0
1130.82/1131.06	c 1130s |      19 |   914381 |   654082 |    11530    106 |        0 |        0
1132.92/1133.19	c 1132s |      19 |   915310 |   654882 |    11530    106 |        0 |        0
1135.13/1135.32	c 1135s |      19 |   916131 |   655582 |    11530    106 |        0 |        0
1137.12/1137.33	c 1137s |      19 |   916854 |   656182 |    11530    106 |        0 |        0
1139.22/1139.46	c 1139s |      19 |   917614 |   656782 |    11530    106 |        0 |        0
1141.41/1141.62	c 1141s |      19 |   918264 |   657382 |    11530    106 |        0 |        0
1143.83/1144.06	c 1143s |      19 |   919043 |   657982 |    11530    106 |        0 |        0
1145.82/1146.08	c 1145s |      19 |   919734 |   658582 |    11530    106 |        0 |        0
1147.91/1148.16	c 1147s |      19 |   920503 |   659182 |    11530    107 |        0 |        0
1149.92/1150.16	c 1149s |      19 |   921343 |   659882 |    11530    107 |        0 |        0
1152.21/1152.43	c 1152s |      19 |   922621 |   660882 |    11530    107 |        0 |        0
1154.21/1154.48	c 1154s |      19 |   923811 |   661782 |    11530    107 |        0 |        0
1156.32/1156.57	c 1156s |      19 |   924694 |   662482 |    12684    107 |        0 |        0
1158.41/1158.69	c 1158s |      19 |   925767 |   663282 |    12684    107 |        0 |        0
1160.71/1160.96	c 1160s |      19 |   926643 |   663982 |    12684    107 |        0 |        0
1162.92/1163.18	c 1162s |      19 |   927507 |   664682 |    12684    107 |        0 |        0
1165.21/1165.40	c 1165s |      19 |   928616 |   665382 |    12684    107 |        0 |        0
1167.21/1167.40	c 1167s |      19 |   929803 |   666182 |    12684    107 |        0 |        0
1168.21/1168.43	c 1168s |      20 |   930849 |   666827 |    12684    107 |        0 |        0
1170.31/1170.53	c 1170s |      20 |   934420 |   667427 |    12684    108 |        0 |        0
1172.42/1172.69	c 1172s |      20 |   936550 |   668927 |    12684    108 |        0 |        0
1174.72/1174.91	c 1174s |      20 |   938086 |   669927 |    12684    108 |        0 |        0
1176.81/1177.08	c 1176s |      20 |   939743 |   670927 |    12684    108 |        0 |        0
1178.91/1179.19	c 1178s |      20 |   942117 |   672627 |    12684    108 |        0 |        0
1181.10/1181.34	c 1181s |      20 |   943922 |   674027 |    12684    108 |        0 |        0
1183.20/1183.47	c 1183s |      20 |   945064 |   674927 |    12684    109 |        0 |        0
1185.30/1185.50	c 1185s |      20 |   946193 |   675827 |    12684    109 |        0 |        0
1187.50/1187.79	c 1187s |      20 |   947362 |   676727 |    12684    109 |        0 |        0
1189.70/1189.92	c 1189s |      20 |   948508 |   677627 |    12684    109 |        0 |        0
1191.89/1192.17	c 1191s |      20 |   949525 |   678427 |    12684    109 |        0 |        0
1194.30/1194.52	c 1194s |      20 |   950524 |   679227 |    12684    109 |        0 |        0
1196.49/1196.74	c 1196s |      20 |   951302 |   679827 |    12684    109 |        0 |        0
1198.49/1198.77	c 1198s |      20 |   952263 |   680627 |    12684    109 |        0 |        0
1200.59/1200.87	c 1200s |      20 |   953150 |   681327 |    12684    109 |        0 |        0
1202.98/1203.22	c 1202s |      20 |   953848 |   681927 |    12684    109 |        0 |        0
1205.19/1205.44	c 1205s |      20 |   954439 |   682427 |    12684    110 |        0 |        0
1207.19/1207.47	c 1207s |      20 |   955033 |   682927 |    12684    110 |        0 |        0
1209.29/1209.51	c 1209s |      20 |   955899 |   683627 |    12684    110 |        0 |        0
1211.38/1211.68	c 1211s |      20 |   956541 |   684127 |    12684    110 |        0 |        0
1213.48/1213.71	c 1213s |      20 |   958057 |   685327 |    12684    110 |        0 |        0
1215.58/1215.82	c 1215s |      20 |   959460 |   686427 |    12684    110 |        0 |        0
1217.59/1217.89	c 1217s |      20 |   960603 |   687327 |    12684    110 |        0 |        0
1219.88/1220.15	c 1219s |      20 |   961940 |   688327 |    12684    110 |        0 |        0
1221.98/1222.23	c 1221s |      20 |   963555 |   689527 |    12684    110 |        0 |        0
1223.98/1224.26	c 1223s |      20 |   964698 |   690327 |    12684    111 |        0 |        0
1226.07/1226.33	c 1226s |      20 |   966094 |   691427 |    12684    111 |        0 |        0
1228.07/1228.36	c 1228s |      20 |   967486 |   692427 |    12684    111 |        0 |        0
1230.18/1230.41	c 1230s |      20 |   968949 |   693527 |    12684    111 |        0 |        0
1232.37/1232.63	c 1232s |      20 |   970365 |   694627 |    12684    111 |        0 |        0
1234.37/1234.66	c 1234s |      20 |   971314 |   695427 |    12684    111 |        0 |        0
1236.47/1236.77	c 1236s |      20 |   972483 |   696327 |    12684    111 |        0 |        0
1238.67/1238.98	c 1238s |      20 |   973347 |   697027 |    12684    111 |        0 |        0
1240.76/1241.04	c 1240s |      20 |   974068 |   697627 |    12684    111 |        0 |        0
1243.07/1243.31	c 1243s |      20 |   974798 |   698127 |    12684    112 |        0 |        0
1245.36/1245.62	c 1245s |      20 |   975522 |   698727 |    12684    112 |        0 |        0
1247.56/1247.89	c 1247s |      20 |   976244 |   699327 |    12684    112 |        0 |        0
1249.66/1249.99	c 1249s |      20 |   976834 |   699827 |    12684    112 |        0 |        0
1251.86/1252.12	c 1251s |      20 |   977429 |   700327 |    12684    112 |        0 |        0
1253.96/1254.25	c 1253s |      20 |   978955 |   701527 |    12684    112 |        0 |        0
1255.96/1256.28	c 1256s |      20 |   980306 |   702627 |    12684    112 |        0 |        0
1258.06/1258.33	c 1258s |      20 |   981572 |   703627 |    12684    112 |        0 |        0
1260.05/1260.35	c 1260s |      20 |   982456 |   704327 |    12684    112 |        0 |        0
1262.16/1262.49	c 1262s |      20 |   983592 |   705227 |    12684    112 |        0 |        0
1264.25/1264.51	c 1264s |      20 |   984548 |   705927 |    12684    113 |        0 |        0
1266.46/1266.70	c 1266s |      20 |   985997 |   707027 |    12684    113 |        0 |        0
1268.45/1268.73	c 1268s |      20 |   987256 |   707927 |    12684    113 |        0 |        0
1270.56/1270.81	c 1270s |      20 |   988485 |   708827 |    12684    113 |        0 |        0
1272.65/1272.99	c 1272s |      20 |   989851 |   709827 |    12684    113 |        0 |        0
1274.75/1275.02	c 1274s |      20 |   990846 |   710627 |    12684    113 |        0 |        0
1276.85/1277.15	c 1276s |      20 |   991809 |   711427 |    12684    113 |        0 |        0
1279.16/1279.41	c 1279s |      20 |   992694 |   712127 |    12684    113 |        0 |        0
1281.25/1281.57	c 1281s |      20 |   993478 |   712727 |    12684    113 |        0 |        0
1283.55/1283.84	c 1283s |      20 |   994312 |   713327 |    12684    114 |        0 |        0
1285.65/1285.96	c 1285s |      20 |   995204 |   714027 |    12684    114 |        0 |        0
1287.75/1288.03	c 1287s |      20 |   996361 |   715027 |    12684    114 |        0 |        0
1289.94/1290.26	c 1289s |      20 |   997358 |   715827 |    12684    114 |        0 |        0
1292.24/1292.52	c 1292s |      20 |   998427 |   716627 |    12684    114 |        0 |        0
1294.34/1294.61	c 1294s |      20 |   999406 |   717427 |    12684    114 |        0 |        0
1296.53/1296.80	c 1296s |      20 |  1000253 |   718127 |    12684    114 |        0 |        0
1298.53/1298.85	c 1298s |      20 |  1000989 |   718727 |    12684    114 |        0 |        0
1300.93/1301.22	c 1300s |      20 |  1001869 |   719427 |    12684    114 |        0 |        0
1303.12/1303.45	c 1303s |      20 |  1002650 |   720027 |    12684    114 |        0 |        0
1305.33/1305.64	c 1305s |      20 |  1003451 |   720627 |    12684    114 |        0 |        0
1307.52/1307.86	c 1307s |      20 |  1003981 |   721027 |    12684    115 |        0 |        0
1309.83/1310.12	c 1309s |      20 |  1004906 |   721727 |    12684    115 |        0 |        0
1311.82/1312.16	c 1311s |      20 |  1005855 |   722427 |    12684    115 |        0 |        0
1314.02/1314.39	c 1314s |      20 |  1006768 |   723127 |    12684    115 |        0 |        0
1316.12/1316.41	c 1316s |      20 |  1007600 |   723727 |    12684    115 |        0 |        0
1318.32/1318.62	c 1318s |      20 |  1008507 |   724427 |    12684    115 |        0 |        0
1320.52/1320.89	c 1320s |      20 |  1009387 |   725127 |    12684    115 |        0 |        0
1322.62/1322.94	c 1322s |      20 |  1010260 |   725727 |    12684    115 |        0 |        0
1324.62/1324.99	c 1324s |      20 |  1011230 |   726427 |    12684    115 |        0 |        0
1326.92/1327.29	c 1327s |      20 |  1011996 |   727027 |    12684    115 |        0 |        0
1329.22/1329.50	c 1329s |      20 |  1012779 |   727627 |    12684    115 |        0 |        0
1331.31/1331.60	c 1331s |      20 |  1013464 |   728127 |    12684    115 |        0 |        0
1333.31/1333.64	c 1333s |      20 |  1013941 |   728527 |    12684    115 |        0 |        0
1335.51/1335.88	c 1335s |      20 |  1014415 |   728827 |    12684    116 |        0 |        0
1337.91/1338.24	c 1337s |      20 |  1015192 |   729427 |    12684    116 |        0 |        0
1340.01/1340.36	c 1340s |      20 |  1015795 |   729927 |    12684    116 |        0 |        0
1342.51/1342.89	c 1342s |      20 |  1016407 |   730427 |    12684    116 |        0 |        0
1344.81/1345.13	c 1344s |      20 |  1016978 |   730927 |    12684    116 |        0 |        0
1347.01/1347.34	c 1347s |      20 |  1017860 |   731627 |    12684    116 |        0 |        0
1349.21/1349.56	c 1349s |      20 |  1018852 |   732427 |    12684    116 |        0 |        0
1351.30/1351.63	c 1351s |      20 |  1020029 |   733327 |    12684    116 |        0 |        0
1353.60/1353.95	c 1353s |      20 |  1020882 |   734027 |    12684    116 |        0 |        0
1355.90/1356.25	c 1355s |      20 |  1021759 |   734727 |    12684    116 |        0 |        0
1357.89/1358.26	c 1357s |      20 |  1022942 |   735627 |    12684    116 |        0 |        0
1359.90/1360.28	c 1360s |      20 |  1024316 |   736727 |    12684    117 |        0 |        0
1362.00/1362.36	c 1362s |      20 |  1026210 |   738227 |    12684    117 |        0 |        0
1364.19/1364.56	c 1364s |      20 |  1027545 |   739227 |    12684    117 |        0 |        0
1366.19/1366.56	c 1366s |      20 |  1029140 |   740527 |    12684    117 |        0 |        0
1368.20/1368.56	c 1368s |      20 |  1030195 |   741327 |    12684    117 |        0 |        0
1370.30/1370.63	c 1370s |      20 |  1031389 |   742327 |    12684    117 |        0 |        0
1372.29/1372.66	c 1372s |      20 |  1032311 |   743127 |    12684    117 |        0 |        0
1374.28/1374.68	c 1374s |      20 |  1032984 |   743727 |    12684    117 |        0 |        0
1376.69/1377.02	c 1376s |      20 |  1033824 |   744427 |    12684    118 |        0 |        0
1378.88/1379.24	c 1378s |      20 |  1034631 |   745127 |    12684    118 |        0 |        0
1380.97/1381.34	c 1381s |      20 |  1036475 |   746627 |    12684    118 |        0 |        0
1382.97/1383.37	c 1383s |      20 |  1038599 |   748427 |    12684    118 |        0 |        0
1385.18/1385.57	c 1385s |      20 |  1040168 |   749727 |    12684    118 |        0 |        0
1387.28/1387.61	c 1387s |      20 |  1041399 |   750727 |    12684    118 |        0 |        0
1389.28/1389.64	c 1389s |      20 |  1042640 |   751727 |    12684    118 |        0 |        0
1391.47/1391.84	c 1391s |      20 |  1043720 |   752627 |    12684    119 |        0 |        0
1393.78/1394.13	c 1393s |      20 |  1044820 |   753527 |    12684    119 |        0 |        0
1395.97/1396.30	c 1396s |      20 |  1045967 |   754527 |    12684    119 |        0 |        0
1398.08/1398.47	c 1398s |      20 |  1047443 |   755727 |    12684    119 |        0 |        0
1400.17/1400.55	c 1400s |      20 |  1049515 |   757327 |    12684    119 |        0 |        0
1402.18/1402.57	c 1402s |      20 |  1050902 |   758427 |    12684    119 |        0 |        0
1404.38/1404.72	c 1404s |      20 |  1052369 |   759527 |    12684    119 |        0 |        0
1406.37/1406.76	c 1406s |      20 |  1054459 |   761327 |    12684    120 |        0 |        0
1408.56/1408.90	c 1408s |      20 |  1056871 |   763327 |    12684    120 |        0 |        0
1410.57/1410.98	c 1410s |      20 |  1058577 |   764727 |    12684    120 |        0 |        0
1412.56/1412.99	c 1412s |      20 |  1059738 |   765727 |    12684    120 |        0 |        0
1414.76/1415.11	c 1414s |      20 |  1061020 |   766727 |    12684    120 |        0 |        0
1416.87/1417.21	c 1416s |      20 |  1061897 |   767427 |    12684    121 |        0 |        0
1418.96/1419.33	c 1419s |      20 |  1062882 |   768227 |    12684    121 |        0 |        0
1421.15/1421.52	c 1421s |      20 |  1064198 |   769327 |    12684    121 |        0 |        0
1423.26/1423.68	c 1423s |      20 |  1065445 |   770327 |    12684    121 |        0 |        0
1425.56/1425.91	c 1425s |      20 |  1066684 |   771327 |    12684    121 |        0 |        0
1427.66/1428.03	c 1427s |      20 |  1068270 |   772627 |    12684    121 |        0 |        0
1429.86/1430.21	c 1429s |      20 |  1069718 |   773827 |    12684    121 |        0 |        0
1431.86/1432.26	c 1431s |      20 |  1071166 |   775027 |    12684    121 |        0 |        0
1433.95/1434.33	c 1434s |      20 |  1072472 |   776127 |    12684    122 |        0 |        0
1436.05/1436.44	c 1436s |      20 |  1073459 |   776927 |    12684    122 |        0 |        0
1438.15/1438.56	c 1438s |      20 |  1074741 |   777927 |    12684    122 |        0 |        0
1440.25/1440.60	c 1440s |      20 |  1075946 |   778927 |    12684    122 |        0 |        0
1442.25/1442.63	c 1442s |      20 |  1076920 |   779727 |    12684    122 |        0 |        0
1444.44/1444.86	c 1444s |      20 |  1077917 |   780527 |    12684    122 |        0 |        0
1446.65/1447.03	c 1446s |      20 |  1078766 |   781227 |    12684    122 |        0 |        0
1448.65/1449.06	c 1448s |      20 |  1079779 |   782027 |    12684    122 |        0 |        0
1450.84/1451.26	c 1450s |      20 |  1080766 |   782827 |    12684    122 |        0 |        0
1452.94/1453.35	c 1453s |      20 |  1081681 |   783527 |    12684    123 |        0 |        0
1455.15/1455.54	c 1455s |      20 |  1082664 |   784327 |    12684    123 |        0 |        0
1457.25/1457.68	c 1457s |      20 |  1083390 |   784927 |    12684    123 |        0 |        0
1459.45/1459.82	c 1459s |      20 |  1084774 |   786027 |    12684    123 |        0 |        0
1461.56/1461.92	c 1461s |      20 |  1086022 |   787027 |    12684    123 |        0 |        0
1463.64/1464.09	c 1463s |      20 |  1087298 |   788027 |    12684    123 |        0 |        0
1465.95/1466.35	c 1466s |      20 |  1088241 |   788827 |    12684    123 |        0 |        0
1468.25/1468.61	c 1468s |      20 |  1089130 |   789527 |    12684    123 |        0 |        0
1470.45/1470.80	c 1470s |      20 |  1090244 |   790427 |    12684    123 |        0 |        0
1472.44/1472.86	c 1472s |      20 |  1091163 |   791127 |    12684    124 |        0 |        0
1474.54/1474.92	c 1474s |      20 |  1092840 |   792427 |    12684    124 |        0 |        0
1476.65/1477.06	c 1476s |      20 |  1093709 |   793127 |    12684    124 |        0 |        0
1478.84/1479.21	c 1478s |      20 |  1094589 |   793827 |    12684    124 |        0 |        0
1481.04/1481.43	c 1481s |      20 |  1095479 |   794527 |    12684    124 |        0 |        0
1483.34/1483.72	c 1483s |      20 |  1096232 |   795127 |    12684    124 |        0 |        0
1485.34/1485.78	c 1485s |      20 |  1096962 |   795727 |    12684    124 |        0 |        0
1487.44/1487.89	c 1487s |      20 |  1097623 |   796227 |    12684    124 |        0 |        0
1489.64/1490.01	c 1489s |      20 |  1099553 |   797627 |    12684    124 |        0 |        0
1491.64/1492.05	c 1491s |      20 |  1100745 |   798527 |    12684    125 |        0 |        0
1493.74/1494.12	c 1493s |      20 |  1102167 |   799627 |    12684    125 |        0 |        0
1495.84/1496.23	c 1495s |      20 |  1103394 |   800627 |    12684    125 |        0 |        0
1497.85/1498.23	c 1497s |      20 |  1104478 |   801527 |    12684    125 |        0 |        0
1500.05/1500.42	c 1500s |      20 |  1105695 |   802527 |    12684    125 |        0 |        0
1502.14/1502.56	c 1502s |      20 |  1106766 |   803427 |    12684    125 |        0 |        0
1504.34/1504.71	c 1504s |      20 |  1107835 |   804327 |    12684    125 |        0 |        0
1506.44/1506.86	c 1506s |      20 |  1108895 |   805227 |    12684    125 |        0 |        0
1508.54/1508.98	c 1508s |      20 |  1109842 |   806027 |    12684    125 |        0 |        0
1510.64/1511.04	c 1510s |      20 |  1111122 |   807027 |    12684    126 |        0 |        0
1512.74/1513.14	c 1512s |      20 |  1113767 |   808927 |    12684    126 |        0 |        0
1514.74/1515.17	c 1514s |      20 |  1115582 |   810227 |    12684    126 |        0 |        0
1516.83/1517.22	c 1516s |      20 |  1117454 |   811727 |    12684    126 |        0 |        0
1518.84/1519.29	c 1519s |      20 |  1119131 |   812927 |    12684    126 |        0 |        0
1521.05/1521.44	c 1521s |      20 |  1120740 |   814127 |    12684    127 |        0 |        0
1523.14/1523.50	c 1523s |      20 |  1122439 |   815427 |    12684    127 |        0 |        0
1525.23/1525.62	c 1525s |      20 |  1124112 |   816627 |    12684    127 |        0 |        0
1527.33/1527.70	c 1527s |      20 |  1125584 |   817827 |    12684    127 |        0 |        0
1529.33/1529.75	c 1529s |      20 |  1127217 |   819027 |    12684    127 |        0 |        0
1531.43/1531.83	c 1531s |      20 |  1128785 |   820227 |    12684    127 |        0 |        0
1533.43/1533.84	c 1533s |      20 |  1129944 |   821127 |    12684    127 |        0 |        0
1535.53/1535.95	c 1535s |      20 |  1131247 |   822127 |    12684    128 |        0 |        0
1537.63/1538.07	c 1537s |      20 |  1132808 |   823327 |    12684    128 |        0 |        0
1539.74/1540.14	c 1539s |      20 |  1134200 |   824327 |    12684    128 |        0 |        0
1541.84/1542.30	c 1542s |      20 |  1135447 |   825327 |    12684    128 |        0 |        0
1544.14/1544.57	c 1544s |      20 |  1136593 |   826227 |    12684    128 |        0 |        0
1546.24/1546.64	c 1546s |      20 |  1137836 |   827127 |    12684    128 |        0 |        0
1548.33/1548.77	c 1548s |      20 |  1139320 |   828227 |    12684    128 |        0 |        0
1550.43/1550.81	c 1550s |      20 |  1140645 |   829227 |    12684    128 |        0 |        0
1552.63/1553.01	c 1552s |      20 |  1141538 |   829927 |    12684    129 |        0 |        0
1554.84/1555.23	c 1554s |      20 |  1142624 |   830727 |    12684    129 |        0 |        0
1557.13/1557.53	c 1557s |      20 |  1143627 |   831527 |    12684    129 |        0 |        0
1559.13/1559.53	c 1559s |      20 |  1144576 |   832227 |    12684    129 |        0 |        0
1561.33/1561.76	c 1561s |      20 |  1145771 |   833127 |    12684    129 |        0 |        0
1563.43/1563.83	c 1563s |      20 |  1146644 |   833827 |    12684    129 |        0 |        0
1565.63/1566.09	c 1565s |      20 |  1147650 |   834627 |    12684    129 |        0 |        0
1567.73/1568.11	c 1567s |      20 |  1148359 |   835227 |    12684    129 |        0 |        0
1569.82/1570.21	c 1569s |      20 |  1149069 |   835827 |    12684    129 |        0 |        0
1572.13/1572.56	c 1572s |      20 |  1149753 |   836427 |    12684    129 |        0 |        0
1574.53/1574.99	c 1574s |      20 |  1150461 |   837027 |    12684    130 |        0 |        0
1576.83/1577.28	c 1577s |      20 |  1151199 |   837627 |    12684    130 |        0 |        0
1579.03/1579.45	c 1579s |      20 |  1152027 |   838227 |    12684    130 |        0 |        0
1581.23/1581.61	c 1581s |      20 |  1153360 |   839127 |    12684    130 |        0 |        0
1583.22/1583.69	c 1583s |      20 |  1154427 |   839927 |    12684    130 |        0 |        0
1585.53/1585.95	c 1585s |      20 |  1155547 |   840727 |    12684    130 |        0 |        0
1587.83/1588.26	c 1587s |      20 |  1156422 |   841427 |    12684    130 |        0 |        0
1590.23/1590.67	c 1590s |      20 |  1157271 |   842127 |    12684    130 |        0 |        0
1592.32/1592.75	c 1592s |      20 |  1157875 |   842627 |    12684    130 |        0 |        0
1594.73/1595.15	c 1594s |      20 |  1158588 |   843227 |    12684    130 |        0 |        0
1596.83/1597.23	c 1596s |      20 |  1159481 |   843927 |    12684    130 |        0 |        0
1599.22/1599.67	c 1599s |      20 |  1160585 |   844727 |    12684    131 |        0 |        0
1601.23/1601.69	c 1601s |      20 |  1161579 |   845427 |    12684    131 |        0 |        0
1603.33/1603.73	c 1603s |      20 |  1162648 |   846227 |    12684    131 |        0 |        0
1605.42/1605.80	c 1605s |      20 |  1163558 |   846927 |    12684    131 |        0 |        0
1607.72/1608.10	c 1607s |      20 |  1164399 |   847627 |    12684    131 |        0 |        0
1609.82/1610.28	c 1610s |      20 |  1165131 |   848227 |    12684    131 |        0 |        0
1612.23/1612.63	c 1612s |      20 |  1165936 |   848827 |    12684    131 |        0 |        0
1614.33/1614.78	c 1614s |      20 |  1166598 |   849327 |    12684    131 |        0 |        0
1616.52/1616.99	c 1616s |      20 |  1167212 |   849827 |    12684    131 |        0 |        0
1618.82/1619.21	c 1618s |      20 |  1167948 |   850427 |    12684    131 |        0 |        0
1620.83/1621.28	c 1621s |      20 |  1168572 |   850927 |    12684    131 |        0 |        0
1623.12/1623.55	c 1623s |      20 |  1169363 |   851527 |    12684    131 |        0 |        0
1625.43/1625.89	c 1625s |      20 |  1170001 |   852027 |    12684    131 |        0 |        0
1627.52/1627.94	c 1627s |      20 |  1170634 |   852527 |    12684    132 |        0 |        0
1629.93/1630.36	c 1630s |      20 |  1171362 |   853127 |    12684    132 |        0 |        0
1632.22/1632.61	c 1632s |      20 |  1171956 |   853627 |    12684    132 |        0 |        0
1634.32/1634.75	c 1634s |      20 |  1172704 |   854227 |    12684    132 |        0 |        0
1636.62/1637.03	c 1636s |      20 |  1173617 |   854927 |    12684    132 |        0 |        0
1638.81/1639.23	c 1638s |      20 |  1174505 |   855627 |    12684    132 |        0 |        0
1640.93/1641.35	c 1641s |      20 |  1175299 |   856227 |    12684    132 |        0 |        0
1643.22/1643.69	c 1643s |      20 |  1176090 |   856827 |    12684    132 |        0 |        0
1645.61/1646.04	c 1645s |      20 |  1176892 |   857427 |    12684    132 |        0 |        0
1647.82/1648.27	c 1648s |      20 |  1177541 |   857927 |    12684    132 |        0 |        0
1650.11/1650.57	c 1650s |      20 |  1178487 |   858727 |    12684    132 |        0 |        0
1652.22/1652.62	c 1652s |      20 |  1179179 |   859227 |    12684    132 |        0 |        0
1654.41/1654.86	c 1654s |      20 |  1179843 |   859727 |    12684    132 |        0 |        0
1656.42/1656.87	c 1656s |      20 |  1180454 |   860227 |    12684    133 |        0 |        0
1658.62/1659.05	c 1658s |      20 |  1181200 |   860727 |    12684    133 |        0 |        0
1660.91/1661.36	c 1661s |      20 |  1182137 |   861427 |    12684    133 |        0 |        0
1663.42/1663.86	c 1663s |      20 |  1182935 |   862027 |    12684    133 |        0 |        0
1665.51/1665.97	c 1665s |      20 |  1183434 |   862427 |    12684    133 |        0 |        0
1667.82/1668.27	c 1668s |      20 |  1184094 |   862927 |    12684    133 |        0 |        0
1669.91/1670.37	c 1670s |      20 |  1184560 |   863327 |    12684    133 |        0 |        0
1672.12/1672.59	c 1672s |      20 |  1185161 |   863827 |    12684    133 |        0 |        0
1674.42/1674.86	c 1674s |      20 |  1185621 |   864227 |    12684    133 |        0 |        0
1676.71/1677.19	c 1676s |      20 |  1186142 |   864627 |    12684    133 |        0 |        0
1679.31/1679.77	c 1679s |      20 |  1186650 |   865027 |    12684    133 |        0 |        0
1681.41/1681.87	c 1681s |      20 |  1187156 |   865427 |    12684    133 |        0 |        0
1683.82/1684.29	c 1684s |      20 |  1187799 |   865927 |    12684    133 |        0 |        0
1686.11/1686.52	c 1686s |      20 |  1188308 |   866327 |    12684    133 |        0 |        0
1688.51/1688.93	c 1688s |      20 |  1188847 |   866727 |    12684    133 |        0 |        0
1690.51/1690.98	c 1690s |      20 |  1190730 |   868027 |    12684    134 |        0 |        0
1692.62/1693.06	c 1692s |      20 |  1192685 |   869427 |    12684    134 |        0 |        0
1694.61/1695.09	c 1694s |      20 |  1194201 |   870527 |    12684    134 |        0 |        0
1696.81/1697.20	c 1696s |      20 |  1195884 |   871827 |    12684    134 |        0 |        0
1698.91/1699.35	c 1699s |      20 |  1197140 |   872827 |    12684    134 |        0 |        0
1700.91/1701.39	c 1701s |      20 |  1198521 |   873827 |    12684    134 |        0 |        0
1703.01/1703.46	c 1703s |      20 |  1199703 |   874727 |    12684    134 |        0 |        0
1705.01/1705.48	c 1705s |      20 |  1200699 |   875527 |    12684    134 |        0 |        0
1707.20/1707.61	c 1707s |      20 |  1201709 |   876327 |    12684    135 |        0 |        0
1709.21/1709.69	c 1709s |      20 |  1202884 |   877227 |    12684    135 |        0 |        0
1711.31/1711.77	c 1711s |      20 |  1203987 |   878027 |    12684    135 |        0 |        0
1713.42/1713.81	c 1713s |      20 |  1205203 |   878927 |    12684    135 |        0 |        0
1715.51/1715.92	c 1715s |      20 |  1207156 |   880327 |    12684    135 |        0 |        0
1717.50/1717.94	c 1717s |      20 |  1208893 |   881627 |    12684    135 |        0 |        0
1719.61/1720.05	c 1719s |      20 |  1210274 |   882627 |    12684    135 |        0 |        0
1721.61/1722.07	c 1721s |      20 |  1211455 |   883527 |    12684    136 |        0 |        0
1723.70/1724.15	c 1723s |      20 |  1213385 |   884927 |    12684    136 |        0 |        0
1725.81/1726.24	c 1725s |      20 |  1215208 |   886327 |    12684    136 |        0 |        0
1727.90/1728.36	c 1728s |      20 |  1216729 |   887427 |    12684    136 |        0 |        0
1730.02/1730.46	c 1730s |      20 |  1218205 |   888527 |    12684    136 |        0 |        0
1732.00/1732.49	c 1732s |      20 |  1219431 |   889527 |    12684    136 |        0 |        0
1734.21/1734.63	c 1734s |      20 |  1220549 |   890427 |    12684    136 |        0 |        0
1736.51/1736.92	c 1736s |      20 |  1221420 |   891127 |    12684    137 |        0 |        0
1738.61/1739.06	c 1738s |      20 |  1222284 |   891827 |    12684    137 |        0 |        0
1740.70/1741.13	c 1740s |      20 |  1223254 |   892627 |    12684    137 |        0 |        0
1742.80/1743.22	c 1742s |      20 |  1224391 |   893527 |    12684    137 |        0 |        0
1744.81/1745.29	c 1745s |      20 |  1225380 |   894327 |    12684    137 |        0 |        0
1747.00/1747.47	c 1747s |      20 |  1226703 |   895327 |    12684    137 |        0 |        0
1749.01/1749.48	c 1749s |      20 |  1227815 |   896227 |    12684    137 |        0 |        0
1751.00/1751.49	c 1751s |      20 |  1229280 |   897327 |    12684    137 |        0 |        0
1753.20/1753.61	c 1753s |      20 |  1230595 |   898327 |    12684    137 |        0 |        0
1755.21/1755.70	c 1755s |      20 |  1231673 |   899127 |    12684    138 |        0 |        0
1757.41/1757.83	c 1757s |      20 |  1232795 |   900027 |    12684    138 |        0 |        0
1759.50/1759.94	c 1759s |      20 |  1233686 |   900727 |    12684    138 |        0 |        0
1761.50/1761.95	c 1761s |      20 |  1234180 |   901127 |    12684    138 |        0 |        0
1763.70/1764.15	c 1763s |      20 |  1235432 |   902027 |    12684    138 |        0 |        0
1765.90/1766.31	c 1766s |      20 |  1236646 |   902927 |    12684    138 |        0 |        0
1768.00/1768.42	c 1768s |      20 |  1237446 |   903527 |    12684    138 |        0 |        0
1769.99/1770.43	c 1770s |      20 |  1238613 |   904327 |    12684    138 |        0 |        0
1772.10/1772.51	c 1772s |      20 |  1239399 |   904927 |    12684    138 |        0 |        0
1774.30/1774.77	c 1774s |      20 |  1240397 |   905627 |    12684    138 |        0 |        0
1776.50/1776.90	c 1776s |      20 |  1241172 |   906227 |    12684    138 |        0 |        0
1778.60/1779.08	c 1778s |      20 |  1242550 |   907227 |    12684    139 |        0 |        0
1780.90/1781.33	c 1781s |      20 |  1243534 |   908027 |    12684    139 |        0 |        0
1782.99/1783.45	c 1783s |      20 |  1244538 |   908827 |    12684    139 |        0 |        0
1785.19/1785.61	c 1785s |      20 |  1245420 |   909527 |    12684    139 |        0 |        0
1787.30/1787.74	c 1787s |      20 |  1246284 |   910227 |    12684    139 |        0 |        0
1789.49/1789.90	c 1789s |      20 |  1247761 |   911427 |    12684    139 |        0 |        0
1791.50/1791.94	c 1791s |      20 |  1248877 |   912327 |    12684    139 |        0 |        0
1793.59/1794.05	c 1793s |      20 |  1249925 |   913127 |    12684    139 |        0 |        0
1795.80/1796.25	c 1795s |      20 |  1251071 |   914027 |    12684    139 |        0 |        0
1797.89/1798.32	c 1798s |      20 |  1251830 |   914627 |    12684    140 |        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-4093670-1466094957/watcher-4093670-1466094957 -o /tmp/evaluation-result-4093670-1466094957/solver-4093670-1466094957 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466075598-10667 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093670-1466094957.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.17 2.23 2.20 3/178 13387
/proc/meminfo: memFree=29622476/32872528 swapFree=1199460/1313924
[pid=13387] ppid=13384 vsize=717244 CPUtime=0 cores=1,3,5,7
/proc/13387/stat : 13387 (toysat) R 13384 13387 9104 0 -1 4202496 2673 0 0 0 0 0 0 0 20 0 4 0 11542204 734457856 3546 33554432000 4194304 16246674 140733933324208 140733933323632 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13387/statm: 179823 3554 441 2943 0 176717 0
[pid=13387/tid=13388] ppid=13384 vsize=734652 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13388/stat : 13388 (toysat) S 13384 13387 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11542204 752283648 3614 33554432000 4194304 16246674 140733933324208 139721472716016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13387/tid=13389] ppid=13384 vsize=738748 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13389/stat : 13389 (toysat) S 13384 13387 9104 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11542204 756477952 3629 33554432000 4194304 16246674 140733933324208 139721393024240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13387/tid=13390] ppid=13384 vsize=742844 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13390/stat : 13390 (toysat) S 13384 13387 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11542204 760672256 3646 33554432000 4194304 16246674 140733933324208 139721382550704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.17 2.23 2.20 3/178 13387
/proc/meminfo: memFree=29622476/32872528 swapFree=1199460/1313924
[pid=13387] ppid=13384 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/13387/stat : 13387 (toysat) R 13384 13387 9104 0 -1 4202496 25001 0 0 0 5 4 0 0 20 0 4 0 11542204 1247350784 25866 33554432000 4194304 16246674 140733933324208 140733933323632 12500869 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13387/statm: 304529 25872 611 2943 0 301423 0
[pid=13387/tid=13388] ppid=13384 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13388/stat : 13388 (toysat) S 13384 13387 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11542204 1247350784 25876 33554432000 4194304 16246674 140733933324208 139721472716016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13387/tid=13389] ppid=13384 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13389/stat : 13389 (toysat) S 13384 13387 9104 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11542204 1247350784 25880 33554432000 4194304 16246674 140733933324208 139721393024240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13387/tid=13390] ppid=13384 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13390/stat : 13390 (toysat) S 13384 13387 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11542204 1247350784 25884 33554432000 4194304 16246674 140733933324208 139721382550704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200535 s]
/proc/loadavg: 2.17 2.23 2.20 3/178 13387
/proc/meminfo: memFree=29622476/32872528 swapFree=1199460/1313924
[pid=13387] ppid=13384 vsize=1223236 CPUtime=0.19 cores=1,3,5,7
/proc/13387/stat : 13387 (toysat) R 13384 13387 9104 0 -1 4202496 36545 0 0 0 13 6 0 0 20 0 4 0 11542204 1252593664 37364 33554432000 4194304 16246674 140733933324208 140733933323520 12369355 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13387/statm: 305809 37364 860 2943 0 302703 0
[pid=13387/tid=13388] ppid=13384 vsize=1223236 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13388/stat : 13388 (toysat) S 13384 13387 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11542204 1252593664 37364 33554432000 4194304 16246674 140733933324208 139721472716016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13387/tid=13389] ppid=13384 vsize=1223236 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13389/stat : 13389 (toysat) S 13384 13387 9104 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11542204 1252593664 37364 33554432000 4194304 16246674 140733933324208 139721393024240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13387/tid=13390] ppid=13384 vsize=1223236 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13390/stat : 13390 (toysat) S 13384 13387 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11542204 1252593664 37364 33554432000 4194304 16246674 140733933324208 139721382550704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1223236

[startup+0.300491 s]
/proc/loadavg: 2.17 2.23 2.20 3/178 13387
/proc/meminfo: memFree=29622476/32872528 swapFree=1199460/1313924
[pid=13387] ppid=13384 vsize=1307204 CPUtime=0.29 cores=1,3,5,7
/proc/13387/stat : 13387 (toysat) R 13384 13387 9104 0 -1 4202496 46502 0 0 0 21 8 0 0 20 0 4 0 11542204 1338576896 47321 33554432000 4194304 16246674 140733933324208 140733933323520 5530837 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13387/statm: 326801 47336 918 2943 0 323695 0
[pid=13387/tid=13388] ppid=13384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13388/stat : 13388 (toysat) S 13384 13387 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11542204 1338576896 47344 33554432000 4194304 16246674 140733933324208 139721472716016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13387/tid=13389] ppid=13384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13389/stat : 13389 (toysat) S 13384 13387 9104 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11542204 1338576896 47354 33554432000 4194304 16246674 140733933324208 139721393024240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13387/tid=13390] ppid=13384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13390/stat : 13390 (toysat) S 13384 13387 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11542204 1338576896 47362 33554432000 4194304 16246674 140733933324208 139721382550704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1307204

[startup+0.70041 s]
/proc/loadavg: 2.17 2.23 2.20 3/178 13387
/proc/meminfo: memFree=29622476/32872528 swapFree=1199460/1313924
[pid=13387] ppid=13384 vsize=1307204 CPUtime=0.69 cores=1,3,5,7
/proc/13387/stat : 13387 (toysat) R 13384 13387 9104 0 -1 4202496 62368 0 0 0 59 10 0 0 20 0 4 0 11542204 1338576896 63187 33554432000 4194304 16246674 140733933324208 140733933306112 5545993 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13387/statm: 326801 63187 920 2943 0 323695 0
[pid=13387/tid=13388] ppid=13384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13388/stat : 13388 (toysat) S 13384 13387 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11542204 1338576896 63187 33554432000 4194304 16246674 140733933324208 139721472716016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13387/tid=13389] ppid=13384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13389/stat : 13389 (toysat) S 13384 13387 9104 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11542204 1338576896 63187 33554432000 4194304 16246674 140733933324208 139721393024240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13387/tid=13390] ppid=13384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13390/stat : 13390 (toysat) S 13384 13387 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11542204 1338576896 63187 33554432000 4194304 16246674 140733933324208 139721382550704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1307204

[startup+1.50042 s]
/proc/loadavg: 2.16 2.23 2.20 3/183 13392
/proc/meminfo: memFree=29353608/32872528 swapFree=1199460/1313924
[pid=13387] ppid=13384 vsize=1307204 CPUtime=1.49 cores=1,3,5,7
/proc/13387/stat : 13387 (toysat) R 13384 13387 9104 0 -1 4202496 66734 0 0 0 138 11 0 0 20 0 4 0 11542204 1338576896 67553 33554432000 4194304 16246674 140733933324208 140733933306112 5546195 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13387/statm: 326801 67553 924 2943 0 323695 0
[pid=13387/tid=13388] ppid=13384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13388/stat : 13388 (toysat) S 13384 13387 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11542204 1338576896 67553 33554432000 4194304 16246674 140733933324208 139721472716016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13387/tid=13389] ppid=13384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13389/stat : 13389 (toysat) S 13384 13387 9104 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11542204 1338576896 67553 33554432000 4194304 16246674 140733933324208 139721393024240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13387/tid=13390] ppid=13384 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13390/stat : 13390 (toysat) S 13384 13387 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11542204 1338576896 67553 33554432000 4194304 16246674 140733933324208 139721382550704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.10042 s]
/proc/loadavg: 2.16 2.23 2.20 3/183 13392
/proc/meminfo: memFree=29252184/32872528 swapFree=1199460/1313924
[pid=13387] ppid=13384 vsize=1308228 CPUtime=3.08 cores=1,3,5,7
/proc/13387/stat : 13387 (toysat) R 13384 13387 9104 0 -1 4202496 92212 0 0 0 294 14 0 0 20 0 4 0 11542204 1339625472 93031 33554432000 4194304 16246674 140733933324208 140733933323384 13963936 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13387/statm: 327057 93031 931 2943 0 323951 0
[pid=13387/tid=13388] ppid=13384 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13388/stat : 13388 (toysat) S 13384 13387 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11542204 1339625472 93031 33554432000 4194304 16246674 140733933324208 139721472716016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13387/tid=13389] ppid=13384 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13389/stat : 13389 (toysat) S 13384 13387 9104 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11542204 1339625472 93031 33554432000 4194304 16246674 140733933324208 139721393024240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13387/tid=13390] ppid=13384 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13390/stat : 13390 (toysat) S 13384 13387 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11542204 1339625472 93031 33554432000 4194304 16246674 140733933324208 139721382550704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1308228

[startup+6.30042 s]
/proc/loadavg: 2.16 2.23 2.20 3/183 13392
/proc/meminfo: memFree=29251176/32872528 swapFree=1199460/1313924
[pid=13387] ppid=13384 vsize=1308228 CPUtime=6.29 cores=1,3,5,7
/proc/13387/stat : 13387 (toysat) R 13384 13387 9104 0 -1 4202496 92212 0 0 0 614 15 0 0 20 0 4 0 11542204 1339625472 93031 33554432000 4194304 16246674 140733933324208 140733933323384 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13387/statm: 327057 93031 931 2943 0 323951 0
[pid=13387/tid=13388] ppid=13384 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13388/stat : 13388 (toysat) S 13384 13387 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11542204 1339625472 93031 33554432000 4194304 16246674 140733933324208 139721472716016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13387/tid=13389] ppid=13384 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13389/stat : 13389 (toysat) S 13384 13387 9104 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11542204 1339625472 93031 33554432000 4194304 16246674 140733933324208 139721393024240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13387/tid=13390] ppid=13384 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13390/stat : 13390 (toysat) S 13384 13387 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11542204 1339625472 93031 33554432000 4194304 16246674 140733933324208 139721382550704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.14 2.22 2.20 4/183 13392
/proc/meminfo: memFree=29220248/32872528 swapFree=1199460/1313924
[pid=13387] ppid=13384 vsize=1311300 CPUtime=12.69 cores=1,3,5,7
/proc/13387/stat : 13387 (toysat) R 13384 13387 9104 0 -1 4202496 99940 0 0 0 1253 16 0 0 20 0 4 0 11542204 1342771200 100759 33554432000 4194304 16246674 140733933324208 140733933323384 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13387/statm: 327825 100759 931 2943 0 324719 0
[pid=13387/tid=13388] ppid=13384 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13388/stat : 13388 (toysat) S 13384 13387 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11542204 1342771200 100759 33554432000 4194304 16246674 140733933324208 139721472716016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13387/tid=13389] ppid=13384 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13389/stat : 13389 (toysat) S 13384 13387 9104 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11542204 1342771200 100759 33554432000 4194304 16246674 140733933324208 139721393024240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13387/tid=13390] ppid=13384 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13390/stat : 13390 (toysat) S 13384 13387 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11542204 1342771200 100759 33554432000 4194304 16246674 140733933324208 139721382550704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1311300

[startup+25.5005 s]
/proc/loadavg: 2.19 2.23 2.20 3/183 13392
/proc/meminfo: memFree=29220384/32872528 swapFree=1199460/1313924
[pid=13387] ppid=13384 vsize=1311300 CPUtime=25.49 cores=1,3,5,7
/proc/13387/stat : 13387 (toysat) R 13384 13387 9104 0 -1 4202496 100100 0 0 0 2531 18 0 0 20 0 4 0 11542204 1342771200 100919 33554432000 4194304 16246674 140733933324208 140733933323384 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13387/statm: 327825 100919 931 2943 0 324719 0
[pid=13387/tid=13388] ppid=13384 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13388/stat : 13388 (toysat) S 13384 13387 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11542204 1342771200 100919 33554432000 4194304 16246674 140733933324208 139721472716016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13387/tid=13389] ppid=13384 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13389/stat : 13389 (toysat) S 13384 13387 9104 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11542204 1342771200 100919 33554432000 4194304 16246674 140733933324208 139721393024240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13387/tid=13390] ppid=13384 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13390/stat : 13390 (toysat) S 13384 13387 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11542204 1342771200 100919 33554432000 4194304 16246674 140733933324208 139721382550704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1311300

[startup+51.1005 s]
/proc/loadavg: 2.20 2.23 2.20 3/183 13393
/proc/meminfo: memFree=29220388/32872528 swapFree=1199460/1313924
[pid=13387] ppid=13384 vsize=1311300 CPUtime=51.09 cores=1,3,5,7
/proc/13387/stat : 13387 (toysat) R 13384 13387 9104 0 -1 4202496 100101 0 0 0 5086 23 0 0 20 0 4 0 11542204 1342771200 100920 33554432000 4194304 16246674 140733933324208 140733933323304 5546005 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13387/statm: 327825 100920 932 2943 0 324719 0
[pid=13387/tid=13388] ppid=13384 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13388/stat : 13388 (toysat) S 13384 13387 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11542204 1342771200 100920 33554432000 4194304 16246674 140733933324208 139721472716016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13387/tid=13389] ppid=13384 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13389/stat : 13389 (toysat) S 13384 13387 9104 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11542204 1342771200 100920 33554432000 4194304 16246674 140733933324208 139721393024240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13387/tid=13390] ppid=13384 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13390/stat : 13390 (toysat) S 13384 13387 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11542204 1342771200 100920 33554432000 4194304 16246674 140733933324208 139721382550704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1311300

[startup+102.301 s]
/proc/loadavg: 2.38 2.27 2.21 3/183 13443
/proc/meminfo: memFree=29210116/32872528 swapFree=1199460/1313924
[pid=13387] ppid=13384 vsize=1312324 CPUtime=102.28 cores=1,3,5,7
/proc/13387/stat : 13387 (toysat) R 13384 13387 9104 0 -1 4202496 100357 0 0 0 10197 31 0 0 20 0 4 0 11542204 1343819776 101176 33554432000 4194304 16246674 140733933324208 140733933323384 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13387/statm: 328081 101176 932 2943 0 324975 0
[pid=13387/tid=13388] ppid=13384 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13388/stat : 13388 (toysat) S 13384 13387 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11542204 1343819776 101176 33554432000 4194304 16246674 140733933324208 139721472716016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13387/tid=13389] ppid=13384 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13389/stat : 13389 (toysat) S 13384 13387 9104 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11542204 1343819776 101176 33554432000 4194304 16246674 140733933324208 139721393024240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13387/tid=13390] ppid=13384 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13390/stat : 13390 (toysat) S 13384 13387 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11542204 1343819776 101176 33554432000 4194304 16246674 140733933324208 139721382550704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1312324


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

/proc/13387/task/13390/stat : 13390 (toysat) S 13384 13387 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11542204 1352208384 271750 33554432000 4194304 16246674 140733933324208 139721382550704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 1320516

[startup+1362.3 s]
/proc/loadavg: 2.17 2.17 2.18 3/183 13522
/proc/meminfo: memFree=27496984/32872528 swapFree=1199460/1313924
[pid=13387] ppid=13384 vsize=1320516 CPUtime=1362 cores=1,3,5,7
/proc/13387/stat : 13387 (toysat) R 13384 13387 9104 0 -1 4202496 118915 0 0 0 135953 247 0 0 20 0 4 0 11542204 1352208384 272162 33554432000 4194304 16246674 140733933324208 140733933323384 5545708 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13387/statm: 330129 272162 932 2943 0 327023 0
[pid=13387/tid=13388] ppid=13384 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13388/stat : 13388 (toysat) S 13384 13387 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11542204 1352208384 272162 33554432000 4194304 16246674 140733933324208 139721472716016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13387/tid=13389] ppid=13384 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13389/stat : 13389 (toysat) S 13384 13387 9104 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11542204 1352208384 272162 33554432000 4194304 16246674 140733933324208 139721393024240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13387/tid=13390] ppid=13384 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13390/stat : 13390 (toysat) S 13384 13387 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11542204 1352208384 272162 33554432000 4194304 16246674 140733933324208 139721382550704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 1320516

[startup+1422.3 s]
/proc/loadavg: 2.17 2.17 2.18 4/183 13523
/proc/meminfo: memFree=27496744/32872528 swapFree=1199460/1313924
[pid=13387] ppid=13384 vsize=1320516 CPUtime=1421.97 cores=1,3,5,7
/proc/13387/stat : 13387 (toysat) R 13384 13387 9104 0 -1 4202496 118955 0 0 0 141940 257 0 0 20 0 4 0 11542204 1352208384 272162 33554432000 4194304 16246674 140733933324208 140733933323384 5545988 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13387/statm: 330129 272162 932 2943 0 327023 0
[pid=13387/tid=13388] ppid=13384 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13388/stat : 13388 (toysat) S 13384 13387 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11542204 1352208384 272162 33554432000 4194304 16246674 140733933324208 139721472716016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13387/tid=13389] ppid=13384 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13389/stat : 13389 (toysat) S 13384 13387 9104 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11542204 1352208384 272162 33554432000 4194304 16246674 140733933324208 139721393024240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13387/tid=13390] ppid=13384 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13390/stat : 13390 (toysat) S 13384 13387 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11542204 1352208384 272162 33554432000 4194304 16246674 140733933324208 139721382550704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 1320516

[startup+1482.3 s]
/proc/loadavg: 2.17 2.17 2.18 3/184 13527
/proc/meminfo: memFree=27496668/32872528 swapFree=1199460/1313924
[pid=13387] ppid=13384 vsize=1320516 CPUtime=1481.95 cores=1,3,5,7
/proc/13387/stat : 13387 (toysat) R 13384 13387 9104 0 -1 4202496 118968 0 0 0 147929 266 0 0 20 0 4 0 11542204 1352208384 272162 33554432000 4194304 16246674 140733933324208 140733933305984 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13387/statm: 330129 272162 932 2943 0 327023 0
[pid=13387/tid=13388] ppid=13384 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13388/stat : 13388 (toysat) S 13384 13387 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11542204 1352208384 272162 33554432000 4194304 16246674 140733933324208 139721472716016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13387/tid=13389] ppid=13384 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13389/stat : 13389 (toysat) S 13384 13387 9104 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11542204 1352208384 272162 33554432000 4194304 16246674 140733933324208 139721393024240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13387/tid=13390] ppid=13384 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13390/stat : 13390 (toysat) S 13384 13387 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11542204 1352208384 272162 33554432000 4194304 16246674 140733933324208 139721382550704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 1320516

[startup+1542.31 s]
/proc/loadavg: 2.10 2.15 2.17 3/184 13551
/proc/meminfo: memFree=27496384/32872528 swapFree=1199460/1313924
[pid=13387] ppid=13384 vsize=1320516 CPUtime=1541.94 cores=1,3,5,7
/proc/13387/stat : 13387 (toysat) R 13384 13387 9104 0 -1 4202496 118968 0 0 0 153920 274 0 0 20 0 4 0 11542204 1352208384 272162 33554432000 4194304 16246674 140733933324208 140733933323384 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13387/statm: 330129 272162 932 2943 0 327023 0
[pid=13387/tid=13388] ppid=13384 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13388/stat : 13388 (toysat) S 13384 13387 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11542204 1352208384 272162 33554432000 4194304 16246674 140733933324208 139721472716016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13387/tid=13389] ppid=13384 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13389/stat : 13389 (toysat) S 13384 13387 9104 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11542204 1352208384 272162 33554432000 4194304 16246674 140733933324208 139721393024240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13387/tid=13390] ppid=13384 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13390/stat : 13390 (toysat) S 13384 13387 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11542204 1352208384 272162 33554432000 4194304 16246674 140733933324208 139721382550704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 1320516

[startup+1602.3 s]
/proc/loadavg: 2.14 2.15 2.17 3/183 13553
/proc/meminfo: memFree=27496024/32872528 swapFree=1199460/1313924
[pid=13387] ppid=13384 vsize=1320516 CPUtime=1601.92 cores=1,3,5,7
/proc/13387/stat : 13387 (toysat) R 13384 13387 9104 0 -1 4202496 118968 0 0 0 159907 285 0 0 20 0 4 0 11542204 1352208384 272162 33554432000 4194304 16246674 140733933324208 140733933323384 5827980 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13387/statm: 330129 272162 932 2943 0 327023 0
[pid=13387/tid=13388] ppid=13384 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13388/stat : 13388 (toysat) S 13384 13387 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11542204 1352208384 272162 33554432000 4194304 16246674 140733933324208 139721472716016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13387/tid=13389] ppid=13384 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13389/stat : 13389 (toysat) S 13384 13387 9104 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11542204 1352208384 272162 33554432000 4194304 16246674 140733933324208 139721393024240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13387/tid=13390] ppid=13384 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13390/stat : 13390 (toysat) S 13384 13387 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11542204 1352208384 272162 33554432000 4194304 16246674 140733933324208 139721382550704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 1320516

[startup+1662.3 s]
/proc/loadavg: 2.11 2.14 2.16 3/183 13554
/proc/meminfo: memFree=27496268/32872528 swapFree=1199460/1313924
[pid=13387] ppid=13384 vsize=1320516 CPUtime=1661.91 cores=1,3,5,7
/proc/13387/stat : 13387 (toysat) R 13384 13387 9104 0 -1 4202496 118968 0 0 0 165895 296 0 0 20 0 4 0 11542204 1352208384 272162 33554432000 4194304 16246674 140733933324208 140733933323384 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13387/statm: 330129 272162 932 2943 0 327023 0
[pid=13387/tid=13388] ppid=13384 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13388/stat : 13388 (toysat) S 13384 13387 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11542204 1352208384 272162 33554432000 4194304 16246674 140733933324208 139721472716016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13387/tid=13389] ppid=13384 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13389/stat : 13389 (toysat) S 13384 13387 9104 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11542204 1352208384 272162 33554432000 4194304 16246674 140733933324208 139721393024240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13387/tid=13390] ppid=13384 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13390/stat : 13390 (toysat) S 13384 13387 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11542204 1352208384 272162 33554432000 4194304 16246674 140733933324208 139721382550704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 1320516

[startup+1722.3 s]
/proc/loadavg: 2.32 2.20 2.18 3/183 13555
/proc/meminfo: memFree=27495896/32872528 swapFree=1199460/1313924
[pid=13387] ppid=13384 vsize=1320516 CPUtime=1721.9 cores=1,3,5,7
/proc/13387/stat : 13387 (toysat) R 13384 13387 9104 0 -1 4202496 118968 0 0 0 171882 308 0 0 20 0 4 0 11542204 1352208384 272162 33554432000 4194304 16246674 140733933324208 140733933323384 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13387/statm: 330129 272162 932 2943 0 327023 0
[pid=13387/tid=13388] ppid=13384 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13388/stat : 13388 (toysat) S 13384 13387 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11542204 1352208384 272162 33554432000 4194304 16246674 140733933324208 139721472716016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13387/tid=13389] ppid=13384 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13389/stat : 13389 (toysat) S 13384 13387 9104 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11542204 1352208384 272162 33554432000 4194304 16246674 140733933324208 139721393024240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13387/tid=13390] ppid=13384 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13390/stat : 13390 (toysat) S 13384 13387 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11542204 1352208384 272162 33554432000 4194304 16246674 140733933324208 139721382550704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 1320516

[startup+1782.3 s]
/proc/loadavg: 2.22 2.19 2.18 4/183 13556
/proc/meminfo: memFree=27496140/32872528 swapFree=1199460/1313924
[pid=13387] ppid=13384 vsize=1320516 CPUtime=1781.89 cores=1,3,5,7
/proc/13387/stat : 13387 (toysat) R 13384 13387 9104 0 -1 4202496 118968 0 0 0 177870 319 0 0 20 0 4 0 11542204 1352208384 272162 33554432000 4194304 16246674 140733933324208 140733933323384 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13387/statm: 330129 272162 932 2943 0 327023 0
[pid=13387/tid=13388] ppid=13384 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13388/stat : 13388 (toysat) S 13384 13387 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11542204 1352208384 272162 33554432000 4194304 16246674 140733933324208 139721472716016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13387/tid=13389] ppid=13384 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13389/stat : 13389 (toysat) S 13384 13387 9104 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11542204 1352208384 272162 33554432000 4194304 16246674 140733933324208 139721393024240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13387/tid=13390] ppid=13384 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13390/stat : 13390 (toysat) S 13384 13387 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11542204 1352208384 272162 33554432000 4194304 16246674 140733933324208 139721382550704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 1320516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.32 2.21 2.19 3/183 13557
/proc/meminfo: memFree=27496080/32872528 swapFree=1199460/1313924
[pid=13387] ppid=13384 vsize=1320516 CPUtime=1800.09 cores=1,3,5,7
/proc/13387/stat : 13387 (toysat) R 13384 13387 9104 0 -1 4202496 118968 0 0 0 179688 321 0 0 20 0 4 0 11542204 1352208384 272162 33554432000 4194304 16246674 140733933324208 140733933323384 6012036 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13387/statm: 330129 272162 932 2943 0 327023 0
[pid=13387/tid=13388] ppid=13384 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13388/stat : 13388 (toysat) S 13384 13387 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11542204 1352208384 272162 33554432000 4194304 16246674 140733933324208 139721472716016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13387/tid=13389] ppid=13384 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13389/stat : 13389 (toysat) S 13384 13387 9104 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11542204 1352208384 272162 33554432000 4194304 16246674 140733933324208 139721393024240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13387/tid=13390] ppid=13384 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13390/stat : 13390 (toysat) S 13384 13387 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11542204 1352208384 272162 33554432000 4194304 16246674 140733933324208 139721382550704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1320516

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

[startup+1800.5 s]
/proc/loadavg: 2.32 2.21 2.19 3/183 13557
/proc/meminfo: memFree=27496080/32872528 swapFree=1199460/1313924
[pid=13387] ppid=13384 vsize=1320516 CPUtime=1800.09 cores=1,3,5,7
/proc/13387/stat : 13387 (toysat) R 13384 13387 9104 0 -1 4202496 118968 0 0 0 179688 321 0 0 20 0 4 0 11542204 1352208384 272162 33554432000 4194304 16246674 140733933324208 140733933323384 6012036 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13387/statm: 330129 272162 932 2943 0 327023 0
[pid=13387/tid=13388] ppid=13384 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13388/stat : 13388 (toysat) S 13384 13387 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11542204 1352208384 272162 33554432000 4194304 16246674 140733933324208 139721472716016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13387/tid=13389] ppid=13384 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13389/stat : 13389 (toysat) S 13384 13387 9104 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11542204 1352208384 272162 33554432000 4194304 16246674 140733933324208 139721393024240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13387/tid=13390] ppid=13384 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/13387/task/13390/stat : 13390 (toysat) S 13384 13387 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11542204 1352208384 272162 33554432000 4194304 16246674 140733933324208 139721382550704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1320516

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.11
CPU user time (s): 1796.89
CPU system time (s): 3.21751
CPU usage (%): 99.9777
Max. virtual memory (cumulated for all children) (KiB): 1320516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.89
system time used= 3.21751
maximum resident set size= 1088648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118968
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= 193
involuntary context switches= 1965

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.48532 second user time and 7.03893 second system time

The end

Launcher Data 

Begin job on node131 at 2016-06-16 18:35:57
IDJOB=4093670
IDBENCH=79301
IDSOLVER=2553
FILE ID=node131/4093670-1466094957
RUNJOBID= node131-1466075598-10667
PBS_JOBID= 19904008
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900667195--soft-0-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093670-1466094957/watcher-4093670-1466094957 -o /tmp/evaluation-result-4093670-1466094957/solver-4093670-1466094957 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466075598-10667 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093670-1466094957.wbo

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

MD5SUM BENCH= a4c39a3f1b80365b8ad34a89f93fc523
RANDOM SEED=1131745324

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29622896 kB
Buffers:           47460 kB
Cached:           111392 kB
SwapCached:         1972 kB
Active:          1148044 kB
Inactive:          82276 kB
Active(anon):    1072516 kB
Inactive(anon):     1452 kB
Active(file):      75528 kB
Inactive(file):    80824 kB
Unevictable:     1313924 kB
Mlocked:         1199460 kB
SwapTotal:      67108856 kB
SwapFree:       67099344 kB
Dirty:             16356 kB
Writeback:             0 kB
AnonPages:       2386436 kB
Mapped:             9800 kB
Shmem:                 0 kB
Slab:             567156 kB
SReclaimable:      11340 kB
SUnreclaim:       555816 kB
KernelStack:        1472 kB
PageTables:         8616 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2529524 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1181696 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 node131 at 2016-06-16 19:05:57