Trace number 4116933

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size96-round22-2.opb
MD5SUMbc935ebcdca1858782c55508e4df4e85
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 benchmark1556.4
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:36:02+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-4116933-1466958961.opb"]
0.00/0.01	c use --random-gen="1368811411 150700759 1305547304 2748272896 4231996416 1625251076 746121148 1011960389 1179583956 3601024100 2886696818 2202133476 596325015 3823990571 4283536871 2556053742 1468577544 877872231 2944670993 3626944500 632818433 2570103362 2778390745 1913332494 414479563 3963656984 2823986020 1808782984 3730334666 1444760747 1437113783 3225063184 2182482099 4209413553 3169397136 2436842772 3149806962 3222933022 2387124596 848724366 376803310 1677287292 3850580962 3427104673 1926855009 1655097460 3442119824 2884372884 2952470326 2787879253 684616529 284374473 1019498951 2433889238 2930996615 2100986875 2113615733 699897947 3563239233 2390817363 40188392 2892118392 3822659790 2253270672 2665526087 1685442225 2621354103 113966832 2609277782 2388868109 2594918831 2299840543 2053312905 251275180 3633839197 1864938538 3159119813 760574597 3043701977 3179974522 1610394886 1689630790 3943397073 3128262223 2530018927 49428567 1606145562 3814073561 2310179231 3753585614 2723253809 3177777600 2503552259 3876070445 927974083 1932401231 3128384497 3549264068 4042139125 1005973506 3317939213 1818776355 258132829 1421471985 1028304150 3876320943 3494215790 4102713872 4001292882 3766620857 1062702326 2779646727 867235021 1644379259 3477491858 552781263 2547187963 236827959 2346102032 3931197539 2318045164 3780272849 2218829843 1904027230 3725779859 869924026 3156047493 3755317610 371535553 2301607054 2671889095 3931779915 3927810538 700923157 544780257 373695444 3886477375 3458600859 1877766229 2574140259 3015697006 383294718 739881936 1393156219 3705385734 3605073088 291528836 996806985 635734958 2578497426 2244838661 1125451748 2571904898 2910856115 1870825541 139007162 1441524443 3486603189 1582617058 1508991700 3009088948 2324774435 719231959 3354228053 3802280239 2420652914 448795982 628550602 1099796944 3010529392 3041194255 3893118870 2418749024 1634702029 4178161655 778715427 1670443772 735089181 823746293 3894101774 3802022577 3867570898 4141070343 1906419257 1919237008 1813211722 2381523529 3810063539 1521300992 3434217490 3063929074 1870831477 3866828952 2398703473 2005634823 3817213214 3342855439 2382279163 4181780978 53897385 3714961605 578609992 1587288449 1980457849 3892486159 135202417 1624944396 2728588338 1850350026 3183067518 2676175690 986756478 2878819662 3305244986 3227777923 314866360 3388738351 2091025239 27293229 3615486511 2504389318 2969360503 530712418 2596774953 844105574 322682088 4656501 464885141 1728262942 3573195887 3488302547 2868984267 3342267041 1335299447 4112134408 1846549361 2772361738 1641481463 2719746580 1027740892 843334176 3257229593 1570604977 3560366651 1087466322 469324174 3604610843 2088035469 1122128735 828711528 2517628844 2610914721 1813500307 2932566869 2311831346 3589618463 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 |      637 |        0
0.28/0.32	c  0.1s |       1 |      419 |      100 |     4234      0 |      637 |      342
0.39/0.43	c  0.2s |       2 |     1226 |      250 |     4658      0 |      637 |      342
0.49/0.58	c  0.3s |       3 |     2892 |      475 |     5124      0 |      637 |      342
0.99/1.02	c  0.8s |       4 |     4594 |      813 |     5637      0 |      637 |      342
1.59/1.62	c  1.4s |       5 |     6411 |     1320 |     6201      0 |      637 |      342
2.59/2.60	c  2.4s |       6 |     8626 |     2081 |     7505      0 |      638 |      342
3.09/3.18	c  2.9s |       7 |    14424 |     3223 |     8256      0 |      638 |      342
4.69/4.78	c  4.5s |       8 |    19032 |     4936 |     9082      0 |      638 |      342
6.79/6.86	c  6.6s |       8 |    30443 |     7436 |     9082      0 |      638 |      342
6.89/6.92	c  6.7s |       9 |    30532 |     7506 |     9991      0 |      638 |      342
8.90/8.99	c  8.7s |       9 |    38399 |    10206 |     9991      0 |      638 |      342
10.09/10.12	c  9.9s |      10 |    40881 |    11361 |    10991      0 |      638 |      342
12.20/12.23	c 12.0s |      10 |    45701 |    13061 |    10991      0 |      638 |      342
14.19/14.30	c 14.0s |      10 |    47008 |    14261 |    10991      0 |      638 |      342
16.29/16.35	c 16.1s |      10 |    48194 |    15361 |    10991      1 |      638 |      342
18.39/18.42	c 18.2s |      10 |    49441 |    16461 |    10991      1 |      638 |      342
19.69/19.78	c 19.5s |      11 |    50200 |    17144 |    12091      1 |      638 |      342
21.88/21.94	c 21.7s |      11 |    56390 |    19444 |    12091      1 |      638 |      342
23.88/23.98	c 23.7s |      11 |    57904 |    20644 |    12091      1 |      638 |      342
25.98/26.04	c 25.8s |      11 |    59315 |    21744 |    12091      1 |      638 |      342
28.08/28.18	c 27.9s |      11 |    60379 |    22644 |    12091      1 |      638 |      342
30.18/30.24	c 30.0s |      11 |    61341 |    23444 |    12091      2 |      638 |      342
32.38/32.40	c 32.1s |      11 |    63743 |    24744 |    12091      2 |      638 |      342
34.48/34.55	c 34.3s |      11 |    65017 |    25744 |    13301      2 |      638 |      342
34.58/34.69	c 34.4s |      12 |    65107 |    25819 |    13301      2 |      638 |      342
36.78/36.80	c 36.5s |      12 |    71962 |    28119 |    13301      2 |      638 |      342
38.78/38.82	c 38.6s |      12 |    73529 |    29319 |    13301      2 |      638 |      342
40.79/40.84	c 40.6s |      12 |    75118 |    30519 |    13301      2 |      638 |      342
42.89/42.91	c 42.7s |      12 |    76555 |    31719 |    13301      2 |      638 |      342
44.88/44.94	c 44.7s |      12 |    78013 |    32819 |    13301      3 |      638 |      342
46.88/46.96	c 46.7s |      12 |    79246 |    33819 |    13301      3 |      638 |      342
48.98/49.00	c 48.7s |      12 |    80479 |    34819 |    13301      3 |      638 |      342
51.09/51.10	c 50.8s |      12 |    81717 |    35819 |    13301      3 |      638 |      342
53.18/53.21	c 53.0s |      12 |    82794 |    36719 |    13301      3 |      638 |      342
55.18/55.28	c 55.0s |      12 |    83750 |    37519 |    13301      3 |      638 |      342
57.29/57.39	c 57.1s |      12 |    84724 |    38319 |    13301      3 |      638 |      342
58.88/58.95	c 58.7s |      13 |    85330 |    38832 |    14632      3 |      638 |      342
60.88/60.96	c 60.7s |      13 |    94766 |    40832 |    14632      4 |      639 |      342
62.98/63.02	c 62.8s |      13 |   107075 |    43132 |    14632      4 |      639 |      342
65.08/65.12	c 64.9s |      13 |   110828 |    44932 |    14632      4 |      639 |      342
67.19/67.22	c 67.0s |      13 |   112122 |    46032 |    14632      4 |      639 |      342
69.18/69.28	c 69.0s |      13 |   113293 |    47032 |    14632      4 |      639 |      342
71.28/71.34	c 71.1s |      13 |   114472 |    48032 |    14632      4 |      639 |      342
73.48/73.53	c 73.3s |      13 |   115551 |    48932 |    14632      4 |      639 |      342
75.58/75.61	c 75.4s |      13 |   116323 |    49632 |    14632      5 |      639 |      342
77.78/77.83	c 77.6s |      13 |   117339 |    50532 |    14632      5 |      639 |      342
79.78/79.89	c 79.6s |      13 |   118282 |    51332 |    14632      5 |      639 |      342
81.98/82.00	c 81.7s |      13 |   119211 |    52132 |    14632      5 |      639 |      342
84.08/84.16	c 83.9s |      13 |   120139 |    52932 |    14632      5 |      639 |      342
86.17/86.26	c 86.0s |      13 |   120902 |    53632 |    14632      5 |      639 |      342
88.37/88.42	c 88.2s |      13 |   121675 |    54332 |    14632      5 |      639 |      342
90.67/90.75	c 90.5s |      13 |   122473 |    55032 |    14632      5 |      639 |      342
92.87/92.99	c 92.7s |      13 |   123486 |    55832 |    14632      5 |      639 |      342
95.17/95.22	c 95.0s |      13 |   124571 |    56732 |    14632      5 |      639 |      342
97.27/97.36	c 97.1s |      13 |   125531 |    57532 |    14632      5 |      639 |      342
98.98/99.07	c 98.8s |      14 |   126713 |    58352 |    16096      5 |      639 |      342
101.07/101.16	c  100s |      14 |   134247 |    60152 |    16096      6 |      639 |      342
103.27/103.30	c  103s |      14 |   136548 |    61752 |    16096      6 |      639 |      342
105.27/105.38	c  105s |      14 |   138717 |    63152 |    16096      6 |      639 |      342
107.47/107.50	c  107s |      14 |   140623 |    64552 |    16096      6 |      639 |      342
109.47/109.57	c  109s |      14 |   142761 |    66052 |    16096      6 |      639 |      342
111.57/111.65	c  111s |      14 |   144448 |    67152 |    16096      6 |      639 |      342
113.57/113.69	c  113s |      14 |   145919 |    68252 |    16096      6 |      639 |      342
115.67/115.73	c  115s |      14 |   152186 |    70052 |    16096      7 |      639 |      342
117.68/117.76	c  117s |      14 |   154390 |    71652 |    16096      7 |      639 |      342
119.67/119.78	c  119s |      14 |   155783 |    72852 |    16096      7 |      639 |      342
121.87/121.96	c  121s |      14 |   157028 |    73952 |    16096      7 |      639 |      342
123.97/124.07	c  123s |      14 |   158392 |    75152 |    16096      7 |      639 |      342
126.07/126.18	c  125s |      14 |   159641 |    76252 |    16096      7 |      639 |      342
128.17/128.28	c  128s |      14 |   160770 |    77252 |    16096      7 |      639 |      342
130.27/130.35	c  130s |      14 |   164116 |    78752 |    16096      8 |      639 |      342
132.57/132.60	c  132s |      14 |   166345 |    80252 |    16096      8 |      639 |      342
134.57/134.61	c  134s |      14 |   167726 |    81352 |    16096      8 |      639 |      342
136.76/136.80	c  136s |      14 |   168932 |    82352 |    16096      8 |      639 |      342
138.76/138.87	c  138s |      14 |   170219 |    83352 |    16096      8 |      639 |      342
140.87/140.97	c  140s |      14 |   171166 |    84152 |    16096      8 |      639 |      342
143.07/143.17	c  142s |      14 |   172136 |    84952 |    16096      8 |      639 |      342
145.27/145.32	c  145s |      14 |   172995 |    85652 |    16096      8 |      639 |      342
147.27/147.33	c  147s |      14 |   174161 |    86452 |    16096      8 |      639 |      342
149.17/149.23	c  148s |      15 |   175968 |    87632 |    17706      8 |      639 |      342
151.16/151.26	c  151s |      15 |   182613 |    89132 |    17706      9 |      639 |      342
153.26/153.37	c  153s |      15 |   184279 |    90532 |    17706      9 |      639 |      342
155.36/155.43	c  155s |      15 |   185479 |    91632 |    17706      9 |      639 |      342
157.46/157.50	c  157s |      15 |   186603 |    92632 |    17706      9 |      639 |      342
159.57/159.65	c  159s |      15 |   187464 |    93432 |    17706      9 |      639 |      342
161.67/161.80	c  161s |      15 |   188621 |    94432 |    17706      9 |      639 |      342
163.97/164.05	c  163s |      15 |   189622 |    95332 |    17706      9 |      639 |      342
166.07/166.21	c  165s |      15 |   190373 |    96032 |    17706      9 |      639 |      342
168.27/168.36	c  168s |      15 |   193302 |    97332 |    17706      9 |      639 |      342
170.36/170.44	c  170s |      15 |   194534 |    98332 |    17706     10 |      639 |      342
172.36/172.46	c  172s |      15 |   195893 |    99432 |    17706     10 |      639 |      342
174.46/174.58	c  174s |      15 |   197426 |   100632 |    17706     10 |      639 |      342
176.56/176.62	c  176s |      15 |   200098 |   101932 |    17706     10 |      639 |      342
178.66/178.75	c  178s |      15 |   201919 |   103332 |    17706     10 |      639 |      342
180.76/180.89	c  180s |      15 |   203623 |   104632 |    17706     10 |      639 |      342
182.86/182.91	c  182s |      15 |   205008 |   105732 |    17706     10 |      639 |      342
184.87/184.92	c  184s |      15 |   207011 |   107032 |    17706     10 |      639 |      342
186.86/186.97	c  186s |      15 |   219062 |   109332 |    17706     11 |      639 |      342
188.96/189.06	c  188s |      15 |   230227 |   112032 |    17706     11 |      639 |      342
190.96/191.07	c  190s |      15 |   234178 |   113932 |    17706     11 |      639 |      342
192.96/193.08	c  192s |      15 |   236675 |   115432 |    17706     11 |      639 |      342
195.16/195.20	c  194s |      15 |   238901 |   117032 |    17706     11 |      639 |      342
197.16/197.26	c  197s |      15 |   240375 |   118232 |    17706     11 |      639 |      342
199.35/199.43	c  199s |      15 |   241433 |   119132 |    17706     12 |      639 |      342
201.46/201.57	c  201s |      15 |   242773 |   120232 |    17706     12 |      639 |      342
203.56/203.65	c  203s |      15 |   244004 |   121232 |    17706     12 |      639 |      342
205.66/205.78	c  205s |      15 |   245256 |   122232 |    17706     12 |      639 |      342
207.86/207.99	c  207s |      15 |   246640 |   123332 |    17706     12 |      639 |      342
209.95/210.02	c  209s |      15 |   247760 |   124232 |    17706     12 |      639 |      342
212.05/212.19	c  211s |      15 |   248697 |   125032 |    17706     12 |      639 |      342
214.26/214.39	c  214s |      15 |   249746 |   125932 |    17706     12 |      639 |      342
216.46/216.51	c  216s |      15 |   250881 |   126832 |    17706     12 |      639 |      342
218.56/218.62	c  218s |      15 |   251828 |   127632 |    17706     12 |      639 |      342
220.56/220.69	c  220s |      15 |   252699 |   128332 |    17706     12 |      639 |      342
222.86/222.94	c  222s |      15 |   254132 |   129232 |    17706     13 |      639 |      342
225.06/225.13	c  224s |      15 |   255542 |   130332 |    17706     13 |      639 |      342
227.16/227.29	c  227s |      15 |   256894 |   131332 |    19477     13 |      639 |      342
227.67/227.81	c  227s |      16 |   257165 |   131552 |    19477     13 |      639 |      342
229.76/229.89	c  229s |      16 |   263127 |   133352 |    19477     13 |      639 |      342
231.96/232.01	c  231s |      16 |   267483 |   135152 |    19477     13 |      639 |      342
234.06/234.12	c  233s |      16 |   270952 |   136952 |    19477     13 |      639 |      342
236.06/236.17	c  235s |      16 |   272680 |   138152 |    19477     13 |      639 |      342
238.15/238.29	c  238s |      16 |   274528 |   139452 |    19477     13 |      639 |      342
240.35/240.43	c  240s |      16 |   276056 |   140652 |    19477     13 |      639 |      342
242.35/242.49	c  242s |      16 |   277266 |   141552 |    19477     14 |      639 |      342
244.45/244.51	c  244s |      16 |   278326 |   142452 |    19477     14 |      639 |      342
246.55/246.64	c  246s |      16 |   279380 |   143352 |    19477     14 |      639 |      342
248.66/248.72	c  248s |      16 |   280445 |   144252 |    19477     14 |      639 |      342
250.65/250.79	c  250s |      16 |   281646 |   145152 |    19477     14 |      639 |      342
252.96/253.08	c  252s |      16 |   282840 |   146052 |    19477     14 |      639 |      342
255.05/255.13	c  254s |      16 |   283607 |   146652 |    19477     14 |      639 |      342
257.05/257.19	c  256s |      16 |   284315 |   147252 |    19477     14 |      639 |      342
259.25/259.32	c  259s |      16 |   285064 |   147852 |    19477     14 |      639 |      342
261.55/261.67	c  261s |      16 |   285908 |   148552 |    19477     14 |      639 |      342
263.85/263.99	c  263s |      16 |   286742 |   149252 |    19477     14 |      639 |      342
265.95/266.04	c  265s |      16 |   287523 |   149852 |    19477     14 |      639 |      342
268.25/268.31	c  268s |      16 |   288333 |   150552 |    19477     14 |      639 |      342
270.45/270.56	c  270s |      16 |   289173 |   151252 |    19477     14 |      639 |      342
272.65/272.75	c  272s |      16 |   289853 |   151852 |    19477     14 |      639 |      342
274.96/275.09	c  274s |      16 |   290529 |   152452 |    19477     14 |      639 |      342
277.26/277.35	c  277s |      16 |   291242 |   153052 |    19477     15 |      639 |      342
279.46/279.51	c  279s |      16 |   292162 |   153852 |    19477     15 |      639 |      342
281.55/281.65	c  281s |      16 |   293534 |   154752 |    19477     15 |      639 |      342
283.54/283.66	c  283s |      16 |   295016 |   155752 |    19477     15 |      639 |      342
285.54/285.69	c  285s |      16 |   296121 |   156552 |    19477     15 |      639 |      342
287.74/287.84	c  287s |      16 |   297284 |   157452 |    19477     15 |      639 |      342
289.94/290.01	c  289s |      16 |   298017 |   158052 |    19477     15 |      639 |      342
291.94/292.01	c  291s |      16 |   298805 |   158652 |    19477     15 |      639 |      342
294.04/294.14	c  293s |      16 |   299869 |   159452 |    19477     15 |      639 |      342
296.24/296.36	c  296s |      16 |   300849 |   160252 |    19477     15 |      639 |      342
298.34/298.49	c  298s |      16 |   301832 |   161052 |    19477     15 |      639 |      342
300.64/300.77	c  300s |      16 |   302665 |   161752 |    19477     15 |      639 |      342
302.94/303.01	c  302s |      16 |   303361 |   162352 |    19477     15 |      639 |      342
305.04/305.15	c  304s |      16 |   304085 |   162952 |    19477     15 |      639 |      342
307.04/307.17	c  306s |      16 |   304640 |   163452 |    19477     15 |      639 |      342
309.34/309.49	c  309s |      16 |   305529 |   164152 |    19477     15 |      639 |      342
311.64/311.72	c  311s |      16 |   306431 |   164852 |    19477     16 |      639 |      342
313.64/313.74	c  313s |      16 |   307511 |   165652 |    19477     16 |      639 |      342
315.65/315.77	c  315s |      16 |   308342 |   166352 |    19477     16 |      639 |      342
317.74/317.85	c  317s |      16 |   309377 |   167152 |    19477     16 |      639 |      342
319.94/320.07	c  319s |      16 |   310199 |   167852 |    19477     16 |      639 |      342
321.94/322.08	c  321s |      16 |   310884 |   168452 |    19477     16 |      639 |      342
324.24/324.33	c  324s |      16 |   311543 |   169052 |    19477     16 |      639 |      342
326.24/326.36	c  326s |      16 |   312233 |   169652 |    19477     16 |      639 |      342
328.44/328.59	c  328s |      16 |   312912 |   170252 |    19477     16 |      639 |      342
330.64/330.70	c  330s |      16 |   313605 |   170852 |    19477     16 |      639 |      342
332.74/332.84	c  332s |      16 |   314137 |   171352 |    19477     16 |      639 |      342
334.74/334.87	c  334s |      16 |   314700 |   171852 |    19477     16 |      639 |      342
336.93/337.00	c  336s |      16 |   315249 |   172352 |    19477     16 |      639 |      342
338.93/339.07	c  338s |      16 |   315809 |   172852 |    19477     16 |      639 |      342
340.94/341.10	c  340s |      16 |   316363 |   173352 |    19477     16 |      639 |      342
343.24/343.34	c  343s |      16 |   317285 |   174052 |    19477     16 |      639 |      342
345.63/345.71	c  345s |      16 |   317964 |   174652 |    19477     16 |      639 |      342
347.93/348.05	c  347s |      16 |   318693 |   175252 |    19477     16 |      639 |      342
350.23/350.38	c  350s |      16 |   319265 |   175752 |    19477     17 |      639 |      342
352.63/352.74	c  352s |      16 |   319908 |   176352 |    19477     17 |      639 |      342
354.73/354.81	c  354s |      16 |   320436 |   176852 |    19477     17 |      639 |      342
356.93/357.04	c  356s |      16 |   321324 |   177552 |    19477     17 |      639 |      342
359.03/359.16	c  358s |      16 |   322149 |   178252 |    19477     17 |      639 |      342
361.43/361.57	c  361s |      16 |   322996 |   178952 |    19477     17 |      639 |      342
363.43/363.59	c  363s |      16 |   323730 |   179552 |    19477     17 |      639 |      342
365.53/365.63	c  365s |      16 |   324598 |   180252 |    19477     17 |      639 |      342
367.73/367.84	c  367s |      16 |   325620 |   181052 |    19477     17 |      639 |      342
369.83/369.90	c  369s |      16 |   326441 |   181752 |    19477     17 |      639 |      342
372.03/372.12	c  371s |      16 |   327415 |   182552 |    19477     17 |      639 |      342
374.13/374.23	c  373s |      16 |   328105 |   183152 |    19477     17 |      639 |      342
376.24/376.33	c  376s |      16 |   328803 |   183752 |    19477     17 |      639 |      342
378.34/378.47	c  378s |      16 |   329500 |   184352 |    19477     17 |      639 |      342
380.43/380.53	c  380s |      16 |   330222 |   184952 |    19477     17 |      639 |      342
382.53/382.68	c  382s |      16 |   330885 |   185552 |    19477     17 |      639 |      342
384.83/384.93	c  384s |      16 |   331602 |   186152 |    19477     17 |      639 |      342
386.83/386.96	c  386s |      16 |   332188 |   186652 |    19477     17 |      639 |      342
389.02/389.11	c  388s |      16 |   332800 |   187152 |    19477     18 |      639 |      342
391.02/391.16	c  390s |      16 |   333609 |   187852 |    19477     18 |      639 |      342
393.02/393.18	c  392s |      16 |   334402 |   188552 |    19477     18 |      639 |      342
395.12/395.27	c  395s |      16 |   335069 |   189152 |    19477     18 |      639 |      342
397.42/397.58	c  397s |      16 |   335870 |   189852 |    19477     18 |      639 |      342
399.83/399.92	c  399s |      16 |   336668 |   190552 |    19477     18 |      639 |      342
401.93/402.08	c  401s |      16 |   337352 |   191152 |    19477     18 |      639 |      342
404.23/404.33	c  404s |      16 |   338164 |   191852 |    19477     18 |      639 |      342
406.23/406.37	c  406s |      16 |   338872 |   192452 |    19477     18 |      639 |      342
408.53/408.61	c  408s |      16 |   339560 |   193052 |    19477     18 |      639 |      342
410.73/410.84	c  410s |      16 |   340242 |   193652 |    19477     18 |      639 |      342
412.93/413.03	c  412s |      16 |   340786 |   194152 |    19477     18 |      639 |      342
414.93/415.07	c  414s |      16 |   341348 |   194652 |    19477     18 |      639 |      342
417.23/417.36	c  417s |      16 |   341905 |   195152 |    19477     18 |      639 |      342
419.33/419.49	c  419s |      16 |   342465 |   195652 |    19477     18 |      639 |      342
421.62/421.75	c  421s |      16 |   343028 |   196152 |    21425     18 |      639 |      342
423.82/423.97	c  423s |      16 |   343757 |   196752 |    21425     18 |      639 |      342
426.12/426.27	c  426s |      16 |   344465 |   197352 |    21425     18 |      639 |      342
426.42/426.56	c  426s |      17 |   344561 |   197432 |    21425     18 |      639 |      342
428.42/428.56	c  428s |      17 |   347854 |   198432 |    21425     19 |      639 |      342
430.52/430.62	c  430s |      17 |   349214 |   199632 |    21425     19 |      639 |      342
432.72/432.82	c  432s |      17 |   350572 |   200832 |    21425     19 |      639 |      342
434.82/434.90	c  434s |      17 |   353826 |   202132 |    21425     19 |      639 |      342
436.92/437.08	c  436s |      17 |   355599 |   203432 |    21425     19 |      639 |      342
439.02/439.16	c  438s |      17 |   356727 |   204432 |    21425     19 |      639 |      342
441.22/441.32	c  441s |      17 |   357898 |   205432 |    21425     19 |      639 |      342
443.23/443.32	c  443s |      17 |   358790 |   206232 |    21425     19 |      639 |      342
445.22/445.39	c  445s |      17 |   360005 |   207232 |    21425     19 |      639 |      342
447.32/447.48	c  447s |      17 |   361125 |   208132 |    21425     19 |      639 |      342
449.52/449.60	c  449s |      17 |   362099 |   208932 |    21425     19 |      639 |      342
451.62/451.73	c  451s |      17 |   362900 |   209632 |    21425     19 |      639 |      342
454.02/454.11	c  453s |      17 |   363829 |   210432 |    21425     19 |      639 |      342
456.62/456.72	c  456s |      17 |   364501 |   211032 |    21425     20 |      639 |      342
458.73/458.85	c  458s |      17 |   365173 |   211632 |    21425     20 |      639 |      342
460.82/460.92	c  460s |      17 |   365715 |   212132 |    21425     20 |      639 |      342
463.02/463.19	c  462s |      17 |   366477 |   212832 |    21425     20 |      639 |      342
465.11/465.30	c  465s |      17 |   368317 |   213732 |    21425     20 |      639 |      342
467.21/467.34	c  467s |      17 |   369705 |   214732 |    21425     20 |      639 |      342
469.51/469.63	c  469s |      17 |   371285 |   215832 |    21425     20 |      639 |      342
471.51/471.68	c  471s |      17 |   373858 |   216832 |    21425     20 |      639 |      342
473.51/473.69	c  473s |      17 |   375336 |   217732 |    21425     20 |      639 |      342
475.61/475.72	c  475s |      17 |   376653 |   218732 |    21425     20 |      639 |      342
477.71/477.83	c  477s |      17 |   377811 |   219732 |    21425     20 |      639 |      342
479.81/479.97	c  479s |      17 |   378839 |   220632 |    21425     20 |      639 |      342
482.01/482.15	c  481s |      17 |   380028 |   221632 |    21425     20 |      639 |      342
484.02/484.17	c  483s |      17 |   381060 |   222532 |    21425     20 |      639 |      342
486.12/486.21	c  485s |      17 |   381986 |   223332 |    21425     20 |      639 |      342
488.21/488.30	c  488s |      17 |   382782 |   224032 |    21425     21 |      639 |      342
490.32/490.46	c  490s |      17 |   383806 |   224932 |    21425     21 |      639 |      342
492.62/492.75	c  492s |      17 |   384767 |   225832 |    21425     21 |      639 |      342
494.93/495.02	c  494s |      17 |   385809 |   226732 |    21425     21 |      639 |      342
497.02/497.13	c  496s |      17 |   386716 |   227532 |    21425     21 |      639 |      342
499.22/499.36	c  499s |      17 |   387593 |   228332 |    21425     21 |      639 |      342
501.53/501.69	c  501s |      17 |   388489 |   229132 |    21425     21 |      639 |      342
503.83/503.98	c  503s |      17 |   389247 |   229832 |    21425     21 |      639 |      342
506.12/506.21	c  505s |      17 |   390036 |   230532 |    21425     21 |      639 |      342
508.23/508.32	c  508s |      17 |   390785 |   231232 |    21425     21 |      639 |      342
510.43/510.57	c  510s |      17 |   391552 |   231932 |    21425     21 |      639 |      342
512.63/512.71	c  512s |      17 |   392232 |   232532 |    21425     21 |      639 |      342
514.91/515.06	c  514s |      17 |   392904 |   233132 |    21425     21 |      639 |      342
517.02/517.12	c  516s |      17 |   393835 |   233832 |    21425     21 |      639 |      342
519.12/519.28	c  519s |      17 |   395152 |   234732 |    21425     21 |      639 |      342
521.32/521.48	c  521s |      17 |   396099 |   235532 |    21425     21 |      639 |      342
523.52/523.66	c  523s |      17 |   396988 |   236232 |    21425     22 |      639 |      342
525.51/525.67	c  525s |      17 |   398659 |   237232 |    21425     22 |      639 |      342
527.61/527.70	c  527s |      17 |   399806 |   238232 |    21425     22 |      639 |      342
529.81/529.91	c  529s |      17 |   400862 |   239132 |    21425     22 |      639 |      342
531.91/532.05	c  531s |      17 |   402109 |   240132 |    21425     22 |      639 |      342
534.11/534.20	c  533s |      17 |   403069 |   240932 |    21425     22 |      639 |      342
536.21/536.34	c  536s |      17 |   404032 |   241732 |    21425     22 |      639 |      342
538.41/538.56	c  538s |      17 |   405009 |   242532 |    21425     22 |      639 |      342
540.51/540.62	c  540s |      17 |   405931 |   243232 |    21425     22 |      639 |      342
542.71/542.85	c  542s |      17 |   406926 |   244032 |    21425     22 |      639 |      342
544.91/545.02	c  544s |      17 |   407742 |   244732 |    21425     22 |      639 |      342
546.91/547.02	c  546s |      17 |   408439 |   245332 |    21425     22 |      639 |      342
548.92/549.03	c  548s |      17 |   409126 |   245932 |    21425     22 |      639 |      342
551.02/551.12	c  550s |      17 |   409850 |   246532 |    21425     22 |      639 |      342
553.11/553.23	c  552s |      17 |   410567 |   247132 |    21425     22 |      639 |      342
555.31/555.50	c  555s |      17 |   411252 |   247732 |    21425     22 |      639 |      342
558.01/558.12	c  557s |      17 |   411983 |   248332 |    21425     23 |      639 |      342
560.01/560.13	c  559s |      17 |   413011 |   249132 |    21425     23 |      639 |      342
562.02/562.17	c  561s |      17 |   413866 |   249832 |    21425     23 |      639 |      342
564.22/564.40	c  564s |      17 |   414824 |   250632 |    21425     23 |      639 |      342
566.41/566.55	c  566s |      17 |   415664 |   251332 |    21425     23 |      639 |      342
568.72/568.81	c  568s |      17 |   416356 |   251932 |    21425     23 |      639 |      342
571.01/571.14	c  570s |      17 |   417044 |   252532 |    21425     23 |      639 |      342
573.11/573.26	c  573s |      17 |   417700 |   253132 |    21425     23 |      639 |      342
575.40/575.52	c  575s |      17 |   418501 |   253832 |    21425     23 |      639 |      342
577.41/577.57	c  577s |      17 |   419192 |   254432 |    21425     23 |      639 |      342
579.71/579.83	c  579s |      17 |   419906 |   255032 |    21425     23 |      639 |      342
581.91/582.04	c  581s |      17 |   420462 |   255532 |    21425     23 |      639 |      342
583.90/584.08	c  583s |      17 |   421092 |   256032 |    21425     23 |      639 |      342
586.10/586.29	c  586s |      17 |   421798 |   256632 |    21425     23 |      639 |      342
588.30/588.47	c  588s |      17 |   422484 |   257232 |    21425     23 |      639 |      342
590.50/590.65	c  590s |      17 |   423053 |   257732 |    21425     23 |      639 |      342
592.81/592.91	c  592s |      17 |   423788 |   258332 |    21425     23 |      639 |      342
594.90/595.05	c  594s |      17 |   424461 |   258932 |    21425     23 |      639 |      342
597.00/597.12	c  596s |      17 |   425136 |   259532 |    21425     23 |      639 |      342
599.00/599.19	c  598s |      17 |   425739 |   260032 |    21425     23 |      639 |      342
601.20/601.32	c  601s |      17 |   426335 |   260532 |    21425     24 |      639 |      342
603.30/603.45	c  603s |      17 |   427369 |   261332 |    21425     24 |      639 |      342
605.40/605.59	c  605s |      17 |   428430 |   262232 |    21425     24 |      639 |      342
607.60/607.75	c  607s |      17 |   429392 |   263032 |    21425     24 |      639 |      342
609.80/609.96	c  609s |      17 |   430179 |   263732 |    21425     24 |      639 |      342
611.79/611.98	c  611s |      17 |   431116 |   264532 |    21425     24 |      639 |      342
613.99/614.14	c  613s |      17 |   432114 |   265332 |    21425     24 |      639 |      342
616.09/616.27	c  616s |      17 |   432919 |   266032 |    21425     24 |      639 |      342
618.10/618.27	c  618s |      17 |   433612 |   266632 |    21425     24 |      639 |      342
620.40/620.52	c  620s |      17 |   434578 |   267432 |    21425     24 |      639 |      342
622.50/622.65	c  622s |      17 |   435418 |   268132 |    21425     24 |      639 |      342
624.49/624.67	c  624s |      17 |   436217 |   268832 |    21425     24 |      639 |      342
626.79/626.96	c  626s |      17 |   437010 |   269532 |    21425     24 |      639 |      342
628.99/629.17	c  628s |      17 |   437846 |   270232 |    21425     24 |      639 |      342
631.30/631.43	c  631s |      17 |   438532 |   270832 |    21425     24 |      639 |      342
633.60/633.76	c  633s |      17 |   439326 |   271532 |    21425     24 |      639 |      342
635.70/635.83	c  635s |      17 |   440001 |   272132 |    21425     24 |      639 |      342
637.79/637.96	c  637s |      17 |   440659 |   272732 |    21425     24 |      639 |      342
640.10/640.23	c  639s |      17 |   441329 |   273332 |    21425     25 |      639 |      342
642.19/642.38	c  642s |      17 |   442083 |   274032 |    21425     25 |      639 |      342
644.29/644.42	c  644s |      17 |   442916 |   274732 |    21425     25 |      639 |      342
646.49/646.69	c  646s |      17 |   443808 |   275532 |    21425     25 |      639 |      342
648.59/648.77	c  648s |      17 |   444574 |   276232 |    21425     25 |      639 |      342
650.69/650.87	c  650s |      17 |   445208 |   276832 |    21425     25 |      639 |      342
652.88/653.09	c  652s |      17 |   445995 |   277532 |    21425     25 |      639 |      342
655.18/655.34	c  655s |      17 |   446793 |   278232 |    21425     25 |      639 |      342
657.48/657.62	c  657s |      17 |   447586 |   278932 |    21425     25 |      639 |      342
659.58/659.74	c  659s |      17 |   448293 |   279532 |    21425     25 |      639 |      342
661.68/661.81	c  661s |      17 |   448950 |   280132 |    21425     25 |      639 |      342
663.78/663.91	c  663s |      17 |   449629 |   280732 |    21425     25 |      639 |      342
666.18/666.30	c  666s |      17 |   450289 |   281332 |    21425     25 |      639 |      342
668.18/668.38	c  668s |      17 |   450816 |   281832 |    21425     25 |      639 |      342
670.38/670.50	c  670s |      17 |   451363 |   282332 |    21425     25 |      639 |      342
672.78/672.95	c  672s |      17 |   452024 |   282932 |    21425     25 |      639 |      342
674.98/675.11	c  674s |      17 |   452599 |   283432 |    21425     25 |      639 |      342
677.08/677.28	c  677s |      17 |   453174 |   283932 |    21425     25 |      639 |      342
679.39/679.51	c  679s |      17 |   453732 |   284432 |    21425     25 |      639 |      342
681.59/681.76	c  681s |      17 |   454277 |   284932 |    21425     25 |      639 |      342
683.79/683.99	c  683s |      17 |   454701 |   285332 |    21425     26 |      639 |      342
685.89/686.02	c  685s |      17 |   455365 |   285932 |    21425     26 |      639 |      342
688.09/688.20	c  687s |      17 |   456152 |   286632 |    21425     26 |      639 |      342
690.29/690.46	c  690s |      17 |   456943 |   287332 |    21425     26 |      639 |      342
692.59/692.74	c  692s |      17 |   457700 |   288032 |    21425     26 |      639 |      342
694.59/694.75	c  694s |      17 |   458362 |   288632 |    21425     26 |      639 |      342
696.78/696.90	c  696s |      17 |   459007 |   289232 |    21425     26 |      639 |      342
698.88/699.06	c  698s |      17 |   459649 |   289832 |    21425     26 |      639 |      342
700.98/701.18	c  700s |      17 |   460307 |   290432 |    21425     26 |      639 |      342
703.28/703.44	c  703s |      17 |   461043 |   291032 |    21425     26 |      639 |      342
705.28/705.47	c  705s |      17 |   461724 |   291632 |    21425     26 |      639 |      342
707.58/707.74	c  707s |      17 |   462390 |   292232 |    21425     26 |      639 |      342
709.58/709.77	c  709s |      17 |   462926 |   292732 |    21425     26 |      639 |      342
711.59/711.80	c  711s |      17 |   463463 |   293232 |    21425     26 |      639 |      342
714.08/714.20	c  713s |      17 |   464113 |   293832 |    21425     26 |      639 |      342
716.18/716.32	c  716s |      17 |   464648 |   294332 |    23568     26 |      639 |      342
718.38/718.51	c  718s |      17 |   465179 |   294832 |    23568     26 |      639 |      342
720.49/720.62	c  720s |      17 |   465733 |   295332 |    23568     26 |      639 |      342
722.47/722.68	c  722s |      17 |   466299 |   295832 |    23568     26 |      639 |      342
723.97/724.19	c  723s |      18 |   466768 |   296252 |    23568     26 |      639 |      342
726.07/726.21	c  725s |      18 |   472906 |   298052 |    23568     26 |      639 |      342
728.08/728.23	c  727s |      18 |   480279 |   300052 |    23568     27 |      639 |      342
730.07/730.29	c  730s |      18 |   483479 |   301952 |    23568     27 |      639 |      342
732.27/732.46	c  732s |      18 |   485695 |   303552 |    23568     27 |      639 |      342
734.37/734.54	c  734s |      18 |   489932 |   305152 |    23568     27 |      639 |      342
736.47/736.65	c  736s |      18 |   495171 |   307152 |    23568     27 |      639 |      342
738.47/738.67	c  738s |      18 |   497831 |   308652 |    23568     27 |      639 |      342
740.57/740.73	c  740s |      18 |   501080 |   310252 |    23568     27 |      639 |      342
742.57/742.75	c  742s |      18 |   504033 |   311652 |    23568     27 |      639 |      342
744.68/744.87	c  744s |      18 |   506764 |   313052 |    23568     28 |      639 |      342
746.78/746.91	c  746s |      18 |   508693 |   314452 |    23568     28 |      639 |      342
748.77/748.99	c  748s |      18 |   510070 |   315652 |    23568     28 |      639 |      342
750.86/751.00	c  750s |      18 |   511189 |   316652 |    23568     28 |      639 |      342
752.96/753.17	c  752s |      18 |   512296 |   317652 |    23568     28 |      639 |      342
755.16/755.37	c  755s |      18 |   513310 |   318552 |    23568     28 |      639 |      342
757.46/757.61	c  757s |      18 |   514323 |   319452 |    23568     28 |      639 |      342
759.56/759.77	c  759s |      18 |   515369 |   320352 |    23568     28 |      639 |      342
761.57/761.80	c  761s |      18 |   516257 |   321152 |    23568     28 |      639 |      342
763.97/764.14	c  763s |      18 |   517134 |   321952 |    23568     28 |      639 |      342
766.17/766.34	c  766s |      18 |   517869 |   322652 |    23568     28 |      639 |      342
768.37/768.58	c  768s |      18 |   518623 |   323352 |    23568     28 |      639 |      342
770.67/770.87	c  770s |      18 |   519374 |   324052 |    23568     28 |      639 |      342
772.97/773.15	c  772s |      18 |   520171 |   324752 |    23568     28 |      639 |      342
774.97/775.16	c  774s |      18 |   521171 |   325552 |    23568     28 |      639 |      342
777.17/777.37	c  777s |      18 |   522004 |   326252 |    23568     29 |      639 |      342
779.17/779.37	c  779s |      18 |   522951 |   327052 |    23568     29 |      639 |      342
781.36/781.57	c  781s |      18 |   525090 |   328252 |    23568     29 |      639 |      342
783.46/783.66	c  783s |      18 |   526223 |   329152 |    23568     29 |      639 |      342
785.46/785.69	c  785s |      18 |   527461 |   330052 |    23568     29 |      639 |      342
787.66/787.85	c  787s |      18 |   528666 |   330952 |    23568     29 |      639 |      342
789.67/789.88	c  789s |      18 |   529722 |   331752 |    23568     29 |      639 |      342
791.76/791.93	c  791s |      18 |   530645 |   332452 |    23568     29 |      639 |      342
793.96/794.20	c  793s |      18 |   532040 |   333352 |    23568     29 |      639 |      342
796.06/796.24	c  795s |      18 |   532901 |   334052 |    23568     29 |      639 |      342
798.16/798.37	c  798s |      18 |   533766 |   334752 |    23568     29 |      639 |      342
800.26/800.46	c  800s |      18 |   534859 |   335552 |    23568     29 |      639 |      342
802.45/802.64	c  802s |      18 |   535571 |   336152 |    23568     29 |      639 |      342
804.45/804.66	c  804s |      18 |   536458 |   336852 |    23568     29 |      639 |      342
806.55/806.78	c  806s |      18 |   537732 |   337752 |    23568     29 |      639 |      342
808.65/808.82	c  808s |      18 |   538947 |   338652 |    23568     29 |      639 |      342
810.75/810.94	c  810s |      18 |   539750 |   339252 |    23568     30 |      639 |      342
812.86/813.06	c  812s |      18 |   540801 |   340052 |    23568     30 |      639 |      342
815.15/815.38	c  815s |      18 |   541806 |   340852 |    23568     30 |      639 |      342
817.35/817.52	c  817s |      18 |   542695 |   341552 |    23568     30 |      639 |      342
819.55/819.77	c  819s |      18 |   543709 |   342352 |    23568     30 |      639 |      342
821.56/821.80	c  821s |      18 |   544424 |   342952 |    23568     30 |      639 |      342
823.65/823.81	c  823s |      18 |   545805 |   343852 |    23568     30 |      639 |      342
825.75/825.92	c  825s |      18 |   546890 |   344652 |    23568     30 |      639 |      342
827.95/828.17	c  827s |      18 |   547889 |   345452 |    23568     30 |      639 |      342
830.15/830.38	c  830s |      18 |   549006 |   346252 |    23568     30 |      639 |      342
832.45/832.67	c  832s |      18 |   549900 |   346952 |    23568     30 |      639 |      342
834.86/835.06	c  834s |      18 |   550821 |   347652 |    23568     30 |      639 |      342
836.96/837.17	c  836s |      18 |   551508 |   348252 |    23568     30 |      639 |      342
839.16/839.38	c  839s |      18 |   552271 |   348852 |    23568     30 |      639 |      342
841.15/841.39	c  841s |      18 |   553060 |   349452 |    23568     30 |      639 |      342
843.55/843.76	c  843s |      18 |   553919 |   350152 |    23568     30 |      639 |      342
845.55/845.78	c  845s |      18 |   554521 |   350652 |    23568     30 |      639 |      342
847.85/848.05	c  847s |      18 |   555243 |   351252 |    23568     30 |      639 |      342
850.15/850.39	c  850s |      18 |   556141 |   351952 |    23568     30 |      639 |      342
852.35/852.58	c  852s |      18 |   556620 |   352352 |    23568     31 |      639 |      342
854.55/854.75	c  854s |      18 |   557350 |   352952 |    23568     31 |      639 |      342
856.75/856.96	c  856s |      18 |   558161 |   353652 |    23568     31 |      639 |      342
858.84/859.06	c  858s |      18 |   558984 |   354352 |    23568     31 |      639 |      342
861.04/861.30	c  861s |      18 |   559803 |   355052 |    23568     31 |      639 |      342
863.24/863.47	c  863s |      18 |   560508 |   355652 |    23568     31 |      639 |      342
865.44/865.68	c  865s |      18 |   561202 |   356252 |    23568     31 |      639 |      342
867.75/867.98	c  867s |      18 |   561906 |   356852 |    23568     31 |      639 |      342
869.94/870.18	c  869s |      18 |   562632 |   357452 |    23568     31 |      639 |      342
872.03/872.25	c  871s |      18 |   563178 |   357952 |    23568     31 |      639 |      342
874.13/874.34	c  874s |      18 |   563925 |   358552 |    23568     31 |      639 |      342
876.33/876.58	c  876s |      18 |   564740 |   359252 |    23568     31 |      639 |      342
878.43/878.62	c  878s |      18 |   565480 |   359852 |    23568     31 |      639 |      342
880.73/880.98	c  880s |      18 |   566184 |   360452 |    23568     31 |      639 |      342
883.03/883.25	c  882s |      18 |   566931 |   361052 |    23568     31 |      639 |      342
885.44/885.66	c  885s |      18 |   567648 |   361652 |    23568     31 |      639 |      342
887.54/887.80	c  887s |      18 |   568413 |   362252 |    23568     31 |      639 |      342
889.74/889.98	c  889s |      18 |   569128 |   362852 |    23568     31 |      639 |      342
891.72/891.99	c  891s |      18 |   569692 |   363352 |    23568     31 |      639 |      342
893.82/894.08	c  893s |      18 |   570270 |   363852 |    23568     31 |      639 |      342
896.13/896.31	c  896s |      18 |   570841 |   364352 |    23568     31 |      639 |      342
898.33/898.52	c  898s |      18 |   571405 |   364852 |    23568     31 |      639 |      342
900.33/900.56	c  900s |      18 |   571973 |   365352 |    23568     31 |      639 |      342
902.53/902.78	c  902s |      18 |   572459 |   365752 |    23568     32 |      639 |      342
904.63/904.82	c  904s |      18 |   573212 |   366352 |    23568     32 |      639 |      342
906.73/906.90	c  906s |      18 |   573956 |   366952 |    23568     32 |      639 |      342
908.72/908.97	c  908s |      18 |   574779 |   367652 |    23568     32 |      639 |      342
910.92/911.10	c  910s |      18 |   575600 |   368352 |    23568     32 |      639 |      342
913.02/913.25	c  913s |      18 |   576313 |   368952 |    23568     32 |      639 |      342
915.13/915.38	c  915s |      18 |   577043 |   369552 |    23568     32 |      639 |      342
917.52/917.71	c  917s |      18 |   577731 |   370152 |    23568     32 |      639 |      342
919.72/919.96	c  919s |      18 |   578415 |   370752 |    23568     32 |      639 |      342
921.73/921.98	c  921s |      18 |   578954 |   371252 |    23568     32 |      639 |      342
923.83/924.02	c  923s |      18 |   579550 |   371752 |    23568     32 |      639 |      342
925.82/926.03	c  925s |      18 |   580125 |   372252 |    23568     32 |      639 |      342
927.92/928.17	c  927s |      18 |   580755 |   372752 |    23568     32 |      639 |      342
930.02/930.28	c  930s |      18 |   581343 |   373252 |    23568     32 |      639 |      342
932.22/932.41	c  932s |      18 |   581791 |   373652 |    23568     32 |      639 |      342
934.52/934.72	c  934s |      18 |   582482 |   374252 |    23568     32 |      639 |      342
936.52/936.78	c  936s |      18 |   583028 |   374752 |    23568     32 |      639 |      342
939.02/939.29	c  939s |      18 |   583624 |   375252 |    23568     32 |      639 |      342
941.31/941.55	c  941s |      18 |   584208 |   375752 |    23568     32 |      639 |      342
943.72/943.95	c  943s |      18 |   584816 |   376252 |    23568     32 |      639 |      342
945.82/946.03	c  945s |      18 |   585447 |   376752 |    23568     32 |      639 |      342
947.91/948.11	c  947s |      18 |   586036 |   377252 |    23568     32 |      639 |      342
950.01/950.23	c  949s |      18 |   586648 |   377752 |    23568     32 |      639 |      342
952.30/952.56	c  952s |      18 |   587234 |   378252 |    23568     32 |      639 |      342
955.30/955.58	c  955s |      18 |   587800 |   378752 |    23568     33 |      639 |      342
957.40/957.63	c  957s |      18 |   588372 |   379252 |    23568     33 |      639 |      342
959.60/959.87	c  959s |      18 |   589086 |   379852 |    23568     33 |      639 |      342
961.90/962.13	c  961s |      18 |   589957 |   380552 |    23568     33 |      639 |      342
964.20/964.49	c  964s |      18 |   590887 |   381252 |    23568     33 |      639 |      342
966.30/966.53	c  966s |      18 |   591575 |   381852 |    23568     33 |      639 |      342
968.50/968.76	c  968s |      18 |   592316 |   382452 |    23568     33 |      639 |      342
970.80/971.08	c  970s |      18 |   593008 |   383052 |    23568     33 |      639 |      342
973.20/973.43	c  973s |      18 |   593708 |   383652 |    23568     33 |      639 |      342
975.50/975.72	c  975s |      18 |   594296 |   384152 |    23568     33 |      639 |      342
977.59/977.83	c  977s |      18 |   594875 |   384652 |    23568     33 |      639 |      342
979.69/979.90	c  979s |      18 |   595467 |   385152 |    23568     33 |      639 |      342
981.89/982.16	c  981s |      18 |   596171 |   385752 |    23568     33 |      639 |      342
984.40/984.70	c  984s |      18 |   596733 |   386252 |    23568     33 |      639 |      342
986.50/986.71	c  986s |      18 |   597318 |   386752 |    23568     33 |      639 |      342
988.59/988.80	c  988s |      18 |   597744 |   387152 |    23568     33 |      639 |      342
990.69/990.90	c  990s |      18 |   598312 |   387652 |    23568     33 |      639 |      342
992.88/993.18	c  992s |      18 |   598860 |   388152 |    23568     33 |      639 |      342
995.18/995.40	c  995s |      18 |   599407 |   388652 |    23568     33 |      639 |      342
997.38/997.64	c  997s |      18 |   599847 |   389052 |    23568     33 |      639 |      342
999.38/999.67	c  999s |      18 |   600284 |   389452 |    23568     33 |      639 |      342
1001.98/1002.26	c 1002s |      18 |   600880 |   389952 |    23568     33 |      639 |      342
1004.18/1004.48	c 1004s |      18 |   601329 |   390352 |    23568     33 |      639 |      342
1006.47/1006.72	c 1006s |      18 |   601755 |   390752 |    23568     33 |      639 |      342
1008.87/1009.14	c 1008s |      18 |   602330 |   391252 |    23568     33 |      639 |      342
1010.87/1011.18	c 1010s |      18 |   602915 |   391752 |    23568     33 |      639 |      342
1013.57/1013.87	c 1013s |      18 |   603475 |   392252 |    23568     34 |      639 |      342
1015.97/1016.25	c 1015s |      18 |   604190 |   392852 |    23568     34 |      639 |      342
1018.37/1018.63	c 1018s |      18 |   604874 |   393452 |    23568     34 |      639 |      342
1020.57/1020.81	c 1020s |      18 |   605583 |   394052 |    23568     34 |      639 |      342
1022.56/1022.86	c 1022s |      18 |   606166 |   394552 |    23568     34 |      639 |      342
1024.66/1024.93	c 1024s |      18 |   606740 |   395052 |    23568     34 |      639 |      342
1026.86/1027.13	c 1026s |      18 |   607299 |   395552 |    23568     34 |      639 |      342
1029.16/1029.49	c 1029s |      18 |   607838 |   396052 |    23568     34 |      639 |      342
1031.67/1031.97	c 1031s |      18 |   608404 |   396552 |    23568     34 |      639 |      342
1033.96/1034.29	c 1034s |      18 |   608955 |   397052 |    23568     34 |      639 |      342
1036.07/1036.33	c 1036s |      18 |   609389 |   397452 |    23568     34 |      639 |      342
1038.36/1038.64	c 1038s |      18 |   609970 |   397952 |    23568     34 |      639 |      342
1040.37/1040.67	c 1040s |      18 |   610548 |   398452 |    23568     34 |      639 |      342
1042.75/1043.08	c 1042s |      18 |   611241 |   399052 |    23568     34 |      639 |      342
1045.05/1045.38	c 1045s |      18 |   611839 |   399552 |    23568     34 |      639 |      342
1047.25/1047.54	c 1047s |      18 |   612428 |   400052 |    23568     34 |      639 |      342
1049.75/1050.02	c 1049s |      18 |   612979 |   400552 |    23568     34 |      639 |      342
1052.15/1052.41	c 1052s |      18 |   613556 |   401052 |    23568     34 |      639 |      342
1054.35/1054.67	c 1054s |      18 |   614174 |   401552 |    23568     34 |      639 |      342
1056.45/1056.77	c 1056s |      18 |   614734 |   402052 |    23568     34 |      639 |      342
1058.95/1059.27	c 1059s |      18 |   615314 |   402552 |    23568     34 |      639 |      342
1061.14/1061.40	c 1061s |      18 |   615931 |   403052 |    23568     34 |      639 |      342
1063.24/1063.52	c 1063s |      18 |   616688 |   403652 |    23568     34 |      639 |      342
1065.53/1065.82	c 1065s |      18 |   617459 |   404252 |    23568     34 |      639 |      342
1067.53/1067.84	c 1067s |      18 |   618074 |   404752 |    23568     34 |      639 |      342
1070.63/1070.93	c 1070s |      18 |   618794 |   405352 |    23568     35 |      639 |      342
1072.82/1073.18	c 1072s |      18 |   619666 |   406052 |    23568     35 |      639 |      342
1075.02/1075.35	c 1075s |      18 |   620647 |   406852 |    23568     35 |      639 |      342
1077.32/1077.69	c 1077s |      18 |   621343 |   407452 |    23568     35 |      639 |      342
1079.72/1080.08	c 1079s |      18 |   622051 |   408052 |    23568     35 |      639 |      342
1082.02/1082.31	c 1082s |      18 |   622597 |   408552 |    23568     35 |      639 |      342
1084.02/1084.34	c 1084s |      18 |   623062 |   408952 |    23568     35 |      639 |      342
1086.32/1086.60	c 1086s |      18 |   623636 |   409452 |    23568     35 |      639 |      342
1088.73/1089.06	c 1088s |      18 |   624221 |   409952 |    23568     35 |      639 |      342
1090.82/1091.14	c 1090s |      18 |   624673 |   410352 |    23568     35 |      639 |      342
1092.92/1093.30	c 1093s |      18 |   625102 |   410752 |    23568     35 |      639 |      342
1095.22/1095.51	c 1095s |      18 |   625679 |   411252 |    23568     35 |      639 |      342
1097.41/1097.77	c 1097s |      18 |   626243 |   411752 |    23568     35 |      639 |      342
1099.82/1100.19	c 1099s |      18 |   626810 |   412252 |    23568     35 |      639 |      342
1101.92/1102.30	c 1102s |      18 |   627255 |   412652 |    23568     35 |      639 |      342
1104.41/1104.73	c 1104s |      18 |   627820 |   413152 |    23568     35 |      639 |      342
1106.81/1107.17	c 1106s |      18 |   628418 |   413652 |    23568     35 |      639 |      342
1108.80/1109.18	c 1108s |      18 |   628889 |   414052 |    23568     35 |      639 |      342
1111.30/1111.67	c 1111s |      18 |   629449 |   414552 |    23568     35 |      639 |      342
1113.30/1113.68	c 1113s |      18 |   629895 |   414952 |    23568     35 |      639 |      342
1115.40/1115.73	c 1115s |      18 |   630365 |   415352 |    23568     35 |      639 |      342
1117.50/1117.89	c 1117s |      18 |   630851 |   415752 |    23568     35 |      639 |      342
1119.61/1119.94	c 1119s |      18 |   631506 |   416252 |    23568     35 |      639 |      342
1121.60/1121.98	c 1121s |      18 |   632174 |   416752 |    23568     35 |      639 |      342
1124.01/1124.33	c 1124s |      18 |   632924 |   417352 |    23568     35 |      639 |      342
1126.21/1126.52	c 1126s |      18 |   633526 |   417852 |    23568     35 |      639 |      342
1128.30/1128.66	c 1128s |      18 |   634252 |   418452 |    23568     35 |      639 |      342
1130.40/1130.78	c 1130s |      18 |   634714 |   418852 |    23568     36 |      639 |      342
1132.59/1133.00	c 1132s |      18 |   635379 |   419452 |    23568     36 |      639 |      342
1135.09/1135.40	c 1135s |      18 |   636078 |   420052 |    23568     36 |      639 |      342
1137.20/1137.53	c 1137s |      18 |   636633 |   420552 |    23568     36 |      639 |      342
1139.48/1139.81	c 1139s |      18 |   637344 |   421152 |    23568     36 |      639 |      342
1141.49/1141.83	c 1141s |      18 |   638074 |   421752 |    23568     36 |      639 |      342
1143.79/1144.11	c 1143s |      18 |   638779 |   422352 |    23568     36 |      639 |      342
1145.89/1146.27	c 1146s |      18 |   639366 |   422852 |    23568     36 |      639 |      342
1147.98/1148.35	c 1148s |      18 |   640122 |   423452 |    23568     36 |      639 |      342
1150.29/1150.62	c 1150s |      18 |   640968 |   424152 |    23568     36 |      639 |      342
1152.37/1152.70	c 1152s |      18 |   641742 |   424752 |    23568     36 |      639 |      342
1154.47/1154.88	c 1154s |      18 |   642450 |   425352 |    23568     36 |      639 |      342
1156.57/1156.95	c 1156s |      18 |   643457 |   426152 |    23568     36 |      639 |      342
1158.77/1159.19	c 1158s |      18 |   644323 |   426852 |    23568     36 |      639 |      342
1161.08/1161.47	c 1161s |      18 |   645059 |   427452 |    23568     36 |      639 |      342
1163.17/1163.52	c 1163s |      18 |   645654 |   427952 |    23568     36 |      639 |      342
1165.27/1165.61	c 1165s |      18 |   646248 |   428452 |    23568     36 |      639 |      342
1167.47/1167.88	c 1167s |      18 |   646822 |   428952 |    23568     36 |      639 |      342
1169.57/1169.93	c 1169s |      18 |   647283 |   429352 |    23568     36 |      639 |      342
1171.67/1172.09	c 1171s |      18 |   648006 |   429952 |    23568     36 |      639 |      342
1174.17/1174.56	c 1174s |      18 |   648601 |   430452 |    23568     36 |      639 |      342
1176.27/1176.62	c 1176s |      18 |   649087 |   430852 |    23568     36 |      639 |      342
1178.26/1178.69	c 1178s |      18 |   649590 |   431252 |    23568     36 |      639 |      342
1180.76/1181.12	c 1180s |      18 |   650191 |   431752 |    23568     36 |      639 |      342
1182.96/1183.36	c 1183s |      18 |   650525 |   432052 |    23568     37 |      639 |      342
1185.06/1185.42	c 1185s |      18 |   650989 |   432452 |    23568     37 |      639 |      342
1187.06/1187.43	c 1187s |      18 |   651424 |   432852 |    23568     37 |      639 |      342
1189.26/1189.61	c 1189s |      18 |   651991 |   433352 |    23568     37 |      639 |      342
1191.35/1191.74	c 1191s |      18 |   652714 |   433952 |    23568     37 |      639 |      342
1193.35/1193.78	c 1193s |      18 |   653284 |   434452 |    23568     37 |      639 |      342
1195.36/1195.80	c 1195s |      18 |   653849 |   434952 |    23568     37 |      639 |      342
1197.66/1198.01	c 1197s |      18 |   654407 |   435452 |    23568     37 |      639 |      342
1199.65/1200.04	c 1199s |      18 |   654965 |   435952 |    23568     37 |      639 |      342
1202.05/1202.41	c 1202s |      18 |   655655 |   436552 |    23568     37 |      639 |      342
1204.15/1204.55	c 1204s |      18 |   656212 |   437052 |    23568     37 |      639 |      342
1206.45/1206.87	c 1206s |      18 |   656764 |   437552 |    23568     37 |      639 |      342
1208.44/1208.87	c 1208s |      18 |   657222 |   437952 |    23568     37 |      639 |      342
1210.94/1211.33	c 1211s |      18 |   657771 |   438452 |    23568     37 |      639 |      342
1213.34/1213.75	c 1213s |      18 |   658356 |   438952 |    23568     37 |      639 |      342
1215.74/1216.11	c 1215s |      18 |   658933 |   439452 |    23568     37 |      639 |      342
1218.24/1218.60	c 1218s |      18 |   659490 |   439952 |    23568     37 |      639 |      342
1220.43/1220.80	c 1220s |      18 |   659933 |   440352 |    23568     37 |      639 |      342
1222.43/1222.81	c 1222s |      18 |   660775 |   440952 |    23568     37 |      639 |      342
1224.63/1225.10	c 1224s |      18 |   661556 |   441552 |    25925     37 |      639 |      342
1226.93/1227.38	c 1227s |      18 |   662332 |   442152 |    25925     37 |      639 |      342
1229.03/1229.44	c 1229s |      18 |   662918 |   442652 |    25925     37 |      639 |      342
1231.12/1231.56	c 1231s |      18 |   663505 |   443152 |    25925     37 |      639 |      342
1233.42/1233.82	c 1233s |      18 |   664103 |   443652 |    25925     37 |      639 |      342
1235.62/1236.09	c 1235s |      18 |   664739 |   444152 |    25925     37 |      639 |      342
1237.23/1237.68	c 1237s |      19 |   665168 |   444482 |    25925     37 |      639 |      342
1239.33/1239.80	c 1239s |      19 |   667592 |   445482 |    25925     37 |      639 |      342
1242.01/1242.41	c 1242s |      19 |   668935 |   446482 |    25925     38 |      639 |      342
1244.01/1244.42	c 1244s |      19 |   670579 |   447682 |    25925     38 |      639 |      342
1246.02/1246.46	c 1246s |      19 |   671779 |   448682 |    25925     38 |      639 |      342
1248.01/1248.48	c 1248s |      19 |   673466 |   449782 |    25925     38 |      639 |      342
1250.11/1250.53	c 1250s |      19 |   675501 |   451082 |    25925     38 |      639 |      342
1252.21/1252.65	c 1252s |      19 |   677747 |   452382 |    25925     38 |      639 |      342
1254.31/1254.71	c 1254s |      19 |   680792 |   454082 |    25925     38 |      639 |      342
1256.41/1256.89	c 1256s |      19 |   682483 |   455182 |    25925     38 |      639 |      342
1258.71/1259.10	c 1258s |      19 |   683390 |   455982 |    25925     38 |      639 |      342
1260.71/1261.17	c 1260s |      19 |   684316 |   456782 |    25925     38 |      639 |      342
1262.91/1263.37	c 1263s |      19 |   684862 |   457282 |    25925     38 |      639 |      342
1265.11/1265.51	c 1265s |      19 |   686252 |   458282 |    25925     38 |      639 |      342
1267.30/1267.73	c 1267s |      19 |   687109 |   458982 |    25925     38 |      639 |      342
1269.30/1269.73	c 1269s |      19 |   688121 |   459782 |    25925     38 |      639 |      342
1271.60/1272.08	c 1271s |      19 |   689153 |   460582 |    25925     38 |      639 |      342
1273.90/1274.31	c 1274s |      19 |   689963 |   461282 |    25925     38 |      639 |      342
1275.90/1276.39	c 1276s |      19 |   690562 |   461782 |    25925     39 |      639 |      342
1277.99/1278.48	c 1278s |      19 |   691554 |   462582 |    25925     39 |      639 |      342
1280.10/1280.53	c 1280s |      19 |   692404 |   463282 |    25925     39 |      639 |      342
1282.39/1282.84	c 1282s |      19 |   693167 |   463982 |    25925     39 |      639 |      342
1284.50/1284.95	c 1284s |      19 |   693875 |   464582 |    25925     39 |      639 |      342
1286.49/1286.95	c 1286s |      19 |   694449 |   465082 |    25925     39 |      639 |      342
1288.49/1288.95	c 1288s |      19 |   695037 |   465582 |    25925     39 |      639 |      342
1290.59/1291.06	c 1290s |      19 |   695587 |   466082 |    25925     39 |      639 |      342
1292.98/1293.45	c 1293s |      19 |   696137 |   466582 |    25925     39 |      639 |      342
1295.18/1295.64	c 1295s |      19 |   696691 |   467082 |    25925     39 |      639 |      342
1297.59/1298.01	c 1297s |      19 |   697245 |   467582 |    25925     39 |      639 |      342
1299.68/1300.16	c 1299s |      19 |   697810 |   468082 |    25925     39 |      639 |      342
1301.87/1302.33	c 1302s |      19 |   698395 |   468582 |    25925     39 |      639 |      342
1304.19/1304.65	c 1304s |      19 |   698928 |   469082 |    25925     39 |      639 |      342
1306.39/1306.81	c 1306s |      19 |   699485 |   469582 |    25925     39 |      639 |      342
1308.59/1309.06	c 1308s |      19 |   700069 |   470082 |    25925     39 |      639 |      342
1310.79/1311.28	c 1311s |      19 |   700643 |   470582 |    25925     39 |      639 |      342
1312.87/1313.34	c 1313s |      19 |   701211 |   471082 |    25925     39 |      639 |      342
1315.28/1315.76	c 1315s |      19 |   701781 |   471582 |    25925     39 |      639 |      342
1317.38/1317.83	c 1317s |      19 |   702229 |   471982 |    25925     39 |      639 |      342
1319.37/1319.89	c 1319s |      19 |   702689 |   472382 |    25925     39 |      639 |      342
1321.87/1322.38	c 1322s |      19 |   703258 |   472882 |    25925     39 |      639 |      342
1324.16/1324.69	c 1324s |      19 |   703700 |   473282 |    25925     39 |      639 |      342
1326.36/1326.82	c 1326s |      19 |   704143 |   473682 |    25925     39 |      639 |      342
1328.37/1328.84	c 1328s |      19 |   704578 |   474082 |    25925     39 |      639 |      342
1330.67/1331.15	c 1330s |      19 |   705011 |   474482 |    25925     39 |      639 |      342
1332.87/1333.34	c 1333s |      19 |   705449 |   474882 |    25925     39 |      639 |      342
1334.86/1335.35	c 1335s |      19 |   705895 |   475282 |    25925     39 |      639 |      342
1337.06/1337.57	c 1337s |      19 |   706331 |   475682 |    25925     39 |      639 |      342
1339.16/1339.65	c 1339s |      19 |   706771 |   476082 |    25925     39 |      639 |      342
1341.35/1341.86	c 1341s |      19 |   707092 |   476382 |    25925     40 |      639 |      342
1343.55/1344.00	c 1343s |      19 |   707510 |   476782 |    25925     40 |      639 |      342
1346.06/1346.52	c 1346s |      19 |   708069 |   477282 |    25925     40 |      639 |      342
1348.05/1348.53	c 1348s |      19 |   708497 |   477682 |    25925     40 |      639 |      342
1350.14/1350.60	c 1350s |      19 |   708919 |   478082 |    25925     40 |      639 |      342
1352.14/1352.66	c 1352s |      19 |   709352 |   478482 |    25925     40 |      639 |      342
1354.54/1355.05	c 1354s |      19 |   709781 |   478882 |    25925     40 |      639 |      342
1356.74/1357.25	c 1356s |      19 |   710102 |   479182 |    25925     40 |      639 |      342
1359.05/1359.54	c 1359s |      19 |   710523 |   479582 |    25925     40 |      639 |      342
1361.74/1362.21	c 1361s |      19 |   710952 |   479982 |    25925     40 |      639 |      342
1363.94/1364.40	c 1364s |      19 |   711392 |   480382 |    25925     40 |      639 |      342
1366.24/1366.74	c 1366s |      19 |   711818 |   480782 |    25925     40 |      639 |      342
1368.54/1369.01	c 1368s |      19 |   712243 |   481182 |    25925     40 |      639 |      342
1370.74/1371.21	c 1370s |      19 |   712660 |   481582 |    25925     40 |      639 |      342
1372.94/1373.49	c 1373s |      19 |   713081 |   481982 |    25925     40 |      639 |      342
1375.04/1375.58	c 1375s |      19 |   713542 |   482382 |    25925     40 |      639 |      342
1377.14/1377.68	c 1377s |      19 |   713995 |   482782 |    25925     40 |      639 |      342
1379.64/1380.11	c 1379s |      19 |   714446 |   483182 |    25925     40 |      639 |      342
1381.93/1382.44	c 1382s |      19 |   714868 |   483582 |    25925     40 |      639 |      342
1384.33/1384.87	c 1384s |      19 |   715294 |   483982 |    25925     40 |      639 |      342
1386.83/1387.30	c 1387s |      19 |   715725 |   484382 |    25925     40 |      639 |      342
1389.03/1389.56	c 1389s |      19 |   716178 |   484782 |    25925     40 |      639 |      342
1391.33/1391.88	c 1391s |      19 |   716606 |   485182 |    25925     40 |      639 |      342
1393.93/1394.43	c 1394s |      19 |   717152 |   485582 |    25925     40 |      639 |      342
1396.03/1396.59	c 1396s |      19 |   717390 |   485782 |    25925     40 |      639 |      342
1398.33/1398.82	c 1398s |      19 |   717618 |   485982 |    25925     40 |      639 |      342
1400.83/1401.37	c 1401s |      19 |   717834 |   486182 |    25925     40 |      639 |      342
1403.14/1403.63	c 1403s |      19 |   718171 |   486482 |    25925     40 |      639 |      342
1405.34/1405.82	c 1405s |      19 |   718560 |   486782 |    25925     40 |      639 |      342
1407.54/1408.05	c 1407s |      19 |   718926 |   487082 |    25925     40 |      639 |      342
1410.23/1410.70	c 1410s |      19 |   719271 |   487382 |    25925     40 |      639 |      342
1412.43/1412.92	c 1412s |      19 |   719866 |   487882 |    25925     40 |      639 |      342
1414.93/1415.41	c 1415s |      19 |   720358 |   488282 |    25925     40 |      639 |      342
1417.62/1418.12	c 1417s |      19 |   720715 |   488582 |    25925     40 |      639 |      342
1420.02/1420.58	c 1420s |      19 |   720923 |   488782 |    25925     40 |      639 |      342
1422.02/1422.59	c 1422s |      19 |   721146 |   488982 |    25925     40 |      639 |      342
1424.42/1424.98	c 1424s |      19 |   721488 |   489282 |    25925     40 |      639 |      342
1427.02/1427.59	c 1427s |      19 |   721818 |   489582 |    25925     40 |      639 |      342
1429.72/1430.29	c 1430s |      19 |   722175 |   489882 |    25925     40 |      639 |      342
1432.02/1432.59	c 1432s |      19 |   722517 |   490182 |    25925     40 |      639 |      342
1434.22/1434.78	c 1434s |      19 |   723114 |   490682 |    25925     40 |      639 |      342
1436.52/1437.09	c 1436s |      19 |   723596 |   491082 |    25925     41 |      639 |      342
1438.72/1439.25	c 1438s |      19 |   724140 |   491582 |    25925     41 |      639 |      342
1441.02/1441.53	c 1441s |      19 |   724816 |   492182 |    25925     41 |      639 |      342
1443.13/1443.60	c 1443s |      19 |   725393 |   492682 |    25925     41 |      639 |      342
1445.43/1445.94	c 1445s |      19 |   726072 |   493282 |    25925     41 |      639 |      342
1448.13/1448.60	c 1448s |      19 |   726521 |   493682 |    25925     41 |      639 |      342
1450.23/1450.70	c 1450s |      19 |   726884 |   493982 |    25925     41 |      639 |      342
1452.32/1452.80	c 1452s |      19 |   727483 |   494482 |    25925     41 |      639 |      342
1454.83/1455.34	c 1455s |      19 |   727831 |   494782 |    25925     41 |      639 |      342
1456.82/1457.36	c 1457s |      19 |   728271 |   495182 |    25925     41 |      639 |      342
1459.23/1459.79	c 1459s |      19 |   728716 |   495582 |    25925     41 |      639 |      342
1461.62/1462.11	c 1461s |      19 |   729165 |   495982 |    25925     41 |      639 |      342
1463.92/1464.48	c 1464s |      19 |   729503 |   496282 |    25925     41 |      639 |      342
1466.42/1466.95	c 1466s |      19 |   729849 |   496582 |    25925     41 |      639 |      342
1469.13/1469.70	c 1469s |      19 |   730193 |   496882 |    25925     41 |      639 |      342
1471.62/1472.10	c 1471s |      19 |   730622 |   497282 |    25925     41 |      639 |      342
1473.72/1474.24	c 1473s |      19 |   731203 |   497782 |    25925     41 |      639 |      342
1475.83/1476.38	c 1476s |      19 |   731644 |   498182 |    25925     41 |      639 |      342
1478.32/1478.84	c 1478s |      19 |   732193 |   498682 |    25925     41 |      639 |      342
1480.52/1481.04	c 1480s |      19 |   732757 |   499182 |    25925     41 |      639 |      342
1482.92/1483.46	c 1483s |      19 |   733313 |   499682 |    25925     41 |      639 |      342
1485.12/1485.61	c 1485s |      19 |   733739 |   500082 |    25925     41 |      639 |      342
1487.21/1487.74	c 1487s |      19 |   734188 |   500482 |    25925     41 |      639 |      342
1489.21/1489.77	c 1489s |      19 |   734630 |   500882 |    25925     41 |      639 |      342
1491.71/1492.27	c 1492s |      19 |   735065 |   501282 |    25925     41 |      639 |      342
1494.21/1494.72	c 1494s |      19 |   735640 |   501782 |    25925     41 |      639 |      342
1496.62/1497.11	c 1496s |      19 |   736064 |   502182 |    25925     41 |      639 |      342
1498.82/1499.34	c 1499s |      19 |   736392 |   502482 |    25925     41 |      639 |      342
1501.12/1501.69	c 1501s |      19 |   736724 |   502782 |    25925     41 |      639 |      342
1503.11/1503.70	c 1503s |      19 |   736947 |   502982 |    25925     41 |      639 |      342
1505.21/1505.79	c 1505s |      19 |   737262 |   503282 |    25925     41 |      639 |      342
1507.81/1508.31	c 1508s |      19 |   737830 |   503782 |    25925     41 |      639 |      342
1509.92/1510.48	c 1510s |      19 |   738311 |   504182 |    25925     41 |      639 |      342
1512.02/1512.58	c 1512s |      19 |   738753 |   504582 |    25925     41 |      639 |      342
1514.41/1514.93	c 1514s |      19 |   739187 |   504982 |    25925     41 |      639 |      342
1516.53/1517.07	c 1516s |      19 |   739507 |   505282 |    25925     41 |      639 |      342
1518.73/1519.23	c 1518s |      19 |   739835 |   505582 |    25925     42 |      639 |      342
1520.82/1521.40	c 1521s |      19 |   740389 |   506082 |    25925     42 |      639 |      342
1522.91/1523.42	c 1523s |      19 |   740717 |   506382 |    25925     42 |      639 |      342
1525.41/1525.97	c 1525s |      19 |   741075 |   506682 |    25925     42 |      639 |      342
1527.71/1528.20	c 1527s |      19 |   741412 |   506982 |    25925     42 |      639 |      342
1529.72/1530.24	c 1529s |      19 |   741745 |   507282 |    25925     42 |      639 |      342
1532.11/1532.62	c 1532s |      19 |   741979 |   507482 |    25925     42 |      639 |      342
1534.91/1535.47	c 1535s |      19 |   742190 |   507682 |    25925     42 |      639 |      342
1537.61/1538.17	c 1537s |      19 |   742417 |   507882 |    25925     42 |      639 |      342
1539.71/1540.25	c 1539s |      19 |   742637 |   508082 |    25925     42 |      639 |      342
1542.31/1542.82	c 1542s |      19 |   742856 |   508282 |    25925     42 |      639 |      342
1544.81/1545.38	c 1545s |      19 |   743178 |   508582 |    25925     42 |      639 |      342
1547.01/1547.56	c 1547s |      19 |   743521 |   508882 |    25925     42 |      639 |      342
1549.21/1549.72	c 1549s |      19 |   743745 |   509082 |    25925     42 |      639 |      342
1551.91/1552.40	c 1552s |      19 |   743957 |   509282 |    25925     42 |      639 |      342
1555.61/1556.18	c 1555s |      19 |   744170 |   509482 |    25925     42 |      639 |      342
1558.11/1558.63	c 1558s |      19 |   744386 |   509682 |    25925     42 |      639 |      342
1561.10/1561.64	c 1561s |      19 |   744838 |   510082 |    25925     42 |      639 |      342
1563.40/1563.92	c 1563s |      19 |   745161 |   510382 |    25925     42 |      639 |      342
1565.70/1566.28	c 1566s |      19 |   745621 |   510782 |    25925     42 |      639 |      342
1568.30/1568.86	c 1568s |      19 |   746199 |   511282 |    25925     42 |      639 |      342
1570.70/1571.22	c 1570s |      19 |   746612 |   511682 |    25925     42 |      639 |      342
1573.10/1573.68	c 1573s |      19 |   747040 |   512082 |    25925     42 |      639 |      342
1575.50/1576.06	c 1575s |      19 |   747464 |   512482 |    25925     42 |      639 |      342
1577.70/1578.28	c 1578s |      19 |   747902 |   512882 |    25925     42 |      639 |      342
1580.00/1580.52	c 1580s |      19 |   748358 |   513282 |    25925     42 |      639 |      342
1582.20/1582.72	c 1582s |      19 |   748690 |   513582 |    25925     42 |      639 |      342
1584.20/1584.79	c 1584s |      19 |   749017 |   513882 |    25925     42 |      639 |      342
1586.91/1587.41	c 1587s |      19 |   749453 |   514282 |    25925     42 |      639 |      342
1589.50/1590.05	c 1589s |      19 |   749881 |   514682 |    25925     42 |      639 |      342
1591.60/1592.18	c 1591s |      19 |   750191 |   514982 |    25925     42 |      639 |      342
1594.10/1594.62	c 1594s |      19 |   750623 |   515382 |    25925     42 |      639 |      342
1596.40/1596.92	c 1596s |      19 |   750943 |   515682 |    25925     42 |      639 |      342
1598.40/1598.94	c 1598s |      19 |   751270 |   515982 |    25925     42 |      639 |      342
1600.40/1600.98	c 1600s |      19 |   751714 |   516382 |    25925     42 |      639 |      342
1603.00/1603.58	c 1603s |      19 |   752145 |   516782 |    25925     42 |      639 |      342
1605.30/1605.85	c 1605s |      19 |   752581 |   517182 |    25925     42 |      639 |      342
1607.50/1608.01	c 1607s |      19 |   752892 |   517482 |    25925     42 |      639 |      342
1609.91/1610.46	c 1610s |      19 |   753218 |   517782 |    25925     42 |      639 |      342
1612.30/1612.88	c 1612s |      19 |   753549 |   518082 |    25925     42 |      639 |      342
1614.41/1614.96	c 1614s |      19 |   753757 |   518282 |    25925     42 |      639 |      342
1617.00/1617.59	c 1617s |      19 |   754076 |   518582 |    25925     42 |      639 |      342
1619.69/1620.20	c 1619s |      19 |   754504 |   518982 |    25925     42 |      639 |      342
1621.89/1622.48	c 1622s |      19 |   754852 |   519282 |    25925     42 |      639 |      342
1623.90/1624.48	c 1624s |      19 |   755062 |   519482 |    25925     42 |      639 |      342
1625.99/1626.57	c 1626s |      19 |   755400 |   519782 |    25925     42 |      639 |      342
1628.29/1628.86	c 1628s |      19 |   755624 |   519982 |    25925     43 |      639 |      342
1630.80/1631.34	c 1631s |      19 |   756096 |   520382 |    25925     43 |      639 |      342
1633.79/1634.38	c 1634s |      19 |   756422 |   520682 |    25925     43 |      639 |      342
1635.89/1636.49	c 1636s |      19 |   756757 |   520982 |    25925     43 |      639 |      342
1638.60/1639.14	c 1638s |      19 |   756977 |   521182 |    25925     43 |      639 |      342
1640.89/1641.45	c 1641s |      19 |   757409 |   521582 |    25925     43 |      639 |      342
1643.00/1643.58	c 1643s |      19 |   757851 |   521982 |    25925     43 |      639 |      342
1645.10/1645.70	c 1645s |      19 |   758423 |   522482 |    25925     43 |      639 |      342
1647.49/1648.08	c 1647s |      19 |   758973 |   522982 |    25925     43 |      639 |      342
1649.60/1650.14	c 1649s |      19 |   759394 |   523382 |    25925     43 |      639 |      342
1651.59/1652.19	c 1651s |      19 |   759715 |   523682 |    25925     43 |      639 |      342
1654.00/1654.52	c 1654s |      19 |   760130 |   524082 |    25925     43 |      639 |      342
1655.99/1656.54	c 1656s |      19 |   760449 |   524382 |    25925     43 |      639 |      342
1658.19/1658.76	c 1658s |      19 |   760772 |   524682 |    25925     43 |      639 |      342
1660.49/1661.11	c 1660s |      19 |   761212 |   525082 |    25925     43 |      639 |      342
1662.89/1663.40	c 1663s |      19 |   761643 |   525482 |    25925     43 |      639 |      342
1665.39/1665.91	c 1665s |      19 |   761963 |   525782 |    25925     43 |      639 |      342
1667.69/1668.27	c 1668s |      19 |   762383 |   526182 |    25925     43 |      639 |      342
1669.69/1670.28	c 1670s |      19 |   762704 |   526482 |    25925     43 |      639 |      342
1672.19/1672.70	c 1672s |      19 |   763147 |   526882 |    25925     43 |      639 |      342
1674.49/1675.03	c 1674s |      19 |   763579 |   527282 |    25925     43 |      639 |      342
1676.69/1677.28	c 1677s |      19 |   764017 |   527682 |    25925     43 |      639 |      342
1679.09/1679.64	c 1679s |      19 |   764456 |   528082 |    25925     43 |      639 |      342
1681.40/1681.92	c 1681s |      19 |   764890 |   528482 |    25925     43 |      639 |      342
1683.89/1684.45	c 1684s |      19 |   765330 |   528882 |    25925     43 |      639 |      342
1686.49/1687.08	c 1686s |      19 |   765750 |   529282 |    25925     43 |      639 |      342
1689.10/1689.67	c 1689s |      19 |   766173 |   529682 |    25925     43 |      639 |      342
1691.99/1692.55	c 1692s |      19 |   766500 |   529982 |    25925     43 |      639 |      342
1694.28/1694.82	c 1694s |      19 |   766813 |   530282 |    25925     43 |      639 |      342
1696.38/1696.91	c 1696s |      19 |   767147 |   530582 |    25925     43 |      639 |      342
1698.88/1699.43	c 1699s |      19 |   767579 |   530982 |    25925     43 |      639 |      342
1700.88/1701.45	c 1701s |      19 |   767893 |   531282 |    25925     43 |      639 |      342
1703.08/1703.66	c 1703s |      19 |   768213 |   531582 |    25925     43 |      639 |      342
1705.48/1706.04	c 1705s |      19 |   768524 |   531882 |    25925     43 |      639 |      342
1707.68/1708.21	c 1707s |      19 |   768834 |   532182 |    25925     43 |      639 |      342
1709.89/1710.42	c 1710s |      19 |   769069 |   532382 |    25925     43 |      639 |      342
1712.30/1712.82	c 1712s |      19 |   769533 |   532782 |    25925     43 |      639 |      342
1714.50/1715.05	c 1714s |      19 |   769977 |   533182 |    25925     43 |      639 |      342
1716.79/1717.30	c 1717s |      19 |   770430 |   533582 |    25925     43 |      639 |      342
1719.08/1719.63	c 1719s |      19 |   770870 |   533982 |    25925     43 |      639 |      342
1722.09/1722.64	c 1722s |      19 |   771343 |   534382 |    25925     44 |      639 |      342
1724.48/1725.01	c 1724s |      19 |   771901 |   534882 |    25925     44 |      639 |      342
1726.68/1727.24	c 1726s |      19 |   772452 |   535382 |    25925     44 |      639 |      342
1728.69/1729.29	c 1729s |      19 |   772887 |   535782 |    25925     44 |      639 |      342
1730.89/1731.45	c 1731s |      19 |   773329 |   536182 |    25925     44 |      639 |      342
1732.88/1733.48	c 1733s |      19 |   773763 |   536582 |    25925     44 |      639 |      342
1734.98/1735.53	c 1735s |      19 |   774199 |   536982 |    25925     44 |      639 |      342
1737.28/1737.80	c 1737s |      19 |   774658 |   537382 |    25925     44 |      639 |      342
1739.69/1740.23	c 1739s |      19 |   775094 |   537782 |    25925     44 |      639 |      342
1742.18/1742.72	c 1742s |      19 |   775645 |   538282 |    25925     44 |      639 |      342
1744.38/1744.94	c 1744s |      19 |   776081 |   538682 |    25925     44 |      639 |      342
1746.78/1747.36	c 1747s |      19 |   776627 |   539182 |    25925     44 |      639 |      342
1749.28/1749.82	c 1749s |      19 |   777056 |   539582 |    25925     44 |      639 |      342
1751.58/1752.13	c 1751s |      19 |   777476 |   539982 |    25925     44 |      639 |      342
1753.88/1754.47	c 1754s |      19 |   777905 |   540382 |    25925     44 |      639 |      342
1755.98/1756.51	c 1756s |      19 |   778338 |   540782 |    25925     44 |      639 |      342
1758.48/1759.02	c 1758s |      19 |   778891 |   541282 |    25925     44 |      639 |      342
1760.97/1761.56	c 1761s |      19 |   779450 |   541782 |    25925     44 |      639 |      342
1763.17/1763.73	c 1763s |      19 |   779885 |   542182 |    25925     44 |      639 |      342
1765.27/1765.88	c 1765s |      19 |   780322 |   542582 |    25925     44 |      639 |      342
1767.67/1768.25	c 1767s |      19 |   780772 |   542982 |    25925     44 |      639 |      342
1769.67/1770.27	c 1770s |      19 |   781238 |   543382 |    25925     44 |      639 |      342
1772.07/1772.63	c 1772s |      19 |   781684 |   543782 |    25925     44 |      639 |      342
1774.37/1774.93	c 1774s |      19 |   782120 |   544182 |    25925     44 |      639 |      342
1776.87/1777.46	c 1777s |      19 |   782481 |   544482 |    25925     44 |      639 |      342
1779.28/1779.85	c 1779s |      19 |   782919 |   544882 |    25925     44 |      639 |      342
1781.87/1782.45	c 1782s |      19 |   783340 |   545282 |    25925     44 |      639 |      342
1784.17/1784.71	c 1784s |      19 |   783790 |   545682 |    25925     44 |      639 |      342
1786.57/1787.16	c 1786s |      19 |   784222 |   546082 |    25925     44 |      639 |      342
1789.07/1789.63	c 1789s |      19 |   784553 |   546382 |    25925     44 |      639 |      342
1791.57/1792.10	c 1791s |      19 |   784899 |   546682 |    25925     44 |      639 |      342
1794.27/1794.86	c 1794s |      19 |   785251 |   546982 |    25925     44 |      639 |      342
1796.67/1797.27	c 1797s |      19 |   785472 |   547182 |    25925     44 |      639 |      342
1798.77/1799.32	c 1799s |      19 |   785688 |   547382 |    25925     44 |      639 |      342

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-4116933-1466958961/watcher-4116933-1466958961 -o /tmp/evaluation-result-4116933-1466958961/solver-4116933-1466958961 -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-4116933-1466958961.opb 

pid=2931
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.02 2.10 2.08 3/261 2934
/proc/meminfo: memFree=30846548/32872528 swapFree=7556/7556
[pid=2934] ppid=2931 vsize=1063356 CPUtime=0 cores=0-3,8-11
/proc/2934/stat : 2934 (toysat) R 2931 2934 32495 0 -1 4202496 4025 0 0 0 0 0 0 0 20 0 4 0 28934331 1088876544 4386 33554432000 4194304 16246674 140733375191008 140733375190432 13880264 0 2 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2934/statm: 266351 4396 441 2943 0 263245 0
[pid=2934/tid=2935] ppid=2931 vsize=1120700 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2935/stat : 2935 (toysat) S 2931 2934 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28934331 1147596800 4613 33554432000 4194304 16246674 140733375191008 140695944801520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2934/tid=2936] ppid=2931 vsize=1124796 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2936/stat : 2936 (toysat) S 2931 2934 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28934331 1151791104 4630 33554432000 4194304 16246674 140733375191008 140695934311664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2934/tid=2937] ppid=2931 vsize=1129916 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2937/stat : 2937 (toysat) S 2931 2934 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28934331 1157033984 4647 33554432000 4194304 16246674 140733375191008 140695813745840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0

[startup+0.100131 s]
/proc/loadavg: 2.02 2.10 2.08 3/261 2934
/proc/meminfo: memFree=30846548/32872528 swapFree=7556/7556
[pid=2934] ppid=2931 vsize=1220164 CPUtime=0.09 cores=0-3,8-11
/proc/2934/stat : 2934 (toysat) R 2931 2934 32495 0 -1 4202496 28274 0 0 0 6 3 0 0 20 0 4 0 28934331 1249447936 28573 33554432000 4194304 16246674 140733375191008 140733375190320 4206864 0 2 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2934/statm: 305041 28573 801 2943 0 301935 0
[pid=2934/tid=2935] ppid=2931 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2935/stat : 2935 (toysat) S 2931 2934 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28934331 1249447936 28573 33554432000 4194304 16246674 140733375191008 140695944801520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2934/tid=2936] ppid=2931 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2936/stat : 2936 (toysat) S 2931 2934 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28934331 1249447936 28573 33554432000 4194304 16246674 140733375191008 140695934311664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2934/tid=2937] ppid=2931 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2937/stat : 2937 (toysat) S 2931 2934 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28934331 1249447936 28573 33554432000 4194304 16246674 140733375191008 140695813745840 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.200486 s]
/proc/loadavg: 2.02 2.10 2.08 3/261 2934
/proc/meminfo: memFree=30846548/32872528 swapFree=7556/7556
[pid=2934] ppid=2931 vsize=1301060 CPUtime=0.19 cores=0-3,8-11
/proc/2934/stat : 2934 (toysat) R 2931 2934 32495 0 -1 4202496 48483 0 0 0 13 6 0 0 20 0 4 0 28934331 1332285440 48782 33554432000 4194304 16246674 140733375191008 140733375190320 12655448 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2934/statm: 325265 48782 842 2943 0 322159 0
[pid=2934/tid=2935] ppid=2931 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2935/stat : 2935 (toysat) S 2931 2934 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28934331 1332285440 48782 33554432000 4194304 16246674 140733375191008 140695944801520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2934/tid=2936] ppid=2931 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2936/stat : 2936 (toysat) S 2931 2934 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28934331 1332285440 48782 33554432000 4194304 16246674 140733375191008 140695934311664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2934/tid=2937] ppid=2931 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2937/stat : 2937 (toysat) S 2931 2934 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28934331 1332285440 48782 33554432000 4194304 16246674 140733375191008 140695813745840 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.300398 s]
/proc/loadavg: 2.02 2.10 2.08 3/261 2934
/proc/meminfo: memFree=30846548/32872528 swapFree=7556/7556
[pid=2934] ppid=2931 vsize=1301060 CPUtime=0.28 cores=0-3,8-11
/proc/2934/stat : 2934 (toysat) R 2931 2934 32495 0 -1 4202496 50971 0 0 0 22 6 0 0 20 0 4 0 28934331 1332285440 51270 33554432000 4194304 16246674 140733375191008 140733375190320 5546181 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2934/statm: 325265 51277 882 2943 0 322159 0
[pid=2934/tid=2935] ppid=2931 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2935/stat : 2935 (toysat) S 2931 2934 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28934331 1332285440 51281 33554432000 4194304 16246674 140733375191008 140695944801520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2934/tid=2936] ppid=2931 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2936/stat : 2936 (toysat) S 2931 2934 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28934331 1332285440 51290 33554432000 4194304 16246674 140733375191008 140695934311664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2934/tid=2937] ppid=2931 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2937/stat : 2937 (toysat) S 2931 2934 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28934331 1332285440 51298 33554432000 4194304 16246674 140733375191008 140695813745840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1301060

[startup+0.700355 s]
/proc/loadavg: 2.02 2.10 2.08 3/261 2934
/proc/meminfo: memFree=30846548/32872528 swapFree=7556/7556
[pid=2934] ppid=2931 vsize=1301060 CPUtime=0.69 cores=0-3,8-11
/proc/2934/stat : 2934 (toysat) R 2931 2934 32495 0 -1 4202496 102457 0 0 0 55 14 0 0 20 0 4 0 28934331 1332285440 102756 33554432000 4194304 16246674 140733375191008 140733375172928 5546181 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2934/statm: 325265 102761 882 2943 0 322159 0
[pid=2934/tid=2935] ppid=2931 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2935/stat : 2935 (toysat) S 2931 2934 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28934331 1332285440 102763 33554432000 4194304 16246674 140733375191008 140695944801520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2934/tid=2936] ppid=2931 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2936/stat : 2936 (toysat) S 2931 2934 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28934331 1332285440 102765 33554432000 4194304 16246674 140733375191008 140695934311664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2934/tid=2937] ppid=2931 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2937/stat : 2937 (toysat) S 2931 2934 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28934331 1332285440 102768 33554432000 4194304 16246674 140733375191008 140695813745840 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.5004 s]
/proc/loadavg: 2.02 2.10 2.08 3/265 2938
/proc/meminfo: memFree=30212400/32872528 swapFree=7556/7556
[pid=2934] ppid=2931 vsize=1302084 CPUtime=1.49 cores=0-3,8-11
/proc/2934/stat : 2934 (toysat) R 2931 2934 32495 0 -1 4202496 212862 0 0 0 121 28 0 0 20 0 4 0 28934331 1333334016 213161 33554432000 4194304 16246674 140733375191008 140733375172928 5830026 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2934/statm: 325521 213165 882 2943 0 322415 0
[pid=2934/tid=2935] ppid=2931 vsize=1302084 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2935/stat : 2935 (toysat) S 2931 2934 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28934331 1333334016 213168 33554432000 4194304 16246674 140733375191008 140695944801520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2934/tid=2936] ppid=2931 vsize=1302084 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2936/stat : 2936 (toysat) S 2931 2934 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28934331 1333334016 213170 33554432000 4194304 16246674 140733375191008 140695934311664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2934/tid=2937] ppid=2931 vsize=1302084 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2937/stat : 2937 (toysat) S 2931 2934 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28934331 1333334016 213171 33554432000 4194304 16246674 140733375191008 140695813745840 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) 1302084

[startup+3.10041 s]
/proc/loadavg: 2.02 2.10 2.08 3/265 2938
/proc/meminfo: memFree=29791480/32872528 swapFree=7556/7556
[pid=2934] ppid=2931 vsize=1312324 CPUtime=3.09 cores=0-3,8-11
/proc/2934/stat : 2934 (toysat) R 2931 2934 32495 0 -1 4202496 263704 0 0 0 274 35 0 0 20 0 4 0 28934331 1343819776 264003 33554432000 4194304 16246674 140733375191008 140733375172928 6012041 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2934/statm: 328081 264003 888 2943 0 324975 0
[pid=2934/tid=2935] ppid=2931 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2935/stat : 2935 (toysat) S 2931 2934 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28934331 1343819776 264003 33554432000 4194304 16246674 140733375191008 140695944801520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2934/tid=2936] ppid=2931 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2936/stat : 2936 (toysat) S 2931 2934 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28934331 1343819776 264003 33554432000 4194304 16246674 140733375191008 140695934311664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2934/tid=2937] ppid=2931 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2937/stat : 2937 (toysat) S 2931 2934 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28934331 1343819776 264003 33554432000 4194304 16246674 140733375191008 140695813745840 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.30042 s]
/proc/loadavg: 2.02 2.10 2.08 3/265 2938
/proc/meminfo: memFree=29768676/32872528 swapFree=7556/7556
[pid=2934] ppid=2931 vsize=1312324 CPUtime=6.29 cores=0-3,8-11
/proc/2934/stat : 2934 (toysat) R 2931 2934 32495 0 -1 4202496 269268 0 0 0 593 36 0 0 20 0 4 0 28934331 1343819776 269567 33554432000 4194304 16246674 140733375191008 140733375172928 5602518 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2934/statm: 328081 269567 888 2943 0 324975 0
[pid=2934/tid=2935] ppid=2931 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2935/stat : 2935 (toysat) S 2931 2934 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28934331 1343819776 269567 33554432000 4194304 16246674 140733375191008 140695944801520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2934/tid=2936] ppid=2931 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2936/stat : 2936 (toysat) S 2931 2934 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28934331 1343819776 269567 33554432000 4194304 16246674 140733375191008 140695934311664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2934/tid=2937] ppid=2931 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2937/stat : 2937 (toysat) S 2931 2934 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28934331 1343819776 269567 33554432000 4194304 16246674 140733375191008 140695813745840 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.01 2.10 2.08 3/265 2938
/proc/meminfo: memFree=29768716/32872528 swapFree=7556/7556
[pid=2934] ppid=2931 vsize=1312324 CPUtime=12.69 cores=0-3,8-11
/proc/2934/stat : 2934 (toysat) R 2931 2934 32495 0 -1 4202496 269268 0 0 0 1233 36 0 0 20 0 4 0 28934331 1343819776 269567 33554432000 4194304 16246674 140733375191008 140733375172928 12483536 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2934/statm: 328081 269567 888 2943 0 324975 0
[pid=2934/tid=2935] ppid=2931 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2935/stat : 2935 (toysat) S 2931 2934 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28934331 1343819776 269567 33554432000 4194304 16246674 140733375191008 140695944801520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2934/tid=2936] ppid=2931 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2936/stat : 2936 (toysat) S 2931 2934 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28934331 1343819776 269567 33554432000 4194304 16246674 140733375191008 140695934311664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2934/tid=2937] ppid=2931 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2937/stat : 2937 (toysat) S 2931 2934 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28934331 1343819776 269567 33554432000 4194304 16246674 140733375191008 140695813745840 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.5005 s]
/proc/loadavg: 2.01 2.10 2.08 3/265 2938
/proc/meminfo: memFree=29769616/32872528 swapFree=7556/7556
[pid=2934] ppid=2931 vsize=1312324 CPUtime=25.48 cores=0-3,8-11
/proc/2934/stat : 2934 (toysat) R 2931 2934 32495 0 -1 4202496 269271 0 0 0 2512 36 0 0 20 0 4 0 28934331 1343819776 269570 33554432000 4194304 16246674 140733375191008 140733375172928 5677403 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2934/statm: 328081 269570 891 2943 0 324975 0
[pid=2934/tid=2935] ppid=2931 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2935/stat : 2935 (toysat) S 2931 2934 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28934331 1343819776 269570 33554432000 4194304 16246674 140733375191008 140695944801520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2934/tid=2936] ppid=2931 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2936/stat : 2936 (toysat) S 2931 2934 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28934331 1343819776 269570 33554432000 4194304 16246674 140733375191008 140695934311664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2934/tid=2937] ppid=2931 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2937/stat : 2937 (toysat) S 2931 2934 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28934331 1343819776 269570 33554432000 4194304 16246674 140733375191008 140695813745840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.01 2.09 2.08 3/265 2938
/proc/meminfo: memFree=29769888/32872528 swapFree=7556/7556
[pid=2934] ppid=2931 vsize=1312324 CPUtime=51.09 cores=0-3,8-11
/proc/2934/stat : 2934 (toysat) R 2931 2934 32495 0 -1 4202496 269272 0 0 0 5072 37 0 0 20 0 4 0 28934331 1343819776 269571 33554432000 4194304 16246674 140733375191008 140733375172928 5711439 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2934/statm: 328081 269571 892 2943 0 324975 0
[pid=2934/tid=2935] ppid=2931 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2935/stat : 2935 (toysat) S 2931 2934 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28934331 1343819776 269571 33554432000 4194304 16246674 140733375191008 140695944801520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2934/tid=2936] ppid=2931 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2936/stat : 2936 (toysat) S 2931 2934 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28934331 1343819776 269571 33554432000 4194304 16246674 140733375191008 140695934311664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2934/tid=2937] ppid=2931 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2937/stat : 2937 (toysat) S 2931 2934 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28934331 1343819776 269571 33554432000 4194304 16246674 140733375191008 140695813745840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1312324

[startup+102.301 s]
/proc/loadavg: 2.00 2.07 2.07 3/265 2940
/proc/meminfo: memFree=29769228/32872528 swapFree=7560/7560
[pid=2934] ppid=2931 vsize=1313348 CPUtime=102.28 cores=0-3,8-11
/proc/2934/stat : 2934 (toysat) R 2931 2934 32495 0 -1 4202496 269361 0 0 0 10191 37 0 0 20 0 4 0 28934331 1344868352 269660 33554432000 4194304 16246674 140733375191008 140733375172928 12415740 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2934/statm: 328337 269660 892 2943 0 325231 0
[pid=2934/tid=2935] ppid=2931 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2935/stat : 2935 (toysat) S 2931 2934 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28934331 1344868352 269660 33554432000 4194304 16246674 140733375191008 140695944801520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2934/tid=2936] ppid=2931 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2936/stat : 2936 (toysat) S 2931 2934 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28934331 1344868352 269660 33554432000 4194304 16246674 140733375191008 140695934311664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2934/tid=2937] ppid=2931 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2937/stat : 2937 (toysat) S 2931 2934 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28934331 1344868352 269660 33554432000 4194304 16246674 140733375191008 140695813745840 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) 1313348


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

/proc/2934/task/2937/stat : 2937 (toysat) S 2931 2934 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28934331 1362694144 274286 33554432000 4194304 16246674 140733375191008 140695813745840 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.17 2.10 2.09 3/265 3019
/proc/meminfo: memFree=29743252/32872528 swapFree=7556/7556
[pid=2934] ppid=2931 vsize=1330756 CPUtime=1301.87 cores=0-3,8-11
/proc/2934/stat : 2934 (toysat) R 2931 2934 32495 0 -1 4202496 274192 0 0 0 130137 50 0 0 20 0 4 0 28934331 1362694144 274435 33554432000 4194304 16246674 140733375191008 140733375172928 5546214 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2934/statm: 332689 274435 892 2943 0 329583 0
[pid=2934/tid=2935] ppid=2931 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2935/stat : 2935 (toysat) S 2931 2934 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28934331 1362694144 274435 33554432000 4194304 16246674 140733375191008 140695944801520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2934/tid=2936] ppid=2931 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2936/stat : 2936 (toysat) S 2931 2934 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28934331 1362694144 274435 33554432000 4194304 16246674 140733375191008 140695934311664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2934/tid=2937] ppid=2931 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2937/stat : 2937 (toysat) S 2931 2934 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28934331 1362694144 274435 33554432000 4194304 16246674 140733375191008 140695813745840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1330756

[startup+1362.3 s]
/proc/loadavg: 2.11 2.09 2.09 3/265 3021
/proc/meminfo: memFree=29742348/32872528 swapFree=7556/7556
[pid=2934] ppid=2931 vsize=1330756 CPUtime=1361.84 cores=0-3,8-11
/proc/2934/stat : 2934 (toysat) R 2931 2934 32495 0 -1 4202496 274236 0 0 0 136132 52 0 0 20 0 4 0 28934331 1362694144 274435 33554432000 4194304 16246674 140733375191008 140733375172928 13774516 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2934/statm: 332689 274435 892 2943 0 329583 0
[pid=2934/tid=2935] ppid=2931 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2935/stat : 2935 (toysat) S 2931 2934 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28934331 1362694144 274435 33554432000 4194304 16246674 140733375191008 140695944801520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2934/tid=2936] ppid=2931 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2936/stat : 2936 (toysat) S 2931 2934 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28934331 1362694144 274435 33554432000 4194304 16246674 140733375191008 140695934311664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2934/tid=2937] ppid=2931 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2937/stat : 2937 (toysat) S 2931 2934 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28934331 1362694144 274435 33554432000 4194304 16246674 140733375191008 140695813745840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1330756

[startup+1422.3 s]
/proc/loadavg: 2.14 2.10 2.09 3/265 3022
/proc/meminfo: memFree=29742316/32872528 swapFree=7556/7556
[pid=2934] ppid=2931 vsize=1330756 CPUtime=1421.83 cores=0-3,8-11
/proc/2934/stat : 2934 (toysat) R 2931 2934 32495 0 -1 4202496 274242 0 0 0 142131 52 0 0 20 0 4 0 28934331 1362694144 274435 33554432000 4194304 16246674 140733375191008 140733375172928 5672188 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2934/statm: 332689 274435 892 2943 0 329583 0
[pid=2934/tid=2935] ppid=2931 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2935/stat : 2935 (toysat) S 2931 2934 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28934331 1362694144 274435 33554432000 4194304 16246674 140733375191008 140695944801520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2934/tid=2936] ppid=2931 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2936/stat : 2936 (toysat) S 2931 2934 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28934331 1362694144 274435 33554432000 4194304 16246674 140733375191008 140695934311664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2934/tid=2937] ppid=2931 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2937/stat : 2937 (toysat) S 2931 2934 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28934331 1362694144 274435 33554432000 4194304 16246674 140733375191008 140695813745840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1330756

[startup+1482.3 s]
/proc/loadavg: 2.05 2.08 2.08 3/266 3026
/proc/meminfo: memFree=29741848/32872528 swapFree=7556/7556
[pid=2934] ppid=2931 vsize=1330756 CPUtime=1481.82 cores=0-3,8-11
/proc/2934/stat : 2934 (toysat) R 2931 2934 32495 0 -1 4202496 274242 0 0 0 148129 53 0 0 20 0 4 0 28934331 1362694144 274435 33554432000 4194304 16246674 140733375191008 140733375172928 5721540 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2934/statm: 332689 274435 892 2943 0 329583 0
[pid=2934/tid=2935] ppid=2931 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2935/stat : 2935 (toysat) S 2931 2934 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28934331 1362694144 274435 33554432000 4194304 16246674 140733375191008 140695944801520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2934/tid=2936] ppid=2931 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2936/stat : 2936 (toysat) S 2931 2934 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28934331 1362694144 274435 33554432000 4194304 16246674 140733375191008 140695934311664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2934/tid=2937] ppid=2931 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2937/stat : 2937 (toysat) S 2931 2934 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28934331 1362694144 274435 33554432000 4194304 16246674 140733375191008 140695813745840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1330756

[startup+1542.31 s]
/proc/loadavg: 2.07 2.08 2.08 3/266 3050
/proc/meminfo: memFree=29741496/32872528 swapFree=7556/7556
[pid=2934] ppid=2931 vsize=1330756 CPUtime=1541.82 cores=0-3,8-11
/proc/2934/stat : 2934 (toysat) R 2931 2934 32495 0 -1 4202496 274242 0 0 0 154128 54 0 0 20 0 4 0 28934331 1362694144 274435 33554432000 4194304 16246674 140733375191008 140733375190104 5712608 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2934/statm: 332689 274435 892 2943 0 329583 0
[pid=2934/tid=2935] ppid=2931 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2935/stat : 2935 (toysat) S 2931 2934 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28934331 1362694144 274435 33554432000 4194304 16246674 140733375191008 140695944801520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2934/tid=2936] ppid=2931 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2936/stat : 2936 (toysat) S 2931 2934 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28934331 1362694144 274435 33554432000 4194304 16246674 140733375191008 140695934311664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2934/tid=2937] ppid=2931 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2937/stat : 2937 (toysat) S 2931 2934 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28934331 1362694144 274435 33554432000 4194304 16246674 140733375191008 140695813745840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1330756

[startup+1602.3 s]
/proc/loadavg: 2.08 2.08 2.08 3/265 3051
/proc/meminfo: memFree=29741612/32872528 swapFree=7556/7556
[pid=2934] ppid=2931 vsize=1330756 CPUtime=1601.8 cores=0-3,8-11
/proc/2934/stat : 2934 (toysat) R 2931 2934 32495 0 -1 4202496 274242 0 0 0 160125 55 0 0 20 0 4 0 28934331 1362694144 274435 33554432000 4194304 16246674 140733375191008 140733375190184 5523475 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2934/statm: 332689 274435 892 2943 0 329583 0
[pid=2934/tid=2935] ppid=2931 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2935/stat : 2935 (toysat) S 2931 2934 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28934331 1362694144 274435 33554432000 4194304 16246674 140733375191008 140695944801520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2934/tid=2936] ppid=2931 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2936/stat : 2936 (toysat) S 2931 2934 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28934331 1362694144 274435 33554432000 4194304 16246674 140733375191008 140695934311664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2934/tid=2937] ppid=2931 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2937/stat : 2937 (toysat) S 2931 2934 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28934331 1362694144 274435 33554432000 4194304 16246674 140733375191008 140695813745840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1330756

[startup+1662.3 s]
/proc/loadavg: 2.15 2.09 2.09 3/265 3053
/proc/meminfo: memFree=29741596/32872528 swapFree=7556/7556
[pid=2934] ppid=2931 vsize=1330756 CPUtime=1661.79 cores=0-3,8-11
/proc/2934/stat : 2934 (toysat) R 2931 2934 32495 0 -1 4202496 274242 0 0 0 166123 56 0 0 20 0 4 0 28934331 1362694144 274435 33554432000 4194304 16246674 140733375191008 140733375172928 5676609 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2934/statm: 332689 274435 892 2943 0 329583 0
[pid=2934/tid=2935] ppid=2931 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2935/stat : 2935 (toysat) S 2931 2934 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28934331 1362694144 274435 33554432000 4194304 16246674 140733375191008 140695944801520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2934/tid=2936] ppid=2931 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2936/stat : 2936 (toysat) S 2931 2934 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28934331 1362694144 274435 33554432000 4194304 16246674 140733375191008 140695934311664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2934/tid=2937] ppid=2931 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2937/stat : 2937 (toysat) S 2931 2934 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28934331 1362694144 274435 33554432000 4194304 16246674 140733375191008 140695813745840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1330756

[startup+1722.3 s]
/proc/loadavg: 2.18 2.10 2.09 3/265 3054
/proc/meminfo: memFree=29741728/32872528 swapFree=7556/7556
[pid=2934] ppid=2931 vsize=1330756 CPUtime=1721.78 cores=0-3,8-11
/proc/2934/stat : 2934 (toysat) R 2931 2934 32495 0 -1 4202496 274242 0 0 0 172121 57 0 0 20 0 4 0 28934331 1362694144 274435 33554432000 4194304 16246674 140733375191008 140733375190104 5589000 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2934/statm: 332689 274435 892 2943 0 329583 0
[pid=2934/tid=2935] ppid=2931 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2935/stat : 2935 (toysat) S 2931 2934 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28934331 1362694144 274435 33554432000 4194304 16246674 140733375191008 140695944801520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2934/tid=2936] ppid=2931 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2936/stat : 2936 (toysat) S 2931 2934 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28934331 1362694144 274435 33554432000 4194304 16246674 140733375191008 140695934311664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2934/tid=2937] ppid=2931 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2937/stat : 2937 (toysat) S 2931 2934 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28934331 1362694144 274435 33554432000 4194304 16246674 140733375191008 140695813745840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1330756

[startup+1782.3 s]
/proc/loadavg: 2.19 2.11 2.10 3/265 3055
/proc/meminfo: memFree=29741080/32872528 swapFree=7556/7556
[pid=2934] ppid=2931 vsize=1330756 CPUtime=1781.77 cores=0-3,8-11
/proc/2934/stat : 2934 (toysat) R 2931 2934 32495 0 -1 4202496 274242 0 0 0 178120 57 0 0 20 0 4 0 28934331 1362694144 274435 33554432000 4194304 16246674 140733375191008 140733375172928 5712760 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2934/statm: 332689 274435 892 2943 0 329583 0
[pid=2934/tid=2935] ppid=2931 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2935/stat : 2935 (toysat) S 2931 2934 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28934331 1362694144 274435 33554432000 4194304 16246674 140733375191008 140695944801520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2934/tid=2936] ppid=2931 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2936/stat : 2936 (toysat) S 2931 2934 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28934331 1362694144 274435 33554432000 4194304 16246674 140733375191008 140695934311664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2934/tid=2937] ppid=2931 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2937/stat : 2937 (toysat) S 2931 2934 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28934331 1362694144 274435 33554432000 4194304 16246674 140733375191008 140695813745840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1330756



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.15 2.11 2.09 3/265 3055
/proc/meminfo: memFree=29741072/32872528 swapFree=7556/7556
[pid=2934] ppid=2931 vsize=1330756 CPUtime=1800.06 cores=0-3,8-11
/proc/2934/stat : 2934 (toysat) R 2931 2934 32495 0 -1 4202496 274242 0 0 0 179949 57 0 0 20 0 4 0 28934331 1362694144 274435 33554432000 4194304 16246674 140733375191008 140733375172928 12483345 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/2934/statm: 332689 274435 892 2943 0 329583 0
[pid=2934/tid=2935] ppid=2931 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2935/stat : 2935 (toysat) S 2931 2934 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28934331 1362694144 274435 33554432000 4194304 16246674 140733375191008 140695944801520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=2934/tid=2936] ppid=2931 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2936/stat : 2936 (toysat) S 2931 2934 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28934331 1362694144 274435 33554432000 4194304 16246674 140733375191008 140695934311664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=2934/tid=2937] ppid=2931 vsize=1330756 CPUtime=0 cores=0-3,8-11
/proc/2934/task/2937/stat : 2937 (toysat) S 2931 2934 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28934331 1362694144 274435 33554432000 4194304 16246674 140733375191008 140695813745840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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 2934 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.08
CPU user time (s): 1799.5
CPU system time (s): 0.577912
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 1330756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 0.577912
maximum resident set size= 1097740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274242
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= 377
involuntary context switches= 1949

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.2893 second user time and 20.2129 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-26 18:36:01
IDJOB=4116933
IDBENCH=109532
IDSOLVER=2542
FILE ID=node132/4116933-1466958961
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-2.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116933-1466958961/watcher-4116933-1466958961 -o /tmp/evaluation-result-4116933-1466958961/solver-4116933-1466958961 -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-4116933-1466958961.opb

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

MD5SUM BENCH= bc935ebcdca1858782c55508e4df4e85
RANDOM SEED=1857575744

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:        30846928 kB
Buffers:           33956 kB
Cached:           179864 kB
SwapCached:         1784 kB
Active:          1157080 kB
Inactive:         151324 kB
Active(anon):    1095656 kB
Inactive(anon):     1700 kB
Active(file):      61424 kB
Inactive(file):   149624 kB
Unevictable:        7556 kB
Mlocked:            7556 kB
SwapTotal:      67108856 kB
SwapFree:       67098636 kB
Dirty:             16984 kB
Writeback:             0 kB
AnonPages:       1102848 kB
Mapped:            10784 kB
Shmem:                 0 kB
Slab:             570620 kB
SReclaimable:      11204 kB
SUnreclaim:       559416 kB
KernelStack:        2256 kB
PageTables:         6960 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1245292 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1089536 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 19:06:02