Trace number 4080109

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_4.opb
MD5SUM3258ae2375db1ca5a9ce9d305f00baf0
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-13
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -14
Optimality of the best value was proved NO
Number of variables100
Total number of constraints151
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 50
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 50
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1228
Sum of products size (including duplicates)2456
Number of different products614
Sum of products size1228

Solver Data

0.00/0.00	c 2016-06-07T03:31:40+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-4080109-1465263100.opb"]
0.00/0.01	c use --random-gen="2643790657 4133080856 840742916 3822914456 92732897 2663386542 1693761161 2442599814 2735799004 3405961772 2528665768 3413532445 2721045629 1685448286 2831918349 2557641007 105499146 2032131849 3564292217 1630095786 291441944 1005829771 2809564028 151110907 3367926569 76376113 1954933797 2706076229 772901194 4148760579 79692879 1096929831 2473209472 972249420 653812823 1153114549 253561953 2067497065 3426339244 1247857392 2272644455 2564695565 3799929788 2941421668 3278104794 1426933238 3310515022 1082035719 3306405355 615719426 3763209584 1917733557 803562634 1075345090 3832226302 402611543 193096093 816637779 613516632 1790740523 78587946 1427938960 2146256370 544886711 31758334 3096855890 3387368897 325637308 2032319214 2273570052 49261895 1732093478 639440904 4032959876 2267115355 748311563 2482038048 764715374 127551338 346193806 4046965789 4277754283 728337119 1676542830 3215095913 633960969 3972088198 2986854153 1556229026 2448004803 331510281 1320666615 1375879587 3413321726 1943056142 765585426 61975879 4214980981 2867245989 1231274463 355621780 791820217 1850314846 846268899 2632050902 1254643852 2335307680 3325402451 3710706113 1406204637 1410179599 1457369390 1788352979 4286512129 2559770298 1408967817 1072699016 605415022 1172154188 1461288362 872604919 2624904470 4062977523 3772878106 608185591 2379168437 1150491759 523155773 1481360668 1320683233 864243143 1621359191 1237070289 3312258448 1256142836 982386455 57548240 2347335595 2785447048 3283875396 864118794 420807754 2255818426 2816927621 90396852 3276027679 1426794827 1750473277 2056025250 2833332057 2256928144 1654630206 3982112032 1340776342 3981663092 975193056 1475007179 695944225 123830855 2194046244 1725560425 2377275330 1729294297 997417758 4030652325 335439851 374331776 9814495 3517996042 2568031668 3078223341 114928009 2350832488 107688821 3983227340 1665995194 2569842210 3809272290 315252556 2826496643 2418569707 2941289161 2748141826 582327714 923694987 225820890 326990909 97034131 2570242478 2946717069 2273626578 4178712717 4141924862 2251018388 1240341194 435263912 2798738596 374616528 783154005 3932349499 1943640164 2317851932 2066429333 396174466 310343382 2079346554 3191717437 2585995691 2903077587 964833324 615813689 1880198147 2609827422 714889626 407949923 1410327427 3029354113 2739859818 1519133965 771685606 4135588573 3198655000 1883561285 3360756272 3964889574 1136462945 2983007590 1237973897 2010272232 3461590195 1115120379 2908090255 4132738250 2530773031 1061297902 1873906070 1523845631 3011826943 1947972862 2637861694 2777381989 1294822295 3817321742 1591715793 2651985452 3639061792 1067249997 644874744 2181098312 1746702301 3783797883 1015101120 3206926332 3488281481 3631873977 3033981018 255 362436" option to reproduce the execution
0.00/0.01	c #vars 100
0.00/0.01	c #constraints 151
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 |      493      0 |        0 |        0
0.00/0.03	c  0.0s |       0 |       72 |        1 |      493      0 |        0 |        0
0.00/0.03	c #cpu_time = 0.002s
0.00/0.03	c #wall_clock_time = 0.002s
0.00/0.03	c #decision = 72
0.00/0.03	c #random_decision = 0
0.00/0.03	c #conflict = 1
0.00/0.03	c #restart = 0
0.00/0.03	o -8
0.00/0.03	c BCD2: updating upper bound: 50 -> 41
0.00/0.03	c BCD2: 0 <= obj <= 41
0.00/0.03	c BCD2: #cores=0, #unrelaxed=50, #relaxed=0, #hardened=0
0.00/0.03	c BCD2: #sat=1 #unsat=1 bias=1/2
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 |      493      0 |        0 |        0
0.00/0.03	c  0.0s |       0 |       28 |        2 |      493      0 |        0 |        0
0.00/0.03	c #cpu_time = 0.001s
0.00/0.03	c #wall_clock_time = 0.001s
0.00/0.03	c #decision = 28
0.00/0.03	c #random_decision = 0
0.00/0.03	c #conflict = 2
0.00/0.03	c #restart = 0
0.00/0.03	c BCD2: found a new core of size 25: cost of the new core is >=1
0.00/0.03	c lower bound updated to -49
0.00/0.03	c BCD2: 1 <= obj <= 41
0.00/0.03	c BCD2: #cores=1, #unrelaxed=25, #relaxed=25, #hardened=0
0.00/0.03	c BCD2: #sat=1 #unsat=2 bias=2/3
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 |      493      0 |        0 |        0
0.00/0.03	c  0.0s |       0 |       26 |        1 |      493      0 |        0 |        0
0.00/0.03	c #cpu_time = 0.002s
0.00/0.03	c #wall_clock_time = 0.002s
0.00/0.03	c #decision = 26
0.00/0.03	c #random_decision = 0
0.00/0.03	c #conflict = 1
0.00/0.03	c #restart = 0
0.00/0.03	c BCD2: relaxing 25 and merging with 1 cores into a new core of size 50: cost of the new core is >=2
0.00/0.03	c lower bound updated to -48
0.00/0.03	c BCD2: 2 <= obj <= 41
0.00/0.03	c BCD2: #cores=1, #unrelaxed=0, #relaxed=50, #hardened=0
0.00/0.03	c BCD2: #sat=1 #unsat=3 bias=3/4
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 |      493      0 |        1 |        0
0.00/0.05	c  0.0s |       1 |      645 |      100 |      543      0 |        1 |        1
0.00/0.09	c  0.1s |       2 |     1797 |      250 |      598      0 |        1 |        1
0.08/0.13	c  0.1s |       3 |     3495 |      475 |      658      0 |        1 |        1
0.19/0.21	c  0.2s |       4 |     4260 |      813 |      724      1 |        1 |        1
0.29/0.33	c  0.3s |       5 |     4981 |     1320 |      797      2 |        1 |        1
0.49/0.51	c  0.5s |       6 |     6308 |     2081 |      877      4 |        1 |        1
0.79/0.80	c  0.8s |       7 |     8128 |     3223 |      965      6 |        1 |        1
1.09/1.16	c  1.1s |       8 |    11114 |     4936 |     1062      9 |        1 |        1
1.49/1.59	c  1.6s |       9 |    15640 |     7506 |     1169     14 |        1 |        1
2.29/2.32	c  2.3s |      10 |    21112 |    11361 |     1286     19 |        1 |        1
3.18/3.29	c  3.3s |      11 |    37088 |    17144 |     1415     28 |        1 |        1
4.78/4.81	c  4.8s |      12 |    53687 |    25819 |     1557     39 |        1 |        1
6.78/6.82	c  6.8s |      12 |    69850 |    36919 |     1557     53 |        1 |        1
7.08/7.14	c  7.1s |      13 |    73372 |    38832 |     1713     55 |        1 |        1
9.08/9.15	c  9.1s |      13 |    95404 |    50532 |     1713     68 |        1 |        1
10.38/10.45	c 10.4s |      14 |   105360 |    58352 |     1885     76 |        1 |        1
12.38/12.47	c 12.4s |      14 |   126857 |    69852 |     1885     88 |        1 |        1
14.39/14.49	c 14.5s |      14 |   145032 |    81552 |     1885    100 |        1 |        1
15.49/15.55	c 15.5s |      15 |   152979 |    87632 |     2074    106 |        1 |        1
17.48/17.56	c 17.5s |      15 |   174263 |    98832 |     2074    117 |        1 |        1
19.48/19.58	c 19.5s |      15 |   192631 |   109532 |     2074    126 |        1 |        1
21.48/21.59	c 21.6s |      15 |   208352 |   119832 |     2074    136 |        1 |        1
23.58/23.60	c 23.6s |      15 |   223208 |   130132 |     2074    146 |        1 |        1
23.78/23.88	c 23.8s |      16 |   224882 |   131552 |     2282    147 |        1 |        1
25.78/25.88	c 25.8s |      16 |   240326 |   142152 |     2282    156 |        1 |        1
27.77/27.89	c 27.9s |      16 |   258318 |   153052 |     2282    165 |        1 |        1
29.78/29.90	c 29.9s |      16 |   278797 |   163552 |     2282    174 |        1 |        1
31.77/31.90	c 31.9s |      16 |   293684 |   172352 |     2282    181 |        1 |        1
33.88/33.91	c 33.9s |      16 |   310878 |   181352 |     2282    189 |        1 |        1
35.88/35.91	c 35.9s |      16 |   322232 |   190052 |     2282    196 |        1 |        1
37.38/37.50	c 37.5s |      17 |   335724 |   197432 |     2511    202 |        1 |        1
39.47/39.50	c 39.5s |      17 |   359626 |   207532 |     2511    210 |        1 |        1
41.48/41.51	c 41.5s |      17 |   377264 |   217832 |     2511    218 |        1 |        1
43.48/43.52	c 43.5s |      17 |   397973 |   228032 |     2511    226 |        1 |        1
45.47/45.53	c 45.5s |      17 |   414960 |   238132 |     2511    233 |        1 |        1
47.47/47.54	c 47.5s |      17 |   430419 |   247932 |     2511    241 |        1 |        1
49.48/49.55	c 49.5s |      17 |   444098 |   257432 |     2511    248 |        1 |        1
51.48/51.57	c 51.5s |      17 |   463207 |   267732 |     2511    256 |        1 |        1
53.47/53.57	c 53.5s |      17 |   479287 |   277532 |     2511    264 |        1 |        1
55.47/55.58	c 55.5s |      17 |   495957 |   287832 |     2511    272 |        1 |        1
57.28/57.33	c 57.3s |      18 |   508597 |   296252 |     2763    278 |        1 |        1
59.27/59.35	c 59.3s |      18 |   524589 |   305952 |     2763    285 |        1 |        1
61.27/61.35	c 61.3s |      18 |   537190 |   315652 |     2763    292 |        1 |        1
63.27/63.37	c 63.3s |      18 |   552342 |   325952 |     2763    299 |        1 |        1
65.27/65.39	c 65.4s |      18 |   569299 |   335552 |     2763    306 |        1 |        1
67.26/67.39	c 67.4s |      18 |   583741 |   345152 |     2763    312 |        1 |        1
69.37/69.41	c 69.4s |      18 |   597242 |   354552 |     2763    319 |        1 |        1
71.36/71.43	c 71.4s |      18 |   608634 |   363752 |     2763    326 |        1 |        1
73.36/73.45	c 73.4s |      18 |   623698 |   372852 |     2763    332 |        1 |        1
75.36/75.46	c 75.4s |      18 |   636403 |   382852 |     2763    339 |        1 |        1
77.35/77.46	c 77.4s |      18 |   652472 |   393152 |     2763    346 |        1 |        1
79.36/79.47	c 79.4s |      18 |   668538 |   403052 |     2763    353 |        1 |        1
81.36/81.48	c 81.4s |      18 |   686968 |   412952 |     2763    360 |        1 |        1
83.46/83.51	c 83.5s |      18 |   700063 |   422352 |     2763    367 |        1 |        1
85.46/85.52	c 85.5s |      18 |   713104 |   431452 |     2763    373 |        1 |        1
87.45/87.52	c 87.5s |      18 |   726874 |   441252 |     2763    380 |        1 |        1
88.06/88.12	c 88.1s |      19 |   730972 |   444482 |     3040    382 |        1 |        1
90.05/90.13	c 90.1s |      19 |   748190 |   454082 |     3040    388 |        1 |        1
92.05/92.15	c 92.1s |      19 |   760827 |   463482 |     3040    394 |        1 |        1
94.05/94.15	c 94.1s |      19 |   773575 |   472382 |     3040    400 |        1 |        1
96.05/96.17	c 96.1s |      19 |   786149 |   481682 |     3040    406 |        1 |        1
98.04/98.19	c 98.2s |      19 |   798493 |   490882 |     3040    412 |        1 |        1
100.05/100.20	c  100s |      19 |   811075 |   499682 |     3040    418 |        1 |        1
102.14/102.22	c  102s |      19 |   822203 |   508882 |     3040    424 |        1 |        1
104.14/104.24	c  104s |      19 |   834623 |   517882 |     3040    429 |        1 |        1
106.14/106.26	c  106s |      19 |   845931 |   526882 |     3040    435 |        1 |        1
108.14/108.27	c  108s |      19 |   857975 |   535882 |     3040    441 |        1 |        1
110.14/110.28	c  110s |      19 |   871268 |   545082 |     3040    447 |        1 |        1
112.15/112.28	c  112s |      19 |   882154 |   554082 |     3040    452 |        1 |        1
114.14/114.29	c  114s |      19 |   892589 |   562882 |     3040    458 |        1 |        1
116.24/116.30	c  116s |      19 |   904426 |   572582 |     3040    464 |        1 |        1
118.24/118.31	c  118s |      19 |   916741 |   582182 |     3040    470 |        1 |        1
120.24/120.33	c  120s |      19 |   928995 |   591782 |     3040    476 |        1 |        1
122.23/122.33	c  122s |      19 |   947906 |   601182 |     3040    482 |        1 |        1
124.24/124.33	c  124s |      19 |   960612 |   609582 |     3040    488 |        1 |        1
126.23/126.35	c  126s |      19 |   974236 |   618582 |     3040    493 |        1 |        1
128.23/128.37	c  128s |      19 |   991883 |   628482 |     3040    500 |        1 |        1
130.23/130.38	c  130s |      19 |  1002957 |   637282 |     3040    505 |        1 |        1
132.23/132.39	c  132s |      19 |  1014256 |   646382 |     3040    511 |        1 |        1
134.33/134.40	c  134s |      19 |  1027373 |   655082 |     3040    517 |        1 |        1
136.33/136.40	c  136s |      19 |  1039263 |   664082 |     3345    522 |        1 |        1
136.92/137.00	c  136s |      20 |  1042522 |   666827 |     3345    524 |        1 |        1
138.92/139.02	c  138s |      20 |  1057634 |   676427 |     3345    529 |        1 |        1
140.92/141.03	c  140s |      20 |  1069253 |   685027 |     3345    534 |        1 |        1
142.93/143.04	c  143s |      20 |  1081037 |   693827 |     3345    540 |        1 |        1
144.92/145.05	c  145s |      20 |  1096792 |   702727 |     3345    545 |        1 |        1
146.91/147.08	c  147s |      20 |  1113252 |   711827 |     3345    550 |        1 |        1
148.92/149.08	c  149s |      20 |  1124274 |   719927 |     3345    555 |        1 |        1
150.92/151.08	c  151s |      20 |  1136007 |   728227 |     3345    560 |        1 |        1
152.92/153.09	c  153s |      20 |  1146695 |   736727 |     3345    564 |        1 |        1
154.92/155.10	c  155s |      20 |  1155813 |   744527 |     3345    569 |        1 |        1
157.01/157.10	c  157s |      20 |  1166959 |   753127 |     3345    574 |        1 |        1
159.01/159.10	c  159s |      20 |  1178236 |   761427 |     3345    579 |        1 |        1
161.01/161.12	c  161s |      20 |  1188512 |   769927 |     3345    584 |        1 |        1
163.01/163.12	c  163s |      20 |  1200040 |   778927 |     3345    589 |        1 |        1
165.01/165.14	c  165s |      20 |  1211131 |   787727 |     3345    594 |        1 |        1
167.01/167.16	c  167s |      20 |  1221871 |   796327 |     3345    599 |        1 |        1
169.00/169.16	c  169s |      20 |  1232135 |   804727 |     3345    604 |        1 |        1
171.01/171.16	c  171s |      20 |  1242128 |   812927 |     3345    609 |        1 |        1
173.01/173.17	c  173s |      20 |  1251854 |   821027 |     3345    614 |        1 |        1
175.01/175.19	c  175s |      20 |  1263250 |   829627 |     3345    619 |        1 |        1
177.01/177.20	c  177s |      20 |  1275913 |   838527 |     3345    624 |        1 |        1
179.10/179.21	c  179s |      20 |  1295788 |   847827 |     3345    629 |        1 |        1
181.10/181.21	c  181s |      20 |  1308216 |   856727 |     3345    634 |        1 |        1
183.10/183.22	c  183s |      20 |  1323107 |   865527 |     3345    640 |        1 |        1
185.10/185.22	c  185s |      20 |  1336783 |   874727 |     3345    645 |        1 |        1
187.09/187.24	c  187s |      20 |  1349156 |   883227 |     3345    650 |        1 |        1
189.10/189.25	c  189s |      20 |  1359457 |   891827 |     3345    655 |        1 |        1
191.09/191.26	c  191s |      20 |  1370616 |   900627 |     3345    660 |        1 |        1
193.09/193.27	c  193s |      20 |  1382499 |   909027 |     3345    665 |        1 |        1
195.09/195.27	c  195s |      20 |  1397174 |   917327 |     3345    670 |        1 |        1
197.19/197.30	c  197s |      20 |  1411988 |   925927 |     3345    675 |        1 |        1
199.18/199.32	c  199s |      20 |  1423530 |   934027 |     3345    680 |        1 |        1
201.19/201.33	c  201s |      20 |  1434722 |   942527 |     3345    684 |        1 |        1
203.18/203.33	c  203s |      20 |  1443929 |   950227 |     3345    689 |        1 |        1
205.18/205.35	c  205s |      20 |  1453660 |   958327 |     3345    694 |        1 |        1
207.18/207.37	c  207s |      20 |  1463689 |   966427 |     3345    698 |        1 |        1
209.18/209.37	c  209s |      20 |  1475296 |   976327 |     3345    704 |        1 |        1
211.20/211.38	c  211s |      20 |  1487855 |   986027 |     3345    710 |        1 |        1
213.19/213.38	c  213s |      20 |  1501027 |   995827 |     3680    715 |        1 |        1
214.29/214.41	c  214s |      21 |  1506900 |  1000345 |     3680    718 |        1 |        1
216.29/216.42	c  216s |      21 |  1517825 |  1008845 |     3680    722 |        1 |        1
218.28/218.42	c  218s |      21 |  1529631 |  1017545 |     3680    727 |        1 |        1
220.28/220.44	c  220s |      21 |  1542254 |  1026445 |     3680    732 |        1 |        1
222.28/222.45	c  222s |      21 |  1557718 |  1035745 |     3680    737 |        1 |        1
224.29/224.46	c  224s |      21 |  1570175 |  1044445 |     3680    741 |        1 |        1
226.28/226.47	c  226s |      21 |  1584010 |  1052945 |     3680    746 |        1 |        1
228.27/228.48	c  228s |      21 |  1599037 |  1062345 |     3680    751 |        1 |        1
230.28/230.49	c  230s |      21 |  1613742 |  1071845 |     3680    756 |        1 |        1
232.38/232.50	c  232s |      21 |  1629325 |  1081045 |     3680    761 |        1 |        1
234.38/234.51	c  234s |      21 |  1643850 |  1089645 |     3680    765 |        1 |        1
236.38/236.52	c  236s |      21 |  1656018 |  1097945 |     3680    770 |        1 |        1
238.37/238.52	c  238s |      21 |  1673387 |  1106345 |     3680    774 |        1 |        1
240.37/240.52	c  240s |      21 |  1689742 |  1114845 |     3680    779 |        1 |        1
242.37/242.54	c  242s |      21 |  1701957 |  1123245 |     3680    783 |        1 |        1
244.37/244.55	c  244s |      21 |  1715001 |  1132145 |     3680    788 |        1 |        1
246.38/246.56	c  246s |      21 |  1725189 |  1140245 |     3680    792 |        1 |        1
248.36/248.57	c  248s |      21 |  1739713 |  1148745 |     3680    797 |        1 |        1
250.36/250.59	c  250s |      21 |  1753047 |  1157345 |     3680    801 |        1 |        1
252.46/252.60	c  252s |      21 |  1763906 |  1165445 |     3680    806 |        1 |        1
254.46/254.60	c  254s |      21 |  1773255 |  1173245 |     3680    810 |        1 |        1
256.46/256.61	c  256s |      21 |  1783780 |  1181145 |     3680    814 |        1 |        1
258.46/258.63	c  258s |      21 |  1793512 |  1189345 |     3680    818 |        1 |        1
260.46/260.65	c  260s |      21 |  1804126 |  1197345 |     3680    823 |        1 |        1
262.46/262.67	c  262s |      21 |  1813943 |  1205545 |     3680    827 |        1 |        1
264.45/264.68	c  264s |      21 |  1824825 |  1213545 |     3680    831 |        1 |        1
266.55/266.70	c  266s |      21 |  1834015 |  1221345 |     3680    835 |        1 |        1
268.55/268.72	c  268s |      21 |  1843017 |  1229245 |     3680    839 |        1 |        1
270.56/270.74	c  270s |      21 |  1852387 |  1237445 |     3680    844 |        1 |        1
272.55/272.76	c  272s |      21 |  1862398 |  1245245 |     3680    848 |        1 |        1
274.56/274.77	c  274s |      21 |  1876515 |  1253145 |     3680    852 |        1 |        1
276.55/276.77	c  276s |      21 |  1887466 |  1261345 |     3680    856 |        1 |        1
278.55/278.79	c  278s |      21 |  1897084 |  1269545 |     3680    861 |        1 |        1
280.55/280.79	c  280s |      21 |  1906669 |  1277645 |     3680    865 |        1 |        1
282.55/282.80	c  282s |      21 |  1916849 |  1286345 |     3680    870 |        1 |        1
284.65/284.84	c  284s |      21 |  1927614 |  1295345 |     3680    875 |        1 |        1
286.64/286.85	c  286s |      21 |  1938183 |  1303845 |     3680    879 |        1 |        1
288.64/288.86	c  288s |      21 |  1949323 |  1312745 |     3680    884 |        1 |        1
290.64/290.88	c  290s |      21 |  1960418 |  1321545 |     3680    888 |        1 |        1
292.74/292.90	c  292s |      21 |  1972340 |  1330545 |     3680    893 |        1 |        1
294.64/294.90	c  294s |      21 |  1983030 |  1339045 |     3680    898 |        1 |        1
296.73/296.91	c  296s |      21 |  1996961 |  1348145 |     3680    903 |        1 |        1
298.73/298.94	c  298s |      21 |  2010225 |  1357345 |     3680    908 |        1 |        1
300.73/300.94	c  300s |      21 |  2022573 |  1365945 |     3680    912 |        1 |        1
302.73/302.95	c  302s |      21 |  2034217 |  1374945 |     3680    917 |        1 |        1
304.73/304.97	c  304s |      21 |  2044896 |  1383645 |     3680    922 |        1 |        1
306.73/306.99	c  306s |      21 |  2055861 |  1392145 |     3680    926 |        1 |        1
308.73/308.99	c  308s |      21 |  2065713 |  1400345 |     3680    930 |        1 |        1
310.83/311.01	c  310s |      21 |  2075364 |  1408445 |     3680    935 |        1 |        1
312.83/313.01	c  312s |      21 |  2086986 |  1416345 |     3680    939 |        1 |        1
314.83/315.03	c  314s |      21 |  2099285 |  1424745 |     3680    943 |        1 |        1
316.83/317.04	c  317s |      21 |  2109129 |  1432745 |     3680    948 |        1 |        1
318.84/319.06	c  319s |      21 |  2121033 |  1441145 |     3680    952 |        1 |        1
320.83/321.09	c  321s |      21 |  2132616 |  1449545 |     3680    957 |        1 |        1
322.93/323.10	c  323s |      21 |  2141935 |  1457245 |     3680    961 |        1 |        1
324.93/325.11	c  325s |      21 |  2152818 |  1465345 |     3680    965 |        1 |        1
326.92/327.12	c  327s |      21 |  2164290 |  1473245 |     3680    969 |        1 |        1
328.92/329.13	c  329s |      21 |  2177402 |  1481245 |     3680    973 |        1 |        1
330.93/331.13	c  331s |      21 |  2189520 |  1489245 |     3680    978 |        1 |        1
332.92/333.13	c  333s |      21 |  2201124 |  1497045 |     4049    981 |        1 |        1
333.82/334.00	c  333s |      22 |  2206342 |  1500622 |     4049    983 |        1 |        1
335.83/336.01	c  335s |      22 |  2219352 |  1509022 |     4049    987 |        1 |        1
337.82/338.03	c  337s |      22 |  2230080 |  1517522 |     4049    991 |        1 |        1
339.83/340.05	c  340s |      22 |  2241492 |  1526022 |     4049    995 |        1 |        1
341.82/342.06	c  342s |      22 |  2254394 |  1533822 |     4049    999 |        1 |        1
343.82/344.07	c  344s |      22 |  2265060 |  1541622 |     4049   1003 |        1 |        1
345.82/346.09	c  346s |      22 |  2280741 |  1549822 |     4049   1007 |        1 |        1
347.81/348.10	c  348s |      22 |  2292125 |  1557422 |     4049   1010 |        1 |        1
349.91/350.10	c  350s |      22 |  2301696 |  1564922 |     4049   1014 |        1 |        1
351.92/352.11	c  352s |      22 |  2314386 |  1572622 |     4049   1018 |        1 |        1
353.91/354.14	c  354s |      22 |  2327090 |  1580522 |     4049   1022 |        1 |        1
355.91/356.17	c  356s |      22 |  2338203 |  1588522 |     4049   1026 |        1 |        1
357.91/358.19	c  358s |      22 |  2352162 |  1596922 |     4049   1030 |        1 |        1
360.01/360.21	c  360s |      22 |  2363850 |  1605022 |     4049   1034 |        1 |        1
362.00/362.22	c  362s |      22 |  2374465 |  1612822 |     4049   1037 |        1 |        1
364.01/364.23	c  364s |      22 |  2383143 |  1620122 |     4049   1041 |        1 |        1
366.00/366.25	c  366s |      22 |  2397385 |  1628222 |     4049   1045 |        1 |        1
368.00/368.27	c  368s |      22 |  2407066 |  1635722 |     4049   1048 |        1 |        1
370.00/370.28	c  370s |      22 |  2417868 |  1643322 |     4049   1052 |        1 |        1
372.00/372.28	c  372s |      22 |  2427794 |  1651122 |     4049   1056 |        1 |        1
374.09/374.33	c  374s |      22 |  2436666 |  1658622 |     4049   1060 |        1 |        1
376.10/376.35	c  376s |      22 |  2446857 |  1666522 |     4049   1063 |        1 |        1
378.09/378.37	c  378s |      22 |  2455345 |  1673622 |     4049   1067 |        1 |        1
380.09/380.37	c  380s |      22 |  2465478 |  1681322 |     4049   1070 |        1 |        1
382.09/382.37	c  382s |      22 |  2476573 |  1689022 |     4049   1074 |        1 |        1
384.09/384.39	c  384s |      22 |  2485689 |  1696222 |     4049   1078 |        1 |        1
386.09/386.39	c  386s |      22 |  2494496 |  1703622 |     4049   1081 |        1 |        1
388.19/388.42	c  388s |      22 |  2504876 |  1710822 |     4049   1085 |        1 |        1
390.18/390.44	c  390s |      22 |  2514224 |  1718222 |     4049   1088 |        1 |        1
392.19/392.45	c  392s |      22 |  2523059 |  1725522 |     4049   1092 |        1 |        1
394.19/394.46	c  394s |      22 |  2533054 |  1733022 |     4049   1095 |        1 |        1
396.19/396.46	c  396s |      22 |  2544964 |  1741022 |     4049   1099 |        1 |        1
398.19/398.48	c  398s |      22 |  2554046 |  1748622 |     4049   1103 |        1 |        1
400.20/400.49	c  400s |      22 |  2563442 |  1756522 |     4049   1107 |        1 |        1
402.29/402.51	c  402s |      22 |  2573439 |  1764722 |     4049   1111 |        1 |        1
404.29/404.52	c  404s |      22 |  2583589 |  1772822 |     4049   1115 |        1 |        1
406.29/406.53	c  406s |      22 |  2593689 |  1781022 |     4049   1119 |        1 |        1
408.28/408.54	c  408s |      22 |  2603505 |  1788622 |     4049   1122 |        1 |        1
410.28/410.56	c  410s |      22 |  2613916 |  1796222 |     4049   1126 |        1 |        1
412.29/412.59	c  412s |      22 |  2623055 |  1803722 |     4049   1130 |        1 |        1
414.38/414.61	c  414s |      22 |  2633689 |  1811822 |     4049   1134 |        1 |        1
416.38/416.63	c  416s |      22 |  2643248 |  1820122 |     4049   1138 |        1 |        1
418.37/418.64	c  418s |      22 |  2652735 |  1828122 |     4049   1141 |        1 |        1
420.37/420.65	c  420s |      22 |  2663546 |  1836422 |     4049   1145 |        1 |        1
422.37/422.68	c  422s |      22 |  2674037 |  1844722 |     4049   1150 |        1 |        1
424.38/424.70	c  424s |      22 |  2684632 |  1853122 |     4049   1154 |        1 |        1
426.47/426.72	c  426s |      22 |  2695651 |  1860922 |     4049   1157 |        1 |        1
428.47/428.74	c  428s |      22 |  2705358 |  1868722 |     4049   1161 |        1 |        1
430.47/430.76	c  430s |      22 |  2715731 |  1876722 |     4049   1165 |        1 |        1
432.47/432.77	c  432s |      22 |  2726641 |  1885122 |     4049   1169 |        1 |        1
434.47/434.80	c  434s |      22 |  2736226 |  1893222 |     4049   1173 |        1 |        1
436.47/436.80	c  436s |      22 |  2747633 |  1901222 |     4049   1177 |        1 |        1
438.56/438.82	c  438s |      22 |  2757980 |  1909122 |     4049   1181 |        1 |        1
440.56/440.87	c  440s |      22 |  2767197 |  1916922 |     4049   1185 |        1 |        1
442.65/442.90	c  442s |      22 |  2775833 |  1924522 |     4049   1188 |        1 |        1
444.65/444.91	c  444s |      22 |  2785603 |  1933022 |     4049   1192 |        1 |        1
446.65/446.93	c  446s |      22 |  2795999 |  1941622 |     4049   1197 |        1 |        1
448.66/448.96	c  448s |      22 |  2805667 |  1949822 |     4049   1201 |        1 |        1
450.65/450.97	c  450s |      22 |  2815245 |  1957822 |     4049   1204 |        1 |        1
452.65/452.99	c  452s |      22 |  2825038 |  1965922 |     4049   1208 |        1 |        1
454.75/455.00	c  454s |      22 |  2834834 |  1973922 |     4049   1212 |        1 |        1
456.74/457.02	c  456s |      22 |  2844180 |  1981522 |     4049   1216 |        1 |        1
458.74/459.03	c  458s |      22 |  2852740 |  1988922 |     4049   1219 |        1 |        1
460.75/461.04	c  461s |      22 |  2863748 |  1996922 |     4049   1223 |        1 |        1
462.74/463.06	c  463s |      22 |  2875988 |  2004422 |     4049   1227 |        1 |        1
464.84/465.10	c  465s |      22 |  2886026 |  2011822 |     4049   1231 |        1 |        1
466.84/467.12	c  467s |      22 |  2898041 |  2020222 |     4049   1235 |        1 |        1
468.83/469.13	c  469s |      22 |  2908725 |  2028922 |     4049   1239 |        1 |        1
470.83/471.15	c  471s |      22 |  2919548 |  2037022 |     4049   1243 |        1 |        1
472.85/473.16	c  473s |      22 |  2929051 |  2044822 |     4049   1246 |        1 |        1
474.84/475.16	c  475s |      22 |  2938068 |  2052722 |     4049   1250 |        1 |        1
476.84/477.17	c  477s |      22 |  2947992 |  2060822 |     4049   1254 |        1 |        1
478.83/479.17	c  479s |      22 |  2959375 |  2068822 |     4049   1258 |        1 |        1
480.83/481.19	c  481s |      22 |  2971272 |  2077022 |     4049   1262 |        1 |        1
482.83/483.19	c  483s |      22 |  2982845 |  2085122 |     4049   1266 |        1 |        1
484.84/485.20	c  485s |      22 |  2994987 |  2093522 |     4049   1270 |        1 |        1
486.93/487.23	c  487s |      22 |  3007381 |  2101822 |     4049   1274 |        1 |        1
488.92/489.25	c  489s |      22 |  3019848 |  2109822 |     4049   1278 |        1 |        1
490.92/491.25	c  491s |      22 |  3033395 |  2118022 |     4049   1282 |        1 |        1
492.92/493.26	c  493s |      22 |  3043840 |  2125422 |     4049   1286 |        1 |        1
494.92/495.28	c  495s |      22 |  3052324 |  2132522 |     4049   1289 |        1 |        1
496.93/497.28	c  497s |      22 |  3062147 |  2139722 |     4049   1292 |        1 |        1
499.02/499.31	c  499s |      22 |  3072575 |  2147422 |     4049   1296 |        1 |        1
501.02/501.31	c  501s |      22 |  3083580 |  2155122 |     4049   1300 |        1 |        1
503.02/503.32	c  503s |      22 |  3094236 |  2162722 |     4049   1303 |        1 |        1
505.02/505.33	c  505s |      22 |  3105427 |  2170322 |     4049   1307 |        1 |        1
507.02/507.33	c  507s |      22 |  3114889 |  2176822 |     4049   1310 |        1 |        1
509.02/509.35	c  509s |      22 |  3123896 |  2183622 |     4049   1314 |        1 |        1
511.01/511.35	c  511s |      22 |  3134626 |  2190922 |     4049   1317 |        1 |        1
513.01/513.37	c  513s |      22 |  3143653 |  2197822 |     4049   1320 |        1 |        1
515.01/515.38	c  515s |      22 |  3154189 |  2204922 |     4049   1324 |        1 |        1
517.01/517.39	c  517s |      22 |  3166005 |  2211222 |     4049   1327 |        1 |        1
519.11/519.40	c  519s |      22 |  3179226 |  2219022 |     4049   1331 |        1 |        1
521.11/521.44	c  521s |      22 |  3199627 |  2227122 |     4049   1335 |        1 |        1
523.11/523.47	c  523s |      22 |  3213575 |  2235122 |     4454   1338 |        1 |        1
525.11/525.48	c  525s |      22 |  3228491 |  2242522 |     4454   1341 |        1 |        1
527.10/527.49	c  527s |      22 |  3242805 |  2249622 |     4454   1345 |        1 |        1
527.50/527.84	c  527s |      23 |  3246161 |  2251038 |     4454   1345 |        1 |        1
529.50/529.89	c  529s |      23 |  3259595 |  2258438 |     4454   1349 |        1 |        1
531.60/531.91	c  531s |      23 |  3274137 |  2265838 |     4454   1352 |        1 |        1
533.60/533.93	c  533s |      23 |  3289393 |  2273638 |     4454   1355 |        1 |        1
535.60/535.97	c  535s |      23 |  3303806 |  2281038 |     4454   1358 |        1 |        1
537.60/537.99	c  537s |      23 |  3315614 |  2288238 |     4454   1362 |        1 |        1
539.70/540.00	c  539s |      23 |  3328801 |  2295938 |     4454   1365 |        1 |        1
541.70/542.01	c  541s |      23 |  3337578 |  2302838 |     4454   1368 |        1 |        1
543.70/544.03	c  543s |      23 |  3349135 |  2310338 |     4454   1371 |        1 |        1
545.70/546.06	c  546s |      23 |  3358042 |  2317138 |     4454   1374 |        1 |        1
547.69/548.07	c  548s |      23 |  3369935 |  2325238 |     4454   1378 |        1 |        1
549.70/550.09	c  550s |      23 |  3380060 |  2332738 |     4454   1381 |        1 |        1
551.79/552.10	c  552s |      23 |  3390249 |  2340238 |     4454   1385 |        1 |        1
553.79/554.11	c  554s |      23 |  3404590 |  2348338 |     4454   1388 |        1 |        1
555.79/556.13	c  556s |      23 |  3416279 |  2356038 |     4454   1391 |        1 |        1
557.78/558.14	c  558s |      23 |  3428486 |  2363638 |     4454   1395 |        1 |        1
559.78/560.16	c  560s |      23 |  3441756 |  2371338 |     4454   1398 |        1 |        1
561.80/562.18	c  562s |      23 |  3458266 |  2379138 |     4454   1402 |        1 |        1
563.79/564.18	c  564s |      23 |  3472350 |  2386738 |     4454   1405 |        1 |        1
565.79/566.19	c  566s |      23 |  3483520 |  2394138 |     4454   1408 |        1 |        1
567.89/568.21	c  568s |      23 |  3494098 |  2401338 |     4454   1411 |        1 |        1
569.88/570.21	c  570s |      23 |  3501710 |  2407838 |     4454   1414 |        1 |        1
571.88/572.21	c  572s |      23 |  3509759 |  2414538 |     4454   1417 |        1 |        1
573.89/574.22	c  574s |      23 |  3518777 |  2421838 |     4454   1421 |        1 |        1
575.88/576.22	c  576s |      23 |  3530363 |  2429738 |     4454   1424 |        1 |        1
577.88/578.23	c  578s |      23 |  3543700 |  2437538 |     4454   1427 |        1 |        1
579.88/580.24	c  580s |      23 |  3555970 |  2445138 |     4454   1431 |        1 |        1
581.97/582.31	c  582s |      23 |  3567466 |  2452738 |     4454   1434 |        1 |        1
583.97/584.32	c  584s |      23 |  3582894 |  2460338 |     4454   1438 |        1 |        1
585.99/586.34	c  586s |      23 |  3596062 |  2467838 |     4454   1441 |        1 |        1
587.98/588.34	c  588s |      23 |  3606573 |  2475438 |     4454   1444 |        1 |        1
589.97/590.37	c  590s |      23 |  3618970 |  2483438 |     4454   1448 |        1 |        1
591.97/592.38	c  592s |      23 |  3628787 |  2491038 |     4454   1451 |        1 |        1
593.97/594.39	c  594s |      23 |  3638512 |  2498738 |     4454   1454 |        1 |        1
596.08/596.41	c  596s |      23 |  3648652 |  2506338 |     4454   1458 |        1 |        1
598.07/598.42	c  598s |      23 |  3658015 |  2514238 |     4454   1461 |        1 |        1
600.06/600.43	c  600s |      23 |  3670438 |  2522938 |     4454   1465 |        1 |        1
602.06/602.44	c  602s |      23 |  3681410 |  2530838 |     4454   1469 |        1 |        1
604.06/604.48	c  604s |      23 |  3693327 |  2538638 |     4454   1472 |        1 |        1
606.17/606.51	c  606s |      23 |  3707593 |  2546638 |     4454   1476 |        1 |        1
608.15/608.52	c  608s |      23 |  3717958 |  2554238 |     4454   1479 |        1 |        1
610.17/610.52	c  610s |      23 |  3728686 |  2561738 |     4454   1482 |        1 |        1
612.16/612.55	c  612s |      23 |  3739585 |  2569238 |     4454   1485 |        1 |        1
614.15/614.56	c  614s |      23 |  3753040 |  2577038 |     4454   1489 |        1 |        1
616.16/616.57	c  616s |      23 |  3765813 |  2584238 |     4454   1492 |        1 |        1
618.15/618.57	c  618s |      23 |  3782154 |  2591938 |     4454   1495 |        1 |        1
620.16/620.58	c  620s |      23 |  3794406 |  2599738 |     4454   1499 |        1 |        1
622.15/622.60	c  622s |      23 |  3806025 |  2606838 |     4454   1502 |        1 |        1
624.25/624.60	c  624s |      23 |  3817557 |  2614138 |     4454   1505 |        1 |        1
626.25/626.62	c  626s |      23 |  3831712 |  2621738 |     4454   1509 |        1 |        1
628.24/628.63	c  628s |      23 |  3841925 |  2628738 |     4454   1512 |        1 |        1
630.25/630.64	c  630s |      23 |  3852041 |  2635738 |     4454   1515 |        1 |        1
632.25/632.65	c  632s |      23 |  3864300 |  2642738 |     4454   1518 |        1 |        1
634.24/634.65	c  634s |      23 |  3877581 |  2650138 |     4454   1521 |        1 |        1
636.24/636.67	c  636s |      23 |  3887281 |  2657238 |     4454   1524 |        1 |        1
638.24/638.69	c  638s |      23 |  3898816 |  2664338 |     4454   1527 |        1 |        1
640.34/640.70	c  640s |      23 |  3911141 |  2671538 |     4454   1531 |        1 |        1
642.34/642.71	c  642s |      23 |  3921145 |  2678738 |     4454   1534 |        1 |        1
644.34/644.73	c  644s |      23 |  3929726 |  2685938 |     4454   1537 |        1 |        1
646.33/646.73	c  646s |      23 |  3940136 |  2693838 |     4454   1540 |        1 |        1
648.43/648.80	c  648s |      23 |  3951654 |  2702138 |     4454   1544 |        1 |        1
650.44/650.81	c  650s |      23 |  3963918 |  2710238 |     4454   1548 |        1 |        1
652.43/652.82	c  652s |      23 |  3974855 |  2718238 |     4454   1551 |        1 |        1
654.43/654.83	c  654s |      23 |  3985501 |  2725938 |     4454   1555 |        1 |        1
656.44/656.86	c  656s |      23 |  3994833 |  2733138 |     4454   1558 |        1 |        1
658.43/658.88	c  658s |      23 |  4008833 |  2740638 |     4454   1561 |        1 |        1
660.43/660.90	c  660s |      23 |  4020587 |  2748138 |     4454   1564 |        1 |        1
662.53/662.91	c  662s |      23 |  4035401 |  2755438 |     4454   1568 |        1 |        1
664.53/664.91	c  664s |      23 |  4046475 |  2763038 |     4454   1571 |        1 |        1
666.53/666.93	c  666s |      23 |  4057877 |  2770238 |     4454   1574 |        1 |        1
668.53/668.93	c  668s |      23 |  4067916 |  2777238 |     4454   1577 |        1 |        1
670.53/670.94	c  670s |      23 |  4083334 |  2784738 |     4454   1580 |        1 |        1
672.52/672.96	c  672s |      23 |  4096418 |  2792338 |     4454   1584 |        1 |        1
674.52/674.96	c  674s |      23 |  4106016 |  2798838 |     4454   1587 |        1 |        1
676.52/676.97	c  676s |      23 |  4115582 |  2806538 |     4454   1590 |        1 |        1
678.62/679.00	c  678s |      23 |  4124736 |  2813938 |     4454   1593 |        1 |        1
680.63/681.03	c  680s |      23 |  4134768 |  2821338 |     4454   1597 |        1 |        1
682.62/683.05	c  683s |      23 |  4145049 |  2828938 |     4454   1600 |        1 |        1
684.62/685.06	c  685s |      23 |  4155931 |  2836238 |     4454   1603 |        1 |        1
686.62/687.07	c  687s |      23 |  4165642 |  2843438 |     4454   1606 |        1 |        1
688.62/689.08	c  689s |      23 |  4175612 |  2850538 |     4454   1609 |        1 |        1
690.62/691.10	c  691s |      23 |  4186068 |  2857438 |     4454   1613 |        1 |        1
692.73/693.12	c  693s |      23 |  4198315 |  2864438 |     4454   1616 |        1 |        1
694.72/695.12	c  695s |      23 |  4208562 |  2871438 |     4454   1619 |        1 |        1
696.72/697.16	c  697s |      23 |  4219425 |  2878438 |     4454   1622 |        1 |        1
698.72/699.17	c  699s |      23 |  4231103 |  2885238 |     4454   1625 |        1 |        1
700.72/701.18	c  701s |      23 |  4243529 |  2892738 |     4454   1628 |        1 |        1
702.82/703.20	c  703s |      23 |  4257109 |  2899838 |     4454   1631 |        1 |        1
704.83/705.22	c  705s |      23 |  4267677 |  2906838 |     4454   1634 |        1 |        1
706.82/707.24	c  707s |      23 |  4276356 |  2913738 |     4454   1637 |        1 |        1
708.82/709.24	c  709s |      23 |  4285091 |  2920338 |     4454   1640 |        1 |        1
710.82/711.25	c  711s |      23 |  4293398 |  2927138 |     4454   1643 |        1 |        1
712.81/713.26	c  713s |      23 |  4302128 |  2934038 |     4454   1646 |        1 |        1
714.81/715.29	c  715s |      23 |  4311540 |  2940838 |     4454   1649 |        1 |        1
716.82/717.30	c  717s |      23 |  4321885 |  2948438 |     4454   1653 |        1 |        1
718.91/719.30	c  719s |      23 |  4334325 |  2956238 |     4454   1656 |        1 |        1
720.91/721.31	c  721s |      23 |  4344992 |  2963738 |     4454   1659 |        1 |        1
722.91/723.32	c  723s |      23 |  4356569 |  2971238 |     4454   1663 |        1 |        1
724.91/725.34	c  725s |      23 |  4369919 |  2978838 |     4454   1666 |        1 |        1
726.91/727.36	c  727s |      23 |  4382394 |  2986538 |     4454   1669 |        1 |        1
728.92/729.37	c  729s |      23 |  4392097 |  2993538 |     4454   1673 |        1 |        1
730.91/731.38	c  731s |      23 |  4400763 |  3000538 |     4454   1676 |        1 |        1
732.91/733.39	c  733s |      23 |  4411327 |  3007938 |     4454   1679 |        1 |        1
734.91/735.39	c  735s |      23 |  4421307 |  3015138 |     4454   1682 |        1 |        1
737.01/737.40	c  737s |      23 |  4430888 |  3022638 |     4454   1685 |        1 |        1
739.01/739.42	c  739s |      23 |  4440770 |  3030638 |     4454   1689 |        1 |        1
741.01/741.44	c  741s |      23 |  4451410 |  3038438 |     4454   1692 |        1 |        1
743.01/743.45	c  743s |      23 |  4463031 |  3046538 |     4454   1696 |        1 |        1
745.01/745.48	c  745s |      23 |  4472201 |  3054038 |     4454   1699 |        1 |        1
747.01/747.49	c  747s |      23 |  4481028 |  3061038 |     4454   1702 |        1 |        1
749.11/749.51	c  749s |      23 |  4489145 |  3067138 |     4454   1705 |        1 |        1
751.11/751.52	c  751s |      23 |  4501588 |  3074838 |     4454   1709 |        1 |        1
753.12/753.54	c  753s |      23 |  4511446 |  3081738 |     4454   1712 |        1 |        1
755.11/755.54	c  755s |      23 |  4521527 |  3089238 |     4454   1715 |        1 |        1
757.11/757.55	c  757s |      23 |  4531836 |  3096238 |     4454   1718 |        1 |        1
759.11/759.56	c  759s |      23 |  4540448 |  3102838 |     4454   1721 |        1 |        1
761.11/761.58	c  761s |      23 |  4551407 |  3110638 |     4454   1724 |        1 |        1
763.12/763.59	c  763s |      23 |  4561433 |  3117838 |     4454   1728 |        1 |        1
765.11/765.60	c  765s |      23 |  4573552 |  3125438 |     4454   1731 |        1 |        1
767.21/767.61	c  767s |      23 |  4584889 |  3132738 |     4454   1734 |        1 |        1
769.21/769.63	c  769s |      23 |  4595162 |  3140038 |     4454   1737 |        1 |        1
771.21/771.64	c  771s |      23 |  4606256 |  3147238 |     4454   1741 |        1 |        1
773.20/773.66	c  773s |      23 |  4615645 |  3154838 |     4454   1744 |        1 |        1
775.21/775.67	c  775s |      23 |  4626064 |  3162738 |     4454   1747 |        1 |        1
777.20/777.68	c  777s |      23 |  4635501 |  3170038 |     4454   1751 |        1 |        1
779.20/779.68	c  779s |      23 |  4644549 |  3177238 |     4454   1754 |        1 |        1
781.30/781.70	c  781s |      23 |  4652960 |  3184138 |     4454   1757 |        1 |        1
783.31/783.71	c  783s |      23 |  4662607 |  3191338 |     4454   1760 |        1 |        1
785.31/785.71	c  785s |      23 |  4670043 |  3197738 |     4454   1763 |        1 |        1
787.32/787.72	c  787s |      23 |  4680061 |  3205438 |     4454   1766 |        1 |        1
789.31/789.73	c  789s |      23 |  4689120 |  3212738 |     4454   1769 |        1 |        1
791.31/791.74	c  791s |      23 |  4696913 |  3219438 |     4454   1772 |        1 |        1
793.31/793.76	c  793s |      23 |  4706183 |  3226838 |     4454   1775 |        1 |        1
795.31/795.78	c  795s |      23 |  4714601 |  3233938 |     4454   1779 |        1 |        1
797.40/797.80	c  797s |      23 |  4722566 |  3240738 |     4454   1782 |        1 |        1
799.41/799.81	c  799s |      23 |  4732050 |  3248338 |     4454   1785 |        1 |        1
801.40/801.82	c  801s |      23 |  4741212 |  3255738 |     4454   1788 |        1 |        1
803.40/803.84	c  803s |      23 |  4750071 |  3262938 |     4454   1791 |        1 |        1
805.40/805.86	c  805s |      23 |  4758027 |  3269838 |     4454   1794 |        1 |        1
807.40/807.86	c  807s |      23 |  4767042 |  3277038 |     4454   1797 |        1 |        1
809.40/809.88	c  809s |      23 |  4775749 |  3284138 |     4454   1801 |        1 |        1
811.41/811.90	c  811s |      23 |  4788416 |  3291838 |     4454   1804 |        1 |        1
813.50/813.92	c  813s |      23 |  4797669 |  3298938 |     4454   1807 |        1 |        1
815.50/815.94	c  815s |      23 |  4806541 |  3306038 |     4454   1810 |        1 |        1
817.50/817.95	c  817s |      23 |  4814876 |  3313038 |     4454   1813 |        1 |        1
819.50/819.96	c  819s |      23 |  4824109 |  3320538 |     4454   1817 |        1 |        1
821.50/821.97	c  821s |      23 |  4834680 |  3328338 |     4454   1820 |        1 |        1
823.50/823.97	c  823s |      23 |  4845868 |  3336138 |     4454   1823 |        1 |        1
825.50/825.99	c  825s |      23 |  4857370 |  3343838 |     4454   1827 |        1 |        1
827.60/828.05	c  828s |      23 |  4867442 |  3351738 |     4454   1830 |        1 |        1
829.59/830.06	c  830s |      23 |  4877076 |  3358838 |     4900   1833 |        1 |        1
831.69/832.12	c  832s |      23 |  4885806 |  3365838 |     4900   1836 |        1 |        1
833.69/834.13	c  834s |      23 |  4894343 |  3373238 |     4900   1839 |        1 |        1
834.69/835.14	c  835s |      24 |  4898294 |  3376662 |     4900   1840 |        1 |        1
836.70/837.15	c  837s |      24 |  4909488 |  3384162 |     4900   1843 |        1 |        1
838.69/839.17	c  839s |      24 |  4921316 |  3391162 |     4900   1846 |        1 |        1
840.70/841.18	c  841s |      24 |  4936417 |  3399062 |     4900   1849 |        1 |        1
842.70/843.19	c  843s |      24 |  4947734 |  3406862 |     4900   1852 |        1 |        1
844.70/845.19	c  845s |      24 |  4960752 |  3415062 |     4900   1855 |        1 |        1
846.70/847.20	c  847s |      24 |  4974515 |  3423462 |     4900   1859 |        1 |        1
848.80/849.22	c  849s |      24 |  4983387 |  3430262 |     4900   1862 |        1 |        1
850.79/851.24	c  851s |      24 |  4997565 |  3438862 |     4900   1865 |        1 |        1
852.79/853.26	c  853s |      24 |  5007943 |  3446762 |     4900   1868 |        1 |        1
854.79/855.26	c  855s |      24 |  5018231 |  3454162 |     4900   1871 |        1 |        1
856.79/857.27	c  857s |      24 |  5027567 |  3461462 |     4900   1874 |        1 |        1
858.80/859.27	c  859s |      24 |  5037507 |  3469162 |     4900   1877 |        1 |        1
860.79/861.27	c  861s |      24 |  5047685 |  3476662 |     4900   1880 |        1 |        1
862.79/863.29	c  863s |      24 |  5058579 |  3484662 |     4900   1883 |        1 |        1
864.89/865.31	c  865s |      24 |  5079959 |  3494062 |     4900   1887 |        1 |        1
866.89/867.32	c  867s |      24 |  5101446 |  3503762 |     4900   1891 |        1 |        1
868.89/869.37	c  869s |      24 |  5116588 |  3512962 |     4900   1895 |        1 |        1
870.89/871.38	c  871s |      24 |  5129267 |  3521762 |     4900   1898 |        1 |        1
872.89/873.40	c  873s |      24 |  5144393 |  3530562 |     4900   1902 |        1 |        1
874.99/875.42	c  875s |      24 |  5157066 |  3539662 |     4900   1906 |        1 |        1
876.99/877.43	c  877s |      24 |  5170203 |  3548362 |     4900   1909 |        1 |        1
878.99/879.45	c  879s |      24 |  5183550 |  3556962 |     4900   1913 |        1 |        1
880.98/881.45	c  881s |      24 |  5195654 |  3565962 |     4900   1916 |        1 |        1
883.08/883.53	c  883s |      24 |  5205681 |  3574362 |     4900   1920 |        1 |        1
885.10/885.54	c  885s |      24 |  5217199 |  3583562 |     4900   1923 |        1 |        1
887.09/887.55	c  887s |      24 |  5229458 |  3592462 |     4900   1927 |        1 |        1
889.09/889.56	c  889s |      24 |  5241960 |  3601662 |     4900   1931 |        1 |        1
891.09/891.58	c  891s |      24 |  5255824 |  3610962 |     4900   1934 |        1 |        1
893.09/893.58	c  893s |      24 |  5268705 |  3619862 |     4900   1938 |        1 |        1
895.19/895.61	c  895s |      24 |  5280842 |  3628562 |     4900   1941 |        1 |        1
897.19/897.62	c  897s |      24 |  5294631 |  3637262 |     4900   1945 |        1 |        1
899.19/899.62	c  899s |      24 |  5307958 |  3646462 |     4900   1949 |        1 |        1
901.19/901.64	c  901s |      24 |  5322843 |  3655762 |     4900   1952 |        1 |        1
903.19/903.64	c  903s |      24 |  5341010 |  3665362 |     4900   1956 |        1 |        1
905.19/905.66	c  905s |      24 |  5354454 |  3675162 |     4900   1960 |        1 |        1
907.19/907.66	c  907s |      24 |  5371699 |  3684062 |     4900   1964 |        1 |        1
909.18/909.70	c  909s |      24 |  5389090 |  3693162 |     4900   1968 |        1 |        1
911.28/911.72	c  911s |      24 |  5401982 |  3701962 |     4900   1971 |        1 |        1
913.28/913.74	c  913s |      24 |  5419335 |  3711562 |     4900   1975 |        1 |        1
915.28/915.77	c  915s |      24 |  5430103 |  3719662 |     4900   1978 |        1 |        1
917.28/917.78	c  917s |      24 |  5442239 |  3728262 |     4900   1982 |        1 |        1
919.29/919.79	c  919s |      24 |  5455900 |  3737362 |     4900   1985 |        1 |        1
921.28/921.80	c  921s |      24 |  5466775 |  3746062 |     4900   1989 |        1 |        1
923.38/923.81	c  923s |      24 |  5480382 |  3755562 |     4900   1993 |        1 |        1
925.38/925.81	c  925s |      24 |  5494745 |  3764862 |     4900   1997 |        1 |        1
927.38/927.82	c  927s |      24 |  5507167 |  3774262 |     4900   2000 |        1 |        1
929.38/929.86	c  929s |      24 |  5522784 |  3783762 |     4900   2004 |        1 |        1
931.38/931.88	c  931s |      24 |  5540180 |  3793662 |     4900   2008 |        1 |        1
933.38/933.89	c  933s |      24 |  5552994 |  3802562 |     4900   2012 |        1 |        1
935.37/935.89	c  935s |      24 |  5569202 |  3811962 |     4900   2016 |        1 |        1
937.47/937.91	c  937s |      24 |  5583527 |  3821262 |     4900   2019 |        1 |        1
939.47/939.92	c  939s |      24 |  5599418 |  3830762 |     4900   2023 |        1 |        1
941.48/941.93	c  941s |      24 |  5618296 |  3840562 |     4900   2027 |        1 |        1
943.49/943.94	c  943s |      24 |  5631253 |  3849462 |     4900   2031 |        1 |        1
945.48/945.95	c  945s |      24 |  5645370 |  3858062 |     4900   2034 |        1 |        1
947.48/947.98	c  947s |      24 |  5655837 |  3866362 |     4900   2038 |        1 |        1
949.48/949.99	c  949s |      24 |  5665448 |  3874562 |     4900   2041 |        1 |        1
951.48/951.99	c  951s |      24 |  5680788 |  3883662 |     4900   2045 |        1 |        1
953.47/953.99	c  953s |      24 |  5694510 |  3892362 |     4900   2048 |        1 |        1
955.48/956.00	c  955s |      24 |  5706072 |  3900562 |     4900   2051 |        1 |        1
957.57/958.00	c  957s |      24 |  5717343 |  3909462 |     4900   2055 |        1 |        1
959.57/960.05	c  960s |      24 |  5728047 |  3918462 |     4900   2059 |        1 |        1
961.57/962.06	c  962s |      24 |  5740610 |  3927862 |     4900   2062 |        1 |        1
963.58/964.06	c  964s |      24 |  5751018 |  3936262 |     4900   2066 |        1 |        1
965.58/966.08	c  966s |      24 |  5763377 |  3945462 |     4900   2069 |        1 |        1
967.58/968.08	c  968s |      24 |  5773998 |  3953862 |     4900   2073 |        1 |        1
969.57/970.09	c  970s |      24 |  5784071 |  3962162 |     4900   2076 |        1 |        1
971.57/972.09	c  972s |      24 |  5793479 |  3970262 |     4900   2079 |        1 |        1
973.67/974.11	c  974s |      24 |  5803659 |  3978662 |     4900   2083 |        1 |        1
975.67/976.12	c  976s |      24 |  5813524 |  3987062 |     4900   2086 |        1 |        1
977.67/978.14	c  978s |      24 |  5823793 |  3995362 |     4900   2090 |        1 |        1
979.68/980.14	c  980s |      24 |  5834696 |  4003862 |     4900   2093 |        1 |        1
981.67/982.18	c  982s |      24 |  5845423 |  4012662 |     4900   2097 |        1 |        1
983.77/984.20	c  984s |      24 |  5855166 |  4020662 |     4900   2100 |        1 |        1
985.77/986.21	c  986s |      24 |  5866830 |  4029762 |     4900   2103 |        1 |        1
987.77/988.22	c  988s |      24 |  5878289 |  4038262 |     4900   2107 |        1 |        1
989.77/990.23	c  990s |      24 |  5891028 |  4047562 |     4900   2111 |        1 |        1
991.77/992.27	c  992s |      24 |  5905088 |  4057262 |     4900   2115 |        1 |        1
993.77/994.27	c  994s |      24 |  5919661 |  4066062 |     4900   2118 |        1 |        1
995.76/996.27	c  996s |      24 |  5933401 |  4074962 |     4900   2122 |        1 |        1
997.77/998.27	c  998s |      24 |  5943833 |  4083262 |     4900   2125 |        1 |        1
999.77/1000.28	c 1000s |      24 |  5955211 |  4091062 |     4900   2128 |        1 |        1
1001.77/1002.30	c 1002s |      24 |  5966873 |  4098962 |     4900   2131 |        1 |        1
1003.76/1004.30	c 1004s |      24 |  5979007 |  4107662 |     4900   2135 |        1 |        1
1005.87/1006.32	c 1006s |      24 |  5989344 |  4116062 |     4900   2138 |        1 |        1
1007.86/1008.33	c 1008s |      24 |  6000259 |  4123962 |     4900   2141 |        1 |        1
1009.87/1010.33	c 1010s |      24 |  6012976 |  4132662 |     4900   2145 |        1 |        1
1011.87/1012.39	c 1012s |      24 |  6024709 |  4141462 |     4900   2148 |        1 |        1
1013.97/1014.40	c 1014s |      24 |  6041683 |  4150462 |     4900   2152 |        1 |        1
1015.97/1016.42	c 1016s |      24 |  6055201 |  4159062 |     4900   2156 |        1 |        1
1017.96/1018.43	c 1018s |      24 |  6069076 |  4168662 |     4900   2159 |        1 |        1
1019.96/1020.44	c 1020s |      24 |  6082317 |  4177662 |     4900   2163 |        1 |        1
1021.96/1022.46	c 1022s |      24 |  6093196 |  4186262 |     4900   2167 |        1 |        1
1023.97/1024.47	c 1024s |      24 |  6104907 |  4195462 |     4900   2170 |        1 |        1
1025.98/1026.49	c 1026s |      24 |  6118252 |  4203962 |     4900   2174 |        1 |        1
1027.97/1028.50	c 1028s |      24 |  6132670 |  4212962 |     4900   2177 |        1 |        1
1030.06/1030.51	c 1030s |      24 |  6145074 |  4221862 |     4900   2181 |        1 |        1
1032.06/1032.53	c 1032s |      24 |  6157127 |  4231062 |     4900   2185 |        1 |        1
1034.06/1034.55	c 1034s |      24 |  6168999 |  4240462 |     4900   2188 |        1 |        1
1036.06/1036.56	c 1036s |      24 |  6184833 |  4250162 |     4900   2192 |        1 |        1
1038.07/1038.58	c 1038s |      24 |  6199084 |  4259562 |     4900   2196 |        1 |        1
1040.06/1040.59	c 1040s |      24 |  6211311 |  4268862 |     4900   2200 |        1 |        1
1042.16/1042.60	c 1042s |      24 |  6222520 |  4276762 |     4900   2203 |        1 |        1
1044.16/1044.62	c 1044s |      24 |  6233875 |  4285562 |     4900   2207 |        1 |        1
1046.16/1046.63	c 1046s |      24 |  6244032 |  4293662 |     4900   2210 |        1 |        1
1048.16/1048.64	c 1048s |      24 |  6253959 |  4302162 |     4900   2213 |        1 |        1
1050.17/1050.65	c 1050s |      24 |  6264337 |  4310962 |     4900   2217 |        1 |        1
1052.16/1052.67	c 1052s |      24 |  6275307 |  4319662 |     4900   2220 |        1 |        1
1054.16/1054.67	c 1054s |      24 |  6286927 |  4328762 |     4900   2224 |        1 |        1
1056.26/1056.70	c 1056s |      24 |  6297440 |  4337162 |     4900   2228 |        1 |        1
1058.26/1058.71	c 1058s |      24 |  6308255 |  4345462 |     4900   2231 |        1 |        1
1060.25/1060.72	c 1060s |      24 |  6319825 |  4353762 |     4900   2234 |        1 |        1
1062.27/1062.73	c 1062s |      24 |  6332914 |  4362362 |     4900   2238 |        1 |        1
1064.26/1064.73	c 1064s |      24 |  6345960 |  4371562 |     4900   2241 |        1 |        1
1066.26/1066.75	c 1066s |      24 |  6359056 |  4380662 |     4900   2245 |        1 |        1
1068.26/1068.75	c 1068s |      24 |  6369809 |  4389262 |     4900   2249 |        1 |        1
1070.26/1070.76	c 1070s |      24 |  6385118 |  4398462 |     4900   2252 |        1 |        1
1072.26/1072.77	c 1072s |      24 |  6401367 |  4407762 |     4900   2256 |        1 |        1
1074.26/1074.79	c 1074s |      24 |  6414626 |  4417062 |     4900   2260 |        1 |        1
1076.35/1076.81	c 1076s |      24 |  6430681 |  4426662 |     4900   2264 |        1 |        1
1078.36/1078.82	c 1078s |      24 |  6442283 |  4435262 |     4900   2267 |        1 |        1
1080.35/1080.82	c 1080s |      24 |  6454264 |  4443762 |     4900   2271 |        1 |        1
1082.35/1082.83	c 1082s |      24 |  6465450 |  4451862 |     4900   2274 |        1 |        1
1084.36/1084.84	c 1084s |      24 |  6476352 |  4460262 |     4900   2277 |        1 |        1
1086.36/1086.84	c 1086s |      24 |  6488432 |  4468762 |     4900   2281 |        1 |        1
1088.35/1088.85	c 1088s |      24 |  6499869 |  4476962 |     4900   2284 |        1 |        1
1090.46/1090.97	c 1090s |      24 |  6510941 |  4485262 |     4900   2288 |        1 |        1
1092.46/1092.97	c 1092s |      24 |  6524246 |  4494462 |     4900   2291 |        1 |        1
1094.45/1094.99	c 1094s |      24 |  6535239 |  4503062 |     4900   2295 |        1 |        1
1096.55/1097.01	c 1096s |      24 |  6546863 |  4511562 |     4900   2298 |        1 |        1
1098.56/1099.02	c 1098s |      24 |  6557051 |  4519462 |     4900   2301 |        1 |        1
1100.55/1101.04	c 1101s |      24 |  6566925 |  4527162 |     4900   2305 |        1 |        1
1102.55/1103.07	c 1103s |      24 |  6576994 |  4535162 |     4900   2308 |        1 |        1
1104.55/1105.07	c 1105s |      24 |  6586675 |  4543062 |     4900   2311 |        1 |        1
1106.55/1107.07	c 1107s |      24 |  6596351 |  4550862 |     4900   2314 |        1 |        1
1108.56/1109.08	c 1109s |      24 |  6606354 |  4559062 |     4900   2317 |        1 |        1
1110.56/1111.09	c 1111s |      24 |  6617094 |  4567462 |     4900   2321 |        1 |        1
1112.65/1113.15	c 1113s |      24 |  6628345 |  4576362 |     4900   2324 |        1 |        1
1114.65/1115.17	c 1115s |      24 |  6642089 |  4585462 |     4900   2328 |        1 |        1
1116.65/1117.18	c 1117s |      24 |  6653391 |  4593762 |     4900   2331 |        1 |        1
1118.65/1119.19	c 1119s |      24 |  6667042 |  4602162 |     4900   2335 |        1 |        1
1120.75/1121.20	c 1121s |      24 |  6678333 |  4610462 |     4900   2338 |        1 |        1
1122.66/1123.20	c 1123s |      24 |  6688913 |  4618562 |     4900   2342 |        1 |        1
1124.75/1125.21	c 1125s |      24 |  6703168 |  4627662 |     4900   2345 |        1 |        1
1126.74/1127.23	c 1127s |      24 |  6712938 |  4635862 |     4900   2348 |        1 |        1
1128.75/1129.23	c 1129s |      24 |  6725095 |  4645362 |     4900   2352 |        1 |        1
1130.74/1131.23	c 1131s |      24 |  6737309 |  4654362 |     4900   2356 |        1 |        1
1132.74/1133.25	c 1133s |      24 |  6751156 |  4664262 |     4900   2360 |        1 |        1
1134.75/1135.29	c 1135s |      24 |  6763232 |  4673062 |     4900   2364 |        1 |        1
1136.85/1137.30	c 1137s |      24 |  6776753 |  4682362 |     4900   2367 |        1 |        1
1138.85/1139.31	c 1139s |      24 |  6790904 |  4691362 |     4900   2371 |        1 |        1
1140.84/1141.31	c 1141s |      24 |  6803416 |  4700462 |     4900   2375 |        1 |        1
1142.84/1143.32	c 1143s |      24 |  6813725 |  4708562 |     4900   2378 |        1 |        1
1144.84/1145.33	c 1145s |      24 |  6823403 |  4716862 |     4900   2381 |        1 |        1
1146.85/1147.33	c 1147s |      24 |  6833502 |  4725362 |     4900   2385 |        1 |        1
1148.84/1149.34	c 1149s |      24 |  6843713 |  4733862 |     4900   2388 |        1 |        1
1150.84/1151.35	c 1151s |      24 |  6855371 |  4742762 |     4900   2392 |        1 |        1
1152.84/1153.35	c 1153s |      24 |  6867105 |  4751962 |     4900   2395 |        1 |        1
1154.95/1155.42	c 1155s |      24 |  6877896 |  4760662 |     4900   2399 |        1 |        1
1156.95/1157.44	c 1157s |      24 |  6888322 |  4769562 |     4900   2403 |        1 |        1
1158.95/1159.46	c 1159s |      24 |  6898804 |  4778362 |     4900   2406 |        1 |        1
1160.94/1161.46	c 1161s |      24 |  6910183 |  4787562 |     4900   2410 |        1 |        1
1162.94/1163.48	c 1163s |      24 |  6921165 |  4796362 |     4900   2413 |        1 |        1
1165.05/1165.53	c 1165s |      24 |  6932097 |  4805162 |     4900   2417 |        1 |        1
1167.04/1167.54	c 1167s |      24 |  6942473 |  4813962 |     4900   2420 |        1 |        1
1169.04/1169.54	c 1169s |      24 |  6955697 |  4822962 |     4900   2424 |        1 |        1
1171.05/1171.55	c 1171s |      24 |  6969064 |  4831462 |     4900   2428 |        1 |        1
1173.04/1173.57	c 1173s |      24 |  6982577 |  4839862 |     4900   2431 |        1 |        1
1175.04/1175.59	c 1175s |      24 |  6993240 |  4847762 |     4900   2434 |        1 |        1
1177.05/1177.59	c 1177s |      24 |  7003119 |  4855662 |     4900   2437 |        1 |        1
1179.14/1179.60	c 1179s |      24 |  7012884 |  4863462 |     4900   2440 |        1 |        1
1181.14/1181.60	c 1181s |      24 |  7024871 |  4871362 |     4900   2444 |        1 |        1
1183.15/1183.62	c 1183s |      24 |  7036950 |  4879662 |     4900   2447 |        1 |        1
1185.14/1185.63	c 1185s |      24 |  7049662 |  4888762 |     4900   2451 |        1 |        1
1187.14/1187.65	c 1187s |      24 |  7062919 |  4897662 |     4900   2454 |        1 |        1
1189.14/1189.67	c 1189s |      24 |  7076226 |  4906762 |     4900   2458 |        1 |        1
1191.14/1191.68	c 1191s |      24 |  7089468 |  4915762 |     4900   2461 |        1 |        1
1193.14/1193.69	c 1193s |      24 |  7100409 |  4924362 |     4900   2465 |        1 |        1
1195.14/1195.69	c 1195s |      24 |  7117773 |  4932962 |     4900   2468 |        1 |        1
1197.23/1197.71	c 1197s |      24 |  7132537 |  4942162 |     4900   2472 |        1 |        1
1199.23/1199.72	c 1199s |      24 |  7149078 |  4950962 |     4900   2476 |        1 |        1
1201.23/1201.74	c 1201s |      24 |  7165276 |  4960162 |     4900   2479 |        1 |        1
1203.23/1203.74	c 1203s |      24 |  7177294 |  4968262 |     4900   2483 |        1 |        1
1205.24/1205.75	c 1205s |      24 |  7191516 |  4977462 |     4900   2486 |        1 |        1
1207.23/1207.76	c 1207s |      24 |  7202405 |  4985762 |     4900   2490 |        1 |        1
1209.23/1209.77	c 1209s |      24 |  7217877 |  4994962 |     4900   2493 |        1 |        1
1211.24/1211.77	c 1211s |      24 |  7229349 |  5003862 |     4900   2497 |        1 |        1
1213.24/1213.78	c 1213s |      24 |  7241035 |  5012462 |     4900   2500 |        1 |        1
1215.24/1215.79	c 1215s |      24 |  7255028 |  5021862 |     4900   2504 |        1 |        1
1217.24/1217.79	c 1217s |      24 |  7265851 |  5029962 |     5390   2507 |        1 |        1
1219.33/1219.82	c 1219s |      24 |  7277712 |  5038862 |     5390   2511 |        1 |        1
1221.33/1221.85	c 1221s |      24 |  7287886 |  5047062 |     5390   2514 |        1 |        1
1223.33/1223.85	c 1223s |      24 |  7299479 |  5055662 |     5390   2517 |        1 |        1
1225.33/1225.86	c 1225s |      24 |  7310997 |  5064262 |     5390   2520 |        1 |        1
1225.53/1226.05	c 1226s |      25 |  7312478 |  5065098 |     5390   2520 |        1 |        1
1227.53/1228.06	c 1228s |      25 |  7327891 |  5073898 |     5390   2523 |        1 |        1
1229.53/1230.08	c 1230s |      25 |  7342509 |  5083198 |     5390   2527 |        1 |        1
1231.54/1232.08	c 1232s |      25 |  7355171 |  5091498 |     5390   2530 |        1 |        1
1233.63/1234.10	c 1234s |      25 |  7366071 |  5099698 |     5390   2533 |        1 |        1
1235.63/1236.12	c 1236s |      25 |  7375921 |  5107398 |     5390   2536 |        1 |        1
1237.64/1238.14	c 1238s |      25 |  7385364 |  5115098 |     5390   2538 |        1 |        1
1239.63/1240.16	c 1240s |      25 |  7396469 |  5123498 |     5390   2541 |        1 |        1
1241.63/1242.18	c 1242s |      25 |  7406566 |  5131598 |     5390   2544 |        1 |        1
1243.64/1244.19	c 1244s |      25 |  7420995 |  5140498 |     5390   2548 |        1 |        1
1245.63/1246.19	c 1246s |      25 |  7436648 |  5149198 |     5390   2551 |        1 |        1
1247.73/1248.21	c 1248s |      25 |  7451353 |  5158198 |     5390   2554 |        1 |        1
1249.73/1250.21	c 1250s |      25 |  7464726 |  5166298 |     5390   2557 |        1 |        1
1251.73/1252.23	c 1252s |      25 |  7474463 |  5174398 |     5390   2560 |        1 |        1
1253.73/1254.24	c 1254s |      25 |  7483628 |  5182098 |     5390   2563 |        1 |        1
1255.74/1256.25	c 1256s |      25 |  7492933 |  5189798 |     5390   2566 |        1 |        1
1257.73/1258.26	c 1258s |      25 |  7506953 |  5197898 |     5390   2569 |        1 |        1
1259.73/1260.28	c 1260s |      25 |  7519613 |  5205898 |     5390   2572 |        1 |        1
1261.82/1262.30	c 1262s |      25 |  7530717 |  5212998 |     5390   2574 |        1 |        1
1263.82/1264.32	c 1264s |      25 |  7545216 |  5221898 |     5390   2577 |        1 |        1
1265.83/1266.34	c 1266s |      25 |  7557246 |  5230298 |     5390   2581 |        1 |        1
1267.84/1268.35	c 1268s |      25 |  7567986 |  5238498 |     5390   2584 |        1 |        1
1269.83/1270.36	c 1270s |      25 |  7580227 |  5246498 |     5390   2586 |        1 |        1
1271.83/1272.36	c 1272s |      25 |  7591317 |  5254698 |     5390   2589 |        1 |        1
1273.83/1274.38	c 1274s |      25 |  7602340 |  5262498 |     5390   2592 |        1 |        1
1275.92/1276.40	c 1276s |      25 |  7612381 |  5270298 |     5390   2595 |        1 |        1
1277.92/1278.42	c 1278s |      25 |  7622849 |  5278098 |     5390   2598 |        1 |        1
1279.93/1280.44	c 1280s |      25 |  7634539 |  5285998 |     5390   2601 |        1 |        1
1282.02/1282.55	c 1282s |      25 |  7645856 |  5294098 |     5390   2604 |        1 |        1
1284.02/1284.56	c 1284s |      25 |  7658191 |  5302698 |     5390   2607 |        1 |        1
1286.02/1286.57	c 1286s |      25 |  7668049 |  5310498 |     5390   2610 |        1 |        1
1288.02/1288.59	c 1288s |      25 |  7680167 |  5318398 |     5390   2613 |        1 |        1
1290.12/1290.60	c 1290s |      25 |  7690726 |  5326698 |     5390   2616 |        1 |        1
1292.13/1292.61	c 1292s |      25 |  7704131 |  5334698 |     5390   2619 |        1 |        1
1294.12/1294.62	c 1294s |      25 |  7717337 |  5343198 |     5390   2622 |        1 |        1
1296.12/1296.63	c 1296s |      25 |  7729835 |  5351198 |     5390   2625 |        1 |        1
1298.13/1298.64	c 1298s |      25 |  7739800 |  5358498 |     5390   2627 |        1 |        1
1300.12/1300.66	c 1300s |      25 |  7752026 |  5366498 |     5390   2630 |        1 |        1
1302.13/1302.67	c 1302s |      25 |  7764312 |  5374498 |     5390   2633 |        1 |        1
1304.13/1304.67	c 1304s |      25 |  7774198 |  5381798 |     5390   2636 |        1 |        1
1306.12/1306.67	c 1306s |      25 |  7786731 |  5390098 |     5390   2639 |        1 |        1
1308.12/1308.69	c 1308s |      25 |  7797466 |  5398198 |     5390   2642 |        1 |        1
1310.23/1310.71	c 1310s |      25 |  7807988 |  5406198 |     5390   2645 |        1 |        1
1312.22/1312.72	c 1312s |      25 |  7819042 |  5414898 |     5390   2648 |        1 |        1
1314.22/1314.72	c 1314s |      25 |  7831362 |  5423698 |     5390   2651 |        1 |        1
1316.22/1316.74	c 1316s |      25 |  7842466 |  5432098 |     5390   2654 |        1 |        1
1318.22/1318.75	c 1318s |      25 |  7854234 |  5440398 |     5390   2657 |        1 |        1
1320.22/1320.76	c 1320s |      25 |  7867864 |  5448698 |     5390   2660 |        1 |        1
1322.22/1322.78	c 1322s |      25 |  7878413 |  5456098 |     5390   2663 |        1 |        1
1324.22/1324.79	c 1324s |      25 |  7888917 |  5464098 |     5390   2666 |        1 |        1
1326.32/1326.80	c 1326s |      25 |  7899400 |  5471398 |     5390   2669 |        1 |        1
1328.33/1328.81	c 1328s |      25 |  7913741 |  5479798 |     5390   2672 |        1 |        1
1330.32/1330.84	c 1330s |      25 |  7925424 |  5488398 |     5390   2675 |        1 |        1
1332.31/1332.84	c 1332s |      25 |  7938777 |  5497198 |     5390   2678 |        1 |        1
1334.31/1334.85	c 1334s |      25 |  7953383 |  5506298 |     5390   2682 |        1 |        1
1336.31/1336.86	c 1336s |      25 |  7964992 |  5514998 |     5390   2685 |        1 |        1
1338.32/1338.87	c 1338s |      25 |  7976571 |  5523898 |     5390   2688 |        1 |        1
1340.31/1340.87	c 1340s |      25 |  7987655 |  5532598 |     5390   2691 |        1 |        1
1342.31/1342.89	c 1342s |      25 |  7999490 |  5541398 |     5390   2694 |        1 |        1
1344.41/1344.90	c 1344s |      25 |  8010751 |  5549798 |     5390   2697 |        1 |        1
1346.41/1346.90	c 1346s |      25 |  8022065 |  5558398 |     5390   2701 |        1 |        1
1348.42/1348.91	c 1348s |      25 |  8038045 |  5566398 |     5390   2704 |        1 |        1
1350.42/1350.94	c 1350s |      25 |  8049333 |  5574498 |     5390   2707 |        1 |        1
1352.42/1352.94	c 1352s |      25 |  8059057 |  5582198 |     5390   2709 |        1 |        1
1354.42/1354.96	c 1354s |      25 |  8068809 |  5589898 |     5390   2712 |        1 |        1
1356.41/1356.97	c 1356s |      25 |  8078192 |  5597598 |     5390   2715 |        1 |        1
1358.41/1358.98	c 1358s |      25 |  8087680 |  5605598 |     5390   2718 |        1 |        1
1360.41/1361.00	c 1360s |      25 |  8097434 |  5613598 |     5390   2721 |        1 |        1
1362.42/1363.00	c 1362s |      25 |  8107408 |  5621598 |     5390   2724 |        1 |        1
1364.52/1365.02	c 1364s |      25 |  8118240 |  5630198 |     5390   2727 |        1 |        1
1366.52/1367.02	c 1366s |      25 |  8128676 |  5638498 |     5390   2730 |        1 |        1
1368.51/1369.03	c 1368s |      25 |  8138772 |  5646498 |     5390   2733 |        1 |        1
1370.51/1371.04	c 1371s |      25 |  8148706 |  5654098 |     5390   2736 |        1 |        1
1372.51/1373.05	c 1373s |      25 |  8159179 |  5662698 |     5390   2739 |        1 |        1
1374.52/1375.06	c 1375s |      25 |  8168729 |  5670298 |     5390   2742 |        1 |        1
1376.51/1377.07	c 1377s |      25 |  8180169 |  5679098 |     5390   2745 |        1 |        1
1378.51/1379.08	c 1379s |      25 |  8189735 |  5686598 |     5390   2748 |        1 |        1
1380.61/1381.11	c 1381s |      25 |  8199081 |  5693998 |     5390   2750 |        1 |        1
1382.61/1383.12	c 1383s |      25 |  8208453 |  5701598 |     5390   2753 |        1 |        1
1384.61/1385.13	c 1385s |      25 |  8218290 |  5709298 |     5390   2756 |        1 |        1
1386.61/1387.16	c 1387s |      25 |  8228232 |  5717298 |     5390   2759 |        1 |        1
1388.61/1389.17	c 1389s |      25 |  8238901 |  5725298 |     5390   2762 |        1 |        1
1390.71/1391.20	c 1391s |      25 |  8249400 |  5733898 |     5390   2765 |        1 |        1
1392.71/1393.20	c 1393s |      25 |  8260434 |  5742398 |     5390   2768 |        1 |        1
1394.71/1395.23	c 1395s |      25 |  8270458 |  5750098 |     5390   2771 |        1 |        1
1396.71/1397.24	c 1397s |      25 |  8285217 |  5758598 |     5390   2774 |        1 |        1
1398.71/1399.24	c 1399s |      25 |  8295784 |  5766598 |     5390   2777 |        1 |        1
1400.71/1401.25	c 1401s |      25 |  8305354 |  5774198 |     5390   2780 |        1 |        1
1402.70/1403.26	c 1403s |      25 |  8315272 |  5782198 |     5390   2783 |        1 |        1
1404.71/1405.27	c 1405s |      25 |  8326540 |  5790598 |     5390   2786 |        1 |        1
1406.80/1407.31	c 1407s |      25 |  8337983 |  5798698 |     5390   2789 |        1 |        1
1408.80/1409.32	c 1409s |      25 |  8347833 |  5806898 |     5390   2792 |        1 |        1
1410.81/1411.33	c 1411s |      25 |  8358428 |  5814998 |     5390   2795 |        1 |        1
1412.81/1413.35	c 1413s |      25 |  8368309 |  5822798 |     5390   2798 |        1 |        1
1414.91/1415.45	c 1415s |      25 |  8378738 |  5830598 |     5390   2801 |        1 |        1
1416.91/1417.46	c 1417s |      25 |  8390141 |  5838698 |     5390   2804 |        1 |        1
1418.91/1419.46	c 1419s |      25 |  8400090 |  5846798 |     5390   2806 |        1 |        1
1421.01/1421.51	c 1421s |      25 |  8410425 |  5855098 |     5390   2810 |        1 |        1
1423.01/1423.52	c 1423s |      25 |  8419452 |  5862398 |     5390   2812 |        1 |        1
1425.00/1425.55	c 1425s |      25 |  8432597 |  5871098 |     5390   2815 |        1 |        1
1427.00/1427.55	c 1427s |      25 |  8445878 |  5879398 |     5390   2818 |        1 |        1
1429.00/1429.56	c 1429s |      25 |  8457779 |  5887698 |     5390   2821 |        1 |        1
1431.00/1431.58	c 1431s |      25 |  8468236 |  5895698 |     5390   2824 |        1 |        1
1433.10/1433.60	c 1433s |      25 |  8477960 |  5903698 |     5390   2827 |        1 |        1
1435.11/1435.62	c 1435s |      25 |  8488913 |  5911998 |     5390   2830 |        1 |        1
1437.10/1437.63	c 1437s |      25 |  8500711 |  5920398 |     5390   2833 |        1 |        1
1439.10/1439.64	c 1439s |      25 |  8513074 |  5929398 |     5390   2837 |        1 |        1
1441.10/1441.64	c 1441s |      25 |  8524188 |  5938098 |     5390   2840 |        1 |        1
1443.10/1443.65	c 1443s |      25 |  8534141 |  5946298 |     5390   2843 |        1 |        1
1445.10/1445.65	c 1445s |      25 |  8543181 |  5953698 |     5390   2846 |        1 |        1
1447.11/1447.65	c 1447s |      25 |  8552930 |  5961698 |     5390   2849 |        1 |        1
1449.10/1449.65	c 1449s |      25 |  8562607 |  5969798 |     5390   2852 |        1 |        1
1451.10/1451.67	c 1451s |      25 |  8572931 |  5977998 |     5390   2855 |        1 |        1
1453.10/1453.68	c 1453s |      25 |  8586029 |  5985798 |     5390   2857 |        1 |        1
1455.10/1455.68	c 1455s |      25 |  8600807 |  5993498 |     5390   2860 |        1 |        1
1457.10/1457.69	c 1457s |      25 |  8612339 |  6001598 |     5390   2863 |        1 |        1
1459.09/1459.70	c 1459s |      25 |  8623643 |  6009898 |     5390   2866 |        1 |        1
1461.19/1461.71	c 1461s |      25 |  8633720 |  6018098 |     5390   2869 |        1 |        1
1463.19/1463.71	c 1463s |      25 |  8644002 |  6026498 |     5390   2872 |        1 |        1
1465.19/1465.78	c 1465s |      25 |  8655339 |  6034498 |     5390   2875 |        1 |        1
1467.19/1467.79	c 1467s |      25 |  8668291 |  6043198 |     5390   2878 |        1 |        1
1469.20/1469.79	c 1469s |      25 |  8679717 |  6051598 |     5390   2882 |        1 |        1
1471.19/1471.80	c 1471s |      25 |  8690147 |  6060398 |     5390   2885 |        1 |        1
1473.29/1473.81	c 1473s |      25 |  8701353 |  6068698 |     5390   2888 |        1 |        1
1475.29/1475.82	c 1475s |      25 |  8711490 |  6076798 |     5390   2891 |        1 |        1
1477.30/1477.89	c 1477s |      25 |  8721355 |  6084698 |     5390   2894 |        1 |        1
1479.29/1479.89	c 1479s |      25 |  8732974 |  6093398 |     5390   2897 |        1 |        1
1481.39/1481.90	c 1481s |      25 |  8744828 |  6101798 |     5390   2900 |        1 |        1
1483.40/1483.92	c 1483s |      25 |  8756947 |  6110498 |     5390   2903 |        1 |        1
1485.39/1485.92	c 1485s |      25 |  8768356 |  6118698 |     5390   2906 |        1 |        1
1487.39/1487.92	c 1487s |      25 |  8781111 |  6126998 |     5390   2909 |        1 |        1
1489.39/1489.93	c 1489s |      25 |  8793559 |  6135898 |     5390   2912 |        1 |        1
1491.39/1491.93	c 1491s |      25 |  8804557 |  6143998 |     5390   2915 |        1 |        1
1493.40/1493.93	c 1493s |      25 |  8819066 |  6152598 |     5390   2919 |        1 |        1
1495.39/1495.94	c 1495s |      25 |  8833234 |  6160798 |     5390   2922 |        1 |        1
1497.39/1497.95	c 1497s |      25 |  8846639 |  6169298 |     5390   2925 |        1 |        1
1499.39/1499.96	c 1499s |      25 |  8861208 |  6177798 |     5390   2928 |        1 |        1
1501.39/1501.97	c 1501s |      25 |  8876448 |  6186598 |     5390   2931 |        1 |        1
1503.49/1504.02	c 1503s |      25 |  8889755 |  6195498 |     5390   2934 |        1 |        1
1505.50/1506.02	c 1505s |      25 |  8902999 |  6204398 |     5390   2938 |        1 |        1
1507.49/1508.05	c 1508s |      25 |  8914605 |  6212498 |     5390   2941 |        1 |        1
1509.49/1510.06	c 1510s |      25 |  8923503 |  6219998 |     5390   2943 |        1 |        1
1511.49/1512.07	c 1512s |      25 |  8935011 |  6228498 |     5390   2946 |        1 |        1
1513.49/1514.08	c 1514s |      25 |  8946558 |  6237198 |     5390   2950 |        1 |        1
1515.49/1516.08	c 1516s |      25 |  8957608 |  6245998 |     5390   2953 |        1 |        1
1517.50/1518.10	c 1518s |      25 |  8967082 |  6253798 |     5390   2956 |        1 |        1
1519.59/1520.11	c 1520s |      25 |  8978257 |  6262698 |     5390   2959 |        1 |        1
1521.59/1522.14	c 1522s |      25 |  8987058 |  6269898 |     5390   2962 |        1 |        1
1523.59/1524.15	c 1524s |      25 |  8999096 |  6277498 |     5390   2964 |        1 |        1
1525.58/1526.16	c 1526s |      25 |  9016664 |  6285398 |     5390   2967 |        1 |        1
1527.59/1528.17	c 1528s |      25 |  9026850 |  6292498 |     5390   2970 |        1 |        1
1529.59/1530.19	c 1530s |      25 |  9037005 |  6299998 |     5390   2973 |        1 |        1
1531.68/1532.20	c 1532s |      25 |  9046056 |  6307498 |     5390   2975 |        1 |        1
1533.68/1534.22	c 1534s |      25 |  9056065 |  6315198 |     5390   2978 |        1 |        1
1535.69/1536.24	c 1536s |      25 |  9065259 |  6322598 |     5390   2981 |        1 |        1
1537.68/1538.25	c 1538s |      25 |  9074627 |  6330098 |     5390   2984 |        1 |        1
1539.68/1540.27	c 1540s |      25 |  9084339 |  6338098 |     5390   2986 |        1 |        1
1541.69/1542.28	c 1542s |      25 |  9095282 |  6345398 |     5390   2989 |        1 |        1
1543.68/1544.29	c 1544s |      25 |  9104677 |  6352598 |     5390   2992 |        1 |        1
1545.79/1546.31	c 1546s |      25 |  9113161 |  6359798 |     5390   2994 |        1 |        1
1547.78/1548.32	c 1548s |      25 |  9124959 |  6367898 |     5390   2997 |        1 |        1
1549.78/1550.34	c 1550s |      25 |  9134753 |  6375598 |     5390   3000 |        1 |        1
1551.78/1552.35	c 1552s |      25 |  9145164 |  6382798 |     5390   3003 |        1 |        1
1553.79/1554.36	c 1554s |      25 |  9154270 |  6390298 |     5390   3006 |        1 |        1
1555.78/1556.37	c 1556s |      25 |  9163401 |  6397698 |     5390   3008 |        1 |        1
1557.78/1558.38	c 1558s |      25 |  9173321 |  6405298 |     5390   3011 |        1 |        1
1559.78/1560.39	c 1560s |      25 |  9184899 |  6412998 |     5390   3014 |        1 |        1
1561.88/1562.42	c 1562s |      25 |  9193488 |  6420198 |     5390   3017 |        1 |        1
1563.87/1564.45	c 1564s |      25 |  9202877 |  6427798 |     5390   3019 |        1 |        1
1565.88/1566.47	c 1566s |      25 |  9212249 |  6435098 |     5390   3022 |        1 |        1
1567.87/1568.49	c 1568s |      25 |  9223207 |  6442598 |     5390   3025 |        1 |        1
1570.07/1570.63	c 1570s |      25 |  9232467 |  6450198 |     5390   3028 |        1 |        1
1572.08/1572.65	c 1572s |      25 |  9242370 |  6458298 |     5390   3030 |        1 |        1
1574.08/1574.67	c 1574s |      25 |  9251832 |  6465498 |     5390   3033 |        1 |        1
1576.08/1576.69	c 1576s |      25 |  9261699 |  6473398 |     5390   3036 |        1 |        1
1578.18/1578.71	c 1578s |      25 |  9271144 |  6480798 |     5390   3039 |        1 |        1
1580.19/1580.72	c 1580s |      25 |  9280643 |  6488198 |     5390   3041 |        1 |        1
1582.18/1582.72	c 1582s |      25 |  9290365 |  6495798 |     5390   3044 |        1 |        1
1584.18/1584.73	c 1584s |      25 |  9301424 |  6503498 |     5390   3047 |        1 |        1
1586.18/1586.74	c 1586s |      25 |  9312588 |  6510998 |     5390   3050 |        1 |        1
1588.18/1588.74	c 1588s |      25 |  9322719 |  6518998 |     5390   3053 |        1 |        1
1590.19/1590.76	c 1590s |      25 |  9331431 |  6525798 |     5390   3055 |        1 |        1
1592.18/1592.78	c 1592s |      25 |  9342607 |  6533698 |     5390   3058 |        1 |        1
1594.17/1594.78	c 1594s |      25 |  9355456 |  6541698 |     5390   3061 |        1 |        1
1596.27/1596.81	c 1596s |      25 |  9367726 |  6549898 |     5390   3064 |        1 |        1
1598.27/1598.81	c 1598s |      25 |  9377281 |  6557398 |     5390   3067 |        1 |        1
1600.27/1600.82	c 1600s |      25 |  9386245 |  6564698 |     5390   3070 |        1 |        1
1602.28/1602.82	c 1602s |      25 |  9395814 |  6572398 |     5390   3072 |        1 |        1
1604.27/1604.82	c 1604s |      25 |  9405605 |  6580298 |     5390   3075 |        1 |        1
1606.27/1606.84	c 1606s |      25 |  9414147 |  6587498 |     5390   3078 |        1 |        1
1608.27/1608.86	c 1608s |      25 |  9423597 |  6595098 |     5390   3081 |        1 |        1
1610.27/1610.87	c 1610s |      25 |  9433100 |  6602798 |     5390   3083 |        1 |        1
1612.27/1612.87	c 1612s |      25 |  9442751 |  6610398 |     5390   3086 |        1 |        1
1614.27/1614.88	c 1614s |      25 |  9451224 |  6617598 |     5390   3089 |        1 |        1
1616.37/1616.91	c 1616s |      25 |  9459918 |  6624898 |     5390   3092 |        1 |        1
1618.37/1618.93	c 1618s |      25 |  9469684 |  6632398 |     5390   3094 |        1 |        1
1620.37/1620.93	c 1620s |      25 |  9479952 |  6639698 |     5390   3097 |        1 |        1
1622.37/1622.94	c 1622s |      25 |  9488273 |  6646998 |     5390   3100 |        1 |        1
1624.37/1624.98	c 1624s |      25 |  9497850 |  6654698 |     5390   3103 |        1 |        1
1626.38/1627.00	c 1626s |      25 |  9508176 |  6662598 |     5390   3105 |        1 |        1
1628.47/1629.02	c 1628s |      25 |  9519622 |  6670398 |     5390   3108 |        1 |        1
1630.47/1631.02	c 1630s |      25 |  9531649 |  6678798 |     5390   3111 |        1 |        1
1632.47/1633.07	c 1633s |      25 |  9541963 |  6687398 |     5390   3115 |        1 |        1
1634.47/1635.08	c 1635s |      25 |  9551890 |  6695398 |     5390   3117 |        1 |        1
1636.47/1637.09	c 1637s |      25 |  9561699 |  6703398 |     5390   3120 |        1 |        1
1638.47/1639.10	c 1639s |      25 |  9571019 |  6711098 |     5390   3123 |        1 |        1
1640.57/1641.12	c 1641s |      25 |  9580705 |  6718698 |     5390   3126 |        1 |        1
1642.57/1643.13	c 1643s |      25 |  9591581 |  6727198 |     5390   3129 |        1 |        1
1644.57/1645.13	c 1645s |      25 |  9601596 |  6734998 |     5390   3132 |        1 |        1
1646.57/1647.14	c 1647s |      25 |  9611867 |  6742998 |     5390   3135 |        1 |        1
1648.57/1649.14	c 1649s |      25 |  9622106 |  6750898 |     5390   3138 |        1 |        1
1650.58/1651.15	c 1651s |      25 |  9632939 |  6758598 |     5390   3141 |        1 |        1
1652.57/1653.16	c 1653s |      25 |  9643142 |  6766298 |     5390   3143 |        1 |        1
1654.66/1655.24	c 1655s |      25 |  9653487 |  6774498 |     5390   3146 |        1 |        1
1656.66/1657.25	c 1657s |      25 |  9663618 |  6781998 |     5390   3149 |        1 |        1
1658.66/1659.26	c 1659s |      25 |  9676700 |  6789798 |     5390   3152 |        1 |        1
1660.66/1661.27	c 1661s |      25 |  9686723 |  6797598 |     5390   3155 |        1 |        1
1662.77/1663.37	c 1663s |      25 |  9696962 |  6805498 |     5390   3158 |        1 |        1
1664.76/1665.38	c 1665s |      25 |  9706649 |  6812998 |     5390   3161 |        1 |        1
1666.77/1667.39	c 1667s |      25 |  9715870 |  6820098 |     5390   3163 |        1 |        1
1668.86/1669.40	c 1669s |      25 |  9724331 |  6826798 |     5390   3166 |        1 |        1
1670.86/1671.42	c 1671s |      25 |  9734065 |  6834298 |     5390   3168 |        1 |        1
1672.86/1673.43	c 1673s |      25 |  9742388 |  6841198 |     5390   3171 |        1 |        1
1674.87/1675.43	c 1675s |      25 |  9752361 |  6848598 |     5390   3174 |        1 |        1
1676.97/1677.54	c 1677s |      25 |  9762792 |  6856298 |     5390   3176 |        1 |        1
1678.96/1679.56	c 1679s |      25 |  9772805 |  6864098 |     5390   3179 |        1 |        1
1680.96/1681.56	c 1681s |      25 |  9782156 |  6871198 |     5390   3182 |        1 |        1
1682.96/1683.57	c 1683s |      25 |  9790381 |  6878098 |     5390   3184 |        1 |        1
1684.96/1685.59	c 1685s |      25 |  9799531 |  6885298 |     5390   3187 |        1 |        1
1687.06/1687.60	c 1687s |      25 |  9810440 |  6893698 |     5390   3190 |        1 |        1
1689.07/1689.61	c 1689s |      25 |  9821421 |  6901998 |     5390   3193 |        1 |        1
1691.06/1691.63	c 1691s |      25 |  9830738 |  6909598 |     5390   3196 |        1 |        1
1693.06/1693.64	c 1693s |      25 |  9840123 |  6916998 |     5390   3199 |        1 |        1
1695.06/1695.64	c 1695s |      25 |  9851440 |  6925098 |     5390   3202 |        1 |        1
1697.06/1697.66	c 1697s |      25 |  9861076 |  6932698 |     5390   3205 |        1 |        1
1699.06/1699.67	c 1699s |      25 |  9873974 |  6940798 |     5390   3207 |        1 |        1
1701.06/1701.69	c 1701s |      25 |  9885655 |  6948998 |     5390   3210 |        1 |        1
1703.06/1703.69	c 1703s |      25 |  9895423 |  6956398 |     5390   3213 |        1 |        1
1705.16/1705.70	c 1705s |      25 |  9905147 |  6963798 |     5390   3216 |        1 |        1
1707.15/1707.75	c 1707s |      25 |  9914909 |  6971098 |     5390   3219 |        1 |        1
1709.15/1709.76	c 1709s |      25 |  9925972 |  6978698 |     5390   3221 |        1 |        1
1711.16/1711.79	c 1711s |      25 |  9935155 |  6986098 |     5390   3224 |        1 |        1
1713.26/1713.81	c 1713s |      25 |  9944204 |  6993698 |     5390   3227 |        1 |        1
1715.25/1715.81	c 1715s |      25 |  9953566 |  7001398 |     5390   3230 |        1 |        1
1717.25/1717.82	c 1717s |      25 |  9962720 |  7008998 |     5390   3233 |        1 |        1
1719.25/1719.84	c 1719s |      25 |  9972625 |  7016898 |     5390   3235 |        1 |        1
1721.25/1721.87	c 1721s |      25 |  9981867 |  7024598 |     5390   3238 |        1 |        1
1723.26/1723.88	c 1723s |      25 |  9991557 |  7032298 |     5390   3241 |        1 |        1
1725.25/1725.90	c 1725s |      25 | 10001050 |  7040198 |     5390   3244 |        1 |        1
1727.35/1727.90	c 1727s |      25 | 10010552 |  7048098 |     5390   3247 |        1 |        1
1729.35/1729.92	c 1729s |      25 | 10020482 |  7056298 |     5390   3250 |        1 |        1
1731.36/1731.95	c 1731s |      25 | 10030209 |  7064398 |     5390   3253 |        1 |        1
1733.36/1733.97	c 1733s |      25 | 10040277 |  7072598 |     5390   3256 |        1 |        1
1735.45/1736.02	c 1735s |      25 | 10049841 |  7080198 |     5390   3259 |        1 |        1
1737.46/1738.03	c 1737s |      25 | 10060278 |  7088598 |     5390   3262 |        1 |        1
1739.45/1740.03	c 1739s |      25 | 10071275 |  7097098 |     5390   3265 |        1 |        1
1741.45/1742.05	c 1742s |      25 | 10081881 |  7105298 |     5390   3268 |        1 |        1
1743.45/1744.06	c 1744s |      25 | 10091909 |  7113098 |     5390   3271 |        1 |        1
1745.45/1746.08	c 1746s |      25 | 10103900 |  7121798 |     5390   3274 |        1 |        1
1747.46/1748.08	c 1748s |      25 | 10113575 |  7129798 |     5390   3277 |        1 |        1
1749.45/1750.08	c 1750s |      25 | 10123471 |  7137998 |     5390   3280 |        1 |        1
1751.45/1752.09	c 1752s |      25 | 10133670 |  7146098 |     5390   3283 |        1 |        1
1753.55/1754.10	c 1754s |      25 | 10145073 |  7154598 |     5390   3286 |        1 |        1
1755.55/1756.11	c 1756s |      25 | 10157412 |  7163298 |     5390   3289 |        1 |        1
1757.55/1758.12	c 1758s |      25 | 10167876 |  7171998 |     5390   3292 |        1 |        1
1759.56/1760.14	c 1760s |      25 | 10176584 |  7179398 |     5390   3295 |        1 |        1
1761.55/1762.15	c 1762s |      25 | 10186528 |  7187598 |     5390   3298 |        1 |        1
1763.54/1764.17	c 1764s |      25 | 10197268 |  7196298 |     5390   3301 |        1 |        1
1765.54/1766.18	c 1766s |      25 | 10207888 |  7204998 |     5390   3304 |        1 |        1
1767.55/1768.19	c 1768s |      25 | 10218693 |  7213498 |     5390   3307 |        1 |        1
1769.65/1770.20	c 1770s |      25 | 10228877 |  7221998 |     5390   3311 |        1 |        1
1771.65/1772.22	c 1772s |      25 | 10239152 |  7230498 |     5390   3314 |        1 |        1
1773.64/1774.24	c 1774s |      25 | 10249431 |  7238298 |     5390   3317 |        1 |        1
1775.64/1776.25	c 1776s |      25 | 10259307 |  7246498 |     5390   3320 |        1 |        1
1777.64/1778.25	c 1778s |      25 | 10269098 |  7254598 |     5390   3322 |        1 |        1
1779.64/1780.27	c 1780s |      25 | 10278260 |  7262098 |     5390   3325 |        1 |        1
1781.64/1782.27	c 1782s |      25 | 10289365 |  7270198 |     5390   3328 |        1 |        1
1783.65/1784.29	c 1784s |      25 | 10299110 |  7278098 |     5390   3331 |        1 |        1
1785.64/1786.29	c 1786s |      25 | 10309044 |  7286098 |     5390   3334 |        1 |        1
1787.75/1788.31	c 1788s |      25 | 10317793 |  7293698 |     5390   3337 |        1 |        1
1789.75/1790.33	c 1790s |      25 | 10329556 |  7301598 |     5390   3340 |        1 |        1
1791.74/1792.35	c 1792s |      25 | 10340508 |  7309398 |     5390   3343 |        1 |        1
1793.74/1794.36	c 1794s |      25 | 10352857 |  7316698 |     5390   3345 |        1 |        1
1795.75/1796.38	c 1796s |      25 | 10362245 |  7323698 |     5390   3348 |        1 |        1
1797.84/1798.40	c 1798s |      25 | 10370911 |  7330798 |     5390   3350 |        1 |        1
1799.84/1800.41	c 1800s |      25 | 10381682 |  7339098 |     5390   3353 |        1 |        1

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

pid=6266
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.02 2.03 2.00 2/170 6269
/proc/meminfo: memFree=31699820/32872528 swapFree=12744/274376
[pid=6269] ppid=6266 vsize=685500 CPUtime=0 cores=1,3,5,7
/proc/6269/stat : 6269 (toysat) R 6266 6269 5566 0 -1 4202496 2552 0 0 0 0 0 0 0 20 0 4 0 108244751 701952000 2401 33554432000 4194304 16246674 140733843707872 140733843707296 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6269/statm: 171887 2410 441 2943 0 168781 0
[pid=6269/tid=6270] ppid=6266 vsize=702908 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6270/stat : 6270 (toysat) S 6266 6269 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108244751 719777792 2468 33554432000 4194304 16246674 140733843707872 140511131184368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6269/tid=6271] ppid=6266 vsize=707004 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6271/stat : 6271 (toysat) S 6266 6269 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244751 723972096 2487 33554432000 4194304 16246674 140733843707872 140511120694512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6269/tid=6272] ppid=6266 vsize=711100 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108244751 728166400 2502 33554432000 4194304 16246674 140733843707872 140511110220976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100181 s]
/proc/loadavg: 2.02 2.03 2.00 2/170 6269
/proc/meminfo: memFree=31699820/32872528 swapFree=12744/274376
[pid=6269] ppid=6266 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/6269/stat : 6269 (toysat) R 6266 6269 5566 0 -1 4202496 25458 0 0 0 5 3 0 0 20 0 4 0 108244751 1247350784 25294 33554432000 4194304 16246674 140733843707872 140733843707296 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6269/statm: 304529 25309 791 2943 0 301423 0
[pid=6269/tid=6270] ppid=6266 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6270/stat : 6270 (toysat) S 6266 6269 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108244751 1247350784 25317 33554432000 4194304 16246674 140733843707872 140511131184368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6269/tid=6271] ppid=6266 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6271/stat : 6271 (toysat) S 6266 6269 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244751 1247350784 25324 33554432000 4194304 16246674 140733843707872 140511120694512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6269/tid=6272] ppid=6266 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108244751 1247350784 25332 33554432000 4194304 16246674 140733843707872 140511110220976 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.200505 s]
/proc/loadavg: 2.02 2.03 2.00 2/170 6269
/proc/meminfo: memFree=31699820/32872528 swapFree=12744/274376
[pid=6269] ppid=6266 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/6269/stat : 6269 (toysat) R 6266 6269 5566 0 -1 4202496 48677 0 0 0 12 7 0 0 20 0 4 0 108244751 1247350784 48513 33554432000 4194304 16246674 140733843707872 140733843689792 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6269/statm: 304529 48530 791 2943 0 301423 0
[pid=6269/tid=6270] ppid=6266 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6270/stat : 6270 (toysat) S 6266 6269 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108244751 1247350784 48539 33554432000 4194304 16246674 140733843707872 140511131184368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6269/tid=6271] ppid=6266 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6271/stat : 6271 (toysat) S 6266 6269 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244751 1247350784 48544 33554432000 4194304 16246674 140733843707872 140511120694512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6269/tid=6272] ppid=6266 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108244751 1247350784 48551 33554432000 4194304 16246674 140733843707872 140511110220976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300508 s]
/proc/loadavg: 2.02 2.03 2.00 2/170 6269
/proc/meminfo: memFree=31699820/32872528 swapFree=12744/274376
[pid=6269] ppid=6266 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/6269/stat : 6269 (toysat) R 6266 6269 5566 0 -1 4202496 73724 0 0 0 20 9 0 0 20 0 4 0 108244751 1247350784 73560 33554432000 4194304 16246674 140733843707872 140733843689792 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6269/statm: 304529 73568 791 2943 0 301423 0
[pid=6269/tid=6270] ppid=6266 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6270/stat : 6270 (toysat) S 6266 6269 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108244751 1247350784 73575 33554432000 4194304 16246674 140733843707872 140511131184368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6269/tid=6271] ppid=6266 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6271/stat : 6271 (toysat) S 6266 6269 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244751 1247350784 73580 33554432000 4194304 16246674 140733843707872 140511120694512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6269/tid=6272] ppid=6266 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108244751 1247350784 73590 33554432000 4194304 16246674 140733843707872 140511110220976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700427 s]
/proc/loadavg: 2.02 2.03 2.00 2/170 6269
/proc/meminfo: memFree=31699820/32872528 swapFree=12744/274376
[pid=6269] ppid=6266 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/6269/stat : 6269 (toysat) R 6266 6269 5566 0 -1 4202496 173349 0 0 0 46 23 0 0 20 0 4 0 108244751 1247350784 173185 33554432000 4194304 16246674 140733843707872 140733843689792 5724032 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6269/statm: 304529 173203 792 2943 0 301423 0
[pid=6269/tid=6270] ppid=6266 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6270/stat : 6270 (toysat) S 6266 6269 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108244751 1247350784 173212 33554432000 4194304 16246674 140733843707872 140511131184368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6269/tid=6271] ppid=6266 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6271/stat : 6271 (toysat) S 6266 6269 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244751 1247350784 173217 33554432000 4194304 16246674 140733843707872 140511120694512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6269/tid=6272] ppid=6266 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108244751 1247350784 173219 33554432000 4194304 16246674 140733843707872 140511110220976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50043 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 6340
/proc/meminfo: memFree=30595428/32872528 swapFree=12744/274376
[pid=6269] ppid=6266 vsize=1220164 CPUtime=1.49 cores=1,3,5,7
/proc/6269/stat : 6269 (toysat) R 6266 6269 5566 0 -1 4202496 245982 0 0 0 117 32 0 0 20 0 4 0 108244751 1249447936 245796 33554432000 4194304 16246674 140733843707872 140733843689792 12479221 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6269/statm: 305041 245796 851 2943 0 301935 0
[pid=6269/tid=6270] ppid=6266 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6270/stat : 6270 (toysat) S 6266 6269 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108244751 1249447936 245796 33554432000 4194304 16246674 140733843707872 140511131184368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6269/tid=6271] ppid=6266 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6271/stat : 6271 (toysat) S 6266 6269 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244751 1249447936 245796 33554432000 4194304 16246674 140733843707872 140511120694512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6269/tid=6272] ppid=6266 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244751 1249447936 245796 33554432000 4194304 16246674 140733843707872 140511110220976 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.10044 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 6340
/proc/meminfo: memFree=29545504/32872528 swapFree=12744/274376
[pid=6269] ppid=6266 vsize=1307204 CPUtime=3.08 cores=1,3,5,7
/proc/6269/stat : 6269 (toysat) R 6266 6269 5566 0 -1 4202496 267659 0 0 0 271 37 0 0 20 0 4 0 108244751 1338576896 267473 33554432000 4194304 16246674 140733843707872 140733843689792 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6269/statm: 326801 267473 851 2943 0 323695 0
[pid=6269/tid=6270] ppid=6266 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6270/stat : 6270 (toysat) S 6266 6269 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108244751 1338576896 267473 33554432000 4194304 16246674 140733843707872 140511131184368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6269/tid=6271] ppid=6266 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6271/stat : 6271 (toysat) S 6266 6269 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244751 1338576896 267473 33554432000 4194304 16246674 140733843707872 140511120694512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6269/tid=6272] ppid=6266 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244751 1338576896 267473 33554432000 4194304 16246674 140733843707872 140511110220976 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) 1307204

[startup+6.30045 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 6340
/proc/meminfo: memFree=29537140/32872528 swapFree=12744/274376
[pid=6269] ppid=6266 vsize=1307204 CPUtime=6.28 cores=1,3,5,7
/proc/6269/stat : 6269 (toysat) R 6266 6269 5566 0 -1 4202496 267899 0 0 0 591 37 0 0 20 0 4 0 108244751 1338576896 267713 33554432000 4194304 16246674 140733843707872 140733843689792 5673315 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6269/statm: 326801 267713 851 2943 0 323695 0
[pid=6269/tid=6270] ppid=6266 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6270/stat : 6270 (toysat) S 6266 6269 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108244751 1338576896 267713 33554432000 4194304 16246674 140733843707872 140511131184368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6269/tid=6271] ppid=6266 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6271/stat : 6271 (toysat) S 6266 6269 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244751 1338576896 267713 33554432000 4194304 16246674 140733843707872 140511120694512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6269/tid=6272] ppid=6266 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244751 1338576896 267713 33554432000 4194304 16246674 140733843707872 140511110220976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 6340
/proc/meminfo: memFree=29536968/32872528 swapFree=12744/274376
[pid=6269] ppid=6266 vsize=1307204 CPUtime=12.68 cores=1,3,5,7
/proc/6269/stat : 6269 (toysat) R 6266 6269 5566 0 -1 4202496 267901 0 0 0 1231 37 0 0 20 0 4 0 108244751 1338576896 267715 33554432000 4194304 16246674 140733843707872 140733843689792 6021007 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6269/statm: 326801 267715 853 2943 0 323695 0
[pid=6269/tid=6270] ppid=6266 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6270/stat : 6270 (toysat) S 6266 6269 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108244751 1338576896 267715 33554432000 4194304 16246674 140733843707872 140511131184368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6269/tid=6271] ppid=6266 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6271/stat : 6271 (toysat) S 6266 6269 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244751 1338576896 267715 33554432000 4194304 16246674 140733843707872 140511120694512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6269/tid=6272] ppid=6266 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244751 1338576896 267715 33554432000 4194304 16246674 140733843707872 140511110220976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 6341
/proc/meminfo: memFree=29533180/32872528 swapFree=12744/274376
[pid=6269] ppid=6266 vsize=1309252 CPUtime=25.48 cores=1,3,5,7
/proc/6269/stat : 6269 (toysat) R 6266 6269 5566 0 -1 4202496 268258 0 0 0 2511 37 0 0 20 0 4 0 108244751 1340674048 268072 33554432000 4194304 16246674 140733843707872 140733843689792 5669499 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6269/statm: 327313 268072 853 2943 0 324207 0
[pid=6269/tid=6270] ppid=6266 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6270/stat : 6270 (toysat) S 6266 6269 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108244751 1340674048 268072 33554432000 4194304 16246674 140733843707872 140511131184368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6269/tid=6271] ppid=6266 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6271/stat : 6271 (toysat) S 6266 6269 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244751 1340674048 268072 33554432000 4194304 16246674 140733843707872 140511120694512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6269/tid=6272] ppid=6266 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244751 1340674048 268072 33554432000 4194304 16246674 140733843707872 140511110220976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1309252

[startup+51.1005 s]
/proc/loadavg: 2.08 2.04 2.01 3/183 6341
/proc/meminfo: memFree=29516044/32872528 swapFree=12744/274376
[pid=6269] ppid=6266 vsize=1316420 CPUtime=51.08 cores=1,3,5,7
/proc/6269/stat : 6269 (toysat) R 6266 6269 5566 0 -1 4202496 270210 0 0 0 5066 42 0 0 20 0 4 0 108244751 1348014080 270019 33554432000 4194304 16246674 140733843707872 140733843690872 6012046 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6269/statm: 329105 270019 853 2943 0 325999 0
[pid=6269/tid=6270] ppid=6266 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6270/stat : 6270 (toysat) S 6266 6269 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108244751 1348014080 270019 33554432000 4194304 16246674 140733843707872 140511131184368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6269/tid=6271] ppid=6266 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6271/stat : 6271 (toysat) S 6266 6269 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244751 1348014080 270019 33554432000 4194304 16246674 140733843707872 140511120694512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6269/tid=6272] ppid=6266 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244751 1348014080 270019 33554432000 4194304 16246674 140733843707872 140511110220976 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) 1316420

[startup+102.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 6342
/proc/meminfo: memFree=29513392/32872528 swapFree=12744/274376
[pid=6269] ppid=6266 vsize=1318468 CPUtime=102.25 cores=1,3,5,7
/proc/6269/stat : 6269 (toysat) R 6266 6269 5566 0 -1 4202496 270753 0 0 0 10181 44 0 0 20 0 4 0 108244751 1350111232 270531 33554432000 4194304 16246674 140733843707872 140733843689792 12460071 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6269/statm: 329617 270531 853 2943 0 326511 0
[pid=6269/tid=6270] ppid=6266 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6270/stat : 6270 (toysat) S 6266 6269 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108244751 1350111232 270531 33554432000 4194304 16246674 140733843707872 140511131184368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6269/tid=6271] ppid=6266 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6271/stat : 6271 (toysat) S 6266 6269 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244751 1350111232 270531 33554432000 4194304 16246674 140733843707872 140511120694512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6269/tid=6272] ppid=6266 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244751 1350111232 270531 33554432000 4194304 16246674 140733843707872 140511110220976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 1318468


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

/proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 272838 33554432000 4194304 16246674 140733843707872 140511110220976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 1327684

[startup+1302.3 s]
/proc/loadavg: 2.17 2.05 2.01 3/183 6372
/proc/meminfo: memFree=29497100/32872528 swapFree=12744/274376
[pid=6269] ppid=6266 vsize=1327684 CPUtime=1301.83 cores=1,3,5,7
/proc/6269/stat : 6269 (toysat) R 6266 6269 5566 0 -1 4202496 273455 0 0 0 130062 121 0 0 20 0 4 0 108244751 1359548416 272838 33554432000 4194304 16246674 140733843707872 140733843689792 5672197 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6269/statm: 331921 272838 855 2943 0 328815 0
[pid=6269/tid=6270] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6270/stat : 6270 (toysat) S 6266 6269 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 272838 33554432000 4194304 16246674 140733843707872 140511131184368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6269/tid=6271] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6271/stat : 6271 (toysat) S 6266 6269 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 272838 33554432000 4194304 16246674 140733843707872 140511120694512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6269/tid=6272] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 272838 33554432000 4194304 16246674 140733843707872 140511110220976 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) 1327684

[startup+1362.3 s]
/proc/loadavg: 2.22 2.08 2.02 3/183 6373
/proc/meminfo: memFree=29497376/32872528 swapFree=12744/274376
[pid=6269] ppid=6266 vsize=1327684 CPUtime=1361.81 cores=1,3,5,7
/proc/6269/stat : 6269 (toysat) R 6266 6269 5566 0 -1 4202496 273455 0 0 0 136052 129 0 0 20 0 4 0 108244751 1359548416 272838 33554432000 4194304 16246674 140733843707872 140733843689792 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6269/statm: 331921 272838 855 2943 0 328815 0
[pid=6269/tid=6270] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6270/stat : 6270 (toysat) S 6266 6269 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 272838 33554432000 4194304 16246674 140733843707872 140511131184368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6269/tid=6271] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6271/stat : 6271 (toysat) S 6266 6269 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 272838 33554432000 4194304 16246674 140733843707872 140511120694512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6269/tid=6272] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 272838 33554432000 4194304 16246674 140733843707872 140511110220976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 1327684

[startup+1422.3 s]
/proc/loadavg: 2.20 2.10 2.03 3/183 6374
/proc/meminfo: memFree=29497048/32872528 swapFree=12744/274376
[pid=6269] ppid=6266 vsize=1327684 CPUtime=1421.81 cores=1,3,5,7
/proc/6269/stat : 6269 (toysat) R 6266 6269 5566 0 -1 4202496 273455 0 0 0 142044 137 0 0 20 0 4 0 108244751 1359548416 272838 33554432000 4194304 16246674 140733843707872 140733843689792 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6269/statm: 331921 272838 855 2943 0 328815 0
[pid=6269/tid=6270] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6270/stat : 6270 (toysat) S 6266 6269 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 272838 33554432000 4194304 16246674 140733843707872 140511131184368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6269/tid=6271] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6271/stat : 6271 (toysat) S 6266 6269 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 272838 33554432000 4194304 16246674 140733843707872 140511120694512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6269/tid=6272] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 272838 33554432000 4194304 16246674 140733843707872 140511110220976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 1327684

[startup+1482.3 s]
/proc/loadavg: 2.17 2.11 2.03 3/183 6375
/proc/meminfo: memFree=29497296/32872528 swapFree=12744/274376
[pid=6269] ppid=6266 vsize=1327684 CPUtime=1481.79 cores=1,3,5,7
/proc/6269/stat : 6269 (toysat) R 6266 6269 5566 0 -1 4202496 273455 0 0 0 148037 142 0 0 20 0 4 0 108244751 1359548416 272838 33554432000 4194304 16246674 140733843707872 140733843690872 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6269/statm: 331921 272838 855 2943 0 328815 0
[pid=6269/tid=6270] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6270/stat : 6270 (toysat) S 6266 6269 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 272838 33554432000 4194304 16246674 140733843707872 140511131184368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6269/tid=6271] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6271/stat : 6271 (toysat) S 6266 6269 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 272838 33554432000 4194304 16246674 140733843707872 140511120694512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6269/tid=6272] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 272838 33554432000 4194304 16246674 140733843707872 140511110220976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 1327684

[startup+1542.31 s]
/proc/loadavg: 2.12 2.10 2.03 3/183 6376
/proc/meminfo: memFree=29497424/32872528 swapFree=12744/274376
[pid=6269] ppid=6266 vsize=1327684 CPUtime=1541.79 cores=1,3,5,7
/proc/6269/stat : 6269 (toysat) R 6266 6269 5566 0 -1 4202496 273455 0 0 0 154029 150 0 0 20 0 4 0 108244751 1359548416 272838 33554432000 4194304 16246674 140733843707872 140733843707048 6010181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6269/statm: 331921 272838 855 2943 0 328815 0
[pid=6269/tid=6270] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6270/stat : 6270 (toysat) S 6266 6269 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 272838 33554432000 4194304 16246674 140733843707872 140511131184368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6269/tid=6271] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6271/stat : 6271 (toysat) S 6266 6269 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 272838 33554432000 4194304 16246674 140733843707872 140511120694512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6269/tid=6272] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 272838 33554432000 4194304 16246674 140733843707872 140511110220976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1327684

[startup+1602.3 s]
/proc/loadavg: 2.04 2.08 2.03 3/183 6378
/proc/meminfo: memFree=29496492/32872528 swapFree=12744/274376
[pid=6269] ppid=6266 vsize=1327684 CPUtime=1601.77 cores=1,3,5,7
/proc/6269/stat : 6269 (toysat) R 6266 6269 5566 0 -1 4202496 273456 0 0 0 160023 154 0 0 20 0 4 0 108244751 1359548416 273094 33554432000 4194304 16246674 140733843707872 140733843689792 13950236 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6269/statm: 331921 273094 855 2943 0 328815 0
[pid=6269/tid=6270] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6270/stat : 6270 (toysat) S 6266 6269 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 273094 33554432000 4194304 16246674 140733843707872 140511131184368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6269/tid=6271] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6271/stat : 6271 (toysat) S 6266 6269 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 273094 33554432000 4194304 16246674 140733843707872 140511120694512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6269/tid=6272] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 273094 33554432000 4194304 16246674 140733843707872 140511110220976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1327684

[startup+1662.3 s]
/proc/loadavg: 2.05 2.08 2.02 3/183 6379
/proc/meminfo: memFree=29496252/32872528 swapFree=12744/274376
[pid=6269] ppid=6266 vsize=1327684 CPUtime=1661.77 cores=1,3,5,7
/proc/6269/stat : 6269 (toysat) R 6266 6269 5566 0 -1 4202496 273456 0 0 0 166020 157 0 0 20 0 4 0 108244751 1359548416 273094 33554432000 4194304 16246674 140733843707872 140733843690872 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6269/statm: 331921 273094 855 2943 0 328815 0
[pid=6269/tid=6270] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6270/stat : 6270 (toysat) S 6266 6269 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 273094 33554432000 4194304 16246674 140733843707872 140511131184368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6269/tid=6271] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6271/stat : 6271 (toysat) S 6266 6269 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 273094 33554432000 4194304 16246674 140733843707872 140511120694512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6269/tid=6272] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 273094 33554432000 4194304 16246674 140733843707872 140511110220976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1327684

[startup+1722.3 s]
/proc/loadavg: 2.05 2.08 2.02 3/184 6383
/proc/meminfo: memFree=29496408/32872528 swapFree=12744/274376
[pid=6269] ppid=6266 vsize=1327684 CPUtime=1721.75 cores=1,3,5,7
/proc/6269/stat : 6269 (toysat) R 6266 6269 5566 0 -1 4202496 273456 0 0 0 172012 163 0 0 20 0 4 0 108244751 1359548416 273094 33554432000 4194304 16246674 140733843707872 140733843689792 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6269/statm: 331921 273094 855 2943 0 328815 0
[pid=6269/tid=6270] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6270/stat : 6270 (toysat) S 6266 6269 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 273094 33554432000 4194304 16246674 140733843707872 140511131184368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6269/tid=6271] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6271/stat : 6271 (toysat) S 6266 6269 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 273094 33554432000 4194304 16246674 140733843707872 140511120694512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6269/tid=6272] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 273094 33554432000 4194304 16246674 140733843707872 140511110220976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1327684

[startup+1782.3 s]
/proc/loadavg: 2.12 2.09 2.03 3/185 6407
/proc/meminfo: memFree=29495288/32872528 swapFree=12744/274376
[pid=6269] ppid=6266 vsize=1327684 CPUtime=1781.74 cores=1,3,5,7
/proc/6269/stat : 6269 (toysat) R 6266 6269 5566 0 -1 4202496 273456 0 0 0 178005 169 0 0 20 0 4 0 108244751 1359548416 273094 33554432000 4194304 16246674 140733843707872 140733843690872 13943600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6269/statm: 331921 273094 855 2943 0 328815 0
[pid=6269/tid=6270] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6270/stat : 6270 (toysat) S 6266 6269 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 273094 33554432000 4194304 16246674 140733843707872 140511131184368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6269/tid=6271] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6271/stat : 6271 (toysat) S 6266 6269 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 273094 33554432000 4194304 16246674 140733843707872 140511120694512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6269/tid=6272] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 273094 33554432000 4194304 16246674 140733843707872 140511110220976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1327684



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.16 2.10 2.03 3/185 6407
/proc/meminfo: memFree=29495532/32872528 swapFree=12744/274376
[pid=6269] ppid=6266 vsize=1327684 CPUtime=1800.04 cores=1,3,5,7
/proc/6269/stat : 6269 (toysat) R 6266 6269 5566 0 -1 4202496 273456 0 0 0 179834 170 0 0 20 0 4 0 108244751 1359548416 273094 33554432000 4194304 16246674 140733843707872 140733843690872 5717604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6269/statm: 331921 273094 855 2943 0 328815 0
[pid=6269/tid=6270] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6270/stat : 6270 (toysat) S 6266 6269 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 273094 33554432000 4194304 16246674 140733843707872 140511131184368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6269/tid=6271] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6271/stat : 6271 (toysat) S 6266 6269 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 273094 33554432000 4194304 16246674 140733843707872 140511120694512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6269/tid=6272] ppid=6266 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6272/stat : 6272 (toysat) S 6266 6269 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108244751 1359548416 273094 33554432000 4194304 16246674 140733843707872 140511110220976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1327684

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.06
CPU user time (s): 1798.35
CPU system time (s): 1.70574
CPU usage (%): 99.9693
Max. virtual memory (cumulated for all children) (KiB): 1327684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.35
system time used= 1.70574
maximum resident set size= 1092376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273456
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= 446
involuntary context switches= 2178

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.86895 second user time and 9.61854 second system time

The end

Launcher Data

Begin job on node107 at 2016-06-07 03:31:40
IDJOB=4080109
IDBENCH=48277
IDSOLVER=2542
FILE ID=node107/4080109-1465263100
RUNJOBID= node107-1465255895-5583
PBS_JOBID= 19843278
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_4.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080109-1465263100/watcher-4080109-1465263100 -o /tmp/evaluation-result-4080109-1465263100/solver-4080109-1465263100 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465255895-5583 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080109-1465263100.opb

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

MD5SUM BENCH= 3258ae2375db1ca5a9ce9d305f00baf0
RANDOM SEED=1482255454

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.441
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.441
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.441
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.441
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:        31700084 kB
Buffers:           58272 kB
Cached:           134660 kB
SwapCached:         1712 kB
Active:            98912 kB
Inactive:          97740 kB
Active(anon):       5224 kB
Inactive(anon):      420 kB
Active(file):      93688 kB
Inactive(file):    97320 kB
Unevictable:      274376 kB
Mlocked:           12744 kB
SwapTotal:      67108856 kB
SwapFree:       67098440 kB
Dirty:             16336 kB
Writeback:             0 kB
AnonPages:        277140 kB
Mapped:             7084 kB
Shmem:                 0 kB
Slab:             570060 kB
SReclaimable:      13636 kB
SUnreclaim:       556424 kB
KernelStack:        1520 kB
PageTables:         4748 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     371600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    262144 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= 71716 MiB
End job on node107 at 2016-06-07 04:01:41