Trace number 4106388

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.07 1800.61

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=197-P1=29-P2=199-P3=251-P4=227-P5=257-P6=149-P7=53-B.opb
MD5SUM83b6f70c71dbcf261c00790940be437e
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.11998
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 variables168
Total number of constraints15
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 constraints15
Minimum length of a constraint8
Maximum length of a constraint80
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 130560
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)448
Sum of products size (including duplicates)896
Number of different products448
Sum of products size896

Solver Data 

0.00/0.00	c 2016-06-18T19:22:37+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-4106388-1466270557.opb"]
0.00/0.01	c use --random-gen="1501902516 1549270365 255670624 3175035350 1650699659 114781815 3159528340 2903254101 863877896 3093378659 2002672461 3621348517 748383580 3558307320 1080160092 2362160363 2497928977 2902769082 71424205 2266663462 1859302245 2227838 3807713644 3850405532 269064339 512771578 3936059192 2918627207 655317798 2467566058 2391003942 4278719739 2652203822 4282812628 773524552 539024737 1749608481 1754516106 1005102673 1159714098 3345444207 208947994 492935379 3748041830 2258137888 1444113688 1368010589 3027664884 2435832608 2614738326 1888001773 1618387567 568015099 1053377490 2937675591 2592969282 2925822311 3252479911 3843674025 1046392402 2368680328 3014483863 2958430730 3224200750 123405675 499077319 732515715 3666376866 680421690 1867439695 2493029984 1045887777 1241337811 1329160623 1943530419 1223437746 2968902920 2696127899 142645594 2516781270 2710282684 918782549 1998653040 3958958207 208712119 3603258625 383539063 1362987154 2277775392 4285954347 171610644 1633505283 1089844958 3037273553 3773285674 1766522573 2464131892 1227520108 40235970 191004641 4052187252 1822504431 784799701 1979183987 2925634277 546334009 3263692395 2215263629 2115153364 1297450527 4274432436 1770024369 875297015 3032423351 1324740564 3123127916 1039470927 2477031471 4138489385 994337441 1488223803 4047737216 3741186767 2036263087 1588395378 1523389341 1009284116 76277076 610154735 3085999409 3675304564 1186175605 3119269576 3869464142 145979507 1543652149 3988544400 2783950369 3451605769 3538331512 870995523 2266168570 885023420 1985765895 3021934410 997581706 936730944 3662472531 2077867968 3062337171 2823094029 3759647413 3399359596 647288393 2141849872 1094929555 941877592 1320162429 1804805114 2193312784 3951566720 3620256204 1108439513 3976364017 548290879 4032830705 2922155015 549075298 902613626 1725066353 2456027409 12114164 613953124 2825796214 4183013938 3790333270 451840451 1781287005 1698336056 3252660529 2278369613 1455453236 481842647 1842097501 2944869894 579247438 279538897 1067113534 3806745938 1113692051 57507826 492132529 389763831 1025716159 1560255066 2380833657 3996258247 1865443866 801613257 977164157 272647336 1479918222 3677227270 961353112 4124043281 3805868969 1086914772 3597280332 254657009 3776149944 2402290761 3208022167 2785263937 2988016955 3426961804 2806041082 4205572601 4072097482 1350912593 3974054235 1314240528 4290267439 1011021935 3611495342 3041223854 4248639094 932715136 3717426339 4291596311 1628824610 1766030333 2121520463 547649567 425876748 2748780109 1023916625 3214742418 188421680 1236285807 540984825 961631505 3433890526 3247728190 1606310201 4261544274 1033945545 1281272942 395385043 4074443816 3304705131 792083394 2776220903 3369103797 1384899898 2027375734 2213063048 255 362436" option to reproduce the execution
0.00/0.01	c #vars 168
0.00/0.01	c #constraints 15
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 |      660      0 |        0 |        0
0.00/0.05	c  0.0s |       1 |      113 |      100 |      660      0 |        0 |        0
0.00/0.09	c  0.1s |       2 |      273 |      250 |      727      0 |        0 |        0
0.08/0.14	c  0.1s |       3 |      530 |      475 |      800      0 |        0 |        0
0.08/0.40	c  0.2s |       4 |      986 |      813 |      881      0 |        0 |        0
0.08/0.46	c  0.4s |       5 |     1580 |     1320 |      970      0 |        0 |        0
0.58/0.66	c  0.6s |       6 |     2427 |     2081 |     1174      2 |        0 |        0
1.19/1.27	c  1.2s |       7 |     3682 |     3223 |     1292      3 |        0 |        0
1.58/1.63	c  1.6s |       8 |     5492 |     4936 |     1422      6 |        0 |        0
2.29/2.33	c  2.3s |       9 |     8365 |     7506 |     1565      9 |        0 |        0
2.49/2.52	c  2.5s |       9 |     9607 |     8617 |     1565     10 |        0 |        0
2.49/2.52	c #cpu_time = 2.487s
2.49/2.52	c #wall_clock_time = 2.494s
2.49/2.52	c #decision = 9607
2.49/2.52	c #random_decision = 49
2.49/2.52	c #conflict = 8617
2.49/2.52	c #restart = 9
2.49/2.52	o 251
2.49/2.52	c BCD2: updating upper bound: 255 -> 250
2.49/2.52	c BCD2: 0 <= obj <= 250
2.49/2.52	c BCD2: #cores=0, #unrelaxed=8, #relaxed=0, #hardened=0
2.49/2.52	c BCD2: #sat=1 #unsat=1 bias=1/2
2.49/2.52	c Solving starts ...
2.49/2.52	c ============================[ Search Statistics ]============================
2.49/2.52	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.49/2.52	c       |         |          |          |    Limit     GC | Var      | Constra 
2.49/2.52	c =============================================================================
2.49/2.52	c  0.0s |       0 |        0 |        0 |     1565      0 |        0 |        0
2.49/2.52	c  0.0s |       0 |        6 |        0 |     1565      0 |        0 |        0
2.49/2.52	c #cpu_time = 0.003s
2.49/2.52	c #wall_clock_time = 0.003s
2.49/2.52	c #decision = 6
2.49/2.52	c #random_decision = 0
2.49/2.52	c #conflict = 0
2.49/2.52	c #restart = 0
2.49/2.52	c BCD2: found a new core of size 7: cost of the new core is >=2
2.49/2.52	c lower bound updated to 2
2.49/2.52	c BCD2: 2 <= obj <= 250
2.49/2.52	c BCD2: #cores=1, #unrelaxed=1, #relaxed=7, #hardened=0
2.49/2.52	c BCD2: #sat=1 #unsat=2 bias=2/3
2.49/2.52	c Solving starts ...
2.49/2.52	c ============================[ Search Statistics ]============================
2.49/2.52	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.49/2.52	c       |         |          |          |    Limit     GC | Var      | Constra 
2.49/2.52	c =============================================================================
2.49/2.52	c  0.0s |       0 |        0 |        0 |     1565      0 |        0 |        0
2.49/2.57	c  0.0s |       1 |      192 |      100 |     1565      0 |        0 |        0
2.59/2.69	c  0.2s |       2 |      577 |      250 |     1565      0 |        0 |        0
2.68/2.73	c  0.2s |       3 |      855 |      475 |     1565      0 |        0 |        0
2.78/2.82	c  0.3s |       4 |     1320 |      813 |     1565      1 |        0 |        0
2.98/3.06	c  0.5s |       5 |     1908 |     1320 |     1565      1 |        0 |        0
3.19/3.25	c  0.7s |       6 |     2783 |     2081 |     1565      2 |        0 |        0
3.49/3.54	c  1.0s |       7 |     4026 |     3223 |     1722      3 |        0 |        0
3.99/4.01	c  1.5s |       8 |     5920 |     4936 |     1722      5 |        0 |        0
5.09/5.16	c  2.6s |       9 |     8689 |     7506 |     1722      7 |        0 |        0
6.49/6.52	c  4.0s |      10 |    12871 |    11361 |     1895     11 |        0 |        0
8.29/8.30	c  5.8s |      11 |    19105 |    17144 |     2085     16 |        0 |        0
10.20/10.26	c  7.7s |      12 |    28254 |    25819 |     2085     22 |        0 |        0
12.19/12.27	c  9.7s |      12 |    32564 |    29619 |     2085     25 |        0 |        0
14.29/14.36	c 11.8s |      12 |    38049 |    34919 |     2294     29 |        0 |        0
16.19/16.21	c 13.7s |      13 |    42309 |    38832 |     2294     32 |        0 |        0
18.19/18.22	c 15.7s |      13 |    49714 |    45632 |     2294     36 |        0 |        0
20.19/20.23	c 17.7s |      13 |    56525 |    51832 |     2524     41 |        0 |        0
22.19/22.24	c 19.7s |      13 |    63288 |    58232 |     2524     45 |        0 |        0
22.19/22.28	c 19.8s |      14 |    63424 |    58352 |     2524     45 |        0 |        0
24.29/24.30	c 21.8s |      14 |    71871 |    66552 |     2524     51 |        0 |        0
26.29/26.32	c 23.8s |      14 |    80346 |    74652 |     2524     57 |        0 |        0
28.28/28.32	c 25.8s |      14 |    88377 |    82552 |     2777     62 |        0 |        0
29.58/29.60	c 27.1s |      15 |    93515 |    87632 |     2777     65 |        0 |        0
31.58/31.61	c 29.1s |      15 |   101300 |    94832 |     2777     70 |        0 |        0
33.58/33.61	c 31.1s |      15 |   108242 |   101232 |     2777     74 |        0 |        0
35.59/35.62	c 33.1s |      15 |   114714 |   107532 |     2777     78 |        0 |        0
37.58/37.62	c 35.1s |      15 |   120913 |   113332 |     2777     81 |        0 |        0
39.58/39.66	c 37.1s |      15 |   126876 |   118932 |     2777     85 |        0 |        0
41.58/41.67	c 39.1s |      15 |   131880 |   123532 |     3055     87 |        0 |        0
43.58/43.68	c 41.2s |      15 |   136771 |   128132 |     3055     90 |        0 |        0
45.39/45.44	c 42.9s |      16 |   140358 |   131552 |     3055     92 |        0 |        0
47.38/47.45	c 44.9s |      16 |   149184 |   140052 |     3055     96 |        0 |        0
49.38/49.48	c 47.0s |      16 |   157138 |   147752 |     3055    101 |        0 |        0
51.48/51.50	c 49.0s |      16 |   164329 |   154852 |     3055    105 |        0 |        0
53.48/53.51	c 51.0s |      16 |   171362 |   161752 |     3055    109 |        0 |        0
55.48/55.53	c 53.0s |      16 |   178269 |   168552 |     3055    112 |        0 |        0
57.48/57.53	c 55.0s |      16 |   185780 |   175852 |     3055    116 |        0 |        0
59.48/59.55	c 57.0s |      16 |   194108 |   183952 |     3055    121 |        0 |        0
61.47/61.57	c 59.0s |      16 |   201371 |   191052 |     3361    125 |        0 |        0
63.47/63.57	c 61.0s |      16 |   207752 |   197352 |     3361    128 |        0 |        0
63.47/63.59	c 61.1s |      17 |   207831 |   197432 |     3361    128 |        0 |        0
65.57/65.61	c 63.1s |      17 |   214087 |   203132 |     3361    131 |        0 |        0
67.57/67.66	c 65.1s |      17 |   218820 |   207632 |     3361    134 |        0 |        0
69.58/69.70	c 67.2s |      17 |   224052 |   212632 |     3361    136 |        0 |        0
71.67/71.73	c 69.2s |      17 |   230238 |   218532 |     3361    139 |        0 |        0
73.67/73.74	c 71.2s |      17 |   235830 |   223832 |     3361    142 |        0 |        0
75.67/75.75	c 73.2s |      17 |   241615 |   229132 |     3361    145 |        0 |        0
77.67/77.77	c 75.2s |      17 |   247916 |   235032 |     3361    148 |        0 |        0
79.67/79.77	c 77.2s |      17 |   254029 |   240832 |     3361    151 |        0 |        0
81.68/81.80	c 79.3s |      17 |   259545 |   246032 |     3361    154 |        0 |        0
83.77/83.82	c 81.3s |      17 |   265683 |   251932 |     3361    157 |        0 |        0
85.77/85.85	c 83.3s |      17 |   271307 |   257132 |     3361    160 |        0 |        0
87.88/87.90	c 85.4s |      17 |   276916 |   262432 |     3361    163 |        0 |        0
89.88/89.95	c 87.4s |      17 |   282427 |   267632 |     3361    165 |        0 |        0
91.88/91.98	c 89.5s |      17 |   288342 |   273232 |     3361    168 |        0 |        0
93.98/94.01	c 91.5s |      17 |   294030 |   278632 |     3361    171 |        0 |        0
95.98/96.01	c 93.5s |      17 |   299877 |   284232 |     3361    174 |        0 |        0
97.98/98.04	c 95.5s |      17 |   306007 |   290032 |     3698    177 |        0 |        0
99.98/100.05	c 97.5s |      17 |   312086 |   295832 |     3698    180 |        0 |        0
100.18/100.23	c 97.7s |      18 |   312526 |   296252 |     3698    180 |        0 |        0
102.18/102.24	c 99.7s |      18 |   317998 |   300352 |     3698    182 |        0 |        0
104.18/104.28	c  101s |      18 |   324106 |   304752 |     3698    184 |        0 |        0
106.17/106.28	c  103s |      18 |   329807 |   310252 |     3698    187 |        0 |        0
108.27/108.31	c  105s |      18 |   336228 |   316452 |     3698    190 |        0 |        0
110.28/110.33	c  107s |      18 |   341790 |   321852 |     3698    193 |        0 |        0
112.27/112.34	c  109s |      18 |   347233 |   327152 |     3698    195 |        0 |        0
114.27/114.35	c  111s |      18 |   354856 |   334652 |     3698    199 |        0 |        0
116.27/116.36	c  113s |      18 |   362143 |   341652 |     3698    202 |        0 |        0
118.27/118.37	c  115s |      18 |   369174 |   348152 |     3698    205 |        0 |        0
120.28/120.40	c  117s |      18 |   375946 |   354652 |     3698    208 |        0 |        0
122.38/122.43	c  119s |      18 |   382458 |   360752 |     3698    211 |        0 |        0
124.37/124.46	c  121s |      18 |   389354 |   367152 |     3698    214 |        0 |        0
126.37/126.46	c  123s |      18 |   395839 |   373352 |     3698    217 |        0 |        0
128.37/128.47	c  125s |      18 |   401747 |   379052 |     3698    220 |        0 |        0
130.47/130.51	c  127s |      18 |   408642 |   385552 |     3698    223 |        0 |        0
132.47/132.52	c  129s |      18 |   414619 |   391452 |     3698    226 |        0 |        0
134.47/134.54	c  132s |      18 |   421010 |   397552 |     3698    229 |        0 |        0
136.47/136.55	c  134s |      18 |   427532 |   403752 |     3698    232 |        0 |        0
138.47/138.55	c  136s |      18 |   434348 |   410252 |     3698    235 |        0 |        0
140.47/140.56	c  138s |      18 |   440880 |   416552 |     3698    238 |        0 |        0
142.47/142.57	c  140s |      18 |   447180 |   422652 |     3698    241 |        0 |        0
144.47/144.57	c  142s |      18 |   452852 |   428152 |     3698    244 |        0 |        0
146.46/146.58	c  144s |      18 |   459069 |   434152 |     4068    246 |        0 |        0
148.46/148.59	c  146s |      18 |   465221 |   440152 |     4068    249 |        0 |        0
149.87/149.96	c  147s |      19 |   470059 |   444482 |     4068    251 |        0 |        0
151.86/151.97	c  149s |      19 |   476200 |   450382 |     4068    254 |        0 |        0
153.96/154.00	c  151s |      19 |   481965 |   455682 |     4068    256 |        0 |        0
155.96/156.05	c  153s |      19 |   487104 |   460082 |     4068    258 |        0 |        0
157.96/158.08	c  155s |      19 |   491904 |   463982 |     4068    260 |        0 |        0
160.06/160.13	c  157s |      19 |   497125 |   468282 |     4068    262 |        0 |        0
162.07/162.14	c  159s |      19 |   501863 |   472582 |     4068    263 |        0 |        0
164.06/164.16	c  161s |      19 |   509363 |   479982 |     4068    267 |        0 |        0
166.06/166.16	c  163s |      19 |   516701 |   487182 |     4068    270 |        0 |        0
168.16/168.25	c  165s |      19 |   524194 |   494082 |     4068    273 |        0 |        0
170.16/170.27	c  167s |      19 |   527823 |   497182 |     4068    274 |        0 |        0
172.16/172.27	c  169s |      19 |   534780 |   503782 |     4068    277 |        0 |        0
174.17/174.28	c  171s |      19 |   540919 |   509682 |     4068    280 |        0 |        0
176.16/176.29	c  173s |      19 |   546246 |   514882 |     4068    282 |        0 |        0
178.26/178.32	c  175s |      19 |   552196 |   520682 |     4068    285 |        0 |        0
180.26/180.33	c  177s |      19 |   559194 |   527182 |     4068    287 |        0 |        0
182.26/182.35	c  179s |      19 |   566343 |   534082 |     4068    290 |        0 |        0
184.26/184.38	c  181s |      19 |   572289 |   539882 |     4068    293 |        0 |        0
186.36/186.40	c  183s |      19 |   580018 |   547282 |     4068    296 |        0 |        0
188.36/188.41	c  185s |      19 |   587312 |   554382 |     4068    299 |        0 |        0
190.36/190.42	c  187s |      19 |   594204 |   561082 |     4068    302 |        0 |        0
192.35/192.42	c  189s |      19 |   600789 |   567482 |     4068    305 |        0 |        0
194.35/194.43	c  191s |      19 |   607475 |   573982 |     4068    308 |        0 |        0
196.35/196.44	c  193s |      19 |   614495 |   580682 |     4068    311 |        0 |        0
198.36/198.45	c  195s |      19 |   620842 |   586782 |     4068    313 |        0 |        0
200.35/200.47	c  197s |      19 |   628224 |   593882 |     4068    316 |        0 |        0
202.45/202.50	c  199s |      19 |   635689 |   600782 |     4068    319 |        0 |        0
204.45/204.52	c  201s |      19 |   643100 |   607782 |     4068    323 |        0 |        0
206.45/206.53	c  204s |      19 |   650769 |   615182 |     4068    326 |        0 |        0
208.45/208.55	c  206s |      19 |   658257 |   622282 |     4068    329 |        0 |        0
210.46/210.58	c  208s |      19 |   664860 |   628582 |     4068    332 |        0 |        0
212.45/212.60	c  210s |      19 |   671700 |   635082 |     4068    334 |        0 |        0
214.55/214.61	c  212s |      19 |   678931 |   641582 |     4068    337 |        0 |        0
216.55/216.64	c  214s |      19 |   686074 |   648482 |     4068    340 |        0 |        0
218.55/218.67	c  216s |      19 |   692966 |   655182 |     4475    343 |        0 |        0
220.55/220.67	c  218s |      19 |   700222 |   662082 |     4475    346 |        0 |        0
222.15/222.22	c  219s |      20 |   705176 |   666827 |     4475    348 |        0 |        0
224.15/224.23	c  221s |      20 |   713791 |   675027 |     4475    351 |        0 |        0
226.15/226.24	c  223s |      20 |   720467 |   681527 |     4475    354 |        0 |        0
228.15/228.25	c  225s |      20 |   727268 |   688127 |     4475    356 |        0 |        0
230.16/230.27	c  227s |      20 |   733040 |   693727 |     4475    359 |        0 |        0
232.25/232.30	c  229s |      20 |   739379 |   699827 |     4475    361 |        0 |        0
234.25/234.30	c  231s |      20 |   745473 |   705727 |     4475    363 |        0 |        0
236.25/236.32	c  233s |      20 |   751583 |   711627 |     4475    366 |        0 |        0
238.25/238.35	c  235s |      20 |   758214 |   718127 |     4475    368 |        0 |        0
240.25/240.37	c  237s |      20 |   764502 |   724327 |     4475    371 |        0 |        0
242.25/242.38	c  239s |      20 |   771896 |   731527 |     4475    374 |        0 |        0
244.24/244.39	c  241s |      20 |   779169 |   738227 |     4475    376 |        0 |        0
246.34/246.42	c  243s |      20 |   785580 |   744327 |     4475    379 |        0 |        0
248.34/248.43	c  245s |      20 |   792214 |   750327 |     4475    381 |        0 |        0
250.35/250.46	c  247s |      20 |   798798 |   756527 |     4475    384 |        0 |        0
252.35/252.47	c  249s |      20 |   805087 |   762527 |     4475    386 |        0 |        0
254.36/254.47	c  251s |      20 |   811048 |   768327 |     4475    389 |        0 |        0
256.35/256.49	c  253s |      20 |   817184 |   774127 |     4475    391 |        0 |        0
258.45/258.51	c  255s |      20 |   823691 |   780427 |     4475    393 |        0 |        0
260.45/260.52	c  257s |      20 |   829868 |   786227 |     4475    396 |        0 |        0
262.45/262.56	c  260s |      20 |   836376 |   792227 |     4475    398 |        0 |        0
264.45/264.57	c  262s |      20 |   843056 |   798527 |     4475    401 |        0 |        0
266.45/266.60	c  264s |      20 |   849845 |   804927 |     4475    403 |        0 |        0
268.55/268.63	c  266s |      20 |   855998 |   810727 |     4475    406 |        0 |        0
270.54/270.65	c  268s |      20 |   862550 |   816927 |     4475    408 |        0 |        0
272.54/272.68	c  270s |      20 |   869044 |   823027 |     4475    411 |        0 |        0
274.54/274.68	c  272s |      20 |   875729 |   829427 |     4475    413 |        0 |        0
276.54/276.69	c  274s |      20 |   883022 |   836327 |     4475    416 |        0 |        0
278.65/278.73	c  276s |      20 |   889602 |   842427 |     4475    418 |        0 |        0
280.64/280.74	c  278s |      20 |   895622 |   848227 |     4475    421 |        0 |        0
282.64/282.76	c  280s |      20 |   902241 |   854627 |     4475    423 |        0 |        0
284.64/284.77	c  282s |      20 |   909058 |   861227 |     4475    426 |        0 |        0
286.64/286.77	c  284s |      20 |   915439 |   867327 |     4475    428 |        0 |        0
288.64/288.77	c  286s |      20 |   922295 |   873827 |     4475    431 |        0 |        0
290.64/290.80	c  288s |      20 |   928799 |   880027 |     4475    433 |        0 |        0
292.74/292.80	c  290s |      20 |   935443 |   886427 |     4475    436 |        0 |        0
294.74/294.83	c  292s |      20 |   942017 |   892527 |     4475    438 |        0 |        0
296.73/296.86	c  294s |      20 |   948592 |   898827 |     4475    441 |        0 |        0
298.83/298.90	c  296s |      20 |   954944 |   905027 |     4475    443 |        0 |        0
300.83/300.91	c  298s |      20 |   961090 |   911027 |     4475    446 |        0 |        0
302.85/302.94	c  300s |      20 |   967470 |   917127 |     4475    448 |        0 |        0
304.84/304.97	c  302s |      20 |   973840 |   923227 |     4475    451 |        0 |        0
306.83/306.98	c  304s |      20 |   980451 |   929527 |     4475    453 |        0 |        0
308.93/309.00	c  306s |      20 |   987087 |   935927 |     4475    456 |        0 |        0
310.93/311.00	c  308s |      20 |   993732 |   942227 |     4475    458 |        0 |        0
312.93/313.01	c  310s |      20 |   999893 |   948227 |     4475    461 |        0 |        0
314.94/315.01	c  312s |      20 |  1006503 |   954527 |     4475    463 |        0 |        0
316.93/317.02	c  314s |      20 |  1012747 |   960627 |     4475    466 |        0 |        0
318.93/319.03	c  316s |      20 |  1019645 |   967227 |     4475    468 |        0 |        0
320.93/321.06	c  318s |      20 |  1026352 |   973627 |     4475    471 |        0 |        0
323.03/323.11	c  320s |      20 |  1032984 |   979827 |     4475    474 |        0 |        0
325.02/325.11	c  322s |      20 |  1039238 |   985927 |     4923    476 |        0 |        0
327.03/327.12	c  324s |      20 |  1045195 |   991627 |     4923    478 |        0 |        0
329.02/329.14	c  326s |      20 |  1051508 |   997627 |     4923    480 |        0 |        0
329.82/329.92	c  327s |      21 |  1054446 |  1000345 |     4923    481 |        0 |        0
331.82/331.95	c  329s |      21 |  1061458 |  1007045 |     4923    484 |        0 |        0
333.82/333.96	c  331s |      21 |  1067589 |  1013045 |     4923    486 |        0 |        0
335.83/335.97	c  333s |      21 |  1073120 |  1018145 |     4923    488 |        0 |        0
337.81/337.99	c  335s |      21 |  1077039 |  1021645 |     4923    489 |        0 |        0
339.91/340.01	c  337s |      21 |  1080624 |  1024345 |     4923    490 |        0 |        0
341.91/342.03	c  339s |      21 |  1083496 |  1026045 |     4923    491 |        0 |        0
343.91/344.06	c  341s |      21 |  1088383 |  1030345 |     4923    492 |        0 |        0
345.91/346.08	c  343s |      21 |  1093553 |  1035245 |     4923    494 |        0 |        0
348.01/348.13	c  345s |      21 |  1099072 |  1040545 |     4923    496 |        0 |        0
350.02/350.19	c  347s |      21 |  1103205 |  1044345 |     4923    497 |        0 |        0
352.11/352.21	c  349s |      21 |  1106565 |  1047345 |     4923    498 |        0 |        0
354.11/354.22	c  351s |      21 |  1111765 |  1052345 |     4923    500 |        0 |        0
356.11/356.22	c  353s |      21 |  1116351 |  1056745 |     4923    502 |        0 |        0
358.11/358.23	c  355s |      21 |  1120564 |  1060745 |     4923    503 |        0 |        0
360.21/360.30	c  357s |      21 |  1125607 |  1065445 |     4923    505 |        0 |        0
362.31/362.43	c  359s |      21 |  1129848 |  1069445 |     4923    507 |        0 |        0
364.31/364.44	c  361s |      21 |  1134395 |  1073845 |     4923    508 |        0 |        0
366.30/366.45	c  363s |      21 |  1138008 |  1077245 |     4923    509 |        0 |        0
368.30/368.48	c  365s |      21 |  1142377 |  1081345 |     4923    511 |        0 |        0
370.40/370.53	c  368s |      21 |  1145575 |  1084245 |     4923    512 |        0 |        0
372.50/372.60	c  370s |      21 |  1149413 |  1087645 |     4923    513 |        0 |        0
374.50/374.60	c  372s |      21 |  1153223 |  1091245 |     4923    515 |        0 |        0
376.50/376.66	c  374s |      21 |  1157697 |  1095445 |     4923    516 |        0 |        0
378.50/378.66	c  376s |      21 |  1162826 |  1100445 |     4923    518 |        0 |        0
380.50/380.67	c  378s |      21 |  1167193 |  1104445 |     4923    519 |        0 |        0
382.49/382.68	c  380s |      21 |  1172073 |  1108945 |     4923    521 |        0 |        0
384.59/384.78	c  382s |      21 |  1177637 |  1114245 |     4923    523 |        0 |        0
386.69/386.81	c  384s |      21 |  1182330 |  1118745 |     4923    525 |        0 |        0
388.69/388.83	c  386s |      21 |  1186279 |  1122445 |     4923    526 |        0 |        0
390.71/390.88	c  388s |      21 |  1191699 |  1127645 |     4923    528 |        0 |        0
392.80/392.94	c  390s |      21 |  1195900 |  1131545 |     4923    529 |        0 |        0
394.80/394.96	c  392s |      21 |  1198845 |  1134145 |     4923    530 |        0 |        0
396.79/396.96	c  394s |      21 |  1202895 |  1137845 |     4923    532 |        0 |        0
398.79/398.99	c  396s |      21 |  1204932 |  1139545 |     4923    532 |        0 |        0
400.89/401.04	c  398s |      21 |  1211014 |  1144845 |     4923    534 |        0 |        0
402.90/403.04	c  400s |      21 |  1215592 |  1148645 |     4923    536 |        0 |        0
404.89/405.07	c  402s |      21 |  1220840 |  1153345 |     4923    537 |        0 |        0
406.89/407.09	c  404s |      21 |  1227188 |  1159345 |     4923    540 |        0 |        0
408.99/409.10	c  406s |      21 |  1233157 |  1164845 |     4923    542 |        0 |        0
410.99/411.11	c  408s |      21 |  1239830 |  1171045 |     4923    544 |        0 |        0
412.99/413.12	c  410s |      21 |  1246088 |  1177045 |     4923    546 |        0 |        0
414.99/415.12	c  412s |      21 |  1251867 |  1182545 |     4923    548 |        0 |        0
416.98/417.15	c  414s |      21 |  1258703 |  1188845 |     4923    550 |        0 |        0
418.98/419.19	c  416s |      21 |  1264696 |  1194245 |     4923    552 |        0 |        0
421.08/421.20	c  418s |      21 |  1271130 |  1200345 |     4923    555 |        0 |        0
423.08/423.21	c  420s |      21 |  1277548 |  1206545 |     4923    557 |        0 |        0
425.08/425.24	c  422s |      21 |  1284104 |  1212845 |     4923    559 |        0 |        0
427.08/427.24	c  424s |      21 |  1290817 |  1219345 |     4923    562 |        0 |        0
429.07/429.25	c  426s |      21 |  1297011 |  1225245 |     4923    564 |        0 |        0
431.07/431.27	c  428s |      21 |  1303360 |  1231345 |     4923    566 |        0 |        0
433.07/433.29	c  430s |      21 |  1309763 |  1237245 |     4923    568 |        0 |        0
435.17/435.31	c  432s |      21 |  1315920 |  1242845 |     4923    570 |        0 |        0
437.17/437.34	c  434s |      21 |  1322850 |  1249445 |     4923    573 |        0 |        0
439.17/439.35	c  436s |      21 |  1330067 |  1256245 |     4923    575 |        0 |        0
441.17/441.36	c  438s |      21 |  1337214 |  1263045 |     4923    578 |        0 |        0
443.17/443.37	c  440s |      21 |  1344146 |  1269545 |     4923    580 |        0 |        0
445.17/445.38	c  442s |      21 |  1350984 |  1276045 |     4923    583 |        0 |        0
447.26/447.41	c  444s |      21 |  1358074 |  1282845 |     4923    585 |        0 |        0
449.26/449.44	c  446s |      21 |  1364910 |  1289245 |     4923    587 |        0 |        0
451.27/451.44	c  448s |      21 |  1371626 |  1295745 |     4923    590 |        0 |        0
453.26/453.47	c  450s |      21 |  1378812 |  1302545 |     4923    592 |        0 |        0
455.26/455.49	c  452s |      21 |  1385426 |  1308745 |     4923    595 |        0 |        0
457.35/457.50	c  454s |      21 |  1392379 |  1315445 |     4923    597 |        0 |        0
459.35/459.55	c  457s |      21 |  1399163 |  1321845 |     4923    600 |        0 |        0
461.35/461.57	c  459s |      21 |  1405962 |  1328345 |     4923    602 |        0 |        0
463.36/463.59	c  461s |      21 |  1412332 |  1334445 |     4923    604 |        0 |        0
465.46/465.62	c  463s |      21 |  1418688 |  1340445 |     4923    606 |        0 |        0
467.46/467.64	c  465s |      21 |  1425559 |  1347045 |     4923    609 |        0 |        0
469.45/469.66	c  467s |      21 |  1432627 |  1353745 |     4923    611 |        0 |        0
471.45/471.68	c  469s |      21 |  1439233 |  1359845 |     4923    614 |        0 |        0
473.55/473.71	c  471s |      21 |  1446110 |  1366345 |     4923    616 |        0 |        0
475.55/475.74	c  473s |      21 |  1452879 |  1372745 |     4923    618 |        0 |        0
477.56/477.76	c  475s |      21 |  1459718 |  1379145 |     4923    621 |        0 |        0
479.55/479.78	c  477s |      21 |  1466328 |  1385445 |     4923    623 |        0 |        0
481.65/481.80	c  479s |      21 |  1472874 |  1391545 |     4923    625 |        0 |        0
483.65/483.80	c  481s |      21 |  1479320 |  1397745 |     4923    628 |        0 |        0
485.65/485.81	c  483s |      21 |  1486416 |  1404345 |     4923    630 |        0 |        0
487.64/487.82	c  485s |      21 |  1492597 |  1410345 |     4923    632 |        0 |        0
489.65/489.85	c  487s |      21 |  1498565 |  1415845 |     4923    634 |        0 |        0
491.64/491.88	c  489s |      21 |  1502201 |  1419345 |     4923    636 |        0 |        0
493.64/493.88	c  491s |      21 |  1507771 |  1424545 |     4923    637 |        0 |        0
495.74/495.90	c  493s |      21 |  1514028 |  1430445 |     4923    640 |        0 |        0
497.74/497.92	c  495s |      21 |  1520102 |  1436045 |     4923    642 |        0 |        0
499.74/499.96	c  497s |      21 |  1525138 |  1440745 |     4923    643 |        0 |        0
501.74/501.99	c  499s |      21 |  1529415 |  1444845 |     4923    645 |        0 |        0
503.84/504.01	c  501s |      21 |  1534000 |  1449245 |     4923    647 |        0 |        0
505.84/506.03	c  503s |      21 |  1539494 |  1454545 |     4923    648 |        0 |        0
507.83/508.09	c  505s |      21 |  1542690 |  1457645 |     4923    650 |        0 |        0
509.93/510.11	c  507s |      21 |  1546871 |  1461645 |     4923    651 |        0 |        0
511.93/512.13	c  509s |      21 |  1551632 |  1466145 |     4923    653 |        0 |        0
513.94/514.14	c  511s |      21 |  1557190 |  1471345 |     4923    655 |        0 |        0
515.93/516.17	c  513s |      21 |  1562406 |  1476145 |     4923    656 |        0 |        0
517.93/518.18	c  515s |      21 |  1567490 |  1480945 |     4923    658 |        0 |        0
520.03/520.21	c  517s |      21 |  1573093 |  1486245 |     5416    660 |        0 |        0
522.03/522.24	c  519s |      21 |  1579173 |  1492045 |     5416    662 |        0 |        0
524.03/524.24	c  521s |      21 |  1585508 |  1498045 |     5416    664 |        0 |        0
524.93/525.19	c  522s |      22 |  1588279 |  1500622 |     5416    665 |        0 |        0
527.03/527.22	c  524s |      22 |  1596249 |  1508222 |     5416    667 |        0 |        0
529.02/529.24	c  526s |      22 |  1603155 |  1514722 |     5416    669 |        0 |        0
531.02/531.24	c  528s |      22 |  1609146 |  1520522 |     5416    671 |        0 |        0
533.02/533.26	c  530s |      22 |  1615345 |  1526622 |     5416    673 |        0 |        0
535.02/535.28	c  532s |      22 |  1621171 |  1532322 |     5416    675 |        0 |        0
537.11/537.32	c  534s |      22 |  1626794 |  1537622 |     5416    677 |        0 |        0
539.12/539.33	c  536s |      22 |  1632058 |  1542722 |     5416    679 |        0 |        0
541.11/541.34	c  538s |      22 |  1636609 |  1547222 |     5416    680 |        0 |        0
543.12/543.35	c  540s |      22 |  1641666 |  1552222 |     5416    682 |        0 |        0
545.12/545.38	c  542s |      22 |  1647474 |  1557822 |     5416    684 |        0 |        0
547.12/547.39	c  544s |      22 |  1652904 |  1563122 |     5416    686 |        0 |        0
549.22/549.41	c  546s |      22 |  1658592 |  1568622 |     5416    688 |        0 |        0
551.23/551.43	c  548s |      22 |  1664639 |  1574622 |     5416    690 |        0 |        0
553.22/553.45	c  550s |      22 |  1670554 |  1580422 |     5416    692 |        0 |        0
555.22/555.46	c  552s |      22 |  1676114 |  1585822 |     5416    693 |        0 |        0
557.21/557.47	c  554s |      22 |  1682142 |  1591822 |     5416    695 |        0 |        0
559.21/559.48	c  556s |      22 |  1688288 |  1597822 |     5416    698 |        0 |        0
561.22/561.49	c  558s |      22 |  1694375 |  1603722 |     5416    700 |        0 |        0
563.32/563.51	c  560s |      22 |  1701080 |  1610222 |     5416    702 |        0 |        0
565.31/565.53	c  563s |      22 |  1707097 |  1616022 |     5416    704 |        0 |        0
567.30/567.54	c  565s |      22 |  1713538 |  1622222 |     5416    706 |        0 |        0
569.30/569.55	c  567s |      22 |  1719824 |  1628322 |     5416    708 |        0 |        0
571.30/571.56	c  569s |      22 |  1726076 |  1634422 |     5416    710 |        0 |        0
573.31/573.58	c  571s |      22 |  1731734 |  1640022 |     5416    712 |        0 |        0
575.30/575.60	c  573s |      22 |  1737333 |  1645522 |     5416    714 |        0 |        0
577.40/577.63	c  575s |      22 |  1743258 |  1651322 |     5416    716 |        0 |        0
579.40/579.68	c  577s |      22 |  1749195 |  1657022 |     5416    718 |        0 |        0
581.50/581.73	c  579s |      22 |  1754113 |  1661822 |     5416    719 |        0 |        0
583.50/583.75	c  581s |      22 |  1759200 |  1666722 |     5416    721 |        0 |        0
585.50/585.77	c  583s |      22 |  1765777 |  1673222 |     5416    723 |        0 |        0
587.50/587.80	c  585s |      22 |  1772392 |  1679722 |     5416    725 |        0 |        0
589.60/589.81	c  587s |      22 |  1778836 |  1685922 |     5416    727 |        0 |        0
591.60/591.84	c  589s |      22 |  1785134 |  1692122 |     5416    729 |        0 |        0
593.59/593.86	c  591s |      22 |  1791691 |  1698522 |     5416    732 |        0 |        0
595.59/595.87	c  593s |      22 |  1798034 |  1704722 |     5416    734 |        0 |        0
597.59/597.88	c  595s |      22 |  1804177 |  1710822 |     5416    736 |        0 |        0
599.60/599.89	c  597s |      22 |  1810927 |  1717422 |     5416    738 |        0 |        0
601.69/601.92	c  599s |      22 |  1817463 |  1723822 |     5416    740 |        0 |        0
603.69/603.92	c  601s |      22 |  1823964 |  1730222 |     5416    742 |        0 |        0
605.69/605.93	c  603s |      22 |  1830362 |  1736522 |     5416    744 |        0 |        0
607.69/607.95	c  605s |      22 |  1836568 |  1742622 |     5416    746 |        0 |        0
609.69/609.96	c  607s |      22 |  1842309 |  1748322 |     5416    748 |        0 |        0
611.69/611.98	c  609s |      22 |  1848886 |  1754722 |     5416    751 |        0 |        0
613.69/613.99	c  611s |      22 |  1855261 |  1761022 |     5416    753 |        0 |        0
615.69/616.00	c  613s |      22 |  1862141 |  1767822 |     5416    755 |        0 |        0
617.78/618.01	c  615s |      22 |  1868301 |  1773922 |     5416    757 |        0 |        0
619.78/620.03	c  617s |      22 |  1874625 |  1780122 |     5416    759 |        0 |        0
621.78/622.04	c  619s |      22 |  1880435 |  1785822 |     5416    761 |        0 |        0
623.78/624.06	c  621s |      22 |  1886580 |  1791822 |     5416    763 |        0 |        0
625.87/626.10	c  623s |      22 |  1892167 |  1797322 |     5416    765 |        0 |        0
627.87/628.11	c  625s |      22 |  1898572 |  1803622 |     5416    767 |        0 |        0
629.88/630.12	c  627s |      22 |  1904907 |  1809822 |     5416    769 |        0 |        0
631.88/632.15	c  629s |      22 |  1911161 |  1815922 |     5416    771 |        0 |        0
633.88/634.18	c  631s |      22 |  1916861 |  1821522 |     5416    773 |        0 |        0
635.88/636.20	c  633s |      22 |  1923247 |  1827622 |     5416    775 |        0 |        0
637.97/638.21	c  635s |      22 |  1928594 |  1832722 |     5416    777 |        0 |        0
639.97/640.24	c  637s |      22 |  1933763 |  1837722 |     5416    779 |        0 |        0
641.97/642.28	c  639s |      22 |  1938788 |  1842622 |     5416    780 |        0 |        0
643.97/644.29	c  641s |      22 |  1945079 |  1848622 |     5416    782 |        0 |        0
646.06/646.32	c  643s |      22 |  1950772 |  1854122 |     5416    784 |        0 |        0
648.07/648.34	c  645s |      22 |  1956374 |  1859522 |     5416    786 |        0 |        0
650.06/650.37	c  647s |      22 |  1962483 |  1865422 |     5416    788 |        0 |        0
652.16/652.40	c  649s |      22 |  1967796 |  1870622 |     5416    790 |        0 |        0
654.16/654.41	c  651s |      22 |  1973791 |  1876422 |     5416    792 |        0 |        0
656.16/656.41	c  653s |      22 |  1979450 |  1881822 |     5416    794 |        0 |        0
658.16/658.42	c  655s |      22 |  1984163 |  1886322 |     5416    795 |        0 |        0
660.16/660.44	c  657s |      22 |  1989187 |  1891022 |     5416    797 |        0 |        0
662.15/662.48	c  659s |      22 |  1994873 |  1896322 |     5416    798 |        0 |        0
664.25/664.52	c  661s |      22 |  2001119 |  1902322 |     5416    800 |        0 |        0
666.25/666.53	c  664s |      22 |  2006791 |  1907622 |     5416    802 |        0 |        0
668.25/668.54	c  666s |      22 |  2011883 |  1912422 |     5416    804 |        0 |        0
670.25/670.57	c  668s |      22 |  2018092 |  1918322 |     5416    806 |        0 |        0
672.25/672.58	c  670s |      22 |  2023036 |  1923122 |     5416    808 |        0 |        0
674.25/674.60	c  672s |      22 |  2029359 |  1929222 |     5416    810 |        0 |        0
676.34/676.62	c  674s |      22 |  2034571 |  1933922 |     5416    811 |        0 |        0
678.34/678.64	c  676s |      22 |  2040237 |  1939222 |     5416    813 |        0 |        0
680.34/680.65	c  678s |      22 |  2045315 |  1944022 |     5416    815 |        0 |        0
682.34/682.67	c  680s |      22 |  2050458 |  1948922 |     5416    816 |        0 |        0
684.35/684.68	c  682s |      22 |  2055521 |  1953822 |     5416    818 |        0 |        0
686.33/686.70	c  684s |      22 |  2061382 |  1959022 |     5416    820 |        0 |        0
688.43/688.76	c  686s |      22 |  2067545 |  1964022 |     5416    822 |        0 |        0
690.43/690.78	c  688s |      22 |  2072744 |  1968622 |     5416    823 |        0 |        0
692.53/692.82	c  690s |      22 |  2077887 |  1973322 |     5416    825 |        0 |        0
694.53/694.83	c  692s |      22 |  2083348 |  1978222 |     5416    826 |        0 |        0
696.53/696.85	c  694s |      22 |  2089259 |  1983622 |     5416    828 |        0 |        0
698.53/698.87	c  696s |      22 |  2095013 |  1988722 |     5416    830 |        0 |        0
700.52/700.88	c  698s |      22 |  2100255 |  1993022 |     5416    832 |        0 |        0
702.62/702.91	c  700s |      22 |  2105675 |  1997822 |     5416    833 |        0 |        0
704.62/704.92	c  702s |      22 |  2111541 |  2002622 |     5416    835 |        0 |        0
706.62/706.95	c  704s |      22 |  2116666 |  2007222 |     5416    836 |        0 |        0
708.63/708.95	c  706s |      22 |  2122771 |  2012322 |     5416    838 |        0 |        0
710.64/710.96	c  708s |      22 |  2128756 |  2017722 |     5416    840 |        0 |        0
712.63/712.96	c  710s |      22 |  2134501 |  2022822 |     5416    842 |        0 |        0
714.63/714.98	c  712s |      22 |  2139770 |  2027522 |     5416    843 |        0 |        0
716.63/716.99	c  714s |      22 |  2145023 |  2032522 |     5416    845 |        0 |        0
718.73/719.01	c  716s |      22 |  2150782 |  2038022 |     5416    847 |        0 |        0
720.73/721.05	c  718s |      22 |  2156133 |  2043122 |     5416    849 |        0 |        0
722.73/723.05	c  720s |      22 |  2162322 |  2049122 |     5416    851 |        0 |        0
724.72/725.09	c  722s |      22 |  2167756 |  2054322 |     5416    853 |        0 |        0
726.82/727.12	c  724s |      22 |  2172778 |  2059022 |     5416    854 |        0 |        0
728.82/729.15	c  726s |      22 |  2178089 |  2064222 |     5416    856 |        0 |        0
730.82/731.17	c  728s |      22 |  2183083 |  2069122 |     5416    858 |        0 |        0
732.82/733.19	c  730s |      22 |  2188308 |  2074122 |     5416    859 |        0 |        0
734.92/735.21	c  732s |      22 |  2193843 |  2079422 |     5416    861 |        0 |        0
736.92/737.24	c  734s |      22 |  2198390 |  2083822 |     5416    863 |        0 |        0
738.91/739.28	c  736s |      22 |  2203476 |  2088622 |     5416    864 |        0 |        0
741.01/741.30	c  738s |      22 |  2208447 |  2093322 |     5416    866 |        0 |        0
743.01/743.33	c  740s |      22 |  2213202 |  2097922 |     5416    868 |        0 |        0
745.01/745.35	c  742s |      22 |  2218652 |  2102922 |     5416    869 |        0 |        0
747.01/747.36	c  744s |      22 |  2223467 |  2107422 |     5416    871 |        0 |        0
749.01/749.37	c  746s |      22 |  2228947 |  2112622 |     5416    873 |        0 |        0
751.01/751.39	c  748s |      22 |  2233938 |  2117422 |     5416    874 |        0 |        0
753.11/753.43	c  750s |      22 |  2238831 |  2122222 |     5416    876 |        0 |        0
755.11/755.44	c  752s |      22 |  2244529 |  2127222 |     5416    878 |        0 |        0
757.10/757.46	c  754s |      22 |  2248951 |  2131322 |     5416    879 |        0 |        0
759.11/759.47	c  756s |      22 |  2254030 |  2136022 |     5416    881 |        0 |        0
761.21/761.53	c  759s |      22 |  2258937 |  2140522 |     5416    882 |        0 |        0
763.20/763.53	c  761s |      22 |  2263469 |  2144822 |     5416    884 |        0 |        0
765.20/765.57	c  763s |      22 |  2268670 |  2149722 |     5416    886 |        0 |        0
767.19/767.57	c  765s |      22 |  2274543 |  2155222 |     5416    887 |        0 |        0
769.19/769.59	c  767s |      22 |  2280519 |  2160922 |     5416    889 |        0 |        0
771.29/771.60	c  769s |      22 |  2286711 |  2166722 |     5416    891 |        0 |        0
773.30/773.62	c  771s |      22 |  2293176 |  2172822 |     5416    893 |        0 |        0
775.29/775.62	c  773s |      22 |  2299119 |  2178522 |     5416    895 |        0 |        0
777.28/777.65	c  775s |      22 |  2305084 |  2183922 |     5416    897 |        0 |        0
779.28/779.68	c  777s |      22 |  2311253 |  2189722 |     5416    899 |        0 |        0
781.38/781.71	c  779s |      22 |  2317056 |  2195122 |     5416    901 |        0 |        0
783.38/783.75	c  781s |      22 |  2323124 |  2200822 |     5416    903 |        0 |        0
785.39/785.79	c  783s |      22 |  2328484 |  2205822 |     5416    905 |        0 |        0
787.48/787.81	c  785s |      22 |  2334241 |  2211122 |     5416    907 |        0 |        0
789.48/789.86	c  787s |      22 |  2339975 |  2216422 |     5416    908 |        0 |        0
791.48/791.88	c  789s |      22 |  2345884 |  2221922 |     5416    910 |        0 |        0
793.57/793.90	c  791s |      22 |  2351729 |  2227522 |     5958    912 |        0 |        0
795.57/795.92	c  793s |      22 |  2357194 |  2232822 |     5958    914 |        0 |        0
797.58/797.95	c  795s |      22 |  2362485 |  2237722 |     5958    915 |        0 |        0
799.57/799.97	c  797s |      22 |  2368000 |  2242822 |     5958    917 |        0 |        0
801.57/801.99	c  799s |      22 |  2373017 |  2247522 |     5958    918 |        0 |        0
803.37/803.73	c  801s |      23 |  2376804 |  2251038 |     5958    920 |        0 |        0
805.38/805.76	c  803s |      23 |  2383638 |  2255238 |     5958    921 |        0 |        0
807.48/807.83	c  805s |      23 |  2389163 |  2260038 |     5958    922 |        0 |        0
809.47/809.86	c  807s |      23 |  2393071 |  2263638 |     5958    923 |        0 |        0
811.57/811.90	c  809s |      23 |  2397704 |  2267738 |     5958    925 |        0 |        0
813.57/813.90	c  811s |      23 |  2402516 |  2272438 |     5958    926 |        0 |        0
815.57/815.91	c  813s |      23 |  2407340 |  2276938 |     5958    928 |        0 |        0
817.56/817.96	c  815s |      23 |  2411350 |  2280738 |     5958    929 |        0 |        0
819.57/819.97	c  817s |      23 |  2414943 |  2284138 |     5958    930 |        0 |        0
821.56/821.98	c  819s |      23 |  2418145 |  2287138 |     5958    931 |        0 |        0
823.56/823.99	c  821s |      23 |  2423146 |  2291938 |     5958    932 |        0 |        0
825.56/825.99	c  823s |      23 |  2427088 |  2295638 |     5958    933 |        0 |        0
827.55/827.99	c  825s |      23 |  2431105 |  2299438 |     5958    935 |        0 |        0
829.65/830.02	c  827s |      23 |  2434562 |  2302838 |     5958    936 |        0 |        0
831.66/832.03	c  829s |      23 |  2439814 |  2307938 |     5958    937 |        0 |        0
833.65/834.04	c  831s |      23 |  2445222 |  2313238 |     5958    939 |        0 |        0
835.65/836.07	c  833s |      23 |  2449991 |  2317938 |     5958    940 |        0 |        0
837.75/838.11	c  835s |      23 |  2455092 |  2322938 |     5958    942 |        0 |        0
839.75/840.12	c  837s |      23 |  2460652 |  2328338 |     5958    944 |        0 |        0
841.75/842.12	c  839s |      23 |  2465883 |  2333338 |     5958    945 |        0 |        0
843.75/844.19	c  841s |      23 |  2470278 |  2337638 |     5958    946 |        0 |        0
845.85/846.23	c  843s |      23 |  2475201 |  2342438 |     5958    948 |        0 |        0
847.84/848.28	c  845s |      23 |  2478680 |  2345838 |     5958    949 |        0 |        0
849.94/850.31	c  847s |      23 |  2483051 |  2350138 |     5958    950 |        0 |        0
851.94/852.31	c  849s |      23 |  2487372 |  2354438 |     5958    952 |        0 |        0
853.94/854.34	c  851s |      23 |  2491222 |  2358138 |     5958    953 |        0 |        0
856.04/856.40	c  853s |      23 |  2495693 |  2362538 |     5958    954 |        0 |        0
858.04/858.41	c  855s |      23 |  2500365 |  2367138 |     5958    956 |        0 |        0
860.14/860.52	c  857s |      23 |  2503564 |  2370038 |     5958    957 |        0 |        0
862.14/862.55	c  860s |      23 |  2507352 |  2373538 |     5958    958 |        0 |        0
864.13/864.59	c  862s |      23 |  2511042 |  2376938 |     5958    959 |        0 |        0
866.23/866.61	c  864s |      23 |  2514834 |  2380438 |     5958    960 |        0 |        0
868.23/868.67	c  866s |      23 |  2518335 |  2383638 |     5958    961 |        0 |        0
870.33/870.71	c  868s |      23 |  2520945 |  2385938 |     5958    961 |        0 |        0
872.34/872.79	c  870s |      23 |  2524177 |  2389038 |     5958    962 |        0 |        0
874.44/874.85	c  872s |      23 |  2527029 |  2391838 |     5958    963 |        0 |        0
876.42/876.88	c  874s |      23 |  2529998 |  2394738 |     5958    964 |        0 |        0
878.52/878.91	c  876s |      23 |  2532971 |  2397638 |     5958    965 |        0 |        0
880.52/880.91	c  878s |      23 |  2535926 |  2400538 |     5958    966 |        0 |        0
882.52/882.93	c  880s |      23 |  2538717 |  2403238 |     5958    967 |        0 |        0
884.52/884.97	c  882s |      23 |  2541727 |  2406138 |     5958    968 |        0 |        0
886.62/887.02	c  884s |      23 |  2544488 |  2408838 |     5958    969 |        0 |        0
888.61/889.07	c  886s |      23 |  2547486 |  2411738 |     5958    970 |        0 |        0
890.61/891.07	c  888s |      23 |  2550247 |  2414438 |     5958    970 |        0 |        0
892.71/893.13	c  890s |      23 |  2553007 |  2417138 |     5958    971 |        0 |        0
894.71/895.14	c  892s |      23 |  2556674 |  2420538 |     5958    972 |        0 |        0
896.71/897.15	c  894s |      23 |  2560631 |  2424338 |     5958    973 |        0 |        0
898.71/899.17	c  896s |      23 |  2565029 |  2428338 |     5958    975 |        0 |        0
900.81/901.21	c  898s |      23 |  2569915 |  2433038 |     5958    976 |        0 |        0
902.81/903.25	c  900s |      23 |  2574155 |  2437138 |     5958    977 |        0 |        0
904.81/905.25	c  902s |      23 |  2579837 |  2442438 |     5958    979 |        0 |        0
906.80/907.28	c  904s |      23 |  2584678 |  2447038 |     5958    981 |        0 |        0
908.90/909.30	c  906s |      23 |  2590126 |  2451838 |     5958    982 |        0 |        0
910.90/911.33	c  908s |      23 |  2595219 |  2456538 |     5958    984 |        0 |        0
912.91/913.36	c  910s |      23 |  2600359 |  2461338 |     5958    985 |        0 |        0
914.90/915.36	c  912s |      23 |  2605320 |  2466038 |     5958    987 |        0 |        0
916.90/917.37	c  914s |      23 |  2609408 |  2469838 |     5958    988 |        0 |        0
918.90/919.39	c  916s |      23 |  2614617 |  2474638 |     5958    989 |        0 |        0
921.00/921.43	c  918s |      23 |  2619318 |  2479038 |     5958    991 |        0 |        0
922.99/923.44	c  920s |      23 |  2624126 |  2483638 |     5958    992 |        0 |        0
925.00/925.46	c  922s |      23 |  2629234 |  2488438 |     5958    994 |        0 |        0
926.99/927.48	c  924s |      23 |  2634290 |  2493238 |     5958    995 |        0 |        0
929.09/929.50	c  926s |      23 |  2639214 |  2497838 |     5958    996 |        0 |        0
931.09/931.52	c  928s |      23 |  2644245 |  2502438 |     5958    998 |        0 |        0
933.09/933.53	c  931s |      23 |  2649337 |  2507038 |     5958    999 |        0 |        0
935.09/935.56	c  933s |      23 |  2654203 |  2511538 |     5958   1001 |        0 |        0
937.09/937.59	c  935s |      23 |  2659166 |  2516338 |     5958   1002 |        0 |        0
939.19/939.60	c  937s |      23 |  2664010 |  2521038 |     5958   1004 |        0 |        0
941.19/941.65	c  939s |      23 |  2668968 |  2525738 |     5958   1005 |        0 |        0
943.18/943.68	c  941s |      23 |  2674448 |  2530938 |     5958   1007 |        0 |        0
945.28/945.72	c  943s |      23 |  2678965 |  2535038 |     5958   1008 |        0 |        0
947.28/947.72	c  945s |      23 |  2683561 |  2539338 |     5958   1010 |        0 |        0
949.29/949.76	c  947s |      23 |  2688942 |  2544438 |     5958   1011 |        0 |        0
951.39/951.81	c  949s |      23 |  2693497 |  2548838 |     5958   1013 |        0 |        0
953.38/953.83	c  951s |      23 |  2699179 |  2554238 |     5958   1014 |        0 |        0
955.38/955.88	c  953s |      23 |  2704450 |  2559138 |     5958   1016 |        0 |        0
957.48/957.90	c  955s |      23 |  2709169 |  2563738 |     5958   1017 |        0 |        0
959.48/959.92	c  957s |      23 |  2714117 |  2568538 |     5958   1019 |        0 |        0
961.48/961.94	c  959s |      23 |  2719079 |  2573238 |     5958   1020 |        0 |        0
963.49/963.96	c  961s |      23 |  2724542 |  2578338 |     5958   1022 |        0 |        0
965.48/965.98	c  963s |      23 |  2729458 |  2583038 |     5958   1023 |        0 |        0
967.58/968.00	c  965s |      23 |  2734503 |  2587838 |     5958   1025 |        0 |        0
969.58/970.02	c  967s |      23 |  2740035 |  2593238 |     5958   1026 |        0 |        0
971.58/972.04	c  969s |      23 |  2744975 |  2598038 |     5958   1028 |        0 |        0
973.58/974.05	c  971s |      23 |  2750043 |  2602738 |     5958   1029 |        0 |        0
975.59/976.09	c  973s |      23 |  2754842 |  2607438 |     5958   1031 |        0 |        0
977.68/978.10	c  975s |      23 |  2759496 |  2611838 |     5958   1032 |        0 |        0
979.68/980.14	c  977s |      23 |  2764218 |  2616038 |     5958   1034 |        0 |        0
981.68/982.17	c  979s |      23 |  2769180 |  2620538 |     5958   1035 |        0 |        0
983.79/984.20	c  981s |      23 |  2774815 |  2626038 |     5958   1037 |        0 |        0
985.79/986.22	c  983s |      23 |  2779725 |  2630438 |     5958   1038 |        0 |        0
987.79/988.28	c  985s |      23 |  2784519 |  2634738 |     5958   1039 |        0 |        0
989.78/990.28	c  987s |      23 |  2789312 |  2639038 |     5958   1041 |        0 |        0
991.78/992.29	c  989s |      23 |  2794093 |  2643238 |     5958   1042 |        0 |        0
993.78/994.30	c  991s |      23 |  2798568 |  2647338 |     5958   1043 |        0 |        0
995.88/996.30	c  993s |      23 |  2803033 |  2651238 |     5958   1045 |        0 |        0
997.88/998.31	c  995s |      23 |  2808306 |  2656338 |     5958   1046 |        0 |        0
999.89/1000.32	c  997s |      23 |  2813334 |  2660938 |     5958   1048 |        0 |        0
1001.88/1002.32	c  999s |      23 |  2818402 |  2665438 |     5958   1049 |        0 |        0
1003.88/1004.34	c 1001s |      23 |  2823730 |  2670138 |     5958   1051 |        0 |        0
1005.88/1006.35	c 1003s |      23 |  2828403 |  2674438 |     5958   1052 |        0 |        0
1007.88/1008.36	c 1005s |      23 |  2833528 |  2679438 |     5958   1054 |        0 |        0
1009.88/1010.37	c 1007s |      23 |  2839326 |  2685038 |     5958   1055 |        0 |        0
1011.98/1012.41	c 1009s |      23 |  2844259 |  2689438 |     5958   1057 |        0 |        0
1013.98/1014.42	c 1011s |      23 |  2850015 |  2694938 |     5958   1058 |        0 |        0
1015.98/1016.43	c 1013s |      23 |  2855552 |  2700038 |     5958   1060 |        0 |        0
1017.98/1018.44	c 1015s |      23 |  2860502 |  2704838 |     5958   1062 |        0 |        0
1019.98/1020.46	c 1017s |      23 |  2866135 |  2710138 |     5958   1063 |        0 |        0
1021.98/1022.49	c 1019s |      23 |  2870855 |  2714738 |     5958   1065 |        0 |        0
1024.08/1024.52	c 1021s |      23 |  2875949 |  2719638 |     5958   1066 |        0 |        0
1026.08/1026.53	c 1024s |      23 |  2881381 |  2724938 |     5958   1068 |        0 |        0
1028.07/1028.54	c 1026s |      23 |  2886796 |  2730238 |     5958   1070 |        0 |        0
1030.07/1030.55	c 1028s |      23 |  2892611 |  2735538 |     5958   1071 |        0 |        0
1032.07/1032.58	c 1030s |      23 |  2897824 |  2740438 |     5958   1073 |        0 |        0
1034.07/1034.59	c 1032s |      23 |  2903309 |  2745738 |     5958   1074 |        0 |        0
1036.18/1036.61	c 1034s |      23 |  2908527 |  2750438 |     5958   1076 |        0 |        0
1038.17/1038.62	c 1036s |      23 |  2913189 |  2754938 |     5958   1077 |        0 |        0
1040.17/1040.66	c 1038s |      23 |  2918216 |  2759538 |     5958   1079 |        0 |        0
1042.17/1042.67	c 1040s |      23 |  2923442 |  2764338 |     5958   1080 |        0 |        0
1044.17/1044.67	c 1042s |      23 |  2928076 |  2768738 |     5958   1082 |        0 |        0
1046.27/1046.71	c 1044s |      23 |  2933275 |  2773538 |     5958   1083 |        0 |        0
1048.28/1048.71	c 1046s |      23 |  2938347 |  2778338 |     5958   1085 |        0 |        0
1050.27/1050.74	c 1048s |      23 |  2943930 |  2783538 |     5958   1086 |        0 |        0
1052.27/1052.75	c 1050s |      23 |  2949116 |  2788338 |     5958   1088 |        0 |        0
1054.27/1054.77	c 1052s |      23 |  2953998 |  2792738 |     5958   1089 |        0 |        0
1056.27/1056.79	c 1054s |      23 |  2958660 |  2797138 |     5958   1091 |        0 |        0
1058.37/1058.80	c 1056s |      23 |  2963576 |  2801638 |     5958   1092 |        0 |        0
1060.37/1060.84	c 1058s |      23 |  2968874 |  2806538 |     5958   1093 |        0 |        0
1062.37/1062.85	c 1060s |      23 |  2973922 |  2811038 |     5958   1095 |        0 |        0
1064.37/1064.89	c 1062s |      23 |  2979092 |  2815638 |     5958   1096 |        0 |        0
1066.46/1066.90	c 1064s |      23 |  2983700 |  2819938 |     5958   1098 |        0 |        0
1068.46/1068.90	c 1066s |      23 |  2988943 |  2824938 |     5958   1099 |        0 |        0
1070.46/1070.91	c 1068s |      23 |  2993407 |  2829138 |     5958   1101 |        0 |        0
1072.47/1072.92	c 1070s |      23 |  2999214 |  2834538 |     5958   1102 |        0 |        0
1074.46/1074.93	c 1072s |      23 |  3004343 |  2839038 |     5958   1104 |        0 |        0
1076.46/1076.99	c 1074s |      23 |  3008894 |  2843238 |     5958   1105 |        0 |        0
1078.56/1079.01	c 1076s |      23 |  3013268 |  2847438 |     5958   1106 |        0 |        0
1080.56/1081.03	c 1078s |      23 |  3017622 |  2851538 |     5958   1108 |        0 |        0
1082.56/1083.04	c 1080s |      23 |  3022900 |  2856538 |     5958   1109 |        0 |        0
1084.57/1085.06	c 1082s |      23 |  3027389 |  2860738 |     5958   1111 |        0 |        0
1086.56/1087.08	c 1084s |      23 |  3033174 |  2866338 |     5958   1112 |        0 |        0
1088.57/1089.09	c 1086s |      23 |  3037920 |  2870938 |     5958   1114 |        0 |        0
1090.67/1091.10	c 1088s |      23 |  3043201 |  2876038 |     5958   1115 |        0 |        0
1092.67/1093.13	c 1090s |      23 |  3047871 |  2880638 |     5958   1117 |        0 |        0
1094.67/1095.14	c 1092s |      23 |  3052999 |  2885538 |     5958   1118 |        0 |        0
1096.67/1097.17	c 1094s |      23 |  3057724 |  2889838 |     5958   1120 |        0 |        0
1098.77/1099.21	c 1096s |      23 |  3063019 |  2894838 |     5958   1121 |        0 |        0
1100.77/1101.22	c 1098s |      23 |  3067250 |  2898838 |     5958   1122 |        0 |        0
1102.77/1103.22	c 1100s |      23 |  3071964 |  2903438 |     5958   1124 |        0 |        0
1104.77/1105.23	c 1102s |      23 |  3076749 |  2908038 |     5958   1125 |        0 |        0
1106.76/1107.23	c 1104s |      23 |  3081215 |  2912338 |     5958   1127 |        0 |        0
1108.77/1109.25	c 1106s |      23 |  3086415 |  2917138 |     5958   1128 |        0 |        0
1110.76/1111.26	c 1108s |      23 |  3091113 |  2921638 |     5958   1130 |        0 |        0
1112.76/1113.28	c 1110s |      23 |  3096164 |  2926238 |     5958   1131 |        0 |        0
1114.86/1115.30	c 1112s |      23 |  3101155 |  2930838 |     5958   1133 |        0 |        0
1116.86/1117.33	c 1114s |      23 |  3106681 |  2935838 |     5958   1134 |        0 |        0
1118.96/1119.40	c 1116s |      23 |  3111761 |  2940338 |     5958   1136 |        0 |        0
1120.96/1121.42	c 1118s |      23 |  3117001 |  2945238 |     5958   1137 |        0 |        0
1122.97/1123.46	c 1120s |      23 |  3122111 |  2949938 |     5958   1139 |        0 |        0
1124.96/1125.49	c 1122s |      23 |  3127032 |  2954638 |     5958   1140 |        0 |        0
1127.06/1127.51	c 1124s |      23 |  3132200 |  2959338 |     5958   1141 |        0 |        0
1129.06/1129.51	c 1126s |      23 |  3138133 |  2964838 |     5958   1143 |        0 |        0
1131.06/1131.55	c 1129s |      23 |  3143351 |  2969738 |     5958   1145 |        0 |        0
1133.06/1133.57	c 1131s |      23 |  3148260 |  2974538 |     5958   1146 |        0 |        0
1135.07/1135.60	c 1133s |      23 |  3153582 |  2979638 |     5958   1148 |        0 |        0
1137.16/1137.61	c 1135s |      23 |  3158441 |  2984138 |     5958   1149 |        0 |        0
1139.16/1139.61	c 1137s |      23 |  3163251 |  2988738 |     5958   1151 |        0 |        0
1141.16/1141.62	c 1139s |      23 |  3168078 |  2993438 |     5958   1152 |        0 |        0
1143.16/1143.63	c 1141s |      23 |  3173652 |  2998738 |     5958   1154 |        0 |        0
1145.16/1145.64	c 1143s |      23 |  3178829 |  3003738 |     5958   1155 |        0 |        0
1147.16/1147.66	c 1145s |      23 |  3184194 |  3008938 |     5958   1157 |        0 |        0
1149.16/1149.67	c 1147s |      23 |  3189217 |  3013838 |     5958   1159 |        0 |        0
1151.26/1151.71	c 1149s |      23 |  3194504 |  3018938 |     5958   1160 |        0 |        0
1153.25/1153.75	c 1151s |      23 |  3199504 |  3023838 |     5958   1162 |        0 |        0
1155.25/1155.79	c 1153s |      23 |  3204247 |  3028538 |     5958   1163 |        0 |        0
1157.35/1157.80	c 1155s |      23 |  3210007 |  3034138 |     5958   1165 |        0 |        0
1159.36/1159.84	c 1157s |      23 |  3214943 |  3038538 |     5958   1166 |        0 |        0
1161.35/1161.85	c 1159s |      23 |  3219504 |  3042638 |     5958   1168 |        0 |        0
1163.35/1163.89	c 1161s |      23 |  3223811 |  3046738 |     5958   1169 |        0 |        0
1165.45/1165.90	c 1163s |      23 |  3228919 |  3051538 |     5958   1170 |        0 |        0
1167.45/1167.92	c 1165s |      23 |  3234303 |  3056738 |     5958   1172 |        0 |        0
1169.45/1169.94	c 1167s |      23 |  3239374 |  3061438 |     5958   1173 |        0 |        0
1171.46/1171.96	c 1169s |      23 |  3244337 |  3065838 |     5958   1175 |        0 |        0
1173.45/1173.98	c 1171s |      23 |  3249036 |  3070338 |     5958   1176 |        0 |        0
1175.45/1175.99	c 1173s |      23 |  3254574 |  3075638 |     5958   1178 |        0 |        0
1177.55/1178.05	c 1175s |      23 |  3259218 |  3080038 |     5958   1179 |        0 |        0
1179.55/1180.07	c 1177s |      23 |  3264291 |  3084638 |     5958   1181 |        0 |        0
1181.55/1182.07	c 1179s |      23 |  3269565 |  3089538 |     5958   1182 |        0 |        0
1183.65/1184.10	c 1181s |      23 |  3274724 |  3094238 |     5958   1184 |        0 |        0
1185.66/1186.14	c 1183s |      23 |  3279811 |  3098938 |     5958   1185 |        0 |        0
1187.65/1188.18	c 1185s |      23 |  3285455 |  3104138 |     5958   1187 |        0 |        0
1189.75/1190.22	c 1187s |      23 |  3290305 |  3108738 |     5958   1188 |        0 |        0
1191.75/1192.22	c 1189s |      23 |  3294700 |  3112938 |     5958   1190 |        0 |        0
1193.75/1194.22	c 1191s |      23 |  3299562 |  3117638 |     5958   1191 |        0 |        0
1195.75/1196.27	c 1193s |      23 |  3304496 |  3122038 |     5958   1193 |        0 |        0
1197.85/1198.31	c 1195s |      23 |  3309851 |  3126938 |     5958   1194 |        0 |        0
1199.85/1200.33	c 1197s |      23 |  3314656 |  3131338 |     5958   1195 |        0 |        0
1201.85/1202.36	c 1199s |      23 |  3319788 |  3136138 |     5958   1197 |        0 |        0
1203.85/1204.38	c 1201s |      23 |  3324971 |  3140838 |     5958   1198 |        0 |        0
1205.95/1206.42	c 1203s |      23 |  3330345 |  3145838 |     5958   1200 |        0 |        0
1207.95/1208.45	c 1205s |      23 |  3335411 |  3150538 |     5958   1201 |        0 |        0
1209.95/1210.45	c 1207s |      23 |  3340284 |  3155038 |     5958   1203 |        0 |        0
1211.94/1212.48	c 1209s |      23 |  3345307 |  3159838 |     5958   1204 |        0 |        0
1214.04/1214.52	c 1211s |      23 |  3350497 |  3164538 |     5958   1206 |        0 |        0
1216.04/1216.53	c 1214s |      23 |  3356266 |  3170038 |     5958   1208 |        0 |        0
1218.04/1218.56	c 1216s |      23 |  3361964 |  3175538 |     5958   1209 |        0 |        0
1220.04/1220.57	c 1218s |      23 |  3366904 |  3180238 |     5958   1211 |        0 |        0
1222.05/1222.57	c 1220s |      23 |  3372848 |  3185938 |     5958   1213 |        0 |        0
1224.04/1224.59	c 1222s |      23 |  3378450 |  3191238 |     5958   1214 |        0 |        0
1226.14/1226.60	c 1224s |      23 |  3383698 |  3196138 |     5958   1216 |        0 |        0
1228.14/1228.64	c 1226s |      23 |  3388254 |  3200438 |     5958   1217 |        0 |        0
1230.14/1230.65	c 1228s |      23 |  3392744 |  3204738 |     5958   1219 |        0 |        0
1232.14/1232.67	c 1230s |      23 |  3397901 |  3209138 |     5958   1220 |        0 |        0
1234.15/1234.69	c 1232s |      23 |  3402883 |  3213538 |     5958   1221 |        0 |        0
1236.25/1236.71	c 1234s |      23 |  3408180 |  3218438 |     5958   1223 |        0 |        0
1238.24/1238.72	c 1236s |      23 |  3412322 |  3222038 |     5958   1224 |        0 |        0
1240.24/1240.73	c 1238s |      23 |  3416008 |  3225338 |     5958   1225 |        0 |        0
1242.24/1242.77	c 1240s |      23 |  3420784 |  3229838 |     5958   1226 |        0 |        0
1244.24/1244.77	c 1242s |      23 |  3425020 |  3233738 |     5958   1228 |        0 |        0
1246.24/1246.78	c 1244s |      23 |  3428979 |  3237538 |     5958   1229 |        0 |        0
1248.35/1248.86	c 1246s |      23 |  3433580 |  3241838 |     5958   1230 |        0 |        0
1250.44/1250.92	c 1248s |      23 |  3437830 |  3245738 |     5958   1231 |        0 |        0
1252.44/1252.94	c 1250s |      23 |  3441866 |  3249538 |     5958   1232 |        0 |        0
1254.44/1254.99	c 1252s |      23 |  3445616 |  3253038 |     5958   1234 |        0 |        0
1256.54/1257.00	c 1254s |      23 |  3450288 |  3257638 |     5958   1235 |        0 |        0
1258.54/1259.03	c 1256s |      23 |  3454367 |  3261238 |     5958   1236 |        0 |        0
1260.55/1261.07	c 1258s |      23 |  3458275 |  3264838 |     5958   1237 |        0 |        0
1262.54/1263.07	c 1260s |      23 |  3462728 |  3268538 |     5958   1238 |        0 |        0
1264.54/1265.09	c 1262s |      23 |  3466807 |  3272438 |     5958   1240 |        0 |        0
1266.64/1267.12	c 1264s |      23 |  3472310 |  3277538 |     5958   1241 |        0 |        0
1268.64/1269.15	c 1266s |      23 |  3477650 |  3282438 |     5958   1243 |        0 |        0
1270.64/1271.16	c 1268s |      23 |  3482414 |  3286938 |     5958   1244 |        0 |        0
1272.64/1273.18	c 1270s |      23 |  3486895 |  3291338 |     5958   1246 |        0 |        0
1274.74/1275.21	c 1272s |      23 |  3491979 |  3296038 |     5958   1247 |        0 |        0
1276.74/1277.23	c 1274s |      23 |  3497533 |  3301338 |     5958   1249 |        0 |        0
1278.74/1279.25	c 1276s |      23 |  3502618 |  3306238 |     5958   1250 |        0 |        0
1280.74/1281.28	c 1278s |      23 |  3508210 |  3311638 |     5958   1252 |        0 |        0
1282.84/1283.31	c 1280s |      23 |  3512592 |  3315738 |     5958   1253 |        0 |        0
1284.83/1285.35	c 1282s |      23 |  3516770 |  3319838 |     5958   1254 |        0 |        0
1286.84/1287.37	c 1284s |      23 |  3522083 |  3325038 |     5958   1256 |        0 |        0
1288.83/1289.39	c 1286s |      23 |  3525500 |  3327738 |     5958   1257 |        0 |        0
1290.83/1291.39	c 1288s |      23 |  3528364 |  3330338 |     5958   1258 |        0 |        0
1292.93/1293.42	c 1290s |      23 |  3531857 |  3333438 |     5958   1259 |        0 |        0
1294.93/1295.42	c 1292s |      23 |  3535603 |  3336738 |     5958   1260 |        0 |        0
1296.93/1297.45	c 1294s |      23 |  3540854 |  3341738 |     5958   1261 |        0 |        0
1298.94/1299.49	c 1296s |      23 |  3545752 |  3346338 |     6554   1262 |        0 |        0
1301.03/1301.51	c 1298s |      23 |  3550349 |  3350738 |     6554   1264 |        0 |        0
1303.03/1303.55	c 1301s |      23 |  3555243 |  3355438 |     6554   1265 |        0 |        0
1305.03/1305.58	c 1303s |      23 |  3560021 |  3360138 |     6554   1266 |        0 |        0
1307.13/1307.60	c 1305s |      23 |  3564453 |  3364238 |     6554   1268 |        0 |        0
1309.13/1309.62	c 1307s |      23 |  3569170 |  3368638 |     6554   1269 |        0 |        0
1311.14/1311.65	c 1309s |      23 |  3573189 |  3372538 |     6554   1270 |        0 |        0
1313.13/1313.67	c 1311s |      23 |  3577604 |  3376638 |     6554   1271 |        0 |        0
1313.13/1313.68	c 1311s |      24 |  3577626 |  3376662 |     6554   1271 |        0 |        0
1315.23/1315.71	c 1313s |      24 |  3584869 |  3383362 |     6554   1273 |        0 |        0
1317.23/1317.72	c 1315s |      24 |  3589715 |  3388062 |     6554   1274 |        0 |        0
1319.23/1319.73	c 1317s |      24 |  3594107 |  3392262 |     6554   1276 |        0 |        0
1321.23/1321.77	c 1319s |      24 |  3599870 |  3397462 |     6554   1277 |        0 |        0
1323.24/1323.78	c 1321s |      24 |  3604368 |  3401662 |     6554   1278 |        0 |        0
1325.23/1325.79	c 1323s |      24 |  3609222 |  3406062 |     6554   1280 |        0 |        0
1327.33/1327.82	c 1325s |      24 |  3614205 |  3410662 |     6554   1281 |        0 |        0
1329.33/1329.85	c 1327s |      24 |  3619232 |  3415262 |     6554   1282 |        0 |        0
1331.43/1331.90	c 1329s |      24 |  3624013 |  3419662 |     6554   1283 |        0 |        0
1333.43/1333.92	c 1331s |      24 |  3629393 |  3424862 |     6554   1285 |        0 |        0
1335.43/1335.97	c 1333s |      24 |  3634473 |  3429762 |     6554   1286 |        0 |        0
1337.44/1338.00	c 1335s |      24 |  3638923 |  3433962 |     6554   1288 |        0 |        0
1339.53/1340.03	c 1337s |      24 |  3643787 |  3438662 |     6554   1289 |        0 |        0
1341.53/1342.06	c 1339s |      24 |  3648996 |  3443362 |     6554   1290 |        0 |        0
1343.53/1344.08	c 1341s |      24 |  3653514 |  3447662 |     6554   1291 |        0 |        0
1345.63/1346.11	c 1343s |      24 |  3657597 |  3451362 |     6554   1293 |        0 |        0
1347.63/1348.12	c 1345s |      24 |  3662328 |  3455462 |     6554   1294 |        0 |        0
1349.64/1350.15	c 1347s |      24 |  3667173 |  3459762 |     6554   1295 |        0 |        0
1351.63/1352.18	c 1349s |      24 |  3672314 |  3464462 |     6554   1296 |        0 |        0
1353.63/1354.19	c 1351s |      24 |  3676935 |  3468762 |     6554   1297 |        0 |        0
1355.73/1356.21	c 1353s |      24 |  3681862 |  3473262 |     6554   1299 |        0 |        0
1357.73/1358.21	c 1355s |      24 |  3686786 |  3478062 |     6554   1300 |        0 |        0
1359.73/1360.26	c 1357s |      24 |  3691372 |  3482362 |     6554   1301 |        0 |        0
1361.73/1362.28	c 1359s |      24 |  3696478 |  3486862 |     6554   1303 |        0 |        0
1363.83/1364.32	c 1361s |      24 |  3701019 |  3491162 |     6554   1304 |        0 |        0
1365.82/1366.35	c 1363s |      24 |  3706101 |  3495962 |     6554   1305 |        0 |        0
1367.92/1368.42	c 1365s |      24 |  3710700 |  3500362 |     6554   1307 |        0 |        0
1369.92/1370.45	c 1367s |      24 |  3716236 |  3505562 |     6554   1308 |        0 |        0
1371.92/1372.48	c 1369s |      24 |  3721726 |  3510762 |     6554   1309 |        0 |        0
1373.92/1374.50	c 1371s |      24 |  3727342 |  3515862 |     6554   1311 |        0 |        0
1376.03/1376.51	c 1373s |      24 |  3732353 |  3520562 |     6554   1312 |        0 |        0
1378.02/1378.52	c 1375s |      24 |  3737899 |  3525962 |     6554   1314 |        0 |        0
1380.02/1380.52	c 1377s |      24 |  3744540 |  3532462 |     6554   1316 |        0 |        0
1382.02/1382.54	c 1380s |      24 |  3750609 |  3538462 |     6554   1317 |        0 |        0
1384.02/1384.54	c 1382s |      24 |  3756089 |  3543862 |     6554   1319 |        0 |        0
1386.02/1386.59	c 1384s |      24 |  3761402 |  3549062 |     6554   1320 |        0 |        0
1388.13/1388.61	c 1386s |      24 |  3767508 |  3555062 |     6554   1322 |        0 |        0
1390.12/1390.62	c 1388s |      24 |  3773004 |  3560462 |     6554   1324 |        0 |        0
1392.12/1392.62	c 1390s |      24 |  3778999 |  3566362 |     6554   1325 |        0 |        0
1394.12/1394.63	c 1392s |      24 |  3784398 |  3571662 |     6554   1327 |        0 |        0
1396.12/1396.66	c 1394s |      24 |  3789788 |  3576862 |     6554   1328 |        0 |        0
1398.12/1398.67	c 1396s |      24 |  3795287 |  3582262 |     6554   1330 |        0 |        0
1400.12/1400.67	c 1398s |      24 |  3800540 |  3587462 |     6554   1331 |        0 |        0
1402.22/1402.70	c 1400s |      24 |  3805998 |  3592862 |     6554   1333 |        0 |        0
1404.22/1404.72	c 1402s |      24 |  3811545 |  3598362 |     6554   1334 |        0 |        0
1406.22/1406.73	c 1404s |      24 |  3817032 |  3603762 |     6554   1336 |        0 |        0
1408.21/1408.75	c 1406s |      24 |  3822335 |  3608962 |     6554   1337 |        0 |        0
1410.21/1410.78	c 1408s |      24 |  3827826 |  3614362 |     6554   1339 |        0 |        0
1412.22/1412.79	c 1410s |      24 |  3833408 |  3619862 |     6554   1340 |        0 |        0
1414.31/1414.82	c 1412s |      24 |  3839061 |  3625462 |     6554   1342 |        0 |        0
1416.31/1416.84	c 1414s |      24 |  3844446 |  3630662 |     6554   1343 |        0 |        0
1418.32/1418.85	c 1416s |      24 |  3850102 |  3636162 |     6554   1345 |        0 |        0
1420.32/1420.86	c 1418s |      24 |  3854613 |  3640562 |     6554   1346 |        0 |        0
1422.42/1422.90	c 1420s |      24 |  3859215 |  3645062 |     6554   1348 |        0 |        0
1424.32/1424.90	c 1422s |      24 |  3864927 |  3650362 |     6554   1349 |        0 |        0
1426.42/1426.91	c 1424s |      24 |  3870576 |  3655562 |     6554   1351 |        0 |        0
1428.42/1428.94	c 1426s |      24 |  3875692 |  3660062 |     6554   1352 |        0 |        0
1430.42/1430.94	c 1428s |      24 |  3880841 |  3664862 |     6554   1353 |        0 |        0
1432.42/1432.97	c 1430s |      24 |  3885508 |  3669262 |     6554   1354 |        0 |        0
1434.42/1434.99	c 1432s |      24 |  3891024 |  3674362 |     6554   1356 |        0 |        0
1436.52/1437.04	c 1434s |      24 |  3896324 |  3679162 |     6554   1357 |        0 |        0
1438.51/1439.04	c 1436s |      24 |  3900859 |  3683462 |     6554   1358 |        0 |        0
1440.51/1441.07	c 1438s |      24 |  3904664 |  3687162 |     6554   1360 |        0 |        0
1442.51/1443.08	c 1440s |      24 |  3910326 |  3692262 |     6554   1361 |        0 |        0
1444.51/1445.09	c 1442s |      24 |  3914832 |  3696562 |     6554   1362 |        0 |        0
1446.51/1447.09	c 1444s |      24 |  3919023 |  3700662 |     6554   1363 |        0 |        0
1448.62/1449.17	c 1446s |      24 |  3923625 |  3705062 |     6554   1365 |        0 |        0
1450.61/1451.18	c 1448s |      24 |  3927779 |  3709062 |     6554   1366 |        0 |        0
1452.71/1453.23	c 1450s |      24 |  3932612 |  3713762 |     6554   1367 |        0 |        0
1454.71/1455.26	c 1452s |      24 |  3938687 |  3719462 |     6554   1369 |        0 |        0
1456.71/1457.28	c 1454s |      24 |  3944253 |  3724662 |     6554   1370 |        0 |        0
1458.81/1459.33	c 1456s |      24 |  3949083 |  3729262 |     6554   1371 |        0 |        0
1460.81/1461.34	c 1458s |      24 |  3954029 |  3733862 |     6554   1373 |        0 |        0
1462.82/1463.35	c 1460s |      24 |  3958768 |  3738362 |     6554   1374 |        0 |        0
1464.81/1465.38	c 1462s |      24 |  3963395 |  3742762 |     6554   1375 |        0 |        0
1466.91/1467.41	c 1464s |      24 |  3968769 |  3747762 |     6554   1377 |        0 |        0
1468.91/1469.43	c 1466s |      24 |  3973522 |  3752262 |     6554   1378 |        0 |        0
1470.91/1471.45	c 1468s |      24 |  3978889 |  3757362 |     6554   1379 |        0 |        0
1472.91/1473.46	c 1470s |      24 |  3984053 |  3762262 |     6554   1381 |        0 |        0
1474.91/1475.47	c 1472s |      24 |  3989142 |  3767262 |     6554   1382 |        0 |        0
1476.90/1477.48	c 1474s |      24 |  3994124 |  3772062 |     6554   1384 |        0 |        0
1479.00/1479.50	c 1476s |      24 |  3999569 |  3777162 |     6554   1385 |        0 |        0
1481.00/1481.52	c 1478s |      24 |  4003990 |  3781262 |     6554   1386 |        0 |        0
1483.00/1483.54	c 1481s |      24 |  4009262 |  3786162 |     6554   1388 |        0 |        0
1485.00/1485.57	c 1483s |      24 |  4014241 |  3790762 |     6554   1389 |        0 |        0
1487.01/1487.60	c 1485s |      24 |  4018668 |  3794962 |     6554   1390 |        0 |        0
1489.10/1489.63	c 1487s |      24 |  4023288 |  3799362 |     6554   1391 |        0 |        0
1491.10/1491.66	c 1489s |      24 |  4027674 |  3803662 |     6554   1393 |        0 |        0
1493.20/1493.72	c 1491s |      24 |  4033244 |  3809062 |     6554   1394 |        0 |        0
1495.21/1495.75	c 1493s |      24 |  4037669 |  3813362 |     6554   1395 |        0 |        0
1497.21/1497.76	c 1495s |      24 |  4043214 |  3818762 |     6554   1397 |        0 |        0
1499.31/1499.80	c 1497s |      24 |  4047616 |  3823062 |     6554   1398 |        0 |        0
1501.31/1501.85	c 1499s |      24 |  4052478 |  3827862 |     6554   1400 |        0 |        0
1503.31/1503.87	c 1501s |      24 |  4057614 |  3832862 |     6554   1401 |        0 |        0
1505.31/1505.88	c 1503s |      24 |  4063184 |  3838162 |     6554   1402 |        0 |        0
1507.41/1507.90	c 1505s |      24 |  4068716 |  3843362 |     6554   1404 |        0 |        0
1509.41/1509.91	c 1507s |      24 |  4074211 |  3848562 |     6554   1405 |        0 |        0
1511.41/1511.96	c 1509s |      24 |  4079357 |  3853362 |     6554   1407 |        0 |        0
1513.41/1513.99	c 1511s |      24 |  4085184 |  3858562 |     6554   1408 |        0 |        0
1515.40/1515.99	c 1513s |      24 |  4090548 |  3863462 |     6554   1410 |        0 |        0
1517.50/1518.00	c 1515s |      24 |  4096056 |  3868562 |     6554   1411 |        0 |        0
1519.50/1520.01	c 1517s |      24 |  4101500 |  3873662 |     6554   1413 |        0 |        0
1521.50/1522.05	c 1519s |      24 |  4106527 |  3878262 |     6554   1414 |        0 |        0
1523.50/1524.07	c 1521s |      24 |  4111594 |  3883062 |     6554   1415 |        0 |        0
1525.51/1526.10	c 1523s |      24 |  4117347 |  3888562 |     6554   1417 |        0 |        0
1527.60/1528.11	c 1525s |      24 |  4122827 |  3893662 |     6554   1418 |        0 |        0
1529.60/1530.14	c 1527s |      24 |  4128107 |  3898762 |     6554   1420 |        0 |        0
1531.60/1532.17	c 1529s |      24 |  4133818 |  3904162 |     6554   1421 |        0 |        0
1533.60/1534.19	c 1531s |      24 |  4138868 |  3908862 |     6554   1423 |        0 |        0
1535.60/1536.19	c 1533s |      24 |  4144530 |  3914062 |     6554   1424 |        0 |        0
1537.71/1538.23	c 1535s |      24 |  4149271 |  3918662 |     6554   1425 |        0 |        0
1539.70/1540.24	c 1537s |      24 |  4153589 |  3922862 |     6554   1427 |        0 |        0
1541.70/1542.26	c 1539s |      24 |  4158414 |  3927462 |     6554   1428 |        0 |        0
1543.70/1544.27	c 1541s |      24 |  4164093 |  3932962 |     6554   1429 |        0 |        0
1545.70/1546.29	c 1543s |      24 |  4169199 |  3937962 |     6554   1431 |        0 |        0
1547.80/1548.31	c 1545s |      24 |  4174739 |  3943062 |     6554   1432 |        0 |        0
1549.80/1550.33	c 1547s |      24 |  4179429 |  3947362 |     6554   1434 |        0 |        0
1551.80/1552.34	c 1549s |      24 |  4184574 |  3952162 |     6554   1435 |        0 |        0
1553.80/1554.36	c 1551s |      24 |  4189454 |  3956762 |     6554   1436 |        0 |        0
1555.80/1556.37	c 1553s |      24 |  4194264 |  3961362 |     6554   1438 |        0 |        0
1557.80/1558.39	c 1555s |      24 |  4199444 |  3966162 |     6554   1439 |        0 |        0
1559.89/1560.40	c 1557s |      24 |  4204906 |  3971262 |     6554   1440 |        0 |        0
1561.90/1562.42	c 1559s |      24 |  4210140 |  3976262 |     6554   1442 |        0 |        0
1563.89/1564.45	c 1561s |      24 |  4215136 |  3980862 |     6554   1443 |        0 |        0
1565.89/1566.47	c 1563s |      24 |  4219994 |  3985362 |     6554   1444 |        0 |        0
1567.89/1568.49	c 1565s |      24 |  4225036 |  3990062 |     6554   1446 |        0 |        0
1569.99/1570.51	c 1567s |      24 |  4230498 |  3995062 |     6554   1447 |        0 |        0
1571.99/1572.54	c 1570s |      24 |  4235766 |  4000062 |     6554   1449 |        0 |        0
1574.00/1574.55	c 1572s |      24 |  4241804 |  4005762 |     6554   1450 |        0 |        0
1575.99/1576.56	c 1574s |      24 |  4247130 |  4010762 |     6554   1452 |        0 |        0
1577.99/1578.57	c 1576s |      24 |  4253071 |  4016362 |     6554   1453 |        0 |        0
1579.99/1580.58	c 1578s |      24 |  4258776 |  4021362 |     6554   1455 |        0 |        0
1582.09/1582.61	c 1580s |      24 |  4263871 |  4026262 |     6554   1456 |        0 |        0
1584.09/1584.63	c 1582s |      24 |  4269281 |  4031362 |     6554   1458 |        0 |        0
1586.09/1586.66	c 1584s |      24 |  4274177 |  4036062 |     6554   1459 |        0 |        0
1588.09/1588.68	c 1586s |      24 |  4279528 |  4040862 |     6554   1460 |        0 |        0
1590.19/1590.71	c 1588s |      24 |  4284406 |  4045462 |     6554   1462 |        0 |        0
1592.19/1592.74	c 1590s |      24 |  4289648 |  4050362 |     6554   1463 |        0 |        0
1594.19/1594.77	c 1592s |      24 |  4294743 |  4055262 |     6554   1464 |        0 |        0
1596.29/1596.80	c 1594s |      24 |  4299586 |  4059762 |     6554   1466 |        0 |        0
1598.29/1598.81	c 1596s |      24 |  4304372 |  4064362 |     6554   1467 |        0 |        0
1600.29/1600.83	c 1598s |      24 |  4309991 |  4069662 |     6554   1468 |        0 |        0
1602.28/1602.83	c 1600s |      24 |  4315096 |  4074462 |     6554   1470 |        0 |        0
1604.28/1604.87	c 1602s |      24 |  4320031 |  4079062 |     6554   1471 |        0 |        0
1606.28/1606.89	c 1604s |      24 |  4325263 |  4083962 |     6554   1473 |        0 |        0
1608.28/1608.89	c 1606s |      24 |  4330751 |  4088962 |     6554   1474 |        0 |        0
1610.29/1610.89	c 1608s |      24 |  4336223 |  4093862 |     6554   1475 |        0 |        0
1612.28/1612.90	c 1610s |      24 |  4341297 |  4098462 |     6554   1477 |        0 |        0
1614.38/1614.94	c 1612s |      24 |  4346686 |  4103562 |     6554   1478 |        0 |        0
1616.38/1616.95	c 1614s |      24 |  4351962 |  4108562 |     6554   1480 |        0 |        0
1618.38/1618.99	c 1616s |      24 |  4357348 |  4113662 |     6554   1481 |        0 |        0
1620.48/1621.01	c 1618s |      24 |  4362805 |  4118462 |     6554   1482 |        0 |        0
1622.48/1623.03	c 1620s |      24 |  4367499 |  4122862 |     6554   1484 |        0 |        0
1624.49/1625.08	c 1622s |      24 |  4373063 |  4128062 |     6554   1485 |        0 |        0
1626.58/1627.10	c 1624s |      24 |  4378272 |  4132962 |     6554   1486 |        0 |        0
1628.58/1629.11	c 1626s |      24 |  4383666 |  4138062 |     6554   1488 |        0 |        0
1630.58/1631.14	c 1628s |      24 |  4388542 |  4142662 |     6554   1489 |        0 |        0
1632.58/1633.15	c 1630s |      24 |  4393988 |  4147562 |     6554   1491 |        0 |        0
1634.58/1635.16	c 1632s |      24 |  4398956 |  4152162 |     6554   1492 |        0 |        0
1636.68/1637.22	c 1634s |      24 |  4404104 |  4156962 |     6554   1493 |        0 |        0
1638.68/1639.25	c 1636s |      24 |  4408753 |  4161362 |     6554   1495 |        0 |        0
1640.68/1641.26	c 1638s |      24 |  4413886 |  4166262 |     6554   1496 |        0 |        0
1642.78/1643.32	c 1640s |      24 |  4418646 |  4170562 |     6554   1497 |        0 |        0
1644.78/1645.35	c 1642s |      24 |  4423491 |  4175162 |     6554   1499 |        0 |        0
1646.78/1647.38	c 1644s |      24 |  4428983 |  4180262 |     6554   1500 |        0 |        0
1648.88/1649.41	c 1646s |      24 |  4434115 |  4185062 |     6554   1501 |        0 |        0
1650.88/1651.43	c 1648s |      24 |  4439553 |  4190162 |     6554   1503 |        0 |        0
1652.87/1653.45	c 1650s |      24 |  4444954 |  4195262 |     6554   1504 |        0 |        0
1654.87/1655.48	c 1652s |      24 |  4450403 |  4200362 |     6554   1506 |        0 |        0
1656.87/1657.49	c 1654s |      24 |  4456016 |  4205662 |     6554   1507 |        0 |        0
1658.88/1659.49	c 1656s |      24 |  4461015 |  4210462 |     6554   1509 |        0 |        0
1660.98/1661.50	c 1658s |      24 |  4466276 |  4215462 |     6554   1510 |        0 |        0
1662.99/1663.52	c 1660s |      24 |  4471547 |  4220562 |     6554   1511 |        0 |        0
1664.98/1665.53	c 1663s |      24 |  4476263 |  4225162 |     6554   1513 |        0 |        0
1666.98/1667.55	c 1665s |      24 |  4481842 |  4230362 |     6554   1514 |        0 |        0
1668.98/1669.57	c 1667s |      24 |  4487202 |  4235462 |     6554   1516 |        0 |        0
1671.08/1671.61	c 1669s |      24 |  4492744 |  4240662 |     6554   1517 |        0 |        0
1673.08/1673.62	c 1671s |      24 |  4497842 |  4245562 |     6554   1519 |        0 |        0
1675.09/1675.64	c 1673s |      24 |  4503002 |  4250462 |     6554   1520 |        0 |        0
1677.08/1677.65	c 1675s |      24 |  4508445 |  4255662 |     6554   1521 |        0 |        0
1679.08/1679.68	c 1677s |      24 |  4513614 |  4260562 |     6554   1523 |        0 |        0
1681.18/1681.70	c 1679s |      24 |  4518772 |  4265462 |     6554   1524 |        0 |        0
1683.18/1683.72	c 1681s |      24 |  4523883 |  4270262 |     6554   1526 |        0 |        0
1685.17/1685.77	c 1683s |      24 |  4529314 |  4274962 |     6554   1527 |        0 |        0
1687.18/1687.79	c 1685s |      24 |  4534187 |  4279462 |     6554   1528 |        0 |        0
1689.27/1689.86	c 1687s |      24 |  4539115 |  4283862 |     6554   1530 |        0 |        0
1691.27/1691.88	c 1689s |      24 |  4544299 |  4288662 |     6554   1531 |        0 |        0
1693.37/1693.92	c 1691s |      24 |  4549318 |  4293462 |     6554   1532 |        0 |        0
1695.37/1695.95	c 1693s |      24 |  4554562 |  4298462 |     6554   1534 |        0 |        0
1697.37/1697.97	c 1695s |      24 |  4559633 |  4303362 |     6554   1535 |        0 |        0
1699.38/1699.98	c 1697s |      24 |  4564978 |  4308562 |     6554   1537 |        0 |        0
1701.48/1702.01	c 1699s |      24 |  4569571 |  4313062 |     6554   1538 |        0 |        0
1703.47/1704.05	c 1701s |      24 |  4574343 |  4317462 |     6554   1539 |        0 |        0
1705.47/1706.09	c 1703s |      24 |  4579220 |  4322162 |     6554   1540 |        0 |        0
1707.57/1708.12	c 1705s |      24 |  4584669 |  4327362 |     6554   1542 |        0 |        0
1709.57/1710.14	c 1707s |      24 |  4590335 |  4332762 |     6554   1543 |        0 |        0
1711.57/1712.17	c 1709s |      24 |  4595772 |  4337762 |     6554   1545 |        0 |        0
1713.57/1714.17	c 1711s |      24 |  4600918 |  4342362 |     6554   1546 |        0 |        0
1715.67/1716.20	c 1713s |      24 |  4605989 |  4346862 |     6554   1547 |        0 |        0
1717.67/1718.21	c 1715s |      24 |  4611171 |  4351462 |     6554   1549 |        0 |        0
1719.66/1720.23	c 1717s |      24 |  4615889 |  4355962 |     6554   1550 |        0 |        0
1721.66/1722.25	c 1719s |      24 |  4620564 |  4360362 |     6554   1551 |        0 |        0
1723.66/1724.25	c 1721s |      24 |  4625390 |  4364862 |     6554   1553 |        0 |        0
1725.67/1726.28	c 1723s |      24 |  4630343 |  4369362 |     6554   1554 |        0 |        0
1727.76/1728.30	c 1725s |      24 |  4635852 |  4374462 |     6554   1555 |        0 |        0
1729.76/1730.31	c 1727s |      24 |  4640880 |  4379262 |     6554   1557 |        0 |        0
1731.77/1732.32	c 1729s |      24 |  4645826 |  4383762 |     6554   1558 |        0 |        0
1733.77/1734.33	c 1731s |      24 |  4651199 |  4388762 |     6554   1559 |        0 |        0
1735.77/1736.36	c 1733s |      24 |  4656422 |  4393562 |     6554   1561 |        0 |        0
1737.78/1738.40	c 1735s |      24 |  4661769 |  4398562 |     6554   1562 |        0 |        0
1739.87/1740.42	c 1737s |      24 |  4667279 |  4403662 |     6554   1564 |        0 |        0
1741.87/1742.44	c 1739s |      24 |  4672386 |  4408262 |     6554   1565 |        0 |        0
1743.97/1744.50	c 1741s |      24 |  4677411 |  4412662 |     6554   1566 |        0 |        0
1745.97/1746.54	c 1744s |      24 |  4682650 |  4417162 |     6554   1568 |        0 |        0
1747.97/1748.57	c 1746s |      24 |  4688077 |  4422362 |     6554   1569 |        0 |        0
1750.07/1750.61	c 1748s |      24 |  4693308 |  4427362 |     6554   1570 |        0 |        0
1752.07/1752.62	c 1750s |      24 |  4698732 |  4432562 |     6554   1572 |        0 |        0
1754.07/1754.64	c 1752s |      24 |  4704378 |  4437962 |     6554   1573 |        0 |        0
1756.07/1756.67	c 1754s |      24 |  4710103 |  4443262 |     6554   1575 |        0 |        0
1758.07/1758.68	c 1756s |      24 |  4715058 |  4448062 |     6554   1576 |        0 |        0
1760.16/1760.71	c 1758s |      24 |  4719988 |  4452862 |     6554   1578 |        0 |        0
1762.16/1762.72	c 1760s |      24 |  4725189 |  4457762 |     6554   1579 |        0 |        0
1764.17/1764.78	c 1762s |      24 |  4730365 |  4462762 |     6554   1581 |        0 |        0
1766.16/1766.79	c 1764s |      24 |  4736220 |  4468262 |     6554   1582 |        0 |        0
1768.26/1768.81	c 1766s |      24 |  4741217 |  4473162 |     6554   1583 |        0 |        0
1770.26/1770.84	c 1768s |      24 |  4747053 |  4478762 |     6554   1585 |        0 |        0
1772.26/1772.87	c 1770s |      24 |  4752113 |  4483462 |     6554   1586 |        0 |        0
1774.36/1774.91	c 1772s |      24 |  4757072 |  4488362 |     6554   1588 |        0 |        0
1776.37/1776.93	c 1774s |      24 |  4762655 |  4493862 |     6554   1589 |        0 |        0
1778.36/1778.95	c 1776s |      24 |  4768199 |  4499162 |     6554   1591 |        0 |        0
1780.36/1780.97	c 1778s |      24 |  4773817 |  4504462 |     6554   1592 |        0 |        0
1782.36/1782.98	c 1780s |      24 |  4780046 |  4510462 |     6554   1594 |        0 |        0
1784.46/1785.00	c 1782s |      24 |  4785519 |  4515662 |     6554   1596 |        0 |        0
1786.46/1787.01	c 1784s |      24 |  4790974 |  4520662 |     6554   1597 |        0 |        0
1788.47/1789.01	c 1786s |      24 |  4796766 |  4526162 |     6554   1599 |        0 |        0
1790.46/1791.03	c 1788s |      24 |  4802068 |  4531062 |     6554   1600 |        0 |        0
1792.46/1793.05	c 1790s |      24 |  4807741 |  4536462 |     6554   1602 |        0 |        0
1794.46/1795.06	c 1792s |      24 |  4813406 |  4541862 |     6554   1603 |        0 |        0
1796.46/1797.10	c 1794s |      24 |  4818417 |  4546662 |     6554   1604 |        0 |        0
1798.56/1799.12	c 1796s |      24 |  4823718 |  4551662 |     6554   1606 |        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-4106388-1466270557/watcher-4106388-1466270557 -o /tmp/evaluation-result-4106388-1466270557/solver-4106388-1466270557 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466265123-26753 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106388-1466270557.opb 

pid=28133
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.21 2.20 2.17 3/179 28136
/proc/meminfo: memFree=29385532/32872528 swapFree=1191052/1305516
[pid=28136] ppid=28133 vsize=301500 CPUtime=0 cores=1,3,5,7
/proc/28136/stat : 28136 (toysat) R 28133 28136 26736 0 -1 4202496 1048 0 0 0 0 0 0 0 20 0 4 0 29102304 308736000 1409 33554432000 4194304 16246674 140737355930096 140737355929520 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28136/statm: 75887 1417 441 2943 0 72781 0
[pid=28136/tid=28137] ppid=28133 vsize=317884 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28137/stat : 28137 (toysat) S 28133 28136 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29102304 325513216 1472 33554432000 4194304 16246674 140737355930096 140537715731696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28136/tid=28138] ppid=28133 vsize=321980 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28138/stat : 28138 (toysat) S 28133 28136 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29102304 329707520 1488 33554432000 4194304 16246674 140737355930096 140537705241840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28136/tid=28139] ppid=28133 vsize=326076 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28139/stat : 28139 (toysat) S 28133 28136 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29102304 333901824 1504 33554432000 4194304 16246674 140737355930096 140537694768304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100122 s]
/proc/loadavg: 2.21 2.20 2.17 3/179 28136
/proc/meminfo: memFree=29385532/32872528 swapFree=1191052/1305516
[pid=28136] ppid=28133 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/28136/stat : 28136 (toysat) R 28133 28136 26736 0 -1 4202496 21039 0 0 0 6 2 0 0 20 0 4 0 29102304 1247350784 21388 33554432000 4194304 16246674 140737355930096 140737355929520 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28136/statm: 304529 21395 758 2943 0 301423 0
[pid=28136/tid=28137] ppid=28133 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28137/stat : 28137 (toysat) S 28133 28136 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29102304 1247350784 21405 33554432000 4194304 16246674 140737355930096 140537715731696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28136/tid=28138] ppid=28133 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28138/stat : 28138 (toysat) S 28133 28136 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29102304 1247350784 21409 33554432000 4194304 16246674 140737355930096 140537705241840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28136/tid=28139] ppid=28133 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28139/stat : 28139 (toysat) S 28133 28136 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29102304 1247350784 21412 33554432000 4194304 16246674 140737355930096 140537694768304 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.502025 s]
/proc/loadavg: 2.21 2.20 2.17 3/179 28136
/proc/meminfo: memFree=29385532/32872528 swapFree=1191052/1305516
[pid=28136] ppid=28133 vsize=1218116 CPUtime=0.49 cores=1,3,5,7
/proc/28136/stat : 28136 (toysat) R 28133 28136 26736 0 -1 4202496 93106 0 0 0 37 12 0 0 20 0 4 0 29102304 1247350784 93456 33554432000 4194304 16246674 140737355930096 140737355929520 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28136/statm: 304529 93472 765 2943 0 301423 0
[pid=28136/tid=28137] ppid=28133 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28137/stat : 28137 (toysat) S 28133 28136 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29102304 1247350784 93477 33554432000 4194304 16246674 140737355930096 140537715731696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28136/tid=28138] ppid=28133 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28138/stat : 28138 (toysat) S 28133 28136 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29102304 1247350784 93479 33554432000 4194304 16246674 140737355930096 140537705241840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28136/tid=28139] ppid=28133 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28139/stat : 28139 (toysat) S 28133 28136 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29102304 1247350784 93483 33554432000 4194304 16246674 140737355930096 140537694768304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 1218116

[startup+0.600506 s]
/proc/loadavg: 2.21 2.20 2.17 3/179 28136
/proc/meminfo: memFree=29385532/32872528 swapFree=1191052/1305516
[pid=28136] ppid=28133 vsize=1218116 CPUtime=0.58 cores=1,3,5,7
/proc/28136/stat : 28136 (toysat) R 28133 28136 26736 0 -1 4202496 111456 0 0 0 44 14 0 0 20 0 4 0 29102304 1247350784 111805 33554432000 4194304 16246674 140737355930096 140737355929520 5712452 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28136/statm: 304529 111815 765 2943 0 301423 0
[pid=28136/tid=28137] ppid=28133 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28137/stat : 28137 (toysat) S 28133 28136 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29102304 1247350784 111824 33554432000 4194304 16246674 140737355930096 140537715731696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28136/tid=28138] ppid=28133 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28138/stat : 28138 (toysat) S 28133 28136 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29102304 1247350784 111834 33554432000 4194304 16246674 140737355930096 140537705241840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28136/tid=28139] ppid=28133 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28139/stat : 28139 (toysat) S 28133 28136 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29102304 1247350784 111839 33554432000 4194304 16246674 140737355930096 140537694768304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 1218116

[startup+0.700486 s]
/proc/loadavg: 2.21 2.20 2.17 3/179 28136
/proc/meminfo: memFree=29385532/32872528 swapFree=1191052/1305516
[pid=28136] ppid=28133 vsize=1218116 CPUtime=0.68 cores=1,3,5,7
/proc/28136/stat : 28136 (toysat) R 28133 28136 26736 0 -1 4202496 130281 0 0 0 51 17 0 0 20 0 4 0 29102304 1247350784 130630 33554432000 4194304 16246674 140737355930096 140737355913096 6021007 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28136/statm: 304529 130638 765 2943 0 301423 0
[pid=28136/tid=28137] ppid=28133 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28137/stat : 28137 (toysat) S 28133 28136 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29102304 1247350784 130642 33554432000 4194304 16246674 140737355930096 140537715731696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28136/tid=28138] ppid=28133 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28138/stat : 28138 (toysat) S 28133 28136 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29102304 1247350784 130649 33554432000 4194304 16246674 140737355930096 140537705241840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28136/tid=28139] ppid=28133 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28139/stat : 28139 (toysat) S 28133 28136 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29102304 1247350784 130656 33554432000 4194304 16246674 140737355930096 140537694768304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50759 s]
/proc/loadavg: 2.43 2.25 2.19 3/183 28140
/proc/meminfo: memFree=28400612/32872528 swapFree=1191052/1305516
[pid=28136] ppid=28133 vsize=1220164 CPUtime=1.49 cores=1,3,5,7
/proc/28136/stat : 28136 (toysat) R 28133 28136 26736 0 -1 4202496 246084 0 0 0 115 34 0 0 20 0 4 0 29102304 1249447936 246410 33554432000 4194304 16246674 140737355930096 140737355929408 5522994 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28136/statm: 305041 246410 833 2943 0 301935 0
[pid=28136/tid=28137] ppid=28133 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28137/stat : 28137 (toysat) S 28133 28136 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29102304 1249447936 246410 33554432000 4194304 16246674 140737355930096 140537715731696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28136/tid=28138] ppid=28133 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28138/stat : 28138 (toysat) S 28133 28136 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29102304 1249447936 246410 33554432000 4194304 16246674 140737355930096 140537705241840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28136/tid=28139] ppid=28133 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28139/stat : 28139 (toysat) S 28133 28136 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29102304 1249447936 246410 33554432000 4194304 16246674 140737355930096 140537694768304 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) 1220164

[startup+3.10043 s]
/proc/loadavg: 2.43 2.25 2.19 3/183 28140
/proc/meminfo: memFree=28317656/32872528 swapFree=1191052/1305516
[pid=28136] ppid=28133 vsize=1303108 CPUtime=3.08 cores=1,3,5,7
/proc/28136/stat : 28136 (toysat) R 28133 28136 26736 0 -1 4202496 266780 0 0 0 271 37 0 0 20 0 4 0 29102304 1334382592 267106 33554432000 4194304 16246674 140737355930096 140737355913096 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28136/statm: 325777 267106 851 2943 0 322671 0
[pid=28136/tid=28137] ppid=28133 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28137/stat : 28137 (toysat) S 28133 28136 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29102304 1334382592 267106 33554432000 4194304 16246674 140737355930096 140537715731696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28136/tid=28138] ppid=28133 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28138/stat : 28138 (toysat) S 28133 28136 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29102304 1334382592 267106 33554432000 4194304 16246674 140737355930096 140537705241840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28136/tid=28139] ppid=28133 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28139/stat : 28139 (toysat) S 28133 28136 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29102304 1334382592 267106 33554432000 4194304 16246674 140737355930096 140537694768304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1303108

[startup+6.30042 s]
/proc/loadavg: 2.40 2.24 2.19 3/183 28140
/proc/meminfo: memFree=28312868/32872528 swapFree=1191052/1305516
[pid=28136] ppid=28133 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/28136/stat : 28136 (toysat) R 28133 28136 26736 0 -1 4202496 267897 0 0 0 591 38 0 0 20 0 4 0 29102304 1338576896 268223 33554432000 4194304 16246674 140737355930096 140737355912000 13943729 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28136/statm: 326801 268223 853 2943 0 323695 0
[pid=28136/tid=28137] ppid=28133 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28137/stat : 28137 (toysat) S 28133 28136 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29102304 1338576896 268223 33554432000 4194304 16246674 140737355930096 140537715731696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28136/tid=28138] ppid=28133 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28138/stat : 28138 (toysat) S 28133 28136 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29102304 1338576896 268223 33554432000 4194304 16246674 140737355930096 140537705241840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28136/tid=28139] ppid=28133 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28139/stat : 28139 (toysat) S 28133 28136 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29102304 1338576896 268223 33554432000 4194304 16246674 140737355930096 140537694768304 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) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.36 2.24 2.19 3/183 28140
/proc/meminfo: memFree=28312152/32872528 swapFree=1191052/1305516
[pid=28136] ppid=28133 vsize=1308228 CPUtime=12.69 cores=1,3,5,7
/proc/28136/stat : 28136 (toysat) R 28133 28136 26736 0 -1 4202496 268052 0 0 0 1231 38 0 0 20 0 4 0 29102304 1339625472 268378 33554432000 4194304 16246674 140737355930096 140737355912000 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28136/statm: 327057 268378 854 2943 0 323951 0
[pid=28136/tid=28137] ppid=28133 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28137/stat : 28137 (toysat) S 28133 28136 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29102304 1339625472 268378 33554432000 4194304 16246674 140737355930096 140537715731696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28136/tid=28138] ppid=28133 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28138/stat : 28138 (toysat) S 28133 28136 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29102304 1339625472 268378 33554432000 4194304 16246674 140737355930096 140537705241840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28136/tid=28139] ppid=28133 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28139/stat : 28139 (toysat) S 28133 28136 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29102304 1339625472 268378 33554432000 4194304 16246674 140737355930096 140537694768304 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) 1308228

[startup+25.5004 s]
/proc/loadavg: 2.31 2.23 2.18 3/183 28140
/proc/meminfo: memFree=28310992/32872528 swapFree=1191052/1305516
[pid=28136] ppid=28133 vsize=1310276 CPUtime=25.49 cores=1,3,5,7
/proc/28136/stat : 28136 (toysat) R 28133 28136 26736 0 -1 4202496 268504 0 0 0 2511 38 0 0 20 0 4 0 29102304 1341722624 268830 33554432000 4194304 16246674 140737355930096 140737355913096 5723721 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28136/statm: 327569 268830 854 2943 0 324463 0
[pid=28136/tid=28137] ppid=28133 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28137/stat : 28137 (toysat) S 28133 28136 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29102304 1341722624 268830 33554432000 4194304 16246674 140737355930096 140537715731696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28136/tid=28138] ppid=28133 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28138/stat : 28138 (toysat) S 28133 28136 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29102304 1341722624 268830 33554432000 4194304 16246674 140737355930096 140537705241840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28136/tid=28139] ppid=28133 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28139/stat : 28139 (toysat) S 28133 28136 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29102304 1341722624 268830 33554432000 4194304 16246674 140737355930096 140537694768304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1310276

[startup+51.1004 s]
/proc/loadavg: 2.25 2.22 2.18 3/183 28140
/proc/meminfo: memFree=28303012/32872528 swapFree=1191052/1305516
[pid=28136] ppid=28133 vsize=1317444 CPUtime=51.08 cores=1,3,5,7
/proc/28136/stat : 28136 (toysat) R 28133 28136 26736 0 -1 4202496 270458 0 0 0 5070 38 0 0 20 0 4 0 29102304 1349062656 270784 33554432000 4194304 16246674 140737355930096 140737355913096 5717462 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28136/statm: 329361 270784 854 2943 0 326255 0
[pid=28136/tid=28137] ppid=28133 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28137/stat : 28137 (toysat) S 28133 28136 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29102304 1349062656 270784 33554432000 4194304 16246674 140737355930096 140537715731696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28136/tid=28138] ppid=28133 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28138/stat : 28138 (toysat) S 28133 28136 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29102304 1349062656 270784 33554432000 4194304 16246674 140737355930096 140537705241840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28136/tid=28139] ppid=28133 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28139/stat : 28139 (toysat) S 28133 28136 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29102304 1349062656 270784 33554432000 4194304 16246674 140737355930096 140537694768304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1317444

[startup+102.3 s]
/proc/loadavg: 2.20 2.22 2.18 3/183 28142
/proc/meminfo: memFree=28302776/32872528 swapFree=1191052/1305516
[pid=28136] ppid=28133 vsize=1317444 CPUtime=102.28 cores=1,3,5,7
/proc/28136/stat : 28136 (toysat) R 28133 28136 26736 0 -1 4202496 270458 0 0 0 10189 39 0 0 20 0 4 0 29102304 1349062656 270784 33554432000 4194304 16246674 140737355930096 140737355912000 5545840 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28136/statm: 329361 270784 854 2943 0 326255 0
[pid=28136/tid=28137] ppid=28133 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28137/stat : 28137 (toysat) S 28133 28136 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29102304 1349062656 270784 33554432000 4194304 16246674 140737355930096 140537715731696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28136/tid=28138] ppid=28133 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28138/stat : 28138 (toysat) S 28133 28136 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29102304 1349062656 270784 33554432000 4194304 16246674 140737355930096 140537705241840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28136/tid=28139] ppid=28133 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28139/stat : 28139 (toysat) S 28133 28136 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29102304 1349062656 270784 33554432000 4194304 16246674 140737355930096 140537694768304 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) 1317444


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

/proc/28136/task/28139/stat : 28139 (toysat) S 28133 28136 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29102304 1363742720 274372 33554432000 4194304 16246674 140737355930096 140537694768304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1331780

[startup+1362.3 s]
/proc/loadavg: 2.20 2.17 2.16 3/183 28416
/proc/meminfo: memFree=28277056/32872528 swapFree=1191052/1305516
[pid=28136] ppid=28133 vsize=1331780 CPUtime=1361.83 cores=1,3,5,7
/proc/28136/stat : 28136 (toysat) R 28133 28136 26736 0 -1 4202496 274467 0 0 0 136132 51 0 0 20 0 4 0 29102304 1363742720 274372 33554432000 4194304 16246674 140737355930096 140737355927936 5711688 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28136/statm: 332945 274372 855 2943 0 329839 0
[pid=28136/tid=28137] ppid=28133 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28137/stat : 28137 (toysat) S 28133 28136 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29102304 1363742720 274372 33554432000 4194304 16246674 140737355930096 140537715731696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28136/tid=28138] ppid=28133 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28138/stat : 28138 (toysat) S 28133 28136 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29102304 1363742720 274372 33554432000 4194304 16246674 140737355930096 140537705241840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28136/tid=28139] ppid=28133 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28139/stat : 28139 (toysat) S 28133 28136 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29102304 1363742720 274372 33554432000 4194304 16246674 140737355930096 140537694768304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1331780

[startup+1422.3 s]
/proc/loadavg: 2.12 2.15 2.15 3/183 28417
/proc/meminfo: memFree=28276932/32872528 swapFree=1191052/1305516
[pid=28136] ppid=28133 vsize=1331780 CPUtime=1421.82 cores=1,3,5,7
/proc/28136/stat : 28136 (toysat) R 28133 28136 26736 0 -1 4202496 274467 0 0 0 142130 52 0 0 20 0 4 0 29102304 1363742720 274372 33554432000 4194304 16246674 140737355930096 140737355913096 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28136/statm: 332945 274372 855 2943 0 329839 0
[pid=28136/tid=28137] ppid=28133 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28137/stat : 28137 (toysat) S 28133 28136 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29102304 1363742720 274372 33554432000 4194304 16246674 140737355930096 140537715731696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28136/tid=28138] ppid=28133 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28138/stat : 28138 (toysat) S 28133 28136 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29102304 1363742720 274372 33554432000 4194304 16246674 140737355930096 140537705241840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28136/tid=28139] ppid=28133 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28139/stat : 28139 (toysat) S 28133 28136 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29102304 1363742720 274372 33554432000 4194304 16246674 140737355930096 140537694768304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1331780

[startup+1482.3 s]
/proc/loadavg: 2.39 2.22 2.17 3/183 28418
/proc/meminfo: memFree=28276944/32872528 swapFree=1191052/1305516
[pid=28136] ppid=28133 vsize=1331780 CPUtime=1481.8 cores=1,3,5,7
/proc/28136/stat : 28136 (toysat) R 28133 28136 26736 0 -1 4202496 274467 0 0 0 148128 52 0 0 20 0 4 0 29102304 1363742720 274372 33554432000 4194304 16246674 140737355930096 140737355912000 6021664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28136/statm: 332945 274372 855 2943 0 329839 0
[pid=28136/tid=28137] ppid=28133 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28137/stat : 28137 (toysat) S 28133 28136 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29102304 1363742720 274372 33554432000 4194304 16246674 140737355930096 140537715731696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28136/tid=28138] ppid=28133 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28138/stat : 28138 (toysat) S 28133 28136 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29102304 1363742720 274372 33554432000 4194304 16246674 140737355930096 140537705241840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28136/tid=28139] ppid=28133 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28139/stat : 28139 (toysat) S 28133 28136 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29102304 1363742720 274372 33554432000 4194304 16246674 140737355930096 140537694768304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1331780

[startup+1542.3 s]
/proc/loadavg: 2.21 2.19 2.17 3/183 28419
/proc/meminfo: memFree=28276692/32872528 swapFree=1191052/1305516
[pid=28136] ppid=28133 vsize=1331780 CPUtime=1541.8 cores=1,3,5,7
/proc/28136/stat : 28136 (toysat) R 28133 28136 26736 0 -1 4202496 274467 0 0 0 154127 53 0 0 20 0 4 0 29102304 1363742720 274372 33554432000 4194304 16246674 140737355930096 140737355912000 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28136/statm: 332945 274372 855 2943 0 329839 0
[pid=28136/tid=28137] ppid=28133 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28137/stat : 28137 (toysat) S 28133 28136 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29102304 1363742720 274372 33554432000 4194304 16246674 140737355930096 140537715731696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28136/tid=28138] ppid=28133 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28138/stat : 28138 (toysat) S 28133 28136 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29102304 1363742720 274372 33554432000 4194304 16246674 140737355930096 140537705241840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28136/tid=28139] ppid=28133 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28139/stat : 28139 (toysat) S 28133 28136 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29102304 1363742720 274372 33554432000 4194304 16246674 140737355930096 140537694768304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1331780

[startup+1602.3 s]
/proc/loadavg: 2.24 2.20 2.17 3/183 28420
/proc/meminfo: memFree=28275204/32872528 swapFree=1191052/1305516
[pid=28136] ppid=28133 vsize=1331780 CPUtime=1601.78 cores=1,3,5,7
/proc/28136/stat : 28136 (toysat) R 28133 28136 26736 0 -1 4202496 274467 0 0 0 160125 53 0 0 20 0 4 0 29102304 1363742720 274372 33554432000 4194304 16246674 140737355930096 140737355912000 12415777 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28136/statm: 332945 274372 855 2943 0 329839 0
[pid=28136/tid=28137] ppid=28133 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28137/stat : 28137 (toysat) S 28133 28136 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29102304 1363742720 274372 33554432000 4194304 16246674 140737355930096 140537715731696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28136/tid=28138] ppid=28133 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28138/stat : 28138 (toysat) S 28133 28136 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29102304 1363742720 274372 33554432000 4194304 16246674 140737355930096 140537705241840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28136/tid=28139] ppid=28133 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28139/stat : 28139 (toysat) S 28133 28136 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29102304 1363742720 274372 33554432000 4194304 16246674 140737355930096 140537694768304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1331780

[startup+1662.3 s]
/proc/loadavg: 2.29 2.22 2.18 3/184 28425
/proc/meminfo: memFree=28275448/32872528 swapFree=1191052/1305516
[pid=28136] ppid=28133 vsize=1331780 CPUtime=1661.78 cores=1,3,5,7
/proc/28136/stat : 28136 (toysat) R 28133 28136 26736 0 -1 4202496 274467 0 0 0 166124 54 0 0 20 0 4 0 29102304 1363742720 274372 33554432000 4194304 16246674 140737355930096 140737355912000 13820890 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28136/statm: 332945 274372 855 2943 0 329839 0
[pid=28136/tid=28137] ppid=28133 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28137/stat : 28137 (toysat) S 28133 28136 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29102304 1363742720 274372 33554432000 4194304 16246674 140737355930096 140537715731696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28136/tid=28138] ppid=28133 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28138/stat : 28138 (toysat) S 28133 28136 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29102304 1363742720 274372 33554432000 4194304 16246674 140737355930096 140537705241840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28136/tid=28139] ppid=28133 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28139/stat : 28139 (toysat) S 28133 28136 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29102304 1363742720 274372 33554432000 4194304 16246674 140737355930096 140537694768304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1331780

[startup+1722.3 s]
/proc/loadavg: 2.24 2.21 2.18 3/183 28426
/proc/meminfo: memFree=28275208/32872528 swapFree=1191052/1305516
[pid=28136] ppid=28133 vsize=1331780 CPUtime=1721.76 cores=1,3,5,7
/proc/28136/stat : 28136 (toysat) R 28133 28136 26736 0 -1 4202496 274467 0 0 0 172122 54 0 0 20 0 4 0 29102304 1363742720 274372 33554432000 4194304 16246674 140737355930096 140737355929192 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28136/statm: 332945 274372 855 2943 0 329839 0
[pid=28136/tid=28137] ppid=28133 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28137/stat : 28137 (toysat) S 28133 28136 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29102304 1363742720 274372 33554432000 4194304 16246674 140737355930096 140537715731696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28136/tid=28138] ppid=28133 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28138/stat : 28138 (toysat) S 28133 28136 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29102304 1363742720 274372 33554432000 4194304 16246674 140737355930096 140537705241840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28136/tid=28139] ppid=28133 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28139/stat : 28139 (toysat) S 28133 28136 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29102304 1363742720 274372 33554432000 4194304 16246674 140737355930096 140537694768304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1331780

[startup+1782.3 s]
/proc/loadavg: 2.21 2.20 2.18 3/183 28427
/proc/meminfo: memFree=28274968/32872528 swapFree=1191052/1305516
[pid=28136] ppid=28133 vsize=1331780 CPUtime=1781.77 cores=1,3,5,7
/proc/28136/stat : 28136 (toysat) R 28133 28136 26736 0 -1 4202496 274467 0 0 0 178122 55 0 0 20 0 4 0 29102304 1363742720 274372 33554432000 4194304 16246674 140737355930096 140737355913096 5722816 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28136/statm: 332945 274372 855 2943 0 329839 0
[pid=28136/tid=28137] ppid=28133 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28137/stat : 28137 (toysat) S 28133 28136 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29102304 1363742720 274372 33554432000 4194304 16246674 140737355930096 140537715731696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28136/tid=28138] ppid=28133 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28138/stat : 28138 (toysat) S 28133 28136 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29102304 1363742720 274372 33554432000 4194304 16246674 140737355930096 140537705241840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28136/tid=28139] ppid=28133 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28139/stat : 28139 (toysat) S 28133 28136 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29102304 1363742720 274372 33554432000 4194304 16246674 140737355930096 140537694768304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1331780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.31 2.22 2.19 3/183 28428
/proc/meminfo: memFree=28274972/32872528 swapFree=1191052/1305516
[pid=28136] ppid=28133 vsize=1331780 CPUtime=1800.06 cores=1,3,5,7
/proc/28136/stat : 28136 (toysat) R 28133 28136 26736 0 -1 4202496 274467 0 0 0 179951 55 0 0 20 0 4 0 29102304 1363742720 274372 33554432000 4194304 16246674 140737355930096 140737355912000 13820720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28136/statm: 332945 274372 855 2943 0 329839 0
[pid=28136/tid=28137] ppid=28133 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28137/stat : 28137 (toysat) S 28133 28136 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29102304 1363742720 274372 33554432000 4194304 16246674 140737355930096 140537715731696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28136/tid=28138] ppid=28133 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28138/stat : 28138 (toysat) S 28133 28136 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29102304 1363742720 274372 33554432000 4194304 16246674 140737355930096 140537705241840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28136/tid=28139] ppid=28133 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28139/stat : 28139 (toysat) S 28133 28136 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29102304 1363742720 274372 33554432000 4194304 16246674 140737355930096 140537694768304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1331780

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

[startup+1800.6 s]
/proc/loadavg: 2.31 2.22 2.19 3/183 28428
/proc/meminfo: memFree=28274972/32872528 swapFree=1191052/1305516
[pid=28136] ppid=28133 vsize=1331780 CPUtime=1800.06 cores=1,3,5,7
/proc/28136/stat : 28136 (toysat) R 28133 28136 26736 0 -1 4202496 274467 0 0 0 179951 55 0 0 20 0 4 0 29102304 1363742720 274372 33554432000 4194304 16246674 140737355930096 140737355912000 13820720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28136/statm: 332945 274372 855 2943 0 329839 0
[pid=28136/tid=28137] ppid=28133 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28137/stat : 28137 (toysat) S 28133 28136 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29102304 1363742720 274372 33554432000 4194304 16246674 140737355930096 140537715731696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28136/tid=28138] ppid=28133 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28138/stat : 28138 (toysat) S 28133 28136 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29102304 1363742720 274372 33554432000 4194304 16246674 140737355930096 140537705241840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28136/tid=28139] ppid=28133 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/28136/task/28139/stat : 28139 (toysat) S 28133 28136 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29102304 1363742720 274372 33554432000 4194304 16246674 140737355930096 140537694768304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1331780

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.07
CPU user time (s): 1799.52
CPU system time (s): 0.553915
CPU usage (%): 99.9701
Max. virtual memory (cumulated for all children) (KiB): 1331780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.52
system time used= 0.553915
maximum resident set size= 1097488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274467
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= 437
involuntary context switches= 1845

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.54331 second user time and 6.99194 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-18 19:22:37
IDJOB=4106388
IDBENCH=48040
IDSOLVER=2542
FILE ID=node127/4106388-1466270557
RUNJOBID= node127-1466265123-26753
PBS_JOBID= 19918231
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=197-P1=29-P2=199-P3=251-P4=227-P5=257-P6=149-P7=53-B.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106388-1466270557/watcher-4106388-1466270557 -o /tmp/evaluation-result-4106388-1466270557/solver-4106388-1466270557 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466265123-26753 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106388-1466270557.opb

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

MD5SUM BENCH= 83b6f70c71dbcf261c00790940be437e
RANDOM SEED=222986633

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29385532 kB
Buffers:           88452 kB
Cached:           259984 kB
SwapCached:          516 kB
Active:          1183524 kB
Inactive:         257608 kB
Active(anon):    1093120 kB
Inactive(anon):     2184 kB
Active(file):      90404 kB
Inactive(file):   255424 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100260 kB
Dirty:             16628 kB
Writeback:             0 kB
AnonPages:       2397672 kB
Mapped:            10536 kB
Shmem:                 0 kB
Slab:             604692 kB
SReclaimable:      48388 kB
SUnreclaim:       556304 kB
KernelStack:        1480 kB
PageTables:         8500 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2540872 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    794624 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node127 at 2016-06-18 19:52:38