Trace number 4109206

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.08 1800.54

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-91-90--soft-66-100-0.wbo
MD5SUMcbd603b41e8425572ef374dcdfc00979
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark1800.07
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables8190
Total number of constraints181
Number of soft constraints67
Number of constraints which are clauses91
Number of constraints which are cardinality constraints (but not clauses)90
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint90
Maximum length of a constraint91
Top cost 3514
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 3513
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 92
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-19T15:10:24+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-4109206-1466341824.wbo"]
0.00/0.01	c use --random-gen="2198789821 2558209626 1477485610 1862912229 1617498578 1773291750 3394938758 3111738334 3391535615 3909886273 2266685848 3128953745 627561219 2813938348 244464790 2172174669 1686563203 1719073780 2039276817 3956449789 713280004 2046080634 4282128722 3204837917 4245972877 3609670669 1167282391 299389693 1142204138 140221133 2070460774 750051590 3923898271 3018722248 1461784159 425648898 1870568346 669700676 134355451 1449396187 556938232 255417053 1422380633 1555898441 504355223 3213335260 3176489994 1415910063 1880115370 3837616167 2313368199 360079803 781509195 566804809 2492223647 1955608448 1725512280 959367927 111459307 1218202951 3470868170 407676920 2783040248 3587109201 2831299710 2793656025 932649691 3905759066 137598285 1298708670 1180863850 934121075 2034882578 2906390907 2555813853 2470134747 775726293 1804997090 4037786190 633537502 543564463 865665526 577266137 2855278146 2067873152 3068427242 1894106574 2407378330 923315581 1753544406 266021456 1738246402 2886818160 4077627901 2784272843 1600889084 2261723633 1629172757 2799899215 2684726743 366328258 816545693 1640726040 2782567391 613517565 625265240 522731137 1234001001 231554661 3275816872 3166218302 3874226328 1634893122 3117721216 692603586 1859073887 4125046040 3384044187 1944562870 1159006534 2511140632 498745129 2362109960 1654630556 4291228068 3278656183 3366053341 1883252465 3120497395 3900557075 2988327289 718718115 3707156852 3691406859 3940831359 2491730909 2281952889 1175452714 1327861110 1988828697 1526323989 1829388921 280373832 4083259552 538665888 845245820 1418330953 2035980396 3641748626 1096459234 2210818804 2883807999 1347765206 2239924070 2525891446 52654956 3935040981 3365667244 701794273 1554171243 1889573995 3904576404 2086284611 4242028803 3849391937 3155758107 1609378369 2618176731 1125677519 2653394754 1164228248 552071384 3411574424 1217502255 1456502838 3801883377 2052149319 1761423076 244061735 327009534 2398840132 2962763619 3657212647 3196109387 1622224179 2652834343 467492590 2133405770 3206476488 192357597 4125551040 1342202358 191391589 3702741097 3693716820 1909451355 3022293120 1266531526 3870070759 2299443710 2363809712 3343437540 1941070363 376553668 2239437266 3164717193 442569609 1755521530 202663720 3876519446 1784263837 3601310736 3482722583 3751679384 4110723674 1094826668 3768537271 1468855577 3018233585 3042795929 208116823 2876058841 1392348326 1716887708 1257095545 3790182583 2209464218 4083549556 4286358675 1937824726 463121347 2429701585 2657194784 3567880327 2677601371 714641571 2403198123 677329255 3650375226 1502720810 2365140887 611237075 1428436397 2471714974 2049369682 2641581387 1604292704 1397646078 621312312 905529732 3898592866 3808584586 1559143801 3601218247 3704134273 3180431182 255 362436" option to reproduce the execution
0.39/0.40	c #vars 8190
0.39/0.40	c #constraints 181
0.39/0.44	c BCD2: Hardening is enabled.
0.39/0.44	c BCD2: BiasedSearch is enabled.
0.39/0.44	c Solving starts ...
0.39/0.44	c ============================[ Search Statistics ]============================
0.39/0.44	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.39/0.44	c       |         |          |          |    Limit     GC | Var      | Constra 
0.39/0.44	c =============================================================================
0.39/0.44	c  0.0s |       0 |        0 |        0 |     2812      0 |        0 |        0
0.48/0.57	c  0.1s |       1 |      274 |      100 |     2812      0 |        0 |        0
0.48/0.59	c  0.1s |       1 |     5613 |      101 |     3094      0 |        0 |        0
0.48/0.59	c #cpu_time = 0.142s
0.48/0.59	c #wall_clock_time = 0.142s
0.48/0.59	c #decision = 5613
0.48/0.59	c #random_decision = 17
0.48/0.59	c #conflict = 101
0.48/0.59	c #restart = 1
0.48/0.59	o 1305
0.48/0.59	c BCD2: updating upper bound: 3513 -> 1304
0.48/0.59	c BCD2: 0 <= obj <= 1304
0.48/0.59	c BCD2: #cores=0, #unrelaxed=67, #relaxed=0, #hardened=0
0.48/0.59	c BCD2: #sat=1 #unsat=1 bias=1/2
0.48/0.59	c Solving starts ...
0.48/0.59	c ============================[ Search Statistics ]============================
0.48/0.59	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.48/0.59	c       |         |          |          |    Limit     GC | Var      | Constra 
0.48/0.59	c =============================================================================
0.48/0.59	c  0.0s |       0 |        0 |        0 |     3094      0 |        0 |        0
0.89/0.92	c  0.3s |       1 |     3005 |      100 |     3094      0 |        0 |        0
1.39/1.43	c  0.8s |       2 |     7206 |      250 |     3404      0 |        0 |        0
2.09/2.18	c  1.6s |       3 |    14215 |      475 |     3745      0 |        0 |        0
2.99/3.05	c  2.5s |       4 |    18829 |      813 |     4120      0 |        0 |        0
4.28/4.30	c  3.7s |       5 |    23614 |     1320 |     4532      0 |        0 |        0
6.19/6.29	c  5.7s |       6 |    28669 |     2081 |     4986      0 |        0 |        0
8.49/8.57	c  8.0s |       6 |    33898 |     2981 |     4986      0 |        0 |        0
9.19/9.23	c  8.6s |       7 |    34172 |     3223 |     5485      0 |        0 |        0
11.39/11.41	c 10.8s |       7 |    39314 |     3923 |     5485      0 |        0 |        0
13.58/13.61	c 13.0s |       7 |    39959 |     4523 |     5485      0 |        0 |        0
15.28/15.31	c 14.7s |       8 |    40407 |     4936 |     6034      0 |        0 |        0
17.39/17.44	c 16.9s |       8 |    45672 |     5736 |     6034      0 |        0 |        0
19.49/19.53	c 18.9s |       8 |    46447 |     6436 |     6034      0 |        0 |        0
21.49/21.58	c 21.0s |       8 |    47630 |     7136 |     6034      0 |        0 |        0
23.29/23.32	c 22.7s |       9 |    49260 |     7506 |     6638      0 |        0 |        0
25.40/25.41	c 24.8s |       9 |    54216 |     8106 |     6638      1 |        0 |        0
27.59/27.68	c 27.1s |       9 |    55147 |     8906 |     6638      1 |        0 |        0
29.69/29.78	c 29.2s |       9 |    55805 |     9506 |     6638      1 |        0 |        0
31.78/31.84	c 31.3s |       9 |    56367 |    10006 |     6638      1 |        0 |        0
33.98/34.09	c 33.5s |       9 |    57030 |    10606 |     6638      1 |        0 |        0
36.08/36.18	c 35.6s |       9 |    57748 |    11206 |     7302      1 |        0 |        0
36.78/36.83	c 36.2s |      10 |    57926 |    11361 |     7302      1 |        0 |        0
38.98/39.06	c 38.5s |      10 |    62845 |    11961 |     7302      2 |        0 |        0
40.98/41.06	c 40.5s |      10 |    63523 |    12561 |     7302      2 |        0 |        0
43.08/43.13	c 42.5s |      10 |    64193 |    13161 |     7302      2 |        0 |        0
45.29/45.38	c 44.8s |      10 |    65239 |    13861 |     7302      2 |        0 |        0
47.48/47.59	c 47.0s |      10 |    65814 |    14361 |     7302      2 |        0 |        0
49.98/50.08	c 49.5s |      10 |    66399 |    14861 |     7302      2 |        0 |        0
52.28/52.33	c 51.7s |      10 |    66969 |    15361 |     7302      2 |        0 |        0
54.69/54.71	c 54.1s |      10 |    67513 |    15861 |     7302      2 |        0 |        0
56.88/56.94	c 56.3s |      10 |    67953 |    16261 |     7302      2 |        0 |        0
59.39/59.45	c 58.9s |      10 |    68414 |    16661 |     7302      2 |        0 |        0
61.48/61.57	c 61.0s |      10 |    68912 |    17061 |     8033      2 |        0 |        0
61.98/62.00	c 61.4s |      11 |    69003 |    17144 |     8033      2 |        0 |        0
64.28/64.33	c 63.7s |      11 |    73683 |    17644 |     8033      3 |        0 |        0
66.68/66.70	c 66.1s |      11 |    74380 |    18244 |     8033      3 |        0 |        0
68.78/68.83	c 68.2s |      11 |    74934 |    18744 |     8033      3 |        0 |        0
70.98/71.05	c 70.5s |      11 |    75507 |    19244 |     8033      3 |        0 |        0
73.27/73.32	c 72.7s |      11 |    76045 |    19744 |     8033      3 |        0 |        0
75.68/75.76	c 75.2s |      11 |    76603 |    20244 |     8033      3 |        0 |        0
78.09/78.18	c 77.6s |      11 |    77159 |    20744 |     8033      3 |        0 |        0
80.48/80.56	c 80.0s |      11 |    77714 |    21244 |     8033      3 |        0 |        0
82.48/82.59	c 82.0s |      11 |    78165 |    21644 |     8033      3 |        0 |        0
84.57/84.68	c 84.1s |      11 |    78627 |    22044 |     8033      3 |        0 |        0
87.07/87.16	c 86.6s |      11 |    79190 |    22544 |     8033      3 |        0 |        0
89.28/89.30	c 88.7s |      11 |    79639 |    22944 |     8033      3 |        0 |        0
91.58/91.64	c 91.0s |      11 |    80078 |    23344 |     8033      3 |        0 |        0
93.97/94.00	c 93.4s |      11 |    80516 |    23744 |     8033      3 |        0 |        0
96.07/96.17	c 95.6s |      11 |    80948 |    24144 |     8033      3 |        0 |        0
98.07/98.17	c 97.6s |      11 |    81270 |    24444 |     8033      3 |        0 |        0
100.08/100.18	c 99.6s |      11 |    81609 |    24744 |     8033      3 |        0 |        0
102.17/102.24	c  101s |      11 |    81930 |    25044 |     8033      3 |        0 |        0
104.28/104.39	c  103s |      11 |    82256 |    25344 |     8033      3 |        0 |        0
106.38/106.47	c  105s |      11 |    82591 |    25644 |     8837      3 |        0 |        0
107.58/107.68	c  107s |      12 |    82777 |    25819 |     8837      3 |        0 |        0
109.88/109.90	c  109s |      12 |    87727 |    26219 |     8837      4 |        0 |        0
112.18/112.22	c  111s |      12 |    88552 |    26919 |     8837      4 |        0 |        0
114.27/114.32	c  113s |      12 |    89113 |    27419 |     8837      4 |        0 |        0
116.37/116.49	c  115s |      12 |    89668 |    27919 |     8837      4 |        0 |        0
118.47/118.55	c  117s |      12 |    90233 |    28419 |     8837      4 |        0 |        0
120.57/120.60	c  120s |      12 |    90808 |    28919 |     8837      4 |        0 |        0
122.57/122.63	c  122s |      12 |    91379 |    29419 |     8837      4 |        0 |        0
124.97/125.01	c  124s |      12 |    91929 |    29919 |     8837      4 |        0 |        0
127.17/127.27	c  126s |      12 |    92555 |    30419 |     8837      4 |        0 |        0
129.57/129.67	c  129s |      12 |    93139 |    30919 |     8837      4 |        0 |        0
131.67/131.71	c  131s |      12 |    93582 |    31319 |     8837      4 |        0 |        0
134.07/134.19	c  133s |      12 |    94156 |    31819 |     8837      4 |        0 |        0
136.27/136.31	c  135s |      12 |    94612 |    32219 |     8837      4 |        0 |        0
138.57/138.63	c  138s |      12 |    95055 |    32619 |     8837      4 |        0 |        0
140.66/140.80	c  140s |      12 |    95503 |    33019 |     8837      4 |        0 |        0
142.97/143.09	c  142s |      12 |    95945 |    33419 |     8837      4 |        0 |        0
145.28/145.37	c  144s |      12 |    96415 |    33819 |     8837      4 |        0 |        0
147.47/147.56	c  146s |      12 |    96912 |    34219 |     8837      4 |        0 |        0
149.77/149.89	c  149s |      12 |    97367 |    34619 |     8837      4 |        0 |        0
151.97/152.05	c  151s |      12 |    97833 |    35019 |     8837      4 |        0 |        0
154.47/154.50	c  153s |      12 |    98271 |    35419 |     8837      4 |        0 |        0
156.47/156.57	c  155s |      12 |    98761 |    35819 |     8837      4 |        0 |        0
158.97/159.08	c  158s |      12 |    99105 |    36119 |     8837      5 |        0 |        0
161.36/161.46	c  160s |      12 |    99549 |    36519 |     8837      5 |        0 |        0
163.56/163.69	c  163s |      12 |    99999 |    36919 |     8837      5 |        0 |        0
166.07/166.18	c  165s |      12 |   100458 |    37319 |     8837      5 |        0 |        0
168.46/168.51	c  167s |      12 |   100888 |    37719 |     8837      5 |        0 |        0
170.76/170.90	c  170s |      12 |   101349 |    38119 |     8837      5 |        0 |        0
173.27/173.32	c  172s |      12 |   101784 |    38519 |     9721      5 |        0 |        0
175.17/175.29	c  174s |      13 |   102162 |    38832 |     9721      5 |        0 |        0
177.47/177.54	c  176s |      13 |   106212 |    39032 |     9721      6 |        0 |        0
179.56/179.60	c  179s |      13 |   106883 |    39632 |     9721      6 |        0 |        0
181.66/181.79	c  181s |      13 |   107581 |    40232 |     9721      6 |        0 |        0
183.86/183.95	c  183s |      13 |   108152 |    40732 |     9721      6 |        0 |        0
186.16/186.25	c  185s |      13 |   108720 |    41232 |     9721      6 |        0 |        0
188.36/188.44	c  187s |      13 |   109277 |    41732 |     9721      6 |        0 |        0
190.76/190.81	c  190s |      13 |   109812 |    42232 |     9721      6 |        0 |        0
192.76/192.86	c  192s |      13 |   110265 |    42632 |     9721      6 |        0 |        0
194.77/194.88	c  194s |      13 |   110734 |    43032 |     9721      6 |        0 |        0
196.76/196.90	c  196s |      13 |   111182 |    43432 |     9721      6 |        0 |        0
198.86/198.97	c  198s |      13 |   111612 |    43832 |     9721      6 |        0 |        0
201.16/201.20	c  200s |      13 |   112077 |    44232 |     9721      6 |        0 |        0
203.26/203.35	c  202s |      13 |   112533 |    44632 |     9721      6 |        0 |        0
205.45/205.59	c  204s |      13 |   112963 |    45032 |     9721      6 |        0 |        0
207.87/207.97	c  207s |      13 |   113410 |    45432 |     9721      6 |        0 |        0
210.26/210.30	c  209s |      13 |   113841 |    45832 |     9721      6 |        0 |        0
212.56/212.62	c  212s |      13 |   114274 |    46232 |     9721      6 |        0 |        0
214.96/215.06	c  214s |      13 |   114711 |    46632 |     9721      6 |        0 |        0
217.35/217.48	c  216s |      13 |   115175 |    47032 |     9721      6 |        0 |        0
219.75/219.87	c  219s |      13 |   115632 |    47432 |     9721      6 |        0 |        0
222.16/222.25	c  221s |      13 |   116070 |    47832 |     9721      6 |        0 |        0
224.66/224.72	c  224s |      13 |   116510 |    48232 |     9721      6 |        0 |        0
227.25/227.31	c  226s |      13 |   116941 |    48632 |     9721      6 |        0 |        0
229.86/229.97	c  229s |      13 |   117386 |    49032 |     9721      6 |        0 |        0
232.45/232.51	c  231s |      13 |   117832 |    49432 |     9721      6 |        0 |        0
234.85/234.98	c  234s |      13 |   118280 |    49832 |     9721      6 |        0 |        0
237.65/237.73	c  237s |      13 |   118724 |    50232 |     9721      6 |        0 |        0
240.35/240.42	c  239s |      13 |   119149 |    50632 |     9721      6 |        0 |        0
242.55/242.62	c  242s |      13 |   119469 |    50932 |     9721      6 |        0 |        0
245.15/245.26	c  244s |      13 |   119691 |    51132 |     9721      7 |        0 |        0
247.74/247.85	c  247s |      13 |   120138 |    51532 |     9721      7 |        0 |        0
250.24/250.34	c  249s |      13 |   120586 |    51932 |     9721      7 |        0 |        0
252.24/252.36	c  251s |      13 |   120926 |    52232 |     9721      7 |        0 |        0
254.25/254.39	c  253s |      13 |   121243 |    52532 |     9721      7 |        0 |        0
256.35/256.43	c  255s |      13 |   121570 |    52832 |     9721      7 |        0 |        0
258.44/258.53	c  257s |      13 |   121905 |    53132 |     9721      7 |        0 |        0
260.74/260.90	c  260s |      13 |   122266 |    53432 |     9721      7 |        0 |        0
263.04/263.11	c  262s |      13 |   122600 |    53732 |     9721      7 |        0 |        0
265.54/265.68	c  265s |      13 |   122958 |    54032 |     9721      7 |        0 |        0
268.24/268.37	c  267s |      13 |   123281 |    54332 |     9721      7 |        0 |        0
270.64/270.71	c  270s |      13 |   123618 |    54632 |     9721      7 |        0 |        0
272.94/273.07	c  272s |      13 |   123950 |    54932 |     9721      7 |        0 |        0
275.53/275.60	c  275s |      13 |   124266 |    55232 |     9721      7 |        0 |        0
278.13/278.29	c  277s |      13 |   124595 |    55532 |     9721      7 |        0 |        0
280.73/280.84	c  280s |      13 |   124912 |    55832 |     9721      7 |        0 |        0
283.23/283.35	c  282s |      13 |   125236 |    56132 |     9721      7 |        0 |        0
285.94/286.04	c  285s |      13 |   125557 |    56432 |     9721      7 |        0 |        0
288.24/288.36	c  287s |      13 |   125892 |    56732 |     9721      7 |        0 |        0
290.93/291.01	c  290s |      13 |   126212 |    57032 |     9721      7 |        0 |        0
293.33/293.45	c  292s |      13 |   126545 |    57332 |     9721      7 |        0 |        0
295.84/295.94	c  295s |      13 |   126870 |    57632 |     9721      7 |        0 |        0
298.43/298.54	c  297s |      13 |   127214 |    57932 |    10694      7 |        0 |        0
301.12/301.27	c  300s |      13 |   127542 |    58232 |    10694      7 |        0 |        0
302.22/302.38	c  301s |      14 |   127667 |    58352 |    10694      7 |        0 |        0
304.82/304.92	c  304s |      14 |   130719 |    58452 |    10694      8 |        0 |        0
307.12/307.25	c  306s |      14 |   131628 |    59152 |    10694      8 |        0 |        0
309.62/309.73	c  309s |      14 |   132327 |    59752 |    10694      8 |        0 |        0
311.92/312.07	c  311s |      14 |   132893 |    60252 |    10694      8 |        0 |        0
314.12/314.20	c  313s |      14 |   133339 |    60652 |    10694      8 |        0 |        0
316.12/316.22	c  315s |      14 |   133821 |    61052 |    10694      8 |        0 |        0
318.52/318.66	c  318s |      14 |   134387 |    61552 |    10694      8 |        0 |        0
320.61/320.78	c  320s |      14 |   134825 |    61952 |    10694      8 |        0 |        0
322.92/323.05	c  322s |      14 |   135278 |    62352 |    10694      8 |        0 |        0
325.11/325.24	c  324s |      14 |   135736 |    62752 |    10694      8 |        0 |        0
327.31/327.45	c  326s |      14 |   136169 |    63152 |    10694      8 |        0 |        0
329.51/329.61	c  329s |      14 |   136621 |    63552 |    10694      8 |        0 |        0
331.71/331.86	c  331s |      14 |   137075 |    63952 |    10694      8 |        0 |        0
334.01/334.16	c  333s |      14 |   137523 |    64352 |    10694      8 |        0 |        0
336.51/336.66	c  336s |      14 |   138053 |    64752 |    10694      8 |        0 |        0
338.60/338.77	c  338s |      14 |   139064 |    65052 |    10694      8 |        0 |        0
341.20/341.38	c  340s |      14 |   139418 |    65352 |    10694      8 |        0 |        0
343.50/343.62	c  343s |      14 |   139655 |    65552 |    10694      8 |        0 |        0
345.81/345.97	c  345s |      14 |   140014 |    65852 |    10694      8 |        0 |        0
348.20/348.33	c  347s |      14 |   140344 |    66152 |    10694      8 |        0 |        0
350.50/350.61	c  350s |      14 |   140983 |    66452 |    10694      8 |        0 |        0
352.90/353.02	c  352s |      14 |   142250 |    66752 |    10694      8 |        0 |        0
355.70/355.82	c  355s |      14 |   142660 |    67052 |    10694      8 |        0 |        0
358.60/358.72	c  358s |      14 |   143009 |    67352 |    10694      8 |        0 |        0
361.30/361.49	c  360s |      14 |   143374 |    67652 |    10694      8 |        0 |        0
363.39/363.50	c  362s |      14 |   143694 |    67852 |    10694      8 |        0 |        0
365.49/365.61	c  365s |      14 |   143920 |    68052 |    10694      8 |        0 |        0
367.69/367.85	c  367s |      14 |   144154 |    68252 |    10694      8 |        0 |        0
370.70/370.83	c  370s |      14 |   144507 |    68552 |    10694      8 |        0 |        0
373.50/373.68	c  373s |      14 |   144749 |    68752 |    10694      9 |        0 |        0
375.89/376.02	c  375s |      14 |   145118 |    69052 |    10694      9 |        0 |        0
378.19/378.38	c  377s |      14 |   145500 |    69352 |    10694      9 |        0 |        0
381.09/381.26	c  380s |      14 |   145847 |    69652 |    10694      9 |        0 |        0
383.89/384.02	c  383s |      14 |   146089 |    69852 |    10694      9 |        0 |        0
386.58/386.79	c  386s |      14 |   146462 |    70152 |    10694      9 |        0 |        0
389.28/389.48	c  388s |      14 |   146824 |    70452 |    10694      9 |        0 |        0
392.08/392.23	c  391s |      14 |   147167 |    70752 |    10694      9 |        0 |        0
394.78/394.95	c  394s |      14 |   147530 |    71052 |    10694      9 |        0 |        0
396.88/397.05	c  396s |      14 |   147774 |    71252 |    10694      9 |        0 |        0
399.07/399.23	c  398s |      14 |   147994 |    71452 |    10694      9 |        0 |        0
401.07/401.27	c  400s |      14 |   148216 |    71652 |    10694      9 |        0 |        0
403.28/403.48	c  402s |      14 |   148439 |    71852 |    10694      9 |        0 |        0
405.68/405.82	c  405s |      14 |   148678 |    72052 |    10694      9 |        0 |        0
408.47/408.62	c  408s |      14 |   149066 |    72352 |    10694      9 |        0 |        0
411.38/411.51	c  410s |      14 |   149437 |    72652 |    10694      9 |        0 |        0
414.08/414.26	c  413s |      14 |   149861 |    72952 |    10694      9 |        0 |        0
416.88/417.08	c  416s |      14 |   150240 |    73252 |    10694      9 |        0 |        0
419.77/419.92	c  419s |      14 |   150657 |    73552 |    10694      9 |        0 |        0
422.67/422.86	c  422s |      14 |   151034 |    73852 |    10694      9 |        0 |        0
425.46/425.66	c  425s |      14 |   151380 |    74152 |    10694      9 |        0 |        0
428.16/428.33	c  427s |      14 |   151777 |    74452 |    10694      9 |        0 |        0
431.17/431.33	c  430s |      14 |   152132 |    74752 |    10694      9 |        0 |        0
433.17/433.38	c  432s |      14 |   152348 |    74952 |    10694      9 |        0 |        0
436.16/436.36	c  435s |      14 |   152857 |    75252 |    10694      9 |        0 |        0
438.36/438.58	c  437s |      14 |   153061 |    75452 |    10694      9 |        0 |        0
440.56/440.73	c  440s |      14 |   153312 |    75652 |    10694      9 |        0 |        0
442.86/443.03	c  442s |      14 |   153528 |    75852 |    10694      9 |        0 |        0
445.06/445.21	c  444s |      14 |   153763 |    76052 |    10694      9 |        0 |        0
447.15/447.39	c  446s |      14 |   153979 |    76252 |    10694      9 |        0 |        0
449.66/449.89	c  449s |      14 |   154195 |    76452 |    10694      9 |        0 |        0
451.76/451.95	c  451s |      14 |   154526 |    76652 |    10694      9 |        0 |        0
453.86/454.04	c  453s |      14 |   154751 |    76852 |    10694      9 |        0 |        0
456.05/456.28	c  455s |      14 |   154974 |    77052 |    10694      9 |        0 |        0
458.15/458.35	c  457s |      14 |   155215 |    77252 |    10694      9 |        0 |        0
460.15/460.39	c  459s |      14 |   155448 |    77452 |    10694      9 |        0 |        0
463.26/463.40	c  462s |      14 |   155799 |    77752 |    10694      9 |        0 |        0
465.35/465.50	c  464s |      14 |   156013 |    77952 |    10694      9 |        0 |        0
467.46/467.66	c  467s |      14 |   156130 |    78052 |    10694     10 |        0 |        0
470.45/470.60	c  470s |      14 |   156474 |    78352 |    10694     10 |        0 |        0
472.44/472.63	c  472s |      14 |   156716 |    78552 |    10694     10 |        0 |        0
475.15/475.35	c  474s |      14 |   157048 |    78852 |    10694     10 |        0 |        0
478.24/478.42	c  477s |      14 |   157367 |    79152 |    10694     10 |        0 |        0
480.44/480.65	c  480s |      14 |   157579 |    79352 |    10694     10 |        0 |        0
482.54/482.76	c  482s |      14 |   157798 |    79552 |    10694     10 |        0 |        0
484.74/484.95	c  484s |      14 |   158022 |    79752 |    10694     10 |        0 |        0
487.04/487.24	c  486s |      14 |   158246 |    79952 |    10694     10 |        0 |        0
489.24/489.46	c  488s |      14 |   158469 |    80152 |    10694     10 |        0 |        0
491.74/491.90	c  491s |      14 |   158698 |    80352 |    10694     10 |        0 |        0
494.34/494.55	c  493s |      14 |   158909 |    80552 |    10694     10 |        0 |        0
496.53/496.75	c  496s |      14 |   159161 |    80752 |    10694     10 |        0 |        0
499.03/499.23	c  498s |      14 |   159389 |    80952 |    10694     10 |        0 |        0
501.63/501.82	c  501s |      14 |   159610 |    81152 |    10694     10 |        0 |        0
504.23/504.43	c  503s |      14 |   159836 |    81352 |    10694     10 |        0 |        0
506.62/506.85	c  506s |      14 |   160048 |    81552 |    10694     10 |        0 |        0
509.14/509.36	c  508s |      14 |   160272 |    81752 |    10694     10 |        0 |        0
511.44/511.61	c  511s |      14 |   160515 |    81952 |    10694     10 |        0 |        0
513.53/513.77	c  513s |      14 |   160763 |    82152 |    10694     10 |        0 |        0
516.32/516.52	c  515s |      14 |   160995 |    82352 |    10694     10 |        0 |        0
519.02/519.21	c  518s |      14 |   161226 |    82552 |    10694     10 |        0 |        0
521.42/521.60	c  521s |      14 |   161461 |    82752 |    10694     10 |        0 |        0
523.72/523.94	c  523s |      14 |   161666 |    82952 |    10694     10 |        0 |        0
526.11/526.33	c  525s |      14 |   161890 |    83152 |    10694     10 |        0 |        0
528.41/528.68	c  528s |      14 |   162088 |    83352 |    10694     10 |        0 |        0
530.81/531.09	c  530s |      14 |   162322 |    83552 |    10694     10 |        0 |        0
533.32/533.56	c  532s |      14 |   162535 |    83752 |    10694     10 |        0 |        0
536.01/536.22	c  535s |      14 |   162750 |    83952 |    10694     10 |        0 |        0
538.71/538.90	c  538s |      14 |   162961 |    84152 |    10694     10 |        0 |        0
541.41/541.69	c  541s |      14 |   163188 |    84352 |    10694     10 |        0 |        0
544.50/544.75	c  544s |      14 |   163407 |    84552 |    10694     10 |        0 |        0
547.61/547.81	c  547s |      14 |   163628 |    84752 |    10694     10 |        0 |        0
550.10/550.33	c  549s |      14 |   163851 |    84952 |    10694     10 |        0 |        0
552.49/552.73	c  552s |      14 |   164073 |    85152 |    10694     10 |        0 |        0
554.80/555.01	c  554s |      14 |   164279 |    85352 |    10694     10 |        0 |        0
557.00/557.21	c  556s |      14 |   164520 |    85552 |    10694     10 |        0 |        0
559.29/559.51	c  558s |      14 |   164751 |    85752 |    10694     10 |        0 |        0
561.79/562.01	c  561s |      14 |   164963 |    85952 |    10694     10 |        0 |        0
564.30/564.54	c  563s |      14 |   165178 |    86152 |    10694     10 |        0 |        0
566.79/567.09	c  566s |      14 |   165393 |    86352 |    10694     10 |        0 |        0
569.39/569.64	c  569s |      14 |   165612 |    86552 |    10694     10 |        0 |        0
571.90/572.15	c  571s |      14 |   165853 |    86752 |    10694     10 |        0 |        0
574.19/574.45	c  573s |      14 |   166093 |    86952 |    11764     10 |        0 |        0
576.59/576.84	c  576s |      14 |   166294 |    87152 |    11764     10 |        0 |        0
579.09/579.31	c  578s |      14 |   166510 |    87352 |    11764     10 |        0 |        0
581.79/582.03	c  581s |      14 |   166734 |    87552 |    11764     10 |        0 |        0
582.89/583.13	c  582s |      15 |   166817 |    87632 |    11764     10 |        0 |        0
586.99/587.24	c  586s |      15 |   170627 |    87732 |    11764     11 |        0 |        0
589.29/589.56	c  588s |      15 |   171325 |    88332 |    11764     11 |        0 |        0
591.39/591.66	c  591s |      15 |   171861 |    88832 |    11764     11 |        0 |        0
593.48/593.71	c  593s |      15 |   172476 |    89332 |    11764     11 |        0 |        0
595.58/595.80	c  595s |      15 |   173041 |    89832 |    11764     11 |        0 |        0
597.88/598.10	c  597s |      15 |   173618 |    90332 |    11764     11 |        0 |        0
599.88/600.14	c  599s |      15 |   174064 |    90732 |    11764     11 |        0 |        0
601.98/602.20	c  601s |      15 |   174509 |    91132 |    11764     11 |        0 |        0
604.38/604.63	c  604s |      15 |   175085 |    91632 |    11764     11 |        0 |        0
606.48/606.78	c  606s |      15 |   175574 |    92032 |    11764     11 |        0 |        0
608.78/609.03	c  608s |      15 |   176044 |    92432 |    11764     11 |        0 |        0
611.28/611.51	c  610s |      15 |   176487 |    92832 |    11764     11 |        0 |        0
613.69/613.95	c  613s |      15 |   176914 |    93232 |    11764     11 |        0 |        0
616.28/616.56	c  615s |      15 |   177377 |    93632 |    11764     11 |        0 |        0
618.88/619.19	c  618s |      15 |   177837 |    94032 |    11764     11 |        0 |        0
621.18/621.42	c  620s |      15 |   178304 |    94432 |    11764     11 |        0 |        0
623.78/624.07	c  623s |      15 |   178775 |    94832 |    11764     11 |        0 |        0
625.87/626.14	c  625s |      15 |   179112 |    95132 |    11764     11 |        0 |        0
628.58/628.80	c  628s |      15 |   179596 |    95532 |    11764     11 |        0 |        0
630.58/630.81	c  630s |      15 |   179926 |    95832 |    11764     11 |        0 |        0
633.18/633.46	c  632s |      15 |   180396 |    96232 |    11764     11 |        0 |        0
635.87/636.14	c  635s |      15 |   180850 |    96632 |    11764     11 |        0 |        0
638.07/638.34	c  637s |      15 |   181184 |    96932 |    11764     11 |        0 |        0
640.18/640.50	c  639s |      15 |   181518 |    97232 |    11764     11 |        0 |        0
642.28/642.53	c  641s |      15 |   181856 |    97532 |    11764     11 |        0 |        0
644.77/645.06	c  644s |      15 |   182318 |    97932 |    11764     11 |        0 |        0
647.17/647.42	c  646s |      15 |   182431 |    98032 |    11764     12 |        0 |        0
649.77/650.02	c  649s |      15 |   182902 |    98432 |    11764     12 |        0 |        0
651.77/652.04	c  651s |      15 |   183231 |    98732 |    11764     12 |        0 |        0
654.37/654.67	c  654s |      15 |   183675 |    99132 |    11764     12 |        0 |        0
656.57/656.88	c  656s |      15 |   184013 |    99432 |    11764     12 |        0 |        0
658.77/659.09	c  658s |      15 |   184338 |    99732 |    11764     12 |        0 |        0
660.97/661.22	c  660s |      15 |   184679 |   100032 |    11764     12 |        0 |        0
662.96/663.24	c  662s |      15 |   185017 |   100332 |    11764     12 |        0 |        0
665.36/665.69	c  665s |      15 |   185495 |   100732 |    11764     12 |        0 |        0
668.06/668.31	c  667s |      15 |   185930 |   101132 |    11764     12 |        0 |        0
670.46/670.73	c  670s |      15 |   186408 |   101532 |    11764     12 |        0 |        0
672.96/673.22	c  672s |      15 |   186878 |   101932 |    11764     12 |        0 |        0
675.66/675.90	c  675s |      15 |   187334 |   102332 |    11764     12 |        0 |        0
678.26/678.56	c  677s |      15 |   187781 |   102732 |    11764     12 |        0 |        0
680.25/680.57	c  679s |      15 |   188116 |   103032 |    11764     12 |        0 |        0
682.96/683.26	c  682s |      15 |   188550 |   103432 |    11764     12 |        0 |        0
685.06/685.38	c  684s |      15 |   188883 |   103732 |    11764     12 |        0 |        0
687.36/687.62	c  687s |      15 |   189209 |   104032 |    11764     12 |        0 |        0
689.85/690.12	c  689s |      15 |   189546 |   104332 |    11764     12 |        0 |        0
692.15/692.47	c  691s |      15 |   189915 |   104632 |    11764     12 |        0 |        0
694.35/694.65	c  694s |      15 |   190244 |   104932 |    11764     12 |        0 |        0
696.55/696.87	c  696s |      15 |   190595 |   105232 |    11764     12 |        0 |        0
698.85/699.13	c  698s |      15 |   190922 |   105532 |    11764     12 |        0 |        0
701.35/701.63	c  701s |      15 |   191258 |   105832 |    11764     12 |        0 |        0
703.76/704.05	c  703s |      15 |   191606 |   106132 |    11764     12 |        0 |        0
706.34/706.67	c  706s |      15 |   192053 |   106532 |    11764     12 |        0 |        0
708.65/708.96	c  708s |      15 |   192388 |   106832 |    11764     12 |        0 |        0
711.04/711.35	c  710s |      15 |   192705 |   107132 |    11764     12 |        0 |        0
713.34/713.60	c  713s |      15 |   193048 |   107432 |    11764     12 |        0 |        0
715.85/716.11	c  715s |      15 |   193380 |   107732 |    11764     12 |        0 |        0
718.25/718.59	c  717s |      15 |   193492 |   107832 |    11764     13 |        0 |        0
720.84/721.16	c  720s |      15 |   193955 |   108232 |    11764     13 |        0 |        0
723.55/723.83	c  723s |      15 |   194401 |   108632 |    11764     13 |        0 |        0
725.64/725.93	c  725s |      15 |   194738 |   108932 |    11764     13 |        0 |        0
728.14/728.43	c  727s |      15 |   195183 |   109332 |    11764     13 |        0 |        0
730.25/730.56	c  729s |      15 |   195623 |   109732 |    11764     13 |        0 |        0
732.84/733.10	c  732s |      15 |   195966 |   110032 |    11764     13 |        0 |        0
735.34/735.67	c  735s |      15 |   196409 |   110432 |    11764     13 |        0 |        0
737.85/738.17	c  737s |      15 |   196856 |   110832 |    11764     13 |        0 |        0
739.94/740.20	c  739s |      15 |   197201 |   111132 |    11764     13 |        0 |        0
742.34/742.70	c  742s |      15 |   197683 |   111532 |    11764     13 |        0 |        0
744.83/745.12	c  744s |      15 |   198155 |   111932 |    11764     13 |        0 |        0
747.23/747.55	c  746s |      15 |   198608 |   112332 |    11764     13 |        0 |        0
749.74/750.02	c  749s |      15 |   199066 |   112732 |    11764     13 |        0 |        0
751.74/752.04	c  751s |      15 |   199402 |   113032 |    11764     13 |        0 |        0
754.34/754.62	c  754s |      15 |   199862 |   113432 |    11764     13 |        0 |        0
756.73/757.08	c  756s |      15 |   200320 |   113832 |    11764     13 |        0 |        0
759.23/759.59	c  759s |      15 |   200771 |   114232 |    11764     13 |        0 |        0
761.83/762.12	c  761s |      15 |   201209 |   114632 |    11764     13 |        0 |        0
763.83/764.19	c  763s |      15 |   201551 |   114932 |    11764     13 |        0 |        0
766.13/766.44	c  765s |      15 |   201875 |   115232 |    11764     13 |        0 |        0
768.23/768.50	c  767s |      15 |   202201 |   115532 |    11764     13 |        0 |        0
770.53/770.81	c  770s |      15 |   202536 |   115832 |    11764     13 |        0 |        0
772.73/773.09	c  772s |      15 |   202865 |   116132 |    11764     13 |        0 |        0
774.83/775.12	c  774s |      15 |   203184 |   116432 |    11764     13 |        0 |        0
777.13/777.42	c  776s |      15 |   203632 |   116832 |    11764     13 |        0 |        0
779.73/780.07	c  779s |      15 |   204064 |   117232 |    11764     13 |        0 |        0
781.93/782.21	c  781s |      15 |   204391 |   117532 |    11764     13 |        0 |        0
784.72/785.01	c  784s |      15 |   204620 |   117732 |    11764     14 |        0 |        0
787.23/787.58	c  786s |      15 |   205077 |   118132 |    11764     14 |        0 |        0
789.72/790.07	c  789s |      15 |   205531 |   118532 |    11764     14 |        0 |        0
792.32/792.61	c  792s |      15 |   205968 |   118932 |    11764     14 |        0 |        0
794.32/794.67	c  794s |      15 |   206286 |   119232 |    11764     14 |        0 |        0
796.92/797.23	c  796s |      15 |   206727 |   119632 |    11764     14 |        0 |        0
799.22/799.57	c  798s |      15 |   207062 |   119932 |    11764     14 |        0 |        0
801.42/801.71	c  801s |      15 |   207385 |   120232 |    11764     14 |        0 |        0
803.72/804.08	c  803s |      15 |   207692 |   120532 |    11764     14 |        0 |        0
806.31/806.62	c  806s |      15 |   208028 |   120832 |    11764     14 |        0 |        0
808.91/809.24	c  808s |      15 |   208361 |   121132 |    11764     14 |        0 |        0
811.11/811.46	c  810s |      15 |   208700 |   121432 |    11764     14 |        0 |        0
813.51/813.82	c  813s |      15 |   209133 |   121832 |    11764     14 |        0 |        0
816.01/816.32	c  815s |      15 |   209561 |   122232 |    11764     14 |        0 |        0
818.40/818.79	c  818s |      15 |   209874 |   122532 |    11764     14 |        0 |        0
820.70/821.05	c  820s |      15 |   210215 |   122832 |    11764     14 |        0 |        0
822.71/823.05	c  822s |      15 |   210451 |   123032 |    11764     14 |        0 |        0
824.91/825.26	c  824s |      15 |   210904 |   123432 |    11764     14 |        0 |        0
827.10/827.46	c  826s |      15 |   211362 |   123832 |    11764     14 |        0 |        0
829.50/829.88	c  829s |      15 |   211914 |   124332 |    11764     14 |        0 |        0
831.50/831.89	c  831s |      15 |   212269 |   124632 |    11764     14 |        0 |        0
833.61/833.99	c  833s |      15 |   212622 |   124932 |    11764     14 |        0 |        0
835.70/836.02	c  835s |      15 |   212954 |   125232 |    11764     14 |        0 |        0
837.80/838.18	c  837s |      15 |   213282 |   125532 |    11764     14 |        0 |        0
839.90/840.27	c  839s |      15 |   213630 |   125832 |    11764     14 |        0 |        0
842.00/842.35	c  841s |      15 |   213962 |   126132 |    11764     14 |        0 |        0
844.10/844.47	c  843s |      15 |   214313 |   126432 |    11764     14 |        0 |        0
846.30/846.62	c  846s |      15 |   214640 |   126732 |    11764     14 |        0 |        0
848.60/848.97	c  848s |      15 |   214969 |   127032 |    11764     14 |        0 |        0
851.11/851.40	c  850s |      15 |   215281 |   127332 |    11764     14 |        0 |        0
854.90/855.20	c  854s |      15 |   215607 |   127632 |    11764     15 |        0 |        0
857.49/857.81	c  857s |      15 |   216027 |   128032 |    11764     15 |        0 |        0
859.70/860.09	c  859s |      15 |   216370 |   128332 |    11764     15 |        0 |        0
861.80/862.11	c  861s |      15 |   216857 |   128732 |    11764     15 |        0 |        0
864.31/864.63	c  864s |      15 |   217311 |   129132 |    11764     15 |        0 |        0
866.30/866.69	c  866s |      15 |   217631 |   129432 |    11764     15 |        0 |        0
868.29/868.69	c  868s |      15 |   217977 |   129732 |    11764     15 |        0 |        0
870.90/871.23	c  870s |      15 |   218411 |   130132 |    11764     15 |        0 |        0
872.89/873.27	c  872s |      15 |   218743 |   130432 |    11764     15 |        0 |        0
874.99/875.34	c  874s |      15 |   219129 |   130732 |    12941     15 |        0 |        0
877.00/877.39	c  876s |      15 |   219496 |   131032 |    12941     15 |        0 |        0
879.30/879.61	c  879s |      15 |   219831 |   131332 |    12941     15 |        0 |        0
880.99/881.32	c  880s |      16 |   220062 |   131552 |    12941     15 |        0 |        0
883.29/883.60	c  883s |      16 |   223355 |   131652 |    12941     16 |        0 |        0
885.39/885.77	c  885s |      16 |   224284 |   132352 |    12941     16 |        0 |        0
887.79/888.16	c  887s |      16 |   225005 |   132952 |    12941     16 |        0 |        0
890.09/890.47	c  889s |      16 |   225612 |   133452 |    12941     16 |        0 |        0
892.39/892.71	c  892s |      16 |   226260 |   133952 |    12941     16 |        0 |        0
894.78/895.16	c  894s |      16 |   226904 |   134452 |    12941     16 |        0 |        0
897.19/897.59	c  897s |      16 |   227598 |   134952 |    12941     16 |        0 |        0
899.29/899.63	c  899s |      16 |   228258 |   135352 |    12941     16 |        0 |        0
901.69/902.01	c  901s |      16 |   228751 |   135752 |    12941     16 |        0 |        0
903.99/904.39	c  903s |      16 |   229262 |   136152 |    12941     16 |        0 |        0
906.58/906.97	c  906s |      16 |   229750 |   136552 |    12941     16 |        0 |        0
908.88/909.29	c  908s |      16 |   230411 |   136952 |    12941     16 |        0 |        0
910.98/911.37	c  910s |      16 |   230957 |   137352 |    12941     16 |        0 |        0
913.08/913.42	c  912s |      16 |   231543 |   137752 |    12941     16 |        0 |        0
915.38/915.73	c  915s |      16 |   232290 |   138152 |    12941     16 |        0 |        0
917.48/917.83	c  917s |      16 |   232780 |   138552 |    12941     16 |        0 |        0
919.88/920.29	c  919s |      16 |   233469 |   139052 |    12941     16 |        0 |        0
922.58/922.91	c  922s |      16 |   233954 |   139452 |    12941     16 |        0 |        0
924.97/925.33	c  924s |      16 |   234472 |   139852 |    12941     16 |        0 |        0
927.47/927.89	c  927s |      16 |   234926 |   140252 |    12941     16 |        0 |        0
929.58/929.96	c  929s |      16 |   235294 |   140552 |    12941     16 |        0 |        0
931.68/932.01	c  931s |      16 |   235646 |   140852 |    12941     16 |        0 |        0
933.77/934.18	c  933s |      16 |   235990 |   141152 |    12941     16 |        0 |        0
935.97/936.34	c  935s |      16 |   236333 |   141452 |    12941     16 |        0 |        0
938.27/938.66	c  938s |      16 |   236645 |   141752 |    12941     16 |        0 |        0
940.47/940.89	c  940s |      16 |   236997 |   142052 |    12941     16 |        0 |        0
942.86/943.22	c  942s |      16 |   237315 |   142352 |    12941     16 |        0 |        0
945.37/945.76	c  945s |      16 |   237699 |   142652 |    12941     16 |        0 |        0
947.97/948.31	c  947s |      16 |   238027 |   142952 |    12941     16 |        0 |        0
950.46/950.83	c  950s |      16 |   238357 |   143252 |    12941     16 |        0 |        0
953.07/953.44	c  952s |      16 |   238684 |   143552 |    12941     16 |        0 |        0
955.76/956.19	c  955s |      16 |   239048 |   143852 |    12941     16 |        0 |        0
958.56/958.93	c  958s |      16 |   239373 |   144152 |    12941     16 |        0 |        0
961.17/961.57	c  960s |      16 |   239705 |   144452 |    12941     16 |        0 |        0
963.56/963.97	c  963s |      16 |   240029 |   144752 |    12941     16 |        0 |        0
965.86/966.24	c  965s |      16 |   240354 |   145052 |    12941     16 |        0 |        0
968.46/968.81	c  968s |      16 |   240771 |   145352 |    12941     16 |        0 |        0
970.45/970.89	c  970s |      16 |   240911 |   145452 |    12941     17 |        0 |        0
973.05/973.44	c  972s |      16 |   241238 |   145752 |    12941     17 |        0 |        0
975.66/976.02	c  975s |      16 |   241588 |   146052 |    12941     17 |        0 |        0
978.36/978.75	c  978s |      16 |   241910 |   146352 |    12941     17 |        0 |        0
981.06/981.47	c  980s |      16 |   242229 |   146652 |    12941     17 |        0 |        0
984.06/984.45	c  983s |      16 |   242557 |   146952 |    12941     17 |        0 |        0
986.56/986.95	c  986s |      16 |   242866 |   147252 |    12941     17 |        0 |        0
989.35/989.78	c  989s |      16 |   243271 |   147552 |    12941     17 |        0 |        0
991.86/992.25	c  991s |      16 |   243676 |   147852 |    12941     17 |        0 |        0
994.16/994.57	c  993s |      16 |   244031 |   148152 |    12941     17 |        0 |        0
996.66/997.08	c  996s |      16 |   244356 |   148452 |    12941     17 |        0 |        0
999.05/999.44	c  998s |      16 |   244743 |   148752 |    12941     17 |        0 |        0
1001.15/1001.55	c 1000s |      16 |   245090 |   149052 |    12941     17 |        0 |        0
1003.45/1003.81	c 1003s |      16 |   245436 |   149352 |    12941     17 |        0 |        0
1005.95/1006.39	c 1005s |      16 |   245797 |   149652 |    12941     17 |        0 |        0
1008.36/1008.76	c 1008s |      16 |   246114 |   149952 |    12941     17 |        0 |        0
1010.95/1011.36	c 1010s |      16 |   246454 |   150252 |    12941     17 |        0 |        0
1013.66/1014.04	c 1013s |      16 |   246796 |   150552 |    12941     17 |        0 |        0
1016.16/1016.59	c 1015s |      16 |   247136 |   150852 |    12941     17 |        0 |        0
1018.65/1019.09	c 1018s |      16 |   247494 |   151152 |    12941     17 |        0 |        0
1021.25/1021.60	c 1021s |      16 |   247842 |   151452 |    12941     17 |        0 |        0
1023.76/1024.12	c 1023s |      16 |   248165 |   151752 |    12941     17 |        0 |        0
1026.66/1027.06	c 1026s |      16 |   248546 |   152052 |    12941     17 |        0 |        0
1029.65/1030.03	c 1029s |      16 |   248863 |   152352 |    12941     17 |        0 |        0
1032.35/1032.73	c 1032s |      16 |   249223 |   152652 |    12941     17 |        0 |        0
1034.65/1035.03	c 1034s |      16 |   249773 |   153052 |    12941     17 |        0 |        0
1037.05/1037.41	c 1036s |      16 |   250243 |   153452 |    12941     17 |        0 |        0
1039.55/1039.95	c 1039s |      16 |   250747 |   153852 |    12941     17 |        0 |        0
1041.85/1042.23	c 1041s |      16 |   251160 |   154152 |    12941     17 |        0 |        0
1044.65/1045.08	c 1044s |      16 |   251487 |   154452 |    12941     17 |        0 |        0
1047.45/1047.85	c 1047s |      16 |   251819 |   154752 |    12941     17 |        0 |        0
1050.35/1050.75	c 1050s |      16 |   252196 |   155052 |    12941     17 |        0 |        0
1052.75/1053.16	c 1052s |      16 |   252605 |   155352 |    12941     17 |        0 |        0
1055.75/1056.15	c 1055s |      16 |   252935 |   155652 |    12941     17 |        0 |        0
1059.55/1059.99	c 1059s |      16 |   253148 |   155852 |    12941     18 |        0 |        0
1062.14/1062.52	c 1061s |      16 |   253494 |   156152 |    12941     18 |        0 |        0
1064.85/1065.25	c 1064s |      16 |   253995 |   156552 |    12941     18 |        0 |        0
1067.54/1067.95	c 1067s |      16 |   254492 |   156952 |    12941     18 |        0 |        0
1069.74/1070.13	c 1069s |      16 |   254843 |   157252 |    12941     18 |        0 |        0
1072.44/1072.84	c 1072s |      16 |   255317 |   157652 |    12941     18 |        0 |        0
1074.64/1075.03	c 1074s |      16 |   255659 |   157952 |    12941     18 |        0 |        0
1076.94/1077.33	c 1076s |      16 |   255991 |   158252 |    12941     18 |        0 |        0
1079.44/1079.83	c 1079s |      16 |   256317 |   158552 |    12941     18 |        0 |        0
1081.94/1082.33	c 1081s |      16 |   256641 |   158852 |    12941     18 |        0 |        0
1084.35/1084.78	c 1084s |      16 |   256989 |   159152 |    12941     18 |        0 |        0
1087.04/1087.46	c 1086s |      16 |   257329 |   159452 |    12941     18 |        0 |        0
1089.54/1089.96	c 1089s |      16 |   257692 |   159752 |    12941     18 |        0 |        0
1091.84/1092.25	c 1091s |      16 |   258066 |   160052 |    12941     18 |        0 |        0
1093.94/1094.38	c 1093s |      16 |   258489 |   160352 |    12941     18 |        0 |        0
1096.14/1096.50	c 1095s |      16 |   258809 |   160652 |    12941     18 |        0 |        0
1098.24/1098.60	c 1098s |      16 |   259221 |   160952 |    12941     18 |        0 |        0
1100.34/1100.70	c 1100s |      16 |   259560 |   161252 |    12941     18 |        0 |        0
1102.94/1103.36	c 1102s |      16 |   259880 |   161552 |    12941     18 |        0 |        0
1105.24/1105.68	c 1105s |      16 |   260330 |   161852 |    12941     18 |        0 |        0
1107.74/1108.14	c 1107s |      16 |   260748 |   162152 |    12941     18 |        0 |        0
1110.54/1110.99	c 1110s |      16 |   261099 |   162452 |    12941     18 |        0 |        0
1113.54/1113.90	c 1113s |      16 |   261409 |   162752 |    12941     18 |        0 |        0
1116.33/1116.73	c 1116s |      16 |   261732 |   163052 |    12941     18 |        0 |        0
1118.84/1119.27	c 1118s |      16 |   262138 |   163352 |    12941     18 |        0 |        0
1121.33/1121.73	c 1121s |      16 |   262704 |   163852 |    12941     18 |        0 |        0
1123.64/1124.06	c 1123s |      16 |   263294 |   164352 |    12941     18 |        0 |        0
1125.64/1126.07	c 1125s |      16 |   263787 |   164752 |    12941     18 |        0 |        0
1127.64/1128.09	c 1127s |      16 |   264117 |   165052 |    12941     18 |        0 |        0
1130.24/1130.63	c 1130s |      16 |   264639 |   165452 |    12941     18 |        0 |        0
1132.74/1133.18	c 1132s |      16 |   265113 |   165852 |    12941     18 |        0 |        0
1134.74/1135.19	c 1134s |      16 |   265496 |   166152 |    12941     18 |        0 |        0
1137.23/1137.68	c 1137s |      16 |   265631 |   166252 |    12941     19 |        0 |        0
1139.83/1140.23	c 1139s |      16 |   266148 |   166652 |    12941     19 |        0 |        0
1141.83/1142.29	c 1141s |      16 |   266514 |   166952 |    12941     19 |        0 |        0
1144.23/1144.69	c 1144s |      16 |   266989 |   167352 |    12941     19 |        0 |        0
1146.73/1147.16	c 1146s |      16 |   267529 |   167752 |    12941     19 |        0 |        0
1149.03/1149.45	c 1148s |      16 |   268022 |   168152 |    12941     19 |        0 |        0
1151.23/1151.66	c 1151s |      16 |   268479 |   168552 |    12941     19 |        0 |        0
1153.23/1153.69	c 1153s |      16 |   268934 |   168952 |    12941     19 |        0 |        0
1155.84/1156.26	c 1155s |      16 |   269413 |   169352 |    12941     19 |        0 |        0
1157.94/1158.38	c 1157s |      16 |   269761 |   169652 |    12941     19 |        0 |        0
1160.03/1160.42	c 1159s |      16 |   270134 |   169952 |    12941     19 |        0 |        0
1162.03/1162.44	c 1161s |      16 |   270499 |   170252 |    12941     19 |        0 |        0
1164.23/1164.62	c 1164s |      16 |   270846 |   170552 |    12941     19 |        0 |        0
1166.43/1166.84	c 1166s |      16 |   271235 |   170852 |    12941     19 |        0 |        0
1168.43/1168.88	c 1168s |      16 |   271719 |   171152 |    12941     19 |        0 |        0
1171.03/1171.42	c 1170s |      16 |   272183 |   171552 |    12941     19 |        0 |        0
1173.73/1174.15	c 1173s |      16 |   272690 |   171952 |    12941     19 |        0 |        0
1175.93/1176.32	c 1175s |      16 |   273032 |   172252 |    12941     19 |        0 |        0
1178.03/1178.49	c 1177s |      16 |   273393 |   172552 |    12941     19 |        0 |        0
1180.43/1180.84	c 1180s |      16 |   273755 |   172852 |    12941     19 |        0 |        0
1182.43/1182.86	c 1182s |      16 |   274111 |   173152 |    12941     19 |        0 |        0
1185.12/1185.51	c 1184s |      16 |   274635 |   173552 |    12941     19 |        0 |        0
1187.23/1187.67	c 1187s |      16 |   275045 |   173852 |    12941     19 |        0 |        0
1189.63/1190.05	c 1189s |      16 |   275405 |   174152 |    12941     19 |        0 |        0
1191.93/1192.32	c 1191s |      16 |   275744 |   174452 |    12941     19 |        0 |        0
1194.12/1194.56	c 1193s |      16 |   276096 |   174752 |    12941     19 |        0 |        0
1196.63/1197.04	c 1196s |      16 |   276423 |   175052 |    12941     19 |        0 |        0
1199.23/1199.62	c 1199s |      16 |   276762 |   175352 |    12941     19 |        0 |        0
1201.42/1201.89	c 1201s |      16 |   277134 |   175652 |    12941     19 |        0 |        0
1203.82/1204.22	c 1203s |      16 |   277519 |   175952 |    12941     19 |        0 |        0
1206.33/1206.71	c 1206s |      16 |   277928 |   176252 |    12941     19 |        0 |        0
1208.73/1209.19	c 1208s |      16 |   278273 |   176552 |    12941     19 |        0 |        0
1211.53/1211.90	c 1211s |      16 |   278514 |   176752 |    12941     20 |        0 |        0
1214.82/1215.21	c 1214s |      16 |   278836 |   177052 |    12941     20 |        0 |        0
1217.12/1217.50	c 1216s |      16 |   279496 |   177552 |    12941     20 |        0 |        0
1219.22/1219.70	c 1219s |      16 |   280179 |   177952 |    12941     20 |        0 |        0
1221.52/1221.99	c 1221s |      16 |   280642 |   178352 |    12941     20 |        0 |        0
1223.92/1224.38	c 1223s |      16 |   281070 |   178752 |    12941     20 |        0 |        0
1225.92/1226.39	c 1225s |      16 |   281428 |   179052 |    12941     20 |        0 |        0
1228.12/1228.52	c 1227s |      16 |   281833 |   179352 |    12941     20 |        0 |        0
1230.32/1230.75	c 1230s |      16 |   282169 |   179652 |    12941     20 |        0 |        0
1232.51/1232.93	c 1232s |      16 |   282510 |   179952 |    12941     20 |        0 |        0
1234.72/1235.17	c 1234s |      16 |   282863 |   180252 |    12941     20 |        0 |        0
1237.13/1237.56	c 1236s |      16 |   283414 |   180652 |    12941     20 |        0 |        0
1239.52/1239.92	c 1239s |      16 |   283900 |   181052 |    12941     20 |        0 |        0
1241.92/1242.36	c 1241s |      16 |   284377 |   181452 |    12941     20 |        0 |        0
1244.02/1244.46	c 1243s |      16 |   284869 |   181852 |    12941     20 |        0 |        0
1246.12/1246.51	c 1245s |      16 |   285679 |   182252 |    12941     20 |        0 |        0
1248.62/1249.07	c 1248s |      16 |   286156 |   182652 |    12941     20 |        0 |        0
1250.81/1251.20	c 1250s |      16 |   286495 |   182952 |    12941     20 |        0 |        0
1252.82/1253.20	c 1252s |      16 |   286853 |   183252 |    12941     20 |        0 |        0
1254.83/1255.23	c 1254s |      16 |   287221 |   183552 |    12941     20 |        0 |        0
1257.12/1257.58	c 1256s |      16 |   287581 |   183852 |    12941     20 |        0 |        0
1259.42/1259.82	c 1259s |      16 |   287959 |   184152 |    12941     20 |        0 |        0
1261.42/1261.84	c 1261s |      16 |   288321 |   184452 |    12941     20 |        0 |        0
1263.62/1264.01	c 1263s |      16 |   288664 |   184752 |    12941     20 |        0 |        0
1266.01/1266.46	c 1265s |      16 |   289003 |   185052 |    12941     20 |        0 |        0
1268.72/1269.10	c 1268s |      16 |   289347 |   185352 |    12941     20 |        0 |        0
1270.92/1271.32	c 1270s |      16 |   289697 |   185652 |    12941     20 |        0 |        0
1273.22/1273.69	c 1273s |      16 |   290147 |   186052 |    12941     20 |        0 |        0
1275.51/1275.96	c 1275s |      16 |   290635 |   186452 |    12941     20 |        0 |        0
1277.71/1278.18	c 1277s |      16 |   291061 |   186852 |    12941     20 |        0 |        0
1280.21/1280.60	c 1280s |      16 |   291282 |   187052 |    12941     21 |        0 |        0
1282.41/1282.81	c 1282s |      16 |   291632 |   187352 |    12941     21 |        0 |        0
1284.72/1285.10	c 1284s |      16 |   292017 |   187652 |    12941     21 |        0 |        0
1287.31/1287.73	c 1287s |      16 |   292553 |   188052 |    12941     21 |        0 |        0
1289.92/1290.35	c 1289s |      16 |   293069 |   188452 |    12941     21 |        0 |        0
1292.01/1292.43	c 1291s |      16 |   293402 |   188752 |    12941     21 |        0 |        0
1294.01/1294.46	c 1293s |      16 |   293846 |   189052 |    12941     21 |        0 |        0
1296.11/1296.57	c 1295s |      16 |   294214 |   189352 |    12941     21 |        0 |        0
1298.50/1298.97	c 1298s |      16 |   294567 |   189652 |    12941     21 |        0 |        0
1300.81/1301.20	c 1300s |      16 |   294988 |   189952 |    12941     21 |        0 |        0
1302.81/1303.23	c 1302s |      16 |   295342 |   190252 |    12941     21 |        0 |        0
1305.01/1305.44	c 1304s |      16 |   295716 |   190552 |    12941     21 |        0 |        0
1307.10/1307.58	c 1306s |      16 |   296121 |   190852 |    12941     21 |        0 |        0
1309.61/1310.03	c 1309s |      16 |   296478 |   191152 |    12941     21 |        0 |        0
1311.71/1312.17	c 1311s |      16 |   296846 |   191452 |    12941     21 |        0 |        0
1313.91/1314.39	c 1313s |      16 |   297185 |   191752 |    12941     21 |        0 |        0
1316.50/1316.91	c 1316s |      16 |   297599 |   192052 |    12941     21 |        0 |        0
1318.80/1319.26	c 1318s |      16 |   298002 |   192352 |    12941     21 |        0 |        0
1321.11/1321.57	c 1320s |      16 |   298363 |   192652 |    12941     21 |        0 |        0
1323.51/1323.97	c 1323s |      16 |   298714 |   192952 |    12941     21 |        0 |        0
1325.80/1326.23	c 1325s |      16 |   299060 |   193252 |    12941     21 |        0 |        0
1327.80/1328.27	c 1327s |      16 |   299413 |   193552 |    12941     21 |        0 |        0
1329.90/1330.38	c 1329s |      16 |   299765 |   193852 |    12941     21 |        0 |        0
1332.00/1332.41	c 1331s |      16 |   300163 |   194152 |    12941     21 |        0 |        0
1334.01/1334.44	c 1333s |      16 |   300488 |   194452 |    12941     21 |        0 |        0
1336.31/1336.71	c 1336s |      16 |   300820 |   194752 |    12941     21 |        0 |        0
1338.70/1339.10	c 1338s |      16 |   301140 |   195052 |    12941     21 |        0 |        0
1341.20/1341.69	c 1341s |      16 |   301479 |   195352 |    12941     21 |        0 |        0
1344.00/1344.49	c 1343s |      16 |   301820 |   195652 |    12941     21 |        0 |        0
1346.51/1346.96	c 1346s |      16 |   302149 |   195952 |    12941     21 |        0 |        0
1349.60/1350.08	c 1349s |      16 |   302498 |   196252 |    14236     21 |        0 |        0
1352.10/1352.52	c 1351s |      16 |   302957 |   196652 |    14236     21 |        0 |        0
1354.50/1354.95	c 1354s |      16 |   303324 |   196952 |    14236     21 |        0 |        0
1356.90/1357.36	c 1356s |      16 |   303665 |   197252 |    14236     21 |        0 |        0
1358.50/1358.90	c 1358s |      17 |   303889 |   197432 |    14236     21 |        0 |        0
1362.10/1362.57	c 1361s |      17 |   307156 |   197532 |    14236     22 |        0 |        0
1364.20/1364.67	c 1364s |      17 |   308063 |   198332 |    14236     22 |        0 |        0
1366.50/1366.92	c 1366s |      17 |   308970 |   199132 |    14236     22 |        0 |        0
1368.70/1369.12	c 1368s |      17 |   309897 |   199932 |    14236     22 |        0 |        0
1370.79/1371.25	c 1370s |      17 |   310682 |   200632 |    14236     22 |        0 |        0
1373.10/1373.50	c 1372s |      17 |   311498 |   201332 |    14236     22 |        0 |        0
1375.10/1375.57	c 1374s |      17 |   312192 |   201932 |    14236     22 |        0 |        0
1377.40/1377.83	c 1377s |      17 |   312850 |   202532 |    14236     22 |        0 |        0
1379.60/1380.09	c 1379s |      17 |   313548 |   203132 |    14236     22 |        0 |        0
1382.00/1382.41	c 1381s |      17 |   314264 |   203732 |    14236     22 |        0 |        0
1384.40/1384.86	c 1384s |      17 |   314811 |   204232 |    14236     22 |        0 |        0
1386.49/1386.91	c 1386s |      17 |   315256 |   204632 |    14236     22 |        0 |        0
1388.91/1389.30	c 1388s |      17 |   315809 |   205132 |    14236     22 |        0 |        0
1390.90/1391.31	c 1390s |      17 |   316266 |   205532 |    14236     22 |        0 |        0
1393.30/1393.74	c 1393s |      17 |   316803 |   206032 |    14236     22 |        0 |        0
1395.39/1395.84	c 1395s |      17 |   317231 |   206432 |    14236     22 |        0 |        0
1397.49/1397.97	c 1397s |      17 |   317673 |   206832 |    14236     22 |        0 |        0
1399.79/1400.20	c 1399s |      17 |   318113 |   207232 |    14236     22 |        0 |        0
1402.00/1402.42	c 1401s |      17 |   318582 |   207632 |    14236     22 |        0 |        0
1404.30/1404.71	c 1404s |      17 |   319031 |   208032 |    14236     22 |        0 |        0
1406.50/1406.93	c 1406s |      17 |   319472 |   208432 |    14236     22 |        0 |        0
1408.80/1409.21	c 1408s |      17 |   320006 |   208932 |    14236     22 |        0 |        0
1411.49/1411.94	c 1411s |      17 |   320320 |   209232 |    14236     23 |        0 |        0
1413.79/1414.21	c 1413s |      17 |   320871 |   209732 |    14236     23 |        0 |        0
1415.80/1416.28	c 1415s |      17 |   321307 |   210132 |    14236     23 |        0 |        0
1417.99/1418.43	c 1417s |      17 |   321870 |   210632 |    14236     23 |        0 |        0
1420.40/1420.83	c 1420s |      17 |   322426 |   211132 |    14236     23 |        0 |        0
1422.79/1423.22	c 1422s |      17 |   322968 |   211632 |    14236     23 |        0 |        0
1424.79/1425.24	c 1424s |      17 |   323400 |   212032 |    14236     23 |        0 |        0
1427.19/1427.65	c 1427s |      17 |   323835 |   212432 |    14236     23 |        0 |        0
1429.70/1430.11	c 1429s |      17 |   324283 |   212832 |    14236     23 |        0 |        0
1432.19/1432.69	c 1432s |      17 |   324738 |   213232 |    14236     23 |        0 |        0
1434.39/1434.84	c 1434s |      17 |   325064 |   213532 |    14236     23 |        0 |        0
1436.69/1437.18	c 1436s |      17 |   325485 |   213932 |    14236     23 |        0 |        0
1438.79/1439.24	c 1438s |      17 |   325905 |   214332 |    14236     23 |        0 |        0
1441.09/1441.51	c 1440s |      17 |   326356 |   214732 |    14236     23 |        0 |        0
1443.49/1443.94	c 1443s |      17 |   326835 |   215132 |    14236     23 |        0 |        0
1445.98/1446.44	c 1445s |      17 |   327287 |   215532 |    14236     23 |        0 |        0
1448.48/1448.92	c 1448s |      17 |   327718 |   215932 |    14236     23 |        0 |        0
1451.29/1451.70	c 1451s |      17 |   328139 |   216332 |    14236     23 |        0 |        0
1453.89/1454.37	c 1453s |      17 |   328585 |   216732 |    14236     23 |        0 |        0
1456.18/1456.61	c 1456s |      17 |   328904 |   217032 |    14236     23 |        0 |        0
1458.58/1459.02	c 1458s |      17 |   329357 |   217432 |    14236     23 |        0 |        0
1460.89/1461.36	c 1460s |      17 |   329797 |   217832 |    14236     23 |        0 |        0
1463.29/1463.73	c 1463s |      17 |   330353 |   218332 |    14236     23 |        0 |        0
1465.69/1466.13	c 1465s |      17 |   330912 |   218832 |    14236     23 |        0 |        0
1468.19/1468.66	c 1468s |      17 |   331465 |   219332 |    14236     23 |        0 |        0
1470.39/1470.82	c 1470s |      17 |   331882 |   219732 |    14236     23 |        0 |        0
1472.39/1472.85	c 1472s |      17 |   332314 |   220132 |    14236     23 |        0 |        0
1475.99/1476.47	c 1475s |      17 |   332526 |   220332 |    14236     24 |        0 |        0
1478.38/1478.87	c 1478s |      17 |   333082 |   220832 |    14236     24 |        0 |        0
1481.39/1481.88	c 1481s |      17 |   333418 |   221132 |    14236     24 |        0 |        0
1483.58/1484.01	c 1483s |      17 |   333970 |   221632 |    14236     24 |        0 |        0
1485.98/1486.45	c 1485s |      17 |   334522 |   222132 |    14236     24 |        0 |        0
1488.09/1488.60	c 1488s |      17 |   334959 |   222532 |    14236     24 |        0 |        0
1490.28/1490.78	c 1490s |      17 |   335400 |   222932 |    14236     24 |        0 |        0
1492.29/1492.80	c 1492s |      17 |   335730 |   223232 |    14236     24 |        0 |        0
1494.78/1495.28	c 1494s |      17 |   336176 |   223632 |    14236     24 |        0 |        0
1497.18/1497.68	c 1497s |      17 |   336605 |   224032 |    14236     24 |        0 |        0
1499.68/1500.12	c 1499s |      17 |   337168 |   224532 |    14236     24 |        0 |        0
1501.68/1502.14	c 1501s |      17 |   337591 |   224932 |    14236     24 |        0 |        0
1504.08/1504.59	c 1504s |      17 |   338133 |   225432 |    14236     24 |        0 |        0
1506.48/1506.96	c 1506s |      17 |   338679 |   225932 |    14236     24 |        0 |        0
1508.58/1509.06	c 1508s |      17 |   339097 |   226332 |    14236     24 |        0 |        0
1510.68/1511.11	c 1510s |      17 |   339524 |   226732 |    14236     24 |        0 |        0
1513.18/1513.63	c 1513s |      17 |   340083 |   227232 |    14236     24 |        0 |        0
1515.28/1515.76	c 1515s |      17 |   340505 |   227632 |    14236     24 |        0 |        0
1517.59/1518.07	c 1517s |      17 |   340932 |   228032 |    14236     24 |        0 |        0
1519.58/1520.09	c 1519s |      17 |   341262 |   228332 |    14236     24 |        0 |        0
1522.18/1522.63	c 1522s |      17 |   341692 |   228732 |    14236     24 |        0 |        0
1524.37/1524.86	c 1524s |      17 |   342125 |   229132 |    14236     24 |        0 |        0
1526.67/1527.15	c 1526s |      17 |   342548 |   229532 |    14236     24 |        0 |        0
1528.88/1529.34	c 1528s |      17 |   342980 |   229932 |    14236     24 |        0 |        0
1531.08/1531.54	c 1530s |      17 |   343405 |   230332 |    14236     24 |        0 |        0
1533.18/1533.67	c 1533s |      17 |   343834 |   230732 |    14236     24 |        0 |        0
1535.38/1535.80	c 1535s |      17 |   344263 |   231132 |    14236     24 |        0 |        0
1537.38/1537.81	c 1537s |      17 |   344479 |   231332 |    14236     25 |        0 |        0
1539.37/1539.84	c 1539s |      17 |   344792 |   231632 |    14236     25 |        0 |        0
1541.67/1542.19	c 1541s |      17 |   345220 |   232032 |    14236     25 |        0 |        0
1544.17/1544.63	c 1544s |      17 |   345655 |   232432 |    14236     25 |        0 |        0
1546.47/1546.90	c 1546s |      17 |   346091 |   232832 |    14236     25 |        0 |        0
1548.87/1549.36	c 1548s |      17 |   346631 |   233332 |    14236     25 |        0 |        0
1551.07/1551.55	c 1550s |      17 |   346750 |   233432 |    14236     25 |        0 |        0
1553.17/1553.62	c 1553s |      17 |   347169 |   233832 |    14236     25 |        0 |        0
1555.57/1556.01	c 1555s |      17 |   347708 |   234332 |    14236     25 |        0 |        0
1557.57/1558.06	c 1557s |      17 |   348130 |   234732 |    14236     25 |        0 |        0
1559.77/1560.23	c 1559s |      17 |   348565 |   235132 |    14236     25 |        0 |        0
1561.77/1562.29	c 1561s |      17 |   348898 |   235432 |    14236     25 |        0 |        0
1563.97/1564.45	c 1563s |      17 |   349319 |   235832 |    14236     25 |        0 |        0
1566.17/1566.64	c 1566s |      17 |   349755 |   236232 |    14236     25 |        0 |        0
1568.18/1568.69	c 1568s |      17 |   350179 |   236632 |    14236     25 |        0 |        0
1570.27/1570.80	c 1570s |      17 |   350630 |   237032 |    14236     25 |        0 |        0
1572.87/1573.31	c 1572s |      17 |   351182 |   237532 |    14236     25 |        0 |        0
1575.17/1575.65	c 1575s |      17 |   351728 |   238032 |    14236     25 |        0 |        0
1577.37/1577.84	c 1577s |      17 |   352158 |   238432 |    14236     25 |        0 |        0
1579.67/1580.13	c 1579s |      17 |   352598 |   238832 |    14236     25 |        0 |        0
1581.87/1582.39	c 1581s |      17 |   353052 |   239232 |    14236     25 |        0 |        0
1584.07/1584.50	c 1583s |      17 |   353483 |   239632 |    14236     25 |        0 |        0
1586.27/1586.73	c 1586s |      17 |   353927 |   240032 |    14236     25 |        0 |        0
1588.36/1588.87	c 1588s |      17 |   354340 |   240432 |    14236     25 |        0 |        0
1590.96/1591.46	c 1590s |      17 |   354790 |   240832 |    14236     25 |        0 |        0
1593.57/1594.04	c 1593s |      17 |   355220 |   241232 |    14236     25 |        0 |        0
1595.96/1596.42	c 1595s |      17 |   355683 |   241632 |    14236     25 |        0 |        0
1598.56/1599.06	c 1598s |      17 |   356120 |   242032 |    14236     25 |        0 |        0
1600.57/1601.06	c 1600s |      17 |   356449 |   242332 |    14236     25 |        0 |        0
1603.17/1603.62	c 1603s |      17 |   356558 |   242432 |    14236     26 |        0 |        0
1605.56/1606.10	c 1605s |      17 |   357093 |   242932 |    14236     26 |        0 |        0
1607.87/1608.36	c 1607s |      17 |   357627 |   243432 |    14236     26 |        0 |        0
1610.36/1610.83	c 1610s |      17 |   358163 |   243932 |    14236     26 |        0 |        0
1612.56/1613.02	c 1612s |      17 |   358595 |   244332 |    14236     26 |        0 |        0
1614.76/1615.25	c 1614s |      17 |   359033 |   244732 |    14236     26 |        0 |        0
1617.17/1617.63	c 1617s |      17 |   359458 |   245132 |    14236     26 |        0 |        0
1619.46/1619.99	c 1619s |      17 |   359988 |   245632 |    14236     26 |        0 |        0
1621.96/1622.42	c 1621s |      17 |   360544 |   246132 |    14236     26 |        0 |        0
1624.56/1625.04	c 1624s |      17 |   361081 |   246632 |    14236     26 |        0 |        0
1626.86/1627.30	c 1626s |      17 |   361421 |   246932 |    14236     26 |        0 |        0
1629.06/1629.54	c 1628s |      17 |   361867 |   247332 |    14236     26 |        0 |        0
1631.16/1631.69	c 1631s |      17 |   362317 |   247732 |    14236     26 |        0 |        0
1633.36/1633.80	c 1633s |      17 |   362749 |   248132 |    14236     26 |        0 |        0
1635.36/1635.88	c 1635s |      17 |   363180 |   248532 |    14236     26 |        0 |        0
1637.86/1638.34	c 1637s |      17 |   363614 |   248932 |    14236     26 |        0 |        0
1639.86/1640.37	c 1639s |      17 |   363950 |   249232 |    14236     26 |        0 |        0
1642.16/1642.64	c 1642s |      17 |   364281 |   249532 |    14236     26 |        0 |        0
1644.25/1644.75	c 1644s |      17 |   364719 |   249932 |    14236     26 |        0 |        0
1646.56/1647.00	c 1646s |      17 |   365153 |   250332 |    14236     26 |        0 |        0
1648.76/1649.26	c 1648s |      17 |   365581 |   250732 |    14236     26 |        0 |        0
1651.16/1651.68	c 1651s |      17 |   366017 |   251132 |    14236     26 |        0 |        0
1653.46/1654.00	c 1653s |      17 |   366468 |   251532 |    14236     26 |        0 |        0
1655.95/1656.44	c 1655s |      17 |   367017 |   252032 |    14236     26 |        0 |        0
1658.06/1658.50	c 1657s |      17 |   367571 |   252532 |    14236     26 |        0 |        0
1660.26/1660.70	c 1660s |      17 |   368132 |   253032 |    14236     26 |        0 |        0
1664.75/1665.29	c 1664s |      17 |   368577 |   253432 |    14236     27 |        0 |        0
1667.16/1667.62	c 1667s |      17 |   369023 |   253832 |    14236     27 |        0 |        0
1669.25/1669.76	c 1669s |      17 |   369577 |   254332 |    14236     27 |        0 |        0
1671.56/1672.03	c 1671s |      17 |   370118 |   254832 |    14236     27 |        0 |        0
1673.96/1674.43	c 1673s |      17 |   370648 |   255332 |    14236     27 |        0 |        0
1676.35/1676.88	c 1676s |      17 |   371187 |   255832 |    14236     27 |        0 |        0
1679.16/1679.65	c 1679s |      17 |   371716 |   256332 |    14236     27 |        0 |        0
1681.75/1682.24	c 1681s |      17 |   372137 |   256732 |    14236     27 |        0 |        0
1684.25/1684.77	c 1684s |      17 |   372570 |   257132 |    14236     27 |        0 |        0
1686.55/1687.00	c 1686s |      17 |   373010 |   257532 |    14236     27 |        0 |        0
1688.55/1689.01	c 1688s |      17 |   373439 |   257932 |    14236     27 |        0 |        0
1690.65/1691.16	c 1690s |      17 |   373885 |   258332 |    14236     27 |        0 |        0
1693.05/1693.57	c 1692s |      17 |   374421 |   258832 |    14236     27 |        0 |        0
1695.45/1695.95	c 1695s |      17 |   374979 |   259332 |    14236     27 |        0 |        0
1697.75/1698.26	c 1697s |      17 |   375508 |   259832 |    14236     27 |        0 |        0
1700.26/1700.78	c 1700s |      17 |   376064 |   260332 |    14236     27 |        0 |        0
1702.64/1703.15	c 1702s |      17 |   376488 |   260732 |    14236     27 |        0 |        0
1704.84/1705.32	c 1704s |      17 |   376912 |   261132 |    14236     27 |        0 |        0
1706.95/1707.49	c 1706s |      17 |   377226 |   261432 |    14236     27 |        0 |        0
1709.15/1709.67	c 1709s |      17 |   377559 |   261732 |    14236     27 |        0 |        0
1711.25/1711.78	c 1711s |      17 |   377884 |   262032 |    14236     27 |        0 |        0
1713.54/1714.03	c 1713s |      17 |   378303 |   262432 |    14236     27 |        0 |        0
1715.65/1716.14	c 1715s |      17 |   378744 |   262832 |    14236     27 |        0 |        0
1717.76/1718.23	c 1717s |      17 |   379191 |   263232 |    14236     27 |        0 |        0
1720.15/1720.66	c 1720s |      17 |   379619 |   263632 |    14236     27 |        0 |        0
1722.65/1723.15	c 1722s |      17 |   380056 |   264032 |    14236     27 |        0 |        0
1726.35/1726.87	c 1726s |      17 |   380512 |   264432 |    14236     28 |        0 |        0
1728.34/1728.88	c 1728s |      17 |   380953 |   264832 |    14236     28 |        0 |        0
1730.35/1730.89	c 1730s |      17 |   381378 |   265232 |    14236     28 |        0 |        0
1732.54/1733.04	c 1732s |      17 |   381836 |   265632 |    14236     28 |        0 |        0
1734.54/1735.05	c 1734s |      17 |   382267 |   266032 |    14236     28 |        0 |        0
1736.55/1737.05	c 1736s |      17 |   382713 |   266432 |    14236     28 |        0 |        0
1739.14/1739.63	c 1739s |      17 |   383139 |   266832 |    14236     28 |        0 |        0
1741.24/1741.72	c 1741s |      17 |   383569 |   267232 |    14236     28 |        0 |        0
1743.65/1744.10	c 1743s |      17 |   384094 |   267732 |    14236     28 |        0 |        0
1746.14/1746.62	c 1746s |      17 |   384632 |   268232 |    14236     28 |        0 |        0
1748.24/1748.72	c 1748s |      17 |   385059 |   268632 |    14236     28 |        0 |        0
1750.44/1750.92	c 1750s |      17 |   385563 |   269032 |    14236     28 |        0 |        0
1752.74/1753.27	c 1752s |      17 |   386143 |   269532 |    14236     28 |        0 |        0
1754.94/1755.44	c 1754s |      17 |   386739 |   270032 |    14236     28 |        0 |        0
1757.24/1757.75	c 1757s |      17 |   387330 |   270532 |    14236     28 |        0 |        0
1759.24/1759.77	c 1759s |      17 |   387804 |   270932 |    14236     28 |        0 |        0
1761.34/1761.85	c 1761s |      17 |   388149 |   271232 |    14236     28 |        0 |        0
1764.04/1764.54	c 1763s |      17 |   388587 |   271632 |    14236     28 |        0 |        0
1766.64/1767.11	c 1766s |      17 |   389075 |   272032 |    14236     28 |        0 |        0
1768.74/1769.22	c 1768s |      17 |   389529 |   272432 |    14236     28 |        0 |        0
1770.83/1771.34	c 1770s |      17 |   389984 |   272832 |    14236     28 |        0 |        0
1772.84/1773.35	c 1772s |      17 |   390437 |   273232 |    14236     28 |        0 |        0
1774.94/1775.50	c 1774s |      17 |   390999 |   273732 |    14236     28 |        0 |        0
1777.24/1777.71	c 1777s |      17 |   391558 |   274232 |    14236     28 |        0 |        0
1779.45/1779.94	c 1779s |      17 |   392108 |   274732 |    14236     28 |        0 |        0
1781.84/1782.35	c 1781s |      17 |   392655 |   275232 |    14236     28 |        0 |        0
1784.54/1785.09	c 1784s |      17 |   393001 |   275532 |    14236     29 |        0 |        0
1786.94/1787.44	c 1786s |      17 |   393708 |   276132 |    14236     29 |        0 |        0
1789.13/1789.60	c 1789s |      17 |   394149 |   276532 |    14236     29 |        0 |        0
1791.63/1792.16	c 1791s |      17 |   394597 |   276932 |    14236     29 |        0 |        0
1793.93/1794.48	c 1793s |      17 |   395135 |   277432 |    14236     29 |        0 |        0
1796.03/1796.58	c 1795s |      17 |   395687 |   277932 |    14236     29 |        0 |        0
1798.53/1799.04	c 1798s |      17 |   396259 |   278432 |    14236     29 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

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

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

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


[startup+0 s]
/proc/loadavg: 0.03 0.04 0.00 4/176 4890
/proc/meminfo: memFree=31481112/32872528 swapFree=163656/177964
[pid=4889] ppid=4884 vsize=618940 CPUtime=0 cores=0,2,4,6
/proc/4889/stat : 4889 (toysat) R 4884 4889 4845 0 -1 4202496 2295 0 0 0 0 0 0 0 20 0 4 0 36232342 633794560 2144 33554432000 4194304 16246674 140735754905168 140735754904592 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4889/statm: 155503 2155 441 2943 0 152397 0
[pid=4889/tid=4891] ppid=4884 vsize=643516 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4891/stat : 4891 (toysat) S 4884 4889 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36232342 658960384 2240 33554432000 4194304 16246674 140735754905168 139836668226800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4889/tid=4892] ppid=4884 vsize=648636 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4892/stat : 4892 (toysat) S 4884 4889 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36232342 664203264 2256 33554432000 4194304 16246674 140735754905168 139836657736944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4889/tid=4893] ppid=4884 vsize=652732 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4893/stat : 4893 (toysat) S 4884 4889 4845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36232342 668397568 2274 33554432000 4194304 16246674 140735754905168 139836647263408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100257 s]
/proc/loadavg: 0.03 0.04 0.00 4/176 4890
/proc/meminfo: memFree=31481112/32872528 swapFree=163656/177964
[pid=4889] ppid=4884 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/4889/stat : 4889 (toysat) R 4884 4889 4845 0 -1 4202496 20928 0 0 0 6 3 0 0 20 0 4 0 36232342 1249447936 20717 33554432000 4194304 16246674 140735754905168 140735754904480 12457395 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4889/statm: 305041 20725 828 2943 0 301935 0
[pid=4889/tid=4891] ppid=4884 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4891/stat : 4891 (toysat) S 4884 4889 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36232342 1249447936 20731 33554432000 4194304 16246674 140735754905168 139836668226800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4889/tid=4892] ppid=4884 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4892/stat : 4892 (toysat) S 4884 4889 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36232342 1249447936 20737 33554432000 4194304 16246674 140735754905168 139836657736944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4889/tid=4893] ppid=4884 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4893/stat : 4893 (toysat) S 4884 4889 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36232342 1249447936 20744 33554432000 4194304 16246674 140735754905168 139836647263408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200481 s]
/proc/loadavg: 0.03 0.04 0.00 4/176 4890
/proc/meminfo: memFree=31481112/32872528 swapFree=163656/177964
[pid=4889] ppid=4884 vsize=1220164 CPUtime=0.19 cores=0,2,4,6
/proc/4889/stat : 4889 (toysat) R 4884 4889 4845 0 -1 4202496 40642 0 0 0 14 5 0 0 20 0 4 0 36232342 1249447936 40431 33554432000 4194304 16246674 140735754905168 140735754904480 6192225 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4889/statm: 305041 40442 828 2943 0 301935 0
[pid=4889/tid=4891] ppid=4884 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4891/stat : 4891 (toysat) S 4884 4889 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36232342 1249447936 40451 33554432000 4194304 16246674 140735754905168 139836668226800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4889/tid=4892] ppid=4884 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4892/stat : 4892 (toysat) S 4884 4889 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36232342 1249447936 40462 33554432000 4194304 16246674 140735754905168 139836657736944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4889/tid=4893] ppid=4884 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4893/stat : 4893 (toysat) S 4884 4889 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36232342 1249447936 40466 33554432000 4194304 16246674 140735754905168 139836647263408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164

[startup+0.30047 s]
/proc/loadavg: 0.03 0.04 0.00 4/176 4890
/proc/meminfo: memFree=31481112/32872528 swapFree=163656/177964
[pid=4889] ppid=4884 vsize=1220164 CPUtime=0.29 cores=0,2,4,6
/proc/4889/stat : 4889 (toysat) R 4884 4889 4845 0 -1 4202496 60663 0 0 0 21 8 0 0 20 0 4 0 36232342 1249447936 60453 33554432000 4194304 16246674 140735754905168 140735754887040 6191726 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4889/statm: 305041 60461 828 2943 0 301935 0
[pid=4889/tid=4891] ppid=4884 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4891/stat : 4891 (toysat) S 4884 4889 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36232342 1249447936 60466 33554432000 4194304 16246674 140735754905168 139836668226800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4889/tid=4892] ppid=4884 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4892/stat : 4892 (toysat) S 4884 4889 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36232342 1249447936 60473 33554432000 4194304 16246674 140735754905168 139836657736944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4889/tid=4893] ppid=4884 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4893/stat : 4893 (toysat) S 4884 4889 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36232342 1249447936 60477 33554432000 4194304 16246674 140735754905168 139836647263408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1220164

[startup+0.700396 s]
/proc/loadavg: 0.03 0.04 0.00 4/176 4890
/proc/meminfo: memFree=31481112/32872528 swapFree=163656/177964
[pid=4889] ppid=4884 vsize=1306180 CPUtime=0.69 cores=0,2,4,6
/proc/4889/stat : 4889 (toysat) R 4884 4889 4845 0 -1 4202496 128530 0 0 0 54 15 0 0 20 0 4 0 36232342 1337528320 128319 33554432000 4194304 16246674 140735754905168 140735754904480 5546205 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4889/statm: 326545 128319 924 2943 0 323439 0
[pid=4889/tid=4891] ppid=4884 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4891/stat : 4891 (toysat) S 4884 4889 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36232342 1337528320 128319 33554432000 4194304 16246674 140735754905168 139836668226800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4889/tid=4892] ppid=4884 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4892/stat : 4892 (toysat) S 4884 4889 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36232342 1337528320 128319 33554432000 4194304 16246674 140735754905168 139836657736944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4889/tid=4893] ppid=4884 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4893/stat : 4893 (toysat) S 4884 4889 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36232342 1337528320 128319 33554432000 4194304 16246674 140735754905168 139836647263408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1306180

[startup+1.5004 s]
/proc/loadavg: 0.03 0.04 0.00 4/184 4898
/proc/meminfo: memFree=29984372/32872528 swapFree=163656/177964
[pid=4889] ppid=4884 vsize=1307204 CPUtime=1.49 cores=0,2,4,6
/proc/4889/stat : 4889 (toysat) R 4884 4889 4845 0 -1 4202496 128597 0 0 0 134 15 0 0 20 0 4 0 36232342 1338576896 128386 33554432000 4194304 16246674 140735754905168 140735754887040 12482985 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4889/statm: 326801 128386 924 2943 0 323695 0
[pid=4889/tid=4891] ppid=4884 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4891/stat : 4891 (toysat) S 4884 4889 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36232342 1338576896 128386 33554432000 4194304 16246674 140735754905168 139836668226800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4889/tid=4892] ppid=4884 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4892/stat : 4892 (toysat) S 4884 4889 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36232342 1338576896 128386 33554432000 4194304 16246674 140735754905168 139836657736944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4889/tid=4893] ppid=4884 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4893/stat : 4893 (toysat) S 4884 4889 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36232342 1338576896 128386 33554432000 4194304 16246674 140735754905168 139836647263408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.1004 s]
/proc/loadavg: 0.03 0.04 0.00 4/184 4898
/proc/meminfo: memFree=29895704/32872528 swapFree=163656/177964
[pid=4889] ppid=4884 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/4889/stat : 4889 (toysat) R 4884 4889 4845 0 -1 4202496 128827 0 0 0 294 15 0 0 20 0 4 0 36232342 1338576896 128616 33554432000 4194304 16246674 140735754905168 140735754887040 5829552 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4889/statm: 326801 128616 924 2943 0 323695 0
[pid=4889/tid=4891] ppid=4884 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4891/stat : 4891 (toysat) S 4884 4889 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36232342 1338576896 128616 33554432000 4194304 16246674 140735754905168 139836668226800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4889/tid=4892] ppid=4884 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4892/stat : 4892 (toysat) S 4884 4889 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36232342 1338576896 128616 33554432000 4194304 16246674 140735754905168 139836657736944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4889/tid=4893] ppid=4884 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4893/stat : 4893 (toysat) S 4884 4889 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36232342 1338576896 128616 33554432000 4194304 16246674 140735754905168 139836647263408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30041 s]
/proc/loadavg: 0.19 0.08 0.01 4/184 4898
/proc/meminfo: memFree=29893540/32872528 swapFree=163656/177964
[pid=4889] ppid=4884 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/4889/stat : 4889 (toysat) R 4884 4889 4845 0 -1 4202496 128827 0 0 0 613 16 0 0 20 0 4 0 36232342 1338576896 128616 33554432000 4194304 16246674 140735754905168 140735754887040 13943608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4889/statm: 326801 128616 924 2943 0 323695 0
[pid=4889/tid=4891] ppid=4884 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4891/stat : 4891 (toysat) S 4884 4889 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36232342 1338576896 128616 33554432000 4194304 16246674 140735754905168 139836668226800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4889/tid=4892] ppid=4884 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4892/stat : 4892 (toysat) S 4884 4889 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36232342 1338576896 128616 33554432000 4194304 16246674 140735754905168 139836657736944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4889/tid=4893] ppid=4884 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4893/stat : 4893 (toysat) S 4884 4889 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36232342 1338576896 128616 33554432000 4194304 16246674 140735754905168 139836647263408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 0.33 0.11 0.02 4/184 4898
/proc/meminfo: memFree=29895004/32872528 swapFree=163656/177964
[pid=4889] ppid=4884 vsize=1308228 CPUtime=12.69 cores=0,2,4,6
/proc/4889/stat : 4889 (toysat) R 4884 4889 4845 0 -1 4202496 128836 0 0 0 1253 16 0 0 20 0 4 0 36232342 1339625472 128625 33554432000 4194304 16246674 140735754905168 140735754904344 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4889/statm: 327057 128625 924 2943 0 323951 0
[pid=4889/tid=4891] ppid=4884 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4891/stat : 4891 (toysat) S 4884 4889 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36232342 1339625472 128625 33554432000 4194304 16246674 140735754905168 139836668226800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4889/tid=4892] ppid=4884 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4892/stat : 4892 (toysat) S 4884 4889 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36232342 1339625472 128625 33554432000 4194304 16246674 140735754905168 139836657736944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4889/tid=4893] ppid=4884 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4893/stat : 4893 (toysat) S 4884 4889 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36232342 1339625472 128625 33554432000 4194304 16246674 140735754905168 139836647263408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 0.70 0.20 0.05 4/184 4898
/proc/meminfo: memFree=29608840/32872528 swapFree=163656/177964
[pid=4889] ppid=4884 vsize=1309252 CPUtime=25.49 cores=0,2,4,6
/proc/4889/stat : 4889 (toysat) R 4884 4889 4845 0 -1 4202496 200722 0 0 0 2522 27 0 0 20 0 4 0 36232342 1340674048 200511 33554432000 4194304 16246674 140735754905168 140735754904344 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4889/statm: 327313 200511 930 2943 0 324207 0
[pid=4889/tid=4891] ppid=4884 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4891/stat : 4891 (toysat) S 4884 4889 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36232342 1340674048 200511 33554432000 4194304 16246674 140735754905168 139836668226800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4889/tid=4892] ppid=4884 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4892/stat : 4892 (toysat) S 4884 4889 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36232342 1340674048 200511 33554432000 4194304 16246674 140735754905168 139836657736944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4889/tid=4893] ppid=4884 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4893/stat : 4893 (toysat) S 4884 4889 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36232342 1340674048 200511 33554432000 4194304 16246674 140735754905168 139836647263408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1309252

[startup+51.1005 s]
/proc/loadavg: 1.22 0.36 0.11 4/183 4898
/proc/meminfo: memFree=29336856/32872528 swapFree=163660/177968
[pid=4889] ppid=4884 vsize=1309252 CPUtime=51.08 cores=0,2,4,6
/proc/4889/stat : 4889 (toysat) R 4884 4889 4845 0 -1 4202496 268542 0 0 0 5070 38 0 0 20 0 4 0 36232342 1340674048 268331 33554432000 4194304 16246674 140735754905168 140735754887040 12478189 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4889/statm: 327313 268331 931 2943 0 324207 0
[pid=4889/tid=4891] ppid=4884 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4891/stat : 4891 (toysat) S 4884 4889 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36232342 1340674048 268331 33554432000 4194304 16246674 140735754905168 139836668226800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4889/tid=4892] ppid=4884 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4892/stat : 4892 (toysat) S 4884 4889 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36232342 1340674048 268331 33554432000 4194304 16246674 140735754905168 139836657736944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4889/tid=4893] ppid=4884 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4893/stat : 4893 (toysat) S 4884 4889 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36232342 1340674048 268331 33554432000 4194304 16246674 140735754905168 139836647263408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1309252

[startup+102.3 s]
/proc/loadavg: 1.66 0.61 0.20 4/183 4899
/proc/meminfo: memFree=29336812/32872528 swapFree=163656/177964
[pid=4889] ppid=4884 vsize=1309252 CPUtime=102.28 cores=0,2,4,6
/proc/4889/stat : 4889 (toysat) R 4884 4889 4845 0 -1 4202496 268542 0 0 0 10186 42 0 0 20 0 4 0 36232342 1340674048 268331 33554432000 4194304 16246674 140735754905168 140735754887040 5722040 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4889/statm: 327313 268331 931 2943 0 324207 0
[pid=4889/tid=4891] ppid=4884 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4891/stat : 4891 (toysat) S 4884 4889 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36232342 1340674048 268331 33554432000 4194304 16246674 140735754905168 139836668226800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4889/tid=4892] ppid=4884 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4892/stat : 4892 (toysat) S 4884 4889 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36232342 1340674048 268331 33554432000 4194304 16246674 140735754905168 139836657736944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4889/tid=4893] ppid=4884 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4893/stat : 4893 (toysat) S 4884 4889 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36232342 1340674048 268331 33554432000 4194304 16246674 140735754905168 139836647263408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1309252


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

/proc/4889/task/4893/stat : 4893 (toysat) S 4884 4889 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36232342 2069434368 446251 33554432000 4194304 16246674 140735754905168 139836647263408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 2020932

[startup+1362.3 s]
/proc/loadavg: 2.26 2.13 1.60 3/183 4979
/proc/meminfo: memFree=28428116/32872528 swapFree=163656/177964
[pid=4889] ppid=4884 vsize=2184772 CPUtime=1361.9 cores=0,2,4,6
/proc/4889/stat : 4889 (toysat) R 4884 4889 4845 0 -1 4202496 487557 0 0 0 135960 230 0 0 20 0 4 0 36232342 2237206528 487027 33554432000 4194304 16246674 140735754905168 140735754904264 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4889/statm: 546193 487027 931 2943 0 543087 0
[pid=4889/tid=4891] ppid=4884 vsize=2184772 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4891/stat : 4891 (toysat) S 4884 4889 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36232342 2237206528 487027 33554432000 4194304 16246674 140735754905168 139836668226800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4889/tid=4892] ppid=4884 vsize=2184772 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4892/stat : 4892 (toysat) S 4884 4889 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36232342 2237206528 487027 33554432000 4194304 16246674 140735754905168 139836657736944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4889/tid=4893] ppid=4884 vsize=2184772 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4893/stat : 4893 (toysat) S 4884 4889 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36232342 2237206528 487027 33554432000 4194304 16246674 140735754905168 139836647263408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 2184772

[startup+1422.3 s]
/proc/loadavg: 2.27 2.15 1.64 3/183 4981
/proc/meminfo: memFree=28427768/32872528 swapFree=163656/177964
[pid=4889] ppid=4884 vsize=2184772 CPUtime=1421.9 cores=0,2,4,6
/proc/4889/stat : 4889 (toysat) R 4884 4889 4845 0 -1 4202496 487557 0 0 0 141938 252 0 0 20 0 4 0 36232342 2237206528 487027 33554432000 4194304 16246674 140735754905168 140735754904344 5822536 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4889/statm: 546193 487027 931 2943 0 543087 0
[pid=4889/tid=4891] ppid=4884 vsize=2184772 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4891/stat : 4891 (toysat) S 4884 4889 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36232342 2237206528 487027 33554432000 4194304 16246674 140735754905168 139836668226800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4889/tid=4892] ppid=4884 vsize=2184772 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4892/stat : 4892 (toysat) S 4884 4889 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36232342 2237206528 487027 33554432000 4194304 16246674 140735754905168 139836657736944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4889/tid=4893] ppid=4884 vsize=2184772 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4893/stat : 4893 (toysat) S 4884 4889 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36232342 2237206528 487027 33554432000 4194304 16246674 140735754905168 139836647263408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 2184772

[startup+1482.3 s]
/proc/loadavg: 2.19 2.15 1.66 3/183 4982
/proc/meminfo: memFree=28327120/32872528 swapFree=163656/177964
[pid=4889] ppid=4884 vsize=2285124 CPUtime=1481.88 cores=0,2,4,6
/proc/4889/stat : 4889 (toysat) R 4884 4889 4845 0 -1 4202496 512822 0 0 0 147912 276 0 0 20 0 4 0 36232342 2339966976 512292 33554432000 4194304 16246674 140735754905168 140735754904344 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4889/statm: 571281 512292 931 2943 0 568175 0
[pid=4889/tid=4891] ppid=4884 vsize=2285124 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4891/stat : 4891 (toysat) S 4884 4889 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36232342 2339966976 512292 33554432000 4194304 16246674 140735754905168 139836668226800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4889/tid=4892] ppid=4884 vsize=2285124 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4892/stat : 4892 (toysat) S 4884 4889 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36232342 2339966976 512292 33554432000 4194304 16246674 140735754905168 139836657736944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4889/tid=4893] ppid=4884 vsize=2285124 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4893/stat : 4893 (toysat) S 4884 4889 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36232342 2339966976 512292 33554432000 4194304 16246674 140735754905168 139836647263408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 2285124

[startup+1542.31 s]
/proc/loadavg: 2.10 2.13 1.69 3/183 4983
/proc/meminfo: memFree=28287720/32872528 swapFree=163656/177964
[pid=4889] ppid=4884 vsize=2324036 CPUtime=1541.88 cores=0,2,4,6
/proc/4889/stat : 4889 (toysat) R 4884 4889 4845 0 -1 4202496 522556 0 0 0 153888 300 0 0 20 0 4 0 36232342 2379812864 522026 33554432000 4194304 16246674 140735754905168 140735754887040 5545788 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4889/statm: 581009 522026 931 2943 0 577903 0
[pid=4889/tid=4891] ppid=4884 vsize=2324036 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4891/stat : 4891 (toysat) S 4884 4889 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36232342 2379812864 522026 33554432000 4194304 16246674 140735754905168 139836668226800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4889/tid=4892] ppid=4884 vsize=2324036 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4892/stat : 4892 (toysat) S 4884 4889 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36232342 2379812864 522026 33554432000 4194304 16246674 140735754905168 139836657736944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4889/tid=4893] ppid=4884 vsize=2324036 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4893/stat : 4893 (toysat) S 4884 4889 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36232342 2379812864 522026 33554432000 4194304 16246674 140735754905168 139836647263408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 2324036

[startup+1602.3 s]
/proc/loadavg: 2.13 2.14 1.72 3/183 4984
/proc/meminfo: memFree=28287740/32872528 swapFree=163656/177964
[pid=4889] ppid=4884 vsize=2324036 CPUtime=1601.86 cores=0,2,4,6
/proc/4889/stat : 4889 (toysat) R 4884 4889 4845 0 -1 4202496 522557 0 0 0 159865 321 0 0 20 0 4 0 36232342 2379812864 522027 33554432000 4194304 16246674 140735754905168 140735754904344 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4889/statm: 581009 522027 931 2943 0 577903 0
[pid=4889/tid=4891] ppid=4884 vsize=2324036 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4891/stat : 4891 (toysat) S 4884 4889 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36232342 2379812864 522027 33554432000 4194304 16246674 140735754905168 139836668226800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4889/tid=4892] ppid=4884 vsize=2324036 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4892/stat : 4892 (toysat) S 4884 4889 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36232342 2379812864 522027 33554432000 4194304 16246674 140735754905168 139836657736944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4889/tid=4893] ppid=4884 vsize=2324036 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4893/stat : 4893 (toysat) S 4884 4889 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36232342 2379812864 522027 33554432000 4194304 16246674 140735754905168 139836647263408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 2324036

[startup+1662.3 s]
/proc/loadavg: 2.08 2.12 1.74 3/183 4985
/proc/meminfo: memFree=28225160/32872528 swapFree=163656/177964
[pid=4889] ppid=4884 vsize=2324036 CPUtime=1661.86 cores=0,2,4,6
/proc/4889/stat : 4889 (toysat) R 4884 4889 4845 0 -1 4202496 522557 0 0 0 165841 345 0 0 20 0 4 0 36232342 2379812864 522027 33554432000 4194304 16246674 140735754905168 140735754904344 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4889/statm: 581009 522027 931 2943 0 577903 0
[pid=4889/tid=4891] ppid=4884 vsize=2324036 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4891/stat : 4891 (toysat) S 4884 4889 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36232342 2379812864 522027 33554432000 4194304 16246674 140735754905168 139836668226800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4889/tid=4892] ppid=4884 vsize=2324036 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4892/stat : 4892 (toysat) S 4884 4889 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36232342 2379812864 522027 33554432000 4194304 16246674 140735754905168 139836657736944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4889/tid=4893] ppid=4884 vsize=2324036 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4893/stat : 4893 (toysat) S 4884 4889 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36232342 2379812864 522027 33554432000 4194304 16246674 140735754905168 139836647263408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 2324036

[startup+1722.3 s]
/proc/loadavg: 2.21 2.14 1.76 3/182 4986
/proc/meminfo: memFree=28202500/32872528 swapFree=163656/177964
[pid=4889] ppid=4884 vsize=2347588 CPUtime=1721.84 cores=0,2,4,6
/proc/4889/stat : 4889 (toysat) R 4884 4889 4845 0 -1 4202496 528227 0 0 0 171814 370 0 0 20 0 4 0 36232342 2403930112 527697 33554432000 4194304 16246674 140735754905168 140735754904344 14628944 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4889/statm: 586897 527697 932 2943 0 583791 0
[pid=4889/tid=4891] ppid=4884 vsize=2347588 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4891/stat : 4891 (toysat) S 4884 4889 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36232342 2403930112 527697 33554432000 4194304 16246674 140735754905168 139836668226800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4889/tid=4892] ppid=4884 vsize=2347588 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4892/stat : 4892 (toysat) S 4884 4889 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36232342 2403930112 527697 33554432000 4194304 16246674 140735754905168 139836657736944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4889/tid=4893] ppid=4884 vsize=2347588 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4893/stat : 4893 (toysat) S 4884 4889 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36232342 2403930112 527697 33554432000 4194304 16246674 140735754905168 139836647263408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 2347588

[startup+1782.3 s]
/proc/loadavg: 2.18 2.15 1.79 3/184 4991
/proc/meminfo: memFree=28112624/32872528 swapFree=163656/177964
[pid=4889] ppid=4884 vsize=2347588 CPUtime=1781.84 cores=0,2,4,6
/proc/4889/stat : 4889 (toysat) R 4884 4889 4845 0 -1 4202496 528442 0 0 0 177786 398 0 0 20 0 4 0 36232342 2403930112 527912 33554432000 4194304 16246674 140735754905168 140735754904264 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4889/statm: 586897 527912 932 2943 0 583791 0
[pid=4889/tid=4891] ppid=4884 vsize=2347588 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4891/stat : 4891 (toysat) S 4884 4889 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36232342 2403930112 527912 33554432000 4194304 16246674 140735754905168 139836668226800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4889/tid=4892] ppid=4884 vsize=2347588 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4892/stat : 4892 (toysat) S 4884 4889 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36232342 2403930112 527912 33554432000 4194304 16246674 140735754905168 139836657736944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4889/tid=4893] ppid=4884 vsize=2347588 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4893/stat : 4893 (toysat) S 4884 4889 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36232342 2403930112 527912 33554432000 4194304 16246674 140735754905168 139836647263408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 2347588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.13 2.14 1.79 3/184 4991
/proc/meminfo: memFree=28113344/32872528 swapFree=163656/177964
[pid=4889] ppid=4884 vsize=2347588 CPUtime=1800.03 cores=0,2,4,6
/proc/4889/stat : 4889 (toysat) R 4884 4889 4845 0 -1 4202496 528446 0 0 0 179596 407 0 0 20 0 4 0 36232342 2403930112 527916 33554432000 4194304 16246674 140735754905168 140735754904344 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4889/statm: 586897 527916 932 2943 0 583791 0
[pid=4889/tid=4891] ppid=4884 vsize=2347588 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4891/stat : 4891 (toysat) S 4884 4889 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36232342 2403930112 527916 33554432000 4194304 16246674 140735754905168 139836668226800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4889/tid=4892] ppid=4884 vsize=2347588 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4892/stat : 4892 (toysat) S 4884 4889 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36232342 2403930112 527916 33554432000 4194304 16246674 140735754905168 139836657736944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4889/tid=4893] ppid=4884 vsize=2347588 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4893/stat : 4893 (toysat) S 4884 4889 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36232342 2403930112 527916 33554432000 4194304 16246674 140735754905168 139836647263408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 2347588

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.5 s]
/proc/loadavg: 2.13 2.14 1.79 3/184 4991
/proc/meminfo: memFree=28113344/32872528 swapFree=163656/177964
[pid=4889] ppid=4884 vsize=2347588 CPUtime=1800.03 cores=0,2,4,6
/proc/4889/stat : 4889 (toysat) R 4884 4889 4845 0 -1 4202496 528446 0 0 0 179596 407 0 0 20 0 4 0 36232342 2403930112 527916 33554432000 4194304 16246674 140735754905168 140735754904344 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4889/statm: 586897 527916 932 2943 0 583791 0
[pid=4889/tid=4891] ppid=4884 vsize=2347588 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4891/stat : 4891 (toysat) S 4884 4889 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36232342 2403930112 527916 33554432000 4194304 16246674 140735754905168 139836668226800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4889/tid=4892] ppid=4884 vsize=2347588 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4892/stat : 4892 (toysat) S 4884 4889 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36232342 2403930112 527916 33554432000 4194304 16246674 140735754905168 139836657736944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4889/tid=4893] ppid=4884 vsize=2347588 CPUtime=0 cores=0,2,4,6
/proc/4889/task/4893/stat : 4893 (toysat) S 4884 4889 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36232342 2403930112 527916 33554432000 4194304 16246674 140735754905168 139836647263408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 2347588

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.54
CPU time (s): 1800.08
CPU user time (s): 1795.97
CPU system time (s): 4.10438
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 2347588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.97
system time used= 4.10438
maximum resident set size= 2111664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 528446
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= 335
involuntary context switches= 2006

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.17306 second user time and 9.64553 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-19 15:10:24
IDJOB=4109206
IDBENCH=78730
IDSOLVER=2553
FILE ID=node105/4109206-1466341824
RUNJOBID= node105-1466341824-4861
PBS_JOBID= 19922043
Free space on /tmp= 71744 MiB

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

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

MD5SUM BENCH= cbd603b41e8425572ef374dcdfc00979
RANDOM SEED=895616303

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31482580 kB
Buffers:          124652 kB
Cached:           343568 kB
SwapCached:         1696 kB
Active:           148864 kB
Inactive:         322048 kB
Active(anon):       2352 kB
Inactive(anon):     3096 kB
Active(file):     146512 kB
Inactive(file):   318952 kB
Unevictable:      177964 kB
Mlocked:          163656 kB
SwapTotal:      67108856 kB
SwapFree:       67099304 kB
Dirty:             32628 kB
Writeback:             0 kB
AnonPages:        180404 kB
Mapped:             6516 kB
Shmem:                 0 kB
Slab:             608648 kB
SReclaimable:      52768 kB
SUnreclaim:       555880 kB
KernelStack:        1344 kB
PageTables:         4728 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     274396 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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= 71716 MiB
End job on node105 at 2016-06-19 15:40:25