Trace number 4097688

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-02UNSAT 1615.5 1615.91

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/
SyncCodes/d_n_k/normalized-7_6_25.opb
MD5SUM3c0a4d33e9f667bc5f51b969f035144b
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark5.72913
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1056
Total number of constraints4997
Number of constraints which are clauses4992
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint32
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 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 57
Number of bits of the biggest sum of numbers6
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-17T01:06:56+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-4097688-1466118416.opb"]
0.00/0.01	c use --random-gen="44978379 1003908537 4190130461 986343178 685094016 3790657861 3961196373 3101710162 2600519996 2995166812 434171434 655823995 125833813 39153159 219939065 2016238796 3445013985 495442629 3298396286 3249773693 2920521873 2824752769 1313123200 4286542476 376403278 708758936 839819906 488415120 846542167 627584368 1431776217 1206202075 3568101997 704182848 1967750932 12188375 3967212352 758597745 3846077907 3326226082 194368915 1018965397 738251901 711053026 1781628603 3995332494 3857997544 3568756446 1048914529 865837292 595314897 1327200452 3008166865 644440974 1447662520 4015333105 2714519526 570071383 3902450410 287133537 1027269536 2997014699 3646576320 1584674117 2313296184 587692270 846604739 3497189018 1714515031 2702194126 1400591580 846954883 4080407727 3338674984 1699309868 3181296280 1565944823 1153880842 613396985 1835986619 4104276889 4080224555 1557463442 3743093843 326071699 3809692047 1218185045 1191811594 842426704 501109767 2038979061 1658706641 2913975368 3080884756 1323090595 1724690502 3406072195 4152078710 3804523732 2668119705 2396662386 271688267 1196119730 908397905 30389843 1384773375 3641349101 2077665652 1346109064 933866519 372760301 2109558893 4018451676 3969459809 1250693992 789514114 3252829240 1891492922 2463099722 2419888593 36364209 2849292828 4281330463 1672961165 555488111 1057103970 2719930616 1449590194 3646838388 4226576104 2959531941 3512158358 3097474419 333358526 564706911 1950693988 2753161343 600258357 2446489777 2750085853 439394522 206474576 3366220634 2508305236 1406475903 378849442 3504398859 2942877797 1380110400 3114248456 2201453214 246768351 1267075948 443663119 1532678580 1919839800 1412904017 3564770434 1368455364 3928971627 957809067 1760606582 2365946656 3642440491 557532370 1041440274 467289658 2882355770 1829178731 2033455507 3607449071 2728220092 3628272596 1400655041 2431948992 4222462363 3404029262 2151785191 3707809581 3125649224 2035157168 1608140793 2290372220 3404492459 2834271876 3319712245 2049480236 2303023188 201313330 3127955745 1004823376 1234277431 4216702085 2277569693 492450117 4244375571 2572052743 2894209117 1763870513 1907576458 2989028036 1894146981 2690138205 1500427576 981333863 3629410279 3047007710 1314374650 1621594585 2273747601 2109869567 2502606493 3017971079 1514570900 3394673034 2998429688 3590974762 1439757809 4178888337 1235033982 1343642052 2127253578 1109816673 2268023872 1054003507 1390031216 1672782408 594109643 1680269698 1641380678 3634478070 1496612610 2525913267 4123620893 1782247337 1575072613 1844218392 3930671471 1587995640 880496182 3384156814 4162615789 2747970912 1245542435 4070043270 706112819 3033817609 1434380645 1577556981 4210414355 3848588957 1478691286 646005367 1351362597 3524590011 3805614215 255 362436" option to reproduce the execution
0.00/0.06	c #vars 1056
0.00/0.06	c #constraints 4997
0.09/0.11	c Solving starts ...
0.09/0.11	c ============================[ Search Statistics ]============================
0.09/0.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.11	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.11	c =============================================================================
0.09/0.11	c  0.0s |       0 |        0 |        0 |     2016      0 |        5 |        0
0.09/0.15	c  0.0s |       1 |      123 |      100 |     2016      0 |        5 |      254
0.19/0.20	c  0.1s |       2 |      305 |      250 |     2218      0 |        5 |      254
0.19/0.29	c  0.2s |       3 |      574 |      475 |     2440      0 |        5 |      254
0.39/0.43	c  0.3s |       4 |      969 |      813 |     2684      0 |        5 |      254
0.59/0.66	c  0.6s |       5 |     1618 |     1320 |     2953      0 |        5 |      254
0.99/1.05	c  0.9s |       6 |     2877 |     2081 |     3574      0 |        5 |      254
1.49/1.53	c  1.4s |       7 |     4193 |     3223 |     3932      0 |        5 |      254
2.30/2.34	c  2.2s |       8 |     6426 |     4936 |     4326      1 |        5 |      254
3.40/3.43	c  3.3s |       9 |     9352 |     7506 |     4759      2 |        5 |      254
4.79/4.87	c  4.8s |      10 |    13925 |    11361 |     5235      3 |        5 |      254
6.89/6.90	c  6.8s |      10 |    20460 |    16761 |     5235      5 |        5 |      254
6.99/7.05	c  6.9s |      11 |    20904 |    17144 |     5759      5 |        5 |      254
8.99/9.07	c  9.0s |      11 |    26826 |    22144 |     5759      7 |        5 |      254
10.39/10.47	c 10.4s |      12 |    31072 |    25819 |     6335      8 |        5 |      254
12.39/12.49	c 12.4s |      12 |    36447 |    30319 |     6335      9 |        5 |      254
14.40/14.49	c 14.4s |      12 |    41470 |    34719 |     6335     11 |        5 |      254
16.19/16.20	c 16.1s |      13 |    46280 |    38832 |     6969     12 |        5 |      254
18.19/18.22	c 18.1s |      13 |    51657 |    43332 |     6969     13 |        5 |      254
20.19/20.22	c 20.1s |      13 |    57131 |    48132 |     6969     14 |        5 |      254
22.19/22.24	c 22.1s |      13 |    62405 |    52532 |     6969     16 |        5 |      254
24.20/24.28	c 24.2s |      13 |    68234 |    57532 |     6969     17 |        5 |      254
24.59/24.66	c 24.5s |      14 |    69151 |    58352 |     7666     17 |        5 |      254
26.59/26.69	c 26.6s |      14 |    74377 |    62752 |     7666     18 |        5 |      254
28.69/28.73	c 28.6s |      14 |    79732 |    67352 |     7666     19 |        5 |      254
30.68/30.75	c 30.6s |      14 |    84566 |    71552 |     7666     21 |        5 |      254
32.68/32.77	c 32.7s |      14 |    89929 |    76252 |     7666     22 |        5 |      254
34.68/34.77	c 34.7s |      14 |    95026 |    80752 |     7666     23 |        5 |      254
36.68/36.78	c 36.7s |      14 |    99447 |    84652 |     7666     24 |        5 |      254
38.08/38.12	c 38.0s |      15 |   103030 |    87632 |     8433     25 |        5 |      254
40.08/40.12	c 40.0s |      15 |   108236 |    91932 |     8433     26 |        5 |      254
42.08/42.14	c 42.0s |      15 |   113398 |    96332 |     8433     27 |        5 |      254
44.09/44.16	c 44.1s |      15 |   118695 |   100832 |     8433     28 |        5 |      254
46.08/46.17	c 46.1s |      15 |   124061 |   105532 |     8433     29 |        5 |      254
48.19/48.21	c 48.1s |      15 |   129089 |   110032 |     8433     30 |        5 |      254
50.29/50.35	c 50.2s |      15 |   133440 |   113932 |     8433     31 |        5 |      254
52.29/52.36	c 52.3s |      15 |   137780 |   117732 |     8433     32 |        5 |      254
54.29/54.38	c 54.3s |      15 |   142499 |   122032 |     8433     33 |        5 |      254
56.39/56.43	c 56.3s |      15 |   147116 |   126032 |     8433     33 |        5 |      254
58.39/58.43	c 58.3s |      15 |   152047 |   130332 |     8433     34 |        5 |      254
58.98/59.03	c 58.9s |      16 |   153457 |   131552 |     9277     35 |        5 |      254
60.98/61.05	c 60.9s |      16 |   158406 |   135652 |     9277     36 |        5 |      254
62.98/63.09	c 63.0s |      16 |   163055 |   139752 |     9277     36 |        5 |      254
65.08/65.10	c 65.0s |      16 |   167447 |   143652 |     9277     37 |        5 |      254
67.09/67.12	c 67.0s |      16 |   171813 |   147552 |     9277     38 |        5 |      254
69.08/69.14	c 69.0s |      16 |   175770 |   151052 |     9277     39 |        5 |      254
71.08/71.16	c 71.1s |      16 |   180377 |   155052 |     9277     40 |        5 |      254
73.08/73.19	c 73.1s |      16 |   184909 |   158852 |     9277     40 |        5 |      254
75.18/75.23	c 75.1s |      16 |   189569 |   162752 |     9277     41 |        5 |      254
77.18/77.27	c 77.2s |      16 |   194539 |   167052 |     9277     42 |        5 |      254
79.18/79.27	c 79.2s |      16 |   199366 |   171252 |     9277     43 |        5 |      254
81.27/81.32	c 81.2s |      16 |   204576 |   175652 |     9277     44 |        5 |      254
83.27/83.33	c 83.2s |      16 |   209614 |   180052 |     9277     45 |        5 |      254
85.27/85.34	c 85.2s |      16 |   213322 |   183252 |     9277     46 |        5 |      254
87.27/87.39	c 87.3s |      16 |   218233 |   187552 |     9277     47 |        5 |      254
89.37/89.43	c 89.3s |      16 |   223184 |   191952 |     9277     47 |        5 |      254
91.39/91.45	c 91.3s |      16 |   228052 |   196252 |    10205     48 |        5 |      254
92.18/92.27	c 92.2s |      17 |   229376 |   197432 |    10205     48 |        5 |      254
94.18/94.29	c 94.2s |      17 |   233299 |   200832 |    10205     49 |        5 |      254
96.28/96.33	c 96.2s |      17 |   238218 |   204932 |    10205     50 |        5 |      254
98.38/98.47	c 98.4s |      17 |   242776 |   208932 |    10205     51 |        5 |      254
100.37/100.49	c  100s |      17 |   247507 |   213032 |    10205     51 |        5 |      254
102.38/102.49	c  102s |      17 |   252294 |   217332 |    10205     52 |        5 |      254
104.37/104.50	c  104s |      17 |   256805 |   221232 |    10205     53 |        5 |      254
106.68/106.77	c  106s |      17 |   260187 |   224132 |    10205     54 |        5 |      254
108.67/108.79	c  108s |      17 |   265417 |   228532 |    10205     54 |        5 |      254
110.77/110.84	c  110s |      17 |   270613 |   233032 |    10205     55 |        5 |      254
112.77/112.88	c  112s |      17 |   274561 |   236532 |    10205     56 |        5 |      254
114.87/114.91	c  114s |      17 |   279061 |   240532 |    10205     57 |        5 |      254
116.87/116.95	c  116s |      17 |   283363 |   244432 |    10205     58 |        5 |      254
118.88/118.97	c  118s |      17 |   287580 |   248032 |    10205     58 |        5 |      254
120.88/121.00	c  120s |      17 |   291776 |   251632 |    10205     59 |        5 |      254
122.98/123.04	c  122s |      17 |   296584 |   255832 |    10205     60 |        5 |      254
124.98/125.09	c  124s |      17 |   301084 |   259832 |    10205     60 |        5 |      254
127.08/127.14	c  127s |      17 |   305257 |   263632 |    10205     61 |        5 |      254
129.08/129.17	c  129s |      17 |   309189 |   267032 |    10205     62 |        5 |      254
131.08/131.18	c  131s |      17 |   313733 |   271032 |    10205     63 |        5 |      254
133.18/133.22	c  133s |      17 |   318419 |   275232 |    10205     63 |        5 |      254
135.17/135.24	c  135s |      17 |   322213 |   278732 |    10205     64 |        5 |      254
137.17/137.27	c  137s |      17 |   326059 |   282232 |    10205     65 |        5 |      254
139.17/139.28	c  139s |      17 |   330051 |   285732 |    10205     65 |        5 |      254
141.17/141.29	c  141s |      17 |   334191 |   289432 |    10205     66 |        5 |      254
143.27/143.30	c  143s |      17 |   337975 |   292632 |    10205     67 |        5 |      254
145.07/145.16	c  145s |      18 |   342202 |   296252 |    11226     67 |        5 |      254
147.07/147.17	c  147s |      18 |   346455 |   299852 |    11226     68 |        5 |      254
149.17/149.20	c  149s |      18 |   350354 |   303152 |    11226     69 |        5 |      254
151.17/151.25	c  151s |      18 |   355411 |   307452 |    11226     69 |        5 |      254
153.17/153.25	c  153s |      18 |   360099 |   311552 |    11226     70 |        5 |      254
155.18/155.26	c  155s |      18 |   364361 |   315252 |    11226     71 |        5 |      254
157.17/157.27	c  157s |      18 |   368587 |   318952 |    11226     71 |        5 |      254
159.27/159.31	c  159s |      18 |   372633 |   322552 |    11226     72 |        5 |      254
161.37/161.40	c  161s |      18 |   376681 |   326052 |    11226     73 |        5 |      254
163.37/163.41	c  163s |      18 |   380220 |   329052 |    11226     73 |        5 |      254
165.37/165.42	c  165s |      18 |   384791 |   332952 |    11226     74 |        5 |      254
167.37/167.47	c  167s |      18 |   389274 |   336852 |    11226     74 |        5 |      254
169.37/169.49	c  169s |      18 |   393647 |   340652 |    11226     75 |        5 |      254
171.47/171.52	c  171s |      18 |   398329 |   344752 |    11226     76 |        5 |      254
173.47/173.53	c  173s |      18 |   402666 |   348652 |    11226     77 |        5 |      254
175.47/175.55	c  175s |      18 |   406114 |   351652 |    11226     77 |        5 |      254
177.47/177.59	c  177s |      18 |   410885 |   355752 |    11226     78 |        5 |      254
179.57/179.65	c  179s |      18 |   415625 |   359952 |    11226     79 |        5 |      254
181.86/181.92	c  181s |      18 |   420368 |   364152 |    11226     79 |        5 |      254
183.86/183.94	c  183s |      18 |   424608 |   367852 |    11226     80 |        5 |      254
185.87/185.95	c  185s |      18 |   429003 |   371752 |    11226     81 |        5 |      254
187.96/188.01	c  187s |      18 |   433119 |   375452 |    11226     81 |        5 |      254
189.96/190.05	c  189s |      18 |   437123 |   379052 |    11226     82 |        5 |      254
192.06/192.10	c  191s |      18 |   440990 |   382552 |    11226     82 |        5 |      254
194.06/194.11	c  194s |      18 |   445049 |   386252 |    11226     83 |        5 |      254
196.06/196.14	c  196s |      18 |   446978 |   387952 |    11226     83 |        5 |      254
198.16/198.20	c  198s |      18 |   451794 |   392052 |    11226     84 |        5 |      254
200.16/200.21	c  200s |      18 |   456199 |   395952 |    11226     85 |        5 |      254
202.16/202.26	c  202s |      18 |   460261 |   399452 |    11226     85 |        5 |      254
204.16/204.29	c  204s |      18 |   464885 |   403352 |    11226     86 |        5 |      254
206.26/206.30	c  206s |      18 |   469049 |   407052 |    11226     87 |        5 |      254
208.66/208.77	c  208s |      18 |   473103 |   410652 |    11226     87 |        5 |      254
210.75/210.81	c  210s |      18 |   477148 |   414352 |    11226     88 |        5 |      254
212.75/212.82	c  212s |      18 |   480968 |   417752 |    11226     89 |        5 |      254
214.75/214.83	c  214s |      18 |   485109 |   421352 |    11226     89 |        5 |      254
216.76/216.83	c  216s |      18 |   488929 |   424752 |    11226     90 |        5 |      254
218.75/218.85	c  218s |      18 |   492748 |   428152 |    11226     90 |        5 |      254
220.75/220.85	c  220s |      18 |   496887 |   431852 |    11226     91 |        5 |      254
222.85/222.91	c  222s |      18 |   500700 |   435352 |    11226     92 |        5 |      254
224.85/224.97	c  224s |      18 |   504041 |   438352 |    11226     92 |        5 |      254
226.85/226.98	c  226s |      18 |   508059 |   441852 |    12349     93 |        5 |      254
228.35/228.40	c  228s |      19 |   510994 |   444482 |    12349     93 |        5 |      254
230.35/230.45	c  230s |      19 |   514699 |   447682 |    12349     94 |        5 |      254
232.45/232.50	c  232s |      19 |   518748 |   451282 |    12349     94 |        5 |      254
234.46/234.52	c  234s |      19 |   522985 |   455082 |    12349     95 |        5 |      254
236.46/236.55	c  236s |      19 |   526025 |   457782 |    12349     95 |        5 |      254
238.46/238.59	c  238s |      19 |   530683 |   461882 |    12349     96 |        5 |      254
240.56/240.63	c  240s |      19 |   534382 |   465282 |    12349     97 |        5 |      254
242.56/242.64	c  242s |      19 |   538401 |   468882 |    12349     97 |        5 |      254
244.55/244.68	c  244s |      19 |   541711 |   471882 |    12349     98 |        5 |      254
246.55/246.68	c  246s |      19 |   545343 |   475182 |    12349     98 |        5 |      254
249.15/249.24	c  249s |      19 |   548494 |   478082 |    12349     99 |        5 |      254
251.15/251.28	c  251s |      19 |   552319 |   481582 |    12349     99 |        5 |      254
253.25/253.34	c  253s |      19 |   555893 |   484582 |    12349    100 |        5 |      254
255.26/255.36	c  255s |      19 |   559383 |   487782 |    12349    100 |        5 |      254
257.25/257.39	c  257s |      19 |   562341 |   490482 |    12349    101 |        5 |      254
259.25/259.39	c  259s |      19 |   566066 |   493882 |    12349    101 |        5 |      254
261.35/261.42	c  261s |      19 |   569133 |   496682 |    12349    102 |        5 |      254
263.35/263.47	c  263s |      19 |   572735 |   499982 |    12349    102 |        5 |      254
265.65/265.79	c  265s |      19 |   576014 |   502982 |    12349    103 |        5 |      254
267.75/267.84	c  267s |      19 |   579969 |   506282 |    12349    103 |        5 |      254
269.75/269.86	c  269s |      19 |   582929 |   508782 |    12349    103 |        5 |      254
271.75/271.87	c  271s |      19 |   585357 |   510982 |    12349    104 |        5 |      254
273.85/273.93	c  273s |      19 |   589231 |   514382 |    12349    104 |        5 |      254
275.85/275.98	c  275s |      19 |   593184 |   517682 |    12349    105 |        5 |      254
277.95/278.05	c  277s |      19 |   597306 |   521282 |    12349    105 |        5 |      254
279.95/280.08	c  279s |      19 |   601564 |   525082 |    12349    106 |        5 |      254
281.94/282.10	c  281s |      19 |   605071 |   528082 |    12349    107 |        5 |      254
284.04/284.13	c  284s |      19 |   609465 |   531982 |    12349    107 |        5 |      254
286.05/286.15	c  286s |      19 |   613190 |   535282 |    12349    108 |        5 |      254
288.04/288.15	c  288s |      19 |   616998 |   538682 |    12349    108 |        5 |      254
290.14/290.21	c  290s |      19 |   621178 |   542082 |    12349    109 |        5 |      254
292.14/292.25	c  292s |      19 |   625429 |   545382 |    12349    109 |        5 |      254
294.14/294.25	c  294s |      19 |   629144 |   548082 |    12349    110 |        5 |      254
296.14/296.28	c  296s |      19 |   632651 |   550782 |    12349    110 |        5 |      254
298.15/298.29	c  298s |      19 |   635946 |   553482 |    12349    111 |        5 |      254
300.25/300.32	c  300s |      19 |   639809 |   556482 |    12349    111 |        5 |      254
302.35/302.42	c  302s |      19 |   642962 |   559082 |    12349    111 |        5 |      254
304.45/304.53	c  304s |      19 |   646311 |   561882 |    12349    112 |        5 |      254
306.45/306.59	c  306s |      19 |   649727 |   564882 |    12349    112 |        5 |      254
308.55/308.61	c  308s |      19 |   653207 |   567882 |    12349    113 |        5 |      254
310.55/310.62	c  310s |      19 |   657324 |   571482 |    12349    113 |        5 |      254
312.55/312.64	c  312s |      19 |   661473 |   575182 |    12349    114 |        5 |      254
314.55/314.69	c  314s |      19 |   665052 |   578382 |    12349    115 |        5 |      254
316.64/316.70	c  316s |      19 |   669323 |   582182 |    12349    115 |        5 |      254
318.64/318.71	c  318s |      19 |   672967 |   585482 |    12349    116 |        5 |      254
320.64/320.72	c  320s |      19 |   676699 |   588882 |    12349    116 |        5 |      254
322.64/322.75	c  322s |      19 |   679347 |   591282 |    12349    117 |        5 |      254
324.74/324.80	c  324s |      19 |   683290 |   594782 |    12349    117 |        5 |      254
326.75/326.81	c  326s |      19 |   686820 |   597882 |    12349    118 |        5 |      254
328.74/328.84	c  328s |      19 |   690235 |   600882 |    12349    118 |        5 |      254
330.74/330.85	c  330s |      19 |   694520 |   604482 |    12349    119 |        5 |      254
332.84/332.90	c  332s |      19 |   698934 |   608282 |    12349    119 |        5 |      254
334.84/334.92	c  334s |      19 |   703078 |   611882 |    12349    120 |        5 |      254
336.84/336.94	c  336s |      19 |   707196 |   615482 |    12349    120 |        5 |      254
338.84/338.98	c  338s |      19 |   711620 |   619382 |    12349    121 |        5 |      254
340.94/341.02	c  340s |      19 |   715859 |   623182 |    12349    122 |        5 |      254
343.33/343.40	c  343s |      19 |   719145 |   626182 |    12349    122 |        5 |      254
345.23/345.40	c  345s |      19 |   723387 |   629782 |    12349    123 |        5 |      254
347.33/347.40	c  347s |      19 |   727594 |   633482 |    12349    123 |        5 |      254
349.33/349.40	c  349s |      19 |   731313 |   636782 |    12349    124 |        5 |      254
351.33/351.46	c  351s |      19 |   735216 |   640282 |    12349    124 |        5 |      254
353.43/353.50	c  353s |      19 |   738726 |   643482 |    12349    125 |        5 |      254
355.43/355.54	c  355s |      19 |   741955 |   646482 |    12349    125 |        5 |      254
357.44/357.58	c  357s |      19 |   744768 |   648982 |    12349    126 |        5 |      254
359.53/359.60	c  359s |      19 |   748637 |   652382 |    12349    126 |        5 |      254
361.53/361.62	c  361s |      19 |   752799 |   655982 |    12349    127 |        5 |      254
363.63/363.73	c  363s |      19 |   756684 |   659382 |    12349    128 |        5 |      254
366.03/366.14	c  366s |      19 |   760754 |   662982 |    13584    128 |        5 |      254
368.03/368.19	c  368s |      19 |   764790 |   666282 |    13584    128 |        5 |      254
368.63/368.75	c  368s |      20 |   765436 |   666827 |    13584    129 |        5 |      254
370.74/370.80	c  370s |      20 |   769993 |   670627 |    13584    129 |        5 |      254
372.73/372.84	c  372s |      20 |   773550 |   673727 |    13584    130 |        5 |      254
374.74/374.85	c  374s |      20 |   776814 |   676627 |    13584    130 |        5 |      254
376.74/376.87	c  376s |      20 |   780856 |   680127 |    13584    130 |        5 |      254
378.84/378.91	c  378s |      20 |   784705 |   683627 |    13584    131 |        5 |      254
380.83/380.95	c  380s |      20 |   788580 |   687027 |    13584    131 |        5 |      254
382.84/382.96	c  382s |      20 |   791646 |   689727 |    13584    132 |        5 |      254
384.83/384.98	c  384s |      20 |   795655 |   693227 |    13584    132 |        5 |      254
386.83/387.00	c  386s |      20 |   799287 |   696527 |    13584    133 |        5 |      254
388.93/389.06	c  388s |      20 |   802922 |   699827 |    13584    133 |        5 |      254
391.03/391.11	c  391s |      20 |   806209 |   702827 |    13584    134 |        5 |      254
393.03/393.15	c  393s |      20 |   809457 |   705827 |    13584    134 |        5 |      254
395.13/395.20	c  395s |      20 |   812759 |   708727 |    13584    135 |        5 |      254
397.13/397.25	c  397s |      20 |   813114 |   709027 |    13584    135 |        5 |      254
399.13/399.25	c  399s |      20 |   817846 |   713027 |    13584    135 |        5 |      254
401.13/401.26	c  401s |      20 |   821844 |   716527 |    13584    136 |        5 |      254
403.13/403.26	c  403s |      20 |   825641 |   719927 |    13584    136 |        5 |      254
405.13/405.28	c  405s |      20 |   829335 |   723127 |    13584    137 |        5 |      254
407.23/407.36	c  407s |      20 |   832713 |   726027 |    13584    137 |        5 |      254
409.33/409.41	c  409s |      20 |   836339 |   729227 |    13584    138 |        5 |      254
411.44/411.52	c  411s |      20 |   840562 |   732727 |    13584    138 |        5 |      254
413.43/413.53	c  413s |      20 |   844603 |   736127 |    13584    139 |        5 |      254
415.43/415.55	c  415s |      20 |   848861 |   739827 |    13584    139 |        5 |      254
417.43/417.57	c  417s |      20 |   852899 |   743327 |    13584    140 |        5 |      254
419.53/419.67	c  419s |      20 |   856568 |   746627 |    13584    140 |        5 |      254
421.63/421.70	c  421s |      20 |   860248 |   749827 |    13584    141 |        5 |      254
423.63/423.76	c  423s |      20 |   864240 |   753427 |    13584    141 |        5 |      254
425.63/425.77	c  425s |      20 |   867519 |   756427 |    13584    142 |        5 |      254
427.73/427.82	c  427s |      20 |   871158 |   759827 |    13584    142 |        5 |      254
429.73/429.86	c  429s |      20 |   874592 |   762927 |    13584    142 |        5 |      254
432.42/432.50	c  432s |      20 |   878117 |   766027 |    13584    143 |        5 |      254
434.43/434.53	c  434s |      20 |   881455 |   769027 |    13584    143 |        5 |      254
436.42/436.53	c  436s |      20 |   884997 |   772227 |    13584    144 |        5 |      254
438.42/438.57	c  438s |      20 |   888489 |   775427 |    13584    144 |        5 |      254
440.42/440.59	c  440s |      20 |   891626 |   778327 |    13584    145 |        5 |      254
442.52/442.61	c  442s |      20 |   894975 |   781427 |    13584    145 |        5 |      254
444.52/444.63	c  444s |      20 |   897949 |   784127 |    13584    146 |        5 |      254
446.53/446.66	c  446s |      20 |   901288 |   787227 |    13584    146 |        5 |      254
448.52/448.67	c  448s |      20 |   903813 |   789527 |    13584    146 |        5 |      254
450.52/450.68	c  450s |      20 |   907444 |   792727 |    13584    147 |        5 |      254
452.52/452.69	c  452s |      20 |   911426 |   795927 |    13584    147 |        5 |      254
454.62/454.73	c  454s |      20 |   914919 |   798827 |    13584    148 |        5 |      254
456.62/456.78	c  456s |      20 |   918269 |   801627 |    13584    148 |        5 |      254
458.73/458.86	c  458s |      20 |   921386 |   804127 |    13584    148 |        5 |      254
460.92/461.04	c  460s |      20 |   924704 |   807127 |    13584    149 |        5 |      254
462.92/463.10	c  462s |      20 |   928290 |   810327 |    13584    149 |        5 |      254
465.02/465.11	c  465s |      20 |   931950 |   813627 |    13584    150 |        5 |      254
467.02/467.15	c  467s |      20 |   935488 |   816727 |    13584    150 |        5 |      254
469.12/469.20	c  469s |      20 |   938801 |   819727 |    13584    151 |        5 |      254
471.12/471.25	c  471s |      20 |   941815 |   822427 |    13584    151 |        5 |      254
473.12/473.28	c  473s |      20 |   945209 |   825327 |    13584    152 |        5 |      254
475.12/475.28	c  475s |      20 |   949417 |   829027 |    13584    152 |        5 |      254
477.11/477.29	c  477s |      20 |   953056 |   832227 |    13584    153 |        5 |      254
479.41/479.57	c  479s |      20 |   957245 |   835927 |    13584    153 |        5 |      254
481.41/481.58	c  481s |      20 |   961007 |   839227 |    13584    154 |        5 |      254
483.41/483.59	c  483s |      20 |   965428 |   843127 |    13584    154 |        5 |      254
485.41/485.59	c  485s |      20 |   968904 |   846227 |    13584    155 |        5 |      254
487.51/487.63	c  487s |      20 |   972721 |   849727 |    13584    155 |        5 |      254
489.52/489.64	c  489s |      20 |   975765 |   852527 |    13584    156 |        5 |      254
491.51/491.65	c  491s |      20 |   979560 |   855927 |    13584    156 |        5 |      254
493.61/493.75	c  493s |      20 |   980587 |   856827 |    13584    156 |        5 |      254
495.61/495.76	c  495s |      20 |   984574 |   860127 |    13584    157 |        5 |      254
497.61/497.79	c  497s |      20 |   989241 |   864227 |    13584    157 |        5 |      254
499.71/499.83	c  499s |      20 |   993248 |   867727 |    13584    158 |        5 |      254
501.71/501.84	c  501s |      20 |   997130 |   871127 |    13584    158 |        5 |      254
503.73/503.85	c  503s |      20 |  1001076 |   874527 |    13584    159 |        5 |      254
505.72/505.87	c  505s |      20 |  1004717 |   877927 |    13584    159 |        5 |      254
508.92/509.04	c  508s |      20 |  1008081 |   880927 |    13584    160 |        5 |      254
510.92/511.09	c  510s |      20 |  1012197 |   884527 |    13584    160 |        5 |      254
513.02/513.13	c  513s |      20 |  1016073 |   888027 |    13584    161 |        5 |      254
515.02/515.18	c  515s |      20 |  1019822 |   891327 |    13584    161 |        5 |      254
517.12/517.23	c  517s |      20 |  1023127 |   894327 |    13584    162 |        5 |      254
519.12/519.23	c  519s |      20 |  1026727 |   897627 |    13584    162 |        5 |      254
521.11/521.25	c  521s |      20 |  1029936 |   900527 |    13584    163 |        5 |      254
523.11/523.27	c  523s |      20 |  1032566 |   902727 |    13584    163 |        5 |      254
525.21/525.32	c  525s |      20 |  1036542 |   906227 |    13584    163 |        5 |      254
527.21/527.37	c  527s |      20 |  1040743 |   909927 |    13584    164 |        5 |      254
529.31/529.42	c  529s |      20 |  1043959 |   912827 |    13584    164 |        5 |      254
531.32/531.45	c  531s |      20 |  1047359 |   915727 |    13584    165 |        5 |      254
533.31/533.49	c  533s |      20 |  1051567 |   919427 |    13584    165 |        5 |      254
535.31/535.49	c  535s |      20 |  1055489 |   922827 |    13584    166 |        5 |      254
537.41/537.53	c  537s |      20 |  1059478 |   926427 |    13584    166 |        5 |      254
539.41/539.56	c  539s |      20 |  1063240 |   929827 |    13584    167 |        5 |      254
541.41/541.58	c  541s |      20 |  1066061 |   932327 |    13584    167 |        5 |      254
543.51/543.63	c  543s |      20 |  1069750 |   935627 |    13584    168 |        5 |      254
545.51/545.63	c  545s |      20 |  1073295 |   938827 |    13584    168 |        5 |      254
547.71/547.83	c  547s |      20 |  1076642 |   941827 |    13584    169 |        5 |      254
549.70/549.84	c  549s |      20 |  1080719 |   945227 |    13584    169 |        5 |      254
551.70/551.88	c  551s |      20 |  1084254 |   948027 |    13584    169 |        5 |      254
553.80/553.94	c  553s |      20 |  1088309 |   950827 |    13584    170 |        5 |      254
555.90/556.01	c  555s |      20 |  1091803 |   953627 |    13584    170 |        5 |      254
557.90/558.03	c  557s |      20 |  1094496 |   955927 |    13584    171 |        5 |      254
559.91/560.09	c  559s |      20 |  1098140 |   958927 |    13584    171 |        5 |      254
562.01/562.16	c  562s |      20 |  1101179 |   961427 |    13584    171 |        5 |      254
564.10/564.21	c  564s |      20 |  1104156 |   964027 |    13584    172 |        5 |      254
566.10/566.27	c  566s |      20 |  1107434 |   966527 |    13584    172 |        5 |      254
568.20/568.34	c  568s |      20 |  1110551 |   969327 |    13584    173 |        5 |      254
570.30/570.40	c  570s |      20 |  1114499 |   972927 |    13584    173 |        5 |      254
572.30/572.47	c  572s |      20 |  1117467 |   975727 |    13584    173 |        5 |      254
574.31/574.48	c  574s |      20 |  1119784 |   977827 |    13584    174 |        5 |      254
576.41/576.52	c  576s |      20 |  1123480 |   981127 |    13584    174 |        5 |      254
578.41/578.55	c  578s |      20 |  1126934 |   984227 |    13584    175 |        5 |      254
580.41/580.58	c  580s |      20 |  1130583 |   987427 |    13584    175 |        5 |      254
582.61/582.79	c  582s |      20 |  1133399 |   990027 |    13584    176 |        5 |      254
584.71/584.80	c  584s |      20 |  1137102 |   993327 |    14943    176 |        5 |      254
586.71/586.87	c  586s |      20 |  1140163 |   996027 |    14943    176 |        5 |      254
588.81/588.92	c  588s |      20 |  1143062 |   998727 |    14943    177 |        5 |      254
589.81/589.97	c  589s |      21 |  1144777 |  1000345 |    14943    177 |        5 |      254
591.81/591.99	c  591s |      21 |  1146868 |  1002145 |    14943    177 |        5 |      254
593.80/593.99	c  593s |      21 |  1150384 |  1005245 |    14943    177 |        5 |      254
595.90/596.04	c  595s |      21 |  1154093 |  1008445 |    14943    178 |        5 |      254
597.90/598.04	c  597s |      21 |  1158026 |  1011745 |    14943    178 |        5 |      254
599.90/600.07	c  599s |      21 |  1162008 |  1015245 |    14943    179 |        5 |      254
602.00/602.10	c  601s |      21 |  1165938 |  1018745 |    14943    179 |        5 |      254
604.00/604.10	c  603s |      21 |  1169560 |  1021945 |    14943    180 |        5 |      254
606.00/606.15	c  606s |      21 |  1173796 |  1025745 |    14943    180 |        5 |      254
608.00/608.17	c  608s |      21 |  1175908 |  1027645 |    14943    180 |        5 |      254
610.10/610.23	c  610s |      21 |  1179553 |  1030945 |    14943    181 |        5 |      254
612.10/612.24	c  612s |      21 |  1183014 |  1034045 |    14943    181 |        5 |      254
614.09/614.25	c  614s |      21 |  1186269 |  1036845 |    14943    182 |        5 |      254
616.20/616.30	c  616s |      21 |  1189800 |  1039945 |    14943    182 |        5 |      254
618.21/618.33	c  618s |      21 |  1193086 |  1042845 |    14943    182 |        5 |      254
620.20/620.33	c  620s |      21 |  1196641 |  1045945 |    14943    183 |        5 |      254
622.30/622.40	c  622s |      21 |  1200259 |  1049045 |    14943    183 |        5 |      254
624.30/624.42	c  624s |      21 |  1203922 |  1052345 |    14943    184 |        5 |      254
626.30/626.43	c  626s |      21 |  1207602 |  1055645 |    14943    184 |        5 |      254
628.30/628.45	c  628s |      21 |  1211115 |  1058745 |    14943    185 |        5 |      254
630.40/630.51	c  630s |      21 |  1214919 |  1062145 |    14943    185 |        5 |      254
632.40/632.54	c  632s |      21 |  1218355 |  1065245 |    14943    185 |        5 |      254
634.39/634.59	c  634s |      21 |  1222037 |  1068545 |    14943    186 |        5 |      254
636.49/636.65	c  636s |      21 |  1225665 |  1071745 |    14943    186 |        5 |      254
638.49/638.66	c  638s |      21 |  1229019 |  1074845 |    14943    187 |        5 |      254
640.49/640.68	c  640s |      21 |  1232890 |  1078345 |    14943    187 |        5 |      254
642.59/642.78	c  642s |      21 |  1236032 |  1081245 |    14943    188 |        5 |      254
645.09/645.23	c  645s |      21 |  1236679 |  1081845 |    14943    188 |        5 |      254
647.09/647.24	c  647s |      21 |  1241057 |  1085545 |    14943    188 |        5 |      254
649.09/649.28	c  649s |      21 |  1244592 |  1088645 |    14943    189 |        5 |      254
651.20/651.33	c  651s |      21 |  1248457 |  1092145 |    14943    189 |        5 |      254
653.19/653.36	c  653s |      21 |  1251739 |  1095045 |    14943    189 |        5 |      254
655.19/655.38	c  655s |      21 |  1255468 |  1098345 |    14943    190 |        5 |      254
657.29/657.44	c  657s |      21 |  1258928 |  1101445 |    14943    190 |        5 |      254
659.28/659.48	c  659s |      21 |  1262132 |  1104345 |    14943    191 |        5 |      254
661.38/661.55	c  661s |      21 |  1265702 |  1107645 |    14943    191 |        5 |      254
663.78/663.98	c  663s |      21 |  1267542 |  1109345 |    14943    191 |        5 |      254
665.79/665.98	c  665s |      21 |  1270556 |  1111945 |    14943    192 |        5 |      254
667.89/668.00	c  667s |      21 |  1274531 |  1115445 |    14943    192 |        5 |      254
669.89/670.03	c  669s |      21 |  1277830 |  1118445 |    14943    192 |        5 |      254
671.88/672.05	c  671s |      21 |  1281788 |  1121945 |    14943    193 |        5 |      254
673.98/674.11	c  673s |      21 |  1285557 |  1125345 |    14943    193 |        5 |      254
675.98/676.14	c  676s |      21 |  1289005 |  1128545 |    14943    194 |        5 |      254
677.98/678.19	c  678s |      21 |  1291525 |  1130745 |    14943    194 |        5 |      254
680.08/680.21	c  680s |      21 |  1295096 |  1133845 |    14943    194 |        5 |      254
682.08/682.23	c  682s |      21 |  1298520 |  1136845 |    14943    195 |        5 |      254
684.08/684.27	c  684s |      21 |  1302240 |  1140145 |    14943    195 |        5 |      254
686.08/686.27	c  686s |      21 |  1305524 |  1143045 |    14943    196 |        5 |      254
688.17/688.30	c  688s |      21 |  1309771 |  1146745 |    14943    196 |        5 |      254
690.17/690.30	c  690s |      21 |  1313394 |  1150045 |    14943    197 |        5 |      254
692.17/692.31	c  692s |      21 |  1317321 |  1153545 |    14943    197 |        5 |      254
694.17/694.36	c  694s |      21 |  1320595 |  1156545 |    14943    197 |        5 |      254
696.18/696.37	c  696s |      21 |  1324056 |  1159745 |    14943    198 |        5 |      254
698.27/698.40	c  698s |      21 |  1326168 |  1161645 |    14943    198 |        5 |      254
700.27/700.43	c  700s |      21 |  1329195 |  1164345 |    14943    199 |        5 |      254
702.27/702.48	c  702s |      21 |  1332980 |  1167745 |    14943    199 |        5 |      254
704.37/704.54	c  704s |      21 |  1336396 |  1170845 |    14943    199 |        5 |      254
706.47/706.60	c  706s |      21 |  1339977 |  1174145 |    14943    200 |        5 |      254
708.47/708.64	c  708s |      21 |  1343370 |  1177145 |    14943    200 |        5 |      254
711.57/711.77	c  711s |      21 |  1345355 |  1178945 |    14943    200 |        5 |      254
713.66/713.82	c  713s |      21 |  1348869 |  1181945 |    14943    201 |        5 |      254
715.66/715.87	c  715s |      21 |  1352677 |  1185345 |    14943    201 |        5 |      254
717.76/717.92	c  717s |      21 |  1356216 |  1188445 |    14943    202 |        5 |      254
719.76/719.97	c  719s |      21 |  1359908 |  1191745 |    14943    202 |        5 |      254
721.86/722.04	c  721s |      21 |  1362991 |  1194545 |    14943    203 |        5 |      254
723.86/724.06	c  723s |      21 |  1366840 |  1198045 |    14943    203 |        5 |      254
725.97/726.11	c  726s |      21 |  1369331 |  1200245 |    14943    203 |        5 |      254
727.96/728.14	c  728s |      21 |  1372720 |  1203245 |    14943    204 |        5 |      254
729.96/730.16	c  730s |      21 |  1376112 |  1206345 |    14943    204 |        5 |      254
731.96/732.18	c  732s |      21 |  1379154 |  1209145 |    14943    204 |        5 |      254
733.96/734.20	c  734s |      21 |  1382649 |  1212245 |    14943    205 |        5 |      254
736.06/736.25	c  736s |      21 |  1385445 |  1214745 |    14943    205 |        5 |      254
738.06/738.29	c  738s |      21 |  1388046 |  1217145 |    14943    206 |        5 |      254
740.16/740.33	c  740s |      21 |  1391428 |  1220245 |    14943    206 |        5 |      254
742.16/742.35	c  742s |      21 |  1394536 |  1223145 |    14943    206 |        5 |      254
744.25/744.40	c  744s |      21 |  1396079 |  1224545 |    14943    207 |        5 |      254
746.25/746.41	c  746s |      21 |  1400172 |  1228145 |    14943    207 |        5 |      254
748.25/748.47	c  748s |      21 |  1403583 |  1231245 |    14943    207 |        5 |      254
750.25/750.49	c  750s |      21 |  1406753 |  1234045 |    14943    208 |        5 |      254
752.35/752.52	c  752s |      21 |  1410059 |  1237045 |    14943    208 |        5 |      254
754.45/754.61	c  754s |      21 |  1412894 |  1239645 |    14943    209 |        5 |      254
756.45/756.63	c  756s |      21 |  1414991 |  1241545 |    14943    209 |        5 |      254
758.44/758.69	c  758s |      21 |  1418672 |  1244845 |    14943    209 |        5 |      254
760.54/760.71	c  760s |      21 |  1422021 |  1247845 |    14943    210 |        5 |      254
762.54/762.76	c  762s |      21 |  1425311 |  1250445 |    14943    210 |        5 |      254
764.64/764.82	c  764s |      21 |  1428193 |  1252845 |    14943    210 |        5 |      254
766.65/766.87	c  766s |      21 |  1430656 |  1255145 |    14943    211 |        5 |      254
768.75/768.91	c  768s |      21 |  1433705 |  1257945 |    14943    211 |        5 |      254
770.74/770.97	c  770s |      21 |  1436440 |  1260445 |    14943    211 |        5 |      254
772.84/773.01	c  772s |      21 |  1439311 |  1262945 |    14943    212 |        5 |      254
774.84/775.01	c  774s |      21 |  1442571 |  1265945 |    14943    212 |        5 |      254
776.84/777.05	c  776s |      21 |  1445484 |  1268645 |    14943    212 |        5 |      254
779.34/779.52	c  779s |      21 |  1448288 |  1271245 |    14943    213 |        5 |      254
781.34/781.53	c  781s |      21 |  1451906 |  1274545 |    14943    213 |        5 |      254
783.33/783.56	c  783s |      21 |  1455170 |  1277445 |    14943    214 |        5 |      254
785.43/785.62	c  785s |      21 |  1458630 |  1280645 |    14943    214 |        5 |      254
787.44/787.68	c  787s |      21 |  1462068 |  1283545 |    14943    214 |        5 |      254
789.53/789.70	c  789s |      21 |  1464648 |  1285945 |    14943    215 |        5 |      254
791.53/791.74	c  791s |      21 |  1467766 |  1288845 |    14943    215 |        5 |      254
793.63/793.84	c  793s |      21 |  1470425 |  1291345 |    14943    215 |        5 |      254
795.63/795.86	c  795s |      21 |  1473379 |  1294045 |    14943    216 |        5 |      254
797.73/797.92	c  797s |      21 |  1476791 |  1297145 |    14943    216 |        5 |      254
799.93/800.18	c  800s |      21 |  1479488 |  1299645 |    14943    216 |        5 |      254
802.04/802.22	c  802s |      21 |  1482471 |  1302345 |    14943    217 |        5 |      254
804.04/804.24	c  804s |      21 |  1485480 |  1305145 |    14943    217 |        5 |      254
806.04/806.26	c  806s |      21 |  1488301 |  1307745 |    14943    218 |        5 |      254
808.03/808.28	c  808s |      21 |  1491403 |  1310545 |    14943    218 |        5 |      254
810.13/810.30	c  810s |      21 |  1494460 |  1313345 |    14943    218 |        5 |      254
812.13/812.35	c  812s |      21 |  1497213 |  1315845 |    14943    219 |        5 |      254
814.13/814.37	c  814s |      21 |  1500265 |  1318645 |    14943    219 |        5 |      254
816.23/816.40	c  816s |      21 |  1503404 |  1321245 |    14943    219 |        5 |      254
818.23/818.43	c  818s |      21 |  1505887 |  1323545 |    14943    220 |        5 |      254
820.23/820.49	c  820s |      21 |  1508953 |  1326245 |    14943    220 |        5 |      254
822.33/822.52	c  822s |      21 |  1511327 |  1328345 |    14943    220 |        5 |      254
824.32/824.57	c  824s |      21 |  1514382 |  1331045 |    14943    221 |        5 |      254
826.42/826.61	c  826s |      21 |  1518200 |  1334345 |    14943    221 |        5 |      254
828.42/828.66	c  828s |      21 |  1521655 |  1337445 |    14943    221 |        5 |      254
830.62/830.81	c  830s |      21 |  1524818 |  1340345 |    14943    222 |        5 |      254
832.63/832.84	c  832s |      21 |  1528538 |  1343645 |    14943    222 |        5 |      254
834.62/834.86	c  834s |      21 |  1531498 |  1346345 |    14943    223 |        5 |      254
836.62/836.89	c  836s |      21 |  1534987 |  1349545 |    14943    223 |        5 |      254
838.71/838.94	c  838s |      21 |  1538115 |  1352445 |    14943    223 |        5 |      254
840.71/840.95	c  840s |      21 |  1540399 |  1354545 |    14943    224 |        5 |      254
842.71/842.98	c  842s |      21 |  1544100 |  1357845 |    14943    224 |        5 |      254
844.81/845.06	c  844s |      21 |  1547176 |  1360645 |    14943    225 |        5 |      254
846.82/847.06	c  846s |      21 |  1549994 |  1363145 |    14943    225 |        5 |      254
848.91/849.11	c  849s |      21 |  1553919 |  1366645 |    14943    225 |        5 |      254
850.91/851.15	c  851s |      21 |  1557596 |  1369945 |    14943    226 |        5 |      254
853.01/853.21	c  853s |      21 |  1561131 |  1373145 |    14943    226 |        5 |      254
855.01/855.22	c  855s |      21 |  1564114 |  1375845 |    14943    227 |        5 |      254
857.00/857.26	c  857s |      21 |  1567647 |  1379045 |    14943    227 |        5 |      254
859.01/859.27	c  859s |      21 |  1570820 |  1381945 |    14943    227 |        5 |      254
861.11/861.32	c  861s |      21 |  1573837 |  1384745 |    14943    228 |        5 |      254
863.11/863.34	c  863s |      21 |  1576502 |  1387145 |    14943    228 |        5 |      254
865.11/865.36	c  865s |      21 |  1579839 |  1390145 |    14943    228 |        5 |      254
867.11/867.37	c  867s |      21 |  1582975 |  1393045 |    14943    229 |        5 |      254
869.11/869.38	c  869s |      21 |  1586510 |  1396245 |    14943    229 |        5 |      254
871.21/871.42	c  871s |      21 |  1589147 |  1398645 |    14943    230 |        5 |      254
873.21/873.47	c  873s |      21 |  1592710 |  1401945 |    14943    230 |        5 |      254
875.21/875.49	c  875s |      21 |  1595892 |  1404845 |    14943    230 |        5 |      254
877.31/877.55	c  877s |      21 |  1598876 |  1407645 |    14943    231 |        5 |      254
879.31/879.58	c  879s |      21 |  1601967 |  1410545 |    14943    231 |        5 |      254
881.41/881.60	c  881s |      21 |  1604811 |  1413145 |    14943    231 |        5 |      254
883.40/883.61	c  883s |      21 |  1606704 |  1414845 |    14943    232 |        5 |      254
885.41/885.62	c  885s |      21 |  1611164 |  1418745 |    14943    232 |        5 |      254
887.40/887.63	c  887s |      21 |  1614549 |  1421745 |    14943    233 |        5 |      254
889.40/889.67	c  889s |      21 |  1618485 |  1425245 |    14943    233 |        5 |      254
891.50/891.72	c  891s |      21 |  1621854 |  1428345 |    14943    233 |        5 |      254
893.50/893.77	c  893s |      21 |  1624525 |  1430745 |    14943    234 |        5 |      254
895.60/895.83	c  895s |      21 |  1628231 |  1433945 |    14943    234 |        5 |      254
897.59/897.84	c  897s |      21 |  1631712 |  1437045 |    14943    235 |        5 |      254
899.60/899.89	c  899s |      21 |  1635078 |  1440145 |    14943    235 |        5 |      254
901.69/901.91	c  901s |      21 |  1638312 |  1443145 |    14943    235 |        5 |      254
903.69/903.95	c  903s |      21 |  1641930 |  1446445 |    14943    236 |        5 |      254
905.69/905.97	c  905s |      21 |  1645581 |  1449745 |    14943    236 |        5 |      254
907.69/907.98	c  907s |      21 |  1648725 |  1452645 |    14943    237 |        5 |      254
909.69/909.99	c  909s |      21 |  1652342 |  1455945 |    14943    237 |        5 |      254
911.79/912.03	c  911s |      21 |  1655364 |  1458745 |    14943    237 |        5 |      254
913.80/914.03	c  913s |      21 |  1658049 |  1461145 |    14943    238 |        5 |      254
915.79/916.06	c  915s |      21 |  1661765 |  1464445 |    14943    238 |        5 |      254
917.79/918.07	c  917s |      21 |  1664995 |  1467345 |    14943    239 |        5 |      254
919.79/920.09	c  919s |      21 |  1668750 |  1470745 |    14943    239 |        5 |      254
921.89/922.15	c  922s |      21 |  1672156 |  1473845 |    14943    239 |        5 |      254
924.19/924.42	c  924s |      21 |  1674210 |  1475645 |    14943    240 |        5 |      254
926.19/926.46	c  926s |      21 |  1678128 |  1479145 |    14943    240 |        5 |      254
928.29/928.51	c  928s |      21 |  1681650 |  1482345 |    14943    241 |        5 |      254
930.28/930.53	c  930s |      21 |  1685447 |  1485845 |    14943    241 |        5 |      254
932.28/932.58	c  932s |      21 |  1688934 |  1488945 |    14943    241 |        5 |      254
934.38/934.60	c  934s |      21 |  1692031 |  1491645 |    16438    242 |        5 |      254
936.38/936.61	c  936s |      21 |  1695951 |  1495145 |    16438    242 |        5 |      254
938.38/938.62	c  938s |      21 |  1699091 |  1498045 |    16438    242 |        5 |      254
939.98/940.27	c  940s |      22 |  1701882 |  1500622 |    16438    243 |        5 |      254
942.08/942.35	c  942s |      22 |  1705273 |  1503722 |    16438    243 |        5 |      254
944.18/944.42	c  944s |      22 |  1707902 |  1506122 |    16438    243 |        5 |      254
946.18/946.49	c  946s |      22 |  1710766 |  1508722 |    16438    244 |        5 |      254
948.27/948.54	c  948s |      22 |  1714143 |  1511822 |    16438    244 |        5 |      254
950.28/950.58	c  950s |      22 |  1717171 |  1514622 |    16438    244 |        5 |      254
952.38/952.63	c  952s |      22 |  1720419 |  1517522 |    16438    245 |        5 |      254
954.37/954.69	c  954s |      22 |  1723716 |  1520522 |    16438    245 |        5 |      254
956.47/956.72	c  956s |      22 |  1726590 |  1523122 |    16438    246 |        5 |      254
958.48/958.75	c  958s |      22 |  1729084 |  1525222 |    16438    246 |        5 |      254
960.57/960.82	c  960s |      22 |  1732874 |  1528622 |    16438    246 |        5 |      254
962.57/962.85	c  962s |      22 |  1736158 |  1531522 |    16438    247 |        5 |      254
964.58/964.86	c  964s |      22 |  1739664 |  1534622 |    16438    247 |        5 |      254
966.68/966.93	c  966s |      22 |  1742984 |  1537622 |    16438    247 |        5 |      254
968.67/968.95	c  968s |      22 |  1746089 |  1540422 |    16438    248 |        5 |      254
970.77/971.00	c  970s |      22 |  1749783 |  1543822 |    16438    248 |        5 |      254
972.77/973.06	c  972s |      22 |  1752927 |  1546722 |    16438    248 |        5 |      254
976.16/976.47	c  976s |      22 |  1755909 |  1549422 |    16438    249 |        5 |      254
978.26/978.52	c  978s |      22 |  1759395 |  1552622 |    16438    249 |        5 |      254
980.26/980.57	c  980s |      22 |  1762397 |  1555422 |    16438    249 |        5 |      254
982.36/982.65	c  982s |      22 |  1765480 |  1558222 |    16438    250 |        5 |      254
984.36/984.68	c  984s |      22 |  1768581 |  1561022 |    16438    250 |        5 |      254
986.46/986.71	c  986s |      22 |  1771826 |  1563822 |    16438    250 |        5 |      254
988.45/988.72	c  988s |      22 |  1774685 |  1566322 |    16438    251 |        5 |      254
990.45/990.73	c  990s |      22 |  1777766 |  1569122 |    16438    251 |        5 |      254
992.45/992.73	c  992s |      22 |  1780791 |  1571822 |    16438    251 |        5 |      254
994.45/994.75	c  994s |      22 |  1783713 |  1574522 |    16438    252 |        5 |      254
996.55/996.80	c  996s |      22 |  1787069 |  1577322 |    16438    252 |        5 |      254
998.56/998.82	c  998s |      22 |  1789842 |  1579822 |    16438    252 |        5 |      254
1000.55/1000.84	c 1000s |      22 |  1792785 |  1582422 |    16438    253 |        5 |      254
1002.55/1002.84	c 1002s |      22 |  1795868 |  1585122 |    16438    253 |        5 |      254
1004.55/1004.85	c 1004s |      22 |  1799054 |  1587622 |    16438    253 |        5 |      254
1006.55/1006.86	c 1006s |      22 |  1801403 |  1589722 |    16438    254 |        5 |      254
1008.65/1008.90	c 1008s |      22 |  1802921 |  1591022 |    16438    254 |        5 |      254
1010.66/1010.91	c 1010s |      22 |  1806428 |  1594022 |    16438    254 |        5 |      254
1012.65/1012.92	c 1012s |      22 |  1809359 |  1596622 |    16438    254 |        5 |      254
1014.65/1014.97	c 1014s |      22 |  1812386 |  1599322 |    16438    255 |        5 |      254
1016.75/1017.01	c 1016s |      22 |  1815969 |  1602422 |    16438    255 |        5 |      254
1018.75/1019.01	c 1018s |      22 |  1818895 |  1605022 |    16438    255 |        5 |      254
1020.74/1021.03	c 1020s |      22 |  1821652 |  1607422 |    16438    256 |        5 |      254
1022.75/1023.09	c 1022s |      22 |  1825813 |  1611022 |    16438    256 |        5 |      254
1024.84/1025.11	c 1024s |      22 |  1829039 |  1613922 |    16438    256 |        5 |      254
1026.84/1027.15	c 1027s |      22 |  1832951 |  1617422 |    16438    257 |        5 |      254
1028.84/1029.18	c 1029s |      22 |  1835935 |  1620122 |    16438    257 |        5 |      254
1031.14/1031.48	c 1031s |      22 |  1838609 |  1622622 |    16438    258 |        5 |      254
1033.24/1033.55	c 1033s |      22 |  1842486 |  1625622 |    16438    258 |        5 |      254
1035.34/1035.61	c 1035s |      22 |  1845591 |  1628422 |    16438    258 |        5 |      254
1037.34/1037.66	c 1037s |      22 |  1848147 |  1630722 |    16438    258 |        5 |      254
1039.34/1039.68	c 1039s |      22 |  1851085 |  1633422 |    16438    259 |        5 |      254
1041.34/1041.69	c 1041s |      22 |  1853640 |  1635822 |    16438    259 |        5 |      254
1043.44/1043.71	c 1043s |      22 |  1856202 |  1638222 |    16438    259 |        5 |      254
1045.44/1045.78	c 1045s |      22 |  1858762 |  1640622 |    16438    260 |        5 |      254
1047.53/1047.80	c 1047s |      22 |  1861942 |  1643322 |    16438    260 |        5 |      254
1049.53/1049.85	c 1049s |      22 |  1864576 |  1645322 |    16438    260 |        5 |      254
1051.53/1051.85	c 1051s |      22 |  1867066 |  1647622 |    16438    261 |        5 |      254
1053.54/1053.90	c 1053s |      22 |  1870110 |  1650422 |    16438    261 |        5 |      254
1055.63/1055.95	c 1055s |      22 |  1872895 |  1653022 |    16438    261 |        5 |      254
1057.73/1058.02	c 1057s |      22 |  1875321 |  1655222 |    16438    261 |        5 |      254
1059.73/1060.05	c 1059s |      22 |  1878499 |  1658122 |    16438    262 |        5 |      254
1061.82/1062.11	c 1062s |      22 |  1881905 |  1661222 |    16438    262 |        5 |      254
1063.92/1064.22	c 1064s |      22 |  1884720 |  1663822 |    16438    262 |        5 |      254
1065.92/1066.24	c 1066s |      22 |  1887528 |  1666422 |    16438    263 |        5 |      254
1068.02/1068.31	c 1068s |      22 |  1890872 |  1669322 |    16438    263 |        5 |      254
1070.03/1070.34	c 1070s |      22 |  1893389 |  1671722 |    16438    263 |        5 |      254
1072.12/1072.40	c 1072s |      22 |  1894444 |  1672722 |    16438    264 |        5 |      254
1074.12/1074.43	c 1074s |      22 |  1898359 |  1676222 |    16438    264 |        5 |      254
1076.12/1076.49	c 1076s |      22 |  1901731 |  1679222 |    16438    264 |        5 |      254
1078.21/1078.53	c 1078s |      22 |  1904733 |  1681922 |    16438    265 |        5 |      254
1080.21/1080.55	c 1080s |      22 |  1908273 |  1685122 |    16438    265 |        5 |      254
1082.22/1082.59	c 1082s |      22 |  1911294 |  1687922 |    16438    265 |        5 |      254
1084.21/1084.60	c 1084s |      22 |  1914971 |  1691022 |    16438    266 |        5 |      254
1086.31/1086.65	c 1086s |      22 |  1918862 |  1694122 |    16438    266 |        5 |      254
1088.40/1088.72	c 1088s |      22 |  1921479 |  1696422 |    16438    266 |        5 |      254
1090.80/1091.12	c 1091s |      22 |  1922567 |  1697422 |    16438    267 |        5 |      254
1092.80/1093.17	c 1093s |      22 |  1926628 |  1700922 |    16438    267 |        5 |      254
1094.91/1095.20	c 1095s |      22 |  1929598 |  1703622 |    16438    267 |        5 |      254
1096.91/1097.24	c 1097s |      22 |  1932411 |  1706122 |    16438    268 |        5 |      254
1099.01/1099.33	c 1099s |      22 |  1936608 |  1709722 |    16438    268 |        5 |      254
1101.00/1101.37	c 1101s |      22 |  1939889 |  1712622 |    16438    268 |        5 |      254
1103.01/1103.38	c 1103s |      22 |  1943108 |  1715522 |    16438    269 |        5 |      254
1105.10/1105.43	c 1105s |      22 |  1946512 |  1718622 |    16438    269 |        5 |      254
1107.10/1107.46	c 1107s |      22 |  1949629 |  1721422 |    16438    269 |        5 |      254
1109.20/1109.51	c 1109s |      22 |  1953718 |  1724822 |    16438    270 |        5 |      254
1111.20/1111.55	c 1111s |      22 |  1957533 |  1727922 |    16438    270 |        5 |      254
1113.20/1113.59	c 1113s |      22 |  1960362 |  1730222 |    16438    270 |        5 |      254
1115.30/1115.63	c 1115s |      22 |  1963641 |  1733022 |    16438    271 |        5 |      254
1117.30/1117.64	c 1117s |      22 |  1966904 |  1735722 |    16438    271 |        5 |      254
1119.39/1119.72	c 1119s |      22 |  1969676 |  1738122 |    16438    271 |        5 |      254
1121.49/1121.80	c 1121s |      22 |  1972301 |  1740522 |    16438    272 |        5 |      254
1123.69/1124.06	c 1123s |      22 |  1973302 |  1741422 |    16438    272 |        5 |      254
1125.69/1126.07	c 1125s |      22 |  1976360 |  1744122 |    16438    272 |        5 |      254
1127.69/1128.08	c 1127s |      22 |  1979275 |  1746822 |    16438    272 |        5 |      254
1129.79/1130.12	c 1130s |      22 |  1982753 |  1749922 |    16438    273 |        5 |      254
1131.79/1132.14	c 1132s |      22 |  1986061 |  1752822 |    16438    273 |        5 |      254
1133.80/1134.17	c 1134s |      22 |  1989253 |  1755622 |    16438    274 |        5 |      254
1135.89/1136.20	c 1136s |      22 |  1992865 |  1758922 |    16438    274 |        5 |      254
1137.89/1138.21	c 1138s |      22 |  1995899 |  1761722 |    16438    274 |        5 |      254
1139.89/1140.23	c 1140s |      22 |  1999495 |  1764622 |    16438    275 |        5 |      254
1141.99/1142.30	c 1142s |      22 |  2002942 |  1767722 |    16438    275 |        5 |      254
1143.99/1144.36	c 1144s |      22 |  2006675 |  1770622 |    16438    275 |        5 |      254
1146.28/1146.62	c 1146s |      22 |  2009690 |  1772922 |    16438    276 |        5 |      254
1148.28/1148.63	c 1148s |      22 |  2012939 |  1775822 |    16438    276 |        5 |      254
1150.29/1150.69	c 1150s |      22 |  2015946 |  1778522 |    16438    276 |        5 |      254
1152.38/1152.72	c 1152s |      22 |  2018213 |  1780622 |    16438    277 |        5 |      254
1154.38/1154.74	c 1154s |      22 |  2022069 |  1783822 |    16438    277 |        5 |      254
1156.38/1156.78	c 1156s |      22 |  2025150 |  1786522 |    16438    277 |        5 |      254
1158.48/1158.82	c 1158s |      22 |  2026387 |  1787622 |    16438    277 |        8 |      319
1160.48/1160.85	c 1160s |      22 |  2030833 |  1791522 |    16438    277 |        8 |      319
1162.58/1162.90	c 1162s |      22 |  2035085 |  1795322 |    16438    277 |        8 |      319
1164.58/1164.94	c 1164s |      22 |  2038515 |  1798422 |    16438    277 |        8 |      319
1166.58/1166.98	c 1166s |      22 |  2041711 |  1801322 |    16438    278 |        8 |      319
1168.57/1168.99	c 1168s |      22 |  2045204 |  1804522 |    16438    278 |        8 |      319
1170.67/1171.01	c 1170s |      22 |  2048449 |  1807522 |    16438    278 |        8 |      319
1172.67/1173.01	c 1172s |      22 |  2051851 |  1810622 |    16438    279 |        8 |      319
1174.67/1175.02	c 1174s |      22 |  2054557 |  1812922 |    16438    279 |        8 |      319
1176.68/1177.04	c 1176s |      22 |  2057911 |  1815922 |    16438    279 |        8 |      319
1178.67/1179.05	c 1178s |      22 |  2061685 |  1819322 |    16438    280 |        8 |      319
1180.67/1181.09	c 1180s |      22 |  2065627 |  1822722 |    16438    280 |        8 |      319
1183.07/1183.45	c 1183s |      22 |  2068796 |  1825522 |    16438    281 |        8 |      319
1185.07/1185.49	c 1185s |      22 |  2072467 |  1828822 |    16438    281 |        8 |      319
1187.17/1187.52	c 1187s |      22 |  2076080 |  1832122 |    16438    281 |        8 |      319
1189.17/1189.57	c 1189s |      22 |  2079722 |  1835422 |    16438    282 |        8 |      319
1191.26/1191.64	c 1191s |      22 |  2083133 |  1838622 |    16438    282 |        8 |      319
1193.27/1193.66	c 1193s |      22 |  2086392 |  1841422 |    16438    282 |        8 |      319
1195.26/1195.69	c 1195s |      22 |  2089728 |  1844422 |    16438    283 |        8 |      319
1197.36/1197.72	c 1197s |      22 |  2093519 |  1847822 |    16438    283 |        8 |      319
1199.46/1199.84	c 1199s |      22 |  2096076 |  1850122 |    16438    284 |        8 |      319
1201.46/1201.87	c 1201s |      22 |  2100220 |  1853922 |    16438    284 |        8 |      319
1203.56/1203.91	c 1203s |      22 |  2103751 |  1857122 |    16438    284 |        8 |      319
1205.56/1205.93	c 1205s |      22 |  2107334 |  1860422 |    16438    285 |        8 |      319
1207.57/1207.96	c 1207s |      22 |  2110820 |  1863622 |    16438    285 |        8 |      319
1209.67/1210.01	c 1209s |      22 |  2113983 |  1866522 |    16438    285 |        8 |      319
1211.66/1212.02	c 1211s |      22 |  2117113 |  1869422 |    16438    286 |        8 |      319
1213.66/1214.03	c 1213s |      22 |  2120421 |  1872522 |    16438    286 |        8 |      319
1215.66/1216.05	c 1215s |      22 |  2123341 |  1875222 |    16438    287 |        8 |      319
1218.26/1218.68	c 1218s |      22 |  2123677 |  1875522 |    16438    287 |        8 |      319
1220.36/1220.70	c 1220s |      22 |  2127895 |  1879322 |    16438    287 |        8 |      319
1222.36/1222.72	c 1222s |      22 |  2131455 |  1882522 |    16438    287 |        8 |      319
1224.36/1224.76	c 1224s |      22 |  2134670 |  1885522 |    16438    288 |        8 |      319
1226.46/1226.82	c 1226s |      22 |  2138402 |  1888922 |    16438    288 |        8 |      319
1228.66/1229.01	c 1228s |      22 |  2141351 |  1891622 |    16438    289 |        8 |      319
1230.66/1231.01	c 1230s |      22 |  2145221 |  1895022 |    16438    289 |        8 |      319
1232.66/1233.03	c 1232s |      22 |  2148949 |  1898022 |    16438    289 |        8 |      319
1234.66/1235.06	c 1234s |      22 |  2151883 |  1900722 |    16438    290 |        8 |      319
1236.76/1237.10	c 1236s |      22 |  2154801 |  1903422 |    16438    290 |        8 |      319
1238.76/1239.14	c 1239s |      22 |  2157712 |  1906122 |    16438    290 |        8 |      319
1240.76/1241.17	c 1241s |      22 |  2160030 |  1908322 |    16438    291 |        8 |      319
1242.96/1243.33	c 1243s |      22 |  2162195 |  1909822 |    16438    291 |        8 |      319
1245.06/1245.40	c 1245s |      22 |  2166574 |  1913122 |    16438    291 |        8 |      319
1247.06/1247.44	c 1247s |      22 |  2169931 |  1915722 |    16438    291 |        8 |      319
1249.05/1249.48	c 1249s |      22 |  2172649 |  1918022 |    16438    292 |        8 |      319
1251.15/1251.54	c 1251s |      22 |  2175727 |  1920422 |    16438    292 |        8 |      319
1253.25/1253.62	c 1253s |      22 |  2178514 |  1922622 |    16438    292 |        8 |      319
1255.35/1255.73	c 1255s |      22 |  2181054 |  1924622 |    16438    292 |        8 |      319
1257.35/1257.77	c 1257s |      22 |  2183546 |  1926922 |    16438    293 |        8 |      319
1259.35/1259.77	c 1259s |      22 |  2186150 |  1929322 |    16438    293 |        8 |      319
1261.46/1261.82	c 1261s |      22 |  2188785 |  1931722 |    16438    293 |        8 |      319
1263.45/1263.87	c 1263s |      22 |  2192025 |  1934622 |    16438    294 |        8 |      319
1265.45/1265.89	c 1265s |      22 |  2195649 |  1937922 |    16438    294 |        8 |      319
1267.55/1267.92	c 1267s |      22 |  2198799 |  1940822 |    16438    294 |        8 |      319
1269.55/1269.98	c 1269s |      22 |  2201517 |  1943322 |    16438    295 |        8 |      319
1271.65/1272.03	c 1271s |      22 |  2204989 |  1946522 |    16438    295 |        8 |      319
1273.75/1274.12	c 1274s |      22 |  2207711 |  1948922 |    16438    295 |        8 |      319
1275.75/1276.12	c 1276s |      22 |  2211038 |  1951422 |    16438    296 |        8 |      319
1277.74/1278.18	c 1278s |      22 |  2214716 |  1954322 |    16438    296 |        8 |      319
1279.84/1280.23	c 1280s |      22 |  2217532 |  1956822 |    16438    296 |        8 |      319
1281.84/1282.26	c 1282s |      22 |  2220249 |  1959122 |    16438    297 |        8 |      319
1283.84/1284.28	c 1284s |      22 |  2223618 |  1961822 |    16438    297 |        8 |      319
1285.94/1286.32	c 1286s |      22 |  2226620 |  1964222 |    16438    297 |        8 |      319
1287.94/1288.33	c 1288s |      22 |  2229247 |  1966222 |    16438    297 |        8 |      319
1289.94/1290.35	c 1290s |      22 |  2231810 |  1968422 |    16438    298 |        8 |      319
1291.94/1292.39	c 1292s |      22 |  2234735 |  1970922 |    16438    298 |        8 |      319
1294.04/1294.41	c 1294s |      22 |  2237386 |  1973222 |    16438    298 |        8 |      319
1296.03/1296.46	c 1296s |      22 |  2239885 |  1975322 |    16438    299 |        8 |      319
1298.13/1298.54	c 1298s |      22 |  2243276 |  1978322 |    16438    299 |        8 |      319
1300.23/1300.63	c 1300s |      22 |  2246536 |  1980822 |    16438    299 |        8 |      319
1302.83/1303.22	c 1303s |      22 |  2249594 |  1983122 |    16438    300 |        8 |      319
1304.83/1305.23	c 1305s |      22 |  2253496 |  1986022 |    16438    300 |        8 |      319
1306.83/1307.23	c 1307s |      22 |  2256954 |  1988422 |    16438    300 |        8 |      319
1308.92/1309.30	c 1309s |      22 |  2260250 |  1990922 |    16438    300 |        8 |      319
1310.93/1311.33	c 1311s |      22 |  2262271 |  1992722 |    16438    301 |        8 |      319
1312.92/1313.37	c 1313s |      22 |  2265890 |  1996022 |    16438    301 |        8 |      319
1315.02/1315.40	c 1315s |      22 |  2269375 |  1998922 |    16438    301 |        8 |      319
1317.02/1317.45	c 1317s |      22 |  2273439 |  2002022 |    16438    302 |        8 |      319
1319.02/1319.48	c 1319s |      22 |  2276592 |  2004622 |    16438    302 |        8 |      319
1321.12/1321.52	c 1321s |      22 |  2279208 |  2006922 |    16438    302 |        8 |      319
1323.12/1323.52	c 1323s |      22 |  2282702 |  2009622 |    16438    303 |        8 |      319
1325.12/1325.56	c 1325s |      22 |  2286156 |  2012622 |    16438    303 |        8 |      319
1327.22/1327.62	c 1327s |      22 |  2289225 |  2015222 |    16438    303 |        8 |      319
1329.22/1329.66	c 1329s |      22 |  2291623 |  2017222 |    16438    304 |        8 |      319
1331.22/1331.67	c 1331s |      22 |  2295389 |  2020622 |    16438    304 |        8 |      319
1333.42/1333.83	c 1333s |      22 |  2297881 |  2022922 |    16438    304 |       13 |      388
1335.42/1335.83	c 1335s |      22 |  2301529 |  2025822 |    16438    304 |       13 |      388
1337.42/1337.89	c 1337s |      22 |  2305744 |  2029522 |    16438    304 |       13 |      388
1339.53/1339.95	c 1339s |      22 |  2309175 |  2032622 |    16438    304 |       13 |      388
1341.52/1341.99	c 1341s |      22 |  2311900 |  2035122 |    16438    304 |       13 |      388
1343.62/1344.02	c 1343s |      22 |  2315154 |  2038122 |    16438    305 |       13 |      388
1345.62/1346.04	c 1345s |      22 |  2318682 |  2041222 |    16438    305 |       13 |      388
1347.72/1348.14	c 1348s |      22 |  2321738 |  2043822 |    16438    305 |       13 |      388
1349.72/1350.16	c 1350s |      22 |  2325138 |  2046422 |    16438    306 |       13 |      388
1351.72/1352.16	c 1352s |      22 |  2327636 |  2048522 |    16438    306 |       13 |      388
1353.73/1354.18	c 1354s |      22 |  2331045 |  2051222 |    16438    306 |       13 |      388
1355.82/1356.20	c 1356s |      22 |  2333743 |  2053422 |    16438    307 |       13 |      388
1357.82/1358.23	c 1358s |      22 |  2337362 |  2056422 |    16438    307 |       13 |      388
1359.82/1360.25	c 1360s |      22 |  2340668 |  2059122 |    16438    307 |       13 |      388
1361.82/1362.27	c 1362s |      22 |  2343270 |  2061322 |    16438    308 |       13 |      388
1363.82/1364.29	c 1364s |      22 |  2346549 |  2064022 |    16438    308 |       13 |      388
1365.92/1366.36	c 1366s |      22 |  2349677 |  2066522 |    16438    308 |       13 |      388
1367.92/1368.39	c 1368s |      22 |  2352545 |  2068822 |    16438    308 |       13 |      388
1369.92/1370.39	c 1370s |      22 |  2355240 |  2071122 |    16438    309 |       13 |      388
1372.02/1372.41	c 1372s |      22 |  2358328 |  2073622 |    16438    309 |       13 |      388
1374.02/1374.47	c 1374s |      22 |  2361338 |  2075822 |    16438    309 |       13 |      388
1376.01/1376.47	c 1376s |      22 |  2363607 |  2077622 |    16438    310 |       13 |      388
1378.11/1378.50	c 1378s |      22 |  2366842 |  2080322 |    16438    310 |       13 |      388
1380.12/1380.55	c 1380s |      22 |  2370037 |  2082722 |    16438    310 |       13 |      388
1382.21/1382.61	c 1382s |      22 |  2372219 |  2084722 |    16438    310 |       13 |      388
1384.21/1384.63	c 1384s |      22 |  2375109 |  2087122 |    16438    311 |       13 |      388
1386.31/1386.71	c 1386s |      22 |  2378620 |  2089722 |    16438    311 |       13 |      388
1388.31/1388.76	c 1388s |      22 |  2381738 |  2091922 |    16438    311 |       13 |      388
1390.41/1390.80	c 1390s |      22 |  2384156 |  2093722 |    16438    311 |       13 |      388
1392.41/1392.80	c 1392s |      22 |  2386954 |  2095822 |    16438    312 |       13 |      388
1394.41/1394.88	c 1394s |      22 |  2389830 |  2098022 |    16438    312 |       13 |      388
1396.51/1396.90	c 1396s |      22 |  2391668 |  2099722 |    16438    312 |       13 |      388
1398.51/1398.98	c 1398s |      22 |  2394212 |  2102122 |    16438    312 |       13 |      388
1400.61/1401.01	c 1400s |      22 |  2396997 |  2104722 |    16438    313 |       13 |      388
1402.61/1403.08	c 1402s |      22 |  2401022 |  2107922 |    16438    313 |       13 |      388
1404.61/1405.09	c 1404s |      22 |  2403804 |  2110222 |    16438    313 |       13 |      388
1406.81/1407.21	c 1407s |      22 |  2406829 |  2112622 |    16438    314 |       13 |      388
1408.91/1409.30	c 1409s |      22 |  2409868 |  2115222 |    16438    314 |       13 |      388
1410.92/1411.32	c 1411s |      22 |  2412215 |  2117322 |    16438    314 |       13 |      388
1412.91/1413.35	c 1413s |      22 |  2415063 |  2119422 |    16438    315 |       13 |      388
1414.91/1415.39	c 1415s |      22 |  2417705 |  2121622 |    16438    315 |       13 |      388
1417.01/1417.42	c 1417s |      22 |  2420229 |  2123822 |    16438    315 |       13 |      388
1419.01/1419.46	c 1419s |      22 |  2422653 |  2126022 |    16438    315 |       13 |      388
1421.01/1421.49	c 1421s |      22 |  2425619 |  2128322 |    16438    316 |       13 |      388
1423.12/1423.51	c 1423s |      22 |  2428936 |  2130922 |    16438    316 |       13 |      388
1425.11/1425.54	c 1425s |      22 |  2431241 |  2132822 |    16438    316 |       13 |      388
1427.21/1427.64	c 1427s |      22 |  2433315 |  2134422 |    16438    316 |       13 |      388
1429.31/1429.70	c 1429s |      22 |  2435973 |  2136622 |    16438    317 |       13 |      388
1431.31/1431.75	c 1431s |      22 |  2439343 |  2139122 |    16438    317 |       13 |      388
1433.31/1433.76	c 1433s |      22 |  2442220 |  2141322 |    16438    317 |       13 |      388
1435.41/1435.84	c 1435s |      22 |  2445252 |  2143722 |    16438    317 |       13 |      388
1437.51/1437.92	c 1437s |      22 |  2448392 |  2146222 |    16438    318 |       13 |      388
1439.51/1439.95	c 1439s |      22 |  2451368 |  2148622 |    16438    318 |       13 |      388
1441.61/1442.04	c 1441s |      22 |  2454582 |  2150922 |    16438    318 |       13 |      388
1443.61/1444.08	c 1443s |      22 |  2456746 |  2152622 |    16438    319 |       13 |      388
1445.71/1446.14	c 1446s |      22 |  2460448 |  2155222 |    16438    319 |       13 |      388
1447.70/1448.17	c 1448s |      22 |  2462723 |  2157122 |    16438    319 |       13 |      388
1449.80/1450.20	c 1450s |      22 |  2465271 |  2159222 |    16438    319 |       13 |      388
1451.80/1452.20	c 1452s |      22 |  2468374 |  2161422 |    16438    320 |       13 |      388
1453.81/1454.28	c 1454s |      22 |  2472187 |  2164322 |    16438    320 |       13 |      388
1455.80/1456.29	c 1456s |      22 |  2474452 |  2166422 |    16438    320 |       13 |      388
1457.90/1458.30	c 1458s |      22 |  2477448 |  2168522 |    16438    320 |       13 |      388
1459.90/1460.36	c 1460s |      22 |  2480538 |  2170822 |    16438    321 |       13 |      388
1461.90/1462.39	c 1462s |      22 |  2483652 |  2173222 |    16438    321 |       13 |      388
1464.00/1464.44	c 1464s |      22 |  2486622 |  2175622 |    16438    321 |       13 |      388
1466.20/1466.67	c 1466s |      22 |  2488877 |  2177422 |    16438    322 |       13 |      388
1468.30/1468.73	c 1468s |      22 |  2492182 |  2180122 |    16438    322 |       13 |      388
1470.31/1470.78	c 1470s |      22 |  2495345 |  2182522 |    16438    322 |       13 |      388
1472.30/1472.79	c 1472s |      22 |  2498090 |  2184522 |    16438    322 |       13 |      388
1474.30/1474.79	c 1474s |      22 |  2500872 |  2186622 |    16438    323 |       13 |      388
1476.40/1476.85	c 1476s |      22 |  2504381 |  2189422 |    16438    323 |       13 |      388
1478.40/1478.89	c 1478s |      22 |  2507452 |  2191722 |    16438    323 |       13 |      388
1480.50/1480.96	c 1480s |      22 |  2509837 |  2193822 |    16438    323 |       13 |      388
1482.50/1482.98	c 1482s |      22 |  2512802 |  2196222 |    16438    324 |       13 |      388
1484.60/1485.03	c 1484s |      22 |  2515937 |  2198622 |    16438    324 |       13 |      388
1486.60/1487.10	c 1486s |      22 |  2518670 |  2200822 |    16438    324 |       13 |      388
1488.89/1489.34	c 1489s |      22 |  2520705 |  2202322 |    16438    325 |       13 |      388
1490.89/1491.37	c 1491s |      22 |  2524132 |  2205022 |    16438    325 |       13 |      388
1492.99/1493.43	c 1493s |      22 |  2527635 |  2207622 |    16438    325 |       13 |      388
1494.99/1495.44	c 1495s |      22 |  2530485 |  2209922 |    16438    325 |       13 |      388
1497.09/1497.50	c 1497s |      22 |  2533574 |  2212422 |    16438    326 |       13 |      388
1499.09/1499.50	c 1499s |      22 |  2536633 |  2214922 |    16438    326 |       13 |      388
1501.10/1501.59	c 1501s |      22 |  2539637 |  2217122 |    16438    326 |       13 |      388
1503.19/1503.65	c 1503s |      22 |  2542268 |  2219022 |    16438    327 |       13 |      388
1505.19/1505.68	c 1505s |      22 |  2545758 |  2221822 |    16438    327 |       13 |      388
1507.29/1507.73	c 1507s |      22 |  2548898 |  2224422 |    16438    327 |       13 |      388
1510.00/1510.41	c 1510s |      22 |  2552103 |  2226822 |    16438    327 |       17 |      513
1511.99/1512.47	c 1512s |      22 |  2556471 |  2230422 |    16438    327 |       17 |      513
1514.09/1514.52	c 1514s |      22 |  2560851 |  2233522 |    16438    327 |       17 |      513
1516.09/1516.55	c 1516s |      22 |  2564303 |  2236122 |    18082    327 |       17 |      513
1518.29/1518.74	c 1518s |      22 |  2566898 |  2238222 |    18082    327 |       17 |      513
1520.29/1520.78	c 1520s |      22 |  2569863 |  2240722 |    18082    328 |       17 |      513
1522.29/1522.78	c 1522s |      22 |  2572872 |  2243522 |    18082    328 |       17 |      513
1524.39/1524.82	c 1524s |      22 |  2575552 |  2245722 |    18082    328 |       17 |      513
1526.39/1526.83	c 1526s |      22 |  2578028 |  2247722 |    18082    328 |       17 |      513
1528.39/1528.87	c 1528s |      22 |  2580876 |  2249722 |    18082    329 |       18 |      576
1529.49/1529.96	c 1529s |      23 |  2582320 |  2251038 |    18082    329 |       18 |      576
1531.59/1532.01	c 1531s |      23 |  2586085 |  2254338 |    18082    329 |       18 |      576
1533.59/1534.05	c 1533s |      23 |  2589541 |  2257338 |    18082    329 |       18 |      576
1535.59/1536.08	c 1535s |      23 |  2592870 |  2260438 |    18082    330 |       18 |      576
1537.69/1538.13	c 1538s |      23 |  2595785 |  2263138 |    18082    330 |       18 |      576
1539.70/1540.19	c 1540s |      23 |  2598993 |  2266038 |    18082    330 |       18 |      576
1541.90/1542.30	c 1542s |      23 |  2601884 |  2268738 |    18082    331 |       18 |      576
1543.89/1544.34	c 1544s |      23 |  2605467 |  2271938 |    18082    331 |       18 |      576
1546.20/1546.65	c 1546s |      23 |  2607839 |  2274038 |    18082    331 |       18 |      576
1548.29/1548.72	c 1548s |      23 |  2610767 |  2276738 |    18082    331 |       18 |      576
1550.29/1550.76	c 1550s |      23 |  2614262 |  2279838 |    18082    332 |       18 |      576
1552.29/1552.78	c 1552s |      23 |  2617805 |  2282938 |    18082    332 |       18 |      576
1554.29/1554.79	c 1554s |      23 |  2620690 |  2285538 |    18082    332 |       18 |      576
1556.39/1556.83	c 1556s |      23 |  2624248 |  2288738 |    18082    333 |       18 |      576
1558.40/1558.86	c 1558s |      23 |  2627855 |  2292038 |    18082    333 |       18 |      576
1560.39/1560.89	c 1560s |      23 |  2630794 |  2294638 |    18082    333 |       18 |      576
1562.49/1562.91	c 1562s |      23 |  2634134 |  2297738 |    18082    334 |       18 |      576
1564.99/1565.47	c 1565s |      23 |  2636488 |  2299938 |    18082    334 |       25 |      649
1566.98/1567.48	c 1567s |      23 |  2639321 |  2302538 |    18082    334 |       25 |      649
1569.08/1569.51	c 1569s |      23 |  2644084 |  2306838 |    18082    334 |       25 |      649
1571.08/1571.53	c 1571s |      23 |  2648030 |  2310438 |    18082    334 |       25 |      649
1573.08/1573.55	c 1573s |      23 |  2651786 |  2313438 |    18082    334 |       25 |      649
1575.18/1575.62	c 1575s |      23 |  2654613 |  2316038 |    18082    335 |       25 |      649
1577.18/1577.68	c 1577s |      23 |  2658075 |  2319238 |    18082    335 |       25 |      649
1579.29/1579.72	c 1579s |      23 |  2661492 |  2322038 |    18082    335 |       25 |      649
1582.08/1582.57	c 1582s |      23 |  2663219 |  2323438 |    18082    335 |       34 |      726
1584.18/1584.62	c 1584s |      23 |  2667638 |  2327338 |    18082    335 |       34 |      726
1586.18/1586.67	c 1586s |      23 |  2670820 |  2330338 |    18082    335 |       34 |      726
1588.28/1588.70	c 1588s |      23 |  2673705 |  2333038 |    18082    335 |       45 |      807
1590.29/1590.71	c 1590s |      23 |  2677245 |  2336338 |    18082    335 |       45 |      807
1592.28/1592.74	c 1592s |      23 |  2680240 |  2339138 |    18082    335 |       45 |      807
1594.28/1594.77	c 1594s |      23 |  2683937 |  2341838 |    18082    335 |       45 |      807
1596.38/1596.82	c 1596s |      23 |  2687125 |  2344238 |    18082    335 |       63 |      954
1598.38/1598.82	c 1598s |      23 |  2690153 |  2346538 |    18082    335 |       64 |     1017
1600.38/1600.84	c 1600s |      23 |  2693142 |  2348738 |    18082    335 |       64 |     1017
1602.38/1602.86	c 1602s |      23 |  2695803 |  2350838 |    18082    335 |       72 |     1142
1604.38/1604.89	c 1604s |      23 |  2698680 |  2353238 |    18082    335 |       72 |     1142
1606.48/1606.91	c 1606s |      23 |  2701186 |  2355338 |    18082    335 |       72 |     1142
1608.48/1608.98	c 1608s |      23 |  2703729 |  2357438 |    18082    335 |       87 |     1231
1610.58/1611.05	c 1610s |      23 |  2706451 |  2359538 |    18082    335 |       87 |     1231
1612.67/1613.16	c 1613s |      23 |  2708832 |  2361538 |    18082    335 |       87 |     1231
1614.77/1615.29	c 1615s |      23 |  2710619 |  2363038 |    18082    335 |      151 |     1444
1615.48/1615.90	c 1615s |      23 |  2712052 |  2364146 |    18082    335 |      233 |     1535
1615.48/1615.90	c #cpu_time = 1611.469s
1615.48/1615.90	c #wall_clock_time = 1615.796s
1615.48/1615.90	c #decision = 2712052
1615.48/1615.90	c #random_decision = 10185
1615.48/1615.90	c #conflict = 2364146
1615.48/1615.90	c #restart = 23
1615.48/1615.90	s UNSATISFIABLE
1615.48/1615.90	c total CPU time = 1611.581s
1615.48/1615.90	c total wall clock time = 1615.908s

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

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

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


[startup+0 s]
/proc/loadavg: 2.19 2.13 2.05 3/179 22099
/proc/meminfo: memFree=30441660/32872528 swapFree=302776/319128
[pid=22099] ppid=22096 vsize=758204 CPUtime=0 cores=1,3,5,7
/proc/22099/stat : 22099 (toysat) R 22096 22099 16914 0 -1 4202496 2838 0 0 0 0 0 0 0 20 0 4 0 13888274 776400896 2688 33554432000 4194304 16246674 140733576532720 140733576532144 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22099/statm: 190319 2698 441 2943 0 187213 0
[pid=22099/tid=22100] ppid=22096 vsize=776636 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22100/stat : 22100 (toysat) S 22096 22099 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13888274 795275264 2758 33554432000 4194304 16246674 140733576532720 139770115108080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22099/tid=22101] ppid=22096 vsize=780732 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22101/stat : 22101 (toysat) S 22096 22099 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13888274 799469568 2775 33554432000 4194304 16246674 140733576532720 139770104618224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22099/tid=22102] ppid=22096 vsize=784828 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22102/stat : 22102 (toysat) S 22096 22099 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13888274 803663872 2792 33554432000 4194304 16246674 140733576532720 139770094144688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100142 s]
/proc/loadavg: 2.19 2.13 2.05 3/179 22099
/proc/meminfo: memFree=30441660/32872528 swapFree=302776/319128
[pid=22099] ppid=22096 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/22099/stat : 22099 (toysat) R 22096 22099 16914 0 -1 4202496 22337 0 0 0 7 2 0 0 20 0 4 0 13888274 1250496512 22124 33554432000 4194304 16246674 140733576532720 140733576532032 13923798 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22099/statm: 305297 22124 833 2943 0 302191 0
[pid=22099/tid=22100] ppid=22096 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22100/stat : 22100 (toysat) S 22096 22099 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13888274 1250496512 22124 33554432000 4194304 16246674 140733576532720 139770115108080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22099/tid=22101] ppid=22096 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22101/stat : 22101 (toysat) S 22096 22099 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13888274 1250496512 22124 33554432000 4194304 16246674 140733576532720 139770104618224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22099/tid=22102] ppid=22096 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22102/stat : 22102 (toysat) S 22096 22099 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13888274 1250496512 22124 33554432000 4194304 16246674 140733576532720 139770094144688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200544 s]
/proc/loadavg: 2.19 2.13 2.05 3/179 22099
/proc/meminfo: memFree=30441660/32872528 swapFree=302776/319128
[pid=22099] ppid=22096 vsize=1221188 CPUtime=0.19 cores=1,3,5,7
/proc/22099/stat : 22099 (toysat) R 22096 22099 16914 0 -1 4202496 40448 0 0 0 14 5 0 0 20 0 4 0 13888274 1250496512 40235 33554432000 4194304 16246674 140733576532720 140733576532032 12479207 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22099/statm: 305297 40246 875 2943 0 302191 0
[pid=22099/tid=22100] ppid=22096 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22100/stat : 22100 (toysat) S 22096 22099 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13888274 1250496512 40251 33554432000 4194304 16246674 140733576532720 139770115108080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22099/tid=22101] ppid=22096 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22101/stat : 22101 (toysat) S 22096 22099 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13888274 1250496512 40257 33554432000 4194304 16246674 140733576532720 139770104618224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22099/tid=22102] ppid=22096 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22102/stat : 22102 (toysat) S 22096 22099 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13888274 1250496512 40263 33554432000 4194304 16246674 140733576532720 139770094144688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1221188

[startup+0.300465 s]
/proc/loadavg: 2.19 2.13 2.05 3/179 22099
/proc/meminfo: memFree=30441660/32872528 swapFree=302776/319128
[pid=22099] ppid=22096 vsize=1221188 CPUtime=0.29 cores=1,3,5,7
/proc/22099/stat : 22099 (toysat) R 22096 22099 16914 0 -1 4202496 61464 0 0 0 21 8 0 0 20 0 4 0 13888274 1250496512 61251 33554432000 4194304 16246674 140733576532720 140733576532032 5531437 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22099/statm: 305297 61266 875 2943 0 302191 0
[pid=22099/tid=22100] ppid=22096 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22100/stat : 22100 (toysat) S 22096 22099 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13888274 1250496512 61274 33554432000 4194304 16246674 140733576532720 139770115108080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22099/tid=22101] ppid=22096 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22101/stat : 22101 (toysat) S 22096 22099 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13888274 1250496512 61283 33554432000 4194304 16246674 140733576532720 139770104618224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22099/tid=22102] ppid=22096 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22102/stat : 22102 (toysat) S 22096 22099 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13888274 1250496512 61292 33554432000 4194304 16246674 140733576532720 139770094144688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1221188

[startup+0.70041 s]
/proc/loadavg: 2.19 2.13 2.05 3/179 22099
/proc/meminfo: memFree=30441660/32872528 swapFree=302776/319128
[pid=22099] ppid=22096 vsize=1221188 CPUtime=0.69 cores=1,3,5,7
/proc/22099/stat : 22099 (toysat) R 22096 22099 16914 0 -1 4202496 145083 0 0 0 49 20 0 0 20 0 4 0 13888274 1250496512 144870 33554432000 4194304 16246674 140733576532720 140733576532032 5828874 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22099/statm: 305297 144881 875 2943 0 302191 0
[pid=22099/tid=22100] ppid=22096 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22100/stat : 22100 (toysat) S 22096 22099 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13888274 1250496512 144886 33554432000 4194304 16246674 140733576532720 139770115108080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22099/tid=22101] ppid=22096 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22101/stat : 22101 (toysat) S 22096 22099 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13888274 1250496512 144896 33554432000 4194304 16246674 140733576532720 139770104618224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22099/tid=22102] ppid=22096 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22102/stat : 22102 (toysat) S 22096 22099 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13888274 1250496512 144904 33554432000 4194304 16246674 140733576532720 139770094144688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1221188

[startup+1.50042 s]
/proc/loadavg: 2.17 2.13 2.05 3/183 22103
/proc/meminfo: memFree=29519184/32872528 swapFree=302776/319128
[pid=22099] ppid=22096 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/22099/stat : 22099 (toysat) R 22096 22099 16914 0 -1 4202496 266430 0 0 0 114 35 0 0 20 0 4 0 13888274 1332285440 266217 33554432000 4194304 16246674 140733576532720 140733576532032 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22099/statm: 325265 266217 879 2943 0 322159 0
[pid=22099/tid=22100] ppid=22096 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22100/stat : 22100 (toysat) S 22096 22099 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13888274 1332285440 266217 33554432000 4194304 16246674 140733576532720 139770115108080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22099/tid=22101] ppid=22096 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22101/stat : 22101 (toysat) S 22096 22099 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13888274 1332285440 266217 33554432000 4194304 16246674 140733576532720 139770104618224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22099/tid=22102] ppid=22096 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22102/stat : 22102 (toysat) S 22096 22099 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13888274 1332285440 266217 33554432000 4194304 16246674 140733576532720 139770094144688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10042 s]
/proc/loadavg: 2.17 2.13 2.05 3/183 22103
/proc/meminfo: memFree=29372244/32872528 swapFree=302776/319128
[pid=22099] ppid=22096 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/22099/stat : 22099 (toysat) R 22096 22099 16914 0 -1 4202496 267988 0 0 0 274 35 0 0 20 0 4 0 13888274 1338576896 267775 33554432000 4194304 16246674 140733576532720 140733576514624 5823891 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22099/statm: 326801 267775 884 2943 0 323695 0
[pid=22099/tid=22100] ppid=22096 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22100/stat : 22100 (toysat) S 22096 22099 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13888274 1338576896 267775 33554432000 4194304 16246674 140733576532720 139770115108080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22099/tid=22101] ppid=22096 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22101/stat : 22101 (toysat) S 22096 22099 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13888274 1338576896 267775 33554432000 4194304 16246674 140733576532720 139770104618224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22099/tid=22102] ppid=22096 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22102/stat : 22102 (toysat) S 22096 22099 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13888274 1338576896 267775 33554432000 4194304 16246674 140733576532720 139770094144688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30041 s]
/proc/loadavg: 2.16 2.13 2.05 3/183 22103
/proc/meminfo: memFree=29371836/32872528 swapFree=302776/319128
[pid=22099] ppid=22096 vsize=1308228 CPUtime=6.29 cores=1,3,5,7
/proc/22099/stat : 22099 (toysat) R 22096 22099 16914 0 -1 4202496 268192 0 0 0 594 35 0 0 20 0 4 0 13888274 1339625472 267979 33554432000 4194304 16246674 140733576532720 140733576514624 5823508 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22099/statm: 327057 267979 885 2943 0 323951 0
[pid=22099/tid=22100] ppid=22096 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22100/stat : 22100 (toysat) S 22096 22099 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13888274 1339625472 267979 33554432000 4194304 16246674 140733576532720 139770115108080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22099/tid=22101] ppid=22096 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22101/stat : 22101 (toysat) S 22096 22099 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13888274 1339625472 267979 33554432000 4194304 16246674 140733576532720 139770104618224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22099/tid=22102] ppid=22096 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22102/stat : 22102 (toysat) S 22096 22099 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13888274 1339625472 267979 33554432000 4194304 16246674 140733576532720 139770094144688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.15 2.12 2.05 3/183 22103
/proc/meminfo: memFree=29357220/32872528 swapFree=302776/319128
[pid=22099] ppid=22096 vsize=1321540 CPUtime=12.69 cores=1,3,5,7
/proc/22099/stat : 22099 (toysat) R 22096 22099 16914 0 -1 4202496 271573 0 0 0 1233 36 0 0 20 0 4 0 13888274 1353256960 271360 33554432000 4194304 16246674 140733576532720 140733576514624 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22099/statm: 330385 271360 885 2943 0 327279 0
[pid=22099/tid=22100] ppid=22096 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22100/stat : 22100 (toysat) S 22096 22099 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13888274 1353256960 271360 33554432000 4194304 16246674 140733576532720 139770115108080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22099/tid=22101] ppid=22096 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22101/stat : 22101 (toysat) S 22096 22099 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13888274 1353256960 271360 33554432000 4194304 16246674 140733576532720 139770104618224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22099/tid=22102] ppid=22096 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22102/stat : 22102 (toysat) S 22096 22099 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13888274 1353256960 271360 33554432000 4194304 16246674 140733576532720 139770094144688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1321540

[startup+25.5005 s]
/proc/loadavg: 2.26 2.15 2.06 4/183 22103
/proc/meminfo: memFree=29357476/32872528 swapFree=302776/319128
[pid=22099] ppid=22096 vsize=1321540 CPUtime=25.49 cores=1,3,5,7
/proc/22099/stat : 22099 (toysat) R 22096 22099 16914 0 -1 4202496 271573 0 0 0 2513 36 0 0 20 0 4 0 13888274 1353256960 271360 33554432000 4194304 16246674 140733576532720 140733576514624 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22099/statm: 330385 271360 885 2943 0 327279 0
[pid=22099/tid=22100] ppid=22096 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22100/stat : 22100 (toysat) S 22096 22099 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13888274 1353256960 271360 33554432000 4194304 16246674 140733576532720 139770115108080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22099/tid=22101] ppid=22096 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22101/stat : 22101 (toysat) S 22096 22099 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13888274 1353256960 271360 33554432000 4194304 16246674 140733576532720 139770104618224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22099/tid=22102] ppid=22096 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22102/stat : 22102 (toysat) S 22096 22099 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13888274 1353256960 271360 33554432000 4194304 16246674 140733576532720 139770094144688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1321540

[startup+51.1005 s]
/proc/loadavg: 2.23 2.15 2.06 3/183 22103
/proc/meminfo: memFree=29355196/32872528 swapFree=302776/319128
[pid=22099] ppid=22096 vsize=1323588 CPUtime=51.09 cores=1,3,5,7
/proc/22099/stat : 22099 (toysat) R 22096 22099 16914 0 -1 4202496 272085 0 0 0 5072 37 0 0 20 0 4 0 13888274 1355354112 271872 33554432000 4194304 16246674 140733576532720 140733576514624 6837238 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22099/statm: 330897 271872 885 2943 0 327791 0
[pid=22099/tid=22100] ppid=22096 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22100/stat : 22100 (toysat) S 22096 22099 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13888274 1355354112 271872 33554432000 4194304 16246674 140733576532720 139770115108080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22099/tid=22101] ppid=22096 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22101/stat : 22101 (toysat) S 22096 22099 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13888274 1355354112 271872 33554432000 4194304 16246674 140733576532720 139770104618224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22099/tid=22102] ppid=22096 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22102/stat : 22102 (toysat) S 22096 22099 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13888274 1355354112 271872 33554432000 4194304 16246674 140733576532720 139770094144688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1323588

[startup+102.301 s]
/proc/loadavg: 2.15 2.14 2.06 3/183 22104
/proc/meminfo: memFree=29337468/32872528 swapFree=302776/319128
[pid=22099] ppid=22096 vsize=1340996 CPUtime=102.28 cores=1,3,5,7
/proc/22099/stat : 22099 (toysat) R 22096 22099 16914 0 -1 4202496 276438 0 0 0 10190 38 0 0 20 0 4 0 13888274 1373179904 276225 33554432000 4194304 16246674 140733576532720 140733576514624 5674919 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22099/statm: 335249 276225 886 2943 0 332143 0
[pid=22099/tid=22100] ppid=22096 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22100/stat : 22100 (toysat) S 22096 22099 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13888274 1373179904 276225 33554432000 4194304 16246674 140733576532720 139770115108080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22099/tid=22101] ppid=22096 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22101/stat : 22101 (toysat) S 22096 22099 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13888274 1373179904 276225 33554432000 4194304 16246674 140733576532720 139770104618224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22099/tid=22102] ppid=22096 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22102/stat : 22102 (toysat) S 22096 22099 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13888274 1373179904 276225 33554432000 4194304 16246674 140733576532720 139770094144688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1340996


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

/proc/22099/statm: 340113 281345 886 2943 0 337007 0
[pid=22099/tid=22100] ppid=22096 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22100/stat : 22100 (toysat) S 22096 22099 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13888274 1393102848 281345 33554432000 4194304 16246674 140733576532720 139770115108080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22099/tid=22101] ppid=22096 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22101/stat : 22101 (toysat) S 22096 22099 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13888274 1393102848 281345 33554432000 4194304 16246674 140733576532720 139770104618224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22099/tid=22102] ppid=22096 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22102/stat : 22102 (toysat) S 22096 22099 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13888274 1393102848 281345 33554432000 4194304 16246674 140733576532720 139770094144688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1360452

[startup+1482.3 s]
/proc/loadavg: 2.14 2.15 2.10 3/183 22191
/proc/meminfo: memFree=29340008/32872528 swapFree=302776/319128
[pid=22099] ppid=22096 vsize=1360452 CPUtime=1481.9 cores=1,3,5,7
/proc/22099/stat : 22099 (toysat) R 22096 22099 16914 0 -1 4202496 281610 0 0 0 148132 58 0 0 20 0 4 0 13888274 1393102848 281345 33554432000 4194304 16246674 140733576532720 140733576514624 13906976 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22099/statm: 340113 281345 886 2943 0 337007 0
[pid=22099/tid=22100] ppid=22096 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22100/stat : 22100 (toysat) S 22096 22099 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13888274 1393102848 281345 33554432000 4194304 16246674 140733576532720 139770115108080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22099/tid=22101] ppid=22096 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22101/stat : 22101 (toysat) S 22096 22099 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13888274 1393102848 281345 33554432000 4194304 16246674 140733576532720 139770104618224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22099/tid=22102] ppid=22096 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22102/stat : 22102 (toysat) S 22096 22099 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13888274 1393102848 281345 33554432000 4194304 16246674 140733576532720 139770094144688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1360452

[startup+1542.31 s]
/proc/loadavg: 2.10 2.14 2.09 3/183 22192
/proc/meminfo: memFree=29330708/32872528 swapFree=302776/319128
[pid=22099] ppid=22096 vsize=1360452 CPUtime=1541.9 cores=1,3,5,7
/proc/22099/stat : 22099 (toysat) R 22096 22099 16914 0 -1 4202496 281610 0 0 0 154131 59 0 0 20 0 4 0 13888274 1393102848 281345 33554432000 4194304 16246674 140733576532720 140733576514624 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22099/statm: 340113 281345 886 2943 0 337007 0
[pid=22099/tid=22100] ppid=22096 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22100/stat : 22100 (toysat) S 22096 22099 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13888274 1393102848 281345 33554432000 4194304 16246674 140733576532720 139770115108080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22099/tid=22101] ppid=22096 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22101/stat : 22101 (toysat) S 22096 22099 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13888274 1393102848 281345 33554432000 4194304 16246674 140733576532720 139770104618224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22099/tid=22102] ppid=22096 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22102/stat : 22102 (toysat) S 22096 22099 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13888274 1393102848 281345 33554432000 4194304 16246674 140733576532720 139770094144688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1360452

[startup+1602.3 s]
/proc/loadavg: 2.15 2.14 2.09 3/183 22193
/proc/meminfo: memFree=29330956/32872528 swapFree=302776/319128
[pid=22099] ppid=22096 vsize=1360452 CPUtime=1601.88 cores=1,3,5,7
/proc/22099/stat : 22099 (toysat) R 22096 22099 16914 0 -1 4202496 281610 0 0 0 160129 59 0 0 20 0 4 0 13888274 1393102848 281345 33554432000 4194304 16246674 140733576532720 140733576514624 13198652 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22099/statm: 340113 281345 886 2943 0 337007 0
[pid=22099/tid=22100] ppid=22096 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22100/stat : 22100 (toysat) S 22096 22099 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13888274 1393102848 281345 33554432000 4194304 16246674 140733576532720 139770115108080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22099/tid=22101] ppid=22096 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22101/stat : 22101 (toysat) S 22096 22099 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13888274 1393102848 281345 33554432000 4194304 16246674 140733576532720 139770104618224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22099/tid=22102] ppid=22096 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22102/stat : 22102 (toysat) S 22096 22099 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13888274 1393102848 281345 33554432000 4194304 16246674 140733576532720 139770094144688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1360452

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

[startup+1606.4 s]
/proc/loadavg: 2.14 2.14 2.09 3/183 22193
/proc/meminfo: memFree=29330956/32872528 swapFree=302776/319128
[pid=22099] ppid=22096 vsize=1360452 CPUtime=1605.98 cores=1,3,5,7
/proc/22099/stat : 22099 (toysat) R 22096 22099 16914 0 -1 4202496 281610 0 0 0 160539 59 0 0 20 0 4 0 13888274 1393102848 281345 33554432000 4194304 16246674 140733576532720 140733576514624 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22099/statm: 340113 281345 886 2943 0 337007 0
[pid=22099/tid=22100] ppid=22096 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22100/stat : 22100 (toysat) S 22096 22099 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13888274 1393102848 281345 33554432000 4194304 16246674 140733576532720 139770115108080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22099/tid=22101] ppid=22096 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22101/stat : 22101 (toysat) S 22096 22099 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13888274 1393102848 281345 33554432000 4194304 16246674 140733576532720 139770104618224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22099/tid=22102] ppid=22096 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22102/stat : 22102 (toysat) S 22096 22099 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13888274 1393102848 281345 33554432000 4194304 16246674 140733576532720 139770094144688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1605.98
Current children cumulated vsize (KiB) 1360452

[startup+1612.8 s]
/proc/loadavg: 2.13 2.13 2.09 3/183 22193
/proc/meminfo: memFree=29298096/32872528 swapFree=302776/319128
[pid=22099] ppid=22096 vsize=1360452 CPUtime=1612.37 cores=1,3,5,7
/proc/22099/stat : 22099 (toysat) R 22096 22099 16914 0 -1 4202496 281610 0 0 0 161178 59 0 0 20 0 4 0 13888274 1393102848 281345 33554432000 4194304 16246674 140733576532720 140733576514624 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22099/statm: 340113 281345 886 2943 0 337007 0
[pid=22099/tid=22100] ppid=22096 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22100/stat : 22100 (toysat) S 22096 22099 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13888274 1393102848 281345 33554432000 4194304 16246674 140733576532720 139770115108080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22099/tid=22101] ppid=22096 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22101/stat : 22101 (toysat) S 22096 22099 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13888274 1393102848 281345 33554432000 4194304 16246674 140733576532720 139770104618224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22099/tid=22102] ppid=22096 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22102/stat : 22102 (toysat) S 22096 22099 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13888274 1393102848 281345 33554432000 4194304 16246674 140733576532720 139770094144688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1612.37
Current children cumulated vsize (KiB) 1360452

[startup+1614.4 s]
/proc/loadavg: 2.13 2.13 2.09 3/183 22193
/proc/meminfo: memFree=29298096/32872528 swapFree=302776/319128
[pid=22099] ppid=22096 vsize=1360452 CPUtime=1613.97 cores=1,3,5,7
/proc/22099/stat : 22099 (toysat) R 22096 22099 16914 0 -1 4202496 281610 0 0 0 161338 59 0 0 20 0 4 0 13888274 1393102848 281345 33554432000 4194304 16246674 140733576532720 140733576514624 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22099/statm: 340113 281345 886 2943 0 337007 0
[pid=22099/tid=22100] ppid=22096 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22100/stat : 22100 (toysat) S 22096 22099 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13888274 1393102848 281345 33554432000 4194304 16246674 140733576532720 139770115108080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22099/tid=22101] ppid=22096 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22101/stat : 22101 (toysat) S 22096 22099 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13888274 1393102848 281345 33554432000 4194304 16246674 140733576532720 139770104618224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22099/tid=22102] ppid=22096 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22102/stat : 22102 (toysat) S 22096 22099 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13888274 1393102848 281345 33554432000 4194304 16246674 140733576532720 139770094144688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1613.97
Current children cumulated vsize (KiB) 1360452

[startup+1615.2 s]
/proc/loadavg: 2.13 2.13 2.09 3/183 22193
/proc/meminfo: memFree=29298096/32872528 swapFree=302776/319128
[pid=22099] ppid=22096 vsize=1360452 CPUtime=1614.77 cores=1,3,5,7
/proc/22099/stat : 22099 (toysat) R 22096 22099 16914 0 -1 4202496 281610 0 0 0 161418 59 0 0 20 0 4 0 13888274 1393102848 281345 33554432000 4194304 16246674 140733576532720 140733576531896 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22099/statm: 340113 281345 886 2943 0 337007 0
[pid=22099/tid=22100] ppid=22096 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22100/stat : 22100 (toysat) S 22096 22099 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13888274 1393102848 281345 33554432000 4194304 16246674 140733576532720 139770115108080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22099/tid=22101] ppid=22096 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22101/stat : 22101 (toysat) S 22096 22099 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13888274 1393102848 281345 33554432000 4194304 16246674 140733576532720 139770104618224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22099/tid=22102] ppid=22096 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22102/stat : 22102 (toysat) S 22096 22099 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13888274 1393102848 281345 33554432000 4194304 16246674 140733576532720 139770094144688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1614.77
Current children cumulated vsize (KiB) 1360452

[startup+1615.6 s]
/proc/loadavg: 2.13 2.13 2.09 3/183 22193
/proc/meminfo: memFree=29298096/32872528 swapFree=302776/319128
[pid=22099] ppid=22096 vsize=1360452 CPUtime=1615.17 cores=1,3,5,7
/proc/22099/stat : 22099 (toysat) R 22096 22099 16914 0 -1 4202496 281610 0 0 0 161458 59 0 0 20 0 4 0 13888274 1393102848 281345 33554432000 4194304 16246674 140733576532720 140733576531896 5661363 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22099/statm: 340113 281345 886 2943 0 337007 0
[pid=22099/tid=22100] ppid=22096 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22100/stat : 22100 (toysat) S 22096 22099 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13888274 1393102848 281345 33554432000 4194304 16246674 140733576532720 139770115108080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22099/tid=22101] ppid=22096 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22101/stat : 22101 (toysat) S 22096 22099 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13888274 1393102848 281345 33554432000 4194304 16246674 140733576532720 139770104618224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22099/tid=22102] ppid=22096 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22102/stat : 22102 (toysat) S 22096 22099 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13888274 1393102848 281345 33554432000 4194304 16246674 140733576532720 139770094144688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1615.17
Current children cumulated vsize (KiB) 1360452

[startup+1615.8 s]
/proc/loadavg: 2.13 2.13 2.09 3/183 22193
/proc/meminfo: memFree=29298096/32872528 swapFree=302776/319128
[pid=22099] ppid=22096 vsize=1360452 CPUtime=1615.37 cores=1,3,5,7
/proc/22099/stat : 22099 (toysat) R 22096 22099 16914 0 -1 4202496 281610 0 0 0 161478 59 0 0 20 0 4 0 13888274 1393102848 281345 33554432000 4194304 16246674 140733576532720 140733576531896 6022750 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22099/statm: 340113 281345 886 2943 0 337007 0
[pid=22099/tid=22100] ppid=22096 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22100/stat : 22100 (toysat) S 22096 22099 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13888274 1393102848 281345 33554432000 4194304 16246674 140733576532720 139770115108080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22099/tid=22101] ppid=22096 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22101/stat : 22101 (toysat) S 22096 22099 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13888274 1393102848 281345 33554432000 4194304 16246674 140733576532720 139770104618224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22099/tid=22102] ppid=22096 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22102/stat : 22102 (toysat) S 22096 22099 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13888274 1393102848 281345 33554432000 4194304 16246674 140733576532720 139770094144688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1615.37
Current children cumulated vsize (KiB) 1360452

[startup+1615.9 s]
/proc/loadavg: 2.12 2.13 2.09 3/183 22193
/proc/meminfo: memFree=29298096/32872528 swapFree=302776/319128
[pid=22099] ppid=22096 vsize=1360452 CPUtime=1615.48 cores=1,3,5,7
/proc/22099/stat : 22099 (toysat) R 22096 22099 16914 0 -1 4202496 281610 0 0 0 161489 59 0 0 20 0 4 0 13888274 1393102848 281345 33554432000 4194304 16246674 140733576532720 140733576531896 5823206 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22099/statm: 340113 281345 886 2943 0 337007 0
[pid=22099/tid=22100] ppid=22096 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22100/stat : 22100 (toysat) S 22096 22099 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13888274 1393102848 281345 33554432000 4194304 16246674 140733576532720 139770115108080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22099/tid=22101] ppid=22096 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22101/stat : 22101 (toysat) S 22096 22099 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13888274 1393102848 281345 33554432000 4194304 16246674 140733576532720 139770104618224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22099/tid=22102] ppid=22096 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/22099/task/22102/stat : 22102 (toysat) S 22096 22099 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13888274 1393102848 281345 33554432000 4194304 16246674 140733576532720 139770094144688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1615.48
Current children cumulated vsize (KiB) 1360452

Child status: 0
Real time (s): 1615.91
CPU time (s): 1615.5
CPU user time (s): 1614.9
CPU system time (s): 0.600908
CPU usage (%): 99.9744
Max. virtual memory (cumulated for all children) (KiB): 1360452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1614.9
system time used= 0.600908
maximum resident set size= 1125392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 281614
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= 328
involuntary context switches= 1643

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.07738 second user time and 6.26605 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-17 01:06:56
IDJOB=4097688
IDBENCH=107793
IDSOLVER=2542
FILE ID=node128/4097688-1466118416
RUNJOBID= node128-1466113207-19340
PBS_JOBID= 19904049
Free space on /tmp= 71692 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_25.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4097688-1466118416/watcher-4097688-1466118416 -o /tmp/evaluation-result-4097688-1466118416/solver-4097688-1466118416 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466113207-19340 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4097688-1466118416.opb

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

MD5SUM BENCH= 3c0a4d33e9f667bc5f51b969f035144b
RANDOM SEED=497208643

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30442576 kB
Buffers:           75396 kB
Cached:           193776 kB
SwapCached:         2096 kB
Active:          1290464 kB
Inactive:         113688 kB
Active(anon):    1135888 kB
Inactive(anon):     1600 kB
Active(file):     154576 kB
Inactive(file):   112088 kB
Unevictable:      319128 kB
Mlocked:          302776 kB
SwapTotal:      67108856 kB
SwapFree:       67098972 kB
Dirty:             16408 kB
Writeback:             0 kB
AnonPages:       1453288 kB
Mapped:            10728 kB
Shmem:                 0 kB
Slab:             572848 kB
SReclaimable:      16268 kB
SUnreclaim:       556580 kB
KernelStack:        1464 kB
PageTables:         6952 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1596096 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    172032 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= 71676 MiB
End job on node128 at 2016-06-17 01:33:52