Trace number 4093418

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.02 1800.51

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-85-80--soft-66-100-0.wbo
MD5SUM6d906c6a0b5d527a5b0feb820bb742c0
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark1800.1
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables6800
Total number of constraints165
Number of soft constraints53
Number of constraints which are clauses85
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint80
Maximum length of a constraint85
Top cost 2598
Min constraint cost 1
Max constraint cost 94
Sum of constraints costs 2597
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 86
Number of bits of the biggest sum of numbers7
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-16T15:22:04+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--wbo","--search=bcd2","HOME/instance-4093418-1466083324.wbo"]
0.00/0.01	c use --random-gen="2727692364 633518838 919787443 1971966195 3560833708 2864180056 2273485308 1821481835 1415354043 1152764216 1129216492 300714164 3592385696 252176746 525805407 1647240653 2595776136 891972558 3460635735 2220499902 3890412715 3449189822 3746704833 2227956596 4206687321 1226998049 3558269593 2983897907 51180287 3484603429 967911863 729096534 1300537738 2139893508 3057225623 2129102282 3237679184 2973010667 4211672827 3346044383 118093060 608166197 356282598 50443055 2742264660 1268915811 1443680850 1856763742 3362692035 163636402 1451233479 3611808773 4196903104 3081444586 3143287378 879963872 2539730263 1324601826 2801804782 1162230844 2618228820 422308395 1695773406 1826430837 2689196615 1971216979 94170742 2109798269 2302001324 2339603506 1243147138 3367756495 3204090759 3048451370 1368295786 3474763553 3371147274 3088562967 2103648520 2996545910 3375678467 1976287938 1557129639 2887553672 3049796940 1259550055 1068650723 3855221319 3407914706 1951241943 3633485918 1683625954 964565090 3452994534 3873617023 584937172 859299044 1760849784 3859997032 2164472784 3482228274 3227857714 2529140307 3319151955 4017100998 4057784474 780457677 2827795340 2741131942 246352352 3280967550 1651250309 98928950 3269061727 4074785518 2018071473 50871627 3527255765 1505266256 2050966731 293296329 805851364 424412074 198400498 940130670 3627645510 1739551089 2043386983 3937491730 3868997485 3524585560 3491466107 3552523474 629034877 1843869720 998185537 585015971 1474209398 670766403 3170916132 1976816248 590122966 2580350156 2572347422 4230178658 1245831020 589529449 2185850990 3903021777 2347445872 3765887133 745543850 71610122 2110307490 4146116515 508766365 4265471526 1890299793 305758665 2388357913 4008533890 3876668403 3924855636 2986062762 3524205757 3631561902 1772749459 1371623287 2222508685 3088175481 2401292388 925283484 2008003758 2676848238 2093834755 1566166293 2777642757 686675869 2103493089 2690614038 1598625078 1940699414 4072772325 3122853373 1897318756 2723403457 1907637794 401865096 2487534993 3950390349 656777118 3316943050 574454985 1545343654 459504366 624679803 73227000 52674426 75562994 2126603785 1388226429 2861368137 364580532 2334252465 4170405737 3335875082 581525158 3496857641 2481841664 4226267234 2927890513 353135066 1692344614 467869871 4012419094 2664335349 1077990930 3766812477 2080678913 2181763052 2751725215 1735186921 4055641394 2591093451 1822049547 2312885153 1796955756 2500270411 980336767 1241965234 2639327045 2630655079 4198484208 4051307216 1341992617 3097020692 961819961 1860545028 473013287 2674761346 807838956 3375047133 1867869124 35176703 3581006969 3772067825 3314503548 386475653 2889187124 3647277820 951035436 1847290328 3688092863 4178893134 3026660731 858657485 255 362436" option to reproduce the execution
0.29/0.34	c #vars 6800
0.29/0.34	c #constraints 165
0.29/0.37	c BCD2: Hardening is enabled.
0.29/0.37	c BCD2: BiasedSearch is enabled.
0.29/0.37	c Solving starts ...
0.29/0.37	c ============================[ Search Statistics ]============================
0.29/0.37	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.29/0.37	c       |         |          |          |    Limit     GC | Var      | Constra 
0.29/0.37	c =============================================================================
0.29/0.39	c  0.0s |       0 |        0 |        0 |     2339      0 |        0 |        0
0.39/0.45	c  0.1s |       1 |      250 |      100 |     2339      0 |        0 |        0
0.39/0.46	c  0.1s |       1 |     4396 |      101 |     2573      0 |        0 |        0
0.39/0.46	c #cpu_time = 0.073s
0.39/0.46	c #wall_clock_time = 0.073s
0.39/0.46	c #decision = 4396
0.39/0.46	c #random_decision = 13
0.39/0.46	c #conflict = 101
0.39/0.46	c #restart = 1
0.39/0.46	o 1391
0.39/0.46	c BCD2: updating upper bound: 2597 -> 1390
0.39/0.46	c BCD2: 0 <= obj <= 1390
0.39/0.46	c BCD2: #cores=0, #unrelaxed=53, #relaxed=0, #hardened=0
0.39/0.46	c BCD2: #sat=1 #unsat=1 bias=1/2
0.39/0.46	c Solving starts ...
0.39/0.46	c ============================[ Search Statistics ]============================
0.39/0.46	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.39/0.46	c       |         |          |          |    Limit     GC | Var      | Constra 
0.39/0.46	c =============================================================================
0.39/0.47	c  0.0s |       0 |        0 |        0 |     2573      0 |        0 |        0
0.59/0.67	c  0.2s |       1 |     2317 |      100 |     2573      0 |        0 |        0
0.88/0.99	c  0.5s |       2 |     6278 |      250 |     2831      0 |        0 |        0
1.58/1.68	c  1.2s |       3 |    11597 |      475 |     3115      0 |        0 |        0
2.49/2.52	c  2.1s |       4 |    15266 |      813 |     3427      0 |        0 |        0
3.49/3.58	c  3.1s |       5 |    19831 |     1320 |     3770      0 |        0 |        0
5.19/5.24	c  4.8s |       6 |    24357 |     2081 |     4147      0 |        0 |        0
7.48/7.50	c  7.0s |       6 |    29442 |     2981 |     4147      0 |        0 |        0
8.08/8.18	c  7.7s |       7 |    29725 |     3223 |     4562      0 |        0 |        0
10.18/10.20	c  9.7s |       7 |    34503 |     4123 |     4562      0 |        0 |        0
12.19/12.24	c 11.8s |       7 |    35271 |     4823 |     5019      0 |        0 |        0
12.48/12.57	c 12.1s |       8 |    35385 |     4936 |     5019      0 |        0 |        0
14.58/14.70	c 14.2s |       8 |    39728 |     5736 |     5019      1 |        0 |        0
16.68/16.79	c 16.3s |       8 |    40642 |     6536 |     5019      1 |        0 |        0
18.79/18.84	c 18.4s |       8 |    41383 |     7236 |     5019      1 |        0 |        0
19.48/19.56	c 19.1s |       9 |    41713 |     7506 |     5521      1 |        0 |        0
21.68/21.77	c 21.3s |       9 |    46590 |     8506 |     5521      1 |        0 |        0
23.78/23.81	c 23.3s |       9 |    47469 |     9306 |     5521      1 |        0 |        0
25.79/25.81	c 25.3s |       9 |    48218 |    10006 |     5521      1 |        0 |        0
27.89/27.93	c 27.5s |       9 |    49224 |    10806 |     5521      1 |        0 |        0
29.58/29.65	c 29.2s |      10 |    49846 |    11361 |     6074      1 |        0 |        0
31.78/31.84	c 31.4s |      10 |    54108 |    12161 |     6074      2 |        0 |        0
33.98/34.06	c 33.6s |      10 |    55034 |    12961 |     6074      2 |        0 |        0
36.18/36.24	c 35.8s |      10 |    55936 |    13761 |     6074      2 |        0 |        0
38.28/38.38	c 37.9s |      10 |    56727 |    14461 |     6074      2 |        0 |        0
40.48/40.59	c 40.1s |      10 |    57484 |    15161 |     6074      2 |        0 |        0
42.68/42.72	c 42.3s |      10 |    58176 |    15761 |     6074      2 |        0 |        0
44.88/44.90	c 44.4s |      10 |    58832 |    16361 |     6074      2 |        0 |        0
47.08/47.10	c 46.6s |      10 |    59476 |    16961 |     6682      2 |        0 |        0
47.78/47.80	c 47.3s |      11 |    59674 |    17144 |     6682      2 |        0 |        0
49.88/49.98	c 49.5s |      11 |    64007 |    17644 |     6682      3 |        0 |        0
52.07/52.16	c 51.7s |      11 |    64720 |    18244 |     6682      3 |        0 |        0
54.28/54.36	c 53.9s |      11 |    65285 |    18744 |     6682      3 |        0 |        0
56.38/56.48	c 56.0s |      11 |    65850 |    19244 |     6682      3 |        0 |        0
58.68/58.70	c 58.2s |      11 |    66402 |    19744 |     6682      3 |        0 |        0
60.98/61.02	c 60.6s |      11 |    66966 |    20244 |     6682      3 |        0 |        0
62.98/63.03	c 62.6s |      11 |    67419 |    20644 |     6682      3 |        0 |        0
65.18/65.22	c 64.8s |      11 |    67872 |    21044 |     6682      3 |        0 |        0
67.47/67.55	c 67.1s |      11 |    68461 |    21544 |     6682      3 |        0 |        0
69.68/69.78	c 69.3s |      11 |    69064 |    22044 |     6682      3 |        0 |        0
72.18/72.28	c 71.8s |      11 |    69636 |    22544 |     6682      3 |        0 |        0
74.67/74.70	c 74.2s |      11 |    70218 |    23044 |     6682      3 |        0 |        0
76.77/76.85	c 76.4s |      11 |    70666 |    23444 |     6682      3 |        0 |        0
78.97/79.00	c 78.5s |      11 |    71128 |    23844 |     6682      3 |        0 |        0
81.18/81.25	c 80.8s |      11 |    71562 |    24244 |     6682      3 |        0 |        0
83.18/83.26	c 82.8s |      11 |    72034 |    24644 |     6682      3 |        0 |        0
85.58/85.61	c 85.1s |      11 |    72469 |    25044 |     6682      3 |        0 |        0
88.27/88.39	c 87.9s |      11 |    72927 |    25444 |     6682      4 |        0 |        0
90.37/90.41	c 89.9s |      12 |    73363 |    25819 |     7351      4 |        0 |        0
92.67/92.74	c 92.3s |      12 |    77327 |    26419 |     7351      4 |        0 |        0
94.77/94.85	c 94.4s |      12 |    77934 |    26919 |     7351      4 |        0 |        0
96.78/96.87	c 96.4s |      12 |    78516 |    27419 |     7351      4 |        0 |        0
99.27/99.31	c 98.8s |      12 |    79046 |    27919 |     7351      4 |        0 |        0
101.28/101.33	c  100s |      12 |    79492 |    28319 |     7351      4 |        0 |        0
103.67/103.72	c  103s |      12 |    80051 |    28819 |     7351      4 |        0 |        0
105.77/105.81	c  105s |      12 |    80509 |    29219 |     7351      4 |        0 |        0
107.87/107.94	c  107s |      12 |    80943 |    29619 |     7351      4 |        0 |        0
110.07/110.12	c  109s |      12 |    81376 |    30019 |     7351      4 |        0 |        0
112.47/112.52	c  112s |      12 |    81946 |    30519 |     7351      4 |        0 |        0
114.57/114.67	c  114s |      12 |    82391 |    30919 |     7351      4 |        0 |        0
117.07/117.13	c  116s |      12 |    82952 |    31419 |     7351      4 |        0 |        0
119.46/119.53	c  119s |      12 |    83509 |    31919 |     7351      4 |        0 |        0
121.87/121.96	c  121s |      12 |    84061 |    32419 |     7351      4 |        0 |        0
124.07/124.14	c  123s |      12 |    84390 |    32719 |     7351      5 |        0 |        0
126.37/126.40	c  125s |      12 |    84831 |    33119 |     7351      5 |        0 |        0
128.47/128.53	c  128s |      12 |    85292 |    33519 |     7351      5 |        0 |        0
130.67/130.77	c  130s |      12 |    85716 |    33919 |     7351      5 |        0 |        0
133.07/133.16	c  132s |      12 |    86171 |    34319 |     7351      5 |        0 |        0
135.17/135.26	c  134s |      12 |    86632 |    34719 |     7351      5 |        0 |        0
137.37/137.44	c  136s |      12 |    87076 |    35119 |     7351      5 |        0 |        0
139.57/139.70	c  139s |      12 |    87539 |    35519 |     7351      5 |        0 |        0
141.97/142.04	c  141s |      12 |    87978 |    35919 |     7351      5 |        0 |        0
144.26/144.34	c  143s |      12 |    88418 |    36319 |     7351      5 |        0 |        0
146.66/146.77	c  146s |      12 |    88848 |    36719 |     7351      5 |        0 |        0
149.16/149.22	c  148s |      12 |    89290 |    37119 |     7351      5 |        0 |        0
151.56/151.66	c  151s |      12 |    89726 |    37519 |     7351      5 |        0 |        0
154.06/154.19	c  153s |      12 |    90178 |    37919 |     7351      5 |        0 |        0
156.66/156.78	c  156s |      12 |    90606 |    38319 |     7351      5 |        0 |        0
159.36/159.47	c  159s |      12 |    91054 |    38719 |     8087      5 |        0 |        0
160.26/160.30	c  159s |      13 |    91183 |    38832 |     8087      5 |        0 |        0
162.87/162.94	c  162s |      13 |    94906 |    39032 |     8087      6 |        0 |        0
165.07/165.15	c  164s |      13 |    95596 |    39632 |     8087      6 |        0 |        0
167.46/167.54	c  167s |      13 |    96333 |    40232 |     8087      6 |        0 |        0
169.47/169.56	c  169s |      13 |    96917 |    40732 |     8087      6 |        0 |        0
171.66/171.74	c  171s |      13 |    97532 |    41232 |     8087      6 |        0 |        0
173.76/173.88	c  173s |      13 |    98149 |    41732 |     8087      6 |        0 |        0
176.16/176.26	c  175s |      13 |    98710 |    42232 |     8087      6 |        0 |        0
178.46/178.56	c  178s |      13 |    99323 |    42732 |     8087      6 |        0 |        0
180.66/180.73	c  180s |      13 |    99778 |    43132 |     8087      6 |        0 |        0
182.76/182.82	c  182s |      13 |   100231 |    43532 |     8087      6 |        0 |        0
184.76/184.90	c  184s |      13 |   100687 |    43932 |     8087      6 |        0 |        0
187.06/187.14	c  186s |      13 |   101120 |    44332 |     8087      6 |        0 |        0
189.36/189.49	c  189s |      13 |   101590 |    44732 |     8087      6 |        0 |        0
191.96/192.03	c  191s |      13 |   102025 |    45132 |     8087      6 |        0 |        0
194.16/194.28	c  193s |      13 |   102501 |    45532 |     8087      6 |        0 |        0
196.26/196.32	c  195s |      13 |   102946 |    45932 |     8087      6 |        0 |        0
198.45/198.57	c  198s |      13 |   103392 |    46332 |     8087      6 |        0 |        0
200.95/201.05	c  200s |      13 |   103821 |    46732 |     8087      6 |        0 |        0
204.15/204.28	c  203s |      13 |   104244 |    47132 |     8087      7 |        0 |        0
206.25/206.35	c  205s |      13 |   104717 |    47532 |     8087      7 |        0 |        0
208.46/208.51	c  208s |      13 |   105184 |    47932 |     8087      7 |        0 |        0
210.75/210.87	c  210s |      13 |   105703 |    48332 |     8087      7 |        0 |        0
212.95/213.07	c  212s |      13 |   106149 |    48732 |     8087      7 |        0 |        0
215.15/215.29	c  214s |      13 |   106589 |    49132 |     8087      7 |        0 |        0
217.36/217.49	c  217s |      13 |   107056 |    49532 |     8087      7 |        0 |        0
219.86/219.90	c  219s |      13 |   107505 |    49932 |     8087      7 |        0 |        0
222.26/222.34	c  221s |      13 |   107965 |    50332 |     8087      7 |        0 |        0
224.65/224.75	c  224s |      13 |   108427 |    50732 |     8087      7 |        0 |        0
227.25/227.32	c  226s |      13 |   108879 |    51132 |     8087      7 |        0 |        0
229.35/229.47	c  229s |      13 |   109212 |    51432 |     8087      7 |        0 |        0
231.45/231.53	c  231s |      13 |   109559 |    51732 |     8087      7 |        0 |        0
233.75/233.84	c  233s |      13 |   109882 |    52032 |     8087      7 |        0 |        0
235.85/235.94	c  235s |      13 |   110203 |    52332 |     8087      7 |        0 |        0
238.05/238.13	c  237s |      13 |   110509 |    52632 |     8087      7 |        0 |        0
240.05/240.17	c  239s |      13 |   110870 |    52932 |     8087      7 |        0 |        0
242.15/242.25	c  241s |      13 |   111208 |    53232 |     8087      7 |        0 |        0
244.35/244.47	c  244s |      13 |   111551 |    53532 |     8087      7 |        0 |        0
246.95/247.03	c  246s |      13 |   112032 |    53932 |     8087      7 |        0 |        0
249.55/249.61	c  249s |      13 |   112485 |    54332 |     8087      7 |        0 |        0
251.54/251.69	c  251s |      13 |   112718 |    54532 |     8087      8 |        0 |        0
254.05/254.19	c  253s |      13 |   113174 |    54932 |     8087      8 |        0 |        0
256.55/256.63	c  256s |      13 |   113629 |    55332 |     8087      8 |        0 |        0
259.15/259.21	c  258s |      13 |   114060 |    55732 |     8087      8 |        0 |        0
261.75/261.82	c  261s |      13 |   114501 |    56132 |     8087      8 |        0 |        0
264.24/264.31	c  263s |      13 |   114950 |    56532 |     8087      8 |        0 |        0
266.34/266.43	c  265s |      13 |   115296 |    56832 |     8087      8 |        0 |        0
268.54/268.66	c  268s |      13 |   115626 |    57132 |     8087      8 |        0 |        0
271.05/271.17	c  270s |      13 |   116050 |    57532 |     8087      8 |        0 |        0
273.54/273.67	c  273s |      13 |   116502 |    57932 |     8896      8 |        0 |        0
275.65/275.76	c  275s |      13 |   116842 |    58232 |     8896      8 |        0 |        0
276.45/276.59	c  276s |      14 |   116977 |    58352 |     8896      8 |        0 |        0
278.65/278.79	c  278s |      14 |   121086 |    58652 |     8896      9 |        0 |        0
280.94/281.01	c  280s |      14 |   122027 |    59452 |     8896      9 |        0 |        0
282.94/283.05	c  282s |      14 |   122835 |    60152 |     8896      9 |        0 |        0
285.04/285.12	c  284s |      14 |   123484 |    60752 |     8896      9 |        0 |        0
287.15/287.22	c  286s |      14 |   124195 |    61352 |     8896      9 |        0 |        0
289.14/289.27	c  288s |      14 |   124868 |    61952 |     8896      9 |        0 |        0
291.34/291.47	c  291s |      14 |   125558 |    62552 |     8896      9 |        0 |        0
293.55/293.69	c  293s |      14 |   126231 |    63152 |     8896      9 |        0 |        0
295.95/296.09	c  295s |      14 |   126781 |    63652 |     8896      9 |        0 |        0
298.34/298.49	c  298s |      14 |   127355 |    64152 |     8896      9 |        0 |        0
300.84/300.90	c  300s |      14 |   127935 |    64652 |     8896      9 |        0 |        0
303.04/303.15	c  302s |      14 |   128476 |    65152 |     8896      9 |        0 |        0
305.34/305.48	c  305s |      14 |   129036 |    65652 |     8896      9 |        0 |        0
307.64/307.74	c  307s |      14 |   129580 |    66152 |     8896      9 |        0 |        0
309.83/309.92	c  309s |      14 |   130136 |    66652 |     8896      9 |        0 |        0
311.93/312.06	c  311s |      14 |   130694 |    67152 |     8896      9 |        0 |        0
314.24/314.31	c  313s |      14 |   131240 |    67652 |     8896      9 |        0 |        0
316.64/316.77	c  316s |      14 |   131786 |    68152 |     8896      9 |        0 |        0
318.84/318.96	c  318s |      14 |   132121 |    68452 |     8896     10 |        0 |        0
320.94/321.03	c  320s |      14 |   132712 |    68952 |     8896     10 |        0 |        0
323.44/323.52	c  323s |      14 |   133271 |    69452 |     8896     10 |        0 |        0
325.65/325.71	c  325s |      14 |   133709 |    69852 |     8896     10 |        0 |        0
327.75/327.84	c  327s |      14 |   134151 |    70252 |     8896     10 |        0 |        0
329.74/329.87	c  329s |      14 |   134603 |    70652 |     8896     10 |        0 |        0
332.14/332.29	c  331s |      14 |   135036 |    71052 |     8896     10 |        0 |        0
334.24/334.33	c  333s |      14 |   135481 |    71452 |     8896     10 |        0 |        0
336.23/336.39	c  335s |      14 |   135936 |    71852 |     8896     10 |        0 |        0
338.63/338.79	c  338s |      14 |   136361 |    72252 |     8896     10 |        0 |        0
340.95/341.06	c  340s |      14 |   136808 |    72652 |     8896     10 |        0 |        0
343.24/343.35	c  342s |      14 |   137233 |    73052 |     8896     10 |        0 |        0
345.64/345.74	c  345s |      14 |   137674 |    73452 |     8896     10 |        0 |        0
347.64/347.78	c  347s |      14 |   138124 |    73852 |     8896     10 |        0 |        0
349.84/349.97	c  349s |      14 |   138583 |    74252 |     8896     10 |        0 |        0
352.24/352.36	c  351s |      14 |   139032 |    74652 |     8896     10 |        0 |        0
354.84/354.90	c  354s |      14 |   139451 |    75052 |     8896     10 |        0 |        0
357.44/357.53	c  357s |      14 |   139868 |    75452 |     8896     10 |        0 |        0
359.84/359.92	c  359s |      14 |   140315 |    75852 |     8896     10 |        0 |        0
362.34/362.46	c  361s |      14 |   140663 |    76152 |     8896     11 |        0 |        0
364.43/364.56	c  364s |      14 |   140865 |    76352 |     8896     11 |        0 |        0
366.83/366.95	c  366s |      14 |   141407 |    76852 |     8896     11 |        0 |        0
369.23/369.35	c  368s |      14 |   141833 |    77252 |     8896     11 |        0 |        0
371.33/371.40	c  370s |      14 |   142267 |    77652 |     8896     11 |        0 |        0
373.33/373.46	c  372s |      14 |   142713 |    78052 |     8896     11 |        0 |        0
375.53/375.64	c  375s |      14 |   143156 |    78452 |     8896     11 |        0 |        0
377.93/378.04	c  377s |      14 |   143592 |    78852 |     8896     11 |        0 |        0
380.23/380.31	c  379s |      14 |   144027 |    79252 |     8896     11 |        0 |        0
382.63/382.74	c  382s |      14 |   144456 |    79652 |     8896     11 |        0 |        0
385.13/385.25	c  384s |      14 |   144895 |    80052 |     8896     11 |        0 |        0
387.24/387.31	c  386s |      14 |   145239 |    80352 |     8896     11 |        0 |        0
389.23/389.35	c  388s |      14 |   145708 |    80752 |     8896     11 |        0 |        0
391.33/391.49	c  391s |      14 |   146140 |    81152 |     8896     11 |        0 |        0
393.43/393.51	c  393s |      14 |   146587 |    81552 |     8896     11 |        0 |        0
395.53/395.63	c  395s |      14 |   147013 |    81952 |     8896     11 |        0 |        0
397.63/397.76	c  397s |      14 |   147434 |    82352 |     8896     11 |        0 |        0
399.92/400.05	c  399s |      14 |   147848 |    82752 |     8896     11 |        0 |        0
402.22/402.35	c  401s |      14 |   148285 |    83152 |     8896     11 |        0 |        0
404.63/404.76	c  404s |      14 |   148731 |    83552 |     8896     11 |        0 |        0
406.73/406.86	c  406s |      14 |   148942 |    83752 |     8896     12 |        0 |        0
409.03/409.19	c  408s |      14 |   149375 |    84152 |     8896     12 |        0 |        0
411.23/411.35	c  410s |      14 |   149807 |    84552 |     8896     12 |        0 |        0
413.43/413.56	c  413s |      14 |   150238 |    84952 |     8896     12 |        0 |        0
415.83/415.99	c  415s |      14 |   150676 |    85352 |     8896     12 |        0 |        0
417.82/417.99	c  417s |      14 |   151012 |    85652 |     8896     12 |        0 |        0
420.33/420.49	c  420s |      14 |   151455 |    86052 |     8896     12 |        0 |        0
422.92/423.08	c  422s |      14 |   151889 |    86452 |     8896     12 |        0 |        0
425.63/425.73	c  425s |      14 |   152301 |    86852 |     8896     12 |        0 |        0
427.83/428.00	c  427s |      14 |   152765 |    87252 |     9786     12 |        0 |        0
430.22/430.35	c  429s |      15 |   153181 |    87632 |     9786     12 |        0 |        0
432.23/432.38	c  431s |      15 |   156233 |    87732 |     9786     13 |        0 |        0
434.53/434.61	c  434s |      15 |   157092 |    88432 |     9786     13 |        0 |        0
436.82/436.94	c  436s |      15 |   157806 |    89032 |     9786     13 |        0 |        0
438.92/439.08	c  438s |      15 |   158481 |    89632 |     9786     13 |        0 |        0
440.92/441.08	c  440s |      15 |   159057 |    90132 |     9786     13 |        0 |        0
443.01/443.12	c  442s |      15 |   159638 |    90632 |     9786     13 |        0 |        0
445.21/445.30	c  444s |      15 |   160219 |    91132 |     9786     13 |        0 |        0
447.42/447.52	c  447s |      15 |   160776 |    91632 |     9786     13 |        0 |        0
449.82/449.94	c  449s |      15 |   161313 |    92132 |     9786     13 |        0 |        0
452.12/452.29	c  451s |      15 |   161882 |    92632 |     9786     13 |        0 |        0
454.32/454.46	c  453s |      15 |   162446 |    93132 |     9786     13 |        0 |        0
456.52/456.65	c  456s |      15 |   163040 |    93632 |     9786     13 |        0 |        0
458.73/458.83	c  458s |      15 |   163614 |    94132 |     9786     13 |        0 |        0
461.02/461.19	c  460s |      15 |   164182 |    94632 |     9786     13 |        0 |        0
463.12/463.29	c  462s |      15 |   164635 |    95032 |     9786     13 |        0 |        0
465.32/465.40	c  464s |      15 |   165098 |    95432 |     9786     13 |        0 |        0
467.42/467.58	c  467s |      15 |   165535 |    95832 |     9786     13 |        0 |        0
469.52/469.68	c  469s |      15 |   165988 |    96232 |     9786     13 |        0 |        0
471.61/471.71	c  471s |      15 |   166428 |    96632 |     9786     13 |        0 |        0
473.62/473.73	c  473s |      15 |   166870 |    97032 |     9786     13 |        0 |        0
475.72/475.87	c  475s |      15 |   167316 |    97432 |     9786     13 |        0 |        0
477.82/477.94	c  477s |      15 |   167749 |    97832 |     9786     13 |        0 |        0
480.32/480.47	c  480s |      15 |   168086 |    98132 |     9786     14 |        0 |        0
482.71/482.87	c  482s |      15 |   168672 |    98632 |     9786     14 |        0 |        0
484.71/484.88	c  484s |      15 |   169113 |    99032 |     9786     14 |        0 |        0
486.81/486.97	c  486s |      15 |   169587 |    99432 |     9786     14 |        0 |        0
489.42/489.52	c  489s |      15 |   170055 |    99832 |     9786     14 |        0 |        0
491.42/491.57	c  491s |      15 |   170513 |   100232 |     9786     14 |        0 |        0
493.72/493.88	c  493s |      15 |   170961 |   100632 |     9786     14 |        0 |        0
496.21/496.38	c  495s |      15 |   171428 |   101032 |     9786     14 |        0 |        0
498.61/498.79	c  498s |      15 |   171871 |   101432 |     9786     14 |        0 |        0
500.71/500.89	c  500s |      15 |   172343 |   101832 |     9786     14 |        0 |        0
503.11/503.26	c  502s |      15 |   172772 |   102232 |     9786     14 |        0 |        0
505.71/505.80	c  505s |      15 |   173199 |   102632 |     9786     14 |        0 |        0
508.01/508.10	c  507s |      15 |   173666 |   103032 |     9786     14 |        0 |        0
510.20/510.32	c  509s |      15 |   174104 |   103432 |     9786     14 |        0 |        0
512.30/512.45	c  511s |      15 |   174572 |   103832 |     9786     14 |        0 |        0
514.61/514.71	c  514s |      15 |   175020 |   104232 |     9786     14 |        0 |        0
516.92/517.07	c  516s |      15 |   175449 |   104632 |     9786     14 |        0 |        0
519.41/519.58	c  519s |      15 |   175892 |   105032 |     9786     14 |        0 |        0
521.91/522.09	c  521s |      15 |   176326 |   105432 |     9786     14 |        0 |        0
524.50/524.64	c  524s |      15 |   176759 |   105832 |     9786     14 |        0 |        0
526.81/526.95	c  526s |      15 |   177242 |   106232 |     9786     14 |        0 |        0
529.01/529.14	c  528s |      15 |   177469 |   106432 |     9786     15 |        0 |        0
531.00/531.15	c  530s |      15 |   177930 |   106832 |     9786     15 |        0 |        0
533.20/533.33	c  532s |      15 |   178370 |   107232 |     9786     15 |        0 |        0
535.30/535.48	c  535s |      15 |   178805 |   107632 |     9786     15 |        0 |        0
537.60/537.73	c  537s |      15 |   179256 |   108032 |     9786     15 |        0 |        0
540.01/540.13	c  539s |      15 |   179704 |   108432 |     9786     15 |        0 |        0
542.10/542.28	c  541s |      15 |   180139 |   108832 |     9786     15 |        0 |        0
544.31/544.42	c  543s |      15 |   180585 |   109232 |     9786     15 |        0 |        0
546.51/546.70	c  546s |      15 |   181030 |   109632 |     9786     15 |        0 |        0
548.60/548.73	c  548s |      15 |   181460 |   110032 |     9786     15 |        0 |        0
550.70/550.88	c  550s |      15 |   181915 |   110432 |     9786     15 |        0 |        0
553.00/553.17	c  552s |      15 |   182379 |   110832 |     9786     15 |        0 |        0
555.51/555.63	c  555s |      15 |   182838 |   111232 |     9786     15 |        0 |        0
557.91/558.02	c  557s |      15 |   183273 |   111632 |     9786     15 |        0 |        0
560.30/560.40	c  559s |      15 |   183736 |   112032 |     9786     15 |        0 |        0
562.60/562.79	c  562s |      15 |   184200 |   112432 |     9786     15 |        0 |        0
565.00/565.14	c  564s |      15 |   184633 |   112832 |     9786     15 |        0 |        0
567.40/567.56	c  567s |      15 |   185125 |   113232 |     9786     15 |        0 |        0
569.50/569.61	c  569s |      15 |   185460 |   113532 |     9786     15 |        0 |        0
571.91/572.10	c  571s |      15 |   185891 |   113932 |     9786     15 |        0 |        0
574.30/574.45	c  573s |      15 |   186334 |   114332 |     9786     15 |        0 |        0
576.80/576.91	c  576s |      15 |   186675 |   114632 |     9786     16 |        0 |        0
578.90/579.03	c  578s |      15 |   187132 |   115032 |     9786     16 |        0 |        0
581.09/581.21	c  580s |      15 |   187581 |   115432 |     9786     16 |        0 |        0
583.40/583.52	c  583s |      15 |   188038 |   115832 |     9786     16 |        0 |        0
585.90/586.03	c  585s |      15 |   188596 |   116332 |     9786     16 |        0 |        0
588.10/588.26	c  587s |      15 |   189030 |   116732 |     9786     16 |        0 |        0
590.20/590.30	c  589s |      15 |   189486 |   117132 |     9786     16 |        0 |        0
592.20/592.37	c  591s |      15 |   189927 |   117532 |     9786     16 |        0 |        0
594.40/594.59	c  594s |      15 |   190370 |   117932 |     9786     16 |        0 |        0
596.79/596.98	c  596s |      15 |   190814 |   118332 |     9786     16 |        0 |        0
599.09/599.26	c  598s |      15 |   191246 |   118732 |     9786     16 |        0 |        0
601.30/601.48	c  601s |      15 |   191690 |   119132 |     9786     16 |        0 |        0
603.60/603.78	c  603s |      15 |   192131 |   119532 |     9786     16 |        0 |        0
606.00/606.16	c  605s |      15 |   192573 |   119932 |     9786     16 |        0 |        0
608.30/608.47	c  608s |      15 |   193033 |   120332 |     9786     16 |        0 |        0
610.69/610.88	c  610s |      15 |   193470 |   120732 |     9786     16 |        0 |        0
613.19/613.34	c  612s |      15 |   193912 |   121132 |     9786     16 |        0 |        0
615.39/615.57	c  615s |      15 |   194368 |   121532 |     9786     16 |        0 |        0
617.59/617.77	c  617s |      15 |   194926 |   121932 |     9786     16 |        0 |        0
620.19/620.36	c  619s |      15 |   195411 |   122332 |     9786     16 |        0 |        0
622.39/622.54	c  622s |      15 |   195649 |   122532 |     9786     17 |        0 |        0
624.49/624.64	c  624s |      15 |   196149 |   122932 |     9786     17 |        0 |        0
626.89/627.01	c  626s |      15 |   196740 |   123432 |     9786     17 |        0 |        0
628.89/629.07	c  628s |      15 |   197173 |   123832 |     9786     17 |        0 |        0
631.10/631.25	c  630s |      15 |   197635 |   124232 |     9786     17 |        0 |        0
633.19/633.31	c  632s |      15 |   198100 |   124632 |     9786     17 |        0 |        0
635.39/635.52	c  635s |      15 |   198579 |   125032 |     9786     17 |        0 |        0
637.59/637.72	c  637s |      15 |   199003 |   125432 |     9786     17 |        0 |        0
639.89/640.03	c  639s |      15 |   199441 |   125832 |     9786     17 |        0 |        0
641.99/642.14	c  641s |      15 |   199893 |   126232 |     9786     17 |        0 |        0
644.18/644.38	c  643s |      15 |   200333 |   126632 |     9786     17 |        0 |        0
646.70/646.83	c  646s |      15 |   200775 |   127032 |     9786     17 |        0 |        0
649.09/649.22	c  648s |      15 |   201195 |   127432 |     9786     17 |        0 |        0
651.59/651.77	c  651s |      15 |   201642 |   127832 |     9786     17 |        0 |        0
654.19/654.32	c  653s |      15 |   202082 |   128232 |     9786     17 |        0 |        0
656.70/656.81	c  656s |      15 |   202511 |   128632 |     9786     17 |        0 |        0
659.38/659.53	c  659s |      15 |   202955 |   129032 |     9786     17 |        0 |        0
661.58/661.78	c  661s |      15 |   203280 |   129332 |     9786     17 |        0 |        0
664.19/664.37	c  663s |      15 |   203750 |   129732 |     9786     17 |        0 |        0
666.89/667.05	c  666s |      15 |   204201 |   130132 |     9786     17 |        0 |        0
669.09/669.29	c  668s |      15 |   204656 |   130532 |     9786     17 |        0 |        0
671.38/671.59	c  671s |      15 |   205097 |   130932 |    10765     17 |        0 |        0
673.68/673.87	c  673s |      15 |   205552 |   131332 |    10765     17 |        0 |        0
674.98/675.18	c  674s |      16 |   205801 |   131552 |    10765     17 |        0 |        0
677.78/677.94	c  677s |      16 |   208672 |   131652 |    10765     18 |        0 |        0
680.08/680.28	c  679s |      16 |   209646 |   132352 |    10765     18 |        0 |        0
682.19/682.38	c  681s |      16 |   210237 |   132852 |    10765     18 |        0 |        0
684.49/684.61	c  684s |      16 |   210996 |   133452 |    10765     18 |        0 |        0
686.78/686.96	c  686s |      16 |   211548 |   133952 |    10765     18 |        0 |        0
689.18/689.33	c  688s |      16 |   212141 |   134452 |    10765     18 |        0 |        0
691.48/691.67	c  691s |      16 |   212720 |   134952 |    10765     18 |        0 |        0
693.78/693.90	c  693s |      16 |   213165 |   135352 |    10765     18 |        0 |        0
696.08/696.23	c  695s |      16 |   213749 |   135852 |    10765     18 |        0 |        0
698.49/698.67	c  698s |      16 |   214312 |   136352 |    10765     18 |        0 |        0
700.69/700.81	c  700s |      16 |   214746 |   136752 |    10765     18 |        0 |        0
702.88/703.09	c  702s |      16 |   215191 |   137152 |    10765     18 |        0 |        0
705.28/705.43	c  704s |      16 |   215631 |   137552 |    10765     18 |        0 |        0
707.58/707.73	c  707s |      16 |   216093 |   137952 |    10765     18 |        0 |        0
709.78/709.91	c  709s |      16 |   216524 |   138352 |    10765     18 |        0 |        0
711.98/712.18	c  711s |      16 |   216978 |   138752 |    10765     18 |        0 |        0
714.08/714.21	c  713s |      16 |   217446 |   139152 |    10765     18 |        0 |        0
716.38/716.52	c  716s |      16 |   217888 |   139552 |    10765     18 |        0 |        0
718.67/718.81	c  718s |      16 |   218346 |   139952 |    10765     18 |        0 |        0
721.88/722.00	c  721s |      16 |   218780 |   140352 |    10765     19 |        0 |        0
724.28/724.42	c  723s |      16 |   219243 |   140752 |    10765     19 |        0 |        0
726.47/726.65	c  726s |      16 |   219743 |   141152 |    10765     19 |        0 |        0
729.07/729.20	c  728s |      16 |   220175 |   141552 |    10765     19 |        0 |        0
731.57/731.77	c  731s |      16 |   220608 |   141952 |    10765     19 |        0 |        0
734.07/734.28	c  733s |      16 |   221064 |   142352 |    10765     19 |        0 |        0
736.27/736.43	c  735s |      16 |   221392 |   142652 |    10765     19 |        0 |        0
738.37/738.60	c  738s |      16 |   221745 |   142952 |    10765     19 |        0 |        0
740.56/740.74	c  740s |      16 |   222070 |   143252 |    10765     19 |        0 |        0
742.76/742.90	c  742s |      16 |   222393 |   143552 |    10765     19 |        0 |        0
744.96/745.19	c  744s |      16 |   222741 |   143852 |    10765     19 |        0 |        0
747.56/747.70	c  747s |      16 |   223083 |   144152 |    10765     19 |        0 |        0
750.26/750.45	c  749s |      16 |   223403 |   144452 |    10765     19 |        0 |        0
753.15/753.35	c  752s |      16 |   223721 |   144752 |    10765     19 |        0 |        0
755.67/755.88	c  755s |      16 |   224050 |   145052 |    10765     19 |        0 |        0
758.36/758.52	c  758s |      16 |   224380 |   145352 |    10765     19 |        0 |        0
760.85/761.07	c  760s |      16 |   224725 |   145652 |    10765     19 |        0 |        0
763.66/763.88	c  763s |      16 |   225065 |   145952 |    10765     19 |        0 |        0
766.35/766.57	c  766s |      16 |   225416 |   146252 |    10765     19 |        0 |        0
769.25/769.46	c  768s |      16 |   225743 |   146552 |    10765     19 |        0 |        0
772.25/772.46	c  771s |      16 |   226070 |   146852 |    10765     19 |        0 |        0
775.25/775.40	c  774s |      16 |   226382 |   147152 |    10765     19 |        0 |        0
777.25/777.43	c  776s |      16 |   226610 |   147352 |    10765     19 |        0 |        0
779.85/780.03	c  779s |      16 |   226939 |   147652 |    10765     19 |        0 |        0
782.85/783.00	c  782s |      16 |   227278 |   147952 |    10765     19 |        0 |        0
785.74/785.97	c  785s |      16 |   227618 |   148252 |    10765     19 |        0 |        0
787.84/788.06	c  787s |      16 |   227840 |   148452 |    10765     19 |        0 |        0
790.45/790.66	c  790s |      16 |   228192 |   148752 |    10765     19 |        0 |        0
794.15/794.39	c  793s |      16 |   228524 |   149052 |    10765     20 |        0 |        0
796.84/797.06	c  796s |      16 |   228964 |   149452 |    10765     20 |        0 |        0
799.34/799.59	c  799s |      16 |   229283 |   149752 |    10765     20 |        0 |        0
801.85/802.01	c  801s |      16 |   229614 |   150052 |    10765     20 |        0 |        0
804.13/804.30	c  803s |      16 |   229951 |   150352 |    10765     20 |        0 |        0
806.83/807.01	c  806s |      16 |   230295 |   150652 |    10765     20 |        0 |        0
809.33/809.59	c  809s |      16 |   230634 |   150952 |    10765     20 |        0 |        0
812.33/812.53	c  812s |      16 |   230956 |   151252 |    10765     20 |        0 |        0
814.53/814.73	c  814s |      16 |   231316 |   151552 |    10765     20 |        0 |        0
817.03/817.24	c  816s |      16 |   231641 |   151852 |    10765     20 |        0 |        0
819.53/819.71	c  819s |      16 |   231984 |   152152 |    10765     20 |        0 |        0
821.93/822.16	c  821s |      16 |   232308 |   152452 |    10765     20 |        0 |        0
824.53/824.72	c  824s |      16 |   232729 |   152752 |    10765     20 |        0 |        0
827.14/827.35	c  826s |      16 |   233066 |   153052 |    10765     20 |        0 |        0
829.83/830.09	c  829s |      16 |   233385 |   153352 |    10765     20 |        0 |        0
832.53/832.75	c  832s |      16 |   233732 |   153652 |    10765     20 |        0 |        0
835.02/835.22	c  834s |      16 |   234055 |   153952 |    10765     20 |        0 |        0
837.52/837.76	c  837s |      16 |   234378 |   154252 |    10765     20 |        0 |        0
840.02/840.27	c  839s |      16 |   234711 |   154552 |    10765     20 |        0 |        0
842.72/842.90	c  842s |      16 |   235063 |   154852 |    10765     20 |        0 |        0
845.11/845.39	c  844s |      16 |   235402 |   155152 |    10765     20 |        0 |        0
847.61/847.85	c  847s |      16 |   235735 |   155452 |    10765     20 |        0 |        0
850.23/850.48	c  850s |      16 |   236063 |   155752 |    10765     20 |        0 |        0
853.02/853.27	c  852s |      16 |   236403 |   156052 |    10765     20 |        0 |        0
856.01/856.25	c  855s |      16 |   236719 |   156352 |    10765     20 |        0 |        0
858.92/859.13	c  858s |      16 |   237047 |   156652 |    10765     20 |        0 |        0
860.91/861.16	c  860s |      16 |   237267 |   156852 |    10765     20 |        0 |        0
863.01/863.28	c  862s |      16 |   237491 |   157052 |    10765     20 |        0 |        0
865.91/866.17	c  865s |      16 |   237822 |   157352 |    10765     20 |        0 |        0
869.11/869.38	c  868s |      16 |   238044 |   157552 |    10765     21 |        0 |        0
871.81/872.05	c  871s |      16 |   238368 |   157852 |    10765     21 |        0 |        0
874.71/874.92	c  874s |      16 |   238690 |   158152 |    10765     21 |        0 |        0
877.51/877.74	c  877s |      16 |   239021 |   158452 |    10765     21 |        0 |        0
879.61/879.88	c  879s |      16 |   239235 |   158652 |    10765     21 |        0 |        0
882.21/882.46	c  881s |      16 |   239559 |   158952 |    10765     21 |        0 |        0
885.00/885.28	c  884s |      16 |   239895 |   159252 |    10765     21 |        0 |        0
887.90/888.15	c  887s |      16 |   240215 |   159552 |    10765     21 |        0 |        0
890.00/890.22	c  889s |      16 |   240442 |   159752 |    10765     21 |        0 |        0
893.01/893.26	c  892s |      16 |   240773 |   160052 |    10765     21 |        0 |        0
895.70/895.92	c  895s |      16 |   241115 |   160352 |    10765     21 |        0 |        0
898.51/898.75	c  898s |      16 |   241441 |   160652 |    10765     21 |        0 |        0
901.40/901.61	c  901s |      16 |   241765 |   160952 |    10765     21 |        0 |        0
904.20/904.45	c  903s |      16 |   242100 |   161252 |    10765     21 |        0 |        0
907.00/907.25	c  906s |      16 |   242441 |   161552 |    10765     21 |        0 |        0
909.89/910.18	c  909s |      16 |   242763 |   161852 |    10765     21 |        0 |        0
912.00/912.29	c  911s |      16 |   242976 |   162052 |    10765     21 |        0 |        0
914.10/914.34	c  913s |      16 |   243201 |   162252 |    10765     21 |        0 |        0
916.10/916.34	c  915s |      16 |   243432 |   162452 |    10765     21 |        0 |        0
918.49/918.77	c  918s |      16 |   243647 |   162652 |    10765     21 |        0 |        0
920.69/920.90	c  920s |      16 |   243867 |   162852 |    10765     21 |        0 |        0
923.59/923.81	c  923s |      16 |   244199 |   163152 |    10765     21 |        0 |        0
926.38/926.66	c  926s |      16 |   244513 |   163452 |    10765     21 |        0 |        0
928.39/928.67	c  928s |      16 |   244728 |   163652 |    10765     21 |        0 |        0
930.69/930.91	c  930s |      16 |   244943 |   163852 |    10765     21 |        0 |        0
932.70/932.99	c  932s |      16 |   245188 |   164052 |    10765     21 |        0 |        0
935.09/935.39	c  934s |      16 |   245551 |   164352 |    10765     21 |        0 |        0
937.18/937.47	c  937s |      16 |   245988 |   164752 |    10765     21 |        0 |        0
939.69/939.92	c  939s |      16 |   246449 |   165152 |    10765     21 |        0 |        0
942.28/942.51	c  942s |      16 |   246887 |   165552 |    10765     21 |        0 |        0
944.58/944.87	c  944s |      16 |   247364 |   165952 |    10765     21 |        0 |        0
947.89/948.10	c  947s |      16 |   247701 |   166252 |    10765     22 |        0 |        0
950.29/950.54	c  950s |      16 |   248259 |   166752 |    10765     22 |        0 |        0
952.59/952.85	c  952s |      16 |   248692 |   167152 |    10765     22 |        0 |        0
954.78/955.07	c  954s |      16 |   249132 |   167552 |    10765     22 |        0 |        0
956.98/957.25	c  956s |      16 |   249576 |   167952 |    10765     22 |        0 |        0
959.18/959.49	c  959s |      16 |   250024 |   168352 |    10765     22 |        0 |        0
961.68/961.90	c  961s |      16 |   250491 |   168752 |    10765     22 |        0 |        0
963.87/964.17	c  963s |      16 |   250941 |   169152 |    10765     22 |        0 |        0
966.18/966.48	c  966s |      16 |   251402 |   169552 |    10765     22 |        0 |        0
968.47/968.72	c  968s |      16 |   251921 |   169952 |    10765     22 |        0 |        0
971.08/971.35	c  970s |      16 |   252361 |   170352 |    10765     22 |        0 |        0
973.17/973.40	c  972s |      16 |   252710 |   170652 |    10765     22 |        0 |        0
975.27/975.52	c  975s |      16 |   253042 |   170952 |    10765     22 |        0 |        0
977.36/977.65	c  977s |      16 |   253369 |   171252 |    10765     22 |        0 |        0
979.47/979.71	c  979s |      16 |   253710 |   171552 |    10765     22 |        0 |        0
981.47/981.72	c  981s |      16 |   254169 |   171952 |    10765     22 |        0 |        0
983.57/983.85	c  983s |      16 |   254611 |   172352 |    10765     22 |        0 |        0
986.16/986.42	c  985s |      16 |   255042 |   172752 |    10765     22 |        0 |        0
988.56/988.81	c  988s |      16 |   255495 |   173152 |    10765     22 |        0 |        0
990.97/991.27	c  990s |      16 |   255961 |   173552 |    10765     22 |        0 |        0
993.56/993.83	c  993s |      16 |   256412 |   173952 |    10765     22 |        0 |        0
995.76/996.05	c  995s |      16 |   256727 |   174252 |    10765     22 |        0 |        0
997.96/998.24	c  997s |      16 |   257068 |   174552 |    10765     22 |        0 |        0
1001.26/1001.51	c 1001s |      16 |   257387 |   174852 |    10765     23 |        0 |        0
1003.56/1003.82	c 1003s |      16 |   257733 |   175152 |    10765     23 |        0 |        0
1005.56/1005.85	c 1005s |      16 |   258061 |   175452 |    10765     23 |        0 |        0
1008.16/1008.44	c 1007s |      16 |   258503 |   175852 |    10765     23 |        0 |        0
1010.16/1010.47	c 1010s |      16 |   258822 |   176152 |    10765     23 |        0 |        0
1013.26/1013.54	c 1013s |      16 |   258940 |   176252 |    10765     23 |        0 |        0
1015.55/1015.83	c 1015s |      16 |   259395 |   176652 |    10765     23 |        0 |        0
1017.85/1018.10	c 1017s |      16 |   259840 |   177052 |    10765     23 |        0 |        0
1019.85/1020.17	c 1019s |      16 |   260288 |   177452 |    10765     23 |        0 |        0
1022.26/1022.50	c 1022s |      16 |   260732 |   177852 |    10765     23 |        0 |        0
1024.45/1024.76	c 1024s |      16 |   261193 |   178252 |    10765     23 |        0 |        0
1026.95/1027.22	c 1026s |      16 |   261650 |   178652 |    10765     23 |        0 |        0
1028.95/1029.28	c 1028s |      16 |   261978 |   178952 |    10765     23 |        0 |        0
1031.65/1031.96	c 1031s |      16 |   262406 |   179352 |    10765     23 |        0 |        0
1034.24/1034.59	c 1034s |      16 |   262856 |   179752 |    10765     23 |        0 |        0
1036.65/1036.93	c 1036s |      16 |   263303 |   180152 |    10765     23 |        0 |        0
1039.05/1039.34	c 1038s |      16 |   263738 |   180552 |    10765     23 |        0 |        0
1041.55/1041.87	c 1041s |      16 |   264164 |   180952 |    10765     23 |        0 |        0
1044.15/1044.42	c 1043s |      16 |   264595 |   181352 |    10765     23 |        0 |        0
1046.64/1046.90	c 1046s |      16 |   265037 |   181752 |    10765     23 |        0 |        0
1049.15/1049.46	c 1048s |      16 |   265482 |   182152 |    10765     23 |        0 |        0
1051.55/1051.89	c 1051s |      16 |   265939 |   182552 |    10765     23 |        0 |        0
1054.04/1054.37	c 1053s |      16 |   266360 |   182952 |    10765     23 |        0 |        0
1056.85/1057.11	c 1056s |      16 |   266841 |   183352 |    10765     23 |        0 |        0
1059.24/1059.58	c 1059s |      16 |   267049 |   183552 |    10765     24 |        0 |        0
1061.64/1061.96	c 1061s |      16 |   267491 |   183952 |    10765     24 |        0 |        0
1064.23/1064.52	c 1064s |      16 |   267929 |   184352 |    10765     24 |        0 |        0
1066.43/1066.75	c 1066s |      16 |   268377 |   184752 |    10765     24 |        0 |        0
1068.64/1068.95	c 1068s |      16 |   268801 |   185152 |    10765     24 |        0 |        0
1070.93/1071.21	c 1070s |      16 |   269255 |   185552 |    10765     24 |        0 |        0
1073.13/1073.41	c 1072s |      16 |   269693 |   185952 |    10765     24 |        0 |        0
1075.43/1075.79	c 1075s |      16 |   270127 |   186352 |    10765     24 |        0 |        0
1077.92/1078.22	c 1077s |      16 |   270557 |   186752 |    10765     24 |        0 |        0
1080.52/1080.84	c 1080s |      16 |   270984 |   187152 |    10765     24 |        0 |        0
1082.93/1083.20	c 1082s |      16 |   271433 |   187552 |    10765     24 |        0 |        0
1084.93/1085.29	c 1084s |      16 |   271755 |   187852 |    10765     24 |        0 |        0
1087.53/1087.81	c 1087s |      16 |   272184 |   188252 |    10765     24 |        0 |        0
1090.13/1090.43	c 1089s |      16 |   272605 |   188652 |    10765     24 |        0 |        0
1092.62/1092.96	c 1092s |      16 |   273041 |   189052 |    10765     24 |        0 |        0
1095.22/1095.60	c 1095s |      16 |   273480 |   189452 |    10765     24 |        0 |        0
1097.52/1097.81	c 1097s |      16 |   273797 |   189752 |    10765     24 |        0 |        0
1099.51/1099.87	c 1099s |      16 |   274122 |   190052 |    10765     24 |        0 |        0
1102.22/1102.59	c 1102s |      16 |   274548 |   190452 |    10765     24 |        0 |        0
1104.42/1104.76	c 1104s |      16 |   274867 |   190752 |    10765     24 |        0 |        0
1107.01/1107.36	c 1106s |      16 |   275331 |   191152 |    10765     24 |        0 |        0
1109.71/1110.01	c 1109s |      16 |   275768 |   191552 |    10765     24 |        0 |        0
1111.72/1112.08	c 1111s |      16 |   276085 |   191852 |    10765     24 |        0 |        0
1114.91/1115.29	c 1114s |      16 |   276403 |   192152 |    10765     25 |        0 |        0
1117.81/1118.13	c 1117s |      16 |   276842 |   192552 |    10765     25 |        0 |        0
1120.31/1120.62	c 1120s |      16 |   277289 |   192952 |    10765     25 |        0 |        0
1122.81/1123.18	c 1122s |      16 |   277722 |   193352 |    10765     25 |        0 |        0
1125.12/1125.45	c 1124s |      16 |   278167 |   193752 |    10765     25 |        0 |        0
1127.41/1127.79	c 1127s |      16 |   278622 |   194152 |    10765     25 |        0 |        0
1129.71/1130.03	c 1129s |      16 |   279054 |   194552 |    10765     25 |        0 |        0
1131.71/1132.04	c 1131s |      16 |   279389 |   194852 |    10765     25 |        0 |        0
1133.91/1134.27	c 1133s |      16 |   279842 |   195252 |    10765     25 |        0 |        0
1136.41/1136.74	c 1136s |      16 |   280305 |   195652 |    10765     25 |        0 |        0
1138.41/1138.76	c 1138s |      16 |   280655 |   195952 |    10765     25 |        0 |        0
1141.11/1141.45	c 1140s |      16 |   281106 |   196352 |    11842     25 |        0 |        0
1143.81/1144.15	c 1143s |      16 |   281562 |   196752 |    11842     25 |        0 |        0
1146.41/1146.72	c 1146s |      16 |   281993 |   197152 |    11842     25 |        0 |        0
1148.30/1148.65	c 1148s |      17 |   282300 |   197432 |    11842     25 |        0 |        0
1150.70/1151.03	c 1150s |      17 |   285681 |   197532 |    11842     26 |        0 |        0
1152.90/1153.21	c 1152s |      17 |   286772 |   198432 |    11842     26 |        0 |        0
1155.10/1155.46	c 1154s |      17 |   287700 |   199232 |    11842     26 |        0 |        0
1157.40/1157.74	c 1157s |      17 |   288521 |   199932 |    11842     26 |        0 |        0
1159.69/1160.04	c 1159s |      17 |   289184 |   200532 |    11842     26 |        0 |        0
1161.79/1162.19	c 1161s |      17 |   289856 |   201132 |    11842     26 |        0 |        0
1163.99/1164.35	c 1163s |      17 |   290401 |   201632 |    11842     26 |        0 |        0
1166.19/1166.50	c 1166s |      17 |   290948 |   202132 |    11842     26 |        0 |        0
1168.40/1168.75	c 1168s |      17 |   291485 |   202632 |    11842     26 |        0 |        0
1170.80/1171.15	c 1170s |      17 |   292266 |   203332 |    11842     26 |        0 |        0
1172.99/1173.37	c 1172s |      17 |   292918 |   203932 |    11842     26 |        0 |        0
1175.19/1175.51	c 1175s |      17 |   293466 |   204432 |    11842     26 |        0 |        0
1177.38/1177.79	c 1177s |      17 |   294000 |   204932 |    11842     26 |        0 |        0
1179.88/1180.28	c 1179s |      17 |   294547 |   205432 |    11842     26 |        0 |        0
1181.98/1182.35	c 1181s |      17 |   294981 |   205832 |    11842     26 |        0 |        0
1184.29/1184.66	c 1184s |      17 |   295405 |   206232 |    11842     26 |        0 |        0
1186.59/1186.92	c 1186s |      17 |   296069 |   206832 |    11842     26 |        0 |        0
1188.79/1189.17	c 1188s |      17 |   296623 |   207332 |    11842     26 |        0 |        0
1191.18/1191.53	c 1191s |      17 |   297170 |   207832 |    11842     26 |        0 |        0
1193.38/1193.79	c 1193s |      17 |   297719 |   208332 |    11842     26 |        0 |        0
1195.48/1195.84	c 1195s |      17 |   298153 |   208732 |    11842     26 |        0 |        0
1198.18/1198.51	c 1198s |      17 |   298496 |   209032 |    11842     27 |        0 |        0
1200.57/1200.99	c 1200s |      17 |   299210 |   209632 |    11842     27 |        0 |        0
1203.08/1203.42	c 1202s |      17 |   299779 |   210132 |    11842     27 |        0 |        0
1205.48/1205.81	c 1205s |      17 |   300364 |   210632 |    11842     27 |        0 |        0
1207.88/1208.24	c 1207s |      17 |   300917 |   211132 |    11842     27 |        0 |        0
1209.98/1210.35	c 1209s |      17 |   301399 |   211532 |    11842     27 |        0 |        0
1212.07/1212.44	c 1211s |      17 |   301826 |   211932 |    11842     27 |        0 |        0
1214.18/1214.55	c 1214s |      17 |   302258 |   212332 |    11842     27 |        0 |        0
1216.28/1216.68	c 1216s |      17 |   302695 |   212732 |    11842     27 |        0 |        0
1218.47/1218.81	c 1218s |      17 |   303124 |   213132 |    11842     27 |        0 |        0
1220.67/1221.09	c 1220s |      17 |   303556 |   213532 |    11842     27 |        0 |        0
1223.16/1223.54	c 1223s |      17 |   303987 |   213932 |    11842     27 |        0 |        0
1225.47/1225.87	c 1225s |      17 |   304424 |   214332 |    11842     27 |        0 |        0
1227.76/1228.14	c 1227s |      17 |   304873 |   214732 |    11842     27 |        0 |        0
1229.96/1230.32	c 1229s |      17 |   305317 |   215132 |    11842     27 |        0 |        0
1232.06/1232.48	c 1232s |      17 |   305745 |   215532 |    11842     27 |        0 |        0
1234.56/1234.92	c 1234s |      17 |   306199 |   215932 |    11842     27 |        0 |        0
1236.96/1237.38	c 1236s |      17 |   306651 |   216332 |    11842     27 |        0 |        0
1239.26/1239.63	c 1239s |      17 |   307077 |   216732 |    11842     27 |        0 |        0
1241.36/1241.74	c 1241s |      17 |   307510 |   217132 |    11842     27 |        0 |        0
1243.56/1243.92	c 1243s |      17 |   307943 |   217532 |    11842     27 |        0 |        0
1245.96/1246.31	c 1245s |      17 |   308374 |   217932 |    11842     27 |        0 |        0
1249.05/1249.43	c 1248s |      17 |   308504 |   218032 |    11842     28 |        0 |        0
1251.25/1251.60	c 1251s |      17 |   309063 |   218532 |    11842     28 |        0 |        0
1253.55/1253.90	c 1253s |      17 |   309639 |   219032 |    11842     28 |        0 |        0
1255.86/1256.21	c 1255s |      17 |   310202 |   219532 |    11842     28 |        0 |        0
1257.95/1258.38	c 1257s |      17 |   310641 |   219932 |    11842     28 |        0 |        0
1260.55/1260.94	c 1260s |      17 |   311190 |   220432 |    11842     28 |        0 |        0
1262.55/1262.99	c 1262s |      17 |   311623 |   220832 |    11842     28 |        0 |        0
1264.65/1265.07	c 1264s |      17 |   312067 |   221232 |    11842     28 |        0 |        0
1266.86/1267.21	c 1266s |      17 |   312669 |   221732 |    11842     28 |        0 |        0
1269.35/1269.72	c 1269s |      17 |   313237 |   222232 |    11842     28 |        0 |        0
1271.55/1271.91	c 1271s |      17 |   313684 |   222632 |    11842     28 |        0 |        0
1273.75/1274.15	c 1273s |      17 |   314142 |   223032 |    11842     28 |        0 |        0
1276.04/1276.45	c 1275s |      17 |   314602 |   223432 |    11842     28 |        0 |        0
1278.14/1278.55	c 1278s |      17 |   315078 |   223832 |    11842     28 |        0 |        0
1280.54/1280.92	c 1280s |      17 |   315531 |   224232 |    11842     28 |        0 |        0
1282.95/1283.33	c 1282s |      17 |   315985 |   224632 |    11842     28 |        0 |        0
1285.44/1285.88	c 1285s |      17 |   316427 |   225032 |    11842     28 |        0 |        0
1287.64/1288.06	c 1287s |      17 |   316891 |   225432 |    11842     28 |        0 |        0
1290.14/1290.55	c 1290s |      17 |   317323 |   225832 |    11842     28 |        0 |        0
1292.54/1292.95	c 1292s |      17 |   317768 |   226232 |    11842     28 |        0 |        0
1294.64/1295.00	c 1294s |      17 |   318240 |   226632 |    11842     28 |        0 |        0
1296.83/1297.27	c 1296s |      17 |   318689 |   227032 |    11842     28 |        0 |        0
1299.23/1299.67	c 1299s |      17 |   318915 |   227232 |    11842     29 |        0 |        0
1301.53/1301.91	c 1301s |      17 |   319142 |   227432 |    11842     29 |        0 |        0
1303.53/1303.91	c 1303s |      17 |   319596 |   227832 |    11842     29 |        0 |        0
1306.03/1306.43	c 1305s |      17 |   320181 |   228332 |    11842     29 |        0 |        0
1308.33/1308.79	c 1308s |      17 |   320734 |   228832 |    11842     29 |        0 |        0
1310.53/1310.96	c 1310s |      17 |   321265 |   229332 |    11842     29 |        0 |        0
1313.04/1313.45	c 1312s |      17 |   321825 |   229832 |    11842     29 |        0 |        0
1315.13/1315.54	c 1315s |      17 |   322259 |   230232 |    11842     29 |        0 |        0
1317.43/1317.81	c 1317s |      17 |   322714 |   230632 |    11842     29 |        0 |        0
1319.52/1319.90	c 1319s |      17 |   323160 |   231032 |    11842     29 |        0 |        0
1321.73/1322.13	c 1321s |      17 |   323603 |   231432 |    11842     29 |        0 |        0
1323.83/1324.20	c 1323s |      17 |   324052 |   231832 |    11842     29 |        0 |        0
1326.13/1326.53	c 1326s |      17 |   324490 |   232232 |    11842     29 |        0 |        0
1328.43/1328.85	c 1328s |      17 |   324934 |   232632 |    11842     29 |        0 |        0
1331.02/1331.41	c 1330s |      17 |   325381 |   233032 |    11842     29 |        0 |        0
1333.53/1333.91	c 1333s |      17 |   325824 |   233432 |    11842     29 |        0 |        0
1335.83/1336.28	c 1335s |      17 |   326273 |   233832 |    11842     29 |        0 |        0
1337.92/1338.34	c 1337s |      17 |   326726 |   234232 |    11842     29 |        0 |        0
1340.02/1340.40	c 1339s |      17 |   327171 |   234632 |    11842     29 |        0 |        0
1342.42/1342.83	c 1342s |      17 |   327652 |   235032 |    11842     29 |        0 |        0
1344.71/1345.10	c 1344s |      17 |   328086 |   235432 |    11842     29 |        0 |        0
1347.02/1347.50	c 1347s |      17 |   328522 |   235832 |    11842     29 |        0 |        0
1349.12/1349.51	c 1349s |      17 |   328835 |   236132 |    11842     29 |        0 |        0
1351.82/1352.28	c 1351s |      17 |   329074 |   236332 |    11842     30 |        0 |        0
1354.02/1354.46	c 1353s |      17 |   329402 |   236632 |    11842     30 |        0 |        0
1356.22/1356.65	c 1356s |      17 |   329843 |   237032 |    11842     30 |        0 |        0
1358.22/1358.69	c 1358s |      17 |   330286 |   237432 |    11842     30 |        0 |        0
1360.61/1361.01	c 1360s |      17 |   330719 |   237832 |    11842     30 |        0 |        0
1363.01/1363.41	c 1362s |      17 |   331171 |   238232 |    11842     30 |        0 |        0
1365.01/1365.48	c 1365s |      17 |   331607 |   238632 |    11842     30 |        0 |        0
1367.31/1367.73	c 1367s |      17 |   332060 |   239032 |    11842     30 |        0 |        0
1369.51/1369.92	c 1369s |      17 |   332490 |   239432 |    11842     30 |        0 |        0
1371.91/1372.32	c 1371s |      17 |   332932 |   239832 |    11842     30 |        0 |        0
1374.01/1374.44	c 1373s |      17 |   333243 |   240132 |    11842     30 |        0 |        0
1376.11/1376.59	c 1376s |      17 |   333718 |   240532 |    11842     30 |        0 |        0
1378.20/1378.65	c 1378s |      17 |   334159 |   240932 |    11842     30 |        0 |        0
1380.40/1380.84	c 1380s |      17 |   334603 |   241332 |    11842     30 |        0 |        0
1382.91/1383.34	c 1382s |      17 |   335119 |   241832 |    11842     30 |        0 |        0
1385.30/1385.70	c 1385s |      17 |   335567 |   242232 |    11842     30 |        0 |        0
1387.60/1388.08	c 1387s |      17 |   336002 |   242632 |    11842     30 |        0 |        0
1390.01/1390.49	c 1390s |      17 |   336425 |   243032 |    11842     30 |        0 |        0
1392.80/1393.20	c 1392s |      17 |   336867 |   243432 |    11842     30 |        0 |        0
1395.00/1395.46	c 1394s |      17 |   337188 |   243732 |    11842     30 |        0 |        0
1397.20/1397.61	c 1397s |      17 |   337501 |   244032 |    11842     30 |        0 |        0
1399.30/1399.73	c 1399s |      17 |   337818 |   244332 |    11842     30 |        0 |        0
1401.60/1402.03	c 1401s |      17 |   338133 |   244632 |    11842     30 |        0 |        0
1403.80/1404.27	c 1403s |      17 |   338450 |   244932 |    11842     30 |        0 |        0
1405.90/1406.35	c 1405s |      17 |   338766 |   245232 |    11842     30 |        0 |        0
1408.10/1408.52	c 1408s |      17 |   339078 |   245532 |    11842     30 |        0 |        0
1410.80/1411.26	c 1410s |      17 |   339286 |   245732 |    11842     31 |        0 |        0
1413.79/1414.29	c 1413s |      17 |   339620 |   246032 |    11842     31 |        0 |        0
1416.00/1416.47	c 1416s |      17 |   340073 |   246432 |    11842     31 |        0 |        0
1418.50/1418.93	c 1418s |      17 |   340497 |   246832 |    11842     31 |        0 |        0
1420.69/1421.13	c 1420s |      17 |   340949 |   247232 |    11842     31 |        0 |        0
1422.79/1423.24	c 1422s |      17 |   341393 |   247632 |    11842     31 |        0 |        0
1425.09/1425.57	c 1425s |      17 |   341830 |   248032 |    11842     31 |        0 |        0
1427.49/1427.94	c 1427s |      17 |   342259 |   248432 |    11842     31 |        0 |        0
1429.99/1430.42	c 1429s |      17 |   342679 |   248832 |    11842     31 |        0 |        0
1432.19/1432.64	c 1432s |      17 |   343143 |   249232 |    11842     31 |        0 |        0
1434.58/1435.08	c 1434s |      17 |   343693 |   249732 |    11842     31 |        0 |        0
1436.68/1437.14	c 1436s |      17 |   344126 |   250132 |    11842     31 |        0 |        0
1438.68/1439.18	c 1438s |      17 |   344564 |   250532 |    11842     31 |        0 |        0
1440.78/1441.25	c 1440s |      17 |   344999 |   250932 |    11842     31 |        0 |        0
1443.09/1443.51	c 1443s |      17 |   345418 |   251332 |    11842     31 |        0 |        0
1445.28/1445.71	c 1445s |      17 |   345856 |   251732 |    11842     31 |        0 |        0
1447.48/1447.97	c 1447s |      17 |   346284 |   252132 |    11842     31 |        0 |        0
1449.78/1450.25	c 1449s |      17 |   346726 |   252532 |    11842     31 |        0 |        0
1452.18/1452.67	c 1452s |      17 |   347144 |   252932 |    11842     31 |        0 |        0
1454.88/1455.37	c 1454s |      17 |   347598 |   253332 |    11842     31 |        0 |        0
1457.08/1457.55	c 1457s |      17 |   347921 |   253632 |    11842     31 |        0 |        0
1459.57/1460.04	c 1459s |      17 |   348349 |   254032 |    11842     31 |        0 |        0
1461.97/1462.46	c 1461s |      17 |   348779 |   254432 |    11842     31 |        0 |        0
1465.77/1466.20	c 1465s |      17 |   349098 |   254732 |    11842     32 |        0 |        0
1467.77/1468.28	c 1467s |      17 |   349534 |   255132 |    11842     32 |        0 |        0
1470.17/1470.60	c 1470s |      17 |   350075 |   255632 |    11842     32 |        0 |        0
1472.27/1472.78	c 1472s |      17 |   350510 |   256032 |    11842     32 |        0 |        0
1474.56/1475.05	c 1474s |      17 |   350921 |   256432 |    11842     32 |        0 |        0
1476.77/1477.27	c 1476s |      17 |   351364 |   256832 |    11842     32 |        0 |        0
1479.07/1479.53	c 1479s |      17 |   351806 |   257232 |    11842     32 |        0 |        0
1481.37/1481.81	c 1481s |      17 |   352239 |   257632 |    11842     32 |        0 |        0
1483.47/1483.92	c 1483s |      17 |   352553 |   257932 |    11842     32 |        0 |        0
1485.47/1485.94	c 1485s |      17 |   352907 |   258232 |    11842     32 |        0 |        0
1487.46/1487.96	c 1487s |      17 |   353346 |   258632 |    11842     32 |        0 |        0
1489.56/1490.03	c 1489s |      17 |   353792 |   259032 |    11842     32 |        0 |        0
1491.76/1492.21	c 1491s |      17 |   354226 |   259432 |    11842     32 |        0 |        0
1493.86/1494.37	c 1493s |      17 |   354663 |   259832 |    11842     32 |        0 |        0
1496.16/1496.61	c 1496s |      17 |   355096 |   260232 |    11842     32 |        0 |        0
1498.37/1498.83	c 1498s |      17 |   355537 |   260632 |    11842     32 |        0 |        0
1500.47/1500.94	c 1500s |      17 |   355967 |   261032 |    11842     32 |        0 |        0
1502.86/1503.35	c 1502s |      17 |   356387 |   261432 |    11842     32 |        0 |        0
1505.36/1505.89	c 1505s |      17 |   356800 |   261832 |    11842     32 |        0 |        0
1507.96/1508.46	c 1507s |      17 |   357224 |   262232 |    11842     32 |        0 |        0
1510.36/1510.83	c 1510s |      17 |   357671 |   262632 |    11842     32 |        0 |        0
1512.46/1512.93	c 1512s |      17 |   358102 |   263032 |    11842     32 |        0 |        0
1514.65/1515.16	c 1514s |      17 |   358530 |   263432 |    11842     32 |        0 |        0
1517.36/1517.89	c 1517s |      17 |   358961 |   263832 |    11842     32 |        0 |        0
1519.46/1519.93	c 1519s |      17 |   359086 |   263932 |    11842     33 |        0 |        0
1521.66/1522.10	c 1521s |      17 |   359313 |   264132 |    11842     33 |        0 |        0
1523.75/1524.25	c 1523s |      17 |   359866 |   264632 |    11842     33 |        0 |        0
1525.75/1526.26	c 1525s |      17 |   360314 |   265032 |    11842     33 |        0 |        0
1527.85/1528.32	c 1527s |      17 |   360748 |   265432 |    11842     33 |        0 |        0
1529.85/1530.38	c 1529s |      17 |   361168 |   265832 |    11842     33 |        0 |        0
1532.05/1532.51	c 1532s |      17 |   361590 |   266232 |    11842     33 |        0 |        0
1534.05/1534.57	c 1534s |      17 |   362033 |   266632 |    11842     33 |        0 |        0
1536.15/1536.68	c 1536s |      17 |   362453 |   267032 |    11842     33 |        0 |        0
1538.34/1538.89	c 1538s |      17 |   362876 |   267432 |    11842     33 |        0 |        0
1540.45/1540.94	c 1540s |      17 |   363301 |   267832 |    11842     33 |        0 |        0
1542.74/1543.27	c 1542s |      17 |   363729 |   268232 |    11842     33 |        0 |        0
1545.15/1545.60	c 1545s |      17 |   364159 |   268632 |    11842     33 |        0 |        0
1547.64/1548.16	c 1547s |      17 |   364559 |   269032 |    11842     33 |        0 |        0
1550.35/1550.84	c 1550s |      17 |   364979 |   269432 |    11842     33 |        0 |        0
1552.86/1553.39	c 1552s |      17 |   365429 |   269832 |    11842     33 |        0 |        0
1554.95/1555.44	c 1554s |      17 |   365853 |   270232 |    11842     33 |        0 |        0
1557.45/1557.95	c 1557s |      17 |   366291 |   270632 |    11842     33 |        0 |        0
1559.94/1560.44	c 1559s |      17 |   366727 |   271032 |    11842     33 |        0 |        0
1562.14/1562.66	c 1562s |      17 |   367161 |   271432 |    11842     33 |        0 |        0
1564.74/1565.22	c 1564s |      17 |   367595 |   271832 |    11842     33 |        0 |        0
1567.34/1567.86	c 1567s |      17 |   368007 |   272232 |    11842     33 |        0 |        0
1569.74/1570.29	c 1569s |      17 |   368437 |   272632 |    11842     33 |        0 |        0
1571.94/1572.46	c 1571s |      17 |   368871 |   273032 |    11842     33 |        0 |        0
1574.04/1574.53	c 1574s |      17 |   369075 |   273232 |    11842     34 |        0 |        0
1576.54/1577.07	c 1576s |      17 |   369513 |   273632 |    11842     34 |        0 |        0
1578.63/1579.15	c 1578s |      17 |   369925 |   274032 |    11842     34 |        0 |        0
1581.14/1581.67	c 1581s |      17 |   370441 |   274532 |    11842     34 |        0 |        0
1583.64/1584.14	c 1583s |      17 |   370860 |   274932 |    11842     34 |        0 |        0
1585.94/1586.49	c 1586s |      17 |   371290 |   275332 |    11842     34 |        0 |        0
1588.43/1588.99	c 1588s |      17 |   371711 |   275732 |    11842     34 |        0 |        0
1590.93/1591.40	c 1590s |      17 |   372150 |   276132 |    11842     34 |        0 |        0
1593.33/1593.84	c 1593s |      17 |   372565 |   276532 |    11842     34 |        0 |        0
1595.84/1596.36	c 1595s |      17 |   372913 |   276832 |    11842     34 |        0 |        0
1598.33/1598.82	c 1598s |      17 |   373506 |   277332 |    11842     34 |        0 |        0
1600.73/1601.21	c 1600s |      17 |   374045 |   277832 |    11842     34 |        0 |        0
1603.03/1603.54	c 1603s |      17 |   374743 |   278432 |    11842     34 |        0 |        0
1605.34/1605.87	c 1605s |      17 |   375305 |   278932 |    11842     34 |        0 |        0
1607.43/1607.91	c 1607s |      17 |   375723 |   279332 |    11842     34 |        0 |        0
1609.73/1610.28	c 1609s |      17 |   376292 |   279832 |    11842     34 |        0 |        0
1611.93/1612.47	c 1611s |      17 |   376724 |   280232 |    11842     34 |        0 |        0
1614.63/1615.16	c 1614s |      17 |   377151 |   280632 |    11842     34 |        0 |        0
1617.33/1617.88	c 1617s |      17 |   377592 |   281032 |    11842     34 |        0 |        0
1619.93/1620.40	c 1619s |      17 |   378027 |   281432 |    11842     34 |        0 |        0
1621.93/1622.48	c 1622s |      17 |   378357 |   281732 |    11842     34 |        0 |        0
1624.63/1625.11	c 1624s |      17 |   378782 |   282132 |    11842     34 |        0 |        0
1627.13/1627.62	c 1627s |      17 |   379001 |   282332 |    11842     35 |        0 |        0
1629.22/1629.74	c 1629s |      17 |   379344 |   282632 |    11842     35 |        0 |        0
1631.43/1631.97	c 1631s |      17 |   379775 |   283032 |    11842     35 |        0 |        0
1633.93/1634.42	c 1633s |      17 |   380202 |   283432 |    11842     35 |        0 |        0
1636.13/1636.67	c 1636s |      17 |   380636 |   283832 |    11842     35 |        0 |        0
1638.23/1638.73	c 1638s |      17 |   381064 |   284232 |    11842     35 |        0 |        0
1640.42/1640.92	c 1640s |      17 |   381497 |   284632 |    11842     35 |        0 |        0
1642.53/1643.02	c 1642s |      17 |   381922 |   285032 |    11842     35 |        0 |        0
1644.93/1645.48	c 1645s |      17 |   382358 |   285432 |    11842     35 |        0 |        0
1647.43/1647.94	c 1647s |      17 |   382784 |   285832 |    11842     35 |        0 |        0
1649.92/1650.45	c 1649s |      17 |   383210 |   286232 |    11842     35 |        0 |        0
1652.02/1652.57	c 1652s |      17 |   383531 |   286532 |    11842     35 |        0 |        0
1654.72/1655.23	c 1654s |      17 |   383965 |   286932 |    11842     35 |        0 |        0
1656.82/1657.34	c 1656s |      17 |   384275 |   287232 |    11842     35 |        0 |        0
1659.13/1659.62	c 1659s |      17 |   384593 |   287532 |    11842     35 |        0 |        0
1661.53/1662.10	c 1661s |      17 |   385028 |   287932 |    11842     35 |        0 |        0
1663.93/1664.43	c 1663s |      17 |   385472 |   288332 |    11842     35 |        0 |        0
1666.32/1666.83	c 1666s |      17 |   385913 |   288732 |    11842     35 |        0 |        0
1668.62/1669.18	c 1668s |      17 |   386333 |   289132 |    11842     35 |        0 |        0
1670.92/1671.41	c 1670s |      17 |   386749 |   289532 |    11842     35 |        0 |        0
1673.22/1673.76	c 1673s |      17 |   387180 |   289932 |    11842     35 |        0 |        0
1675.52/1676.03	c 1675s |      17 |   387608 |   290332 |    11842     35 |        0 |        0
1677.82/1678.30	c 1677s |      17 |   388036 |   290732 |    11842     35 |        0 |        0
1680.22/1680.75	c 1680s |      17 |   388457 |   291132 |    11842     35 |        0 |        0
1682.42/1682.94	c 1682s |      17 |   388795 |   291432 |    11842     35 |        0 |        0
1684.62/1685.18	c 1684s |      17 |   388900 |   291532 |    11842     36 |        0 |        0
1687.03/1687.55	c 1687s |      17 |   389330 |   291932 |    11842     36 |        0 |        0
1689.52/1690.01	c 1689s |      17 |   389749 |   292332 |    11842     36 |        0 |        0
1692.82/1693.31	c 1692s |      17 |   390175 |   292732 |    11842     36 |        0 |        0
1694.82/1695.39	c 1694s |      17 |   390487 |   293032 |    11842     36 |        0 |        0
1697.52/1698.03	c 1697s |      17 |   390898 |   293432 |    11842     36 |        0 |        0
1699.62/1700.16	c 1699s |      17 |   391247 |   293732 |    11842     36 |        0 |        0
1701.62/1702.16	c 1701s |      17 |   391556 |   294032 |    11842     36 |        0 |        0
1704.11/1704.64	c 1704s |      17 |   391978 |   294432 |    13027     36 |        0 |        0
1706.62/1707.15	c 1706s |      17 |   392400 |   294832 |    13027     36 |        0 |        0
1708.72/1709.21	c 1708s |      17 |   392723 |   295132 |    13027     36 |        0 |        0
1710.72/1711.25	c 1710s |      17 |   393043 |   295432 |    13027     36 |        0 |        0
1712.81/1713.35	c 1712s |      17 |   393381 |   295732 |    13027     36 |        0 |        0
1715.31/1715.85	c 1715s |      17 |   393862 |   296132 |    13027     36 |        0 |        0
1716.01/1716.55	c 1716s |      18 |   393999 |   296252 |    13027     36 |        0 |        0
1718.41/1718.90	c 1718s |      18 |   398424 |   296352 |    13027     37 |        0 |        0
1720.71/1721.22	c 1720s |      18 |   399455 |   297152 |    13027     37 |        0 |        0
1722.81/1723.34	c 1722s |      18 |   400145 |   297752 |    13027     37 |        0 |        0
1725.01/1725.58	c 1725s |      18 |   400812 |   298352 |    13027     37 |        0 |        0
1727.21/1727.75	c 1727s |      18 |   401369 |   298852 |    13027     37 |        0 |        0
1729.61/1730.10	c 1729s |      18 |   402091 |   299452 |    13027     37 |        0 |        0
1731.62/1732.14	c 1731s |      18 |   402679 |   299952 |    13027     37 |        0 |        0
1733.61/1734.17	c 1733s |      18 |   403286 |   300452 |    13027     37 |        0 |        0
1736.01/1736.54	c 1736s |      18 |   403853 |   300952 |    13027     37 |        0 |        0
1738.32/1738.83	c 1738s |      18 |   404425 |   301452 |    13027     37 |        0 |        0
1740.51/1741.07	c 1740s |      18 |   404980 |   301952 |    13027     37 |        0 |        0
1742.51/1743.09	c 1742s |      18 |   405440 |   302352 |    13027     37 |        0 |        0
1744.61/1745.15	c 1744s |      18 |   405873 |   302752 |    13027     37 |        0 |        0
1746.71/1747.29	c 1746s |      18 |   406326 |   303152 |    13027     37 |        0 |        0
1748.81/1749.30	c 1748s |      18 |   406768 |   303552 |    13027     37 |        0 |        0
1751.11/1751.68	c 1751s |      18 |   407351 |   304052 |    13027     37 |        0 |        0
1753.31/1753.81	c 1753s |      18 |   407790 |   304452 |    13027     37 |        0 |        0
1755.51/1756.07	c 1755s |      18 |   408246 |   304852 |    13027     37 |        0 |        0
1757.71/1758.24	c 1757s |      18 |   408692 |   305252 |    13027     37 |        0 |        0
1759.80/1760.36	c 1759s |      18 |   409149 |   305652 |    13027     37 |        0 |        0
1762.01/1762.54	c 1762s |      18 |   409602 |   306052 |    13027     37 |        0 |        0
1764.31/1764.80	c 1764s |      18 |   410048 |   306452 |    13027     37 |        0 |        0
1766.50/1767.08	c 1766s |      18 |   410492 |   306852 |    13027     37 |        0 |        0
1769.01/1769.50	c 1769s |      18 |   410933 |   307252 |    13027     37 |        0 |        0
1771.31/1771.80	c 1771s |      18 |   411404 |   307652 |    13027     37 |        0 |        0
1773.51/1774.00	c 1773s |      18 |   411878 |   308052 |    13027     37 |        0 |        0
1775.81/1776.35	c 1775s |      18 |   412357 |   308452 |    13027     37 |        0 |        0
1779.31/1779.85	c 1779s |      18 |   412797 |   308852 |    13027     38 |        0 |        0
1781.70/1782.22	c 1781s |      18 |   413237 |   309252 |    13027     38 |        0 |        0
1784.01/1784.51	c 1784s |      18 |   413684 |   309652 |    13027     38 |        0 |        0
1786.21/1786.76	c 1786s |      18 |   414127 |   310052 |    13027     38 |        0 |        0
1788.40/1788.91	c 1788s |      18 |   414597 |   310452 |    13027     38 |        0 |        0
1790.50/1791.05	c 1790s |      18 |   415064 |   310852 |    13027     38 |        0 |        0
1792.70/1793.27	c 1792s |      18 |   415511 |   311252 |    13027     38 |        0 |        0
1795.00/1795.51	c 1795s |      18 |   415975 |   311652 |    13027     38 |        0 |        0
1797.30/1797.89	c 1797s |      18 |   416408 |   312052 |    13027     38 |        0 |        0
1799.50/1800.07	c 1799s |      18 |   416845 |   312452 |    13027     38 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4093418-1466083324/watcher-4093418-1466083324 -o /tmp/evaluation-result-4093418-1466083324/solver-4093418-1466083324 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466074317-17183 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093418-1466083324.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.15 2.23 2.15 3/177 18045
/proc/meminfo: memFree=30478020/32872528 swapFree=446836/479540
[pid=18045] ppid=18042 vsize=484796 CPUtime=0 cores=0,2,4,6
/proc/18045/stat : 18045 (toysat) R 18042 18045 15681 0 -1 4202496 1764 0 0 0 0 0 0 0 20 0 4 0 10382542 496431104 2124 33554432000 4194304 16246674 140734160642080 140734160641504 15002730 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18045/statm: 121711 2133 441 2943 0 118605 0
[pid=18045/tid=18046] ppid=18042 vsize=501180 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18046/stat : 18046 (toysat) S 18042 18045 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10382542 513208320 2189 33554432000 4194304 16246674 140734160642080 140176663751920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18045/tid=18047] ppid=18042 vsize=505276 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18047/stat : 18047 (toysat) S 18042 18045 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10382542 517402624 2206 33554432000 4194304 16246674 140734160642080 140176653262064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18045/tid=18048] ppid=18042 vsize=509372 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18048/stat : 18048 (toysat) S 18042 18045 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10382542 521596928 2222 33554432000 4194304 16246674 140734160642080 140176642788528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100206 s]
/proc/loadavg: 2.15 2.23 2.15 3/177 18045
/proc/meminfo: memFree=30478020/32872528 swapFree=446836/479540
[pid=18045] ppid=18042 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/18045/stat : 18045 (toysat) R 18042 18045 15681 0 -1 4202496 28157 0 0 0 5 4 0 0 20 0 4 0 10382542 1247350784 28511 33554432000 4194304 16246674 140734160642080 140734160641504 6199429 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18045/statm: 304529 28519 605 2943 0 301423 0
[pid=18045/tid=18046] ppid=18042 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18046/stat : 18046 (toysat) S 18042 18045 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10382542 1247350784 28525 33554432000 4194304 16246674 140734160642080 140176663751920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18045/tid=18047] ppid=18042 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18047/stat : 18047 (toysat) S 18042 18045 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10382542 1247350784 28532 33554432000 4194304 16246674 140734160642080 140176653262064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18045/tid=18048] ppid=18042 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18048/stat : 18048 (toysat) S 18042 18045 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10382542 1247350784 28538 33554432000 4194304 16246674 140734160642080 140176642788528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200504 s]
/proc/loadavg: 2.15 2.23 2.15 3/177 18045
/proc/meminfo: memFree=30478020/32872528 swapFree=446836/479540
[pid=18045] ppid=18042 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/18045/stat : 18045 (toysat) R 18042 18045 15681 0 -1 4202496 48151 0 0 0 12 7 0 0 20 0 4 0 10382542 1247350784 48504 33554432000 4194304 16246674 140734160642080 140734160641504 12481124 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18045/statm: 304529 48514 605 2943 0 301423 0
[pid=18045/tid=18046] ppid=18042 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18046/stat : 18046 (toysat) S 18042 18045 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10382542 1247350784 48520 33554432000 4194304 16246674 140734160642080 140176663751920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18045/tid=18047] ppid=18042 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18047/stat : 18047 (toysat) S 18042 18045 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10382542 1247350784 48527 33554432000 4194304 16246674 140734160642080 140176653262064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18045/tid=18048] ppid=18042 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18048/stat : 18048 (toysat) S 18042 18045 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10382542 1247350784 48533 33554432000 4194304 16246674 140734160642080 140176642788528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300457 s]
/proc/loadavg: 2.15 2.23 2.15 3/177 18045
/proc/meminfo: memFree=30478020/32872528 swapFree=446836/479540
[pid=18045] ppid=18042 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/18045/stat : 18045 (toysat) R 18042 18045 15681 0 -1 4202496 68352 0 0 0 19 10 0 0 20 0 4 0 10382542 1247350784 68706 33554432000 4194304 16246674 140734160642080 140734160624000 12486453 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18045/statm: 304529 68716 605 2943 0 301423 0
[pid=18045/tid=18046] ppid=18042 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18046/stat : 18046 (toysat) S 18042 18045 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10382542 1247350784 68722 33554432000 4194304 16246674 140734160642080 140176663751920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18045/tid=18047] ppid=18042 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18047/stat : 18047 (toysat) S 18042 18045 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10382542 1247350784 68727 33554432000 4194304 16246674 140734160642080 140176653262064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18045/tid=18048] ppid=18042 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18048/stat : 18048 (toysat) S 18042 18045 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10382542 1247350784 68734 33554432000 4194304 16246674 140734160642080 140176642788528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700355 s]
/proc/loadavg: 2.15 2.23 2.15 3/177 18045
/proc/meminfo: memFree=30478020/32872528 swapFree=446836/479540
[pid=18045] ppid=18042 vsize=1306180 CPUtime=0.69 cores=0,2,4,6
/proc/18045/stat : 18045 (toysat) R 18042 18045 15681 0 -1 4202496 100994 0 0 0 56 13 0 0 20 0 4 0 10382542 1337528320 101319 33554432000 4194304 16246674 140734160642080 140734160641392 12478189 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18045/statm: 326545 101333 868 2943 0 323439 0
[pid=18045/tid=18046] ppid=18042 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18046/stat : 18046 (toysat) S 18042 18045 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10382542 1337528320 101343 33554432000 4194304 16246674 140734160642080 140176663751920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18045/tid=18047] ppid=18042 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18047/stat : 18047 (toysat) S 18042 18045 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10382542 1337528320 101355 33554432000 4194304 16246674 140734160642080 140176653262064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18045/tid=18048] ppid=18042 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18048/stat : 18048 (toysat) S 18042 18045 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10382542 1337528320 101364 33554432000 4194304 16246674 140734160642080 140176642788528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1306180

[startup+1.50039 s]
/proc/loadavg: 2.13 2.22 2.15 3/181 18049
/proc/meminfo: memFree=30055448/32872528 swapFree=446836/479540
[pid=18045] ppid=18042 vsize=1307204 CPUtime=1.48 cores=0,2,4,6
/proc/18045/stat : 18045 (toysat) R 18042 18045 15681 0 -1 4202496 105744 0 0 0 135 13 0 0 20 0 4 0 10382542 1338576896 106068 33554432000 4194304 16246674 140734160642080 140734160641256 5546200 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18045/statm: 326801 106068 868 2943 0 323695 0
[pid=18045/tid=18046] ppid=18042 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18046/stat : 18046 (toysat) S 18042 18045 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10382542 1338576896 106068 33554432000 4194304 16246674 140734160642080 140176663751920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18045/tid=18047] ppid=18042 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18047/stat : 18047 (toysat) S 18042 18045 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10382542 1338576896 106068 33554432000 4194304 16246674 140734160642080 140176653262064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18045/tid=18048] ppid=18042 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18048/stat : 18048 (toysat) S 18042 18045 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10382542 1338576896 106068 33554432000 4194304 16246674 140734160642080 140176642788528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1307204

[startup+3.1004 s]
/proc/loadavg: 2.13 2.22 2.15 3/181 18049
/proc/meminfo: memFree=30042928/32872528 swapFree=446836/479540
[pid=18045] ppid=18042 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/18045/stat : 18045 (toysat) R 18042 18045 15681 0 -1 4202496 109694 0 0 0 295 14 0 0 20 0 4 0 10382542 1338576896 110018 33554432000 4194304 16246674 140734160642080 140734160641256 6012041 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18045/statm: 326801 110018 868 2943 0 323695 0
[pid=18045/tid=18046] ppid=18042 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18046/stat : 18046 (toysat) S 18042 18045 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10382542 1338576896 110018 33554432000 4194304 16246674 140734160642080 140176663751920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18045/tid=18047] ppid=18042 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18047/stat : 18047 (toysat) S 18042 18045 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10382542 1338576896 110018 33554432000 4194304 16246674 140734160642080 140176653262064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18045/tid=18048] ppid=18042 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18048/stat : 18048 (toysat) S 18042 18045 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10382542 1338576896 110018 33554432000 4194304 16246674 140734160642080 140176642788528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30041 s]
/proc/loadavg: 2.12 2.22 2.15 3/181 18049
/proc/meminfo: memFree=30038872/32872528 swapFree=446836/479540
[pid=18045] ppid=18042 vsize=1307204 CPUtime=6.28 cores=0,2,4,6
/proc/18045/stat : 18045 (toysat) R 18042 18045 15681 0 -1 4202496 109694 0 0 0 614 14 0 0 20 0 4 0 10382542 1338576896 110018 33554432000 4194304 16246674 140734160642080 140734160624000 5707706 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18045/statm: 326801 110018 868 2943 0 323695 0
[pid=18045/tid=18046] ppid=18042 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18046/stat : 18046 (toysat) S 18042 18045 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10382542 1338576896 110018 33554432000 4194304 16246674 140734160642080 140176663751920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18045/tid=18047] ppid=18042 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18047/stat : 18047 (toysat) S 18042 18045 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10382542 1338576896 110018 33554432000 4194304 16246674 140734160642080 140176653262064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18045/tid=18048] ppid=18042 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18048/stat : 18048 (toysat) S 18042 18045 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10382542 1338576896 110018 33554432000 4194304 16246674 140734160642080 140176642788528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.11 2.21 2.15 3/181 18049
/proc/meminfo: memFree=30038284/32872528 swapFree=446836/479540
[pid=18045] ppid=18042 vsize=1308228 CPUtime=12.68 cores=0,2,4,6
/proc/18045/stat : 18045 (toysat) R 18042 18045 15681 0 -1 4202496 109803 0 0 0 1254 14 0 0 20 0 4 0 10382542 1339625472 110127 33554432000 4194304 16246674 140734160642080 140734160641256 5531720 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18045/statm: 327057 110127 868 2943 0 323951 0
[pid=18045/tid=18046] ppid=18042 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18046/stat : 18046 (toysat) S 18042 18045 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10382542 1339625472 110127 33554432000 4194304 16246674 140734160642080 140176663751920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18045/tid=18047] ppid=18042 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18047/stat : 18047 (toysat) S 18042 18045 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10382542 1339625472 110127 33554432000 4194304 16246674 140734160642080 140176653262064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18045/tid=18048] ppid=18042 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18048/stat : 18048 (toysat) S 18042 18045 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10382542 1339625472 110127 33554432000 4194304 16246674 140734160642080 140176642788528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.18 2.22 2.15 3/181 18049
/proc/meminfo: memFree=29697516/32872528 swapFree=446836/479540
[pid=18045] ppid=18042 vsize=1308228 CPUtime=25.49 cores=0,2,4,6
/proc/18045/stat : 18045 (toysat) R 18042 18045 15681 0 -1 4202496 194718 0 0 0 2521 28 0 0 20 0 4 0 10382542 1339625472 195042 33554432000 4194304 16246674 140734160642080 140734160641256 13950192 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18045/statm: 327057 195042 875 2943 0 323951 0
[pid=18045/tid=18046] ppid=18042 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18046/stat : 18046 (toysat) S 18042 18045 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10382542 1339625472 195042 33554432000 4194304 16246674 140734160642080 140176663751920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18045/tid=18047] ppid=18042 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18047/stat : 18047 (toysat) S 18042 18045 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10382542 1339625472 195042 33554432000 4194304 16246674 140734160642080 140176653262064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18045/tid=18048] ppid=18042 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18048/stat : 18048 (toysat) S 18042 18045 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10382542 1339625472 195042 33554432000 4194304 16246674 140734160642080 140176642788528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.10 2.20 2.14 3/181 18049
/proc/meminfo: memFree=29403860/32872528 swapFree=446836/479540
[pid=18045] ppid=18042 vsize=1308228 CPUtime=51.07 cores=0,2,4,6
/proc/18045/stat : 18045 (toysat) R 18042 18045 15681 0 -1 4202496 268180 0 0 0 5068 39 0 0 20 0 4 0 10382542 1339625472 268504 33554432000 4194304 16246674 140734160642080 140734160641256 5711952 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18045/statm: 327057 268504 875 2943 0 323951 0
[pid=18045/tid=18046] ppid=18042 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18046/stat : 18046 (toysat) S 18042 18045 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10382542 1339625472 268504 33554432000 4194304 16246674 140734160642080 140176663751920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18045/tid=18047] ppid=18042 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18047/stat : 18047 (toysat) S 18042 18045 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10382542 1339625472 268504 33554432000 4194304 16246674 140734160642080 140176653262064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18045/tid=18048] ppid=18042 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18048/stat : 18048 (toysat) S 18042 18045 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10382542 1339625472 268504 33554432000 4194304 16246674 140734160642080 140176642788528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1308228

[startup+102.3 s]
/proc/loadavg: 2.09 2.18 2.14 3/181 18050
/proc/meminfo: memFree=29396684/32872528 swapFree=446836/479540
[pid=18045] ppid=18042 vsize=1314372 CPUtime=102.28 cores=0,2,4,6
/proc/18045/stat : 18045 (toysat) R 18042 18045 15681 0 -1 4202496 269716 0 0 0 10185 43 0 0 20 0 4 0 10382542 1345916928 270040 33554432000 4194304 16246674 140734160642080 140734160641256 5822432 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18045/statm: 328593 270040 875 2943 0 325487 0
[pid=18045/tid=18046] ppid=18042 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18046/stat : 18046 (toysat) S 18042 18045 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10382542 1345916928 270040 33554432000 4194304 16246674 140734160642080 140176663751920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18045/tid=18047] ppid=18042 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18047/stat : 18047 (toysat) S 18042 18045 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10382542 1345916928 270040 33554432000 4194304 16246674 140734160642080 140176653262064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18045/tid=18048] ppid=18042 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18048/stat : 18048 (toysat) S 18042 18045 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10382542 1345916928 270040 33554432000 4194304 16246674 140734160642080 140176642788528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1314372


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

/proc/18045/task/18048/stat : 18048 (toysat) S 18042 18045 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10382542 1678315520 351196 33554432000 4194304 16246674 140734160642080 140176642788528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1638980

[startup+1362.3 s]
/proc/loadavg: 2.14 2.08 2.08 3/181 18081
/proc/meminfo: memFree=29064688/32872528 swapFree=446836/479540
[pid=18045] ppid=18042 vsize=1638980 CPUtime=1361.91 cores=0,2,4,6
/proc/18045/stat : 18045 (toysat) R 18042 18045 15681 0 -1 4202496 351176 0 0 0 136056 135 0 0 20 0 4 0 10382542 1678315520 351196 33554432000 4194304 16246674 140734160642080 140734160641256 5822428 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18045/statm: 409745 351196 876 2943 0 406639 0
[pid=18045/tid=18046] ppid=18042 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18046/stat : 18046 (toysat) S 18042 18045 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10382542 1678315520 351196 33554432000 4194304 16246674 140734160642080 140176663751920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18045/tid=18047] ppid=18042 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18047/stat : 18047 (toysat) S 18042 18045 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10382542 1678315520 351196 33554432000 4194304 16246674 140734160642080 140176653262064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18045/tid=18048] ppid=18042 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18048/stat : 18048 (toysat) S 18042 18045 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10382542 1678315520 351196 33554432000 4194304 16246674 140734160642080 140176642788528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1638980

[startup+1422.3 s]
/proc/loadavg: 2.05 2.07 2.08 3/181 18083
/proc/meminfo: memFree=29064588/32872528 swapFree=446836/479540
[pid=18045] ppid=18042 vsize=1638980 CPUtime=1421.9 cores=0,2,4,6
/proc/18045/stat : 18045 (toysat) R 18042 18045 15681 0 -1 4202496 351196 0 0 0 142051 139 0 0 20 0 4 0 10382542 1678315520 351196 33554432000 4194304 16246674 140734160642080 140734160624000 5545784 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18045/statm: 409745 351196 876 2943 0 406639 0
[pid=18045/tid=18046] ppid=18042 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18046/stat : 18046 (toysat) S 18042 18045 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10382542 1678315520 351196 33554432000 4194304 16246674 140734160642080 140176663751920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18045/tid=18047] ppid=18042 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18047/stat : 18047 (toysat) S 18042 18045 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10382542 1678315520 351196 33554432000 4194304 16246674 140734160642080 140176653262064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18045/tid=18048] ppid=18042 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18048/stat : 18048 (toysat) S 18042 18045 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10382542 1678315520 351196 33554432000 4194304 16246674 140734160642080 140176642788528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1638980

[startup+1482.3 s]
/proc/loadavg: 2.11 2.08 2.08 4/181 18084
/proc/meminfo: memFree=29064624/32872528 swapFree=446836/479540
[pid=18045] ppid=18042 vsize=1638980 CPUtime=1481.87 cores=0,2,4,6
/proc/18045/stat : 18045 (toysat) R 18042 18045 15681 0 -1 4202496 351229 0 0 0 148044 143 0 0 20 0 4 0 10382542 1678315520 351196 33554432000 4194304 16246674 140734160642080 140734160624000 5672188 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18045/statm: 409745 351196 876 2943 0 406639 0
[pid=18045/tid=18046] ppid=18042 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18046/stat : 18046 (toysat) S 18042 18045 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10382542 1678315520 351196 33554432000 4194304 16246674 140734160642080 140176663751920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18045/tid=18047] ppid=18042 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18047/stat : 18047 (toysat) S 18042 18045 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10382542 1678315520 351196 33554432000 4194304 16246674 140734160642080 140176653262064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18045/tid=18048] ppid=18042 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18048/stat : 18048 (toysat) S 18042 18045 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10382542 1678315520 351196 33554432000 4194304 16246674 140734160642080 140176642788528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1638980

[startup+1542.31 s]
/proc/loadavg: 2.07 2.08 2.08 3/181 18133
/proc/meminfo: memFree=29077344/32872528 swapFree=446836/479540
[pid=18045] ppid=18042 vsize=1638980 CPUtime=1541.85 cores=0,2,4,6
/proc/18045/stat : 18045 (toysat) R 18042 18045 15681 0 -1 4202496 351246 0 0 0 154037 148 0 0 20 0 4 0 10382542 1678315520 351196 33554432000 4194304 16246674 140734160642080 140734160624000 13191360 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18045/statm: 409745 351196 876 2943 0 406639 0
[pid=18045/tid=18046] ppid=18042 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18046/stat : 18046 (toysat) S 18042 18045 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10382542 1678315520 351196 33554432000 4194304 16246674 140734160642080 140176663751920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18045/tid=18047] ppid=18042 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18047/stat : 18047 (toysat) S 18042 18045 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10382542 1678315520 351196 33554432000 4194304 16246674 140734160642080 140176653262064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18045/tid=18048] ppid=18042 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18048/stat : 18048 (toysat) S 18042 18045 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10382542 1678315520 351196 33554432000 4194304 16246674 140734160642080 140176642788528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1638980

[startup+1602.3 s]
/proc/loadavg: 2.02 2.06 2.08 3/181 18134
/proc/meminfo: memFree=29074312/32872528 swapFree=446836/479540
[pid=18045] ppid=18042 vsize=1638980 CPUtime=1601.83 cores=0,2,4,6
/proc/18045/stat : 18045 (toysat) R 18042 18045 15681 0 -1 4202496 351258 0 0 0 160032 151 0 0 20 0 4 0 10382542 1678315520 351196 33554432000 4194304 16246674 140734160642080 140734160641256 5722908 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18045/statm: 409745 351196 876 2943 0 406639 0
[pid=18045/tid=18046] ppid=18042 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18046/stat : 18046 (toysat) S 18042 18045 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10382542 1678315520 351196 33554432000 4194304 16246674 140734160642080 140176663751920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18045/tid=18047] ppid=18042 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18047/stat : 18047 (toysat) S 18042 18045 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10382542 1678315520 351196 33554432000 4194304 16246674 140734160642080 140176653262064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18045/tid=18048] ppid=18042 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18048/stat : 18048 (toysat) S 18042 18045 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10382542 1678315520 351196 33554432000 4194304 16246674 140734160642080 140176642788528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1638980

[startup+1662.3 s]
/proc/loadavg: 2.01 2.05 2.07 3/181 18135
/proc/meminfo: memFree=29070104/32872528 swapFree=446836/479540
[pid=18045] ppid=18042 vsize=1638980 CPUtime=1661.83 cores=0,2,4,6
/proc/18045/stat : 18045 (toysat) R 18042 18045 15681 0 -1 4202496 351258 0 0 0 166026 157 0 0 20 0 4 0 10382542 1678315520 351196 33554432000 4194304 16246674 140734160642080 140734160641176 14628944 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18045/statm: 409745 351196 876 2943 0 406639 0
[pid=18045/tid=18046] ppid=18042 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18046/stat : 18046 (toysat) S 18042 18045 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10382542 1678315520 351196 33554432000 4194304 16246674 140734160642080 140176663751920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18045/tid=18047] ppid=18042 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18047/stat : 18047 (toysat) S 18042 18045 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10382542 1678315520 351196 33554432000 4194304 16246674 140734160642080 140176653262064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18045/tid=18048] ppid=18042 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18048/stat : 18048 (toysat) S 18042 18045 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10382542 1678315520 351196 33554432000 4194304 16246674 140734160642080 140176642788528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1638980

[startup+1722.3 s]
/proc/loadavg: 2.05 2.05 2.07 3/182 18140
/proc/meminfo: memFree=29070192/32872528 swapFree=446836/479540
[pid=18045] ppid=18042 vsize=1638980 CPUtime=1721.81 cores=0,2,4,6
/proc/18045/stat : 18045 (toysat) R 18042 18045 15681 0 -1 4202496 351258 0 0 0 172019 162 0 0 20 0 4 0 10382542 1678315520 351196 33554432000 4194304 16246674 140734160642080 140734160641256 5545752 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18045/statm: 409745 351196 876 2943 0 406639 0
[pid=18045/tid=18046] ppid=18042 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18046/stat : 18046 (toysat) S 18042 18045 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10382542 1678315520 351196 33554432000 4194304 16246674 140734160642080 140176663751920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18045/tid=18047] ppid=18042 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18047/stat : 18047 (toysat) S 18042 18045 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10382542 1678315520 351196 33554432000 4194304 16246674 140734160642080 140176653262064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18045/tid=18048] ppid=18042 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18048/stat : 18048 (toysat) S 18042 18045 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10382542 1678315520 351196 33554432000 4194304 16246674 140734160642080 140176642788528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1638980

[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.06 3/181 18141
/proc/meminfo: memFree=29069248/32872528 swapFree=446836/479540
[pid=18045] ppid=18042 vsize=1638980 CPUtime=1781.8 cores=0,2,4,6
/proc/18045/stat : 18045 (toysat) R 18042 18045 15681 0 -1 4202496 351258 0 0 0 178012 168 0 0 20 0 4 0 10382542 1678315520 351196 33554432000 4194304 16246674 140734160642080 140734160641176 5546098 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18045/statm: 409745 351196 876 2943 0 406639 0
[pid=18045/tid=18046] ppid=18042 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18046/stat : 18046 (toysat) S 18042 18045 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10382542 1678315520 351196 33554432000 4194304 16246674 140734160642080 140176663751920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18045/tid=18047] ppid=18042 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18047/stat : 18047 (toysat) S 18042 18045 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10382542 1678315520 351196 33554432000 4194304 16246674 140734160642080 140176653262064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18045/tid=18048] ppid=18042 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18048/stat : 18048 (toysat) S 18042 18045 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10382542 1678315520 351196 33554432000 4194304 16246674 140734160642080 140176642788528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1638980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.09 2.06 2.07 3/181 18142
/proc/meminfo: memFree=29055572/32872528 swapFree=446836/479540
[pid=18045] ppid=18042 vsize=1638980 CPUtime=1800.01 cores=0,2,4,6
/proc/18045/stat : 18045 (toysat) R 18042 18045 15681 0 -1 4202496 351258 0 0 0 179831 170 0 0 20 0 4 0 10382542 1678315520 351196 33554432000 4194304 16246674 140734160642080 140734160641256 5712608 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18045/statm: 409745 351196 876 2943 0 406639 0
[pid=18045/tid=18046] ppid=18042 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18046/stat : 18046 (toysat) S 18042 18045 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10382542 1678315520 351196 33554432000 4194304 16246674 140734160642080 140176663751920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18045/tid=18047] ppid=18042 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18047/stat : 18047 (toysat) S 18042 18045 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10382542 1678315520 351196 33554432000 4194304 16246674 140734160642080 140176653262064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18045/tid=18048] ppid=18042 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18048/stat : 18048 (toysat) S 18042 18045 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10382542 1678315520 351196 33554432000 4194304 16246674 140734160642080 140176642788528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1638980

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

[startup+1800.5 s]
/proc/loadavg: 2.09 2.06 2.07 3/181 18142
/proc/meminfo: memFree=29055572/32872528 swapFree=446836/479540
[pid=18045] ppid=18042 vsize=1638980 CPUtime=1800.01 cores=0,2,4,6
/proc/18045/stat : 18045 (toysat) R 18042 18045 15681 0 -1 4202496 351258 0 0 0 179831 170 0 0 20 0 4 0 10382542 1678315520 351196 33554432000 4194304 16246674 140734160642080 140734160641256 5712608 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18045/statm: 409745 351196 876 2943 0 406639 0
[pid=18045/tid=18046] ppid=18042 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18046/stat : 18046 (toysat) S 18042 18045 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10382542 1678315520 351196 33554432000 4194304 16246674 140734160642080 140176663751920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18045/tid=18047] ppid=18042 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18047/stat : 18047 (toysat) S 18042 18045 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10382542 1678315520 351196 33554432000 4194304 16246674 140734160642080 140176653262064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18045/tid=18048] ppid=18042 vsize=1638980 CPUtime=0 cores=0,2,4,6
/proc/18045/task/18048/stat : 18048 (toysat) S 18042 18045 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10382542 1678315520 351196 33554432000 4194304 16246674 140734160642080 140176642788528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1638980

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1798.32
CPU system time (s): 1.70074
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 1638980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.32
system time used= 1.70074
maximum resident set size= 1404784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 351258
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= 401
involuntary context switches= 2326

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.84311 second user time and 7.11292 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-16 15:22:04
IDJOB=4093418
IDBENCH=78717
IDSOLVER=2553
FILE ID=node104/4093418-1466083324
RUNJOBID= node104-1466074317-17183
PBS_JOBID= 19904028
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-85-80--soft-66-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093418-1466083324/watcher-4093418-1466083324 -o /tmp/evaluation-result-4093418-1466083324/solver-4093418-1466083324 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466074317-17183 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093418-1466083324.wbo

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

MD5SUM BENCH= 6d906c6a0b5d527a5b0feb820bb742c0
RANDOM SEED=606268818

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30478556 kB
Buffers:           29708 kB
Cached:           101884 kB
SwapCached:          516 kB
Active:          1157668 kB
Inactive:          59012 kB
Active(anon):    1086184 kB
Inactive(anon):     1168 kB
Active(file):      71484 kB
Inactive(file):    57844 kB
Unevictable:      479540 kB
Mlocked:          446836 kB
SwapTotal:      67108856 kB
SwapFree:       67100316 kB
Dirty:             16348 kB
Writeback:             0 kB
AnonPages:       1657692 kB
Mapped:            10544 kB
Shmem:                 0 kB
Slab:             566656 kB
SReclaimable:      11076 kB
SUnreclaim:       555580 kB
KernelStack:        1504 kB
PageTables:         7100 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1697128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    129024 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 node104 at 2016-06-16 15:52:05