Trace number 4093304

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.04 1800.61

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_20_pb.cnf.cr--soft-33-100-0.wbo
MD5SUMf76bfef4498edf916ad0f53b817cfd69
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark1.52377
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables400
Total number of constraints60
Number of soft constraints41
Number of constraints which are clauses40
Number of constraints which are cardinality constraints (but not clauses)20
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint10
Maximum length of a constraint20
Top cost 2005
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 2004
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T14:44:03+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--wbo","--search=bcd2","HOME/instance-4093304-1466081043.wbo"]
0.00/0.01	c use --random-gen="2115591986 3849259912 1316261936 299828951 445960648 2133564968 593866007 63812439 403381839 425167820 2485110095 1672966354 1621568789 3767965298 2315056900 1633617777 61114987 1052089368 3511858960 2759381689 1233103608 3372593183 3713455244 966102857 2810843619 3950978971 1018081177 993247990 1039379960 2147620399 2925731284 3518579363 4062354349 4041690533 2203700542 3411222946 3637806731 4125283862 3387603076 2282414074 381060401 3501860358 3179591871 2791766387 3996659225 174455442 3200297009 2854292942 365585717 3184059873 2748259011 3891660040 533257306 1060411540 1719347543 348701844 1107473480 1147791858 893467241 3832705903 1027073744 3956490369 3600748133 2712936007 3599897878 1749881852 3039452514 3802279301 3537896653 3070288882 4281602268 2919999791 383665525 1504075107 1914484394 1619548246 1338101494 457974904 137261476 303092754 4181807132 3547149246 647979235 3659429312 3732028387 1511246519 1458751856 342010137 2700517864 799586902 886890867 3730841726 2455248929 3681849774 4031498351 1668309973 1743741936 1229084434 3586633979 2367373110 141766007 3444273542 3809447670 626461752 4082371859 3753606447 3257398135 954787596 478457778 3354247689 2675408677 658192009 1261725373 996238217 3914724012 482055922 2590629508 613185198 539965114 948459744 4171404982 3491730868 2857605625 2646328339 2255980964 317259264 2679610750 1760160544 2890647062 1756187080 1333220077 2847053170 3577467469 937988733 2882910939 2055703057 1992595599 3989031739 446225247 1189563558 1832159708 1742001706 477881639 2745745989 1262443094 3731259214 2279885623 2159608771 4258466197 1253909977 1306188550 1748741612 3297747974 54028736 3433466044 2969897246 2056433992 941360276 2473947489 2519435537 3472246032 2076986289 2091928456 733640216 2327796508 140685024 3905116477 3462682961 2738899919 89426815 3596307201 1744282482 3660786361 3070462255 667319056 776290184 4096973217 2122086312 4098403157 2744616594 3156394728 82371565 1767063747 1380502142 3307154759 914245927 146222040 2874915102 324303888 133112117 2578775921 3004616945 3510947921 3641638598 784146637 1575708615 526294799 3514502427 2777595446 501748048 2516617783 3815122921 185500199 3029048881 1270129417 3206924249 2030307020 3138311671 1754428151 530747542 2012028780 2309795868 1506048615 2815432179 3364140669 3121152870 108420353 3845175064 367290730 1607126581 1043814644 1506945811 3394187957 3928770887 861955994 3968346641 2708671376 2278633953 3233667797 2255162925 2338590449 2045133835 3533869606 3361603453 1379005574 1171134347 1445339051 2324274562 3953102887 1798849536 1662124462 1830523224 2189128446 1582131092 2843342010 2929186057 1352247469 1083786609 779323929 3260231977 1472267371 1350437464 199892821 510658806 1384602211 259303235 255 362436" option to reproduce the execution
0.00/0.02	c #vars 400
0.00/0.02	c #constraints 60
0.00/0.03	c BCD2: Hardening is enabled.
0.00/0.03	c BCD2: BiasedSearch is enabled.
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      167      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      163 |      100 |      167      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      452 |      101 |      184      0 |        0 |        0
0.00/0.04	c #cpu_time = 0.014s
0.00/0.04	c #wall_clock_time = 0.014s
0.00/0.04	c #decision = 452
0.00/0.04	c #random_decision = 2
0.00/0.04	c #conflict = 101
0.00/0.04	c #restart = 1
0.00/0.04	o 824
0.00/0.04	c BCD2: updating upper bound: 2004 -> 823
0.00/0.04	c BCD2: 0 <= obj <= 823
0.00/0.04	c BCD2: #cores=0, #unrelaxed=41, #relaxed=0, #hardened=0
0.00/0.04	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.04	c Solving starts ...
0.00/0.04	c ============================[ Search Statistics ]============================
0.00/0.04	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.04	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.04	c =============================================================================
0.00/0.04	c  0.0s |       0 |        0 |        0 |      184      0 |        0 |        0
0.00/0.06	c  0.0s |       1 |      275 |      100 |      184      0 |        0 |        0
0.00/0.09	c  0.0s |       2 |      643 |      250 |      203      1 |        0 |        0
0.09/0.14	c  0.1s |       3 |     1058 |      475 |      224      2 |        0 |        0
0.18/0.21	c  0.2s |       4 |     1565 |      813 |      247      4 |        0 |        0
0.29/0.34	c  0.3s |       5 |     2279 |     1320 |      272      7 |        0 |        0
0.48/0.52	c  0.5s |       6 |     3303 |     2081 |      300     11 |        0 |        0
0.79/0.81	c  0.8s |       7 |     4742 |     3223 |      330     17 |        0 |        0
1.10/1.14	c  1.1s |       8 |     6935 |     4936 |      364     24 |        0 |        0
1.49/1.56	c  1.5s |       9 |    10063 |     7506 |      401     35 |        0 |        0
2.20/2.25	c  2.2s |      10 |    14519 |    11361 |      442     51 |        0 |        0
3.21/3.25	c  3.2s |      11 |    21405 |    17144 |      487     71 |        0 |        0
4.79/4.83	c  4.8s |      12 |    31513 |    25819 |      536    100 |        0 |        0
6.79/6.85	c  6.8s |      12 |    44573 |    36919 |      536    135 |        0 |        0
7.19/7.20	c  7.2s |      13 |    46786 |    38832 |      590    141 |        0 |        0
9.19/9.21	c  9.2s |      13 |    59792 |    49832 |      590    173 |        0 |        0
10.89/10.96	c 10.9s |      14 |    69658 |    58352 |      649    196 |        0 |        0
12.89/12.99	c 12.9s |      14 |    80538 |    67952 |      649    221 |        0 |        0
14.99/15.00	c 15.0s |      14 |    91144 |    77452 |      649    245 |        0 |        0
16.99/17.02	c 17.0s |      14 |   101233 |    86452 |      649    268 |        0 |        0
17.19/17.23	c 17.2s |      15 |   102645 |    87632 |      714    271 |        0 |        0
19.19/19.24	c 19.2s |      15 |   113394 |    96832 |      714    293 |        0 |        0
21.18/21.25	c 21.2s |      15 |   124460 |   106532 |      714    317 |        0 |        0
23.19/23.26	c 23.2s |      15 |   135772 |   116432 |      714    341 |        0 |        0
25.18/25.27	c 25.2s |      15 |   146363 |   125632 |      714    363 |        0 |        0
26.58/26.60	c 26.6s |      16 |   153322 |   131552 |      786    377 |        0 |        0
28.59/28.61	c 28.6s |      16 |   164246 |   140352 |      786    396 |        0 |        0
30.58/30.62	c 30.6s |      16 |   174628 |   149452 |      786    416 |        0 |        0
32.58/32.62	c 32.6s |      16 |   186049 |   159452 |      786    438 |        0 |        0
34.58/34.62	c 34.6s |      16 |   197227 |   169252 |      786    460 |        0 |        0
36.58/36.64	c 36.6s |      16 |   207965 |   178752 |      786    481 |        0 |        0
38.59/38.65	c 38.6s |      16 |   217998 |   187652 |      786    501 |        0 |        0
40.58/40.65	c 40.6s |      16 |   227881 |   196452 |      865    520 |        0 |        0
40.79/40.88	c 40.8s |      17 |   228981 |   197432 |      865    522 |        0 |        0
42.78/42.90	c 42.9s |      17 |   239345 |   206432 |      865    540 |        0 |        0
44.88/44.91	c 44.9s |      17 |   249937 |   215632 |      865    559 |        0 |        0
46.88/46.91	c 46.9s |      17 |   260079 |   224632 |      865    577 |        0 |        0
48.88/48.93	c 48.9s |      17 |   270214 |   233432 |      865    595 |        0 |        0
50.88/50.94	c 50.9s |      17 |   279621 |   241832 |      865    612 |        0 |        0
52.89/52.97	c 52.9s |      17 |   288484 |   249632 |      865    628 |        0 |        0
54.88/54.98	c 54.9s |      17 |   297147 |   257332 |      865    644 |        0 |        0
56.98/57.00	c 57.0s |      17 |   306723 |   265732 |      865    661 |        0 |        0
58.98/59.01	c 59.0s |      17 |   316015 |   273932 |      865    677 |        0 |        0
60.98/61.02	c 61.0s |      17 |   325674 |   282332 |      865    694 |        0 |        0
62.98/63.03	c 63.0s |      17 |   335350 |   290932 |      865    712 |        0 |        0
64.18/64.27	c 64.2s |      18 |   341385 |   296252 |      952    722 |        0 |        0
66.18/66.28	c 66.2s |      18 |   351489 |   304852 |      952    738 |        0 |        0
68.18/68.30	c 68.3s |      18 |   361143 |   313152 |      952    754 |        0 |        0
70.27/70.30	c 70.3s |      18 |   370982 |   321652 |      952    770 |        0 |        0
72.27/72.30	c 72.3s |      18 |   380412 |   329852 |      952    785 |        0 |        0
74.27/74.32	c 74.3s |      18 |   389363 |   337852 |      952    800 |        0 |        0
76.27/76.33	c 76.3s |      18 |   397790 |   345052 |      952    813 |        0 |        0
78.27/78.34	c 78.3s |      18 |   406833 |   352952 |      952    828 |        0 |        0
80.28/80.35	c 80.3s |      18 |   415030 |   360152 |      952    841 |        0 |        0
82.27/82.36	c 82.3s |      18 |   424419 |   368252 |      952    856 |        0 |        0
84.27/84.37	c 84.3s |      18 |   433531 |   376152 |      952    871 |        0 |        0
86.27/86.37	c 86.3s |      18 |   443041 |   384452 |      952    887 |        0 |        0
88.38/88.40	c 88.4s |      18 |   452106 |   392352 |      952    902 |        0 |        0
90.38/90.41	c 90.4s |      18 |   461055 |   400152 |      952    916 |        0 |        0
92.39/92.42	c 92.4s |      18 |   470293 |   408152 |      952    931 |        0 |        0
94.38/94.43	c 94.4s |      18 |   479672 |   416052 |      952    946 |        0 |        0
96.38/96.43	c 96.4s |      18 |   488653 |   423852 |      952    961 |        0 |        0
98.38/98.46	c 98.4s |      18 |   497028 |   431052 |      952    974 |        0 |        0
100.38/100.46	c  100s |      18 |   504291 |   437452 |      952    986 |        0 |        0
102.38/102.47	c  102s |      18 |   511585 |   444052 |     1048    997 |        0 |        0
102.58/102.61	c  102s |      19 |   512056 |   444482 |     1048    998 |        0 |        0
104.58/104.62	c  104s |      19 |   521385 |   452282 |     1048   1011 |        0 |        0
106.58/106.64	c  106s |      19 |   529782 |   459582 |     1048   1023 |        0 |        0
108.58/108.66	c  108s |      19 |   538046 |   466882 |     1048   1036 |        0 |        0
110.58/110.67	c  110s |      19 |   547657 |   475082 |     1048   1049 |        0 |        0
112.57/112.67	c  112s |      19 |   557088 |   483182 |     1048   1063 |        0 |        0
114.57/114.67	c  114s |      19 |   566386 |   491082 |     1048   1076 |        0 |        0
116.58/116.67	c  116s |      19 |   575011 |   498582 |     1048   1089 |        0 |        0
118.57/118.69	c  118s |      19 |   584807 |   506882 |     1048   1103 |        0 |        0
120.67/120.70	c  120s |      19 |   593659 |   514582 |     1048   1116 |        0 |        0
122.67/122.70	c  122s |      19 |   602442 |   522082 |     1048   1128 |        0 |        0
124.67/124.73	c  124s |      19 |   611028 |   529382 |     1048   1140 |        0 |        0
126.67/126.73	c  126s |      19 |   620580 |   537582 |     1048   1154 |        0 |        0
128.68/128.76	c  128s |      19 |   629162 |   544982 |     1048   1167 |        0 |        0
130.67/130.77	c  130s |      19 |   638020 |   552582 |     1048   1180 |        0 |        0
132.67/132.78	c  132s |      19 |   646445 |   559882 |     1048   1192 |        0 |        0
134.67/134.78	c  134s |      19 |   655703 |   567782 |     1048   1205 |        0 |        0
136.67/136.79	c  136s |      19 |   664637 |   575482 |     1048   1218 |        0 |        0
138.77/138.80	c  138s |      19 |   673331 |   583082 |     1048   1231 |        0 |        0
140.77/140.82	c  140s |      19 |   681707 |   590482 |     1048   1244 |        0 |        0
142.77/142.84	c  142s |      19 |   690367 |   597982 |     1048   1257 |        0 |        0
144.77/144.86	c  144s |      19 |   698820 |   605382 |     1048   1269 |        0 |        0
146.77/146.89	c  146s |      19 |   706967 |   612482 |     1048   1282 |        0 |        0
148.87/148.92	c  148s |      19 |   716217 |   620482 |     1048   1295 |        0 |        0
150.87/150.93	c  150s |      19 |   725309 |   628482 |     1048   1309 |        0 |        0
152.87/152.96	c  152s |      19 |   734151 |   636282 |     1048   1323 |        0 |        0
154.86/154.98	c  154s |      19 |   743578 |   644582 |     1048   1337 |        0 |        0
156.86/156.98	c  156s |      19 |   753050 |   652782 |     1048   1351 |        0 |        0
158.86/158.99	c  158s |      19 |   761596 |   660082 |     1048   1364 |        0 |        0
160.57/160.68	c  160s |      20 |   769350 |   666827 |     1153   1374 |        0 |        0
162.66/162.71	c  162s |      20 |   780033 |   675727 |     1153   1388 |        0 |        0
164.66/164.72	c  164s |      20 |   789042 |   683327 |     1153   1400 |        0 |        0
166.66/166.72	c  166s |      20 |   797672 |   690427 |     1153   1411 |        0 |        0
168.66/168.72	c  168s |      20 |   805406 |   697227 |     1153   1422 |        0 |        0
170.66/170.75	c  170s |      20 |   814573 |   705227 |     1153   1435 |        0 |        0
172.66/172.76	c  172s |      20 |   824678 |   714027 |     1153   1448 |        0 |        0
174.66/174.77	c  174s |      20 |   834121 |   722327 |     1153   1461 |        0 |        0
176.67/176.77	c  176s |      20 |   843678 |   730427 |     1153   1474 |        0 |        0
178.67/178.79	c  178s |      20 |   852612 |   738327 |     1153   1487 |        0 |        0
180.77/180.82	c  180s |      20 |   861276 |   745927 |     1153   1498 |        0 |        0
182.77/182.82	c  182s |      20 |   870256 |   753727 |     1153   1511 |        0 |        0
184.77/184.83	c  184s |      20 |   878667 |   761127 |     1153   1522 |        0 |        0
186.76/186.83	c  186s |      20 |   887431 |   768827 |     1153   1534 |        0 |        0
188.76/188.84	c  188s |      20 |   896589 |   776827 |     1153   1547 |        0 |        0
190.76/190.86	c  190s |      20 |   905834 |   784727 |     1153   1559 |        0 |        0
192.76/192.87	c  192s |      20 |   914555 |   792327 |     1153   1571 |        0 |        0
194.77/194.89	c  194s |      20 |   922848 |   799527 |     1153   1582 |        0 |        0
196.76/196.90	c  196s |      20 |   932549 |   807527 |     1153   1595 |        0 |        0
198.86/198.90	c  198s |      20 |   941263 |   815127 |     1153   1607 |        0 |        0
200.86/200.91	c  200s |      20 |   950516 |   822927 |     1153   1619 |        0 |        0
202.86/202.94	c  202s |      20 |   959126 |   830227 |     1153   1631 |        0 |        0
204.86/204.95	c  204s |      20 |   967258 |   837327 |     1153   1642 |        0 |        0
206.87/206.97	c  206s |      20 |   975418 |   844427 |     1153   1653 |        0 |        0
208.86/208.98	c  208s |      20 |   983915 |   851827 |     1153   1664 |        0 |        0
210.96/211.01	c  210s |      20 |   991883 |   858827 |     1153   1675 |        0 |        0
212.96/213.01	c  212s |      20 |   999698 |   865627 |     1153   1686 |        0 |        0
214.96/215.03	c  214s |      20 |  1007912 |   872827 |     1153   1697 |        0 |        0
216.96/217.03	c  216s |      20 |  1015761 |   879727 |     1153   1708 |        0 |        0
218.96/219.06	c  219s |      20 |  1023470 |   886527 |     1153   1718 |        0 |        0
220.96/221.06	c  221s |      20 |  1031468 |   893427 |     1153   1729 |        0 |        0
222.96/223.07	c  223s |      20 |  1039396 |   900427 |     1153   1740 |        0 |        0
224.96/225.09	c  225s |      20 |  1047013 |   907127 |     1153   1750 |        0 |        0
227.06/227.12	c  227s |      20 |  1054377 |   913527 |     1153   1760 |        0 |        0
229.06/229.15	c  229s |      20 |  1061548 |   919627 |     1153   1770 |        0 |        0
231.06/231.17	c  231s |      20 |  1068923 |   926027 |     1153   1780 |        0 |        0
233.05/233.20	c  233s |      20 |  1076103 |   932127 |     1153   1789 |        0 |        0
235.15/235.23	c  235s |      20 |  1083747 |   938927 |     1153   1800 |        0 |        0
237.15/237.24	c  237s |      20 |  1091737 |   945527 |     1153   1810 |        0 |        0
239.15/239.24	c  239s |      20 |  1099138 |   952027 |     1153   1821 |        0 |        0
241.15/241.26	c  241s |      20 |  1106999 |   958727 |     1153   1831 |        0 |        0
243.16/243.29	c  243s |      20 |  1114775 |   965527 |     1153   1842 |        0 |        0
245.26/245.30	c  245s |      20 |  1121899 |   971327 |     1153   1851 |        0 |        0
247.25/247.33	c  247s |      20 |  1130045 |   978327 |     1153   1862 |        0 |        0
249.25/249.35	c  249s |      20 |  1137563 |   984727 |     1153   1872 |        0 |        0
251.25/251.38	c  251s |      20 |  1145340 |   991627 |     1153   1882 |        0 |        0
253.25/253.39	c  253s |      20 |  1153117 |   998327 |     1269   1892 |        0 |        0
253.85/253.97	c  253s |      21 |  1155399 |  1000345 |     1269   1895 |        0 |        0
255.85/255.98	c  255s |      21 |  1164304 |  1007945 |     1269   1906 |        0 |        0
257.85/257.99	c  257s |      21 |  1173388 |  1015945 |     1269   1917 |        0 |        0
259.95/260.00	c  259s |      21 |  1182125 |  1023645 |     1269   1929 |        0 |        0
261.95/262.01	c  261s |      21 |  1190690 |  1030945 |     1269   1939 |        0 |        0
263.95/264.01	c  263s |      21 |  1198279 |  1037545 |     1269   1949 |        0 |        0
265.95/266.01	c  265s |      21 |  1205796 |  1044045 |     1269   1958 |        0 |        0
267.95/268.03	c  267s |      21 |  1213519 |  1050545 |     1269   1967 |        0 |        0
269.95/270.04	c  270s |      21 |  1221391 |  1057145 |     1269   1977 |        0 |        0
271.94/272.06	c  272s |      21 |  1228924 |  1063645 |     1269   1986 |        0 |        0
273.95/274.06	c  274s |      21 |  1236507 |  1070145 |     1269   1995 |        0 |        0
275.94/276.08	c  276s |      21 |  1244400 |  1077045 |     1269   2005 |        0 |        0
278.04/278.10	c  278s |      21 |  1251572 |  1083345 |     1269   2014 |        0 |        0
280.04/280.12	c  280s |      21 |  1259414 |  1090245 |     1269   2024 |        0 |        0
282.04/282.14	c  282s |      21 |  1267645 |  1097245 |     1269   2034 |        0 |        0
284.04/284.16	c  284s |      21 |  1275752 |  1104345 |     1269   2045 |        0 |        0
286.05/286.18	c  286s |      21 |  1284857 |  1112245 |     1269   2056 |        0 |        0
288.05/288.18	c  288s |      21 |  1293867 |  1120045 |     1269   2067 |        0 |        0
290.05/290.19	c  290s |      21 |  1302988 |  1128045 |     1269   2079 |        0 |        0
292.15/292.20	c  292s |      21 |  1311825 |  1135745 |     1269   2090 |        0 |        0
294.15/294.21	c  294s |      21 |  1320082 |  1142945 |     1269   2100 |        0 |        0
296.15/296.22	c  296s |      21 |  1328385 |  1150245 |     1269   2110 |        0 |        0
298.15/298.24	c  298s |      21 |  1336674 |  1157545 |     1269   2121 |        0 |        0
300.15/300.25	c  300s |      21 |  1344396 |  1164445 |     1269   2131 |        0 |        0
302.15/302.27	c  302s |      21 |  1352769 |  1171545 |     1269   2141 |        0 |        0
304.14/304.29	c  304s |      21 |  1360242 |  1178245 |     1269   2151 |        0 |        0
306.24/306.32	c  306s |      21 |  1368313 |  1185345 |     1269   2161 |        0 |        0
308.24/308.34	c  308s |      21 |  1376241 |  1192445 |     1269   2171 |        0 |        0
310.25/310.37	c  310s |      21 |  1384132 |  1199445 |     1269   2181 |        0 |        0
312.24/312.39	c  312s |      21 |  1391848 |  1206345 |     1269   2191 |        0 |        0
314.34/314.41	c  314s |      21 |  1399341 |  1213045 |     1269   2201 |        0 |        0
316.34/316.42	c  316s |      21 |  1406289 |  1219245 |     1269   2210 |        0 |        0
318.34/318.42	c  318s |      21 |  1413263 |  1225445 |     1269   2218 |        0 |        0
320.34/320.43	c  320s |      21 |  1420071 |  1231445 |     1269   2227 |        0 |        0
322.35/322.44	c  322s |      21 |  1427180 |  1237845 |     1269   2236 |        0 |        0
324.34/324.44	c  324s |      21 |  1434391 |  1244345 |     1269   2246 |        0 |        0
326.34/326.47	c  326s |      21 |  1441766 |  1250945 |     1269   2255 |        0 |        0
328.34/328.49	c  328s |      21 |  1449160 |  1257545 |     1269   2265 |        0 |        0
330.44/330.50	c  330s |      21 |  1456986 |  1264545 |     1269   2275 |        0 |        0
332.44/332.52	c  332s |      21 |  1464740 |  1271545 |     1269   2285 |        0 |        0
334.44/334.54	c  334s |      21 |  1472091 |  1278145 |     1269   2294 |        0 |        0
336.44/336.56	c  336s |      21 |  1479383 |  1284745 |     1269   2304 |        0 |        0
338.44/338.60	c  338s |      21 |  1486397 |  1291045 |     1269   2313 |        0 |        0
340.54/340.60	c  340s |      21 |  1494793 |  1298445 |     1269   2323 |        0 |        0
342.54/342.62	c  342s |      21 |  1502802 |  1305645 |     1269   2334 |        0 |        0
344.54/344.63	c  344s |      21 |  1511220 |  1313145 |     1269   2344 |        0 |        0
346.54/346.65	c  346s |      21 |  1519097 |  1320045 |     1269   2354 |        0 |        0
348.53/348.66	c  348s |      21 |  1526830 |  1326945 |     1269   2364 |        0 |        0
350.53/350.69	c  350s |      21 |  1534727 |  1333845 |     1269   2374 |        0 |        0
352.63/352.71	c  352s |      21 |  1542530 |  1340745 |     1269   2384 |        0 |        0
354.63/354.72	c  354s |      21 |  1550731 |  1347945 |     1269   2394 |        0 |        0
356.63/356.74	c  356s |      21 |  1558889 |  1355145 |     1269   2405 |        0 |        0
358.64/358.76	c  358s |      21 |  1568208 |  1363245 |     1269   2416 |        0 |        0
360.63/360.77	c  360s |      21 |  1576547 |  1370645 |     1269   2427 |        0 |        0
362.63/362.78	c  362s |      21 |  1584933 |  1377945 |     1269   2437 |        0 |        0
364.73/364.81	c  364s |      21 |  1592606 |  1384645 |     1269   2447 |        0 |        0
366.73/366.83	c  366s |      21 |  1600667 |  1391645 |     1269   2457 |        0 |        0
368.73/368.84	c  368s |      21 |  1608258 |  1398445 |     1269   2467 |        0 |        0
370.74/370.85	c  370s |      21 |  1615881 |  1405245 |     1269   2477 |        0 |        0
372.73/372.86	c  372s |      21 |  1623817 |  1412145 |     1269   2487 |        0 |        0
374.73/374.86	c  374s |      21 |  1631429 |  1418845 |     1269   2496 |        0 |        0
376.73/376.89	c  376s |      21 |  1640470 |  1426845 |     1269   2507 |        0 |        0
378.83/378.90	c  378s |      21 |  1649216 |  1434545 |     1269   2518 |        0 |        0
380.84/380.90	c  380s |      21 |  1658040 |  1442345 |     1269   2530 |        0 |        0
382.84/382.91	c  382s |      21 |  1667570 |  1450745 |     1269   2542 |        0 |        0
384.83/384.93	c  384s |      21 |  1676128 |  1458345 |     1269   2552 |        0 |        0
386.83/386.94	c  386s |      21 |  1684355 |  1465745 |     1269   2563 |        0 |        0
388.83/388.96	c  388s |      21 |  1692724 |  1473145 |     1269   2574 |        0 |        0
390.83/390.97	c  390s |      21 |  1701286 |  1480745 |     1269   2585 |        0 |        0
392.83/392.97	c  392s |      21 |  1709179 |  1487745 |     1269   2594 |        0 |        0
394.84/394.99	c  394s |      21 |  1716676 |  1494445 |     1396   2603 |        0 |        0
396.73/396.84	c  396s |      22 |  1723605 |  1500622 |     1396   2611 |        0 |        0
398.73/398.85	c  398s |      22 |  1733932 |  1508222 |     1396   2621 |        0 |        0
400.73/400.86	c  400s |      22 |  1742699 |  1515522 |     1396   2631 |        0 |        0
402.83/402.90	c  402s |      22 |  1749831 |  1521822 |     1396   2639 |        0 |        0
404.83/404.91	c  404s |      22 |  1756987 |  1528022 |     1396   2647 |        0 |        0
406.82/406.94	c  406s |      22 |  1764443 |  1534522 |     1396   2656 |        0 |        0
408.82/408.96	c  408s |      22 |  1771804 |  1540922 |     1396   2664 |        0 |        0
410.82/410.97	c  410s |      22 |  1779262 |  1547422 |     1396   2673 |        0 |        0
412.92/413.01	c  412s |      22 |  1786930 |  1553922 |     1396   2682 |        0 |        0
414.92/415.03	c  414s |      22 |  1794164 |  1560222 |     1396   2690 |        0 |        0
416.93/417.04	c  416s |      22 |  1801578 |  1566322 |     1396   2698 |        0 |        0
418.92/419.05	c  419s |      22 |  1808704 |  1572322 |     1396   2706 |        0 |        0
420.92/421.07	c  421s |      22 |  1815804 |  1578122 |     1396   2713 |        0 |        0
422.92/423.08	c  423s |      22 |  1823314 |  1584222 |     1396   2721 |        0 |        0
424.92/425.10	c  425s |      22 |  1831992 |  1591022 |     1396   2730 |        0 |        0
427.02/427.10	c  427s |      22 |  1839691 |  1597622 |     1396   2739 |        0 |        0
429.03/429.11	c  429s |      22 |  1847598 |  1604322 |     1396   2748 |        0 |        0
431.02/431.13	c  431s |      22 |  1854524 |  1610422 |     1396   2756 |        0 |        0
433.02/433.13	c  433s |      22 |  1861709 |  1616622 |     1396   2764 |        0 |        0
435.03/435.13	c  435s |      22 |  1869220 |  1623322 |     1396   2773 |        0 |        0
437.03/437.16	c  437s |      22 |  1876640 |  1629822 |     1396   2781 |        0 |        0
439.03/439.19	c  439s |      22 |  1883651 |  1636022 |     1396   2790 |        0 |        0
441.03/441.20	c  441s |      22 |  1890276 |  1641922 |     1396   2797 |        0 |        0
443.13/443.21	c  443s |      22 |  1897683 |  1648322 |     1396   2806 |        0 |        0
445.12/445.23	c  445s |      22 |  1906387 |  1655722 |     1396   2815 |        0 |        0
447.12/447.26	c  447s |      22 |  1914269 |  1662422 |     1396   2824 |        0 |        0
449.12/449.27	c  449s |      22 |  1921824 |  1669022 |     1396   2833 |        0 |        0
451.12/451.28	c  451s |      22 |  1929148 |  1675322 |     1396   2842 |        0 |        0
453.23/453.31	c  453s |      22 |  1936325 |  1681622 |     1396   2850 |        0 |        0
455.22/455.32	c  455s |      22 |  1942994 |  1687622 |     1396   2858 |        0 |        0
457.22/457.35	c  457s |      22 |  1949618 |  1693522 |     1396   2866 |        0 |        0
459.22/459.36	c  459s |      22 |  1956376 |  1699522 |     1396   2873 |        0 |        0
461.22/461.36	c  461s |      22 |  1963632 |  1706122 |     1396   2882 |        0 |        0
463.22/463.38	c  463s |      22 |  1970606 |  1712322 |     1396   2890 |        0 |        0
465.23/465.39	c  465s |      22 |  1977410 |  1718322 |     1396   2898 |        0 |        0
467.32/467.42	c  467s |      22 |  1984486 |  1724322 |     1396   2906 |        0 |        0
469.32/469.44	c  469s |      22 |  1990520 |  1729722 |     1396   2913 |        0 |        0
471.32/471.46	c  471s |      22 |  1997630 |  1736022 |     1396   2921 |        0 |        0
473.32/473.48	c  473s |      22 |  2005078 |  1742622 |     1396   2930 |        0 |        0
475.42/475.50	c  475s |      22 |  2012644 |  1749122 |     1396   2939 |        0 |        0
477.42/477.52	c  477s |      22 |  2019821 |  1755322 |     1396   2947 |        0 |        0
479.42/479.53	c  479s |      22 |  2027311 |  1761522 |     1396   2955 |        0 |        0
481.42/481.54	c  481s |      22 |  2034871 |  1768122 |     1396   2964 |        0 |        0
483.41/483.54	c  483s |      22 |  2042647 |  1774722 |     1396   2972 |        0 |        0
485.41/485.55	c  485s |      22 |  2050825 |  1781822 |     1396   2982 |        0 |        0
487.41/487.55	c  487s |      22 |  2057806 |  1788022 |     1396   2990 |        0 |        0
489.42/489.57	c  489s |      22 |  2065553 |  1794822 |     1396   2999 |        0 |        0
491.51/491.60	c  491s |      22 |  2073487 |  1801722 |     1396   3008 |        0 |        0
493.51/493.62	c  493s |      22 |  2080264 |  1807522 |     1396   3016 |        0 |        0
495.51/495.63	c  495s |      22 |  2087154 |  1813622 |     1396   3024 |        0 |        0
497.51/497.67	c  497s |      22 |  2093593 |  1819322 |     1396   3031 |        0 |        0
499.51/499.70	c  499s |      22 |  2099982 |  1824922 |     1396   3038 |        0 |        0
501.62/501.71	c  501s |      22 |  2106476 |  1830722 |     1396   3046 |        0 |        0
503.61/503.75	c  503s |      22 |  2112829 |  1836322 |     1396   3053 |        0 |        0
505.61/505.75	c  505s |      22 |  2120392 |  1842922 |     1396   3062 |        0 |        0
507.61/507.77	c  507s |      22 |  2127890 |  1849622 |     1396   3071 |        0 |        0
509.71/509.80	c  509s |      22 |  2134557 |  1855522 |     1396   3079 |        0 |        0
511.71/511.83	c  511s |      22 |  2141685 |  1861822 |     1396   3087 |        0 |        0
513.71/513.84	c  513s |      22 |  2148436 |  1867722 |     1396   3095 |        0 |        0
515.71/515.86	c  515s |      22 |  2156174 |  1874422 |     1396   3103 |        0 |        0
517.71/517.86	c  517s |      22 |  2163600 |  1880922 |     1396   3112 |        0 |        0
519.71/519.89	c  519s |      22 |  2170985 |  1887422 |     1396   3121 |        0 |        0
521.80/521.91	c  521s |      22 |  2178511 |  1894022 |     1396   3129 |        0 |        0
523.80/523.92	c  523s |      22 |  2185795 |  1900522 |     1396   3138 |        0 |        0
525.81/525.92	c  525s |      22 |  2192921 |  1906722 |     1396   3146 |        0 |        0
527.80/527.94	c  527s |      22 |  2199910 |  1912822 |     1396   3154 |        0 |        0
529.80/529.94	c  529s |      22 |  2207392 |  1919122 |     1396   3162 |        0 |        0
531.80/531.98	c  531s |      22 |  2214367 |  1925222 |     1396   3170 |        0 |        0
533.90/534.01	c  533s |      22 |  2221291 |  1931322 |     1396   3178 |        0 |        0
535.90/536.04	c  536s |      22 |  2228079 |  1937322 |     1396   3186 |        0 |        0
537.91/538.06	c  538s |      22 |  2235378 |  1943622 |     1396   3195 |        0 |        0
539.90/540.09	c  540s |      22 |  2242254 |  1949722 |     1396   3203 |        0 |        0
542.00/542.13	c  542s |      22 |  2248980 |  1955722 |     1396   3210 |        0 |        0
544.00/544.15	c  544s |      22 |  2256015 |  1961722 |     1396   3218 |        0 |        0
546.00/546.15	c  546s |      22 |  2263138 |  1967722 |     1396   3226 |        0 |        0
548.00/548.17	c  548s |      22 |  2270430 |  1974022 |     1396   3234 |        0 |        0
550.01/550.18	c  550s |      22 |  2277285 |  1980022 |     1396   3242 |        0 |        0
552.00/552.19	c  552s |      22 |  2283751 |  1985722 |     1396   3250 |        0 |        0
554.10/554.22	c  554s |      22 |  2290981 |  1991822 |     1396   3258 |        0 |        0
556.10/556.24	c  556s |      22 |  2297357 |  1997322 |     1396   3265 |        0 |        0
558.10/558.27	c  558s |      22 |  2304016 |  2003022 |     1396   3273 |        0 |        0
560.10/560.29	c  560s |      22 |  2310583 |  2008722 |     1396   3280 |        0 |        0
562.21/562.32	c  562s |      22 |  2317523 |  2014822 |     1396   3288 |        0 |        0
564.21/564.33	c  564s |      22 |  2324149 |  2020622 |     1396   3296 |        0 |        0
566.21/566.36	c  566s |      22 |  2331231 |  2026822 |     1396   3304 |        0 |        0
568.21/568.38	c  568s |      22 |  2338108 |  2032822 |     1396   3312 |        0 |        0
570.31/570.40	c  570s |      22 |  2344299 |  2038322 |     1396   3319 |        0 |        0
572.31/572.42	c  572s |      22 |  2350562 |  2043922 |     1396   3326 |        0 |        0
574.30/574.44	c  574s |      22 |  2357197 |  2049822 |     1396   3334 |        0 |        0
576.31/576.44	c  576s |      22 |  2363845 |  2055722 |     1396   3342 |        0 |        0
578.30/578.47	c  578s |      22 |  2370307 |  2061622 |     1396   3349 |        0 |        0
580.30/580.50	c  580s |      22 |  2378108 |  2068122 |     1396   3358 |        0 |        0
582.40/582.50	c  582s |      22 |  2385498 |  2074422 |     1396   3366 |        0 |        0
584.40/584.54	c  584s |      22 |  2392765 |  2080822 |     1396   3375 |        0 |        0
586.40/586.56	c  586s |      22 |  2400453 |  2087522 |     1396   3383 |        0 |        0
588.41/588.56	c  588s |      22 |  2407709 |  2093922 |     1396   3392 |        0 |        0
590.40/590.57	c  590s |      22 |  2414777 |  2100022 |     1396   3400 |        0 |        0
592.40/592.59	c  592s |      22 |  2421461 |  2105922 |     1396   3408 |        0 |        0
594.50/594.62	c  594s |      22 |  2428624 |  2112122 |     1396   3416 |        0 |        0
596.50/596.64	c  596s |      22 |  2436094 |  2118522 |     1396   3425 |        0 |        0
598.50/598.65	c  598s |      22 |  2442872 |  2124422 |     1396   3432 |        0 |        0
600.51/600.67	c  600s |      22 |  2450170 |  2130722 |     1396   3441 |        0 |        0
602.50/602.69	c  602s |      22 |  2457415 |  2137022 |     1396   3449 |        0 |        0
604.60/604.72	c  604s |      22 |  2464402 |  2143122 |     1396   3457 |        0 |        0
606.60/606.74	c  606s |      22 |  2471553 |  2149422 |     1396   3465 |        0 |        0
608.60/608.75	c  608s |      22 |  2478279 |  2155222 |     1396   3473 |        0 |        0
610.60/610.76	c  610s |      22 |  2485984 |  2161922 |     1396   3482 |        0 |        0
612.60/612.79	c  612s |      22 |  2493259 |  2168322 |     1396   3491 |        0 |        0
614.69/614.82	c  614s |      22 |  2500442 |  2174622 |     1396   3499 |        0 |        0
616.69/616.84	c  616s |      22 |  2507578 |  2180922 |     1396   3507 |        0 |        0
618.69/618.86	c  618s |      22 |  2514814 |  2187222 |     1396   3516 |        0 |        0
620.69/620.86	c  620s |      22 |  2521330 |  2193022 |     1396   3524 |        0 |        0
622.69/622.87	c  622s |      22 |  2527957 |  2198922 |     1396   3531 |        0 |        0
624.70/624.87	c  624s |      22 |  2535039 |  2205022 |     1396   3539 |        0 |        0
626.69/626.89	c  626s |      22 |  2542554 |  2211722 |     1396   3548 |        0 |        0
628.69/628.89	c  628s |      22 |  2549518 |  2218022 |     1396   3557 |        0 |        0
630.79/630.91	c  630s |      22 |  2556309 |  2224222 |     1396   3565 |        0 |        0
632.79/632.93	c  632s |      22 |  2563695 |  2230622 |     1396   3573 |        0 |        0
634.79/634.93	c  634s |      22 |  2571038 |  2237122 |     1536   3581 |        0 |        0
636.79/636.96	c  636s |      22 |  2577826 |  2243222 |     1536   3588 |        0 |        0
638.79/638.99	c  638s |      22 |  2584789 |  2249422 |     1536   3596 |        0 |        0
639.39/639.59	c  639s |      23 |  2586542 |  2251038 |     1536   3598 |        0 |        0
641.49/641.62	c  641s |      23 |  2594768 |  2257838 |     1536   3606 |        0 |        0
643.49/643.65	c  643s |      23 |  2602049 |  2263938 |     1536   3613 |        0 |        0
645.49/645.68	c  645s |      23 |  2609364 |  2270038 |     1536   3621 |        0 |        0
647.49/647.69	c  647s |      23 |  2616028 |  2275938 |     1536   3628 |        0 |        0
649.59/649.72	c  649s |      23 |  2624616 |  2283138 |     1536   3636 |        0 |        0
651.59/651.72	c  651s |      23 |  2632858 |  2290238 |     1536   3645 |        0 |        0
653.58/653.74	c  653s |      23 |  2641476 |  2297638 |     1536   3654 |        0 |        0
655.59/655.76	c  655s |      23 |  2649891 |  2305038 |     1536   3663 |        0 |        0
657.59/657.78	c  657s |      23 |  2658359 |  2312438 |     1536   3672 |        0 |        0
659.59/659.78	c  659s |      23 |  2666404 |  2319438 |     1536   3680 |        0 |        0
661.59/661.79	c  661s |      23 |  2674125 |  2326138 |     1536   3688 |        0 |        0
663.69/663.80	c  663s |      23 |  2681392 |  2332338 |     1536   3696 |        0 |        0
665.69/665.81	c  665s |      23 |  2689115 |  2338938 |     1536   3704 |        0 |        0
667.70/667.81	c  667s |      23 |  2696700 |  2345238 |     1536   3711 |        0 |        0
669.69/669.81	c  669s |      23 |  2704867 |  2352238 |     1536   3720 |        0 |        0
671.69/671.85	c  671s |      23 |  2713070 |  2359038 |     1536   3728 |        0 |        0
673.69/673.87	c  673s |      23 |  2721530 |  2366238 |     1536   3737 |        0 |        0
675.69/675.88	c  675s |      23 |  2729919 |  2373438 |     1536   3745 |        0 |        0
677.69/677.88	c  677s |      23 |  2737730 |  2380138 |     1536   3754 |        0 |        0
679.69/679.89	c  679s |      23 |  2745930 |  2387238 |     1536   3762 |        0 |        0
681.68/681.90	c  681s |      23 |  2753833 |  2394138 |     1536   3770 |        0 |        0
683.78/683.91	c  683s |      23 |  2761714 |  2401038 |     1536   3779 |        0 |        0
685.78/685.94	c  685s |      23 |  2769017 |  2407438 |     1536   3786 |        0 |        0
687.78/687.96	c  687s |      23 |  2776300 |  2413838 |     1536   3794 |        0 |        0
689.78/689.97	c  689s |      23 |  2784082 |  2420538 |     1536   3802 |        0 |        0
691.79/691.97	c  691s |      23 |  2792653 |  2427938 |     1536   3811 |        0 |        0
693.78/693.99	c  693s |      23 |  2800902 |  2435238 |     1536   3820 |        0 |        0
695.88/696.00	c  695s |      23 |  2809892 |  2443038 |     1536   3830 |        0 |        0
697.88/698.02	c  697s |      23 |  2818193 |  2450338 |     1536   3838 |        0 |        0
699.88/700.03	c  699s |      23 |  2825844 |  2457138 |     1536   3847 |        0 |        0
701.88/702.04	c  702s |      23 |  2833447 |  2463738 |     1536   3855 |        0 |        0
703.89/704.06	c  704s |      23 |  2840920 |  2470238 |     1536   3862 |        0 |        0
705.88/706.07	c  706s |      23 |  2848996 |  2477238 |     1536   3871 |        0 |        0
707.88/708.09	c  708s |      23 |  2856718 |  2484038 |     1536   3879 |        0 |        0
709.98/710.10	c  710s |      23 |  2864346 |  2490738 |     1536   3887 |        0 |        0
711.98/712.13	c  712s |      23 |  2871794 |  2497438 |     1536   3895 |        0 |        0
713.97/714.15	c  714s |      23 |  2879176 |  2504038 |     1536   3903 |        0 |        0
715.98/716.17	c  716s |      23 |  2886705 |  2510738 |     1536   3911 |        0 |        0
717.97/718.18	c  718s |      23 |  2894511 |  2517638 |     1536   3920 |        0 |        0
720.07/720.20	c  720s |      23 |  2902372 |  2524638 |     1536   3928 |        0 |        0
722.08/722.23	c  722s |      23 |  2910132 |  2531438 |     1536   3936 |        0 |        0
724.07/724.26	c  724s |      23 |  2917408 |  2537938 |     1536   3944 |        0 |        0
726.07/726.27	c  726s |      23 |  2924648 |  2544338 |     1536   3952 |        0 |        0
728.08/728.28	c  728s |      23 |  2932944 |  2551538 |     1536   3961 |        0 |        0
730.17/730.31	c  730s |      23 |  2941411 |  2558838 |     1536   3969 |        0 |        0
732.17/732.32	c  732s |      23 |  2949469 |  2565838 |     1536   3978 |        0 |        0
734.17/734.34	c  734s |      23 |  2956728 |  2572138 |     1536   3986 |        0 |        0
736.17/736.34	c  736s |      23 |  2964038 |  2578538 |     1536   3993 |        0 |        0
738.17/738.38	c  738s |      23 |  2971932 |  2585438 |     1536   4002 |        0 |        0
740.27/740.40	c  740s |      23 |  2979292 |  2592038 |     1536   4010 |        0 |        0
742.27/742.42	c  742s |      23 |  2986183 |  2598038 |     1536   4017 |        0 |        0
744.26/744.43	c  744s |      23 |  2993054 |  2604138 |     1536   4024 |        0 |        0
746.26/746.46	c  746s |      23 |  3000000 |  2610238 |     1536   4031 |        0 |        0
748.26/748.49	c  748s |      23 |  3007360 |  2616938 |     1536   4039 |        0 |        0
750.36/750.51	c  750s |      23 |  3015066 |  2623738 |     1536   4048 |        0 |        0
752.37/752.52	c  752s |      23 |  3022550 |  2630338 |     1536   4056 |        0 |        0
754.36/754.53	c  754s |      23 |  3030322 |  2637138 |     1536   4064 |        0 |        0
756.36/756.54	c  756s |      23 |  3038145 |  2644038 |     1536   4072 |        0 |        0
758.36/758.56	c  758s |      23 |  3045759 |  2650838 |     1536   4080 |        0 |        0
760.36/760.58	c  760s |      23 |  3053268 |  2657538 |     1536   4088 |        0 |        0
762.45/762.60	c  762s |      23 |  3060370 |  2663938 |     1536   4096 |        0 |        0
764.45/764.64	c  764s |      23 |  3067413 |  2670338 |     1536   4103 |        0 |        0
766.45/766.66	c  766s |      23 |  3074928 |  2677138 |     1536   4112 |        0 |        0
768.45/768.68	c  768s |      23 |  3081713 |  2683338 |     1536   4119 |        0 |        0
770.45/770.68	c  770s |      23 |  3088421 |  2689338 |     1536   4126 |        0 |        0
772.55/772.71	c  772s |      23 |  3095316 |  2695438 |     1536   4133 |        0 |        0
774.54/774.72	c  774s |      23 |  3102699 |  2702038 |     1536   4141 |        0 |        0
776.55/776.73	c  776s |      23 |  3109641 |  2708338 |     1536   4149 |        0 |        0
778.54/778.76	c  778s |      23 |  3117343 |  2715238 |     1536   4157 |        0 |        0
780.54/780.78	c  780s |      23 |  3124952 |  2722038 |     1536   4165 |        0 |        0
782.64/782.80	c  782s |      23 |  3132252 |  2728438 |     1536   4173 |        0 |        0
784.64/784.83	c  784s |      23 |  3139420 |  2734838 |     1536   4181 |        0 |        0
786.64/786.83	c  786s |      23 |  3147145 |  2741638 |     1536   4189 |        0 |        0
788.65/788.86	c  788s |      23 |  3155370 |  2748738 |     1536   4198 |        0 |        0
790.64/790.88	c  790s |      23 |  3163158 |  2755638 |     1536   4206 |        0 |        0
792.74/792.90	c  792s |      23 |  3170312 |  2762138 |     1536   4214 |        0 |        0
794.73/794.90	c  794s |      23 |  3178167 |  2769038 |     1536   4222 |        0 |        0
796.73/796.93	c  796s |      23 |  3186076 |  2776138 |     1536   4230 |        0 |        0
798.73/798.94	c  798s |      23 |  3193379 |  2782738 |     1536   4238 |        0 |        0
800.74/800.98	c  800s |      23 |  3200882 |  2789438 |     1536   4247 |        0 |        0
802.73/802.99	c  802s |      23 |  3208332 |  2796138 |     1536   4255 |        0 |        0
804.83/805.01	c  804s |      23 |  3216223 |  2802938 |     1536   4263 |        0 |        0
806.83/807.03	c  806s |      23 |  3224579 |  2810238 |     1536   4272 |        0 |        0
808.83/809.03	c  808s |      23 |  3232641 |  2817338 |     1536   4280 |        0 |        0
810.82/811.07	c  811s |      23 |  3240379 |  2824138 |     1536   4289 |        0 |        0
812.83/813.09	c  813s |      23 |  3247825 |  2830738 |     1536   4296 |        0 |        0
814.93/815.11	c  815s |      23 |  3255117 |  2837338 |     1536   4304 |        0 |        0
816.92/817.12	c  817s |      23 |  3262510 |  2843938 |     1536   4312 |        0 |        0
818.92/819.12	c  819s |      23 |  3269591 |  2850338 |     1536   4320 |        0 |        0
820.92/821.13	c  821s |      23 |  3276890 |  2856938 |     1536   4328 |        0 |        0
822.92/823.14	c  823s |      23 |  3284407 |  2863738 |     1536   4336 |        0 |        0
824.92/825.15	c  825s |      23 |  3291929 |  2870438 |     1536   4344 |        0 |        0
826.92/827.18	c  827s |      23 |  3299736 |  2877238 |     1536   4352 |        0 |        0
829.02/829.21	c  829s |      23 |  3306937 |  2883638 |     1536   4360 |        0 |        0
831.02/831.21	c  831s |      23 |  3313881 |  2889838 |     1536   4368 |        0 |        0
833.02/833.21	c  833s |      23 |  3320792 |  2896038 |     1536   4375 |        0 |        0
835.02/835.23	c  835s |      23 |  3327555 |  2902138 |     1536   4382 |        0 |        0
837.03/837.24	c  837s |      23 |  3334823 |  2908638 |     1536   4390 |        0 |        0
839.02/839.25	c  839s |      23 |  3342589 |  2915538 |     1536   4399 |        0 |        0
841.02/841.27	c  841s |      23 |  3349934 |  2922138 |     1536   4406 |        0 |        0
843.02/843.28	c  843s |      23 |  3356956 |  2928438 |     1536   4414 |        0 |        0
845.11/845.30	c  845s |      23 |  3364687 |  2935238 |     1536   4422 |        0 |        0
847.11/847.31	c  847s |      23 |  3372145 |  2941838 |     1536   4430 |        0 |        0
849.12/849.35	c  849s |      23 |  3379744 |  2948438 |     1536   4438 |        0 |        0
851.11/851.38	c  851s |      23 |  3386545 |  2954538 |     1536   4445 |        0 |        0
853.21/853.42	c  853s |      23 |  3393999 |  2961238 |     1536   4453 |        0 |        0
855.21/855.45	c  855s |      23 |  3401244 |  2967538 |     1536   4461 |        0 |        0
857.20/857.45	c  857s |      23 |  3408507 |  2973938 |     1536   4469 |        0 |        0
859.20/859.47	c  859s |      23 |  3415770 |  2980438 |     1536   4477 |        0 |        0
861.21/861.49	c  861s |      23 |  3422700 |  2986638 |     1536   4484 |        0 |        0
863.31/863.50	c  863s |      23 |  3429990 |  2993138 |     1536   4492 |        0 |        0
865.30/865.51	c  865s |      23 |  3437184 |  2999638 |     1536   4500 |        0 |        0
867.30/867.54	c  867s |      23 |  3445043 |  3006638 |     1536   4508 |        0 |        0
869.30/869.55	c  869s |      23 |  3452190 |  3013038 |     1536   4516 |        0 |        0
871.30/871.57	c  871s |      23 |  3459694 |  3019538 |     1536   4524 |        0 |        0
873.30/873.58	c  873s |      23 |  3467504 |  3026338 |     1536   4532 |        0 |        0
875.29/875.59	c  875s |      23 |  3474861 |  3032938 |     1536   4540 |        0 |        0
877.39/877.60	c  877s |      23 |  3482226 |  3039638 |     1536   4548 |        0 |        0
879.39/879.62	c  879s |      23 |  3489619 |  3046238 |     1536   4556 |        0 |        0
881.39/881.63	c  881s |      23 |  3496989 |  3052838 |     1536   4564 |        0 |        0
883.39/883.65	c  883s |      23 |  3504137 |  3059338 |     1536   4572 |        0 |        0
885.39/885.66	c  885s |      23 |  3511529 |  3065938 |     1536   4580 |        0 |        0
887.38/887.69	c  887s |      23 |  3518862 |  3072538 |     1536   4588 |        0 |        0
889.48/889.71	c  889s |      23 |  3525937 |  3078838 |     1536   4595 |        0 |        0
891.48/891.71	c  891s |      23 |  3532882 |  3085138 |     1536   4603 |        0 |        0
893.48/893.74	c  893s |      23 |  3540163 |  3091638 |     1536   4611 |        0 |        0
895.47/895.76	c  895s |      23 |  3547151 |  3097938 |     1536   4618 |        0 |        0
897.48/897.79	c  897s |      23 |  3554462 |  3104438 |     1536   4626 |        0 |        0
899.58/899.82	c  899s |      23 |  3561283 |  3110538 |     1536   4633 |        0 |        0
901.57/901.85	c  901s |      23 |  3568461 |  3116938 |     1536   4641 |        0 |        0
903.57/903.88	c  903s |      23 |  3575292 |  3123138 |     1536   4649 |        0 |        0
905.67/905.90	c  905s |      23 |  3582419 |  3129638 |     1536   4656 |        0 |        0
907.67/907.92	c  907s |      23 |  3589693 |  3136238 |     1536   4664 |        0 |        0
909.67/909.93	c  909s |      23 |  3597251 |  3142938 |     1536   4672 |        0 |        0
911.67/911.94	c  911s |      23 |  3604805 |  3149738 |     1536   4681 |        0 |        0
913.67/913.96	c  913s |      23 |  3612414 |  3156638 |     1536   4689 |        0 |        0
915.67/915.96	c  915s |      23 |  3620042 |  3163438 |     1536   4697 |        0 |        0
917.67/917.96	c  917s |      23 |  3627179 |  3169838 |     1536   4705 |        0 |        0
919.67/919.97	c  919s |      23 |  3634899 |  3176638 |     1536   4713 |        0 |        0
921.68/921.98	c  921s |      23 |  3642021 |  3183038 |     1536   4721 |        0 |        0
923.67/924.00	c  923s |      23 |  3649147 |  3189538 |     1536   4729 |        0 |        0
925.76/926.03	c  925s |      23 |  3656207 |  3195938 |     1536   4736 |        0 |        0
927.76/928.03	c  927s |      23 |  3663537 |  3202638 |     1536   4744 |        0 |        0
929.76/930.06	c  930s |      23 |  3670958 |  3209338 |     1536   4752 |        0 |        0
931.76/932.08	c  932s |      23 |  3678070 |  3215738 |     1536   4760 |        0 |        0
933.77/934.09	c  934s |      23 |  3685053 |  3222038 |     1536   4768 |        0 |        0
935.86/936.11	c  936s |      23 |  3692683 |  3228438 |     1536   4775 |        0 |        0
937.86/938.13	c  938s |      23 |  3699988 |  3234938 |     1536   4783 |        0 |        0
939.86/940.16	c  940s |      23 |  3707245 |  3241438 |     1536   4791 |        0 |        0
941.86/942.18	c  942s |      23 |  3714283 |  3247738 |     1536   4798 |        0 |        0
943.95/944.20	c  944s |      23 |  3721739 |  3254338 |     1536   4806 |        0 |        0
945.95/946.23	c  946s |      23 |  3728937 |  3260738 |     1536   4814 |        0 |        0
947.96/948.24	c  948s |      23 |  3735802 |  3266938 |     1536   4822 |        0 |        0
949.95/950.26	c  950s |      23 |  3743033 |  3273438 |     1536   4829 |        0 |        0
951.95/952.29	c  952s |      23 |  3750325 |  3279838 |     1536   4837 |        0 |        0
953.95/954.29	c  954s |      23 |  3757212 |  3285838 |     1536   4844 |        0 |        0
956.04/956.30	c  956s |      23 |  3764595 |  3292438 |     1536   4852 |        0 |        0
958.04/958.32	c  958s |      23 |  3771591 |  3298738 |     1536   4860 |        0 |        0
960.05/960.34	c  960s |      23 |  3779608 |  3305738 |     1536   4868 |        0 |        0
962.04/962.35	c  962s |      23 |  3786867 |  3312238 |     1536   4876 |        0 |        0
964.04/964.36	c  964s |      23 |  3793966 |  3318638 |     1536   4884 |        0 |        0
966.14/966.40	c  966s |      23 |  3801243 |  3325138 |     1536   4891 |        0 |        0
968.14/968.42	c  968s |      23 |  3808413 |  3331638 |     1536   4899 |        0 |        0
970.14/970.45	c  970s |      23 |  3816023 |  3338438 |     1536   4907 |        0 |        0
972.14/972.47	c  972s |      23 |  3823453 |  3345138 |     1536   4915 |        0 |        0
974.13/974.47	c  974s |      23 |  3830655 |  3351638 |     1536   4923 |        0 |        0
976.13/976.49	c  976s |      23 |  3837429 |  3357838 |     1690   4930 |        0 |        0
978.23/978.51	c  978s |      23 |  3845086 |  3364538 |     1690   4937 |        0 |        0
980.23/980.51	c  980s |      23 |  3852385 |  3370938 |     1690   4944 |        0 |        0
982.04/982.32	c  982s |      24 |  3858780 |  3376662 |     1690   4951 |        0 |        0
984.03/984.35	c  984s |      24 |  3866968 |  3383662 |     1690   4958 |        0 |        0
986.03/986.35	c  986s |      24 |  3874087 |  3389862 |     1690   4965 |        0 |        0
988.03/988.36	c  988s |      24 |  3881176 |  3396062 |     1690   4972 |        0 |        0
990.02/990.37	c  990s |      24 |  3888951 |  3402862 |     1690   4979 |        0 |        0
992.12/992.41	c  992s |      24 |  3896716 |  3409762 |     1690   4987 |        0 |        0
994.13/994.41	c  994s |      24 |  3903842 |  3416062 |     1690   4994 |        0 |        0
996.12/996.43	c  996s |      24 |  3911203 |  3422662 |     1690   5001 |        0 |        0
998.12/998.45	c  998s |      24 |  3918565 |  3429262 |     1690   5008 |        0 |        0
1000.12/1000.46	c 1000s |      24 |  3925471 |  3435462 |     1690   5015 |        0 |        0
1002.12/1002.48	c 1002s |      24 |  3933160 |  3442362 |     1690   5023 |        0 |        0
1004.13/1004.49	c 1004s |      24 |  3940489 |  3448862 |     1690   5030 |        0 |        0
1006.23/1006.52	c 1006s |      24 |  3948186 |  3455662 |     1690   5037 |        0 |        0
1008.22/1008.53	c 1008s |      24 |  3956224 |  3462762 |     1690   5045 |        0 |        0
1010.22/1010.55	c 1010s |      24 |  3964120 |  3469662 |     1690   5053 |        0 |        0
1012.22/1012.57	c 1012s |      24 |  3971196 |  3475962 |     1690   5059 |        0 |        0
1014.31/1014.60	c 1014s |      24 |  3978277 |  3482162 |     1690   5066 |        0 |        0
1016.31/1016.63	c 1016s |      24 |  3987023 |  3489662 |     1690   5075 |        0 |        0
1018.32/1018.64	c 1018s |      24 |  3994646 |  3496362 |     1690   5082 |        0 |        0
1020.31/1020.65	c 1020s |      24 |  4001990 |  3502762 |     1690   5089 |        0 |        0
1022.31/1022.66	c 1022s |      24 |  4009535 |  3509362 |     1690   5097 |        0 |        0
1024.31/1024.67	c 1024s |      24 |  4017390 |  3516262 |     1690   5104 |        0 |        0
1026.31/1026.69	c 1026s |      24 |  4024989 |  3522962 |     1690   5112 |        0 |        0
1028.40/1028.71	c 1028s |      24 |  4031665 |  3528962 |     1690   5118 |        0 |        0
1030.41/1030.73	c 1030s |      24 |  4039894 |  3536162 |     1690   5126 |        0 |        0
1032.40/1032.73	c 1032s |      24 |  4048162 |  3543462 |     1690   5134 |        0 |        0
1034.40/1034.74	c 1034s |      24 |  4056767 |  3550862 |     1690   5142 |        0 |        0
1036.40/1036.77	c 1036s |      24 |  4064754 |  3557862 |     1690   5150 |        0 |        0
1038.50/1038.81	c 1038s |      24 |  4072317 |  3564562 |     1690   5158 |        0 |        0
1040.50/1040.81	c 1040s |      24 |  4079279 |  3570662 |     1690   5164 |        0 |        0
1042.50/1042.84	c 1042s |      24 |  4086894 |  3577462 |     1690   5172 |        0 |        0
1044.49/1044.86	c 1044s |      24 |  4093809 |  3583562 |     1690   5179 |        0 |        0
1046.49/1046.87	c 1046s |      24 |  4101196 |  3590162 |     1690   5186 |        0 |        0
1048.49/1048.89	c 1048s |      24 |  4108987 |  3597062 |     1690   5193 |        0 |        0
1050.49/1050.89	c 1050s |      24 |  4115454 |  3602762 |     1690   5200 |        0 |        0
1052.59/1052.92	c 1052s |      24 |  4121403 |  3608062 |     1690   5206 |        0 |        0
1054.59/1054.93	c 1054s |      24 |  4126805 |  3612962 |     1690   5211 |        0 |        0
1056.58/1056.95	c 1056s |      24 |  4133323 |  3618562 |     1690   5217 |        0 |        0
1058.58/1058.97	c 1058s |      24 |  4140684 |  3625062 |     1690   5224 |        0 |        0
1060.58/1060.98	c 1060s |      24 |  4147808 |  3631362 |     1690   5231 |        0 |        0
1062.68/1063.01	c 1062s |      24 |  4155035 |  3637962 |     1690   5239 |        0 |        0
1064.68/1065.02	c 1064s |      24 |  4161955 |  3644262 |     1690   5246 |        0 |        0
1066.68/1067.05	c 1067s |      24 |  4169106 |  3650562 |     1690   5253 |        0 |        0
1068.68/1069.08	c 1069s |      24 |  4176166 |  3656862 |     1690   5259 |        0 |        0
1070.68/1071.08	c 1071s |      24 |  4182666 |  3662662 |     1690   5266 |        0 |        0
1072.77/1073.11	c 1073s |      24 |  4188970 |  3668262 |     1690   5272 |        0 |        0
1074.77/1075.14	c 1075s |      24 |  4195187 |  3673862 |     1690   5278 |        0 |        0
1076.77/1077.15	c 1077s |      24 |  4201168 |  3679162 |     1690   5284 |        0 |        0
1078.78/1079.16	c 1079s |      24 |  4207119 |  3684462 |     1690   5290 |        0 |        0
1080.77/1081.19	c 1081s |      24 |  4212933 |  3689762 |     1690   5296 |        0 |        0
1082.87/1083.21	c 1083s |      24 |  4219234 |  3695162 |     1690   5302 |        0 |        0
1084.86/1085.22	c 1085s |      24 |  4225494 |  3700762 |     1690   5308 |        0 |        0
1086.86/1087.24	c 1087s |      24 |  4231944 |  3706462 |     1690   5314 |        0 |        0
1088.86/1089.24	c 1089s |      24 |  4239058 |  3712762 |     1690   5321 |        0 |        0
1090.87/1091.27	c 1091s |      24 |  4245431 |  3718562 |     1690   5328 |        0 |        0
1092.86/1093.27	c 1093s |      24 |  4251955 |  3724462 |     1690   5334 |        0 |        0
1094.86/1095.29	c 1095s |      24 |  4258674 |  3730562 |     1690   5341 |        0 |        0
1096.96/1097.32	c 1097s |      24 |  4264825 |  3736062 |     1690   5347 |        0 |        0
1098.96/1099.35	c 1099s |      24 |  4271184 |  3741762 |     1690   5353 |        0 |        0
1100.95/1101.39	c 1101s |      24 |  4277471 |  3747362 |     1690   5359 |        0 |        0
1102.96/1103.40	c 1103s |      24 |  4283664 |  3752862 |     1690   5366 |        0 |        0
1105.05/1105.42	c 1105s |      24 |  4289727 |  3758262 |     1690   5372 |        0 |        0
1107.05/1107.43	c 1107s |      24 |  4295671 |  3763562 |     1690   5377 |        0 |        0
1109.05/1109.44	c 1109s |      24 |  4301845 |  3768962 |     1690   5383 |        0 |        0
1111.05/1111.46	c 1111s |      24 |  4309133 |  3775362 |     1690   5390 |        0 |        0
1113.05/1113.46	c 1113s |      24 |  4316094 |  3781562 |     1690   5397 |        0 |        0
1115.05/1115.49	c 1115s |      24 |  4323221 |  3787862 |     1690   5404 |        0 |        0
1117.14/1117.50	c 1117s |      24 |  4329728 |  3793662 |     1690   5411 |        0 |        0
1119.14/1119.51	c 1119s |      24 |  4336726 |  3799762 |     1690   5417 |        0 |        0
1121.14/1121.54	c 1121s |      24 |  4343536 |  3805862 |     1690   5424 |        0 |        0
1123.14/1123.56	c 1123s |      24 |  4349848 |  3811562 |     1690   5430 |        0 |        0
1125.14/1125.57	c 1125s |      24 |  4356205 |  3817162 |     1690   5437 |        0 |        0
1127.15/1127.59	c 1127s |      24 |  4362526 |  3822762 |     1690   5443 |        0 |        0
1129.24/1129.60	c 1129s |      24 |  4368678 |  3828262 |     1690   5449 |        0 |        0
1131.24/1131.62	c 1131s |      24 |  4375103 |  3833862 |     1690   5455 |        0 |        0
1133.24/1133.63	c 1133s |      24 |  4381350 |  3839362 |     1690   5461 |        0 |        0
1135.23/1135.65	c 1135s |      24 |  4387569 |  3844962 |     1690   5467 |        0 |        0
1137.23/1137.66	c 1137s |      24 |  4394617 |  3851162 |     1690   5474 |        0 |        0
1139.24/1139.67	c 1139s |      24 |  4401652 |  3857462 |     1690   5481 |        0 |        0
1141.23/1141.67	c 1141s |      24 |  4408959 |  3863962 |     1690   5488 |        0 |        0
1143.33/1143.71	c 1143s |      24 |  4416321 |  3870562 |     1690   5496 |        0 |        0
1145.32/1145.74	c 1145s |      24 |  4423388 |  3876962 |     1690   5503 |        0 |        0
1147.32/1147.74	c 1147s |      24 |  4429739 |  3882662 |     1690   5509 |        0 |        0
1149.32/1149.74	c 1149s |      24 |  4435906 |  3888162 |     1690   5515 |        0 |        0
1151.33/1151.75	c 1151s |      24 |  4442327 |  3893862 |     1690   5521 |        0 |        0
1153.32/1153.77	c 1153s |      24 |  4448506 |  3899362 |     1690   5527 |        0 |        0
1155.32/1155.78	c 1155s |      24 |  4454732 |  3904862 |     1690   5533 |        0 |        0
1157.42/1157.80	c 1157s |      24 |  4460654 |  3910062 |     1690   5539 |        0 |        0
1159.42/1159.83	c 1159s |      24 |  4466527 |  3915262 |     1690   5545 |        0 |        0
1161.42/1161.83	c 1161s |      24 |  4472426 |  3920462 |     1690   5551 |        0 |        0
1163.42/1163.86	c 1163s |      24 |  4478107 |  3925462 |     1690   5556 |        0 |        0
1165.41/1165.89	c 1165s |      24 |  4483954 |  3930662 |     1690   5562 |        0 |        0
1167.51/1167.93	c 1167s |      24 |  4489149 |  3935262 |     1690   5567 |        0 |        0
1169.51/1169.95	c 1169s |      24 |  4495927 |  3941262 |     1690   5574 |        0 |        0
1171.51/1171.96	c 1171s |      24 |  4502618 |  3947262 |     1690   5580 |        0 |        0
1173.51/1173.99	c 1173s |      24 |  4508684 |  3952762 |     1690   5586 |        0 |        0
1175.61/1176.02	c 1175s |      24 |  4515026 |  3958362 |     1690   5593 |        0 |        0
1177.60/1178.04	c 1177s |      24 |  4521703 |  3964262 |     1690   5599 |        0 |        0
1179.60/1180.04	c 1179s |      24 |  4528848 |  3970462 |     1690   5606 |        0 |        0
1181.60/1182.04	c 1182s |      24 |  4535763 |  3976562 |     1690   5613 |        0 |        0
1183.60/1184.06	c 1184s |      24 |  4542561 |  3982562 |     1690   5619 |        0 |        0
1185.60/1186.09	c 1186s |      24 |  4549403 |  3988662 |     1690   5626 |        0 |        0
1187.60/1188.09	c 1188s |      24 |  4555734 |  3994362 |     1690   5632 |        0 |        0
1189.70/1190.10	c 1190s |      24 |  4562246 |  4000262 |     1690   5639 |        0 |        0
1191.69/1192.13	c 1192s |      24 |  4568992 |  4006362 |     1690   5645 |        0 |        0
1193.69/1194.15	c 1194s |      24 |  4575835 |  4012462 |     1690   5652 |        0 |        0
1195.69/1196.19	c 1196s |      24 |  4581905 |  4017962 |     1690   5658 |        0 |        0
1197.79/1198.20	c 1198s |      24 |  4587274 |  4022862 |     1690   5664 |        0 |        0
1199.81/1200.23	c 1200s |      24 |  4593667 |  4028562 |     1690   5670 |        0 |        0
1201.80/1202.27	c 1202s |      24 |  4599609 |  4033862 |     1690   5676 |        0 |        0
1203.89/1204.30	c 1204s |      24 |  4605118 |  4038762 |     1690   5681 |        0 |        0
1205.89/1206.30	c 1206s |      24 |  4611106 |  4044162 |     1690   5687 |        0 |        0
1207.89/1208.31	c 1208s |      24 |  4617202 |  4049562 |     1690   5693 |        0 |        0
1209.89/1210.32	c 1210s |      24 |  4623624 |  4055362 |     1690   5700 |        0 |        0
1211.90/1212.34	c 1212s |      24 |  4631368 |  4062062 |     1690   5707 |        0 |        0
1213.89/1214.34	c 1214s |      24 |  4638476 |  4068262 |     1690   5714 |        0 |        0
1215.89/1216.36	c 1216s |      24 |  4645144 |  4074162 |     1690   5720 |        0 |        0
1217.89/1218.37	c 1218s |      24 |  4651823 |  4080062 |     1690   5727 |        0 |        0
1219.89/1220.38	c 1220s |      24 |  4658303 |  4085862 |     1690   5733 |        0 |        0
1221.89/1222.39	c 1222s |      24 |  4664872 |  4091662 |     1690   5740 |        0 |        0
1223.89/1224.40	c 1224s |      24 |  4671443 |  4097462 |     1690   5746 |        0 |        0
1225.98/1226.41	c 1226s |      24 |  4677990 |  4103262 |     1690   5752 |        0 |        0
1227.98/1228.42	c 1228s |      24 |  4684438 |  4109062 |     1690   5759 |        0 |        0
1229.98/1230.44	c 1230s |      24 |  4690695 |  4114662 |     1690   5765 |        0 |        0
1231.98/1232.46	c 1232s |      24 |  4697517 |  4120762 |     1690   5772 |        0 |        0
1233.97/1234.48	c 1234s |      24 |  4704037 |  4126562 |     1690   5778 |        0 |        0
1235.98/1236.50	c 1236s |      24 |  4710372 |  4132162 |     1690   5784 |        0 |        0
1238.07/1238.51	c 1238s |      24 |  4717639 |  4138462 |     1690   5791 |        0 |        0
1240.07/1240.51	c 1240s |      24 |  4724835 |  4144962 |     1690   5798 |        0 |        0
1242.07/1242.52	c 1242s |      24 |  4731211 |  4150662 |     1690   5804 |        0 |        0
1244.07/1244.53	c 1244s |      24 |  4737790 |  4156462 |     1690   5811 |        0 |        0
1246.06/1246.56	c 1246s |      24 |  4744165 |  4162162 |     1690   5817 |        0 |        0
1248.07/1248.60	c 1248s |      24 |  4750434 |  4167762 |     1690   5823 |        0 |        0
1250.16/1250.60	c 1250s |      24 |  4757475 |  4174062 |     1690   5830 |        0 |        0
1252.16/1252.60	c 1252s |      24 |  4764256 |  4180162 |     1690   5837 |        0 |        0
1254.16/1254.62	c 1254s |      24 |  4771486 |  4186562 |     1690   5844 |        0 |        0
1256.16/1256.66	c 1256s |      24 |  4779258 |  4193262 |     1690   5852 |        0 |        0
1258.16/1258.66	c 1258s |      24 |  4786710 |  4199762 |     1690   5859 |        0 |        0
1260.16/1260.69	c 1260s |      24 |  4793921 |  4206062 |     1690   5866 |        0 |        0
1262.16/1262.69	c 1262s |      24 |  4800426 |  4211862 |     1690   5872 |        0 |        0
1264.25/1264.71	c 1264s |      24 |  4807261 |  4217862 |     1690   5879 |        0 |        0
1266.25/1266.74	c 1266s |      24 |  4814021 |  4223862 |     1690   5885 |        0 |        0
1268.25/1268.74	c 1268s |      24 |  4820698 |  4229862 |     1690   5892 |        0 |        0
1270.25/1270.76	c 1270s |      24 |  4827157 |  4235662 |     1690   5898 |        0 |        0
1272.26/1272.78	c 1272s |      24 |  4834037 |  4241862 |     1690   5905 |        0 |        0
1274.34/1274.81	c 1274s |      24 |  4840744 |  4247862 |     1690   5912 |        0 |        0
1276.34/1276.83	c 1276s |      24 |  4848444 |  4254562 |     1690   5919 |        0 |        0
1278.34/1278.85	c 1278s |      24 |  4855807 |  4261062 |     1690   5926 |        0 |        0
1280.34/1280.86	c 1280s |      24 |  4863144 |  4267562 |     1690   5934 |        0 |        0
1282.34/1282.87	c 1282s |      24 |  4870463 |  4274062 |     1690   5941 |        0 |        0
1284.35/1284.88	c 1284s |      24 |  4877884 |  4280662 |     1690   5948 |        0 |        0
1286.34/1286.88	c 1286s |      24 |  4884897 |  4286862 |     1690   5955 |        0 |        0
1288.34/1288.88	c 1288s |      24 |  4891855 |  4293062 |     1690   5961 |        0 |        0
1290.34/1290.89	c 1290s |      24 |  4899203 |  4299462 |     1690   5969 |        0 |        0
1292.44/1292.90	c 1292s |      24 |  4906035 |  4305562 |     1690   5975 |        0 |        0
1294.44/1294.92	c 1294s |      24 |  4912794 |  4311462 |     1690   5982 |        0 |        0
1296.44/1296.94	c 1296s |      24 |  4920101 |  4317962 |     1690   5989 |        0 |        0
1298.44/1298.94	c 1298s |      24 |  4927381 |  4324462 |     1690   5996 |        0 |        0
1300.43/1300.96	c 1300s |      24 |  4934475 |  4330862 |     1690   6003 |        0 |        0
1302.43/1302.99	c 1302s |      24 |  4941762 |  4337362 |     1690   6010 |        0 |        0
1304.53/1305.03	c 1304s |      24 |  4949470 |  4344162 |     1690   6018 |        0 |        0
1306.53/1307.03	c 1306s |      24 |  4956379 |  4350362 |     1690   6024 |        0 |        0
1308.54/1309.05	c 1309s |      24 |  4962748 |  4356062 |     1690   6031 |        0 |        0
1310.53/1311.08	c 1311s |      24 |  4969207 |  4361762 |     1690   6037 |        0 |        0
1312.53/1313.09	c 1313s |      24 |  4975607 |  4367362 |     1690   6043 |        0 |        0
1314.62/1315.11	c 1315s |      24 |  4981981 |  4372962 |     1690   6049 |        0 |        0
1316.62/1317.12	c 1317s |      24 |  4988280 |  4378562 |     1690   6056 |        0 |        0
1318.62/1319.16	c 1319s |      24 |  4994374 |  4383962 |     1690   6062 |        0 |        0
1320.63/1321.16	c 1321s |      24 |  5000400 |  4389362 |     1690   6067 |        0 |        0
1322.62/1323.19	c 1323s |      24 |  5006659 |  4394862 |     1690   6074 |        0 |        0
1324.71/1325.22	c 1325s |      24 |  5012643 |  4400262 |     1690   6080 |        0 |        0
1326.71/1327.22	c 1327s |      24 |  5018580 |  4405562 |     1690   6085 |        0 |        0
1328.71/1329.22	c 1329s |      24 |  5026402 |  4412262 |     1690   6093 |        0 |        0
1330.71/1331.24	c 1331s |      24 |  5033694 |  4418662 |     1690   6100 |        0 |        0
1332.72/1333.24	c 1333s |      24 |  5040326 |  4424562 |     1690   6106 |        0 |        0
1334.71/1335.27	c 1335s |      24 |  5047115 |  4430662 |     1690   6113 |        0 |        0
1336.71/1337.29	c 1337s |      24 |  5053716 |  4436562 |     1690   6119 |        0 |        0
1338.81/1339.31	c 1339s |      24 |  5060497 |  4442562 |     1690   6126 |        0 |        0
1340.81/1341.33	c 1341s |      24 |  5067461 |  4448762 |     1690   6133 |        0 |        0
1342.81/1343.34	c 1343s |      24 |  5074105 |  4454662 |     1690   6139 |        0 |        0
1344.81/1345.37	c 1345s |      24 |  5081079 |  4460862 |     1690   6146 |        0 |        0
1346.90/1347.40	c 1347s |      24 |  5087998 |  4467062 |     1690   6153 |        0 |        0
1348.90/1349.40	c 1349s |      24 |  5094520 |  4472862 |     1690   6159 |        0 |        0
1350.90/1351.41	c 1351s |      24 |  5101454 |  4479062 |     1690   6166 |        0 |        0
1352.90/1353.44	c 1353s |      24 |  5108605 |  4485362 |     1690   6173 |        0 |        0
1354.90/1355.46	c 1355s |      24 |  5115689 |  4491562 |     1690   6180 |        0 |        0
1356.90/1357.48	c 1357s |      24 |  5122814 |  4497762 |     1690   6187 |        0 |        0
1358.90/1359.49	c 1359s |      24 |  5129958 |  4503862 |     1690   6194 |        0 |        0
1360.90/1361.49	c 1361s |      24 |  5137009 |  4509862 |     1690   6200 |        0 |        0
1363.00/1363.51	c 1363s |      24 |  5142503 |  4514762 |     1690   6206 |        0 |        0
1364.99/1365.51	c 1365s |      24 |  5149152 |  4520562 |     1690   6212 |        0 |        0
1366.99/1367.52	c 1367s |      24 |  5155456 |  4526262 |     1690   6218 |        0 |        0
1369.00/1369.55	c 1369s |      24 |  5161725 |  4531962 |     1690   6225 |        0 |        0
1370.99/1371.57	c 1371s |      24 |  5168087 |  4537662 |     1690   6231 |        0 |        0
1372.99/1373.58	c 1373s |      24 |  5174191 |  4543162 |     1690   6237 |        0 |        0
1375.09/1375.60	c 1375s |      24 |  5179708 |  4548162 |     1690   6243 |        0 |        0
1377.09/1377.60	c 1377s |      24 |  5185408 |  4553262 |     1690   6248 |        0 |        0
1379.09/1379.63	c 1379s |      24 |  5192372 |  4559362 |     1690   6255 |        0 |        0
1381.10/1381.65	c 1381s |      24 |  5199105 |  4565262 |     1690   6261 |        0 |        0
1383.09/1383.67	c 1383s |      24 |  5206018 |  4571362 |     1690   6268 |        0 |        0
1385.09/1385.67	c 1385s |      24 |  5213424 |  4577862 |     1690   6275 |        0 |        0
1387.19/1387.71	c 1387s |      24 |  5220442 |  4584062 |     1690   6282 |        0 |        0
1389.19/1389.74	c 1389s |      24 |  5227048 |  4589962 |     1690   6289 |        0 |        0
1391.19/1391.75	c 1391s |      24 |  5233699 |  4595862 |     1690   6295 |        0 |        0
1393.20/1393.78	c 1393s |      24 |  5240105 |  4601562 |     1690   6302 |        0 |        0
1395.29/1395.81	c 1395s |      24 |  5246511 |  4607162 |     1690   6308 |        0 |        0
1397.29/1397.84	c 1397s |      24 |  5252555 |  4612562 |     1690   6314 |        0 |        0
1399.29/1399.84	c 1399s |      24 |  5258236 |  4617662 |     1690   6319 |        0 |        0
1401.29/1401.84	c 1401s |      24 |  5263740 |  4622562 |     1690   6325 |        0 |        0
1403.29/1403.85	c 1403s |      24 |  5269885 |  4628062 |     1690   6331 |        0 |        0
1405.29/1405.86	c 1405s |      24 |  5276211 |  4633662 |     1690   6337 |        0 |        0
1407.29/1407.89	c 1407s |      24 |  5281916 |  4638862 |     1690   6343 |        0 |        0
1409.39/1409.92	c 1409s |      24 |  5287929 |  4644262 |     1690   6349 |        0 |        0
1411.38/1411.94	c 1411s |      24 |  5293921 |  4649562 |     1690   6355 |        0 |        0
1413.38/1413.97	c 1413s |      24 |  5300226 |  4655162 |     1690   6361 |        0 |        0
1415.38/1415.99	c 1415s |      24 |  5306628 |  4660762 |     1690   6367 |        0 |        0
1417.49/1418.00	c 1417s |      24 |  5312957 |  4666362 |     1690   6373 |        0 |        0
1419.48/1420.02	c 1419s |      24 |  5319035 |  4671762 |     1690   6379 |        0 |        0
1421.48/1422.05	c 1422s |      24 |  5325774 |  4677662 |     1690   6386 |        0 |        0
1423.48/1424.07	c 1424s |      24 |  5332212 |  4683362 |     1690   6392 |        0 |        0
1425.48/1426.09	c 1426s |      24 |  5338422 |  4688662 |     1690   6398 |        0 |        0
1427.58/1428.10	c 1428s |      24 |  5344677 |  4694062 |     1690   6404 |        0 |        0
1429.59/1430.11	c 1430s |      24 |  5350370 |  4699062 |     1690   6409 |        0 |        0
1431.59/1432.13	c 1432s |      24 |  5356269 |  4704062 |     1690   6415 |        0 |        0
1433.59/1434.16	c 1434s |      24 |  5363275 |  4710162 |     1690   6421 |        0 |        0
1435.59/1436.17	c 1436s |      24 |  5369776 |  4715862 |     1690   6428 |        0 |        0
1437.69/1438.21	c 1438s |      24 |  5375718 |  4721162 |     1690   6434 |        0 |        0
1439.69/1440.21	c 1440s |      24 |  5381959 |  4726662 |     1690   6440 |        0 |        0
1441.70/1442.21	c 1442s |      24 |  5388694 |  4732662 |     1690   6446 |        0 |        0
1443.69/1444.22	c 1444s |      24 |  5394386 |  4737762 |     1690   6452 |        0 |        0
1445.69/1446.22	c 1446s |      24 |  5400485 |  4743262 |     1690   6458 |        0 |        0
1447.69/1448.26	c 1448s |      24 |  5406815 |  4748962 |     1690   6464 |        0 |        0
1449.69/1450.26	c 1450s |      24 |  5412795 |  4754362 |     1690   6470 |        0 |        0
1451.69/1452.28	c 1452s |      24 |  5418893 |  4759862 |     1690   6476 |        0 |        0
1453.69/1454.30	c 1454s |      24 |  5425000 |  4765262 |     1690   6482 |        0 |        0
1455.79/1456.32	c 1456s |      24 |  5431659 |  4771162 |     1690   6489 |        0 |        0
1457.78/1458.33	c 1458s |      24 |  5438298 |  4777062 |     1690   6495 |        0 |        0
1459.78/1460.34	c 1460s |      24 |  5444238 |  4782362 |     1690   6501 |        0 |        0
1461.78/1462.36	c 1462s |      24 |  5449935 |  4787462 |     1690   6507 |        0 |        0
1463.88/1464.40	c 1464s |      24 |  5455868 |  4792762 |     1690   6513 |        0 |        0
1465.89/1466.44	c 1466s |      24 |  5461195 |  4797562 |     1690   6518 |        0 |        0
1467.88/1468.47	c 1468s |      24 |  5467530 |  4803162 |     1690   6524 |        0 |        0
1469.88/1470.48	c 1470s |      24 |  5473761 |  4808762 |     1690   6530 |        0 |        0
1471.98/1472.51	c 1472s |      24 |  5480055 |  4814362 |     1690   6536 |        0 |        0
1473.98/1474.55	c 1474s |      24 |  5486303 |  4819862 |     1690   6542 |        0 |        0
1475.98/1476.55	c 1476s |      24 |  5492389 |  4825362 |     1690   6548 |        0 |        0
1477.99/1478.57	c 1478s |      24 |  5499140 |  4831362 |     1690   6555 |        0 |        0
1479.98/1480.59	c 1480s |      24 |  5505749 |  4837262 |     1690   6561 |        0 |        0
1482.08/1482.62	c 1482s |      24 |  5512318 |  4843062 |     1690   6568 |        0 |        0
1484.08/1484.62	c 1484s |      24 |  5518843 |  4848862 |     1690   6574 |        0 |        0
1486.08/1486.64	c 1486s |      24 |  5525023 |  4854462 |     1690   6580 |        0 |        0
1488.08/1488.66	c 1488s |      24 |  5531378 |  4860162 |     1690   6587 |        0 |        0
1490.08/1490.67	c 1490s |      24 |  5537616 |  4865762 |     1690   6593 |        0 |        0
1492.08/1492.68	c 1492s |      24 |  5543941 |  4871262 |     1690   6599 |        0 |        0
1494.08/1494.69	c 1494s |      24 |  5549669 |  4876362 |     1690   6605 |        0 |        0
1496.18/1496.72	c 1496s |      24 |  5555580 |  4881662 |     1690   6610 |        0 |        0
1498.17/1498.75	c 1498s |      24 |  5561581 |  4886962 |     1690   6616 |        0 |        0
1500.17/1500.79	c 1500s |      24 |  5567544 |  4892362 |     1690   6622 |        0 |        0
1502.27/1502.81	c 1502s |      24 |  5573044 |  4897362 |     1690   6628 |        0 |        0
1504.28/1504.83	c 1504s |      24 |  5579081 |  4902862 |     1690   6634 |        0 |        0
1506.27/1506.89	c 1506s |      24 |  5584885 |  4908162 |     1690   6640 |        0 |        0
1508.37/1508.90	c 1508s |      24 |  5591172 |  4913762 |     1690   6646 |        0 |        0
1510.37/1510.92	c 1510s |      24 |  5597595 |  4919462 |     1690   6652 |        0 |        0
1512.37/1512.92	c 1512s |      24 |  5603887 |  4925162 |     1690   6658 |        0 |        0
1514.37/1514.95	c 1514s |      24 |  5610156 |  4930762 |     1690   6664 |        0 |        0
1516.38/1516.97	c 1516s |      24 |  5616615 |  4936562 |     1690   6671 |        0 |        0
1518.37/1518.99	c 1518s |      24 |  5622342 |  4941662 |     1690   6676 |        0 |        0
1520.47/1521.01	c 1520s |      24 |  5628216 |  4946862 |     1690   6682 |        0 |        0
1522.47/1523.01	c 1522s |      24 |  5633804 |  4951862 |     1690   6688 |        0 |        0
1524.47/1525.03	c 1524s |      24 |  5639586 |  4956962 |     1690   6693 |        0 |        0
1526.47/1527.06	c 1527s |      24 |  5646085 |  4962762 |     1690   6700 |        0 |        0
1528.47/1529.08	c 1529s |      24 |  5651732 |  4967762 |     1690   6705 |        0 |        0
1530.57/1531.12	c 1531s |      24 |  5656975 |  4972462 |     1690   6710 |        0 |        0
1532.57/1533.16	c 1533s |      24 |  5663143 |  4977962 |     1690   6716 |        0 |        0
1534.57/1535.17	c 1535s |      24 |  5669956 |  4983862 |     1690   6723 |        0 |        0
1536.57/1537.18	c 1537s |      24 |  5676649 |  4989862 |     1690   6730 |        0 |        0
1538.67/1539.20	c 1539s |      24 |  5683506 |  4995962 |     1690   6736 |        0 |        0
1540.58/1541.20	c 1541s |      24 |  5690033 |  5001862 |     1690   6743 |        0 |        0
1542.67/1543.22	c 1543s |      24 |  5695655 |  5007062 |     1690   6749 |        0 |        0
1544.67/1545.26	c 1545s |      24 |  5701691 |  5012562 |     1690   6755 |        0 |        0
1546.67/1547.28	c 1547s |      24 |  5707267 |  5017662 |     1690   6760 |        0 |        0
1548.67/1549.29	c 1549s |      24 |  5713192 |  5022962 |     1690   6766 |        0 |        0
1550.77/1551.31	c 1551s |      24 |  5719420 |  5028462 |     1690   6772 |        0 |        0
1552.78/1553.32	c 1553s |      24 |  5725661 |  5033962 |     1860   6778 |        0 |        0
1554.77/1555.35	c 1555s |      24 |  5732077 |  5039662 |     1860   6783 |        0 |        0
1556.77/1557.39	c 1557s |      24 |  5738806 |  5045562 |     1860   6789 |        0 |        0
1558.87/1559.42	c 1559s |      24 |  5744977 |  5051062 |     1860   6795 |        0 |        0
1560.87/1561.43	c 1561s |      24 |  5751338 |  5056762 |     1860   6801 |        0 |        0
1562.87/1563.44	c 1563s |      24 |  5757413 |  5062262 |     1860   6806 |        0 |        0
1563.87/1564.49	c 1564s |      25 |  5760617 |  5065098 |     1860   6809 |        0 |        0
1565.88/1566.49	c 1566s |      25 |  5767904 |  5071198 |     1860   6815 |        0 |        0
1567.87/1568.50	c 1568s |      25 |  5775180 |  5077498 |     1860   6821 |        0 |        0
1569.97/1570.51	c 1570s |      25 |  5782809 |  5083898 |     1860   6828 |        0 |        0
1571.97/1572.51	c 1572s |      25 |  5789402 |  5089798 |     1860   6834 |        0 |        0
1573.97/1574.51	c 1574s |      25 |  5796327 |  5095798 |     1860   6840 |        0 |        0
1575.97/1576.52	c 1576s |      25 |  5803388 |  5101998 |     1860   6846 |        0 |        0
1577.97/1578.52	c 1578s |      25 |  5809796 |  5107698 |     1860   6852 |        0 |        0
1579.97/1580.53	c 1580s |      25 |  5816372 |  5113498 |     1860   6858 |        0 |        0
1581.97/1582.56	c 1582s |      25 |  5822875 |  5119198 |     1860   6863 |        0 |        0
1583.97/1584.58	c 1584s |      25 |  5829792 |  5125298 |     1860   6870 |        0 |        0
1586.06/1586.62	c 1586s |      25 |  5836567 |  5131098 |     1860   6875 |        0 |        0
1588.06/1588.64	c 1588s |      25 |  5843119 |  5136898 |     1860   6881 |        0 |        0
1590.07/1590.65	c 1590s |      25 |  5849882 |  5142798 |     1860   6887 |        0 |        0
1592.06/1592.66	c 1592s |      25 |  5856459 |  5148598 |     1860   6893 |        0 |        0
1594.06/1594.67	c 1594s |      25 |  5863068 |  5154398 |     1860   6899 |        0 |        0
1596.06/1596.68	c 1596s |      25 |  5869460 |  5160098 |     1860   6905 |        0 |        0
1598.16/1598.70	c 1598s |      25 |  5875806 |  5165798 |     1860   6911 |        0 |        0
1600.16/1600.70	c 1600s |      25 |  5882355 |  5171698 |     1860   6917 |        0 |        0
1602.17/1602.73	c 1602s |      25 |  5889164 |  5177798 |     1860   6923 |        0 |        0
1604.16/1604.73	c 1604s |      25 |  5896313 |  5184098 |     1860   6929 |        0 |        0
1606.16/1606.77	c 1606s |      25 |  5903370 |  5190398 |     1860   6935 |        0 |        0
1608.16/1608.79	c 1608s |      25 |  5910115 |  5196398 |     1860   6941 |        0 |        0
1610.26/1610.81	c 1610s |      25 |  5917308 |  5202698 |     1860   6948 |        0 |        0
1612.26/1612.82	c 1612s |      25 |  5923405 |  5208098 |     1860   6953 |        0 |        0
1614.27/1614.83	c 1614s |      25 |  5929782 |  5213698 |     1860   6959 |        0 |        0
1616.26/1616.86	c 1616s |      25 |  5936659 |  5219698 |     1860   6965 |        0 |        0
1618.36/1618.90	c 1618s |      25 |  5943704 |  5225998 |     1860   6972 |        0 |        0
1620.36/1620.93	c 1620s |      25 |  5951402 |  5232498 |     1860   6978 |        0 |        0
1622.36/1622.95	c 1622s |      25 |  5958759 |  5238998 |     1860   6985 |        0 |        0
1624.36/1624.95	c 1624s |      25 |  5965444 |  5244998 |     1860   6991 |        0 |        0
1626.36/1626.96	c 1626s |      25 |  5972053 |  5250898 |     1860   6997 |        0 |        0
1628.35/1628.98	c 1628s |      25 |  5979020 |  5257098 |     1860   7003 |        0 |        0
1630.45/1631.01	c 1630s |      25 |  5985758 |  5263098 |     1860   7009 |        0 |        0
1632.45/1633.01	c 1632s |      25 |  5992125 |  5268798 |     1860   7014 |        0 |        0
1634.45/1635.05	c 1635s |      25 |  5998592 |  5274598 |     1860   7020 |        0 |        0
1636.45/1637.06	c 1637s |      25 |  6005473 |  5280698 |     1860   7026 |        0 |        0
1638.46/1639.08	c 1639s |      25 |  6012060 |  5286598 |     1860   7032 |        0 |        0
1640.55/1641.10	c 1641s |      25 |  6018546 |  5292298 |     1860   7038 |        0 |        0
1642.55/1643.13	c 1643s |      25 |  6025101 |  5298098 |     1860   7044 |        0 |        0
1644.55/1645.14	c 1645s |      25 |  6031686 |  5303998 |     1860   7050 |        0 |        0
1646.55/1647.14	c 1647s |      25 |  6038490 |  5309998 |     1860   7056 |        0 |        0
1648.55/1649.15	c 1649s |      25 |  6046169 |  5316798 |     1860   7063 |        0 |        0
1650.56/1651.17	c 1651s |      25 |  6053431 |  5323198 |     1860   7069 |        0 |        0
1652.55/1653.17	c 1653s |      25 |  6059908 |  5328998 |     1860   7075 |        0 |        0
1654.65/1655.20	c 1655s |      25 |  6066313 |  5334698 |     1860   7081 |        0 |        0
1656.65/1657.24	c 1657s |      25 |  6072595 |  5340298 |     1860   7086 |        0 |        0
1658.65/1659.25	c 1659s |      25 |  6078978 |  5345998 |     1860   7092 |        0 |        0
1660.65/1661.26	c 1661s |      25 |  6085283 |  5351498 |     1860   7098 |        0 |        0
1662.66/1663.29	c 1663s |      25 |  6091515 |  5356998 |     1860   7103 |        0 |        0
1664.65/1665.29	c 1665s |      25 |  6098334 |  5363098 |     1860   7109 |        0 |        0
1666.75/1667.32	c 1667s |      25 |  6104964 |  5369098 |     1860   7115 |        0 |        0
1668.75/1669.32	c 1669s |      25 |  6111988 |  5375298 |     1860   7122 |        0 |        0
1670.75/1671.36	c 1671s |      25 |  6119406 |  5381698 |     1860   7128 |        0 |        0
1672.75/1673.38	c 1673s |      25 |  6126445 |  5387998 |     1860   7134 |        0 |        0
1674.75/1675.40	c 1675s |      25 |  6133010 |  5393898 |     1860   7140 |        0 |        0
1676.85/1677.44	c 1677s |      25 |  6140036 |  5400098 |     1860   7147 |        0 |        0
1678.85/1679.45	c 1679s |      25 |  6146735 |  5405998 |     1860   7152 |        0 |        0
1680.85/1681.45	c 1681s |      25 |  6153613 |  5411998 |     1860   7159 |        0 |        0
1682.85/1683.47	c 1683s |      25 |  6160935 |  5418298 |     1860   7165 |        0 |        0
1684.85/1685.49	c 1685s |      25 |  6168007 |  5424498 |     1860   7171 |        0 |        0
1686.85/1687.50	c 1687s |      25 |  6174933 |  5430598 |     1860   7177 |        0 |        0
1688.95/1689.52	c 1689s |      25 |  6182295 |  5436998 |     1860   7184 |        0 |        0
1690.95/1691.54	c 1691s |      25 |  6189098 |  5443098 |     1860   7190 |        0 |        0
1692.94/1693.55	c 1693s |      25 |  6196406 |  5449498 |     1860   7197 |        0 |        0
1694.94/1695.57	c 1695s |      25 |  6203009 |  5455398 |     1860   7203 |        0 |        0
1696.94/1697.58	c 1697s |      25 |  6209238 |  5460998 |     1860   7209 |        0 |        0
1698.95/1699.59	c 1699s |      25 |  6216013 |  5466998 |     1860   7215 |        0 |        0
1701.04/1701.62	c 1701s |      25 |  6223676 |  5473498 |     1860   7221 |        0 |        0
1703.04/1703.62	c 1703s |      25 |  6230885 |  5479798 |     1860   7228 |        0 |        0
1705.04/1705.64	c 1705s |      25 |  6238184 |  5486298 |     1860   7234 |        0 |        0
1707.04/1707.64	c 1707s |      25 |  6245146 |  5492598 |     1860   7241 |        0 |        0
1709.04/1709.66	c 1709s |      25 |  6252896 |  5499398 |     1860   7247 |        0 |        0
1711.05/1711.68	c 1711s |      25 |  6260006 |  5505698 |     1860   7254 |        0 |        0
1713.14/1713.71	c 1713s |      25 |  6267339 |  5512198 |     1860   7260 |        0 |        0
1715.14/1715.72	c 1715s |      25 |  6274434 |  5518498 |     1860   7267 |        0 |        0
1717.14/1717.75	c 1717s |      25 |  6281884 |  5525098 |     1860   7273 |        0 |        0
1719.14/1719.76	c 1719s |      25 |  6288671 |  5531198 |     1860   7280 |        0 |        0
1721.14/1721.76	c 1721s |      25 |  6295587 |  5537398 |     1860   7286 |        0 |        0
1723.14/1723.78	c 1723s |      25 |  6302087 |  5543198 |     1860   7292 |        0 |        0
1725.14/1725.79	c 1725s |      25 |  6309133 |  5549398 |     1860   7298 |        0 |        0
1727.24/1727.82	c 1727s |      25 |  6316055 |  5555498 |     1860   7304 |        0 |        0
1729.24/1729.83	c 1729s |      25 |  6322897 |  5561498 |     1860   7310 |        0 |        0
1731.24/1731.86	c 1731s |      25 |  6330584 |  5568298 |     1860   7317 |        0 |        0
1733.24/1733.87	c 1733s |      25 |  6337343 |  5574398 |     1860   7323 |        0 |        0
1735.25/1735.89	c 1735s |      25 |  6344432 |  5580798 |     1860   7330 |        0 |        0
1737.34/1737.90	c 1737s |      25 |  6350953 |  5586698 |     1860   7336 |        0 |        0
1739.34/1739.91	c 1739s |      25 |  6357141 |  5592298 |     1860   7341 |        0 |        0
1741.34/1741.91	c 1741s |      25 |  6363646 |  5598198 |     1860   7347 |        0 |        0
1743.34/1743.92	c 1743s |      25 |  6370215 |  5604098 |     1860   7353 |        0 |        0
1745.34/1745.93	c 1745s |      25 |  6377102 |  5610298 |     1860   7359 |        0 |        0
1747.35/1747.97	c 1747s |      25 |  6383737 |  5616298 |     1860   7365 |        0 |        0
1749.34/1749.99	c 1749s |      25 |  6390477 |  5622398 |     1860   7372 |        0 |        0
1751.44/1752.03	c 1751s |      25 |  6397436 |  5628598 |     1860   7378 |        0 |        0
1753.44/1754.06	c 1754s |      25 |  6404745 |  5634998 |     1860   7384 |        0 |        0
1755.44/1756.07	c 1756s |      25 |  6411391 |  5640898 |     1860   7390 |        0 |        0
1757.44/1758.08	c 1758s |      25 |  6418220 |  5646998 |     1860   7396 |        0 |        0
1759.45/1760.09	c 1760s |      25 |  6424652 |  5652898 |     1860   7402 |        0 |        0
1761.54/1762.12	c 1762s |      25 |  6431582 |  5659198 |     1860   7409 |        0 |        0
1763.54/1764.13	c 1764s |      25 |  6438467 |  5665398 |     1860   7415 |        0 |        0
1765.54/1766.16	c 1766s |      25 |  6445327 |  5671498 |     1860   7421 |        0 |        0
1767.54/1768.16	c 1768s |      25 |  6451575 |  5677198 |     1860   7427 |        0 |        0
1769.54/1770.18	c 1770s |      25 |  6457644 |  5682598 |     1860   7432 |        0 |        0
1771.64/1772.20	c 1772s |      25 |  6464263 |  5688598 |     1860   7438 |        0 |        0
1773.64/1774.23	c 1774s |      25 |  6470741 |  5694398 |     1860   7444 |        0 |        0
1775.64/1776.24	c 1776s |      25 |  6476838 |  5699898 |     1860   7449 |        0 |        0
1777.64/1778.27	c 1778s |      25 |  6482199 |  5704798 |     1860   7454 |        0 |        0
1779.64/1780.29	c 1780s |      25 |  6488931 |  5710698 |     1860   7460 |        0 |        0
1781.74/1782.30	c 1782s |      25 |  6495517 |  5716498 |     1860   7466 |        0 |        0
1783.74/1784.34	c 1784s |      25 |  6501465 |  5721798 |     1860   7471 |        0 |        0
1785.73/1786.36	c 1786s |      25 |  6508217 |  5727598 |     1860   7477 |        0 |        0
1787.73/1788.36	c 1788s |      25 |  6514391 |  5732998 |     1860   7483 |        0 |        0
1789.73/1790.37	c 1790s |      25 |  6520698 |  5738598 |     1860   7488 |        0 |        0
1791.83/1792.40	c 1792s |      25 |  6527198 |  5744298 |     1860   7494 |        0 |        0
1793.83/1794.43	c 1794s |      25 |  6534027 |  5750398 |     1860   7500 |        0 |        0
1795.84/1796.45	c 1796s |      25 |  6541177 |  5756698 |     1860   7507 |        0 |        0
1797.83/1798.46	c 1798s |      25 |  6547726 |  5762598 |     1860   7513 |        0 |        0
1799.83/1800.47	c 1800s |      25 |  6554104 |  5768298 |     1860   7519 |        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-4093304-1466081043/watcher-4093304-1466081043 -o /tmp/evaluation-result-4093304-1466081043/solver-4093304-1466081043 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1466075558-12321 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093304-1466081043.wbo 

pid=13097
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: 2.00 2.00 2.00 2/181 13100
/proc/meminfo: memFree=30971988/32872528 swapFree=7268/7268
[pid=13100] ppid=13097 vsize=727484 CPUtime=0 cores=0,2,4,6
/proc/13100/stat : 13100 (toysat) R 13097 13100 9721 0 -1 4202496 2714 0 0 0 0 0 0 0 20 0 4 0 10150183 744943616 3075 33554432000 4194304 16246674 140736327441936 140736327441360 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13100/statm: 182639 3085 441 2943 0 179533 0
[pid=13100/tid=13101] ppid=13097 vsize=744892 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13101/stat : 13101 (toysat) S 13097 13100 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10150184 762769408 3143 33554432000 4194304 16246674 140736327441936 140074531400944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13100/tid=13102] ppid=13097 vsize=748988 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13102/stat : 13102 (toysat) S 13097 13100 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10150184 766963712 3159 33554432000 4194304 16246674 140736327441936 140074452757744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13100/tid=13103] ppid=13097 vsize=754108 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10150184 772206592 3177 33554432000 4194304 16246674 140736327441936 140074442284208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100164 s]
/proc/loadavg: 2.00 2.00 2.00 2/181 13100
/proc/meminfo: memFree=30971988/32872528 swapFree=7268/7268
[pid=13100] ppid=13097 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/13100/stat : 13100 (toysat) R 13097 13100 9721 0 -1 4202496 26077 0 0 0 6 3 0 0 20 0 4 0 10150183 1247350784 26424 33554432000 4194304 16246674 140736327441936 140736327441360 5677277 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13100/statm: 304529 26430 812 2943 0 301423 0
[pid=13100/tid=13101] ppid=13097 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13101/stat : 13101 (toysat) S 13097 13100 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10150184 1247350784 26435 33554432000 4194304 16246674 140736327441936 140074531400944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13100/tid=13102] ppid=13097 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13102/stat : 13102 (toysat) S 13097 13100 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10150184 1247350784 26444 33554432000 4194304 16246674 140736327441936 140074452757744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13100/tid=13103] ppid=13097 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10150184 1247350784 26450 33554432000 4194304 16246674 140736327441936 140074442284208 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.200493 s]
/proc/loadavg: 2.00 2.00 2.00 2/181 13100
/proc/meminfo: memFree=30971988/32872528 swapFree=7268/7268
[pid=13100] ppid=13097 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/13100/stat : 13100 (toysat) R 13097 13100 9721 0 -1 4202496 50480 0 0 0 12 6 0 0 20 0 4 0 10150183 1247350784 50828 33554432000 4194304 16246674 140736327441936 140736327441360 13191557 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13100/statm: 304529 50837 812 2943 0 301423 0
[pid=13100/tid=13101] ppid=13097 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13101/stat : 13101 (toysat) S 13097 13100 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10150184 1247350784 50840 33554432000 4194304 16246674 140736327441936 140074531400944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13100/tid=13102] ppid=13097 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13102/stat : 13102 (toysat) S 13097 13100 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10150184 1247350784 50847 33554432000 4194304 16246674 140736327441936 140074452757744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13100/tid=13103] ppid=13097 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10150184 1247350784 50858 33554432000 4194304 16246674 140736327441936 140074442284208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300472 s]
/proc/loadavg: 2.00 2.00 2.00 2/181 13100
/proc/meminfo: memFree=30971988/32872528 swapFree=7268/7268
[pid=13100] ppid=13097 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/13100/stat : 13100 (toysat) R 13097 13100 9721 0 -1 4202496 75573 0 0 0 19 10 0 0 20 0 4 0 10150183 1247350784 75920 33554432000 4194304 16246674 140736327441936 140736327441360 5669490 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13100/statm: 304529 75929 812 2943 0 301423 0
[pid=13100/tid=13101] ppid=13097 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13101/stat : 13101 (toysat) S 13097 13100 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10150184 1247350784 75935 33554432000 4194304 16246674 140736327441936 140074531400944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13100/tid=13102] ppid=13097 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13102/stat : 13102 (toysat) S 13097 13100 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10150184 1247350784 75944 33554432000 4194304 16246674 140736327441936 140074452757744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13100/tid=13103] ppid=13097 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10150184 1247350784 75958 33554432000 4194304 16246674 140736327441936 140074442284208 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.70038 s]
/proc/loadavg: 2.00 2.00 2.00 2/181 13100
/proc/meminfo: memFree=30971988/32872528 swapFree=7268/7268
[pid=13100] ppid=13097 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/13100/stat : 13100 (toysat) R 13097 13100 9721 0 -1 4202496 178272 0 0 0 47 22 0 0 20 0 4 0 10150183 1247350784 178620 33554432000 4194304 16246674 140736327441936 140736327441360 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13100/statm: 304529 178633 813 2943 0 301423 0
[pid=13100/tid=13101] ppid=13097 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13101/stat : 13101 (toysat) S 13097 13100 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10150184 1247350784 178641 33554432000 4194304 16246674 140736327441936 140074531400944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13100/tid=13102] ppid=13097 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13102/stat : 13102 (toysat) S 13097 13100 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10150184 1247350784 178648 33554432000 4194304 16246674 140736327441936 140074452757744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13100/tid=13103] ppid=13097 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10150184 1247350784 178653 33554432000 4194304 16246674 140736327441936 140074442284208 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.50035 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 13104
/proc/meminfo: memFree=29988200/32872528 swapFree=7268/7268
[pid=13100] ppid=13097 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/13100/stat : 13100 (toysat) R 13097 13100 9721 0 -1 4202496 245740 0 0 0 117 32 0 0 20 0 4 0 10150183 1248399360 246065 33554432000 4194304 16246674 140736327441936 140736327441248 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13100/statm: 304785 246065 872 2943 0 301679 0
[pid=13100/tid=13101] ppid=13097 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13101/stat : 13101 (toysat) S 13097 13100 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10150184 1248399360 246065 33554432000 4194304 16246674 140736327441936 140074531400944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13100/tid=13102] ppid=13097 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13102/stat : 13102 (toysat) S 13097 13100 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10150184 1248399360 246065 33554432000 4194304 16246674 140736327441936 140074452757744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13100/tid=13103] ppid=13097 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10150184 1248399360 246065 33554432000 4194304 16246674 140736327441936 140074442284208 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) 1219140

[startup+3.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 13104
/proc/meminfo: memFree=29900788/32872528 swapFree=7268/7268
[pid=13100] ppid=13097 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/13100/stat : 13100 (toysat) R 13097 13100 9721 0 -1 4202496 267522 0 0 0 274 35 0 0 20 0 4 0 10150183 1337528320 267847 33554432000 4194304 16246674 140736327441936 140736327423808 5754796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13100/statm: 326545 267847 872 2943 0 323439 0
[pid=13100/tid=13101] ppid=13097 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13101/stat : 13101 (toysat) S 13097 13100 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10150184 1337528320 267847 33554432000 4194304 16246674 140736327441936 140074531400944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13100/tid=13102] ppid=13097 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13102/stat : 13102 (toysat) S 13097 13100 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10150184 1337528320 267847 33554432000 4194304 16246674 140736327441936 140074452757744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13100/tid=13103] ppid=13097 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10150184 1337528320 267847 33554432000 4194304 16246674 140736327441936 140074442284208 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) 1306180

[startup+6.3004 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 13104
/proc/meminfo: memFree=29900312/32872528 swapFree=7268/7268
[pid=13100] ppid=13097 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/13100/stat : 13100 (toysat) R 13097 13100 9721 0 -1 4202496 267535 0 0 0 594 35 0 0 20 0 4 0 10150183 1337528320 267860 33554432000 4194304 16246674 140736327441936 140736327424936 5672230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13100/statm: 326545 267860 874 2943 0 323439 0
[pid=13100/tid=13101] ppid=13097 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13101/stat : 13101 (toysat) S 13097 13100 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10150184 1337528320 267860 33554432000 4194304 16246674 140736327441936 140074531400944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13100/tid=13102] ppid=13097 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13102/stat : 13102 (toysat) S 13097 13100 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10150184 1337528320 267860 33554432000 4194304 16246674 140736327441936 140074452757744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13100/tid=13103] ppid=13097 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10150184 1337528320 267860 33554432000 4194304 16246674 140736327441936 140074442284208 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) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 13104
/proc/meminfo: memFree=29897848/32872528 swapFree=7268/7268
[pid=13100] ppid=13097 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/13100/stat : 13100 (toysat) R 13097 13100 9721 0 -1 4202496 267550 0 0 0 1234 35 0 0 20 0 4 0 10150183 1337528320 267875 33554432000 4194304 16246674 140736327441936 140736327424936 5754924 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13100/statm: 326545 267875 874 2943 0 323439 0
[pid=13100/tid=13101] ppid=13097 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13101/stat : 13101 (toysat) S 13097 13100 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10150184 1337528320 267875 33554432000 4194304 16246674 140736327441936 140074531400944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13100/tid=13102] ppid=13097 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13102/stat : 13102 (toysat) S 13097 13100 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10150184 1337528320 267875 33554432000 4194304 16246674 140736327441936 140074452757744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13100/tid=13103] ppid=13097 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10150184 1337528320 267875 33554432000 4194304 16246674 140736327441936 140074442284208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 13105
/proc/meminfo: memFree=29894328/32872528 swapFree=7268/7268
[pid=13100] ppid=13097 vsize=1306180 CPUtime=25.48 cores=0,2,4,6
/proc/13100/stat : 13100 (toysat) R 13097 13100 9721 0 -1 4202496 267643 0 0 0 2513 35 0 0 20 0 4 0 10150183 1337528320 267968 33554432000 4194304 16246674 140736327441936 140736327423808 5600384 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13100/statm: 326545 267968 874 2943 0 323439 0
[pid=13100/tid=13101] ppid=13097 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13101/stat : 13101 (toysat) S 13097 13100 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10150184 1337528320 267968 33554432000 4194304 16246674 140736327441936 140074531400944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13100/tid=13102] ppid=13097 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13102/stat : 13102 (toysat) S 13097 13100 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10150184 1337528320 267968 33554432000 4194304 16246674 140736327441936 140074452757744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13100/tid=13103] ppid=13097 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10150184 1337528320 267968 33554432000 4194304 16246674 140736327441936 140074442284208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 13105
/proc/meminfo: memFree=29894300/32872528 swapFree=7268/7268
[pid=13100] ppid=13097 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/13100/stat : 13100 (toysat) R 13097 13100 9721 0 -1 4202496 267664 0 0 0 5073 35 0 0 20 0 4 0 10150183 1337528320 267989 33554432000 4194304 16246674 140736327441936 140736327424936 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13100/statm: 326545 267989 874 2943 0 323439 0
[pid=13100/tid=13101] ppid=13097 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13101/stat : 13101 (toysat) S 13097 13100 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10150184 1337528320 267989 33554432000 4194304 16246674 140736327441936 140074531400944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13100/tid=13102] ppid=13097 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13102/stat : 13102 (toysat) S 13097 13100 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10150184 1337528320 267989 33554432000 4194304 16246674 140736327441936 140074452757744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13100/tid=13103] ppid=13097 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10150184 1337528320 267989 33554432000 4194304 16246674 140736327441936 140074442284208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 13106
/proc/meminfo: memFree=29891716/32872528 swapFree=7268/7268
[pid=13100] ppid=13097 vsize=1307204 CPUtime=102.28 cores=0,2,4,6
/proc/13100/stat : 13100 (toysat) R 13097 13100 9721 0 -1 4202496 267795 0 0 0 10192 36 0 0 20 0 4 0 10150183 1338576896 268120 33554432000 4194304 16246674 140736327441936 140736327424936 5827686 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13100/statm: 326801 268120 875 2943 0 323695 0
[pid=13100/tid=13101] ppid=13097 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13101/stat : 13101 (toysat) S 13097 13100 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10150184 1338576896 268120 33554432000 4194304 16246674 140736327441936 140074531400944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13100/tid=13102] ppid=13097 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13102/stat : 13102 (toysat) S 13097 13100 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10150184 1338576896 268120 33554432000 4194304 16246674 140736327441936 140074452757744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13100/tid=13103] ppid=13097 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10150184 1338576896 268120 33554432000 4194304 16246674 140736327441936 140074442284208 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) 1307204


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

/proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10150184 1341722624 269271 33554432000 4194304 16246674 140736327441936 140074442284208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1310276

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/185 13159
/proc/meminfo: memFree=29868504/32872528 swapFree=7268/7268
[pid=13100] ppid=13097 vsize=1310276 CPUtime=1301.83 cores=0,2,4,6
/proc/13100/stat : 13100 (toysat) R 13097 13100 9721 0 -1 4202496 269121 0 0 0 130135 48 0 0 20 0 4 0 10150183 1341722624 269271 33554432000 4194304 16246674 140736327441936 140736327423808 5822224 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13100/statm: 327569 269271 876 2943 0 324463 0
[pid=13100/tid=13101] ppid=13097 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13101/stat : 13101 (toysat) S 13097 13100 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10150184 1341722624 269271 33554432000 4194304 16246674 140736327441936 140074531400944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13100/tid=13102] ppid=13097 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13102/stat : 13102 (toysat) S 13097 13100 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10150184 1341722624 269271 33554432000 4194304 16246674 140736327441936 140074452757744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13100/tid=13103] ppid=13097 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10150184 1341722624 269271 33554432000 4194304 16246674 140736327441936 140074442284208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1310276

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/185 13160
/proc/meminfo: memFree=29868536/32872528 swapFree=7268/7268
[pid=13100] ppid=13097 vsize=1310276 CPUtime=1361.8 cores=0,2,4,6
/proc/13100/stat : 13100 (toysat) R 13097 13100 9721 0 -1 4202496 269165 0 0 0 136132 48 0 0 20 0 4 0 10150183 1341722624 269271 33554432000 4194304 16246674 140736327441936 140736327423808 5677888 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13100/statm: 327569 269271 876 2943 0 324463 0
[pid=13100/tid=13101] ppid=13097 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13101/stat : 13101 (toysat) S 13097 13100 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10150184 1341722624 269271 33554432000 4194304 16246674 140736327441936 140074531400944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13100/tid=13102] ppid=13097 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13102/stat : 13102 (toysat) S 13097 13100 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10150184 1341722624 269271 33554432000 4194304 16246674 140736327441936 140074452757744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13100/tid=13103] ppid=13097 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10150184 1341722624 269271 33554432000 4194304 16246674 140736327441936 140074442284208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 1310276

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 13161
/proc/meminfo: memFree=29867560/32872528 swapFree=7268/7268
[pid=13100] ppid=13097 vsize=1310276 CPUtime=1421.79 cores=0,2,4,6
/proc/13100/stat : 13100 (toysat) R 13097 13100 9721 0 -1 4202496 269167 0 0 0 142131 48 0 0 20 0 4 0 10150183 1341722624 269271 33554432000 4194304 16246674 140736327441936 140736327423808 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13100/statm: 327569 269271 876 2943 0 324463 0
[pid=13100/tid=13101] ppid=13097 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13101/stat : 13101 (toysat) S 13097 13100 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10150184 1341722624 269271 33554432000 4194304 16246674 140736327441936 140074531400944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13100/tid=13102] ppid=13097 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13102/stat : 13102 (toysat) S 13097 13100 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10150184 1341722624 269271 33554432000 4194304 16246674 140736327441936 140074452757744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13100/tid=13103] ppid=13097 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10150184 1341722624 269271 33554432000 4194304 16246674 140736327441936 140074442284208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 1310276

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 13162
/proc/meminfo: memFree=29867464/32872528 swapFree=7268/7268
[pid=13100] ppid=13097 vsize=1310276 CPUtime=1481.78 cores=0,2,4,6
/proc/13100/stat : 13100 (toysat) R 13097 13100 9721 0 -1 4202496 269167 0 0 0 148129 49 0 0 20 0 4 0 10150183 1341722624 269271 33554432000 4194304 16246674 140736327441936 140736327423808 13192816 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13100/statm: 327569 269271 876 2943 0 324463 0
[pid=13100/tid=13101] ppid=13097 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13101/stat : 13101 (toysat) S 13097 13100 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10150184 1341722624 269271 33554432000 4194304 16246674 140736327441936 140074531400944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13100/tid=13102] ppid=13097 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13102/stat : 13102 (toysat) S 13097 13100 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10150184 1341722624 269271 33554432000 4194304 16246674 140736327441936 140074452757744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13100/tid=13103] ppid=13097 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10150184 1341722624 269271 33554432000 4194304 16246674 140736327441936 140074442284208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 1310276

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 13163
/proc/meminfo: memFree=29867592/32872528 swapFree=7268/7268
[pid=13100] ppid=13097 vsize=1310276 CPUtime=1541.78 cores=0,2,4,6
/proc/13100/stat : 13100 (toysat) R 13097 13100 9721 0 -1 4202496 269167 0 0 0 154128 50 0 0 20 0 4 0 10150183 1341722624 269271 33554432000 4194304 16246674 140736327441936 140736327423808 5523513 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13100/statm: 327569 269271 876 2943 0 324463 0
[pid=13100/tid=13101] ppid=13097 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13101/stat : 13101 (toysat) S 13097 13100 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10150184 1341722624 269271 33554432000 4194304 16246674 140736327441936 140074531400944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13100/tid=13102] ppid=13097 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13102/stat : 13102 (toysat) S 13097 13100 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10150184 1341722624 269271 33554432000 4194304 16246674 140736327441936 140074452757744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13100/tid=13103] ppid=13097 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10150184 1341722624 269271 33554432000 4194304 16246674 140736327441936 140074442284208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 1310276

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/186 13168
/proc/meminfo: memFree=29867584/32872528 swapFree=7268/7268
[pid=13100] ppid=13097 vsize=1310276 CPUtime=1601.76 cores=0,2,4,6
/proc/13100/stat : 13100 (toysat) R 13097 13100 9721 0 -1 4202496 269167 0 0 0 160126 50 0 0 20 0 4 0 10150183 1341722624 269271 33554432000 4194304 16246674 140736327441936 140736327423808 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13100/statm: 327569 269271 876 2943 0 324463 0
[pid=13100/tid=13101] ppid=13097 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13101/stat : 13101 (toysat) S 13097 13100 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10150184 1341722624 269271 33554432000 4194304 16246674 140736327441936 140074531400944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13100/tid=13102] ppid=13097 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13102/stat : 13102 (toysat) S 13097 13100 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10150184 1341722624 269271 33554432000 4194304 16246674 140736327441936 140074452757744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13100/tid=13103] ppid=13097 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10150184 1341722624 269271 33554432000 4194304 16246674 140736327441936 140074442284208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 1310276

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 13169
/proc/meminfo: memFree=29867600/32872528 swapFree=7268/7268
[pid=13100] ppid=13097 vsize=1310276 CPUtime=1661.75 cores=0,2,4,6
/proc/13100/stat : 13100 (toysat) R 13097 13100 9721 0 -1 4202496 269167 0 0 0 166125 50 0 0 20 0 4 0 10150183 1341722624 269271 33554432000 4194304 16246674 140736327441936 140736327423808 5861752 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13100/statm: 327569 269271 876 2943 0 324463 0
[pid=13100/tid=13101] ppid=13097 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13101/stat : 13101 (toysat) S 13097 13100 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10150184 1341722624 269271 33554432000 4194304 16246674 140736327441936 140074531400944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13100/tid=13102] ppid=13097 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13102/stat : 13102 (toysat) S 13097 13100 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10150184 1341722624 269271 33554432000 4194304 16246674 140736327441936 140074452757744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13100/tid=13103] ppid=13097 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10150184 1341722624 269271 33554432000 4194304 16246674 140736327441936 140074442284208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 1310276

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 13170
/proc/meminfo: memFree=29867736/32872528 swapFree=7268/7268
[pid=13100] ppid=13097 vsize=1310276 CPUtime=1721.74 cores=0,2,4,6
/proc/13100/stat : 13100 (toysat) R 13097 13100 9721 0 -1 4202496 269167 0 0 0 172124 50 0 0 20 0 4 0 10150183 1341722624 269271 33554432000 4194304 16246674 140736327441936 140736327423808 5546219 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13100/statm: 327569 269271 876 2943 0 324463 0
[pid=13100/tid=13101] ppid=13097 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13101/stat : 13101 (toysat) S 13097 13100 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10150184 1341722624 269271 33554432000 4194304 16246674 140736327441936 140074531400944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13100/tid=13102] ppid=13097 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13102/stat : 13102 (toysat) S 13097 13100 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10150184 1341722624 269271 33554432000 4194304 16246674 140736327441936 140074452757744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13100/tid=13103] ppid=13097 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10150184 1341722624 269271 33554432000 4194304 16246674 140736327441936 140074442284208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1310276

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 13171
/proc/meminfo: memFree=29867128/32872528 swapFree=7268/7268
[pid=13100] ppid=13097 vsize=1310276 CPUtime=1781.74 cores=0,2,4,6
/proc/13100/stat : 13100 (toysat) R 13097 13100 9721 0 -1 4202496 269167 0 0 0 178123 51 0 0 20 0 4 0 10150183 1341722624 269271 33554432000 4194304 16246674 140736327441936 140736327424936 5822432 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13100/statm: 327569 269271 876 2943 0 324463 0
[pid=13100/tid=13101] ppid=13097 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13101/stat : 13101 (toysat) S 13097 13100 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10150184 1341722624 269271 33554432000 4194304 16246674 140736327441936 140074531400944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13100/tid=13102] ppid=13097 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13102/stat : 13102 (toysat) S 13097 13100 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10150184 1341722624 269271 33554432000 4194304 16246674 140736327441936 140074452757744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13100/tid=13103] ppid=13097 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10150184 1341722624 269271 33554432000 4194304 16246674 140736327441936 140074442284208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1310276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.08 2.02 2.01 3/185 13220
/proc/meminfo: memFree=30349856/32872528 swapFree=7268/7268
[pid=13100] ppid=13097 vsize=1310276 CPUtime=1800.03 cores=0,2,4,6
/proc/13100/stat : 13100 (toysat) R 13097 13100 9721 0 -1 4202496 269167 0 0 0 179952 51 0 0 20 0 4 0 10150183 1341722624 269271 33554432000 4194304 16246674 140736327441936 140736327423808 12478212 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13100/statm: 327569 269271 876 2943 0 324463 0
[pid=13100/tid=13101] ppid=13097 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13101/stat : 13101 (toysat) S 13097 13100 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10150184 1341722624 269271 33554432000 4194304 16246674 140736327441936 140074531400944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13100/tid=13102] ppid=13097 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13102/stat : 13102 (toysat) S 13097 13100 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10150184 1341722624 269271 33554432000 4194304 16246674 140736327441936 140074452757744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13100/tid=13103] ppid=13097 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13100/task/13103/stat : 13103 (toysat) S 13097 13100 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10150184 1341722624 269271 33554432000 4194304 16246674 140736327441936 140074442284208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1310276

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 13100 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.04
CPU user time (s): 1799.53
CPU system time (s): 0.511922
CPU usage (%): 99.9687
Max. virtual memory (cumulated for all children) (KiB): 1310276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.511922
maximum resident set size= 1077084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269167
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= 490
involuntary context switches= 1842

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.9168 second user time and 9.58054 second system time

The end

Launcher Data 

Begin job on node133 at 2016-06-16 14:44:03
IDJOB=4093304
IDBENCH=78700
IDSOLVER=2553
FILE ID=node133/4093304-1466081043
RUNJOBID= node133-1466075558-12321
PBS_JOBID= 19904006
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr--soft-33-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093304-1466081043/watcher-4093304-1466081043 -o /tmp/evaluation-result-4093304-1466081043/solver-4093304-1466081043 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1466075558-12321 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093304-1466081043.wbo

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

MD5SUM BENCH= f76bfef4498edf916ad0f53b817cfd69
RANDOM SEED=171864175

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30972772 kB
Buffers:           25396 kB
Cached:            97380 kB
SwapCached:         1880 kB
Active:          1148828 kB
Inactive:          46284 kB
Active(anon):    1073344 kB
Inactive(anon):     1228 kB
Active(file):      75484 kB
Inactive(file):    45056 kB
Unevictable:        7268 kB
Mlocked:            7268 kB
SwapTotal:      67108856 kB
SwapFree:       67098884 kB
Dirty:             32952 kB
Writeback:             0 kB
AnonPages:       1078768 kB
Mapped:            10584 kB
Shmem:                 0 kB
Slab:             567100 kB
SReclaimable:      10308 kB
SUnreclaim:       556792 kB
KernelStack:        1528 kB
PageTables:         5888 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1226560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node133 at 2016-06-16 15:14:03