Trace number 4100017

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.03 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran12x21.opb
MD5SUMc8eb834e0a7928e8a3e340a1c0512bdc
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.06199
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables7812
Total number of constraints285
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints285
Minimum length of a constraint31
Maximum length of a constraint630
Number of terms in the objective function 7812
Biggest coefficient in the objective function 1825
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 530518
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 530518
Number of bits of the biggest sum of numbers20
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-18T02:29:29+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4100017-1466209769.opb"]
0.00/0.01	c use --random-gen="2276374802 4042969537 4148742774 116247741 3577013668 890745289 3364619062 1342392407 3396522468 1910712366 3296874313 2346201202 3291627067 3555745046 365654310 1578838959 382305281 2812720827 2169728770 4050552157 1007436294 3932528293 2138874243 2767998947 386459020 1899052307 2463633571 453278054 1208823209 2002976538 3299288806 3520082056 671045460 1319439291 194234013 1334281633 3076304531 2146404090 1616510399 3634908456 296673229 1602152041 1970083448 3544815161 1926207625 1362453348 2866315831 817932313 2328399164 1414212134 2475384903 3274737111 2978022716 778047473 3086339326 3980176921 1706193469 611965050 2158927093 3153327041 1981618174 2981152122 2800489215 2877523991 1290833273 4065278907 2320466915 3672727350 1518927847 3447827703 3776608684 2902149529 3523745931 814784175 581331964 2396286224 2604111868 1090373040 859261046 1987118145 2364362807 3046967274 405520789 1395168553 2839897027 3966362115 1426223720 2162668743 851358380 3170792976 250125110 2841117489 3151136674 3340435321 3463053791 1913259571 3098943610 4186779672 1425239488 3081379950 2363628873 4062020699 2068769785 199506320 2280438780 2332298772 2915225477 358534793 1899217201 236378843 2437218218 3953392514 2856034059 3988434277 4109367979 531547070 1667522973 3929888715 3332223328 3702135330 3190363385 214304059 1353870188 3179054316 180149454 750150429 2279247842 4285563510 1997722959 625690570 1405312416 752101326 2265882791 3739788344 2849454935 3165469691 307106547 136738742 2377620949 3178548765 2289345714 287701524 1961554204 3695663957 2728786323 118916645 1040152074 3606169937 1324090254 1583481601 3092700382 4163709947 993563967 2702294537 240898020 2115690537 1544940155 2888247463 3115958662 2625959640 21935905 3050231661 2029759000 4104604107 4173043764 4182260450 1756922409 61921443 2107820441 4380138 842702518 3874088985 2799805685 3912461511 3303253896 3791389557 3034656423 2766882874 100526367 315744732 1114516902 3847729883 1422087083 105952960 3465671110 636413958 3553917920 1341305533 677682549 3655155684 32179885 417463373 2490669948 3338734229 2462721768 2084190944 337259876 3337630744 980509704 2462513946 232533391 3840139133 1743146789 2692806552 2598689575 2112736850 3970286715 1854264369 2445960339 617295255 2426276103 3524882671 2157028292 3598678285 584980378 705882984 150035296 735436683 2146021629 2533007067 2151773348 616980634 4168654097 2871611847 1717122440 653056227 2340678619 343801978 3185498052 742539794 3197708371 3196125558 2032949155 502910957 1020123456 1595799469 332481810 56663073 1044290513 3227318701 4073429843 1373495037 240495037 2226422949 307828150 4059698433 1763661323 1640795246 4003970250 1672399243 1984328815 4115932617 3658197323 3775011020 834805623 3155650508 255 362436" option to reproduce the execution
0.00/0.07	c #vars 7812
0.00/0.07	c #constraints 285
0.09/0.17	c BCD2: Hardening is enabled.
0.09/0.17	c BCD2: BiasedSearch is enabled.
0.09/0.17	c Solving starts ...
0.09/0.17	c ============================[ Search Statistics ]============================
0.09/0.17	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.17	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.17	c =============================================================================
0.09/0.17	c  0.0s |       0 |        0 |        0 |     2710      0 |     4053 |        0
0.39/0.48	c  0.3s |       1 |      514 |      100 |     2710      0 |     4053 |        0
0.99/1.08	c  0.9s |       2 |     2023 |      250 |     2982      0 |     4053 |        0
2.30/2.35	c  2.2s |       3 |     4315 |      475 |     3281      0 |     4053 |        0
3.69/3.71	c  3.5s |       4 |     6738 |      813 |     3610      0 |     4053 |        0
5.39/5.42	c  5.3s |       5 |     8812 |     1320 |     3972      0 |     4053 |        0
7.79/7.84	c  7.7s |       5 |    11824 |     2020 |     4370      0 |     4053 |        0
7.99/8.08	c  7.9s |       6 |    12099 |     2081 |     4807      0 |     4053 |        0
10.39/10.45	c 10.3s |       6 |    15124 |     2681 |     4807      0 |     4053 |        0
12.59/12.61	c 12.4s |       6 |    16347 |     3081 |     4807      0 |     4053 |        0
13.49/13.55	c 13.4s |       7 |    16698 |     3223 |     5288      0 |     4053 |        0
15.99/16.09	c 15.9s |       7 |    22115 |     3923 |     5288      0 |     4053 |        0
18.19/18.27	c 18.1s |       7 |    24872 |     4423 |     5288      0 |     4053 |        0
20.38/20.47	c 20.3s |       7 |    25661 |     4923 |     5817      0 |     4053 |        0
20.48/20.52	c 20.4s |       8 |    25693 |     4936 |     5817      0 |     4053 |        0
22.98/23.00	c 22.8s |       8 |    28267 |     5336 |     5817      0 |     4053 |        0
24.98/25.04	c 24.9s |       8 |    29809 |     5636 |     5817      0 |     4053 |        0
27.28/27.31	c 27.1s |       8 |    31397 |     6036 |     5817      0 |     4053 |        0
29.28/29.32	c 29.2s |       8 |    32226 |     6336 |     5817      0 |     4053 |        0
31.68/31.77	c 31.6s |       8 |    33693 |     6836 |     5817      0 |     4053 |        0
34.19/34.29	c 34.1s |       8 |    35442 |     7336 |     5817      0 |     4053 |        0
34.98/35.07	c 34.9s |       9 |    36398 |     7506 |     6399      0 |     4053 |        0
37.28/37.36	c 37.2s |       9 |    39348 |     8106 |     6399      0 |     4053 |        0
39.38/39.49	c 39.3s |       9 |    40873 |     8606 |     6399      0 |     4053 |        0
41.58/41.62	c 41.4s |       9 |    42487 |     9006 |     6399      0 |     4053 |        0
43.59/43.64	c 43.5s |       9 |    44091 |     9306 |     6399      0 |     4053 |        0
46.19/46.25	c 46.1s |       9 |    45523 |     9706 |     6399      0 |     4053 |        0
48.39/48.45	c 48.3s |       9 |    46394 |     9906 |     6399      0 |     4053 |        0
50.59/50.68	c 50.5s |       9 |    47302 |    10106 |     6399      0 |     4053 |        0
52.79/52.83	c 52.7s |       9 |    48100 |    10306 |     6399      0 |     4053 |        0
55.09/55.20	c 55.0s |       9 |    48709 |    10506 |     6399      0 |     4053 |        0
57.39/57.48	c 57.3s |       9 |    49574 |    10806 |     6399      0 |     4053 |        0
60.59/60.64	c 60.5s |       9 |    50940 |    11206 |     6399      0 |     4053 |        0
61.79/61.88	c 61.7s |      10 |    51646 |    11361 |     7039      0 |     4053 |        0
63.99/64.07	c 63.9s |      10 |    55825 |    12361 |     7039      1 |     4053 |        0
66.09/66.20	c 66.0s |      10 |    57643 |    13161 |     7039      1 |     4053 |        0
68.18/68.26	c 68.1s |      10 |    60078 |    13961 |     7039      1 |     4053 |        0
70.38/70.43	c 70.3s |      10 |    62919 |    14961 |     7039      1 |     4053 |        0
72.38/72.49	c 72.3s |      10 |    66038 |    15861 |     7039      1 |     4053 |        0
74.48/74.51	c 74.3s |      10 |    68697 |    16861 |     7039      1 |     4053 |        0
74.98/75.03	c 74.9s |      11 |    69647 |    17144 |     7743      1 |     4053 |        0
77.37/77.46	c 77.3s |      11 |    73572 |    17744 |     7743      1 |     4053 |        0
79.98/80.07	c 79.9s |      11 |    75491 |    18144 |     7743      1 |     4053 |        0
82.69/82.71	c 82.5s |      11 |    78099 |    18544 |     7743      1 |     4053 |        0
84.98/85.03	c 84.9s |      11 |    79203 |    18844 |     7743      1 |     4053 |        0
86.98/87.09	c 86.9s |      11 |    80475 |    19144 |     7743      1 |     4053 |        0
89.28/89.32	c 89.1s |      11 |    81538 |    19444 |     7743      1 |     4053 |        0
91.28/91.36	c 91.2s |      11 |    82407 |    19744 |     7743      1 |     4053 |        0
93.37/93.47	c 93.3s |      11 |    83238 |    20044 |     7743      1 |     4053 |        0
95.88/95.97	c 95.8s |      11 |    83922 |    20344 |     7743      1 |     4053 |        0
98.67/98.74	c 98.6s |      11 |    84796 |    20644 |     7743      2 |     4053 |        0
101.77/101.80	c  101s |      11 |    86369 |    20944 |     7743      2 |     4053 |        0
104.17/104.29	c  104s |      11 |    87545 |    21244 |     7743      2 |     4053 |        0
106.67/106.80	c  106s |      11 |    88837 |    21544 |     7743      2 |     4053 |        0
109.47/109.56	c  109s |      11 |    89575 |    21844 |     7743      2 |     4053 |        0
112.28/112.32	c  112s |      11 |    90653 |    22144 |     7743      2 |     4053 |        0
114.78/114.86	c  114s |      11 |    91650 |    22444 |     7743      2 |     4053 |        0
117.47/117.56	c  117s |      11 |    92360 |    22744 |     7743      2 |     4053 |        0
120.47/120.55	c  120s |      11 |    92969 |    23044 |     7743      2 |     4053 |        0
123.07/123.18	c  123s |      11 |    93635 |    23344 |     7743      2 |     4053 |        0
125.17/125.24	c  125s |      11 |    93876 |    23544 |     7743      2 |     4053 |        0
127.97/128.08	c  127s |      11 |    95124 |    23844 |     7743      2 |     4053 |        0
130.67/130.70	c  130s |      11 |    96519 |    24144 |     7743      2 |     4053 |        0
132.67/132.76	c  132s |      11 |    97049 |    24344 |     7743      2 |     4053 |        0
135.37/135.46	c  135s |      11 |    97990 |    24644 |     7743      2 |     4053 |        0
137.67/137.79	c  137s |      11 |    98777 |    24844 |     7743      2 |     4053 |        0
139.87/139.94	c  139s |      11 |    99516 |    25044 |     7743      2 |     4053 |        0
142.07/142.14	c  141s |      11 |   100066 |    25244 |     7743      2 |     4053 |        0
144.67/144.77	c  144s |      11 |   101643 |    25544 |     7743      2 |     4053 |        0
146.87/146.98	c  146s |      11 |   102422 |    25744 |     8518      2 |     4053 |        0
147.37/147.49	c  147s |      12 |   102697 |    25819 |     8518      2 |     4053 |        0
149.67/149.80	c  149s |      12 |   105815 |    26319 |     8518      3 |     4053 |        0
152.07/152.10	c  151s |      12 |   108724 |    26719 |     8518      3 |     4053 |        0
154.27/154.33	c  154s |      12 |   110223 |    27019 |     8518      3 |     4053 |        0
156.67/156.70	c  156s |      12 |   112373 |    27319 |     8518      3 |     4053 |        0
159.67/159.70	c  159s |      12 |   114253 |    27619 |     8518      3 |     4053 |        0
161.96/162.09	c  161s |      12 |   115957 |    27919 |     8518      3 |     4053 |        0
164.46/164.53	c  164s |      12 |   119565 |    28219 |     8518      3 |     4053 |        0
166.66/166.74	c  166s |      12 |   121417 |    28419 |     8518      3 |     4053 |        0
169.36/169.41	c  169s |      12 |   122270 |    28619 |     8518      3 |     4053 |        0
172.16/172.25	c  172s |      12 |   124598 |    28919 |     8518      3 |     4053 |        0
175.15/175.23	c  175s |      12 |   127605 |    29219 |     8518      3 |     4053 |        0
177.56/177.66	c  177s |      12 |   129103 |    29419 |     8518      3 |     4053 |        0
180.47/180.60	c  180s |      12 |   131330 |    29719 |     8518      3 |     4053 |        0
182.56/182.69	c  182s |      12 |   132288 |    29919 |     8518      3 |     4053 |        0
184.76/184.84	c  184s |      12 |   133709 |    30219 |     8518      3 |     4053 |        0
187.17/187.25	c  187s |      12 |   135810 |    30619 |     8518      3 |     4053 |        0
189.66/189.73	c  189s |      12 |   138043 |    31019 |     8518      3 |     4053 |        0
192.06/192.13	c  191s |      12 |   139396 |    31319 |     8518      3 |     4053 |        0
194.45/194.55	c  194s |      12 |   140755 |    31619 |     8518      3 |     4053 |        0
196.75/196.86	c  196s |      12 |   142577 |    31919 |     8518      3 |     4053 |        0
200.05/200.18	c  200s |      12 |   143879 |    32219 |     8518      3 |     4053 |        0
202.36/202.40	c  202s |      12 |   145315 |    32519 |     8518      3 |     4053 |        0
204.46/204.55	c  204s |      12 |   146616 |    32819 |     8518      3 |     4053 |        0
207.36/207.47	c  207s |      12 |   147680 |    33119 |     8518      3 |     4053 |        0
209.46/209.56	c  209s |      12 |   148383 |    33319 |     8518      3 |     4053 |        0
211.76/211.84	c  211s |      12 |   149132 |    33519 |     8518      3 |     4053 |        0
213.75/213.89	c  213s |      12 |   150032 |    33819 |     8518      3 |     4053 |        0
216.05/216.12	c  215s |      12 |   150990 |    34119 |     8518      3 |     4053 |        0
218.45/218.51	c  218s |      12 |   152136 |    34419 |     8518      3 |     4053 |        0
220.65/220.75	c  220s |      12 |   152791 |    34619 |     8518      4 |     4053 |        0
222.75/222.85	c  222s |      12 |   154209 |    34919 |     8518      4 |     4053 |        0
225.66/225.73	c  225s |      12 |   155147 |    35219 |     8518      4 |     4053 |        0
228.46/228.59	c  228s |      12 |   156166 |    35519 |     8518      4 |     4053 |        0
230.75/230.87	c  230s |      12 |   156704 |    35719 |     8518      4 |     4053 |        0
233.15/233.21	c  233s |      12 |   157343 |    35919 |     8518      4 |     4053 |        0
235.55/235.66	c  235s |      12 |   158631 |    36219 |     8518      4 |     4053 |        0
238.24/238.36	c  238s |      12 |   160192 |    36519 |     8518      4 |     4053 |        0
240.34/240.46	c  240s |      12 |   160634 |    36719 |     8518      4 |     4053 |        0
242.44/242.55	c  242s |      12 |   161662 |    36919 |     8518      4 |     4053 |        0
244.64/244.76	c  244s |      12 |   162650 |    37119 |     8518      4 |     4053 |        0
247.15/247.28	c  247s |      12 |   163271 |    37319 |     8518      4 |     4053 |        0
249.86/249.96	c  249s |      12 |   163963 |    37519 |     8518      4 |     4053 |        0
252.95/253.06	c  252s |      12 |   165319 |    37819 |     8518      4 |     4053 |        0
255.65/255.79	c  255s |      12 |   166852 |    38119 |     8518      4 |     4053 |        0
257.74/257.84	c  257s |      12 |   167353 |    38319 |     8518      4 |     4053 |        0
259.84/259.92	c  259s |      12 |   168097 |    38519 |     8518      4 |     4053 |        0
262.04/262.12	c  261s |      12 |   168777 |    38719 |     9370      4 |     4053 |        0
263.34/263.44	c  263s |      13 |   169199 |    38832 |     9370      4 |     4053 |        0
265.44/265.52	c  265s |      13 |   172530 |    39332 |     9370      4 |     4053 |        0
267.54/267.61	c  267s |      13 |   175048 |    40132 |     9370      4 |     4053 |        0
269.66/269.78	c  269s |      13 |   179121 |    41132 |     9370      4 |     4053 |        0
271.65/271.80	c  271s |      13 |   182112 |    41732 |     9370      5 |     4053 |        0
273.85/273.90	c  273s |      13 |   184933 |    42432 |     9370      5 |     4053 |        0
276.05/276.12	c  275s |      13 |   188019 |    43132 |     9370      5 |     4053 |        0
278.04/278.17	c  278s |      13 |   189964 |    43632 |     9370      5 |     4053 |        0
280.04/280.19	c  280s |      13 |   191253 |    44032 |     9370      5 |     4053 |        0
282.34/282.46	c  282s |      13 |   192850 |    44532 |     9370      5 |     4053 |        0
284.74/284.84	c  284s |      13 |   194708 |    45032 |     9370      5 |     4053 |        0
286.74/286.86	c  286s |      13 |   195974 |    45532 |     9370      5 |     4053 |        0
288.84/288.90	c  288s |      13 |   198099 |    46132 |     9370      5 |     4053 |        0
290.83/290.91	c  290s |      13 |   201160 |    46832 |     9370      5 |     4053 |        0
292.84/292.97	c  292s |      13 |   204506 |    47632 |     9370      5 |     4053 |        0
294.95/295.01	c  294s |      13 |   206783 |    48132 |     9370      5 |     4053 |        0
297.04/297.16	c  296s |      13 |   210347 |    48732 |     9370      5 |     4053 |        0
299.83/299.97	c  299s |      13 |   212143 |    49232 |     9370      6 |     4053 |        0
302.03/302.18	c  302s |      13 |   213965 |    49832 |     9370      6 |     4053 |        0
304.13/304.29	c  304s |      13 |   216497 |    50532 |     9370      6 |     4053 |        0
306.23/306.34	c  306s |      13 |   218932 |    51232 |     9370      6 |     4053 |        0
308.33/308.44	c  308s |      13 |   221575 |    51932 |     9370      6 |     4053 |        0
310.43/310.53	c  310s |      13 |   224024 |    52532 |     9370      6 |     4053 |        0
312.94/313.10	c  312s |      13 |   226584 |    53132 |     9370      6 |     4053 |        0
315.33/315.40	c  315s |      13 |   229234 |    53732 |     9370      6 |     4053 |        0
317.53/317.60	c  317s |      13 |   231765 |    54432 |     9370      6 |     4053 |        0
319.53/319.66	c  319s |      13 |   234082 |    55032 |     9370      6 |     4053 |        0
321.53/321.68	c  321s |      13 |   236305 |    55632 |     9370      6 |     4053 |        0
323.63/323.70	c  323s |      13 |   237756 |    56132 |     9370      6 |     4053 |        0
325.83/325.94	c  325s |      13 |   238862 |    56532 |     9370      7 |     4053 |        0
328.33/328.45	c  328s |      13 |   241584 |    57232 |     9370      7 |     4053 |        0
331.33/331.44	c  331s |      13 |   243327 |    57732 |     9370      7 |     4053 |        0
333.13/333.20	c  333s |      14 |   245720 |    58352 |    10307      7 |     4053 |        0
335.23/335.30	c  335s |      14 |   249908 |    58752 |    10307      7 |     4053 |        0
337.53/337.64	c  337s |      14 |   252098 |    59252 |    10307      7 |     4053 |        0
339.73/339.81	c  339s |      14 |   253248 |    59652 |    10307      7 |     4053 |        0
341.73/341.86	c  341s |      14 |   254841 |    60052 |    10307      7 |     4053 |        0
343.83/343.97	c  343s |      14 |   255956 |    60352 |    10307      7 |     4053 |        0
346.13/346.23	c  346s |      14 |   257062 |    60652 |    10307      7 |     4053 |        0
348.12/348.29	c  348s |      14 |   258656 |    60952 |    10307      7 |     4053 |        0
350.52/350.63	c  350s |      14 |   260874 |    61352 |    10307      7 |     4053 |        0
352.52/352.68	c  352s |      14 |   261919 |    61652 |    10307      7 |     4053 |        0
354.72/354.80	c  354s |      14 |   263326 |    61952 |    10307      7 |     4053 |        0
356.92/357.01	c  356s |      14 |   264355 |    62252 |    10307      7 |     4053 |        0
358.92/359.09	c  358s |      14 |   265389 |    62552 |    10307      7 |     4053 |        0
361.42/361.53	c  361s |      14 |   266474 |    62852 |    10307      7 |     4053 |        0
364.02/364.12	c  363s |      14 |   267348 |    63152 |    10307      7 |     4053 |        0
366.43/366.59	c  366s |      14 |   268384 |    63452 |    10307      7 |     4053 |        0
369.02/369.18	c  369s |      14 |   269512 |    63752 |    10307      7 |     4053 |        0
371.72/371.80	c  371s |      14 |   270432 |    64052 |    10307      7 |     4053 |        0
374.21/374.35	c  374s |      14 |   271396 |    64352 |    10307      7 |     4053 |        0
376.81/376.97	c  376s |      14 |   272277 |    64652 |    10307      7 |     4053 |        0
379.53/379.66	c  379s |      14 |   273399 |    64952 |    10307      7 |     4053 |        0
381.62/381.73	c  381s |      14 |   276000 |    65252 |    10307      7 |     4053 |        0
383.82/383.98	c  383s |      14 |   277955 |    65752 |    10307      7 |     4053 |        0
386.12/386.22	c  386s |      14 |   279716 |    66252 |    10307      7 |     4053 |        0
388.22/388.31	c  388s |      14 |   280767 |    66552 |    10307      8 |     4053 |        0
390.62/390.74	c  390s |      14 |   282625 |    66952 |    10307      8 |     4053 |        0
392.72/392.82	c  392s |      14 |   283627 |    67252 |    10307      8 |     4053 |        0
394.81/394.94	c  394s |      14 |   285001 |    67552 |    10307      8 |     4053 |        0
397.00/397.18	c  397s |      14 |   286380 |    67852 |    10307      8 |     4053 |        0
399.32/399.42	c  399s |      14 |   287598 |    68152 |    10307      8 |     4053 |        0
401.41/401.58	c  401s |      14 |   288969 |    68452 |    10307      8 |     4053 |        0
403.72/403.88	c  403s |      14 |   289992 |    68752 |    10307      8 |     4053 |        0
405.81/405.92	c  405s |      14 |   291018 |    69052 |    10307      8 |     4053 |        0
408.11/408.29	c  408s |      14 |   292255 |    69352 |    10307      8 |     4053 |        0
410.50/410.61	c  410s |      14 |   293806 |    69652 |    10307      8 |     4053 |        0
412.70/412.83	c  412s |      14 |   295048 |    69952 |    10307      8 |     4053 |        0
415.20/415.35	c  415s |      14 |   296569 |    70252 |    10307      8 |     4053 |        0
417.60/417.76	c  417s |      14 |   297776 |    70552 |    10307      8 |     4053 |        0
420.11/420.27	c  420s |      14 |   298924 |    70852 |    10307      8 |     4053 |        0
422.70/422.80	c  422s |      14 |   300132 |    71152 |    10307      8 |     4053 |        0
425.20/425.37	c  425s |      14 |   301426 |    71452 |    10307      8 |     4053 |        0
427.80/427.91	c  427s |      14 |   302733 |    71752 |    10307      8 |     4053 |        0
430.60/430.71	c  430s |      14 |   303772 |    72052 |    10307      8 |     4053 |        0
433.19/433.38	c  433s |      14 |   305102 |    72352 |    10307      8 |     4053 |        0
436.09/436.23	c  436s |      14 |   306437 |    72652 |    10307      8 |     4053 |        0
438.90/439.03	c  438s |      14 |   307813 |    72952 |    10307      8 |     4053 |        0
441.39/441.56	c  441s |      14 |   308776 |    73252 |    10307      8 |     4053 |        0
443.69/443.83	c  443s |      14 |   309745 |    73552 |    10307      8 |     4053 |        0
445.89/446.09	c  445s |      14 |   310688 |    73852 |    10307      8 |     4053 |        0
448.38/448.56	c  448s |      14 |   311887 |    74152 |    10307      8 |     4053 |        0
450.58/450.76	c  450s |      14 |   313234 |    74552 |    10307      8 |     4053 |        0
453.58/453.71	c  453s |      14 |   315178 |    74952 |    10307      9 |     4053 |        0
455.99/456.12	c  455s |      14 |   316637 |    75352 |    10307      9 |     4053 |        0
458.39/458.54	c  458s |      14 |   317971 |    75652 |    10307      9 |     4053 |        0
460.79/460.96	c  460s |      14 |   319127 |    75952 |    10307      9 |     4053 |        0
462.99/463.13	c  462s |      14 |   320258 |    76252 |    10307      9 |     4053 |        0
465.88/466.02	c  465s |      14 |   321320 |    76552 |    10307      9 |     4053 |        0
468.18/468.38	c  468s |      14 |   322576 |    76852 |    10307      9 |     4053 |        0
470.79/470.91	c  470s |      14 |   323678 |    77152 |    10307      9 |     4053 |        0
473.29/473.42	c  473s |      14 |   324469 |    77452 |    10307      9 |     4053 |        0
475.88/476.03	c  475s |      14 |   325616 |    77752 |    10307      9 |     4053 |        0
478.38/478.57	c  478s |      14 |   326898 |    78052 |    10307      9 |     4053 |        0
481.18/481.32	c  481s |      14 |   327997 |    78352 |    10307      9 |     4053 |        0
483.67/483.83	c  483s |      14 |   328997 |    78652 |    10307      9 |     4053 |        0
486.29/486.46	c  486s |      14 |   329900 |    78952 |    10307      9 |     4053 |        0
488.68/488.89	c  488s |      14 |   331121 |    79252 |    10307      9 |     4053 |        0
491.37/491.54	c  491s |      14 |   332443 |    79552 |    10307      9 |     4053 |        0
494.07/494.23	c  494s |      14 |   333545 |    79852 |    10307      9 |     4053 |        0
497.07/497.22	c  497s |      14 |   334981 |    80152 |    10307      9 |     4053 |        0
499.57/499.72	c  499s |      14 |   336379 |    80452 |    10307      9 |     4053 |        0
502.17/502.31	c  502s |      14 |   337488 |    80752 |    10307      9 |     4053 |        0
504.98/505.16	c  504s |      14 |   338504 |    81052 |    10307      9 |     4053 |        0
507.86/508.02	c  507s |      14 |   339209 |    81352 |    10307      9 |     4053 |        0
510.86/511.05	c  510s |      14 |   340050 |    81652 |    10307      9 |     4053 |        0
513.86/514.09	c  513s |      14 |   340779 |    81952 |    10307      9 |     4053 |        0
515.97/516.11	c  515s |      14 |   341468 |    82152 |    10307      9 |     4053 |        0
518.86/519.08	c  518s |      14 |   342417 |    82452 |    10307      9 |     4053 |        0
521.86/522.04	c  521s |      14 |   343589 |    82752 |    10307      9 |     4053 |        0
524.66/524.88	c  524s |      14 |   344669 |    83052 |    10307      9 |     4053 |        0
527.65/527.81	c  527s |      14 |   345751 |    83352 |    10307      9 |     4053 |        0
530.85/531.08	c  530s |      14 |   346988 |    83652 |    10307     10 |     4053 |        0
533.05/533.26	c  533s |      14 |   347524 |    83752 |    10307     10 |     4053 |        0
535.66/535.81	c  535s |      14 |   349316 |    84152 |    10307     10 |     4053 |        0
537.75/537.90	c  537s |      14 |   350544 |    84452 |    10307     10 |     4053 |        0
539.85/540.02	c  539s |      14 |   351368 |    84752 |    10307     10 |     4053 |        0
542.15/542.30	c  542s |      14 |   352222 |    85052 |    10307     10 |     4053 |        0
544.74/544.94	c  544s |      14 |   353231 |    85352 |    10307     10 |     4053 |        0
546.94/547.19	c  547s |      14 |   354122 |    85652 |    10307     10 |     4053 |        0
549.04/549.24	c  549s |      14 |   354804 |    85952 |    10307     10 |     4053 |        0
551.54/551.76	c  551s |      14 |   356168 |    86252 |    10307     10 |     4053 |        0
553.74/553.99	c  553s |      14 |   357003 |    86552 |    10307     10 |     4053 |        0
556.44/556.63	c  556s |      14 |   357968 |    86852 |    10307     10 |     4053 |        0
559.14/559.33	c  559s |      14 |   359366 |    87152 |    11338     10 |     4053 |        0
562.15/562.37	c  562s |      14 |   360600 |    87452 |    11338     10 |     4053 |        0
563.94/564.14	c  563s |      15 |   361244 |    87632 |    11338     10 |     4053 |        0
566.04/566.23	c  566s |      15 |   363845 |    88232 |    11338     10 |     4053 |        0
568.34/568.52	c  568s |      15 |   365394 |    88732 |    11338     10 |     4053 |        0
570.64/570.84	c  570s |      15 |   367862 |    89232 |    11338     10 |     4053 |        0
572.84/573.09	c  572s |      15 |   369312 |    89832 |    11338     10 |     4053 |        0
575.04/575.21	c  575s |      15 |   370833 |    90332 |    11338     10 |     4053 |        0
577.14/577.39	c  577s |      15 |   372403 |    90932 |    11338     10 |     4053 |        0
579.54/579.78	c  579s |      15 |   373634 |    91432 |    11338     10 |     4053 |        0
582.04/582.22	c  582s |      15 |   374795 |    91932 |    11338     10 |     4053 |        0
584.24/584.46	c  584s |      15 |   375824 |    92332 |    11338     10 |     4053 |        0
586.73/586.92	c  586s |      15 |   376661 |    92732 |    11338     10 |     4053 |        0
589.13/589.38	c  589s |      15 |   377729 |    93132 |    11338     10 |     4053 |        0
591.63/591.84	c  591s |      15 |   378418 |    93432 |    11338     11 |     4053 |        0
594.13/594.36	c  594s |      15 |   379709 |    93832 |    11338     11 |     4053 |        0
596.33/596.51	c  596s |      15 |   381556 |    94232 |    11338     11 |     4053 |        0
598.63/598.84	c  598s |      15 |   382863 |    94732 |    11338     11 |     4053 |        0
600.83/601.07	c  600s |      15 |   383877 |    95132 |    11338     11 |     4053 |        0
603.13/603.36	c  603s |      15 |   384844 |    95532 |    11338     11 |     4053 |        0
605.53/605.76	c  605s |      15 |   385896 |    95932 |    11338     11 |     4053 |        0
608.23/608.46	c  608s |      15 |   387224 |    96332 |    11338     11 |     4053 |        0
610.92/611.12	c  610s |      15 |   388222 |    96632 |    11338     11 |     4053 |        0
612.92/613.12	c  612s |      15 |   389445 |    96932 |    11338     11 |     4053 |        0
615.02/615.24	c  615s |      15 |   390802 |    97332 |    11338     11 |     4053 |        0
617.62/617.83	c  617s |      15 |   391899 |    97732 |    11338     11 |     4053 |        0
619.92/620.15	c  619s |      15 |   392911 |    98132 |    11338     11 |     4053 |        0
622.32/622.56	c  622s |      15 |   394400 |    98532 |    11338     11 |     4053 |        0
624.72/624.97	c  624s |      15 |   396288 |    98932 |    11338     11 |     4053 |        0
627.11/627.33	c  627s |      15 |   398471 |    99332 |    11338     11 |     4053 |        0
629.82/630.01	c  629s |      15 |   399628 |    99632 |    11338     11 |     4053 |        0
632.32/632.56	c  632s |      15 |   400804 |   100032 |    11338     11 |     4053 |        0
634.62/634.81	c  634s |      15 |   402019 |   100332 |    11338     11 |     4053 |        0
636.61/636.84	c  636s |      15 |   403270 |   100632 |    11338     11 |     4053 |        0
638.81/639.02	c  638s |      15 |   403792 |   100832 |    11338     11 |     4053 |        0
641.22/641.50	c  641s |      15 |   404141 |   101132 |    11338     11 |     4053 |        0
643.42/643.62	c  643s |      15 |   404623 |   101432 |    11338     11 |     4053 |        0
646.00/646.26	c  646s |      15 |   405667 |   101732 |    11338     11 |     4053 |        0
648.70/648.92	c  648s |      15 |   406669 |   102032 |    11338     11 |     4053 |        0
651.01/651.26	c  651s |      15 |   407353 |   102232 |    11338     12 |     4053 |        0
653.71/653.99	c  653s |      15 |   408398 |   102532 |    11338     12 |     4053 |        0
656.01/656.21	c  656s |      15 |   409287 |   102832 |    11338     12 |     4053 |        0
658.71/658.90	c  658s |      15 |   410744 |   103232 |    11338     12 |     4053 |        0
661.01/661.29	c  661s |      15 |   411582 |   103532 |    11338     12 |     4053 |        0
663.10/663.38	c  663s |      15 |   412674 |   103832 |    11338     12 |     4053 |        0
665.50/665.77	c  665s |      15 |   414013 |   104132 |    11338     12 |     4053 |        0
667.80/668.00	c  667s |      15 |   415026 |   104432 |    11338     12 |     4053 |        0
669.91/670.17	c  670s |      15 |   416253 |   104732 |    11338     12 |     4053 |        0
672.01/672.27	c  672s |      15 |   417219 |   105032 |    11338     12 |     4053 |        0
674.50/674.76	c  674s |      15 |   418808 |   105432 |    11338     12 |     4053 |        0
677.00/677.23	c  677s |      15 |   419908 |   105732 |    11338     12 |     4053 |        0
679.20/679.48	c  679s |      15 |   421711 |   106132 |    11338     12 |     4053 |        0
682.01/682.20	c  682s |      15 |   423413 |   106532 |    11338     12 |     4053 |        0
684.00/684.23	c  684s |      15 |   424848 |   106832 |    11338     12 |     4053 |        0
686.69/686.97	c  686s |      15 |   426008 |   107132 |    11338     12 |     4053 |        0
689.09/689.34	c  689s |      15 |   427192 |   107432 |    11338     12 |     4053 |        0
691.39/691.60	c  691s |      15 |   428067 |   107732 |    11338     12 |     4053 |        0
693.49/693.75	c  693s |      15 |   428875 |   108032 |    11338     12 |     4053 |        0
695.90/696.11	c  695s |      15 |   429903 |   108332 |    11338     12 |     4053 |        0
698.19/698.43	c  698s |      15 |   431139 |   108632 |    11338     12 |     4053 |        0
700.89/701.17	c  701s |      15 |   432025 |   108932 |    11338     12 |     4053 |        0
703.09/703.38	c  703s |      15 |   433191 |   109232 |    11338     12 |     4053 |        0
705.78/706.04	c  705s |      15 |   433895 |   109532 |    11338     12 |     4053 |        0
707.88/708.11	c  707s |      15 |   434578 |   109732 |    11338     12 |     4053 |        0
710.08/710.39	c  710s |      15 |   435612 |   110032 |    11338     12 |     4053 |        0
712.69/712.96	c  712s |      15 |   436435 |   110332 |    11338     12 |     4053 |        0
715.59/715.82	c  715s |      15 |   437237 |   110632 |    11338     12 |     4053 |        0
717.69/717.90	c  717s |      15 |   438073 |   110832 |    11338     12 |     4053 |        0
720.28/720.57	c  720s |      15 |   439245 |   111132 |    11338     12 |     4053 |        0
723.18/723.49	c  723s |      15 |   440171 |   111432 |    11338     13 |     4053 |        0
726.18/726.46	c  726s |      15 |   441187 |   111732 |    11338     13 |     4053 |        0
728.48/728.76	c  728s |      15 |   441812 |   111932 |    11338     13 |     4053 |        0
730.88/731.15	c  730s |      15 |   442920 |   112232 |    11338     13 |     4053 |        0
733.68/733.96	c  733s |      15 |   443548 |   112532 |    11338     13 |     4053 |        0
736.28/736.58	c  736s |      15 |   444358 |   112832 |    11338     13 |     4053 |        0
738.77/739.06	c  738s |      15 |   445619 |   113132 |    11338     13 |     4053 |        0
741.48/741.79	c  741s |      15 |   446556 |   113432 |    11338     13 |     4053 |        0
743.98/744.27	c  744s |      15 |   447685 |   113732 |    11338     13 |     4053 |        0
746.98/747.28	c  747s |      15 |   448851 |   114032 |    11338     13 |     4053 |        0
750.08/750.34	c  750s |      15 |   449842 |   114332 |    11338     13 |     4053 |        0
752.78/753.04	c  752s |      15 |   450775 |   114632 |    11338     13 |     4053 |        0
755.18/755.44	c  755s |      15 |   451813 |   114932 |    11338     13 |     4053 |        0
757.78/758.01	c  757s |      15 |   453034 |   115232 |    11338     13 |     4053 |        0
759.77/760.02	c  759s |      15 |   453785 |   115432 |    11338     13 |     4053 |        0
761.87/762.15	c  761s |      15 |   454239 |   115632 |    11338     13 |     4053 |        0
764.07/764.37	c  764s |      15 |   454590 |   115832 |    11338     13 |     4053 |        0
767.27/767.54	c  767s |      15 |   455215 |   116132 |    11338     13 |     4053 |        0
769.38/769.60	c  769s |      15 |   455828 |   116332 |    11338     13 |     4053 |        0
772.37/772.64	c  772s |      15 |   456876 |   116632 |    11338     13 |     4053 |        0
774.57/774.89	c  774s |      15 |   457543 |   116832 |    11338     13 |     4053 |        0
777.68/777.96	c  777s |      15 |   458699 |   117132 |    11338     13 |     4053 |        0
780.78/781.08	c  780s |      15 |   459529 |   117432 |    11338     13 |     4053 |        0
783.28/783.50	c  783s |      15 |   460144 |   117632 |    11338     13 |     4053 |        0
786.17/786.46	c  786s |      15 |   461104 |   117932 |    11338     13 |     4053 |        0
788.37/788.64	c  788s |      15 |   461863 |   118132 |    11338     13 |     4053 |        0
790.57/790.84	c  790s |      15 |   462311 |   118332 |    11338     13 |     4053 |        0
792.67/792.98	c  792s |      15 |   462794 |   118532 |    11338     13 |     4053 |        0
794.87/795.19	c  795s |      15 |   463305 |   118732 |    11338     13 |     4053 |        0
797.07/797.34	c  797s |      15 |   463759 |   118932 |    11338     13 |     4053 |        0
799.97/800.20	c  800s |      15 |   464818 |   119232 |    11338     13 |     4053 |        0
802.87/803.19	c  803s |      15 |   465835 |   119532 |    11338     13 |     4053 |        0
805.17/805.43	c  805s |      15 |   466555 |   119732 |    11338     13 |     4053 |        0
807.17/807.50	c  807s |      15 |   467300 |   119932 |    11338     13 |     4053 |        0
809.48/809.76	c  809s |      15 |   467918 |   120132 |    11338     13 |     4053 |        0
812.17/812.47	c  812s |      15 |   468762 |   120332 |    11338     14 |     4053 |        0
814.97/815.23	c  815s |      15 |   469849 |   120632 |    11338     14 |     4053 |        0
817.47/817.74	c  817s |      15 |   470340 |   120832 |    11338     14 |     4053 |        0
819.77/820.00	c  819s |      15 |   470787 |   121032 |    11338     14 |     4053 |        0
821.97/822.20	c  822s |      15 |   471202 |   121232 |    11338     14 |     4053 |        0
824.37/824.66	c  824s |      15 |   472229 |   121532 |    11338     14 |     4053 |        0
826.46/826.76	c  826s |      15 |   473342 |   121832 |    11338     14 |     4053 |        0
828.56/828.88	c  828s |      15 |   474310 |   122132 |    11338     14 |     4053 |        0
830.86/831.11	c  830s |      15 |   475468 |   122432 |    11338     14 |     4053 |        0
833.36/833.67	c  833s |      15 |   476386 |   122732 |    11338     14 |     4053 |        0
835.97/836.29	c  836s |      15 |   476867 |   123032 |    11338     14 |     4053 |        0
838.47/838.73	c  838s |      15 |   477931 |   123432 |    11338     14 |     4053 |        0
840.57/840.85	c  840s |      15 |   478817 |   123732 |    11338     14 |     4053 |        0
842.77/843.00	c  842s |      15 |   479933 |   124032 |    11338     14 |     4053 |        0
844.86/845.17	c  845s |      15 |   480958 |   124332 |    11338     14 |     4053 |        0
847.26/847.50	c  847s |      15 |   481957 |   124632 |    11338     14 |     4053 |        0
849.76/850.07	c  849s |      15 |   482631 |   124932 |    11338     14 |     4053 |        0
852.26/852.54	c  852s |      15 |   483401 |   125232 |    11338     14 |     4053 |        0
854.46/854.77	c  854s |      15 |   484148 |   125532 |    11338     14 |     4053 |        0
856.66/856.93	c  856s |      15 |   484519 |   125732 |    11338     14 |     4053 |        0
859.46/859.78	c  859s |      15 |   485849 |   126032 |    11338     14 |     4053 |        0
862.16/862.44	c  862s |      15 |   486933 |   126332 |    11338     14 |     4053 |        0
864.36/864.64	c  864s |      15 |   487308 |   126532 |    11338     14 |     4053 |        0
866.76/867.08	c  866s |      15 |   487964 |   126832 |    11338     14 |     4053 |        0
869.25/869.50	c  869s |      15 |   488849 |   127132 |    11338     14 |     4053 |        0
871.66/871.94	c  871s |      15 |   489874 |   127432 |    11338     14 |     4053 |        0
874.16/874.42	c  874s |      15 |   491552 |   127732 |    11338     14 |     4053 |        0
876.36/876.68	c  876s |      15 |   492473 |   128032 |    11338     14 |     4053 |        0
879.16/879.43	c  879s |      15 |   493536 |   128332 |    11338     14 |     4053 |        0
881.26/881.59	c  881s |      15 |   493962 |   128532 |    11338     14 |     4053 |        0
884.16/884.48	c  884s |      15 |   495164 |   128832 |    11338     14 |     4053 |        0
886.96/887.28	c  887s |      15 |   496098 |   129132 |    11338     14 |     4053 |        0
889.25/889.52	c  889s |      15 |   496568 |   129332 |    11338     15 |     4053 |        0
891.65/891.99	c  891s |      15 |   497245 |   129632 |    11338     15 |     4053 |        0
893.95/894.21	c  894s |      15 |   498275 |   129932 |    11338     15 |     4053 |        0
896.46/896.72	c  896s |      15 |   499049 |   130232 |    11338     15 |     4053 |        0
899.15/899.47	c  899s |      15 |   500237 |   130632 |    11338     15 |     4053 |        0
901.76/902.08	c  901s |      15 |   500845 |   130932 |    12472     15 |     4053 |        0
904.25/904.57	c  904s |      15 |   501917 |   131232 |    12472     15 |     4053 |        0
906.75/907.06	c  906s |      15 |   502844 |   131532 |    12472     15 |     4053 |        0
906.95/907.21	c  907s |      16 |   502961 |   131552 |    12472     15 |     4053 |        0
908.95/909.28	c  909s |      16 |   504922 |   131952 |    12472     15 |     4053 |        0
911.55/911.81	c  911s |      16 |   506720 |   132452 |    12472     15 |     4053 |        0
913.55/913.86	c  913s |      16 |   508430 |   132852 |    12472     15 |     4053 |        0
915.95/916.27	c  916s |      16 |   510462 |   133252 |    12472     15 |     4053 |        0
918.15/918.42	c  918s |      16 |   512509 |   133652 |    12472     15 |     4053 |        0
920.25/920.51	c  920s |      16 |   514382 |   133952 |    12472     15 |     4053 |        0
922.66/922.90	c  922s |      16 |   515582 |   134252 |    12472     15 |     4053 |        0
924.85/925.12	c  924s |      16 |   517435 |   134552 |    12472     15 |     4053 |        0
927.05/927.35	c  927s |      16 |   519137 |   134952 |    12472     15 |     4053 |        0
929.25/929.55	c  929s |      16 |   521904 |   135352 |    12472     15 |     4053 |        0
931.85/932.17	c  932s |      16 |   523872 |   135652 |    12472     15 |     4053 |        0
935.15/935.49	c  935s |      16 |   525176 |   135952 |    12472     15 |     4053 |        0
937.65/937.98	c  937s |      16 |   526518 |   136252 |    12472     15 |     4053 |        0
940.55/940.85	c  940s |      16 |   528557 |   136552 |    12472     15 |     4053 |        0
942.75/943.07	c  942s |      16 |   529579 |   136752 |    12472     15 |     4053 |        0
945.05/945.32	c  945s |      16 |   530207 |   136952 |    12472     15 |     4053 |        0
947.45/947.79	c  947s |      16 |   531829 |   137252 |    12472     15 |     4053 |        0
949.94/950.22	c  950s |      16 |   534532 |   137552 |    12472     15 |     4053 |        0
952.64/952.96	c  952s |      16 |   535331 |   137752 |    12472     15 |     4053 |        0
955.95/956.29	c  956s |      16 |   536428 |   137952 |    12472     15 |     4053 |        0
958.95/959.21	c  959s |      16 |   537349 |   138152 |    12472     15 |     4053 |        0
962.15/962.45	c  962s |      16 |   537918 |   138352 |    12472     15 |     4053 |        0
965.25/965.52	c  965s |      16 |   540187 |   138552 |    12472     15 |     4053 |        0
968.25/968.52	c  968s |      16 |   541372 |   138752 |    12472     15 |     4053 |        0
970.54/970.89	c  970s |      16 |   542419 |   138952 |    12472     15 |     4053 |        0
974.24/974.53	c  974s |      16 |   542956 |   139152 |    12472     15 |     4053 |        0
976.34/976.62	c  976s |      16 |   543252 |   139252 |    12472     15 |     4053 |        0
979.44/979.73	c  979s |      16 |   544017 |   139452 |    12472     15 |     4053 |        0
982.15/982.48	c  982s |      16 |   544781 |   139652 |    12472     16 |     4053 |        0
984.75/985.01	c  984s |      16 |   545959 |   139852 |    12472     16 |     4053 |        0
987.75/988.03	c  987s |      16 |   547244 |   140152 |    12472     16 |     4053 |        0
989.85/990.11	c  989s |      16 |   547956 |   140352 |    12472     16 |     4053 |        0
992.15/992.40	c  992s |      16 |   548576 |   140552 |    12472     16 |     4053 |        0
994.25/994.53	c  994s |      16 |   549537 |   140752 |    12472     16 |     4053 |        0
996.24/996.57	c  996s |      16 |   550923 |   140952 |    12472     16 |     4053 |        0
998.65/998.97	c  998s |      16 |   551772 |   141152 |    12472     16 |     4053 |        0
1000.95/1001.28	c 1001s |      16 |   552313 |   141352 |    12472     16 |     4053 |        0
1003.24/1003.53	c 1003s |      16 |   553161 |   141552 |    12472     16 |     4053 |        0
1006.24/1006.57	c 1006s |      16 |   554022 |   141752 |    12472     16 |     4053 |        0
1009.24/1009.55	c 1009s |      16 |   554774 |   141952 |    12472     16 |     4053 |        0
1011.54/1011.87	c 1011s |      16 |   556114 |   142152 |    12472     16 |     4053 |        0
1013.83/1014.14	c 1013s |      16 |   556818 |   142352 |    12472     16 |     4053 |        0
1016.43/1016.78	c 1016s |      16 |   557668 |   142552 |    12472     16 |     4053 |        0
1019.55/1019.84	c 1019s |      16 |   558296 |   142752 |    12472     16 |     4053 |        0
1022.24/1022.56	c 1022s |      16 |   558789 |   142952 |    12472     16 |     4053 |        0
1025.05/1025.40	c 1025s |      16 |   559307 |   143152 |    12472     16 |     4053 |        0
1028.24/1028.55	c 1028s |      16 |   559959 |   143352 |    12472     16 |     4053 |        0
1031.54/1031.83	c 1031s |      16 |   560559 |   143552 |    12472     16 |     4053 |        0
1034.13/1034.40	c 1034s |      16 |   560799 |   143652 |    12472     16 |     4053 |        0
1037.33/1037.66	c 1037s |      16 |   561280 |   143852 |    12472     16 |     4053 |        0
1040.03/1040.38	c 1040s |      16 |   561907 |   144052 |    12472     16 |     4053 |        0
1043.23/1043.53	c 1043s |      16 |   562394 |   144252 |    12472     16 |     4053 |        0
1046.23/1046.50	c 1046s |      16 |   562780 |   144452 |    12472     16 |     4053 |        0
1049.24/1049.57	c 1049s |      16 |   563432 |   144652 |    12472     16 |     4053 |        0
1052.13/1052.45	c 1052s |      16 |   564267 |   144852 |    12472     16 |     4053 |        0
1054.93/1055.25	c 1055s |      16 |   564882 |   145052 |    12472     16 |     4053 |        0
1058.33/1058.61	c 1058s |      16 |   565238 |   145252 |    12472     16 |     4053 |        0
1061.53/1061.85	c 1061s |      16 |   565686 |   145452 |    12472     16 |     4053 |        0
1064.33/1064.66	c 1064s |      16 |   566972 |   145652 |    12472     16 |     4053 |        0
1066.93/1067.25	c 1067s |      16 |   567543 |   145852 |    12472     16 |     4053 |        0
1070.03/1070.38	c 1070s |      16 |   568170 |   146052 |    12472     16 |     4053 |        0
1072.63/1072.93	c 1072s |      16 |   569087 |   146252 |    12472     16 |     4053 |        0
1075.43/1075.75	c 1075s |      16 |   570166 |   146452 |    12472     16 |     4053 |        0
1078.94/1079.22	c 1079s |      16 |   570706 |   146652 |    12472     16 |     4053 |        0
1081.83/1082.14	c 1081s |      16 |   571579 |   146852 |    12472     16 |     4053 |        0
1084.83/1085.17	c 1085s |      16 |   572480 |   147052 |    12472     16 |     4053 |        0
1088.23/1088.57	c 1088s |      16 |   572921 |   147252 |    12472     16 |     4053 |        0
1090.83/1091.11	c 1090s |      16 |   573530 |   147452 |    12472     16 |     4053 |        0
1093.43/1093.75	c 1093s |      16 |   574123 |   147652 |    12472     16 |     4053 |        0
1096.83/1097.18	c 1097s |      16 |   574941 |   147852 |    12472     16 |     4053 |        0
1099.22/1099.51	c 1099s |      16 |   575446 |   147952 |    12472     16 |     4053 |        0
1102.72/1103.05	c 1102s |      16 |   575699 |   148052 |    12472     16 |     4053 |        0
1105.82/1106.16	c 1105s |      16 |   576374 |   148252 |    12472     16 |     4053 |        0
1108.82/1109.14	c 1108s |      16 |   577250 |   148452 |    12472     16 |     4053 |        0
1112.12/1112.41	c 1112s |      16 |   578187 |   148652 |    12472     16 |     4053 |        0
1115.82/1116.19	c 1116s |      16 |   579214 |   148852 |    12472     16 |     4053 |        0
1120.02/1120.38	c 1120s |      16 |   579779 |   149052 |    12472     16 |     4053 |        0
1122.12/1122.47	c 1122s |      16 |   580071 |   149152 |    12472     16 |     4053 |        0
1125.43/1125.70	c 1125s |      16 |   580770 |   149352 |    12472     16 |     4053 |        0
1128.82/1129.15	c 1128s |      16 |   581508 |   149552 |    12472     17 |     4053 |        0
1132.42/1132.77	c 1132s |      16 |   582383 |   149752 |    12472     17 |     4053 |        0
1135.32/1135.67	c 1135s |      16 |   583360 |   149952 |    12472     17 |     4053 |        0
1137.42/1137.70	c 1137s |      16 |   584794 |   150152 |    12472     17 |     4053 |        0
1139.43/1139.70	c 1139s |      16 |   585965 |   150352 |    12472     17 |     4053 |        0
1141.73/1142.09	c 1141s |      16 |   586782 |   150552 |    12472     17 |     4053 |        0
1145.12/1145.40	c 1145s |      16 |   587488 |   150752 |    12472     17 |     4053 |        0
1147.32/1147.67	c 1147s |      16 |   587717 |   150852 |    12472     17 |     4053 |        0
1150.32/1150.67	c 1150s |      16 |   588356 |   151052 |    12472     17 |     4053 |        0
1152.82/1153.12	c 1152s |      16 |   589203 |   151252 |    12472     17 |     4053 |        0
1156.32/1156.60	c 1156s |      16 |   589856 |   151452 |    12472     17 |     4053 |        0
1159.41/1159.76	c 1159s |      16 |   591207 |   151652 |    12472     17 |     4053 |        0
1162.91/1163.24	c 1163s |      16 |   592387 |   151852 |    12472     17 |     4053 |        0
1165.92/1166.27	c 1166s |      16 |   593153 |   152052 |    12472     17 |     4053 |        0
1169.31/1169.70	c 1169s |      16 |   593942 |   152252 |    12472     17 |     4053 |        0
1171.42/1171.72	c 1171s |      16 |   595262 |   152452 |    12472     17 |     4053 |        0
1174.62/1174.97	c 1174s |      16 |   596959 |   152752 |    12472     17 |     4053 |        0
1179.71/1180.06	c 1179s |      16 |   597582 |   152952 |    12472     17 |     4053 |        0
1182.01/1182.38	c 1182s |      16 |   599229 |   153352 |    12472     17 |     4053 |        0
1184.11/1184.48	c 1184s |      16 |   600025 |   153652 |    12472     17 |     4053 |        0
1186.41/1186.78	c 1186s |      16 |   601019 |   153952 |    12472     17 |     4053 |        0
1188.71/1189.05	c 1188s |      16 |   602194 |   154352 |    12472     17 |     4053 |        0
1190.91/1191.20	c 1191s |      16 |   603704 |   154652 |    12472     17 |     4053 |        0
1193.51/1193.82	c 1193s |      16 |   605108 |   155052 |    12472     17 |     4053 |        0
1196.31/1196.69	c 1196s |      16 |   606052 |   155352 |    12472     17 |     4053 |        0
1198.41/1198.78	c 1198s |      16 |   606669 |   155552 |    12472     17 |     4053 |        0
1200.51/1200.87	c 1200s |      16 |   607451 |   155752 |    12472     17 |     4053 |        0
1202.61/1202.97	c 1202s |      16 |   608171 |   155952 |    12472     17 |     4053 |        0
1205.01/1205.33	c 1205s |      16 |   608931 |   156152 |    12472     17 |     4053 |        0
1207.01/1207.37	c 1207s |      16 |   609713 |   156352 |    12472     17 |     4053 |        0
1209.11/1209.41	c 1209s |      16 |   610682 |   156652 |    12472     17 |     4053 |        0
1211.91/1212.30	c 1212s |      16 |   611346 |   156952 |    12472     17 |     4053 |        0
1214.22/1214.55	c 1214s |      16 |   612122 |   157252 |    12472     17 |     4053 |        0
1217.21/1217.55	c 1217s |      16 |   612869 |   157552 |    12472     17 |     4053 |        0
1219.51/1219.81	c 1219s |      16 |   614488 |   157852 |    12472     17 |     4053 |        0
1222.11/1222.44	c 1222s |      16 |   615716 |   158252 |    12472     17 |     4053 |        0
1224.21/1224.53	c 1224s |      16 |   616194 |   158452 |    12472     17 |     4053 |        0
1226.41/1226.79	c 1226s |      16 |   616526 |   158652 |    12472     17 |     4053 |        0
1228.70/1229.09	c 1228s |      16 |   617306 |   158952 |    12472     17 |     4053 |        0
1231.00/1231.33	c 1231s |      16 |   618967 |   159252 |    12472     17 |     4053 |        0
1233.11/1233.43	c 1233s |      16 |   619404 |   159352 |    12472     18 |     4053 |        0
1236.21/1236.51	c 1236s |      16 |   620442 |   159552 |    12472     18 |     4053 |        0
1239.01/1239.34	c 1239s |      16 |   621073 |   159752 |    12472     18 |     4053 |        0
1241.71/1242.07	c 1241s |      16 |   622484 |   160052 |    12472     18 |     4053 |        0
1244.40/1244.78	c 1244s |      16 |   624106 |   160352 |    12472     18 |     4053 |        0
1247.31/1247.63	c 1247s |      16 |   625487 |   160652 |    12472     18 |     4053 |        0
1250.30/1250.65	c 1250s |      16 |   626656 |   160952 |    12472     18 |     4053 |        0
1252.81/1253.16	c 1252s |      16 |   627151 |   161152 |    12472     18 |     4053 |        0
1254.91/1255.22	c 1255s |      16 |   627822 |   161352 |    12472     18 |     4053 |        0
1257.11/1257.46	c 1257s |      16 |   629131 |   161652 |    12472     18 |     4053 |        0
1259.50/1259.86	c 1259s |      16 |   630195 |   161952 |    12472     18 |     4053 |        0
1262.30/1262.61	c 1262s |      16 |   630906 |   162252 |    12472     18 |     4053 |        0
1264.30/1264.67	c 1264s |      16 |   631302 |   162452 |    12472     18 |     4053 |        0
1266.90/1267.20	c 1267s |      16 |   632613 |   162752 |    12472     18 |     4053 |        0
1269.50/1269.86	c 1269s |      16 |   633938 |   163052 |    12472     18 |     4053 |        0
1271.60/1271.97	c 1271s |      16 |   635354 |   163352 |    12472     18 |     4053 |        0
1274.00/1274.31	c 1274s |      16 |   636197 |   163652 |    12472     18 |     4053 |        0
1276.00/1276.33	c 1276s |      16 |   636859 |   163852 |    12472     18 |     4053 |        0
1278.60/1278.90	c 1278s |      16 |   638347 |   164152 |    12472     18 |     4053 |        0
1281.00/1281.32	c 1281s |      16 |   639157 |   164352 |    12472     18 |     4053 |        0
1283.80/1284.18	c 1284s |      16 |   640120 |   164552 |    12472     18 |     4053 |        0
1285.90/1286.26	c 1286s |      16 |   640674 |   164752 |    12472     18 |     4053 |        0
1288.10/1288.42	c 1288s |      16 |   641392 |   164952 |    12472     18 |     4053 |        0
1291.40/1291.71	c 1291s |      16 |   642348 |   165252 |    12472     18 |     4053 |        0
1293.41/1293.76	c 1293s |      16 |   642932 |   165452 |    12472     18 |     4053 |        0
1295.60/1295.97	c 1295s |      16 |   644177 |   165652 |    12472     18 |     4053 |        0
1298.19/1298.56	c 1298s |      16 |   645111 |   165852 |    12472     18 |     4053 |        0
1300.69/1301.00	c 1300s |      16 |   645742 |   166052 |    12472     18 |     4053 |        0
1302.99/1303.38	c 1303s |      16 |   646393 |   166252 |    12472     18 |     4053 |        0
1305.79/1306.15	c 1305s |      16 |   647243 |   166552 |    12472     18 |     4053 |        0
1308.69/1309.04	c 1308s |      16 |   648182 |   166852 |    12472     18 |     4053 |        0
1311.59/1311.93	c 1311s |      16 |   648908 |   167052 |    12472     18 |     4053 |        0
1313.69/1314.05	c 1313s |      16 |   649411 |   167252 |    12472     18 |     4053 |        0
1316.59/1316.98	c 1316s |      16 |   649822 |   167452 |    12472     18 |     4053 |        0
1319.29/1319.61	c 1319s |      16 |   650855 |   167652 |    12472     18 |     4053 |        0
1322.29/1322.60	c 1322s |      16 |   651458 |   167852 |    12472     18 |     4053 |        0
1324.89/1325.24	c 1325s |      16 |   651828 |   168052 |    12472     18 |     4053 |        0
1327.29/1327.60	c 1327s |      16 |   652572 |   168252 |    12472     18 |     4053 |        0
1330.19/1330.52	c 1330s |      16 |   653420 |   168452 |    12472     18 |     4053 |        0
1333.10/1333.48	c 1333s |      16 |   653898 |   168652 |    12472     18 |     4053 |        0
1335.30/1335.65	c 1335s |      16 |   654514 |   168852 |    12472     18 |     4053 |        0
1338.09/1338.43	c 1338s |      16 |   654982 |   169052 |    12472     19 |     4053 |        0
1340.80/1341.15	c 1340s |      16 |   655451 |   169252 |    12472     19 |     4053 |        0
1343.39/1343.72	c 1343s |      16 |   655863 |   169452 |    12472     19 |     4053 |        0
1346.19/1346.53	c 1346s |      16 |   656193 |   169652 |    12472     19 |     4053 |        0
1348.89/1349.26	c 1349s |      16 |   656537 |   169852 |    12472     19 |     4053 |        0
1351.48/1351.86	c 1351s |      16 |   656787 |   170052 |    12472     19 |     4053 |        0
1353.89/1354.28	c 1354s |      16 |   657194 |   170252 |    12472     19 |     4053 |        0
1356.10/1356.47	c 1356s |      16 |   658069 |   170552 |    12472     19 |     4053 |        0
1358.69/1359.00	c 1358s |      16 |   659506 |   170852 |    12472     19 |     4053 |        0
1361.49/1361.81	c 1361s |      16 |   660686 |   171152 |    12472     19 |     4053 |        0
1364.48/1364.80	c 1364s |      16 |   662037 |   171452 |    12472     19 |     4053 |        0
1366.89/1367.24	c 1367s |      16 |   662495 |   171652 |    12472     19 |     4053 |        0
1368.89/1369.27	c 1369s |      16 |   663792 |   171952 |    12472     19 |     4053 |        0
1371.59/1371.94	c 1371s |      16 |   664895 |   172352 |    12472     19 |     4053 |        0
1373.69/1374.07	c 1373s |      16 |   665354 |   172652 |    12472     19 |     4053 |        0
1376.78/1377.19	c 1377s |      16 |   665807 |   172952 |    12472     19 |     4053 |        0
1378.98/1379.38	c 1379s |      16 |   666250 |   173152 |    12472     19 |     4053 |        0
1381.39/1381.73	c 1381s |      16 |   666640 |   173352 |    12472     19 |     4053 |        0
1383.49/1383.85	c 1383s |      16 |   667212 |   173552 |    12472     19 |     4053 |        0
1386.28/1386.62	c 1386s |      16 |   668767 |   173952 |    12472     19 |     4053 |        0
1388.98/1389.36	c 1389s |      16 |   669847 |   174252 |    12472     19 |     4053 |        0
1391.29/1391.66	c 1391s |      16 |   670439 |   174452 |    12472     19 |     4053 |        0
1393.78/1394.10	c 1393s |      16 |   671042 |   174652 |    12472     19 |     4053 |        0
1396.88/1397.28	c 1397s |      16 |   671790 |   174952 |    12472     19 |     4053 |        0
1399.08/1399.48	c 1399s |      16 |   672211 |   175152 |    12472     19 |     4053 |        0
1401.28/1401.61	c 1401s |      16 |   672670 |   175352 |    12472     19 |     4053 |        0
1404.18/1404.58	c 1404s |      16 |   673387 |   175652 |    12472     19 |     4053 |        0
1406.58/1406.93	c 1406s |      16 |   673955 |   175852 |    12472     19 |     4053 |        0
1409.37/1409.70	c 1409s |      16 |   674447 |   176052 |    12472     19 |     4053 |        0
1411.37/1411.74	c 1411s |      16 |   675059 |   176252 |    12472     19 |     4053 |        0
1413.77/1414.10	c 1413s |      16 |   676173 |   176752 |    12472     19 |     4053 |        0
1416.07/1416.45	c 1416s |      16 |   676823 |   177152 |    12472     19 |     4053 |        0
1418.17/1418.50	c 1418s |      16 |   677320 |   177452 |    12472     19 |     4053 |        0
1421.28/1421.61	c 1421s |      16 |   678548 |   177752 |    12472     19 |     4053 |        0
1424.08/1424.43	c 1424s |      16 |   679889 |   178052 |    12472     19 |     4053 |        0
1427.18/1427.59	c 1427s |      16 |   681463 |   178352 |    12472     19 |     4053 |        0
1429.67/1430.03	c 1429s |      16 |   681964 |   178552 |    12472     19 |     4053 |        0
1433.47/1433.83	c 1433s |      16 |   682501 |   178752 |    12472     20 |     4053 |        0
1436.77/1437.13	c 1436s |      16 |   683076 |   178952 |    12472     20 |     4053 |        0
1438.87/1439.27	c 1439s |      16 |   684158 |   179152 |    12472     20 |     4053 |        0
1442.08/1442.49	c 1442s |      16 |   685287 |   179452 |    12472     20 |     4053 |        0
1444.88/1445.24	c 1445s |      16 |   685666 |   179652 |    12472     20 |     4053 |        0
1447.07/1447.46	c 1447s |      16 |   686594 |   179852 |    12472     20 |     4053 |        0
1449.27/1449.68	c 1449s |      16 |   687255 |   180052 |    12472     20 |     4053 |        0
1451.88/1452.21	c 1452s |      16 |   687981 |   180352 |    12472     20 |     4053 |        0
1453.87/1454.28	c 1454s |      16 |   688415 |   180552 |    12472     20 |     4053 |        0
1456.28/1456.64	c 1456s |      16 |   689094 |   180752 |    12472     20 |     4053 |        0
1459.37/1459.70	c 1459s |      16 |   690011 |   181052 |    12472     20 |     4053 |        0
1461.97/1462.30	c 1462s |      16 |   690753 |   181352 |    12472     20 |     4053 |        0
1464.27/1464.63	c 1464s |      16 |   690954 |   181552 |    12472     20 |     4053 |        0
1467.27/1467.64	c 1467s |      16 |   692398 |   181852 |    12472     20 |     4053 |        0
1469.37/1469.71	c 1469s |      16 |   693910 |   182252 |    12472     20 |     4053 |        0
1471.67/1472.09	c 1471s |      16 |   695500 |   182552 |    12472     20 |     4053 |        0
1474.07/1474.48	c 1474s |      16 |   696438 |   182752 |    12472     20 |     4053 |        0
1476.37/1476.73	c 1476s |      16 |   697136 |   182952 |    12472     20 |     4053 |        0
1479.57/1479.91	c 1479s |      16 |   698009 |   183152 |    12472     20 |     4053 |        0
1482.57/1482.94	c 1482s |      16 |   698564 |   183352 |    12472     20 |     4053 |        0
1485.46/1485.89	c 1485s |      16 |   699068 |   183552 |    12472     20 |     4053 |        0
1487.86/1488.23	c 1488s |      16 |   699933 |   183752 |    12472     20 |     4053 |        0
1490.16/1490.58	c 1490s |      16 |   700545 |   183952 |    12472     20 |     4053 |        0
1492.97/1493.36	c 1493s |      16 |   701066 |   184152 |    12472     20 |     4053 |        0
1495.46/1495.85	c 1495s |      16 |   702210 |   184452 |    12472     20 |     4053 |        0
1498.26/1498.69	c 1498s |      16 |   703343 |   184752 |    12472     20 |     4053 |        0
1500.66/1501.02	c 1500s |      16 |   703801 |   184952 |    12472     20 |     4053 |        0
1503.36/1503.72	c 1503s |      16 |   705158 |   185252 |    12472     20 |     4053 |        0
1506.16/1506.51	c 1506s |      16 |   705871 |   185452 |    12472     20 |     4053 |        0
1509.07/1509.47	c 1509s |      16 |   706309 |   185652 |    12472     20 |     4053 |        0
1512.37/1512.79	c 1512s |      16 |   706758 |   185852 |    12472     20 |     4053 |        0
1515.16/1515.51	c 1515s |      16 |   708436 |   186152 |    12472     20 |     4053 |        0
1517.56/1517.95	c 1517s |      16 |   709116 |   186352 |    12472     20 |     4053 |        0
1519.66/1520.06	c 1519s |      16 |   709870 |   186552 |    12472     20 |     4053 |        0
1522.26/1522.63	c 1522s |      16 |   711049 |   186852 |    12472     20 |     4053 |        0
1524.86/1525.25	c 1525s |      16 |   712004 |   187152 |    12472     20 |     4053 |        0
1528.06/1528.43	c 1528s |      16 |   712762 |   187352 |    12472     20 |     4053 |        0
1531.36/1531.77	c 1531s |      16 |   713050 |   187552 |    12472     20 |     4053 |        0
1533.36/1533.78	c 1533s |      16 |   713589 |   187752 |    12472     20 |     4053 |        0
1536.35/1536.80	c 1536s |      16 |   714080 |   187952 |    12472     20 |     4053 |        0
1539.77/1540.12	c 1539s |      16 |   714467 |   188152 |    12472     20 |     4053 |        0
1542.76/1543.11	c 1542s |      16 |   715118 |   188352 |    12472     20 |     4053 |        0
1546.76/1547.12	c 1546s |      16 |   715729 |   188552 |    12472     21 |     4053 |        0
1548.76/1549.14	c 1548s |      16 |   717006 |   188852 |    12472     21 |     4053 |        0
1551.66/1552.06	c 1551s |      16 |   718192 |   189152 |    12472     21 |     4053 |        0
1554.86/1555.27	c 1555s |      16 |   719912 |   189552 |    12472     21 |     4053 |        0
1557.46/1557.80	c 1557s |      16 |   720977 |   189852 |    12472     21 |     4053 |        0
1560.05/1560.49	c 1560s |      16 |   722376 |   190152 |    12472     21 |     4053 |        0
1562.65/1563.07	c 1562s |      16 |   723948 |   190452 |    12472     21 |     4053 |        0
1565.06/1565.41	c 1565s |      16 |   725336 |   190752 |    12472     21 |     4053 |        0
1567.15/1567.52	c 1567s |      16 |   725964 |   190952 |    12472     21 |     4053 |        0
1569.75/1570.16	c 1569s |      16 |   726894 |   191252 |    12472     21 |     4053 |        0
1572.25/1572.66	c 1572s |      16 |   728239 |   191552 |    12472     21 |     4053 |        0
1574.95/1575.34	c 1575s |      16 |   729319 |   191852 |    12472     21 |     4053 |        0
1577.86/1578.23	c 1578s |      16 |   731022 |   192152 |    12472     21 |     4053 |        0
1580.56/1580.90	c 1580s |      16 |   732089 |   192452 |    12472     21 |     4053 |        0
1583.35/1583.74	c 1583s |      16 |   733808 |   192852 |    12472     21 |     4053 |        0
1585.55/1585.93	c 1585s |      16 |   734527 |   193052 |    12472     21 |     4053 |        0
1587.55/1587.97	c 1587s |      16 |   735320 |   193252 |    12472     21 |     4053 |        0
1590.25/1590.67	c 1590s |      16 |   736407 |   193552 |    12472     21 |     4053 |        0
1593.35/1593.76	c 1593s |      16 |   737711 |   193852 |    12472     21 |     4053 |        0
1595.55/1595.96	c 1595s |      16 |   738326 |   194052 |    12472     21 |     4053 |        0
1598.05/1598.50	c 1598s |      16 |   739566 |   194352 |    12472     21 |     4053 |        0
1600.85/1601.23	c 1601s |      16 |   740676 |   194652 |    12472     21 |     4053 |        0
1603.15/1603.54	c 1603s |      16 |   741464 |   194852 |    12472     21 |     4053 |        0
1605.75/1606.14	c 1605s |      16 |   742144 |   195052 |    12472     21 |     4053 |        0
1607.95/1608.32	c 1608s |      16 |   742626 |   195252 |    12472     21 |     4053 |        0
1610.54/1610.99	c 1610s |      16 |   743208 |   195452 |    12472     21 |     4053 |        0
1613.24/1613.61	c 1613s |      16 |   743778 |   195652 |    12472     21 |     4053 |        0
1616.45/1616.88	c 1616s |      16 |   745000 |   195952 |    12472     21 |     4053 |        0
1619.45/1619.81	c 1619s |      16 |   746548 |   196252 |    13720     21 |     4053 |        0
1621.75/1622.16	c 1621s |      16 |   747717 |   196552 |    13720     21 |     4053 |        0
1623.85/1624.25	c 1624s |      16 |   748232 |   196752 |    13720     21 |     4053 |        0
1626.44/1626.85	c 1626s |      16 |   748826 |   196952 |    13720     21 |     4053 |        0
1628.64/1629.05	c 1628s |      16 |   749979 |   197252 |    13720     21 |     4053 |        0
1629.95/1630.33	c 1630s |      17 |   750616 |   197432 |    13720     21 |     4053 |        0
1632.34/1632.79	c 1632s |      17 |   753918 |   197632 |    13720     22 |     4053 |        0
1634.54/1634.96	c 1634s |      17 |   755239 |   198132 |    13720     22 |     4053 |        0
1636.74/1637.18	c 1637s |      17 |   757381 |   198532 |    13720     22 |     4053 |        0
1638.85/1639.23	c 1639s |      17 |   758373 |   198932 |    13720     22 |     4053 |        0
1640.95/1641.35	c 1641s |      17 |   759591 |   199432 |    13720     22 |     4053 |        0
1643.15/1643.56	c 1643s |      17 |   761203 |   200032 |    13720     22 |     4053 |        0
1645.14/1645.59	c 1645s |      17 |   763343 |   200432 |    13720     22 |     4053 |        0
1647.44/1647.80	c 1647s |      17 |   764331 |   200932 |    13720     22 |     4053 |        0
1649.54/1649.97	c 1649s |      17 |   765245 |   201332 |    13720     22 |     4053 |        0
1651.84/1652.28	c 1652s |      17 |   766402 |   201732 |    13720     22 |     4053 |        0
1654.04/1654.40	c 1654s |      17 |   767697 |   202032 |    13720     22 |     4053 |        0
1656.24/1656.64	c 1656s |      17 |   770039 |   202432 |    13720     22 |     4053 |        0
1658.64/1659.09	c 1658s |      17 |   770730 |   202732 |    13720     22 |     4053 |        0
1661.84/1662.24	c 1662s |      17 |   771175 |   203032 |    13720     22 |     4053 |        0
1664.33/1664.73	c 1664s |      17 |   771739 |   203332 |    13720     22 |     4053 |        0
1666.73/1667.14	c 1666s |      17 |   772836 |   203632 |    13720     22 |     4053 |        0
1669.03/1669.42	c 1669s |      17 |   774051 |   203932 |    13720     22 |     4053 |        0
1671.23/1671.68	c 1671s |      17 |   775304 |   204232 |    13720     22 |     4053 |        0
1673.74/1674.12	c 1673s |      17 |   776690 |   204532 |    13720     22 |     4053 |        0
1676.44/1676.81	c 1676s |      17 |   777813 |   204832 |    13720     22 |     4053 |        0
1678.84/1679.23	c 1679s |      17 |   778737 |   205132 |    13720     22 |     4053 |        0
1680.84/1681.25	c 1681s |      17 |   779289 |   205332 |    13720     22 |     4053 |        0
1682.84/1683.28	c 1683s |      17 |   779749 |   205532 |    13720     22 |     4053 |        0
1685.54/1685.96	c 1685s |      17 |   780424 |   205832 |    13720     22 |     4053 |        0
1687.94/1688.38	c 1688s |      17 |   781221 |   206132 |    13720     22 |     4053 |        0
1690.34/1690.74	c 1690s |      17 |   782211 |   206432 |    13720     22 |     4053 |        0
1692.93/1693.35	c 1693s |      17 |   783550 |   206832 |    13720     22 |     4053 |        0
1695.63/1696.02	c 1695s |      17 |   784885 |   207232 |    13720     22 |     4053 |        0
1698.03/1698.40	c 1698s |      17 |   786704 |   207532 |    13720     22 |     4053 |        0
1700.53/1700.98	c 1700s |      17 |   787596 |   207832 |    13720     22 |     4053 |        0
1703.03/1703.45	c 1703s |      17 |   789052 |   208232 |    13720     22 |     4053 |        0
1705.23/1705.63	c 1705s |      17 |   790457 |   208532 |    13720     22 |     4053 |        0
1707.53/1707.91	c 1707s |      17 |   791284 |   208732 |    13720     23 |     4053 |        0
1709.63/1710.02	c 1709s |      17 |   792030 |   208932 |    13720     23 |     4053 |        0
1712.33/1712.73	c 1712s |      17 |   793127 |   209232 |    13720     23 |     4053 |        0
1714.64/1715.10	c 1714s |      17 |   794107 |   209532 |    13720     23 |     4053 |        0
1717.23/1717.62	c 1717s |      17 |   795492 |   209832 |    13720     23 |     4053 |        0
1720.13/1720.60	c 1720s |      17 |   796157 |   210132 |    13720     23 |     4053 |        0
1722.33/1722.73	c 1722s |      17 |   796940 |   210332 |    13720     23 |     4053 |        0
1725.03/1725.48	c 1725s |      17 |   798353 |   210632 |    13720     23 |     4053 |        0
1727.33/1727.72	c 1727s |      17 |   798983 |   210832 |    13720     23 |     4053 |        0
1729.83/1730.24	c 1730s |      17 |   800167 |   211132 |    13720     23 |     4053 |        0
1732.62/1733.05	c 1732s |      17 |   801085 |   211432 |    13720     23 |     4053 |        0
1735.02/1735.43	c 1735s |      17 |   801918 |   211732 |    13720     23 |     4053 |        0
1737.32/1737.72	c 1737s |      17 |   802937 |   212032 |    13720     23 |     4053 |        0
1740.32/1740.77	c 1740s |      17 |   804007 |   212332 |    13720     23 |     4053 |        0
1743.12/1743.50	c 1743s |      17 |   804931 |   212632 |    13720     23 |     4053 |        0
1745.82/1746.20	c 1746s |      17 |   805967 |   212932 |    13720     23 |     4053 |        0
1748.63/1749.03	c 1748s |      17 |   806796 |   213232 |    13720     23 |     4053 |        0
1750.83/1751.21	c 1751s |      17 |   807633 |   213432 |    13720     23 |     4053 |        0
1753.13/1753.56	c 1753s |      17 |   808478 |   213632 |    13720     23 |     4053 |        0
1755.63/1756.05	c 1755s |      17 |   809028 |   213832 |    13720     23 |     4053 |        0
1758.32/1758.76	c 1758s |      17 |   810482 |   214132 |    13720     23 |     4053 |        0
1761.32/1761.77	c 1761s |      17 |   811871 |   214432 |    13720     23 |     4053 |        0
1764.52/1764.96	c 1764s |      17 |   813373 |   214732 |    13720     23 |     4053 |        0
1767.12/1767.52	c 1767s |      17 |   813961 |   214932 |    13720     23 |     4053 |        0
1769.82/1770.26	c 1770s |      17 |   814375 |   215132 |    13720     23 |     4053 |        0
1772.52/1772.90	c 1772s |      17 |   815108 |   215432 |    13720     23 |     4053 |        0
1774.82/1775.30	c 1775s |      17 |   816216 |   215732 |    13720     23 |     4053 |        0
1776.92/1777.32	c 1777s |      17 |   816954 |   215932 |    13720     23 |     4053 |        0
1779.12/1779.56	c 1779s |      17 |   817461 |   216132 |    13720     23 |     4053 |        0
1781.42/1781.86	c 1781s |      17 |   817916 |   216332 |    13720     23 |     4053 |        0
1784.22/1784.61	c 1784s |      17 |   819045 |   216632 |    13720     23 |     4053 |        0
1787.02/1787.46	c 1787s |      17 |   820056 |   216932 |    13720     23 |     4053 |        0
1789.22/1789.69	c 1789s |      17 |   820697 |   217132 |    13720     23 |     4053 |        0
1791.62/1792.06	c 1791s |      17 |   821402 |   217332 |    13720     23 |     4053 |        0
1794.11/1794.52	c 1794s |      17 |   822019 |   217532 |    13720     23 |     4053 |        0
1796.31/1796.77	c 1796s |      17 |   822740 |   217732 |    13720     23 |     4053 |        0
1798.41/1798.88	c 1798s |      17 |   823776 |   217932 |    13720     23 |     4053 |        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-4100017-1466209769/watcher-4100017-1466209769 -o /tmp/evaluation-result-4100017-1466209769/solver-4100017-1466209769 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466206104-11341 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100017-1466209769.opb 

pid=12070
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 2.02 1.96 3/179 12073
/proc/meminfo: memFree=30629240/32872528 swapFree=249320/249320
[pid=12073] ppid=12070 vsize=690620 CPUtime=0 cores=1,3,5,7
/proc/12073/stat : 12073 (toysat) R 12070 12073 11324 0 -1 4202496 2568 0 0 0 0 0 0 0 20 0 4 0 23027336 707194880 2930 33554432000 4194304 16246674 140737299876736 140737299876160 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12073/statm: 173167 2937 441 2943 0 170061 0
[pid=12073/tid=12074] ppid=12070 vsize=709052 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12074/stat : 12074 (toysat) S 12070 12073 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23027336 726069248 3002 33554432000 4194304 16246674 140737299876736 140606033603824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12073/tid=12075] ppid=12070 vsize=713148 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12075/stat : 12075 (toysat) S 12070 12073 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23027336 730263552 3019 33554432000 4194304 16246674 140737299876736 140605954960624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12073/tid=12076] ppid=12070 vsize=717244 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12076/stat : 12076 (toysat) S 12070 12073 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23027336 734457856 3035 33554432000 4194304 16246674 140737299876736 140605944487088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100221 s]
/proc/loadavg: 2.00 2.02 1.96 3/179 12073
/proc/meminfo: memFree=30629240/32872528 swapFree=249320/249320
[pid=12073] ppid=12070 vsize=1299012 CPUtime=0.09 cores=1,3,5,7
/proc/12073/stat : 12073 (toysat) R 12070 12073 11324 0 -1 4202496 24456 0 0 0 6 3 0 0 20 0 4 0 23027336 1330188288 24755 33554432000 4194304 16246674 140737299876736 140737299876048 13930363 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12073/statm: 324753 24762 836 2943 0 321647 0
[pid=12073/tid=12074] ppid=12070 vsize=1299012 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12074/stat : 12074 (toysat) S 12070 12073 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23027336 1330188288 24770 33554432000 4194304 16246674 140737299876736 140606033603824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12073/tid=12075] ppid=12070 vsize=1299012 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12075/stat : 12075 (toysat) S 12070 12073 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23027336 1330188288 24778 33554432000 4194304 16246674 140737299876736 140605954960624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12073/tid=12076] ppid=12070 vsize=1299012 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12076/stat : 12076 (toysat) S 12070 12073 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23027336 1330188288 24785 33554432000 4194304 16246674 140737299876736 140605944487088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1299012

[startup+0.200506 s]
/proc/loadavg: 2.00 2.02 1.96 3/179 12073
/proc/meminfo: memFree=30629240/32872528 swapFree=249320/249320
[pid=12073] ppid=12070 vsize=1308228 CPUtime=0.19 cores=1,3,5,7
/proc/12073/stat : 12073 (toysat) R 12070 12073 11324 0 -1 4202496 39053 0 0 0 14 5 0 0 20 0 4 0 23027336 1339625472 39352 33554432000 4194304 16246674 140737299876736 140737299876048 5712452 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12073/statm: 327057 39353 883 2943 0 323951 0
[pid=12073/tid=12074] ppid=12070 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12074/stat : 12074 (toysat) S 12070 12073 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23027336 1339625472 39353 33554432000 4194304 16246674 140737299876736 140606033603824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12073/tid=12075] ppid=12070 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12075/stat : 12075 (toysat) S 12070 12073 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23027336 1339625472 39353 33554432000 4194304 16246674 140737299876736 140605954960624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12073/tid=12076] ppid=12070 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12076/stat : 12076 (toysat) S 12070 12073 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23027336 1339625472 39353 33554432000 4194304 16246674 140737299876736 140605944487088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1308228

[startup+0.300493 s]
/proc/loadavg: 2.00 2.02 1.96 3/179 12073
/proc/meminfo: memFree=30629240/32872528 swapFree=249320/249320
[pid=12073] ppid=12070 vsize=1308228 CPUtime=0.29 cores=1,3,5,7
/proc/12073/stat : 12073 (toysat) R 12070 12073 11324 0 -1 4202496 43434 0 0 0 24 5 0 0 20 0 4 0 23027336 1339625472 43733 33554432000 4194304 16246674 140737299876736 140737299876048 5712536 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12073/statm: 327057 43733 883 2943 0 323951 0
[pid=12073/tid=12074] ppid=12070 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12074/stat : 12074 (toysat) S 12070 12073 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23027336 1339625472 43733 33554432000 4194304 16246674 140737299876736 140606033603824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12073/tid=12075] ppid=12070 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12075/stat : 12075 (toysat) S 12070 12073 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23027336 1339625472 43733 33554432000 4194304 16246674 140737299876736 140605954960624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12073/tid=12076] ppid=12070 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12076/stat : 12076 (toysat) S 12070 12073 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23027336 1339625472 43733 33554432000 4194304 16246674 140737299876736 140605944487088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1308228

[startup+0.700394 s]
/proc/loadavg: 2.00 2.02 1.96 3/179 12073
/proc/meminfo: memFree=30629240/32872528 swapFree=249320/249320
[pid=12073] ppid=12070 vsize=1308228 CPUtime=0.69 cores=1,3,5,7
/proc/12073/stat : 12073 (toysat) R 12070 12073 11324 0 -1 4202496 59163 0 0 0 62 7 0 0 20 0 4 0 23027336 1339625472 59462 33554432000 4194304 16246674 140737299876736 140737299858624 5712452 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12073/statm: 327057 59465 883 2943 0 323951 0
[pid=12073/tid=12074] ppid=12070 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12074/stat : 12074 (toysat) S 12070 12073 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23027336 1339625472 59465 33554432000 4194304 16246674 140737299876736 140606033603824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12073/tid=12075] ppid=12070 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12075/stat : 12075 (toysat) S 12070 12073 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23027336 1339625472 59468 33554432000 4194304 16246674 140737299876736 140605954960624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12073/tid=12076] ppid=12070 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12076/stat : 12076 (toysat) S 12070 12073 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23027336 1339625472 59468 33554432000 4194304 16246674 140737299876736 140605944487088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1308228

[startup+1.50042 s]
/proc/loadavg: 2.00 2.02 1.96 3/183 12077
/proc/meminfo: memFree=30294004/32872528 swapFree=249320/249320
[pid=12073] ppid=12070 vsize=1311300 CPUtime=1.49 cores=1,3,5,7
/proc/12073/stat : 12073 (toysat) R 12070 12073 11324 0 -1 4202496 94759 0 0 0 137 12 0 0 20 0 4 0 23027336 1342771200 95058 33554432000 4194304 16246674 140737299876736 140737299858624 5724508 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12073/statm: 327825 95059 886 2943 0 324719 0
[pid=12073/tid=12074] ppid=12070 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12074/stat : 12074 (toysat) S 12070 12073 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23027336 1342771200 95059 33554432000 4194304 16246674 140737299876736 140606033603824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12073/tid=12075] ppid=12070 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12075/stat : 12075 (toysat) S 12070 12073 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23027336 1342771200 95059 33554432000 4194304 16246674 140737299876736 140605954960624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12073/tid=12076] ppid=12070 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12076/stat : 12076 (toysat) S 12070 12073 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23027336 1342771200 95059 33554432000 4194304 16246674 140737299876736 140605944487088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1311300

[startup+3.10041 s]
/proc/loadavg: 2.00 2.02 1.96 3/183 12077
/proc/meminfo: memFree=29615956/32872528 swapFree=249320/249320
[pid=12073] ppid=12070 vsize=1311300 CPUtime=3.09 cores=1,3,5,7
/proc/12073/stat : 12073 (toysat) R 12070 12073 11324 0 -1 4202496 268892 0 0 0 273 36 0 0 20 0 4 0 23027336 1342771200 269191 33554432000 4194304 16246674 140737299876736 140737299858624 5711688 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12073/statm: 327825 269191 886 2943 0 324719 0
[pid=12073/tid=12074] ppid=12070 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12074/stat : 12074 (toysat) S 12070 12073 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23027336 1342771200 269191 33554432000 4194304 16246674 140737299876736 140606033603824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12073/tid=12075] ppid=12070 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12075/stat : 12075 (toysat) S 12070 12073 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23027336 1342771200 269191 33554432000 4194304 16246674 140737299876736 140605954960624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12073/tid=12076] ppid=12070 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12076/stat : 12076 (toysat) S 12070 12073 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23027336 1342771200 269191 33554432000 4194304 16246674 140737299876736 140605944487088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1311300

[startup+6.30042 s]
/proc/loadavg: 2.00 2.02 1.96 3/183 12077
/proc/meminfo: memFree=29552596/32872528 swapFree=249320/249320
[pid=12073] ppid=12070 vsize=1311300 CPUtime=6.29 cores=1,3,5,7
/proc/12073/stat : 12073 (toysat) R 12070 12073 11324 0 -1 4202496 269012 0 0 0 593 36 0 0 20 0 4 0 23027336 1342771200 269311 33554432000 4194304 16246674 140737299876736 140737299858624 5600384 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12073/statm: 327825 269311 890 2943 0 324719 0
[pid=12073/tid=12074] ppid=12070 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12074/stat : 12074 (toysat) S 12070 12073 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23027336 1342771200 269311 33554432000 4194304 16246674 140737299876736 140606033603824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12073/tid=12075] ppid=12070 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12075/stat : 12075 (toysat) S 12070 12073 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23027336 1342771200 269311 33554432000 4194304 16246674 140737299876736 140605954960624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12073/tid=12076] ppid=12070 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12076/stat : 12076 (toysat) S 12070 12073 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23027336 1342771200 269311 33554432000 4194304 16246674 140737299876736 140605944487088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1311300

[startup+12.7004 s]
/proc/loadavg: 2.00 2.02 1.96 3/183 12077
/proc/meminfo: memFree=29552292/32872528 swapFree=249320/249320
[pid=12073] ppid=12070 vsize=1311300 CPUtime=12.69 cores=1,3,5,7
/proc/12073/stat : 12073 (toysat) R 12070 12073 11324 0 -1 4202496 269012 0 0 0 1233 36 0 0 20 0 4 0 23027336 1342771200 269311 33554432000 4194304 16246674 140737299876736 140737299858624 5711697 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12073/statm: 327825 269311 890 2943 0 324719 0
[pid=12073/tid=12074] ppid=12070 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12074/stat : 12074 (toysat) S 12070 12073 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23027336 1342771200 269311 33554432000 4194304 16246674 140737299876736 140606033603824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12073/tid=12075] ppid=12070 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12075/stat : 12075 (toysat) S 12070 12073 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23027336 1342771200 269311 33554432000 4194304 16246674 140737299876736 140605954960624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12073/tid=12076] ppid=12070 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12076/stat : 12076 (toysat) S 12070 12073 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23027336 1342771200 269311 33554432000 4194304 16246674 140737299876736 140605944487088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1311300

[startup+25.5075 s]
/proc/loadavg: 2.00 2.02 1.96 3/183 12077
/proc/meminfo: memFree=29552688/32872528 swapFree=249320/249320
[pid=12073] ppid=12070 vsize=1311300 CPUtime=25.49 cores=1,3,5,7
/proc/12073/stat : 12073 (toysat) R 12070 12073 11324 0 -1 4202496 269012 0 0 0 2513 36 0 0 20 0 4 0 23027336 1342771200 269311 33554432000 4194304 16246674 140737299876736 140737299858624 13950199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12073/statm: 327825 269311 890 2943 0 324719 0
[pid=12073/tid=12074] ppid=12070 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12074/stat : 12074 (toysat) S 12070 12073 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23027336 1342771200 269311 33554432000 4194304 16246674 140737299876736 140606033603824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12073/tid=12075] ppid=12070 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12075/stat : 12075 (toysat) S 12070 12073 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23027336 1342771200 269311 33554432000 4194304 16246674 140737299876736 140605954960624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12073/tid=12076] ppid=12070 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12076/stat : 12076 (toysat) S 12070 12073 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23027336 1342771200 269311 33554432000 4194304 16246674 140737299876736 140605944487088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1311300

[startup+51.1004 s]
/proc/loadavg: 2.07 2.04 1.96 3/184 12129
/proc/meminfo: memFree=29634072/32872528 swapFree=249320/249320
[pid=12073] ppid=12070 vsize=1311300 CPUtime=51.09 cores=1,3,5,7
/proc/12073/stat : 12073 (toysat) R 12070 12073 11324 0 -1 4202496 269012 0 0 0 5072 37 0 0 20 0 4 0 23027336 1342771200 269311 33554432000 4194304 16246674 140737299876736 140737299858624 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12073/statm: 327825 269311 890 2943 0 324719 0
[pid=12073/tid=12074] ppid=12070 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12074/stat : 12074 (toysat) S 12070 12073 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23027336 1342771200 269311 33554432000 4194304 16246674 140737299876736 140606033603824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12073/tid=12075] ppid=12070 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12075/stat : 12075 (toysat) S 12070 12073 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23027336 1342771200 269311 33554432000 4194304 16246674 140737299876736 140605954960624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12073/tid=12076] ppid=12070 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12076/stat : 12076 (toysat) S 12070 12073 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23027336 1342771200 269311 33554432000 4194304 16246674 140737299876736 140605944487088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1311300

[startup+102.3 s]
/proc/loadavg: 2.03 2.03 1.96 4/183 12130
/proc/meminfo: memFree=29621752/32872528 swapFree=249320/249320
[pid=12073] ppid=12070 vsize=1319492 CPUtime=102.27 cores=1,3,5,7
/proc/12073/stat : 12073 (toysat) R 12070 12073 11324 0 -1 4202496 271073 0 0 0 10189 38 0 0 20 0 4 0 23027336 1351159808 271622 33554432000 4194304 16246674 140737299876736 140737299858624 13820966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12073/statm: 329873 271622 897 2943 0 326767 0
[pid=12073/tid=12074] ppid=12070 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12074/stat : 12074 (toysat) S 12070 12073 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23027336 1351159808 271622 33554432000 4194304 16246674 140737299876736 140606033603824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12073/tid=12075] ppid=12070 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12075/stat : 12075 (toysat) S 12070 12073 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23027336 1351159808 271622 33554432000 4194304 16246674 140737299876736 140605954960624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12073/tid=12076] ppid=12070 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12076/stat : 12076 (toysat) S 12070 12073 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23027336 1351159808 271622 33554432000 4194304 16246674 140737299876736 140605944487088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1319492


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

/proc/12073/task/12076/stat : 12076 (toysat) S 12070 12073 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23027336 1352208384 271878 33554432000 4194304 16246674 140737299876736 140605944487088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 1320516

[startup+1362.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/183 12162
/proc/meminfo: memFree=29605624/32872528 swapFree=249320/249320
[pid=12073] ppid=12070 vsize=1320516 CPUtime=1361.99 cores=1,3,5,7
/proc/12073/stat : 12073 (toysat) R 12070 12073 11324 0 -1 4202496 271513 0 0 0 136106 93 0 0 20 0 4 0 23027336 1352208384 271878 33554432000 4194304 16246674 140737299876736 140737299875912 5545872 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12073/statm: 330129 271878 897 2943 0 327023 0
[pid=12073/tid=12074] ppid=12070 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12074/stat : 12074 (toysat) S 12070 12073 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23027336 1352208384 271878 33554432000 4194304 16246674 140737299876736 140606033603824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12073/tid=12075] ppid=12070 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12075/stat : 12075 (toysat) S 12070 12073 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23027336 1352208384 271878 33554432000 4194304 16246674 140737299876736 140605954960624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12073/tid=12076] ppid=12070 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12076/stat : 12076 (toysat) S 12070 12073 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23027336 1352208384 271878 33554432000 4194304 16246674 140737299876736 140605944487088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 1320516

[startup+1422.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 12163
/proc/meminfo: memFree=29605988/32872528 swapFree=249320/249320
[pid=12073] ppid=12070 vsize=1320516 CPUtime=1421.98 cores=1,3,5,7
/proc/12073/stat : 12073 (toysat) R 12070 12073 11324 0 -1 4202496 271513 0 0 0 142102 96 0 0 20 0 4 0 23027336 1352208384 271878 33554432000 4194304 16246674 140737299876736 140737299858624 5711624 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12073/statm: 330129 271878 897 2943 0 327023 0
[pid=12073/tid=12074] ppid=12070 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12074/stat : 12074 (toysat) S 12070 12073 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23027336 1352208384 271878 33554432000 4194304 16246674 140737299876736 140606033603824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12073/tid=12075] ppid=12070 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12075/stat : 12075 (toysat) S 12070 12073 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23027336 1352208384 271878 33554432000 4194304 16246674 140737299876736 140605954960624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12073/tid=12076] ppid=12070 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12076/stat : 12076 (toysat) S 12070 12073 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23027336 1352208384 271878 33554432000 4194304 16246674 140737299876736 140605944487088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 1320516

[startup+1482.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/183 12164
/proc/meminfo: memFree=29605044/32872528 swapFree=249320/249320
[pid=12073] ppid=12070 vsize=1321540 CPUtime=1481.97 cores=1,3,5,7
/proc/12073/stat : 12073 (toysat) R 12070 12073 11324 0 -1 4202496 271769 0 0 0 148099 98 0 0 20 0 4 0 23027336 1353256960 272134 33554432000 4194304 16246674 140737299876736 140737299858624 5712619 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12073/statm: 330385 272134 897 2943 0 327279 0
[pid=12073/tid=12074] ppid=12070 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12074/stat : 12074 (toysat) S 12070 12073 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23027336 1353256960 272134 33554432000 4194304 16246674 140737299876736 140606033603824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12073/tid=12075] ppid=12070 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12075/stat : 12075 (toysat) S 12070 12073 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23027336 1353256960 272134 33554432000 4194304 16246674 140737299876736 140605954960624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12073/tid=12076] ppid=12070 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12076/stat : 12076 (toysat) S 12070 12073 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23027336 1353256960 272134 33554432000 4194304 16246674 140737299876736 140605944487088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 1321540

[startup+1542.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/183 12165
/proc/meminfo: memFree=29605040/32872528 swapFree=249320/249320
[pid=12073] ppid=12070 vsize=1321540 CPUtime=1541.97 cores=1,3,5,7
/proc/12073/stat : 12073 (toysat) R 12070 12073 11324 0 -1 4202496 271769 0 0 0 154095 102 0 0 20 0 4 0 23027336 1353256960 272134 33554432000 4194304 16246674 140737299876736 140737299858624 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12073/statm: 330385 272134 897 2943 0 327279 0
[pid=12073/tid=12074] ppid=12070 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12074/stat : 12074 (toysat) S 12070 12073 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23027336 1353256960 272134 33554432000 4194304 16246674 140737299876736 140606033603824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12073/tid=12075] ppid=12070 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12075/stat : 12075 (toysat) S 12070 12073 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23027336 1353256960 272134 33554432000 4194304 16246674 140737299876736 140605954960624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12073/tid=12076] ppid=12070 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12076/stat : 12076 (toysat) S 12070 12073 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23027336 1353256960 272134 33554432000 4194304 16246674 140737299876736 140605944487088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 1321540

[startup+1602.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/183 12166
/proc/meminfo: memFree=29604916/32872528 swapFree=249320/249320
[pid=12073] ppid=12070 vsize=1321540 CPUtime=1601.95 cores=1,3,5,7
/proc/12073/stat : 12073 (toysat) R 12070 12073 11324 0 -1 4202496 271769 0 0 0 160092 103 0 0 20 0 4 0 23027336 1353256960 272134 33554432000 4194304 16246674 140737299876736 140737299858624 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12073/statm: 330385 272134 897 2943 0 327279 0
[pid=12073/tid=12074] ppid=12070 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12074/stat : 12074 (toysat) S 12070 12073 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23027336 1353256960 272134 33554432000 4194304 16246674 140737299876736 140606033603824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12073/tid=12075] ppid=12070 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12075/stat : 12075 (toysat) S 12070 12073 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23027336 1353256960 272134 33554432000 4194304 16246674 140737299876736 140605954960624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12073/tid=12076] ppid=12070 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12076/stat : 12076 (toysat) S 12070 12073 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23027336 1353256960 272134 33554432000 4194304 16246674 140737299876736 140605944487088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 1321540

[startup+1662.31 s]
/proc/loadavg: 2.01 2.04 2.00 3/183 12168
/proc/meminfo: memFree=29605036/32872528 swapFree=249320/249320
[pid=12073] ppid=12070 vsize=1321540 CPUtime=1661.94 cores=1,3,5,7
/proc/12073/stat : 12073 (toysat) R 12070 12073 11324 0 -1 4202496 271769 0 0 0 166090 104 0 0 20 0 4 0 23027336 1353256960 272134 33554432000 4194304 16246674 140737299876736 140737299858624 5827686 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12073/statm: 330385 272134 897 2943 0 327279 0
[pid=12073/tid=12074] ppid=12070 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12074/stat : 12074 (toysat) S 12070 12073 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23027336 1353256960 272134 33554432000 4194304 16246674 140737299876736 140606033603824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12073/tid=12075] ppid=12070 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12075/stat : 12075 (toysat) S 12070 12073 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23027336 1353256960 272134 33554432000 4194304 16246674 140737299876736 140605954960624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12073/tid=12076] ppid=12070 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12076/stat : 12076 (toysat) S 12070 12073 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23027336 1353256960 272134 33554432000 4194304 16246674 140737299876736 140605944487088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 1321540

[startup+1722.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/183 12169
/proc/meminfo: memFree=29604792/32872528 swapFree=249320/249320
[pid=12073] ppid=12070 vsize=1321540 CPUtime=1721.93 cores=1,3,5,7
/proc/12073/stat : 12073 (toysat) R 12070 12073 11324 0 -1 4202496 271769 0 0 0 172088 105 0 0 20 0 4 0 23027336 1353256960 272134 33554432000 4194304 16246674 140737299876736 140737299858624 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12073/statm: 330385 272134 897 2943 0 327279 0
[pid=12073/tid=12074] ppid=12070 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12074/stat : 12074 (toysat) S 12070 12073 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23027336 1353256960 272134 33554432000 4194304 16246674 140737299876736 140606033603824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12073/tid=12075] ppid=12070 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12075/stat : 12075 (toysat) S 12070 12073 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23027336 1353256960 272134 33554432000 4194304 16246674 140737299876736 140605954960624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12073/tid=12076] ppid=12070 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12076/stat : 12076 (toysat) S 12070 12073 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23027336 1353256960 272134 33554432000 4194304 16246674 140737299876736 140605944487088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 1321540

[startup+1782.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/183 12170
/proc/meminfo: memFree=29604172/32872528 swapFree=249320/249320
[pid=12073] ppid=12070 vsize=1321540 CPUtime=1781.92 cores=1,3,5,7
/proc/12073/stat : 12073 (toysat) R 12070 12073 11324 0 -1 4202496 271769 0 0 0 178086 106 0 0 20 0 4 0 23027336 1353256960 272134 33554432000 4194304 16246674 140737299876736 140737299858624 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12073/statm: 330385 272134 897 2943 0 327279 0
[pid=12073/tid=12074] ppid=12070 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12074/stat : 12074 (toysat) S 12070 12073 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23027336 1353256960 272134 33554432000 4194304 16246674 140737299876736 140606033603824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12073/tid=12075] ppid=12070 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12075/stat : 12075 (toysat) S 12070 12073 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23027336 1353256960 272134 33554432000 4194304 16246674 140737299876736 140605954960624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12073/tid=12076] ppid=12070 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12076/stat : 12076 (toysat) S 12070 12073 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23027336 1353256960 272134 33554432000 4194304 16246674 140737299876736 140605944487088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 1321540



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 12170
/proc/meminfo: memFree=29604300/32872528 swapFree=249320/249320
[pid=12073] ppid=12070 vsize=1321540 CPUtime=1800.02 cores=1,3,5,7
/proc/12073/stat : 12073 (toysat) R 12070 12073 11324 0 -1 4202496 271769 0 0 0 179895 107 0 0 20 0 4 0 23027336 1353256960 272134 33554432000 4194304 16246674 140737299876736 140737299858624 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12073/statm: 330385 272134 897 2943 0 327279 0
[pid=12073/tid=12074] ppid=12070 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12074/stat : 12074 (toysat) S 12070 12073 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23027336 1353256960 272134 33554432000 4194304 16246674 140737299876736 140606033603824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12073/tid=12075] ppid=12070 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12075/stat : 12075 (toysat) S 12070 12073 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23027336 1353256960 272134 33554432000 4194304 16246674 140737299876736 140605954960624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12073/tid=12076] ppid=12070 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12076/stat : 12076 (toysat) S 12070 12073 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23027336 1353256960 272134 33554432000 4194304 16246674 140737299876736 140605944487088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1321540

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

[startup+1800.4 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 12170
/proc/meminfo: memFree=29604300/32872528 swapFree=249320/249320
[pid=12073] ppid=12070 vsize=1321540 CPUtime=1800.02 cores=1,3,5,7
/proc/12073/stat : 12073 (toysat) R 12070 12073 11324 0 -1 4202496 271769 0 0 0 179895 107 0 0 20 0 4 0 23027336 1353256960 272134 33554432000 4194304 16246674 140737299876736 140737299858624 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12073/statm: 330385 272134 897 2943 0 327279 0
[pid=12073/tid=12074] ppid=12070 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12074/stat : 12074 (toysat) S 12070 12073 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23027336 1353256960 272134 33554432000 4194304 16246674 140737299876736 140606033603824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12073/tid=12075] ppid=12070 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12075/stat : 12075 (toysat) S 12070 12073 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23027336 1353256960 272134 33554432000 4194304 16246674 140737299876736 140605954960624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12073/tid=12076] ppid=12070 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/12073/task/12076/stat : 12076 (toysat) S 12070 12073 11324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23027336 1353256960 272134 33554432000 4194304 16246674 140737299876736 140605944487088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1321540

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.03
CPU user time (s): 1798.96
CPU system time (s): 1.06984
CPU usage (%): 99.9791
Max. virtual memory (cumulated for all children) (KiB): 1321540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.96
system time used= 1.06984
maximum resident set size= 1088536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271769
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= 205
involuntary context switches= 1963

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.45732 second user time and 7.04493 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-18 02:29:29
IDJOB=4100017
IDBENCH=1563
IDSOLVER=2542
FILE ID=node103/4100017-1466209769
RUNJOBID= node103-1466206104-11341
PBS_JOBID= 19918169
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran12x21.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100017-1466209769/watcher-4100017-1466209769 -o /tmp/evaluation-result-4100017-1466209769/solver-4100017-1466209769 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466206104-11341 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100017-1466209769.opb

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

MD5SUM BENCH= c8eb834e0a7928e8a3e340a1c0512bdc
RANDOM SEED=1837045200

node103.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.278
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.55
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.278
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.278
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.55
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.278
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.278
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.278
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.278
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.278
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:        30630040 kB
Buffers:           35968 kB
Cached:           105268 kB
SwapCached:         2228 kB
Active:          1222924 kB
Inactive:          67496 kB
Active(anon):    1148232 kB
Inactive(anon):     3560 kB
Active(file):      74692 kB
Inactive(file):    63936 kB
Unevictable:      249320 kB
Mlocked:          249320 kB
SwapTotal:      67108856 kB
SwapFree:       67099368 kB
Dirty:             16704 kB
Writeback:             0 kB
AnonPages:       1485440 kB
Mapped:            10792 kB
Shmem:                 0 kB
Slab:             570368 kB
SReclaimable:      14552 kB
SUnreclaim:       555816 kB
KernelStack:        1520 kB
PageTables:         6872 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1539428 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1228800 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= 71700 MiB
End job on node103 at 2016-06-18 02:59:30