Trace number 4106436

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.05 1800.61

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=131-P1=307-P2=281-P3=173-P4=479-P5=461-P6=107-P7=337-P8=353-B.opb
MD5SUM6dc20e219798a6cc2c39fe76202681b5
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.19497
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables216
Total number of constraints17
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints17
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)648
Sum of products size (including duplicates)1296
Number of different products648
Sum of products size1296

Solver Data 

0.00/0.00	c 2016-06-18T19:35:00+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4106436-1466271299.opb"]
0.00/0.01	c use --random-gen="2557902353 2066996862 3440107047 4276621292 2651170530 656866869 3098940357 2468631349 64481229 2252516004 3046015430 2633868760 3761714141 1026539224 2162313528 3426288519 1301296763 305365073 372707149 3861273755 1839223483 1543192593 2184326064 2702910620 2725728243 3429538624 2317468202 4163530432 242592716 1652593218 884373991 438177675 188238996 107168443 3587615719 208835786 3998410430 2935451927 1279128094 651356766 2859672772 4174362031 2806163653 2071311081 241749791 3562136348 544085696 945226565 727656275 2378576991 2767754520 3315771749 2588234523 4146559235 3917083227 2749616120 3126183948 115986587 2678605136 3856087246 2892788340 1524720127 488207086 1663092005 4291921952 4216286927 1476934080 1980556712 2047060695 3438706605 497819389 1554570019 1052553341 3662535785 3865270453 1296651431 1188642459 1607775155 1215371578 2615903534 2546689327 3424617148 758423476 1664184600 2087581297 1289147888 46601465 3139361105 783926553 2302656659 2808539562 2901825460 1075624959 2457090093 2068874491 2398059481 2204155131 3126815800 1160515439 3478475123 3141517333 2764237882 229706648 2299136679 1219973459 231144158 3032837224 1785940364 1043124307 3648661796 4010751640 3046252689 2463722138 2456024507 1765442476 3910090496 4011268766 3693189518 2033436585 3819078209 1152440589 4225380323 2996245880 2664435832 2736768960 2361802505 2056729496 4100254095 879019951 2271668638 4290290129 2986018515 166454094 233205185 1343457659 2317589528 3144303775 280240527 3582406863 3443872415 3367395107 3003029733 14173918 301112477 1351720062 4031070831 3704147580 755318721 1290307959 2209131681 466669073 3732628116 2248963932 1702376482 3846167835 453429879 4160013827 553178875 449795284 3543840658 2924583347 1569252026 2938744515 3261144432 959131824 2109206248 597034297 617369919 1048334588 1107292473 3752485280 4177977652 674106465 1301813635 3601165323 3876962603 3942883190 2267439574 3070729548 529348953 1086535053 3266569313 424185158 1542150699 1449046843 4173879176 597994883 1079980418 2860077405 62762518 2566063807 2228868165 1521884842 775823316 1496056467 2175406518 2836327867 4081989220 230378323 1216451190 3371424380 1416847550 3812240688 3051847155 3282820441 3339832778 1627445969 515372044 638431337 3650896904 1079176852 2253720059 330565548 902591799 1847707739 3780867364 1716968714 1657386565 44995817 300074061 4169670616 1519351909 1572924847 3870687161 2236468478 3147730447 2496753944 3345014440 1908731562 2372485171 3119556124 3515414042 2786968806 2661338131 3042255667 1709726737 324181484 3868011091 1425201487 2544560830 2928822474 1986608333 1527998217 2851066716 1360208507 508757343 1419982668 2149905145 3059581072 3649050956 950225554 1525984038 3344081268 4278674593 4020971893 1750808504 255 362436" option to reproduce the execution
0.00/0.01	c #vars 216
0.00/0.01	c #constraints 17
0.00/0.03	c BCD2: Hardening is enabled.
0.00/0.03	c BCD2: BiasedSearch is enabled.
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      944      0 |        0 |        0
0.00/0.06	c  0.0s |       1 |      112 |      100 |      944      0 |        0 |        0
0.08/0.10	c  0.1s |       2 |      287 |      250 |     1039      0 |        0 |        0
0.08/0.16	c  0.1s |       3 |      522 |      475 |     1143      0 |        0 |        0
0.19/0.26	c  0.2s |       4 |      904 |      813 |     1258      0 |        0 |        0
0.39/0.40	c  0.4s |       5 |     1531 |     1320 |     1384      0 |        0 |        0
0.89/0.94	c  0.9s |       6 |     2456 |     2081 |     1676      0 |        0 |        0
1.39/1.48	c  1.5s |       7 |     3654 |     3223 |     1844      2 |        0 |        0
1.89/1.90	c  1.9s |       8 |     5408 |     4936 |     2029      3 |        0 |        0
2.59/2.63	c  2.6s |       9 |     8064 |     7506 |     2232      6 |        0 |        0
3.89/3.99	c  4.0s |      10 |    12170 |    11361 |     2456      8 |        0 |        0
4.89/4.93	c  4.9s |      10 |    16204 |    15266 |     2456     11 |        0 |        0
4.89/4.93	c #cpu_time = 4.903s
4.89/4.93	c #wall_clock_time = 4.903s
4.89/4.93	c #decision = 16204
4.89/4.93	c #random_decision = 65
4.89/4.93	c #conflict = 15266
4.89/4.97	c #restart = 10
4.89/4.97	o 415
4.89/4.97	c BCD2: updating upper bound: 511 -> 414
4.89/4.97	c BCD2: 0 <= obj <= 414
4.89/4.97	c BCD2: #cores=0, #unrelaxed=9, #relaxed=0, #hardened=0
4.89/4.97	c BCD2: #sat=1 #unsat=1 bias=1/2
4.89/4.97	c Solving starts ...
4.89/4.97	c ============================[ Search Statistics ]============================
4.89/4.97	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.89/4.97	c       |         |          |          |    Limit     GC | Var      | Constra 
4.89/4.97	c =============================================================================
4.89/4.97	c  0.0s |       0 |        0 |        0 |     2456      0 |        0 |        0
4.89/4.97	c  0.0s |       0 |        7 |        0 |     2456      0 |        0 |        0
4.89/4.97	c #cpu_time = 0.005s
4.89/4.97	c #wall_clock_time = 0.005s
4.89/4.97	c #decision = 7
4.89/4.97	c #random_decision = 0
4.89/4.97	c #conflict = 0
4.89/4.97	c #restart = 0
4.89/4.97	c BCD2: found a new core of size 8: cost of the new core is >=2
4.89/4.97	c lower bound updated to 2
4.89/4.97	c BCD2: 2 <= obj <= 414
4.89/4.97	c BCD2: #cores=1, #unrelaxed=1, #relaxed=8, #hardened=0
4.89/4.97	c BCD2: #sat=1 #unsat=2 bias=2/3
4.89/4.97	c Solving starts ...
4.89/4.97	c ============================[ Search Statistics ]============================
4.89/4.97	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.89/4.97	c       |         |          |          |    Limit     GC | Var      | Constra 
4.89/4.97	c =============================================================================
4.89/4.97	c  0.0s |       0 |        0 |        0 |     2456      0 |        0 |        0
4.99/5.08	c  0.1s |       1 |      198 |      100 |     2456      0 |        0 |        0
5.09/5.16	c  0.2s |       2 |      527 |      250 |     2456      0 |        0 |        0
5.19/5.20	c  0.3s |       3 |      780 |      475 |     2456      0 |        0 |        0
5.19/5.28	c  0.3s |       4 |     1173 |      813 |     2456      1 |        0 |        0
5.39/5.41	c  0.5s |       5 |     1808 |     1320 |     2456      1 |        0 |        0
5.79/5.86	c  0.9s |       6 |     2627 |     2081 |     2702      1 |        0 |        0
6.09/6.16	c  1.2s |       7 |     3866 |     3223 |     2702      2 |        0 |        0
6.60/6.69	c  1.7s |       8 |     5729 |     4936 |     2702      3 |        0 |        0
7.89/7.91	c  3.0s |       9 |     8565 |     7506 |     2702      5 |        0 |        0
9.19/9.26	c  4.3s |      10 |    12751 |    11361 |     2973      7 |        0 |        0
10.79/10.84	c  5.9s |      11 |    18717 |    17144 |     2973     10 |        0 |        0
12.79/12.87	c  7.9s |      11 |    21374 |    19244 |     2973     12 |        0 |        0
14.79/14.87	c  9.9s |      11 |    28043 |    25744 |     3271     15 |        0 |        0
14.89/14.90	c 10.0s |      12 |    28127 |    25819 |     3271     15 |        0 |        0
16.89/16.93	c 12.0s |      12 |    34598 |    31919 |     3271     18 |        0 |        0
18.89/18.95	c 14.0s |      12 |    40759 |    37819 |     3271     21 |        0 |        0
19.19/19.27	c 14.3s |      13 |    41806 |    38832 |     3271     22 |        0 |        0
21.19/21.28	c 16.3s |      13 |    48844 |    45632 |     3599     26 |        0 |        0
23.19/23.29	c 18.3s |      13 |    55143 |    51832 |     3599     29 |        0 |        0
25.29/25.31	c 20.4s |      13 |    61344 |    57532 |     3599     32 |        0 |        0
25.48/25.56	c 20.6s |      14 |    62201 |    58352 |     3599     32 |        0 |        0
27.50/27.58	c 22.6s |      14 |    70492 |    66152 |     3599     36 |        0 |        0
29.59/29.60	c 24.7s |      14 |    76816 |    72352 |     3959     39 |        0 |        0
31.59/31.61	c 26.7s |      14 |    82848 |    78252 |     3959     41 |        0 |        0
33.59/33.62	c 28.7s |      14 |    88356 |    83652 |     3959     43 |        0 |        0
34.79/34.82	c 29.9s |      15 |    92479 |    87632 |     3959     45 |        0 |        0
36.79/36.87	c 31.9s |      15 |    95631 |    90132 |     3959     46 |        0 |        0
38.89/38.91	c 34.0s |      15 |   101055 |    95332 |     3959     49 |        0 |        0
40.89/40.94	c 36.0s |      15 |   105681 |    99532 |     3959     51 |        0 |        0
42.89/42.97	c 38.0s |      15 |   110659 |   104032 |     3959     53 |        0 |        0
44.89/44.99	c 40.1s |      15 |   115491 |   108732 |     3959     55 |        0 |        0
46.99/47.02	c 42.1s |      15 |   120219 |   113132 |     3959     57 |        0 |        0
48.99/49.02	c 44.1s |      15 |   124610 |   117332 |     4355     59 |        0 |        0
50.98/51.05	c 46.1s |      15 |   129610 |   122232 |     4355     61 |        0 |        0
52.99/53.07	c 48.1s |      15 |   134996 |   127532 |     4355     63 |        0 |        0
54.68/54.73	c 49.8s |      16 |   139074 |   131552 |     4355     65 |        0 |        0
56.68/56.74	c 51.8s |      16 |   145937 |   138152 |     4355     67 |        0 |        0
58.68/58.77	c 53.8s |      16 |   152488 |   144552 |     4355     70 |        0 |        0
60.78/60.80	c 55.9s |      16 |   158460 |   150452 |     4355     72 |        0 |        0
62.79/62.83	c 57.9s |      16 |   164357 |   156252 |     4355     75 |        0 |        0
64.78/64.84	c 59.9s |      16 |   170204 |   162052 |     4355     77 |        0 |        0
66.78/66.87	c 61.9s |      16 |   176075 |   167652 |     4355     79 |        0 |        0
68.78/68.87	c 63.9s |      16 |   181998 |   173152 |     4355     82 |        0 |        0
70.88/70.90	c 66.0s |      16 |   187617 |   178652 |     4355     84 |        0 |        0
72.88/72.91	c 68.0s |      16 |   193022 |   183552 |     4791     86 |        0 |        0
74.89/74.96	c 70.0s |      16 |   198587 |   187952 |     4791     87 |        0 |        0
76.88/76.97	c 72.0s |      16 |   204347 |   193252 |     4791     90 |        0 |        0
78.48/78.57	c 73.6s |      17 |   208654 |   197432 |     4791     91 |        0 |        0
80.58/80.62	c 75.7s |      17 |   214206 |   201432 |     4791     93 |        0 |        0
82.59/82.64	c 77.7s |      17 |   219930 |   207032 |     4791     95 |        0 |        0
84.58/84.68	c 79.7s |      17 |   225779 |   212232 |     4791     96 |        0 |        0
86.58/86.70	c 81.8s |      17 |   230712 |   216432 |     4791     98 |        0 |        0
88.68/88.71	c 83.8s |      17 |   236124 |   221632 |     4791    100 |        0 |        0
90.68/90.73	c 85.8s |      17 |   243592 |   227532 |     4791    102 |        0 |        0
92.68/92.77	c 87.8s |      17 |   249723 |   232032 |     4791    104 |        0 |        0
94.78/94.82	c 89.9s |      17 |   254860 |   236832 |     4791    105 |        0 |        0
96.78/96.82	c 91.9s |      17 |   259671 |   241032 |     4791    107 |        0 |        0
98.77/98.85	c 93.9s |      17 |   263954 |   245032 |     4791    108 |        0 |        0
100.77/100.89	c 95.9s |      17 |   267608 |   248532 |     4791    110 |        0 |        0
102.87/102.91	c 98.0s |      17 |   273325 |   254032 |     4791    112 |        0 |        0
104.87/104.94	c 100.0s |      17 |   278764 |   259232 |     4791    114 |        0 |        0
106.87/106.98	c  102s |      17 |   283636 |   263932 |     4791    115 |        0 |        0
108.98/109.01	c  104s |      17 |   288475 |   268532 |     4791    117 |        0 |        0
110.97/111.03	c  106s |      17 |   292954 |   272732 |     4791    118 |        0 |        0
112.97/113.06	c  108s |      17 |   297321 |   276832 |     4791    120 |        0 |        0
115.07/115.11	c  110s |      17 |   302207 |   281332 |     5271    121 |        0 |        0
117.07/117.13	c  112s |      17 |   307505 |   286432 |     5271    123 |        0 |        0
119.07/119.17	c  114s |      17 |   312352 |   290832 |     5271    125 |        0 |        0
121.17/121.20	c  116s |      17 |   317470 |   295632 |     5271    126 |        0 |        0
121.37/121.43	c  116s |      18 |   318101 |   296252 |     5271    126 |        0 |        0
123.37/123.44	c  118s |      18 |   324935 |   302752 |     5271    129 |        0 |        0
125.37/125.45	c  120s |      18 |   330212 |   307952 |     5271    131 |        0 |        0
127.38/127.46	c  122s |      18 |   336792 |   314352 |     5271    133 |        0 |        0
129.38/129.47	c  124s |      18 |   342278 |   319752 |     5271    135 |        0 |        0
131.38/131.49	c  126s |      18 |   347661 |   325052 |     5271    136 |        0 |        0
133.47/133.52	c  128s |      18 |   353600 |   330852 |     5271    138 |        0 |        0
135.47/135.54	c  130s |      18 |   359297 |   336452 |     5271    140 |        0 |        0
137.48/137.54	c  132s |      18 |   365310 |   342352 |     5271    142 |        0 |        0
139.47/139.55	c  134s |      18 |   370857 |   347852 |     5271    144 |        0 |        0
141.47/141.59	c  136s |      18 |   377195 |   354052 |     5271    146 |        0 |        0
143.57/143.61	c  138s |      18 |   382903 |   359652 |     5271    148 |        0 |        0
145.57/145.61	c  140s |      18 |   388765 |   365352 |     5271    150 |        0 |        0
147.57/147.62	c  142s |      18 |   394759 |   371252 |     5271    152 |        0 |        0
149.58/149.63	c  144s |      18 |   400286 |   376652 |     5271    154 |        0 |        0
151.57/151.64	c  146s |      18 |   405549 |   381852 |     5271    156 |        0 |        0
153.57/153.67	c  148s |      18 |   411972 |   388152 |     5271    158 |        0 |        0
155.67/155.70	c  150s |      18 |   417590 |   393652 |     5271    160 |        0 |        0
157.67/157.71	c  152s |      18 |   423439 |   399452 |     5271    162 |        0 |        0
159.67/159.73	c  154s |      18 |   428939 |   404852 |     5271    164 |        0 |        0
161.68/161.74	c  156s |      18 |   434749 |   410352 |     5271    166 |        0 |        0
163.67/163.75	c  158s |      18 |   439863 |   415252 |     5271    168 |        0 |        0
165.67/165.79	c  160s |      18 |   445064 |   420152 |     5271    169 |        0 |        0
167.77/167.80	c  162s |      18 |   450288 |   425152 |     5271    171 |        0 |        0
169.77/169.83	c  164s |      18 |   455294 |   429952 |     5799    172 |        0 |        0
171.77/171.87	c  166s |      18 |   460704 |   435152 |     5799    174 |        0 |        0
173.77/173.88	c  168s |      18 |   466048 |   440352 |     5799    176 |        0 |        0
175.37/175.49	c  170s |      19 |   470315 |   444482 |     5799    177 |        0 |        0
177.47/177.50	c  172s |      19 |   476177 |   449882 |     5799    179 |        0 |        0
179.47/179.53	c  174s |      19 |   481426 |   454782 |     5799    180 |        0 |        0
181.47/181.55	c  176s |      19 |   486825 |   459982 |     5799    182 |        0 |        0
183.47/183.56	c  178s |      19 |   492913 |   465682 |     5799    184 |        0 |        0
185.46/185.59	c  180s |      19 |   498571 |   470982 |     5799    185 |        0 |        0
187.56/187.61	c  182s |      19 |   504089 |   476282 |     5799    187 |        0 |        0
189.56/189.65	c  184s |      19 |   508590 |   480682 |     5799    188 |        0 |        0
191.56/191.65	c  186s |      19 |   514009 |   485782 |     5799    190 |        0 |        0
193.57/193.67	c  188s |      19 |   519482 |   490682 |     5799    192 |        0 |        0
195.66/195.71	c  190s |      19 |   525058 |   495982 |     5799    193 |        0 |        0
197.66/197.72	c  192s |      19 |   530184 |   500782 |     5799    195 |        0 |        0
199.66/199.76	c  194s |      19 |   535897 |   506182 |     5799    196 |        0 |        0
201.66/201.77	c  196s |      19 |   541589 |   511482 |     5799    198 |        0 |        0
203.76/203.80	c  198s |      19 |   547182 |   516882 |     5799    200 |        0 |        0
205.77/205.81	c  200s |      19 |   554263 |   523782 |     5799    202 |        0 |        0
207.76/207.81	c  202s |      19 |   560980 |   530382 |     5799    204 |        0 |        0
209.76/209.85	c  204s |      19 |   565923 |   535282 |     5799    206 |        0 |        0
211.76/211.86	c  206s |      19 |   570707 |   539982 |     5799    207 |        0 |        0
213.76/213.89	c  208s |      19 |   575786 |   544982 |     5799    209 |        0 |        0
215.86/215.91	c  210s |      19 |   581963 |   550882 |     5799    210 |        0 |        0
217.86/217.94	c  213s |      19 |   587999 |   556782 |     5799    212 |        0 |        0
219.86/219.95	c  215s |      19 |   593921 |   562582 |     5799    214 |        0 |        0
221.86/221.96	c  217s |      19 |   599193 |   567782 |     5799    216 |        0 |        0
223.86/223.99	c  219s |      19 |   604534 |   572882 |     5799    217 |        0 |        0
225.96/226.01	c  221s |      19 |   610507 |   578682 |     5799    219 |        0 |        0
227.96/228.01	c  223s |      19 |   616283 |   584382 |     5799    221 |        0 |        0
229.96/230.03	c  225s |      19 |   621630 |   589482 |     5799    223 |        0 |        0
231.96/232.07	c  227s |      19 |   627767 |   595482 |     5799    224 |        0 |        0
234.06/234.10	c  229s |      19 |   633434 |   601082 |     5799    226 |        0 |        0
236.06/236.12	c  231s |      19 |   639700 |   606782 |     5799    228 |        0 |        0
238.05/238.14	c  233s |      19 |   646191 |   613082 |     5799    230 |        0 |        0
240.05/240.17	c  235s |      19 |   651940 |   618782 |     5799    232 |        0 |        0
242.15/242.20	c  237s |      19 |   657878 |   624482 |     5799    234 |        0 |        0
244.16/244.22	c  239s |      19 |   663428 |   629982 |     5799    235 |        0 |        0
246.15/246.26	c  241s |      19 |   668650 |   635082 |     5799    237 |        0 |        0
248.15/248.27	c  243s |      19 |   673958 |   640282 |     5799    238 |        0 |        0
250.15/250.27	c  245s |      19 |   679213 |   645482 |     5799    240 |        0 |        0
252.15/252.29	c  247s |      19 |   684482 |   650582 |     6379    242 |        0 |        0
254.25/254.32	c  249s |      19 |   689698 |   655682 |     6379    243 |        0 |        0
256.26/256.33	c  251s |      19 |   694452 |   660282 |     6379    244 |        0 |        0
258.25/258.37	c  253s |      19 |   699658 |   665382 |     6379    246 |        0 |        0
258.85/258.98	c  254s |      20 |   701124 |   666827 |     6379    246 |        0 |        0
260.85/260.99	c  256s |      20 |   707586 |   672827 |     6379    248 |        0 |        0
262.96/263.05	c  258s |      20 |   713415 |   678627 |     6379    250 |        0 |        0
264.95/265.06	c  260s |      20 |   718565 |   683727 |     6379    251 |        0 |        0
266.95/267.08	c  262s |      20 |   722650 |   687727 |     6379    252 |        0 |        0
268.95/269.09	c  264s |      20 |   728134 |   693127 |     6379    254 |        0 |        0
271.05/271.10	c  266s |      20 |   733725 |   698627 |     6379    255 |        0 |        0
273.05/273.10	c  268s |      20 |   739124 |   703927 |     6379    257 |        0 |        0
275.05/275.11	c  270s |      20 |   744102 |   708827 |     6379    258 |        0 |        0
277.05/277.13	c  272s |      20 |   748614 |   713227 |     6379    259 |        0 |        0
279.05/279.16	c  274s |      20 |   752795 |   717327 |     6379    260 |        0 |        0
281.05/281.19	c  276s |      20 |   757850 |   722227 |     6379    262 |        0 |        0
283.15/283.20	c  278s |      20 |   762423 |   726727 |     6379    263 |        0 |        0
285.15/285.23	c  280s |      20 |   767504 |   731727 |     6379    264 |        0 |        0
287.15/287.24	c  282s |      20 |   772865 |   736927 |     6379    266 |        0 |        0
289.14/289.25	c  284s |      20 |   778746 |   742727 |     6379    267 |        0 |        0
291.14/291.27	c  286s |      20 |   784352 |   748227 |     6379    269 |        0 |        0
293.14/293.28	c  288s |      20 |   790183 |   753927 |     6379    271 |        0 |        0
295.14/295.29	c  290s |      20 |   795203 |   758827 |     6379    272 |        0 |        0
297.34/297.41	c  292s |      20 |   800254 |   763727 |     6379    273 |        0 |        0
299.34/299.44	c  294s |      20 |   804684 |   768027 |     6379    274 |        0 |        0
301.35/301.46	c  296s |      20 |   810283 |   773527 |     6379    276 |        0 |        0
303.34/303.48	c  298s |      20 |   814590 |   777727 |     6379    277 |        0 |        0
305.44/305.51	c  300s |      20 |   818603 |   781627 |     6379    278 |        0 |        0
307.44/307.53	c  302s |      20 |   822844 |   785727 |     6379    279 |        0 |        0
309.44/309.56	c  304s |      20 |   827864 |   790627 |     6379    281 |        0 |        0
311.44/311.56	c  306s |      20 |   833179 |   795827 |     6379    282 |        0 |        0
313.45/313.57	c  308s |      20 |   837784 |   800327 |     6379    284 |        0 |        0
315.54/315.60	c  310s |      20 |   843985 |   806427 |     6379    285 |        0 |        0
317.54/317.62	c  312s |      20 |   848777 |   811127 |     6379    287 |        0 |        0
319.54/319.69	c  314s |      20 |   853669 |   815827 |     6379    288 |        0 |        0
321.54/321.70	c  316s |      20 |   855518 |   817427 |     6379    288 |        0 |        0
323.64/323.73	c  318s |      20 |   861088 |   822927 |     6379    290 |        0 |        0
325.64/325.77	c  320s |      20 |   863607 |   825327 |     6379    291 |        0 |        0
327.74/327.81	c  322s |      20 |   866535 |   828127 |     6379    291 |        0 |        0
329.84/329.94	c  325s |      20 |   870493 |   832027 |     6379    292 |        0 |        0
331.94/332.07	c  327s |      20 |   873180 |   834627 |     6379    293 |        0 |        0
334.04/334.12	c  329s |      20 |   875874 |   837227 |     6379    294 |        0 |        0
336.13/336.21	c  331s |      20 |   878271 |   839527 |     6379    295 |        0 |        0
338.13/338.25	c  333s |      20 |   881737 |   842927 |     6379    295 |        0 |        0
340.13/340.28	c  335s |      20 |   886193 |   847327 |     6379    297 |        0 |        0
342.15/342.29	c  337s |      20 |   890410 |   851427 |     6379    298 |        0 |        0
344.35/344.43	c  339s |      20 |   894912 |   855827 |     6379    299 |        0 |        0
346.34/346.46	c  341s |      20 |   898779 |   859627 |     6379    300 |        0 |        0
348.34/348.49	c  343s |      20 |   902666 |   863427 |     6379    301 |        0 |        0
350.44/350.53	c  345s |      20 |   906428 |   867127 |     6379    302 |        0 |        0
352.44/352.53	c  347s |      20 |   908817 |   869427 |     6379    303 |        0 |        0
354.44/354.56	c  349s |      20 |   911068 |   871627 |     6379    303 |        0 |        0
356.54/356.62	c  351s |      20 |   913439 |   873927 |     6379    304 |        0 |        0
358.55/358.62	c  353s |      20 |   916599 |   877027 |     6379    305 |        0 |        0
360.54/360.63	c  355s |      20 |   920414 |   880627 |     6379    306 |        0 |        0
362.54/362.67	c  357s |      20 |   925877 |   886027 |     6379    308 |        0 |        0
364.54/364.68	c  359s |      20 |   931702 |   891727 |     6379    309 |        0 |        0
366.64/366.76	c  361s |      20 |   936242 |   896127 |     6379    310 |        0 |        0
368.64/368.77	c  363s |      20 |   941467 |   901227 |     6379    312 |        0 |        0
370.75/370.83	c  365s |      20 |   945981 |   905627 |     6379    313 |        0 |        0
372.74/372.84	c  367s |      20 |   950918 |   910527 |     6379    314 |        0 |        0
374.74/374.86	c  369s |      20 |   957113 |   916627 |     6379    316 |        0 |        0
376.74/376.89	c  371s |      20 |   963082 |   922527 |     6379    318 |        0 |        0
378.84/378.98	c  374s |      20 |   969148 |   928427 |     6379    320 |        0 |        0
380.94/381.01	c  376s |      20 |   974989 |   934027 |     6379    321 |        0 |        0
382.94/383.01	c  378s |      20 |   979845 |   938627 |     6379    322 |        0 |        0
384.94/385.04	c  380s |      20 |   984338 |   942927 |     6379    324 |        0 |        0
386.94/387.04	c  382s |      20 |   989111 |   947527 |     6379    325 |        0 |        0
389.03/389.10	c  384s |      20 |   993458 |   951727 |     6379    326 |        0 |        0
391.04/391.12	c  386s |      20 |   998013 |   956127 |     6379    327 |        0 |        0
393.04/393.20	c  388s |      20 |  1002698 |   960627 |     6379    329 |        0 |        0
395.13/395.20	c  390s |      20 |  1006948 |   964727 |     6379    330 |        0 |        0
397.14/397.23	c  392s |      20 |  1011681 |   969327 |     6379    331 |        0 |        0
399.13/399.25	c  394s |      20 |  1015905 |   973427 |     6379    332 |        0 |        0
401.13/401.26	c  396s |      20 |  1020357 |   977827 |     6379    333 |        0 |        0
403.23/403.32	c  398s |      20 |  1024911 |   982127 |     7017    334 |        0 |        0
405.23/405.37	c  400s |      20 |  1029178 |   986227 |     7017    335 |        0 |        0
407.33/407.42	c  402s |      20 |  1033658 |   990527 |     7017    336 |        0 |        0
409.33/409.45	c  404s |      20 |  1038711 |   995327 |     7017    338 |        0 |        0
411.34/411.47	c  406s |      20 |  1043352 |   999827 |     7017    339 |        0 |        0
411.63/411.70	c  406s |      21 |  1043878 |  1000345 |     7017    339 |        0 |        0
413.64/413.71	c  408s |      21 |  1050965 |  1007145 |     7017    341 |        0 |        0
415.63/415.73	c  410s |      21 |  1057055 |  1013045 |     7017    343 |        0 |        0
417.63/417.77	c  412s |      21 |  1063004 |  1018645 |     7017    344 |        0 |        0
419.63/419.79	c  414s |      21 |  1066669 |  1022245 |     7017    345 |        0 |        0
421.73/421.84	c  416s |      21 |  1070987 |  1026345 |     7017    346 |        0 |        0
423.73/423.85	c  418s |      21 |  1074756 |  1029745 |     7017    347 |        0 |        0
425.83/425.92	c  420s |      21 |  1077548 |  1032345 |     7017    347 |        0 |        0
427.84/427.95	c  423s |      21 |  1081648 |  1036345 |     7017    348 |        0 |        0
429.83/429.98	c  425s |      21 |  1085072 |  1039545 |     7017    349 |        0 |        0
431.93/432.01	c  427s |      21 |  1089620 |  1043745 |     7017    350 |        0 |        0
433.93/434.06	c  429s |      21 |  1093428 |  1047245 |     7017    351 |        0 |        0
435.93/436.08	c  431s |      21 |  1096970 |  1050645 |     7017    352 |        0 |        0
438.03/438.10	c  433s |      21 |  1101592 |  1054745 |     7017    353 |        0 |        0
440.03/440.13	c  435s |      21 |  1106248 |  1059045 |     7017    354 |        0 |        0
442.03/442.17	c  437s |      21 |  1110855 |  1063445 |     7017    355 |        0 |        0
444.13/444.20	c  439s |      21 |  1114870 |  1067145 |     7017    356 |        0 |        0
446.13/446.23	c  441s |      21 |  1119271 |  1071345 |     7017    358 |        0 |        0
448.13/448.27	c  443s |      21 |  1123311 |  1075045 |     7017    358 |        0 |        0
450.13/450.29	c  445s |      21 |  1127246 |  1078745 |     7017    359 |        0 |        0
452.13/452.29	c  447s |      21 |  1131855 |  1083145 |     7017    361 |        0 |        0
454.12/454.30	c  449s |      21 |  1136371 |  1087345 |     7017    362 |        0 |        0
456.22/456.30	c  451s |      21 |  1140789 |  1091445 |     7017    363 |        0 |        0
458.22/458.33	c  453s |      21 |  1144759 |  1095245 |     7017    364 |        0 |        0
460.22/460.33	c  455s |      21 |  1148759 |  1098845 |     7017    365 |        0 |        0
462.22/462.36	c  457s |      21 |  1153406 |  1102945 |     7017    366 |        0 |        0
464.32/464.41	c  459s |      21 |  1157126 |  1106245 |     7017    367 |        0 |        0
466.33/466.46	c  461s |      21 |  1162332 |  1111245 |     7017    368 |        0 |        0
468.42/468.51	c  463s |      21 |  1167265 |  1115945 |     7017    369 |        0 |        0
470.42/470.54	c  465s |      21 |  1172146 |  1120645 |     7017    370 |        0 |        0
472.42/472.56	c  467s |      21 |  1177096 |  1125245 |     7017    371 |        0 |        0
474.42/474.57	c  469s |      21 |  1181429 |  1129345 |     7017    373 |        0 |        0
476.52/476.60	c  471s |      21 |  1186267 |  1133945 |     7017    374 |        0 |        0
478.53/478.63	c  473s |      21 |  1190932 |  1138445 |     7017    375 |        0 |        0
480.52/480.68	c  475s |      21 |  1196017 |  1143045 |     7017    376 |        0 |        0
482.62/482.71	c  477s |      21 |  1200994 |  1147845 |     7017    377 |        0 |        0
484.62/484.71	c  479s |      21 |  1205832 |  1152545 |     7017    379 |        0 |        0
486.62/486.72	c  481s |      21 |  1210652 |  1157145 |     7017    380 |        0 |        0
488.62/488.76	c  483s |      21 |  1215473 |  1161645 |     7017    381 |        0 |        0
490.62/490.78	c  485s |      21 |  1219447 |  1165045 |     7017    382 |        0 |        0
492.62/492.79	c  487s |      21 |  1223785 |  1168945 |     7017    383 |        0 |        0
494.82/494.96	c  490s |      21 |  1228576 |  1173045 |     7017    384 |        0 |        0
496.81/496.97	c  492s |      21 |  1231649 |  1175645 |     7017    385 |        0 |        0
498.91/499.06	c  494s |      21 |  1234826 |  1178345 |     7017    385 |        0 |        0
500.91/501.08	c  496s |      21 |  1237828 |  1180845 |     7017    386 |        0 |        0
502.91/503.08	c  498s |      21 |  1241741 |  1184345 |     7017    387 |        0 |        0
504.92/505.09	c  500s |      21 |  1245791 |  1188245 |     7017    388 |        0 |        0
507.02/507.10	c  502s |      21 |  1249975 |  1192245 |     7017    389 |        0 |        0
509.01/509.11	c  504s |      21 |  1254860 |  1196945 |     7017    390 |        0 |        0
511.01/511.15	c  506s |      21 |  1259343 |  1201245 |     7017    391 |        0 |        0
513.01/513.16	c  508s |      21 |  1263314 |  1204945 |     7017    392 |        0 |        0
515.01/515.18	c  510s |      21 |  1267181 |  1208545 |     7017    393 |        0 |        0
517.11/517.24	c  512s |      21 |  1272388 |  1213345 |     7017    394 |        0 |        0
519.12/519.27	c  514s |      21 |  1276884 |  1217545 |     7017    395 |        0 |        0
521.21/521.33	c  516s |      21 |  1281842 |  1221945 |     7017    396 |        0 |        0
523.21/523.34	c  518s |      21 |  1285285 |  1225245 |     7017    397 |        0 |        0
525.21/525.37	c  520s |      21 |  1290257 |  1229945 |     7017    399 |        0 |        0
527.21/527.39	c  522s |      21 |  1296362 |  1235845 |     7017    400 |        0 |        0
529.31/529.43	c  524s |      21 |  1301532 |  1240845 |     7017    401 |        0 |        0
531.32/531.49	c  526s |      21 |  1305190 |  1244345 |     7017    402 |        0 |        0
533.42/533.51	c  528s |      21 |  1308996 |  1247845 |     7017    403 |        0 |        0
535.41/535.53	c  530s |      21 |  1313625 |  1252245 |     7017    404 |        0 |        0
537.41/537.55	c  532s |      21 |  1317725 |  1256145 |     7017    405 |        0 |        0
539.41/539.55	c  534s |      21 |  1322180 |  1260445 |     7017    406 |        0 |        0
541.41/541.56	c  536s |      21 |  1326405 |  1264445 |     7017    407 |        0 |        0
543.41/543.59	c  538s |      21 |  1330729 |  1268645 |     7017    409 |        0 |        0
545.51/545.62	c  540s |      21 |  1335435 |  1273145 |     7017    410 |        0 |        0
547.50/547.66	c  542s |      21 |  1340208 |  1277745 |     7017    411 |        0 |        0
549.50/549.67	c  544s |      21 |  1344350 |  1281545 |     7017    412 |        0 |        0
551.60/551.71	c  546s |      21 |  1348318 |  1285345 |     7017    413 |        0 |        0
553.60/553.77	c  548s |      21 |  1351753 |  1288645 |     7017    414 |        0 |        0
555.70/555.81	c  550s |      21 |  1356006 |  1292745 |     7017    415 |        0 |        0
557.71/557.84	c  552s |      21 |  1360403 |  1296945 |     7017    416 |        0 |        0
559.70/559.87	c  554s |      21 |  1364717 |  1301045 |     7017    417 |        0 |        0
561.80/561.90	c  556s |      21 |  1368592 |  1304745 |     7017    418 |        0 |        0
563.80/563.95	c  559s |      21 |  1372967 |  1308845 |     7017    419 |        0 |        0
565.81/565.99	c  561s |      21 |  1377333 |  1312945 |     7017    420 |        0 |        0
567.91/568.00	c  563s |      21 |  1381442 |  1316645 |     7017    421 |        0 |        0
569.91/570.04	c  565s |      21 |  1385780 |  1320645 |     7017    422 |        0 |        0
571.92/572.06	c  567s |      21 |  1390116 |  1324845 |     7017    423 |        0 |        0
574.01/574.10	c  569s |      21 |  1394424 |  1329045 |     7017    424 |        0 |        0
576.00/576.13	c  571s |      21 |  1398676 |  1333145 |     7017    425 |        0 |        0
578.00/578.16	c  573s |      21 |  1403010 |  1337345 |     7017    426 |        0 |        0
580.00/580.19	c  575s |      21 |  1407776 |  1341845 |     7017    428 |        0 |        0
582.10/582.21	c  577s |      21 |  1412156 |  1346045 |     7017    429 |        0 |        0
584.11/584.22	c  579s |      21 |  1416787 |  1350545 |     7017    430 |        0 |        0
586.09/586.23	c  581s |      21 |  1421544 |  1355045 |     7017    431 |        0 |        0
588.09/588.24	c  583s |      21 |  1426095 |  1359445 |     7017    432 |        0 |        0
590.09/590.27	c  585s |      21 |  1429797 |  1362845 |     7017    433 |        0 |        0
592.19/592.31	c  587s |      21 |  1434244 |  1367145 |     7017    434 |        0 |        0
594.19/594.35	c  589s |      21 |  1439096 |  1371845 |     7017    435 |        0 |        0
596.20/596.37	c  591s |      21 |  1443781 |  1376345 |     7017    437 |        0 |        0
598.19/598.39	c  593s |      21 |  1448409 |  1380745 |     7017    438 |        0 |        0
600.29/600.40	c  595s |      21 |  1452723 |  1384845 |     7017    439 |        0 |        0
602.29/602.42	c  597s |      21 |  1457526 |  1389245 |     7017    440 |        0 |        0
604.29/604.45	c  599s |      21 |  1462508 |  1394045 |     7017    441 |        0 |        0
606.28/606.47	c  601s |      21 |  1466786 |  1398145 |     7017    442 |        0 |        0
608.29/608.48	c  603s |      21 |  1471538 |  1402745 |     7017    443 |        0 |        0
610.39/610.52	c  605s |      21 |  1475774 |  1406745 |     7017    444 |        0 |        0
612.38/612.54	c  607s |      21 |  1480062 |  1410745 |     7017    445 |        0 |        0
614.47/614.61	c  609s |      21 |  1482902 |  1413145 |     7017    446 |        0 |        0
616.47/616.66	c  611s |      21 |  1487746 |  1417445 |     7017    447 |        0 |        0
618.57/618.71	c  613s |      21 |  1492429 |  1421945 |     7017    448 |        0 |        0
620.57/620.73	c  615s |      21 |  1496349 |  1425645 |     7017    449 |        0 |        0
622.58/622.76	c  617s |      21 |  1500548 |  1429745 |     7017    450 |        0 |        0
624.57/624.79	c  619s |      21 |  1504281 |  1433245 |     7017    451 |        0 |        0
626.57/626.79	c  621s |      21 |  1508024 |  1436845 |     7017    452 |        0 |        0
628.67/628.85	c  623s |      21 |  1511769 |  1440445 |     7017    453 |        0 |        0
630.67/630.90	c  625s |      21 |  1515539 |  1444145 |     7017    454 |        0 |        0
632.77/632.94	c  628s |      21 |  1519278 |  1447745 |     7017    455 |        0 |        0
634.87/635.01	c  630s |      21 |  1523697 |  1451945 |     7017    456 |        0 |        0
636.87/637.05	c  632s |      21 |  1527409 |  1455445 |     7017    457 |        0 |        0
638.97/639.10	c  634s |      21 |  1530978 |  1458845 |     7017    458 |        0 |        0
640.97/641.13	c  636s |      21 |  1534697 |  1462345 |     7017    459 |        0 |        0
642.96/643.19	c  638s |      21 |  1538518 |  1465945 |     7017    460 |        0 |        0
645.06/645.24	c  640s |      21 |  1541746 |  1469045 |     7017    460 |        0 |        0
647.16/647.30	c  642s |      21 |  1545901 |  1473045 |     7017    461 |        0 |        0
649.16/649.32	c  644s |      21 |  1549830 |  1476745 |     7719    462 |        0 |        0
651.17/651.32	c  646s |      21 |  1553465 |  1480145 |     7719    463 |        0 |        0
653.16/653.34	c  648s |      21 |  1557388 |  1483845 |     7719    464 |        0 |        0
655.26/655.40	c  650s |      21 |  1560896 |  1487145 |     7719    465 |        0 |        0
657.36/657.51	c  652s |      21 |  1563915 |  1489945 |     7719    465 |        0 |        0
659.36/659.53	c  654s |      21 |  1566835 |  1492745 |     7719    466 |        0 |        0
661.36/661.57	c  656s |      21 |  1569297 |  1495145 |     7719    467 |        0 |        0
663.46/663.70	c  658s |      21 |  1573116 |  1498845 |     7719    468 |        0 |        0
664.46/664.69	c  659s |      22 |  1574972 |  1500622 |     7719    468 |        0 |        0
666.56/666.71	c  661s |      22 |  1581102 |  1506522 |     7719    469 |        0 |        0
668.55/668.80	c  663s |      22 |  1585673 |  1511022 |     7719    471 |        0 |        0
670.65/670.83	c  665s |      22 |  1590156 |  1515422 |     7719    472 |        0 |        0
672.65/672.84	c  667s |      22 |  1595096 |  1520222 |     7719    473 |        0 |        0
674.64/674.86	c  669s |      22 |  1600184 |  1525122 |     7719    474 |        0 |        0
676.64/676.86	c  671s |      22 |  1604746 |  1529522 |     7719    475 |        0 |        0
678.66/678.89	c  673s |      22 |  1609370 |  1534022 |     7719    476 |        0 |        0
680.65/680.90	c  675s |      22 |  1613621 |  1538122 |     7719    477 |        0 |        0
682.75/682.90	c  677s |      22 |  1619187 |  1543522 |     7719    479 |        0 |        0
684.75/684.91	c  679s |      22 |  1624256 |  1548522 |     7719    480 |        0 |        0
686.75/686.94	c  682s |      22 |  1628876 |  1553022 |     7719    481 |        0 |        0
688.75/688.97	c  684s |      22 |  1633679 |  1557722 |     7719    482 |        0 |        0
690.75/690.99	c  686s |      22 |  1638723 |  1562422 |     7719    483 |        0 |        0
692.85/693.02	c  688s |      22 |  1644002 |  1567422 |     7719    484 |        0 |        0
694.84/695.06	c  690s |      22 |  1648208 |  1571522 |     7719    485 |        0 |        0
696.94/697.10	c  692s |      22 |  1653154 |  1576322 |     7719    487 |        0 |        0
698.94/699.13	c  694s |      22 |  1657492 |  1580522 |     7719    488 |        0 |        0
700.94/701.16	c  696s |      22 |  1661992 |  1584922 |     7719    489 |        0 |        0
702.94/703.17	c  698s |      22 |  1666469 |  1589322 |     7719    490 |        0 |        0
704.93/705.17	c  700s |      22 |  1671187 |  1593922 |     7719    491 |        0 |        0
706.93/707.18	c  702s |      22 |  1675800 |  1598422 |     7719    492 |        0 |        0
709.03/709.20	c  704s |      22 |  1680552 |  1603022 |     7719    493 |        0 |        0
711.03/711.20	c  706s |      22 |  1684783 |  1607122 |     7719    494 |        0 |        0
713.03/713.21	c  708s |      22 |  1688707 |  1611022 |     7719    495 |        0 |        0
715.02/715.24	c  710s |      22 |  1692632 |  1614922 |     7719    496 |        0 |        0
717.03/717.26	c  712s |      22 |  1696278 |  1618522 |     7719    497 |        0 |        0
719.12/719.31	c  714s |      22 |  1699697 |  1621922 |     7719    498 |        0 |        0
721.12/721.35	c  716s |      22 |  1703341 |  1625522 |     7719    499 |        0 |        0
723.22/723.42	c  718s |      22 |  1706286 |  1628422 |     7719    500 |        0 |        0
725.22/725.43	c  720s |      22 |  1710970 |  1633022 |     7719    501 |        0 |        0
727.22/727.45	c  722s |      22 |  1715655 |  1637522 |     7719    502 |        0 |        0
729.32/729.50	c  724s |      22 |  1721785 |  1643522 |     7719    503 |        0 |        0
731.32/731.52	c  726s |      22 |  1726721 |  1648422 |     7719    504 |        0 |        0
733.31/733.55	c  728s |      22 |  1731691 |  1653322 |     7719    506 |        0 |        0
735.31/735.58	c  730s |      22 |  1736459 |  1658022 |     7719    507 |        0 |        0
737.41/737.61	c  732s |      22 |  1741451 |  1662922 |     7719    508 |        0 |        0
739.41/739.64	c  734s |      22 |  1746621 |  1668022 |     7719    509 |        0 |        0
741.42/741.66	c  736s |      22 |  1751882 |  1673222 |     7719    511 |        0 |        0
743.42/743.68	c  738s |      22 |  1757138 |  1678422 |     7719    512 |        0 |        0
745.51/745.70	c  740s |      22 |  1762997 |  1684122 |     7719    513 |        0 |        0
747.51/747.74	c  742s |      22 |  1767863 |  1688922 |     7719    515 |        0 |        0
749.51/749.78	c  744s |      22 |  1772702 |  1693722 |     7719    516 |        0 |        0
751.51/751.79	c  746s |      22 |  1778139 |  1699022 |     7719    517 |        0 |        0
753.61/753.84	c  748s |      22 |  1782970 |  1703722 |     7719    518 |        0 |        0
755.61/755.86	c  750s |      22 |  1787282 |  1707922 |     7719    519 |        0 |        0
757.60/757.87	c  752s |      22 |  1792307 |  1712822 |     7719    520 |        0 |        0
759.70/759.97	c  755s |      22 |  1796809 |  1717222 |     7719    522 |        0 |        0
761.70/761.99	c  757s |      22 |  1801087 |  1721422 |     7719    523 |        0 |        0
763.80/764.00	c  759s |      22 |  1805436 |  1725622 |     7719    524 |        0 |        0
765.80/766.03	c  761s |      22 |  1809410 |  1729422 |     7719    525 |        0 |        0
767.80/768.07	c  763s |      22 |  1813876 |  1733722 |     7719    526 |        0 |        0
769.80/770.09	c  765s |      22 |  1818026 |  1737722 |     7719    527 |        0 |        0
771.90/772.10	c  767s |      22 |  1822747 |  1742322 |     7719    528 |        0 |        0
773.89/774.10	c  769s |      22 |  1827791 |  1747222 |     7719    529 |        0 |        0
775.89/776.11	c  771s |      22 |  1832360 |  1751622 |     7719    530 |        0 |        0
777.89/778.15	c  773s |      22 |  1836862 |  1756022 |     7719    531 |        0 |        0
779.89/780.16	c  775s |      22 |  1841656 |  1760722 |     7719    532 |        0 |        0
781.90/782.19	c  777s |      22 |  1846025 |  1765022 |     7719    533 |        0 |        0
783.99/784.21	c  779s |      22 |  1850401 |  1769322 |     7719    534 |        0 |        0
785.98/786.24	c  781s |      22 |  1854271 |  1773122 |     7719    535 |        0 |        0
787.98/788.27	c  783s |      22 |  1858558 |  1777322 |     7719    536 |        0 |        0
790.08/790.32	c  785s |      22 |  1863090 |  1781722 |     7719    538 |        0 |        0
792.08/792.36	c  787s |      22 |  1866653 |  1785222 |     7719    538 |        0 |        0
794.09/794.36	c  789s |      22 |  1871799 |  1789622 |     7719    539 |        0 |        0
796.08/796.38	c  791s |      22 |  1876431 |  1794022 |     7719    541 |        0 |        0
798.08/798.38	c  793s |      22 |  1881527 |  1798922 |     7719    542 |        0 |        0
800.18/800.41	c  795s |      22 |  1885571 |  1802822 |     7719    543 |        0 |        0
802.18/802.41	c  797s |      22 |  1889878 |  1806922 |     7719    544 |        0 |        0
804.17/804.42	c  799s |      22 |  1894223 |  1810822 |     7719    545 |        0 |        0
806.18/806.44	c  801s |      22 |  1899726 |  1816022 |     7719    546 |        0 |        0
808.17/808.47	c  803s |      22 |  1904501 |  1820522 |     7719    547 |        0 |        0
810.17/810.48	c  805s |      22 |  1909343 |  1825122 |     7719    548 |        0 |        0
812.27/812.50	c  807s |      22 |  1915031 |  1830422 |     7719    550 |        0 |        0
814.27/814.52	c  809s |      22 |  1920291 |  1835622 |     7719    551 |        0 |        0
816.26/816.54	c  811s |      22 |  1924946 |  1840222 |     7719    552 |        0 |        0
818.28/818.56	c  813s |      22 |  1930069 |  1845122 |     7719    553 |        0 |        0
820.27/820.57	c  815s |      22 |  1934637 |  1849622 |     7719    554 |        0 |        0
822.27/822.57	c  817s |      22 |  1939440 |  1854322 |     7719    555 |        0 |        0
824.27/824.58	c  819s |      22 |  1944272 |  1858822 |     7719    557 |        0 |        0
826.27/826.59	c  821s |      22 |  1948349 |  1862722 |     7719    558 |        0 |        0
828.37/828.63	c  823s |      22 |  1952718 |  1866922 |     7719    559 |        0 |        0
830.37/830.63	c  825s |      22 |  1958075 |  1872022 |     7719    560 |        0 |        0
832.37/832.67	c  827s |      22 |  1962932 |  1876622 |     7719    561 |        0 |        0
834.37/834.69	c  829s |      22 |  1967271 |  1880622 |     7719    562 |        0 |        0
836.46/836.73	c  831s |      22 |  1971605 |  1884822 |     7719    563 |        0 |        0
838.46/838.78	c  833s |      22 |  1976596 |  1889422 |     7719    564 |        0 |        0
840.46/840.79	c  835s |      22 |  1982237 |  1894822 |     7719    565 |        0 |        0
842.55/842.82	c  837s |      22 |  1987419 |  1899522 |     7719    567 |        0 |        0
844.56/844.83	c  839s |      22 |  1993010 |  1904922 |     7719    568 |        0 |        0
846.55/846.85	c  841s |      22 |  1998055 |  1909822 |     7719    569 |        0 |        0
848.55/848.86	c  843s |      22 |  2003670 |  1915322 |     7719    570 |        0 |        0
850.65/850.91	c  845s |      22 |  2008331 |  1919822 |     7719    571 |        0 |        0
852.65/852.92	c  847s |      22 |  2012593 |  1923922 |     7719    572 |        0 |        0
854.65/854.92	c  849s |      22 |  2017634 |  1928822 |     7719    574 |        0 |        0
856.65/856.93	c  851s |      22 |  2022962 |  1934022 |     7719    575 |        0 |        0
858.65/858.98	c  854s |      22 |  2028464 |  1939322 |     7719    576 |        0 |        0
860.65/860.98	c  856s |      22 |  2033210 |  1943922 |     7719    577 |        0 |        0
862.74/863.00	c  858s |      22 |  2038993 |  1949622 |     7719    579 |        0 |        0
864.74/865.01	c  860s |      22 |  2044237 |  1954722 |     7719    580 |        0 |        0
866.74/867.02	c  862s |      22 |  2050130 |  1960422 |     7719    581 |        0 |        0
868.75/869.05	c  864s |      22 |  2055489 |  1965522 |     7719    583 |        0 |        0
870.74/871.05	c  866s |      22 |  2060340 |  1970122 |     7719    584 |        0 |        0
872.74/873.08	c  868s |      22 |  2065599 |  1975122 |     7719    585 |        0 |        0
874.73/875.09	c  870s |      22 |  2070977 |  1980322 |     7719    586 |        0 |        0
876.73/877.09	c  872s |      22 |  2076712 |  1985722 |     7719    587 |        0 |        0
878.83/879.12	c  874s |      22 |  2082494 |  1991222 |     7719    589 |        0 |        0
880.84/881.14	c  876s |      22 |  2087820 |  1996122 |     7719    590 |        0 |        0
882.83/883.14	c  878s |      22 |  2093316 |  2001422 |     7719    591 |        0 |        0
884.83/885.16	c  880s |      22 |  2098639 |  2006422 |     7719    592 |        0 |        0
886.83/887.18	c  882s |      22 |  2103216 |  2010922 |     7719    594 |        0 |        0
888.93/889.21	c  884s |      22 |  2109402 |  2016922 |     7719    595 |        0 |        0
890.93/891.22	c  886s |      22 |  2114382 |  2021822 |     7719    596 |        0 |        0
892.93/893.26	c  888s |      22 |  2119856 |  2027122 |     7719    598 |        0 |        0
895.02/895.31	c  890s |      22 |  2124831 |  2031822 |     7719    599 |        0 |        0
897.02/897.31	c  892s |      22 |  2130009 |  2036722 |     7719    600 |        0 |        0
899.02/899.37	c  894s |      22 |  2134913 |  2041422 |     7719    601 |        0 |        0
901.12/901.40	c  896s |      22 |  2141333 |  2047622 |     7719    602 |        0 |        0
903.12/903.48	c  898s |      22 |  2145705 |  2051822 |     7719    604 |        0 |        0
905.22/905.50	c  900s |      22 |  2150293 |  2056322 |     7719    605 |        0 |        0
907.22/907.52	c  902s |      22 |  2156026 |  2061822 |     7719    606 |        0 |        0
909.22/909.55	c  904s |      22 |  2161434 |  2067022 |     7719    607 |        0 |        0
911.22/911.56	c  906s |      22 |  2166587 |  2072022 |     7719    608 |        0 |        0
913.22/913.59	c  908s |      22 |  2172176 |  2077422 |     7719    610 |        0 |        0
915.21/915.59	c  910s |      22 |  2177865 |  2082822 |     7719    611 |        0 |        0
917.31/917.63	c  912s |      22 |  2183181 |  2087822 |     7719    612 |        0 |        0
919.32/919.67	c  914s |      22 |  2188273 |  2092722 |     7719    613 |        0 |        0
921.41/921.70	c  916s |      22 |  2193438 |  2097522 |     7719    615 |        0 |        0
923.41/923.70	c  918s |      22 |  2198771 |  2102522 |     7719    616 |        0 |        0
925.41/925.73	c  920s |      22 |  2203628 |  2107022 |     7719    617 |        0 |        0
927.42/927.77	c  922s |      22 |  2208631 |  2111822 |     7719    618 |        0 |        0
929.41/929.79	c  924s |      22 |  2214317 |  2117222 |     7719    619 |        0 |        0
931.42/931.80	c  926s |      22 |  2219117 |  2121922 |     7719    620 |        0 |        0
933.51/933.82	c  928s |      22 |  2223839 |  2126422 |     7719    622 |        0 |        0
935.51/935.85	c  930s |      22 |  2228896 |  2131222 |     7719    623 |        0 |        0
937.51/937.87	c  932s |      22 |  2233631 |  2135722 |     7719    624 |        0 |        0
939.61/939.90	c  934s |      22 |  2238709 |  2140522 |     7719    625 |        0 |        0
941.61/941.93	c  936s |      22 |  2242976 |  2144522 |     7719    626 |        0 |        0
943.61/943.96	c  939s |      22 |  2246355 |  2147822 |     7719    627 |        0 |        0
945.60/945.98	c  941s |      22 |  2250878 |  2152222 |     7719    628 |        0 |        0
947.70/948.00	c  943s |      22 |  2255070 |  2156322 |     7719    629 |        0 |        0
949.70/950.02	c  945s |      22 |  2260096 |  2161122 |     7719    630 |        0 |        0
951.70/952.03	c  947s |      22 |  2264008 |  2164922 |     7719    631 |        0 |        0
953.70/954.04	c  949s |      22 |  2268744 |  2169422 |     7719    632 |        0 |        0
955.70/956.07	c  951s |      22 |  2273385 |  2173822 |     7719    633 |        0 |        0
957.80/958.11	c  953s |      22 |  2277111 |  2177422 |     7719    634 |        0 |        0
959.79/960.12	c  955s |      22 |  2281609 |  2181722 |     7719    635 |        0 |        0
961.79/962.13	c  957s |      22 |  2286224 |  2186122 |     7719    636 |        0 |        0
963.79/964.17	c  959s |      22 |  2291021 |  2190622 |     7719    637 |        0 |        0
965.88/966.20	c  961s |      22 |  2295732 |  2195222 |     7719    638 |        0 |        0
967.88/968.22	c  963s |      22 |  2300352 |  2199722 |     7719    639 |        0 |        0
969.89/970.27	c  965s |      22 |  2304622 |  2203922 |     7719    640 |        0 |        0
971.88/972.30	c  967s |      22 |  2308699 |  2207922 |     7719    641 |        0 |        0
973.98/974.32	c  969s |      22 |  2313551 |  2212622 |     7719    642 |        0 |        0
975.98/976.35	c  971s |      22 |  2317863 |  2216822 |     7719    643 |        0 |        0
977.98/978.36	c  973s |      22 |  2321790 |  2220622 |     8491    644 |        0 |        0
979.98/980.38	c  975s |      22 |  2326259 |  2225022 |     8491    645 |        0 |        0
981.98/982.38	c  977s |      22 |  2330135 |  2228822 |     8491    646 |        0 |        0
983.98/984.38	c  979s |      22 |  2334728 |  2233222 |     8491    647 |        0 |        0
986.07/986.40	c  981s |      22 |  2339054 |  2237322 |     8491    648 |        0 |        0
988.07/988.43	c  983s |      22 |  2343401 |  2241322 |     8491    648 |        0 |        0
990.07/990.43	c  985s |      22 |  2348097 |  2245822 |     8491    649 |        0 |        0
992.07/992.46	c  987s |      22 |  2352932 |  2250422 |     8491    650 |        0 |        0
992.47/992.80	c  987s |      23 |  2353554 |  2251038 |     8491    650 |        0 |        0
994.47/994.80	c  989s |      23 |  2359859 |  2257038 |     8491    652 |        0 |        0
996.46/996.82	c  991s |      23 |  2365183 |  2262138 |     8491    653 |        0 |        0
998.47/998.85	c  993s |      23 |  2370465 |  2267138 |     8491    654 |        0 |        0
1000.46/1000.88	c  995s |      23 |  2375270 |  2271438 |     8491    655 |        0 |        0
1002.56/1002.91	c  997s |      23 |  2379821 |  2275738 |     8491    656 |        0 |        0
1004.56/1004.91	c  999s |      23 |  2383974 |  2279738 |     8491    657 |        0 |        0
1006.56/1006.92	c 1001s |      23 |  2388375 |  2283938 |     8491    658 |        0 |        0
1008.56/1008.95	c 1004s |      23 |  2392311 |  2287538 |     8491    659 |        0 |        0
1010.56/1010.98	c 1006s |      23 |  2397340 |  2292338 |     8491    660 |        0 |        0
1012.56/1012.99	c 1008s |      23 |  2402484 |  2297238 |     8491    661 |        0 |        0
1014.65/1015.01	c 1010s |      23 |  2407591 |  2302138 |     8491    662 |        0 |        0
1016.65/1017.02	c 1012s |      23 |  2412471 |  2306838 |     8491    663 |        0 |        0
1018.65/1019.04	c 1014s |      23 |  2417418 |  2311538 |     8491    664 |        0 |        0
1020.65/1021.05	c 1016s |      23 |  2421615 |  2315538 |     8491    665 |        0 |        0
1022.66/1023.08	c 1018s |      23 |  2426502 |  2320038 |     8491    666 |        0 |        0
1024.75/1025.17	c 1020s |      23 |  2430756 |  2323938 |     8491    667 |        0 |        0
1026.85/1027.21	c 1022s |      23 |  2435512 |  2328338 |     8491    667 |        0 |        0
1028.85/1029.24	c 1024s |      23 |  2439994 |  2332438 |     8491    668 |        0 |        0
1030.85/1031.25	c 1026s |      23 |  2443887 |  2336138 |     8491    669 |        0 |        0
1032.85/1033.26	c 1028s |      23 |  2448429 |  2340438 |     8491    670 |        0 |        0
1034.85/1035.28	c 1030s |      23 |  2452922 |  2344638 |     8491    671 |        0 |        0
1036.84/1037.30	c 1032s |      23 |  2458439 |  2349938 |     8491    672 |        0 |        0
1038.94/1039.35	c 1034s |      23 |  2463664 |  2355038 |     8491    673 |        0 |        0
1040.94/1041.35	c 1036s |      23 |  2467573 |  2358838 |     8491    674 |        0 |        0
1042.94/1043.36	c 1038s |      23 |  2471205 |  2362238 |     8491    675 |        0 |        0
1044.93/1045.39	c 1040s |      23 |  2476372 |  2367238 |     8491    676 |        0 |        0
1046.94/1047.39	c 1042s |      23 |  2481030 |  2371638 |     8491    677 |        0 |        0
1049.04/1049.45	c 1044s |      23 |  2486021 |  2376338 |     8491    678 |        0 |        0
1051.03/1051.45	c 1046s |      23 |  2490509 |  2380538 |     8491    679 |        0 |        0
1053.03/1053.46	c 1048s |      23 |  2494487 |  2384338 |     8491    680 |        0 |        0
1055.13/1055.52	c 1050s |      23 |  2497816 |  2387538 |     8491    681 |        0 |        0
1057.13/1057.53	c 1052s |      23 |  2502061 |  2391638 |     8491    681 |        0 |        0
1059.13/1059.54	c 1054s |      23 |  2506664 |  2396038 |     8491    682 |        0 |        0
1061.13/1061.57	c 1056s |      23 |  2511418 |  2400638 |     8491    683 |        0 |        0
1063.13/1063.59	c 1058s |      23 |  2515769 |  2404738 |     8491    684 |        0 |        0
1065.22/1065.60	c 1060s |      23 |  2519777 |  2408638 |     8491    685 |        0 |        0
1067.22/1067.62	c 1062s |      23 |  2524464 |  2413038 |     8491    686 |        0 |        0
1069.22/1069.65	c 1064s |      23 |  2528893 |  2417338 |     8491    687 |        0 |        0
1071.22/1071.68	c 1066s |      23 |  2533080 |  2421338 |     8491    688 |        0 |        0
1073.23/1073.68	c 1068s |      23 |  2537152 |  2425238 |     8491    689 |        0 |        0
1075.21/1075.69	c 1070s |      23 |  2542070 |  2429938 |     8491    690 |        0 |        0
1077.31/1077.71	c 1072s |      23 |  2546775 |  2434438 |     8491    691 |        0 |        0
1079.31/1079.73	c 1074s |      23 |  2551383 |  2438638 |     8491    692 |        0 |        0
1081.31/1081.76	c 1076s |      23 |  2555468 |  2442538 |     8491    693 |        0 |        0
1083.31/1083.78	c 1078s |      23 |  2560146 |  2447038 |     8491    694 |        0 |        0
1085.42/1085.83	c 1080s |      23 |  2564699 |  2451338 |     8491    695 |        0 |        0
1087.41/1087.84	c 1082s |      23 |  2569076 |  2455538 |     8491    695 |        0 |        0
1089.41/1089.88	c 1084s |      23 |  2573623 |  2459938 |     8491    696 |        0 |        0
1091.41/1091.90	c 1086s |      23 |  2578098 |  2464238 |     8491    697 |        0 |        0
1093.51/1093.94	c 1088s |      23 |  2583207 |  2469038 |     8491    698 |        0 |        0
1095.50/1095.96	c 1091s |      23 |  2587741 |  2473238 |     8491    699 |        0 |        0
1097.51/1097.98	c 1093s |      23 |  2592223 |  2477338 |     8491    700 |        0 |        0
1099.50/1099.99	c 1095s |      23 |  2596514 |  2481438 |     8491    701 |        0 |        0
1101.60/1102.02	c 1097s |      23 |  2600870 |  2485638 |     8491    702 |        0 |        0
1103.60/1104.03	c 1099s |      23 |  2605941 |  2490438 |     8491    703 |        0 |        0
1105.60/1106.03	c 1101s |      23 |  2610308 |  2494638 |     8491    704 |        0 |        0
1107.60/1108.05	c 1103s |      23 |  2614787 |  2498938 |     8491    705 |        0 |        0
1109.61/1110.08	c 1105s |      23 |  2619127 |  2503138 |     8491    706 |        0 |        0
1111.71/1112.13	c 1107s |      23 |  2623520 |  2507238 |     8491    707 |        0 |        0
1113.70/1114.16	c 1109s |      23 |  2628292 |  2511838 |     8491    708 |        0 |        0
1115.69/1116.17	c 1111s |      23 |  2632869 |  2516238 |     8491    709 |        0 |        0
1117.79/1118.21	c 1113s |      23 |  2637011 |  2520238 |     8491    710 |        0 |        0
1119.79/1120.21	c 1115s |      23 |  2641762 |  2524738 |     8491    711 |        0 |        0
1121.79/1122.24	c 1117s |      23 |  2646015 |  2528838 |     8491    712 |        0 |        0
1123.80/1124.26	c 1119s |      23 |  2650339 |  2532938 |     8491    712 |        0 |        0
1125.79/1126.29	c 1121s |      23 |  2654974 |  2537338 |     8491    713 |        0 |        0
1127.79/1128.29	c 1123s |      23 |  2659798 |  2541938 |     8491    714 |        0 |        0
1129.89/1130.32	c 1125s |      23 |  2664448 |  2546338 |     8491    715 |        0 |        0
1131.88/1132.38	c 1127s |      23 |  2668668 |  2550338 |     8491    716 |        0 |        0
1133.88/1134.39	c 1129s |      23 |  2672878 |  2554338 |     8491    717 |        0 |        0
1135.89/1136.39	c 1131s |      23 |  2677569 |  2558738 |     8491    718 |        0 |        0
1137.98/1138.42	c 1133s |      23 |  2681903 |  2562938 |     8491    719 |        0 |        0
1139.98/1140.46	c 1135s |      23 |  2686683 |  2567538 |     8491    720 |        0 |        0
1141.98/1142.47	c 1137s |      23 |  2691238 |  2571838 |     8491    721 |        0 |        0
1144.08/1144.50	c 1139s |      23 |  2695719 |  2576138 |     8491    722 |        0 |        0
1146.07/1146.53	c 1141s |      23 |  2700801 |  2580938 |     8491    723 |        0 |        0
1148.08/1148.57	c 1143s |      23 |  2705297 |  2585238 |     8491    724 |        0 |        0
1150.07/1150.58	c 1145s |      23 |  2709548 |  2589238 |     8491    725 |        0 |        0
1152.17/1152.62	c 1147s |      23 |  2713892 |  2593238 |     8491    726 |        0 |        0
1154.17/1154.65	c 1149s |      23 |  2718366 |  2597538 |     8491    727 |        0 |        0
1156.16/1156.65	c 1151s |      23 |  2722823 |  2601638 |     8491    728 |        0 |        0
1158.26/1158.70	c 1153s |      23 |  2726858 |  2605438 |     8491    728 |        0 |        0
1160.26/1160.71	c 1155s |      23 |  2731566 |  2610038 |     8491    729 |        0 |        0
1162.27/1162.72	c 1157s |      23 |  2736081 |  2614338 |     8491    730 |        0 |        0
1164.26/1164.79	c 1159s |      23 |  2740740 |  2618738 |     8491    731 |        0 |        0
1166.26/1166.80	c 1161s |      23 |  2745077 |  2622838 |     8491    732 |        0 |        0
1168.36/1168.81	c 1163s |      23 |  2749590 |  2627038 |     8491    733 |        0 |        0
1170.36/1170.81	c 1165s |      23 |  2753688 |  2630938 |     8491    734 |        0 |        0
1172.36/1172.83	c 1167s |      23 |  2758498 |  2635638 |     8491    735 |        0 |        0
1174.36/1174.83	c 1169s |      23 |  2762646 |  2639638 |     8491    736 |        0 |        0
1176.35/1176.86	c 1171s |      23 |  2767242 |  2643838 |     8491    737 |        0 |        0
1178.35/1178.88	c 1173s |      23 |  2771722 |  2648038 |     8491    738 |        0 |        0
1180.45/1180.90	c 1175s |      23 |  2776429 |  2652338 |     8491    739 |        0 |        0
1182.45/1182.93	c 1177s |      23 |  2780503 |  2656238 |     8491    740 |        0 |        0
1184.45/1184.97	c 1180s |      23 |  2784975 |  2660538 |     8491    741 |        0 |        0
1186.45/1187.00	c 1182s |      23 |  2789863 |  2665238 |     8491    742 |        0 |        0
1188.55/1189.06	c 1184s |      23 |  2793880 |  2669138 |     8491    742 |        0 |        0
1190.65/1191.12	c 1186s |      23 |  2797750 |  2672738 |     8491    743 |        0 |        0
1192.65/1193.16	c 1188s |      23 |  2802293 |  2677138 |     8491    744 |        0 |        0
1194.64/1195.17	c 1190s |      23 |  2806671 |  2681338 |     8491    745 |        0 |        0
1196.74/1197.20	c 1192s |      23 |  2811040 |  2685538 |     8491    746 |        0 |        0
1198.74/1199.25	c 1194s |      23 |  2815944 |  2690238 |     8491    747 |        0 |        0
1200.74/1201.26	c 1196s |      23 |  2820283 |  2694338 |     8491    748 |        0 |        0
1202.84/1203.30	c 1198s |      23 |  2824557 |  2698438 |     8491    749 |        0 |        0
1204.83/1205.34	c 1200s |      23 |  2828628 |  2702338 |     8491    750 |        0 |        0
1206.83/1207.35	c 1202s |      23 |  2833100 |  2706538 |     8491    751 |        0 |        0
1208.93/1209.42	c 1204s |      23 |  2837560 |  2710738 |     8491    752 |        0 |        0
1210.93/1211.43	c 1206s |      23 |  2841853 |  2714638 |     8491    752 |        0 |        0
1212.94/1213.46	c 1208s |      23 |  2846104 |  2718738 |     8491    753 |        0 |        0
1214.93/1215.49	c 1210s |      23 |  2850466 |  2722938 |     8491    754 |        0 |        0
1217.04/1217.51	c 1212s |      23 |  2854837 |  2727138 |     8491    755 |        0 |        0
1219.03/1219.51	c 1214s |      23 |  2859311 |  2731338 |     8491    756 |        0 |        0
1221.03/1221.52	c 1216s |      23 |  2864018 |  2735838 |     8491    757 |        0 |        0
1223.03/1223.58	c 1218s |      23 |  2868395 |  2740038 |     8491    758 |        0 |        0
1225.04/1225.58	c 1220s |      23 |  2872344 |  2743838 |     8491    759 |        0 |        0
1227.14/1227.63	c 1222s |      23 |  2877063 |  2748338 |     8491    760 |        0 |        0
1229.13/1229.65	c 1224s |      23 |  2881473 |  2752438 |     8491    761 |        0 |        0
1231.13/1231.70	c 1226s |      23 |  2885207 |  2755938 |     8491    762 |        0 |        0
1233.23/1233.71	c 1228s |      23 |  2889656 |  2760038 |     8491    762 |        0 |        0
1235.23/1235.76	c 1230s |      23 |  2894175 |  2764038 |     8491    763 |        0 |        0
1237.23/1237.78	c 1232s |      23 |  2898373 |  2768038 |     8491    764 |        0 |        0
1239.24/1239.78	c 1234s |      23 |  2902505 |  2771738 |     8491    765 |        0 |        0
1241.23/1241.79	c 1236s |      23 |  2906736 |  2775638 |     8491    766 |        0 |        0
1243.33/1243.81	c 1238s |      23 |  2910795 |  2779638 |     8491    767 |        0 |        0
1245.33/1245.83	c 1240s |      23 |  2914577 |  2783238 |     8491    768 |        0 |        0
1247.43/1247.90	c 1242s |      23 |  2919154 |  2787538 |     8491    769 |        0 |        0
1249.43/1249.94	c 1244s |      23 |  2923356 |  2791538 |     8491    769 |        0 |        0
1251.43/1251.96	c 1247s |      23 |  2927320 |  2795138 |     8491    770 |        0 |        0
1253.43/1253.98	c 1249s |      23 |  2931443 |  2799038 |     8491    771 |        0 |        0
1255.53/1256.03	c 1251s |      23 |  2935991 |  2803238 |     8491    772 |        0 |        0
1257.52/1258.03	c 1253s |      23 |  2940612 |  2807638 |     8491    773 |        0 |        0
1259.52/1260.04	c 1255s |      23 |  2945481 |  2812338 |     8491    774 |        0 |        0
1261.52/1262.06	c 1257s |      23 |  2950652 |  2817438 |     8491    775 |        0 |        0
1263.53/1264.08	c 1259s |      23 |  2955101 |  2821838 |     8491    776 |        0 |        0
1265.52/1266.09	c 1261s |      23 |  2959679 |  2826338 |     8491    777 |        0 |        0
1267.62/1268.10	c 1263s |      23 |  2964209 |  2830838 |     8491    778 |        0 |        0
1269.62/1270.14	c 1265s |      23 |  2969091 |  2835638 |     8491    779 |        0 |        0
1271.62/1272.19	c 1267s |      23 |  2974113 |  2840538 |     8491    780 |        0 |        0
1273.72/1274.20	c 1269s |      23 |  2978370 |  2844738 |     8491    781 |        0 |        0
1275.72/1276.23	c 1271s |      23 |  2983060 |  2849338 |     8491    782 |        0 |        0
1277.72/1278.24	c 1273s |      23 |  2987670 |  2853838 |     8491    783 |        0 |        0
1279.72/1280.28	c 1275s |      23 |  2992852 |  2858938 |     8491    784 |        0 |        0
1281.82/1282.31	c 1277s |      23 |  2997568 |  2863538 |     8491    785 |        0 |        0
1283.82/1284.34	c 1279s |      23 |  3002257 |  2868138 |     8491    786 |        0 |        0
1285.82/1286.36	c 1281s |      23 |  3006501 |  2872338 |     8491    787 |        0 |        0
1287.82/1288.39	c 1283s |      23 |  3010620 |  2876338 |     8491    788 |        0 |        0
1289.92/1290.43	c 1285s |      23 |  3015342 |  2880938 |     8491    789 |        0 |        0
1291.92/1292.43	c 1287s |      23 |  3019713 |  2885238 |     8491    790 |        0 |        0
1293.92/1294.46	c 1289s |      23 |  3024314 |  2889738 |     8491    791 |        0 |        0
1295.92/1296.48	c 1291s |      23 |  3028604 |  2893938 |     8491    792 |        0 |        0
1298.02/1298.52	c 1293s |      23 |  3032563 |  2897838 |     8491    793 |        0 |        0
1300.02/1300.52	c 1295s |      23 |  3037124 |  2902338 |     8491    794 |        0 |        0
1302.02/1302.53	c 1297s |      23 |  3041005 |  2906138 |     8491    795 |        0 |        0
1304.01/1304.55	c 1299s |      23 |  3044624 |  2909738 |     8491    795 |        0 |        0
1306.01/1306.58	c 1301s |      23 |  3048292 |  2913338 |     8491    796 |        0 |        0
1308.11/1308.61	c 1303s |      23 |  3052344 |  2917338 |     8491    797 |        0 |        0
1310.11/1310.62	c 1305s |      23 |  3056550 |  2921438 |     8491    798 |        0 |        0
1312.11/1312.63	c 1307s |      23 |  3060874 |  2925738 |     8491    799 |        0 |        0
1314.12/1314.66	c 1309s |      23 |  3065356 |  2930138 |     8491    800 |        0 |        0
1316.11/1316.67	c 1311s |      23 |  3069785 |  2934438 |     8491    801 |        0 |        0
1318.21/1318.70	c 1313s |      23 |  3073324 |  2937938 |     8491    802 |        0 |        0
1320.21/1320.73	c 1315s |      23 |  3077632 |  2942138 |     8491    802 |        0 |        0
1322.21/1322.78	c 1317s |      23 |  3081993 |  2946438 |     8491    803 |        0 |        0
1324.31/1324.83	c 1319s |      23 |  3086171 |  2950538 |     8491    804 |        0 |        0
1326.31/1326.85	c 1321s |      23 |  3091628 |  2955838 |     8491    805 |        0 |        0
1328.32/1328.87	c 1323s |      23 |  3096088 |  2960238 |     8491    806 |        0 |        0
1330.41/1330.91	c 1325s |      23 |  3100961 |  2965038 |     8491    808 |        0 |        0
1332.41/1332.95	c 1328s |      23 |  3105532 |  2969538 |     8491    809 |        0 |        0
1334.41/1334.98	c 1330s |      23 |  3109886 |  2973838 |     8491    809 |        0 |        0
1336.51/1337.02	c 1332s |      23 |  3114957 |  2978738 |     8491    811 |        0 |        0
1338.51/1339.02	c 1334s |      23 |  3119523 |  2983238 |     8491    812 |        0 |        0
1340.51/1341.07	c 1336s |      23 |  3123867 |  2987538 |     8491    812 |        0 |        0
1342.50/1343.08	c 1338s |      23 |  3128846 |  2992438 |     8491    814 |        0 |        0
1344.51/1345.08	c 1340s |      23 |  3133363 |  2996838 |     8491    815 |        0 |        0
1346.61/1347.13	c 1342s |      23 |  3138049 |  3001438 |     8491    816 |        0 |        0
1348.61/1349.13	c 1344s |      23 |  3143433 |  3006638 |     8491    817 |        0 |        0
1350.61/1351.14	c 1346s |      23 |  3146961 |  3009938 |     8491    817 |        0 |        0
1352.62/1353.19	c 1348s |      23 |  3150734 |  3013538 |     8491    818 |        0 |        0
1354.72/1355.23	c 1350s |      23 |  3154763 |  3017438 |     8491    819 |        0 |        0
1356.71/1357.25	c 1352s |      23 |  3158392 |  3020938 |     8491    820 |        0 |        0
1358.71/1359.26	c 1354s |      23 |  3162167 |  3024438 |     8491    821 |        0 |        0
1360.81/1361.34	c 1356s |      23 |  3165945 |  3028138 |     8491    821 |        0 |        0
1362.81/1363.35	c 1358s |      23 |  3168946 |  3031038 |     8491    822 |        0 |        0
1364.91/1365.42	c 1360s |      23 |  3172107 |  3034138 |     8491    823 |        0 |        0
1366.91/1367.46	c 1362s |      23 |  3175770 |  3037638 |     8491    824 |        0 |        0
1368.91/1369.48	c 1364s |      23 |  3179800 |  3041538 |     8491    824 |        0 |        0
1371.01/1371.52	c 1366s |      23 |  3184556 |  3046038 |     8491    825 |        0 |        0
1373.01/1373.56	c 1368s |      23 |  3189098 |  3050438 |     8491    826 |        0 |        0
1375.01/1375.59	c 1370s |      23 |  3194322 |  3055338 |     8491    827 |        0 |        0
1377.10/1377.62	c 1372s |      23 |  3198857 |  3059638 |     8491    828 |        0 |        0
1379.10/1379.67	c 1374s |      23 |  3203270 |  3063738 |     8491    829 |        0 |        0
1381.21/1381.75	c 1376s |      23 |  3207899 |  3067938 |     8491    830 |        0 |        0
1383.20/1383.80	c 1378s |      23 |  3212293 |  3071738 |     8491    831 |        0 |        0
1385.30/1385.82	c 1380s |      23 |  3216569 |  3075538 |     8491    832 |        0 |        0
1387.30/1387.83	c 1382s |      23 |  3220469 |  3079238 |     8491    833 |        0 |        0
1389.30/1389.84	c 1384s |      23 |  3225161 |  3083538 |     8491    834 |        0 |        0
1391.30/1391.87	c 1386s |      23 |  3229677 |  3087538 |     8491    835 |        0 |        0
1393.31/1393.89	c 1388s |      23 |  3233755 |  3091338 |     8491    835 |        0 |        0
1395.41/1395.91	c 1390s |      23 |  3238616 |  3095938 |     8491    836 |        0 |        0
1397.40/1397.94	c 1392s |      23 |  3242853 |  3099938 |     8491    837 |        0 |        0
1399.40/1399.96	c 1395s |      23 |  3247510 |  3104238 |     8491    838 |        0 |        0
1401.40/1401.99	c 1397s |      23 |  3252213 |  3108638 |     8491    839 |        0 |        0
1403.50/1404.03	c 1399s |      23 |  3256955 |  3112938 |     8491    840 |        0 |        0
1405.50/1406.08	c 1401s |      23 |  3261263 |  3116738 |     8491    841 |        0 |        0
1407.50/1408.08	c 1403s |      23 |  3265037 |  3120338 |     8491    842 |        0 |        0
1409.50/1410.09	c 1405s |      23 |  3269831 |  3124938 |     8491    843 |        0 |        0
1411.60/1412.17	c 1407s |      23 |  3274087 |  3129038 |     8491    844 |        0 |        0
1413.70/1414.22	c 1409s |      23 |  3278309 |  3133038 |     8491    845 |        0 |        0
1415.69/1416.25	c 1411s |      23 |  3282678 |  3136838 |     8491    845 |        0 |        0
1417.79/1418.38	c 1413s |      23 |  3286834 |  3140638 |     8491    846 |        0 |        0
1419.89/1420.43	c 1415s |      23 |  3291038 |  3144638 |     8491    847 |        0 |        0
1421.90/1422.44	c 1417s |      23 |  3294397 |  3147838 |     8491    848 |        0 |        0
1423.89/1424.45	c 1419s |      23 |  3297809 |  3151038 |     8491    848 |        0 |        0
1425.89/1426.47	c 1421s |      23 |  3301485 |  3154538 |     8491    849 |        0 |        0
1427.99/1428.51	c 1423s |      23 |  3305183 |  3158138 |     8491    850 |        0 |        0
1429.99/1430.53	c 1425s |      23 |  3309845 |  3162438 |     8491    851 |        0 |        0
1431.99/1432.58	c 1427s |      23 |  3313565 |  3165738 |     8491    852 |        0 |        0
1434.09/1434.63	c 1429s |      23 |  3318075 |  3170038 |     8491    853 |        0 |        0
1436.10/1436.63	c 1431s |      23 |  3322176 |  3174038 |     8491    854 |        0 |        0
1438.10/1438.64	c 1433s |      23 |  3326668 |  3178338 |     8491    855 |        0 |        0
1440.10/1440.66	c 1435s |      23 |  3330928 |  3182338 |     8491    855 |        0 |        0
1442.20/1442.71	c 1437s |      23 |  3335528 |  3186238 |     8491    856 |        0 |        0
1444.20/1444.76	c 1439s |      23 |  3339451 |  3189838 |     8491    857 |        0 |        0
1446.40/1446.90	c 1441s |      23 |  3343868 |  3193638 |     8491    858 |        0 |        0
1448.40/1448.93	c 1443s |      23 |  3348098 |  3197538 |     8491    859 |        0 |        0
1450.40/1450.96	c 1446s |      23 |  3352286 |  3201638 |     8491    860 |        0 |        0
1452.40/1452.96	c 1448s |      23 |  3356272 |  3205538 |     8491    860 |        0 |        0
1454.50/1455.02	c 1450s |      23 |  3359741 |  3208838 |     8491    861 |        0 |        0
1456.50/1457.06	c 1452s |      23 |  3362696 |  3211738 |     8491    862 |        0 |        0
1458.60/1459.14	c 1454s |      23 |  3365649 |  3214638 |     8491    863 |        0 |        0
1460.60/1461.15	c 1456s |      23 |  3369069 |  3217938 |     8491    863 |        0 |        0
1462.60/1463.15	c 1458s |      23 |  3373837 |  3222138 |     8491    864 |        0 |        0
1464.59/1465.20	c 1460s |      23 |  3378286 |  3226138 |     8491    865 |        0 |        0
1466.69/1467.23	c 1462s |      23 |  3382145 |  3229538 |     8491    866 |        0 |        0
1468.69/1469.25	c 1464s |      23 |  3386243 |  3233338 |     8491    867 |        0 |        0
1470.69/1471.25	c 1466s |      23 |  3390488 |  3237438 |     8491    868 |        0 |        0
1472.69/1473.28	c 1468s |      23 |  3394632 |  3241338 |     8491    868 |        0 |        0
1474.70/1475.29	c 1470s |      23 |  3399259 |  3245538 |     8491    869 |        0 |        0
1476.80/1477.33	c 1472s |      23 |  3403577 |  3249638 |     8491    870 |        0 |        0
1478.79/1479.33	c 1474s |      23 |  3407768 |  3253638 |     8491    871 |        0 |        0
1480.79/1481.37	c 1476s |      23 |  3411634 |  3257138 |     8491    872 |        0 |        0
1482.79/1483.37	c 1478s |      23 |  3415193 |  3260438 |     8491    873 |        0 |        0
1484.89/1485.43	c 1480s |      23 |  3419502 |  3264338 |     8491    873 |        0 |        0
1486.89/1487.47	c 1482s |      23 |  3424172 |  3268338 |     8491    874 |        0 |        0
1488.89/1489.47	c 1484s |      23 |  3428220 |  3272238 |     8491    875 |        0 |        0
1490.99/1491.51	c 1486s |      23 |  3433053 |  3276638 |     8491    876 |        0 |        0
1492.99/1493.53	c 1488s |      23 |  3437628 |  3280738 |     8491    877 |        0 |        0
1494.99/1495.56	c 1490s |      23 |  3441650 |  3284438 |     8491    878 |        0 |        0
1497.09/1497.60	c 1492s |      23 |  3445837 |  3288238 |     8491    879 |        0 |        0
1499.09/1499.63	c 1494s |      23 |  3450548 |  3292538 |     8491    880 |        0 |        0
1501.09/1501.67	c 1496s |      23 |  3454999 |  3296738 |     8491    881 |        0 |        0
1503.08/1503.69	c 1498s |      23 |  3458957 |  3300338 |     8491    881 |        0 |        0
1505.18/1505.70	c 1500s |      23 |  3463096 |  3304038 |     8491    882 |        0 |        0
1507.18/1507.74	c 1502s |      23 |  3467782 |  3308438 |     8491    883 |        0 |        0
1509.18/1509.77	c 1504s |      23 |  3471771 |  3312238 |     8491    884 |        0 |        0
1511.28/1511.81	c 1506s |      23 |  3476935 |  3317138 |     8491    885 |        0 |        0
1513.28/1513.89	c 1508s |      23 |  3481298 |  3321238 |     8491    886 |        0 |        0
1515.29/1515.90	c 1510s |      23 |  3485431 |  3325038 |     8491    887 |        0 |        0
1517.38/1517.93	c 1512s |      23 |  3490071 |  3329338 |     8491    888 |        0 |        0
1519.38/1519.96	c 1515s |      23 |  3494746 |  3333738 |     8491    889 |        0 |        0
1521.38/1521.97	c 1517s |      23 |  3499148 |  3337838 |     9341    890 |        0 |        0
1523.48/1524.02	c 1519s |      23 |  3503975 |  3342538 |     9341    890 |        0 |        0
1525.48/1526.02	c 1521s |      23 |  3508830 |  3347038 |     9341    891 |        0 |        0
1527.49/1528.04	c 1523s |      23 |  3512925 |  3351038 |     9341    892 |        0 |        0
1529.48/1530.07	c 1525s |      23 |  3516209 |  3354138 |     9341    893 |        0 |        0
1531.58/1532.13	c 1527s |      23 |  3520478 |  3358238 |     9341    894 |        0 |        0
1533.58/1534.16	c 1529s |      23 |  3524985 |  3362538 |     9341    895 |        0 |        0
1535.58/1536.18	c 1531s |      23 |  3529354 |  3366638 |     9341    895 |        0 |        0
1537.68/1538.22	c 1533s |      23 |  3533598 |  3370538 |     9341    896 |        0 |        0
1539.68/1540.25	c 1535s |      23 |  3538035 |  3374638 |     9341    897 |        0 |        0
1540.87/1541.41	c 1536s |      24 |  3540169 |  3376662 |     9341    897 |        0 |        0
1542.97/1543.51	c 1538s |      24 |  3543877 |  3380062 |     9341    898 |        0 |        0
1545.08/1545.62	c 1540s |      24 |  3547648 |  3383262 |     9341    899 |        0 |        0
1547.18/1547.72	c 1542s |      24 |  3549702 |  3385262 |     9341    899 |        0 |        0
1549.17/1549.77	c 1544s |      24 |  3552159 |  3387562 |     9341    900 |        0 |        0
1551.27/1551.81	c 1546s |      24 |  3554194 |  3389562 |     9341    900 |        0 |        0
1553.27/1553.83	c 1548s |      24 |  3557401 |  3392562 |     9341    901 |        0 |        0
1555.27/1555.84	c 1550s |      24 |  3560977 |  3395962 |     9341    901 |        0 |        0
1557.27/1557.85	c 1552s |      24 |  3564091 |  3398962 |     9341    902 |        0 |        0
1559.28/1559.86	c 1554s |      24 |  3567155 |  3401862 |     9341    903 |        0 |        0
1561.27/1561.88	c 1556s |      24 |  3570415 |  3404962 |     9341    903 |        0 |        0
1563.38/1563.91	c 1558s |      24 |  3573766 |  3408162 |     9341    904 |        0 |        0
1565.38/1565.96	c 1561s |      24 |  3577013 |  3411262 |     9341    904 |        0 |        0
1567.38/1567.96	c 1563s |      24 |  3580573 |  3414562 |     9341    905 |        0 |        0
1569.78/1570.32	c 1565s |      24 |  3582912 |  3416662 |     9341    906 |        0 |        0
1571.78/1572.33	c 1567s |      24 |  3586562 |  3419962 |     9341    906 |        0 |        0
1573.78/1574.35	c 1569s |      24 |  3590113 |  3423362 |     9341    907 |        0 |        0
1575.78/1576.38	c 1571s |      24 |  3593690 |  3426762 |     9341    908 |        0 |        0
1577.88/1578.41	c 1573s |      24 |  3596933 |  3429862 |     9341    908 |        0 |        0
1579.88/1580.42	c 1575s |      24 |  3599776 |  3432362 |     9341    909 |        0 |        0
1581.88/1582.43	c 1577s |      24 |  3602487 |  3434762 |     9341    909 |        0 |        0
1583.88/1584.46	c 1579s |      24 |  3605328 |  3437362 |     9341    910 |        0 |        0
1585.97/1586.50	c 1581s |      24 |  3608201 |  3440062 |     9341    910 |        0 |        0
1587.88/1588.50	c 1583s |      24 |  3611480 |  3443162 |     9341    911 |        0 |        0
1590.08/1590.61	c 1585s |      24 |  3614282 |  3445562 |     9341    911 |        0 |        0
1592.07/1592.64	c 1587s |      24 |  3616219 |  3447262 |     9341    912 |        0 |        0
1594.07/1594.66	c 1589s |      24 |  3618649 |  3449262 |     9341    912 |        0 |        0
1596.07/1596.69	c 1591s |      24 |  3621388 |  3451762 |     9341    913 |        0 |        0
1598.17/1598.73	c 1593s |      24 |  3624375 |  3454062 |     9341    913 |        0 |        0
1600.17/1600.76	c 1595s |      24 |  3627519 |  3456962 |     9341    914 |        0 |        0
1602.28/1602.81	c 1597s |      24 |  3630690 |  3459662 |     9341    914 |        0 |        0
1604.27/1604.90	c 1599s |      24 |  3633821 |  3462262 |     9341    915 |        0 |        0
1606.37/1606.93	c 1601s |      24 |  3636242 |  3464362 |     9341    915 |        0 |        0
1608.37/1608.94	c 1603s |      24 |  3638538 |  3466362 |     9341    916 |        0 |        0
1610.47/1611.00	c 1606s |      24 |  3640863 |  3468162 |     9341    916 |        0 |        0
1612.47/1613.04	c 1608s |      24 |  3643117 |  3470062 |     9341    916 |        0 |        0
1614.47/1615.08	c 1610s |      24 |  3646035 |  3472662 |     9341    917 |        0 |        0
1616.58/1617.10	c 1612s |      24 |  3649567 |  3475962 |     9341    918 |        0 |        0
1618.57/1619.15	c 1614s |      24 |  3652200 |  3478362 |     9341    918 |        0 |        0
1620.67/1621.22	c 1616s |      24 |  3654651 |  3479962 |     9341    918 |        0 |        0
1622.67/1623.27	c 1618s |      24 |  3658519 |  3483562 |     9341    919 |        0 |        0
1624.67/1625.28	c 1620s |      24 |  3661788 |  3486762 |     9341    920 |        0 |        0
1626.77/1627.36	c 1622s |      24 |  3664465 |  3489062 |     9341    920 |        0 |        0
1628.77/1629.39	c 1624s |      24 |  3667585 |  3491962 |     9341    921 |        0 |        0
1630.87/1631.45	c 1626s |      24 |  3670694 |  3494562 |     9341    921 |        0 |        0
1632.87/1633.47	c 1628s |      24 |  3674042 |  3497362 |     9341    922 |        0 |        0
1634.87/1635.49	c 1630s |      24 |  3679098 |  3502262 |     9341    923 |        0 |        0
1636.97/1637.51	c 1632s |      24 |  3683147 |  3506062 |     9341    924 |        0 |        0
1638.96/1639.57	c 1634s |      24 |  3686411 |  3508662 |     9341    924 |        0 |        0
1641.06/1641.61	c 1636s |      24 |  3690703 |  3512462 |     9341    925 |        0 |        0
1643.16/1643.70	c 1638s |      24 |  3693939 |  3514762 |     9341    925 |        0 |        0
1645.17/1645.74	c 1640s |      24 |  3696721 |  3516662 |     9341    926 |        0 |        0
1647.16/1647.79	c 1642s |      24 |  3700683 |  3520162 |     9341    927 |        0 |        0
1649.26/1649.82	c 1644s |      24 |  3703907 |  3522662 |     9341    927 |        0 |        0
1651.26/1651.83	c 1646s |      24 |  3707786 |  3526262 |     9341    928 |        0 |        0
1653.36/1653.90	c 1648s |      24 |  3711812 |  3529962 |     9341    928 |        0 |        0
1655.36/1655.91	c 1650s |      24 |  3715456 |  3533362 |     9341    929 |        0 |        0
1657.36/1657.97	c 1653s |      24 |  3719257 |  3536962 |     9341    930 |        0 |        0
1659.37/1659.98	c 1655s |      24 |  3723340 |  3540762 |     9341    931 |        0 |        0
1661.46/1662.03	c 1657s |      24 |  3727680 |  3544762 |     9341    931 |        0 |        0
1663.46/1664.04	c 1659s |      24 |  3731899 |  3548762 |     9341    932 |        0 |        0
1665.46/1666.07	c 1661s |      24 |  3736013 |  3552362 |     9341    933 |        0 |        0
1667.46/1668.07	c 1663s |      24 |  3739996 |  3555962 |     9341    934 |        0 |        0
1669.56/1670.10	c 1665s |      24 |  3744115 |  3559662 |     9341    934 |        0 |        0
1671.56/1672.18	c 1667s |      24 |  3748403 |  3563562 |     9341    935 |        0 |        0
1673.66/1674.21	c 1669s |      24 |  3752430 |  3567162 |     9341    936 |        0 |        0
1675.66/1676.21	c 1671s |      24 |  3755717 |  3570062 |     9341    936 |        0 |        0
1677.66/1678.23	c 1673s |      24 |  3759808 |  3573762 |     9341    937 |        0 |        0
1679.66/1680.26	c 1675s |      24 |  3763599 |  3577262 |     9341    938 |        0 |        0
1681.66/1682.28	c 1677s |      24 |  3768154 |  3581562 |     9341    939 |        0 |        0
1683.76/1684.31	c 1679s |      24 |  3773468 |  3586162 |     9341    940 |        0 |        0
1685.76/1686.34	c 1681s |      24 |  3778161 |  3590562 |     9341    941 |        0 |        0
1687.76/1688.39	c 1683s |      24 |  3782895 |  3595062 |     9341    941 |        0 |        0
1689.86/1690.42	c 1685s |      24 |  3787797 |  3599562 |     9341    942 |        0 |        0
1691.85/1692.46	c 1687s |      24 |  3791594 |  3602862 |     9341    943 |        0 |        0
1693.85/1694.49	c 1689s |      24 |  3795062 |  3605662 |     9341    944 |        0 |        0
1695.85/1696.49	c 1691s |      24 |  3798902 |  3608562 |     9341    944 |        0 |        0
1697.96/1698.51	c 1693s |      24 |  3803371 |  3612662 |     9341    945 |        0 |        0
1699.95/1700.51	c 1695s |      24 |  3808175 |  3617162 |     9341    946 |        0 |        0
1701.95/1702.55	c 1697s |      24 |  3812553 |  3621262 |     9341    947 |        0 |        0
1703.95/1704.57	c 1699s |      24 |  3816998 |  3625462 |     9341    947 |        0 |        0
1705.95/1706.58	c 1701s |      24 |  3821366 |  3629662 |     9341    948 |        0 |        0
1708.05/1708.61	c 1703s |      24 |  3825705 |  3633862 |     9341    949 |        0 |        0
1710.06/1710.61	c 1705s |      24 |  3829378 |  3637462 |     9341    950 |        0 |        0
1712.05/1712.68	c 1707s |      24 |  3833243 |  3640962 |     9341    951 |        0 |        0
1714.15/1714.73	c 1709s |      24 |  3837276 |  3644862 |     9341    951 |        0 |        0
1716.15/1716.75	c 1711s |      24 |  3841389 |  3648762 |     9341    952 |        0 |        0
1718.15/1718.77	c 1713s |      24 |  3845504 |  3652762 |     9341    953 |        0 |        0
1720.25/1720.81	c 1715s |      24 |  3849886 |  3656862 |     9341    954 |        0 |        0
1722.25/1722.82	c 1717s |      24 |  3853891 |  3660562 |     9341    954 |        0 |        0
1724.25/1724.85	c 1719s |      24 |  3857921 |  3664462 |     9341    955 |        0 |        0
1726.25/1726.87	c 1721s |      24 |  3861649 |  3668062 |     9341    956 |        0 |        0
1728.25/1728.88	c 1723s |      24 |  3866248 |  3672462 |     9341    957 |        0 |        0
1730.35/1730.90	c 1725s |      24 |  3869885 |  3675862 |     9341    957 |        0 |        0
1732.35/1732.92	c 1727s |      24 |  3874086 |  3679962 |     9341    958 |        0 |        0
1734.35/1734.95	c 1730s |      24 |  3877995 |  3683662 |     9341    959 |        0 |        0
1736.36/1736.97	c 1732s |      24 |  3882347 |  3687662 |     9341    960 |        0 |        0
1738.45/1739.00	c 1734s |      24 |  3886461 |  3691462 |     9341    961 |        0 |        0
1740.45/1741.01	c 1736s |      24 |  3890634 |  3695562 |     9341    961 |        0 |        0
1742.45/1743.03	c 1738s |      24 |  3895050 |  3699862 |     9341    962 |        0 |        0
1744.45/1745.07	c 1740s |      24 |  3899133 |  3703862 |     9341    963 |        0 |        0
1746.45/1747.09	c 1742s |      24 |  3903350 |  3707962 |     9341    964 |        0 |        0
1748.56/1749.12	c 1744s |      24 |  3907876 |  3712362 |     9341    965 |        0 |        0
1750.55/1751.17	c 1746s |      24 |  3911813 |  3716162 |     9341    965 |        0 |        0
1752.55/1753.18	c 1748s |      24 |  3916142 |  3720362 |     9341    966 |        0 |        0
1754.55/1755.19	c 1750s |      24 |  3920372 |  3724462 |     9341    967 |        0 |        0
1756.55/1757.19	c 1752s |      24 |  3924212 |  3728162 |     9341    968 |        0 |        0
1758.65/1759.20	c 1754s |      24 |  3929068 |  3732762 |     9341    969 |        0 |        0
1760.66/1761.21	c 1756s |      24 |  3933638 |  3737162 |     9341    970 |        0 |        0
1762.65/1763.23	c 1758s |      24 |  3937923 |  3741362 |     9341    970 |        0 |        0
1764.65/1765.28	c 1760s |      24 |  3942220 |  3745562 |     9341    971 |        0 |        0
1766.65/1767.29	c 1762s |      24 |  3946059 |  3749262 |     9341    972 |        0 |        0
1768.75/1769.30	c 1764s |      24 |  3949926 |  3753062 |     9341    973 |        0 |        0
1770.75/1771.33	c 1766s |      24 |  3953941 |  3756962 |     9341    974 |        0 |        0
1772.75/1773.35	c 1768s |      24 |  3958140 |  3761062 |     9341    974 |        0 |        0
1774.75/1775.36	c 1770s |      24 |  3962363 |  3765162 |     9341    975 |        0 |        0
1776.75/1777.37	c 1772s |      24 |  3966231 |  3768962 |     9341    976 |        0 |        0
1778.75/1779.40	c 1774s |      24 |  3970033 |  3772662 |     9341    977 |        0 |        0
1780.85/1781.41	c 1776s |      24 |  3974402 |  3776862 |     9341    978 |        0 |        0
1782.84/1783.46	c 1778s |      24 |  3978883 |  3781162 |     9341    978 |        0 |        0
1784.85/1785.47	c 1780s |      24 |  3982898 |  3785062 |     9341    979 |        0 |        0
1786.84/1787.48	c 1782s |      24 |  3987494 |  3789562 |     9341    980 |        0 |        0
1788.84/1789.48	c 1784s |      24 |  3991021 |  3792962 |     9341    981 |        0 |        0
1790.94/1791.55	c 1786s |      24 |  3995211 |  3796962 |     9341    982 |        0 |        0
1793.04/1793.61	c 1788s |      24 |  3999325 |  3800862 |     9341    982 |        0 |        0
1795.04/1795.62	c 1790s |      24 |  4003516 |  3804862 |     9341    983 |        0 |        0
1797.04/1797.63	c 1792s |      24 |  4007466 |  3808662 |     9341    984 |        0 |        0
1799.05/1799.68	c 1794s |      24 |  4011569 |  3812562 |     9341    985 |        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-4106436-1466271299/watcher-4106436-1466271299 -o /tmp/evaluation-result-4106436-1466271299/solver-4106436-1466271299 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466264081-7756 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106436-1466271299.opb 

pid=8742
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.18 2.17 2.11 3/179 8745
/proc/meminfo: memFree=30105184/32872528 swapFree=496868/529572
[pid=8745] ppid=8742 vsize=751036 CPUtime=0 cores=1,3,5,7
/proc/8745/stat : 8745 (toysat) R 8742 8745 7739 0 -1 4202496 2809 0 0 0 0 0 0 0 20 0 4 0 29175389 769060864 2659 33554432000 4194304 16246674 140734455507184 140734455506608 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8745/statm: 188527 2669 441 2943 0 185421 0
[pid=8745/tid=8746] ppid=8742 vsize=768444 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8746/stat : 8746 (toysat) S 8742 8745 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29175389 786886656 2727 33554432000 4194304 16246674 140734455507184 140616225762544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8745/tid=8747] ppid=8742 vsize=772540 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8747/stat : 8747 (toysat) S 8742 8745 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29175389 791080960 2743 33554432000 4194304 16246674 140734455507184 140616215272688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8745/tid=8748] ppid=8742 vsize=777660 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8748/stat : 8748 (toysat) S 8742 8745 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29175389 796323840 2760 33554432000 4194304 16246674 140734455507184 140616204799152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100176 s]
/proc/loadavg: 2.18 2.17 2.11 3/179 8745
/proc/meminfo: memFree=30105184/32872528 swapFree=496868/529572
[pid=8745] ppid=8742 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/8745/stat : 8745 (toysat) R 8742 8745 7739 0 -1 4202496 22455 0 0 0 6 2 0 0 20 0 4 0 29175389 1247350784 22293 33554432000 4194304 16246674 140734455507184 140734455506608 13780501 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8745/statm: 304529 22301 758 2943 0 301423 0
[pid=8745/tid=8746] ppid=8742 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8746/stat : 8746 (toysat) S 8742 8745 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29175389 1247350784 22308 33554432000 4194304 16246674 140734455507184 140616225762544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8745/tid=8747] ppid=8742 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8747/stat : 8747 (toysat) S 8742 8745 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29175389 1247350784 22311 33554432000 4194304 16246674 140734455507184 140616215272688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8745/tid=8748] ppid=8742 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8748/stat : 8748 (toysat) S 8742 8745 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29175389 1247350784 22315 33554432000 4194304 16246674 140734455507184 140616204799152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200569 s]
/proc/loadavg: 2.18 2.17 2.11 3/179 8745
/proc/meminfo: memFree=30105184/32872528 swapFree=496868/529572
[pid=8745] ppid=8742 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/8745/stat : 8745 (toysat) R 8742 8745 7739 0 -1 4202496 39534 0 0 0 15 4 0 0 20 0 4 0 29175389 1247350784 39372 33554432000 4194304 16246674 140734455507184 140734455506608 5724508 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8745/statm: 304529 39378 758 2943 0 301423 0
[pid=8745/tid=8746] ppid=8742 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8746/stat : 8746 (toysat) S 8742 8745 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29175389 1247350784 39382 33554432000 4194304 16246674 140734455507184 140616225762544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8745/tid=8747] ppid=8742 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8747/stat : 8747 (toysat) S 8742 8745 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29175389 1247350784 39387 33554432000 4194304 16246674 140734455507184 140616215272688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8745/tid=8748] ppid=8742 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8748/stat : 8748 (toysat) S 8742 8745 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29175389 1247350784 39394 33554432000 4194304 16246674 140734455507184 140616204799152 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) 1218116

[startup+0.300485 s]
/proc/loadavg: 2.18 2.17 2.11 3/179 8745
/proc/meminfo: memFree=30105184/32872528 swapFree=496868/529572
[pid=8745] ppid=8742 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/8745/stat : 8745 (toysat) R 8742 8745 7739 0 -1 4202496 56609 0 0 0 22 7 0 0 20 0 4 0 29175389 1247350784 56447 33554432000 4194304 16246674 140734455507184 140734455506608 12460395 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8745/statm: 304529 56456 758 2943 0 301423 0
[pid=8745/tid=8746] ppid=8742 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8746/stat : 8746 (toysat) S 8742 8745 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29175389 1247350784 56464 33554432000 4194304 16246674 140734455507184 140616225762544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8745/tid=8747] ppid=8742 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8747/stat : 8747 (toysat) S 8742 8745 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29175389 1247350784 56473 33554432000 4194304 16246674 140734455507184 140616215272688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8745/tid=8748] ppid=8742 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8748/stat : 8748 (toysat) S 8742 8745 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29175389 1247350784 56478 33554432000 4194304 16246674 140734455507184 140616204799152 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) 1218116

[startup+0.700401 s]
/proc/loadavg: 2.18 2.17 2.11 3/179 8745
/proc/meminfo: memFree=30105184/32872528 swapFree=496868/529572
[pid=8745] ppid=8742 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/8745/stat : 8745 (toysat) R 8742 8745 7739 0 -1 4202496 122461 0 0 0 54 15 0 0 20 0 4 0 29175389 1247350784 122299 33554432000 4194304 16246674 140734455507184 140734455506608 5711820 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8745/statm: 304529 122305 758 2943 0 301423 0
[pid=8745/tid=8746] ppid=8742 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8746/stat : 8746 (toysat) S 8742 8745 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29175389 1247350784 122309 33554432000 4194304 16246674 140734455507184 140616225762544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8745/tid=8747] ppid=8742 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8747/stat : 8747 (toysat) S 8742 8745 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29175389 1247350784 122313 33554432000 4194304 16246674 140734455507184 140616215272688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8745/tid=8748] ppid=8742 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8748/stat : 8748 (toysat) S 8742 8745 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29175389 1247350784 122317 33554432000 4194304 16246674 140734455507184 140616204799152 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) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.18 2.17 2.11 3/183 8749
/proc/meminfo: memFree=29372188/32872528 swapFree=496868/529572
[pid=8745] ppid=8742 vsize=1221188 CPUtime=1.49 cores=1,3,5,7
/proc/8745/stat : 8745 (toysat) R 8742 8745 7739 0 -1 4202496 246305 0 0 0 116 33 0 0 20 0 4 0 29175389 1250496512 246120 33554432000 4194304 16246674 140734455507184 140734455506496 5600869 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8745/statm: 305297 246120 833 2943 0 302191 0
[pid=8745/tid=8746] ppid=8742 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8746/stat : 8746 (toysat) S 8742 8745 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29175389 1250496512 246120 33554432000 4194304 16246674 140734455507184 140616225762544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8745/tid=8747] ppid=8742 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8747/stat : 8747 (toysat) S 8742 8745 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29175389 1250496512 246120 33554432000 4194304 16246674 140734455507184 140616215272688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8745/tid=8748] ppid=8742 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8748/stat : 8748 (toysat) S 8742 8745 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29175389 1250496512 246120 33554432000 4194304 16246674 140734455507184 140616204799152 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) 1221188

[startup+3.10043 s]
/proc/loadavg: 2.18 2.17 2.11 4/183 8749
/proc/meminfo: memFree=29121064/32872528 swapFree=496868/529572
[pid=8745] ppid=8742 vsize=1302084 CPUtime=3.09 cores=1,3,5,7
/proc/8745/stat : 8745 (toysat) R 8742 8745 7739 0 -1 4202496 266447 0 0 0 274 35 0 0 20 0 4 0 29175389 1333334016 266262 33554432000 4194304 16246674 140734455507184 140734455490184 5823898 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8745/statm: 325521 266262 833 2943 0 322415 0
[pid=8745/tid=8746] ppid=8742 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8746/stat : 8746 (toysat) S 8742 8745 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29175389 1333334016 266262 33554432000 4194304 16246674 140734455507184 140616225762544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8745/tid=8747] ppid=8742 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8747/stat : 8747 (toysat) S 8742 8745 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29175389 1333334016 266262 33554432000 4194304 16246674 140734455507184 140616215272688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8745/tid=8748] ppid=8742 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8748/stat : 8748 (toysat) S 8742 8745 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29175389 1333334016 266262 33554432000 4194304 16246674 140734455507184 140616204799152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1302084

[startup+6.30043 s]
/proc/loadavg: 2.17 2.16 2.11 3/183 8749
/proc/meminfo: memFree=29031404/32872528 swapFree=496868/529572
[pid=8745] ppid=8742 vsize=1311300 CPUtime=6.29 cores=1,3,5,7
/proc/8745/stat : 8745 (toysat) R 8742 8745 7739 0 -1 4202496 268716 0 0 0 593 36 0 0 20 0 4 0 29175389 1342771200 268531 33554432000 4194304 16246674 140734455507184 140734455490184 6021616 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8745/statm: 327825 268531 853 2943 0 324719 0
[pid=8745/tid=8746] ppid=8742 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8746/stat : 8746 (toysat) S 8742 8745 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29175389 1342771200 268531 33554432000 4194304 16246674 140734455507184 140616225762544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8745/tid=8747] ppid=8742 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8747/stat : 8747 (toysat) S 8742 8745 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29175389 1342771200 268531 33554432000 4194304 16246674 140734455507184 140616215272688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8745/tid=8748] ppid=8742 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8748/stat : 8748 (toysat) S 8742 8745 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29175389 1342771200 268531 33554432000 4194304 16246674 140734455507184 140616204799152 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) 1311300

[startup+12.7004 s]
/proc/loadavg: 2.16 2.16 2.11 3/183 8749
/proc/meminfo: memFree=29030624/32872528 swapFree=496868/529572
[pid=8745] ppid=8742 vsize=1311300 CPUtime=12.69 cores=1,3,5,7
/proc/8745/stat : 8745 (toysat) R 8742 8745 7739 0 -1 4202496 268924 0 0 0 1233 36 0 0 20 0 4 0 29175389 1342771200 268739 33554432000 4194304 16246674 140734455507184 140734455489088 12415747 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8745/statm: 327825 268739 854 2943 0 324719 0
[pid=8745/tid=8746] ppid=8742 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8746/stat : 8746 (toysat) S 8742 8745 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29175389 1342771200 268739 33554432000 4194304 16246674 140734455507184 140616225762544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8745/tid=8747] ppid=8742 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8747/stat : 8747 (toysat) S 8742 8745 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29175389 1342771200 268739 33554432000 4194304 16246674 140734455507184 140616215272688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8745/tid=8748] ppid=8742 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8748/stat : 8748 (toysat) S 8742 8745 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29175389 1342771200 268739 33554432000 4194304 16246674 140734455507184 140616204799152 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.12 2.15 2.10 3/183 8749
/proc/meminfo: memFree=29028484/32872528 swapFree=496868/529572
[pid=8745] ppid=8742 vsize=1322564 CPUtime=25.48 cores=1,3,5,7
/proc/8745/stat : 8745 (toysat) R 8742 8745 7739 0 -1 4202496 271740 0 0 0 2512 36 0 0 20 0 4 0 29175389 1354305536 271555 33554432000 4194304 16246674 140734455507184 140734455490184 6845877 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8745/statm: 330641 271555 854 2943 0 327535 0
[pid=8745/tid=8746] ppid=8742 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8746/stat : 8746 (toysat) S 8742 8745 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29175389 1354305536 271555 33554432000 4194304 16246674 140734455507184 140616225762544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8745/tid=8747] ppid=8742 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8747/stat : 8747 (toysat) S 8742 8745 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29175389 1354305536 271555 33554432000 4194304 16246674 140734455507184 140616215272688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8745/tid=8748] ppid=8742 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8748/stat : 8748 (toysat) S 8742 8745 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29175389 1354305536 271555 33554432000 4194304 16246674 140734455507184 140616204799152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1322564

[startup+51.1006 s]
/proc/loadavg: 2.14 2.15 2.10 3/183 8749
/proc/meminfo: memFree=29019156/32872528 swapFree=496868/529572
[pid=8745] ppid=8742 vsize=1322564 CPUtime=51.09 cores=1,3,5,7
/proc/8745/stat : 8745 (toysat) R 8742 8745 7739 0 -1 4202496 271740 0 0 0 5072 37 0 0 20 0 4 0 29175389 1354305536 271555 33554432000 4194304 16246674 140734455507184 140734455489088 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8745/statm: 330641 271555 854 2943 0 327535 0
[pid=8745/tid=8746] ppid=8742 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8746/stat : 8746 (toysat) S 8742 8745 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29175389 1354305536 271555 33554432000 4194304 16246674 140734455507184 140616225762544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8745/tid=8747] ppid=8742 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8747/stat : 8747 (toysat) S 8742 8745 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29175389 1354305536 271555 33554432000 4194304 16246674 140734455507184 140616215272688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8745/tid=8748] ppid=8742 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8748/stat : 8748 (toysat) S 8742 8745 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29175389 1354305536 271555 33554432000 4194304 16246674 140734455507184 140616204799152 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) 1322564

[startup+102.301 s]
/proc/loadavg: 2.11 2.14 2.10 3/183 8750
/proc/meminfo: memFree=29015792/32872528 swapFree=496868/529572
[pid=8745] ppid=8742 vsize=1325636 CPUtime=102.28 cores=1,3,5,7
/proc/8745/stat : 8745 (toysat) R 8742 8745 7739 0 -1 4202496 272508 0 0 0 10191 37 0 0 20 0 4 0 29175389 1357451264 272323 33554432000 4194304 16246674 140734455507184 140734455489088 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8745/statm: 331409 272323 854 2943 0 328303 0
[pid=8745/tid=8746] ppid=8742 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8746/stat : 8746 (toysat) S 8742 8745 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29175389 1357451264 272323 33554432000 4194304 16246674 140734455507184 140616225762544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8745/tid=8747] ppid=8742 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8747/stat : 8747 (toysat) S 8742 8745 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29175389 1357451264 272323 33554432000 4194304 16246674 140734455507184 140616215272688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8745/tid=8748] ppid=8742 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8748/stat : 8748 (toysat) S 8742 8745 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29175389 1357451264 272323 33554432000 4194304 16246674 140734455507184 140616204799152 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) 1325636


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

/proc/8745/task/8748/stat : 8748 (toysat) S 8742 8745 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29175389 1365839872 274630 33554432000 4194304 16246674 140734455507184 140616204799152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 1333828

[startup+1302.3 s]
/proc/loadavg: 2.15 2.15 2.10 3/183 8976
/proc/meminfo: memFree=29012924/32872528 swapFree=496868/529572
[pid=8745] ppid=8742 vsize=1333828 CPUtime=1301.81 cores=1,3,5,7
/proc/8745/stat : 8745 (toysat) R 8742 8745 7739 0 -1 4202496 274999 0 0 0 130135 46 0 0 20 0 4 0 29175389 1365839872 274630 33554432000 4194304 16246674 140734455507184 140734455489088 5823793 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8745/statm: 333457 274630 855 2943 0 330351 0
[pid=8745/tid=8746] ppid=8742 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8746/stat : 8746 (toysat) S 8742 8745 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29175389 1365839872 274630 33554432000 4194304 16246674 140734455507184 140616225762544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8745/tid=8747] ppid=8742 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8747/stat : 8747 (toysat) S 8742 8745 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29175389 1365839872 274630 33554432000 4194304 16246674 140734455507184 140616215272688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8745/tid=8748] ppid=8742 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8748/stat : 8748 (toysat) S 8742 8745 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29175389 1365839872 274630 33554432000 4194304 16246674 140734455507184 140616204799152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 1333828

[startup+1362.3 s]
/proc/loadavg: 2.21 2.17 2.10 3/183 8977
/proc/meminfo: memFree=29010232/32872528 swapFree=496868/529572
[pid=8745] ppid=8742 vsize=1333828 CPUtime=1361.81 cores=1,3,5,7
/proc/8745/stat : 8745 (toysat) R 8742 8745 7739 0 -1 4202496 274999 0 0 0 136134 47 0 0 20 0 4 0 29175389 1365839872 274630 33554432000 4194304 16246674 140734455507184 140734455489088 5662863 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8745/statm: 333457 274630 855 2943 0 330351 0
[pid=8745/tid=8746] ppid=8742 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8746/stat : 8746 (toysat) S 8742 8745 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29175389 1365839872 274630 33554432000 4194304 16246674 140734455507184 140616225762544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8745/tid=8747] ppid=8742 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8747/stat : 8747 (toysat) S 8742 8745 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29175389 1365839872 274630 33554432000 4194304 16246674 140734455507184 140616215272688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8745/tid=8748] ppid=8742 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8748/stat : 8748 (toysat) S 8742 8745 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29175389 1365839872 274630 33554432000 4194304 16246674 140734455507184 140616204799152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 1333828

[startup+1422.3 s]
/proc/loadavg: 2.15 2.16 2.10 3/183 8979
/proc/meminfo: memFree=29010020/32872528 swapFree=496868/529572
[pid=8745] ppid=8742 vsize=1333828 CPUtime=1421.8 cores=1,3,5,7
/proc/8745/stat : 8745 (toysat) R 8742 8745 7739 0 -1 4202496 274999 0 0 0 142133 47 0 0 20 0 4 0 29175389 1365839872 274630 33554432000 4194304 16246674 140734455507184 140734455490184 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8745/statm: 333457 274630 855 2943 0 330351 0
[pid=8745/tid=8746] ppid=8742 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8746/stat : 8746 (toysat) S 8742 8745 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29175389 1365839872 274630 33554432000 4194304 16246674 140734455507184 140616225762544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8745/tid=8747] ppid=8742 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8747/stat : 8747 (toysat) S 8742 8745 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29175389 1365839872 274630 33554432000 4194304 16246674 140734455507184 140616215272688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8745/tid=8748] ppid=8742 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8748/stat : 8748 (toysat) S 8742 8745 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29175389 1365839872 274630 33554432000 4194304 16246674 140734455507184 140616204799152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1333828

[startup+1482.3 s]
/proc/loadavg: 2.15 2.16 2.10 3/183 8980
/proc/meminfo: memFree=29010180/32872528 swapFree=496868/529572
[pid=8745] ppid=8742 vsize=1333828 CPUtime=1481.79 cores=1,3,5,7
/proc/8745/stat : 8745 (toysat) R 8742 8745 7739 0 -1 4202496 274999 0 0 0 148131 48 0 0 20 0 4 0 29175389 1365839872 274630 33554432000 4194304 16246674 140734455507184 140734455489088 5724479 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8745/statm: 333457 274630 855 2943 0 330351 0
[pid=8745/tid=8746] ppid=8742 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8746/stat : 8746 (toysat) S 8742 8745 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29175389 1365839872 274630 33554432000 4194304 16246674 140734455507184 140616225762544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8745/tid=8747] ppid=8742 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8747/stat : 8747 (toysat) S 8742 8745 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29175389 1365839872 274630 33554432000 4194304 16246674 140734455507184 140616215272688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8745/tid=8748] ppid=8742 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8748/stat : 8748 (toysat) S 8742 8745 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29175389 1365839872 274630 33554432000 4194304 16246674 140734455507184 140616204799152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 1333828

[startup+1542.31 s]
/proc/loadavg: 2.22 2.17 2.11 3/184 8984
/proc/meminfo: memFree=29007912/32872528 swapFree=496868/529572
[pid=8745] ppid=8742 vsize=1333828 CPUtime=1541.78 cores=1,3,5,7
/proc/8745/stat : 8745 (toysat) R 8742 8745 7739 0 -1 4202496 274999 0 0 0 154130 48 0 0 20 0 4 0 29175389 1365839872 274630 33554432000 4194304 16246674 140734455507184 140734455489088 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8745/statm: 333457 274630 855 2943 0 330351 0
[pid=8745/tid=8746] ppid=8742 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8746/stat : 8746 (toysat) S 8742 8745 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29175389 1365839872 274630 33554432000 4194304 16246674 140734455507184 140616225762544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8745/tid=8747] ppid=8742 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8747/stat : 8747 (toysat) S 8742 8745 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29175389 1365839872 274630 33554432000 4194304 16246674 140734455507184 140616215272688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8745/tid=8748] ppid=8742 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8748/stat : 8748 (toysat) S 8742 8745 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29175389 1365839872 274630 33554432000 4194304 16246674 140734455507184 140616204799152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 1333828

[startup+1602.3 s]
/proc/loadavg: 2.12 2.15 2.10 3/184 9008
/proc/meminfo: memFree=29007908/32872528 swapFree=496868/529572
[pid=8745] ppid=8742 vsize=1333828 CPUtime=1601.77 cores=1,3,5,7
/proc/8745/stat : 8745 (toysat) R 8742 8745 7739 0 -1 4202496 274999 0 0 0 160128 49 0 0 20 0 4 0 29175389 1365839872 274630 33554432000 4194304 16246674 140734455507184 140734455489088 5677884 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8745/statm: 333457 274630 855 2943 0 330351 0
[pid=8745/tid=8746] ppid=8742 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8746/stat : 8746 (toysat) S 8742 8745 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29175389 1365839872 274630 33554432000 4194304 16246674 140734455507184 140616225762544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8745/tid=8747] ppid=8742 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8747/stat : 8747 (toysat) S 8742 8745 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29175389 1365839872 274630 33554432000 4194304 16246674 140734455507184 140616215272688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8745/tid=8748] ppid=8742 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8748/stat : 8748 (toysat) S 8742 8745 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29175389 1365839872 274630 33554432000 4194304 16246674 140734455507184 140616204799152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1333828

[startup+1662.3 s]
/proc/loadavg: 2.11 2.15 2.10 3/183 9009
/proc/meminfo: memFree=29007948/32872528 swapFree=496868/529572
[pid=8745] ppid=8742 vsize=1333828 CPUtime=1661.76 cores=1,3,5,7
/proc/8745/stat : 8745 (toysat) R 8742 8745 7739 0 -1 4202496 274999 0 0 0 166127 49 0 0 20 0 4 0 29175389 1365839872 274630 33554432000 4194304 16246674 140734455507184 140734455489088 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8745/statm: 333457 274630 855 2943 0 330351 0
[pid=8745/tid=8746] ppid=8742 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8746/stat : 8746 (toysat) S 8742 8745 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29175389 1365839872 274630 33554432000 4194304 16246674 140734455507184 140616225762544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8745/tid=8747] ppid=8742 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8747/stat : 8747 (toysat) S 8742 8745 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29175389 1365839872 274630 33554432000 4194304 16246674 140734455507184 140616215272688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8745/tid=8748] ppid=8742 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8748/stat : 8748 (toysat) S 8742 8745 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29175389 1365839872 274630 33554432000 4194304 16246674 140734455507184 140616204799152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1333828

[startup+1722.3 s]
/proc/loadavg: 2.17 2.15 2.10 3/183 9011
/proc/meminfo: memFree=29007736/32872528 swapFree=496868/529572
[pid=8745] ppid=8742 vsize=1333828 CPUtime=1721.75 cores=1,3,5,7
/proc/8745/stat : 8745 (toysat) R 8742 8745 7739 0 -1 4202496 274999 0 0 0 172126 49 0 0 20 0 4 0 29175389 1365839872 274630 33554432000 4194304 16246674 140734455507184 140734455489088 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8745/statm: 333457 274630 855 2943 0 330351 0
[pid=8745/tid=8746] ppid=8742 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8746/stat : 8746 (toysat) S 8742 8745 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29175389 1365839872 274630 33554432000 4194304 16246674 140734455507184 140616225762544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8745/tid=8747] ppid=8742 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8747/stat : 8747 (toysat) S 8742 8745 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29175389 1365839872 274630 33554432000 4194304 16246674 140734455507184 140616215272688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8745/tid=8748] ppid=8742 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8748/stat : 8748 (toysat) S 8742 8745 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29175389 1365839872 274630 33554432000 4194304 16246674 140734455507184 140616204799152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1333828

[startup+1782.3 s]
/proc/loadavg: 2.11 2.14 2.09 3/183 9012
/proc/meminfo: memFree=29007392/32872528 swapFree=496868/529572
[pid=8745] ppid=8742 vsize=1333828 CPUtime=1781.74 cores=1,3,5,7
/proc/8745/stat : 8745 (toysat) R 8742 8745 7739 0 -1 4202496 274999 0 0 0 178124 50 0 0 20 0 4 0 29175389 1365839872 274630 33554432000 4194304 16246674 140734455507184 140734455489088 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8745/statm: 333457 274630 855 2943 0 330351 0
[pid=8745/tid=8746] ppid=8742 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8746/stat : 8746 (toysat) S 8742 8745 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29175389 1365839872 274630 33554432000 4194304 16246674 140734455507184 140616225762544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8745/tid=8747] ppid=8742 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8747/stat : 8747 (toysat) S 8742 8745 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29175389 1365839872 274630 33554432000 4194304 16246674 140734455507184 140616215272688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8745/tid=8748] ppid=8742 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8748/stat : 8748 (toysat) S 8742 8745 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29175389 1365839872 274630 33554432000 4194304 16246674 140734455507184 140616204799152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1333828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.15 2.15 2.10 3/183 9013
/proc/meminfo: memFree=29007608/32872528 swapFree=496868/529572
[pid=8745] ppid=8742 vsize=1333828 CPUtime=1800.04 cores=1,3,5,7
/proc/8745/stat : 8745 (toysat) R 8742 8745 7739 0 -1 4202496 274999 0 0 0 179954 50 0 0 20 0 4 0 29175389 1365839872 274630 33554432000 4194304 16246674 140734455507184 140734455489088 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8745/statm: 333457 274630 855 2943 0 330351 0
[pid=8745/tid=8746] ppid=8742 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8746/stat : 8746 (toysat) S 8742 8745 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29175389 1365839872 274630 33554432000 4194304 16246674 140734455507184 140616225762544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8745/tid=8747] ppid=8742 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8747/stat : 8747 (toysat) S 8742 8745 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29175389 1365839872 274630 33554432000 4194304 16246674 140734455507184 140616215272688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8745/tid=8748] ppid=8742 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/8745/task/8748/stat : 8748 (toysat) S 8742 8745 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29175389 1365839872 274630 33554432000 4194304 16246674 140734455507184 140616204799152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1333828

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8745 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.05
CPU user time (s): 1799.55
CPU system time (s): 0.503923
CPU usage (%): 99.9691
Max. virtual memory (cumulated for all children) (KiB): 1333828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.503923
maximum resident set size= 1098520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274999
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= 456
involuntary context switches= 1834

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.0133 second user time and 17.4164 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-18 19:35:00
IDJOB=4106436
IDBENCH=48060
IDSOLVER=2542
FILE ID=node141/4106436-1466271299
RUNJOBID= node141-1466264081-7756
PBS_JOBID= 19918217
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=131-P1=307-P2=281-P3=173-P4=479-P5=461-P6=107-P7=337-P8=353-B.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106436-1466271299/watcher-4106436-1466271299 -o /tmp/evaluation-result-4106436-1466271299/solver-4106436-1466271299 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466264081-7756 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106436-1466271299.opb

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

MD5SUM BENCH= 6dc20e219798a6cc2c39fe76202681b5
RANDOM SEED=762565536

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30105828 kB
Buffers:          150448 kB
Cached:           255636 kB
SwapCached:         2528 kB
Active:          1224904 kB
Inactive:         264916 kB
Active(anon):    1083928 kB
Inactive(anon):     2028 kB
Active(file):     140976 kB
Inactive(file):   262888 kB
Unevictable:      529572 kB
Mlocked:          496868 kB
SwapTotal:      67108856 kB
SwapFree:       67099068 kB
Dirty:             16356 kB
Writeback:            12 kB
AnonPages:       1615780 kB
Mapped:            10476 kB
Shmem:                 0 kB
Slab:             609728 kB
SReclaimable:      53252 kB
SUnreclaim:       556476 kB
KernelStack:        1480 kB
PageTables:         6764 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1759612 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    219136 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= 71696 MiB
End job on node141 at 2016-06-18 20:05:00