Trace number 4110354

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-02OPTIMUM 1483.83 1484.15

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900576927--soft-0-100-0.wbo
MD5SUM181256eb24986712688255c971de86f9
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 benchmark48.21
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 135715
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 135714
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 671
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c 2016-06-19T16:01:53+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-4110354-1466344913.wbo"]
0.00/0.01	c use --random-gen="14401244 2122072701 131481216 1697480967 2709626924 3251321193 3942945554 1377976545 4177080678 4279271654 2612821356 1451426434 3195720199 1446185344 1820551647 2665077480 3742735241 1989310082 2726375656 156046303 1723325167 4111720274 507403252 2152232598 1345871043 1426906739 570645350 145480292 3947475467 2271266862 399931786 1836040317 2657659304 1926215992 3843008743 14821876 3099435542 3707118677 738759654 3606225125 2183440172 3132114429 463393382 518600100 1336039697 2227018476 3615263081 1014459861 3151498207 3021966283 1060676143 1366983424 139878204 1105249423 428211549 866522526 2445888190 3255225202 665778575 2578901241 1614724201 719644146 618428749 4091504129 1924307459 3151833619 2603037214 1954399492 1281794047 1788365101 1198387677 633039968 158502337 3789172319 4070274620 1709954008 757822078 732522154 1484973358 667403482 1522855599 2918687203 2753042104 2702686926 387868017 3245219909 3081609293 418989003 3678784907 89506281 2950909847 2808750493 4069025781 829957533 362025186 2293302250 3970564890 2797386190 3353367975 545774662 1618378080 3938760084 3847151427 222281209 13580498 2797278919 3948754898 715435338 1954814520 489928502 4136259486 1867445629 1393165178 2370819789 2952063151 2388668339 415870405 66880344 3640356512 639525502 486051734 2094454005 177513262 2063372689 4269717136 548796092 3301896631 1513099205 2860961014 355811154 2053192837 2166833604 2535401827 2782995905 3387921066 2343936932 1809144612 1604244762 4117979181 4197150186 4076013545 3870388297 1594465317 723121947 950791608 3081432161 192861459 2918219134 2135893168 4252493866 3449772457 2476501769 2821982613 1273856681 368804551 390648212 177518071 3595548202 2618784406 589891948 412690788 2955864199 2350661046 3052158276 1195177381 915805017 1519559864 85305978 2153646295 2650447489 3154822189 3641580002 636504087 3602858529 3238383981 1335045780 1152616711 183461262 2948325742 3070470128 177425619 896958271 1273162582 2339610217 1746539703 574941750 2694802882 2841549682 479043663 2204610942 203277235 3837396030 2885076228 2103099264 4285167416 167520610 2001859283 2799383401 3873856508 2444480847 3925210179 2255617670 3281750418 3484927704 3413176276 2392503860 2352951906 1800455525 2399784325 3949307966 2758263867 3618801288 2425142125 2357848923 1337180426 2496272000 1908160414 3526585018 2978777687 3432248299 3128098945 2633018324 646705404 2284480264 3662162286 2621134225 512816177 2451669203 4006995005 2892018855 209845816 2882382204 847832540 3821021565 542094023 2058866956 2410225683 2686091835 652413034 4209080490 37660717 3261048281 2436411436 3615744796 610272913 1114211205 2378924981 2763797951 3789586879 3646987357 2401301593 746588487 1211086151 454209913 1857475906 2679208025 255 362436" option to reproduce the execution
0.09/0.17	c #vars 231
0.09/0.17	c #constraints 2707
0.19/0.22	c BCD2: Hardening is enabled.
0.19/0.22	c BCD2: BiasedSearch is enabled.
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 |     1881      0 |        0 |        0
0.19/0.23	c  0.0s |       0 |     2718 |        0 |     1881      0 |        0 |        0
0.19/0.23	c #cpu_time = 0.017s
0.19/0.23	c #wall_clock_time = 0.017s
0.19/0.23	c #decision = 2718
0.19/0.23	c #random_decision = 16
0.19/0.23	c #conflict = 0
0.19/0.23	c #restart = 0
0.19/0.24	o 479
0.19/0.24	c BCD2: updating upper bound: 135714 -> 478
0.19/0.26	c BCD2: 0 <= obj <= 478
0.19/0.26	c BCD2: #cores=0, #unrelaxed=2707, #relaxed=0, #hardened=0
0.19/0.26	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.26	c Solving starts ...
0.19/0.26	c ============================[ Search Statistics ]============================
0.19/0.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.26	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.26	c =============================================================================
0.19/0.26	c  0.0s |       0 |        0 |        0 |     1881      0 |        0 |        0
0.19/0.28	c  0.0s |       1 |     2908 |      100 |     1881      0 |        0 |        0
0.29/0.34	c  0.1s |       2 |     5847 |      250 |     2070      0 |        0 |        0
0.39/0.40	c  0.1s |       3 |     8855 |      475 |     2277      0 |        0 |        0
0.49/0.51	c  0.3s |       4 |    12034 |      813 |     2505      0 |        0 |        0
0.59/0.68	c  0.4s |       5 |    15423 |     1320 |     2756      0 |        0 |        0
1.09/1.12	c  0.9s |       6 |    19144 |     2081 |     3336      0 |        0 |        0
1.89/1.92	c  1.7s |       7 |    23337 |     3223 |     3670      0 |        0 |        0
2.49/2.57	c  2.3s |       8 |    28413 |     4936 |     4038      0 |        0 |        0
3.89/3.96	c  3.7s |       9 |    34799 |     7506 |     4442      1 |        0 |        0
5.99/6.06	c  5.8s |       9 |    41144 |    10206 |     4442      2 |        0 |        0
7.29/7.34	c  7.1s |      10 |    42593 |    11361 |     4887      2 |        0 |        0
9.39/9.48	c  9.2s |      10 |    47539 |    13061 |     4887      3 |        0 |        0
11.49/11.52	c 11.3s |      10 |    49592 |    14661 |     4887      3 |        0 |        0
13.49/13.52	c 13.3s |      10 |    51559 |    16161 |     4887      4 |        0 |        0
13.88/13.98	c 13.7s |      11 |    52945 |    17144 |     5376      4 |        0 |        0
15.98/16.03	c 15.8s |      11 |    60110 |    20444 |     5376      5 |        0 |        0
17.98/18.07	c 17.8s |      11 |    64079 |    23444 |     5376      5 |        0 |        0
19.28/19.33	c 19.1s |      12 |    67178 |    25819 |     5914      6 |        0 |        0
21.28/21.40	c 21.1s |      12 |    73476 |    28719 |     5914      6 |        0 |        0
23.38/23.48	c 23.2s |      12 |    76278 |    31019 |     5914      7 |        0 |        0
25.49/25.52	c 25.3s |      12 |    79166 |    33319 |     5914      8 |        0 |        0
27.49/27.57	c 27.3s |      12 |    82647 |    36019 |     5914      8 |        0 |        0
29.59/29.62	c 29.4s |      12 |    85337 |    38219 |     5914      9 |        0 |        0
30.19/30.24	c 30.0s |      13 |    86147 |    38832 |     6506      9 |        0 |        0
32.19/32.29	c 32.0s |      13 |    90583 |    40232 |     6506      9 |        0 |        0
34.38/34.41	c 34.2s |      13 |    92498 |    41732 |     6506      9 |        0 |        0
36.39/36.48	c 36.2s |      13 |    93956 |    42932 |     6506     10 |        0 |        0
38.49/38.52	c 38.3s |      13 |    96180 |    44732 |     6506     10 |        0 |        0
40.48/40.53	c 40.3s |      13 |    97893 |    46132 |     6506     10 |        0 |        0
42.48/42.57	c 42.3s |      13 |    99311 |    47232 |     6506     10 |        0 |        0
44.58/44.66	c 44.4s |      13 |   100288 |    48032 |     6506     11 |        0 |        0
46.68/46.70	c 46.4s |      13 |   101582 |    49032 |     6506     11 |        0 |        0
48.68/48.74	c 48.5s |      13 |   106365 |    52632 |     6506     12 |        0 |        0
50.78/50.80	c 50.5s |      13 |   110189 |    55632 |     6506     12 |        0 |        0
52.78/52.83	c 52.6s |      13 |   113502 |    58232 |     7157     13 |        0 |        0
52.88/52.91	c 52.7s |      14 |   113640 |    58352 |     7157     13 |        0 |        0
54.88/54.99	c 54.7s |      14 |   119469 |    60752 |     7157     13 |        0 |        0
56.98/57.04	c 56.8s |      14 |   122801 |    62952 |     7157     14 |        0 |        0
59.08/59.10	c 58.8s |      14 |   125567 |    65052 |     7157     14 |        0 |        0
61.08/61.11	c 60.9s |      14 |   127598 |    66652 |     7157     14 |        0 |        0
63.08/63.19	c 62.9s |      14 |   129824 |    68352 |     7157     15 |        0 |        0
65.18/65.26	c 65.0s |      14 |   131854 |    69952 |     7157     15 |        0 |        0
67.28/67.36	c 67.1s |      14 |   134262 |    71852 |     7157     15 |        0 |        0
69.28/69.38	c 69.1s |      14 |   136136 |    73452 |     7157     16 |        0 |        0
71.48/71.52	c 71.3s |      14 |   138034 |    75052 |     7157     16 |        0 |        0
73.48/73.58	c 73.3s |      14 |   139543 |    76252 |     7157     16 |        0 |        0
75.67/75.76	c 75.5s |      14 |   141068 |    77352 |     7157     17 |        0 |        0
77.78/77.88	c 77.6s |      14 |   143147 |    79052 |     7157     17 |        0 |        0
79.88/79.92	c 79.7s |      14 |   144704 |    80352 |     7157     17 |        0 |        0
81.88/81.96	c 81.7s |      14 |   146080 |    81452 |     7157     17 |        0 |        0
83.97/84.08	c 83.8s |      14 |   147422 |    82552 |     7157     18 |        0 |        0
86.07/86.16	c 85.9s |      14 |   148855 |    83752 |     7157     18 |        0 |        0
88.18/88.20	c 87.9s |      14 |   150660 |    85152 |     7157     18 |        0 |        0
90.08/90.20	c 89.9s |      14 |   152451 |    86552 |     7157     18 |        0 |        0
91.68/91.72	c 91.5s |      15 |   153804 |    87632 |     7873     19 |        0 |        0
93.68/93.75	c 93.5s |      15 |   159392 |    89832 |     7873     19 |        0 |        0
95.68/95.75	c 95.5s |      15 |   162270 |    91832 |     7873     19 |        0 |        0
97.78/97.81	c 97.6s |      15 |   165278 |    93932 |     7873     20 |        0 |        0
99.77/99.87	c 99.6s |      15 |   167677 |    95732 |     7873     20 |        0 |        0
101.97/102.01	c  101s |      15 |   169992 |    97232 |     7873     20 |        0 |        0
103.97/104.05	c  103s |      15 |   172198 |    98832 |     7873     21 |        0 |        0
106.17/106.22	c  105s |      15 |   174344 |   100332 |     7873     21 |        0 |        0
108.17/108.28	c  108s |      15 |   176305 |   101732 |     7873     21 |        0 |        0
110.27/110.38	c  110s |      15 |   177913 |   102932 |     7873     21 |        0 |        0
112.37/112.44	c  112s |      15 |   179639 |   104132 |     7873     22 |        0 |        0
114.38/114.47	c  114s |      15 |   182883 |   106332 |     7873     22 |        0 |        0
116.37/116.47	c  116s |      15 |   186357 |   108132 |     7873     22 |        0 |        0
118.48/118.50	c  118s |      15 |   189719 |   110232 |     7873     23 |        0 |        0
120.57/120.63	c  120s |      15 |   192665 |   112232 |     7873     23 |        0 |        0
122.57/122.64	c  122s |      15 |   195105 |   113832 |     7873     24 |        0 |        0
124.77/124.80	c  124s |      15 |   197973 |   115532 |     7873     24 |        0 |        0
126.87/126.94	c  126s |      15 |   199603 |   116732 |     7873     24 |        0 |        0
128.97/129.04	c  128s |      15 |   201169 |   117832 |     7873     24 |        0 |        0
131.07/131.17	c  130s |      15 |   202540 |   118832 |     7873     24 |        0 |        0
133.17/133.28	c  133s |      15 |   204706 |   120332 |     7873     25 |        0 |        0
135.28/135.37	c  135s |      15 |   207380 |   122232 |     7873     25 |        0 |        0
137.37/137.43	c  137s |      15 |   209168 |   123532 |     7873     25 |        0 |        0
139.46/139.54	c  139s |      15 |   211050 |   124832 |     7873     26 |        0 |        0
141.47/141.59	c  141s |      15 |   213037 |   126232 |     7873     26 |        0 |        0
143.67/143.74	c  143s |      15 |   214465 |   127432 |     7873     26 |        0 |        0
145.77/145.86	c  145s |      15 |   215767 |   128532 |     7873     26 |        0 |        0
147.87/147.94	c  147s |      15 |   217851 |   130132 |     7873     27 |        0 |        0
149.67/149.75	c  149s |      16 |   219738 |   131552 |     8661     27 |        0 |        0
151.78/151.90	c  151s |      16 |   223995 |   132652 |     8661     27 |        0 |        0
153.97/154.01	c  153s |      16 |   226379 |   134152 |     8661     27 |        0 |        0
155.97/156.06	c  155s |      16 |   228886 |   135752 |     8661     27 |        0 |        0
158.17/158.21	c  157s |      16 |   231007 |   137252 |     8661     28 |        0 |        0
160.26/160.37	c  160s |      16 |   232840 |   138552 |     8661     28 |        0 |        0
162.36/162.46	c  162s |      16 |   234646 |   139752 |     8661     28 |        0 |        0
164.46/164.57	c  164s |      16 |   235938 |   140752 |     8661     28 |        0 |        0
166.67/166.77	c  166s |      16 |   236882 |   141552 |     8661     28 |        0 |        0
168.76/168.81	c  168s |      16 |   237980 |   142252 |     8661     29 |        0 |        0
170.76/170.89	c  170s |      16 |   239998 |   143552 |     8661     29 |        0 |        0
172.96/173.03	c  172s |      16 |   243005 |   145552 |     8661     29 |        0 |        0
175.07/175.10	c  174s |      16 |   245626 |   147252 |     8661     29 |        0 |        0
177.07/177.13	c  176s |      16 |   247928 |   148752 |     8661     30 |        0 |        0
179.16/179.22	c  178s |      16 |   249907 |   150152 |     8661     30 |        0 |        0
181.26/181.30	c  181s |      16 |   252622 |   151952 |     8661     30 |        0 |        0
183.26/183.32	c  183s |      16 |   254248 |   153152 |     8661     31 |        0 |        0
185.56/185.61	c  185s |      16 |   255942 |   154352 |     8661     31 |        0 |        0
187.66/187.76	c  187s |      16 |   258487 |   156252 |     8661     31 |        0 |        0
189.86/189.90	c  189s |      16 |   260683 |   157952 |     8661     31 |        0 |        0
191.96/192.00	c  191s |      16 |   262076 |   159052 |     8661     32 |        0 |        0
193.96/194.06	c  193s |      16 |   263659 |   160352 |     8661     32 |        0 |        0
196.06/196.11	c  195s |      16 |   265048 |   161452 |     8661     32 |        0 |        0
198.36/198.44	c  198s |      16 |   266618 |   162552 |     8661     32 |        0 |        0
200.56/200.63	c  200s |      16 |   268220 |   163652 |     8661     32 |        0 |        0
202.66/202.70	c  202s |      16 |   269635 |   164752 |     8661     33 |        0 |        0
204.76/204.82	c  204s |      16 |   271544 |   166152 |     8661     33 |        0 |        0
206.76/206.87	c  206s |      16 |   272959 |   167152 |     8661     33 |        0 |        0
208.86/208.97	c  208s |      16 |   274355 |   168152 |     8661     33 |        0 |        0
211.05/211.12	c  210s |      16 |   275610 |   169152 |     8661     33 |        0 |        0
213.26/213.33	c  213s |      16 |   276924 |   170052 |     8661     33 |        0 |        0
215.36/215.41	c  215s |      16 |   278532 |   171052 |     8661     34 |        0 |        0
217.36/217.45	c  217s |      16 |   280651 |   172352 |     8661     34 |        0 |        0
219.45/219.55	c  219s |      16 |   283118 |   174052 |     8661     34 |        0 |        0
221.55/221.67	c  221s |      16 |   285456 |   175652 |     8661     34 |        0 |        0
223.66/223.72	c  223s |      16 |   287368 |   176952 |     8661     35 |        0 |        0
225.75/225.83	c  225s |      16 |   289389 |   178352 |     8661     35 |        0 |        0
227.85/227.90	c  227s |      16 |   291469 |   179752 |     8661     35 |        0 |        0
229.87/230.00	c  229s |      16 |   293065 |   180852 |     8661     35 |        0 |        0
232.06/232.15	c  231s |      16 |   294706 |   181952 |     8661     36 |        0 |        0
234.06/234.20	c  233s |      16 |   296046 |   182952 |     8661     36 |        0 |        0
236.16/236.26	c  236s |      16 |   297540 |   183952 |     8661     36 |        0 |        0
238.25/238.34	c  238s |      16 |   299608 |   185352 |     8661     36 |        0 |        0
240.25/240.37	c  240s |      16 |   301233 |   186452 |     8661     36 |        0 |        0
242.45/242.58	c  242s |      16 |   302653 |   187452 |     8661     37 |        0 |        0
244.65/244.75	c  244s |      16 |   304280 |   188752 |     8661     37 |        0 |        0
246.85/246.92	c  246s |      16 |   306146 |   189952 |     8661     37 |        0 |        0
248.95/249.03	c  248s |      16 |   307937 |   191052 |     8661     37 |        0 |        0
251.05/251.12	c  250s |      16 |   309543 |   192152 |     8661     37 |        0 |        0
253.25/253.32	c  253s |      16 |   311036 |   193152 |     8661     38 |        0 |        0
255.25/255.33	c  255s |      16 |   312404 |   194052 |     8661     38 |        0 |        0
257.46/257.57	c  257s |      16 |   314229 |   195152 |     8661     38 |        0 |        0
259.66/259.79	c  259s |      16 |   315457 |   195952 |     8661     38 |        0 |        0
261.65/261.80	c  261s |      16 |   317454 |   197352 |     9528     38 |        0 |        0
261.85/261.92	c  261s |      17 |   317552 |   197432 |     9528     38 |        0 |        0
263.84/263.99	c  263s |      17 |   322453 |   198932 |     9528     39 |        0 |        0
265.95/266.01	c  265s |      17 |   324336 |   200232 |     9528     39 |        0 |        0
267.95/268.08	c  267s |      17 |   326562 |   201632 |     9528     39 |        0 |        0
270.05/270.14	c  269s |      17 |   328976 |   203132 |     9528     39 |        0 |        0
272.35/272.41	c  272s |      17 |   331295 |   204732 |     9528     40 |        0 |        0
274.35/274.47	c  274s |      17 |   333298 |   206132 |     9528     40 |        0 |        0
276.54/276.63	c  276s |      17 |   334755 |   207332 |     9528     40 |        0 |        0
278.64/278.72	c  278s |      17 |   337139 |   208732 |     9528     40 |        0 |        0
280.65/280.79	c  280s |      17 |   339484 |   210032 |     9528     40 |        0 |        0
282.65/282.80	c  282s |      17 |   340930 |   210932 |     9528     41 |        0 |        0
284.85/284.97	c  284s |      17 |   342471 |   211932 |     9528     41 |        0 |        0
286.85/286.99	c  286s |      17 |   344146 |   213032 |     9528     41 |        0 |        0
289.05/289.12	c  288s |      17 |   345817 |   214232 |     9528     41 |        0 |        0
291.14/291.21	c  290s |      17 |   346846 |   215032 |     9528     41 |        0 |        0
293.14/293.28	c  293s |      17 |   348087 |   215932 |     9528     41 |        0 |        0
295.45/295.56	c  295s |      17 |   349259 |   216832 |     9528     41 |        0 |        0
297.55/297.67	c  297s |      17 |   350180 |   217532 |     9528     42 |        0 |        0
299.64/299.76	c  299s |      17 |   351593 |   218532 |     9528     42 |        0 |        0
301.84/301.93	c  301s |      17 |   353304 |   219732 |     9528     42 |        0 |        0
303.85/303.97	c  303s |      17 |   354508 |   220532 |     9528     42 |        0 |        0
306.24/306.30	c  306s |      17 |   355672 |   221332 |     9528     42 |        0 |        0
308.24/308.38	c  308s |      17 |   357142 |   222332 |     9528     42 |        0 |        0
310.34/310.48	c  310s |      17 |   358533 |   223232 |     9528     43 |        0 |        0
312.74/312.82	c  312s |      17 |   360200 |   224332 |     9528     43 |        0 |        0
314.94/315.01	c  314s |      17 |   361639 |   225432 |     9528     43 |        0 |        0
317.04/317.12	c  316s |      17 |   362885 |   226432 |     9528     43 |        0 |        0
319.14/319.27	c  319s |      17 |   364208 |   227432 |     9528     43 |        0 |        0
321.44/321.52	c  321s |      17 |   365341 |   228232 |     9528     43 |        0 |        0
323.74/323.80	c  323s |      17 |   366577 |   229232 |     9528     43 |        0 |        0
325.94/326.08	c  325s |      17 |   367471 |   229932 |     9528     44 |        0 |        0
328.14/328.26	c  328s |      17 |   368637 |   230732 |     9528     44 |        0 |        0
330.44/330.55	c  330s |      17 |   370287 |   231832 |     9528     44 |        0 |        0
332.54/332.67	c  332s |      17 |   371600 |   232732 |     9528     44 |        0 |        0
334.74/334.84	c  334s |      17 |   372936 |   233732 |     9528     44 |        0 |        0
336.84/336.92	c  336s |      17 |   374285 |   234832 |     9528     44 |        0 |        0
338.84/338.98	c  338s |      17 |   375432 |   235632 |     9528     45 |        0 |        0
341.05/341.12	c  340s |      17 |   376754 |   236632 |     9528     45 |        0 |        0
343.15/343.28	c  343s |      17 |   378375 |   237632 |     9528     45 |        0 |        0
345.34/345.41	c  345s |      17 |   379753 |   238532 |     9528     45 |        0 |        0
347.54/347.65	c  347s |      17 |   381138 |   239432 |     9528     45 |        0 |        0
349.63/349.72	c  349s |      17 |   382540 |   240332 |     9528     45 |        0 |        0
351.84/351.94	c  351s |      17 |   383657 |   241132 |     9528     45 |        0 |        0
353.94/354.05	c  353s |      17 |   384802 |   241832 |     9528     46 |        0 |        0
356.04/356.10	c  355s |      17 |   386100 |   242632 |     9528     46 |        0 |        0
358.04/358.16	c  357s |      17 |   388229 |   244232 |     9528     46 |        0 |        0
360.13/360.26	c  360s |      17 |   389787 |   245232 |     9528     46 |        0 |        0
362.33/362.44	c  362s |      17 |   391096 |   246132 |     9528     46 |        0 |        0
364.44/364.50	c  364s |      17 |   391973 |   246832 |     9528     46 |        0 |        0
366.63/366.72	c  366s |      17 |   392913 |   247532 |     9528     46 |        0 |        0
368.63/368.74	c  368s |      17 |   393722 |   248132 |     9528     47 |        0 |        0
370.63/370.79	c  370s |      17 |   394694 |   248732 |     9528     47 |        0 |        0
372.64/372.79	c  372s |      17 |   395395 |   249232 |     9528     47 |        0 |        0
374.73/374.80	c  374s |      17 |   397718 |   250632 |     9528     47 |        0 |        0
376.73/376.82	c  376s |      17 |   399477 |   251832 |     9528     47 |        0 |        0
378.73/378.83	c  378s |      17 |   401296 |   253132 |     9528     47 |        0 |        0
380.94/381.01	c  380s |      17 |   402572 |   254032 |     9528     48 |        0 |        0
382.93/383.07	c  382s |      17 |   404104 |   255132 |     9528     48 |        0 |        0
384.94/385.09	c  384s |      17 |   405535 |   256132 |     9528     48 |        0 |        0
387.03/387.15	c  386s |      17 |   406876 |   257032 |     9528     48 |        0 |        0
389.13/389.28	c  389s |      17 |   408301 |   258032 |     9528     48 |        0 |        0
391.23/391.39	c  391s |      17 |   409830 |   259032 |     9528     48 |        0 |        0
393.43/393.53	c  393s |      17 |   411305 |   260032 |     9528     48 |        0 |        0
395.73/395.86	c  395s |      17 |   412643 |   260932 |     9528     49 |        0 |        0
397.73/397.88	c  397s |      17 |   414487 |   262032 |     9528     49 |        0 |        0
399.93/400.03	c  399s |      17 |   416110 |   263132 |     9528     49 |        0 |        0
401.93/402.05	c  401s |      17 |   417493 |   264132 |     9528     49 |        0 |        0
404.02/404.13	c  403s |      17 |   418812 |   265032 |     9528     49 |        0 |        0
406.02/406.16	c  405s |      17 |   420456 |   266032 |     9528     49 |        0 |        0
408.04/408.17	c  407s |      17 |   421742 |   266832 |     9528     50 |        0 |        0
410.03/410.19	c  409s |      17 |   422811 |   267632 |     9528     50 |        0 |        0
412.13/412.23	c  411s |      17 |   424393 |   268732 |     9528     50 |        0 |        0
414.23/414.37	c  414s |      17 |   426740 |   270332 |     9528     50 |        0 |        0
416.33/416.46	c  416s |      17 |   428561 |   271532 |     9528     50 |        0 |        0
418.72/418.82	c  418s |      17 |   429761 |   272432 |     9528     51 |        0 |        0
420.82/420.96	c  420s |      17 |   431104 |   273332 |     9528     51 |        0 |        0
423.13/423.22	c  422s |      17 |   432126 |   274032 |     9528     51 |        0 |        0
425.23/425.33	c  425s |      17 |   433196 |   274832 |     9528     51 |        0 |        0
427.22/427.36	c  427s |      17 |   434527 |   275732 |     9528     51 |        0 |        0
429.33/429.43	c  429s |      17 |   435741 |   276632 |     9528     51 |        0 |        0
431.33/431.44	c  431s |      17 |   436905 |   277532 |     9528     51 |        0 |        0
433.62/433.72	c  433s |      17 |   437881 |   278332 |     9528     51 |        0 |        0
435.63/435.78	c  435s |      17 |   439606 |   279432 |     9528     52 |        0 |        0
437.63/437.80	c  437s |      17 |   441142 |   280532 |     9528     52 |        0 |        0
439.72/439.83	c  439s |      17 |   442330 |   281332 |     9528     52 |        0 |        0
441.92/442.02	c  441s |      17 |   443712 |   282232 |     9528     52 |        0 |        0
443.93/444.05	c  443s |      17 |   444749 |   282932 |     9528     52 |        0 |        0
445.93/446.09	c  445s |      17 |   446083 |   283832 |     9528     52 |        0 |        0
448.32/448.49	c  448s |      17 |   447166 |   284632 |     9528     53 |        0 |        0
450.52/450.64	c  450s |      17 |   448909 |   285932 |     9528     53 |        0 |        0
452.62/452.72	c  452s |      17 |   451164 |   287632 |     9528     53 |        0 |        0
454.72/454.85	c  454s |      17 |   453247 |   289132 |     9528     53 |        0 |        0
456.82/456.95	c  456s |      17 |   454979 |   290432 |     9528     53 |        0 |        0
458.92/459.01	c  458s |      17 |   456551 |   291532 |     9528     54 |        0 |        0
461.02/461.11	c  460s |      17 |   458468 |   292832 |     9528     54 |        0 |        0
463.13/463.26	c  463s |      17 |   459917 |   293832 |     9528     54 |        0 |        0
465.12/465.26	c  465s |      17 |   460970 |   294632 |    10481     54 |        0 |        0
467.22/467.30	c  467s |      17 |   462146 |   295532 |    10481     54 |        0 |        0
468.63/468.79	c  468s |      18 |   463121 |   296252 |    10481     54 |        0 |        0
470.73/470.82	c  470s |      18 |   467764 |   297552 |    10481     55 |        0 |        0
472.82/472.99	c  472s |      18 |   469296 |   298752 |    10481     55 |        0 |        0
474.92/475.04	c  474s |      18 |   470443 |   299652 |    10481     55 |        0 |        0
477.22/477.33	c  477s |      18 |   471685 |   300552 |    10481     55 |        0 |        0
479.31/479.44	c  479s |      18 |   472855 |   301352 |    10481     55 |        0 |        0
481.41/481.58	c  481s |      18 |   474051 |   302252 |    10481     55 |        0 |        0
483.52/483.67	c  483s |      18 |   475512 |   303352 |    10481     55 |        0 |        0
485.72/485.82	c  485s |      18 |   476602 |   304152 |    10481     56 |        0 |        0
487.71/487.86	c  487s |      18 |   477727 |   305052 |    10481     56 |        0 |        0
489.81/489.93	c  489s |      18 |   478748 |   305852 |    10481     56 |        0 |        0
491.81/491.99	c  491s |      18 |   479820 |   306652 |    10481     56 |        0 |        0
494.22/494.31	c  494s |      18 |   481491 |   307952 |    10481     56 |        0 |        0
496.21/496.37	c  496s |      18 |   482807 |   308952 |    10481     56 |        0 |        0
498.32/498.46	c  498s |      18 |   483923 |   309852 |    10481     56 |        0 |        0
500.52/500.65	c  500s |      18 |   484630 |   310452 |    10481     57 |        0 |        0
502.62/502.71	c  502s |      18 |   486000 |   311452 |    10481     57 |        0 |        0
504.61/504.78	c  504s |      18 |   487453 |   312552 |    10481     57 |        0 |        0
506.71/506.85	c  506s |      18 |   488867 |   313552 |    10481     57 |        0 |        0
509.01/509.18	c  508s |      18 |   490110 |   314452 |    10481     57 |        0 |        0
511.11/511.20	c  510s |      18 |   491437 |   315452 |    10481     57 |        0 |        0
513.11/513.24	c  512s |      18 |   493368 |   316852 |    10481     57 |        0 |        0
515.22/515.35	c  515s |      18 |   494848 |   317852 |    10481     58 |        0 |        0
517.31/517.40	c  517s |      18 |   496638 |   319152 |    10481     58 |        0 |        0
519.51/519.60	c  519s |      18 |   498200 |   320352 |    10481     58 |        0 |        0
521.61/521.70	c  521s |      18 |   499258 |   321152 |    10481     58 |        0 |        0
523.71/523.85	c  523s |      18 |   500309 |   321952 |    10481     58 |        0 |        0
525.82/525.90	c  525s |      18 |   501246 |   322652 |    10481     58 |        0 |        0
528.11/528.23	c  527s |      18 |   502606 |   323652 |    10481     59 |        0 |        0
530.21/530.31	c  530s |      18 |   504015 |   324652 |    10481     59 |        0 |        0
532.31/532.41	c  532s |      18 |   505470 |   325752 |    10481     59 |        0 |        0
534.41/534.60	c  534s |      18 |   506809 |   326852 |    10481     59 |        0 |        0
536.51/536.63	c  536s |      18 |   507915 |   327752 |    10481     59 |        0 |        0
538.60/538.78	c  538s |      18 |   509012 |   328652 |    10481     59 |        0 |        0
540.71/540.80	c  540s |      18 |   510174 |   329452 |    10481     59 |        0 |        0
542.70/542.81	c  542s |      18 |   511331 |   330252 |    10481     60 |        0 |        0
544.70/544.87	c  544s |      18 |   512436 |   331052 |    10481     60 |        0 |        0
546.71/546.87	c  546s |      18 |   513726 |   331952 |    10481     60 |        0 |        0
548.70/548.88	c  548s |      18 |   516458 |   334052 |    10481     60 |        0 |        0
550.69/550.89	c  550s |      18 |   518008 |   335252 |    10481     60 |        0 |        0
552.80/552.97	c  552s |      18 |   519530 |   336352 |    10481     60 |        0 |        0
555.00/555.12	c  554s |      18 |   520647 |   337152 |    10481     61 |        0 |        0
557.09/557.22	c  556s |      18 |   522012 |   338252 |    10481     61 |        0 |        0
559.09/559.29	c  559s |      18 |   523126 |   339152 |    10481     61 |        0 |        0
561.28/561.40	c  561s |      18 |   524482 |   340252 |    10481     61 |        0 |        0
563.29/563.41	c  563s |      18 |   525941 |   341352 |    10481     61 |        0 |        0
565.30/565.42	c  565s |      18 |   527108 |   342252 |    10481     61 |        0 |        0
567.38/567.50	c  567s |      18 |   528427 |   343352 |    10481     61 |        0 |        0
569.39/569.50	c  569s |      18 |   529258 |   343952 |    10481     62 |        0 |        0
571.58/571.78	c  571s |      18 |   530344 |   344752 |    10481     62 |        0 |        0
573.68/573.83	c  573s |      18 |   531396 |   345452 |    10481     62 |        0 |        0
575.88/576.06	c  575s |      18 |   532470 |   346252 |    10481     62 |        0 |        0
578.07/578.24	c  577s |      18 |   533947 |   347252 |    10481     62 |        0 |        0
580.18/580.36	c  580s |      18 |   535844 |   348452 |    10481     62 |        0 |        0
582.28/582.43	c  582s |      18 |   537245 |   349452 |    10481     62 |        0 |        0
584.48/584.62	c  584s |      18 |   538171 |   350152 |    10481     63 |        0 |        0
586.47/586.62	c  586s |      18 |   539227 |   350952 |    10481     63 |        0 |        0
588.67/588.87	c  588s |      18 |   540210 |   351652 |    10481     63 |        0 |        0
590.77/590.98	c  590s |      18 |   541322 |   352452 |    10481     63 |        0 |        0
592.97/593.16	c  592s |      18 |   542828 |   353452 |    10481     63 |        0 |        0
595.08/595.22	c  594s |      18 |   543986 |   354352 |    10481     63 |        0 |        0
597.27/597.44	c  597s |      18 |   545050 |   355152 |    10481     63 |        0 |        0
599.37/599.56	c  599s |      18 |   546000 |   355852 |    10481     63 |        0 |        0
601.57/601.76	c  601s |      18 |   546762 |   356452 |    10481     63 |        0 |        0
603.66/603.89	c  603s |      18 |   547435 |   356952 |    10481     64 |        0 |        0
605.86/606.02	c  605s |      18 |   548040 |   357452 |    10481     64 |        0 |        0
608.06/608.27	c  608s |      18 |   549120 |   358252 |    10481     64 |        0 |        0
610.16/610.34	c  610s |      18 |   550170 |   359052 |    10481     64 |        0 |        0
612.35/612.55	c  612s |      18 |   551198 |   359752 |    10481     64 |        0 |        0
614.46/614.66	c  614s |      18 |   552962 |   360852 |    10481     64 |        0 |        0
616.66/616.80	c  616s |      18 |   554796 |   361952 |    10481     64 |        0 |        0
618.75/618.91	c  618s |      18 |   556368 |   363052 |    10481     64 |        0 |        0
620.75/620.98	c  620s |      18 |   557855 |   364052 |    10481     65 |        0 |        0
622.95/623.10	c  622s |      18 |   559294 |   365152 |    10481     65 |        0 |        0
625.05/625.28	c  625s |      18 |   560856 |   366152 |    10481     65 |        0 |        0
627.24/627.41	c  627s |      18 |   562276 |   367152 |    10481     65 |        0 |        0
629.24/629.44	c  629s |      18 |   563586 |   368052 |    10481     65 |        0 |        0
631.25/631.49	c  631s |      18 |   565485 |   369352 |    10481     65 |        0 |        0
633.24/633.49	c  633s |      18 |   567197 |   370452 |    10481     66 |        0 |        0
635.35/635.52	c  635s |      18 |   569412 |   371952 |    10481     66 |        0 |        0
637.34/637.54	c  637s |      18 |   571106 |   373252 |    10481     66 |        0 |        0
639.44/639.60	c  639s |      18 |   572596 |   374452 |    10481     66 |        0 |        0
641.44/641.62	c  641s |      18 |   573921 |   375452 |    10481     66 |        0 |        0
643.44/643.66	c  643s |      18 |   575219 |   376452 |    10481     66 |        0 |        0
645.64/645.86	c  645s |      18 |   576256 |   377252 |    10481     67 |        0 |        0
647.63/647.90	c  647s |      18 |   577308 |   378152 |    10481     67 |        0 |        0
649.94/650.15	c  649s |      18 |   578553 |   379052 |    10481     67 |        0 |        0
652.04/652.22	c  651s |      18 |   579483 |   379752 |    10481     67 |        0 |        0
654.14/654.37	c  654s |      18 |   580804 |   380752 |    10481     67 |        0 |        0
656.23/656.47	c  656s |      18 |   582546 |   381852 |    10481     67 |        0 |        0
658.33/658.53	c  658s |      18 |   584346 |   383052 |    10481     67 |        0 |        0
660.32/660.56	c  660s |      18 |   585809 |   384052 |    10481     68 |        0 |        0
662.43/662.65	c  662s |      18 |   586912 |   384852 |    10481     68 |        0 |        0
664.43/664.68	c  664s |      18 |   588355 |   385852 |    10481     68 |        0 |        0
666.53/666.78	c  666s |      18 |   590060 |   387152 |    10481     68 |        0 |        0
668.63/668.86	c  668s |      18 |   591489 |   388252 |    10481     68 |        0 |        0
670.72/670.93	c  670s |      18 |   592825 |   389252 |    10481     68 |        0 |        0
672.82/673.06	c  672s |      18 |   593836 |   389952 |    10481     69 |        0 |        0
675.02/675.25	c  674s |      18 |   595364 |   390952 |    10481     69 |        0 |        0
677.21/677.48	c  677s |      18 |   597094 |   392052 |    10481     69 |        0 |        0
679.32/679.57	c  679s |      18 |   598307 |   392952 |    10481     69 |        0 |        0
681.61/681.87	c  681s |      18 |   599296 |   393752 |    10481     69 |        0 |        0
683.81/684.07	c  683s |      18 |   600000 |   394352 |    10481     69 |        0 |        0
686.01/686.23	c  685s |      18 |   601303 |   395252 |    10481     69 |        0 |        0
688.20/688.40	c  688s |      18 |   602581 |   396252 |    10481     69 |        0 |        0
690.21/690.40	c  690s |      18 |   603522 |   396952 |    10481     70 |        0 |        0
692.21/692.42	c  692s |      18 |   604767 |   397852 |    10481     70 |        0 |        0
694.31/694.55	c  694s |      18 |   606040 |   398752 |    10481     70 |        0 |        0
696.40/696.62	c  696s |      18 |   607795 |   400052 |    10481     70 |        0 |        0
698.40/698.63	c  698s |      18 |   609183 |   401052 |    10481     70 |        0 |        0
700.60/700.84	c  700s |      18 |   610391 |   401952 |    10481     70 |        0 |        0
702.71/702.98	c  702s |      18 |   611301 |   402652 |    10481     70 |        0 |        0
704.80/705.05	c  704s |      18 |   612278 |   403352 |    10481     71 |        0 |        0
707.00/707.25	c  706s |      18 |   613452 |   404252 |    10481     71 |        0 |        0
709.20/709.48	c  709s |      18 |   614352 |   404952 |    10481     71 |        0 |        0
711.30/711.57	c  711s |      18 |   615736 |   406052 |    10481     71 |        0 |        0
713.59/713.82	c  713s |      18 |   616836 |   406952 |    10481     71 |        0 |        0
715.59/715.86	c  715s |      18 |   617860 |   407752 |    10481     71 |        0 |        0
717.89/718.15	c  717s |      18 |   618959 |   408552 |    10481     71 |        0 |        0
720.20/720.43	c  720s |      18 |   619744 |   409152 |    10481     71 |        0 |        0
722.30/722.53	c  722s |      18 |   620370 |   409652 |    10481     71 |        0 |        0
724.49/724.76	c  724s |      18 |   621085 |   410152 |    10481     72 |        0 |        0
726.69/726.97	c  726s |      18 |   621803 |   410752 |    10481     72 |        0 |        0
728.79/729.00	c  728s |      18 |   622304 |   411152 |    10481     72 |        0 |        0
730.79/731.05	c  730s |      18 |   622769 |   411552 |    10481     72 |        0 |        0
732.79/733.09	c  732s |      18 |   624001 |   412452 |    10481     72 |        0 |        0
734.89/735.12	c  734s |      18 |   625292 |   413452 |    10481     72 |        0 |        0
737.09/737.33	c  737s |      18 |   626657 |   414452 |    10481     72 |        0 |        0
739.19/739.41	c  739s |      18 |   627739 |   415252 |    10481     72 |        0 |        0
741.69/741.91	c  741s |      18 |   629285 |   416452 |    10481     73 |        0 |        0
743.89/744.14	c  743s |      18 |   630724 |   417552 |    10481     73 |        0 |        0
746.09/746.31	c  746s |      18 |   631744 |   418352 |    10481     73 |        0 |        0
748.28/748.52	c  748s |      18 |   632804 |   419152 |    10481     73 |        0 |        0
750.39/750.61	c  750s |      18 |   633498 |   419752 |    10481     73 |        0 |        0
752.69/752.95	c  752s |      18 |   634066 |   420252 |    10481     73 |        0 |        0
754.68/754.96	c  754s |      18 |   634811 |   420852 |    10481     73 |        0 |        0
756.79/757.03	c  756s |      18 |   635563 |   421452 |    10481     73 |        0 |        0
758.89/759.16	c  758s |      18 |   636422 |   422152 |    10481     73 |        0 |        0
761.00/761.22	c  760s |      18 |   637046 |   422652 |    10481     73 |        0 |        0
763.29/763.51	c  763s |      18 |   637853 |   423352 |    10481     74 |        0 |        0
765.29/765.54	c  765s |      18 |   638575 |   423952 |    10481     74 |        0 |        0
767.38/767.61	c  767s |      18 |   639412 |   424652 |    10481     74 |        0 |        0
769.38/769.68	c  769s |      18 |   640287 |   425352 |    10481     74 |        0 |        0
771.39/771.68	c  771s |      18 |   641023 |   425952 |    10481     74 |        0 |        0
773.49/773.72	c  773s |      18 |   641537 |   426352 |    10481     74 |        0 |        0
775.98/776.21	c  775s |      18 |   642307 |   426952 |    10481     74 |        0 |        0
778.08/778.31	c  778s |      18 |   643223 |   427652 |    10481     74 |        0 |        0
780.19/780.41	c  780s |      18 |   644174 |   428352 |    10481     74 |        0 |        0
782.38/782.63	c  782s |      18 |   644939 |   428952 |    10481     74 |        0 |        0
784.78/785.05	c  784s |      18 |   645758 |   429552 |    10481     74 |        0 |        0
786.98/787.25	c  786s |      18 |   646697 |   430252 |    10481     75 |        0 |        0
789.28/789.51	c  789s |      18 |   647924 |   431252 |    10481     75 |        0 |        0
791.38/791.68	c  791s |      18 |   648915 |   432052 |    10481     75 |        0 |        0
793.38/793.68	c  793s |      18 |   649907 |   432852 |    10481     75 |        0 |        0
795.59/795.80	c  795s |      18 |   650619 |   433452 |    10481     75 |        0 |        0
797.88/798.10	c  797s |      18 |   651520 |   434052 |    10481     75 |        0 |        0
800.28/800.52	c  800s |      18 |   652325 |   434652 |    10481     75 |        0 |        0
802.38/802.61	c  802s |      18 |   652854 |   435052 |    10481     75 |        0 |        0
804.88/805.15	c  804s |      18 |   653433 |   435552 |    10481     75 |        0 |        0
807.08/807.32	c  807s |      18 |   653779 |   435852 |    10481     75 |        0 |        0
809.77/810.07	c  809s |      18 |   654415 |   436352 |    10481     76 |        0 |        0
811.88/812.18	c  811s |      18 |   655178 |   436952 |    10481     76 |        0 |        0
814.28/814.59	c  814s |      18 |   655903 |   437552 |    10481     76 |        0 |        0
816.38/816.69	c  816s |      18 |   656543 |   438052 |    10481     76 |        0 |        0
818.68/818.93	c  818s |      18 |   657163 |   438552 |    10481     76 |        0 |        0
820.78/821.08	c  820s |      18 |   657658 |   438952 |    10481     76 |        0 |        0
823.08/823.31	c  823s |      18 |   658168 |   439352 |    10481     76 |        0 |        0
825.28/825.51	c  825s |      18 |   658767 |   439852 |    10481     76 |        0 |        0
827.27/827.55	c  827s |      18 |   659588 |   440452 |    10481     76 |        0 |        0
829.37/829.63	c  829s |      18 |   661713 |   441952 |    11530     76 |        0 |        0
831.38/831.64	c  831s |      18 |   663594 |   443352 |    11530     76 |        0 |        0
833.47/833.76	c  833s |      18 |   664728 |   444252 |    11530     77 |        0 |        0
833.87/834.19	c  833s |      19 |   665069 |   444482 |    11530     77 |        0 |        0
835.97/836.28	c  836s |      19 |   669599 |   445882 |    11530     77 |        0 |        0
838.08/838.34	c  838s |      19 |   670833 |   446882 |    11530     77 |        0 |        0
840.38/840.61	c  840s |      19 |   671969 |   447782 |    11530     77 |        0 |        0
842.38/842.66	c  842s |      19 |   672696 |   448382 |    11530     77 |        0 |        0
844.58/844.84	c  844s |      19 |   673422 |   448982 |    11530     77 |        0 |        0
846.68/846.95	c  846s |      19 |   674546 |   449882 |    11530     77 |        0 |        0
848.88/849.12	c  848s |      19 |   676063 |   451082 |    11530     77 |        0 |        0
850.97/851.23	c  850s |      19 |   677250 |   451982 |    11530     78 |        0 |        0
853.27/853.51	c  853s |      19 |   678352 |   452882 |    11530     78 |        0 |        0
855.27/855.55	c  855s |      19 |   679072 |   453482 |    11530     78 |        0 |        0
857.47/857.77	c  857s |      19 |   679891 |   454182 |    11530     78 |        0 |        0
859.57/859.83	c  859s |      19 |   680625 |   454782 |    11530     78 |        0 |        0
861.77/862.02	c  861s |      19 |   682021 |   455782 |    11530     78 |        0 |        0
863.87/864.10	c  863s |      19 |   683172 |   456682 |    11530     78 |        0 |        0
865.97/866.29	c  866s |      19 |   684378 |   457582 |    11530     78 |        0 |        0
868.37/868.60	c  868s |      19 |   685411 |   458382 |    11530     79 |        0 |        0
870.46/870.77	c  870s |      19 |   686529 |   459282 |    11530     79 |        0 |        0
872.67/872.96	c  872s |      19 |   687526 |   460082 |    11530     79 |        0 |        0
874.77/875.08	c  874s |      19 |   688560 |   460882 |    11530     79 |        0 |        0
876.97/877.27	c  877s |      19 |   689431 |   461582 |    11530     79 |        0 |        0
879.17/879.46	c  879s |      19 |   690422 |   462382 |    11530     79 |        0 |        0
881.37/881.66	c  881s |      19 |   691395 |   463182 |    11530     79 |        0 |        0
883.56/883.84	c  883s |      19 |   692444 |   463982 |    11530     79 |        0 |        0
885.97/886.25	c  885s |      19 |   693125 |   464582 |    11530     79 |        0 |        0
888.27/888.55	c  888s |      19 |   693872 |   465182 |    11530     79 |        0 |        0
890.27/890.57	c  890s |      19 |   694508 |   465682 |    11530     80 |        0 |        0
892.37/892.68	c  892s |      19 |   695656 |   466582 |    11530     80 |        0 |        0
894.56/894.84	c  894s |      19 |   696564 |   467282 |    11530     80 |        0 |        0
896.57/896.88	c  896s |      19 |   697299 |   467882 |    11530     80 |        0 |        0
898.67/898.99	c  898s |      19 |   697993 |   468482 |    11530     80 |        0 |        0
900.77/901.06	c  900s |      19 |   698898 |   469182 |    11530     80 |        0 |        0
902.97/903.26	c  903s |      19 |   699890 |   469882 |    11530     80 |        0 |        0
905.07/905.33	c  905s |      19 |   700838 |   470582 |    11530     80 |        0 |        0
907.06/907.37	c  907s |      19 |   701766 |   471282 |    11530     80 |        0 |        0
909.16/909.43	c  909s |      19 |   702585 |   471882 |    11530     80 |        0 |        0
911.36/911.64	c  911s |      19 |   703363 |   472482 |    11530     80 |        0 |        0
913.36/913.66	c  913s |      19 |   703854 |   472882 |    11530     81 |        0 |        0
915.76/916.07	c  915s |      19 |   704620 |   473482 |    11530     81 |        0 |        0
917.96/918.26	c  918s |      19 |   706042 |   474582 |    11530     81 |        0 |        0
920.16/920.43	c  920s |      19 |   707461 |   475682 |    11530     81 |        0 |        0
922.26/922.55	c  922s |      19 |   708853 |   476782 |    11530     81 |        0 |        0
924.46/924.70	c  924s |      19 |   709869 |   477682 |    11530     81 |        0 |        0
926.66/926.91	c  926s |      19 |   710824 |   478482 |    11530     81 |        0 |        0
928.86/929.18	c  928s |      19 |   711682 |   479182 |    11530     81 |        0 |        0
930.96/931.25	c  930s |      19 |   712383 |   479782 |    11530     82 |        0 |        0
933.16/933.42	c  933s |      19 |   713347 |   480582 |    11530     82 |        0 |        0
935.36/935.68	c  935s |      19 |   714172 |   481282 |    11530     82 |        0 |        0
937.56/937.82	c  937s |      19 |   714839 |   481882 |    11530     82 |        0 |        0
939.66/939.95	c  939s |      19 |   715444 |   482382 |    11530     82 |        0 |        0
941.96/942.24	c  941s |      19 |   716121 |   482982 |    11530     82 |        0 |        0
944.06/944.38	c  944s |      19 |   717165 |   483782 |    11530     82 |        0 |        0
946.26/946.54	c  946s |      19 |   718097 |   484482 |    11530     82 |        0 |        0
948.36/948.61	c  948s |      19 |   719512 |   485582 |    11530     82 |        0 |        0
950.56/950.83	c  950s |      19 |   721138 |   486982 |    11530     83 |        0 |        0
952.56/952.89	c  952s |      19 |   722492 |   488082 |    11530     83 |        0 |        0
954.76/955.02	c  954s |      19 |   723615 |   488982 |    11530     83 |        0 |        0
957.05/957.31	c  957s |      19 |   724751 |   489882 |    11530     83 |        0 |        0
959.25/959.58	c  959s |      19 |   725579 |   490582 |    11530     83 |        0 |        0
961.46/961.78	c  961s |      19 |   726409 |   491282 |    11530     83 |        0 |        0
963.56/963.81	c  963s |      19 |   727244 |   491982 |    11530     83 |        0 |        0
965.56/965.86	c  965s |      19 |   728080 |   492682 |    11530     83 |        0 |        0
967.66/967.99	c  967s |      19 |   729381 |   493682 |    11530     83 |        0 |        0
969.76/970.04	c  969s |      19 |   730300 |   494382 |    11530     84 |        0 |        0
971.75/972.05	c  971s |      19 |   731471 |   495282 |    11530     84 |        0 |        0
973.85/974.17	c  973s |      19 |   732704 |   496182 |    11530     84 |        0 |        0
976.16/976.42	c  976s |      19 |   734234 |   497182 |    11530     84 |        0 |        0
978.35/978.65	c  978s |      19 |   735337 |   497982 |    11530     84 |        0 |        0
980.65/980.91	c  980s |      19 |   736340 |   498682 |    11530     84 |        0 |        0
982.65/982.92	c  982s |      19 |   737175 |   499282 |    11530     84 |        0 |        0
985.05/985.30	c  985s |      19 |   738165 |   500082 |    11530     84 |        0 |        0
987.25/987.56	c  987s |      19 |   739078 |   500782 |    11530     84 |        0 |        0
989.46/989.74	c  989s |      19 |   739776 |   501382 |    11530     85 |        0 |        0
991.55/991.89	c  991s |      19 |   740755 |   502182 |    11530     85 |        0 |        0
993.75/994.09	c  993s |      19 |   741640 |   502882 |    11530     85 |        0 |        0
996.15/996.41	c  996s |      19 |   742532 |   503582 |    11530     85 |        0 |        0
998.15/998.46	c  998s |      19 |   743556 |   504282 |    11530     85 |        0 |        0
1000.25/1000.52	c 1000s |      19 |   744290 |   504882 |    11530     85 |        0 |        0
1002.25/1002.56	c 1002s |      19 |   745585 |   505882 |    11530     85 |        0 |        0
1004.45/1004.71	c 1004s |      19 |   746904 |   506982 |    11530     85 |        0 |        0
1006.44/1006.77	c 1006s |      19 |   748080 |   507982 |    11530     85 |        0 |        0
1008.55/1008.82	c 1008s |      19 |   748764 |   508582 |    11530     86 |        0 |        0
1010.66/1011.00	c 1010s |      19 |   749953 |   509582 |    11530     86 |        0 |        0
1012.75/1013.03	c 1012s |      19 |   751041 |   510482 |    11530     86 |        0 |        0
1014.84/1015.16	c 1014s |      19 |   752184 |   511482 |    11530     86 |        0 |        0
1017.05/1017.34	c 1017s |      19 |   753018 |   512182 |    11530     86 |        0 |        0
1019.25/1019.53	c 1019s |      19 |   753814 |   512882 |    11530     86 |        0 |        0
1021.35/1021.67	c 1021s |      19 |   754630 |   513582 |    11530     86 |        0 |        0
1023.54/1023.89	c 1023s |      19 |   755332 |   514182 |    11530     86 |        0 |        0
1025.94/1026.27	c 1026s |      19 |   756004 |   514782 |    11530     86 |        0 |        0
1028.35/1028.67	c 1028s |      19 |   756664 |   515382 |    11530     86 |        0 |        0
1030.45/1030.79	c 1030s |      19 |   757218 |   515882 |    11530     87 |        0 |        0
1032.65/1032.94	c 1032s |      19 |   757994 |   516582 |    11530     87 |        0 |        0
1034.64/1034.98	c 1034s |      19 |   758797 |   517282 |    11530     87 |        0 |        0
1037.05/1037.39	c 1037s |      19 |   759491 |   517882 |    11530     87 |        0 |        0
1039.05/1039.39	c 1039s |      19 |   759950 |   518282 |    11530     87 |        0 |        0
1041.15/1041.46	c 1041s |      19 |   760428 |   518682 |    11530     87 |        0 |        0
1043.54/1043.81	c 1043s |      19 |   760986 |   519182 |    11530     87 |        0 |        0
1046.05/1046.35	c 1046s |      19 |   761549 |   519682 |    11530     87 |        0 |        0
1048.35/1048.63	c 1048s |      19 |   762124 |   520182 |    11530     87 |        0 |        0
1050.35/1050.68	c 1050s |      19 |   762757 |   520682 |    11530     87 |        0 |        0
1052.84/1053.17	c 1052s |      19 |   763361 |   521182 |    11530     87 |        0 |        0
1055.04/1055.31	c 1055s |      19 |   763812 |   521582 |    11530     87 |        0 |        0
1057.24/1057.51	c 1057s |      19 |   764292 |   521982 |    11530     87 |        0 |        0
1059.34/1059.69	c 1059s |      19 |   764891 |   522482 |    11530     87 |        0 |        0
1061.54/1061.88	c 1061s |      19 |   765449 |   522982 |    11530     88 |        0 |        0
1063.64/1063.97	c 1063s |      19 |   766382 |   523682 |    11530     88 |        0 |        0
1065.65/1065.99	c 1065s |      19 |   768028 |   524982 |    11530     88 |        0 |        0
1067.74/1068.08	c 1067s |      19 |   769377 |   525982 |    11530     88 |        0 |        0
1069.94/1070.27	c 1070s |      19 |   771043 |   527082 |    11530     88 |        0 |        0
1072.04/1072.31	c 1072s |      19 |   772249 |   527882 |    11530     88 |        0 |        0
1074.23/1074.51	c 1074s |      19 |   773282 |   528682 |    11530     88 |        0 |        0
1076.54/1076.88	c 1076s |      19 |   774252 |   529482 |    11530     88 |        0 |        0
1078.74/1079.01	c 1078s |      19 |   775140 |   530182 |    11530     89 |        0 |        0
1080.74/1081.02	c 1080s |      19 |   776195 |   530982 |    11530     89 |        0 |        0
1082.84/1083.12	c 1082s |      19 |   778533 |   532782 |    11530     89 |        0 |        0
1084.94/1085.28	c 1085s |      19 |   780566 |   534382 |    11530     89 |        0 |        0
1087.03/1087.39	c 1087s |      19 |   782161 |   535582 |    11530     89 |        0 |        0
1089.23/1089.56	c 1089s |      19 |   783448 |   536582 |    11530     89 |        0 |        0
1091.33/1091.62	c 1091s |      19 |   784197 |   537182 |    11530     90 |        0 |        0
1093.34/1093.65	c 1093s |      19 |   785792 |   538382 |    11530     90 |        0 |        0
1095.34/1095.68	c 1095s |      19 |   787575 |   539782 |    11530     90 |        0 |        0
1097.44/1097.73	c 1097s |      19 |   788852 |   540782 |    11530     90 |        0 |        0
1099.53/1099.81	c 1099s |      19 |   790048 |   541682 |    11530     90 |        0 |        0
1101.74/1102.02	c 1101s |      19 |   791193 |   542582 |    11530     90 |        0 |        0
1103.74/1104.03	c 1103s |      19 |   792334 |   543482 |    11530     90 |        0 |        0
1106.14/1106.50	c 1106s |      19 |   793336 |   544282 |    11530     91 |        0 |        0
1108.33/1108.64	c 1108s |      19 |   794545 |   545282 |    11530     91 |        0 |        0
1110.53/1110.80	c 1110s |      19 |   795578 |   546182 |    11530     91 |        0 |        0
1112.74/1113.01	c 1112s |      19 |   796660 |   547082 |    11530     91 |        0 |        0
1114.83/1115.13	c 1114s |      19 |   797568 |   547882 |    11530     91 |        0 |        0
1116.93/1117.25	c 1116s |      19 |   798246 |   548482 |    11530     91 |        0 |        0
1119.33/1119.64	c 1119s |      19 |   799062 |   549182 |    11530     91 |        0 |        0
1121.54/1121.88	c 1121s |      19 |   800005 |   549982 |    11530     91 |        0 |        0
1123.83/1124.13	c 1123s |      19 |   800860 |   550682 |    11530     91 |        0 |        0
1125.94/1126.27	c 1126s |      19 |   801442 |   551182 |    11530     91 |        0 |        0
1127.93/1128.27	c 1128s |      19 |   802149 |   551782 |    11530     92 |        0 |        0
1130.23/1130.51	c 1130s |      19 |   802875 |   552382 |    11530     92 |        0 |        0
1132.53/1132.83	c 1132s |      19 |   803447 |   552882 |    11530     92 |        0 |        0
1134.73/1135.05	c 1134s |      19 |   803891 |   553282 |    11530     92 |        0 |        0
1137.03/1137.33	c 1137s |      19 |   804697 |   553982 |    11530     92 |        0 |        0
1139.33/1139.66	c 1139s |      19 |   805450 |   554582 |    11530     92 |        0 |        0
1141.53/1141.88	c 1141s |      19 |   806334 |   555282 |    11530     92 |        0 |        0
1143.83/1144.11	c 1143s |      19 |   807096 |   555882 |    11530     92 |        0 |        0
1146.04/1146.37	c 1146s |      19 |   807797 |   556482 |    11530     92 |        0 |        0
1148.03/1148.40	c 1148s |      19 |   808735 |   557182 |    11530     92 |        0 |        0
1150.43/1150.71	c 1150s |      19 |   809512 |   557782 |    11530     92 |        0 |        0
1152.73/1153.02	c 1152s |      19 |   810505 |   558582 |    11530     93 |        0 |        0
1154.84/1155.16	c 1154s |      19 |   811483 |   559382 |    11530     93 |        0 |        0
1157.03/1157.32	c 1157s |      19 |   812471 |   560182 |    11530     93 |        0 |        0
1159.33/1159.65	c 1159s |      19 |   813316 |   560882 |    11530     93 |        0 |        0
1161.62/1161.91	c 1161s |      19 |   814033 |   561482 |    11530     93 |        0 |        0
1163.64/1163.93	c 1163s |      19 |   814631 |   561982 |    11530     93 |        0 |        0
1165.63/1165.95	c 1165s |      19 |   815199 |   562482 |    11530     93 |        0 |        0
1167.93/1168.23	c 1167s |      19 |   815894 |   563082 |    11530     93 |        0 |        0
1170.13/1170.46	c 1170s |      19 |   816788 |   563782 |    11530     93 |        0 |        0
1172.23/1172.56	c 1172s |      19 |   817559 |   564382 |    11530     93 |        0 |        0
1174.63/1174.96	c 1174s |      19 |   818165 |   564882 |    11530     93 |        0 |        0
1176.83/1177.15	c 1176s |      19 |   818615 |   565282 |    11530     93 |        0 |        0
1179.22/1179.55	c 1179s |      19 |   819359 |   565882 |    11530     94 |        0 |        0
1181.32/1181.69	c 1181s |      19 |   819992 |   566382 |    11530     94 |        0 |        0
1183.62/1183.94	c 1183s |      19 |   820847 |   567082 |    11530     94 |        0 |        0
1185.72/1186.06	c 1185s |      19 |   821598 |   567682 |    11530     94 |        0 |        0
1187.73/1188.06	c 1187s |      19 |   822153 |   568182 |    11530     94 |        0 |        0
1189.82/1190.10	c 1189s |      19 |   822723 |   568682 |    11530     94 |        0 |        0
1191.92/1192.20	c 1191s |      19 |   823313 |   569182 |    11530     94 |        0 |        0
1194.02/1194.35	c 1194s |      19 |   823769 |   569582 |    11530     94 |        0 |        0
1196.22/1196.58	c 1196s |      19 |   824543 |   570182 |    11530     94 |        0 |        0
1198.32/1198.69	c 1198s |      19 |   825527 |   570982 |    11530     94 |        0 |        0
1200.42/1200.71	c 1200s |      19 |   826530 |   571782 |    11530     94 |        0 |        0
1202.51/1202.90	c 1202s |      19 |   827568 |   572582 |    11530     94 |        0 |        0
1204.82/1205.11	c 1204s |      19 |   828536 |   573382 |    11530     95 |        0 |        0
1206.92/1207.21	c 1206s |      19 |   829413 |   574082 |    11530     95 |        0 |        0
1208.92/1209.26	c 1209s |      19 |   831485 |   575682 |    11530     95 |        0 |        0
1211.02/1211.32	c 1211s |      19 |   833140 |   576982 |    11530     95 |        0 |        0
1213.02/1213.35	c 1213s |      19 |   834371 |   577982 |    11530     95 |        0 |        0
1215.23/1215.55	c 1215s |      19 |   835753 |   579082 |    11530     95 |        0 |        0
1217.62/1217.98	c 1217s |      19 |   837033 |   580082 |    11530     96 |        0 |        0
1219.72/1220.03	c 1219s |      19 |   838632 |   581282 |    11530     96 |        0 |        0
1221.72/1222.05	c 1221s |      19 |   840216 |   582482 |    11530     96 |        0 |        0
1223.72/1224.07	c 1223s |      19 |   841472 |   583482 |    11530     96 |        0 |        0
1225.92/1226.28	c 1226s |      19 |   842760 |   584482 |    11530     96 |        0 |        0
1227.92/1228.28	c 1228s |      19 |   843787 |   585282 |    11530     96 |        0 |        0
1230.01/1230.31	c 1230s |      19 |   844778 |   586082 |    11530     96 |        0 |        0
1232.01/1232.32	c 1232s |      19 |   845948 |   586982 |    11530     96 |        0 |        0
1234.11/1234.41	c 1234s |      19 |   846958 |   587782 |    11530     97 |        0 |        0
1236.41/1236.74	c 1236s |      19 |   847943 |   588582 |    11530     97 |        0 |        0
1238.42/1238.79	c 1238s |      19 |   849023 |   589482 |    11530     97 |        0 |        0
1240.52/1240.87	c 1240s |      19 |   850077 |   590282 |    11530     97 |        0 |        0
1242.51/1242.87	c 1242s |      19 |   850980 |   590982 |    11530     97 |        0 |        0
1244.81/1245.16	c 1244s |      19 |   851795 |   591682 |    11530     97 |        0 |        0
1246.91/1247.20	c 1246s |      19 |   852544 |   592282 |    11530     97 |        0 |        0
1248.91/1249.29	c 1249s |      19 |   853388 |   592982 |    11530     97 |        0 |        0
1251.22/1251.50	c 1251s |      19 |   854086 |   593582 |    11530     97 |        0 |        0
1253.41/1253.73	c 1253s |      19 |   854650 |   594082 |    11530     97 |        0 |        0
1255.41/1255.74	c 1255s |      19 |   855238 |   594582 |    11530     98 |        0 |        0
1257.61/1257.96	c 1257s |      19 |   855962 |   595182 |    11530     98 |        0 |        0
1259.81/1260.15	c 1259s |      19 |   856804 |   595882 |    11530     98 |        0 |        0
1262.01/1262.34	c 1262s |      19 |   857784 |   596682 |    11530     98 |        0 |        0
1264.11/1264.41	c 1264s |      19 |   858498 |   597282 |    11530     98 |        0 |        0
1266.31/1266.60	c 1266s |      19 |   859237 |   597882 |    11530     98 |        0 |        0
1268.41/1268.79	c 1268s |      19 |   860457 |   598682 |    11530     98 |        0 |        0
1270.71/1271.07	c 1270s |      19 |   861596 |   599482 |    11530     98 |        0 |        0
1272.70/1273.08	c 1272s |      19 |   862433 |   600082 |    11530     98 |        0 |        0
1274.80/1275.18	c 1274s |      19 |   863181 |   600682 |    11530     98 |        0 |        0
1277.01/1277.35	c 1277s |      19 |   864396 |   601482 |    11530     99 |        0 |        0
1279.12/1279.49	c 1279s |      19 |   865894 |   602482 |    11530     99 |        0 |        0
1281.51/1281.81	c 1281s |      19 |   866976 |   603282 |    11530     99 |        0 |        0
1283.81/1284.16	c 1283s |      19 |   867924 |   603982 |    11530     99 |        0 |        0
1286.00/1286.35	c 1286s |      19 |   869230 |   604882 |    11530     99 |        0 |        0
1288.20/1288.55	c 1288s |      19 |   869970 |   605482 |    11530     99 |        0 |        0
1290.31/1290.65	c 1290s |      19 |   871275 |   606382 |    11530     99 |        0 |        0
1292.41/1292.71	c 1292s |      19 |   872826 |   607582 |    11530     99 |        0 |        0
1294.51/1294.81	c 1294s |      19 |   874169 |   608582 |    11530     99 |        0 |        0
1296.61/1296.99	c 1296s |      19 |   875431 |   609582 |    11530    100 |        0 |        0
1298.60/1298.99	c 1298s |      19 |   876543 |   610482 |    11530    100 |        0 |        0
1300.70/1301.07	c 1300s |      19 |   877806 |   611482 |    11530    100 |        0 |        0
1302.80/1303.10	c 1302s |      19 |   878683 |   612182 |    11530    100 |        0 |        0
1304.81/1305.16	c 1304s |      19 |   879621 |   612982 |    11530    100 |        0 |        0
1307.00/1307.31	c 1307s |      19 |   880830 |   613982 |    11530    100 |        0 |        0
1309.10/1309.44	c 1309s |      19 |   881785 |   614782 |    11530    100 |        0 |        0
1311.20/1311.56	c 1311s |      19 |   882823 |   615582 |    11530    100 |        0 |        0
1313.40/1313.73	c 1313s |      19 |   884057 |   616482 |    11530    101 |        0 |        0
1315.50/1315.85	c 1315s |      19 |   885374 |   617382 |    11530    101 |        0 |        0
1317.61/1317.97	c 1317s |      19 |   886589 |   618382 |    11530    101 |        0 |        0
1319.81/1320.12	c 1319s |      19 |   887899 |   619382 |    11530    101 |        0 |        0
1321.80/1322.17	c 1321s |      19 |   888992 |   620182 |    11530    101 |        0 |        0
1323.90/1324.26	c 1324s |      19 |   890146 |   621082 |    11530    101 |        0 |        0
1326.20/1326.50	c 1326s |      19 |   891213 |   621882 |    11530    101 |        0 |        0
1328.30/1328.68	c 1328s |      19 |   891924 |   622482 |    11530    101 |        0 |        0
1330.30/1330.68	c 1330s |      19 |   892408 |   622882 |    11530    102 |        0 |        0
1332.70/1333.00	c 1332s |      19 |   893261 |   623582 |    11530    102 |        0 |        0
1334.70/1335.07	c 1334s |      19 |   893839 |   624082 |    11530    102 |        0 |        0
1336.90/1337.29	c 1337s |      19 |   895021 |   625082 |    11530    102 |        0 |        0
1339.00/1339.37	c 1339s |      19 |   895892 |   625882 |    11530    102 |        0 |        0
1341.20/1341.51	c 1341s |      19 |   897109 |   626682 |    11530    102 |        0 |        0
1343.20/1343.57	c 1343s |      19 |   898677 |   627682 |    11530    102 |        0 |        0
1345.29/1345.60	c 1345s |      19 |   899684 |   628382 |    11530    102 |        0 |        0
1347.31/1347.68	c 1347s |      19 |   900877 |   629182 |    11530    102 |        0 |        0
1349.70/1350.01	c 1349s |      19 |   902072 |   630082 |    11530    103 |        0 |        0
1351.70/1352.04	c 1351s |      19 |   903087 |   630882 |    11530    103 |        0 |        0
1353.90/1354.21	c 1353s |      19 |   904061 |   631682 |    11530    103 |        0 |        0
1356.00/1356.31	c 1356s |      19 |   904781 |   632282 |    11530    103 |        0 |        0
1358.10/1358.47	c 1358s |      19 |   905615 |   632982 |    11530    103 |        0 |        0
1360.20/1360.53	c 1360s |      19 |   906610 |   633682 |    11530    103 |        0 |        0
1362.40/1362.74	c 1362s |      19 |   907545 |   634382 |    11530    103 |        0 |        0
1364.59/1364.95	c 1364s |      19 |   908614 |   635182 |    11530    103 |        0 |        0
1366.89/1367.20	c 1366s |      19 |   909604 |   635882 |    11530    103 |        0 |        0
1369.10/1369.45	c 1369s |      19 |   910305 |   636482 |    11530    103 |        0 |        0
1371.10/1371.49	c 1371s |      19 |   910963 |   636982 |    11530    103 |        0 |        0
1373.30/1373.61	c 1373s |      19 |   911618 |   637482 |    11530    104 |        0 |        0
1375.49/1375.84	c 1375s |      19 |   912381 |   638082 |    11530    104 |        0 |        0
1377.79/1378.12	c 1377s |      19 |   913112 |   638682 |    11530    104 |        0 |        0
1380.09/1380.46	c 1380s |      19 |   913837 |   639282 |    11530    104 |        0 |        0
1382.40/1382.78	c 1382s |      19 |   914777 |   639982 |    11530    104 |        0 |        0
1384.79/1385.10	c 1384s |      19 |   915509 |   640582 |    11530    104 |        0 |        0
1386.99/1387.30	c 1387s |      19 |   916189 |   641082 |    11530    104 |        0 |        0
1389.10/1389.49	c 1389s |      19 |   916873 |   641582 |    11530    104 |        0 |        0
1391.49/1391.85	c 1391s |      19 |   917839 |   642282 |    11530    104 |        0 |        0
1393.79/1394.17	c 1393s |      19 |   918550 |   642882 |    11530    104 |        0 |        0
1395.99/1396.31	c 1396s |      19 |   919241 |   643482 |    11530    104 |        0 |        0
1398.09/1398.44	c 1398s |      19 |   919802 |   643982 |    11530    104 |        0 |        0
1400.19/1400.58	c 1400s |      19 |   920247 |   644382 |    11530    105 |        0 |        0
1402.30/1402.64	c 1402s |      19 |   920898 |   644882 |    11530    105 |        0 |        0
1404.49/1404.84	c 1404s |      19 |   921594 |   645382 |    11530    105 |        0 |        0
1406.79/1407.10	c 1406s |      19 |   922525 |   646082 |    11530    105 |        0 |        0
1408.89/1409.27	c 1409s |      19 |   923203 |   646582 |    11530    105 |        0 |        0
1411.19/1411.54	c 1411s |      19 |   924185 |   647282 |    11530    105 |        0 |        0
1413.38/1413.76	c 1413s |      19 |   924969 |   647882 |    11530    105 |        0 |        0
1415.50/1415.89	c 1415s |      19 |   925868 |   648482 |    11530    105 |        0 |        0
1417.89/1418.22	c 1417s |      19 |   926622 |   649082 |    11530    105 |        0 |        0
1420.09/1420.44	c 1420s |      19 |   927247 |   649582 |    11530    105 |        0 |        0
1422.29/1422.62	c 1422s |      19 |   927750 |   649982 |    11530    105 |        0 |        0
1424.38/1424.72	c 1424s |      19 |   928378 |   650482 |    11530    105 |        0 |        0
1426.58/1426.93	c 1426s |      19 |   929195 |   651082 |    11530    105 |        0 |        0
1428.88/1429.26	c 1429s |      19 |   929691 |   651482 |    11530    106 |        0 |        0
1430.89/1431.26	c 1431s |      19 |   930597 |   652182 |    11530    106 |        0 |        0
1432.99/1433.36	c 1433s |      19 |   931570 |   652882 |    11530    106 |        0 |        0
1435.19/1435.56	c 1435s |      19 |   932537 |   653582 |    11530    106 |        0 |        0
1437.39/1437.78	c 1437s |      19 |   933282 |   654182 |    11530    106 |        0 |        0
1439.49/1439.89	c 1439s |      19 |   934047 |   654782 |    11530    106 |        0 |        0
1441.89/1442.23	c 1441s |      19 |   934808 |   655382 |    11530    106 |        0 |        0
1444.18/1444.52	c 1444s |      19 |   935595 |   655982 |    11530    106 |        0 |        0
1446.59/1446.91	c 1446s |      19 |   936243 |   656482 |    11530    106 |        0 |        0
1449.08/1449.41	c 1449s |      19 |   936869 |   656982 |    11530    106 |        0 |        0
1451.48/1451.87	c 1451s |      19 |   937471 |   657482 |    11530    106 |        0 |        0
1454.18/1454.50	c 1454s |      19 |   937975 |   657882 |    11530    106 |        0 |        0
1456.48/1456.90	c 1456s |      19 |   938632 |   658382 |    11530    106 |        0 |        0
1458.68/1459.00	c 1458s |      19 |   939358 |   658882 |    11530    107 |        0 |        0
1460.68/1461.05	c 1460s |      19 |   939807 |   659282 |    11530    107 |        0 |        0
1462.88/1463.23	c 1462s |      19 |   940436 |   659782 |    11530    107 |        0 |        0
1465.38/1465.76	c 1465s |      19 |   941041 |   660282 |    11530    107 |        0 |        0
1467.68/1468.03	c 1467s |      19 |   941576 |   660682 |    11530    107 |        0 |        0
1469.78/1470.12	c 1469s |      19 |   942207 |   661082 |    11530    107 |        0 |        0
1471.98/1472.37	c 1472s |      19 |   943645 |   661882 |    11530    107 |        0 |        0
1474.07/1474.47	c 1474s |      19 |   944616 |   662480 |    12684    107 |        0 |        0
1474.07/1474.47	c #cpu_time = 1470.340s
1474.07/1474.47	c #wall_clock_time = 1474.210s
1474.07/1474.47	c #decision = 944616
1474.07/1474.47	c #random_decision = 1619
1474.07/1474.47	c #conflict = 662480
1474.07/1474.47	c #restart = 19
1474.07/1474.47	c BCD2: found a new core of size 2704: cost of the new core is >=1
1474.07/1474.47	c lower bound updated to 1
1474.07/1474.48	c BCD2: 1 <= obj <= 478
1474.07/1474.48	c BCD2: #cores=1, #unrelaxed=3, #relaxed=2704, #hardened=0
1474.07/1474.48	c BCD2: #sat=1 #unsat=2 bias=2/3
1474.07/1474.49	c Solving starts ...
1474.07/1474.49	c ============================[ Search Statistics ]============================
1474.07/1474.49	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1474.07/1474.49	c       |         |          |          |    Limit     GC | Var      | Constra 
1474.07/1474.49	c =============================================================================
1474.07/1474.49	c  0.0s |       0 |        0 |        0 |    12684      0 |        0 |        0
1474.37/1474.72	c  0.2s |       0 |     2784 |        2 |    12684      0 |        0 |        0
1474.37/1474.72	c #cpu_time = 0.222s
1474.37/1474.72	c #wall_clock_time = 0.223s
1474.37/1474.72	c #decision = 2784
1474.37/1474.72	c #random_decision = 16
1474.37/1474.72	c #conflict = 2
1474.37/1474.72	c #restart = 0
1474.37/1474.72	o 31
1474.37/1474.72	c BCD2: hardening fixes 1908 literals
1474.37/1474.72	c BCD2: updating upper bound: 478 -> 30
1474.37/1474.72	c BCD2: 1 <= obj <= 30
1474.37/1474.72	c BCD2: #cores=1, #unrelaxed=2, #relaxed=797, #hardened=1908
1474.37/1474.72	c BCD2: #sat=2 #unsat=2 bias=2/4
1474.37/1474.73	c Solving starts ...
1474.37/1474.73	c ============================[ Search Statistics ]============================
1474.37/1474.73	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1474.37/1474.73	c       |         |          |          |    Limit     GC | Var      | Constra 
1474.37/1474.73	c =============================================================================
1474.37/1474.73	c  0.0s |       0 |        0 |        0 |    12684      0 |     1908 |        1
1474.78/1475.19	c  0.5s |       1 |      333 |      100 |    12684      0 |     1908 |        1
1475.17/1475.60	c  0.9s |       2 |      561 |      250 |    12684      0 |     1908 |        1
1475.67/1476.02	c  1.3s |       3 |      881 |      475 |    12684      0 |     1908 |        1
1476.27/1476.62	c  1.9s |       4 |     1441 |      813 |    12684      0 |     1908 |        1
1476.98/1477.35	c  2.6s |       5 |     2228 |     1320 |    12684      0 |     1908 |        1
1477.77/1478.12	c  3.4s |       5 |     3213 |     1921 |    12684      0 |     1908 |        1
1477.77/1478.12	c #cpu_time = 3.381s
1477.77/1478.12	c #wall_clock_time = 3.390s
1477.77/1478.12	c #decision = 3213
1477.77/1478.12	c #random_decision = 12
1477.77/1478.12	c #conflict = 1921
1477.77/1478.12	c #restart = 5
1477.77/1478.12	o 12
1477.77/1478.12	c BCD2: hardening fixes 488 literals
1477.77/1478.12	c BCD2: updating upper bound: 30 -> 11
1477.77/1478.12	c BCD2: 1 <= obj <= 11
1477.77/1478.12	c BCD2: #cores=1, #unrelaxed=1, #relaxed=310, #hardened=2396
1477.77/1478.12	c BCD2: #sat=3 #unsat=2 bias=2/5
1477.77/1478.12	c Solving starts ...
1477.77/1478.12	c ============================[ Search Statistics ]============================
1477.77/1478.12	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1477.77/1478.12	c       |         |          |          |    Limit     GC | Var      | Constra 
1477.77/1478.12	c =============================================================================
1477.77/1478.12	c  0.0s |       0 |        0 |        0 |    12684      0 |     2396 |        2
1478.09/1478.46	c  0.3s |       1 |      166 |      100 |    12684      0 |     2396 |        2
1478.48/1478.85	c  0.7s |       2 |      416 |      250 |    12684      0 |     2396 |        2
1478.88/1479.28	c  1.2s |       3 |      758 |      475 |    12684      0 |     2396 |        2
1479.38/1479.74	c  1.6s |       3 |     1096 |      726 |    12684      0 |     2396 |        2
1479.38/1479.74	c #cpu_time = 1.608s
1479.38/1479.74	c #wall_clock_time = 1.612s
1479.38/1479.74	c #decision = 1096
1479.38/1479.74	c #random_decision = 3
1479.38/1479.74	c #conflict = 726
1479.38/1479.74	c #restart = 3
1479.38/1479.74	o 6
1479.38/1479.74	c BCD2: hardening fixes 172 literals
1479.38/1479.74	c BCD2: updating upper bound: 11 -> 5
1479.38/1479.74	c BCD2: 1 <= obj <= 5
1479.38/1479.74	c BCD2: #cores=1, #unrelaxed=1, #relaxed=138, #hardened=2568
1479.38/1479.74	c BCD2: #sat=4 #unsat=2 bias=2/6
1479.38/1479.74	c Solving starts ...
1479.38/1479.74	c ============================[ Search Statistics ]============================
1479.38/1479.74	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1479.38/1479.74	c       |         |          |          |    Limit     GC | Var      | Constra 
1479.38/1479.74	c =============================================================================
1479.38/1479.74	c  0.0s |       0 |        0 |        0 |    12684      0 |     2568 |        3
1479.68/1480.06	c  0.3s |       1 |      152 |      100 |    12684      0 |     2568 |        4
1479.98/1480.39	c  0.6s |       2 |      427 |      250 |    12684      0 |     2568 |        4
1480.48/1480.82	c  1.1s |       3 |      786 |      475 |    12684      0 |     2568 |        4
1480.98/1481.32	c  1.6s |       4 |     1268 |      813 |    12684      0 |     2568 |        4
1481.49/1481.89	c  2.2s |       5 |     2048 |     1320 |    12684      0 |     2568 |        4
1482.68/1483.06	c  3.3s |       6 |     3210 |     2081 |    12684      1 |     2568 |        4
1483.59/1483.92	c  4.2s |       7 |     4832 |     3223 |    12684      1 |     2568 |        4
1483.78/1484.13	c  4.4s |       7 |     5176 |     3477 |    12684      1 |     2568 |        4
1483.78/1484.13	c #cpu_time = 4.383s
1483.78/1484.13	c #wall_clock_time = 4.394s
1483.78/1484.13	c #decision = 5176
1483.78/1484.13	c #random_decision = 10
1483.78/1484.13	c #conflict = 3477
1483.78/1484.13	c #restart = 7
1483.78/1484.14	o 1
1483.78/1484.14	s OPTIMUM FOUND
1483.78/1484.14	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
1483.78/1484.14	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20
1483.78/1484.14	v -x21 x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 -x30
1483.78/1484.14	v -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40
1483.78/1484.14	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
1483.78/1484.14	v x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
1483.78/1484.14	v x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
1483.78/1484.14	v x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
1483.78/1484.14	v -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90
1483.78/1484.14	v -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100
1483.78/1484.14	v x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
1483.78/1484.14	v -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
1483.78/1484.14	v -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130
1483.78/1484.14	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140
1483.78/1484.14	v -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
1483.78/1484.14	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
1483.78/1484.14	v x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170
1483.78/1484.14	v -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180
1483.78/1484.14	v -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
1483.78/1484.14	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 -x200
1483.78/1484.14	v -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210
1483.78/1484.14	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220
1483.78/1484.14	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
1483.78/1484.14	v x231
1483.78/1484.14	c total CPU time = 1480.244s
1483.78/1484.14	c total wall clock time = 1484.140s

Verifier Data 

OK	1

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-4110354-1466344913/watcher-4110354-1466344913 -o /tmp/evaluation-result-4110354-1466344913/solver-4110354-1466344913 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466341819-1236 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4110354-1466344913.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.27 2.25 2.16 3/178 3414
/proc/meminfo: memFree=29630340/32872528 swapFree=1316768/1463936
[pid=3414] ppid=3411 vsize=801212 CPUtime=0 cores=1,3,5,7
/proc/3414/stat : 3414 (toysat) R 3411 3414 1219 0 -1 4202496 3004 0 0 0 0 0 0 0 20 0 4 0 36538214 820441088 2853 33554432000 4194304 16246674 140733381819696 140733381819120 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3414/statm: 200815 2861 441 2943 0 197709 0
[pid=3414/tid=3415] ppid=3411 vsize=818620 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3415/stat : 3415 (toysat) S 3411 3414 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36538214 838266880 2922 33554432000 4194304 16246674 140733381819696 139748308921584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3414/tid=3416] ppid=3411 vsize=822716 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3416/stat : 3416 (toysat) S 3411 3414 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36538214 842461184 2939 33554432000 4194304 16246674 140733381819696 139748298431728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3414/tid=3417] ppid=3411 vsize=826812 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3417/stat : 3417 (toysat) S 3411 3414 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36538214 846655488 2954 33554432000 4194304 16246674 140733381819696 139748287958192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100173 s]
/proc/loadavg: 2.27 2.25 2.16 3/178 3414
/proc/meminfo: memFree=29630340/32872528 swapFree=1316768/1463936
[pid=3414] ppid=3411 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/3414/stat : 3414 (toysat) R 3411 3414 1219 0 -1 4202496 25085 0 0 0 6 3 0 0 20 0 4 0 36538214 1247350784 24927 33554432000 4194304 16246674 140733381819696 140733381819120 12481124 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3414/statm: 304529 24935 613 2943 0 301423 0
[pid=3414/tid=3415] ppid=3411 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3415/stat : 3415 (toysat) S 3411 3414 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36538214 1247350784 24936 33554432000 4194304 16246674 140733381819696 139748308921584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3414/tid=3416] ppid=3411 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3416/stat : 3416 (toysat) S 3411 3414 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36538214 1247350784 24938 33554432000 4194304 16246674 140733381819696 139748298431728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3414/tid=3417] ppid=3411 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3417/stat : 3417 (toysat) S 3411 3414 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36538214 1247350784 24941 33554432000 4194304 16246674 140733381819696 139748287958192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200512 s]
/proc/loadavg: 2.27 2.25 2.16 3/178 3414
/proc/meminfo: memFree=29630340/32872528 swapFree=1316768/1463936
[pid=3414] ppid=3411 vsize=1223236 CPUtime=0.19 cores=1,3,5,7
/proc/3414/stat : 3414 (toysat) R 3411 3414 1219 0 -1 4202496 36098 0 0 0 14 5 0 0 20 0 4 0 36538214 1252593664 35894 33554432000 4194304 16246674 140733381819696 140733381819008 6970488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3414/statm: 305809 35894 861 2943 0 302703 0
[pid=3414/tid=3415] ppid=3411 vsize=1223236 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3415/stat : 3415 (toysat) S 3411 3414 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36538214 1252593664 35894 33554432000 4194304 16246674 140733381819696 139748308921584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3414/tid=3416] ppid=3411 vsize=1223236 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3416/stat : 3416 (toysat) S 3411 3414 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36538214 1252593664 35894 33554432000 4194304 16246674 140733381819696 139748298431728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3414/tid=3417] ppid=3411 vsize=1223236 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3417/stat : 3417 (toysat) S 3411 3414 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36538214 1252593664 35894 33554432000 4194304 16246674 140733381819696 139748287958192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1223236

[startup+0.300521 s]
/proc/loadavg: 2.27 2.25 2.16 3/178 3414
/proc/meminfo: memFree=29630340/32872528 swapFree=1316768/1463936
[pid=3414] ppid=3411 vsize=1307204 CPUtime=0.29 cores=1,3,5,7
/proc/3414/stat : 3414 (toysat) R 3411 3414 1219 0 -1 4202496 47936 0 0 0 22 7 0 0 20 0 4 0 36538214 1338576896 47733 33554432000 4194304 16246674 140733381819696 140733381819008 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3414/statm: 326801 47742 918 2943 0 323695 0
[pid=3414/tid=3415] ppid=3411 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3415/stat : 3415 (toysat) S 3411 3414 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36538214 1338576896 47745 33554432000 4194304 16246674 140733381819696 139748308921584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3414/tid=3416] ppid=3411 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3416/stat : 3416 (toysat) S 3411 3414 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36538214 1338576896 47749 33554432000 4194304 16246674 140733381819696 139748298431728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3414/tid=3417] ppid=3411 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3417/stat : 3417 (toysat) S 3411 3414 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36538214 1338576896 47752 33554432000 4194304 16246674 140733381819696 139748287958192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1307204

[startup+0.700448 s]
/proc/loadavg: 2.27 2.25 2.16 3/178 3414
/proc/meminfo: memFree=29630340/32872528 swapFree=1316768/1463936
[pid=3414] ppid=3411 vsize=1307204 CPUtime=0.69 cores=1,3,5,7
/proc/3414/stat : 3414 (toysat) R 3411 3414 1219 0 -1 4202496 69120 0 0 0 60 9 0 0 20 0 4 0 36538214 1338576896 68916 33554432000 4194304 16246674 140733381819696 140733381801600 12477798 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3414/statm: 326801 68916 920 2943 0 323695 0
[pid=3414/tid=3415] ppid=3411 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3415/stat : 3415 (toysat) S 3411 3414 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36538214 1338576896 68916 33554432000 4194304 16246674 140733381819696 139748308921584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3414/tid=3416] ppid=3411 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3416/stat : 3416 (toysat) S 3411 3414 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36538214 1338576896 68916 33554432000 4194304 16246674 140733381819696 139748298431728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3414/tid=3417] ppid=3411 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3417/stat : 3417 (toysat) S 3411 3414 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36538214 1338576896 68916 33554432000 4194304 16246674 140733381819696 139748287958192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1307204

[startup+1.50047 s]
/proc/loadavg: 2.25 2.25 2.16 4/182 3418
/proc/meminfo: memFree=29356244/32872528 swapFree=1316768/1463936
[pid=3414] ppid=3411 vsize=1307204 CPUtime=1.49 cores=1,3,5,7
/proc/3414/stat : 3414 (toysat) R 3411 3414 1219 0 -1 4202496 69123 0 0 0 140 9 0 0 20 0 4 0 36538214 1338576896 68919 33554432000 4194304 16246674 140733381819696 140733381801600 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3414/statm: 326801 68919 923 2943 0 323695 0
[pid=3414/tid=3415] ppid=3411 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3415/stat : 3415 (toysat) S 3411 3414 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36538214 1338576896 68919 33554432000 4194304 16246674 140733381819696 139748308921584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3414/tid=3416] ppid=3411 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3416/stat : 3416 (toysat) S 3411 3414 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36538214 1338576896 68919 33554432000 4194304 16246674 140733381819696 139748298431728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3414/tid=3417] ppid=3411 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3417/stat : 3417 (toysat) S 3411 3414 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36538214 1338576896 68919 33554432000 4194304 16246674 140733381819696 139748287958192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.10045 s]
/proc/loadavg: 2.25 2.25 2.16 4/182 3418
/proc/meminfo: memFree=29148056/32872528 swapFree=1316768/1463936
[pid=3414] ppid=3411 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/3414/stat : 3414 (toysat) R 3411 3414 1219 0 -1 4202496 120635 0 0 0 292 17 0 0 20 0 4 0 36538214 1338576896 120431 33554432000 4194304 16246674 140733381819696 140733381801600 5675793 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3414/statm: 326801 120431 931 2943 0 323695 0
[pid=3414/tid=3415] ppid=3411 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3415/stat : 3415 (toysat) S 3411 3414 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36538214 1338576896 120431 33554432000 4194304 16246674 140733381819696 139748308921584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3414/tid=3416] ppid=3411 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3416/stat : 3416 (toysat) S 3411 3414 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36538214 1338576896 120431 33554432000 4194304 16246674 140733381819696 139748298431728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3414/tid=3417] ppid=3411 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3417/stat : 3417 (toysat) S 3411 3414 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36538214 1338576896 120431 33554432000 4194304 16246674 140733381819696 139748287958192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30048 s]
/proc/loadavg: 2.25 2.25 2.16 3/182 3418
/proc/meminfo: memFree=29147868/32872528 swapFree=1316768/1463936
[pid=3414] ppid=3411 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/3414/stat : 3414 (toysat) R 3411 3414 1219 0 -1 4202496 120635 0 0 0 612 17 0 0 20 0 4 0 36538214 1338576896 120431 33554432000 4194304 16246674 140733381819696 140733381801600 13949769 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3414/statm: 326801 120431 931 2943 0 323695 0
[pid=3414/tid=3415] ppid=3411 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3415/stat : 3415 (toysat) S 3411 3414 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36538214 1338576896 120431 33554432000 4194304 16246674 140733381819696 139748308921584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3414/tid=3416] ppid=3411 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3416/stat : 3416 (toysat) S 3411 3414 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36538214 1338576896 120431 33554432000 4194304 16246674 140733381819696 139748298431728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3414/tid=3417] ppid=3411 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3417/stat : 3417 (toysat) S 3411 3414 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36538214 1338576896 120431 33554432000 4194304 16246674 140733381819696 139748287958192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7005 s]
/proc/loadavg: 2.28 2.25 2.16 4/181 3418
/proc/meminfo: memFree=28886048/32872528 swapFree=1316768/1463936
[pid=3414] ppid=3411 vsize=1308228 CPUtime=12.69 cores=1,3,5,7
/proc/3414/stat : 3414 (toysat) R 3411 3414 1219 0 -1 4202496 120891 0 0 0 1252 17 0 0 20 0 4 0 36538214 1339625472 120687 33554432000 4194304 16246674 140733381819696 140733381818872 14628944 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3414/statm: 327057 120687 931 2943 0 323951 0
[pid=3414/tid=3415] ppid=3411 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3415/stat : 3415 (toysat) S 3411 3414 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36538214 1339625472 120687 33554432000 4194304 16246674 140733381819696 139748308921584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3414/tid=3416] ppid=3411 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3416/stat : 3416 (toysat) S 3411 3414 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36538214 1339625472 120687 33554432000 4194304 16246674 140733381819696 139748298431728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3414/tid=3417] ppid=3411 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3417/stat : 3417 (toysat) S 3411 3414 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36538214 1339625472 120687 33554432000 4194304 16246674 140733381819696 139748287958192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.24 2.24 2.16 3/181 3418
/proc/meminfo: memFree=28388100/32872528 swapFree=1316768/1463936
[pid=3414] ppid=3411 vsize=1310276 CPUtime=25.49 cores=1,3,5,7
/proc/3414/stat : 3414 (toysat) R 3411 3414 1219 0 -1 4202496 121403 0 0 0 2531 18 0 0 20 0 4 0 36538214 1341722624 121199 33554432000 4194304 16246674 140733381819696 140733381801600 13950199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3414/statm: 327569 121199 931 2943 0 324463 0
[pid=3414/tid=3415] ppid=3411 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3415/stat : 3415 (toysat) S 3411 3414 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36538214 1341722624 121199 33554432000 4194304 16246674 140733381819696 139748308921584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3414/tid=3416] ppid=3411 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3416/stat : 3416 (toysat) S 3411 3414 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36538214 1341722624 121199 33554432000 4194304 16246674 140733381819696 139748298431728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3414/tid=3417] ppid=3411 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3417/stat : 3417 (toysat) S 3411 3414 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36538214 1341722624 121199 33554432000 4194304 16246674 140733381819696 139748287958192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1310276

[startup+51.1005 s]
/proc/loadavg: 2.22 2.24 2.16 3/181 3467
/proc/meminfo: memFree=28936528/32872528 swapFree=1316768/1463936
[pid=3414] ppid=3411 vsize=1310276 CPUtime=51.08 cores=1,3,5,7
/proc/3414/stat : 3414 (toysat) R 3411 3414 1219 0 -1 4202496 121403 0 0 0 5089 19 0 0 20 0 4 0 36538214 1341722624 121199 33554432000 4194304 16246674 140733381819696 140733381801600 5827632 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3414/statm: 327569 121199 931 2943 0 324463 0
[pid=3414/tid=3415] ppid=3411 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3415/stat : 3415 (toysat) S 3411 3414 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36538214 1341722624 121199 33554432000 4194304 16246674 140733381819696 139748308921584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3414/tid=3416] ppid=3411 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3416/stat : 3416 (toysat) S 3411 3414 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36538214 1341722624 121199 33554432000 4194304 16246674 140733381819696 139748298431728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3414/tid=3417] ppid=3411 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3417/stat : 3417 (toysat) S 3411 3414 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36538214 1341722624 121199 33554432000 4194304 16246674 140733381819696 139748287958192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1310276

[startup+102.301 s]
/proc/loadavg: 2.22 2.23 2.16 3/181 3468
/proc/meminfo: memFree=28857396/32872528 swapFree=1316768/1463936
[pid=3414] ppid=3411 vsize=1317444 CPUtime=102.28 cores=1,3,5,7
/proc/3414/stat : 3414 (toysat) R 3411 3414 1219 0 -1 4202496 123126 0 0 0 10204 24 0 0 20 0 4 0 36538214 1349062656 140562 33554432000 4194304 16246674 140733381819696 140733381801600 5523515 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3414/statm: 329361 140562 931 2943 0 326255 0
[pid=3414/tid=3415] ppid=3411 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3415/stat : 3415 (toysat) S 3411 3414 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36538214 1349062656 140562 33554432000 4194304 16246674 140733381819696 139748308921584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3414/tid=3416] ppid=3411 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3416/stat : 3416 (toysat) S 3411 3414 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36538214 1349062656 140562 33554432000 4194304 16246674 140733381819696 139748298431728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3414/tid=3417] ppid=3411 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3417/stat : 3417 (toysat) S 3411 3414 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36538214 1349062656 140562 33554432000 4194304 16246674 140733381819696 139748287958192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1317444


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

/proc/3414/stat : 3414 (toysat) R 3411 3414 1219 0 -1 4202496 123327 0 0 0 112065 138 0 0 20 0 4 0 36538214 1349062656 270280 33554432000 4194304 16246674 140733381819696 140733381801600 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3414/statm: 329361 270280 932 2943 0 326255 0
[pid=3414/tid=3415] ppid=3411 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3415/stat : 3415 (toysat) S 3411 3414 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36538214 1349062656 270280 33554432000 4194304 16246674 140733381819696 139748308921584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3414/tid=3416] ppid=3411 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3416/stat : 3416 (toysat) S 3411 3414 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36538214 1349062656 270280 33554432000 4194304 16246674 140733381819696 139748298431728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3414/tid=3417] ppid=3411 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3417/stat : 3417 (toysat) S 3411 3414 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36538214 1349062656 270280 33554432000 4194304 16246674 140733381819696 139748287958192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 1317444

[startup+1182.3 s]
/proc/loadavg: 2.16 2.20 2.18 3/181 3544
/proc/meminfo: memFree=22745264/32872528 swapFree=1316768/1463936
[pid=3414] ppid=3411 vsize=1317444 CPUtime=1182.02 cores=1,3,5,7
/proc/3414/stat : 3414 (toysat) R 3411 3414 1219 0 -1 4202496 123327 0 0 0 118058 144 0 0 20 0 4 0 36538214 1349062656 270280 33554432000 4194304 16246674 140733381819696 140733381818872 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3414/statm: 329361 270280 932 2943 0 326255 0
[pid=3414/tid=3415] ppid=3411 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3415/stat : 3415 (toysat) S 3411 3414 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36538214 1349062656 270280 33554432000 4194304 16246674 140733381819696 139748308921584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3414/tid=3416] ppid=3411 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3416/stat : 3416 (toysat) S 3411 3414 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36538214 1349062656 270280 33554432000 4194304 16246674 140733381819696 139748298431728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3414/tid=3417] ppid=3411 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3417/stat : 3417 (toysat) S 3411 3414 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36538214 1349062656 270280 33554432000 4194304 16246674 140733381819696 139748287958192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 1317444

[startup+1242.3 s]
/proc/loadavg: 2.21 2.20 2.18 4/181 3545
/proc/meminfo: memFree=22745044/32872528 swapFree=1316768/1463936
[pid=3414] ppid=3411 vsize=1317444 CPUtime=1242.01 cores=1,3,5,7
/proc/3414/stat : 3414 (toysat) R 3411 3414 1219 0 -1 4202496 123327 0 0 0 124051 150 0 0 20 0 4 0 36538214 1349062656 270280 33554432000 4194304 16246674 140733381819696 140733381801600 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3414/statm: 329361 270280 932 2943 0 326255 0
[pid=3414/tid=3415] ppid=3411 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3415/stat : 3415 (toysat) S 3411 3414 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36538214 1349062656 270280 33554432000 4194304 16246674 140733381819696 139748308921584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3414/tid=3416] ppid=3411 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3416/stat : 3416 (toysat) S 3411 3414 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36538214 1349062656 270280 33554432000 4194304 16246674 140733381819696 139748298431728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3414/tid=3417] ppid=3411 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3417/stat : 3417 (toysat) S 3411 3414 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36538214 1349062656 270280 33554432000 4194304 16246674 140733381819696 139748287958192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 1317444

[startup+1302.3 s]
/proc/loadavg: 2.22 2.21 2.18 3/181 3546
/proc/meminfo: memFree=21002008/32872528 swapFree=1316768/1463936
[pid=3414] ppid=3411 vsize=1317444 CPUtime=1302 cores=1,3,5,7
/proc/3414/stat : 3414 (toysat) R 3411 3414 1219 0 -1 4202496 123327 0 0 0 130046 154 0 0 20 0 4 0 36538214 1349062656 270280 33554432000 4194304 16246674 140733381819696 140733381801600 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3414/statm: 329361 270280 932 2943 0 326255 0
[pid=3414/tid=3415] ppid=3411 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3415/stat : 3415 (toysat) S 3411 3414 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36538214 1349062656 270280 33554432000 4194304 16246674 140733381819696 139748308921584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3414/tid=3416] ppid=3411 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3416/stat : 3416 (toysat) S 3411 3414 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36538214 1349062656 270280 33554432000 4194304 16246674 140733381819696 139748298431728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3414/tid=3417] ppid=3411 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3417/stat : 3417 (toysat) S 3411 3414 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36538214 1349062656 270280 33554432000 4194304 16246674 140733381819696 139748287958192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 1317444

[startup+1362.3 s]
/proc/loadavg: 2.17 2.20 2.18 3/181 3547
/proc/meminfo: memFree=21002404/32872528 swapFree=1316768/1463936
[pid=3414] ppid=3411 vsize=1317444 CPUtime=1362 cores=1,3,5,7
/proc/3414/stat : 3414 (toysat) R 3411 3414 1219 0 -1 4202496 123327 0 0 0 136040 160 0 0 20 0 4 0 36538214 1349062656 270280 33554432000 4194304 16246674 140733381819696 140733381818872 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3414/statm: 329361 270280 932 2943 0 326255 0
[pid=3414/tid=3415] ppid=3411 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3415/stat : 3415 (toysat) S 3411 3414 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36538214 1349062656 270280 33554432000 4194304 16246674 140733381819696 139748308921584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3414/tid=3416] ppid=3411 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3416/stat : 3416 (toysat) S 3411 3414 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36538214 1349062656 270280 33554432000 4194304 16246674 140733381819696 139748298431728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3414/tid=3417] ppid=3411 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3417/stat : 3417 (toysat) S 3411 3414 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36538214 1349062656 270280 33554432000 4194304 16246674 140733381819696 139748287958192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 1317444

[startup+1422.3 s]
/proc/loadavg: 2.23 2.22 2.18 3/181 3548
/proc/meminfo: memFree=21002688/32872528 swapFree=1316768/1463936
[pid=3414] ppid=3411 vsize=1317444 CPUtime=1422 cores=1,3,5,7
/proc/3414/stat : 3414 (toysat) R 3411 3414 1219 0 -1 4202496 123327 0 0 0 142033 167 0 0 20 0 4 0 36538214 1349062656 270280 33554432000 4194304 16246674 140733381819696 140733381818872 6021376 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3414/statm: 329361 270280 932 2943 0 326255 0
[pid=3414/tid=3415] ppid=3411 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3415/stat : 3415 (toysat) S 3411 3414 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36538214 1349062656 270280 33554432000 4194304 16246674 140733381819696 139748308921584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3414/tid=3416] ppid=3411 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3416/stat : 3416 (toysat) S 3411 3414 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36538214 1349062656 270280 33554432000 4194304 16246674 140733381819696 139748298431728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3414/tid=3417] ppid=3411 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3417/stat : 3417 (toysat) S 3411 3414 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36538214 1349062656 270280 33554432000 4194304 16246674 140733381819696 139748287958192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 1317444

[startup+1482.3 s]
/proc/loadavg: 2.23 2.22 2.18 3/181 3550
/proc/meminfo: memFree=21002600/32872528 swapFree=1316768/1463936
[pid=3414] ppid=3411 vsize=1317444 CPUtime=1481.98 cores=1,3,5,7
/proc/3414/stat : 3414 (toysat) R 3411 3414 1219 0 -1 4202496 123335 0 0 0 148024 174 0 0 20 0 4 0 36538214 1349062656 270288 33554432000 4194304 16246674 140733381819696 140733381801600 5522977 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3414/statm: 329361 270288 940 2943 0 326255 0
[pid=3414/tid=3415] ppid=3411 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3415/stat : 3415 (toysat) S 3411 3414 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36538214 1349062656 270288 33554432000 4194304 16246674 140733381819696 139748308921584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3414/tid=3416] ppid=3411 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3416/stat : 3416 (toysat) S 3411 3414 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36538214 1349062656 270288 33554432000 4194304 16246674 140733381819696 139748298431728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3414/tid=3417] ppid=3411 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3417/stat : 3417 (toysat) S 3411 3414 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36538214 1349062656 270288 33554432000 4194304 16246674 140733381819696 139748287958192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 1317444

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 3414 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1483.2 s]
/proc/loadavg: 2.23 2.22 2.18 3/181 3550
/proc/meminfo: memFree=21002600/32872528 swapFree=1316768/1463936
[pid=3414] ppid=3411 vsize=1328708 CPUtime=1482.88 cores=1,3,5,7
/proc/3414/stat : 3414 (toysat) R 3411 3414 1219 0 -1 4202496 126055 0 0 0 148113 175 0 0 20 0 4 0 36538214 1360596992 273008 33554432000 4194304 16246674 140733381819696 140733381801600 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3414/statm: 332177 273008 940 2943 0 329071 0
[pid=3414/tid=3415] ppid=3411 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3415/stat : 3415 (toysat) S 3411 3414 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36538214 1360596992 273008 33554432000 4194304 16246674 140733381819696 139748308921584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3414/tid=3416] ppid=3411 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3416/stat : 3416 (toysat) S 3411 3414 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36538214 1360596992 273008 33554432000 4194304 16246674 140733381819696 139748298431728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3414/tid=3417] ppid=3411 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3417/stat : 3417 (toysat) S 3411 3414 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36538214 1360596992 273008 33554432000 4194304 16246674 140733381819696 139748287958192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.88
Current children cumulated vsize (KiB) 1328708

[startup+1483.6 s]
/proc/loadavg: 2.23 2.22 2.18 3/181 3550
/proc/meminfo: memFree=21002600/32872528 swapFree=1316768/1463936
[pid=3414] ppid=3411 vsize=1328708 CPUtime=1483.28 cores=1,3,5,7
/proc/3414/stat : 3414 (toysat) R 3411 3414 1219 0 -1 4202496 126055 0 0 0 148153 175 0 0 20 0 4 0 36538214 1360596992 273008 33554432000 4194304 16246674 140733381819696 140733381801600 5522977 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3414/statm: 332177 273008 940 2943 0 329071 0
[pid=3414/tid=3415] ppid=3411 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3415/stat : 3415 (toysat) S 3411 3414 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36538214 1360596992 273008 33554432000 4194304 16246674 140733381819696 139748308921584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3414/tid=3416] ppid=3411 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3416/stat : 3416 (toysat) S 3411 3414 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36538214 1360596992 273008 33554432000 4194304 16246674 140733381819696 139748298431728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3414/tid=3417] ppid=3411 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3417/stat : 3417 (toysat) S 3411 3414 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36538214 1360596992 273008 33554432000 4194304 16246674 140733381819696 139748287958192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1483.28
Current children cumulated vsize (KiB) 1328708

[startup+1484.01 s]
/proc/loadavg: 2.23 2.22 2.18 3/181 3551
/proc/meminfo: memFree=20991548/32872528 swapFree=1316768/1463936
[pid=3414] ppid=3411 vsize=1328708 CPUtime=1483.69 cores=1,3,5,7
/proc/3414/stat : 3414 (toysat) R 3411 3414 1219 0 -1 4202496 126055 0 0 0 148194 175 0 0 20 0 4 0 36538214 1360596992 273008 33554432000 4194304 16246674 140733381819696 140733381801600 5822756 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3414/statm: 332177 273008 940 2943 0 329071 0
[pid=3414/tid=3415] ppid=3411 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3415/stat : 3415 (toysat) S 3411 3414 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36538214 1360596992 273008 33554432000 4194304 16246674 140733381819696 139748308921584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3414/tid=3416] ppid=3411 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3416/stat : 3416 (toysat) S 3411 3414 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36538214 1360596992 273008 33554432000 4194304 16246674 140733381819696 139748298431728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3414/tid=3417] ppid=3411 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3417/stat : 3417 (toysat) S 3411 3414 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36538214 1360596992 273008 33554432000 4194304 16246674 140733381819696 139748287958192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1483.69
Current children cumulated vsize (KiB) 1328708

[startup+1484.1 s]
/proc/loadavg: 2.23 2.22 2.18 3/181 3551
/proc/meminfo: memFree=20991548/32872528 swapFree=1316768/1463936
[pid=3414] ppid=3411 vsize=1328708 CPUtime=1483.78 cores=1,3,5,7
/proc/3414/stat : 3414 (toysat) R 3411 3414 1219 0 -1 4202496 126055 0 0 0 148203 175 0 0 20 0 4 0 36538214 1360596992 273008 33554432000 4194304 16246674 140733381819696 140733381801600 5721567 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3414/statm: 332177 273008 940 2943 0 329071 0
[pid=3414/tid=3415] ppid=3411 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3415/stat : 3415 (toysat) S 3411 3414 1219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36538214 1360596992 273008 33554432000 4194304 16246674 140733381819696 139748308921584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3414/tid=3416] ppid=3411 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3416/stat : 3416 (toysat) S 3411 3414 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36538214 1360596992 273008 33554432000 4194304 16246674 140733381819696 139748298431728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3414/tid=3417] ppid=3411 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/3414/task/3417/stat : 3417 (toysat) S 3411 3414 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36538214 1360596992 273008 33554432000 4194304 16246674 140733381819696 139748287958192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1483.78
Current children cumulated vsize (KiB) 1328708

Child status: 0
Real time (s): 1484.15
CPU time (s): 1483.83
CPU user time (s): 1482.08
CPU system time (s): 1.75673
CPU usage (%): 99.9788
Max. virtual memory (cumulated for all children) (KiB): 1328708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1482.08
system time used= 1.75673
maximum resident set size= 1092040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126057
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= 150
involuntary context switches= 1621

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.36903 second user time and 7.03393 second system time

The end

Launcher Data 

Begin job on node121 at 2016-06-19 16:01:53
IDJOB=4110354
IDBENCH=79276
IDSOLVER=2553
FILE ID=node121/4110354-1466344913
RUNJOBID= node121-1466341819-1236
PBS_JOBID= 19922032
Free space on /tmp= 71704 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900576927--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-4110354-1466344913/watcher-4110354-1466344913 -o /tmp/evaluation-result-4110354-1466344913/solver-4110354-1466344913 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466341819-1236 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4110354-1466344913.wbo

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

MD5SUM BENCH= 181256eb24986712688255c971de86f9
RANDOM SEED=327203340

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.691
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.56
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.691
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:        29630868 kB
Buffers:          204360 kB
Cached:           484100 kB
SwapCached:         1944 kB
Active:           528060 kB
Inactive:         485632 kB
Active(anon):     324680 kB
Inactive(anon):     2900 kB
Active(file):     203380 kB
Inactive(file):   482732 kB
Unevictable:     1463936 kB
Mlocked:         1316768 kB
SwapTotal:      67108856 kB
SwapFree:       67101196 kB
Dirty:             33112 kB
Writeback:             0 kB
AnonPages:       1789304 kB
Mapped:            12548 kB
Shmem:                 0 kB
Slab:             630432 kB
SReclaimable:      73676 kB
SUnreclaim:       556756 kB
KernelStack:        1512 kB
PageTables:         8984 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2670696 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    151552 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= 71688 MiB
End job on node121 at 2016-06-19 16:26:37