Trace number 4079371

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.07 1800.51

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/MH+IC/
normalized-minisat15_4_4_6_mh_ic.opb
MD5SUMb24b10929da03724a77e08494dd4be05
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2886748
Best CPU time to get the best result obtained on this benchmark965.776
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9765
Total number of constraints21293
Number of constraints which are clauses14520
Number of constraints which are cardinality constraints (but not clauses)23
Number of constraints which are nor clauses,nor cardinality constraints6750
Minimum length of a constraint2
Maximum length of a constraint330
Number of terms in the objective function 4005
Biggest coefficient in the objective function 140608000
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 5469285523
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 140608000
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 5469285523
Number of bits of the biggest sum of numbers33
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-07T21:07:15+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-4079371-1465326435.opb"]
0.00/0.01	c use --random-gen="1893303321 2783556346 3771506289 3199631403 919245769 2936674080 1520030912 2543756251 2095640754 2500351145 3905690127 3275112727 4191535905 1888213308 2561179348 3293592511 267346691 2791060057 82523520 2073755136 2931483820 1163829521 3179264728 3424018278 1887471364 2910355298 2081761399 2164989876 490132828 3628474780 2945332128 4027031737 2872529264 1273391168 2047161673 2350348322 666595081 1831292037 3468140732 2444536534 3233816368 960790751 1139797739 3541325095 3022665054 2158203499 3292780607 1185497306 242752267 2622478883 1952116048 3610423676 2711247749 3769659835 3977582151 1728528736 4262859208 1873226334 3604436105 2579301801 2011113441 880048437 141142895 1523754647 3458580358 3693902238 995782079 1618112784 776681717 827907064 2651490817 1326575059 502117729 1738808487 782830608 2229741197 2120240934 2925745779 1232942819 4127730854 3755001137 2875519172 3520943235 1968742335 2533153476 364931124 1393543305 3335839273 1450083906 1139042845 2809014148 1041831847 3804651213 197505927 1699809110 435882198 3303172738 896646961 1315049049 835831557 88741187 3672309824 1063156915 924377182 3016990131 2819478147 154098303 2470719248 351761250 4170993174 680834367 240613529 670536433 3073323329 2932943849 46192355 3019178230 899445286 2067231042 1023230896 1662850033 3442107597 2002622164 1993121135 2880971203 3542318320 2904032586 237720722 348400509 901786862 1001963196 3471881215 136751113 2558903483 1211474913 3608842082 1690573370 1284645780 4113492907 937970073 637795737 398599184 226782224 3501645911 4131204267 2348912346 2475278833 1100438991 1231175683 1917266807 2165076151 3447619690 1614497695 3893912295 3000758990 1834363710 1755179456 2902643084 2664852027 834456603 2899951368 1506558901 3734204976 492518403 1285217323 2640979333 333596331 3649131477 257041968 3160594269 2822124144 2896848401 3380568560 1027642055 1414486266 1661801322 4262045455 3734095960 3221475856 1365494520 604701630 2763492301 562880043 1993555349 3665273378 1520570495 2165990908 1757287532 1901378205 2155909219 672027301 3426230533 2494047722 3065438288 4145698907 3743257912 1247870758 3172914346 490028247 2898228274 1010140616 1996568265 581128079 558707493 1454229822 1366088248 4175726143 1883600485 1545714856 1237423231 1052497777 4013613176 3326497704 1138234498 1503808249 4108363692 3027078131 2385069916 2399106993 2949718006 89706999 3524086983 1955106245 1428187435 1652628162 2364094822 3602855221 2434916530 3025961250 3150174119 131237891 3683745014 995207550 3050959706 995960775 2717128213 1966620858 922409128 635450755 2836781749 2844552741 3779445498 703912165 2133611814 4132899932 1939114984 2011002569 2247947354 4113502983 1223390473 2501362734 393829895 1601477341 3092067786 670361965 3898502255 255 362436" option to reproduce the execution
0.18/0.20	c #vars 9765
0.18/0.20	c #constraints 21293
0.39/0.49	c BCD2: Hardening is enabled.
0.39/0.49	c BCD2: BiasedSearch is enabled.
0.39/0.49	c Solving starts ...
0.39/0.49	c ============================[ Search Statistics ]============================
0.39/0.49	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.39/0.49	c       |         |          |          |    Limit     GC | Var      | Constra 
0.39/0.49	c =============================================================================
0.39/0.49	c  0.0s |       0 |        0 |        0 |    10562      0 |       60 |        0
0.69/0.70	c  0.2s |       1 |      220 |      100 |    10562      0 |       60 |        0
1.29/1.31	c  0.8s |       2 |      660 |      250 |    11619      0 |       60 |        0
2.89/2.98	c  2.5s |       3 |     1525 |      475 |    12781      0 |       60 |        0
4.39/4.41	c  3.9s |       4 |     2658 |      813 |    14060      0 |       60 |        0
6.28/6.31	c  5.8s |       5 |     4510 |     1320 |    15467      0 |       60 |        0
8.58/8.69	c  8.2s |       5 |     6709 |     1920 |    17014      0 |       60 |        0
9.18/9.28	c  8.8s |       6 |     7293 |     2081 |    18716      0 |       60 |        0
10.58/10.67	c 10.2s |       7 |     9494 |     3223 |    20588      0 |       60 |        0
12.68/12.72	c 12.2s |       7 |    12231 |     4823 |    20588      0 |       60 |        0
12.78/12.86	c 12.4s |       8 |    12413 |     4936 |    22647      0 |       60 |        0
14.88/14.96	c 14.5s |       8 |    14487 |     6336 |    22647      0 |       60 |        0
16.59/16.70	c 16.2s |       9 |    16223 |     7506 |    24912      0 |       60 |        0
18.68/18.79	c 18.3s |       9 |    18126 |     8806 |    24912      0 |       60 |        0
20.88/20.93	c 20.4s |       9 |    20236 |     9806 |    24912      0 |       60 |        0
22.98/23.00	c 22.5s |       9 |    23260 |    11306 |    27404      0 |       60 |        0
22.98/23.07	c 22.6s |      10 |    23429 |    11361 |    27404      0 |       60 |        0
25.08/25.15	c 24.7s |      10 |    25722 |    12061 |    27404      0 |       60 |        0
27.18/27.28	c 26.8s |      10 |    29212 |    13761 |    27404      0 |       60 |        0
29.38/29.43	c 28.9s |      10 |    32069 |    15161 |    27404      0 |       60 |        0
31.48/31.53	c 31.0s |      10 |    35062 |    16461 |    27404      0 |       60 |        0
32.48/32.54	c 32.1s |      11 |    36409 |    17144 |    30145      0 |       60 |        0
34.58/34.65	c 34.2s |      11 |    39334 |    18444 |    30145      0 |       60 |        0
36.78/36.82	c 36.3s |      11 |    42042 |    19844 |    30145      0 |       60 |        0
38.78/38.84	c 38.4s |      11 |    44656 |    21044 |    30145      0 |       60 |        0
40.88/40.92	c 40.4s |      11 |    46986 |    22344 |    30145      0 |       60 |        0
42.88/42.99	c 42.5s |      11 |    49458 |    23644 |    30145      0 |       60 |        0
44.98/45.03	c 44.5s |      11 |    51514 |    24844 |    30145      0 |       60 |        0
46.58/46.61	c 46.1s |      12 |    53007 |    25819 |    33160      0 |       60 |        0
48.68/48.75	c 48.3s |      12 |    55286 |    26819 |    33160      0 |       60 |        0
50.88/50.92	c 50.4s |      12 |    57647 |    28119 |    33160      0 |       60 |        0
52.89/52.94	c 52.5s |      12 |    60225 |    29219 |    33160      0 |       60 |        0
54.98/55.01	c 54.5s |      12 |    62810 |    30519 |    33160      0 |       60 |        0
57.08/57.16	c 56.7s |      12 |    65196 |    31819 |    33160      0 |       60 |        0
59.08/59.17	c 58.7s |      12 |    67477 |    33219 |    33160      0 |       60 |        0
61.18/61.26	c 60.8s |      12 |    69824 |    34519 |    33160      0 |       60 |        0
63.28/63.37	c 62.9s |      12 |    71759 |    35819 |    33160      0 |       60 |        0
65.48/65.52	c 65.0s |      12 |    74034 |    37019 |    33160      0 |       60 |        0
67.48/67.55	c 67.1s |      12 |    76064 |    38319 |    33160      0 |       60 |        0
68.29/68.31	c 67.8s |      13 |    76830 |    38832 |    36476      0 |       60 |        0
70.28/70.37	c 69.9s |      13 |    79114 |    39932 |    36476      1 |       60 |        0
72.48/72.56	c 72.1s |      13 |    81729 |    41332 |    36476      1 |       60 |        0
74.58/74.65	c 74.2s |      13 |    84120 |    42532 |    36476      1 |       60 |        0
76.58/76.66	c 76.2s |      13 |    86169 |    43632 |    36476      1 |       60 |        0
78.68/78.78	c 78.3s |      13 |    88860 |    44832 |    36476      1 |       60 |        0
80.78/80.88	c 80.4s |      13 |    91968 |    46132 |    36476      1 |       60 |        0
82.88/82.93	c 82.4s |      13 |    94295 |    47232 |    36476      1 |       60 |        0
84.89/84.99	c 84.5s |      13 |    96397 |    48332 |    36476      1 |       60 |        0
87.09/87.12	c 86.6s |      13 |    98952 |    49432 |    36476      1 |       60 |        0
89.08/89.15	c 88.7s |      13 |   100826 |    50532 |    36476      1 |       60 |        0
91.28/91.35	c 90.9s |      13 |   102919 |    51532 |    36476      1 |       60 |        0
93.38/93.43	c 92.9s |      13 |   104776 |    52532 |    36476      1 |       60 |        0
95.58/95.67	c 95.2s |      13 |   106457 |    53432 |    36476      1 |       60 |        0
97.68/97.75	c 97.3s |      13 |   107802 |    54232 |    36476      1 |       60 |        0
99.78/99.80	c 99.3s |      13 |   109111 |    55032 |    36476      1 |       60 |        0
101.78/101.85	c  101s |      13 |   110460 |    55932 |    36476      1 |       60 |        0
103.88/103.94	c  103s |      13 |   111831 |    56832 |    36476      1 |       60 |        0
106.07/106.12	c  105s |      13 |   113423 |    57832 |    36476      1 |       60 |        0
107.18/107.26	c  106s |      14 |   114198 |    58352 |    40124      1 |       60 |        0
109.27/109.39	c  108s |      14 |   115718 |    59152 |    40124      1 |       60 |        0
111.57/111.66	c  111s |      14 |   117414 |    60052 |    40124      1 |       60 |        0
113.57/113.68	c  113s |      14 |   118726 |    60852 |    40124      1 |       60 |        0
115.77/115.81	c  115s |      14 |   120112 |    61752 |    40124      1 |       60 |        0
117.78/117.85	c  117s |      14 |   121298 |    62552 |    40124      1 |       60 |        0
119.77/119.89	c  119s |      14 |   122334 |    63252 |    40124      1 |       60 |        0
121.87/121.98	c  121s |      14 |   123579 |    63952 |    40124      1 |       60 |        0
123.97/124.08	c  123s |      14 |   124648 |    64652 |    40124      1 |       60 |        0
126.17/126.29	c  125s |      14 |   125890 |    65352 |    40124      2 |       60 |        0
128.37/128.47	c  127s |      14 |   127873 |    66352 |    40124      2 |       60 |        0
130.57/130.63	c  130s |      14 |   129707 |    67352 |    40124      2 |       60 |        0
132.57/132.66	c  132s |      14 |   131098 |    68252 |    40124      2 |       60 |        0
134.66/134.78	c  134s |      14 |   133587 |    69252 |    40124      2 |       60 |        0
136.86/136.97	c  136s |      14 |   135550 |    70252 |    40124      2 |       60 |        0
139.06/139.10	c  138s |      14 |   137588 |    71252 |    40124      2 |       60 |        0
141.06/141.13	c  140s |      14 |   139822 |    72252 |    40124      2 |       60 |        0
143.17/143.25	c  142s |      14 |   141483 |    73152 |    40124      2 |       60 |        0
145.16/145.28	c  144s |      14 |   142705 |    73952 |    40124      2 |       60 |        0
147.47/147.53	c  147s |      14 |   145073 |    74952 |    40124      2 |       60 |        0
149.67/149.72	c  149s |      14 |   147199 |    75952 |    40124      2 |       60 |        0
151.87/151.91	c  151s |      14 |   148943 |    76952 |    40124      2 |       60 |        0
153.86/153.95	c  153s |      14 |   150612 |    77852 |    40124      2 |       60 |        0
155.96/156.09	c  155s |      14 |   152303 |    78752 |    40124      2 |       60 |        0
158.26/158.37	c  157s |      14 |   153789 |    79652 |    40124      2 |       60 |        0
160.46/160.54	c  160s |      14 |   155180 |    80452 |    40124      2 |       60 |        0
162.56/162.64	c  162s |      14 |   156363 |    81252 |    40124      2 |       60 |        0
164.76/164.88	c  164s |      14 |   157517 |    82052 |    40124      2 |       60 |        0
166.86/166.95	c  166s |      14 |   158621 |    82752 |    40124      2 |       60 |        0
168.96/169.03	c  168s |      14 |   159878 |    83552 |    40124      2 |       60 |        0
171.06/171.10	c  170s |      14 |   161391 |    84352 |    40124      2 |       60 |        0
173.06/173.14	c  172s |      14 |   163000 |    85052 |    40124      2 |       60 |        0
175.07/175.19	c  174s |      14 |   164538 |    85752 |    40124      2 |       60 |        0
177.17/177.26	c  176s |      14 |   166044 |    86652 |    40124      2 |       60 |        0
179.16/179.27	c  178s |      14 |   167865 |    87552 |    44137      2 |       60 |        0
179.36/179.46	c  178s |      15 |   167974 |    87632 |    44137      2 |       60 |        0
185.56/185.68	c  185s |      15 |   169161 |    88032 |    44137      3 |       60 |        0
187.76/187.84	c  187s |      15 |   171087 |    89032 |    44137      3 |       60 |        0
189.86/189.92	c  189s |      15 |   173666 |    90132 |    44137      3 |       60 |        0
191.96/192.02	c  191s |      15 |   176032 |    91332 |    44137      3 |       60 |        0
194.06/194.16	c  193s |      15 |   178472 |    92532 |    44137      3 |       60 |        0
196.16/196.26	c  195s |      15 |   180321 |    93632 |    44137      3 |       60 |        0
198.26/198.36	c  197s |      15 |   182218 |    94732 |    44137      3 |       60 |        0
200.37/200.47	c  199s |      15 |   183780 |    95832 |    44137      3 |       60 |        0
202.47/202.51	c  202s |      15 |   184663 |    96332 |    44137      3 |       60 |        0
204.46/204.56	c  204s |      15 |   186008 |    97132 |    44137      3 |       60 |        0
206.46/206.57	c  206s |      15 |   187120 |    97632 |    44137      3 |       60 |        0
208.56/208.65	c  208s |      15 |   188490 |    98532 |    44137      3 |       60 |        0
210.76/210.82	c  210s |      15 |   189667 |    99332 |    44137      3 |       60 |        0
212.76/212.86	c  212s |      15 |   190680 |   100032 |    44137      3 |       60 |        0
214.96/215.00	c  214s |      15 |   192129 |   100932 |    44137      3 |       60 |        0
216.96/217.09	c  216s |      15 |   194347 |   101832 |    44137      3 |       60 |        0
219.16/219.24	c  218s |      15 |   195911 |   102732 |    44137      3 |       60 |        0
221.56/221.61	c  221s |      15 |   197404 |   103532 |    44137      3 |       60 |        0
223.56/223.61	c  223s |      15 |   199147 |   104332 |    44137      3 |       60 |        0
225.75/225.80	c  225s |      15 |   201204 |   105432 |    44137      3 |       60 |        0
227.76/227.81	c  227s |      15 |   202800 |   106332 |    44137      3 |       60 |        0
229.85/229.94	c  229s |      15 |   204333 |   107332 |    44137      3 |       60 |        0
231.95/232.01	c  231s |      15 |   205469 |   108032 |    44137      3 |       60 |        0
234.15/234.29	c  233s |      15 |   206434 |   108732 |    44137      3 |       60 |        0
236.45/236.53	c  236s |      15 |   207993 |   109532 |    44137      3 |       60 |        0
238.55/238.62	c  238s |      15 |   209268 |   110232 |    44137      3 |       60 |        0
240.55/240.63	c  240s |      15 |   210348 |   110932 |    44137      3 |       60 |        0
242.65/242.78	c  242s |      15 |   211450 |   111732 |    44137      3 |       60 |        0
244.95/245.00	c  244s |      15 |   212533 |   112532 |    44137      3 |       60 |        0
246.95/247.07	c  246s |      15 |   213612 |   113332 |    44137      3 |       60 |        0
249.25/249.31	c  248s |      15 |   214592 |   114032 |    44137      3 |       60 |        0
251.45/251.56	c  251s |      15 |   215712 |   114732 |    44137      3 |       60 |        0
253.55/253.63	c  253s |      15 |   216665 |   115232 |    44137      4 |       60 |        0
255.55/255.68	c  255s |      15 |   217723 |   115932 |    44137      4 |       60 |        0
257.55/257.68	c  257s |      15 |   219043 |   116732 |    44137      4 |       60 |        0
259.65/259.74	c  259s |      15 |   221224 |   117732 |    44137      4 |       60 |        0
261.85/261.92	c  261s |      15 |   223015 |   118732 |    44137      4 |       60 |        0
263.95/264.10	c  263s |      15 |   225540 |   119832 |    44137      4 |       60 |        0
266.05/266.11	c  265s |      15 |   226804 |   120632 |    44137      4 |       60 |        0
268.25/268.34	c  267s |      15 |   228841 |   121732 |    44137      4 |       60 |        0
270.34/270.42	c  269s |      15 |   230681 |   122632 |    44137      4 |       60 |        0
272.44/272.58	c  272s |      15 |   231901 |   123532 |    44137      4 |       60 |        0
274.64/274.70	c  274s |      15 |   233243 |   124432 |    44137      4 |       60 |        0
276.64/276.73	c  276s |      15 |   234280 |   125232 |    44137      4 |       60 |        0
278.84/278.97	c  278s |      15 |   235501 |   126132 |    44137      4 |       60 |        0
280.94/281.04	c  280s |      15 |   236666 |   126832 |    44137      4 |       60 |        0
282.94/283.06	c  282s |      15 |   237873 |   127632 |    44137      4 |       60 |        0
285.14/285.26	c  284s |      15 |   238920 |   128432 |    44137      4 |       60 |        0
287.25/287.34	c  286s |      15 |   240141 |   129232 |    44137      4 |       60 |        0
289.35/289.41	c  288s |      15 |   241532 |   130132 |    44137      4 |       60 |        0
291.55/291.65	c  291s |      15 |   242636 |   130932 |    48551      4 |       60 |        0
293.24/293.30	c  292s |      16 |   243540 |   131552 |    48551      4 |       60 |        0
295.34/295.42	c  294s |      16 |   244720 |   132352 |    48551      4 |       60 |        0
301.64/301.75	c  301s |      16 |   245765 |   132952 |    48551      4 |       60 |        0
304.54/304.61	c  304s |      16 |   247222 |   133652 |    48551      4 |       60 |        0
306.74/306.82	c  306s |      16 |   249460 |   134752 |    48551      4 |       60 |        0
308.74/308.89	c  308s |      16 |   251529 |   135752 |    48551      4 |       60 |        0
310.94/311.03	c  310s |      16 |   254107 |   136852 |    48551      4 |       60 |        0
313.04/313.18	c  312s |      16 |   256166 |   137852 |    48551      4 |       60 |        0
315.14/315.23	c  314s |      16 |   258120 |   138852 |    48551      4 |       60 |        0
317.24/317.36	c  316s |      16 |   259819 |   139752 |    48551      4 |       60 |        0
319.44/319.58	c  319s |      16 |   261494 |   140752 |    48551      4 |       60 |        0
321.54/321.64	c  321s |      16 |   262822 |   141652 |    48551      4 |       60 |        0
323.84/323.94	c  323s |      16 |   264360 |   142552 |    48551      4 |       60 |        0
325.94/326.01	c  325s |      16 |   265832 |   143452 |    48551      4 |       60 |        0
328.04/328.13	c  327s |      16 |   267236 |   144352 |    48551      4 |       60 |        0
331.44/331.56	c  331s |      16 |   268614 |   145052 |    48551      5 |       60 |        0
333.64/333.75	c  333s |      16 |   270071 |   145852 |    48551      5 |       60 |        0
335.94/336.05	c  335s |      16 |   271308 |   146652 |    48551      5 |       60 |        0
338.04/338.10	c  337s |      16 |   272222 |   147052 |    48551      5 |       60 |        0
340.14/340.28	c  339s |      16 |   273561 |   147852 |    48551      5 |       60 |        0
342.34/342.40	c  341s |      16 |   274890 |   148652 |    48551      5 |       60 |        0
344.44/344.53	c  344s |      16 |   276465 |   149552 |    48551      5 |       60 |        0
346.64/346.72	c  346s |      16 |   277898 |   150352 |    48551      5 |       60 |        0
348.74/348.82	c  348s |      16 |   279236 |   151152 |    48551      5 |       60 |        0
350.94/351.09	c  350s |      16 |   281048 |   151852 |    48551      5 |       60 |        0
353.14/353.20	c  352s |      16 |   282248 |   152652 |    48551      5 |       60 |        0
355.23/355.33	c  354s |      16 |   283392 |   153452 |    48551      5 |       60 |        0
357.43/357.58	c  357s |      16 |   284595 |   154252 |    48551      5 |       60 |        0
359.74/359.89	c  359s |      16 |   285853 |   154952 |    48551      5 |       60 |        0
361.94/362.07	c  361s |      16 |   286907 |   155652 |    48551      5 |       60 |        0
364.24/364.38	c  363s |      16 |   288003 |   156452 |    48551      5 |       60 |        0
366.34/366.45	c  365s |      16 |   288971 |   157152 |    48551      5 |       60 |        0
368.43/368.58	c  368s |      16 |   289912 |   157852 |    48551      5 |       60 |        0
370.53/370.60	c  370s |      16 |   291106 |   158552 |    48551      5 |       60 |        0
372.63/372.76	c  372s |      16 |   293271 |   159552 |    48551      5 |       60 |        0
374.73/374.89	c  374s |      16 |   294768 |   160452 |    48551      5 |       60 |        0
376.83/376.99	c  376s |      16 |   296449 |   161452 |    48551      5 |       60 |        0
379.03/379.16	c  378s |      16 |   298077 |   162352 |    48551      5 |       60 |        0
381.03/381.17	c  380s |      16 |   299465 |   163252 |    48551      5 |       60 |        0
383.03/383.18	c  382s |      16 |   300910 |   164152 |    48551      5 |       60 |        0
385.13/385.26	c  384s |      16 |   302713 |   165052 |    48551      5 |       60 |        0
387.34/387.43	c  386s |      16 |   304239 |   165952 |    48551      5 |       60 |        0
389.63/389.70	c  389s |      16 |   305528 |   166852 |    48551      5 |       60 |        0
391.73/391.84	c  391s |      16 |   306643 |   167652 |    48551      5 |       60 |        0
393.73/393.85	c  393s |      16 |   307565 |   168352 |    48551      5 |       60 |        0
395.83/395.93	c  395s |      16 |   308722 |   169152 |    48551      5 |       60 |        0
398.73/398.82	c  398s |      16 |   309411 |   169552 |    48551      6 |       60 |        0
400.73/400.88	c  400s |      16 |   310863 |   170452 |    48551      6 |       60 |        0
402.82/402.91	c  402s |      16 |   312552 |   171352 |    48551      6 |       60 |        0
404.83/404.94	c  404s |      16 |   313933 |   172252 |    48551      6 |       60 |        0
406.92/407.02	c  406s |      16 |   315257 |   173152 |    48551      6 |       60 |        0
408.92/409.05	c  408s |      16 |   316873 |   174152 |    48551      6 |       60 |        0
411.12/411.25	c  410s |      16 |   318686 |   175352 |    48551      6 |       60 |        0
413.22/413.31	c  412s |      16 |   320042 |   176252 |    48551      6 |       60 |        0
415.32/415.44	c  414s |      16 |   321217 |   177152 |    48551      6 |       60 |        0
417.52/417.65	c  417s |      16 |   322476 |   177952 |    48551      6 |       60 |        0
419.52/419.66	c  419s |      16 |   323600 |   178752 |    48551      6 |       60 |        0
421.62/421.75	c  421s |      16 |   325006 |   179652 |    48551      6 |       60 |        0
423.72/423.85	c  423s |      16 |   326299 |   180552 |    48551      6 |       60 |        0
425.73/425.90	c  425s |      16 |   327354 |   181352 |    48551      6 |       60 |        0
427.82/427.92	c  427s |      16 |   328512 |   182152 |    48551      6 |       60 |        0
429.82/429.99	c  429s |      16 |   329638 |   182952 |    48551      6 |       60 |        0
432.12/432.21	c  431s |      16 |   330815 |   183852 |    48551      6 |       60 |        0
434.32/434.42	c  433s |      16 |   331896 |   184652 |    48551      6 |       60 |        0
436.32/436.48	c  435s |      16 |   332804 |   185352 |    48551      6 |       60 |        0
438.32/438.49	c  438s |      16 |   333996 |   186152 |    48551      6 |       60 |        0
440.42/440.53	c  440s |      16 |   335180 |   186952 |    48551      6 |       60 |        0
442.62/442.71	c  442s |      16 |   336570 |   187752 |    48551      6 |       60 |        0
444.82/444.92	c  444s |      16 |   338157 |   188652 |    48551      6 |       60 |        0
447.02/447.14	c  446s |      16 |   339495 |   189552 |    48551      6 |       60 |        0
449.12/449.29	c  448s |      16 |   340775 |   190352 |    48551      6 |       60 |        0
451.22/451.36	c  450s |      16 |   342041 |   191152 |    48551      6 |       60 |        0
453.32/453.48	c  452s |      16 |   343175 |   191952 |    48551      6 |       60 |        0
455.61/455.77	c  455s |      16 |   344480 |   192852 |    48551      6 |       60 |        0
457.91/458.02	c  457s |      16 |   345839 |   193652 |    48551      6 |       60 |        0
460.01/460.16	c  459s |      16 |   347061 |   194352 |    48551      6 |       60 |        0
462.11/462.28	c  461s |      16 |   348017 |   195052 |    48551      6 |       60 |        0
464.51/464.61	c  464s |      16 |   348899 |   195652 |    48551      7 |       60 |        0
466.71/466.82	c  466s |      16 |   350298 |   196552 |    53407      7 |       60 |        0
468.62/468.70	c  468s |      17 |   351497 |   197432 |    53407      7 |       60 |        0
470.61/470.79	c  470s |      17 |   353243 |   198632 |    53407      7 |       60 |        0
472.71/472.82	c  472s |      17 |   354993 |   199932 |    53407      7 |       60 |        0
474.71/474.85	c  474s |      17 |   356845 |   201232 |    53407      7 |       60 |        0
476.81/476.95	c  476s |      17 |   358838 |   202732 |    53407      7 |       60 |        0
478.81/478.96	c  478s |      17 |   360426 |   203732 |    53407      7 |       60 |        0
480.91/481.04	c  480s |      17 |   361565 |   204532 |    53407      7 |       60 |        0
483.02/483.12	c  482s |      17 |   362967 |   205332 |    53407      7 |       60 |        0
485.11/485.26	c  484s |      17 |   364468 |   206232 |    53407      7 |       60 |        0
487.21/487.40	c  486s |      17 |   365685 |   207132 |    53407      7 |       60 |        0
489.31/489.49	c  488s |      17 |   366931 |   208032 |    53407      7 |       60 |        0
491.51/491.65	c  491s |      17 |   368244 |   208932 |    53407      7 |       60 |        0
493.61/493.74	c  493s |      17 |   369479 |   209732 |    53407      7 |       60 |        0
495.81/495.90	c  495s |      17 |   370814 |   210532 |    53407      7 |       60 |        0
498.01/498.19	c  497s |      17 |   372020 |   211332 |    53407      7 |       60 |        0
500.40/500.54	c  500s |      17 |   373233 |   212132 |    53407      7 |       60 |        0
502.60/502.79	c  502s |      17 |   374181 |   212832 |    53407      7 |       60 |        0
504.80/504.94	c  504s |      17 |   375237 |   213532 |    53407      7 |       60 |        0
506.91/507.09	c  506s |      17 |   376353 |   214332 |    53407      7 |       60 |        0
509.20/509.38	c  508s |      17 |   377461 |   215132 |    53407      7 |       60 |        0
511.20/511.38	c  510s |      17 |   378471 |   215832 |    53407      7 |       60 |        0
513.40/513.56	c  513s |      17 |   379625 |   216632 |    53407      7 |       60 |        0
515.60/515.74	c  515s |      17 |   380661 |   217332 |    53407      7 |       60 |        0
517.90/518.02	c  517s |      17 |   381877 |   218032 |    53407      7 |       60 |        0
519.90/520.02	c  519s |      17 |   383073 |   218732 |    53407      7 |       60 |        0
522.00/522.15	c  521s |      17 |   384066 |   219432 |    53407      7 |       60 |        0
524.20/524.30	c  523s |      17 |   385236 |   220232 |    53407      7 |       60 |        0
526.40/526.56	c  526s |      17 |   386478 |   221032 |    53407      7 |       60 |        0
528.50/528.63	c  528s |      17 |   387394 |   221732 |    53407      7 |       60 |        0
530.70/530.82	c  530s |      17 |   388454 |   222432 |    53407      7 |       60 |        0
532.80/532.98	c  532s |      17 |   389399 |   223132 |    53407      7 |       60 |        0
534.80/534.99	c  534s |      17 |   390364 |   223832 |    53407      7 |       60 |        0
536.81/537.00	c  536s |      17 |   391468 |   224532 |    53407      7 |       60 |        0
539.11/539.20	c  538s |      17 |   392606 |   225332 |    53407      7 |       60 |        0
541.30/541.43	c  540s |      17 |   393582 |   226032 |    53407      7 |       60 |        0
543.40/543.55	c  543s |      17 |   394807 |   226832 |    53407      7 |       60 |        0
545.50/545.60	c  545s |      17 |   395876 |   227632 |    53407      7 |       60 |        0
547.50/547.64	c  547s |      17 |   396864 |   228332 |    53407      7 |       60 |        0
549.60/549.74	c  549s |      17 |   397815 |   229032 |    53407      7 |       60 |        0
551.89/552.00	c  551s |      17 |   398855 |   229732 |    53407      7 |       60 |        0
553.89/554.04	c  553s |      17 |   399790 |   230432 |    53407      7 |       60 |        0
555.99/556.11	c  555s |      17 |   400349 |   230832 |    53407      8 |       60 |        0
558.00/558.12	c  557s |      17 |   401357 |   231532 |    53407      8 |       60 |        0
560.10/560.25	c  559s |      17 |   402455 |   232332 |    53407      8 |       60 |        0
562.30/562.44	c  561s |      17 |   403613 |   233132 |    53407      8 |       60 |        0
564.40/564.53	c  564s |      17 |   404778 |   234032 |    53407      8 |       60 |        0
566.50/566.61	c  566s |      17 |   406118 |   234932 |    53407      8 |       60 |        0
568.70/568.84	c  568s |      17 |   407230 |   235832 |    53407      8 |       60 |        0
571.00/571.12	c  570s |      17 |   408303 |   236632 |    53407      8 |       60 |        0
572.99/573.17	c  572s |      17 |   409405 |   237432 |    53407      8 |       60 |        0
575.19/575.34	c  574s |      17 |   410524 |   238232 |    53407      8 |       60 |        0
577.29/577.41	c  576s |      17 |   411699 |   239132 |    53407      8 |       60 |        0
579.29/579.44	c  578s |      17 |   412817 |   239932 |    53407      8 |       60 |        0
581.49/581.60	c  581s |      17 |   413872 |   240732 |    53407      8 |       60 |        0
583.49/583.62	c  583s |      17 |   414906 |   241532 |    53407      8 |       60 |        0
585.78/585.93	c  585s |      17 |   416079 |   242432 |    53407      8 |       60 |        0
587.88/588.09	c  587s |      17 |   417142 |   243232 |    53407      8 |       60 |        0
590.08/590.29	c  589s |      17 |   418295 |   244032 |    53407      8 |       60 |        0
594.48/594.62	c  594s |      17 |   418714 |   244232 |    53407      8 |       60 |        0
599.49/599.69	c  599s |      17 |   419699 |   245032 |    53407      8 |       60 |        0
601.58/601.72	c  601s |      17 |   419847 |   245132 |    53407      8 |       60 |        0
603.58/603.73	c  603s |      17 |   420953 |   245832 |    53407      8 |       60 |        0
605.68/605.86	c  605s |      17 |   422517 |   246632 |    53407      8 |       60 |        0
607.77/607.94	c  607s |      17 |   423689 |   247432 |    53407      8 |       60 |        0
609.77/609.98	c  609s |      17 |   425688 |   248432 |    53407      8 |       60 |        0
611.97/612.18	c  611s |      17 |   427006 |   249232 |    53407      8 |       60 |        0
614.17/614.32	c  613s |      17 |   428261 |   250032 |    53407      8 |       60 |        0
616.17/616.35	c  615s |      17 |   429508 |   250732 |    53407      8 |       60 |        0
618.28/618.48	c  617s |      17 |   430870 |   251532 |    53407      8 |       60 |        0
620.38/620.59	c  620s |      17 |   431940 |   252232 |    53407      8 |       60 |        0
622.58/622.73	c  622s |      17 |   433505 |   253132 |    53407      8 |       60 |        0
624.67/624.88	c  624s |      17 |   434638 |   253932 |    53407      8 |       60 |        0
626.87/627.00	c  626s |      17 |   435998 |   254832 |    53407      8 |       60 |        0
629.07/629.20	c  628s |      17 |   437129 |   255632 |    53407      8 |       60 |        0
631.07/631.24	c  630s |      17 |   438023 |   256232 |    53407      9 |       60 |        0
633.37/633.51	c  633s |      17 |   439356 |   257132 |    53407      9 |       60 |        0
635.37/635.57	c  635s |      17 |   440457 |   257932 |    53407      9 |       60 |        0
637.47/637.69	c  637s |      17 |   441658 |   258732 |    53407      9 |       60 |        0
639.76/639.93	c  639s |      17 |   442952 |   259632 |    53407      9 |       60 |        0
641.76/641.99	c  641s |      17 |   444126 |   260432 |    53407      9 |       60 |        0
644.06/644.29	c  643s |      17 |   445296 |   261232 |    53407      9 |       60 |        0
646.26/646.47	c  645s |      17 |   447223 |   262232 |    53407      9 |       60 |        0
648.26/648.50	c  648s |      17 |   448612 |   263132 |    53407      9 |       60 |        0
650.46/650.60	c  650s |      17 |   450752 |   264132 |    53407      9 |       60 |        0
652.46/652.62	c  652s |      17 |   452786 |   265032 |    53407      9 |       60 |        0
654.57/654.73	c  654s |      17 |   454640 |   266032 |    53407      9 |       60 |        0
656.67/656.81	c  656s |      17 |   456124 |   266932 |    53407      9 |       60 |        0
658.76/658.96	c  658s |      17 |   457875 |   268032 |    53407      9 |       60 |        0
660.96/661.10	c  660s |      17 |   459286 |   268932 |    53407      9 |       60 |        0
662.96/663.15	c  662s |      17 |   460799 |   269832 |    53407      9 |       60 |        0
665.15/665.31	c  664s |      17 |   462253 |   270732 |    53407      9 |       60 |        0
667.15/667.33	c  666s |      17 |   463545 |   271632 |    53407      9 |       60 |        0
669.25/669.40	c  668s |      17 |   464940 |   272532 |    53407      9 |       60 |        0
671.35/671.51	c  671s |      17 |   466489 |   273432 |    53407      9 |       60 |        0
673.35/673.53	c  673s |      17 |   467712 |   274232 |    53407      9 |       60 |        0
675.65/675.81	c  675s |      17 |   468941 |   275032 |    53407      9 |       60 |        0
677.85/678.02	c  677s |      17 |   470219 |   275832 |    53407      9 |       60 |        0
680.05/680.26	c  679s |      17 |   471654 |   276732 |    53407      9 |       60 |        0
682.15/682.39	c  681s |      17 |   472755 |   277532 |    53407      9 |       60 |        0
685.95/686.14	c  685s |      17 |   473494 |   277932 |    53407      9 |       60 |        0
687.95/688.15	c  687s |      17 |   474713 |   278632 |    53407      9 |       60 |        0
689.95/690.19	c  689s |      17 |   476125 |   279532 |    53407      9 |       60 |        0
692.05/692.25	c  691s |      17 |   477470 |   280232 |    53407      9 |       60 |        0
694.25/694.41	c  693s |      17 |   478729 |   281032 |    53407      9 |       60 |        0
696.45/696.66	c  696s |      17 |   479897 |   281832 |    53407      9 |       60 |        0
698.55/698.79	c  698s |      17 |   481075 |   282532 |    53407      9 |       60 |        0
700.75/700.94	c  700s |      17 |   482050 |   283232 |    53407      9 |       60 |        0
702.85/703.08	c  702s |      17 |   483648 |   284032 |    53407      9 |       60 |        0
705.05/705.21	c  704s |      17 |   484796 |   284832 |    53407      9 |       60 |        0
707.25/707.48	c  706s |      17 |   486307 |   285532 |    53407      9 |       60 |        0
709.45/709.66	c  709s |      17 |   487603 |   286232 |    53407      9 |       60 |        0
711.75/711.94	c  711s |      17 |   489027 |   287132 |    53407      9 |       60 |        0
714.04/714.20	c  713s |      17 |   490702 |   287932 |    53407      9 |       60 |        0
716.15/716.39	c  715s |      17 |   492197 |   288732 |    53407      9 |       60 |        0
718.24/718.45	c  717s |      17 |   493392 |   289332 |    53407     10 |       60 |        0
720.44/720.62	c  720s |      17 |   495150 |   290432 |    53407     10 |       60 |        0
722.54/722.79	c  722s |      17 |   497002 |   291432 |    53407     10 |       60 |        0
725.14/725.37	c  724s |      17 |   498711 |   292432 |    53407     10 |       60 |        0
727.24/727.41	c  726s |      17 |   500050 |   293332 |    53407     10 |       60 |        0
729.24/729.46	c  728s |      17 |   501445 |   294232 |    58748     10 |       60 |        0
731.33/731.59	c  731s |      17 |   502582 |   294932 |    58748     10 |       60 |        0
733.53/733.75	c  733s |      17 |   504064 |   295832 |    58748     10 |       60 |        0
734.43/734.69	c  734s |      18 |   504956 |   296252 |    58748     10 |       60 |        0
736.93/737.15	c  736s |      18 |   506041 |   296552 |    58748     10 |       60 |        0
740.82/741.00	c  740s |      18 |   508387 |   297252 |    58748     10 |       60 |        0
742.82/743.01	c  742s |      18 |   509977 |   298152 |    58748     10 |       60 |        0
744.82/745.06	c  744s |      18 |   511035 |   298852 |    58748     10 |       60 |        0
747.02/747.27	c  746s |      18 |   512576 |   299852 |    58748     10 |       60 |        0
749.22/749.47	c  748s |      18 |   513858 |   300752 |    58748     10 |       60 |        0
751.42/751.67	c  751s |      18 |   515147 |   301652 |    58748     10 |       60 |        0
753.42/753.68	c  753s |      18 |   516139 |   302452 |    58748     10 |       60 |        0
755.62/755.81	c  755s |      18 |   517304 |   303352 |    58748     10 |       60 |        0
757.82/758.04	c  757s |      18 |   518987 |   304352 |    58748     10 |       60 |        0
759.81/760.10	c  759s |      18 |   521054 |   305152 |    58748     10 |       60 |        0
761.91/762.12	c  761s |      18 |   522688 |   305952 |    58748     10 |       60 |        0
764.11/764.38	c  763s |      18 |   524172 |   306752 |    58748     10 |       60 |        0
766.31/766.55	c  766s |      18 |   525241 |   307452 |    58748     10 |       60 |        0
768.41/768.61	c  768s |      18 |   526355 |   308252 |    58748     10 |       60 |        0
770.42/770.63	c  770s |      18 |   527644 |   309052 |    58748     10 |       60 |        0
772.72/772.94	c  772s |      18 |   529031 |   309852 |    58748     10 |       60 |        0
774.82/775.09	c  774s |      18 |   530408 |   310652 |    58748     10 |       60 |        0
777.02/777.24	c  776s |      18 |   531583 |   311452 |    58748     10 |       60 |        0
779.01/779.26	c  778s |      18 |   532686 |   312152 |    58748     10 |       60 |        0
781.21/781.41	c  780s |      18 |   534070 |   312952 |    58748     10 |       60 |        0
783.22/783.41	c  782s |      18 |   535162 |   313652 |    58748     10 |       60 |        0
785.32/785.54	c  785s |      18 |   536164 |   314352 |    58748     10 |       60 |        0
787.61/787.81	c  787s |      18 |   537168 |   315052 |    58748     10 |       60 |        0
789.60/789.86	c  789s |      18 |   538014 |   315652 |    58748     10 |       60 |        0
791.70/791.91	c  791s |      18 |   539083 |   316352 |    58748     10 |       60 |        0
793.70/793.96	c  793s |      18 |   540189 |   317152 |    58748     10 |       60 |        0
795.70/795.96	c  795s |      18 |   541196 |   317852 |    58748     10 |       60 |        0
797.80/798.09	c  797s |      18 |   542079 |   318452 |    58748     10 |       60 |        0
800.00/800.24	c  799s |      18 |   543164 |   319152 |    58748     10 |       60 |        0
802.20/802.48	c  801s |      18 |   544210 |   319852 |    58748     10 |       60 |        0
804.40/804.60	c  804s |      18 |   544994 |   320452 |    58748     10 |       60 |        0
806.40/806.65	c  806s |      18 |   545862 |   321052 |    58748     10 |       60 |        0
808.50/808.78	c  808s |      18 |   546948 |   321752 |    58748     10 |       60 |        0
810.70/810.91	c  810s |      18 |   548716 |   322852 |    58748     10 |       60 |        0
812.69/812.96	c  812s |      18 |   550094 |   323552 |    58748     10 |       60 |        0
814.79/815.01	c  814s |      18 |   551206 |   324252 |    58748     10 |       60 |        0
817.49/817.75	c  817s |      18 |   552258 |   324952 |    58748     11 |       60 |        0
819.49/819.79	c  819s |      18 |   553281 |   325652 |    58748     11 |       60 |        0
821.59/821.88	c  821s |      18 |   554568 |   326552 |    58748     11 |       60 |        0
823.68/823.98	c  823s |      18 |   555920 |   327452 |    58748     11 |       60 |        0
825.88/826.19	c  825s |      18 |   557123 |   328352 |    58748     11 |       60 |        0
828.28/828.51	c  828s |      18 |   558140 |   329052 |    58748     11 |       60 |        0
830.38/830.66	c  830s |      18 |   558600 |   329252 |    58748     11 |       60 |        0
832.58/832.81	c  832s |      18 |   559565 |   329852 |    58748     11 |       60 |        0
834.78/835.09	c  834s |      18 |   560806 |   330652 |    58748     11 |       60 |        0
836.98/837.28	c  836s |      18 |   562032 |   331452 |    58748     11 |       60 |        0
839.07/839.31	c  838s |      18 |   563607 |   332352 |    58748     11 |       60 |        0
841.17/841.47	c  840s |      18 |   565265 |   333352 |    58748     11 |       60 |        0
843.27/843.53	c  843s |      18 |   566508 |   334252 |    58748     11 |       60 |        0
845.27/845.56	c  845s |      18 |   567677 |   335052 |    58748     11 |       60 |        0
847.57/847.87	c  847s |      18 |   568837 |   335852 |    58748     11 |       60 |        0
849.77/850.00	c  849s |      18 |   569869 |   336552 |    58748     11 |       60 |        0
851.87/852.13	c  851s |      18 |   570769 |   337252 |    58748     11 |       60 |        0
853.97/854.28	c  853s |      18 |   571882 |   338052 |    58748     11 |       60 |        0
856.07/856.33	c  855s |      18 |   572974 |   338852 |    58748     11 |       60 |        0
858.26/858.55	c  858s |      18 |   574127 |   339652 |    58748     11 |       60 |        0
860.37/860.63	c  860s |      18 |   575235 |   340352 |    58748     11 |       60 |        0
862.46/862.71	c  862s |      18 |   576569 |   341152 |    58748     11 |       60 |        0
864.57/864.81	c  864s |      18 |   577974 |   341952 |    58748     11 |       60 |        0
866.77/867.03	c  866s |      18 |   579380 |   342852 |    58748     11 |       60 |        0
868.97/869.26	c  868s |      18 |   580521 |   343652 |    58748     11 |       60 |        0
871.07/871.38	c  870s |      18 |   581551 |   344352 |    58748     11 |       60 |        0
873.06/873.38	c  872s |      18 |   582520 |   345052 |    58748     11 |       60 |        0
875.26/875.55	c  875s |      18 |   583454 |   345752 |    58748     11 |       60 |        0
877.36/877.69	c  877s |      18 |   584396 |   346452 |    58748     11 |       60 |        0
879.56/879.89	c  879s |      18 |   585522 |   347152 |    58748     11 |       60 |        0
881.76/882.07	c  881s |      18 |   586479 |   347852 |    58748     11 |       60 |        0
883.86/884.19	c  883s |      18 |   587452 |   348552 |    58748     11 |       60 |        0
885.96/886.27	c  885s |      18 |   588602 |   349352 |    58748     11 |       60 |        0
888.26/888.54	c  888s |      18 |   589441 |   350052 |    58748     11 |       60 |        0
890.46/890.71	c  890s |      18 |   590455 |   350852 |    58748     11 |       60 |        0
893.76/894.03	c  893s |      18 |   590747 |   350952 |    58748     12 |       60 |        0
896.96/897.27	c  896s |      18 |   591213 |   351152 |    58748     12 |       60 |        0
899.36/899.66	c  899s |      18 |   592142 |   351552 |    58748     12 |       60 |        0
904.66/904.91	c  904s |      18 |   592847 |   351852 |    58748     12 |       60 |        0
906.85/907.11	c  906s |      18 |   594430 |   352752 |    58748     12 |       60 |        0
908.95/909.25	c  908s |      18 |   596171 |   353752 |    58748     12 |       60 |        0
910.95/911.29	c  910s |      18 |   597460 |   354652 |    58748     12 |       60 |        0
913.05/913.33	c  912s |      18 |   598857 |   355652 |    58748     12 |       60 |        0
915.16/915.44	c  914s |      18 |   600076 |   356552 |    58748     12 |       60 |        0
917.15/917.44	c  916s |      18 |   601351 |   357352 |    58748     12 |       60 |        0
919.24/919.54	c  919s |      18 |   602490 |   358152 |    58748     12 |       60 |        0
921.24/921.57	c  921s |      18 |   603685 |   358952 |    58748     12 |       60 |        0
923.44/923.78	c  923s |      18 |   605034 |   359752 |    58748     12 |       60 |        0
925.54/925.82	c  925s |      18 |   606718 |   360652 |    58748     12 |       60 |        0
927.54/927.89	c  927s |      18 |   607859 |   361452 |    58748     12 |       60 |        0
929.84/930.12	c  929s |      18 |   609161 |   362452 |    58748     12 |       60 |        0
931.84/932.17	c  931s |      18 |   610220 |   363152 |    58748     12 |       60 |        0
934.04/934.37	c  933s |      18 |   611402 |   363952 |    58748     12 |       60 |        0
936.34/936.62	c  936s |      18 |   612474 |   364752 |    58748     12 |       60 |        0
938.43/938.72	c  938s |      18 |   613387 |   365452 |    58748     12 |       60 |        0
940.63/940.97	c  940s |      18 |   614434 |   366252 |    58748     12 |       60 |        0
942.73/943.02	c  942s |      18 |   615358 |   366952 |    58748     12 |       60 |        0
944.93/945.25	c  944s |      18 |   616477 |   367752 |    58748     12 |       60 |        0
947.13/947.41	c  946s |      18 |   617547 |   368552 |    58748     12 |       60 |        0
949.14/949.43	c  948s |      18 |   618584 |   369252 |    58748     12 |       60 |        0
951.23/951.58	c  951s |      18 |   619761 |   370052 |    58748     12 |       60 |        0
953.33/953.66	c  953s |      18 |   620647 |   370752 |    58748     12 |       60 |        0
955.33/955.67	c  955s |      18 |   621648 |   371452 |    58748     12 |       60 |        0
957.43/957.70	c  957s |      18 |   622734 |   372252 |    58748     12 |       60 |        0
959.43/959.76	c  959s |      18 |   623645 |   372952 |    58748     12 |       60 |        0
961.42/961.78	c  961s |      18 |   624523 |   373552 |    58748     12 |       60 |        0
963.72/964.06	c  963s |      18 |   625492 |   374252 |    58748     12 |       60 |        0
966.02/966.34	c  965s |      18 |   626650 |   374952 |    58748     12 |       60 |        0
968.12/968.40	c  967s |      18 |   627634 |   375652 |    58748     12 |       60 |        0
970.32/970.61	c  970s |      18 |   628762 |   376452 |    58748     12 |       60 |        0
972.52/972.86	c  972s |      18 |   629845 |   377252 |    58748     12 |       60 |        0
974.72/975.08	c  974s |      18 |   630809 |   377952 |    58748     12 |       60 |        0
977.02/977.31	c  976s |      18 |   631786 |   378652 |    58748     12 |       60 |        0
979.32/979.65	c  979s |      18 |   632722 |   379352 |    58748     12 |       60 |        0
981.42/981.70	c  981s |      18 |   633632 |   380052 |    58748     12 |       60 |        0
983.52/983.80	c  983s |      18 |   634763 |   380752 |    58748     12 |       60 |        0
985.62/985.90	c  985s |      18 |   635653 |   381452 |    58748     12 |       60 |        0
987.72/988.08	c  987s |      18 |   636621 |   382152 |    58748     12 |       60 |        0
989.92/990.24	c  989s |      18 |   637539 |   382852 |    58748     12 |       60 |        0
992.02/992.33	c  991s |      18 |   638523 |   383552 |    58748     12 |       60 |        0
994.22/994.57	c  994s |      18 |   639647 |   384252 |    58748     12 |       60 |        0
996.31/996.68	c  996s |      18 |   640644 |   384952 |    58748     12 |       60 |        0
998.41/998.75	c  998s |      18 |   641740 |   385652 |    58748     12 |       60 |        0
1002.21/1002.57	c 1002s |      18 |   642891 |   386452 |    58748     13 |       60 |        0
1004.31/1004.66	c 1004s |      18 |   643681 |   386952 |    58748     13 |       60 |        0
1006.42/1006.80	c 1006s |      18 |   645028 |   387752 |    58748     13 |       60 |        0
1008.71/1009.01	c 1008s |      18 |   646874 |   388752 |    58748     13 |       60 |        0
1010.91/1011.26	c 1010s |      18 |   648344 |   389652 |    58748     13 |       60 |        0
1013.11/1013.43	c 1012s |      18 |   649953 |   390652 |    58748     13 |       60 |        0
1015.31/1015.65	c 1015s |      18 |   651729 |   391652 |    58748     13 |       60 |        0
1017.51/1017.80	c 1017s |      18 |   653065 |   392552 |    58748     13 |       60 |        0
1019.61/1019.99	c 1019s |      18 |   655028 |   393752 |    58748     13 |       60 |        0
1021.71/1022.03	c 1021s |      18 |   656300 |   394652 |    58748     13 |       60 |        0
1024.01/1024.31	c 1023s |      18 |   657572 |   395552 |    58748     13 |       60 |        0
1026.21/1026.58	c 1026s |      18 |   659060 |   396452 |    58748     13 |       60 |        0
1028.41/1028.76	c 1028s |      18 |   660417 |   397352 |    58748     13 |       60 |        0
1030.51/1030.81	c 1030s |      18 |   661874 |   398152 |    58748     13 |       60 |        0
1032.50/1032.85	c 1032s |      18 |   663019 |   398952 |    58748     13 |       60 |        0
1034.70/1035.03	c 1034s |      18 |   665626 |   400152 |    58748     13 |       60 |        0
1036.80/1037.10	c 1036s |      18 |   667687 |   401052 |    58748     13 |       60 |        0
1038.90/1039.27	c 1038s |      18 |   669455 |   401952 |    58748     13 |       60 |        0
1041.09/1041.45	c 1040s |      18 |   671108 |   402852 |    58748     13 |       60 |        0
1043.29/1043.66	c 1043s |      18 |   672650 |   403752 |    58748     13 |       60 |        0
1045.49/1045.84	c 1045s |      18 |   674250 |   404652 |    58748     13 |       60 |        0
1047.59/1047.92	c 1047s |      18 |   675424 |   405452 |    58748     13 |       60 |        0
1049.79/1050.10	c 1049s |      18 |   676535 |   406152 |    58748     13 |       60 |        0
1051.89/1052.29	c 1051s |      18 |   677698 |   406852 |    58748     13 |       60 |        0
1054.09/1054.43	c 1053s |      18 |   678919 |   407752 |    58748     13 |       60 |        0
1056.39/1056.71	c 1056s |      18 |   680226 |   408652 |    58748     13 |       60 |        0
1058.58/1058.91	c 1058s |      18 |   681637 |   409452 |    58748     13 |       60 |        0
1060.78/1061.12	c 1060s |      18 |   683737 |   410452 |    58748     13 |       60 |        0
1062.78/1063.14	c 1062s |      18 |   685196 |   411352 |    58748     13 |       60 |        0
1064.98/1065.30	c 1064s |      18 |   686716 |   412352 |    58748     13 |       60 |        0
1067.08/1067.45	c 1066s |      18 |   688245 |   413152 |    58748     13 |       60 |        0
1069.09/1069.49	c 1069s |      18 |   690142 |   414052 |    58748     13 |       60 |        0
1071.38/1071.77	c 1071s |      18 |   691542 |   414952 |    58748     13 |       60 |        0
1073.49/1073.87	c 1073s |      18 |   693078 |   415752 |    58748     13 |       60 |        0
1075.48/1075.89	c 1075s |      18 |   694477 |   416552 |    58748     13 |       60 |        0
1077.58/1077.93	c 1077s |      18 |   695835 |   417452 |    58748     13 |       60 |        0
1079.77/1080.10	c 1079s |      18 |   697495 |   418352 |    58748     13 |       60 |        0
1081.78/1082.11	c 1081s |      18 |   699029 |   419152 |    58748     13 |       60 |        0
1084.08/1084.45	c 1083s |      18 |   700484 |   419952 |    58748     14 |       60 |        0
1086.28/1086.61	c 1086s |      18 |   702204 |   420852 |    58748     14 |       60 |        0
1088.28/1088.65	c 1088s |      18 |   703673 |   421752 |    58748     14 |       60 |        0
1090.48/1090.81	c 1090s |      18 |   704928 |   422552 |    58748     14 |       60 |        0
1092.58/1092.99	c 1092s |      18 |   706485 |   423552 |    58748     14 |       60 |        0
1094.68/1095.02	c 1094s |      18 |   707875 |   424452 |    58748     14 |       60 |        0
1096.68/1097.05	c 1096s |      18 |   709145 |   425352 |    58748     14 |       60 |        0
1098.68/1099.08	c 1098s |      18 |   710213 |   425952 |    58748     14 |       60 |        0
1100.88/1101.23	c 1100s |      18 |   712346 |   426952 |    58748     14 |       60 |        0
1103.08/1103.50	c 1103s |      18 |   713662 |   427752 |    58748     14 |       60 |        0
1105.28/1105.67	c 1105s |      18 |   714951 |   428552 |    58748     14 |       60 |        0
1107.37/1107.70	c 1107s |      18 |   716263 |   429352 |    58748     14 |       60 |        0
1109.37/1109.76	c 1109s |      18 |   717714 |   430152 |    58748     14 |       60 |        0
1111.67/1112.04	c 1111s |      18 |   719209 |   430952 |    58748     14 |       60 |        0
1113.86/1114.28	c 1113s |      18 |   720843 |   431752 |    58748     14 |       60 |        0
1115.86/1116.29	c 1115s |      18 |   721999 |   432452 |    58748     14 |       60 |        0
1118.06/1118.46	c 1117s |      18 |   723220 |   433252 |    58748     14 |       60 |        0
1120.36/1120.76	c 1120s |      18 |   724543 |   434052 |    58748     14 |       60 |        0
1122.56/1122.98	c 1122s |      18 |   725707 |   434752 |    58748     14 |       60 |        0
1124.76/1125.10	c 1124s |      18 |   726720 |   435452 |    58748     14 |       60 |        0
1126.96/1127.33	c 1126s |      18 |   727795 |   436252 |    58748     14 |       60 |        0
1129.16/1129.56	c 1129s |      18 |   728321 |   436452 |    58748     14 |       60 |        0
1131.25/1131.66	c 1131s |      18 |   730071 |   437252 |    58748     14 |       60 |        0
1133.45/1133.88	c 1133s |      18 |   731791 |   438152 |    58748     14 |       60 |        0
1135.75/1136.18	c 1135s |      18 |   733226 |   438952 |    58748     14 |       60 |        0
1137.95/1138.35	c 1137s |      18 |   734598 |   439752 |    58748     14 |       60 |        0
1140.15/1140.53	c 1140s |      18 |   735797 |   440452 |    58748     14 |       60 |        0
1142.25/1142.66	c 1142s |      18 |   736862 |   441152 |    58748     14 |       60 |        0
1144.45/1144.85	c 1144s |      18 |   738168 |   441952 |    64623     14 |       60 |        0
1146.55/1146.93	c 1146s |      18 |   739441 |   442652 |    64623     14 |       60 |        0
1148.55/1148.97	c 1148s |      18 |   740642 |   443352 |    64623     14 |       60 |        0
1150.65/1151.09	c 1150s |      18 |   741981 |   444052 |    64623     14 |       60 |        0
1151.95/1152.36	c 1151s |      19 |   742722 |   444482 |    64623     14 |       60 |        0
1154.05/1154.42	c 1153s |      19 |   743653 |   445082 |    64623     14 |       60 |        0
1156.15/1156.53	c 1156s |      19 |   744786 |   445782 |    64623     14 |       60 |        0
1158.16/1158.59	c 1158s |      19 |   745669 |   446482 |    64623     14 |       60 |        0
1160.26/1160.64	c 1160s |      19 |   746628 |   447082 |    64623     14 |       60 |        0
1162.46/1162.85	c 1162s |      19 |   747880 |   447782 |    64623     14 |       60 |        0
1164.66/1165.04	c 1164s |      19 |   749333 |   448582 |    64623     14 |       60 |        0
1166.65/1167.06	c 1166s |      19 |   750602 |   449282 |    64623     14 |       60 |        0
1168.85/1169.22	c 1168s |      19 |   751452 |   449782 |    64623     14 |       60 |        0
1171.05/1171.47	c 1170s |      19 |   752647 |   450582 |    64623     14 |       60 |        0
1173.15/1173.56	c 1173s |      19 |   753683 |   451382 |    64623     14 |       60 |        0
1175.45/1175.88	c 1175s |      19 |   755002 |   452182 |    64623     14 |       60 |        0
1177.75/1178.13	c 1177s |      19 |   756429 |   452882 |    64623     14 |       60 |        0
1179.95/1180.35	c 1179s |      19 |   757707 |   453582 |    64623     14 |       60 |        0
1182.05/1182.47	c 1181s |      19 |   758828 |   454282 |    64623     14 |       60 |        0
1184.15/1184.52	c 1184s |      19 |   759848 |   454982 |    64623     14 |       60 |        0
1186.34/1186.77	c 1186s |      19 |   760952 |   455782 |    64623     14 |       60 |        0
1188.54/1188.99	c 1188s |      19 |   762023 |   456482 |    64623     14 |       60 |        0
1190.94/1191.31	c 1190s |      19 |   763336 |   457182 |    64623     14 |       60 |        0
1193.14/1193.56	c 1193s |      19 |   764402 |   457782 |    64623     14 |       60 |        0
1195.34/1195.78	c 1195s |      19 |   765643 |   458482 |    64623     14 |       60 |        0
1197.84/1198.24	c 1197s |      19 |   766618 |   459082 |    64623     15 |       60 |        0
1199.95/1200.39	c 1199s |      19 |   766950 |   459282 |    64623     15 |       60 |        0
1202.15/1202.51	c 1202s |      19 |   767931 |   459982 |    64623     15 |       60 |        0
1204.14/1204.57	c 1204s |      19 |   769053 |   460782 |    64623     15 |       60 |        0
1206.34/1206.73	c 1206s |      19 |   770366 |   461582 |    64623     15 |       60 |        0
1208.44/1208.80	c 1208s |      19 |   771398 |   462282 |    64623     15 |       60 |        0
1210.54/1210.93	c 1210s |      19 |   772388 |   462982 |    64623     15 |       60 |        0
1212.64/1213.08	c 1212s |      19 |   773685 |   463782 |    64623     15 |       60 |        0
1214.84/1215.24	c 1214s |      19 |   774872 |   464582 |    64623     15 |       60 |        0
1216.94/1217.33	c 1216s |      19 |   775994 |   465382 |    64623     15 |       60 |        0
1219.04/1219.44	c 1218s |      19 |   777099 |   466182 |    64623     15 |       60 |        0
1221.04/1221.46	c 1220s |      19 |   778232 |   466982 |    64623     15 |       60 |        0
1223.14/1223.53	c 1223s |      19 |   779242 |   467682 |    64623     15 |       60 |        0
1225.24/1225.65	c 1225s |      19 |   780503 |   468482 |    64623     15 |       60 |        0
1227.44/1227.82	c 1227s |      19 |   781608 |   469282 |    64623     15 |       60 |        0
1229.84/1230.20	c 1229s |      19 |   782677 |   469982 |    64623     15 |       60 |        0
1231.93/1232.32	c 1231s |      19 |   783879 |   470682 |    64623     15 |       60 |        0
1234.04/1234.43	c 1233s |      19 |   784984 |   471382 |    64623     15 |       60 |        0
1236.04/1236.49	c 1236s |      19 |   785967 |   472082 |    64623     15 |       60 |        0
1238.23/1238.65	c 1238s |      19 |   786894 |   472782 |    64623     15 |       60 |        0
1240.33/1240.73	c 1240s |      19 |   787910 |   473482 |    64623     15 |       60 |        0
1242.53/1242.93	c 1242s |      19 |   788934 |   474182 |    64623     15 |       60 |        0
1244.53/1244.97	c 1244s |      19 |   789810 |   474782 |    64623     15 |       60 |        0
1246.73/1247.18	c 1246s |      19 |   790799 |   475482 |    64623     15 |       60 |        0
1248.93/1249.36	c 1248s |      19 |   791665 |   476082 |    64623     15 |       60 |        0
1251.13/1251.59	c 1251s |      19 |   792632 |   476782 |    64623     15 |       60 |        0
1253.23/1253.67	c 1253s |      19 |   793762 |   477582 |    64623     15 |       60 |        0
1255.33/1255.71	c 1255s |      19 |   794756 |   478282 |    64623     15 |       60 |        0
1257.43/1257.82	c 1257s |      19 |   795814 |   478982 |    64623     15 |       60 |        0
1259.63/1260.06	c 1259s |      19 |   796843 |   479682 |    64623     15 |       60 |        0
1261.83/1262.25	c 1261s |      19 |   797902 |   480382 |    64623     15 |       60 |        0
1263.93/1264.31	c 1263s |      19 |   798782 |   480982 |    64623     15 |       60 |        0
1266.03/1266.42	c 1265s |      19 |   799848 |   481682 |    64623     15 |       60 |        0
1268.14/1268.58	c 1268s |      19 |   800897 |   482382 |    64623     15 |       60 |        0
1270.43/1270.81	c 1270s |      19 |   801861 |   483082 |    64623     15 |       60 |        0
1272.44/1272.89	c 1272s |      19 |   802828 |   483782 |    64623     15 |       60 |        0
1274.64/1275.02	c 1274s |      19 |   803847 |   484482 |    64623     15 |       60 |        0
1276.73/1277.15	c 1276s |      19 |   804903 |   485282 |    64623     15 |       60 |        0
1278.73/1279.17	c 1278s |      19 |   805709 |   485882 |    64623     15 |       60 |        0
1280.83/1281.21	c 1280s |      19 |   806535 |   486482 |    64623     15 |       60 |        0
1282.83/1283.25	c 1282s |      19 |   807328 |   487082 |    64623     15 |       60 |        0
1285.03/1285.41	c 1284s |      19 |   808097 |   487682 |    64623     15 |       60 |        0
1287.03/1287.46	c 1286s |      19 |   808981 |   488282 |    64623     15 |       60 |        0
1289.13/1289.55	c 1289s |      19 |   809786 |   488882 |    64623     15 |       60 |        0
1291.23/1291.64	c 1291s |      19 |   810549 |   489482 |    64623     15 |       60 |        0
1293.43/1293.87	c 1293s |      19 |   811533 |   490182 |    64623     15 |       60 |        0
1295.53/1295.98	c 1295s |      19 |   812379 |   490782 |    64623     15 |       60 |        0
1297.73/1298.17	c 1297s |      19 |   813398 |   491482 |    64623     15 |       60 |        0
1299.82/1300.24	c 1299s |      19 |   814213 |   492082 |    64623     15 |       60 |        0
1302.13/1302.51	c 1302s |      19 |   815171 |   492782 |    64623     15 |       60 |        0
1304.33/1304.77	c 1304s |      19 |   816109 |   493482 |    64623     15 |       60 |        0
1306.53/1306.97	c 1306s |      19 |   816925 |   494082 |    64623     15 |       60 |        0
1309.02/1309.48	c 1308s |      19 |   817795 |   494782 |    64623     16 |       60 |        0
1311.13/1311.56	c 1311s |      19 |   819160 |   495782 |    64623     16 |       60 |        0
1313.33/1313.70	c 1313s |      19 |   820362 |   496682 |    64623     16 |       60 |        0
1315.34/1315.79	c 1315s |      19 |   821427 |   497482 |    64623     16 |       60 |        0
1317.64/1318.05	c 1317s |      19 |   822515 |   498282 |    64623     16 |       60 |        0
1319.93/1320.39	c 1319s |      19 |   823508 |   499082 |    64623     16 |       60 |        0
1322.04/1322.46	c 1321s |      19 |   824423 |   499782 |    64623     16 |       60 |        0
1324.14/1324.58	c 1324s |      19 |   825352 |   500482 |    64623     16 |       60 |        0
1326.23/1326.70	c 1326s |      19 |   826237 |   501182 |    64623     16 |       60 |        0
1328.33/1328.79	c 1328s |      19 |   827097 |   501882 |    64623     16 |       60 |        0
1330.53/1330.98	c 1330s |      19 |   828088 |   502682 |    64623     16 |       60 |        0
1332.73/1333.15	c 1332s |      19 |   829146 |   503482 |    64623     16 |       60 |        0
1335.03/1335.48	c 1334s |      19 |   830098 |   504182 |    64623     16 |       60 |        0
1338.12/1338.54	c 1338s |      19 |   830338 |   504282 |    64623     16 |       60 |        0
1340.12/1340.55	c 1340s |      19 |   831288 |   504782 |    64623     16 |       60 |        0
1342.42/1342.85	c 1342s |      19 |   832787 |   505082 |    64623     16 |       60 |        0
1344.52/1344.91	c 1344s |      19 |   834349 |   505782 |    64623     16 |       60 |        0
1346.52/1346.97	c 1346s |      19 |   836279 |   506582 |    64623     16 |       60 |        0
1348.62/1349.03	c 1348s |      19 |   838154 |   507582 |    64623     16 |       60 |        0
1350.82/1351.26	c 1350s |      19 |   838973 |   507982 |    64623     16 |       60 |        0
1353.02/1353.47	c 1352s |      19 |   840496 |   508682 |    64623     16 |       60 |        0
1355.12/1355.56	c 1355s |      19 |   841538 |   509182 |    64623     16 |       60 |        0
1357.23/1357.66	c 1357s |      19 |   843815 |   510282 |    64623     16 |       60 |        0
1359.22/1359.66	c 1359s |      19 |   845438 |   511282 |    64623     16 |       60 |        0
1361.52/1361.94	c 1361s |      19 |   847232 |   512082 |    64623     16 |       60 |        0
1363.72/1364.13	c 1363s |      19 |   848772 |   512982 |    64623     16 |       60 |        0
1365.82/1366.29	c 1365s |      19 |   850619 |   513682 |    64623     16 |       60 |        0
1368.02/1368.45	c 1367s |      19 |   852244 |   514582 |    64623     16 |       60 |        0
1370.21/1370.60	c 1370s |      19 |   853781 |   515482 |    64623     16 |       60 |        0
1372.42/1372.83	c 1372s |      19 |   855226 |   516282 |    64623     16 |       60 |        0
1374.61/1375.10	c 1374s |      19 |   856556 |   517082 |    64623     16 |       60 |        0
1377.11/1377.50	c 1377s |      19 |   858205 |   517782 |    64623     16 |       60 |        0
1379.31/1379.73	c 1379s |      19 |   860038 |   518682 |    64623     16 |       60 |        0
1381.42/1381.83	c 1381s |      19 |   861734 |   519382 |    64623     16 |       60 |        0
1383.62/1384.01	c 1383s |      19 |   863762 |   520082 |    64623     16 |       60 |        0
1385.72/1386.11	c 1385s |      19 |   865114 |   520782 |    64623     16 |       60 |        0
1387.81/1388.29	c 1387s |      19 |   866529 |   521582 |    64623     16 |       60 |        0
1390.01/1390.43	c 1389s |      19 |   868498 |   522582 |    64623     16 |       60 |        0
1392.32/1392.71	c 1392s |      19 |   870327 |   523482 |    64623     16 |       60 |        0
1394.41/1394.89	c 1394s |      19 |   871683 |   524282 |    64623     16 |       60 |        0
1396.61/1397.08	c 1396s |      19 |   873099 |   525082 |    64623     16 |       60 |        0
1399.02/1399.47	c 1398s |      19 |   874585 |   525982 |    64623     16 |       60 |        0
1401.22/1401.69	c 1401s |      19 |   875996 |   526782 |    64623     16 |       60 |        0
1403.51/1403.99	c 1403s |      19 |   877133 |   527382 |    64623     17 |       60 |        0
1405.71/1406.18	c 1405s |      19 |   878557 |   528282 |    64623     17 |       60 |        0
1408.01/1408.40	c 1407s |      19 |   879789 |   528882 |    64623     17 |       60 |        0
1410.01/1410.44	c 1409s |      19 |   881054 |   529682 |    64623     17 |       60 |        0
1412.11/1412.56	c 1412s |      19 |   882895 |   530682 |    64623     17 |       60 |        0
1414.21/1414.66	c 1414s |      19 |   884450 |   531682 |    64623     17 |       60 |        0
1418.61/1419.09	c 1418s |      19 |   884808 |   531882 |    64623     17 |       60 |        0
1420.71/1421.17	c 1420s |      19 |   887152 |   532982 |    64623     17 |       60 |        0
1422.81/1423.23	c 1422s |      19 |   889008 |   533982 |    64623     17 |       60 |        0
1424.91/1425.36	c 1424s |      19 |   890994 |   535082 |    64623     17 |       60 |        0
1427.01/1427.44	c 1426s |      19 |   892887 |   536082 |    64623     17 |       60 |        0
1429.21/1429.62	c 1429s |      19 |   894825 |   537182 |    64623     17 |       60 |        0
1431.41/1431.84	c 1431s |      19 |   896275 |   538182 |    64623     17 |       60 |        0
1433.41/1433.84	c 1433s |      19 |   897561 |   539082 |    64623     17 |       60 |        0
1435.61/1436.03	c 1435s |      19 |   899021 |   540082 |    64623     17 |       60 |        0
1437.71/1438.12	c 1437s |      19 |   900286 |   540882 |    64623     17 |       60 |        0
1439.72/1440.17	c 1439s |      19 |   901561 |   541682 |    64623     17 |       60 |        0
1441.71/1442.18	c 1441s |      19 |   902873 |   542582 |    64623     17 |       60 |        0
1443.81/1444.25	c 1443s |      19 |   904222 |   543482 |    64623     17 |       60 |        0
1445.81/1446.26	c 1445s |      19 |   905431 |   544382 |    64623     17 |       60 |        0
1447.81/1448.27	c 1447s |      19 |   906540 |   545182 |    64623     17 |       60 |        0
1449.91/1450.32	c 1449s |      19 |   907733 |   545982 |    64623     17 |       60 |        0
1452.01/1452.47	c 1451s |      19 |   909029 |   546882 |    64623     17 |       60 |        0
1454.11/1454.58	c 1454s |      19 |   910425 |   547782 |    64623     17 |       60 |        0
1456.22/1456.60	c 1456s |      19 |   911606 |   548582 |    64623     17 |       60 |        0
1458.31/1458.74	c 1458s |      19 |   912729 |   549382 |    64623     17 |       60 |        0
1460.62/1461.02	c 1460s |      19 |   913964 |   550182 |    64623     17 |       60 |        0
1462.61/1463.10	c 1462s |      19 |   915253 |   550982 |    64623     17 |       60 |        0
1464.81/1465.30	c 1464s |      19 |   916593 |   551882 |    64623     17 |       60 |        0
1466.91/1467.38	c 1466s |      19 |   917851 |   552782 |    64623     17 |       60 |        0
1469.01/1469.43	c 1468s |      19 |   919045 |   553582 |    64623     17 |       60 |        0
1471.11/1471.57	c 1471s |      19 |   920316 |   554382 |    64623     17 |       60 |        0
1473.31/1473.73	c 1473s |      19 |   921429 |   555182 |    64623     17 |       60 |        0
1475.31/1475.73	c 1475s |      19 |   922336 |   555782 |    64623     17 |       60 |        0
1477.60/1478.00	c 1477s |      19 |   923341 |   556482 |    64623     17 |       60 |        0
1479.70/1480.10	c 1479s |      19 |   924199 |   557082 |    64623     17 |       60 |        0
1481.80/1482.20	c 1481s |      19 |   925114 |   557782 |    64623     17 |       60 |        0
1483.80/1484.27	c 1483s |      19 |   925944 |   558382 |    64623     17 |       60 |        0
1486.10/1486.52	c 1486s |      19 |   926914 |   559082 |    64623     17 |       60 |        0
1488.40/1488.82	c 1488s |      19 |   928173 |   559882 |    64623     17 |       60 |        0
1490.60/1491.03	c 1490s |      19 |   929326 |   560582 |    64623     17 |       60 |        0
1492.80/1493.26	c 1492s |      19 |   930305 |   561282 |    64623     17 |       60 |        0
1494.80/1495.29	c 1494s |      19 |   931343 |   561982 |    64623     17 |       60 |        0
1497.00/1497.47	c 1496s |      19 |   932377 |   562682 |    64623     17 |       60 |        0
1499.30/1499.72	c 1499s |      19 |   933325 |   563382 |    64623     17 |       60 |        0
1501.40/1501.80	c 1501s |      19 |   934170 |   563982 |    64623     17 |       60 |        0
1503.60/1504.06	c 1503s |      19 |   935248 |   564682 |    64623     17 |       60 |        0
1505.61/1506.09	c 1505s |      19 |   936019 |   565182 |    64623     18 |       60 |        0
1507.91/1508.36	c 1507s |      19 |   937208 |   565982 |    64623     18 |       60 |        0
1510.01/1510.45	c 1509s |      19 |   938501 |   566682 |    64623     18 |       60 |        0
1512.21/1512.66	c 1512s |      19 |   940327 |   567482 |    64623     18 |       60 |        0
1514.40/1514.86	c 1514s |      19 |   942040 |   568482 |    64623     18 |       60 |        0
1516.80/1517.21	c 1516s |      19 |   942764 |   568882 |    64623     18 |       60 |        0
1518.80/1519.23	c 1518s |      19 |   943707 |   569382 |    64623     18 |       60 |        0
1520.79/1521.26	c 1520s |      19 |   945196 |   570082 |    64623     18 |       60 |        0
1522.79/1523.28	c 1522s |      19 |   946952 |   570882 |    64623     18 |       60 |        0
1524.89/1525.32	c 1524s |      19 |   948884 |   571982 |    64623     18 |       60 |        0
1527.09/1527.54	c 1527s |      19 |   950650 |   572682 |    64623     18 |       60 |        0
1529.29/1529.80	c 1529s |      19 |   952432 |   573682 |    64623     18 |       60 |        0
1531.39/1531.83	c 1531s |      19 |   953648 |   574282 |    64623     18 |       60 |        0
1533.59/1534.06	c 1533s |      19 |   955495 |   575182 |    64623     18 |       60 |        0
1535.69/1536.13	c 1535s |      19 |   957271 |   576082 |    64623     18 |       60 |        0
1537.79/1538.24	c 1537s |      19 |   958842 |   576982 |    64623     18 |       60 |        0
1539.89/1540.34	c 1539s |      19 |   960198 |   577782 |    64623     18 |       60 |        0
1541.90/1542.37	c 1541s |      19 |   961515 |   578582 |    64623     18 |       60 |        0
1544.10/1544.60	c 1544s |      19 |   962856 |   579482 |    64623     18 |       60 |        0
1546.30/1546.75	c 1546s |      19 |   964316 |   580382 |    64623     18 |       60 |        0
1548.50/1548.98	c 1548s |      19 |   965654 |   581282 |    64623     18 |       60 |        0
1550.70/1551.13	c 1550s |      19 |   966894 |   582182 |    64623     18 |       60 |        0
1552.79/1553.24	c 1552s |      19 |   968395 |   583182 |    64623     18 |       60 |        0
1554.79/1555.28	c 1554s |      19 |   969754 |   584082 |    64623     18 |       60 |        0
1557.09/1557.53	c 1557s |      19 |   970981 |   584982 |    64623     18 |       60 |        0
1559.29/1559.73	c 1559s |      19 |   972356 |   585982 |    64623     18 |       60 |        0
1561.39/1561.87	c 1561s |      19 |   973595 |   586782 |    64623     18 |       60 |        0
1563.49/1563.96	c 1563s |      19 |   974701 |   587582 |    64623     18 |       60 |        0
1565.69/1566.14	c 1565s |      19 |   975825 |   588382 |    64623     18 |       60 |        0
1567.88/1568.34	c 1567s |      19 |   977088 |   589282 |    64623     18 |       60 |        0
1570.08/1570.53	c 1570s |      19 |   977992 |   589782 |    64623     18 |       60 |        0
1572.08/1572.53	c 1572s |      19 |   979197 |   590282 |    64623     18 |       60 |        0
1574.08/1574.58	c 1574s |      19 |   980583 |   591082 |    64623     18 |       60 |        0
1576.18/1576.69	c 1576s |      19 |   982059 |   591882 |    64623     18 |       60 |        0
1578.48/1578.93	c 1578s |      19 |   983309 |   592682 |    64623     18 |       60 |        0
1580.58/1581.09	c 1580s |      19 |   984298 |   593382 |    64623     18 |       60 |        0
1582.88/1583.30	c 1582s |      19 |   985729 |   594282 |    64623     18 |       60 |        0
1584.98/1585.41	c 1584s |      19 |   987087 |   595282 |    64623     18 |       60 |        0
1586.99/1587.42	c 1586s |      19 |   988175 |   595882 |    64623     18 |       60 |        0
1588.98/1589.47	c 1588s |      19 |   989161 |   596382 |    64623     18 |       60 |        0
1591.18/1591.64	c 1591s |      19 |   990433 |   597182 |    64623     18 |       60 |        0
1593.28/1593.74	c 1593s |      19 |   991555 |   597882 |    64623     18 |       60 |        0
1595.79/1596.30	c 1595s |      19 |   992441 |   598382 |    64623     18 |       60 |        0
1597.99/1598.49	c 1598s |      19 |   993384 |   598882 |    64623     19 |       60 |        0
1600.19/1600.62	c 1600s |      19 |   994268 |   599582 |    64623     19 |       60 |        0
1602.18/1602.66	c 1602s |      19 |   995530 |   600482 |    64623     19 |       60 |        0
1604.28/1604.76	c 1604s |      19 |   996643 |   601182 |    64623     19 |       60 |        0
1606.48/1606.93	c 1606s |      19 |   997731 |   601882 |    64623     19 |       60 |        0
1608.58/1609.02	c 1608s |      19 |   998508 |   602382 |    64623     19 |       60 |        0
1610.58/1611.05	c 1610s |      19 |   999565 |   603082 |    64623     19 |       60 |        0
1612.88/1613.36	c 1612s |      19 |  1000643 |   603682 |    64623     19 |       60 |        0
1615.08/1615.57	c 1615s |      19 |  1001680 |   604282 |    64623     19 |       60 |        0
1617.18/1617.68	c 1617s |      19 |  1002568 |   604882 |    64623     19 |       60 |        0
1619.38/1619.86	c 1619s |      19 |  1004252 |   605882 |    64623     19 |       60 |        0
1621.58/1622.06	c 1621s |      19 |  1005732 |   606882 |    64623     19 |       60 |        0
1623.68/1624.14	c 1623s |      19 |  1006961 |   607782 |    64623     19 |       60 |        0
1625.68/1626.19	c 1625s |      19 |  1008257 |   608682 |    64623     19 |       60 |        0
1627.79/1628.21	c 1627s |      19 |  1009359 |   609482 |    64623     19 |       60 |        0
1629.78/1630.23	c 1629s |      19 |  1010557 |   610282 |    64623     19 |       60 |        0
1631.88/1632.33	c 1631s |      19 |  1012157 |   611182 |    64623     19 |       60 |        0
1633.88/1634.34	c 1633s |      19 |  1013310 |   611982 |    64623     19 |       60 |        0
1636.08/1636.51	c 1636s |      19 |  1014848 |   612882 |    64623     19 |       60 |        0
1638.08/1638.53	c 1638s |      19 |  1016019 |   613682 |    64623     19 |       60 |        0
1640.18/1640.63	c 1640s |      19 |  1017092 |   614482 |    64623     19 |       60 |        0
1642.28/1642.71	c 1642s |      19 |  1018235 |   615282 |    64623     19 |       60 |        0
1644.29/1644.72	c 1644s |      19 |  1019411 |   616082 |    64623     19 |       60 |        0
1646.28/1646.77	c 1646s |      19 |  1020562 |   616882 |    64623     19 |       60 |        0
1648.38/1648.90	c 1648s |      19 |  1021805 |   617682 |    64623     19 |       60 |        0
1650.58/1651.05	c 1650s |      19 |  1023003 |   618382 |    64623     19 |       60 |        0
1652.78/1653.21	c 1652s |      19 |  1024103 |   618982 |    64623     19 |       60 |        0
1654.78/1655.26	c 1654s |      19 |  1025644 |   619782 |    64623     19 |       60 |        0
1656.88/1657.38	c 1656s |      19 |  1026768 |   620382 |    64623     19 |       60 |        0
1659.07/1659.53	c 1659s |      19 |  1028209 |   621182 |    64623     19 |       60 |        0
1661.07/1661.58	c 1661s |      19 |  1029512 |   621982 |    64623     19 |       60 |        0
1663.37/1663.81	c 1663s |      19 |  1030910 |   622882 |    64623     19 |       60 |        0
1665.47/1665.94	c 1665s |      19 |  1032115 |   623682 |    64623     19 |       60 |        0
1667.47/1667.95	c 1667s |      19 |  1033248 |   624482 |    64623     19 |       60 |        0
1669.48/1669.97	c 1669s |      19 |  1034272 |   625182 |    64623     19 |       60 |        0
1671.57/1672.04	c 1671s |      19 |  1035420 |   625982 |    64623     19 |       60 |        0
1673.67/1674.14	c 1673s |      19 |  1036503 |   626782 |    64623     19 |       60 |        0
1675.67/1676.18	c 1675s |      19 |  1037677 |   627582 |    64623     19 |       60 |        0
1677.77/1678.29	c 1677s |      19 |  1038890 |   628382 |    64623     19 |       60 |        0
1679.97/1680.43	c 1679s |      19 |  1040121 |   629082 |    64623     19 |       60 |        0
1681.97/1682.47	c 1681s |      19 |  1041345 |   629882 |    64623     19 |       60 |        0
1684.17/1684.68	c 1684s |      19 |  1042764 |   630782 |    64623     19 |       60 |        0
1689.67/1690.12	c 1689s |      19 |  1044132 |   631582 |    64623     20 |       60 |        0
1693.26/1693.74	c 1693s |      19 |  1045218 |   632082 |    64623     20 |       60 |        0
1696.07/1696.50	c 1696s |      19 |  1045456 |   632182 |    64623     20 |       60 |        0
1698.18/1698.64	c 1698s |      19 |  1046960 |   632982 |    64623     20 |       60 |        0
1700.17/1700.67	c 1700s |      19 |  1048469 |   633882 |    64623     20 |       60 |        0
1702.27/1702.76	c 1702s |      19 |  1049929 |   634782 |    64623     20 |       60 |        0
1704.47/1704.92	c 1704s |      19 |  1051448 |   635782 |    64623     20 |       60 |        0
1706.67/1707.10	c 1706s |      19 |  1052835 |   636782 |    64623     20 |       60 |        0
1708.97/1709.44	c 1708s |      19 |  1054205 |   637682 |    64623     20 |       60 |        0
1711.17/1711.67	c 1711s |      19 |  1055570 |   638682 |    64623     20 |       60 |        0
1713.17/1713.68	c 1713s |      19 |  1056862 |   639582 |    64623     20 |       60 |        0
1715.17/1715.69	c 1715s |      19 |  1058412 |   640582 |    64623     20 |       60 |        0
1717.36/1717.88	c 1717s |      19 |  1059836 |   641582 |    64623     20 |       60 |        0
1719.46/1719.95	c 1719s |      19 |  1061617 |   642582 |    64623     20 |       60 |        0
1721.56/1722.08	c 1721s |      19 |  1063071 |   643582 |    64623     20 |       60 |        0
1723.76/1724.22	c 1723s |      19 |  1064375 |   644482 |    64623     20 |       60 |        0
1725.76/1726.28	c 1725s |      19 |  1065822 |   645482 |    64623     20 |       60 |        0
1727.77/1728.28	c 1727s |      19 |  1067003 |   646382 |    64623     20 |       60 |        0
1729.76/1730.29	c 1729s |      19 |  1068261 |   647282 |    64623     20 |       60 |        0
1732.17/1732.63	c 1732s |      19 |  1069616 |   648182 |    64623     20 |       60 |        0
1734.16/1734.64	c 1734s |      19 |  1071440 |   648782 |    64623     20 |       60 |        0
1736.26/1736.73	c 1736s |      19 |  1073583 |   649582 |    64623     20 |       60 |        0
1738.26/1738.79	c 1738s |      19 |  1075344 |   650582 |    64623     20 |       60 |        0
1740.56/1741.04	c 1740s |      19 |  1077302 |   651382 |    64623     20 |       60 |        0
1742.86/1743.30	c 1742s |      19 |  1078964 |   652182 |    64623     20 |       60 |        0
1744.96/1745.43	c 1744s |      19 |  1080312 |   652782 |    64623     20 |       60 |        0
1747.46/1747.92	c 1747s |      19 |  1081783 |   653482 |    64623     20 |       60 |        0
1749.46/1749.92	c 1749s |      19 |  1083260 |   654482 |    64623     20 |       60 |        0
1751.76/1752.23	c 1751s |      19 |  1084875 |   655382 |    64623     20 |       60 |        0
1753.85/1754.34	c 1753s |      19 |  1086750 |   656482 |    64623     20 |       60 |        0
1755.96/1756.47	c 1755s |      19 |  1088379 |   657282 |    64623     20 |       60 |        0
1758.15/1758.61	c 1758s |      19 |  1090111 |   658182 |    64623     20 |       60 |        0
1760.25/1760.76	c 1760s |      19 |  1091755 |   659082 |    64623     20 |       60 |        0
1762.35/1762.88	c 1762s |      19 |  1093465 |   659982 |    64623     20 |       60 |        0
1764.66/1765.10	c 1764s |      19 |  1095038 |   660982 |    64623     20 |       60 |        0
1766.86/1767.37	c 1766s |      19 |  1096609 |   661982 |    64623     20 |       60 |        0
1768.96/1769.43	c 1768s |      19 |  1098118 |   662782 |    71086     20 |       60 |        0
1771.16/1771.66	c 1771s |      19 |  1100187 |   663882 |    71086     20 |       60 |        0
1773.26/1773.74	c 1773s |      19 |  1101718 |   664982 |    71086     20 |       60 |        0
1775.36/1775.83	c 1775s |      19 |  1103377 |   665982 |    71086     20 |       60 |        0
1776.96/1777.45	c 1776s |      20 |  1104669 |   666827 |    71086     20 |       60 |        0
1779.16/1779.65	c 1779s |      20 |  1105912 |   667727 |    71086     20 |       60 |        0
1781.36/1781.81	c 1781s |      20 |  1107270 |   668727 |    71086     20 |       60 |        0
1783.46/1783.90	c 1783s |      20 |  1108688 |   669727 |    71086     20 |       60 |        0
1785.56/1786.06	c 1785s |      20 |  1110062 |   670727 |    71086     20 |       60 |        0
1787.66/1788.18	c 1787s |      20 |  1111431 |   671727 |    71086     20 |       60 |        0
1789.86/1790.34	c 1789s |      20 |  1112801 |   672727 |    71086     20 |       60 |        0
1792.06/1792.52	c 1792s |      20 |  1114203 |   673727 |    71086     20 |       60 |        0
1794.86/1795.33	c 1794s |      20 |  1115442 |   674527 |    71086     21 |       60 |        0
1798.75/1799.22	c 1798s |      20 |  1115944 |   674727 |    71086     21 |       60 |        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-4079371-1465326435/watcher-4079371-1465326435 -o /tmp/evaluation-result-4079371-1465326435/solver-4079371-1465326435 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465312758-19944 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079371-1465326435.opb 

pid=21186
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.29 2.25 2.25 3/179 21189
/proc/meminfo: memFree=29137360/32872528 swapFree=16636/1570076
[pid=21189] ppid=21186 vsize=710076 CPUtime=0 cores=1,3,5,7
/proc/21189/stat : 21189 (toysat) R 21186 21189 2168 0 -1 4202496 2647 0 0 0 0 0 0 0 20 0 4 0 114575879 727117824 2497 33554432000 4194304 16246674 140736044302688 140736044302112 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21189/statm: 178031 2506 441 2943 0 174925 0
[pid=21189/tid=21190] ppid=21186 vsize=727484 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21190/stat : 21190 (toysat) S 21186 21189 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114575880 744943616 2562 33554432000 4194304 16246674 140736044302688 140399705304304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21189/tid=21191] ppid=21186 vsize=731580 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21191/stat : 21191 (toysat) S 21186 21189 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114575880 749137920 2580 33554432000 4194304 16246674 140736044302688 140399694814448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21189/tid=21192] ppid=21186 vsize=735676 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114575880 753332224 2596 33554432000 4194304 16246674 140736044302688 140399684340912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.10018 s]
/proc/loadavg: 2.29 2.25 2.25 3/179 21189
/proc/meminfo: memFree=29137360/32872528 swapFree=16636/1570076
[pid=21189] ppid=21186 vsize=1302084 CPUtime=0.08 cores=1,3,5,7
/proc/21189/stat : 21189 (toysat) R 21186 21189 2168 0 -1 4202496 27494 0 0 0 5 3 0 0 20 0 4 0 114575879 1333334016 27282 33554432000 4194304 16246674 140736044302688 140736044302000 8056990 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21189/statm: 325521 27299 800 2943 0 322415 0
[pid=21189/tid=21190] ppid=21186 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21190/stat : 21190 (toysat) S 21186 21189 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114575880 1333334016 27309 33554432000 4194304 16246674 140736044302688 140399705304304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21189/tid=21191] ppid=21186 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21191/stat : 21191 (toysat) S 21186 21189 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114575880 1333334016 27321 33554432000 4194304 16246674 140736044302688 140399694814448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21189/tid=21192] ppid=21186 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114575880 1333334016 27333 33554432000 4194304 16246674 140736044302688 140399684340912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200607 s]
/proc/loadavg: 2.29 2.25 2.25 3/179 21189
/proc/meminfo: memFree=29137360/32872528 swapFree=16636/1570076
[pid=21189] ppid=21186 vsize=1314372 CPUtime=0.18 cores=1,3,5,7
/proc/21189/stat : 21189 (toysat) R 21186 21189 2168 0 -1 4202496 48840 0 0 0 12 6 0 0 20 0 4 0 114575879 1345916928 49138 33554432000 4194304 16246674 140736044302688 140736044302000 13965719 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21189/statm: 328593 49138 800 2943 0 325487 0
[pid=21189/tid=21190] ppid=21186 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21190/stat : 21190 (toysat) S 21186 21189 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114575880 1345916928 49138 33554432000 4194304 16246674 140736044302688 140399705304304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21189/tid=21191] ppid=21186 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21191/stat : 21191 (toysat) S 21186 21189 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114575880 1345916928 49138 33554432000 4194304 16246674 140736044302688 140399694814448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21189/tid=21192] ppid=21186 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114575880 1345916928 49138 33554432000 4194304 16246674 140736044302688 140399684340912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1314372

[startup+0.300555 s]
/proc/loadavg: 2.29 2.25 2.25 3/179 21189
/proc/meminfo: memFree=29137360/32872528 swapFree=16636/1570076
[pid=21189] ppid=21186 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/21189/stat : 21189 (toysat) R 21186 21189 2168 0 -1 4202496 49055 0 0 0 22 7 0 0 20 0 4 0 114575879 1345916928 49354 33554432000 4194304 16246674 140736044302688 140736044302000 5589389 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21189/statm: 328593 49367 840 2943 0 325487 0
[pid=21189/tid=21190] ppid=21186 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21190/stat : 21190 (toysat) S 21186 21189 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114575880 1345916928 49375 33554432000 4194304 16246674 140736044302688 140399705304304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21189/tid=21191] ppid=21186 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21191/stat : 21191 (toysat) S 21186 21189 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114575880 1345916928 49382 33554432000 4194304 16246674 140736044302688 140399694814448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21189/tid=21192] ppid=21186 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114575880 1345916928 49389 33554432000 4194304 16246674 140736044302688 140399684340912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700429 s]
/proc/loadavg: 2.29 2.25 2.25 3/179 21189
/proc/meminfo: memFree=29137360/32872528 swapFree=16636/1570076
[pid=21189] ppid=21186 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/21189/stat : 21189 (toysat) R 21186 21189 2168 0 -1 4202496 109488 0 0 0 53 16 0 0 20 0 4 0 114575879 1345916928 109786 33554432000 4194304 16246674 140736044302688 140736044302000 5677541 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21189/statm: 328593 109788 886 2943 0 325487 0
[pid=21189/tid=21190] ppid=21186 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21190/stat : 21190 (toysat) S 21186 21189 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114575880 1345916928 109790 33554432000 4194304 16246674 140736044302688 140399705304304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21189/tid=21191] ppid=21186 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21191/stat : 21191 (toysat) S 21186 21189 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114575880 1345916928 109792 33554432000 4194304 16246674 140736044302688 140399694814448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21189/tid=21192] ppid=21186 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114575880 1345916928 109793 33554432000 4194304 16246674 140736044302688 140399684340912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50042 s]
/proc/loadavg: 2.27 2.25 2.25 3/183 21193
/proc/meminfo: memFree=28583464/32872528 swapFree=16636/1570076
[pid=21189] ppid=21186 vsize=1314372 CPUtime=1.49 cores=1,3,5,7
/proc/21189/stat : 21189 (toysat) R 21186 21189 2168 0 -1 4202496 167345 0 0 0 126 23 0 0 20 0 4 0 114575879 1345916928 167643 33554432000 4194304 16246674 140736044302688 140736044284608 5602895 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21189/statm: 328593 167646 886 2943 0 325487 0
[pid=21189/tid=21190] ppid=21186 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21190/stat : 21190 (toysat) S 21186 21189 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114575880 1345916928 167647 33554432000 4194304 16246674 140736044302688 140399705304304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21189/tid=21191] ppid=21186 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21191/stat : 21191 (toysat) S 21186 21189 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114575880 1345916928 167649 33554432000 4194304 16246674 140736044302688 140399694814448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21189/tid=21192] ppid=21186 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114575880 1345916928 167651 33554432000 4194304 16246674 140736044302688 140399684340912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10072 s]
/proc/loadavg: 2.27 2.25 2.25 3/183 21193
/proc/meminfo: memFree=28306200/32872528 swapFree=16636/1570076
[pid=21189] ppid=21186 vsize=1314372 CPUtime=3.09 cores=1,3,5,7
/proc/21189/stat : 21189 (toysat) R 21186 21189 2168 0 -1 4202496 267602 0 0 0 271 38 0 0 20 0 4 0 114575879 1345916928 267900 33554432000 4194304 16246674 140736044302688 140736044284608 5601737 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21189/statm: 328593 267907 886 2943 0 325487 0
[pid=21189/tid=21190] ppid=21186 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21190/stat : 21190 (toysat) S 21186 21189 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114575880 1345916928 267910 33554432000 4194304 16246674 140736044302688 140399705304304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21189/tid=21191] ppid=21186 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21191/stat : 21191 (toysat) S 21186 21189 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114575880 1345916928 267913 33554432000 4194304 16246674 140736044302688 140399694814448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21189/tid=21192] ppid=21186 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114575880 1345916928 267916 33554432000 4194304 16246674 140736044302688 140399684340912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1314372

[startup+6.30043 s]
/proc/loadavg: 2.25 2.25 2.25 3/183 21193
/proc/meminfo: memFree=28047864/32872528 swapFree=16636/1570076
[pid=21189] ppid=21186 vsize=1326660 CPUtime=6.28 cores=1,3,5,7
/proc/21189/stat : 21189 (toysat) R 21186 21189 2168 0 -1 4202496 272346 0 0 0 590 38 0 0 20 0 4 0 114575879 1358499840 272644 33554432000 4194304 16246674 140736044302688 140736044284608 5659576 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21189/statm: 331665 272644 892 2943 0 328559 0
[pid=21189/tid=21190] ppid=21186 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21190/stat : 21190 (toysat) S 21186 21189 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114575880 1358499840 272644 33554432000 4194304 16246674 140736044302688 140399705304304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21189/tid=21191] ppid=21186 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21191/stat : 21191 (toysat) S 21186 21189 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114575880 1358499840 272644 33554432000 4194304 16246674 140736044302688 140399694814448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21189/tid=21192] ppid=21186 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114575880 1358499840 272644 33554432000 4194304 16246674 140736044302688 140399684340912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1326660

[startup+12.7004 s]
/proc/loadavg: 2.23 2.24 2.25 3/183 21193
/proc/meminfo: memFree=28047304/32872528 swapFree=16636/1570076
[pid=21189] ppid=21186 vsize=1326660 CPUtime=12.68 cores=1,3,5,7
/proc/21189/stat : 21189 (toysat) R 21186 21189 2168 0 -1 4202496 272346 0 0 0 1230 38 0 0 20 0 4 0 114575879 1358499840 272644 33554432000 4194304 16246674 140736044302688 140736044284608 5825104 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21189/statm: 331665 272644 892 2943 0 328559 0
[pid=21189/tid=21190] ppid=21186 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21190/stat : 21190 (toysat) S 21186 21189 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114575880 1358499840 272644 33554432000 4194304 16246674 140736044302688 140399705304304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21189/tid=21191] ppid=21186 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21191/stat : 21191 (toysat) S 21186 21189 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114575880 1358499840 272644 33554432000 4194304 16246674 140736044302688 140399694814448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21189/tid=21192] ppid=21186 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114575880 1358499840 272644 33554432000 4194304 16246674 140736044302688 140399684340912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1326660

[startup+25.5074 s]
/proc/loadavg: 2.25 2.24 2.25 3/183 21193
/proc/meminfo: memFree=28046012/32872528 swapFree=16636/1570076
[pid=21189] ppid=21186 vsize=1326660 CPUtime=25.49 cores=1,3,5,7
/proc/21189/stat : 21189 (toysat) R 21186 21189 2168 0 -1 4202496 272346 0 0 0 2511 38 0 0 20 0 4 0 114575879 1358499840 272644 33554432000 4194304 16246674 140736044302688 140736044284608 5601733 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21189/statm: 331665 272644 892 2943 0 328559 0
[pid=21189/tid=21190] ppid=21186 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21190/stat : 21190 (toysat) S 21186 21189 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114575880 1358499840 272644 33554432000 4194304 16246674 140736044302688 140399705304304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21189/tid=21191] ppid=21186 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21191/stat : 21191 (toysat) S 21186 21189 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114575880 1358499840 272644 33554432000 4194304 16246674 140736044302688 140399694814448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21189/tid=21192] ppid=21186 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114575880 1358499840 272644 33554432000 4194304 16246674 140736044302688 140399684340912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1326660

[startup+51.1004 s]
/proc/loadavg: 2.22 2.24 2.25 3/183 21193
/proc/meminfo: memFree=28045976/32872528 swapFree=16636/1570076
[pid=21189] ppid=21186 vsize=1326660 CPUtime=51.08 cores=1,3,5,7
/proc/21189/stat : 21189 (toysat) R 21186 21189 2168 0 -1 4202496 272347 0 0 0 5069 39 0 0 20 0 4 0 114575879 1358499840 272645 33554432000 4194304 16246674 140736044302688 140736044284608 5677667 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21189/statm: 331665 272645 892 2943 0 328559 0
[pid=21189/tid=21190] ppid=21186 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21190/stat : 21190 (toysat) S 21186 21189 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114575880 1358499840 272645 33554432000 4194304 16246674 140736044302688 140399705304304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21189/tid=21191] ppid=21186 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21191/stat : 21191 (toysat) S 21186 21189 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114575880 1358499840 272645 33554432000 4194304 16246674 140736044302688 140399694814448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21189/tid=21192] ppid=21186 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114575880 1358499840 272645 33554432000 4194304 16246674 140736044302688 140399684340912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1326660

[startup+102.3 s]
/proc/loadavg: 2.26 2.25 2.25 3/183 21195
/proc/meminfo: memFree=28043412/32872528 swapFree=16636/1570076
[pid=21189] ppid=21186 vsize=1328708 CPUtime=102.28 cores=1,3,5,7
/proc/21189/stat : 21189 (toysat) R 21186 21189 2168 0 -1 4202496 272864 0 0 0 10189 39 0 0 20 0 4 0 114575879 1360596992 273162 33554432000 4194304 16246674 140736044302688 140736044284608 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21189/statm: 332177 273162 897 2943 0 329071 0
[pid=21189/tid=21190] ppid=21186 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21190/stat : 21190 (toysat) S 21186 21189 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114575880 1360596992 273162 33554432000 4194304 16246674 140736044302688 140399705304304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21189/tid=21191] ppid=21186 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21191/stat : 21191 (toysat) S 21186 21189 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114575880 1360596992 273162 33554432000 4194304 16246674 140736044302688 140399694814448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21189/tid=21192] ppid=21186 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114575880 1360596992 273162 33554432000 4194304 16246674 140736044302688 140399684340912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1328708


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

/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114575880 1417220096 287243 33554432000 4194304 16246674 140736044302688 140399684340912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 1384004

[startup+1302.3 s]
/proc/loadavg: 2.30 2.25 2.22 3/183 21323
/proc/meminfo: memFree=28027668/32872528 swapFree=16636/1570076
[pid=21189] ppid=21186 vsize=1384004 CPUtime=1301.92 cores=1,3,5,7
/proc/21189/stat : 21189 (toysat) R 21186 21189 2168 0 -1 4202496 286992 0 0 0 130144 48 0 0 20 0 4 0 114575879 1417220096 287243 33554432000 4194304 16246674 140736044302688 140736044284608 5545796 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21189/statm: 346001 287243 898 2943 0 342895 0
[pid=21189/tid=21190] ppid=21186 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21190/stat : 21190 (toysat) S 21186 21189 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114575880 1417220096 287243 33554432000 4194304 16246674 140736044302688 140399705304304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21189/tid=21191] ppid=21186 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21191/stat : 21191 (toysat) S 21186 21189 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114575880 1417220096 287243 33554432000 4194304 16246674 140736044302688 140399694814448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21189/tid=21192] ppid=21186 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114575880 1417220096 287243 33554432000 4194304 16246674 140736044302688 140399684340912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1384004

[startup+1362.3 s]
/proc/loadavg: 2.21 2.23 2.21 3/183 21324
/proc/meminfo: memFree=28021148/32872528 swapFree=16636/1570076
[pid=21189] ppid=21186 vsize=1390148 CPUtime=1361.92 cores=1,3,5,7
/proc/21189/stat : 21189 (toysat) R 21186 21189 2168 0 -1 4202496 288528 0 0 0 136143 49 0 0 20 0 4 0 114575879 1423511552 288779 33554432000 4194304 16246674 140736044302688 140736044284608 5600384 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21189/statm: 347537 288779 898 2943 0 344431 0
[pid=21189/tid=21190] ppid=21186 vsize=1390148 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21190/stat : 21190 (toysat) S 21186 21189 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114575880 1423511552 288779 33554432000 4194304 16246674 140736044302688 140399705304304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21189/tid=21191] ppid=21186 vsize=1390148 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21191/stat : 21191 (toysat) S 21186 21189 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114575880 1423511552 288779 33554432000 4194304 16246674 140736044302688 140399694814448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21189/tid=21192] ppid=21186 vsize=1390148 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114575880 1423511552 288779 33554432000 4194304 16246674 140736044302688 140399684340912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1390148

[startup+1422.3 s]
/proc/loadavg: 2.12 2.20 2.20 3/184 21328
/proc/meminfo: memFree=27487660/32872528 swapFree=16636/1570076
[pid=21189] ppid=21186 vsize=1390148 CPUtime=1421.91 cores=1,3,5,7
/proc/21189/stat : 21189 (toysat) R 21186 21189 2168 0 -1 4202496 288528 0 0 0 142141 50 0 0 20 0 4 0 114575879 1423511552 288779 33554432000 4194304 16246674 140736044302688 140736044284608 5673837 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21189/statm: 347537 288779 898 2943 0 344431 0
[pid=21189/tid=21190] ppid=21186 vsize=1390148 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21190/stat : 21190 (toysat) S 21186 21189 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114575880 1423511552 288779 33554432000 4194304 16246674 140736044302688 140399705304304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21189/tid=21191] ppid=21186 vsize=1390148 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21191/stat : 21191 (toysat) S 21186 21189 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114575880 1423511552 288779 33554432000 4194304 16246674 140736044302688 140399694814448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21189/tid=21192] ppid=21186 vsize=1390148 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114575880 1423511552 288779 33554432000 4194304 16246674 140736044302688 140399684340912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1390148

[startup+1482.3 s]
/proc/loadavg: 2.31 2.24 2.21 4/183 21329
/proc/meminfo: memFree=24044272/32872528 swapFree=16636/1570076
[pid=21189] ppid=21186 vsize=1390148 CPUtime=1481.9 cores=1,3,5,7
/proc/21189/stat : 21189 (toysat) R 21186 21189 2168 0 -1 4202496 288528 0 0 0 148140 50 0 0 20 0 4 0 114575879 1423511552 288779 33554432000 4194304 16246674 140736044302688 140736044284608 5677888 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21189/statm: 347537 288779 898 2943 0 344431 0
[pid=21189/tid=21190] ppid=21186 vsize=1390148 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21190/stat : 21190 (toysat) S 21186 21189 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114575880 1423511552 288779 33554432000 4194304 16246674 140736044302688 140399705304304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21189/tid=21191] ppid=21186 vsize=1390148 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21191/stat : 21191 (toysat) S 21186 21189 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114575880 1423511552 288779 33554432000 4194304 16246674 140736044302688 140399694814448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21189/tid=21192] ppid=21186 vsize=1390148 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114575880 1423511552 288779 33554432000 4194304 16246674 140736044302688 140399684340912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1390148

[startup+1542.3 s]
/proc/loadavg: 2.27 2.24 2.21 3/183 21330
/proc/meminfo: memFree=15259144/32872528 swapFree=16636/1570076
[pid=21189] ppid=21186 vsize=1390148 CPUtime=1541.9 cores=1,3,5,7
/proc/21189/stat : 21189 (toysat) R 21186 21189 2168 0 -1 4202496 288528 0 0 0 154140 50 0 0 20 0 4 0 114575879 1423511552 288779 33554432000 4194304 16246674 140736044302688 140736044284608 5822548 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21189/statm: 347537 288779 898 2943 0 344431 0
[pid=21189/tid=21190] ppid=21186 vsize=1390148 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21190/stat : 21190 (toysat) S 21186 21189 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114575880 1423511552 288779 33554432000 4194304 16246674 140736044302688 140399705304304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21189/tid=21191] ppid=21186 vsize=1390148 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21191/stat : 21191 (toysat) S 21186 21189 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114575880 1423511552 288779 33554432000 4194304 16246674 140736044302688 140399694814448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21189/tid=21192] ppid=21186 vsize=1390148 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114575880 1423511552 288779 33554432000 4194304 16246674 140736044302688 140399684340912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1390148

[startup+1602.3 s]
/proc/loadavg: 2.26 2.24 2.21 4/182 21331
/proc/meminfo: memFree=15259460/32872528 swapFree=16636/1570076
[pid=21189] ppid=21186 vsize=1390148 CPUtime=1601.88 cores=1,3,5,7
/proc/21189/stat : 21189 (toysat) R 21186 21189 2168 0 -1 4202496 288528 0 0 0 160138 50 0 0 20 0 4 0 114575879 1423511552 288779 33554432000 4194304 16246674 140736044302688 140736044284608 13191638 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21189/statm: 347537 288779 898 2943 0 344431 0
[pid=21189/tid=21190] ppid=21186 vsize=1390148 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21190/stat : 21190 (toysat) S 21186 21189 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114575880 1423511552 288779 33554432000 4194304 16246674 140736044302688 140399705304304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21189/tid=21191] ppid=21186 vsize=1390148 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21191/stat : 21191 (toysat) S 21186 21189 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114575880 1423511552 288779 33554432000 4194304 16246674 140736044302688 140399694814448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21189/tid=21192] ppid=21186 vsize=1390148 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114575880 1423511552 288779 33554432000 4194304 16246674 140736044302688 140399684340912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1390148

[startup+1662.31 s]
/proc/loadavg: 2.26 2.24 2.21 3/183 21333
/proc/meminfo: memFree=15259608/32872528 swapFree=16636/1570076
[pid=21189] ppid=21186 vsize=1390148 CPUtime=1661.88 cores=1,3,5,7
/proc/21189/stat : 21189 (toysat) R 21186 21189 2168 0 -1 4202496 288528 0 0 0 166137 51 0 0 20 0 4 0 114575879 1423511552 288779 33554432000 4194304 16246674 140736044302688 140736044284608 6018632 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21189/statm: 347537 288779 898 2943 0 344431 0
[pid=21189/tid=21190] ppid=21186 vsize=1390148 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21190/stat : 21190 (toysat) S 21186 21189 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114575880 1423511552 288779 33554432000 4194304 16246674 140736044302688 140399705304304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21189/tid=21191] ppid=21186 vsize=1390148 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21191/stat : 21191 (toysat) S 21186 21189 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114575880 1423511552 288779 33554432000 4194304 16246674 140736044302688 140399694814448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21189/tid=21192] ppid=21186 vsize=1390148 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114575880 1423511552 288779 33554432000 4194304 16246674 140736044302688 140399684340912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1390148

[startup+1722.3 s]
/proc/loadavg: 2.22 2.23 2.20 4/183 21382
/proc/meminfo: memFree=28025892/32872528 swapFree=16636/1570076
[pid=21189] ppid=21186 vsize=1390148 CPUtime=1721.86 cores=1,3,5,7
/proc/21189/stat : 21189 (toysat) R 21186 21189 2168 0 -1 4202496 288528 0 0 0 172134 52 0 0 20 0 4 0 114575879 1423511552 288779 33554432000 4194304 16246674 140736044302688 140736044284608 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21189/statm: 347537 288779 898 2943 0 344431 0
[pid=21189/tid=21190] ppid=21186 vsize=1390148 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21190/stat : 21190 (toysat) S 21186 21189 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114575880 1423511552 288779 33554432000 4194304 16246674 140736044302688 140399705304304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21189/tid=21191] ppid=21186 vsize=1390148 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21191/stat : 21191 (toysat) S 21186 21189 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114575880 1423511552 288779 33554432000 4194304 16246674 140736044302688 140399694814448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21189/tid=21192] ppid=21186 vsize=1390148 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114575880 1423511552 288779 33554432000 4194304 16246674 140736044302688 140399684340912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1390148

[startup+1782.3 s]
/proc/loadavg: 2.12 2.20 2.19 3/183 21383
/proc/meminfo: memFree=21054028/32872528 swapFree=16636/1570076
[pid=21189] ppid=21186 vsize=1390148 CPUtime=1781.86 cores=1,3,5,7
/proc/21189/stat : 21189 (toysat) R 21186 21189 2168 0 -1 4202496 288528 0 0 0 178133 53 0 0 20 0 4 0 114575879 1423511552 288779 33554432000 4194304 16246674 140736044302688 140736044284608 6023137 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21189/statm: 347537 288779 898 2943 0 344431 0
[pid=21189/tid=21190] ppid=21186 vsize=1390148 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21190/stat : 21190 (toysat) S 21186 21189 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114575880 1423511552 288779 33554432000 4194304 16246674 140736044302688 140399705304304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21189/tid=21191] ppid=21186 vsize=1390148 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21191/stat : 21191 (toysat) S 21186 21189 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114575880 1423511552 288779 33554432000 4194304 16246674 140736044302688 140399694814448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21189/tid=21192] ppid=21186 vsize=1390148 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114575880 1423511552 288779 33554432000 4194304 16246674 140736044302688 140399684340912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1390148



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.17 2.21 2.19 4/183 21384
/proc/meminfo: memFree=20177820/32872528 swapFree=16636/1570076
[pid=21189] ppid=21186 vsize=1390148 CPUtime=1800.05 cores=1,3,5,7
/proc/21189/stat : 21189 (toysat) R 21186 21189 2168 0 -1 4202496 288528 0 0 0 179952 53 0 0 20 0 4 0 114575879 1423511552 288779 33554432000 4194304 16246674 140736044302688 140736044284608 5598177 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21189/statm: 347537 288779 898 2943 0 344431 0
[pid=21189/tid=21190] ppid=21186 vsize=1390148 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21190/stat : 21190 (toysat) S 21186 21189 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114575880 1423511552 288779 33554432000 4194304 16246674 140736044302688 140399705304304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21189/tid=21191] ppid=21186 vsize=1390148 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21191/stat : 21191 (toysat) S 21186 21189 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114575880 1423511552 288779 33554432000 4194304 16246674 140736044302688 140399694814448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21189/tid=21192] ppid=21186 vsize=1390148 CPUtime=0 cores=1,3,5,7
/proc/21189/task/21192/stat : 21192 (toysat) S 21186 21189 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114575880 1423511552 288779 33554432000 4194304 16246674 140736044302688 140399684340912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1390148

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.07
CPU user time (s): 1799.53
CPU system time (s): 0.536918
CPU usage (%): 99.9755
Max. virtual memory (cumulated for all children) (KiB): 1390148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.536918
maximum resident set size= 1155116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 288528
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= 318
involuntary context switches= 1839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5219 second user time and 15.4067 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-07 21:07:15
IDJOB=4079371
IDBENCH=92690
IDSOLVER=2542
FILE ID=node140/4079371-1465326435
RUNJOBID= node140-1465312758-19944
PBS_JOBID= 19850417
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_6_mh_ic.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079371-1465326435/watcher-4079371-1465326435 -o /tmp/evaluation-result-4079371-1465326435/solver-4079371-1465326435 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465312758-19944 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079371-1465326435.opb

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

MD5SUM BENCH= b24b10929da03724a77e08494dd4be05
RANDOM SEED=2082361141

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
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	: 5334.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29136912 kB
Buffers:           58916 kB
Cached:           220844 kB
SwapCached:         1660 kB
Active:          1276384 kB
Inactive:         139512 kB
Active(anon):    1132428 kB
Inactive(anon):     5988 kB
Active(file):     143956 kB
Inactive(file):   133524 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67098752 kB
Dirty:             17100 kB
Writeback:             0 kB
AnonPages:       2707644 kB
Mapped:            10764 kB
Shmem:                 0 kB
Slab:             614220 kB
SReclaimable:      57920 kB
SUnreclaim:       556300 kB
KernelStack:        1464 kB
PageTables:         9416 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2849496 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1562624 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node140 at 2016-06-07 21:37:16