Trace number 4106049

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=9-P0=263-P1=409-P2=29-P3=379-B.opb
MD5SUM947e947c586d02edcb816b66608818b9
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.078987
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables81
Total number of constraints7
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints7
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)243
Sum of products size (including duplicates)486
Number of different products243
Sum of products size486

Solver Data 

0.00/0.00	c 2016-06-18T17:34:42+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-4106049-1466264082.opb"]
0.00/0.01	c use --random-gen="4009072750 2405848690 2029268010 2730053368 2027081078 2816144373 4107327398 1796896908 1378736710 1369543650 1640538065 3310318248 31736716 131145280 260767574 3652439869 196661981 3758192415 1392880557 509415590 3656107499 748066745 2633313644 3948185461 4084277873 2506663676 1893164292 3269896778 4057328601 299073823 3778161206 1514004823 1068849199 2211551960 3372384442 142509143 3920181121 2121208560 30036717 1319118173 3849637515 3901549287 4260677690 80821564 1434494460 3656180002 355542125 1307218718 1224786833 51152107 2379153591 1732575620 1319487451 2958840086 3411279996 313718941 1919089849 3096351733 1605446504 3996702037 4125230187 1964509382 1218704269 1737833846 928861742 2067964187 1857423616 3572805779 2277816862 1666439786 3524032737 1258232492 2198944250 93692949 3588596782 3413040902 588685461 3891184432 3277056986 4041341924 67197715 2676824126 1987987450 2848775293 1388098149 850654392 912070953 4276193625 2452575171 2503543332 4127618673 4231638871 2440002061 3299514299 873163882 2272144914 1164274302 1134404507 608886273 4257257404 3360626359 3556420348 2916362678 2115722257 2997270894 2657161030 2429551298 3584479521 760948521 3619464494 3906131155 2147438545 603357488 1893324627 1252222574 3664709233 11296330 2022593474 276747744 896969205 2926491521 2266543941 1958093849 2849872549 2096789874 2156329809 1280384837 2202534561 80468276 1996505586 1261635648 585097145 3592094639 1364884503 2694165923 2190332517 4127053663 2825873269 2814578905 2534274965 1484184360 2325944450 725081953 504659212 2469574120 1531184362 1759713939 3424169890 3585493862 1118096917 434419887 4279492156 204910097 2117982972 2985703385 4116175539 1041964671 1185878905 2297360473 828288645 382145270 354802886 1458236504 1087705352 2685760398 2142977692 3101484803 912237386 822762791 2168641603 823626142 401090616 690307076 70789302 3614179760 3104266374 1244788320 3444494291 2582775107 3640976121 2585077014 2384680608 3559483974 995637774 10959096 3071856309 3537974475 3874315464 3088091045 2244935575 83473388 854439260 1000772393 2962609252 3459499799 1839171019 4062605469 1588428816 408255603 2747708963 156202338 1280641484 1261503118 979290714 3258677228 1446921241 1006106361 1770097860 2339524615 1410667980 943078413 2053281657 3550936454 1371199434 1147600484 3329084049 937306739 2182724254 3055206887 3795099166 1078814027 2431865464 3405829535 2483516026 65258436 4079039745 2413620826 2034070781 1603317067 2341126005 4266854114 4284026481 3509702588 207208712 2898308875 764944605 3291101486 1351961976 3246327857 3249730738 1766370863 3490630705 896319516 2371213231 2864575212 1913168783 272150206 1324093137 2278556613 4088552466 3471209912 1665366809 1713018984 1816719598 1671564576 2605220999 255 362436" option to reproduce the execution
0.00/0.01	c #vars 81
0.00/0.01	c #constraints 7
0.00/0.02	c BCD2: Hardening is enabled.
0.00/0.02	c BCD2: BiasedSearch is enabled.
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      354      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      115 |      100 |      354      0 |        0 |        0
0.00/0.08	c  0.1s |       2 |      282 |      250 |      390      0 |        0 |        0
0.09/0.14	c  0.1s |       3 |      543 |      475 |      430      0 |        0 |        0
0.19/0.23	c  0.2s |       4 |      909 |      813 |      474      2 |        0 |        0
0.29/0.37	c  0.3s |       5 |     1461 |     1320 |      522      3 |        0 |        0
0.49/0.59	c  0.6s |       6 |     2278 |     2081 |      633      5 |        0 |        0
1.20/1.25	c  1.2s |       7 |     3521 |     3223 |      697      7 |        0 |        0
1.59/1.61	c  1.6s |       7 |     5261 |     4901 |      697     11 |        0 |        0
1.59/1.61	c #cpu_time = 1.597s
1.59/1.61	c #wall_clock_time = 1.597s
1.59/1.61	c #decision = 5261
1.59/1.61	c #random_decision = 22
1.59/1.61	c #conflict = 4901
1.59/1.61	c #restart = 7
1.59/1.61	o 325
1.59/1.61	c BCD2: updating upper bound: 511 -> 324
1.59/1.61	c BCD2: 0 <= obj <= 324
1.59/1.61	c BCD2: #cores=0, #unrelaxed=9, #relaxed=0, #hardened=0
1.59/1.61	c BCD2: #sat=1 #unsat=1 bias=1/2
1.59/1.61	c Solving starts ...
1.59/1.61	c ============================[ Search Statistics ]============================
1.59/1.61	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.59/1.61	c       |         |          |          |    Limit     GC | Var      | Constra 
1.59/1.61	c =============================================================================
1.59/1.61	c  0.0s |       0 |        0 |        0 |      697      0 |        0 |        0
1.59/1.62	c  0.0s |       0 |        7 |        0 |      697      1 |        0 |        0
1.59/1.62	c #cpu_time = 0.003s
1.59/1.62	c #wall_clock_time = 0.003s
1.59/1.62	c #decision = 7
1.59/1.62	c #random_decision = 0
1.59/1.62	c #conflict = 0
1.59/1.62	c #restart = 0
1.59/1.62	c BCD2: found a new core of size 8: cost of the new core is >=2
1.59/1.62	c lower bound updated to 2
1.59/1.62	c BCD2: 2 <= obj <= 324
1.59/1.62	c BCD2: #cores=1, #unrelaxed=1, #relaxed=8, #hardened=0
1.59/1.62	c BCD2: #sat=1 #unsat=2 bias=2/3
1.59/1.62	c Solving starts ...
1.59/1.62	c ============================[ Search Statistics ]============================
1.59/1.62	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.59/1.62	c       |         |          |          |    Limit     GC | Var      | Constra 
1.59/1.62	c =============================================================================
1.59/1.62	c  0.0s |       0 |        0 |        0 |      697      0 |        0 |        0
1.59/1.67	c  0.0s |       1 |      172 |      100 |      767      0 |        0 |        0
1.59/1.69	c  0.1s |       2 |      348 |      250 |      767      0 |        0 |        0
1.69/1.78	c  0.2s |       3 |      641 |      475 |      767      0 |        0 |        0
1.89/1.91	c  0.3s |       4 |     1079 |      813 |      767      1 |        0 |        0
1.99/2.02	c  0.4s |       5 |     1648 |     1320 |      767      2 |        0 |        0
2.29/2.38	c  0.8s |       6 |     2642 |     2081 |      767      4 |        0 |        0
2.59/2.62	c  1.0s |       7 |     3904 |     3223 |      844      6 |        0 |        0
3.09/3.14	c  1.5s |       8 |     5692 |     4936 |      844      9 |        0 |        0
3.69/3.72	c  2.1s |       9 |     8367 |     7506 |      929     14 |        0 |        0
4.89/4.94	c  3.3s |      10 |    12401 |    11361 |      929     21 |        0 |        0
6.19/6.23	c  4.6s |      11 |    18291 |    17144 |     1022     30 |        0 |        0
8.19/8.25	c  6.6s |      11 |    26355 |    24844 |     1125     42 |        0 |        0
8.49/8.50	c  6.9s |      12 |    27341 |    25819 |     1125     44 |        0 |        0
10.49/10.52	c  8.9s |      12 |    35902 |    34219 |     1238     56 |        0 |        0
11.59/11.68	c 10.1s |      13 |    40541 |    38832 |     1238     62 |        0 |        0
13.58/13.69	c 12.1s |      13 |    47915 |    45832 |     1238     72 |        0 |        0
15.68/15.72	c 14.1s |      13 |    56357 |    54032 |     1362     82 |        0 |        0
16.78/16.87	c 15.3s |      14 |    60827 |    58352 |     1362     88 |        0 |        0
18.79/18.87	c 17.3s |      14 |    69424 |    66752 |     1362     98 |        0 |        0
20.78/20.88	c 19.3s |      14 |    77390 |    74552 |     1362    108 |        0 |        0
22.88/22.91	c 21.3s |      14 |    85514 |    82352 |     1499    117 |        0 |        0
24.29/24.39	c 22.8s |      15 |    90869 |    87632 |     1499    123 |        0 |        0
26.29/26.39	c 24.8s |      15 |    98083 |    94432 |     1499    131 |        0 |        0
28.39/28.40	c 26.8s |      15 |   105620 |   101732 |     1499    140 |        0 |        0
30.39/30.41	c 28.8s |      15 |   111692 |   107632 |     1499    147 |        0 |        0
32.39/32.43	c 30.8s |      15 |   118167 |   113932 |     1499    154 |        0 |        0
34.39/34.45	c 32.8s |      15 |   125612 |   121132 |     1499    162 |        0 |        0
36.40/36.47	c 34.9s |      15 |   132781 |   128032 |     1649    170 |        0 |        0
37.50/37.58	c 36.0s |      16 |   136434 |   131552 |     1649    173 |        0 |        0
39.49/39.60	c 38.0s |      16 |   144092 |   139052 |     1649    181 |        0 |        0
41.59/41.63	c 40.0s |      16 |   150171 |   145052 |     1649    188 |        0 |        0
43.59/43.66	c 42.0s |      16 |   157616 |   152252 |     1649    195 |        0 |        0
45.59/45.67	c 44.1s |      16 |   164767 |   159352 |     1649    203 |        0 |        0
47.59/47.68	c 46.1s |      16 |   172385 |   166752 |     1649    210 |        0 |        0
49.69/49.71	c 48.1s |      16 |   179857 |   174052 |     1649    218 |        0 |        0
51.69/51.73	c 50.1s |      16 |   186612 |   180652 |     1649    225 |        0 |        0
53.68/53.76	c 52.1s |      16 |   193359 |   187352 |     1649    232 |        0 |        0
55.68/55.76	c 54.1s |      16 |   199962 |   193852 |     1814    239 |        0 |        0
56.68/56.77	c 55.1s |      17 |   203613 |   197432 |     1814    242 |        0 |        0
58.68/58.78	c 57.2s |      17 |   209268 |   202232 |     1814    247 |        0 |        0
60.78/60.81	c 59.2s |      17 |   215218 |   208032 |     1814    253 |        0 |        0
62.79/62.84	c 61.2s |      17 |   221547 |   214232 |     1814    259 |        0 |        0
64.78/64.87	c 63.3s |      17 |   227837 |   220332 |     1814    264 |        0 |        0
66.88/66.90	c 65.3s |      17 |   233540 |   225732 |     1814    270 |        0 |        0
68.88/68.92	c 67.3s |      17 |   239926 |   231732 |     1814    275 |        0 |        0
70.88/70.94	c 69.3s |      17 |   246061 |   237732 |     1814    281 |        0 |        0
72.88/72.94	c 71.3s |      17 |   252003 |   243332 |     1814    287 |        0 |        0
74.88/74.96	c 73.3s |      17 |   258123 |   249432 |     1814    292 |        0 |        0
76.88/76.97	c 75.4s |      17 |   264379 |   255532 |     1814    298 |        0 |        0
78.88/78.99	c 77.4s |      17 |   270244 |   261132 |     1814    304 |        0 |        0
80.88/80.99	c 79.4s |      17 |   275448 |   266132 |     1814    308 |        0 |        0
82.98/83.02	c 81.4s |      17 |   280757 |   271432 |     1814    314 |        0 |        0
84.98/85.03	c 83.4s |      17 |   286221 |   276732 |     1814    319 |        0 |        0
86.98/87.04	c 85.4s |      17 |   291295 |   281532 |     1814    323 |        0 |        0
88.97/89.05	c 87.4s |      17 |   297366 |   287532 |     1814    329 |        0 |        0
90.97/91.08	c 89.5s |      17 |   304890 |   294832 |     1996    336 |        0 |        0
91.67/91.70	c 90.1s |      18 |   306476 |   296252 |     1996    337 |        0 |        0
93.67/93.72	c 92.1s |      18 |   314326 |   303952 |     1996    344 |        0 |        0
95.68/95.74	c 94.1s |      18 |   321899 |   311452 |     1996    351 |        0 |        0
97.67/97.76	c 96.1s |      18 |   329818 |   319252 |     1996    358 |        0 |        0
99.67/99.77	c 98.1s |      18 |   337411 |   326652 |     1996    364 |        0 |        0
101.67/101.79	c  100s |      18 |   344698 |   333852 |     1996    371 |        0 |        0
103.77/103.82	c  102s |      18 |   352217 |   341252 |     1996    377 |        0 |        0
105.77/105.83	c  104s |      18 |   359677 |   348652 |     1996    384 |        0 |        0
107.78/107.85	c  106s |      18 |   366992 |   355852 |     1996    390 |        0 |        0
109.77/109.87	c  108s |      18 |   374380 |   363152 |     1996    397 |        0 |        0
111.77/111.88	c  110s |      18 |   381646 |   370252 |     1996    404 |        0 |        0
113.87/113.91	c  112s |      18 |   388788 |   377252 |     1996    410 |        0 |        0
115.87/115.92	c  114s |      18 |   395711 |   384052 |     1996    416 |        0 |        0
117.87/117.92	c  116s |      18 |   402812 |   391052 |     1996    423 |        0 |        0
119.87/119.94	c  118s |      18 |   409581 |   397652 |     1996    429 |        0 |        0
121.87/121.95	c  120s |      18 |   416512 |   404452 |     1996    435 |        0 |        0
123.87/123.95	c  122s |      18 |   423025 |   410852 |     1996    441 |        0 |        0
125.87/125.97	c  124s |      18 |   429923 |   417652 |     1996    447 |        0 |        0
127.87/127.98	c  126s |      18 |   437044 |   424652 |     1996    453 |        0 |        0
129.97/130.00	c  128s |      18 |   443844 |   431352 |     1996    459 |        0 |        0
131.97/132.01	c  130s |      18 |   451104 |   438452 |     2196    465 |        0 |        0
133.57/133.66	c  132s |      19 |   457235 |   444482 |     2196    470 |        0 |        0
135.57/135.66	c  134s |      19 |   463268 |   449982 |     2196    475 |        0 |        0
137.58/137.66	c  136s |      19 |   470392 |   456682 |     2196    480 |        0 |        0
139.57/139.67	c  138s |      19 |   477570 |   463482 |     2196    486 |        0 |        0
141.67/141.72	c  140s |      19 |   484473 |   470082 |     2196    491 |        0 |        0
143.67/143.73	c  142s |      19 |   491942 |   477282 |     2196    497 |        0 |        0
145.67/145.75	c  144s |      19 |   499185 |   484282 |     2196    503 |        0 |        0
147.67/147.76	c  146s |      19 |   505672 |   490482 |     2196    508 |        0 |        0
149.77/149.81	c  148s |      19 |   512149 |   496682 |     2196    513 |        0 |        0
151.77/151.81	c  150s |      19 |   518571 |   502582 |     2196    518 |        0 |        0
153.77/153.84	c  152s |      19 |   524605 |   507882 |     2196    522 |        0 |        0
155.77/155.86	c  154s |      19 |   530503 |   513282 |     2196    527 |        0 |        0
157.77/157.87	c  156s |      19 |   537382 |   519682 |     2196    532 |        0 |        0
159.87/159.90	c  158s |      19 |   545270 |   527282 |     2196    538 |        0 |        0
161.87/161.92	c  160s |      19 |   552421 |   534082 |     2196    544 |        0 |        0
163.87/163.94	c  162s |      19 |   560117 |   541482 |     2196    550 |        0 |        0
165.87/165.96	c  164s |      19 |   567262 |   548382 |     2196    555 |        0 |        0
167.87/167.97	c  166s |      19 |   574201 |   554982 |     2196    561 |        0 |        0
169.87/169.97	c  168s |      19 |   581697 |   562182 |     2196    567 |        0 |        0
171.87/171.98	c  170s |      19 |   589188 |   569482 |     2196    573 |        0 |        0
173.87/173.99	c  172s |      19 |   596535 |   576582 |     2196    579 |        0 |        0
175.97/176.02	c  174s |      19 |   603973 |   583782 |     2196    584 |        0 |        0
177.96/178.05	c  176s |      19 |   611256 |   590682 |     2196    590 |        0 |        0
179.96/180.06	c  178s |      19 |   618008 |   596982 |     2196    595 |        0 |        0
181.96/182.06	c  180s |      19 |   625251 |   603882 |     2196    601 |        0 |        0
183.96/184.09	c  182s |      19 |   631969 |   610382 |     2196    606 |        0 |        0
186.06/186.10	c  184s |      19 |   638718 |   616782 |     2196    611 |        0 |        0
188.07/188.13	c  186s |      19 |   645230 |   622982 |     2196    617 |        0 |        0
190.06/190.14	c  188s |      19 |   652172 |   629682 |     2196    622 |        0 |        0
192.06/192.15	c  190s |      19 |   659086 |   636482 |     2196    628 |        0 |        0
194.06/194.18	c  192s |      19 |   666468 |   643682 |     2196    634 |        0 |        0
196.16/196.20	c  194s |      19 |   672050 |   648882 |     2196    638 |        0 |        0
198.16/198.21	c  196s |      19 |   679002 |   655582 |     2196    643 |        0 |        0
200.17/200.22	c  198s |      19 |   685236 |   661282 |     2416    648 |        0 |        0
202.16/202.20	c  200s |      20 |   691155 |   666827 |     2416    652 |        0 |        0
204.16/204.21	c  202s |      20 |   698161 |   673727 |     2416    657 |        0 |        0
206.16/206.23	c  204s |      20 |   704667 |   680127 |     2416    662 |        0 |        0
208.16/208.26	c  206s |      20 |   710569 |   685927 |     2416    666 |        0 |        0
210.16/210.27	c  208s |      20 |   716644 |   691927 |     2416    670 |        0 |        0
212.16/212.29	c  210s |      20 |   723097 |   698327 |     2416    675 |        0 |        0
214.16/214.29	c  212s |      20 |   729275 |   704427 |     2416    680 |        0 |        0
216.26/216.30	c  214s |      20 |   734983 |   710027 |     2416    684 |        0 |        0
218.26/218.33	c  216s |      20 |   740995 |   715827 |     2416    688 |        0 |        0
220.26/220.33	c  218s |      20 |   746746 |   721427 |     2416    693 |        0 |        0
222.26/222.35	c  220s |      20 |   752921 |   727427 |     2416    697 |        0 |        0
224.25/224.38	c  222s |      20 |   759856 |   734227 |     2416    702 |        0 |        0
226.25/226.39	c  224s |      20 |   765989 |   740327 |     2416    707 |        0 |        0
228.35/228.41	c  226s |      20 |   772973 |   747127 |     2416    712 |        0 |        0
230.35/230.43	c  228s |      20 |   778756 |   752827 |     2416    716 |        0 |        0
232.35/232.47	c  230s |      20 |   785472 |   759327 |     2416    721 |        0 |        0
234.36/234.48	c  232s |      20 |   790888 |   764527 |     2416    725 |        0 |        0
236.46/236.51	c  234s |      20 |   797161 |   770627 |     2416    730 |        0 |        0
238.45/238.53	c  236s |      20 |   803229 |   776627 |     2416    734 |        0 |        0
240.45/240.53	c  238s |      20 |   808881 |   782227 |     2416    738 |        0 |        0
242.45/242.54	c  240s |      20 |   815259 |   788527 |     2416    743 |        0 |        0
244.45/244.56	c  242s |      20 |   821830 |   794827 |     2416    748 |        0 |        0
246.46/246.58	c  244s |      20 |   828562 |   801427 |     2416    753 |        0 |        0
248.56/248.61	c  246s |      20 |   834842 |   807627 |     2416    758 |        0 |        0
250.55/250.64	c  249s |      20 |   840898 |   813527 |     2416    762 |        0 |        0
252.55/252.65	c  251s |      20 |   846434 |   819027 |     2416    766 |        0 |        0
254.55/254.68	c  253s |      20 |   852587 |   825027 |     2416    771 |        0 |        0
256.55/256.70	c  255s |      20 |   858872 |   831227 |     2416    775 |        0 |        0
258.65/258.71	c  257s |      20 |   864977 |   837127 |     2416    780 |        0 |        0
260.65/260.72	c  259s |      20 |   871999 |   843927 |     2416    785 |        0 |        0
262.65/262.73	c  261s |      20 |   878395 |   850227 |     2416    789 |        0 |        0
264.65/264.76	c  263s |      20 |   885054 |   856827 |     2416    794 |        0 |        0
266.65/266.76	c  265s |      20 |   891582 |   863227 |     2416    799 |        0 |        0
268.65/268.78	c  267s |      20 |   898200 |   869627 |     2416    804 |        0 |        0
270.65/270.79	c  269s |      20 |   905097 |   876327 |     2416    809 |        0 |        0
272.75/272.81	c  271s |      20 |   911999 |   883127 |     2416    814 |        0 |        0
274.74/274.83	c  273s |      20 |   918083 |   889127 |     2416    819 |        0 |        0
276.74/276.85	c  275s |      20 |   924853 |   895527 |     2416    824 |        0 |        0
278.74/278.88	c  277s |      20 |   931233 |   901827 |     2416    828 |        0 |        0
280.74/280.89	c  279s |      20 |   938043 |   908427 |     2416    833 |        0 |        0
282.75/282.89	c  281s |      20 |   944130 |   914427 |     2416    838 |        0 |        0
284.74/284.90	c  283s |      20 |   951032 |   921127 |     2416    843 |        0 |        0
286.85/286.91	c  285s |      20 |   957817 |   927827 |     2416    848 |        0 |        0
288.85/288.94	c  287s |      20 |   964438 |   934327 |     2416    853 |        0 |        0
290.85/290.96	c  289s |      20 |   971023 |   940827 |     2416    858 |        0 |        0
292.85/292.97	c  291s |      20 |   977753 |   947427 |     2416    863 |        0 |        0
294.86/294.97	c  293s |      20 |   984534 |   954027 |     2416    868 |        0 |        0
296.85/296.98	c  295s |      20 |   991244 |   960627 |     2416    873 |        0 |        0
298.85/298.99	c  297s |      20 |   997917 |   967227 |     2416    878 |        0 |        0
300.95/301.01	c  299s |      20 |  1004743 |   973927 |     2416    883 |        0 |        0
302.95/303.01	c  301s |      20 |  1011287 |   980327 |     2416    887 |        0 |        0
304.95/305.02	c  303s |      20 |  1017573 |   986427 |     2416    892 |        0 |        0
306.95/307.05	c  305s |      20 |  1024343 |   993127 |     2658    897 |        0 |        0
308.95/309.07	c  307s |      20 |  1031166 |   999827 |     2658    901 |        0 |        0
309.15/309.23	c  307s |      21 |  1031689 |  1000345 |     2658    902 |        0 |        0
311.15/311.25	c  309s |      21 |  1037197 |  1005245 |     2658    905 |        0 |        0
313.15/313.26	c  311s |      21 |  1043598 |  1011545 |     2658    909 |        0 |        0
315.15/315.28	c  313s |      21 |  1050279 |  1018045 |     2658    914 |        0 |        0
317.14/317.29	c  315s |      21 |  1056116 |  1023745 |     2658    918 |        0 |        0
319.24/319.32	c  317s |      21 |  1061703 |  1028745 |     2658    921 |        0 |        0
321.25/321.34	c  319s |      21 |  1067758 |  1034545 |     2658    925 |        0 |        0
323.24/323.34	c  321s |      21 |  1073288 |  1039845 |     2658    929 |        0 |        0
325.24/325.37	c  323s |      21 |  1079092 |  1045445 |     2658    933 |        0 |        0
327.24/327.37	c  325s |      21 |  1084811 |  1050845 |     2658    936 |        0 |        0
329.34/329.40	c  327s |      21 |  1091217 |  1057045 |     2658    941 |        0 |        0
331.34/331.41	c  329s |      21 |  1097689 |  1063345 |     2658    945 |        0 |        0
333.35/333.43	c  331s |      21 |  1103664 |  1069145 |     2658    949 |        0 |        0
335.34/335.44	c  333s |      21 |  1109983 |  1075245 |     2658    953 |        0 |        0
337.34/337.48	c  335s |      21 |  1115748 |  1080745 |     2658    957 |        0 |        0
339.34/339.48	c  337s |      21 |  1121348 |  1085845 |     2658    960 |        0 |        0
341.34/341.49	c  339s |      21 |  1127341 |  1091645 |     2658    964 |        0 |        0
343.44/343.51	c  341s |      21 |  1133282 |  1097145 |     2658    968 |        0 |        0
345.45/345.54	c  343s |      21 |  1138985 |  1102645 |     2658    972 |        0 |        0
347.44/347.58	c  345s |      21 |  1145419 |  1108945 |     2658    976 |        0 |        0
349.44/349.59	c  347s |      21 |  1151587 |  1114845 |     2658    980 |        0 |        0
351.54/351.61	c  349s |      21 |  1157492 |  1120645 |     2658    984 |        0 |        0
353.54/353.63	c  352s |      21 |  1162559 |  1125545 |     2658    988 |        0 |        0
355.54/355.66	c  354s |      21 |  1168606 |  1131345 |     2658    992 |        0 |        0
357.55/357.69	c  356s |      21 |  1174494 |  1137145 |     2658    996 |        0 |        0
359.65/359.74	c  358s |      21 |  1180349 |  1142645 |     2658   1000 |        0 |        0
361.64/361.74	c  360s |      21 |  1186495 |  1148545 |     2658   1004 |        0 |        0
363.64/363.74	c  362s |      21 |  1192873 |  1154745 |     2658   1008 |        0 |        0
365.64/365.76	c  364s |      21 |  1199120 |  1160845 |     2658   1012 |        0 |        0
367.64/367.76	c  366s |      21 |  1204719 |  1166245 |     2658   1016 |        0 |        0
369.64/369.78	c  368s |      21 |  1210765 |  1171945 |     2658   1020 |        0 |        0
371.74/371.82	c  370s |      21 |  1217532 |  1178545 |     2658   1024 |        0 |        0
373.74/373.83	c  372s |      21 |  1223412 |  1184145 |     2658   1028 |        0 |        0
375.74/375.85	c  374s |      21 |  1229471 |  1189745 |     2658   1032 |        0 |        0
377.73/377.86	c  376s |      21 |  1234559 |  1194645 |     2658   1035 |        0 |        0
379.73/379.89	c  378s |      21 |  1240501 |  1200345 |     2658   1039 |        0 |        0
381.83/381.92	c  380s |      21 |  1245916 |  1205345 |     2658   1043 |        0 |        0
383.84/383.95	c  382s |      21 |  1252776 |  1211945 |     2658   1047 |        0 |        0
385.83/385.96	c  384s |      21 |  1258846 |  1217845 |     2658   1051 |        0 |        0
387.83/387.97	c  386s |      21 |  1265398 |  1224245 |     2658   1056 |        0 |        0
389.93/390.01	c  388s |      21 |  1271225 |  1229245 |     2658   1059 |        0 |        0
391.93/392.04	c  390s |      21 |  1277315 |  1234945 |     2658   1063 |        0 |        0
393.93/394.08	c  392s |      21 |  1282948 |  1240245 |     2658   1067 |        0 |        0
396.04/396.10	c  394s |      21 |  1288836 |  1245745 |     2658   1071 |        0 |        0
398.03/398.13	c  396s |      21 |  1294404 |  1251045 |     2658   1074 |        0 |        0
400.03/400.13	c  398s |      21 |  1299900 |  1256145 |     2658   1078 |        0 |        0
402.03/402.14	c  400s |      21 |  1306419 |  1262445 |     2658   1082 |        0 |        0
404.03/404.15	c  402s |      21 |  1313299 |  1269145 |     2658   1087 |        0 |        0
406.03/406.19	c  404s |      21 |  1318305 |  1273845 |     2658   1090 |        0 |        0
408.13/408.22	c  406s |      21 |  1322091 |  1277145 |     2658   1092 |        0 |        0
410.12/410.23	c  408s |      21 |  1329086 |  1284045 |     2658   1097 |        0 |        0
412.12/412.24	c  410s |      21 |  1335638 |  1290245 |     2658   1101 |        0 |        0
414.12/414.26	c  412s |      21 |  1342967 |  1297345 |     2658   1106 |        0 |        0
416.12/416.28	c  414s |      21 |  1349409 |  1303445 |     2658   1110 |        0 |        0
418.12/418.29	c  416s |      21 |  1356511 |  1310245 |     2658   1115 |        0 |        0
420.13/420.30	c  418s |      21 |  1363333 |  1316845 |     2658   1120 |        0 |        0
422.22/422.32	c  420s |      21 |  1369361 |  1322545 |     2658   1124 |        0 |        0
424.22/424.35	c  422s |      21 |  1375736 |  1328545 |     2658   1128 |        0 |        0
426.22/426.36	c  424s |      21 |  1382237 |  1334745 |     2658   1132 |        0 |        0
428.22/428.38	c  426s |      21 |  1388564 |  1340945 |     2658   1136 |        0 |        0
430.32/430.41	c  428s |      21 |  1395367 |  1347545 |     2658   1141 |        0 |        0
432.33/432.43	c  430s |      21 |  1402306 |  1354245 |     2658   1145 |        0 |        0
434.32/434.44	c  432s |      21 |  1408223 |  1359845 |     2658   1149 |        0 |        0
436.32/436.47	c  434s |      21 |  1414845 |  1366245 |     2658   1154 |        0 |        0
438.32/438.47	c  436s |      21 |  1420747 |  1371945 |     2658   1158 |        0 |        0
440.32/440.49	c  438s |      21 |  1427899 |  1378845 |     2658   1162 |        0 |        0
442.43/442.50	c  440s |      21 |  1434672 |  1385345 |     2658   1167 |        0 |        0
444.43/444.52	c  442s |      21 |  1441339 |  1391745 |     2658   1171 |        0 |        0
446.43/446.55	c  444s |      21 |  1447712 |  1397845 |     2658   1175 |        0 |        0
448.43/448.56	c  446s |      21 |  1454808 |  1404545 |     2658   1180 |        0 |        0
450.43/450.57	c  448s |      21 |  1461714 |  1411045 |     2658   1184 |        0 |        0
452.43/452.58	c  450s |      21 |  1468121 |  1417245 |     2658   1189 |        0 |        0
454.52/454.61	c  452s |      21 |  1474103 |  1422845 |     2658   1193 |        0 |        0
456.53/456.62	c  455s |      21 |  1479833 |  1428245 |     2658   1196 |        0 |        0
458.52/458.62	c  457s |      21 |  1485883 |  1434045 |     2658   1200 |        0 |        0
460.52/460.67	c  459s |      21 |  1492280 |  1440245 |     2658   1205 |        0 |        0
462.52/462.68	c  461s |      21 |  1499032 |  1446645 |     2658   1209 |        0 |        0
464.62/464.70	c  463s |      21 |  1505997 |  1453445 |     2658   1214 |        0 |        0
466.62/466.72	c  465s |      21 |  1512816 |  1460145 |     2658   1218 |        0 |        0
468.63/468.75	c  467s |      21 |  1520123 |  1467145 |     2658   1223 |        0 |        0
470.62/470.75	c  469s |      21 |  1527021 |  1473845 |     2658   1228 |        0 |        0
472.62/472.78	c  471s |      21 |  1534078 |  1480645 |     2658   1233 |        0 |        0
474.72/474.82	c  473s |      21 |  1539614 |  1486045 |     2924   1236 |        0 |        0
476.72/476.84	c  475s |      21 |  1545366 |  1491545 |     2924   1240 |        0 |        0
478.72/478.87	c  477s |      21 |  1552400 |  1498245 |     2924   1244 |        0 |        0
479.52/479.65	c  478s |      22 |  1554864 |  1500622 |     2924   1245 |        0 |        0
481.52/481.67	c  480s |      22 |  1562135 |  1507722 |     2924   1250 |        0 |        0
483.52/483.68	c  482s |      22 |  1568775 |  1514322 |     2924   1254 |        0 |        0
485.62/485.71	c  484s |      22 |  1575398 |  1520822 |     2924   1258 |        0 |        0
487.62/487.71	c  486s |      22 |  1582195 |  1527522 |     2924   1262 |        0 |        0
489.62/489.73	c  488s |      22 |  1589142 |  1534322 |     2924   1267 |        0 |        0
491.62/491.74	c  490s |      22 |  1596261 |  1541322 |     2924   1271 |        0 |        0
493.62/493.74	c  492s |      22 |  1602921 |  1547822 |     2924   1275 |        0 |        0
495.61/495.74	c  494s |      22 |  1609475 |  1554322 |     2924   1279 |        0 |        0
497.61/497.76	c  496s |      22 |  1616173 |  1560922 |     2924   1283 |        0 |        0
499.61/499.78	c  498s |      22 |  1623141 |  1567722 |     2924   1288 |        0 |        0
501.62/501.79	c  500s |      22 |  1629789 |  1574322 |     2924   1292 |        0 |        0
503.72/503.81	c  502s |      22 |  1637176 |  1581522 |     2924   1296 |        0 |        0
505.71/505.83	c  504s |      22 |  1644084 |  1588322 |     2924   1301 |        0 |        0
507.71/507.83	c  506s |      22 |  1650387 |  1594522 |     2924   1305 |        0 |        0
509.71/509.85	c  508s |      22 |  1656998 |  1601022 |     2924   1309 |        0 |        0
511.71/511.85	c  510s |      22 |  1662491 |  1606422 |     2924   1312 |        0 |        0
513.72/513.88	c  512s |      22 |  1668109 |  1611922 |     2924   1316 |        0 |        0
515.82/515.91	c  514s |      22 |  1674368 |  1618022 |     2924   1319 |        0 |        0
517.81/517.92	c  516s |      22 |  1680391 |  1624022 |     2924   1323 |        0 |        0
519.81/519.92	c  518s |      22 |  1687293 |  1630622 |     2924   1327 |        0 |        0
521.81/521.93	c  520s |      22 |  1694239 |  1637522 |     2924   1332 |        0 |        0
523.81/523.94	c  522s |      22 |  1700842 |  1644022 |     2924   1336 |        0 |        0
525.82/525.96	c  524s |      22 |  1707670 |  1650722 |     2924   1340 |        0 |        0
527.81/527.97	c  526s |      22 |  1714140 |  1657122 |     2924   1344 |        0 |        0
529.81/529.97	c  528s |      22 |  1720562 |  1663422 |     2924   1348 |        0 |        0
531.91/532.01	c  530s |      22 |  1726627 |  1669422 |     2924   1352 |        0 |        0
533.91/534.01	c  532s |      22 |  1732710 |  1675322 |     2924   1356 |        0 |        0
535.91/536.03	c  534s |      22 |  1739014 |  1681422 |     2924   1359 |        0 |        0
537.91/538.04	c  536s |      22 |  1744660 |  1686622 |     2924   1363 |        0 |        0
539.90/540.07	c  538s |      22 |  1750349 |  1692122 |     2924   1366 |        0 |        0
541.90/542.08	c  540s |      22 |  1755812 |  1697522 |     2924   1370 |        0 |        0
543.90/544.08	c  542s |      22 |  1761627 |  1703022 |     2924   1373 |        0 |        0
546.00/546.11	c  544s |      22 |  1767939 |  1709222 |     2924   1377 |        0 |        0
548.00/548.12	c  546s |      22 |  1774200 |  1715422 |     2924   1381 |        0 |        0
550.01/550.15	c  548s |      22 |  1780586 |  1721722 |     2924   1385 |        0 |        0
552.01/552.18	c  550s |      22 |  1786828 |  1727722 |     2924   1389 |        0 |        0
554.11/554.20	c  552s |      22 |  1792984 |  1733722 |     2924   1393 |        0 |        0
556.11/556.21	c  554s |      22 |  1799524 |  1740122 |     2924   1397 |        0 |        0
558.11/558.23	c  556s |      22 |  1805792 |  1746322 |     2924   1401 |        0 |        0
560.11/560.26	c  558s |      22 |  1812118 |  1752622 |     2924   1405 |        0 |        0
562.11/562.27	c  560s |      22 |  1819168 |  1759522 |     2924   1409 |        0 |        0
564.11/564.30	c  562s |      22 |  1824998 |  1765322 |     2924   1413 |        0 |        0
566.21/566.32	c  564s |      22 |  1831718 |  1771922 |     2924   1417 |        0 |        0
568.21/568.34	c  566s |      22 |  1838608 |  1778722 |     2924   1421 |        0 |        0
570.21/570.36	c  568s |      22 |  1844934 |  1784822 |     2924   1425 |        0 |        0
572.21/572.39	c  570s |      22 |  1850791 |  1790422 |     2924   1428 |        0 |        0
574.21/574.39	c  572s |      22 |  1857674 |  1797022 |     2924   1433 |        0 |        0
576.31/576.42	c  574s |      22 |  1863627 |  1802722 |     2924   1436 |        0 |        0
578.30/578.43	c  576s |      22 |  1869856 |  1808722 |     2924   1440 |        0 |        0
580.30/580.45	c  578s |      22 |  1875766 |  1814522 |     2924   1444 |        0 |        0
582.30/582.47	c  580s |      22 |  1882261 |  1820822 |     2924   1448 |        0 |        0
584.30/584.49	c  582s |      22 |  1888538 |  1826922 |     2924   1452 |        0 |        0
586.31/586.49	c  584s |      22 |  1894853 |  1833122 |     2924   1456 |        0 |        0
588.41/588.51	c  586s |      22 |  1901284 |  1839422 |     2924   1460 |        0 |        0
590.40/590.56	c  588s |      22 |  1907590 |  1845622 |     2924   1464 |        0 |        0
592.40/592.58	c  590s |      22 |  1913843 |  1851722 |     2924   1467 |        0 |        0
594.40/594.59	c  592s |      22 |  1919943 |  1857622 |     2924   1471 |        0 |        0
596.40/596.59	c  594s |      22 |  1926382 |  1863922 |     2924   1475 |        0 |        0
598.50/598.60	c  596s |      22 |  1932749 |  1870122 |     2924   1479 |        0 |        0
600.51/600.62	c  598s |      22 |  1939005 |  1876222 |     2924   1483 |        0 |        0
602.50/602.62	c  601s |      22 |  1945938 |  1883022 |     2924   1487 |        0 |        0
604.50/604.66	c  603s |      22 |  1952789 |  1889722 |     2924   1492 |        0 |        0
606.50/606.68	c  605s |      22 |  1959649 |  1896422 |     2924   1496 |        0 |        0
608.50/608.69	c  607s |      22 |  1965806 |  1902422 |     2924   1500 |        0 |        0
610.51/610.69	c  609s |      22 |  1972965 |  1909422 |     2924   1504 |        0 |        0
612.60/612.70	c  611s |      22 |  1979625 |  1915922 |     2924   1508 |        0 |        0
614.60/614.70	c  613s |      22 |  1986453 |  1922622 |     2924   1512 |        0 |        0
616.60/616.73	c  615s |      22 |  1992700 |  1928722 |     2924   1516 |        0 |        0
618.60/618.76	c  617s |      22 |  1999779 |  1935622 |     2924   1521 |        0 |        0
620.60/620.77	c  619s |      22 |  2007035 |  1942722 |     2924   1525 |        0 |        0
622.60/622.78	c  621s |      22 |  2013573 |  1949122 |     2924   1529 |        0 |        0
624.60/624.79	c  623s |      22 |  2019654 |  1955022 |     2924   1533 |        0 |        0
626.60/626.79	c  625s |      22 |  2026008 |  1961222 |     2924   1537 |        0 |        0
628.70/628.82	c  627s |      22 |  2032262 |  1967322 |     2924   1541 |        0 |        0
630.70/630.84	c  629s |      22 |  2038320 |  1973222 |     2924   1544 |        0 |        0
632.69/632.87	c  631s |      22 |  2044392 |  1979122 |     2924   1548 |        0 |        0
634.70/634.88	c  633s |      22 |  2050414 |  1985022 |     2924   1552 |        0 |        0
636.80/636.91	c  635s |      22 |  2056368 |  1990822 |     2924   1556 |        0 |        0
638.79/638.92	c  637s |      22 |  2062517 |  1996822 |     2924   1559 |        0 |        0
640.79/640.93	c  639s |      22 |  2068658 |  2002822 |     2924   1563 |        0 |        0
642.79/642.93	c  641s |      22 |  2074581 |  2008622 |     2924   1567 |        0 |        0
644.79/644.95	c  643s |      22 |  2079915 |  2013722 |     2924   1570 |        0 |        0
646.80/646.98	c  645s |      22 |  2085634 |  2019322 |     2924   1574 |        0 |        0
648.79/648.99	c  647s |      22 |  2091447 |  2024822 |     2924   1577 |        0 |        0
650.89/651.01	c  649s |      22 |  2097013 |  2030122 |     2924   1580 |        0 |        0
652.89/653.01	c  651s |      22 |  2102356 |  2035322 |     2924   1584 |        0 |        0
654.89/655.04	c  653s |      22 |  2108302 |  2041122 |     2924   1587 |        0 |        0
656.89/657.06	c  655s |      22 |  2113513 |  2046122 |     2924   1591 |        0 |        0
658.90/659.07	c  657s |      22 |  2120138 |  2052522 |     2924   1595 |        0 |        0
660.89/661.07	c  659s |      22 |  2126351 |  2058522 |     2924   1598 |        0 |        0
662.99/663.10	c  661s |      22 |  2132282 |  2064222 |     2924   1602 |        0 |        0
664.99/665.11	c  663s |      22 |  2137827 |  2069322 |     2924   1605 |        0 |        0
666.99/667.11	c  665s |      22 |  2143512 |  2074722 |     2924   1609 |        0 |        0
668.99/669.12	c  667s |      22 |  2149330 |  2080222 |     2924   1612 |        0 |        0
671.00/671.14	c  669s |      22 |  2154628 |  2085222 |     2924   1616 |        0 |        0
672.99/673.18	c  671s |      22 |  2160946 |  2091222 |     2924   1619 |        0 |        0
675.09/675.22	c  673s |      22 |  2167435 |  2097522 |     2924   1623 |        0 |        0
677.09/677.24	c  675s |      22 |  2173343 |  2103122 |     2924   1627 |        0 |        0
679.09/679.24	c  677s |      22 |  2178564 |  2108122 |     2924   1630 |        0 |        0
681.09/681.26	c  679s |      22 |  2184693 |  2114022 |     2924   1634 |        0 |        0
683.19/683.30	c  681s |      22 |  2190701 |  2119722 |     2924   1638 |        0 |        0
685.19/685.33	c  683s |      22 |  2196702 |  2125422 |     2924   1641 |        0 |        0
687.19/687.35	c  685s |      22 |  2203047 |  2131522 |     2924   1645 |        0 |        0
689.19/689.38	c  687s |      22 |  2209213 |  2137422 |     2924   1649 |        0 |        0
691.18/691.38	c  689s |      22 |  2215205 |  2143122 |     2924   1652 |        0 |        0
693.28/693.41	c  691s |      22 |  2220668 |  2148222 |     2924   1656 |        0 |        0
695.28/695.46	c  693s |      22 |  2226440 |  2153822 |     2924   1659 |        0 |        0
697.29/697.48	c  695s |      22 |  2231280 |  2158522 |     2924   1662 |        0 |        0
699.38/699.52	c  697s |      22 |  2237431 |  2164522 |     2924   1666 |        0 |        0
701.38/701.53	c  699s |      22 |  2243254 |  2170122 |     2924   1670 |        0 |        0
703.38/703.53	c  701s |      22 |  2249162 |  2175722 |     2924   1673 |        0 |        0
705.38/705.54	c  703s |      22 |  2255128 |  2181222 |     2924   1677 |        0 |        0
707.38/707.55	c  705s |      22 |  2260959 |  2186722 |     2924   1680 |        0 |        0
709.39/709.57	c  707s |      22 |  2266856 |  2192222 |     2924   1684 |        0 |        0
711.38/711.57	c  709s |      22 |  2272399 |  2197522 |     2924   1687 |        0 |        0
713.38/713.59	c  711s |      22 |  2278654 |  2203522 |     2924   1691 |        0 |        0
715.48/715.61	c  713s |      22 |  2284589 |  2209322 |     2924   1695 |        0 |        0
717.48/717.65	c  716s |      22 |  2290758 |  2215222 |     2924   1699 |        0 |        0
719.48/719.66	c  718s |      22 |  2296807 |  2221022 |     2924   1702 |        0 |        0
721.49/721.67	c  720s |      22 |  2302745 |  2226722 |     2924   1706 |        0 |        0
723.48/723.68	c  722s |      22 |  2308766 |  2232522 |     3217   1709 |        0 |        0
725.58/725.71	c  724s |      22 |  2314622 |  2238222 |     3217   1713 |        0 |        0
727.58/727.73	c  726s |      22 |  2320095 |  2243522 |     3217   1716 |        0 |        0
729.58/729.75	c  728s |      22 |  2325528 |  2248822 |     3217   1719 |        0 |        0
730.28/730.48	c  728s |      23 |  2327847 |  2251038 |     3217   1720 |        0 |        0
732.28/732.49	c  730s |      23 |  2335165 |  2258038 |     3217   1724 |        0 |        0
734.38/734.51	c  732s |      23 |  2342287 |  2265038 |     3217   1728 |        0 |        0
736.38/736.53	c  734s |      23 |  2349145 |  2271638 |     3217   1732 |        0 |        0
738.37/738.54	c  736s |      23 |  2356399 |  2278738 |     3217   1736 |        0 |        0
740.37/740.57	c  738s |      23 |  2363395 |  2285638 |     3217   1740 |        0 |        0
742.38/742.58	c  740s |      23 |  2370821 |  2292838 |     3217   1744 |        0 |        0
744.37/744.59	c  742s |      23 |  2376964 |  2298738 |     3217   1748 |        0 |        0
746.47/746.60	c  744s |      23 |  2383014 |  2304738 |     3217   1751 |        0 |        0
748.47/748.62	c  747s |      23 |  2389630 |  2311238 |     3217   1755 |        0 |        0
750.47/750.65	c  749s |      23 |  2397249 |  2318738 |     3217   1759 |        0 |        0
752.47/752.65	c  751s |      23 |  2403863 |  2325238 |     3217   1763 |        0 |        0
754.48/754.66	c  753s |      23 |  2410256 |  2331538 |     3217   1767 |        0 |        0
756.47/756.68	c  755s |      23 |  2416904 |  2338038 |     3217   1771 |        0 |        0
758.57/758.71	c  757s |      23 |  2423275 |  2344238 |     3217   1774 |        0 |        0
760.57/760.72	c  759s |      23 |  2429443 |  2350338 |     3217   1778 |        0 |        0
762.57/762.72	c  761s |      23 |  2435936 |  2356738 |     3217   1782 |        0 |        0
764.57/764.73	c  763s |      23 |  2442915 |  2363538 |     3217   1786 |        0 |        0
766.58/766.73	c  765s |      23 |  2449931 |  2370338 |     3217   1790 |        0 |        0
768.57/768.74	c  767s |      23 |  2456884 |  2377138 |     3217   1794 |        0 |        0
770.57/770.75	c  769s |      23 |  2463452 |  2383638 |     3217   1797 |        0 |        0
772.57/772.75	c  771s |      23 |  2470916 |  2390938 |     3217   1802 |        0 |        0
774.57/774.79	c  773s |      23 |  2477520 |  2397438 |     3217   1805 |        0 |        0
776.67/776.80	c  775s |      23 |  2484199 |  2404038 |     3217   1809 |        0 |        0
778.58/778.80	c  777s |      23 |  2490586 |  2410338 |     3217   1813 |        0 |        0
780.68/780.81	c  779s |      23 |  2496909 |  2416538 |     3217   1817 |        0 |        0
782.68/782.83	c  781s |      23 |  2503033 |  2422538 |     3217   1820 |        0 |        0
784.67/784.84	c  783s |      23 |  2509322 |  2428638 |     3217   1824 |        0 |        0
786.67/786.84	c  785s |      23 |  2515748 |  2434938 |     3217   1827 |        0 |        0
788.68/788.86	c  787s |      23 |  2521476 |  2440538 |     3217   1831 |        0 |        0
790.67/790.87	c  789s |      23 |  2527349 |  2446338 |     3217   1834 |        0 |        0
792.67/792.89	c  791s |      23 |  2533447 |  2452338 |     3217   1838 |        0 |        0
794.77/794.90	c  793s |      23 |  2539919 |  2458638 |     3217   1841 |        0 |        0
796.77/796.92	c  795s |      23 |  2546250 |  2464838 |     3217   1845 |        0 |        0
798.77/798.95	c  797s |      23 |  2552343 |  2470838 |     3217   1848 |        0 |        0
800.78/800.96	c  799s |      23 |  2559065 |  2477438 |     3217   1852 |        0 |        0
802.77/802.98	c  801s |      23 |  2565485 |  2483738 |     3217   1856 |        0 |        0
804.87/805.01	c  803s |      23 |  2571331 |  2489438 |     3217   1859 |        0 |        0
806.87/807.03	c  805s |      23 |  2576852 |  2494938 |     3217   1863 |        0 |        0
808.87/809.03	c  807s |      23 |  2582896 |  2500838 |     3217   1866 |        0 |        0
810.87/811.05	c  809s |      23 |  2589321 |  2507138 |     3217   1870 |        0 |        0
812.88/813.06	c  811s |      23 |  2596955 |  2514538 |     3217   1874 |        0 |        0
814.98/815.11	c  813s |      23 |  2604462 |  2521738 |     3217   1878 |        0 |        0
816.97/817.12	c  815s |      23 |  2611336 |  2528538 |     3217   1882 |        0 |        0
818.96/819.15	c  817s |      23 |  2618069 |  2535138 |     3217   1886 |        0 |        0
820.96/821.17	c  819s |      23 |  2624605 |  2541538 |     3217   1890 |        0 |        0
822.96/823.19	c  821s |      23 |  2630993 |  2547838 |     3217   1894 |        0 |        0
824.97/825.19	c  823s |      23 |  2637528 |  2554238 |     3217   1897 |        0 |        0
826.96/827.20	c  825s |      23 |  2643772 |  2560338 |     3217   1901 |        0 |        0
829.06/829.24	c  827s |      23 |  2650183 |  2566638 |     3217   1905 |        0 |        0
831.06/831.25	c  829s |      23 |  2656586 |  2572838 |     3217   1908 |        0 |        0
833.06/833.26	c  831s |      23 |  2663324 |  2579438 |     3217   1912 |        0 |        0
835.06/835.28	c  833s |      23 |  2669603 |  2585638 |     3217   1916 |        0 |        0
837.16/837.30	c  835s |      23 |  2675755 |  2591738 |     3217   1919 |        0 |        0
839.16/839.33	c  837s |      23 |  2681960 |  2597738 |     3217   1923 |        0 |        0
841.15/841.33	c  839s |      23 |  2687692 |  2603338 |     3217   1926 |        0 |        0
843.15/843.37	c  841s |      23 |  2693480 |  2609038 |     3217   1929 |        0 |        0
845.15/845.39	c  843s |      23 |  2701087 |  2616438 |     3217   1934 |        0 |        0
847.25/847.41	c  845s |      23 |  2707759 |  2623038 |     3217   1938 |        0 |        0
849.25/849.42	c  847s |      23 |  2714575 |  2629538 |     3217   1942 |        0 |        0
851.25/851.45	c  849s |      23 |  2721153 |  2636038 |     3217   1945 |        0 |        0
853.25/853.47	c  851s |      23 |  2727155 |  2641938 |     3217   1949 |        0 |        0
855.25/855.48	c  853s |      23 |  2734953 |  2649538 |     3217   1953 |        0 |        0
857.35/857.51	c  855s |      23 |  2741329 |  2655838 |     3217   1957 |        0 |        0
859.34/859.51	c  857s |      23 |  2747847 |  2662238 |     3217   1960 |        0 |        0
861.34/861.52	c  859s |      23 |  2754448 |  2668738 |     3217   1964 |        0 |        0
863.35/863.52	c  861s |      23 |  2761051 |  2675238 |     3217   1968 |        0 |        0
865.34/865.54	c  863s |      23 |  2768036 |  2682038 |     3217   1972 |        0 |        0
867.34/867.54	c  865s |      23 |  2775283 |  2689138 |     3217   1976 |        0 |        0
869.34/869.56	c  867s |      23 |  2781793 |  2695538 |     3217   1980 |        0 |        0
871.34/871.57	c  869s |      23 |  2789623 |  2703038 |     3217   1984 |        0 |        0
873.35/873.58	c  871s |      23 |  2796761 |  2709838 |     3217   1988 |        0 |        0
875.44/875.62	c  874s |      23 |  2803304 |  2716338 |     3217   1992 |        0 |        0
877.44/877.64	c  876s |      23 |  2810441 |  2723238 |     3217   1996 |        0 |        0
879.44/879.65	c  878s |      23 |  2816912 |  2729638 |     3217   2000 |        0 |        0
881.44/881.65	c  880s |      23 |  2822963 |  2735638 |     3217   2003 |        0 |        0
883.43/883.66	c  882s |      23 |  2830503 |  2742738 |     3217   2007 |        0 |        0
885.44/885.66	c  884s |      23 |  2836788 |  2748938 |     3217   2011 |        0 |        0
887.43/887.68	c  886s |      23 |  2842976 |  2755038 |     3217   2015 |        0 |        0
889.43/889.68	c  888s |      23 |  2851090 |  2762838 |     3217   2019 |        0 |        0
891.53/891.70	c  890s |      23 |  2857937 |  2769538 |     3217   2023 |        0 |        0
893.53/893.72	c  892s |      23 |  2864867 |  2776338 |     3217   2027 |        0 |        0
895.53/895.73	c  894s |      23 |  2871792 |  2783138 |     3217   2031 |        0 |        0
897.54/897.74	c  896s |      23 |  2878286 |  2789438 |     3217   2035 |        0 |        0
899.53/899.74	c  898s |      23 |  2884775 |  2795838 |     3217   2038 |        0 |        0
901.53/901.76	c  900s |      23 |  2891641 |  2802338 |     3217   2042 |        0 |        0
903.52/903.76	c  902s |      23 |  2898557 |  2809138 |     3217   2046 |        0 |        0
905.52/905.78	c  904s |      23 |  2904478 |  2814938 |     3217   2050 |        0 |        0
907.62/907.80	c  906s |      23 |  2911182 |  2821438 |     3217   2053 |        0 |        0
909.62/909.83	c  908s |      23 |  2917636 |  2827738 |     3217   2057 |        0 |        0
911.62/911.86	c  910s |      23 |  2924368 |  2834138 |     3217   2061 |        0 |        0
913.62/913.86	c  912s |      23 |  2929760 |  2839338 |     3217   2064 |        0 |        0
915.62/915.89	c  914s |      23 |  2935570 |  2844938 |     3217   2067 |        0 |        0
917.72/917.90	c  916s |      23 |  2941922 |  2850938 |     3217   2070 |        0 |        0
919.71/919.91	c  918s |      23 |  2947013 |  2855838 |     3217   2073 |        0 |        0
921.72/921.91	c  920s |      23 |  2951859 |  2860438 |     3217   2076 |        0 |        0
923.72/923.92	c  922s |      23 |  2958536 |  2866838 |     3217   2080 |        0 |        0
925.72/925.93	c  924s |      23 |  2964685 |  2872838 |     3217   2083 |        0 |        0
927.72/927.93	c  926s |      23 |  2970711 |  2878738 |     3217   2086 |        0 |        0
929.72/929.93	c  928s |      23 |  2976282 |  2884038 |     3217   2090 |        0 |        0
931.72/931.95	c  930s |      23 |  2982102 |  2889638 |     3217   2093 |        0 |        0
933.72/933.97	c  932s |      23 |  2988450 |  2895638 |     3217   2096 |        0 |        0
935.71/935.99	c  934s |      23 |  2993758 |  2900738 |     3217   2099 |        0 |        0
937.81/938.02	c  936s |      23 |  2998979 |  2905638 |     3217   2102 |        0 |        0
939.81/940.03	c  938s |      23 |  3004404 |  2910638 |     3217   2105 |        0 |        0
941.81/942.06	c  940s |      23 |  3011193 |  2916938 |     3217   2109 |        0 |        0
943.81/944.08	c  942s |      23 |  3018405 |  2923738 |     3217   2113 |        0 |        0
945.82/946.09	c  944s |      23 |  3024983 |  2929938 |     3217   2116 |        0 |        0
947.91/948.10	c  946s |      23 |  3031802 |  2936438 |     3217   2120 |        0 |        0
949.90/950.11	c  948s |      23 |  3038934 |  2943338 |     3217   2124 |        0 |        0
951.90/952.13	c  950s |      23 |  3045959 |  2950138 |     3217   2128 |        0 |        0
953.90/954.14	c  952s |      23 |  3052897 |  2956838 |     3217   2132 |        0 |        0
955.90/956.15	c  954s |      23 |  3060268 |  2963938 |     3217   2136 |        0 |        0
957.91/958.17	c  956s |      23 |  3066139 |  2969638 |     3217   2140 |        0 |        0
959.90/960.19	c  958s |      23 |  3072022 |  2975238 |     3217   2143 |        0 |        0
961.90/962.19	c  960s |      23 |  3078319 |  2981338 |     3217   2146 |        0 |        0
964.00/964.23	c  962s |      23 |  3084187 |  2987038 |     3217   2150 |        0 |        0
966.00/966.27	c  964s |      23 |  3090405 |  2993038 |     3217   2153 |        0 |        0
968.10/968.30	c  966s |      23 |  3095771 |  2998138 |     3217   2156 |        0 |        0
970.10/970.31	c  968s |      23 |  3100389 |  3002638 |     3217   2159 |        0 |        0
972.10/972.33	c  970s |      23 |  3106895 |  3008938 |     3217   2162 |        0 |        0
974.10/974.35	c  972s |      23 |  3113580 |  3015438 |     3217   2166 |        0 |        0
976.10/976.36	c  974s |      23 |  3120271 |  3021938 |     3217   2170 |        0 |        0
978.10/978.39	c  976s |      23 |  3127346 |  3028838 |     3217   2174 |        0 |        0
980.19/980.41	c  978s |      23 |  3134436 |  3035738 |     3217   2178 |        0 |        0
982.20/982.41	c  980s |      23 |  3141155 |  3042138 |     3217   2182 |        0 |        0
984.19/984.42	c  982s |      23 |  3148348 |  3049038 |     3217   2186 |        0 |        0
986.19/986.43	c  984s |      23 |  3155454 |  3055838 |     3217   2190 |        0 |        0
988.18/988.44	c  986s |      23 |  3162281 |  3062238 |     3217   2194 |        0 |        0
990.18/990.45	c  988s |      23 |  3169372 |  3069038 |     3217   2198 |        0 |        0
992.18/992.46	c  990s |      23 |  3176838 |  3076138 |     3217   2202 |        0 |        0
994.19/994.48	c  992s |      23 |  3184133 |  3083138 |     3217   2206 |        0 |        0
996.18/996.49	c  994s |      23 |  3192001 |  3090838 |     3217   2211 |        0 |        0
998.28/998.51	c  996s |      23 |  3199300 |  3097938 |     3217   2215 |        0 |        0
1000.28/1000.55	c  998s |      23 |  3206645 |  3105038 |     3217   2219 |        0 |        0
1002.28/1002.58	c 1000s |      23 |  3214293 |  3112538 |     3217   2224 |        0 |        0
1004.28/1004.59	c 1002s |      23 |  3221218 |  3119338 |     3217   2228 |        0 |        0
1006.39/1006.62	c 1004s |      23 |  3228507 |  3126438 |     3217   2232 |        0 |        0
1008.37/1008.63	c 1007s |      23 |  3235103 |  3132938 |     3217   2236 |        0 |        0
1010.37/1010.64	c 1009s |      23 |  3241723 |  3139238 |     3217   2239 |        0 |        0
1012.37/1012.66	c 1011s |      23 |  3248553 |  3145938 |     3217   2243 |        0 |        0
1014.47/1014.70	c 1013s |      23 |  3254590 |  3151738 |     3217   2247 |        0 |        0
1016.47/1016.73	c 1015s |      23 |  3259853 |  3156838 |     3217   2249 |        0 |        0
1018.47/1018.75	c 1017s |      23 |  3265872 |  3162638 |     3217   2253 |        0 |        0
1020.46/1020.80	c 1019s |      23 |  3270904 |  3167538 |     3217   2256 |        0 |        0
1022.56/1022.82	c 1021s |      23 |  3277302 |  3173638 |     3217   2259 |        0 |        0
1024.56/1024.84	c 1023s |      23 |  3284023 |  3180138 |     3217   2263 |        0 |        0
1026.56/1026.87	c 1025s |      23 |  3289995 |  3185938 |     3217   2266 |        0 |        0
1028.66/1028.92	c 1027s |      23 |  3295793 |  3191538 |     3217   2270 |        0 |        0
1030.66/1030.94	c 1029s |      23 |  3301619 |  3197138 |     3217   2273 |        0 |        0
1032.66/1032.95	c 1031s |      23 |  3306989 |  3202338 |     3217   2276 |        0 |        0
1034.66/1034.95	c 1033s |      23 |  3312723 |  3207738 |     3217   2279 |        0 |        0
1036.66/1036.97	c 1035s |      23 |  3318536 |  3213138 |     3217   2282 |        0 |        0
1038.65/1038.98	c 1037s |      23 |  3324268 |  3218538 |     3217   2285 |        0 |        0
1040.65/1040.99	c 1039s |      23 |  3329962 |  3223938 |     3217   2288 |        0 |        0
1042.66/1042.99	c 1041s |      23 |  3335102 |  3228938 |     3217   2291 |        0 |        0
1044.76/1045.02	c 1043s |      23 |  3339666 |  3233438 |     3217   2294 |        0 |        0
1046.75/1047.04	c 1045s |      23 |  3345683 |  3239238 |     3217   2297 |        0 |        0
1048.75/1049.06	c 1047s |      23 |  3352966 |  3246338 |     3217   2301 |        0 |        0
1050.75/1051.08	c 1049s |      23 |  3358952 |  3252138 |     3217   2305 |        0 |        0
1052.85/1053.10	c 1051s |      23 |  3365616 |  3258638 |     3217   2308 |        0 |        0
1054.84/1055.10	c 1053s |      23 |  3370691 |  3263438 |     3217   2311 |        0 |        0
1056.85/1057.14	c 1055s |      23 |  3375738 |  3268338 |     3217   2314 |        0 |        0
1058.84/1059.15	c 1057s |      23 |  3381485 |  3273938 |     3217   2317 |        0 |        0
1060.84/1061.18	c 1059s |      23 |  3388258 |  3280538 |     3217   2321 |        0 |        0
1062.95/1063.22	c 1061s |      23 |  3395088 |  3287238 |     3217   2325 |        0 |        0
1064.95/1065.28	c 1063s |      23 |  3401126 |  3292938 |     3217   2328 |        0 |        0
1067.05/1067.31	c 1065s |      23 |  3407000 |  3298438 |     3217   2331 |        0 |        0
1069.05/1069.35	c 1067s |      23 |  3412691 |  3303938 |     3217   2335 |        0 |        0
1071.05/1071.35	c 1069s |      23 |  3419683 |  3310738 |     3217   2338 |        0 |        0
1073.04/1073.38	c 1071s |      23 |  3426303 |  3317338 |     3217   2342 |        0 |        0
1075.04/1075.38	c 1073s |      23 |  3433343 |  3324238 |     3217   2346 |        0 |        0
1077.14/1077.40	c 1075s |      23 |  3440252 |  3331038 |     3217   2351 |        0 |        0
1079.14/1079.40	c 1077s |      23 |  3447020 |  3337738 |     3217   2355 |        0 |        0
1081.15/1081.42	c 1079s |      23 |  3454102 |  3344438 |     3217   2358 |        0 |        0
1083.14/1083.44	c 1081s |      23 |  3461293 |  3351338 |     3539   2362 |        0 |        0
1085.14/1085.48	c 1083s |      23 |  3466643 |  3356538 |     3539   2365 |        0 |        0
1087.24/1087.51	c 1085s |      23 |  3473075 |  3362838 |     3539   2368 |        0 |        0
1089.24/1089.52	c 1087s |      23 |  3478903 |  3368538 |     3539   2371 |        0 |        0
1091.24/1091.53	c 1089s |      23 |  3484968 |  3374438 |     3539   2374 |        0 |        0
1092.04/1092.32	c 1090s |      24 |  3487264 |  3376662 |     3539   2375 |        0 |        0
1094.03/1094.34	c 1092s |      24 |  3494682 |  3383962 |     3539   2379 |        0 |        0
1096.03/1096.35	c 1094s |      24 |  3501350 |  3390562 |     3539   2383 |        0 |        0
1098.03/1098.36	c 1096s |      24 |  3507984 |  3397062 |     3539   2386 |        0 |        0
1100.03/1100.37	c 1098s |      24 |  3514393 |  3403362 |     3539   2390 |        0 |        0
1102.03/1102.40	c 1100s |      24 |  3521321 |  3410162 |     3539   2393 |        0 |        0
1104.13/1104.42	c 1102s |      24 |  3527757 |  3416562 |     3539   2397 |        0 |        0
1106.13/1106.43	c 1104s |      24 |  3534995 |  3423662 |     3539   2400 |        0 |        0
1108.12/1108.44	c 1106s |      24 |  3541684 |  3430262 |     3539   2404 |        0 |        0
1110.12/1110.45	c 1108s |      24 |  3548495 |  3436962 |     3539   2407 |        0 |        0
1112.12/1112.47	c 1110s |      24 |  3555163 |  3443462 |     3539   2411 |        0 |        0
1114.13/1114.50	c 1112s |      24 |  3561862 |  3450062 |     3539   2414 |        0 |        0
1116.23/1116.52	c 1114s |      24 |  3568676 |  3456762 |     3539   2418 |        0 |        0
1118.22/1118.52	c 1116s |      24 |  3575686 |  3463662 |     3539   2421 |        0 |        0
1120.22/1120.54	c 1118s |      24 |  3582066 |  3469962 |     3539   2425 |        0 |        0
1122.22/1122.57	c 1120s |      24 |  3588920 |  3476762 |     3539   2428 |        0 |        0
1124.22/1124.58	c 1122s |      24 |  3595569 |  3483362 |     3539   2432 |        0 |        0
1126.31/1126.60	c 1124s |      24 |  3602265 |  3489962 |     3539   2435 |        0 |        0
1128.32/1128.61	c 1126s |      24 |  3609018 |  3496562 |     3539   2439 |        0 |        0
1130.31/1130.63	c 1129s |      24 |  3615419 |  3502862 |     3539   2442 |        0 |        0
1132.31/1132.66	c 1131s |      24 |  3622048 |  3509362 |     3539   2446 |        0 |        0
1134.31/1134.67	c 1133s |      24 |  3628137 |  3515362 |     3539   2449 |        0 |        0
1136.41/1136.70	c 1135s |      24 |  3634065 |  3521162 |     3539   2452 |        0 |        0
1138.40/1138.75	c 1137s |      24 |  3640252 |  3527262 |     3539   2455 |        0 |        0
1140.41/1140.76	c 1139s |      24 |  3646489 |  3533362 |     3539   2458 |        0 |        0
1142.40/1142.78	c 1141s |      24 |  3652747 |  3539462 |     3539   2462 |        0 |        0
1144.50/1144.80	c 1143s |      24 |  3658946 |  3545562 |     3539   2465 |        0 |        0
1146.50/1146.81	c 1145s |      24 |  3665239 |  3551662 |     3539   2468 |        0 |        0
1148.50/1148.83	c 1147s |      24 |  3671433 |  3557762 |     3539   2471 |        0 |        0
1150.51/1150.84	c 1149s |      24 |  3677872 |  3564062 |     3539   2475 |        0 |        0
1152.51/1152.85	c 1151s |      24 |  3684219 |  3570162 |     3539   2478 |        0 |        0
1154.51/1154.86	c 1153s |      24 |  3690763 |  3576462 |     3539   2481 |        0 |        0
1156.51/1156.86	c 1155s |      24 |  3696670 |  3582262 |     3539   2484 |        0 |        0
1158.50/1158.87	c 1157s |      24 |  3702938 |  3588362 |     3539   2488 |        0 |        0
1160.50/1160.88	c 1159s |      24 |  3709032 |  3594262 |     3539   2491 |        0 |        0
1162.60/1162.90	c 1161s |      24 |  3715230 |  3600162 |     3539   2494 |        0 |        0
1164.60/1164.92	c 1163s |      24 |  3721557 |  3606362 |     3539   2497 |        0 |        0
1166.60/1166.97	c 1165s |      24 |  3727875 |  3612562 |     3539   2501 |        0 |        0
1168.59/1168.98	c 1167s |      24 |  3734303 |  3618762 |     3539   2504 |        0 |        0
1170.69/1171.01	c 1169s |      24 |  3740740 |  3624962 |     3539   2507 |        0 |        0
1172.69/1173.03	c 1171s |      24 |  3747105 |  3631062 |     3539   2510 |        0 |        0
1174.69/1175.04	c 1173s |      24 |  3752976 |  3636762 |     3539   2513 |        0 |        0
1176.70/1177.08	c 1175s |      24 |  3759535 |  3643162 |     3539   2517 |        0 |        0
1178.79/1179.10	c 1177s |      24 |  3766087 |  3649562 |     3539   2520 |        0 |        0
1180.79/1181.13	c 1179s |      24 |  3772253 |  3655562 |     3539   2523 |        0 |        0
1182.79/1183.16	c 1181s |      24 |  3778615 |  3661562 |     3539   2526 |        0 |        0
1184.79/1185.17	c 1183s |      24 |  3784755 |  3667562 |     3539   2530 |        0 |        0
1186.79/1187.18	c 1185s |      24 |  3791304 |  3673862 |     3539   2533 |        0 |        0
1188.79/1189.19	c 1187s |      24 |  3797529 |  3679962 |     3539   2536 |        0 |        0
1190.78/1191.19	c 1189s |      24 |  3803642 |  3685962 |     3539   2539 |        0 |        0
1192.88/1193.21	c 1191s |      24 |  3809931 |  3692062 |     3539   2543 |        0 |        0
1194.88/1195.23	c 1193s |      24 |  3816045 |  3698062 |     3539   2546 |        0 |        0
1196.88/1197.26	c 1195s |      24 |  3822290 |  3704162 |     3539   2549 |        0 |        0
1198.87/1199.28	c 1197s |      24 |  3828385 |  3710162 |     3539   2552 |        0 |        0
1200.88/1201.29	c 1199s |      24 |  3834574 |  3716262 |     3539   2555 |        0 |        0
1202.97/1203.30	c 1201s |      24 |  3841125 |  3722562 |     3539   2559 |        0 |        0
1204.97/1205.32	c 1203s |      24 |  3847680 |  3728962 |     3539   2562 |        0 |        0
1206.97/1207.33	c 1205s |      24 |  3853926 |  3734862 |     3539   2565 |        0 |        0
1208.97/1209.36	c 1207s |      24 |  3860077 |  3740762 |     3539   2569 |        0 |        0
1210.96/1211.38	c 1209s |      24 |  3866326 |  3746862 |     3539   2572 |        0 |        0
1212.97/1213.40	c 1211s |      24 |  3872849 |  3753162 |     3539   2575 |        0 |        0
1215.06/1215.41	c 1213s |      24 |  3878812 |  3758762 |     3539   2578 |        0 |        0
1217.06/1217.44	c 1215s |      24 |  3884869 |  3764662 |     3539   2581 |        0 |        0
1219.06/1219.46	c 1217s |      24 |  3890927 |  3770562 |     3539   2584 |        0 |        0
1221.06/1221.48	c 1219s |      24 |  3896716 |  3776262 |     3539   2587 |        0 |        0
1223.16/1223.50	c 1221s |      24 |  3902647 |  3782062 |     3539   2590 |        0 |        0
1225.17/1225.51	c 1223s |      24 |  3908452 |  3787762 |     3539   2593 |        0 |        0
1227.16/1227.54	c 1225s |      24 |  3914228 |  3793362 |     3539   2596 |        0 |        0
1229.16/1229.55	c 1227s |      24 |  3920355 |  3799262 |     3539   2600 |        0 |        0
1231.15/1231.57	c 1229s |      24 |  3926804 |  3805462 |     3539   2603 |        0 |        0
1233.15/1233.60	c 1231s |      24 |  3933180 |  3811662 |     3539   2606 |        0 |        0
1235.25/1235.60	c 1233s |      24 |  3939096 |  3817462 |     3539   2609 |        0 |        0
1237.26/1237.63	c 1236s |      24 |  3945137 |  3823262 |     3539   2612 |        0 |        0
1239.25/1239.64	c 1238s |      24 |  3951260 |  3829162 |     3539   2615 |        0 |        0
1241.26/1241.68	c 1240s |      24 |  3957341 |  3834962 |     3539   2619 |        0 |        0
1243.36/1243.71	c 1242s |      24 |  3963645 |  3841162 |     3539   2622 |        0 |        0
1245.36/1245.72	c 1244s |      24 |  3969696 |  3847062 |     3539   2625 |        0 |        0
1247.36/1247.73	c 1246s |      24 |  3975901 |  3853062 |     3539   2628 |        0 |        0
1249.36/1249.74	c 1248s |      24 |  3982264 |  3859162 |     3539   2631 |        0 |        0
1251.35/1251.75	c 1250s |      24 |  3988072 |  3864862 |     3539   2634 |        0 |        0
1253.35/1253.78	c 1252s |      24 |  3993891 |  3870462 |     3539   2637 |        0 |        0
1255.35/1255.79	c 1254s |      24 |  3999825 |  3876162 |     3539   2640 |        0 |        0
1257.45/1257.81	c 1256s |      24 |  4004887 |  3881062 |     3539   2643 |        0 |        0
1259.45/1259.83	c 1258s |      24 |  4010969 |  3886762 |     3539   2646 |        0 |        0
1261.46/1261.87	c 1260s |      24 |  4016819 |  3892362 |     3539   2649 |        0 |        0
1263.45/1263.89	c 1262s |      24 |  4022346 |  3897662 |     3539   2652 |        0 |        0
1265.55/1265.91	c 1264s |      24 |  4027917 |  3902962 |     3539   2655 |        0 |        0
1267.55/1267.91	c 1266s |      24 |  4034010 |  3908862 |     3539   2658 |        0 |        0
1269.55/1269.94	c 1268s |      24 |  4039320 |  3913862 |     3539   2660 |        0 |        0
1271.55/1271.98	c 1270s |      24 |  4044886 |  3919162 |     3539   2663 |        0 |        0
1273.65/1274.01	c 1272s |      24 |  4050168 |  3924262 |     3539   2666 |        0 |        0
1275.65/1276.01	c 1274s |      24 |  4055744 |  3929662 |     3539   2669 |        0 |        0
1277.64/1278.03	c 1276s |      24 |  4062073 |  3935862 |     3539   2672 |        0 |        0
1279.64/1280.03	c 1278s |      24 |  4068747 |  3942362 |     3539   2676 |        0 |        0
1281.64/1282.06	c 1280s |      24 |  4074868 |  3948162 |     3539   2679 |        0 |        0
1283.64/1284.06	c 1282s |      24 |  4080742 |  3953862 |     3539   2682 |        0 |        0
1285.65/1286.08	c 1284s |      24 |  4086751 |  3959762 |     3539   2685 |        0 |        0
1287.64/1288.09	c 1286s |      24 |  4093080 |  3965862 |     3539   2688 |        0 |        0
1289.63/1290.09	c 1288s |      24 |  4099592 |  3972162 |     3539   2691 |        0 |        0
1291.63/1292.10	c 1290s |      24 |  4106196 |  3978562 |     3539   2695 |        0 |        0
1293.73/1294.10	c 1292s |      24 |  4112598 |  3984662 |     3539   2698 |        0 |        0
1295.73/1296.11	c 1294s |      24 |  4118775 |  3990762 |     3539   2701 |        0 |        0
1297.74/1298.14	c 1296s |      24 |  4125038 |  3996862 |     3539   2704 |        0 |        0
1299.73/1300.15	c 1298s |      24 |  4131034 |  4002762 |     3539   2708 |        0 |        0
1301.73/1302.16	c 1300s |      24 |  4137465 |  4009062 |     3539   2711 |        0 |        0
1303.73/1304.18	c 1302s |      24 |  4144014 |  4015462 |     3539   2714 |        0 |        0
1305.83/1306.21	c 1304s |      24 |  4149750 |  4021162 |     3539   2717 |        0 |        0
1307.83/1308.22	c 1306s |      24 |  4155752 |  4027062 |     3539   2720 |        0 |        0
1309.83/1310.25	c 1308s |      24 |  4161699 |  4032862 |     3539   2724 |        0 |        0
1311.82/1312.26	c 1310s |      24 |  4167906 |  4038962 |     3539   2727 |        0 |        0
1313.82/1314.28	c 1312s |      24 |  4174228 |  4045162 |     3539   2730 |        0 |        0
1315.92/1316.30	c 1314s |      24 |  4181060 |  4051662 |     3539   2733 |        0 |        0
1317.92/1318.31	c 1316s |      24 |  4187250 |  4057662 |     3539   2737 |        0 |        0
1319.92/1320.31	c 1318s |      24 |  4193667 |  4063862 |     3539   2740 |        0 |        0
1321.92/1322.35	c 1320s |      24 |  4200178 |  4070162 |     3539   2743 |        0 |        0
1323.92/1324.36	c 1322s |      24 |  4206307 |  4076062 |     3539   2747 |        0 |        0
1325.91/1326.39	c 1324s |      24 |  4212920 |  4082462 |     3539   2750 |        0 |        0
1328.01/1328.43	c 1326s |      24 |  4219228 |  4088562 |     3539   2753 |        0 |        0
1330.01/1330.43	c 1328s |      24 |  4225398 |  4094562 |     3539   2756 |        0 |        0
1332.01/1332.48	c 1330s |      24 |  4231584 |  4100662 |     3539   2760 |        0 |        0
1334.11/1334.51	c 1332s |      24 |  4237867 |  4106762 |     3539   2763 |        0 |        0
1336.11/1336.53	c 1334s |      24 |  4244172 |  4112962 |     3539   2766 |        0 |        0
1338.11/1338.53	c 1336s |      24 |  4250218 |  4118762 |     3539   2769 |        0 |        0
1340.11/1340.56	c 1338s |      24 |  4256380 |  4124762 |     3539   2772 |        0 |        0
1342.10/1342.59	c 1340s |      24 |  4262504 |  4130762 |     3539   2776 |        0 |        0
1344.20/1344.62	c 1342s |      24 |  4268970 |  4137062 |     3539   2779 |        0 |        0
1346.20/1346.63	c 1345s |      24 |  4275614 |  4143562 |     3539   2782 |        0 |        0
1348.21/1348.68	c 1347s |      24 |  4282604 |  4150362 |     3539   2786 |        0 |        0
1350.31/1350.72	c 1349s |      24 |  4288700 |  4156362 |     3539   2789 |        0 |        0
1352.31/1352.76	c 1351s |      24 |  4294520 |  4162062 |     3539   2792 |        0 |        0
1354.31/1354.77	c 1353s |      24 |  4300653 |  4168062 |     3539   2795 |        0 |        0
1356.31/1356.79	c 1355s |      24 |  4306604 |  4173862 |     3539   2798 |        0 |        0
1358.40/1358.81	c 1357s |      24 |  4313002 |  4180062 |     3539   2802 |        0 |        0
1360.41/1360.84	c 1359s |      24 |  4319077 |  4185962 |     3539   2805 |        0 |        0
1362.40/1362.84	c 1361s |      24 |  4325142 |  4191862 |     3539   2808 |        0 |        0
1364.40/1364.86	c 1363s |      24 |  4331468 |  4197962 |     3539   2811 |        0 |        0
1366.40/1366.88	c 1365s |      24 |  4337437 |  4203662 |     3539   2814 |        0 |        0
1368.50/1368.91	c 1367s |      24 |  4343516 |  4209562 |     3539   2817 |        0 |        0
1370.49/1370.91	c 1369s |      24 |  4349376 |  4215262 |     3539   2820 |        0 |        0
1372.50/1372.92	c 1371s |      24 |  4355540 |  4221262 |     3539   2824 |        0 |        0
1374.49/1374.93	c 1373s |      24 |  4362102 |  4227562 |     3539   2827 |        0 |        0
1376.49/1376.95	c 1375s |      24 |  4368068 |  4233362 |     3539   2830 |        0 |        0
1378.49/1378.96	c 1377s |      24 |  4373994 |  4239162 |     3539   2833 |        0 |        0
1380.49/1380.98	c 1379s |      24 |  4379900 |  4244762 |     3539   2836 |        0 |        0
1382.49/1382.99	c 1381s |      24 |  4385742 |  4250462 |     3539   2839 |        0 |        0
1384.59/1385.02	c 1383s |      24 |  4391778 |  4256262 |     3539   2842 |        0 |        0
1386.59/1387.05	c 1385s |      24 |  4397739 |  4262062 |     3539   2845 |        0 |        0
1388.58/1389.06	c 1387s |      24 |  4403847 |  4267962 |     3539   2848 |        0 |        0
1390.58/1391.09	c 1389s |      24 |  4410172 |  4274162 |     3539   2852 |        0 |        0
1392.58/1393.09	c 1391s |      24 |  4416242 |  4280162 |     3539   2855 |        0 |        0
1394.68/1395.10	c 1393s |      24 |  4422338 |  4286162 |     3539   2858 |        0 |        0
1396.69/1397.13	c 1395s |      24 |  4428428 |  4292062 |     3539   2861 |        0 |        0
1398.68/1399.16	c 1397s |      24 |  4434431 |  4297962 |     3539   2864 |        0 |        0
1400.68/1401.19	c 1399s |      24 |  4440211 |  4303462 |     3539   2867 |        0 |        0
1402.78/1403.22	c 1401s |      24 |  4446431 |  4309462 |     3539   2870 |        0 |        0
1404.78/1405.22	c 1403s |      24 |  4452463 |  4315362 |     3539   2873 |        0 |        0
1406.78/1407.24	c 1405s |      24 |  4458741 |  4321562 |     3539   2877 |        0 |        0
1408.78/1409.25	c 1407s |      24 |  4464581 |  4327262 |     3539   2880 |        0 |        0
1410.77/1411.25	c 1409s |      24 |  4470738 |  4333262 |     3539   2883 |        0 |        0
1412.77/1413.26	c 1411s |      24 |  4476842 |  4339162 |     3539   2886 |        0 |        0
1414.77/1415.29	c 1413s |      24 |  4482901 |  4344962 |     3539   2889 |        0 |        0
1416.87/1417.32	c 1415s |      24 |  4488962 |  4350862 |     3539   2892 |        0 |        0
1418.87/1419.34	c 1417s |      24 |  4495059 |  4356762 |     3539   2895 |        0 |        0
1420.88/1421.34	c 1419s |      24 |  4500978 |  4362462 |     3539   2898 |        0 |        0
1422.87/1423.37	c 1421s |      24 |  4507235 |  4368562 |     3539   2902 |        0 |        0
1424.87/1425.39	c 1423s |      24 |  4513113 |  4374362 |     3539   2905 |        0 |        0
1426.97/1427.42	c 1425s |      24 |  4519274 |  4380362 |     3539   2908 |        0 |        0
1428.96/1429.43	c 1427s |      24 |  4525537 |  4386462 |     3539   2911 |        0 |        0
1430.96/1431.45	c 1429s |      24 |  4531685 |  4392462 |     3539   2914 |        0 |        0
1432.97/1433.47	c 1431s |      24 |  4537959 |  4398462 |     3539   2918 |        0 |        0
1434.96/1435.50	c 1433s |      24 |  4544175 |  4404462 |     3539   2921 |        0 |        0
1437.06/1437.51	c 1435s |      24 |  4550393 |  4410562 |     3539   2924 |        0 |        0
1439.06/1439.53	c 1437s |      24 |  4556438 |  4416462 |     3539   2927 |        0 |        0
1441.06/1441.53	c 1439s |      24 |  4562415 |  4422162 |     3539   2930 |        0 |        0
1443.06/1443.56	c 1441s |      24 |  4568357 |  4427962 |     3539   2933 |        0 |        0
1445.06/1445.57	c 1443s |      24 |  4574398 |  4433862 |     3539   2936 |        0 |        0
1447.06/1447.60	c 1445s |      24 |  4580976 |  4440262 |     3539   2940 |        0 |        0
1449.15/1449.60	c 1447s |      24 |  4587465 |  4446462 |     3539   2943 |        0 |        0
1451.15/1451.63	c 1450s |      24 |  4593756 |  4452562 |     3539   2946 |        0 |        0
1453.15/1453.65	c 1452s |      24 |  4600006 |  4458662 |     3539   2950 |        0 |        0
1455.15/1455.68	c 1454s |      24 |  4606129 |  4464662 |     3539   2953 |        0 |        0
1457.16/1457.68	c 1456s |      24 |  4611826 |  4470262 |     3539   2956 |        0 |        0
1459.14/1459.68	c 1458s |      24 |  4617369 |  4475662 |     3539   2959 |        0 |        0
1461.24/1461.70	c 1460s |      24 |  4623373 |  4481462 |     3539   2962 |        0 |        0
1463.24/1463.71	c 1462s |      24 |  4629637 |  4487462 |     3539   2965 |        0 |        0
1465.24/1465.72	c 1464s |      24 |  4635797 |  4493462 |     3539   2968 |        0 |        0
1467.24/1467.73	c 1466s |      24 |  4641955 |  4499362 |     3539   2971 |        0 |        0
1469.25/1469.77	c 1468s |      24 |  4648127 |  4505362 |     3539   2974 |        0 |        0
1471.24/1471.79	c 1470s |      24 |  4654154 |  4511162 |     3539   2977 |        0 |        0
1473.34/1473.82	c 1472s |      24 |  4660116 |  4516862 |     3539   2980 |        0 |        0
1475.34/1475.85	c 1474s |      24 |  4666076 |  4522662 |     3539   2984 |        0 |        0
1477.34/1477.86	c 1476s |      24 |  4672332 |  4528762 |     3539   2987 |        0 |        0
1479.34/1479.87	c 1478s |      24 |  4678567 |  4534762 |     3539   2990 |        0 |        0
1481.35/1481.89	c 1480s |      24 |  4684637 |  4540662 |     3539   2993 |        0 |        0
1483.45/1483.91	c 1482s |      24 |  4690945 |  4546762 |     3539   2996 |        0 |        0
1485.44/1485.93	c 1484s |      24 |  4697154 |  4552862 |     3539   3000 |        0 |        0
1487.44/1487.93	c 1486s |      24 |  4703093 |  4558662 |     3539   3003 |        0 |        0
1489.44/1489.95	c 1488s |      24 |  4709169 |  4564462 |     3539   3006 |        0 |        0
1491.44/1491.96	c 1490s |      24 |  4715138 |  4570262 |     3539   3009 |        0 |        0
1493.45/1493.98	c 1492s |      24 |  4721490 |  4576462 |     3539   3012 |        0 |        0
1495.44/1496.00	c 1494s |      24 |  4727437 |  4582262 |     3539   3015 |        0 |        0
1497.54/1498.02	c 1496s |      24 |  4733632 |  4588262 |     3539   3018 |        0 |        0
1499.54/1500.04	c 1498s |      24 |  4740012 |  4594462 |     3539   3022 |        0 |        0
1501.54/1502.05	c 1500s |      24 |  4745555 |  4599862 |     3539   3025 |        0 |        0
1503.54/1504.08	c 1502s |      24 |  4751451 |  4605662 |     3539   3028 |        0 |        0
1505.64/1506.11	c 1504s |      24 |  4758187 |  4612262 |     3539   3031 |        0 |        0
1507.64/1508.14	c 1506s |      24 |  4764623 |  4618562 |     3539   3034 |        0 |        0
1509.63/1510.16	c 1508s |      24 |  4770949 |  4624762 |     3539   3038 |        0 |        0
1511.63/1512.19	c 1510s |      24 |  4777074 |  4630762 |     3539   3041 |        0 |        0
1513.63/1514.19	c 1512s |      24 |  4783120 |  4636662 |     3539   3044 |        0 |        0
1515.63/1516.19	c 1514s |      24 |  4789118 |  4642562 |     3539   3047 |        0 |        0
1517.73/1518.22	c 1516s |      24 |  4795228 |  4648562 |     3539   3050 |        0 |        0
1519.74/1520.26	c 1518s |      24 |  4801448 |  4654562 |     3539   3054 |        0 |        0
1521.73/1522.27	c 1520s |      24 |  4807433 |  4660362 |     3539   3057 |        0 |        0
1523.83/1524.31	c 1522s |      24 |  4813231 |  4665962 |     3539   3060 |        0 |        0
1525.83/1526.34	c 1524s |      24 |  4819521 |  4672062 |     3539   3063 |        0 |        0
1527.83/1528.36	c 1526s |      24 |  4825422 |  4677762 |     3539   3066 |        0 |        0
1529.83/1530.38	c 1528s |      24 |  4831155 |  4683262 |     3539   3069 |        0 |        0
1531.84/1532.40	c 1530s |      24 |  4837629 |  4689462 |     3539   3072 |        0 |        0
1533.93/1534.43	c 1532s |      24 |  4844284 |  4695862 |     3539   3075 |        0 |        0
1535.93/1536.44	c 1534s |      24 |  4851247 |  4702662 |     3539   3079 |        0 |        0
1537.93/1538.46	c 1536s |      24 |  4857718 |  4708962 |     3539   3082 |        0 |        0
1539.93/1540.49	c 1538s |      24 |  4864631 |  4715662 |     3539   3086 |        0 |        0
1542.03/1542.51	c 1540s |      24 |  4871144 |  4721962 |     3539   3089 |        0 |        0
1544.04/1544.52	c 1542s |      24 |  4878251 |  4728862 |     3539   3093 |        0 |        0
1546.04/1546.53	c 1544s |      24 |  4884941 |  4735362 |     3539   3096 |        0 |        0
1548.04/1548.54	c 1546s |      24 |  4891583 |  4741862 |     3539   3100 |        0 |        0
1550.04/1550.56	c 1548s |      24 |  4898685 |  4748762 |     3539   3103 |        0 |        0
1552.04/1552.59	c 1550s |      24 |  4904910 |  4754862 |     3539   3107 |        0 |        0
1554.14/1554.60	c 1552s |      24 |  4910795 |  4760562 |     3539   3110 |        0 |        0
1556.14/1556.62	c 1555s |      24 |  4917789 |  4767362 |     3539   3113 |        0 |        0
1558.14/1558.65	c 1557s |      24 |  4924336 |  4773762 |     3539   3117 |        0 |        0
1560.13/1560.66	c 1559s |      24 |  4931020 |  4780262 |     3539   3120 |        0 |        0
1562.13/1562.69	c 1561s |      24 |  4937590 |  4786562 |     3539   3124 |        0 |        0
1564.23/1564.72	c 1563s |      24 |  4944051 |  4792862 |     3539   3127 |        0 |        0
1566.23/1566.72	c 1565s |      24 |  4950452 |  4799062 |     3539   3130 |        0 |        0
1568.24/1568.75	c 1567s |      24 |  4956343 |  4804762 |     3539   3133 |        0 |        0
1570.23/1570.78	c 1569s |      24 |  4962542 |  4810762 |     3539   3136 |        0 |        0
1572.33/1572.80	c 1571s |      24 |  4969284 |  4817362 |     3539   3140 |        0 |        0
1574.33/1574.82	c 1573s |      24 |  4976020 |  4823962 |     3539   3143 |        0 |        0
1576.33/1576.84	c 1575s |      24 |  4982487 |  4830262 |     3539   3147 |        0 |        0
1578.33/1578.85	c 1577s |      24 |  4989025 |  4836562 |     3539   3150 |        0 |        0
1580.34/1580.87	c 1579s |      24 |  4995755 |  4843062 |     3539   3154 |        0 |        0
1582.33/1582.90	c 1581s |      24 |  5002557 |  4849662 |     3539   3157 |        0 |        0
1584.43/1584.92	c 1583s |      24 |  5009151 |  4855962 |     3539   3160 |        0 |        0
1586.43/1586.95	c 1585s |      24 |  5015569 |  4862162 |     3539   3164 |        0 |        0
1588.43/1588.97	c 1587s |      24 |  5021944 |  4868262 |     3539   3167 |        0 |        0
1590.53/1591.00	c 1589s |      24 |  5028871 |  4875062 |     3539   3171 |        0 |        0
1592.53/1593.01	c 1591s |      24 |  5035506 |  4881562 |     3539   3174 |        0 |        0
1594.54/1595.02	c 1593s |      24 |  5042340 |  4888162 |     3539   3178 |        0 |        0
1596.53/1597.03	c 1595s |      24 |  5049084 |  4894662 |     3539   3181 |        0 |        0
1598.53/1599.05	c 1597s |      24 |  5055653 |  4901062 |     3539   3184 |        0 |        0
1600.53/1601.06	c 1599s |      24 |  5062478 |  4907762 |     3539   3188 |        0 |        0
1602.53/1603.06	c 1601s |      24 |  5068877 |  4913962 |     3539   3191 |        0 |        0
1604.54/1605.09	c 1603s |      24 |  5075115 |  4919862 |     3539   3194 |        0 |        0
1606.53/1607.10	c 1605s |      24 |  5081209 |  4925562 |     3539   3197 |        0 |        0
1608.63/1609.11	c 1607s |      24 |  5087581 |  4931762 |     3539   3201 |        0 |        0
1610.63/1611.11	c 1609s |      24 |  5094047 |  4938062 |     3539   3204 |        0 |        0
1612.63/1613.14	c 1611s |      24 |  5100523 |  4944362 |     3539   3207 |        0 |        0
1614.63/1615.16	c 1613s |      24 |  5106762 |  4950362 |     3539   3210 |        0 |        0
1616.63/1617.18	c 1615s |      24 |  5112804 |  4956162 |     3539   3214 |        0 |        0
1618.73/1619.20	c 1617s |      24 |  5118990 |  4962162 |     3539   3217 |        0 |        0
1620.72/1621.22	c 1619s |      24 |  5124764 |  4967762 |     3539   3220 |        0 |        0
1622.72/1623.24	c 1621s |      24 |  5130697 |  4973462 |     3539   3223 |        0 |        0
1624.72/1625.25	c 1623s |      24 |  5136705 |  4979262 |     3539   3226 |        0 |        0
1626.72/1627.26	c 1625s |      24 |  5142934 |  4985362 |     3539   3229 |        0 |        0
1628.73/1629.28	c 1627s |      24 |  5148943 |  4991262 |     3539   3232 |        0 |        0
1630.72/1631.28	c 1629s |      24 |  5154773 |  4996962 |     3539   3235 |        0 |        0
1632.82/1633.30	c 1631s |      24 |  5160965 |  5003062 |     3539   3238 |        0 |        0
1634.82/1635.33	c 1633s |      24 |  5167012 |  5008962 |     3539   3242 |        0 |        0
1636.82/1637.34	c 1635s |      24 |  5172888 |  5014662 |     3539   3245 |        0 |        0
1638.82/1639.35	c 1637s |      24 |  5179363 |  5020962 |     3539   3248 |        0 |        0
1640.83/1641.36	c 1639s |      24 |  5185323 |  5026762 |     3893   3251 |        0 |        0
1642.82/1643.39	c 1641s |      24 |  5191338 |  5032462 |     3893   3253 |        0 |        0
1644.92/1645.40	c 1643s |      24 |  5197278 |  5038262 |     3893   3256 |        0 |        0
1646.92/1647.41	c 1645s |      24 |  5203192 |  5044062 |     3893   3259 |        0 |        0
1648.92/1649.44	c 1647s |      24 |  5209254 |  5049962 |     3893   3262 |        0 |        0
1650.92/1651.45	c 1649s |      24 |  5215385 |  5055862 |     3893   3265 |        0 |        0
1652.93/1653.47	c 1651s |      24 |  5221646 |  5061962 |     3893   3268 |        0 |        0
1654.02/1654.52	c 1652s |      25 |  5224829 |  5065098 |     3893   3269 |        0 |        0
1656.02/1656.52	c 1654s |      25 |  5231280 |  5071298 |     3893   3272 |        0 |        0
1658.02/1658.54	c 1656s |      25 |  5237381 |  5077198 |     3893   3275 |        0 |        0
1660.02/1660.54	c 1658s |      25 |  5244280 |  5083998 |     3893   3278 |        0 |        0
1662.02/1662.58	c 1660s |      25 |  5250708 |  5090398 |     3893   3282 |        0 |        0
1664.02/1664.59	c 1662s |      25 |  5257368 |  5096998 |     3893   3285 |        0 |        0
1666.02/1666.60	c 1664s |      25 |  5264203 |  5103698 |     3893   3288 |        0 |        0
1668.11/1668.62	c 1667s |      25 |  5271407 |  5110798 |     3893   3291 |        0 |        0
1670.11/1670.63	c 1669s |      25 |  5277837 |  5117098 |     3893   3294 |        0 |        0
1672.11/1672.67	c 1671s |      25 |  5283846 |  5122998 |     3893   3297 |        0 |        0
1674.11/1674.68	c 1673s |      25 |  5289938 |  5128898 |     3893   3300 |        0 |        0
1676.11/1676.69	c 1675s |      25 |  5295945 |  5134798 |     3893   3303 |        0 |        0
1678.12/1678.69	c 1677s |      25 |  5301889 |  5140498 |     3893   3306 |        0 |        0
1680.11/1680.69	c 1679s |      25 |  5307697 |  5146198 |     3893   3309 |        0 |        0
1682.11/1682.70	c 1681s |      25 |  5313900 |  5152298 |     3893   3312 |        0 |        0
1684.21/1684.70	c 1683s |      25 |  5320151 |  5158398 |     3893   3315 |        0 |        0
1686.21/1686.70	c 1685s |      25 |  5326149 |  5164298 |     3893   3317 |        0 |        0
1688.21/1688.72	c 1687s |      25 |  5332644 |  5170598 |     3893   3321 |        0 |        0
1690.22/1690.73	c 1689s |      25 |  5338612 |  5176398 |     3893   3323 |        0 |        0
1692.21/1692.76	c 1691s |      25 |  5344715 |  5182398 |     3893   3326 |        0 |        0
1694.21/1694.76	c 1693s |      25 |  5350710 |  5188298 |     3893   3329 |        0 |        0
1696.21/1696.79	c 1695s |      25 |  5356246 |  5193698 |     3893   3332 |        0 |        0
1698.31/1698.81	c 1697s |      25 |  5361851 |  5199198 |     3893   3334 |        0 |        0
1700.31/1700.84	c 1699s |      25 |  5367627 |  5204898 |     3893   3337 |        0 |        0
1702.31/1702.84	c 1701s |      25 |  5373140 |  5210298 |     3893   3340 |        0 |        0
1704.31/1704.87	c 1703s |      25 |  5379361 |  5216398 |     3893   3343 |        0 |        0
1706.31/1706.89	c 1705s |      25 |  5384584 |  5221498 |     3893   3345 |        0 |        0
1708.41/1708.91	c 1707s |      25 |  5390301 |  5226998 |     3893   3348 |        0 |        0
1710.41/1710.92	c 1709s |      25 |  5396190 |  5232798 |     3893   3351 |        0 |        0
1712.40/1712.95	c 1711s |      25 |  5403370 |  5239798 |     3893   3354 |        0 |        0
1714.41/1714.97	c 1713s |      25 |  5409942 |  5246298 |     3893   3357 |        0 |        0
1716.40/1716.98	c 1715s |      25 |  5416590 |  5252798 |     3893   3361 |        0 |        0
1718.50/1719.02	c 1717s |      25 |  5422997 |  5259098 |     3893   3364 |        0 |        0
1720.50/1721.02	c 1719s |      25 |  5429284 |  5265298 |     3893   3367 |        0 |        0
1722.50/1723.05	c 1721s |      25 |  5435758 |  5271598 |     3893   3370 |        0 |        0
1724.50/1725.08	c 1723s |      25 |  5442096 |  5277798 |     3893   3373 |        0 |        0
1726.51/1727.09	c 1725s |      25 |  5447800 |  5283398 |     3893   3376 |        0 |        0
1728.50/1729.09	c 1727s |      25 |  5453550 |  5288998 |     3893   3378 |        0 |        0
1730.60/1731.11	c 1729s |      25 |  5459628 |  5294898 |     3893   3381 |        0 |        0
1732.60/1733.13	c 1731s |      25 |  5465705 |  5300898 |     3893   3384 |        0 |        0
1734.60/1735.14	c 1733s |      25 |  5471455 |  5306598 |     3893   3387 |        0 |        0
1736.60/1737.15	c 1735s |      25 |  5477203 |  5312198 |     3893   3390 |        0 |        0
1738.61/1739.16	c 1737s |      25 |  5482986 |  5317898 |     3893   3392 |        0 |        0
1740.70/1741.20	c 1739s |      25 |  5488893 |  5323698 |     3893   3395 |        0 |        0
1742.70/1743.21	c 1741s |      25 |  5495306 |  5329898 |     3893   3398 |        0 |        0
1744.70/1745.21	c 1743s |      25 |  5501704 |  5336098 |     3893   3401 |        0 |        0
1746.71/1747.22	c 1745s |      25 |  5507786 |  5341998 |     3893   3404 |        0 |        0
1748.71/1749.23	c 1747s |      25 |  5513951 |  5348098 |     3893   3407 |        0 |        0
1750.71/1751.24	c 1749s |      25 |  5519905 |  5353898 |     3893   3410 |        0 |        0
1752.70/1753.24	c 1751s |      25 |  5526214 |  5359998 |     3893   3413 |        0 |        0
1754.70/1755.25	c 1753s |      25 |  5532714 |  5366398 |     3893   3416 |        0 |        0
1756.70/1757.26	c 1755s |      25 |  5539410 |  5372998 |     3893   3419 |        0 |        0
1758.70/1759.27	c 1757s |      25 |  5545966 |  5379398 |     3893   3422 |        0 |        0
1760.80/1761.31	c 1759s |      25 |  5552360 |  5385698 |     3893   3426 |        0 |        0
1762.81/1763.32	c 1761s |      25 |  5558858 |  5392098 |     3893   3429 |        0 |        0
1764.80/1765.33	c 1763s |      25 |  5565622 |  5398698 |     3893   3432 |        0 |        0
1766.80/1767.35	c 1765s |      25 |  5572079 |  5404998 |     3893   3435 |        0 |        0
1768.90/1769.40	c 1767s |      25 |  5576752 |  5409498 |     3893   3437 |        0 |        0
1770.90/1771.42	c 1769s |      25 |  5583293 |  5415798 |     3893   3440 |        0 |        0
1772.90/1773.42	c 1771s |      25 |  5589372 |  5421798 |     3893   3443 |        0 |        0
1774.91/1775.44	c 1773s |      25 |  5594842 |  5427198 |     3893   3446 |        0 |        0
1776.90/1777.44	c 1775s |      25 |  5600196 |  5432498 |     3893   3448 |        0 |        0
1778.90/1779.45	c 1777s |      25 |  5606184 |  5438298 |     3893   3451 |        0 |        0
1780.90/1781.48	c 1779s |      25 |  5612208 |  5444198 |     3893   3454 |        0 |        0
1783.00/1783.51	c 1781s |      25 |  5618071 |  5449998 |     3893   3457 |        0 |        0
1785.00/1785.54	c 1783s |      25 |  5623438 |  5455198 |     3893   3459 |        0 |        0
1787.00/1787.56	c 1785s |      25 |  5628720 |  5460298 |     3893   3462 |        0 |        0
1788.99/1789.59	c 1787s |      25 |  5635376 |  5466798 |     3893   3465 |        0 |        0
1791.09/1791.63	c 1790s |      25 |  5640315 |  5471598 |     3893   3467 |        0 |        0
1793.09/1793.67	c 1792s |      25 |  5646919 |  5477998 |     3893   3470 |        0 |        0
1795.09/1795.68	c 1794s |      25 |  5653031 |  5483998 |     3893   3473 |        0 |        0
1797.19/1797.70	c 1796s |      25 |  5658859 |  5489698 |     3893   3476 |        0 |        0
1799.20/1799.72	c 1798s |      25 |  5664037 |  5494698 |     3893   3479 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4106049-1466264082/watcher-4106049-1466264082 -o /tmp/evaluation-result-4106049-1466264082/solver-4106049-1466264082 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466264081-7755 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106049-1466264082.opb 

pid=7834
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.13 1.33 1.70 3/179 7837
/proc/meminfo: memFree=30537192/32872528 swapFree=496868/529572
[pid=7837] ppid=7834 vsize=757180 CPUtime=0 cores=0,2,4,6
/proc/7837/stat : 7837 (toysat) R 7834 7837 7739 0 -1 4202496 2832 0 0 0 0 0 0 0 20 0 4 0 28453664 775352320 3192 33554432000 4194304 16246674 140736623656304 140736623655728 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 190063 3201 441 2943 0 186957 0
[pid=7837/tid=7838] ppid=7834 vsize=775612 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7838/stat : 7838 (toysat) S 7834 7837 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28453665 794226688 3262 33554432000 4194304 16246674 140736623656304 139723021462768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7837/tid=7839] ppid=7834 vsize=780732 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7839/stat : 7839 (toysat) S 7834 7837 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28453665 799469568 3281 33554432000 4194304 16246674 140736623656304 139722936528112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7837/tid=7840] ppid=7834 vsize=784828 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7840/stat : 7840 (toysat) S 7834 7837 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28453665 803663872 3298 33554432000 4194304 16246674 140736623656304 139722926054576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100165 s]
/proc/loadavg: 1.13 1.33 1.70 3/179 7837
/proc/meminfo: memFree=30537192/32872528 swapFree=496868/529572
[pid=7837] ppid=7834 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/7837/stat : 7837 (toysat) R 7834 7837 7739 0 -1 4202496 21418 0 0 0 7 2 0 0 20 0 4 0 28453664 1247350784 21766 33554432000 4194304 16246674 140736623656304 140736623639296 6010521 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 304529 21772 760 2943 0 301423 0
[pid=7837/tid=7838] ppid=7834 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7838/stat : 7838 (toysat) S 7834 7837 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28453665 1247350784 21774 33554432000 4194304 16246674 140736623656304 139723021462768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7837/tid=7839] ppid=7834 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7839/stat : 7839 (toysat) S 7834 7837 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28453665 1247350784 21776 33554432000 4194304 16246674 140736623656304 139722936528112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7837/tid=7840] ppid=7834 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7840/stat : 7840 (toysat) S 7834 7837 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28453665 1247350784 21779 33554432000 4194304 16246674 140736623656304 139722926054576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200562 s]
/proc/loadavg: 1.13 1.33 1.70 3/179 7837
/proc/meminfo: memFree=30537192/32872528 swapFree=496868/529572
[pid=7837] ppid=7834 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/7837/stat : 7837 (toysat) R 7834 7837 7739 0 -1 4202496 38932 0 0 0 14 5 0 0 20 0 4 0 28453664 1247350784 39280 33554432000 4194304 16246674 140736623656304 140736623639296 6021133 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 304529 39291 767 2943 0 301423 0
[pid=7837/tid=7838] ppid=7834 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7838/stat : 7838 (toysat) S 7834 7837 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28453665 1247350784 39299 33554432000 4194304 16246674 140736623656304 139723021462768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7837/tid=7839] ppid=7834 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7839/stat : 7839 (toysat) S 7834 7837 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28453665 1247350784 39304 33554432000 4194304 16246674 140736623656304 139722936528112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7837/tid=7840] ppid=7834 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7840/stat : 7840 (toysat) S 7834 7837 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28453665 1247350784 39305 33554432000 4194304 16246674 140736623656304 139722926054576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300463 s]
/proc/loadavg: 1.13 1.33 1.70 3/179 7837
/proc/meminfo: memFree=30537192/32872528 swapFree=496868/529572
[pid=7837] ppid=7834 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/7837/stat : 7837 (toysat) R 7834 7837 7739 0 -1 4202496 56498 0 0 0 22 7 0 0 20 0 4 0 28453664 1247350784 56846 33554432000 4194304 16246674 140736623656304 140736623639296 5724508 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 304529 56859 767 2943 0 301423 0
[pid=7837/tid=7838] ppid=7834 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7838/stat : 7838 (toysat) S 7834 7837 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28453665 1247350784 56867 33554432000 4194304 16246674 140736623656304 139723021462768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7837/tid=7839] ppid=7834 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7839/stat : 7839 (toysat) S 7834 7837 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28453665 1247350784 56870 33554432000 4194304 16246674 140736623656304 139722936528112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7837/tid=7840] ppid=7834 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7840/stat : 7840 (toysat) S 7834 7837 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28453665 1247350784 56872 33554432000 4194304 16246674 140736623656304 139722926054576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700412 s]
/proc/loadavg: 1.13 1.33 1.70 3/179 7837
/proc/meminfo: memFree=30537192/32872528 swapFree=496868/529572
[pid=7837] ppid=7834 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/7837/stat : 7837 (toysat) R 7834 7837 7739 0 -1 4202496 125295 0 0 0 52 17 0 0 20 0 4 0 28453664 1247350784 125643 33554432000 4194304 16246674 140736623656304 140736623639296 5712452 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 304529 125649 767 2943 0 301423 0
[pid=7837/tid=7838] ppid=7834 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7838/stat : 7838 (toysat) S 7834 7837 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28453665 1247350784 125653 33554432000 4194304 16246674 140736623656304 139723021462768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7837/tid=7839] ppid=7834 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7839/stat : 7839 (toysat) S 7834 7837 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28453665 1247350784 125657 33554432000 4194304 16246674 140736623656304 139722936528112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7837/tid=7840] ppid=7834 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7840/stat : 7840 (toysat) S 7834 7837 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28453665 1247350784 125661 33554432000 4194304 16246674 140736623656304 139722926054576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50046 s]
/proc/loadavg: 1.20 1.34 1.70 3/183 7841
/proc/meminfo: memFree=29420088/32872528 swapFree=496868/529572
[pid=7837] ppid=7834 vsize=1220164 CPUtime=1.49 cores=0,2,4,6
/proc/7837/stat : 7837 (toysat) R 7834 7837 7739 0 -1 4202496 245886 0 0 0 117 32 0 0 20 0 4 0 28453664 1249447936 246211 33554432000 4194304 16246674 140736623656304 140736623655616 12482307 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 305041 246211 832 2943 0 301935 0
[pid=7837/tid=7838] ppid=7834 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7838/stat : 7838 (toysat) S 7834 7837 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28453665 1249447936 246211 33554432000 4194304 16246674 140736623656304 139723021462768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7837/tid=7839] ppid=7834 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7839/stat : 7839 (toysat) S 7834 7837 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28453665 1249447936 246211 33554432000 4194304 16246674 140736623656304 139722936528112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7837/tid=7840] ppid=7834 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7840/stat : 7840 (toysat) S 7834 7837 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28453665 1249447936 246211 33554432000 4194304 16246674 140736623656304 139722926054576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1220164

[startup+3.10041 s]
/proc/loadavg: 1.20 1.34 1.70 3/183 7841
/proc/meminfo: memFree=29144436/32872528 swapFree=496868/529572
[pid=7837] ppid=7834 vsize=1305156 CPUtime=3.09 cores=0,2,4,6
/proc/7837/stat : 7837 (toysat) R 7834 7837 7739 0 -1 4202496 267221 0 0 0 273 36 0 0 20 0 4 0 28453664 1336479744 267546 33554432000 4194304 16246674 140736623656304 140736623639304 12874974 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 326289 267546 850 2943 0 323183 0
[pid=7837/tid=7838] ppid=7834 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7838/stat : 7838 (toysat) S 7834 7837 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28453665 1336479744 267546 33554432000 4194304 16246674 140736623656304 139723021462768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7837/tid=7839] ppid=7834 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7839/stat : 7839 (toysat) S 7834 7837 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28453665 1336479744 267546 33554432000 4194304 16246674 140736623656304 139722936528112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7837/tid=7840] ppid=7834 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7840/stat : 7840 (toysat) S 7834 7837 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28453665 1336479744 267546 33554432000 4194304 16246674 140736623656304 139722926054576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1305156

[startup+6.30046 s]
/proc/loadavg: 1.26 1.35 1.70 3/183 7841
/proc/meminfo: memFree=29055936/32872528 swapFree=496868/529572
[pid=7837] ppid=7834 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/7837/stat : 7837 (toysat) R 7834 7837 7739 0 -1 4202496 267898 0 0 0 593 36 0 0 20 0 4 0 28453664 1338576896 268223 33554432000 4194304 16246674 140736623656304 140736623638208 5717656 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 326801 268223 851 2943 0 323695 0
[pid=7837/tid=7838] ppid=7834 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7838/stat : 7838 (toysat) S 7834 7837 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28453665 1338576896 268223 33554432000 4194304 16246674 140736623656304 139723021462768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7837/tid=7839] ppid=7834 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7839/stat : 7839 (toysat) S 7834 7837 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28453665 1338576896 268223 33554432000 4194304 16246674 140736623656304 139722936528112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7837/tid=7840] ppid=7834 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7840/stat : 7840 (toysat) S 7834 7837 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28453665 1338576896 268223 33554432000 4194304 16246674 140736623656304 139722926054576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 1.32 1.36 1.71 3/183 7841
/proc/meminfo: memFree=29052388/32872528 swapFree=496868/529572
[pid=7837] ppid=7834 vsize=1308228 CPUtime=12.68 cores=0,2,4,6
/proc/7837/stat : 7837 (toysat) R 7834 7837 7739 0 -1 4202496 267978 0 0 0 1232 36 0 0 20 0 4 0 28453664 1339625472 268303 33554432000 4194304 16246674 140736623656304 140736623638208 5823336 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 327057 268303 852 2943 0 323951 0
[pid=7837/tid=7838] ppid=7834 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7838/stat : 7838 (toysat) S 7834 7837 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28453665 1339625472 268303 33554432000 4194304 16246674 140736623656304 139723021462768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7837/tid=7839] ppid=7834 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7839/stat : 7839 (toysat) S 7834 7837 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28453665 1339625472 268303 33554432000 4194304 16246674 140736623656304 139722936528112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7837/tid=7840] ppid=7834 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7840/stat : 7840 (toysat) S 7834 7837 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28453665 1339625472 268303 33554432000 4194304 16246674 140736623656304 139722926054576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 1.47 1.39 1.71 3/183 7841
/proc/meminfo: memFree=29050976/32872528 swapFree=496868/529572
[pid=7837] ppid=7834 vsize=1309252 CPUtime=25.49 cores=0,2,4,6
/proc/7837/stat : 7837 (toysat) R 7834 7837 7739 0 -1 4202496 268414 0 0 0 2512 37 0 0 20 0 4 0 28453664 1340674048 268739 33554432000 4194304 16246674 140736623656304 140736623639304 5711916 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 327313 268739 855 2943 0 324207 0
[pid=7837/tid=7838] ppid=7834 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7838/stat : 7838 (toysat) S 7834 7837 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28453665 1340674048 268739 33554432000 4194304 16246674 140736623656304 139723021462768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7837/tid=7839] ppid=7834 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7839/stat : 7839 (toysat) S 7834 7837 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28453665 1340674048 268739 33554432000 4194304 16246674 140736623656304 139722936528112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7837/tid=7840] ppid=7834 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7840/stat : 7840 (toysat) S 7834 7837 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28453665 1340674048 268739 33554432000 4194304 16246674 140736623656304 139722926054576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1309252

[startup+51.1005 s]
/proc/loadavg: 1.71 1.46 1.72 3/183 7841
/proc/meminfo: memFree=29050856/32872528 swapFree=496868/529572
[pid=7837] ppid=7834 vsize=1309252 CPUtime=51.09 cores=0,2,4,6
/proc/7837/stat : 7837 (toysat) R 7834 7837 7739 0 -1 4202496 268414 0 0 0 5072 37 0 0 20 0 4 0 28453664 1340674048 268739 33554432000 4194304 16246674 140736623656304 140736623639304 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 327313 268739 855 2943 0 324207 0
[pid=7837/tid=7838] ppid=7834 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7838/stat : 7838 (toysat) S 7834 7837 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28453665 1340674048 268739 33554432000 4194304 16246674 140736623656304 139723021462768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7837/tid=7839] ppid=7834 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7839/stat : 7839 (toysat) S 7834 7837 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28453665 1340674048 268739 33554432000 4194304 16246674 140736623656304 139722936528112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7837/tid=7840] ppid=7834 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7840/stat : 7840 (toysat) S 7834 7837 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28453665 1340674048 268739 33554432000 4194304 16246674 140736623656304 139722926054576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1309252

[startup+102.301 s]
/proc/loadavg: 1.94 1.56 1.74 3/183 7843
/proc/meminfo: memFree=29046776/32872528 swapFree=496868/529572
[pid=7837] ppid=7834 vsize=1312324 CPUtime=102.28 cores=0,2,4,6
/proc/7837/stat : 7837 (toysat) R 7834 7837 7739 0 -1 4202496 268980 0 0 0 10191 37 0 0 20 0 4 0 28453664 1343819776 269305 33554432000 4194304 16246674 140736623656304 140736623638208 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 328081 269305 855 2943 0 324975 0
[pid=7837/tid=7838] ppid=7834 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7838/stat : 7838 (toysat) S 7834 7837 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28453665 1343819776 269305 33554432000 4194304 16246674 140736623656304 139723021462768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7837/tid=7839] ppid=7834 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7839/stat : 7839 (toysat) S 7834 7837 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28453665 1343819776 269305 33554432000 4194304 16246674 140736623656304 139722936528112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7837/tid=7840] ppid=7834 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7840/stat : 7840 (toysat) S 7834 7837 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28453665 1343819776 269305 33554432000 4194304 16246674 140736623656304 139722926054576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1312324


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

/proc/7837/task/7840/stat : 7840 (toysat) S 7834 7837 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28453665 1349062656 271044 33554432000 4194304 16246674 140736623656304 139722926054576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 1317444

[startup+1302.3 s]
/proc/loadavg: 2.15 2.11 1.99 4/183 7873
/proc/meminfo: memFree=29028520/32872528 swapFree=496868/529572
[pid=7837] ppid=7834 vsize=1317444 CPUtime=1301.93 cores=0,2,4,6
/proc/7837/stat : 7837 (toysat) R 7834 7837 7739 0 -1 4202496 270791 0 0 0 130147 46 0 0 20 0 4 0 28453664 1349062656 271044 33554432000 4194304 16246674 140736623656304 140736623638208 6020961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 329361 271044 856 2943 0 326255 0
[pid=7837/tid=7838] ppid=7834 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7838/stat : 7838 (toysat) S 7834 7837 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28453665 1349062656 271044 33554432000 4194304 16246674 140736623656304 139723021462768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7837/tid=7839] ppid=7834 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7839/stat : 7839 (toysat) S 7834 7837 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28453665 1349062656 271044 33554432000 4194304 16246674 140736623656304 139722936528112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7837/tid=7840] ppid=7834 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7840/stat : 7840 (toysat) S 7834 7837 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28453665 1349062656 271044 33554432000 4194304 16246674 140736623656304 139722926054576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1317444

[startup+1362.3 s]
/proc/loadavg: 2.16 2.12 2.00 3/183 7874
/proc/meminfo: memFree=29028556/32872528 swapFree=496868/529572
[pid=7837] ppid=7834 vsize=1317444 CPUtime=1361.9 cores=0,2,4,6
/proc/7837/stat : 7837 (toysat) R 7834 7837 7739 0 -1 4202496 270827 0 0 0 136143 47 0 0 20 0 4 0 28453664 1349062656 271044 33554432000 4194304 16246674 140736623656304 140736623638208 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 329361 271044 856 2943 0 326255 0
[pid=7837/tid=7838] ppid=7834 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7838/stat : 7838 (toysat) S 7834 7837 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28453665 1349062656 271044 33554432000 4194304 16246674 140736623656304 139723021462768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7837/tid=7839] ppid=7834 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7839/stat : 7839 (toysat) S 7834 7837 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28453665 1349062656 271044 33554432000 4194304 16246674 140736623656304 139722936528112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7837/tid=7840] ppid=7834 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7840/stat : 7840 (toysat) S 7834 7837 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28453665 1349062656 271044 33554432000 4194304 16246674 140736623656304 139722926054576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1317444

[startup+1422.3 s]
/proc/loadavg: 2.17 2.12 2.01 3/183 7875
/proc/meminfo: memFree=29028336/32872528 swapFree=496868/529572
[pid=7837] ppid=7834 vsize=1317444 CPUtime=1421.88 cores=0,2,4,6
/proc/7837/stat : 7837 (toysat) R 7834 7837 7739 0 -1 4202496 270868 0 0 0 142141 47 0 0 20 0 4 0 28453664 1349062656 271044 33554432000 4194304 16246674 140736623656304 140736623638208 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 329361 271044 856 2943 0 326255 0
[pid=7837/tid=7838] ppid=7834 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7838/stat : 7838 (toysat) S 7834 7837 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28453665 1349062656 271044 33554432000 4194304 16246674 140736623656304 139723021462768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7837/tid=7839] ppid=7834 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7839/stat : 7839 (toysat) S 7834 7837 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28453665 1349062656 271044 33554432000 4194304 16246674 140736623656304 139722936528112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7837/tid=7840] ppid=7834 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7840/stat : 7840 (toysat) S 7834 7837 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28453665 1349062656 271044 33554432000 4194304 16246674 140736623656304 139722926054576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1317444

[startup+1482.3 s]
/proc/loadavg: 2.18 2.13 2.01 3/183 7876
/proc/meminfo: memFree=29028084/32872528 swapFree=496868/529572
[pid=7837] ppid=7834 vsize=1317444 CPUtime=1481.84 cores=0,2,4,6
/proc/7837/stat : 7837 (toysat) R 7834 7837 7739 0 -1 4202496 270897 0 0 0 148137 47 0 0 20 0 4 0 28453664 1349062656 271044 33554432000 4194304 16246674 140736623656304 140736623638208 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 329361 271044 856 2943 0 326255 0
[pid=7837/tid=7838] ppid=7834 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7838/stat : 7838 (toysat) S 7834 7837 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28453665 1349062656 271044 33554432000 4194304 16246674 140736623656304 139723021462768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7837/tid=7839] ppid=7834 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7839/stat : 7839 (toysat) S 7834 7837 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28453665 1349062656 271044 33554432000 4194304 16246674 140736623656304 139722936528112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7837/tid=7840] ppid=7834 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7840/stat : 7840 (toysat) S 7834 7837 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28453665 1349062656 271044 33554432000 4194304 16246674 140736623656304 139722926054576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1317444

[startup+1542.31 s]
/proc/loadavg: 2.17 2.13 2.02 3/184 7880
/proc/meminfo: memFree=29028864/32872528 swapFree=496868/529572
[pid=7837] ppid=7834 vsize=1317444 CPUtime=1541.84 cores=0,2,4,6
/proc/7837/stat : 7837 (toysat) R 7834 7837 7739 0 -1 4202496 270897 0 0 0 154137 47 0 0 20 0 4 0 28453664 1349062656 271044 33554432000 4194304 16246674 140736623656304 140736623639304 5677380 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 329361 271044 856 2943 0 326255 0
[pid=7837/tid=7838] ppid=7834 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7838/stat : 7838 (toysat) S 7834 7837 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28453665 1349062656 271044 33554432000 4194304 16246674 140736623656304 139723021462768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7837/tid=7839] ppid=7834 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7839/stat : 7839 (toysat) S 7834 7837 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28453665 1349062656 271044 33554432000 4194304 16246674 140736623656304 139722936528112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7837/tid=7840] ppid=7834 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7840/stat : 7840 (toysat) S 7834 7837 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28453665 1349062656 271044 33554432000 4194304 16246674 140736623656304 139722926054576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1317444

[startup+1602.3 s]
/proc/loadavg: 2.29 2.17 2.03 3/183 7904
/proc/meminfo: memFree=29028436/32872528 swapFree=496868/529572
[pid=7837] ppid=7834 vsize=1317444 CPUtime=1601.83 cores=0,2,4,6
/proc/7837/stat : 7837 (toysat) R 7834 7837 7739 0 -1 4202496 270897 0 0 0 160135 48 0 0 20 0 4 0 28453664 1349062656 271044 33554432000 4194304 16246674 140736623656304 140736623638208 12466815 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 329361 271044 856 2943 0 326255 0
[pid=7837/tid=7838] ppid=7834 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7838/stat : 7838 (toysat) S 7834 7837 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28453665 1349062656 271044 33554432000 4194304 16246674 140736623656304 139723021462768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7837/tid=7839] ppid=7834 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7839/stat : 7839 (toysat) S 7834 7837 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28453665 1349062656 271044 33554432000 4194304 16246674 140736623656304 139722936528112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7837/tid=7840] ppid=7834 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7840/stat : 7840 (toysat) S 7834 7837 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28453665 1349062656 271044 33554432000 4194304 16246674 140736623656304 139722926054576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1317444

[startup+1662.3 s]
/proc/loadavg: 2.22 2.18 2.04 3/183 7906
/proc/meminfo: memFree=29028428/32872528 swapFree=496868/529572
[pid=7837] ppid=7834 vsize=1317444 CPUtime=1661.82 cores=0,2,4,6
/proc/7837/stat : 7837 (toysat) R 7834 7837 7739 0 -1 4202496 270897 0 0 0 166134 48 0 0 20 0 4 0 28453664 1349062656 271044 33554432000 4194304 16246674 140736623656304 140736623638208 5712563 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 329361 271044 856 2943 0 326255 0
[pid=7837/tid=7838] ppid=7834 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7838/stat : 7838 (toysat) S 7834 7837 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28453665 1349062656 271044 33554432000 4194304 16246674 140736623656304 139723021462768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7837/tid=7839] ppid=7834 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7839/stat : 7839 (toysat) S 7834 7837 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28453665 1349062656 271044 33554432000 4194304 16246674 140736623656304 139722936528112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7837/tid=7840] ppid=7834 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7840/stat : 7840 (toysat) S 7834 7837 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28453665 1349062656 271044 33554432000 4194304 16246674 140736623656304 139722926054576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1317444

[startup+1722.3 s]
/proc/loadavg: 2.19 2.17 2.05 3/183 7907
/proc/meminfo: memFree=29028180/32872528 swapFree=496868/529572
[pid=7837] ppid=7834 vsize=1317444 CPUtime=1721.8 cores=0,2,4,6
/proc/7837/stat : 7837 (toysat) R 7834 7837 7739 0 -1 4202496 270897 0 0 0 172132 48 0 0 20 0 4 0 28453664 1349062656 271044 33554432000 4194304 16246674 140736623656304 140736623638208 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 329361 271044 856 2943 0 326255 0
[pid=7837/tid=7838] ppid=7834 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7838/stat : 7838 (toysat) S 7834 7837 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28453665 1349062656 271044 33554432000 4194304 16246674 140736623656304 139723021462768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7837/tid=7839] ppid=7834 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7839/stat : 7839 (toysat) S 7834 7837 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28453665 1349062656 271044 33554432000 4194304 16246674 140736623656304 139722936528112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7837/tid=7840] ppid=7834 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7840/stat : 7840 (toysat) S 7834 7837 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28453665 1349062656 271044 33554432000 4194304 16246674 140736623656304 139722926054576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1317444

[startup+1782.3 s]
/proc/loadavg: 2.18 2.17 2.05 3/183 7908
/proc/meminfo: memFree=29028060/32872528 swapFree=496868/529572
[pid=7837] ppid=7834 vsize=1317444 CPUtime=1781.8 cores=0,2,4,6
/proc/7837/stat : 7837 (toysat) R 7834 7837 7739 0 -1 4202496 270897 0 0 0 178131 49 0 0 20 0 4 0 28453664 1349062656 271044 33554432000 4194304 16246674 140736623656304 140736623638208 12995176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 329361 271044 856 2943 0 326255 0
[pid=7837/tid=7838] ppid=7834 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7838/stat : 7838 (toysat) S 7834 7837 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28453665 1349062656 271044 33554432000 4194304 16246674 140736623656304 139723021462768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7837/tid=7839] ppid=7834 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7839/stat : 7839 (toysat) S 7834 7837 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28453665 1349062656 271044 33554432000 4194304 16246674 140736623656304 139722936528112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7837/tid=7840] ppid=7834 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7840/stat : 7840 (toysat) S 7834 7837 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28453665 1349062656 271044 33554432000 4194304 16246674 140736623656304 139722926054576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1317444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.14 2.16 2.05 3/183 7908
/proc/meminfo: memFree=29028436/32872528 swapFree=496868/529572
[pid=7837] ppid=7834 vsize=1317444 CPUtime=1800.09 cores=0,2,4,6
/proc/7837/stat : 7837 (toysat) R 7834 7837 7739 0 -1 4202496 270897 0 0 0 179960 49 0 0 20 0 4 0 28453664 1349062656 271044 33554432000 4194304 16246674 140736623656304 140736623638208 13950184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7837/statm: 329361 271044 856 2943 0 326255 0
[pid=7837/tid=7838] ppid=7834 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7838/stat : 7838 (toysat) S 7834 7837 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28453665 1349062656 271044 33554432000 4194304 16246674 140736623656304 139723021462768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7837/tid=7839] ppid=7834 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7839/stat : 7839 (toysat) S 7834 7837 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28453665 1349062656 271044 33554432000 4194304 16246674 140736623656304 139722936528112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7837/tid=7840] ppid=7834 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7837/task/7840/stat : 7840 (toysat) S 7834 7837 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28453665 1349062656 271044 33554432000 4194304 16246674 140736623656304 139722926054576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1317444

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 7837 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.11
CPU user time (s): 1799.61
CPU system time (s): 0.496924
CPU usage (%): 99.9722
Max. virtual memory (cumulated for all children) (KiB): 1317444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.61
system time used= 0.496924
maximum resident set size= 1084176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270897
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= 448
involuntary context switches= 1857

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.59054 second user time and 6.40603 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-18 17:34:42
IDJOB=4106049
IDBENCH=47906
IDSOLVER=2542
FILE ID=node141/4106049-1466264082
RUNJOBID= node141-1466264081-7755
PBS_JOBID= 19918217
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=263-P1=409-P2=29-P3=379-B.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106049-1466264082/watcher-4106049-1466264082 -o /tmp/evaluation-result-4106049-1466264082/solver-4106049-1466264082 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466264081-7755 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106049-1466264082.opb

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

MD5SUM BENCH= 947e947c586d02edcb816b66608818b9
RANDOM SEED=1594180629

node141.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30551120 kB
Buffers:          142260 kB
Cached:           253316 kB
SwapCached:         2528 kB
Active:           787992 kB
Inactive:         259060 kB
Active(anon):     652068 kB
Inactive(anon):     2028 kB
Active(file):     135924 kB
Inactive(file):   257032 kB
Unevictable:      529572 kB
Mlocked:          496868 kB
SwapTotal:      67108856 kB
SwapFree:       67099068 kB
Dirty:             33036 kB
Writeback:             0 kB
AnonPages:       1178536 kB
Mapped:            10052 kB
Shmem:                 0 kB
Slab:             610172 kB
SReclaimable:      53340 kB
SUnreclaim:       556832 kB
KernelStack:        1392 kB
PageTables:         7352 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1658172 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 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= 71712 MiB
End job on node141 at 2016-06-18 18:04:43