Trace number 4093717

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

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-65-60--soft-0-100-0.wbo
MD5SUM2e8bafba6181eaf32525647669a5fbcc
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark2.01269
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3900
Total number of constraints125
Number of soft constraints125
Number of constraints which are clauses65
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint60
Maximum length of a constraint65
Top cost 6098
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 6097
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 66
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-16T18:14:29+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--wbo","--search=bcd2","HOME/instance-4093717-1466093668.wbo"]
0.00/0.01	c use --random-gen="3332091240 3553801763 591741745 2700991720 1110215575 2177934538 469000259 1514319873 1187253876 3856539541 3158389361 225561851 1808243539 3560713633 2902900469 3165511857 487179299 1284326145 3123766262 141763075 1280703526 3772119416 3052707675 3126831212 2628699475 1308357905 760530688 1138080205 1508312609 3392508166 2368659486 2283227046 557711330 3435600605 751706593 4057251798 2978895971 1404625496 183263271 1326530301 2322250724 1646084152 772406364 909505483 2693965623 223213436 2247577274 2620179116 3242389452 1864233579 2253190067 1904081135 1668880708 1787272949 1956066946 1462428255 604018211 2803885580 1646210467 2809299708 2761980641 3729989632 3424520361 1650703013 1239284226 1318834702 2311698019 359892160 1464982747 3082175729 639792174 3010845516 3950544394 2934947397 277653086 1175955454 1937836393 561054613 3811860964 1628425685 2216642930 2082688807 755198229 3759293875 1025881837 1656420709 3444761170 3894046980 1153633874 589452852 4102255951 3120405783 552889392 707091017 774979320 1591915114 3078970047 3429966559 2086850321 1446971722 2174139900 1700988829 4175401945 3403664825 444260839 399686842 2171076367 3281542950 662046764 185746138 4174713020 1325986062 394447555 1552647022 2173516538 3446917157 2593493731 3225009127 3712186732 628429951 1656721074 4181242621 698581200 3314349588 1887373078 2268585550 3479994123 2458765678 3961050392 306906235 965196063 3516554498 667970030 3612061526 319331087 1252354342 1553958446 2774510823 2810580156 320088995 947005918 3948868523 3985929633 1066184151 2797982239 1076305767 1160611392 2149069907 1532136714 3841947381 2976648005 1549862405 241922560 61405298 2681541021 2948171865 3895627976 1623683943 952893240 1538852847 834578443 526302619 2955272830 3452206205 1748730496 3081771307 2954088939 484441497 514908969 75114981 756781241 1597614208 214748389 2741668478 4184373218 2896085781 2494211777 2576283790 1717448382 1056933947 1745434650 4061701583 2677155327 2771957460 3976638832 46485693 2318001276 1963127634 2003977309 1637333470 1801913190 2923535510 547056348 3593471808 3190191057 3359162852 853150460 1475573038 3192913008 2891337570 190887614 3740487313 2104687724 1751392028 1492245528 3914536340 1578232188 596953977 2305516572 2546019969 3403996227 3361359773 3467706094 3455348019 475508360 3945270207 37960111 3869170498 902373048 3663141106 2233071484 3409050658 1243075668 1792870384 4215739071 3009488702 11835358 51341032 3719677851 3412330584 2474341101 3874570212 1346033642 119380952 2554670020 1513410716 703634685 121820168 1991356747 1506553327 672661691 3513458584 1124287405 1994271053 3867909762 2016772762 4040098811 1665076477 1103500517 2479944171 3895039278 3730881518 877734972 4096596494 3287256477 2505436261 255 362436" option to reproduce the execution
0.09/0.19	c #vars 3900
0.09/0.19	c #constraints 125
0.19/0.21	c BCD2: Hardening is enabled.
0.19/0.21	c BCD2: BiasedSearch is enabled.
0.19/0.21	c Solving starts ...
0.19/0.21	c ============================[ Search Statistics ]============================
0.19/0.21	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.21	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.21	c =============================================================================
0.19/0.21	c  0.0s |       0 |        0 |        0 |     1383      0 |        0 |        0
0.19/0.22	c  0.0s |       0 |      185 |        0 |     1383      0 |        0 |        0
0.19/0.22	c #cpu_time = 0.005s
0.19/0.22	c #wall_clock_time = 0.005s
0.19/0.22	c #decision = 185
0.19/0.22	c #random_decision = 0
0.19/0.22	c #conflict = 0
0.19/0.22	c #restart = 0
0.19/0.22	o 3098
0.19/0.22	c BCD2: updating upper bound: 6097 -> 3097
0.19/0.22	c BCD2: 0 <= obj <= 3097
0.19/0.22	c BCD2: #cores=0, #unrelaxed=125, #relaxed=0, #hardened=0
0.19/0.22	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.22	c Solving starts ...
0.19/0.22	c ============================[ Search Statistics ]============================
0.19/0.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.22	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.22	c =============================================================================
0.19/0.22	c  0.0s |       0 |        0 |        0 |     1383      0 |        0 |        0
0.19/0.29	c  0.1s |       1 |      298 |      100 |     1383      0 |        0 |        0
0.39/0.47	c  0.2s |       2 |     1188 |      250 |     1522      0 |        0 |        0
0.99/1.01	c  0.8s |       3 |     3642 |      475 |     1675      0 |        0 |        0
1.59/1.68	c  1.5s |       4 |     6879 |      813 |     1843      0 |        0 |        0
2.49/2.51	c  2.3s |       5 |     9900 |     1320 |     2028      0 |        0 |        0
3.99/4.02	c  3.8s |       6 |    12971 |     2081 |     2455      0 |        0 |        0
5.99/6.04	c  5.8s |       6 |    16261 |     3181 |     2455      0 |        0 |        0
6.09/6.13	c  5.9s |       7 |    16313 |     3223 |     2701      0 |        0 |        0
8.19/8.29	c  8.1s |       7 |    19451 |     4323 |     2701      1 |        0 |        0
9.59/9.67	c  9.4s |       8 |    20133 |     4936 |     2972      1 |        0 |        0
11.79/11.85	c 11.6s |       8 |    23825 |     6036 |     2972      2 |        0 |        0
13.89/13.91	c 13.7s |       8 |    24857 |     6936 |     2972      2 |        0 |        0
15.39/15.41	c 15.2s |       9 |    25487 |     7506 |     3270      2 |        0 |        0
17.39/17.43	c 17.2s |       9 |    28758 |     8506 |     3270      3 |        0 |        0
19.49/19.59	c 19.4s |       9 |    30056 |     9606 |     3270      3 |        0 |        0
21.68/21.74	c 21.5s |       9 |    31081 |    10506 |     3270      3 |        0 |        0
23.48/23.59	c 23.4s |      10 |    32092 |    11361 |     3598      3 |        0 |        0
25.58/25.60	c 25.4s |      10 |    35460 |    12361 |     3598      4 |        0 |        0
27.68/27.77	c 27.5s |      10 |    36580 |    13361 |     3598      4 |        0 |        0
29.88/29.95	c 29.7s |      10 |    37493 |    14161 |     3598      4 |        0 |        0
31.89/31.96	c 31.7s |      10 |    38273 |    14861 |     3598      4 |        0 |        0
34.09/34.18	c 34.0s |      10 |    39137 |    15661 |     3598      4 |        0 |        0
36.39/36.43	c 36.2s |      10 |    39914 |    16361 |     3598      5 |        0 |        0
38.59/38.63	c 38.4s |      11 |    40795 |    17144 |     3958      5 |        0 |        0
40.69/40.71	c 40.5s |      11 |    43953 |    18144 |     3958      6 |        0 |        0
42.78/42.82	c 42.6s |      11 |    44940 |    19044 |     3958      6 |        0 |        0
44.88/44.93	c 44.7s |      11 |    45876 |    19844 |     3958      6 |        0 |        0
46.98/47.03	c 46.8s |      11 |    46725 |    20544 |     3958      6 |        0 |        0
49.19/49.25	c 49.0s |      11 |    47491 |    21244 |     3958      6 |        0 |        0
51.28/51.32	c 51.1s |      11 |    48152 |    21844 |     3958      6 |        0 |        0
53.28/53.33	c 53.1s |      11 |    48811 |    22444 |     3958      6 |        0 |        0
55.58/55.63	c 55.4s |      11 |    49473 |    23044 |     3958      7 |        0 |        0
57.88/57.93	c 57.7s |      11 |    50131 |    23644 |     3958      7 |        0 |        0
59.88/59.98	c 59.8s |      11 |    50794 |    24244 |     3958      7 |        0 |        0
61.98/62.08	c 61.9s |      11 |    51467 |    24844 |     3958      7 |        0 |        0
64.38/64.41	c 64.2s |      11 |    52122 |    25444 |     3958      7 |        0 |        0
65.88/65.90	c 65.7s |      12 |    52508 |    25819 |     4354      7 |        0 |        0
67.88/67.98	c 67.8s |      12 |    55840 |    26419 |     4354      8 |        0 |        0
70.07/70.16	c 69.9s |      12 |    56653 |    27119 |     4354      8 |        0 |        0
72.18/72.27	c 72.1s |      12 |    57315 |    27719 |     4354      8 |        0 |        0
74.38/74.46	c 74.2s |      12 |    58027 |    28319 |     4354      8 |        0 |        0
76.38/76.46	c 76.2s |      12 |    58576 |    28819 |     4354      8 |        0 |        0
78.58/78.69	c 78.5s |      12 |    59136 |    29319 |     4354      8 |        0 |        0
80.97/81.04	c 80.8s |      12 |    59694 |    29819 |     4354      8 |        0 |        0
83.07/83.19	c 83.0s |      12 |    60107 |    30219 |     4354      8 |        0 |        0
85.27/85.36	c 85.1s |      12 |    60545 |    30619 |     4354      9 |        0 |        0
87.28/87.38	c 87.2s |      12 |    60964 |    31019 |     4354      9 |        0 |        0
89.77/89.83	c 89.6s |      12 |    61530 |    31519 |     4354      9 |        0 |        0
92.27/92.34	c 92.1s |      12 |    62075 |    32019 |     4354      9 |        0 |        0
94.27/94.36	c 94.1s |      12 |    62519 |    32419 |     4354      9 |        0 |        0
96.37/96.45	c 96.2s |      12 |    62939 |    32819 |     4354      9 |        0 |        0
98.48/98.54	c 98.3s |      12 |    63381 |    33219 |     4354      9 |        0 |        0
100.58/100.65	c  100s |      12 |    63831 |    33619 |     4354      9 |        0 |        0
102.78/102.81	c  102s |      12 |    64253 |    34019 |     4354      9 |        0 |        0
104.97/105.05	c  104s |      12 |    64685 |    34419 |     4354      9 |        0 |        0
107.17/107.22	c  106s |      12 |    65017 |    34719 |     4354     10 |        0 |        0
109.27/109.33	c  109s |      12 |    65469 |    35119 |     4354     10 |        0 |        0
111.58/111.60	c  111s |      12 |    66057 |    35619 |     4354     10 |        0 |        0
113.88/113.90	c  113s |      12 |    66770 |    36219 |     4354     10 |        0 |        0
115.88/115.95	c  115s |      12 |    67343 |    36719 |     4354     10 |        0 |        0
118.07/118.19	c  117s |      12 |    67891 |    37219 |     4354     10 |        0 |        0
120.37/120.49	c  120s |      12 |    68452 |    37719 |     4354     10 |        0 |        0
122.77/122.84	c  122s |      12 |    69001 |    38219 |     4354     10 |        0 |        0
125.17/125.29	c  125s |      12 |    69535 |    38719 |     4790     10 |        0 |        0
125.77/125.89	c  125s |      13 |    69649 |    38832 |     4790     10 |        0 |        0
127.87/127.90	c  127s |      13 |    72607 |    39232 |     4790     11 |        0 |        0
129.97/130.07	c  129s |      13 |    73331 |    39832 |     4790     11 |        0 |        0
132.07/132.15	c  131s |      13 |    74099 |    40432 |     4790     11 |        0 |        0
134.37/134.45	c  134s |      13 |    74810 |    41032 |     4790     11 |        0 |        0
136.67/136.72	c  136s |      13 |    75446 |    41532 |     4790     11 |        0 |        0
138.77/138.87	c  138s |      13 |    76154 |    42132 |     4790     11 |        0 |        0
140.88/140.96	c  140s |      13 |    76742 |    42632 |     4790     11 |        0 |        0
142.87/142.97	c  142s |      13 |    77338 |    43132 |     4790     11 |        0 |        0
144.97/145.01	c  144s |      13 |    77773 |    43532 |     4790     12 |        0 |        0
147.26/147.36	c  147s |      13 |    78334 |    44032 |     4790     12 |        0 |        0
149.58/149.61	c  149s |      13 |    78952 |    44532 |     4790     12 |        0 |        0
151.88/151.96	c  151s |      13 |    79540 |    45032 |     4790     12 |        0 |        0
153.98/154.01	c  153s |      13 |    79976 |    45432 |     4790     12 |        0 |        0
156.07/156.10	c  155s |      13 |    80439 |    45832 |     4790     12 |        0 |        0
158.26/158.32	c  158s |      13 |    80871 |    46232 |     4790     12 |        0 |        0
160.58/160.67	c  160s |      13 |    81348 |    46632 |     4790     12 |        0 |        0
162.97/163.02	c  162s |      13 |    81831 |    47032 |     4790     12 |        0 |        0
165.37/165.49	c  165s |      13 |    82540 |    47532 |     4790     12 |        0 |        0
167.67/167.76	c  167s |      13 |    82988 |    47932 |     4790     13 |        0 |        0
170.06/170.13	c  169s |      13 |    83573 |    48432 |     4790     13 |        0 |        0
172.67/172.73	c  172s |      13 |    84160 |    48932 |     4790     13 |        0 |        0
174.76/174.83	c  174s |      13 |    84609 |    49332 |     4790     13 |        0 |        0
176.86/176.92	c  176s |      13 |    85072 |    49732 |     4790     13 |        0 |        0
178.96/179.02	c  178s |      13 |    85546 |    50132 |     4790     13 |        0 |        0
181.17/181.20	c  180s |      13 |    86020 |    50532 |     4790     13 |        0 |        0
183.47/183.56	c  183s |      13 |    86448 |    50932 |     4790     13 |        0 |        0
185.87/185.98	c  185s |      13 |    86887 |    51332 |     4790     13 |        0 |        0
188.26/188.32	c  188s |      13 |    87415 |    51732 |     4790     13 |        0 |        0
190.66/190.72	c  190s |      13 |    87784 |    52032 |     4790     14 |        0 |        0
192.86/192.99	c  192s |      13 |    88267 |    52432 |     4790     14 |        0 |        0
195.26/195.35	c  195s |      13 |    88701 |    52832 |     4790     14 |        0 |        0
197.66/197.71	c  197s |      13 |    89156 |    53232 |     4790     14 |        0 |        0
200.06/200.13	c  199s |      13 |    89968 |    53632 |     4790     14 |        0 |        0
202.16/202.25	c  202s |      13 |    90590 |    54032 |     4790     14 |        0 |        0
204.36/204.40	c  204s |      13 |    91213 |    54532 |     4790     14 |        0 |        0
206.56/206.64	c  206s |      13 |    91846 |    55032 |     4790     14 |        0 |        0
208.97/209.07	c  208s |      13 |    92446 |    55532 |     4790     14 |        0 |        0
211.56/211.60	c  211s |      13 |    93044 |    56032 |     4790     14 |        0 |        0
213.86/213.97	c  213s |      13 |    93638 |    56432 |     4790     15 |        0 |        0
215.95/216.07	c  215s |      13 |    94087 |    56832 |     4790     15 |        0 |        0
218.35/218.48	c  218s |      13 |    94699 |    57332 |     4790     15 |        0 |        0
220.65/220.74	c  220s |      13 |    95356 |    57832 |     4790     15 |        0 |        0
222.95/223.03	c  222s |      13 |    95986 |    58332 |     5269     15 |        0 |        0
223.06/223.15	c  222s |      14 |    96003 |    58352 |     5269     15 |        0 |        0
225.26/225.30	c  225s |      14 |    98781 |    59052 |     5269     16 |        0 |        0
227.26/227.32	c  227s |      14 |    99615 |    59752 |     5269     16 |        0 |        0
229.45/229.59	c  229s |      14 |   100384 |    60352 |     5269     16 |        0 |        0
231.55/231.68	c  231s |      14 |   100987 |    60852 |     5269     16 |        0 |        0
233.65/233.73	c  233s |      14 |   101523 |    61252 |     5269     16 |        0 |        0
235.66/235.73	c  235s |      14 |   102122 |    61752 |     5269     16 |        0 |        0
237.85/237.91	c  237s |      14 |   102756 |    62252 |     5269     16 |        0 |        0
240.05/240.16	c  239s |      14 |   103579 |    62952 |     5269     16 |        0 |        0
242.46/242.54	c  242s |      14 |   104163 |    63452 |     5269     16 |        0 |        0
244.75/244.88	c  244s |      14 |   104736 |    63952 |     5269     16 |        0 |        0
247.05/247.18	c  246s |      14 |   105184 |    64352 |     5269     17 |        0 |        0
249.16/249.26	c  249s |      14 |   105634 |    64752 |     5269     17 |        0 |        0
251.45/251.50	c  251s |      14 |   106072 |    65152 |     5269     17 |        0 |        0
253.55/253.68	c  253s |      14 |   106553 |    65552 |     5269     17 |        0 |        0
256.05/256.19	c  255s |      14 |   107140 |    66052 |     5269     17 |        0 |        0
258.15/258.28	c  258s |      14 |   107604 |    66452 |     5269     17 |        0 |        0
260.25/260.33	c  260s |      14 |   108114 |    66852 |     5269     17 |        0 |        0
262.35/262.48	c  262s |      14 |   108560 |    67252 |     5269     17 |        0 |        0
264.55/264.68	c  264s |      14 |   109023 |    67652 |     5269     17 |        0 |        0
266.85/266.94	c  266s |      14 |   109479 |    68052 |     5269     17 |        0 |        0
269.05/269.17	c  268s |      14 |   109936 |    68452 |     5269     17 |        0 |        0
271.25/271.38	c  271s |      14 |   110282 |    68752 |     5269     18 |        0 |        0
273.54/273.64	c  273s |      14 |   110728 |    69152 |     5269     18 |        0 |        0
275.85/275.96	c  275s |      14 |   111175 |    69552 |     5269     18 |        0 |        0
278.26/278.40	c  278s |      14 |   111625 |    69952 |     5269     18 |        0 |        0
280.65/280.75	c  280s |      14 |   112067 |    70352 |     5269     18 |        0 |        0
283.14/283.25	c  283s |      14 |   112593 |    70752 |     5269     18 |        0 |        0
285.24/285.38	c  285s |      14 |   113057 |    71152 |     5269     18 |        0 |        0
287.64/287.79	c  287s |      14 |   113521 |    71552 |     5269     18 |        0 |        0
289.85/289.97	c  289s |      14 |   114025 |    71952 |     5269     18 |        0 |        0
292.25/292.40	c  292s |      14 |   114594 |    72452 |     5269     18 |        0 |        0
294.35/294.43	c  294s |      14 |   115087 |    72852 |     5269     18 |        0 |        0
296.95/297.02	c  296s |      14 |   115526 |    73252 |     5269     19 |        0 |        0
299.15/299.25	c  299s |      14 |   115968 |    73652 |     5269     19 |        0 |        0
301.24/301.40	c  301s |      14 |   116431 |    74052 |     5269     19 |        0 |        0
303.35/303.45	c  303s |      14 |   116878 |    74452 |     5269     19 |        0 |        0
305.44/305.56	c  305s |      14 |   117369 |    74852 |     5269     19 |        0 |        0
307.64/307.74	c  307s |      14 |   117827 |    75252 |     5269     19 |        0 |        0
309.85/309.90	c  309s |      14 |   118282 |    75652 |     5269     19 |        0 |        0
312.04/312.14	c  311s |      14 |   118735 |    76052 |     5269     19 |        0 |        0
314.24/314.32	c  314s |      14 |   119169 |    76452 |     5269     19 |        0 |        0
316.54/316.64	c  316s |      14 |   119664 |    76852 |     5269     19 |        0 |        0
318.74/318.85	c  318s |      14 |   120242 |    77352 |     5269     19 |        0 |        0
321.04/321.13	c  320s |      14 |   120710 |    77752 |     5269     20 |        0 |        0
323.35/323.44	c  323s |      14 |   121286 |    78252 |     5269     20 |        0 |        0
325.34/325.46	c  325s |      14 |   121753 |    78652 |     5269     20 |        0 |        0
327.85/327.96	c  327s |      14 |   122362 |    79152 |     5269     20 |        0 |        0
330.14/330.24	c  330s |      14 |   122803 |    79552 |     5269     20 |        0 |        0
332.54/332.69	c  332s |      14 |   123393 |    80052 |     5269     20 |        0 |        0
334.73/334.87	c  334s |      14 |   123842 |    80452 |     5269     20 |        0 |        0
336.84/336.91	c  336s |      14 |   124286 |    80852 |     5269     20 |        0 |        0
339.04/339.11	c  338s |      14 |   124730 |    81252 |     5269     20 |        0 |        0
341.54/341.60	c  341s |      14 |   125166 |    81652 |     5269     20 |        0 |        0
344.14/344.21	c  343s |      14 |   125594 |    82052 |     5269     20 |        0 |        0
346.44/346.53	c  346s |      14 |   125907 |    82352 |     5269     21 |        0 |        0
348.64/348.76	c  348s |      14 |   126371 |    82752 |     5269     21 |        0 |        0
351.04/351.15	c  350s |      14 |   126794 |    83152 |     5269     21 |        0 |        0
353.34/353.49	c  353s |      14 |   127252 |    83552 |     5269     21 |        0 |        0
355.44/355.58	c  355s |      14 |   127741 |    83952 |     5269     21 |        0 |        0
357.83/357.97	c  357s |      14 |   128148 |    84352 |     5269     21 |        0 |        0
360.03/360.12	c  359s |      14 |   128684 |    84752 |     5269     21 |        0 |        0
362.54/362.62	c  362s |      14 |   129269 |    85252 |     5269     21 |        0 |        0
364.54/364.65	c  364s |      14 |   129708 |    85652 |     5269     21 |        0 |        0
366.53/366.67	c  366s |      14 |   130197 |    86052 |     5269     21 |        0 |        0
368.63/368.71	c  368s |      14 |   130656 |    86452 |     5269     21 |        0 |        0
370.74/370.81	c  370s |      14 |   131009 |    86752 |     5269     22 |        0 |        0
372.94/373.03	c  372s |      14 |   131454 |    87152 |     5796     22 |        0 |        0
374.94/375.06	c  374s |      14 |   131882 |    87552 |     5796     22 |        0 |        0
375.34/375.46	c  375s |      15 |   131975 |    87632 |     5796     22 |        0 |        0
377.53/377.60	c  377s |      15 |   134662 |    88332 |     5796     22 |        0 |        0
379.83/379.91	c  379s |      15 |   135590 |    89132 |     5796     22 |        0 |        0
382.03/382.14	c  381s |      15 |   136446 |    89832 |     5796     22 |        0 |        0
384.23/384.36	c  384s |      15 |   137336 |    90532 |     5796     22 |        0 |        0
386.43/386.55	c  386s |      15 |   138174 |    91232 |     5796     22 |        0 |        0
388.93/389.07	c  388s |      15 |   138762 |    91732 |     5796     23 |        0 |        0
391.43/391.51	c  391s |      15 |   139338 |    92232 |     5796     23 |        0 |        0
393.53/393.65	c  393s |      15 |   139813 |    92632 |     5796     23 |        0 |        0
395.73/395.85	c  395s |      15 |   140275 |    93032 |     5796     23 |        0 |        0
398.24/398.35	c  398s |      15 |   140733 |    93432 |     5796     23 |        0 |        0
400.23/400.40	c  400s |      15 |   141301 |    93932 |     5796     23 |        0 |        0
402.43/402.60	c  402s |      15 |   141858 |    94432 |     5796     23 |        0 |        0
404.63/404.74	c  404s |      15 |   142414 |    94932 |     5796     23 |        0 |        0
406.63/406.74	c  406s |      15 |   142999 |    95432 |     5796     23 |        0 |        0
408.73/408.90	c  408s |      15 |   143582 |    95932 |     5796     23 |        0 |        0
411.03/411.14	c  410s |      15 |   144172 |    96432 |     5796     23 |        0 |        0
413.42/413.54	c  413s |      15 |   144746 |    96932 |     5796     24 |        0 |        0
415.42/415.55	c  415s |      15 |   145292 |    97432 |     5796     24 |        0 |        0
417.62/417.72	c  417s |      15 |   145888 |    97932 |     5796     24 |        0 |        0
419.93/420.09	c  419s |      15 |   146581 |    98532 |     5796     24 |        0 |        0
422.43/422.53	c  422s |      15 |   147299 |    99132 |     5796     24 |        0 |        0
424.53/424.60	c  424s |      15 |   147890 |    99632 |     5796     24 |        0 |        0
426.83/426.93	c  426s |      15 |   148490 |   100132 |     5796     24 |        0 |        0
429.13/429.23	c  429s |      15 |   149125 |   100632 |     5796     24 |        0 |        0
431.23/431.37	c  431s |      15 |   149574 |   101032 |     5796     24 |        0 |        0
433.22/433.38	c  433s |      15 |   149909 |   101332 |     5796     25 |        0 |        0
435.72/435.83	c  435s |      15 |   150607 |   101832 |     5796     25 |        0 |        0
437.92/438.01	c  437s |      15 |   151209 |   102332 |     5796     25 |        0 |        0
440.23/440.30	c  440s |      15 |   151772 |   102832 |     5796     25 |        0 |        0
442.62/442.75	c  442s |      15 |   152352 |   103332 |     5796     25 |        0 |        0
444.62/444.77	c  444s |      15 |   152798 |   103732 |     5796     25 |        0 |        0
446.82/446.95	c  446s |      15 |   153385 |   104232 |     5796     25 |        0 |        0
449.02/449.12	c  448s |      15 |   154027 |   104732 |     5796     25 |        0 |        0
451.42/451.56	c  451s |      15 |   154619 |   105232 |     5796     25 |        0 |        0
453.72/453.87	c  453s |      15 |   155187 |   105732 |     5796     25 |        0 |        0
456.02/456.18	c  455s |      15 |   155679 |   106132 |     5796     26 |        0 |        0
458.22/458.33	c  458s |      15 |   156247 |   106632 |     5796     26 |        0 |        0
460.32/460.48	c  460s |      15 |   156801 |   107132 |     5796     26 |        0 |        0
462.82/462.94	c  462s |      15 |   157379 |   107632 |     5796     26 |        0 |        0
464.91/465.03	c  464s |      15 |   157813 |   108032 |     5796     26 |        0 |        0
467.12/467.23	c  467s |      15 |   158253 |   108432 |     5796     26 |        0 |        0
469.52/469.63	c  469s |      15 |   158866 |   108932 |     5796     26 |        0 |        0
471.82/471.93	c  471s |      15 |   159468 |   109432 |     5796     26 |        0 |        0
474.02/474.13	c  473s |      15 |   160013 |   109932 |     5796     26 |        0 |        0
476.11/476.26	c  476s |      15 |   160474 |   110332 |     5796     26 |        0 |        0
478.43/478.56	c  478s |      15 |   160945 |   110732 |     5796     26 |        0 |        0
480.92/481.05	c  480s |      15 |   161394 |   111132 |     5796     27 |        0 |        0
483.12/483.24	c  483s |      15 |   161845 |   111532 |     5796     27 |        0 |        0
485.31/485.44	c  485s |      15 |   162300 |   111932 |     5796     27 |        0 |        0
487.81/487.92	c  487s |      15 |   162873 |   112432 |     5796     27 |        0 |        0
489.91/490.08	c  489s |      15 |   163327 |   112832 |     5796     27 |        0 |        0
492.22/492.33	c  492s |      15 |   163776 |   113232 |     5796     27 |        0 |        0
494.31/494.46	c  494s |      15 |   164250 |   113632 |     5796     27 |        0 |        0
496.81/496.92	c  496s |      15 |   164810 |   114132 |     5796     27 |        0 |        0
498.91/499.02	c  498s |      15 |   165266 |   114532 |     5796     27 |        0 |        0
501.41/501.53	c  501s |      15 |   165851 |   115032 |     5796     27 |        0 |        0
503.72/503.86	c  503s |      15 |   166296 |   115432 |     5796     27 |        0 |        0
505.81/505.97	c  505s |      15 |   166630 |   115732 |     5796     28 |        0 |        0
508.02/508.11	c  507s |      15 |   167085 |   116132 |     5796     28 |        0 |        0
510.21/510.32	c  510s |      15 |   167537 |   116532 |     5796     28 |        0 |        0
512.62/512.75	c  512s |      15 |   167975 |   116932 |     5796     28 |        0 |        0
514.82/514.96	c  514s |      15 |   168580 |   117432 |     5796     28 |        0 |        0
517.21/517.30	c  517s |      15 |   169135 |   117932 |     5796     28 |        0 |        0
519.41/519.57	c  519s |      15 |   169707 |   118432 |     5796     28 |        0 |        0
521.71/521.84	c  521s |      15 |   170293 |   118932 |     5796     28 |        0 |        0
523.91/524.07	c  523s |      15 |   170942 |   119432 |     5796     28 |        0 |        0
525.91/526.09	c  525s |      15 |   171396 |   119832 |     5796     28 |        0 |        0
528.11/528.24	c  528s |      15 |   171823 |   120232 |     5796     28 |        0 |        0
530.61/530.74	c  530s |      15 |   172289 |   120632 |     5796     29 |        0 |        0
532.70/532.83	c  532s |      15 |   172732 |   121032 |     5796     29 |        0 |        0
535.01/535.14	c  534s |      15 |   173182 |   121432 |     5796     29 |        0 |        0
537.51/537.65	c  537s |      15 |   173619 |   121832 |     5796     29 |        0 |        0
540.12/540.27	c  540s |      15 |   174053 |   122232 |     5796     29 |        0 |        0
542.71/542.85	c  542s |      15 |   174455 |   122632 |     5796     29 |        0 |        0
544.80/544.99	c  544s |      15 |   175155 |   123032 |     5796     29 |        0 |        0
547.31/547.48	c  547s |      15 |   175615 |   123432 |     5796     29 |        0 |        0
549.81/549.93	c  549s |      15 |   176097 |   123832 |     5796     29 |        0 |        0
552.00/552.14	c  551s |      15 |   176545 |   124232 |     5796     29 |        0 |        0
554.20/554.36	c  554s |      15 |   177134 |   124732 |     5796     29 |        0 |        0
556.31/556.50	c  556s |      15 |   177611 |   125132 |     5796     30 |        0 |        0
558.51/558.63	c  558s |      15 |   178171 |   125632 |     5796     30 |        0 |        0
560.71/560.80	c  560s |      15 |   178715 |   126132 |     5796     30 |        0 |        0
563.11/563.22	c  562s |      15 |   179278 |   126632 |     5796     30 |        0 |        0
565.31/565.50	c  565s |      15 |   179846 |   127132 |     5796     30 |        0 |        0
567.70/567.83	c  567s |      15 |   180392 |   127632 |     5796     30 |        0 |        0
569.71/569.88	c  569s |      15 |   180815 |   128032 |     5796     30 |        0 |        0
571.81/571.94	c  571s |      15 |   181250 |   128432 |     5796     30 |        0 |        0
573.91/574.01	c  573s |      15 |   181782 |   128832 |     5796     30 |        0 |        0
576.20/576.30	c  576s |      15 |   182360 |   129332 |     5796     30 |        0 |        0
578.20/578.31	c  578s |      15 |   182807 |   129732 |     5796     30 |        0 |        0
580.40/580.57	c  580s |      15 |   183308 |   130132 |     5796     31 |        0 |        0
582.80/582.91	c  582s |      15 |   183880 |   130632 |     5796     31 |        0 |        0
585.11/585.25	c  585s |      15 |   184467 |   131132 |     6376     31 |        0 |        0
587.10/587.27	c  587s |      16 |   184940 |   131552 |     6376     31 |        0 |        0
589.30/589.47	c  589s |      16 |   187453 |   132252 |     6376     32 |        0 |        0
591.40/591.50	c  591s |      16 |   188232 |   132952 |     6376     32 |        0 |        0
593.39/593.59	c  593s |      16 |   189053 |   133652 |     6376     32 |        0 |        0
595.49/595.67	c  595s |      16 |   189735 |   134252 |     6376     32 |        0 |        0
597.70/597.80	c  597s |      16 |   190563 |   134952 |     6376     32 |        0 |        0
599.80/600.00	c  599s |      16 |   191223 |   135552 |     6376     32 |        0 |        0
601.90/602.06	c  601s |      16 |   191912 |   136152 |     6376     32 |        0 |        0
604.20/604.31	c  604s |      16 |   192616 |   136752 |     6376     32 |        0 |        0
606.29/606.49	c  606s |      16 |   193311 |   137352 |     6376     32 |        0 |        0
608.39/608.50	c  608s |      16 |   193885 |   137852 |     6376     32 |        0 |        0
610.69/610.85	c  610s |      16 |   194605 |   138452 |     6376     32 |        0 |        0
613.00/613.10	c  612s |      16 |   195179 |   138952 |     6376     33 |        0 |        0
615.30/615.43	c  615s |      16 |   195858 |   139552 |     6376     33 |        0 |        0
617.40/617.52	c  617s |      16 |   196414 |   140052 |     6376     33 |        0 |        0
619.50/619.63	c  619s |      16 |   196964 |   140552 |     6376     33 |        0 |        0
621.70/621.88	c  621s |      16 |   197534 |   141052 |     6376     33 |        0 |        0
623.99/624.14	c  623s |      16 |   198077 |   141552 |     6376     33 |        0 |        0
626.19/626.33	c  626s |      16 |   198669 |   142052 |     6376     33 |        0 |        0
628.29/628.41	c  628s |      16 |   199232 |   142552 |     6376     33 |        0 |        0
630.69/630.83	c  630s |      16 |   199921 |   143152 |     6376     33 |        0 |        0
633.09/633.29	c  633s |      16 |   200492 |   143652 |     6376     34 |        0 |        0
635.29/635.49	c  635s |      16 |   201049 |   144152 |     6376     34 |        0 |        0
637.69/637.87	c  637s |      16 |   201728 |   144752 |     6376     34 |        0 |        0
639.89/640.07	c  639s |      16 |   202275 |   145252 |     6376     34 |        0 |        0
642.30/642.43	c  642s |      16 |   202951 |   145852 |     6376     34 |        0 |        0
644.50/644.62	c  644s |      16 |   203518 |   146352 |     6376     34 |        0 |        0
646.70/646.88	c  646s |      16 |   204056 |   146852 |     6376     34 |        0 |        0
649.00/649.19	c  648s |      16 |   204617 |   147352 |     6376     34 |        0 |        0
651.09/651.24	c  651s |      16 |   205193 |   147852 |     6376     34 |        0 |        0
653.39/653.51	c  653s |      16 |   205914 |   148452 |     6376     34 |        0 |        0
655.60/655.77	c  655s |      16 |   206498 |   148952 |     6376     35 |        0 |        0
657.89/658.04	c  657s |      16 |   207171 |   149552 |     6376     35 |        0 |        0
660.29/660.42	c  660s |      16 |   207853 |   150152 |     6376     35 |        0 |        0
662.39/662.56	c  662s |      16 |   208418 |   150652 |     6376     35 |        0 |        0
664.59/664.74	c  664s |      16 |   209004 |   151152 |     6376     35 |        0 |        0
666.69/666.83	c  666s |      16 |   209571 |   151652 |     6376     35 |        0 |        0
668.99/669.12	c  668s |      16 |   210282 |   152252 |     6376     35 |        0 |        0
670.99/671.19	c  670s |      16 |   211007 |   152852 |     6376     35 |        0 |        0
673.29/673.42	c  673s |      16 |   211690 |   153452 |     6376     35 |        0 |        0
675.30/675.50	c  675s |      16 |   212118 |   153852 |     6376     36 |        0 |        0
677.60/677.71	c  677s |      16 |   212788 |   154452 |     6376     36 |        0 |        0
679.88/680.07	c  679s |      16 |   213462 |   155052 |     6376     36 |        0 |        0
682.29/682.41	c  682s |      16 |   214123 |   155652 |     6376     36 |        0 |        0
684.39/684.51	c  684s |      16 |   214694 |   156152 |     6376     36 |        0 |        0
686.40/686.53	c  686s |      16 |   215371 |   156752 |     6376     36 |        0 |        0
688.69/688.84	c  688s |      16 |   216054 |   157352 |     6376     36 |        0 |        0
690.88/691.02	c  690s |      16 |   216636 |   157852 |     6376     36 |        0 |        0
693.08/693.22	c  692s |      16 |   217205 |   158352 |     6376     36 |        0 |        0
695.58/695.78	c  695s |      16 |   217792 |   158852 |     6376     37 |        0 |        0
697.78/697.93	c  697s |      16 |   218368 |   159352 |     6376     37 |        0 |        0
700.09/700.28	c  700s |      16 |   219023 |   159952 |     6376     37 |        0 |        0
702.18/702.37	c  702s |      16 |   219581 |   160452 |     6376     37 |        0 |        0
704.28/704.44	c  704s |      16 |   220156 |   160952 |     6376     37 |        0 |        0
706.39/706.54	c  706s |      16 |   220731 |   161452 |     6376     37 |        0 |        0
708.59/708.73	c  708s |      16 |   221309 |   161952 |     6376     37 |        0 |        0
710.68/710.82	c  710s |      16 |   221869 |   162452 |     6376     37 |        0 |        0
712.69/712.84	c  712s |      16 |   222300 |   162852 |     6376     37 |        0 |        0
714.99/715.14	c  714s |      16 |   222861 |   163352 |     6376     37 |        0 |        0
717.19/717.34	c  717s |      16 |   223418 |   163852 |     6376     37 |        0 |        0
719.18/719.35	c  719s |      16 |   223850 |   164252 |     6376     38 |        0 |        0
721.48/721.67	c  721s |      16 |   224541 |   164852 |     6376     38 |        0 |        0
723.88/724.02	c  723s |      16 |   225223 |   165452 |     6376     38 |        0 |        0
726.08/726.20	c  725s |      16 |   225792 |   165952 |     6376     38 |        0 |        0
728.08/728.22	c  727s |      16 |   226324 |   166452 |     6376     38 |        0 |        0
730.18/730.32	c  730s |      16 |   226893 |   166952 |     6376     38 |        0 |        0
732.49/732.67	c  732s |      16 |   227576 |   167552 |     6376     38 |        0 |        0
734.58/734.70	c  734s |      16 |   228119 |   168052 |     6376     38 |        0 |        0
736.58/736.79	c  736s |      16 |   228671 |   168552 |     6376     38 |        0 |        0
739.38/739.54	c  739s |      16 |   229218 |   169052 |     6376     39 |        0 |        0
741.47/741.66	c  741s |      16 |   229757 |   169552 |     6376     39 |        0 |        0
743.77/743.97	c  743s |      16 |   230328 |   170052 |     6376     39 |        0 |        0
745.88/746.02	c  745s |      16 |   231001 |   170652 |     6376     39 |        0 |        0
748.08/748.29	c  748s |      16 |   231691 |   171252 |     6376     39 |        0 |        0
750.38/750.58	c  750s |      16 |   232341 |   171852 |     6376     39 |        0 |        0
752.78/752.91	c  752s |      16 |   232989 |   172452 |     6376     39 |        0 |        0
754.87/755.02	c  754s |      16 |   233594 |   172952 |     6376     39 |        0 |        0
757.17/757.35	c  757s |      16 |   234136 |   173452 |     6376     39 |        0 |        0
759.57/759.76	c  759s |      16 |   234677 |   173952 |     6376     39 |        0 |        0
761.98/762.10	c  761s |      16 |   235222 |   174452 |     6376     40 |        0 |        0
763.98/764.17	c  763s |      16 |   235751 |   174952 |     6376     40 |        0 |        0
766.07/766.21	c  765s |      16 |   236292 |   175452 |     6376     40 |        0 |        0
768.27/768.49	c  768s |      16 |   236953 |   176052 |     6376     40 |        0 |        0
770.37/770.53	c  770s |      16 |   237601 |   176652 |     6376     40 |        0 |        0
772.47/772.67	c  772s |      16 |   238241 |   177252 |     6376     40 |        0 |        0
774.47/774.68	c  774s |      16 |   238782 |   177752 |     6376     40 |        0 |        0
776.58/776.77	c  776s |      16 |   239305 |   178252 |     6376     40 |        0 |        0
778.87/779.04	c  778s |      16 |   239844 |   178752 |     6376     40 |        0 |        0
781.37/781.51	c  781s |      16 |   240275 |   179152 |     6376     41 |        0 |        0
783.68/783.82	c  783s |      16 |   240812 |   179652 |     6376     41 |        0 |        0
785.77/785.96	c  785s |      16 |   241356 |   180152 |     6376     41 |        0 |        0
787.97/788.19	c  787s |      16 |   241888 |   180652 |     6376     41 |        0 |        0
790.37/790.58	c  790s |      16 |   242410 |   181152 |     6376     41 |        0 |        0
792.57/792.74	c  792s |      16 |   242827 |   181552 |     6376     41 |        0 |        0
794.57/794.77	c  794s |      16 |   243265 |   181952 |     6376     41 |        0 |        0
796.67/796.80	c  796s |      16 |   243685 |   182352 |     6376     41 |        0 |        0
798.67/798.89	c  798s |      16 |   244145 |   182752 |     6376     41 |        0 |        0
800.96/801.14	c  800s |      16 |   244685 |   183252 |     6376     41 |        0 |        0
803.26/803.44	c  803s |      16 |   245212 |   183752 |     6376     41 |        0 |        0
806.07/806.23	c  806s |      16 |   245760 |   184252 |     6376     42 |        0 |        0
808.17/808.31	c  808s |      16 |   246308 |   184752 |     6376     42 |        0 |        0
810.46/810.60	c  810s |      16 |   246746 |   185152 |     6376     42 |        0 |        0
812.66/812.85	c  812s |      16 |   247424 |   185752 |     6376     42 |        0 |        0
815.07/815.24	c  815s |      16 |   248078 |   186352 |     6376     42 |        0 |        0
817.07/817.30	c  817s |      16 |   248616 |   186852 |     6376     42 |        0 |        0
819.37/819.58	c  819s |      16 |   249169 |   187352 |     6376     42 |        0 |        0
821.68/821.83	c  821s |      16 |   249698 |   187852 |     6376     42 |        0 |        0
824.07/824.29	c  824s |      16 |   250236 |   188352 |     6376     42 |        0 |        0
826.37/826.58	c  826s |      16 |   250802 |   188852 |     6376     42 |        0 |        0
829.07/829.26	c  829s |      16 |   251350 |   189352 |     6376     43 |        0 |        0
831.26/831.41	c  831s |      16 |   252012 |   189952 |     6376     43 |        0 |        0
833.26/833.48	c  833s |      16 |   252593 |   190452 |     6376     43 |        0 |        0
835.46/835.67	c  835s |      16 |   253135 |   190952 |     6376     43 |        0 |        0
837.56/837.73	c  837s |      16 |   253708 |   191452 |     6376     43 |        0 |        0
839.86/840.00	c  839s |      16 |   254268 |   191952 |     6376     43 |        0 |        0
841.86/842.07	c  841s |      16 |   254819 |   192452 |     6376     43 |        0 |        0
844.06/844.29	c  844s |      16 |   255366 |   192952 |     6376     43 |        0 |        0
846.36/846.52	c  846s |      16 |   255917 |   193452 |     6376     43 |        0 |        0
848.56/848.73	c  848s |      16 |   256489 |   193952 |     6376     43 |        0 |        0
851.27/851.47	c  851s |      16 |   257057 |   194452 |     6376     44 |        0 |        0
853.47/853.70	c  853s |      16 |   257603 |   194952 |     6376     44 |        0 |        0
855.56/855.74	c  855s |      16 |   258075 |   195352 |     6376     44 |        0 |        0
857.56/857.79	c  857s |      16 |   258779 |   195952 |     6376     44 |        0 |        0
859.86/860.00	c  859s |      16 |   259452 |   196552 |     7014     44 |        0 |        0
862.16/862.34	c  862s |      16 |   260138 |   197152 |     7014     44 |        0 |        0
863.26/863.44	c  863s |      17 |   260477 |   197432 |     7014     44 |        0 |        0
865.36/865.59	c  865s |      17 |   263275 |   198032 |     7014     45 |        0 |        0
867.65/867.88	c  867s |      17 |   264088 |   198732 |     7014     45 |        0 |        0
869.75/869.97	c  869s |      17 |   264765 |   199332 |     7014     45 |        0 |        0
871.96/872.11	c  871s |      17 |   265474 |   199932 |     7014     45 |        0 |        0
873.96/874.12	c  873s |      17 |   266026 |   200432 |     7014     45 |        0 |        0
876.06/876.22	c  875s |      17 |   266603 |   200932 |     7014     45 |        0 |        0
878.25/878.42	c  878s |      17 |   267178 |   201432 |     7014     45 |        0 |        0
880.36/880.50	c  880s |      17 |   267889 |   202032 |     7014     45 |        0 |        0
882.66/882.86	c  882s |      17 |   268583 |   202632 |     7014     45 |        0 |        0
884.96/885.14	c  884s |      17 |   269281 |   203232 |     7014     45 |        0 |        0
887.06/887.28	c  887s |      17 |   269844 |   203732 |     7014     45 |        0 |        0
889.25/889.46	c  889s |      17 |   270321 |   204132 |     7014     46 |        0 |        0
891.55/891.74	c  891s |      17 |   270850 |   204632 |     7014     46 |        0 |        0
893.85/894.06	c  893s |      17 |   271441 |   205132 |     7014     46 |        0 |        0
896.25/896.46	c  896s |      17 |   271978 |   205632 |     7014     46 |        0 |        0
898.56/898.72	c  898s |      17 |   272514 |   206132 |     7014     46 |        0 |        0
900.66/900.86	c  900s |      17 |   272979 |   206532 |     7014     46 |        0 |        0
903.06/903.27	c  903s |      17 |   273415 |   206932 |     7014     46 |        0 |        0
905.35/905.59	c  905s |      17 |   273855 |   207332 |     7014     46 |        0 |        0
907.46/907.69	c  907s |      17 |   274415 |   207832 |     7014     46 |        0 |        0
909.75/909.96	c  909s |      17 |   274974 |   208332 |     7014     46 |        0 |        0
911.76/911.99	c  911s |      17 |   275407 |   208732 |     7014     46 |        0 |        0
914.15/914.37	c  914s |      17 |   275969 |   209232 |     7014     46 |        0 |        0
916.55/916.72	c  916s |      17 |   276397 |   209632 |     7014     47 |        0 |        0
918.75/918.94	c  918s |      17 |   276959 |   210132 |     7014     47 |        0 |        0
920.95/921.12	c  920s |      17 |   277517 |   210632 |     7014     47 |        0 |        0
923.34/923.52	c  923s |      17 |   278107 |   211132 |     7014     47 |        0 |        0
925.35/925.53	c  925s |      17 |   278541 |   211532 |     7014     47 |        0 |        0
927.45/927.62	c  927s |      17 |   278989 |   211932 |     7014     47 |        0 |        0
929.55/929.77	c  929s |      17 |   279448 |   212332 |     7014     47 |        0 |        0
931.85/932.07	c  931s |      17 |   279865 |   212732 |     7014     47 |        0 |        0
934.25/934.40	c  934s |      17 |   280406 |   213132 |     7014     47 |        0 |        0
936.54/936.75	c  936s |      17 |   280846 |   213532 |     7014     47 |        0 |        0
938.54/938.79	c  938s |      17 |   281293 |   213932 |     7014     47 |        0 |        0
940.75/940.91	c  940s |      17 |   281891 |   214432 |     7014     47 |        0 |        0
943.15/943.30	c  943s |      17 |   282458 |   214932 |     7014     47 |        0 |        0
945.25/945.41	c  945s |      17 |   282888 |   215332 |     7014     48 |        0 |        0
947.44/947.60	c  947s |      17 |   283433 |   215832 |     7014     48 |        0 |        0
949.44/949.66	c  949s |      17 |   283995 |   216332 |     7014     48 |        0 |        0
951.84/952.06	c  951s |      17 |   284543 |   216832 |     7014     48 |        0 |        0
953.94/954.14	c  953s |      17 |   284991 |   217232 |     7014     48 |        0 |        0
956.35/956.50	c  956s |      17 |   285551 |   217732 |     7014     48 |        0 |        0
958.75/958.92	c  958s |      17 |   286131 |   218232 |     7014     48 |        0 |        0
961.14/961.33	c  961s |      17 |   286690 |   218732 |     7014     48 |        0 |        0
963.45/963.69	c  963s |      17 |   287260 |   219232 |     7014     48 |        0 |        0
965.54/965.78	c  965s |      17 |   287689 |   219632 |     7014     48 |        0 |        0
967.64/967.86	c  967s |      17 |   288144 |   220032 |     7014     48 |        0 |        0
970.05/970.21	c  969s |      17 |   288621 |   220432 |     7014     49 |        0 |        0
972.25/972.44	c  972s |      17 |   289242 |   220932 |     7014     49 |        0 |        0
974.64/974.86	c  974s |      17 |   289944 |   221532 |     7014     49 |        0 |        0
977.04/977.25	c  977s |      17 |   290627 |   222132 |     7014     49 |        0 |        0
979.24/979.44	c  979s |      17 |   291209 |   222632 |     7014     49 |        0 |        0
981.54/981.75	c  981s |      17 |   291787 |   223132 |     7014     49 |        0 |        0
983.64/983.84	c  983s |      17 |   292234 |   223532 |     7014     49 |        0 |        0
985.94/986.15	c  985s |      17 |   292803 |   224032 |     7014     49 |        0 |        0
988.44/988.69	c  988s |      17 |   293357 |   224532 |     7014     49 |        0 |        0
990.54/990.73	c  990s |      17 |   293821 |   224932 |     7014     49 |        0 |        0
993.04/993.23	c  993s |      17 |   294399 |   225432 |     7014     49 |        0 |        0
995.03/995.28	c  995s |      17 |   294733 |   225732 |     7014     50 |        0 |        0
997.34/997.58	c  997s |      17 |   295296 |   226232 |     7014     50 |        0 |        0
999.85/1000.04	c  999s |      17 |   295852 |   226732 |     7014     50 |        0 |        0
1002.34/1002.50	c 1002s |      17 |   296414 |   227232 |     7014     50 |        0 |        0
1004.64/1004.88	c 1004s |      17 |   296989 |   227732 |     7014     50 |        0 |        0
1007.04/1007.29	c 1007s |      17 |   297531 |   228232 |     7014     50 |        0 |        0
1009.54/1009.72	c 1009s |      17 |   297980 |   228632 |     7014     50 |        0 |        0
1011.85/1012.07	c 1011s |      17 |   298536 |   229132 |     7014     50 |        0 |        0
1014.24/1014.49	c 1014s |      17 |   299079 |   229632 |     7014     50 |        0 |        0
1016.34/1016.54	c 1016s |      17 |   299519 |   230032 |     7014     50 |        0 |        0
1018.44/1018.62	c 1018s |      17 |   299941 |   230432 |     7014     50 |        0 |        0
1020.53/1020.80	c 1020s |      17 |   300406 |   230832 |     7014     50 |        0 |        0
1022.73/1022.96	c 1022s |      17 |   300735 |   231132 |     7014     51 |        0 |        0
1024.73/1024.99	c 1024s |      17 |   301164 |   231532 |     7014     51 |        0 |        0
1027.14/1027.36	c 1027s |      17 |   301727 |   232032 |     7014     51 |        0 |        0
1029.23/1029.47	c 1029s |      17 |   302212 |   232432 |     7014     51 |        0 |        0
1031.33/1031.51	c 1031s |      17 |   302779 |   232932 |     7014     51 |        0 |        0
1033.63/1033.89	c 1033s |      17 |   303459 |   233532 |     7014     51 |        0 |        0
1035.83/1036.04	c 1035s |      17 |   304023 |   234032 |     7014     51 |        0 |        0
1038.13/1038.34	c 1038s |      17 |   304579 |   234532 |     7014     51 |        0 |        0
1040.43/1040.62	c 1040s |      17 |   305145 |   235032 |     7014     51 |        0 |        0
1042.74/1042.98	c 1042s |      17 |   305691 |   235532 |     7014     51 |        0 |        0
1044.94/1045.12	c 1044s |      17 |   306140 |   235932 |     7014     51 |        0 |        0
1047.43/1047.62	c 1047s |      17 |   306687 |   236432 |     7014     51 |        0 |        0
1049.83/1050.01	c 1049s |      17 |   307141 |   236832 |     7014     52 |        0 |        0
1052.13/1052.33	c 1052s |      17 |   307688 |   237332 |     7014     52 |        0 |        0
1054.43/1054.67	c 1054s |      17 |   308269 |   237832 |     7014     52 |        0 |        0
1056.73/1056.92	c 1056s |      17 |   308850 |   238332 |     7014     52 |        0 |        0
1058.93/1059.18	c 1058s |      17 |   309393 |   238832 |     7014     52 |        0 |        0
1061.03/1061.24	c 1061s |      17 |   309843 |   239232 |     7014     52 |        0 |        0
1063.03/1063.26	c 1063s |      17 |   310288 |   239632 |     7014     52 |        0 |        0
1065.43/1065.61	c 1065s |      17 |   310742 |   240032 |     7014     52 |        0 |        0
1067.63/1067.85	c 1067s |      17 |   311161 |   240432 |     7014     52 |        0 |        0
1069.93/1070.12	c 1069s |      17 |   311595 |   240832 |     7014     52 |        0 |        0
1072.22/1072.47	c 1072s |      17 |   312022 |   241232 |     7014     52 |        0 |        0
1074.83/1075.02	c 1074s |      17 |   312461 |   241632 |     7014     52 |        0 |        0
1076.93/1077.17	c 1076s |      17 |   312799 |   241932 |     7014     53 |        0 |        0
1079.12/1079.39	c 1079s |      17 |   313244 |   242332 |     7014     53 |        0 |        0
1081.32/1081.50	c 1081s |      17 |   313719 |   242732 |     7014     53 |        0 |        0
1083.43/1083.64	c 1083s |      17 |   314424 |   243332 |     7014     53 |        0 |        0
1085.63/1085.88	c 1085s |      17 |   315118 |   243932 |     7014     53 |        0 |        0
1087.74/1087.95	c 1087s |      17 |   315689 |   244432 |     7014     53 |        0 |        0
1089.93/1090.18	c 1089s |      17 |   316369 |   245032 |     7014     53 |        0 |        0
1092.13/1092.38	c 1092s |      17 |   316972 |   245532 |     7014     53 |        0 |        0
1094.43/1094.62	c 1094s |      17 |   317541 |   246032 |     7014     53 |        0 |        0
1096.63/1096.89	c 1096s |      17 |   318131 |   246532 |     7014     53 |        0 |        0
1098.83/1099.03	c 1098s |      17 |   318671 |   247032 |     7014     53 |        0 |        0
1100.93/1101.18	c 1100s |      17 |   319174 |   247432 |     7014     54 |        0 |        0
1102.93/1103.19	c 1102s |      17 |   319716 |   247932 |     7014     54 |        0 |        0
1105.22/1105.40	c 1105s |      17 |   320269 |   248432 |     7014     54 |        0 |        0
1107.22/1107.46	c 1107s |      17 |   320847 |   248932 |     7014     54 |        0 |        0
1109.32/1109.58	c 1109s |      17 |   321391 |   249432 |     7014     54 |        0 |        0
1111.52/1111.76	c 1111s |      17 |   321984 |   249932 |     7014     54 |        0 |        0
1113.81/1114.06	c 1113s |      17 |   322538 |   250432 |     7014     54 |        0 |        0
1116.33/1116.51	c 1116s |      17 |   323100 |   250932 |     7014     54 |        0 |        0
1118.82/1119.00	c 1118s |      17 |   323667 |   251432 |     7014     54 |        0 |        0
1120.92/1121.15	c 1120s |      17 |   324090 |   251832 |     7014     54 |        0 |        0
1123.02/1123.25	c 1123s |      17 |   324529 |   252232 |     7014     54 |        0 |        0
1125.22/1125.45	c 1125s |      17 |   325024 |   252632 |     7014     54 |        0 |        0
1127.72/1127.98	c 1127s |      17 |   325458 |   253032 |     7014     55 |        0 |        0
1130.11/1130.39	c 1130s |      17 |   326035 |   253532 |     7014     55 |        0 |        0
1132.51/1132.79	c 1132s |      17 |   326595 |   254032 |     7014     55 |        0 |        0
1134.81/1135.05	c 1134s |      17 |   327174 |   254532 |     7014     55 |        0 |        0
1137.22/1137.42	c 1137s |      17 |   327743 |   255032 |     7014     55 |        0 |        0
1139.21/1139.44	c 1139s |      17 |   328191 |   255432 |     7014     55 |        0 |        0
1141.41/1141.66	c 1141s |      17 |   328621 |   255832 |     7014     55 |        0 |        0
1143.61/1143.85	c 1143s |      17 |   329067 |   256232 |     7014     55 |        0 |        0
1146.11/1146.35	c 1146s |      17 |   329598 |   256732 |     7014     55 |        0 |        0
1148.31/1148.54	c 1148s |      17 |   330084 |   257132 |     7014     55 |        0 |        0
1150.41/1150.63	c 1150s |      17 |   330567 |   257532 |     7014     55 |        0 |        0
1152.61/1152.89	c 1152s |      17 |   331020 |   257932 |     7014     55 |        0 |        0
1154.81/1155.04	c 1154s |      17 |   331342 |   258232 |     7014     56 |        0 |        0
1156.91/1157.11	c 1156s |      17 |   331772 |   258632 |     7014     56 |        0 |        0
1159.31/1159.56	c 1159s |      17 |   332207 |   259032 |     7014     56 |        0 |        0
1161.52/1161.74	c 1161s |      17 |   332633 |   259432 |     7014     56 |        0 |        0
1163.72/1163.95	c 1163s |      17 |   333112 |   259832 |     7014     56 |        0 |        0
1165.91/1166.17	c 1165s |      17 |   333679 |   260332 |     7014     56 |        0 |        0
1168.01/1168.27	c 1168s |      17 |   334246 |   260832 |     7014     56 |        0 |        0
1170.10/1170.37	c 1170s |      17 |   334851 |   261332 |     7014     56 |        0 |        0
1172.20/1172.42	c 1172s |      17 |   335456 |   261832 |     7014     56 |        0 |        0
1174.40/1174.64	c 1174s |      17 |   336082 |   262332 |     7014     56 |        0 |        0
1176.51/1176.78	c 1176s |      17 |   336662 |   262832 |     7014     56 |        0 |        0
1178.61/1178.88	c 1178s |      17 |   337246 |   263332 |     7014     56 |        0 |        0
1180.80/1181.06	c 1180s |      17 |   337727 |   263732 |     7014     57 |        0 |        0
1183.10/1183.36	c 1183s |      17 |   338289 |   264232 |     7014     57 |        0 |        0
1185.60/1185.80	c 1185s |      17 |   338851 |   264732 |     7014     57 |        0 |        0
1187.70/1187.99	c 1187s |      17 |   339550 |   265232 |     7014     57 |        0 |        0
1189.80/1190.07	c 1189s |      17 |   340290 |   265832 |     7014     57 |        0 |        0
1192.00/1192.24	c 1192s |      17 |   340896 |   266332 |     7014     57 |        0 |        0
1194.20/1194.41	c 1194s |      17 |   341479 |   266832 |     7014     57 |        0 |        0
1196.40/1196.61	c 1196s |      17 |   342044 |   267332 |     7014     57 |        0 |        0
1198.70/1198.91	c 1198s |      17 |   342592 |   267832 |     7014     57 |        0 |        0
1201.01/1201.28	c 1201s |      17 |   343124 |   268332 |     7014     57 |        0 |        0
1203.10/1203.32	c 1203s |      17 |   343578 |   268732 |     7014     57 |        0 |        0
1205.20/1205.40	c 1205s |      17 |   343910 |   269032 |     7014     58 |        0 |        0
1207.39/1207.60	c 1207s |      17 |   344481 |   269532 |     7014     58 |        0 |        0
1209.39/1209.66	c 1209s |      17 |   344957 |   269932 |     7014     58 |        0 |        0
1211.80/1212.08	c 1211s |      17 |   345522 |   270432 |     7014     58 |        0 |        0
1213.90/1214.10	c 1213s |      17 |   346108 |   270932 |     7014     58 |        0 |        0
1216.10/1216.31	c 1216s |      17 |   346830 |   271532 |     7014     58 |        0 |        0
1218.10/1218.35	c 1218s |      17 |   347379 |   272032 |     7014     58 |        0 |        0
1220.20/1220.45	c 1220s |      17 |   347918 |   272532 |     7014     58 |        0 |        0
1222.70/1222.97	c 1222s |      17 |   348480 |   273032 |     7014     58 |        0 |        0
1224.70/1224.97	c 1224s |      17 |   348976 |   273432 |     7014     58 |        0 |        0
1226.79/1227.00	c 1226s |      17 |   349436 |   273832 |     7014     58 |        0 |        0
1229.49/1229.80	c 1229s |      17 |   349993 |   274332 |     7014     59 |        0 |        0
1231.99/1232.28	c 1232s |      17 |   350535 |   274832 |     7014     59 |        0 |        0
1234.50/1234.71	c 1234s |      17 |   351100 |   275332 |     7014     59 |        0 |        0
1236.99/1237.26	c 1237s |      17 |   351655 |   275832 |     7014     59 |        0 |        0
1239.19/1239.44	c 1239s |      17 |   352099 |   276232 |     7014     59 |        0 |        0
1241.49/1241.75	c 1241s |      17 |   352662 |   276732 |     7014     59 |        0 |        0
1243.79/1244.00	c 1243s |      17 |   353270 |   277232 |     7014     59 |        0 |        0
1245.79/1246.02	c 1245s |      17 |   353684 |   277632 |     7014     59 |        0 |        0
1248.09/1248.36	c 1248s |      17 |   354242 |   278132 |     7014     59 |        0 |        0
1250.38/1250.69	c 1250s |      17 |   354799 |   278632 |     7014     59 |        0 |        0
1252.48/1252.75	c 1252s |      17 |   355238 |   279032 |     7014     59 |        0 |        0
1254.59/1254.84	c 1254s |      17 |   355682 |   279432 |     7014     59 |        0 |        0
1256.99/1257.27	c 1257s |      17 |   356130 |   279832 |     7014     60 |        0 |        0
1259.48/1259.70	c 1259s |      17 |   356689 |   280332 |     7014     60 |        0 |        0
1261.88/1262.13	c 1261s |      17 |   357248 |   280832 |     7014     60 |        0 |        0
1263.98/1264.29	c 1264s |      17 |   357677 |   281232 |     7014     60 |        0 |        0
1266.17/1266.41	c 1266s |      17 |   358101 |   281632 |     7014     60 |        0 |        0
1268.58/1268.86	c 1268s |      17 |   358683 |   282132 |     7014     60 |        0 |        0
1270.58/1270.88	c 1270s |      17 |   359130 |   282532 |     7014     60 |        0 |        0
1272.67/1272.95	c 1272s |      17 |   359584 |   282932 |     7014     60 |        0 |        0
1274.78/1275.04	c 1274s |      17 |   360018 |   283332 |     7014     60 |        0 |        0
1276.98/1277.22	c 1276s |      17 |   360629 |   283832 |     7014     60 |        0 |        0
1279.27/1279.57	c 1279s |      17 |   361301 |   284432 |     7014     60 |        0 |        0
1281.57/1281.81	c 1281s |      17 |   361893 |   284932 |     7014     60 |        0 |        0
1283.77/1284.06	c 1283s |      17 |   362464 |   285432 |     7014     61 |        0 |        0
1285.87/1286.16	c 1285s |      17 |   363050 |   285932 |     7014     61 |        0 |        0
1288.27/1288.52	c 1288s |      17 |   363743 |   286532 |     7014     61 |        0 |        0
1290.37/1290.62	c 1290s |      17 |   364317 |   287032 |     7014     61 |        0 |        0
1292.76/1293.05	c 1292s |      17 |   364866 |   287532 |     7014     61 |        0 |        0
1295.06/1295.39	c 1295s |      17 |   365437 |   288032 |     7014     61 |        0 |        0
1297.17/1297.42	c 1297s |      17 |   365881 |   288432 |     7014     61 |        0 |        0
1299.26/1299.59	c 1299s |      17 |   366472 |   288932 |     7014     61 |        0 |        0
1301.56/1301.87	c 1301s |      17 |   367061 |   289432 |     7014     61 |        0 |        0
1303.96/1304.23	c 1304s |      17 |   367635 |   289932 |     7014     61 |        0 |        0
1306.16/1306.45	c 1306s |      17 |   368092 |   290332 |     7014     61 |        0 |        0
1308.45/1308.77	c 1308s |      17 |   368559 |   290732 |     7014     62 |        0 |        0
1310.65/1310.96	c 1310s |      17 |   369125 |   291232 |     7014     62 |        0 |        0
1313.05/1313.33	c 1313s |      17 |   369710 |   291732 |     7014     62 |        0 |        0
1315.36/1315.67	c 1315s |      17 |   370258 |   292232 |     7014     62 |        0 |        0
1317.85/1318.16	c 1317s |      17 |   370861 |   292732 |     7014     62 |        0 |        0
1320.25/1320.57	c 1320s |      17 |   371475 |   293232 |     7014     62 |        0 |        0
1322.34/1322.67	c 1322s |      17 |   371911 |   293632 |     7014     62 |        0 |        0
1324.85/1325.11	c 1324s |      17 |   372462 |   294132 |     7014     62 |        0 |        0
1326.85/1327.19	c 1326s |      17 |   373033 |   294532 |     7716     62 |        0 |        0
1329.24/1329.59	c 1329s |      17 |   373588 |   295032 |     7716     62 |        0 |        0
1331.74/1332.07	c 1331s |      17 |   374208 |   295532 |     7716     62 |        0 |        0
1334.05/1334.39	c 1334s |      17 |   374874 |   296032 |     7716     62 |        0 |        0
1335.15/1335.46	c 1335s |      18 |   375093 |   296252 |     7716     62 |        0 |        0
1337.34/1337.63	c 1337s |      18 |   377612 |   296852 |     7716     63 |        0 |        0
1339.43/1339.80	c 1339s |      18 |   378651 |   297752 |     7716     63 |        0 |        0
1341.74/1342.01	c 1341s |      18 |   379697 |   298652 |     7716     63 |        0 |        0
1343.83/1344.11	c 1343s |      18 |   380518 |   299352 |     7716     63 |        0 |        0
1346.03/1346.40	c 1346s |      18 |   381351 |   300052 |     7716     63 |        0 |        0
1348.24/1348.50	c 1348s |      18 |   382055 |   300652 |     7716     63 |        0 |        0
1350.33/1350.66	c 1350s |      18 |   382740 |   301252 |     7716     63 |        0 |        0
1352.43/1352.79	c 1352s |      18 |   383423 |   301852 |     7716     63 |        0 |        0
1354.63/1354.97	c 1354s |      18 |   383986 |   302352 |     7716     64 |        0 |        0
1356.73/1357.02	c 1356s |      18 |   384575 |   302852 |     7716     64 |        0 |        0
1358.83/1359.12	c 1358s |      18 |   385152 |   303352 |     7716     64 |        0 |        0
1360.93/1361.20	c 1360s |      18 |   385704 |   303852 |     7716     64 |        0 |        0
1363.22/1363.56	c 1363s |      18 |   386442 |   304452 |     7716     64 |        0 |        0
1365.22/1365.58	c 1365s |      18 |   387035 |   304952 |     7716     64 |        0 |        0
1367.32/1367.64	c 1367s |      18 |   387610 |   305452 |     7716     64 |        0 |        0
1369.52/1369.84	c 1369s |      18 |   388179 |   305952 |     7716     64 |        0 |        0
1371.92/1372.26	c 1372s |      18 |   388728 |   306452 |     7716     64 |        0 |        0
1374.02/1374.38	c 1374s |      18 |   389168 |   306852 |     7716     64 |        0 |        0
1376.22/1376.59	c 1376s |      18 |   389743 |   307352 |     7716     64 |        0 |        0
1378.21/1378.59	c 1378s |      18 |   390191 |   307752 |     7716     64 |        0 |        0
1380.51/1380.82	c 1380s |      18 |   390645 |   308152 |     7716     65 |        0 |        0
1382.52/1382.87	c 1382s |      18 |   391215 |   308652 |     7716     65 |        0 |        0
1384.92/1385.29	c 1385s |      18 |   391795 |   309152 |     7716     65 |        0 |        0
1387.31/1387.69	c 1387s |      18 |   392334 |   309652 |     7716     65 |        0 |        0
1389.81/1390.12	c 1389s |      18 |   392907 |   310152 |     7716     65 |        0 |        0
1391.91/1392.23	c 1392s |      18 |   393349 |   310552 |     7716     65 |        0 |        0
1394.01/1394.30	c 1394s |      18 |   393793 |   310952 |     7716     65 |        0 |        0
1396.30/1396.69	c 1396s |      18 |   394344 |   311452 |     7716     65 |        0 |        0
1398.50/1398.85	c 1398s |      18 |   394774 |   311852 |     7716     65 |        0 |        0
1400.60/1400.98	c 1400s |      18 |   395345 |   312352 |     7716     65 |        0 |        0
1403.00/1403.38	c 1403s |      18 |   395908 |   312852 |     7716     65 |        0 |        0
1405.30/1405.66	c 1405s |      18 |   396494 |   313352 |     7716     65 |        0 |        0
1407.70/1408.01	c 1407s |      18 |   396940 |   313752 |     7716     66 |        0 |        0
1409.90/1410.27	c 1410s |      18 |   397379 |   314152 |     7716     66 |        0 |        0
1412.20/1412.60	c 1412s |      18 |   397916 |   314652 |     7716     66 |        0 |        0
1414.50/1414.82	c 1414s |      18 |   398473 |   315152 |     7716     66 |        0 |        0
1416.80/1417.19	c 1416s |      18 |   399116 |   315752 |     7716     66 |        0 |        0
1419.19/1419.50	c 1419s |      18 |   399667 |   316252 |     7716     66 |        0 |        0
1421.49/1421.88	c 1421s |      18 |   400218 |   316752 |     7716     66 |        0 |        0
1423.88/1424.25	c 1424s |      18 |   400785 |   317252 |     7716     66 |        0 |        0
1426.29/1426.67	c 1426s |      18 |   401313 |   317752 |     7716     66 |        0 |        0
1428.49/1428.83	c 1428s |      18 |   401765 |   318152 |     7716     66 |        0 |        0
1430.79/1431.17	c 1430s |      18 |   402305 |   318652 |     7716     66 |        0 |        0
1433.29/1433.62	c 1433s |      18 |   402844 |   319152 |     7716     66 |        0 |        0
1435.38/1435.79	c 1435s |      18 |   403167 |   319452 |     7716     67 |        0 |        0
1437.49/1437.85	c 1437s |      18 |   403718 |   319952 |     7716     67 |        0 |        0
1439.68/1440.01	c 1439s |      18 |   404274 |   320452 |     7716     67 |        0 |        0
1441.97/1442.39	c 1442s |      18 |   404817 |   320952 |     7716     67 |        0 |        0
1444.38/1444.75	c 1444s |      18 |   405370 |   321452 |     7716     67 |        0 |        0
1446.78/1447.10	c 1446s |      18 |   405939 |   321952 |     7716     67 |        0 |        0
1449.27/1449.66	c 1449s |      18 |   406496 |   322452 |     7716     67 |        0 |        0
1451.47/1451.84	c 1451s |      18 |   406928 |   322852 |     7716     67 |        0 |        0
1453.67/1454.07	c 1453s |      18 |   407369 |   323252 |     7716     67 |        0 |        0
1455.88/1456.28	c 1456s |      18 |   407818 |   323652 |     7716     67 |        0 |        0
1458.08/1458.49	c 1458s |      18 |   408238 |   324052 |     7716     67 |        0 |        0
1460.17/1460.57	c 1460s |      18 |   408679 |   324452 |     7716     67 |        0 |        0
1462.47/1462.84	c 1462s |      18 |   409120 |   324852 |     7716     67 |        0 |        0
1464.87/1465.21	c 1464s |      18 |   409561 |   325252 |     7716     68 |        0 |        0
1467.17/1467.58	c 1467s |      18 |   410091 |   325752 |     7716     68 |        0 |        0
1469.47/1469.81	c 1469s |      18 |   410646 |   326252 |     7716     68 |        0 |        0
1471.47/1471.83	c 1471s |      18 |   411208 |   326752 |     7716     68 |        0 |        0
1473.56/1473.95	c 1473s |      18 |   411776 |   327252 |     7716     68 |        0 |        0
1475.56/1475.98	c 1475s |      18 |   412228 |   327652 |     7716     68 |        0 |        0
1477.87/1478.23	c 1478s |      18 |   412662 |   328052 |     7716     68 |        0 |        0
1479.86/1480.29	c 1480s |      18 |   413082 |   328452 |     7716     68 |        0 |        0
1481.96/1482.35	c 1482s |      18 |   413525 |   328852 |     7716     68 |        0 |        0
1484.05/1484.45	c 1484s |      18 |   413945 |   329252 |     7716     68 |        0 |        0
1486.35/1486.71	c 1486s |      18 |   414388 |   329652 |     7716     68 |        0 |        0
1488.36/1488.71	c 1488s |      18 |   414815 |   330052 |     7716     68 |        0 |        0
1490.36/1490.77	c 1490s |      18 |   415258 |   330452 |     7716     68 |        0 |        0
1492.65/1493.04	c 1492s |      18 |   415693 |   330852 |     7716     68 |        0 |        0
1494.66/1495.06	c 1494s |      18 |   416039 |   331152 |     7716     69 |        0 |        0
1496.65/1497.08	c 1496s |      18 |   416460 |   331552 |     7716     69 |        0 |        0
1498.75/1499.13	c 1498s |      18 |   416890 |   331952 |     7716     69 |        0 |        0
1500.85/1501.21	c 1500s |      18 |   417320 |   332352 |     7716     69 |        0 |        0
1503.05/1503.44	c 1503s |      18 |   417868 |   332852 |     7716     69 |        0 |        0
1505.35/1505.78	c 1505s |      18 |   418412 |   333352 |     7716     69 |        0 |        0
1507.75/1508.16	c 1507s |      18 |   418955 |   333852 |     7716     69 |        0 |        0
1509.95/1510.32	c 1510s |      18 |   419522 |   334352 |     7716     69 |        0 |        0
1512.04/1512.48	c 1512s |      18 |   420092 |   334852 |     7716     69 |        0 |        0
1514.35/1514.71	c 1514s |      18 |   420678 |   335352 |     7716     69 |        0 |        0
1516.74/1517.13	c 1516s |      18 |   421222 |   335852 |     7716     69 |        0 |        0
1519.14/1519.51	c 1519s |      18 |   421795 |   336352 |     7716     69 |        0 |        0
1521.54/1521.97	c 1521s |      18 |   422230 |   336752 |     7716     70 |        0 |        0
1523.63/1524.01	c 1523s |      18 |   422696 |   337152 |     7716     70 |        0 |        0
1525.63/1526.02	c 1525s |      18 |   423141 |   337552 |     7716     70 |        0 |        0
1528.13/1528.51	c 1528s |      18 |   423702 |   338052 |     7716     70 |        0 |        0
1530.54/1530.90	c 1530s |      18 |   424255 |   338552 |     7716     70 |        0 |        0
1532.54/1532.95	c 1532s |      18 |   424709 |   338952 |     7716     70 |        0 |        0
1535.03/1535.44	c 1535s |      18 |   425271 |   339452 |     7716     70 |        0 |        0
1537.54/1537.94	c 1537s |      18 |   425823 |   339952 |     7716     70 |        0 |        0
1540.03/1540.45	c 1540s |      18 |   426377 |   340452 |     7716     70 |        0 |        0
1542.43/1542.80	c 1542s |      18 |   426803 |   340852 |     7716     70 |        0 |        0
1544.53/1544.94	c 1544s |      18 |   427292 |   341252 |     7716     70 |        0 |        0
1546.53/1546.94	c 1546s |      18 |   427750 |   341652 |     7716     70 |        0 |        0
1548.63/1549.00	c 1548s |      18 |   428192 |   342052 |     7716     70 |        0 |        0
1551.22/1551.63	c 1551s |      18 |   428649 |   342452 |     7716     71 |        0 |        0
1553.33/1553.75	c 1553s |      18 |   429079 |   342852 |     7716     71 |        0 |        0
1555.63/1556.05	c 1555s |      18 |   429633 |   343352 |     7716     71 |        0 |        0
1558.03/1558.40	c 1558s |      18 |   430311 |   343952 |     7716     71 |        0 |        0
1560.22/1560.61	c 1560s |      18 |   430889 |   344452 |     7716     71 |        0 |        0
1562.22/1562.61	c 1562s |      18 |   431460 |   344952 |     7716     71 |        0 |        0
1564.42/1564.84	c 1564s |      18 |   432021 |   345452 |     7716     71 |        0 |        0
1566.92/1567.30	c 1567s |      18 |   432566 |   345952 |     7716     71 |        0 |        0
1569.22/1569.61	c 1569s |      18 |   433134 |   346452 |     7716     71 |        0 |        0
1571.62/1572.03	c 1571s |      18 |   433698 |   346952 |     7716     71 |        0 |        0
1573.61/1574.10	c 1573s |      18 |   434130 |   347352 |     7716     71 |        0 |        0
1575.92/1576.32	c 1576s |      18 |   434567 |   347752 |     7716     71 |        0 |        0
1578.12/1578.53	c 1578s |      18 |   435001 |   348152 |     7716     71 |        0 |        0
1580.20/1580.70	c 1580s |      18 |   435338 |   348452 |     7716     72 |        0 |        0
1582.31/1582.76	c 1582s |      18 |   435794 |   348852 |     7716     72 |        0 |        0
1584.51/1584.97	c 1584s |      18 |   436375 |   349352 |     7716     72 |        0 |        0
1586.81/1587.26	c 1587s |      18 |   437046 |   349952 |     7716     72 |        0 |        0
1589.21/1589.65	c 1589s |      18 |   437735 |   350552 |     7716     72 |        0 |        0
1591.31/1591.80	c 1591s |      18 |   438291 |   351052 |     7716     72 |        0 |        0
1593.51/1594.00	c 1593s |      18 |   438870 |   351552 |     7716     72 |        0 |        0
1595.81/1596.29	c 1596s |      18 |   439431 |   352052 |     7716     72 |        0 |        0
1598.30/1598.75	c 1598s |      18 |   439998 |   352552 |     7716     72 |        0 |        0
1600.69/1601.16	c 1600s |      18 |   440541 |   353052 |     7716     72 |        0 |        0
1602.80/1603.25	c 1603s |      18 |   440971 |   353452 |     7716     72 |        0 |        0
1605.10/1605.59	c 1605s |      18 |   441535 |   353952 |     7716     72 |        0 |        0
1607.49/1607.99	c 1607s |      18 |   441977 |   354352 |     7716     73 |        0 |        0
1609.59/1610.09	c 1609s |      18 |   442409 |   354752 |     7716     73 |        0 |        0
1611.69/1612.15	c 1611s |      18 |   442756 |   355052 |     7716     73 |        0 |        0
1613.88/1614.31	c 1614s |      18 |   443430 |   355652 |     7716     73 |        0 |        0
1616.28/1616.70	c 1616s |      18 |   444099 |   356252 |     7716     73 |        0 |        0
1618.59/1619.06	c 1618s |      18 |   444792 |   356852 |     7716     73 |        0 |        0
1620.68/1621.19	c 1620s |      18 |   445342 |   357352 |     7716     73 |        0 |        0
1622.88/1623.34	c 1623s |      18 |   445889 |   357852 |     7716     73 |        0 |        0
1625.28/1625.70	c 1625s |      18 |   446552 |   358452 |     7716     73 |        0 |        0
1627.58/1628.03	c 1627s |      18 |   447126 |   358952 |     7716     73 |        0 |        0
1629.88/1630.33	c 1630s |      18 |   447656 |   359452 |     7716     73 |        0 |        0
1632.17/1632.65	c 1632s |      18 |   448104 |   359852 |     7716     74 |        0 |        0
1634.18/1634.67	c 1634s |      18 |   448659 |   360352 |     7716     74 |        0 |        0
1636.38/1636.88	c 1636s |      18 |   449204 |   360852 |     7716     74 |        0 |        0
1638.68/1639.14	c 1638s |      18 |   449757 |   361352 |     7716     74 |        0 |        0
1640.88/1641.39	c 1641s |      18 |   450324 |   361852 |     7716     74 |        0 |        0
1643.17/1643.62	c 1643s |      18 |   450877 |   362352 |     7716     74 |        0 |        0
1645.18/1645.65	c 1645s |      18 |   451315 |   362752 |     7716     74 |        0 |        0
1647.27/1647.72	c 1647s |      18 |   451739 |   363152 |     7716     74 |        0 |        0
1649.26/1649.73	c 1649s |      18 |   452183 |   363552 |     7716     74 |        0 |        0
1651.67/1652.14	c 1651s |      18 |   452719 |   364052 |     7716     74 |        0 |        0
1653.87/1654.39	c 1654s |      18 |   453165 |   364452 |     7716     74 |        0 |        0
1656.46/1656.90	c 1656s |      18 |   453636 |   364852 |     7716     74 |        0 |        0
1658.47/1658.93	c 1658s |      18 |   454204 |   365352 |     7716     74 |        0 |        0
1660.56/1661.07	c 1660s |      18 |   454650 |   365752 |     7716     75 |        0 |        0
1662.96/1663.41	c 1663s |      18 |   455313 |   366352 |     7716     75 |        0 |        0
1665.06/1665.54	c 1665s |      18 |   455880 |   366852 |     7716     75 |        0 |        0
1667.16/1667.68	c 1667s |      18 |   456421 |   367352 |     7716     75 |        0 |        0
1669.47/1669.92	c 1669s |      18 |   456980 |   367852 |     7716     75 |        0 |        0
1671.66/1672.14	c 1671s |      18 |   457666 |   368452 |     7716     75 |        0 |        0
1673.95/1674.47	c 1674s |      18 |   458347 |   369052 |     7716     75 |        0 |        0
1676.15/1676.67	c 1676s |      18 |   459032 |   369652 |     7716     75 |        0 |        0
1678.16/1678.68	c 1678s |      18 |   459592 |   370152 |     7716     75 |        0 |        0
1680.24/1680.72	c 1680s |      18 |   460169 |   370652 |     7716     75 |        0 |        0
1682.45/1682.93	c 1682s |      18 |   460750 |   371152 |     7716     75 |        0 |        0
1684.65/1685.16	c 1684s |      18 |   461213 |   371552 |     7716     76 |        0 |        0
1687.05/1687.50	c 1687s |      18 |   461922 |   372152 |     7716     76 |        0 |        0
1689.15/1689.61	c 1689s |      18 |   462509 |   372652 |     7716     76 |        0 |        0
1691.24/1691.70	c 1691s |      18 |   463068 |   373152 |     7716     76 |        0 |        0
1693.24/1693.78	c 1693s |      18 |   463616 |   373652 |     7716     76 |        0 |        0
1695.64/1696.13	c 1695s |      18 |   464154 |   374152 |     7716     76 |        0 |        0
1697.94/1698.44	c 1698s |      18 |   464694 |   374652 |     7716     76 |        0 |        0
1700.33/1700.85	c 1700s |      18 |   465236 |   375152 |     7716     76 |        0 |        0
1702.83/1703.30	c 1703s |      18 |   465779 |   375652 |     7716     76 |        0 |        0
1704.94/1705.48	c 1705s |      18 |   466226 |   376052 |     7716     76 |        0 |        0
1707.23/1707.72	c 1707s |      18 |   466770 |   376552 |     7716     76 |        0 |        0
1709.93/1710.49	c 1710s |      18 |   467314 |   377052 |     7716     77 |        0 |        0
1712.24/1712.78	c 1712s |      18 |   467866 |   377552 |     7716     77 |        0 |        0
1714.43/1714.93	c 1714s |      18 |   468416 |   378052 |     7716     77 |        0 |        0
1716.63/1717.15	c 1716s |      18 |   468970 |   378552 |     7716     77 |        0 |        0
1718.93/1719.44	c 1719s |      18 |   469508 |   379052 |     7716     77 |        0 |        0
1721.22/1721.72	c 1721s |      18 |   470070 |   379552 |     7716     77 |        0 |        0
1723.62/1724.11	c 1723s |      18 |   470611 |   380052 |     7716     77 |        0 |        0
1725.82/1726.38	c 1726s |      18 |   471168 |   380552 |     7716     77 |        0 |        0
1728.22/1728.74	c 1728s |      18 |   471735 |   381052 |     7716     77 |        0 |        0
1730.31/1730.86	c 1730s |      18 |   472155 |   381452 |     7716     77 |        0 |        0
1732.52/1733.09	c 1732s |      18 |   472583 |   381852 |     7716     77 |        0 |        0
1734.92/1735.45	c 1735s |      18 |   473159 |   382352 |     7716     77 |        0 |        0
1737.32/1737.88	c 1737s |      18 |   473595 |   382752 |     7716     78 |        0 |        0
1739.61/1740.15	c 1739s |      18 |   474158 |   383252 |     7716     78 |        0 |        0
1741.71/1742.23	c 1742s |      18 |   474704 |   383752 |     7716     78 |        0 |        0
1743.81/1744.30	c 1744s |      18 |   475147 |   384152 |     7716     78 |        0 |        0
1745.91/1746.44	c 1746s |      18 |   475572 |   384552 |     7716     78 |        0 |        0
1748.00/1748.55	c 1748s |      18 |   476144 |   385052 |     7716     78 |        0 |        0
1750.20/1750.79	c 1750s |      18 |   476691 |   385552 |     7716     78 |        0 |        0
1752.31/1752.83	c 1752s |      18 |   477139 |   385952 |     7716     78 |        0 |        0
1754.30/1754.84	c 1754s |      18 |   477573 |   386352 |     7716     78 |        0 |        0
1756.40/1756.90	c 1756s |      18 |   478024 |   386752 |     7716     78 |        0 |        0
1758.51/1759.06	c 1758s |      18 |   478472 |   387152 |     7716     78 |        0 |        0
1760.60/1761.12	c 1760s |      18 |   478895 |   387552 |     7716     78 |        0 |        0
1762.60/1763.20	c 1762s |      18 |   479338 |   387952 |     7716     78 |        0 |        0
1764.70/1765.24	c 1765s |      18 |   479816 |   388352 |     7716     78 |        0 |        0
1766.70/1767.25	c 1767s |      18 |   480161 |   388652 |     7716     79 |        0 |        0
1769.00/1769.55	c 1769s |      18 |   480711 |   389152 |     7716     79 |        0 |        0
1771.40/1771.96	c 1771s |      18 |   481255 |   389652 |     7716     79 |        0 |        0
1773.70/1774.20	c 1773s |      18 |   481822 |   390152 |     7716     79 |        0 |        0
1776.10/1776.68	c 1776s |      18 |   482380 |   390652 |     7716     79 |        0 |        0
1778.39/1778.97	c 1778s |      18 |   483106 |   391152 |     7716     79 |        0 |        0
1780.40/1780.99	c 1780s |      18 |   483799 |   391752 |     7716     79 |        0 |        0
1782.60/1783.19	c 1782s |      18 |   484517 |   392352 |     7716     79 |        0 |        0
1784.80/1785.36	c 1785s |      18 |   485239 |   392952 |     7716     79 |        0 |        0
1787.00/1787.55	c 1787s |      18 |   486026 |   393552 |     7716     79 |        0 |        0
1788.99/1789.57	c 1789s |      18 |   486590 |   394052 |     7716     79 |        0 |        0
1791.20/1791.76	c 1791s |      18 |   487038 |   394452 |     7716     80 |        0 |        0
1793.50/1794.08	c 1793s |      18 |   487780 |   395052 |     7716     80 |        0 |        0
1795.60/1796.16	c 1795s |      18 |   488476 |   395652 |     7716     80 |        0 |        0
1798.00/1798.53	c 1798s |      18 |   489190 |   396252 |     7716     80 |        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-4093717-1466093668/watcher-4093717-1466093668 -o /tmp/evaluation-result-4093717-1466093668/solver-4093717-1466093668 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466075487-16983 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093717-1466093668.wbo 

pid=20943
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.41 2.34 2.26 3/179 20946
/proc/meminfo: memFree=29325560/32872528 swapFree=1402008/1579836
[pid=20946] ppid=20943 vsize=653756 CPUtime=0 cores=0,2,4,6
/proc/20946/stat : 20946 (toysat) R 20943 20946 13870 0 -1 4202496 2427 0 0 0 0 0 0 0 20 0 4 0 11412581 669446144 2788 33554432000 4194304 16246674 140733442801920 140733442801344 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20946/statm: 163951 2796 441 2943 0 160845 0
[pid=20946/tid=20947] ppid=20943 vsize=671164 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20947/stat : 20947 (toysat) S 20943 20946 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11412581 687271936 2856 33554432000 4194304 16246674 140733442801920 140324396575984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20946/tid=20948] ppid=20943 vsize=676284 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20948/stat : 20948 (toysat) S 20943 20946 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11412581 692514816 2876 33554432000 4194304 16246674 140733442801920 140324386086128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20946/tid=20949] ppid=20943 vsize=680380 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20949/stat : 20949 (toysat) S 20943 20946 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11412581 696709120 2891 33554432000 4194304 16246674 140733442801920 140324299074736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100217 s]
/proc/loadavg: 2.41 2.34 2.26 3/179 20946
/proc/meminfo: memFree=29325560/32872528 swapFree=1402008/1579836
[pid=20946] ppid=20943 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/20946/stat : 20946 (toysat) R 20943 20946 13870 0 -1 4202496 25884 0 0 0 5 4 0 0 20 0 4 0 11412581 1247350784 26238 33554432000 4194304 16246674 140733442801920 140733442801344 13956064 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20946/statm: 304529 26246 603 2943 0 301423 0
[pid=20946/tid=20947] ppid=20943 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20947/stat : 20947 (toysat) S 20943 20946 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11412581 1247350784 26251 33554432000 4194304 16246674 140733442801920 140324396575984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20946/tid=20948] ppid=20943 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20948/stat : 20948 (toysat) S 20943 20946 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11412581 1247350784 26258 33554432000 4194304 16246674 140733442801920 140324386086128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20946/tid=20949] ppid=20943 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20949/stat : 20949 (toysat) S 20943 20946 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11412581 1247350784 26264 33554432000 4194304 16246674 140733442801920 140324299074736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200492 s]
/proc/loadavg: 2.41 2.34 2.26 3/179 20946
/proc/meminfo: memFree=29325560/32872528 swapFree=1402008/1579836
[pid=20946] ppid=20943 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/20946/stat : 20946 (toysat) R 20943 20946 13870 0 -1 4202496 47484 0 0 0 12 7 0 0 20 0 4 0 11412581 1247350784 47836 33554432000 4194304 16246674 140733442801920 140733442801344 5595597 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20946/statm: 304529 47845 668 2943 0 301423 0
[pid=20946/tid=20947] ppid=20943 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20947/stat : 20947 (toysat) S 20943 20946 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11412581 1247350784 47855 33554432000 4194304 16246674 140733442801920 140324396575984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20946/tid=20948] ppid=20943 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20948/stat : 20948 (toysat) S 20943 20946 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11412581 1247350784 47861 33554432000 4194304 16246674 140733442801920 140324386086128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20946/tid=20949] ppid=20943 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20949/stat : 20949 (toysat) S 20943 20946 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11412581 1247350784 47873 33554432000 4194304 16246674 140733442801920 140324299074736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300441 s]
/proc/loadavg: 2.41 2.34 2.26 3/179 20946
/proc/meminfo: memFree=29325560/32872528 swapFree=1402008/1579836
[pid=20946] ppid=20943 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/20946/stat : 20946 (toysat) R 20943 20946 13870 0 -1 4202496 68776 0 0 0 18 11 0 0 20 0 4 0 11412581 1247350784 69123 33554432000 4194304 16246674 140733442801920 140733442801344 5582293 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20946/statm: 304529 69124 806 2943 0 301423 0
[pid=20946/tid=20947] ppid=20943 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20947/stat : 20947 (toysat) S 20943 20946 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11412581 1247350784 69126 33554432000 4194304 16246674 140733442801920 140324396575984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20946/tid=20948] ppid=20943 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20948/stat : 20948 (toysat) S 20943 20946 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11412581 1247350784 69126 33554432000 4194304 16246674 140733442801920 140324386086128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20946/tid=20949] ppid=20943 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20949/stat : 20949 (toysat) S 20943 20946 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11412581 1247350784 69127 33554432000 4194304 16246674 140733442801920 140324299074736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700395 s]
/proc/loadavg: 2.41 2.34 2.26 3/179 20946
/proc/meminfo: memFree=29325560/32872528 swapFree=1402008/1579836
[pid=20946] ppid=20943 vsize=1306180 CPUtime=0.69 cores=0,2,4,6
/proc/20946/stat : 20946 (toysat) R 20943 20946 13870 0 -1 4202496 91778 0 0 0 55 14 0 0 20 0 4 0 11412581 1337528320 92103 33554432000 4194304 16246674 140733442801920 140733442801232 6021024 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20946/statm: 326545 92103 867 2943 0 323439 0
[pid=20946/tid=20947] ppid=20943 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20947/stat : 20947 (toysat) S 20943 20946 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11412581 1337528320 92103 33554432000 4194304 16246674 140733442801920 140324396575984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20946/tid=20948] ppid=20943 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20948/stat : 20948 (toysat) S 20943 20946 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11412581 1337528320 92103 33554432000 4194304 16246674 140733442801920 140324386086128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20946/tid=20949] ppid=20943 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20949/stat : 20949 (toysat) S 20943 20946 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11412581 1337528320 92103 33554432000 4194304 16246674 140733442801920 140324299074736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1306180

[startup+1.5004 s]
/proc/loadavg: 2.41 2.34 2.26 3/183 20950
/proc/meminfo: memFree=28943536/32872528 swapFree=1402008/1579836
[pid=20946] ppid=20943 vsize=1307204 CPUtime=1.49 cores=0,2,4,6
/proc/20946/stat : 20946 (toysat) R 20943 20946 13870 0 -1 4202496 95469 0 0 0 134 15 0 0 20 0 4 0 11412581 1338576896 95794 33554432000 4194304 16246674 140733442801920 140733442801096 6020640 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20946/statm: 326801 95794 867 2943 0 323695 0
[pid=20946/tid=20947] ppid=20943 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20947/stat : 20947 (toysat) S 20943 20946 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11412581 1338576896 95794 33554432000 4194304 16246674 140733442801920 140324396575984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20946/tid=20948] ppid=20943 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20948/stat : 20948 (toysat) S 20943 20946 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11412581 1338576896 95794 33554432000 4194304 16246674 140733442801920 140324386086128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20946/tid=20949] ppid=20943 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20949/stat : 20949 (toysat) S 20943 20946 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11412581 1338576896 95794 33554432000 4194304 16246674 140733442801920 140324299074736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.10039 s]
/proc/loadavg: 2.38 2.33 2.25 3/183 20950
/proc/meminfo: memFree=28870004/32872528 swapFree=1402008/1579836
[pid=20946] ppid=20943 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/20946/stat : 20946 (toysat) R 20943 20946 13870 0 -1 4202496 202155 0 0 0 279 30 0 0 20 0 4 0 11412581 1338576896 202481 33554432000 4194304 16246674 140733442801920 140733442783808 13192509 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20946/statm: 326801 202493 867 2943 0 323695 0
[pid=20946/tid=20947] ppid=20943 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20947/stat : 20947 (toysat) S 20943 20946 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11412581 1338576896 202501 33554432000 4194304 16246674 140733442801920 140324396575984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20946/tid=20948] ppid=20943 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20948/stat : 20948 (toysat) S 20943 20946 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11412581 1338576896 202509 33554432000 4194304 16246674 140733442801920 140324386086128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20946/tid=20949] ppid=20943 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20949/stat : 20949 (toysat) S 20943 20946 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11412581 1338576896 202518 33554432000 4194304 16246674 140733442801920 140324299074736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30042 s]
/proc/loadavg: 2.38 2.33 2.25 3/183 20950
/proc/meminfo: memFree=28253192/32872528 swapFree=1402008/1579836
[pid=20946] ppid=20943 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/20946/stat : 20946 (toysat) R 20943 20946 13870 0 -1 4202496 267919 0 0 0 592 37 0 0 20 0 4 0 11412581 1338576896 268244 33554432000 4194304 16246674 140733442801920 140733442783808 5711688 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20946/statm: 326801 268244 871 2943 0 323695 0
[pid=20946/tid=20947] ppid=20943 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20947/stat : 20947 (toysat) S 20943 20946 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11412581 1338576896 268244 33554432000 4194304 16246674 140733442801920 140324396575984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20946/tid=20948] ppid=20943 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20948/stat : 20948 (toysat) S 20943 20946 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11412581 1338576896 268244 33554432000 4194304 16246674 140733442801920 140324386086128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20946/tid=20949] ppid=20943 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20949/stat : 20949 (toysat) S 20943 20946 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11412581 1338576896 268244 33554432000 4194304 16246674 140733442801920 140324299074736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.32 2.32 2.25 3/183 20950
/proc/meminfo: memFree=28252992/32872528 swapFree=1402008/1579836
[pid=20946] ppid=20943 vsize=1308228 CPUtime=12.69 cores=0,2,4,6
/proc/20946/stat : 20946 (toysat) R 20943 20946 13870 0 -1 4202496 268016 0 0 0 1232 37 0 0 20 0 4 0 11412581 1339625472 268341 33554432000 4194304 16246674 140733442801920 140733442783808 6021024 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20946/statm: 327057 268341 871 2943 0 323951 0
[pid=20946/tid=20947] ppid=20943 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20947/stat : 20947 (toysat) S 20943 20946 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11412581 1339625472 268341 33554432000 4194304 16246674 140733442801920 140324396575984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20946/tid=20948] ppid=20943 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20948/stat : 20948 (toysat) S 20943 20946 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11412581 1339625472 268341 33554432000 4194304 16246674 140733442801920 140324386086128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20946/tid=20949] ppid=20943 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20949/stat : 20949 (toysat) S 20943 20946 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11412581 1339625472 268341 33554432000 4194304 16246674 140733442801920 140324299074736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.27 2.31 2.25 3/183 20950
/proc/meminfo: memFree=28253744/32872528 swapFree=1402008/1579836
[pid=20946] ppid=20943 vsize=1308228 CPUtime=25.48 cores=0,2,4,6
/proc/20946/stat : 20946 (toysat) R 20943 20946 13870 0 -1 4202496 268052 0 0 0 2511 37 0 0 20 0 4 0 11412581 1339625472 268377 33554432000 4194304 16246674 140733442801920 140733442783808 5723580 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20946/statm: 327057 268377 874 2943 0 323951 0
[pid=20946/tid=20947] ppid=20943 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20947/stat : 20947 (toysat) S 20943 20946 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11412581 1339625472 268377 33554432000 4194304 16246674 140733442801920 140324396575984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20946/tid=20948] ppid=20943 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20948/stat : 20948 (toysat) S 20943 20946 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11412581 1339625472 268377 33554432000 4194304 16246674 140733442801920 140324386086128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20946/tid=20949] ppid=20943 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20949/stat : 20949 (toysat) S 20943 20946 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11412581 1339625472 268377 33554432000 4194304 16246674 140733442801920 140324299074736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.39 2.33 2.26 3/183 20950
/proc/meminfo: memFree=28237516/32872528 swapFree=1402008/1579836
[pid=20946] ppid=20943 vsize=1323588 CPUtime=51.08 cores=0,2,4,6
/proc/20946/stat : 20946 (toysat) R 20943 20946 13870 0 -1 4202496 272018 0 0 0 5069 39 0 0 20 0 4 0 11412581 1355354112 272343 33554432000 4194304 16246674 140733442801920 140733442783808 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20946/statm: 330897 272343 874 2943 0 327791 0
[pid=20946/tid=20947] ppid=20943 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20947/stat : 20947 (toysat) S 20943 20946 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11412581 1355354112 272343 33554432000 4194304 16246674 140733442801920 140324396575984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20946/tid=20948] ppid=20943 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20948/stat : 20948 (toysat) S 20943 20946 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11412581 1355354112 272343 33554432000 4194304 16246674 140733442801920 140324386086128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20946/tid=20949] ppid=20943 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20949/stat : 20949 (toysat) S 20943 20946 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11412581 1355354112 272343 33554432000 4194304 16246674 140733442801920 140324299074736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1323588

[startup+102.3 s]
/proc/loadavg: 2.21 2.29 2.25 3/183 20951
/proc/meminfo: memFree=28232044/32872528 swapFree=1402008/1579836
[pid=20946] ppid=20943 vsize=1323588 CPUtime=102.28 cores=0,2,4,6
/proc/20946/stat : 20946 (toysat) R 20943 20946 13870 0 -1 4202496 272018 0 0 0 10186 42 0 0 20 0 4 0 11412581 1355354112 272343 33554432000 4194304 16246674 140733442801920 140733442801096 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20946/statm: 330897 272343 874 2943 0 327791 0
[pid=20946/tid=20947] ppid=20943 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20947/stat : 20947 (toysat) S 20943 20946 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11412581 1355354112 272343 33554432000 4194304 16246674 140733442801920 140324396575984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20946/tid=20948] ppid=20943 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20948/stat : 20948 (toysat) S 20943 20946 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11412581 1355354112 272343 33554432000 4194304 16246674 140733442801920 140324386086128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20946/tid=20949] ppid=20943 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20949/stat : 20949 (toysat) S 20943 20946 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11412581 1355354112 272343 33554432000 4194304 16246674 140733442801920 140324299074736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1323588


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

/proc/20946/task/20949/stat : 20949 (toysat) S 20943 20946 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11412581 1366888448 275415 33554432000 4194304 16246674 140733442801920 140324299074736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 1334852

[startup+1302.3 s]
/proc/loadavg: 2.41 2.35 2.29 4/183 20981
/proc/meminfo: memFree=27803292/32872528 swapFree=1402008/1579836
[pid=20946] ppid=20943 vsize=1334852 CPUtime=1302.06 cores=0,2,4,6
/proc/20946/stat : 20946 (toysat) R 20943 20946 13870 0 -1 4202496 274893 0 0 0 130078 128 0 0 20 0 4 0 11412581 1366888448 275415 33554432000 4194304 16246674 140733442801920 140733442801096 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20946/statm: 333713 275415 874 2943 0 330607 0
[pid=20946/tid=20947] ppid=20943 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20947/stat : 20947 (toysat) S 20943 20946 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11412581 1366888448 275415 33554432000 4194304 16246674 140733442801920 140324396575984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20946/tid=20948] ppid=20943 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20948/stat : 20948 (toysat) S 20943 20946 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11412581 1366888448 275415 33554432000 4194304 16246674 140733442801920 140324386086128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20946/tid=20949] ppid=20943 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20949/stat : 20949 (toysat) S 20943 20946 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11412581 1366888448 275415 33554432000 4194304 16246674 140733442801920 140324299074736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 1334852

[startup+1362.3 s]
/proc/loadavg: 2.44 2.37 2.30 3/183 20982
/proc/meminfo: memFree=27803196/32872528 swapFree=1402008/1579836
[pid=20946] ppid=20943 vsize=1334852 CPUtime=1362.03 cores=0,2,4,6
/proc/20946/stat : 20946 (toysat) R 20943 20946 13870 0 -1 4202496 274928 0 0 0 136071 132 0 0 20 0 4 0 11412581 1366888448 275415 33554432000 4194304 16246674 140733442801920 140733442801096 5546001 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20946/statm: 333713 275415 874 2943 0 330607 0
[pid=20946/tid=20947] ppid=20943 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20947/stat : 20947 (toysat) S 20943 20946 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11412581 1366888448 275415 33554432000 4194304 16246674 140733442801920 140324396575984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20946/tid=20948] ppid=20943 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20948/stat : 20948 (toysat) S 20943 20946 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11412581 1366888448 275415 33554432000 4194304 16246674 140733442801920 140324386086128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20946/tid=20949] ppid=20943 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20949/stat : 20949 (toysat) S 20943 20946 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11412581 1366888448 275415 33554432000 4194304 16246674 140733442801920 140324299074736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 1334852

[startup+1422.3 s]
/proc/loadavg: 2.37 2.36 2.30 3/183 21326
/proc/meminfo: memFree=28216480/32872528 swapFree=1402008/1579836
[pid=20946] ppid=20943 vsize=1334852 CPUtime=1422 cores=0,2,4,6
/proc/20946/stat : 20946 (toysat) R 20943 20946 13870 0 -1 4202496 274969 0 0 0 142065 135 0 0 20 0 4 0 11412581 1366888448 275415 33554432000 4194304 16246674 140733442801920 140733442784912 5545872 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20946/statm: 333713 275415 874 2943 0 330607 0
[pid=20946/tid=20947] ppid=20943 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20947/stat : 20947 (toysat) S 20943 20946 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11412581 1366888448 275415 33554432000 4194304 16246674 140733442801920 140324396575984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20946/tid=20948] ppid=20943 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20948/stat : 20948 (toysat) S 20943 20946 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11412581 1366888448 275415 33554432000 4194304 16246674 140733442801920 140324386086128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20946/tid=20949] ppid=20943 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20949/stat : 20949 (toysat) S 20943 20946 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11412581 1366888448 275415 33554432000 4194304 16246674 140733442801920 140324299074736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 1334852

[startup+1482.3 s]
/proc/loadavg: 2.33 2.35 2.30 4/183 21328
/proc/meminfo: memFree=28216700/32872528 swapFree=1402008/1579836
[pid=20946] ppid=20943 vsize=1334852 CPUtime=1481.96 cores=0,2,4,6
/proc/20946/stat : 20946 (toysat) R 20943 20946 13870 0 -1 4202496 275008 0 0 0 148056 140 0 0 20 0 4 0 11412581 1366888448 275415 33554432000 4194304 16246674 140733442801920 140733442801096 12995176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20946/statm: 333713 275415 874 2943 0 330607 0
[pid=20946/tid=20947] ppid=20943 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20947/stat : 20947 (toysat) S 20943 20946 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11412581 1366888448 275415 33554432000 4194304 16246674 140733442801920 140324396575984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20946/tid=20948] ppid=20943 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20948/stat : 20948 (toysat) S 20943 20946 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11412581 1366888448 275415 33554432000 4194304 16246674 140733442801920 140324386086128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20946/tid=20949] ppid=20943 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20949/stat : 20949 (toysat) S 20943 20946 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11412581 1366888448 275415 33554432000 4194304 16246674 140733442801920 140324299074736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 1334852

[startup+1542.31 s]
/proc/loadavg: 2.32 2.35 2.29 3/184 21332
/proc/meminfo: memFree=28217020/32872528 swapFree=1402008/1579836
[pid=20946] ppid=20943 vsize=1334852 CPUtime=1541.94 cores=0,2,4,6
/proc/20946/stat : 20946 (toysat) R 20943 20946 13870 0 -1 4202496 275045 0 0 0 154050 144 0 0 20 0 4 0 11412581 1366888448 275415 33554432000 4194304 16246674 140733442801920 140733442801096 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20946/statm: 333713 275415 874 2943 0 330607 0
[pid=20946/tid=20947] ppid=20943 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20947/stat : 20947 (toysat) S 20943 20946 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11412581 1366888448 275415 33554432000 4194304 16246674 140733442801920 140324396575984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20946/tid=20948] ppid=20943 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20948/stat : 20948 (toysat) S 20943 20946 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11412581 1366888448 275415 33554432000 4194304 16246674 140733442801920 140324386086128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20946/tid=20949] ppid=20943 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20949/stat : 20949 (toysat) S 20943 20946 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11412581 1366888448 275415 33554432000 4194304 16246674 140733442801920 140324299074736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 1334852

[startup+1602.3 s]
/proc/loadavg: 2.29 2.33 2.29 3/183 21333
/proc/meminfo: memFree=28216776/32872528 swapFree=1402008/1579836
[pid=20946] ppid=20943 vsize=1334852 CPUtime=1601.89 cores=0,2,4,6
/proc/20946/stat : 20946 (toysat) R 20943 20946 13870 0 -1 4202496 275088 0 0 0 160042 147 0 0 20 0 4 0 11412581 1366888448 275415 33554432000 4194304 16246674 140733442801920 140733442801096 5546214 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20946/statm: 333713 275415 874 2943 0 330607 0
[pid=20946/tid=20947] ppid=20943 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20947/stat : 20947 (toysat) S 20943 20946 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11412581 1366888448 275415 33554432000 4194304 16246674 140733442801920 140324396575984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20946/tid=20948] ppid=20943 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20948/stat : 20948 (toysat) S 20943 20946 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11412581 1366888448 275415 33554432000 4194304 16246674 140733442801920 140324386086128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20946/tid=20949] ppid=20943 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20949/stat : 20949 (toysat) S 20943 20946 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11412581 1366888448 275415 33554432000 4194304 16246674 140733442801920 140324299074736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1334852

[startup+1662.3 s]
/proc/loadavg: 2.26 2.31 2.28 4/183 21334
/proc/meminfo: memFree=28216804/32872528 swapFree=1402008/1579836
[pid=20946] ppid=20943 vsize=1334852 CPUtime=1661.86 cores=0,2,4,6
/proc/20946/stat : 20946 (toysat) R 20943 20946 13870 0 -1 4202496 275131 0 0 0 166034 152 0 0 20 0 4 0 11412581 1366888448 275415 33554432000 4194304 16246674 140733442801920 140733442801096 13760162 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20946/statm: 333713 275415 874 2943 0 330607 0
[pid=20946/tid=20947] ppid=20943 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20947/stat : 20947 (toysat) S 20943 20946 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11412581 1366888448 275415 33554432000 4194304 16246674 140733442801920 140324396575984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20946/tid=20948] ppid=20943 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20948/stat : 20948 (toysat) S 20943 20946 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11412581 1366888448 275415 33554432000 4194304 16246674 140733442801920 140324386086128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20946/tid=20949] ppid=20943 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20949/stat : 20949 (toysat) S 20943 20946 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11412581 1366888448 275415 33554432000 4194304 16246674 140733442801920 140324299074736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1334852

[startup+1722.3 s]
/proc/loadavg: 2.37 2.34 2.29 3/183 21335
/proc/meminfo: memFree=28216592/32872528 swapFree=1402008/1579836
[pid=20946] ppid=20943 vsize=1334852 CPUtime=1721.83 cores=0,2,4,6
/proc/20946/stat : 20946 (toysat) R 20943 20946 13870 0 -1 4202496 275176 0 0 0 172027 156 0 0 20 0 4 0 11412581 1366888448 275415 33554432000 4194304 16246674 140733442801920 140733442801096 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20946/statm: 333713 275415 874 2943 0 330607 0
[pid=20946/tid=20947] ppid=20943 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20947/stat : 20947 (toysat) S 20943 20946 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11412581 1366888448 275415 33554432000 4194304 16246674 140733442801920 140324396575984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20946/tid=20948] ppid=20943 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20948/stat : 20948 (toysat) S 20943 20946 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11412581 1366888448 275415 33554432000 4194304 16246674 140733442801920 140324386086128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20946/tid=20949] ppid=20943 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20949/stat : 20949 (toysat) S 20943 20946 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11412581 1366888448 275415 33554432000 4194304 16246674 140733442801920 140324299074736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1334852

[startup+1782.3 s]
/proc/loadavg: 2.31 2.32 2.28 3/182 21336
/proc/meminfo: memFree=28215872/32872528 swapFree=1402008/1579836
[pid=20946] ppid=20943 vsize=1334852 CPUtime=1781.79 cores=0,2,4,6
/proc/20946/stat : 20946 (toysat) R 20943 20946 13870 0 -1 4202496 275203 0 0 0 178019 160 0 0 20 0 4 0 11412581 1366888448 275415 33554432000 4194304 16246674 140733442801920 140733442783808 5545784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20946/statm: 333713 275415 874 2943 0 330607 0
[pid=20946/tid=20947] ppid=20943 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20947/stat : 20947 (toysat) S 20943 20946 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11412581 1366888448 275415 33554432000 4194304 16246674 140733442801920 140324396575984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20946/tid=20948] ppid=20943 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20948/stat : 20948 (toysat) S 20943 20946 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11412581 1366888448 275415 33554432000 4194304 16246674 140733442801920 140324386086128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20946/tid=20949] ppid=20943 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20949/stat : 20949 (toysat) S 20943 20946 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11412581 1366888448 275415 33554432000 4194304 16246674 140733442801920 140324299074736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1334852



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.30 2.32 2.28 4/183 21337
/proc/meminfo: memFree=28214792/32872528 swapFree=1402008/1579836
[pid=20946] ppid=20943 vsize=1334852 CPUtime=1800.09 cores=0,2,4,6
/proc/20946/stat : 20946 (toysat) R 20943 20946 13870 0 -1 4202496 275203 0 0 0 179848 161 0 0 20 0 4 0 11412581 1366888448 275415 33554432000 4194304 16246674 140733442801920 140733442801096 5722052 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20946/statm: 333713 275415 874 2943 0 330607 0
[pid=20946/tid=20947] ppid=20943 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20947/stat : 20947 (toysat) S 20943 20946 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11412581 1366888448 275415 33554432000 4194304 16246674 140733442801920 140324396575984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20946/tid=20948] ppid=20943 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20948/stat : 20948 (toysat) S 20943 20946 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11412581 1366888448 275415 33554432000 4194304 16246674 140733442801920 140324386086128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20946/tid=20949] ppid=20943 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/20946/task/20949/stat : 20949 (toysat) S 20943 20946 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11412581 1366888448 275415 33554432000 4194304 16246674 140733442801920 140324299074736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1334852

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.11
CPU user time (s): 1798.49
CPU system time (s): 1.61375
CPU usage (%): 99.9721
Max. virtual memory (cumulated for all children) (KiB): 1334852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.49
system time used= 1.61375
maximum resident set size= 1101660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275203
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= 381
involuntary context switches= 1837

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.48632 second user time and 7.03193 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-16 18:14:28
IDJOB=4093717
IDBENCH=79186
IDSOLVER=2553
FILE ID=node139/4093717-1466093668
RUNJOBID= node139-1466075487-16983
PBS_JOBID= 19904001
Free space on /tmp= 71612 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-65-60--soft-0-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-4093717-1466093668/watcher-4093717-1466093668 -o /tmp/evaluation-result-4093717-1466093668/solver-4093717-1466093668 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466075487-16983 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093717-1466093668.wbo

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

MD5SUM BENCH= 2e8bafba6181eaf32525647669a5fbcc
RANDOM SEED=1722873862

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.500
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:        29326360 kB
Buffers:           49296 kB
Cached:           115548 kB
SwapCached:          960 kB
Active:          1178280 kB
Inactive:          84548 kB
Active(anon):    1099056 kB
Inactive(anon):     1240 kB
Active(file):      79224 kB
Inactive(file):    83308 kB
Unevictable:     1579836 kB
Mlocked:         1402008 kB
SwapTotal:      67108856 kB
SwapFree:       67100120 kB
Dirty:             16324 kB
Writeback:             0 kB
AnonPages:       2677252 kB
Mapped:            10616 kB
Shmem:                 0 kB
Slab:             569104 kB
SReclaimable:      13212 kB
SUnreclaim:       555892 kB
KernelStack:        1456 kB
PageTables:         9064 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2820568 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    180224 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= 71596 MiB
End job on node139 at 2016-06-16 18:44:29