Trace number 4116501

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.03 1800.51

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size96-round22-0.opb
MD5SUMb7b9217d010417b82bed1348dbdaf6d8
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark98.568
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4128
Total number of constraints8672
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)384
Number of constraints which are nor clauses,nor cardinality constraints864
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
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-26T18:06:01+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4116501-1466957160.opb"]
0.00/0.01	c use --random-gen="296305773 3661758479 4250380172 4003314261 1325102163 1232062560 2052407072 3460984399 2295673153 3398353613 3429438615 301545461 3928276712 4192260420 1414378220 3694803626 867351619 4117505168 2964351096 3993139303 887182762 1809104069 3022879545 1848780207 1189440451 9761385 1284415157 4106490307 4249444199 417596739 3500001816 3369542483 4258037454 1768087186 3998659382 1996215172 1541774754 2859899357 3696587725 1108025528 1657508037 745978855 2072370787 657515347 3288390828 1829872044 3502895856 4751381 3210035039 3564305952 4014280785 2584830377 810247155 1554726003 3416154218 2503997630 1813217024 932097203 468880544 1410185750 3194852441 73921227 1905680278 2896038699 1177607888 3515923015 2176546017 2077370810 403977739 2258095475 1915426409 598303999 2378477024 1329629683 4232803261 4072090018 1194912827 1878949273 2274105444 919283008 1467842112 2568482767 3692546267 314283796 2363892149 919455648 3098168382 3384943499 590871501 701804150 1276096599 3827439936 193675255 3919016910 1556709926 3765615513 2552210120 1750555001 1686079888 2576217042 2870577044 819074979 824524600 1834177661 385471422 2618477644 322382746 1957553061 3576890969 1710694122 811969347 1957930389 4230216759 1299379397 3282516702 6905002 1318984317 2375517725 1843207693 3234197485 1481249571 183096860 3076766552 2559139078 4047438625 4175529723 3257395436 3586094102 3461979652 1884553294 871018743 1330361881 3564762948 321411254 1528316176 1282656284 2628193096 2073238114 3466081446 132151324 2156396025 1687126206 2006610797 1362829126 2653202717 3794607729 2256103402 1425092975 340883789 1040610377 3216591680 1664518425 1997072149 3632010429 346804402 1761967991 452258968 3739322200 238103044 1074960682 1176947281 543726076 3897415082 1097771460 2783098018 1353112754 23242374 3932376987 2946638265 4221379044 3677253110 744966588 62404476 3078932112 3688918232 3794901029 2780249850 276646059 3305668956 3153602051 3684535128 939095972 2117213624 4113212145 2584580699 2549412837 4109114242 1379726257 2813573366 4148747135 517122761 3646290631 3690138768 1896579506 1955485957 2612459938 2117650012 3579313124 1720198940 1829425729 3023360122 2269920986 2197817266 543230042 2587585429 3952488662 3297175562 3160641045 1114725364 205665229 1511887631 4043926358 2473875369 683408902 2203918519 1161508008 1480453064 2676586254 1046808095 848455652 2414780112 628614268 814188488 4227258169 1101488183 819212268 4132577425 3514005317 818866528 1192720376 2553546811 3853012624 3934096224 1085644711 2209783257 1974283096 3050292057 3700813113 2100486680 1659308988 1079943159 3096419256 3272488846 559544226 3464648225 1413436726 1085914258 2555231484 2406457890 3402758968 3001643698 3521855980 1160264537 300634035 1987563910 2671068245 255 362436" option to reproduce the execution
0.09/0.11	c #vars 4128
0.09/0.11	c #constraints 8672
0.19/0.25	c Solving starts ...
0.19/0.25	c ============================[ Search Statistics ]============================
0.19/0.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.25	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.25	c =============================================================================
0.19/0.25	c  0.0s |       0 |        0 |        0 |     4234      0 |      629 |        0
0.29/0.35	c  0.1s |       1 |     2286 |      100 |     4234      0 |      630 |      388
0.39/0.43	c  0.2s |       2 |     3215 |      250 |     4658      0 |      630 |      388
0.49/0.57	c  0.3s |       3 |     4954 |      475 |     5124      0 |      630 |      388
0.99/1.04	c  0.8s |       4 |     6258 |      813 |     5637      0 |      630 |      388
1.29/1.39	c  1.1s |       5 |    10463 |     1320 |     6201      0 |      630 |      388
1.99/2.00	c  1.8s |       6 |    13798 |     2081 |     7505      0 |      631 |      388
3.09/3.18	c  2.9s |       7 |    17374 |     3223 |     8256      0 |      631 |      388
4.29/4.32	c  4.1s |       8 |    26937 |     4936 |     9082      0 |      631 |      388
6.29/6.36	c  6.1s |       8 |    35935 |     6836 |     9082      0 |      631 |      388
7.29/7.35	c  7.1s |       9 |    36750 |     7506 |     9991      0 |      631 |      388
9.49/9.54	c  9.3s |       9 |    40835 |     9206 |     9991      0 |      631 |      388
11.69/11.70	c 11.5s |       9 |    42003 |    10206 |     9991      0 |      631 |      388
12.99/13.07	c 12.8s |      10 |    45720 |    11361 |    10991      0 |      631 |      388
14.99/15.07	c 14.8s |      10 |    52296 |    12961 |    10991      0 |      631 |      388
17.19/17.28	c 17.0s |      10 |    53466 |    13961 |    10991      0 |      631 |      388
19.29/19.32	c 19.1s |      10 |    54583 |    14961 |    10991      1 |      631 |      388
21.39/21.41	c 21.2s |      10 |    55644 |    15961 |    10991      1 |      631 |      388
23.49/23.54	c 23.3s |      10 |    56575 |    16861 |    10991      1 |      631 |      388
24.09/24.18	c 23.9s |      11 |    56870 |    17144 |    12091      1 |      631 |      388
26.29/26.30	c 26.0s |      11 |    67010 |    19444 |    12091      1 |      631 |      388
28.29/28.32	c 28.1s |      11 |    68811 |    20844 |    12091      1 |      631 |      388
30.49/30.50	c 30.2s |      11 |    70837 |    22244 |    12091      2 |      631 |      388
32.59/32.60	c 32.3s |      11 |    72456 |    23644 |    12091      2 |      631 |      388
34.69/34.76	c 34.5s |      11 |    74121 |    25044 |    12091      2 |      631 |      388
36.09/36.12	c 35.9s |      12 |    74998 |    25819 |    13301      2 |      631 |      388
38.09/38.17	c 37.9s |      12 |    80862 |    27419 |    13301      2 |      631 |      388
40.29/40.31	c 40.1s |      12 |    82871 |    28919 |    13301      2 |      631 |      388
42.29/42.32	c 42.1s |      12 |    84395 |    30219 |    13301      2 |      631 |      388
44.39/44.48	c 44.2s |      12 |    85734 |    31319 |    13301      2 |      631 |      388
46.48/46.50	c 46.3s |      12 |    86617 |    32119 |    13301      3 |      631 |      388
48.49/48.51	c 48.3s |      12 |    87623 |    33019 |    13301      3 |      631 |      388
50.48/50.54	c 50.3s |      12 |    89244 |    34119 |    13301      3 |      631 |      388
52.58/52.67	c 52.4s |      12 |    90372 |    35119 |    13301      3 |      631 |      388
54.78/54.86	c 54.6s |      12 |    91493 |    36119 |    13301      3 |      631 |      388
57.08/57.10	c 56.8s |      12 |    92454 |    37019 |    13301      3 |      631 |      388
59.18/59.22	c 59.0s |      12 |    93323 |    37819 |    13301      3 |      631 |      388
61.18/61.23	c 61.0s |      12 |    94379 |    38619 |    14632      3 |      631 |      388
61.79/61.83	c 61.6s |      13 |    94622 |    38832 |    14632      3 |      631 |      388
63.78/63.86	c 63.6s |      13 |    98773 |    40232 |    14632      4 |      631 |      388
65.98/66.05	c 65.8s |      13 |   100122 |    41332 |    14632      4 |      631 |      388
68.18/68.28	c 68.0s |      13 |   101265 |    42232 |    14632      4 |      631 |      388
70.28/70.37	c 70.1s |      13 |   102441 |    43232 |    14632      4 |      631 |      388
72.38/72.45	c 72.2s |      13 |   103852 |    44132 |    14632      4 |      631 |      388
74.38/74.47	c 74.2s |      13 |   105514 |    45332 |    14632      4 |      631 |      388
76.48/76.56	c 76.3s |      13 |   106981 |    46432 |    14632      4 |      631 |      388
78.68/78.75	c 78.5s |      13 |   108086 |    47332 |    14632      4 |      631 |      388
80.78/80.86	c 80.6s |      13 |   109598 |    48432 |    14632      4 |      631 |      388
82.88/82.97	c 82.7s |      13 |   110696 |    49232 |    14632      5 |      631 |      388
84.98/85.03	c 84.8s |      13 |   112258 |    50332 |    14632      5 |      631 |      388
87.09/87.19	c 86.9s |      13 |   113554 |    51332 |    14632      5 |      631 |      388
89.19/89.26	c 89.0s |      13 |   114675 |    52232 |    14632      5 |      631 |      388
91.28/91.30	c 91.0s |      13 |   115512 |    52932 |    14632      5 |      631 |      388
93.48/93.54	c 93.3s |      13 |   116296 |    53632 |    14632      5 |      631 |      388
95.48/95.56	c 95.3s |      13 |   117098 |    54332 |    14632      5 |      631 |      388
97.58/97.66	c 97.4s |      13 |   118045 |    55132 |    14632      5 |      631 |      388
99.78/99.84	c 99.6s |      13 |   119279 |    56032 |    14632      5 |      631 |      388
101.78/101.85	c  101s |      13 |   120311 |    56832 |    14632      5 |      631 |      388
103.98/104.00	c  103s |      13 |   121240 |    57632 |    14632      5 |      631 |      388
105.78/105.89	c  105s |      14 |   122141 |    58352 |    16096      6 |      631 |      388
107.88/107.92	c  107s |      14 |   130961 |    60452 |    16096      6 |      631 |      388
109.87/109.97	c  109s |      14 |   132693 |    61852 |    16096      6 |      631 |      388
111.97/112.06	c  111s |      14 |   136177 |    63552 |    16096      6 |      631 |      388
114.07/114.17	c  113s |      14 |   137622 |    64752 |    16096      6 |      631 |      388
116.27/116.35	c  116s |      14 |   138895 |    65852 |    16096      6 |      631 |      388
118.27/118.35	c  118s |      14 |   140248 |    66952 |    16096      6 |      631 |      388
120.47/120.53	c  120s |      14 |   141554 |    68052 |    16096      6 |      631 |      388
122.57/122.69	c  122s |      14 |   142508 |    68852 |    16096      7 |      631 |      388
124.87/124.92	c  124s |      14 |   143515 |    69752 |    16096      7 |      631 |      388
126.97/127.01	c  126s |      14 |   144432 |    70552 |    16096      7 |      631 |      388
128.97/129.03	c  128s |      14 |   145717 |    71552 |    16096      7 |      631 |      388
131.08/131.17	c  130s |      14 |   146924 |    72552 |    16096      7 |      631 |      388
133.18/133.26	c  133s |      14 |   148111 |    73552 |    16096      7 |      631 |      388
135.27/135.30	c  135s |      14 |   149062 |    74352 |    16096      7 |      631 |      388
137.27/137.35	c  137s |      14 |   149874 |    75052 |    16096      7 |      631 |      388
139.36/139.41	c  139s |      14 |   150571 |    75652 |    16096      7 |      631 |      388
141.36/141.47	c  141s |      14 |   151348 |    76352 |    16096      7 |      631 |      388
143.56/143.62	c  143s |      14 |   152268 |    77152 |    16096      7 |      631 |      388
145.76/145.89	c  145s |      14 |   153103 |    77852 |    16096      7 |      631 |      388
147.86/147.90	c  147s |      14 |   153913 |    78552 |    16096      8 |      631 |      388
149.96/150.02	c  149s |      14 |   154980 |    79452 |    16096      8 |      631 |      388
152.26/152.32	c  152s |      14 |   155888 |    80252 |    16096      8 |      631 |      388
154.46/154.50	c  154s |      14 |   156798 |    81052 |    16096      8 |      631 |      388
156.66/156.76	c  156s |      14 |   157672 |    81852 |    16096      8 |      631 |      388
158.76/158.84	c  158s |      14 |   158504 |    82552 |    16096      8 |      631 |      388
160.96/161.01	c  160s |      14 |   159291 |    83252 |    16096      8 |      631 |      388
162.97/163.01	c  162s |      14 |   160106 |    83952 |    16096      8 |      631 |      388
165.07/165.19	c  164s |      14 |   160877 |    84652 |    16096      8 |      631 |      388
167.16/167.26	c  167s |      14 |   161545 |    85252 |    16096      8 |      631 |      388
169.26/169.31	c  169s |      14 |   164245 |    86352 |    16096      9 |      631 |      388
170.26/170.39	c  170s |      15 |   166513 |    87632 |    17706      9 |      631 |      388
172.37/172.47	c  172s |      15 |   174835 |    89832 |    17706      9 |      631 |      388
174.47/174.53	c  174s |      15 |   177578 |    91532 |    17706      9 |      631 |      388
176.47/176.57	c  176s |      15 |   179350 |    92832 |    17706      9 |      631 |      388
178.67/178.73	c  178s |      15 |   180771 |    94032 |    17706      9 |      631 |      388
180.87/180.91	c  180s |      15 |   182448 |    95232 |    17706      9 |      631 |      388
183.06/183.10	c  182s |      15 |   184023 |    96432 |    17706      9 |      631 |      388
185.16/185.29	c  185s |      15 |   185322 |    97532 |    17706      9 |      631 |      388
187.26/187.32	c  187s |      15 |   186624 |    98432 |    17706     10 |      631 |      388
189.27/189.39	c  189s |      15 |   187555 |    99232 |    17706     10 |      631 |      388
191.36/191.50	c  191s |      15 |   188580 |   100132 |    17706     10 |      631 |      388
193.56/193.66	c  193s |      15 |   189946 |   101132 |    17706     10 |      631 |      388
195.56/195.68	c  195s |      15 |   192814 |   102232 |    17706     10 |      631 |      388
197.66/197.70	c  197s |      15 |   196173 |   103732 |    17706     10 |      631 |      388
199.96/200.05	c  199s |      15 |   198163 |   104932 |    17706     10 |      631 |      388
202.06/202.18	c  201s |      15 |   199427 |   105932 |    17706     10 |      631 |      388
204.16/204.25	c  203s |      15 |   200774 |   106832 |    17706     10 |      631 |      388
206.26/206.32	c  206s |      15 |   202125 |   107732 |    17706     10 |      631 |      388
208.46/208.56	c  208s |      15 |   202986 |   108432 |    17706     10 |      631 |      388
210.56/210.64	c  210s |      15 |   203721 |   109032 |    17706     11 |      631 |      388
212.66/212.72	c  212s |      15 |   206605 |   110332 |    17706     11 |      631 |      388
214.76/214.86	c  214s |      15 |   208903 |   111532 |    17706     11 |      631 |      388
216.87/216.99	c  216s |      15 |   210647 |   112732 |    17706     11 |      631 |      388
218.97/219.05	c  218s |      15 |   211848 |   113632 |    17706     11 |      631 |      388
221.17/221.24	c  220s |      15 |   212999 |   114532 |    17706     11 |      631 |      388
223.37/223.49	c  223s |      15 |   213935 |   115332 |    17706     11 |      631 |      388
225.46/225.59	c  225s |      15 |   214805 |   116032 |    17706     11 |      631 |      388
227.56/227.68	c  227s |      15 |   215653 |   116732 |    17706     11 |      631 |      388
229.76/229.83	c  229s |      15 |   216494 |   117432 |    17706     11 |      631 |      388
231.86/231.96	c  231s |      15 |   217183 |   118032 |    17706     11 |      631 |      388
234.15/234.20	c  233s |      15 |   218020 |   118732 |    17706     11 |      631 |      388
236.35/236.44	c  236s |      15 |   218783 |   119332 |    17706     12 |      631 |      388
238.55/238.61	c  238s |      15 |   219724 |   120132 |    17706     12 |      631 |      388
240.55/240.64	c  240s |      15 |   220533 |   120832 |    17706     12 |      631 |      388
242.85/242.94	c  242s |      15 |   221305 |   121532 |    17706     12 |      631 |      388
245.05/245.14	c  244s |      15 |   222104 |   122232 |    17706     12 |      631 |      388
247.05/247.18	c  246s |      15 |   222809 |   122832 |    17706     12 |      631 |      388
249.35/249.43	c  249s |      15 |   223609 |   123532 |    17706     12 |      631 |      388
251.45/251.59	c  251s |      15 |   224278 |   124132 |    17706     12 |      631 |      388
253.55/253.65	c  253s |      15 |   224986 |   124732 |    17706     12 |      631 |      388
255.55/255.68	c  255s |      15 |   225830 |   125432 |    17706     12 |      631 |      388
257.75/257.85	c  257s |      15 |   226519 |   126032 |    17706     12 |      631 |      388
259.76/259.89	c  259s |      15 |   227226 |   126632 |    17706     12 |      631 |      388
261.75/261.90	c  261s |      15 |   227785 |   127132 |    17706     12 |      631 |      388
264.06/264.17	c  263s |      15 |   228454 |   127732 |    17706     12 |      631 |      388
266.36/266.49	c  266s |      15 |   229000 |   128232 |    17706     12 |      631 |      388
268.56/268.64	c  268s |      15 |   229536 |   128732 |    17706     12 |      631 |      388
270.84/270.96	c  270s |      15 |   230118 |   129232 |    17706     12 |      631 |      388
273.45/273.57	c  273s |      15 |   230660 |   129732 |    17706     13 |      631 |      388
275.75/275.84	c  275s |      15 |   231451 |   130432 |    17706     13 |      631 |      388
278.05/278.14	c  277s |      15 |   232087 |   131032 |    19477     13 |      631 |      388
280.15/280.23	c  279s |      15 |   232616 |   131532 |    19477     13 |      631 |      388
280.25/280.34	c  280s |      16 |   232637 |   131552 |    19477     13 |      631 |      388
282.35/282.43	c  282s |      16 |   235855 |   133252 |    19477     13 |      631 |      388
284.45/284.51	c  284s |      16 |   237892 |   134852 |    19477     13 |      631 |      388
286.45/286.52	c  286s |      16 |   239077 |   135852 |    19477     13 |      631 |      388
288.45/288.55	c  288s |      16 |   240323 |   136952 |    19477     13 |      631 |      388
290.56/290.66	c  290s |      16 |   241563 |   138052 |    19477     13 |      631 |      388
292.66/292.71	c  292s |      16 |   242949 |   139152 |    19477     13 |      631 |      388
294.65/294.73	c  294s |      16 |   244194 |   140252 |    19477     13 |      631 |      388
296.75/296.89	c  296s |      16 |   245463 |   141352 |    19477     13 |      631 |      388
298.95/299.00	c  298s |      16 |   246374 |   142152 |    19477     14 |      631 |      388
300.95/301.07	c  300s |      16 |   247939 |   143252 |    19477     14 |      631 |      388
303.05/303.18	c  302s |      16 |   249308 |   144352 |    19477     14 |      631 |      388
305.15/305.26	c  305s |      16 |   250566 |   145352 |    19477     14 |      631 |      388
307.25/307.38	c  307s |      16 |   251659 |   146252 |    19477     14 |      631 |      388
309.35/309.46	c  309s |      16 |   252787 |   147152 |    19477     14 |      631 |      388
311.46/311.56	c  311s |      16 |   253957 |   148052 |    19477     14 |      631 |      388
313.66/313.76	c  313s |      16 |   255381 |   149052 |    19477     14 |      631 |      388
315.86/315.96	c  315s |      16 |   256701 |   150052 |    19477     14 |      631 |      388
317.84/317.97	c  317s |      16 |   257883 |   150952 |    19477     14 |      631 |      388
320.04/320.20	c  319s |      16 |   259120 |   151852 |    19477     14 |      631 |      388
322.24/322.31	c  322s |      16 |   259993 |   152552 |    19477     14 |      631 |      388
324.34/324.43	c  324s |      16 |   260979 |   153352 |    19477     14 |      631 |      388
326.54/326.61	c  326s |      16 |   261801 |   154052 |    19477     15 |      631 |      388
328.64/328.77	c  328s |      16 |   262742 |   154852 |    19477     15 |      631 |      388
330.74/330.87	c  330s |      16 |   263783 |   155752 |    19477     15 |      631 |      388
332.94/333.06	c  332s |      16 |   264875 |   156652 |    19477     15 |      631 |      388
335.04/335.19	c  334s |      16 |   265951 |   157552 |    19477     15 |      631 |      388
337.34/337.41	c  337s |      16 |   267016 |   158452 |    19477     15 |      631 |      388
339.64/339.70	c  339s |      16 |   267987 |   159252 |    19477     15 |      631 |      388
341.64/341.78	c  341s |      16 |   268851 |   159952 |    19477     15 |      631 |      388
343.73/343.82	c  343s |      16 |   269660 |   160652 |    19477     15 |      631 |      388
345.93/346.03	c  345s |      16 |   270674 |   161452 |    19477     15 |      631 |      388
348.03/348.17	c  347s |      16 |   271720 |   162252 |    19477     15 |      631 |      388
350.13/350.22	c  349s |      16 |   272610 |   162952 |    19477     15 |      631 |      388
352.33/352.45	c  352s |      16 |   273309 |   163552 |    19477     15 |      631 |      388
354.63/354.73	c  354s |      16 |   273992 |   164152 |    19477     15 |      631 |      388
356.73/356.80	c  356s |      16 |   274703 |   164752 |    19477     15 |      631 |      388
357.23/358.86	c  358s |      16 |   275656 |   165552 |    19477     16 |      631 |      388
357.23/360.99	c  360s |      16 |   276712 |   166452 |    19477     16 |      631 |      388
362.25/363.23	c  362s |      16 |   277619 |   167252 |    19477     16 |      631 |      388
364.80/365.32	c  365s |      16 |   278627 |   168052 |    19477     16 |      631 |      388
364.80/367.57	c  367s |      16 |   279613 |   168852 |    19477     16 |      631 |      388
369.36/369.81	c  369s |      16 |   280435 |   169552 |    19477     16 |      631 |      388
371.73/371.87	c  371s |      16 |   281163 |   170152 |    19477     16 |      631 |      388
373.73/373.87	c  373s |      16 |   281971 |   170852 |    19477     16 |      631 |      388
375.94/376.04	c  375s |      16 |   282802 |   171552 |    19477     16 |      631 |      388
377.84/378.15	c  377s |      16 |   283479 |   172152 |    19477     16 |      631 |      388
379.63/380.19	c  379s |      16 |   284342 |   172852 |    19477     16 |      631 |      388
381.69/382.29	c  382s |      16 |   285147 |   173552 |    19477     16 |      631 |      388
381.69/384.34	c  384s |      16 |   285950 |   174252 |    19477     16 |      631 |      388
381.69/386.48	c  386s |      16 |   286754 |   174952 |    19477     16 |      631 |      388
381.69/388.76	c  388s |      16 |   287559 |   175652 |    19477     16 |      631 |      388
389.93/391.01	c  390s |      16 |   288136 |   176152 |    19477     17 |      631 |      388
389.93/393.12	c  392s |      16 |   289124 |   176952 |    19477     17 |      631 |      388
389.93/395.35	c  395s |      16 |   290112 |   177752 |    19477     17 |      631 |      388
389.93/397.50	c  397s |      16 |   291257 |   178652 |    19477     17 |      631 |      388
389.93/399.54	c  399s |      16 |   292219 |   179452 |    19477     17 |      631 |      388
389.93/401.71	c  401s |      16 |   293046 |   180152 |    19477     17 |      631 |      388
402.58/403.80	c  403s |      16 |   298929 |   181752 |    19477     17 |      631 |      388
405.53/405.84	c  405s |      16 |   300665 |   183152 |    19477     17 |      631 |      388
405.53/407.87	c  407s |      16 |   302630 |   184352 |    19477     17 |      631 |      388
409.72/409.90	c  409s |      16 |   305249 |   185652 |    19477     17 |      631 |      388
411.94/412.04	c  411s |      16 |   306912 |   186752 |    19477     17 |      631 |      388
413.29/414.15	c  413s |      16 |   308257 |   187752 |    19477     18 |      631 |      388
416.02/416.18	c  415s |      16 |   309812 |   188952 |    19477     18 |      631 |      388
417.32/418.20	c  417s |      16 |   310857 |   189852 |    19477     18 |      631 |      388
417.32/420.22	c  419s |      16 |   311731 |   190652 |    19477     18 |      631 |      388
422.02/422.32	c  422s |      16 |   312733 |   191552 |    19477     18 |      631 |      388
422.02/424.56	c  424s |      16 |   313723 |   192452 |    19477     18 |      631 |      388
422.02/426.77	c  426s |      16 |   314605 |   193252 |    19477     18 |      631 |      388
422.02/429.07	c  428s |      16 |   315453 |   194052 |    19477     18 |      631 |      388
422.02/431.21	c  430s |      16 |   316431 |   194852 |    19477     18 |      631 |      388
432.35/433.29	c  433s |      16 |   317238 |   195552 |    19477     18 |      631 |      388
435.43/435.60	c  435s |      16 |   318013 |   196252 |    21425     18 |      631 |      388
435.92/437.60	c  437s |      16 |   318663 |   196852 |    21425     18 |      631 |      388
438.85/439.26	c  439s |      17 |   319404 |   197432 |    21425     18 |      631 |      388
441.21/441.32	c  441s |      17 |   328647 |   199132 |    21425     19 |      631 |      388
443.14/443.36	c  443s |      17 |   330054 |   200232 |    21425     19 |      631 |      388
445.01/445.36	c  445s |      17 |   335737 |   201932 |    21425     19 |      631 |      388
445.41/447.41	c  447s |      17 |   338307 |   203432 |    21425     19 |      631 |      388
448.92/449.52	c  449s |      17 |   339768 |   204632 |    21425     19 |      631 |      388
451.29/451.64	c  451s |      17 |   341149 |   205832 |    21425     19 |      631 |      388
452.94/453.80	c  453s |      17 |   342426 |   206932 |    21425     19 |      631 |      388
452.94/455.93	c  455s |      17 |   343458 |   207832 |    21425     19 |      631 |      388
456.52/458.26	c  458s |      17 |   344343 |   208632 |    21425     19 |      631 |      388
456.52/460.29	c  460s |      17 |   345409 |   209532 |    21425     19 |      631 |      388
461.92/462.47	c  462s |      17 |   346325 |   210332 |    21425     19 |      631 |      388
461.92/464.73	c  464s |      17 |   347225 |   211132 |    21425     19 |      631 |      388
461.92/467.00	c  466s |      17 |   348117 |   211932 |    21425     19 |      631 |      388
461.92/469.21	c  468s |      17 |   348796 |   212532 |    21425     20 |      631 |      388
461.92/471.48	c  471s |      17 |   349679 |   213332 |    21425     20 |      631 |      388
461.92/473.48	c  473s |      17 |   350631 |   214132 |    21425     20 |      631 |      388
461.92/475.63	c  475s |      17 |   351499 |   214832 |    21425     20 |      631 |      388
461.92/477.92	c  477s |      17 |   352319 |   215532 |    21425     20 |      631 |      388
461.92/480.15	c  479s |      17 |   353109 |   216232 |    21425     20 |      631 |      388
482.13/482.43	c  482s |      17 |   353899 |   216932 |    21425     20 |      631 |      388
484.52/484.62	c  484s |      17 |   354598 |   217532 |    21425     20 |      631 |      388
486.63/486.98	c  486s |      17 |   355239 |   218132 |    21425     20 |      631 |      388
488.85/489.14	c  488s |      17 |   355927 |   218732 |    21425     20 |      631 |      388
491.02/491.16	c  490s |      17 |   356488 |   219232 |    21425     20 |      631 |      388
491.60/493.48	c  493s |      17 |   357152 |   219832 |    21425     20 |      631 |      388
495.47/495.70	c  495s |      17 |   357689 |   220332 |    21425     20 |      631 |      388
497.59/497.91	c  497s |      17 |   358261 |   220832 |    21425     20 |      631 |      388
499.87/500.35	c  500s |      17 |   358806 |   221332 |    21425     20 |      631 |      388
502.23/502.42	c  502s |      17 |   359371 |   221832 |    21425     20 |      631 |      388
504.18/504.50	c  504s |      17 |   359816 |   222232 |    21425     20 |      631 |      388
506.24/506.71	c  506s |      17 |   360392 |   222732 |    21425     20 |      631 |      388
508.20/509.07	c  508s |      17 |   361042 |   223332 |    21425     20 |      631 |      388
510.36/511.15	c  510s |      17 |   361585 |   223832 |    21425     20 |      631 |      388
510.36/513.78	c  513s |      17 |   362139 |   224332 |    21425     21 |      631 |      388
510.36/515.89	c  515s |      17 |   362673 |   224832 |    21425     21 |      631 |      388
510.36/517.95	c  517s |      17 |   363218 |   225332 |    21425     21 |      631 |      388
510.36/520.09	c  519s |      17 |   363766 |   225832 |    21425     21 |      631 |      388
521.98/522.15	c  521s |      17 |   364316 |   226332 |    21425     21 |      631 |      388
521.98/524.26	c  524s |      17 |   364881 |   226832 |    21425     21 |      631 |      388
521.98/526.60	c  526s |      17 |   365422 |   227332 |    21425     21 |      631 |      388
521.98/528.87	c  528s |      17 |   365951 |   227832 |    21425     21 |      631 |      388
521.98/531.40	c  531s |      17 |   366463 |   228332 |    21425     21 |      631 |      388
521.98/533.67	c  533s |      17 |   366992 |   228832 |    21425     21 |      631 |      388
521.98/535.83	c  535s |      17 |   367558 |   229332 |    21425     21 |      631 |      388
521.98/538.14	c  537s |      17 |   368088 |   229832 |    21425     21 |      631 |      388
521.98/540.22	c  539s |      17 |   368517 |   230232 |    21425     21 |      631 |      388
540.79/542.69	c  542s |      17 |   369061 |   230732 |    21425     21 |      631 |      388
540.79/545.24	c  544s |      17 |   369598 |   231232 |    21425     21 |      631 |      388
540.79/547.34	c  547s |      17 |   370036 |   231632 |    21425     21 |      631 |      388
540.79/549.39	c  549s |      17 |   370481 |   232032 |    21425     21 |      631 |      388
540.79/551.51	c  551s |      17 |   370903 |   232432 |    21425     21 |      631 |      388
553.28/553.57	c  553s |      17 |   371341 |   232832 |    21425     21 |      631 |      388
553.28/555.59	c  555s |      17 |   371775 |   233232 |    21425     21 |      631 |      388
557.39/558.00	c  557s |      17 |   372340 |   233732 |    21425     21 |      631 |      388
559.63/560.01	c  559s |      17 |   372788 |   234132 |    21425     21 |      631 |      388
559.63/562.63	c  562s |      17 |   373349 |   234632 |    21425     21 |      631 |      388
564.51/564.63	c  564s |      17 |   373795 |   235032 |    21425     21 |      631 |      388
566.19/566.72	c  566s |      17 |   374222 |   235432 |    21425     21 |      631 |      388
566.19/568.89	c  568s |      17 |   374671 |   235832 |    21425     21 |      631 |      388
566.19/571.42	c  571s |      17 |   375099 |   236232 |    21425     21 |      631 |      388
566.19/574.30	c  574s |      17 |   375523 |   236632 |    21425     22 |      631 |      388
574.68/576.66	c  576s |      17 |   376073 |   237132 |    21425     22 |      631 |      388
578.56/578.86	c  578s |      17 |   376626 |   237632 |    21425     22 |      631 |      388
578.93/580.89	c  580s |      17 |   377052 |   238032 |    21425     22 |      631 |      388
582.87/583.04	c  582s |      17 |   377490 |   238432 |    21425     22 |      631 |      388
583.55/585.05	c  584s |      17 |   377921 |   238832 |    21425     22 |      631 |      388
583.55/587.22	c  586s |      17 |   378352 |   239232 |    21425     22 |      631 |      388
583.55/589.36	c  589s |      17 |   378899 |   239732 |    21425     22 |      631 |      388
583.55/591.46	c  591s |      17 |   379439 |   240232 |    21425     22 |      631 |      388
583.55/593.76	c  593s |      17 |   380111 |   240832 |    21425     22 |      631 |      388
583.55/595.89	c  595s |      17 |   380639 |   241332 |    21425     22 |      631 |      388
596.99/598.13	c  597s |      17 |   381195 |   241832 |    21425     22 |      631 |      388
600.14/600.29	c  600s |      17 |   381782 |   242332 |    21425     22 |      631 |      388
601.98/602.60	c  602s |      17 |   382360 |   242832 |    21425     22 |      631 |      388
601.98/604.84	c  604s |      17 |   382910 |   243332 |    21425     22 |      631 |      388
601.98/607.11	c  606s |      17 |   383464 |   243832 |    21425     22 |      631 |      388
601.98/609.40	c  609s |      17 |   384028 |   244332 |    21425     22 |      631 |      388
601.98/611.71	c  611s |      17 |   384570 |   244832 |    21425     22 |      631 |      388
611.92/614.13	c  613s |      17 |   385116 |   245332 |    21425     22 |      631 |      388
614.81/616.40	c  616s |      17 |   385530 |   245732 |    21425     22 |      631 |      388
618.61/618.82	c  618s |      17 |   386074 |   246232 |    21425     22 |      631 |      388
620.88/621.05	c  620s |      17 |   386638 |   246732 |    21425     22 |      631 |      388
621.76/623.37	c  623s |      17 |   387077 |   247132 |    21425     22 |      631 |      388
621.76/625.45	c  625s |      17 |   387507 |   247532 |    21425     22 |      631 |      388
621.76/627.91	c  627s |      17 |   388058 |   248032 |    21425     22 |      631 |      388
621.76/630.14	c  629s |      17 |   388496 |   248432 |    21425     22 |      631 |      388
621.76/632.49	c  632s |      17 |   388819 |   248732 |    21425     23 |      631 |      388
621.76/634.93	c  634s |      17 |   389369 |   249232 |    21425     23 |      631 |      388
621.76/636.93	c  636s |      17 |   389912 |   249732 |    21425     23 |      631 |      388
621.76/639.18	c  638s |      17 |   390459 |   250232 |    21425     23 |      631 |      388
621.76/641.40	c  641s |      17 |   391135 |   250832 |    21425     23 |      631 |      388
641.92/643.75	c  643s |      17 |   391672 |   251332 |    21425     23 |      631 |      388
645.70/646.05	c  645s |      17 |   392240 |   251832 |    21425     23 |      631 |      388
647.26/648.43	c  648s |      17 |   392794 |   252332 |    21425     23 |      631 |      388
649.40/650.69	c  650s |      17 |   393338 |   252832 |    21425     23 |      631 |      388
651.59/653.06	c  652s |      17 |   393905 |   253332 |    21425     23 |      631 |      388
654.95/655.38	c  655s |      17 |   394479 |   253832 |    21425     23 |      631 |      388
657.55/657.78	c  657s |      17 |   395045 |   254332 |    21425     23 |      631 |      388
659.95/660.15	c  659s |      17 |   395582 |   254832 |    21425     23 |      631 |      388
662.24/662.45	c  662s |      17 |   396001 |   255232 |    21425     23 |      631 |      388
664.65/664.86	c  664s |      17 |   396426 |   255632 |    21425     23 |      631 |      388
666.75/667.00	c  666s |      17 |   396854 |   256032 |    21425     23 |      631 |      388
668.95/669.16	c  668s |      17 |   397303 |   256432 |    21425     23 |      631 |      388
671.34/671.58	c  671s |      17 |   397890 |   256932 |    21425     23 |      631 |      388
673.84/674.02	c  673s |      17 |   398423 |   257432 |    21425     23 |      631 |      388
676.34/676.57	c  676s |      17 |   398952 |   257932 |    21425     23 |      631 |      388
678.85/679.02	c  678s |      17 |   399375 |   258332 |    21425     23 |      631 |      388
680.94/681.13	c  680s |      17 |   399800 |   258732 |    21425     23 |      631 |      388
682.94/683.15	c  682s |      17 |   400242 |   259132 |    21425     23 |      631 |      388
685.24/685.47	c  685s |      17 |   400680 |   259532 |    21425     23 |      631 |      388
687.54/687.75	c  687s |      17 |   401122 |   259932 |    21425     23 |      631 |      388
689.64/689.89	c  689s |      17 |   401566 |   260332 |    21425     23 |      631 |      388
691.94/692.17	c  691s |      17 |   402018 |   260732 |    21425     23 |      631 |      388
694.14/694.37	c  694s |      17 |   402346 |   261032 |    21425     24 |      631 |      388
696.64/696.84	c  696s |      17 |   402879 |   261532 |    21425     24 |      631 |      388
699.04/699.26	c  699s |      17 |   403295 |   261932 |    21425     24 |      631 |      388
701.34/701.50	c  701s |      17 |   403728 |   262332 |    21425     24 |      631 |      388
703.43/703.63	c  703s |      17 |   404167 |   262732 |    21425     24 |      631 |      388
705.63/705.82	c  705s |      17 |   404709 |   263232 |    21425     24 |      631 |      388
708.03/708.23	c  707s |      17 |   405246 |   263732 |    21425     24 |      631 |      388
710.43/710.68	c  710s |      17 |   405794 |   264232 |    21425     24 |      631 |      388
712.93/713.15	c  712s |      17 |   406332 |   264732 |    21425     24 |      631 |      388
715.02/715.24	c  714s |      17 |   406758 |   265132 |    21425     24 |      631 |      388
717.22/717.40	c  717s |      17 |   407187 |   265532 |    21425     24 |      631 |      388
719.53/719.75	c  719s |      17 |   407731 |   266032 |    21425     24 |      631 |      388
721.63/721.90	c  721s |      17 |   408171 |   266432 |    21425     24 |      631 |      388
724.13/724.33	c  724s |      17 |   408598 |   266832 |    21425     24 |      631 |      388
726.14/726.40	c  726s |      17 |   409024 |   267232 |    21425     24 |      631 |      388
728.53/728.75	c  728s |      17 |   409449 |   267632 |    21425     24 |      631 |      388
730.64/730.87	c  730s |      17 |   409879 |   268032 |    21425     24 |      631 |      388
732.84/733.04	c  732s |      17 |   410303 |   268432 |    21425     24 |      631 |      388
735.04/735.26	c  735s |      17 |   410733 |   268832 |    21425     24 |      631 |      388
737.14/737.39	c  737s |      17 |   411161 |   269232 |    21425     24 |      631 |      388
739.44/739.69	c  739s |      17 |   411727 |   269732 |    21425     24 |      631 |      388
741.43/741.70	c  741s |      17 |   412177 |   270132 |    21425     24 |      631 |      388
743.53/743.79	c  743s |      17 |   412728 |   270632 |    21425     24 |      631 |      388
745.72/745.92	c  745s |      17 |   413278 |   271132 |    21425     24 |      631 |      388
747.92/748.14	c  747s |      17 |   413831 |   271632 |    21425     24 |      631 |      388
750.12/750.39	c  750s |      17 |   414265 |   272032 |    21425     24 |      631 |      388
752.32/752.54	c  752s |      17 |   414711 |   272432 |    21425     24 |      631 |      388
754.62/754.85	c  754s |      17 |   415184 |   272832 |    21425     24 |      631 |      388
757.22/757.41	c  757s |      17 |   415649 |   273232 |    21425     25 |      631 |      388
759.42/759.66	c  759s |      17 |   416189 |   273732 |    21425     25 |      631 |      388
761.61/761.83	c  761s |      17 |   416761 |   274232 |    21425     25 |      631 |      388
763.81/764.01	c  763s |      17 |   417293 |   274732 |    21425     25 |      631 |      388
766.01/766.28	c  766s |      17 |   417950 |   275332 |    21425     25 |      631 |      388
768.41/768.62	c  768s |      17 |   418497 |   275832 |    21425     25 |      631 |      388
770.71/770.94	c  770s |      17 |   419050 |   276332 |    21425     25 |      631 |      388
773.10/773.35	c  773s |      17 |   419584 |   276832 |    21425     25 |      631 |      388
775.30/775.59	c  775s |      17 |   420022 |   277232 |    21425     25 |      631 |      388
777.50/777.75	c  777s |      17 |   420467 |   277632 |    21425     25 |      631 |      388
779.90/780.11	c  779s |      17 |   420920 |   278032 |    21425     25 |      631 |      388
781.90/782.16	c  781s |      17 |   421377 |   278432 |    21425     25 |      631 |      388
784.00/784.23	c  783s |      17 |   421818 |   278832 |    21425     25 |      631 |      388
786.10/786.37	c  786s |      17 |   422266 |   279232 |    21425     25 |      631 |      388
788.20/788.48	c  788s |      17 |   422713 |   279632 |    21425     25 |      631 |      388
790.40/790.68	c  790s |      17 |   423292 |   280132 |    21425     25 |      631 |      388
792.70/792.94	c  792s |      17 |   423836 |   280632 |    21425     25 |      631 |      388
794.70/794.96	c  794s |      17 |   424273 |   281032 |    21425     25 |      631 |      388
797.00/797.27	c  797s |      17 |   424689 |   281432 |    21425     25 |      631 |      388
799.50/799.76	c  799s |      17 |   425129 |   281832 |    21425     25 |      631 |      388
801.89/802.13	c  801s |      17 |   425555 |   282232 |    21425     25 |      631 |      388
803.99/804.23	c  803s |      17 |   425881 |   282532 |    21425     25 |      631 |      388
806.19/806.44	c  806s |      17 |   426317 |   282932 |    21425     25 |      631 |      388
808.29/808.56	c  808s |      17 |   426744 |   283332 |    21425     25 |      631 |      388
810.58/810.89	c  810s |      17 |   427177 |   283732 |    21425     25 |      631 |      388
813.09/813.36	c  813s |      17 |   427719 |   284232 |    21425     25 |      631 |      388
815.19/815.43	c  815s |      17 |   428163 |   284632 |    21425     25 |      631 |      388
817.38/817.69	c  817s |      17 |   428595 |   285032 |    21425     25 |      631 |      388
820.28/820.51	c  820s |      17 |   429032 |   285432 |    21425     26 |      631 |      388
822.37/822.61	c  822s |      17 |   429460 |   285832 |    21425     26 |      631 |      388
824.37/824.69	c  824s |      17 |   429890 |   286232 |    21425     26 |      631 |      388
826.37/826.69	c  826s |      17 |   430324 |   286632 |    21425     26 |      631 |      388
828.87/829.16	c  828s |      17 |   430854 |   287132 |    21425     26 |      631 |      388
830.97/831.23	c  830s |      17 |   431274 |   287532 |    21425     26 |      631 |      388
833.07/833.38	c  833s |      17 |   431713 |   287932 |    21425     26 |      631 |      388
835.17/835.42	c  835s |      17 |   432153 |   288332 |    21425     26 |      631 |      388
837.47/837.70	c  837s |      17 |   432596 |   288732 |    21425     26 |      631 |      388
839.57/839.86	c  839s |      17 |   433029 |   289132 |    21425     26 |      631 |      388
841.57/841.86	c  841s |      17 |   433463 |   289532 |    21425     26 |      631 |      388
843.87/844.17	c  843s |      17 |   433875 |   289932 |    21425     26 |      631 |      388
845.97/846.23	c  845s |      17 |   434419 |   290432 |    21425     26 |      631 |      388
848.36/848.63	c  848s |      17 |   434983 |   290932 |    21425     26 |      631 |      388
850.37/850.71	c  850s |      17 |   435424 |   291332 |    21425     26 |      631 |      388
852.95/853.22	c  852s |      17 |   435860 |   291732 |    21425     26 |      631 |      388
855.05/855.38	c  855s |      17 |   436293 |   292132 |    21425     26 |      631 |      388
857.55/857.84	c  857s |      17 |   436825 |   292632 |    21425     26 |      631 |      388
859.65/859.91	c  859s |      17 |   437251 |   293032 |    21425     26 |      631 |      388
861.94/862.22	c  861s |      17 |   437677 |   293432 |    21425     26 |      631 |      388
864.44/864.73	c  864s |      17 |   438134 |   293832 |    21425     26 |      631 |      388
866.85/867.11	c  866s |      17 |   438560 |   294232 |    23568     26 |      631 |      388
869.24/869.51	c  869s |      17 |   438985 |   294632 |    23568     26 |      631 |      388
871.54/871.81	c  871s |      17 |   439428 |   295032 |    23568     26 |      631 |      388
873.94/874.21	c  873s |      17 |   439981 |   295532 |    23568     26 |      631 |      388
876.13/876.43	c  876s |      17 |   440422 |   295932 |    23568     26 |      631 |      388
877.63/877.98	c  877s |      18 |   440783 |   296252 |    23568     26 |      631 |      388
879.73/880.03	c  879s |      18 |   444258 |   297452 |    23568     26 |      631 |      388
881.73/882.06	c  881s |      18 |   446088 |   298852 |    23568     26 |      631 |      388
883.83/884.12	c  883s |      18 |   448270 |   299852 |    23568     27 |      631 |      388
885.83/886.12	c  885s |      18 |   449515 |   300952 |    23568     27 |      631 |      388
887.84/888.17	c  887s |      18 |   450731 |   302052 |    23568     27 |      631 |      388
890.03/890.36	c  890s |      18 |   451851 |   303052 |    23568     27 |      631 |      388
892.13/892.46	c  892s |      18 |   452833 |   303952 |    23568     27 |      631 |      388
894.22/894.55	c  894s |      18 |   453688 |   304752 |    23568     27 |      631 |      388
896.22/896.58	c  896s |      18 |   454440 |   305452 |    23568     27 |      631 |      388
898.52/898.83	c  898s |      18 |   455304 |   306252 |    23568     27 |      631 |      388
900.72/901.07	c  900s |      18 |   456224 |   307052 |    23568     27 |      631 |      388
903.01/903.32	c  903s |      18 |   457129 |   307852 |    23568     27 |      631 |      388
905.21/905.59	c  905s |      18 |   457926 |   308552 |    23568     27 |      631 |      388
907.52/907.88	c  907s |      18 |   458672 |   309252 |    23568     27 |      631 |      388
909.82/910.16	c  909s |      18 |   459440 |   309952 |    23568     27 |      631 |      388
911.91/912.21	c  911s |      18 |   460087 |   310552 |    23568     27 |      631 |      388
914.21/914.58	c  914s |      18 |   460825 |   311252 |    23568     27 |      631 |      388
916.20/916.60	c  916s |      18 |   461526 |   311852 |    23568     27 |      631 |      388
918.40/918.80	c  918s |      18 |   462153 |   312452 |    23568     27 |      631 |      388
920.81/921.12	c  920s |      18 |   462792 |   313052 |    23568     27 |      631 |      388
922.90/923.27	c  923s |      18 |   463213 |   313452 |    23568     28 |      631 |      388
925.10/925.46	c  925s |      18 |   463858 |   314052 |    23568     28 |      631 |      388
927.30/927.68	c  927s |      18 |   464498 |   314652 |    23568     28 |      631 |      388
929.39/929.72	c  929s |      18 |   465028 |   315152 |    23568     28 |      631 |      388
931.39/931.78	c  931s |      18 |   465540 |   315652 |    23568     28 |      631 |      388
933.59/933.93	c  933s |      18 |   466204 |   316252 |    23568     28 |      631 |      388
935.79/936.17	c  935s |      18 |   466845 |   316852 |    23568     28 |      631 |      388
938.09/938.43	c  938s |      18 |   467476 |   317452 |    23568     28 |      631 |      388
940.09/940.49	c  940s |      18 |   468019 |   317952 |    23568     28 |      631 |      388
942.48/942.83	c  942s |      18 |   468563 |   318452 |    23568     28 |      631 |      388
944.68/945.02	c  944s |      18 |   469109 |   318952 |    23568     28 |      631 |      388
947.09/947.44	c  947s |      18 |   469631 |   319452 |    23568     28 |      631 |      388
949.39/949.72	c  949s |      18 |   470166 |   319952 |    23568     28 |      631 |      388
951.67/952.05	c  951s |      18 |   470711 |   320452 |    23568     28 |      631 |      388
953.78/954.11	c  953s |      18 |   471129 |   320852 |    23568     28 |      631 |      388
955.77/956.18	c  955s |      18 |   471536 |   321252 |    23568     28 |      631 |      388
958.18/958.58	c  958s |      18 |   472075 |   321752 |    23568     28 |      631 |      388
960.57/960.90	c  960s |      18 |   472620 |   322252 |    23568     28 |      631 |      388
962.76/963.18	c  962s |      18 |   473172 |   322752 |    23568     28 |      631 |      388
964.96/965.38	c  965s |      18 |   473598 |   323152 |    23568     28 |      631 |      388
967.16/967.52	c  967s |      18 |   474007 |   323552 |    23568     28 |      631 |      388
969.17/969.55	c  969s |      18 |   474435 |   323952 |    23568     28 |      631 |      388
971.36/971.74	c  971s |      18 |   474857 |   324352 |    23568     28 |      631 |      388
973.75/974.16	c  973s |      18 |   475286 |   324752 |    23568     28 |      631 |      388
976.25/976.69	c  976s |      18 |   475703 |   325152 |    23568     28 |      631 |      388
978.65/979.01	c  978s |      18 |   476117 |   325552 |    23568     28 |      631 |      388
981.05/981.42	c  981s |      18 |   476537 |   325952 |    23568     28 |      631 |      388
983.46/983.86	c  983s |      18 |   476947 |   326352 |    23568     28 |      631 |      388
985.75/986.19	c  985s |      18 |   477251 |   326652 |    23568     29 |      631 |      388
988.15/988.56	c  988s |      18 |   477792 |   327152 |    23568     29 |      631 |      388
990.25/990.63	c  990s |      18 |   478326 |   327652 |    23568     29 |      631 |      388
992.34/992.70	c  992s |      18 |   478879 |   328152 |    23568     29 |      631 |      388
994.45/994.87	c  994s |      18 |   479475 |   328652 |    23568     29 |      631 |      388
996.74/997.16	c  996s |      18 |   480062 |   329152 |    23568     29 |      631 |      388
998.94/999.37	c  999s |      18 |   480596 |   329652 |    23568     29 |      631 |      388
1001.24/1001.67	c 1001s |      18 |   481132 |   330152 |    23568     29 |      631 |      388
1003.54/1003.97	c 1003s |      18 |   481694 |   330652 |    23568     29 |      631 |      388
1005.64/1006.02	c 1005s |      18 |   482106 |   331052 |    23568     29 |      631 |      388
1007.64/1008.03	c 1007s |      18 |   482538 |   331452 |    23568     29 |      631 |      388
1010.03/1010.40	c 1010s |      18 |   483086 |   331952 |    23568     29 |      631 |      388
1012.04/1012.47	c 1012s |      18 |   483503 |   332352 |    23568     29 |      631 |      388
1014.53/1014.95	c 1014s |      18 |   484042 |   332852 |    23568     29 |      631 |      388
1016.73/1017.15	c 1016s |      18 |   484575 |   333352 |    23568     29 |      631 |      388
1019.03/1019.47	c 1019s |      18 |   485116 |   333852 |    23568     29 |      631 |      388
1021.33/1021.76	c 1021s |      18 |   485647 |   334352 |    23568     29 |      631 |      388
1023.33/1023.78	c 1023s |      18 |   486068 |   334752 |    23568     29 |      631 |      388
1025.43/1025.89	c 1025s |      18 |   486588 |   335252 |    23568     29 |      631 |      388
1027.93/1028.36	c 1028s |      18 |   487113 |   335752 |    23568     29 |      631 |      388
1030.13/1030.52	c 1030s |      18 |   487558 |   336152 |    23568     29 |      631 |      388
1032.33/1032.73	c 1032s |      18 |   487982 |   336552 |    23568     29 |      631 |      388
1034.53/1034.99	c 1034s |      18 |   488416 |   336952 |    23568     29 |      631 |      388
1036.63/1037.09	c 1036s |      18 |   488837 |   337352 |    23568     29 |      631 |      388
1038.93/1039.30	c 1039s |      18 |   489260 |   337752 |    23568     29 |      631 |      388
1041.44/1041.83	c 1041s |      18 |   489685 |   338152 |    23568     29 |      631 |      388
1043.95/1044.39	c 1044s |      18 |   490100 |   338552 |    23568     29 |      631 |      388
1046.34/1046.74	c 1046s |      18 |   490518 |   338952 |    23568     29 |      631 |      388
1048.84/1049.26	c 1049s |      18 |   490955 |   339352 |    23568     29 |      631 |      388
1051.23/1051.66	c 1051s |      18 |   491388 |   339752 |    23568     29 |      631 |      388
1053.53/1053.92	c 1053s |      18 |   491707 |   340052 |    23568     30 |      631 |      388
1055.73/1056.15	c 1055s |      18 |   493232 |   340852 |    23568     30 |      631 |      388
1057.93/1058.33	c 1058s |      18 |   494196 |   341552 |    23568     30 |      631 |      388
1060.13/1060.58	c 1060s |      18 |   495111 |   342252 |    23568     30 |      631 |      388
1062.23/1062.63	c 1062s |      18 |   495924 |   342952 |    23568     30 |      631 |      388
1064.43/1064.89	c 1064s |      18 |   496733 |   343652 |    23568     30 |      631 |      388
1066.63/1067.06	c 1066s |      18 |   497426 |   344252 |    23568     30 |      631 |      388
1068.73/1069.14	c 1068s |      18 |   498109 |   344852 |    23568     30 |      631 |      388
1070.73/1071.18	c 1070s |      18 |   498669 |   345352 |    23568     30 |      631 |      388
1073.13/1073.52	c 1073s |      18 |   499200 |   345852 |    23568     30 |      631 |      388
1075.33/1075.76	c 1075s |      18 |   499746 |   346352 |    23568     30 |      631 |      388
1077.53/1077.92	c 1077s |      18 |   500191 |   346752 |    23568     30 |      631 |      388
1079.93/1080.32	c 1080s |      18 |   500755 |   347252 |    23568     30 |      631 |      388
1082.33/1082.75	c 1082s |      18 |   501331 |   347752 |    23568     30 |      631 |      388
1084.43/1084.83	c 1084s |      18 |   502146 |   348352 |    23568     30 |      631 |      388
1086.42/1086.86	c 1086s |      18 |   502726 |   348852 |    23568     30 |      631 |      388
1088.82/1089.23	c 1088s |      18 |   503273 |   349352 |    23568     30 |      631 |      388
1091.13/1091.60	c 1091s |      18 |   503906 |   349852 |    23568     30 |      631 |      388
1093.52/1093.90	c 1093s |      18 |   504459 |   350352 |    23568     30 |      631 |      388
1095.63/1096.04	c 1095s |      18 |   505040 |   350852 |    23568     30 |      631 |      388
1098.02/1098.41	c 1098s |      18 |   505490 |   351252 |    23568     30 |      631 |      388
1100.22/1100.61	c 1100s |      18 |   506056 |   351752 |    23568     30 |      631 |      388
1102.52/1102.97	c 1102s |      18 |   506671 |   352252 |    23568     30 |      631 |      388
1104.72/1105.15	c 1104s |      18 |   507130 |   352652 |    23568     30 |      631 |      388
1107.12/1107.52	c 1107s |      18 |   507713 |   353152 |    23568     30 |      631 |      388
1109.42/1109.80	c 1109s |      18 |   508180 |   353552 |    23568     31 |      631 |      388
1111.62/1112.00	c 1111s |      18 |   508765 |   354052 |    23568     31 |      631 |      388
1113.62/1114.02	c 1113s |      18 |   509238 |   354452 |    23568     31 |      631 |      388
1115.82/1116.25	c 1115s |      18 |   509812 |   354952 |    23568     31 |      631 |      388
1118.12/1118.55	c 1118s |      18 |   510348 |   355452 |    23568     31 |      631 |      388
1120.12/1120.58	c 1120s |      18 |   510790 |   355852 |    23568     31 |      631 |      388
1122.42/1122.80	c 1122s |      18 |   511224 |   356252 |    23568     31 |      631 |      388
1124.42/1124.81	c 1124s |      18 |   511682 |   356652 |    23568     31 |      631 |      388
1126.62/1127.02	c 1126s |      18 |   512359 |   357252 |    23568     31 |      631 |      388
1128.92/1129.36	c 1129s |      18 |   513054 |   357852 |    23568     31 |      631 |      388
1131.32/1131.74	c 1131s |      18 |   513593 |   358352 |    23568     31 |      631 |      388
1133.72/1134.18	c 1133s |      18 |   514143 |   358852 |    23568     31 |      631 |      388
1136.12/1136.59	c 1136s |      18 |   514698 |   359352 |    23568     31 |      631 |      388
1138.32/1138.76	c 1138s |      18 |   515297 |   359852 |    23568     31 |      631 |      388
1140.31/1140.76	c 1140s |      18 |   515740 |   360252 |    23568     31 |      631 |      388
1142.41/1142.82	c 1142s |      18 |   516161 |   360652 |    23568     31 |      631 |      388
1144.81/1145.28	c 1145s |      18 |   516702 |   361152 |    23568     31 |      631 |      388
1147.22/1147.65	c 1147s |      18 |   517126 |   361552 |    23568     31 |      631 |      388
1149.21/1149.69	c 1149s |      18 |   517581 |   361952 |    23568     31 |      631 |      388
1152.01/1152.42	c 1152s |      18 |   518137 |   362452 |    23568     31 |      631 |      388
1154.41/1154.82	c 1154s |      18 |   518683 |   362952 |    23568     31 |      631 |      388
1156.61/1157.07	c 1156s |      18 |   519126 |   363352 |    23568     31 |      631 |      388
1159.11/1159.56	c 1159s |      18 |   519697 |   363852 |    23568     31 |      631 |      388
1161.52/1161.94	c 1161s |      18 |   520151 |   364252 |    23568     31 |      631 |      388
1163.72/1164.15	c 1163s |      18 |   520606 |   364652 |    23568     31 |      631 |      388
1166.12/1166.50	c 1166s |      18 |   521047 |   365052 |    23568     31 |      631 |      388
1168.52/1168.90	c 1168s |      18 |   521484 |   365452 |    23568     31 |      631 |      388
1171.01/1171.45	c 1171s |      18 |   521911 |   365852 |    23568     31 |      631 |      388
1173.51/1173.99	c 1173s |      18 |   522349 |   366252 |    23568     31 |      631 |      388
1175.92/1176.33	c 1176s |      18 |   522762 |   366652 |    23568     31 |      631 |      388
1178.31/1178.71	c 1178s |      18 |   523074 |   366952 |    23568     32 |      631 |      388
1180.61/1181.01	c 1180s |      18 |   523613 |   367452 |    23568     32 |      631 |      388
1182.81/1183.28	c 1183s |      18 |   524156 |   367952 |    23568     32 |      631 |      388
1185.31/1185.71	c 1185s |      18 |   524723 |   368452 |    23568     32 |      631 |      388
1187.51/1187.91	c 1187s |      18 |   525155 |   368852 |    23568     32 |      631 |      388
1189.71/1190.12	c 1189s |      18 |   525578 |   369252 |    23568     32 |      631 |      388
1192.11/1192.58	c 1192s |      18 |   526135 |   369752 |    23568     32 |      631 |      388
1194.62/1195.02	c 1194s |      18 |   526687 |   370252 |    23568     32 |      631 |      388
1196.61/1197.06	c 1196s |      18 |   527129 |   370652 |    23568     32 |      631 |      388
1199.11/1199.54	c 1199s |      18 |   527669 |   371152 |    23568     32 |      631 |      388
1201.22/1201.69	c 1201s |      18 |   528119 |   371552 |    23568     32 |      631 |      388
1203.32/1203.80	c 1203s |      18 |   528572 |   371952 |    23568     32 |      631 |      388
1205.71/1206.10	c 1205s |      18 |   529017 |   372352 |    23568     32 |      631 |      388
1208.01/1208.43	c 1208s |      18 |   529439 |   372752 |    23568     32 |      631 |      388
1210.51/1210.99	c 1210s |      18 |   529876 |   373152 |    23568     32 |      631 |      388
1212.71/1213.13	c 1212s |      18 |   530309 |   373552 |    23568     32 |      631 |      388
1214.81/1215.23	c 1214s |      18 |   530765 |   373952 |    23568     32 |      631 |      388
1217.31/1217.76	c 1217s |      18 |   531309 |   374452 |    23568     32 |      631 |      388
1219.51/1219.98	c 1219s |      18 |   531761 |   374852 |    23568     32 |      631 |      388
1222.01/1222.49	c 1222s |      18 |   532186 |   375252 |    23568     32 |      631 |      388
1224.31/1224.77	c 1224s |      18 |   532617 |   375652 |    23568     32 |      631 |      388
1226.80/1227.20	c 1226s |      18 |   533059 |   376052 |    23568     32 |      631 |      388
1229.30/1229.76	c 1229s |      18 |   533490 |   376452 |    23568     32 |      631 |      388
1231.80/1232.29	c 1232s |      18 |   533929 |   376852 |    23568     32 |      631 |      388
1234.00/1234.40	c 1234s |      18 |   534243 |   377152 |    23568     32 |      631 |      388
1236.31/1236.79	c 1236s |      18 |   534702 |   377552 |    23568     32 |      631 |      388
1238.40/1238.89	c 1238s |      18 |   535020 |   377852 |    23568     32 |      631 |      388
1240.90/1241.39	c 1241s |      18 |   535450 |   378252 |    23568     32 |      631 |      388
1243.10/1243.59	c 1243s |      18 |   535884 |   378652 |    23568     32 |      631 |      388
1245.50/1245.92	c 1245s |      18 |   536460 |   379152 |    23568     32 |      631 |      388
1248.10/1248.51	c 1248s |      18 |   537047 |   379652 |    23568     32 |      631 |      388
1250.71/1251.19	c 1250s |      18 |   537485 |   380052 |    23568     33 |      631 |      388
1253.00/1253.45	c 1253s |      18 |   538152 |   380652 |    23568     33 |      631 |      388
1255.20/1255.63	c 1255s |      18 |   538689 |   381152 |    23568     33 |      631 |      388
1257.31/1257.72	c 1257s |      18 |   539252 |   381652 |    23568     33 |      631 |      388
1259.41/1259.82	c 1259s |      18 |   539796 |   382152 |    23568     33 |      631 |      388
1261.50/1261.94	c 1261s |      18 |   540352 |   382652 |    23568     33 |      631 |      388
1263.60/1264.02	c 1263s |      18 |   540894 |   383152 |    23568     33 |      631 |      388
1265.70/1266.11	c 1265s |      18 |   541459 |   383652 |    23568     33 |      631 |      388
1267.90/1268.34	c 1268s |      18 |   542023 |   384152 |    23568     33 |      631 |      388
1270.09/1270.57	c 1270s |      18 |   542600 |   384652 |    23568     33 |      631 |      388
1272.39/1272.82	c 1272s |      18 |   543154 |   385152 |    23568     33 |      631 |      388
1274.80/1275.29	c 1275s |      18 |   543695 |   385652 |    23568     33 |      631 |      388
1277.39/1277.85	c 1277s |      18 |   544244 |   386152 |    23568     33 |      631 |      388
1279.89/1280.34	c 1280s |      18 |   544802 |   386652 |    23568     33 |      631 |      388
1282.29/1282.76	c 1282s |      18 |   545346 |   387152 |    23568     33 |      631 |      388
1284.70/1285.17	c 1284s |      18 |   545912 |   387652 |    23568     33 |      631 |      388
1286.80/1287.27	c 1287s |      18 |   546367 |   388052 |    23568     33 |      631 |      388
1289.30/1289.72	c 1289s |      18 |   546906 |   388552 |    23568     33 |      631 |      388
1291.31/1291.79	c 1291s |      18 |   547343 |   388952 |    23568     33 |      631 |      388
1293.40/1293.80	c 1293s |      18 |   547785 |   389352 |    23568     33 |      631 |      388
1295.60/1296.00	c 1295s |      18 |   548215 |   389752 |    23568     33 |      631 |      388
1297.80/1298.24	c 1297s |      18 |   548648 |   390152 |    23568     33 |      631 |      388
1300.11/1300.60	c 1300s |      18 |   549072 |   390552 |    23568     33 |      631 |      388
1302.70/1303.18	c 1302s |      18 |   549505 |   390952 |    23568     33 |      631 |      388
1305.09/1305.52	c 1305s |      18 |   549931 |   391352 |    23568     33 |      631 |      388
1307.29/1307.73	c 1307s |      18 |   550359 |   391752 |    23568     33 |      631 |      388
1309.39/1309.88	c 1309s |      18 |   550820 |   392152 |    23568     33 |      631 |      388
1311.69/1312.15	c 1311s |      18 |   551258 |   392552 |    23568     33 |      631 |      388
1314.19/1314.65	c 1314s |      18 |   551700 |   392952 |    23568     33 |      631 |      388
1316.70/1317.18	c 1316s |      18 |   552135 |   393352 |    23568     33 |      631 |      388
1318.99/1319.40	c 1319s |      18 |   552456 |   393652 |    23568     34 |      631 |      388
1321.19/1321.67	c 1321s |      18 |   552990 |   394152 |    23568     34 |      631 |      388
1323.39/1323.81	c 1323s |      18 |   553451 |   394552 |    23568     34 |      631 |      388
1325.69/1326.16	c 1325s |      18 |   554118 |   395152 |    23568     34 |      631 |      388
1327.99/1328.48	c 1328s |      18 |   554648 |   395652 |    23568     34 |      631 |      388
1330.49/1330.96	c 1330s |      18 |   555183 |   396152 |    23568     34 |      631 |      388
1332.69/1333.15	c 1332s |      18 |   555747 |   396652 |    23568     34 |      631 |      388
1334.99/1335.48	c 1335s |      18 |   556297 |   397152 |    23568     34 |      631 |      388
1337.39/1337.89	c 1337s |      18 |   556853 |   397652 |    23568     34 |      631 |      388
1339.49/1339.97	c 1339s |      18 |   557292 |   398052 |    23568     34 |      631 |      388
1342.19/1342.60	c 1342s |      18 |   557830 |   398552 |    23568     34 |      631 |      388
1344.59/1345.06	c 1344s |      18 |   558374 |   399052 |    23568     34 |      631 |      388
1346.69/1347.12	c 1346s |      18 |   558816 |   399452 |    23568     34 |      631 |      388
1348.89/1349.38	c 1349s |      18 |   559236 |   399852 |    23568     34 |      631 |      388
1351.28/1351.71	c 1351s |      18 |   559656 |   400252 |    23568     34 |      631 |      388
1353.58/1354.00	c 1353s |      18 |   560079 |   400652 |    23568     34 |      631 |      388
1355.78/1356.25	c 1355s |      18 |   560528 |   401052 |    23568     34 |      631 |      388
1357.78/1358.27	c 1358s |      18 |   560965 |   401452 |    23568     34 |      631 |      388
1359.98/1360.42	c 1360s |      18 |   561409 |   401852 |    23568     34 |      631 |      388
1362.28/1362.75	c 1362s |      18 |   561837 |   402252 |    23568     34 |      631 |      388
1364.78/1365.21	c 1364s |      18 |   562272 |   402652 |    23568     34 |      631 |      388
1367.19/1367.68	c 1367s |      18 |   562683 |   403052 |    23568     34 |      631 |      388
1369.28/1369.77	c 1369s |      18 |   563116 |   403452 |    23568     34 |      631 |      388
1371.38/1371.83	c 1371s |      18 |   563557 |   403852 |    23568     34 |      631 |      388
1373.68/1374.15	c 1373s |      18 |   563972 |   404252 |    23568     34 |      631 |      388
1375.78/1376.23	c 1375s |      18 |   564284 |   404552 |    23568     34 |      631 |      388
1378.29/1378.78	c 1378s |      18 |   564712 |   404952 |    23568     34 |      631 |      388
1380.88/1381.35	c 1381s |      18 |   565145 |   405352 |    23568     34 |      631 |      388
1382.98/1383.43	c 1383s |      18 |   565461 |   405652 |    23568     34 |      631 |      388
1385.18/1385.67	c 1385s |      18 |   565896 |   406052 |    23568     34 |      631 |      388
1387.28/1387.77	c 1387s |      18 |   566345 |   406452 |    23568     34 |      631 |      388
1390.28/1390.72	c 1390s |      18 |   566779 |   406852 |    23568     35 |      631 |      388
1392.27/1392.80	c 1392s |      18 |   567349 |   407352 |    23568     35 |      631 |      388
1394.47/1394.92	c 1394s |      18 |   567777 |   407752 |    23568     35 |      631 |      388
1396.57/1397.03	c 1396s |      18 |   568318 |   408252 |    23568     35 |      631 |      388
1398.77/1399.23	c 1398s |      18 |   568853 |   408752 |    23568     35 |      631 |      388
1401.07/1401.54	c 1401s |      18 |   569408 |   409252 |    23568     35 |      631 |      388
1403.37/1403.81	c 1403s |      18 |   569956 |   409752 |    23568     35 |      631 |      388
1405.47/1405.94	c 1405s |      18 |   570383 |   410152 |    23568     35 |      631 |      388
1407.77/1408.23	c 1407s |      18 |   570810 |   410552 |    23568     35 |      631 |      388
1410.19/1410.69	c 1410s |      18 |   571340 |   411052 |    23568     35 |      631 |      388
1412.58/1413.05	c 1412s |      18 |   571881 |   411552 |    23568     35 |      631 |      388
1414.68/1415.11	c 1414s |      18 |   572333 |   411952 |    23568     35 |      631 |      388
1416.98/1417.49	c 1417s |      18 |   572901 |   412452 |    23568     35 |      631 |      388
1419.08/1419.51	c 1419s |      18 |   573341 |   412852 |    23568     35 |      631 |      388
1421.48/1421.91	c 1421s |      18 |   573870 |   413352 |    23568     35 |      631 |      388
1423.88/1424.35	c 1424s |      18 |   574416 |   413852 |    23568     35 |      631 |      388
1425.87/1426.39	c 1426s |      18 |   574863 |   414252 |    23568     35 |      631 |      388
1427.97/1428.42	c 1428s |      18 |   575300 |   414652 |    23568     35 |      631 |      388
1429.98/1430.49	c 1430s |      18 |   575765 |   415052 |    23568     35 |      631 |      388
1432.77/1433.21	c 1432s |      18 |   576187 |   415452 |    23568     35 |      631 |      388
1435.07/1435.56	c 1435s |      18 |   576612 |   415852 |    23568     35 |      631 |      388
1437.17/1437.64	c 1437s |      18 |   577040 |   416252 |    23568     35 |      631 |      388
1439.47/1439.92	c 1439s |      18 |   577492 |   416652 |    23568     35 |      631 |      388
1441.67/1442.18	c 1441s |      18 |   577922 |   417052 |    23568     35 |      631 |      388
1443.77/1444.29	c 1444s |      18 |   578357 |   417452 |    23568     35 |      631 |      388
1446.17/1446.61	c 1446s |      18 |   578784 |   417852 |    23568     35 |      631 |      388
1448.37/1448.86	c 1448s |      18 |   579213 |   418252 |    23568     35 |      631 |      388
1450.78/1451.27	c 1451s |      18 |   579655 |   418652 |    23568     35 |      631 |      388
1452.98/1453.47	c 1453s |      18 |   580100 |   419052 |    23568     35 |      631 |      388
1455.57/1456.02	c 1455s |      18 |   580524 |   419452 |    23568     35 |      631 |      388
1457.97/1458.45	c 1458s |      18 |   580957 |   419852 |    23568     35 |      631 |      388
1460.07/1460.58	c 1460s |      18 |   581285 |   420152 |    23568     36 |      631 |      388
1462.17/1462.65	c 1462s |      18 |   581706 |   420552 |    23568     36 |      631 |      388
1464.37/1464.84	c 1464s |      18 |   582245 |   421052 |    23568     36 |      631 |      388
1466.67/1467.10	c 1466s |      18 |   582771 |   421552 |    23568     36 |      631 |      388
1468.97/1469.44	c 1469s |      18 |   583311 |   422052 |    23568     36 |      631 |      388
1471.37/1471.85	c 1471s |      18 |   583847 |   422552 |    23568     36 |      631 |      388
1473.67/1474.16	c 1473s |      18 |   584410 |   423052 |    23568     36 |      631 |      388
1475.87/1476.30	c 1476s |      18 |   584824 |   423452 |    23568     36 |      631 |      388
1477.87/1478.37	c 1478s |      18 |   585250 |   423852 |    23568     36 |      631 |      388
1480.47/1480.95	c 1480s |      18 |   585784 |   424352 |    23568     36 |      631 |      388
1482.56/1483.03	c 1482s |      18 |   586217 |   424752 |    23568     36 |      631 |      388
1484.56/1485.07	c 1484s |      18 |   586649 |   425152 |    23568     36 |      631 |      388
1486.66/1487.10	c 1486s |      18 |   587092 |   425552 |    23568     36 |      631 |      388
1488.86/1489.38	c 1489s |      18 |   587526 |   425952 |    23568     36 |      631 |      388
1491.47/1491.94	c 1491s |      18 |   587944 |   426352 |    23568     36 |      631 |      388
1493.56/1494.01	c 1493s |      18 |   588371 |   426752 |    23568     36 |      631 |      388
1495.76/1496.23	c 1495s |      18 |   588794 |   427152 |    23568     36 |      631 |      388
1497.86/1498.39	c 1498s |      18 |   589224 |   427552 |    23568     36 |      631 |      388
1500.16/1500.65	c 1500s |      18 |   589655 |   427952 |    23568     36 |      631 |      388
1502.36/1502.86	c 1502s |      18 |   590100 |   428352 |    23568     36 |      631 |      388
1504.56/1505.07	c 1504s |      18 |   590559 |   428752 |    23568     36 |      631 |      388
1506.66/1507.14	c 1506s |      18 |   590994 |   429152 |    23568     36 |      631 |      388
1508.76/1509.28	c 1509s |      18 |   591442 |   429552 |    23568     36 |      631 |      388
1511.06/1511.52	c 1511s |      18 |   591862 |   429952 |    23568     36 |      631 |      388
1513.46/1513.92	c 1513s |      18 |   592283 |   430352 |    23568     36 |      631 |      388
1515.95/1516.41	c 1516s |      18 |   592713 |   430752 |    23568     36 |      631 |      388
1517.96/1518.44	c 1518s |      18 |   593025 |   431052 |    23568     36 |      631 |      388
1520.45/1520.92	c 1520s |      18 |   593444 |   431452 |    23568     36 |      631 |      388
1522.45/1522.95	c 1522s |      18 |   593758 |   431752 |    23568     36 |      631 |      388
1524.65/1525.17	c 1524s |      18 |   594194 |   432152 |    23568     36 |      631 |      388
1526.85/1527.33	c 1527s |      18 |   594648 |   432552 |    23568     36 |      631 |      388
1529.45/1529.92	c 1529s |      18 |   595074 |   432952 |    23568     36 |      631 |      388
1531.45/1531.96	c 1531s |      18 |   595389 |   433252 |    23568     36 |      631 |      388
1533.55/1534.06	c 1533s |      18 |   595719 |   433552 |    23568     37 |      631 |      388
1535.96/1536.44	c 1536s |      18 |   596261 |   434052 |    23568     37 |      631 |      388
1538.16/1538.65	c 1538s |      18 |   596815 |   434552 |    23568     37 |      631 |      388
1540.26/1540.72	c 1540s |      18 |   597246 |   434952 |    23568     37 |      631 |      388
1542.76/1543.20	c 1542s |      18 |   597772 |   435452 |    23568     37 |      631 |      388
1545.26/1545.72	c 1545s |      18 |   598299 |   435952 |    23568     37 |      631 |      388
1547.57/1548.04	c 1547s |      18 |   598834 |   436452 |    23568     37 |      631 |      388
1549.66/1550.19	c 1549s |      18 |   599248 |   436852 |    23568     37 |      631 |      388
1551.86/1552.31	c 1552s |      18 |   599672 |   437252 |    23568     37 |      631 |      388
1554.27/1554.77	c 1554s |      18 |   600184 |   437752 |    23568     37 |      631 |      388
1556.47/1556.99	c 1556s |      18 |   600816 |   438152 |    23568     37 |      631 |      388
1558.67/1559.12	c 1558s |      18 |   601915 |   438752 |    23568     37 |      631 |      388
1560.95/1561.44	c 1561s |      18 |   602855 |   439452 |    23568     37 |      631 |      388
1563.15/1563.69	c 1563s |      18 |   603403 |   439952 |    23568     37 |      631 |      388
1565.45/1565.97	c 1565s |      18 |   604124 |   440552 |    23568     37 |      631 |      388
1567.65/1568.13	c 1567s |      18 |   604783 |   441152 |    23568     37 |      631 |      388
1569.85/1570.31	c 1570s |      18 |   605489 |   441752 |    25925     37 |      631 |      388
1572.05/1572.53	c 1572s |      18 |   606171 |   442352 |    25925     37 |      631 |      388
1574.45/1574.96	c 1574s |      18 |   606850 |   442952 |    25925     37 |      631 |      388
1576.85/1577.39	c 1577s |      18 |   607522 |   443552 |    25925     37 |      631 |      388
1578.95/1579.45	c 1579s |      18 |   607952 |   443952 |    25925     37 |      631 |      388
1581.35/1581.88	c 1581s |      18 |   608541 |   444452 |    25925     37 |      631 |      388
1581.55/1582.02	c 1581s |      19 |   608570 |   444482 |    25925     37 |      631 |      388
1583.65/1584.15	c 1583s |      19 |   611333 |   445182 |    25925     37 |      631 |      388
1585.75/1586.23	c 1585s |      19 |   616081 |   447082 |    25925     37 |      631 |      388
1587.95/1588.40	c 1588s |      19 |   618218 |   448282 |    25925     38 |      631 |      388
1589.95/1590.45	c 1590s |      19 |   622031 |   449882 |    25925     38 |      631 |      388
1592.05/1592.56	c 1592s |      19 |   623406 |   450982 |    25925     38 |      631 |      388
1594.35/1594.82	c 1594s |      19 |   624654 |   451982 |    25925     38 |      631 |      388
1596.45/1596.98	c 1596s |      19 |   625570 |   452782 |    25925     38 |      631 |      388
1598.55/1599.04	c 1598s |      19 |   627771 |   453882 |    25925     38 |      631 |      388
1600.64/1601.11	c 1600s |      19 |   628699 |   454682 |    25925     38 |      631 |      388
1602.65/1603.20	c 1602s |      19 |   630038 |   455482 |    25925     38 |      631 |      388
1604.85/1605.32	c 1605s |      19 |   630930 |   456182 |    25925     38 |      631 |      388
1607.05/1607.55	c 1607s |      19 |   631930 |   456982 |    25925     38 |      631 |      388
1609.44/1609.90	c 1609s |      19 |   632883 |   457782 |    25925     38 |      631 |      388
1611.84/1612.34	c 1612s |      19 |   633711 |   458482 |    25925     38 |      631 |      388
1614.14/1614.69	c 1614s |      19 |   634497 |   459182 |    25925     38 |      631 |      388
1616.44/1616.97	c 1616s |      19 |   635027 |   459682 |    25925     38 |      631 |      388
1618.64/1619.18	c 1618s |      19 |   635747 |   460282 |    25925     38 |      631 |      388
1620.74/1621.28	c 1621s |      19 |   636479 |   460882 |    25925     38 |      631 |      388
1622.84/1623.36	c 1623s |      19 |   637029 |   461382 |    25925     38 |      631 |      388
1625.34/1625.86	c 1625s |      19 |   637473 |   461782 |    25925     38 |      631 |      388
1627.74/1628.22	c 1627s |      19 |   638048 |   462282 |    25925     38 |      631 |      388
1629.94/1630.49	c 1630s |      19 |   638777 |   462882 |    25925     38 |      631 |      388
1632.35/1632.88	c 1632s |      19 |   639251 |   463282 |    25925     39 |      631 |      388
1635.04/1635.50	c 1635s |      19 |   639812 |   463782 |    25925     39 |      631 |      388
1637.34/1637.83	c 1637s |      19 |   640391 |   464282 |    25925     39 |      631 |      388
1639.34/1639.84	c 1639s |      19 |   640958 |   464782 |    25925     39 |      631 |      388
1641.74/1642.21	c 1641s |      19 |   641525 |   465282 |    25925     39 |      631 |      388
1643.94/1644.45	c 1644s |      19 |   641972 |   465682 |    25925     39 |      631 |      388
1646.33/1646.84	c 1646s |      19 |   642532 |   466182 |    25925     39 |      631 |      388
1648.84/1649.34	c 1649s |      19 |   643097 |   466682 |    25925     39 |      631 |      388
1651.04/1651.53	c 1651s |      19 |   643543 |   467082 |    25925     39 |      631 |      388
1653.14/1653.66	c 1653s |      19 |   644158 |   467582 |    25925     39 |      631 |      388
1655.23/1655.79	c 1655s |      19 |   644743 |   468082 |    25925     39 |      631 |      388
1657.43/1657.94	c 1657s |      19 |   645247 |   468482 |    25925     39 |      631 |      388
1659.63/1660.16	c 1659s |      19 |   645848 |   468982 |    25925     39 |      631 |      388
1662.33/1662.81	c 1662s |      19 |   646288 |   469382 |    25925     39 |      631 |      388
1664.84/1665.33	c 1665s |      19 |   646755 |   469782 |    25925     39 |      631 |      388
1667.14/1667.68	c 1667s |      19 |   647185 |   470182 |    25925     39 |      631 |      388
1669.34/1669.80	c 1669s |      19 |   647523 |   470482 |    25925     39 |      631 |      388
1671.44/1671.97	c 1671s |      19 |   647974 |   470882 |    25925     39 |      631 |      388
1673.94/1674.44	c 1674s |      19 |   648559 |   471382 |    25925     39 |      631 |      388
1676.14/1676.67	c 1676s |      19 |   648996 |   471782 |    25925     39 |      631 |      388
1678.13/1678.67	c 1678s |      19 |   649434 |   472182 |    25925     39 |      631 |      388
1680.23/1680.70	c 1680s |      19 |   649764 |   472482 |    25925     39 |      631 |      388
1682.33/1682.86	c 1682s |      19 |   650207 |   472882 |    25925     39 |      631 |      388
1684.63/1685.10	c 1684s |      19 |   650640 |   473282 |    25925     39 |      631 |      388
1687.03/1687.57	c 1687s |      19 |   651070 |   473682 |    25925     39 |      631 |      388
1689.23/1689.70	c 1689s |      19 |   651392 |   473982 |    25925     39 |      631 |      388
1691.23/1691.73	c 1691s |      19 |   651832 |   474382 |    25925     39 |      631 |      388
1693.43/1693.91	c 1693s |      19 |   652284 |   474782 |    25925     39 |      631 |      388
1695.73/1696.29	c 1696s |      19 |   652714 |   475182 |    25925     39 |      631 |      388
1698.24/1698.79	c 1698s |      19 |   653124 |   475582 |    25925     39 |      631 |      388
1700.63/1701.16	c 1700s |      19 |   653445 |   475882 |    25925     39 |      631 |      388
1703.03/1703.52	c 1703s |      19 |   653753 |   476182 |    25925     39 |      631 |      388
1705.23/1705.78	c 1705s |      19 |   654080 |   476482 |    25925     39 |      631 |      388
1707.53/1708.07	c 1707s |      19 |   654395 |   476782 |    25925     39 |      631 |      388
1709.93/1710.44	c 1710s |      19 |   654702 |   477082 |    25925     39 |      631 |      388
1712.23/1712.73	c 1712s |      19 |   655178 |   477482 |    25925     39 |      631 |      388
1715.33/1715.86	c 1715s |      19 |   655600 |   477882 |    25925     40 |      631 |      388
1717.63/1718.18	c 1717s |      19 |   656164 |   478382 |    25925     40 |      631 |      388
1719.73/1720.25	c 1719s |      19 |   656606 |   478782 |    25925     40 |      631 |      388
1721.83/1722.35	c 1722s |      19 |   657030 |   479182 |    25925     40 |      631 |      388
1724.03/1724.50	c 1724s |      19 |   657448 |   479582 |    25925     40 |      631 |      388
1726.32/1726.87	c 1726s |      19 |   658003 |   480082 |    25925     40 |      631 |      388
1728.62/1729.13	c 1728s |      19 |   658576 |   480582 |    25925     40 |      631 |      388
1730.92/1731.42	c 1731s |      19 |   659137 |   481082 |    25925     40 |      631 |      388
1732.92/1733.47	c 1733s |      19 |   659577 |   481482 |    25925     40 |      631 |      388
1735.32/1735.83	c 1735s |      19 |   660118 |   481982 |    25925     40 |      631 |      388
1737.72/1738.25	c 1738s |      19 |   660671 |   482482 |    25925     40 |      631 |      388
1740.22/1740.75	c 1740s |      19 |   661097 |   482882 |    25925     40 |      631 |      388
1742.72/1743.27	c 1743s |      19 |   661519 |   483282 |    25925     40 |      631 |      388
1744.92/1745.45	c 1745s |      19 |   662103 |   483782 |    25925     40 |      631 |      388
1747.02/1747.58	c 1747s |      19 |   662647 |   484282 |    25925     40 |      631 |      388
1749.52/1750.02	c 1749s |      19 |   663079 |   484682 |    25925     40 |      631 |      388
1751.82/1752.36	c 1752s |      19 |   663530 |   485082 |    25925     40 |      631 |      388
1753.82/1754.36	c 1754s |      19 |   663961 |   485482 |    25925     40 |      631 |      388
1755.92/1756.49	c 1756s |      19 |   664428 |   485882 |    25925     40 |      631 |      388
1758.42/1758.91	c 1758s |      19 |   664882 |   486282 |    25925     40 |      631 |      388
1760.62/1761.17	c 1760s |      19 |   665320 |   486682 |    25925     40 |      631 |      388
1762.72/1763.21	c 1762s |      19 |   665649 |   486982 |    25925     40 |      631 |      388
1764.72/1765.23	c 1764s |      19 |   665966 |   487282 |    25925     40 |      631 |      388
1767.12/1767.69	c 1767s |      19 |   666404 |   487682 |    25925     40 |      631 |      388
1769.83/1770.38	c 1770s |      19 |   666835 |   488082 |    25925     40 |      631 |      388
1772.03/1772.52	c 1772s |      19 |   667152 |   488382 |    25925     40 |      631 |      388
1774.42/1774.93	c 1774s |      19 |   667595 |   488782 |    25925     40 |      631 |      388
1776.92/1777.45	c 1777s |      19 |   668020 |   489182 |    25925     40 |      631 |      388
1779.32/1779.87	c 1779s |      19 |   668445 |   489582 |    25925     40 |      631 |      388
1782.02/1782.58	c 1782s |      19 |   668784 |   489882 |    25925     40 |      631 |      388
1784.52/1785.03	c 1784s |      19 |   669090 |   490182 |    25925     40 |      631 |      388
1787.02/1787.52	c 1787s |      19 |   669431 |   490482 |    25925     40 |      631 |      388
1789.42/1789.99	c 1789s |      19 |   669872 |   490882 |    25925     40 |      631 |      388
1791.52/1792.04	c 1791s |      19 |   670313 |   491282 |    25925     40 |      631 |      388
1793.82/1794.38	c 1794s |      19 |   670743 |   491682 |    25925     40 |      631 |      388
1796.23/1796.79	c 1796s |      19 |   671187 |   492082 |    25925     40 |      631 |      388
1798.32/1798.82	c 1798s |      19 |   671397 |   492282 |    25925     41 |      631 |      388

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-4116501-1466957160/watcher-4116501-1466957160 -o /tmp/evaluation-result-4116501-1466957160/solver-4116501-1466957160 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466939688-32511 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4116501-1466957160.opb 

pid=2790
running on 8 cores: 0-3,8-11

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


[startup+0 s]
/proc/loadavg: 2.10 2.10 2.09 3/261 2793
/proc/meminfo: memFree=30839896/32872528 swapFree=7556/7556
[pid=2793] ppid=2790 vsize=1091004 CPUtime=0 cores=0-3,8-11
/proc/2793/stat : 2793 (toysat) R 2790 2793 32495 0 -1 4202496 4134 0 0 0 0 0 0 0 20 0 4 0 28754235 1117188096 4495 33554432000 4194304 16246674 140734558096112 140734558095536 13880264 0 2 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2793/statm: 273519 4504 441 2943 0 270413 0
[pid=2793/tid=2794] ppid=2790 vsize=1144252 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2794/stat : 2794 (toysat) S 2790 2793 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28754235 1171714048 4704 33554432000 4194304 16246674 140734558096112 140451295243504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2793/tid=2795] ppid=2790 vsize=1149372 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2795/stat : 2795 (toysat) S 2790 2793 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28754235 1176956928 4724 33554432000 4194304 16246674 140734558096112 140451284753648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2793/tid=2796] ppid=2790 vsize=1154492 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2796/stat : 2796 (toysat) S 2790 2793 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28754235 1182199808 4744 33554432000 4194304 16246674 140734558096112 140451201936560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0

[startup+0.100143 s]
/proc/loadavg: 2.10 2.10 2.09 3/261 2793
/proc/meminfo: memFree=30839896/32872528 swapFree=7556/7556
[pid=2793] ppid=2790 vsize=1220164 CPUtime=0.09 cores=0-3,8-11
/proc/2793/stat : 2793 (toysat) R 2790 2793 32495 0 -1 4202496 28272 0 0 0 5 4 0 0 20 0 4 0 28754235 1249447936 28571 33554432000 4194304 16246674 140734558096112 140734558095424 4220897 0 2 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2793/statm: 305041 28571 801 2943 0 301935 0
[pid=2793/tid=2794] ppid=2790 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2794/stat : 2794 (toysat) S 2790 2793 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28754235 1249447936 28571 33554432000 4194304 16246674 140734558096112 140451295243504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2793/tid=2795] ppid=2790 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2795/stat : 2795 (toysat) S 2790 2793 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28754235 1249447936 28571 33554432000 4194304 16246674 140734558096112 140451284753648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2793/tid=2796] ppid=2790 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2796/stat : 2796 (toysat) S 2790 2793 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28754235 1249447936 28571 33554432000 4194304 16246674 140734558096112 140451201936560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200513 s]
/proc/loadavg: 2.10 2.10 2.09 3/261 2793
/proc/meminfo: memFree=30839896/32872528 swapFree=7556/7556
[pid=2793] ppid=2790 vsize=1301060 CPUtime=0.19 cores=0-3,8-11
/proc/2793/stat : 2793 (toysat) R 2790 2793 32495 0 -1 4202496 48481 0 0 0 13 6 0 0 20 0 4 0 28754235 1332285440 48780 33554432000 4194304 16246674 140734558096112 140734558095424 5561131 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2793/statm: 325265 48780 842 2943 0 322159 0
[pid=2793/tid=2794] ppid=2790 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2794/stat : 2794 (toysat) S 2790 2793 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28754235 1332285440 48780 33554432000 4194304 16246674 140734558096112 140451295243504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2793/tid=2795] ppid=2790 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2795/stat : 2795 (toysat) S 2790 2793 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28754235 1332285440 48780 33554432000 4194304 16246674 140734558096112 140451284753648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2793/tid=2796] ppid=2790 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2796/stat : 2796 (toysat) S 2790 2793 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28754235 1332285440 48780 33554432000 4194304 16246674 140734558096112 140451201936560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300469 s]
/proc/loadavg: 2.10 2.10 2.09 3/261 2793
/proc/meminfo: memFree=30839896/32872528 swapFree=7556/7556
[pid=2793] ppid=2790 vsize=1301060 CPUtime=0.29 cores=0-3,8-11
/proc/2793/stat : 2793 (toysat) R 2790 2793 32495 0 -1 4202496 50326 0 0 0 23 6 0 0 20 0 4 0 28754235 1332285440 50625 33554432000 4194304 16246674 140734558096112 140734558095424 5661217 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2793/statm: 325265 50630 882 2943 0 322159 0
[pid=2793/tid=2794] ppid=2790 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2794/stat : 2794 (toysat) S 2790 2793 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28754235 1332285440 50632 33554432000 4194304 16246674 140734558096112 140451295243504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2793/tid=2795] ppid=2790 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2795/stat : 2795 (toysat) S 2790 2793 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28754235 1332285440 50635 33554432000 4194304 16246674 140734558096112 140451284753648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2793/tid=2796] ppid=2790 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2796/stat : 2796 (toysat) S 2790 2793 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28754235 1332285440 50638 33554432000 4194304 16246674 140734558096112 140451201936560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700394 s]
/proc/loadavg: 2.10 2.10 2.09 3/261 2793
/proc/meminfo: memFree=30839896/32872528 swapFree=7556/7556
[pid=2793] ppid=2790 vsize=1301060 CPUtime=0.69 cores=0-3,8-11
/proc/2793/stat : 2793 (toysat) R 2790 2793 32495 0 -1 4202496 99257 0 0 0 57 12 0 0 20 0 4 0 28754235 1332285440 99556 33554432000 4194304 16246674 140734558096112 140734558078016 5546181 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2793/statm: 325265 99562 882 2943 0 322159 0
[pid=2793/tid=2794] ppid=2790 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2794/stat : 2794 (toysat) S 2790 2793 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28754235 1332285440 99565 33554432000 4194304 16246674 140734558096112 140451295243504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2793/tid=2795] ppid=2790 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2795/stat : 2795 (toysat) S 2790 2793 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28754235 1332285440 99569 33554432000 4194304 16246674 140734558096112 140451284753648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2793/tid=2796] ppid=2790 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2796/stat : 2796 (toysat) S 2790 2793 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28754235 1332285440 99572 33554432000 4194304 16246674 140734558096112 140451201936560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50038 s]
/proc/loadavg: 2.09 2.09 2.09 3/265 2797
/proc/meminfo: memFree=30215756/32872528 swapFree=7556/7556
[pid=2793] ppid=2790 vsize=1301060 CPUtime=1.49 cores=0-3,8-11
/proc/2793/stat : 2793 (toysat) R 2790 2793 32495 0 -1 4202496 208129 0 0 0 122 27 0 0 20 0 4 0 28754235 1332285440 208429 33554432000 4194304 16246674 140734558096112 140734558079112 12875570 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2793/statm: 325265 208435 882 2943 0 322159 0
[pid=2793/tid=2794] ppid=2790 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2794/stat : 2794 (toysat) S 2790 2793 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28754235 1332285440 208439 33554432000 4194304 16246674 140734558096112 140451295243504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2793/tid=2795] ppid=2790 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2795/stat : 2795 (toysat) S 2790 2793 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28754235 1332285440 208446 33554432000 4194304 16246674 140734558096112 140451284753648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2793/tid=2796] ppid=2790 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2796/stat : 2796 (toysat) S 2790 2793 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28754235 1332285440 208454 33554432000 4194304 16246674 140734558096112 140451201936560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10039 s]
/proc/loadavg: 2.09 2.09 2.09 3/265 2797
/proc/meminfo: memFree=29761528/32872528 swapFree=7556/7556
[pid=2793] ppid=2790 vsize=1312324 CPUtime=3.09 cores=0-3,8-11
/proc/2793/stat : 2793 (toysat) R 2790 2793 32495 0 -1 4202496 269175 0 0 0 272 37 0 0 20 0 4 0 28754235 1343819776 269474 33554432000 4194304 16246674 140734558096112 140734558078016 5677888 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2793/statm: 328081 269474 888 2943 0 324975 0
[pid=2793/tid=2794] ppid=2790 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2794/stat : 2794 (toysat) S 2790 2793 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28754235 1343819776 269474 33554432000 4194304 16246674 140734558096112 140451295243504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2793/tid=2795] ppid=2790 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2795/stat : 2795 (toysat) S 2790 2793 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28754235 1343819776 269474 33554432000 4194304 16246674 140734558096112 140451284753648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2793/tid=2796] ppid=2790 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2796/stat : 2796 (toysat) S 2790 2793 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28754235 1343819776 269474 33554432000 4194304 16246674 140734558096112 140451201936560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.30039 s]
/proc/loadavg: 2.08 2.09 2.08 3/265 2797
/proc/meminfo: memFree=29761404/32872528 swapFree=7556/7556
[pid=2793] ppid=2790 vsize=1312324 CPUtime=6.29 cores=0-3,8-11
/proc/2793/stat : 2793 (toysat) R 2790 2793 32495 0 -1 4202496 269266 0 0 0 592 37 0 0 20 0 4 0 28754235 1343819776 269565 33554432000 4194304 16246674 140734558096112 140734558078016 5712760 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2793/statm: 328081 269565 889 2943 0 324975 0
[pid=2793/tid=2794] ppid=2790 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2794/stat : 2794 (toysat) S 2790 2793 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28754235 1343819776 269565 33554432000 4194304 16246674 140734558096112 140451295243504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2793/tid=2795] ppid=2790 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2795/stat : 2795 (toysat) S 2790 2793 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28754235 1343819776 269565 33554432000 4194304 16246674 140734558096112 140451284753648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2793/tid=2796] ppid=2790 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2796/stat : 2796 (toysat) S 2790 2793 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28754235 1343819776 269565 33554432000 4194304 16246674 140734558096112 140451201936560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.08 2.09 2.08 3/265 2797
/proc/meminfo: memFree=29760956/32872528 swapFree=7556/7556
[pid=2793] ppid=2790 vsize=1312324 CPUtime=12.69 cores=0-3,8-11
/proc/2793/stat : 2793 (toysat) R 2790 2793 32495 0 -1 4202496 269268 0 0 0 1232 37 0 0 20 0 4 0 28754235 1343819776 269567 33554432000 4194304 16246674 140734558096112 140734558078016 5677731 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2793/statm: 328081 269567 891 2943 0 324975 0
[pid=2793/tid=2794] ppid=2790 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2794/stat : 2794 (toysat) S 2790 2793 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28754235 1343819776 269567 33554432000 4194304 16246674 140734558096112 140451295243504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2793/tid=2795] ppid=2790 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2795/stat : 2795 (toysat) S 2790 2793 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28754235 1343819776 269567 33554432000 4194304 16246674 140734558096112 140451284753648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2793/tid=2796] ppid=2790 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2796/stat : 2796 (toysat) S 2790 2793 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28754235 1343819776 269567 33554432000 4194304 16246674 140734558096112 140451201936560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5105 s]
/proc/loadavg: 2.22 2.12 2.09 3/265 2797
/proc/meminfo: memFree=29761876/32872528 swapFree=7556/7556
[pid=2793] ppid=2790 vsize=1312324 CPUtime=25.5 cores=0-3,8-11
/proc/2793/stat : 2793 (toysat) R 2790 2793 32495 0 -1 4202496 269268 0 0 0 2513 37 0 0 20 0 4 0 28754235 1343819776 269567 33554432000 4194304 16246674 140734558096112 140734558078016 13928624 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2793/statm: 328081 269567 891 2943 0 324975 0
[pid=2793/tid=2794] ppid=2790 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2794/stat : 2794 (toysat) S 2790 2793 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28754235 1343819776 269567 33554432000 4194304 16246674 140734558096112 140451295243504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2793/tid=2795] ppid=2790 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2795/stat : 2795 (toysat) S 2790 2793 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28754235 1343819776 269567 33554432000 4194304 16246674 140734558096112 140451284753648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2793/tid=2796] ppid=2790 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2796/stat : 2796 (toysat) S 2790 2793 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28754235 1343819776 269567 33554432000 4194304 16246674 140734558096112 140451201936560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1312324

[startup+51.1004 s]
/proc/loadavg: 2.14 2.11 2.09 3/265 2798
/proc/meminfo: memFree=29760564/32872528 swapFree=7556/7556
[pid=2793] ppid=2790 vsize=1314372 CPUtime=51.08 cores=0-3,8-11
/proc/2793/stat : 2793 (toysat) R 2790 2793 32495 0 -1 4202496 269668 0 0 0 5071 37 0 0 20 0 4 0 28754235 1345916928 269967 33554432000 4194304 16246674 140734558096112 140734558078016 6012036 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2793/statm: 328593 269967 892 2943 0 325487 0
[pid=2793/tid=2794] ppid=2790 vsize=1314372 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2794/stat : 2794 (toysat) S 2790 2793 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28754235 1345916928 269967 33554432000 4194304 16246674 140734558096112 140451295243504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2793/tid=2795] ppid=2790 vsize=1314372 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2795/stat : 2795 (toysat) S 2790 2793 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28754235 1345916928 269967 33554432000 4194304 16246674 140734558096112 140451284753648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2793/tid=2796] ppid=2790 vsize=1314372 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2796/stat : 2796 (toysat) S 2790 2793 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28754235 1345916928 269967 33554432000 4194304 16246674 140734558096112 140451201936560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1314372

[startup+102.3 s]
/proc/loadavg: 2.06 2.09 2.08 3/265 2799
/proc/meminfo: memFree=29760080/32872528 swapFree=7556/7556
[pid=2793] ppid=2790 vsize=1314372 CPUtime=102.28 cores=0-3,8-11
/proc/2793/stat : 2793 (toysat) R 2790 2793 32495 0 -1 4202496 269668 0 0 0 10191 37 0 0 20 0 4 0 28754235 1345916928 269967 33554432000 4194304 16246674 140734558096112 140734558078016 5722381 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2793/statm: 328593 269967 892 2943 0 325487 0
[pid=2793/tid=2794] ppid=2790 vsize=1314372 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2794/stat : 2794 (toysat) S 2790 2793 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28754235 1345916928 269967 33554432000 4194304 16246674 140734558096112 140451295243504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2793/tid=2795] ppid=2790 vsize=1314372 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2795/stat : 2795 (toysat) S 2790 2793 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28754235 1345916928 269967 33554432000 4194304 16246674 140734558096112 140451284753648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2793/tid=2796] ppid=2790 vsize=1314372 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2796/stat : 2796 (toysat) S 2790 2793 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28754235 1345916928 269967 33554432000 4194304 16246674 140734558096112 140451201936560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1314372


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

/proc/2793/task/2796/stat : 2796 (toysat) S 2790 2793 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28754235 1362694144 274433 33554432000 4194304 16246674 140734558096112 140451201936560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1330756

[startup+1302.3 s]
/proc/loadavg: 2.30 2.22 2.13 3/265 2877
/proc/meminfo: memFree=29750036/32872528 swapFree=7556/7556
[pid=2793] ppid=2790 vsize=1330756 CPUtime=1301.9 cores=0-3,8-11
/proc/2793/stat : 2793 (toysat) R 2790 2793 32495 0 -1 4202496 274168 0 0 0 130143 47 0 0 20 0 4 0 28754235 1362694144 274433 33554432000 4194304 16246674 140734558096112 140734558078016 5827966 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2793/statm: 332689 274433 892 2943 0 329583 0
[pid=2793/tid=2794] ppid=2790 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2794/stat : 2794 (toysat) S 2790 2793 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28754235 1362694144 274433 33554432000 4194304 16246674 140734558096112 140451295243504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2793/tid=2795] ppid=2790 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2795/stat : 2795 (toysat) S 2790 2793 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28754235 1362694144 274433 33554432000 4194304 16246674 140734558096112 140451284753648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2793/tid=2796] ppid=2790 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2796/stat : 2796 (toysat) S 2790 2793 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28754235 1362694144 274433 33554432000 4194304 16246674 140734558096112 140451201936560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1330756

[startup+1362.3 s]
/proc/loadavg: 2.18 2.20 2.12 3/265 2878
/proc/meminfo: memFree=29749892/32872528 swapFree=7556/7556
[pid=2793] ppid=2790 vsize=1330756 CPUtime=1361.88 cores=0-3,8-11
/proc/2793/stat : 2793 (toysat) R 2790 2793 32495 0 -1 4202496 274168 0 0 0 136141 47 0 0 20 0 4 0 28754235 1362694144 274433 33554432000 4194304 16246674 140734558096112 140734558078016 5822224 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2793/statm: 332689 274433 892 2943 0 329583 0
[pid=2793/tid=2794] ppid=2790 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2794/stat : 2794 (toysat) S 2790 2793 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28754235 1362694144 274433 33554432000 4194304 16246674 140734558096112 140451295243504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2793/tid=2795] ppid=2790 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2795/stat : 2795 (toysat) S 2790 2793 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28754235 1362694144 274433 33554432000 4194304 16246674 140734558096112 140451284753648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2793/tid=2796] ppid=2790 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2796/stat : 2796 (toysat) S 2790 2793 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28754235 1362694144 274433 33554432000 4194304 16246674 140734558096112 140451201936560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1330756

[startup+1422.3 s]
/proc/loadavg: 2.09 2.17 2.11 3/265 2879
/proc/meminfo: memFree=29749948/32872528 swapFree=7556/7556
[pid=2793] ppid=2790 vsize=1330756 CPUtime=1421.88 cores=0-3,8-11
/proc/2793/stat : 2793 (toysat) R 2790 2793 32495 0 -1 4202496 274168 0 0 0 142140 48 0 0 20 0 4 0 28754235 1362694144 274433 33554432000 4194304 16246674 140734558096112 140734558078016 5677667 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2793/statm: 332689 274433 892 2943 0 329583 0
[pid=2793/tid=2794] ppid=2790 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2794/stat : 2794 (toysat) S 2790 2793 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28754235 1362694144 274433 33554432000 4194304 16246674 140734558096112 140451295243504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2793/tid=2795] ppid=2790 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2795/stat : 2795 (toysat) S 2790 2793 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28754235 1362694144 274433 33554432000 4194304 16246674 140734558096112 140451284753648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2793/tid=2796] ppid=2790 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2796/stat : 2796 (toysat) S 2790 2793 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28754235 1362694144 274433 33554432000 4194304 16246674 140734558096112 140451201936560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1330756

[startup+1482.3 s]
/proc/loadavg: 2.15 2.17 2.11 3/266 2883
/proc/meminfo: memFree=29748476/32872528 swapFree=7556/7556
[pid=2793] ppid=2790 vsize=1330756 CPUtime=1481.86 cores=0-3,8-11
/proc/2793/stat : 2793 (toysat) R 2790 2793 32495 0 -1 4202496 274168 0 0 0 148138 48 0 0 20 0 4 0 28754235 1362694144 274433 33554432000 4194304 16246674 140734558096112 140734558078016 5827966 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2793/statm: 332689 274433 892 2943 0 329583 0
[pid=2793/tid=2794] ppid=2790 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2794/stat : 2794 (toysat) S 2790 2793 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28754235 1362694144 274433 33554432000 4194304 16246674 140734558096112 140451295243504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2793/tid=2795] ppid=2790 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2795/stat : 2795 (toysat) S 2790 2793 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28754235 1362694144 274433 33554432000 4194304 16246674 140734558096112 140451284753648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2793/tid=2796] ppid=2790 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2796/stat : 2796 (toysat) S 2790 2793 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28754235 1362694144 274433 33554432000 4194304 16246674 140734558096112 140451201936560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1330756

[startup+1542.3 s]
/proc/loadavg: 2.09 2.15 2.11 3/265 2884
/proc/meminfo: memFree=29748488/32872528 swapFree=7556/7556
[pid=2793] ppid=2790 vsize=1330756 CPUtime=1541.86 cores=0-3,8-11
/proc/2793/stat : 2793 (toysat) R 2790 2793 32495 0 -1 4202496 274168 0 0 0 154137 49 0 0 20 0 4 0 28754235 1362694144 274433 33554432000 4194304 16246674 140734558096112 140734558078016 13191984 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2793/statm: 332689 274433 892 2943 0 329583 0
[pid=2793/tid=2794] ppid=2790 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2794/stat : 2794 (toysat) S 2790 2793 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28754235 1362694144 274433 33554432000 4194304 16246674 140734558096112 140451295243504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2793/tid=2795] ppid=2790 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2795/stat : 2795 (toysat) S 2790 2793 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28754235 1362694144 274433 33554432000 4194304 16246674 140734558096112 140451284753648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2793/tid=2796] ppid=2790 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2796/stat : 2796 (toysat) S 2790 2793 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28754235 1362694144 274433 33554432000 4194304 16246674 140734558096112 140451201936560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1330756

[startup+1602.3 s]
/proc/loadavg: 2.11 2.14 2.10 3/265 2886
/proc/meminfo: memFree=29749096/32872528 swapFree=7556/7556
[pid=2793] ppid=2790 vsize=1330756 CPUtime=1601.84 cores=0-3,8-11
/proc/2793/stat : 2793 (toysat) R 2790 2793 32495 0 -1 4202496 274168 0 0 0 160135 49 0 0 20 0 4 0 28754235 1362694144 274433 33554432000 4194304 16246674 140734558096112 140734558078016 12415740 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2793/statm: 332689 274433 892 2943 0 329583 0
[pid=2793/tid=2794] ppid=2790 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2794/stat : 2794 (toysat) S 2790 2793 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28754235 1362694144 274433 33554432000 4194304 16246674 140734558096112 140451295243504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2793/tid=2795] ppid=2790 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2795/stat : 2795 (toysat) S 2790 2793 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28754235 1362694144 274433 33554432000 4194304 16246674 140734558096112 140451284753648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2793/tid=2796] ppid=2790 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2796/stat : 2796 (toysat) S 2790 2793 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28754235 1362694144 274433 33554432000 4194304 16246674 140734558096112 140451201936560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1330756

[startup+1662.3 s]
/proc/loadavg: 2.16 2.14 2.10 3/265 2887
/proc/meminfo: memFree=29749092/32872528 swapFree=7556/7556
[pid=2793] ppid=2790 vsize=1330756 CPUtime=1661.83 cores=0-3,8-11
/proc/2793/stat : 2793 (toysat) R 2790 2793 32495 0 -1 4202496 274168 0 0 0 166134 49 0 0 20 0 4 0 28754235 1362694144 274433 33554432000 4194304 16246674 140734558096112 140734558078016 13965456 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2793/statm: 332689 274433 892 2943 0 329583 0
[pid=2793/tid=2794] ppid=2790 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2794/stat : 2794 (toysat) S 2790 2793 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28754235 1362694144 274433 33554432000 4194304 16246674 140734558096112 140451295243504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2793/tid=2795] ppid=2790 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2795/stat : 2795 (toysat) S 2790 2793 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28754235 1362694144 274433 33554432000 4194304 16246674 140734558096112 140451284753648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2793/tid=2796] ppid=2790 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2796/stat : 2796 (toysat) S 2790 2793 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28754235 1362694144 274433 33554432000 4194304 16246674 140734558096112 140451201936560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1330756

[startup+1722.3 s]
/proc/loadavg: 2.11 2.13 2.09 3/265 2888
/proc/meminfo: memFree=29747860/32872528 swapFree=7556/7556
[pid=2793] ppid=2790 vsize=1330756 CPUtime=1721.83 cores=0-3,8-11
/proc/2793/stat : 2793 (toysat) R 2790 2793 32495 0 -1 4202496 274168 0 0 0 172133 50 0 0 20 0 4 0 28754235 1362694144 274433 33554432000 4194304 16246674 140734558096112 140734558078016 13906976 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2793/statm: 332689 274433 892 2943 0 329583 0
[pid=2793/tid=2794] ppid=2790 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2794/stat : 2794 (toysat) S 2790 2793 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28754235 1362694144 274433 33554432000 4194304 16246674 140734558096112 140451295243504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2793/tid=2795] ppid=2790 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2795/stat : 2795 (toysat) S 2790 2793 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28754235 1362694144 274433 33554432000 4194304 16246674 140734558096112 140451284753648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2793/tid=2796] ppid=2790 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2796/stat : 2796 (toysat) S 2790 2793 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28754235 1362694144 274433 33554432000 4194304 16246674 140734558096112 140451201936560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1330756

[startup+1782.3 s]
/proc/loadavg: 2.14 2.13 2.09 3/265 2889
/proc/meminfo: memFree=29748412/32872528 swapFree=7556/7556
[pid=2793] ppid=2790 vsize=1330756 CPUtime=1781.83 cores=0-3,8-11
/proc/2793/stat : 2793 (toysat) R 2790 2793 32495 0 -1 4202496 274168 0 0 0 178132 51 0 0 20 0 4 0 28754235 1362694144 274433 33554432000 4194304 16246674 140734558096112 140734558078016 5711688 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2793/statm: 332689 274433 892 2943 0 329583 0
[pid=2793/tid=2794] ppid=2790 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2794/stat : 2794 (toysat) S 2790 2793 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28754235 1362694144 274433 33554432000 4194304 16246674 140734558096112 140451295243504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2793/tid=2795] ppid=2790 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2795/stat : 2795 (toysat) S 2790 2793 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28754235 1362694144 274433 33554432000 4194304 16246674 140734558096112 140451284753648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2793/tid=2796] ppid=2790 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2796/stat : 2796 (toysat) S 2790 2793 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28754235 1362694144 274433 33554432000 4194304 16246674 140734558096112 140451201936560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1330756



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.11 2.12 2.09 3/265 2889
/proc/meminfo: memFree=29748296/32872528 swapFree=7556/7556
[pid=2793] ppid=2790 vsize=1330756 CPUtime=1800.02 cores=0-3,8-11
/proc/2793/stat : 2793 (toysat) R 2790 2793 32495 0 -1 4202496 274168 0 0 0 179951 51 0 0 20 0 4 0 28754235 1362694144 274433 33554432000 4194304 16246674 140734558096112 140734558078016 5711688 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2793/statm: 332689 274433 892 2943 0 329583 0
[pid=2793/tid=2794] ppid=2790 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2794/stat : 2794 (toysat) S 2790 2793 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28754235 1362694144 274433 33554432000 4194304 16246674 140734558096112 140451295243504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2793/tid=2795] ppid=2790 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2795/stat : 2795 (toysat) S 2790 2793 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28754235 1362694144 274433 33554432000 4194304 16246674 140734558096112 140451284753648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2793/tid=2796] ppid=2790 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2793/task/2796/stat : 2796 (toysat) S 2790 2793 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28754235 1362694144 274433 33554432000 4194304 16246674 140734558096112 140451201936560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1330756

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.51
CPU system time (s): 0.513921
CPU usage (%): 99.9732
Max. virtual memory (cumulated for all children) (KiB): 1330756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.51
system time used= 0.513921
maximum resident set size= 1097732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274168
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= 304
involuntary context switches= 1951

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.00009 second user time and 8.19575 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-26 18:06:01
IDJOB=4116501
IDBENCH=109478
IDSOLVER=2542
FILE ID=node132/4116501-1466957160
RUNJOBID= node132-1466939688-32511
PBS_JOBID= 19976333
Free space on /tmp= 71512 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round22-0.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116501-1466957160/watcher-4116501-1466957160 -o /tmp/evaluation-result-4116501-1466957160/solver-4116501-1466957160 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466939688-32511 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4116501-1466957160.opb

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

MD5SUM BENCH= b7b9217d010417b82bed1348dbdaf6d8
RANDOM SEED=1524165421

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30840340 kB
Buffers:           31176 kB
Cached:           178544 kB
SwapCached:         1784 kB
Active:          1168812 kB
Inactive:         148024 kB
Active(anon):    1107368 kB
Inactive(anon):     1700 kB
Active(file):      61444 kB
Inactive(file):   146324 kB
Unevictable:        7556 kB
Mlocked:            7556 kB
SwapTotal:      67108856 kB
SwapFree:       67098636 kB
Dirty:             17000 kB
Writeback:             0 kB
AnonPages:       1231640 kB
Mapped:            10956 kB
Shmem:                 0 kB
Slab:             570916 kB
SReclaimable:      11368 kB
SUnreclaim:       559548 kB
KernelStack:        2240 kB
PageTables:         6692 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1254552 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:    735232 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= 71496 MiB
End job on node132 at 2016-06-26 18:36:01