Trace number 4116941

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.12 1800.72

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size144-round21-9.opb
MD5SUM43408970c2b3ba12c492cc7535f73fd0
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark6.35603
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3968
Total number of constraints7920
Number of constraints which are clauses6656
Number of constraints which are cardinality constraints (but not clauses)432
Number of constraints which are nor clauses,nor cardinality constraints832
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-26T16:23:06+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-4116941-1466950986.opb"]
0.00/0.01	c use --random-gen="3345926389 2999600210 646696024 2208496879 649668017 1613223535 688816252 1249809962 311101395 552405220 1556349621 3649863291 3912087717 2654751958 1391424408 2085366955 2290222783 2892128842 245722577 1055504286 3100753330 1067084 3832356396 2537229873 3003495020 3355478670 2981906790 1924417311 836188504 141980316 708771706 3377204973 3608937713 3812168889 2304439637 4259687885 49791967 2974807405 2682516428 3316129320 1857923605 3098725433 2441786656 337582481 4180039489 3211338802 4282907612 2688322716 4201599297 4162791774 3107696810 3953229115 1742988574 3434204484 2252247878 893007774 986485311 1509549452 3099772532 1513516746 2308498032 2397643469 3070609082 3937561211 351288306 70575387 171729620 1988959439 1974517141 3310936854 3945721333 359409366 1969857267 3404009311 2967170392 3383565776 3942041358 1607399107 3049449730 3413429330 88360237 3493903225 988205045 710216774 2557515340 862226993 3410234032 1584924022 2017065962 2907687614 473235752 4040601472 1392194261 477143224 3195506809 4035291658 3353044546 2434526031 140675457 3273230705 67789269 2575185940 2576555371 2149476796 4269462236 1013694964 265564750 3016475893 241275987 4209039835 1758067641 1050818031 3881879194 3728912500 861367807 2888269107 54302427 28915093 1969323578 1778203236 2697830394 1670359327 459645303 1342438436 2022729492 1998777566 3061048709 1539528855 3904577884 2859238056 1768208264 879064930 2658653686 2170532111 1722771934 2657580791 1744756063 2230699598 4099626198 1151761265 608467848 2526298340 1578191936 3983848046 619282551 808443360 2982016072 3836321631 2580016101 3665691724 3479869816 1596166986 38755508 865815918 3604295311 3495467204 548522937 522373696 999334718 582366564 1978050975 567224374 1029992279 1981957203 184376034 3766649487 3069595196 3036952843 3700373167 2792988108 3798125686 3282970301 3332590616 2844906548 2637019753 2913895316 3670945665 3138275449 3041254329 3089090492 3586327584 776164229 1558149574 2795123870 1131322140 2643427303 2952446971 196245466 2532093404 2182802482 1728734760 2371736393 2857164401 678259525 3301574449 1647133678 718818258 1630524507 3854406270 1354739372 1843428025 3642593454 3168858826 3978456739 3499919622 2204621840 488381782 1311930619 4111655495 362884372 2522958327 2215917913 3001170292 4103440125 3382130935 2057701798 155974700 572243753 1085520714 1266960899 1352462790 3719678708 847392260 1971208812 4219594709 2060994470 971283826 2088494258 795864692 2988398409 1431316438 1852267737 2303743687 451531279 1749617601 3570872611 4229107048 3308364779 450437407 824835516 3088970617 1074980781 640505296 311700618 1000364279 3194860451 3814823309 3460389098 1421250238 2935433001 2841885327 3027679300 2333477365 2751962651 4118865513 2805642092 255 362436" option to reproduce the execution
0.00/0.09	c #vars 3968
0.00/0.09	c #constraints 7920
0.19/0.23	c Solving starts ...
0.19/0.23	c ============================[ Search Statistics ]============================
0.19/0.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.23	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.23	c =============================================================================
0.19/0.23	c  0.0s |       0 |        0 |        0 |     3904      0 |      844 |        0
0.19/0.27	c  0.0s |       1 |      408 |      100 |     3904      0 |      844 |      731
0.29/0.37	c  0.1s |       2 |     2037 |      250 |     4295      0 |      844 |      731
0.48/0.51	c  0.3s |       3 |     3442 |      475 |     4725      0 |      844 |      731
0.79/0.85	c  0.6s |       4 |     5107 |      813 |     5198      0 |      844 |      731
1.29/1.35	c  1.1s |       5 |     7934 |     1320 |     5718      0 |      845 |      731
2.09/2.13	c  1.9s |       6 |    10539 |     2081 |     6920      0 |      845 |      731
2.99/3.06	c  2.8s |       7 |    17776 |     3223 |     7613      0 |      846 |      731
4.50/4.52	c  4.3s |       8 |    23143 |     4936 |     8375      0 |      846 |      731
6.49/6.58	c  6.3s |       8 |    26130 |     6536 |     8375      0 |      846 |      731
8.29/8.31	c  8.1s |       9 |    27197 |     7506 |     9213      0 |      846 |      731
10.29/10.37	c 10.1s |       9 |    33199 |     9706 |     9213      0 |      846 |      731
11.89/11.96	c 11.7s |      10 |    35581 |    11361 |    10135      0 |      846 |      731
13.99/14.04	c 13.8s |      10 |    41122 |    13161 |    10135      1 |      846 |      731
15.99/16.06	c 15.8s |      10 |    43184 |    14761 |    10135      1 |      846 |      731
17.99/18.06	c 17.8s |      10 |    44702 |    16061 |    10135      1 |      846 |      731
19.80/19.90	c 19.7s |      11 |    46019 |    17144 |    11149      1 |      846 |      731
21.89/21.93	c 21.7s |      11 |    51621 |    18844 |    11149      1 |      846 |      731
23.99/24.06	c 23.8s |      11 |    53374 |    20144 |    11149      2 |      846 |      731
26.09/26.17	c 25.9s |      11 |    55326 |    21644 |    11149      2 |      846 |      731
28.19/28.26	c 28.0s |      11 |    56965 |    22944 |    11149      2 |      846 |      731
30.19/30.29	c 30.1s |      11 |    58530 |    24144 |    11149      2 |      846 |      731
32.39/32.47	c 32.2s |      11 |    59942 |    25344 |    11149      2 |      846 |      731
33.58/33.65	c 33.4s |      12 |    60487 |    25819 |    12264      2 |      846 |      731
35.68/35.76	c 35.5s |      12 |    64148 |    27419 |    12264      2 |      846 |      731
37.68/37.79	c 37.6s |      12 |    65796 |    28619 |    12264      3 |      846 |      731
39.88/39.90	c 39.7s |      12 |    68076 |    30419 |    12264      3 |      846 |      731
41.98/42.05	c 41.8s |      12 |    69831 |    31919 |    12264      3 |      846 |      731
43.99/44.10	c 43.9s |      12 |    71331 |    33219 |    12264      3 |      846 |      731
46.08/46.19	c 46.0s |      12 |    72820 |    34519 |    12264      3 |      846 |      731
48.18/48.26	c 48.0s |      12 |    74232 |    35719 |    12264      3 |      846 |      731
50.28/50.32	c 50.1s |      12 |    75386 |    36719 |    12264      4 |      846 |      731
52.48/52.52	c 52.3s |      12 |    76617 |    37819 |    12264      4 |      846 |      731
54.58/54.63	c 54.4s |      12 |    77713 |    38819 |    13491      4 |      846 |      731
54.58/54.67	c 54.4s |      13 |    77733 |    38832 |    13491      4 |      846 |      731
56.58/56.70	c 56.5s |      13 |    89926 |    41632 |    13491      4 |      846 |      731
58.68/58.75	c 58.5s |      13 |    93668 |    43532 |    13491      4 |      846 |      731
60.78/60.80	c 60.6s |      13 |    96858 |    45332 |    13491      5 |      846 |      731
62.79/62.83	c 62.6s |      13 |    99634 |    47032 |    13491      5 |      846 |      731
64.78/64.84	c 64.6s |      13 |   102269 |    48632 |    13491      5 |      846 |      731
66.88/67.00	c 66.8s |      13 |   104902 |    50132 |    13491      5 |      846 |      731
68.98/69.08	c 68.9s |      13 |   106937 |    51532 |    13491      5 |      846 |      731
71.08/71.10	c 70.9s |      13 |   109179 |    52932 |    13491      5 |      846 |      731
73.17/73.24	c 73.0s |      13 |   110893 |    54132 |    13491      6 |      846 |      731
75.27/75.35	c 75.1s |      13 |   112415 |    55332 |    13491      6 |      846 |      731
77.37/77.47	c 77.2s |      13 |   113737 |    56432 |    13491      6 |      846 |      731
79.47/79.54	c 79.3s |      13 |   115060 |    57532 |    13491      6 |      846 |      731
81.27/81.36	c 81.1s |      14 |   116008 |    58352 |    14841      6 |      846 |      731
83.37/83.42	c 83.2s |      14 |   119184 |    60152 |    14841      6 |      846 |      731
85.37/85.44	c 85.2s |      14 |   121860 |    61952 |    14841      6 |      846 |      731
87.47/87.52	c 87.3s |      14 |   129154 |    63852 |    14841      7 |      846 |      731
89.48/89.57	c 89.3s |      14 |   131083 |    65252 |    14841      7 |      846 |      731
91.58/91.66	c 91.4s |      14 |   132536 |    66452 |    14841      7 |      846 |      731
93.59/93.69	c 93.5s |      14 |   134361 |    67652 |    14841      7 |      846 |      731
95.69/95.74	c 95.5s |      14 |   136212 |    68952 |    14841      7 |      846 |      731
97.68/97.78	c 97.6s |      14 |   138796 |    70452 |    14841      7 |      846 |      731
99.68/99.79	c 99.6s |      14 |   140974 |    71952 |    14841      8 |      846 |      731
101.88/101.94	c  101s |      14 |   142699 |    73352 |    14841      8 |      846 |      731
103.88/103.98	c  103s |      14 |   144282 |    74652 |    14841      8 |      846 |      731
105.98/106.05	c  105s |      14 |   145828 |    75952 |    14841      8 |      846 |      731
107.98/108.07	c  107s |      14 |   147118 |    77052 |    14841      8 |      846 |      731
109.99/110.10	c  109s |      14 |   148296 |    78052 |    14841      8 |      846 |      731
112.19/112.28	c  112s |      14 |   149430 |    79052 |    14841      8 |      846 |      731
114.28/114.31	c  114s |      14 |   150482 |    79952 |    14841      8 |      846 |      731
116.48/116.56	c  116s |      14 |   151524 |    80852 |    14841      9 |      846 |      731
118.68/118.76	c  118s |      14 |   152657 |    81852 |    14841      9 |      846 |      731
120.88/120.96	c  120s |      14 |   153638 |    82752 |    14841      9 |      846 |      731
123.07/123.17	c  122s |      14 |   154645 |    83652 |    14841      9 |      846 |      731
125.17/125.29	c  125s |      14 |   155670 |    84552 |    14841      9 |      846 |      731
127.47/127.54	c  127s |      14 |   156764 |    85552 |    14841      9 |      846 |      731
129.57/129.60	c  129s |      14 |   157637 |    86352 |    14841      9 |      846 |      731
131.57/131.64	c  131s |      14 |   158557 |    87152 |    16326      9 |      846 |      731
132.77/132.86	c  132s |      15 |   159119 |    87632 |    16326      9 |      846 |      731
134.97/135.04	c  134s |      15 |   163957 |    89032 |    16326      9 |      846 |      731
137.07/137.17	c  136s |      15 |   164979 |    89932 |    16326      9 |      846 |      731
139.17/139.25	c  139s |      15 |   165849 |    90732 |    16326      9 |      846 |      731
141.27/141.33	c  141s |      15 |   174455 |    92832 |    16326     10 |      846 |      731
143.37/143.40	c  143s |      15 |   178258 |    94632 |    16326     10 |      846 |      731
145.37/145.43	c  145s |      15 |   180417 |    96232 |    16326     10 |      846 |      731
147.38/147.46	c  147s |      15 |   183912 |    97832 |    16326     10 |      846 |      731
149.47/149.53	c  149s |      15 |   186108 |    99232 |    16326     10 |      846 |      731
151.47/151.59	c  151s |      15 |   190564 |   101032 |    16326     11 |      846 |      731
153.57/153.66	c  153s |      15 |   193436 |   102832 |    16326     11 |      846 |      731
155.67/155.78	c  155s |      15 |   195272 |   104232 |    16326     11 |      846 |      731
157.77/157.86	c  157s |      15 |   197311 |   105632 |    16326     11 |      846 |      731
159.87/159.92	c  159s |      15 |   198660 |   106732 |    16326     11 |      846 |      731
161.97/162.01	c  161s |      15 |   199836 |   107732 |    16326     11 |      846 |      731
164.07/164.10	c  163s |      15 |   201096 |   108732 |    16326     11 |      846 |      731
166.08/166.12	c  165s |      15 |   202213 |   109632 |    16326     11 |      846 |      731
168.07/168.13	c  167s |      15 |   203241 |   110432 |    16326     12 |      846 |      731
170.07/170.19	c  169s |      15 |   204645 |   111532 |    16326     12 |      846 |      731
172.26/172.32	c  172s |      15 |   205852 |   112532 |    16326     12 |      846 |      731
174.36/174.40	c  174s |      15 |   210829 |   114232 |    16326     12 |      846 |      731
176.36/176.48	c  176s |      15 |   214784 |   115832 |    16326     12 |      846 |      731
178.46/178.51	c  178s |      15 |   221381 |   118032 |    16326     12 |      846 |      731
180.56/180.64	c  180s |      15 |   225490 |   119832 |    16326     13 |      846 |      731
182.57/182.69	c  182s |      15 |   229374 |   121732 |    16326     13 |      846 |      731
184.66/184.76	c  184s |      15 |   231203 |   123232 |    16326     13 |      846 |      731
186.76/186.84	c  186s |      15 |   236061 |   125332 |    16326     13 |      846 |      731
188.86/188.92	c  188s |      15 |   238177 |   126732 |    16326     13 |      846 |      731
190.96/191.02	c  190s |      15 |   239810 |   127932 |    16326     13 |      846 |      731
193.16/193.25	c  193s |      15 |   241156 |   129032 |    16326     13 |      846 |      731
195.26/195.33	c  195s |      15 |   242107 |   129832 |    16326     14 |      846 |      731
197.26/197.33	c  197s |      15 |   242990 |   130632 |    16326     14 |      846 |      731
199.36/199.43	c  199s |      15 |   244025 |   131532 |    17959     14 |      846 |      731
199.36/199.47	c  199s |      16 |   244045 |   131552 |    17959     14 |      846 |      731
201.37/201.48	c  201s |      16 |   249706 |   133352 |    17959     14 |      846 |      731
203.47/203.54	c  203s |      16 |   252311 |   135152 |    17959     14 |      846 |      731
205.56/205.62	c  205s |      16 |   254107 |   136652 |    17959     14 |      846 |      731
207.56/207.66	c  207s |      16 |   255373 |   137752 |    17959     14 |      846 |      731
209.66/209.73	c  209s |      16 |   257729 |   139152 |    17959     14 |      846 |      731
211.66/211.77	c  211s |      16 |   259765 |   140352 |    17959     15 |      846 |      731
213.76/213.81	c  213s |      16 |   263565 |   142252 |    17959     15 |      846 |      731
215.76/215.84	c  215s |      16 |   266247 |   143652 |    17959     15 |      846 |      731
217.77/217.87	c  217s |      16 |   269508 |   145152 |    17959     15 |      846 |      731
219.97/220.04	c  219s |      16 |   271537 |   146552 |    17959     15 |      846 |      731
222.06/222.14	c  221s |      16 |   272869 |   147652 |    17959     15 |      846 |      731
224.25/224.36	c  224s |      16 |   273963 |   148552 |    17959     15 |      846 |      731
226.35/226.42	c  226s |      16 |   274957 |   149452 |    17959     15 |      846 |      731
228.55/228.62	c  228s |      16 |   276147 |   150452 |    17959     15 |      846 |      731
230.65/230.79	c  230s |      16 |   277129 |   151252 |    17959     16 |      846 |      731
232.85/232.91	c  232s |      16 |   278379 |   152252 |    17959     16 |      846 |      731
235.15/235.24	c  235s |      16 |   279176 |   152952 |    17959     16 |      846 |      731
237.25/237.35	c  237s |      16 |   280080 |   153752 |    17959     16 |      846 |      731
239.46/239.56	c  239s |      16 |   281131 |   154652 |    17959     16 |      846 |      731
241.66/241.72	c  241s |      16 |   282068 |   155452 |    17959     16 |      846 |      731
243.76/243.83	c  243s |      16 |   282853 |   156152 |    17959     16 |      846 |      731
245.75/245.83	c  245s |      16 |   283667 |   156852 |    17959     16 |      846 |      731
247.95/248.05	c  247s |      16 |   284476 |   157552 |    17959     16 |      846 |      731
250.05/250.18	c  249s |      16 |   286990 |   158852 |    17959     16 |      846 |      731
252.05/252.19	c  251s |      16 |   288513 |   159952 |    17959     16 |      846 |      731
254.16/254.26	c  254s |      16 |   290867 |   161152 |    17959     16 |      846 |      731
256.15/256.27	c  256s |      16 |   292291 |   162052 |    17959     17 |      846 |      731
258.35/258.41	c  258s |      16 |   293838 |   163252 |    17959     17 |      846 |      731
260.35/260.45	c  260s |      16 |   294871 |   164152 |    17959     17 |      846 |      731
262.55/262.60	c  262s |      16 |   295987 |   165152 |    17959     17 |      846 |      731
264.55/264.67	c  264s |      16 |   297007 |   166052 |    17959     17 |      846 |      731
266.75/266.80	c  266s |      16 |   297990 |   166952 |    17959     17 |      846 |      731
268.85/268.98	c  268s |      16 |   299307 |   167952 |    17959     17 |      846 |      731
271.15/271.23	c  270s |      16 |   300361 |   168852 |    17959     17 |      846 |      731
273.15/273.26	c  273s |      16 |   301160 |   169552 |    17959     17 |      846 |      731
275.45/275.58	c  275s |      16 |   301949 |   170252 |    17959     17 |      846 |      731
277.75/277.84	c  277s |      16 |   302734 |   170952 |    17959     17 |      846 |      731
280.05/280.15	c  279s |      16 |   303521 |   171652 |    17959     17 |      846 |      731
282.05/282.19	c  281s |      16 |   304501 |   172352 |    17959     18 |      846 |      731
284.15/284.22	c  283s |      16 |   305876 |   173352 |    17959     18 |      846 |      731
286.15/286.26	c  286s |      16 |   306896 |   174252 |    17959     18 |      846 |      731
288.35/288.40	c  288s |      16 |   307875 |   175152 |    17959     18 |      846 |      731
290.25/290.40	c  290s |      16 |   308781 |   175952 |    17959     18 |      846 |      731
292.56/292.67	c  292s |      16 |   309664 |   176752 |    17959     18 |      846 |      731
294.86/294.91	c  294s |      16 |   310557 |   177552 |    17959     18 |      846 |      731
296.95/297.02	c  296s |      16 |   311445 |   178352 |    17959     18 |      846 |      731
299.15/299.28	c  299s |      16 |   312380 |   179152 |    17959     18 |      846 |      731
301.35/301.42	c  301s |      16 |   313225 |   179852 |    17959     18 |      846 |      731
303.55/303.65	c  303s |      16 |   314029 |   180552 |    17959     18 |      846 |      731
305.75/305.85	c  305s |      16 |   314713 |   181152 |    17959     18 |      846 |      731
307.95/308.11	c  307s |      16 |   315521 |   181852 |    17959     18 |      846 |      731
310.04/310.18	c  309s |      16 |   316056 |   182352 |    17959     19 |      846 |      731
312.14/312.25	c  312s |      16 |   317066 |   183152 |    17959     19 |      846 |      731
314.24/314.38	c  314s |      16 |   318567 |   184252 |    17959     19 |      846 |      731
316.44/316.58	c  316s |      16 |   320001 |   185352 |    17959     19 |      846 |      731
318.64/318.76	c  318s |      16 |   321250 |   186352 |    17959     19 |      846 |      731
320.74/320.86	c  320s |      16 |   322170 |   187152 |    17959     19 |      846 |      731
322.94/323.02	c  322s |      16 |   323271 |   188052 |    17959     19 |      846 |      731
325.14/325.25	c  325s |      16 |   324256 |   188852 |    17959     19 |      846 |      731
327.14/327.26	c  327s |      16 |   325145 |   189552 |    17959     19 |      846 |      731
329.34/329.49	c  329s |      16 |   325988 |   190252 |    17959     19 |      846 |      731
331.54/331.69	c  331s |      16 |   326810 |   190952 |    17959     19 |      846 |      731
333.84/333.95	c  333s |      16 |   327660 |   191652 |    17959     19 |      846 |      731
335.94/336.07	c  335s |      16 |   328359 |   192252 |    17959     19 |      846 |      731
338.64/338.76	c  338s |      16 |   329037 |   192852 |    17959     20 |      846 |      731
340.74/340.84	c  340s |      16 |   329843 |   193552 |    17959     20 |      846 |      731
342.94/343.04	c  342s |      16 |   331666 |   194552 |    17959     20 |      846 |      731
345.04/345.17	c  344s |      16 |   332674 |   195352 |    17959     20 |      846 |      731
347.14/347.27	c  347s |      16 |   334162 |   196452 |    19755     20 |      846 |      731
349.34/349.43	c  349s |      17 |   335282 |   197432 |    19755     20 |      846 |      731
351.43/351.55	c  351s |      17 |   341919 |   199332 |    19755     20 |      846 |      731
353.53/353.66	c  353s |      17 |   343825 |   200732 |    19755     20 |      846 |      731
355.63/355.70	c  355s |      17 |   347163 |   202332 |    19755     20 |      846 |      731
357.73/357.87	c  357s |      17 |   348458 |   203432 |    19755     20 |      846 |      731
359.83/359.92	c  359s |      17 |   349726 |   204432 |    19755     20 |      846 |      731
362.03/362.10	c  361s |      17 |   350572 |   205132 |    19755     21 |      846 |      731
364.23/364.30	c  364s |      17 |   351678 |   206032 |    19755     21 |      846 |      731
366.34/366.46	c  366s |      17 |   353789 |   207232 |    19755     21 |      846 |      731
368.54/368.61	c  368s |      17 |   355573 |   208432 |    19755     21 |      846 |      731
370.53/370.69	c  370s |      17 |   358049 |   209932 |    19755     21 |      846 |      731
372.63/372.75	c  372s |      17 |   360627 |   211232 |    19755     21 |      846 |      731
374.83/374.99	c  374s |      17 |   362942 |   212632 |    19755     21 |      846 |      731
377.13/377.21	c  376s |      17 |   364063 |   213532 |    19755     21 |      846 |      731
379.33/379.40	c  379s |      17 |   365224 |   214432 |    19755     21 |      846 |      731
381.43/381.56	c  381s |      17 |   366202 |   215232 |    19755     21 |      846 |      731
383.63/383.74	c  383s |      17 |   367187 |   216032 |    19755     21 |      846 |      731
385.73/385.81	c  385s |      17 |   369715 |   217232 |    19755     22 |      846 |      731
387.92/388.03	c  387s |      17 |   371324 |   218332 |    19755     22 |      846 |      731
389.92/390.08	c  389s |      17 |   372785 |   219332 |    19755     22 |      846 |      731
392.02/392.11	c  391s |      17 |   374481 |   220432 |    19755     22 |      846 |      731
394.02/394.13	c  393s |      17 |   375533 |   221332 |    19755     22 |      846 |      731
396.22/396.32	c  396s |      17 |   376913 |   222332 |    19755     22 |      846 |      731
398.24/398.33	c  398s |      17 |   378290 |   223332 |    19755     22 |      846 |      731
400.34/400.45	c  400s |      17 |   379273 |   224132 |    19755     22 |      846 |      731
402.54/402.65	c  402s |      17 |   380101 |   224832 |    19755     22 |      846 |      731
404.74/404.87	c  404s |      17 |   380746 |   225432 |    19755     22 |      846 |      731
406.83/406.95	c  406s |      17 |   381474 |   226032 |    19755     22 |      846 |      731
409.13/409.24	c  409s |      17 |   382252 |   226732 |    19755     22 |      846 |      731
411.33/411.46	c  411s |      17 |   382965 |   227332 |    19755     22 |      846 |      731
413.42/413.61	c  413s |      17 |   383531 |   227832 |    19755     23 |      846 |      731
415.62/415.80	c  415s |      17 |   384202 |   228432 |    19755     23 |      846 |      731
417.72/417.86	c  417s |      17 |   384893 |   229032 |    19755     23 |      846 |      731
420.02/420.16	c  419s |      17 |   385571 |   229632 |    19755     23 |      846 |      731
422.12/422.25	c  422s |      17 |   386411 |   230332 |    19755     23 |      846 |      731
424.12/424.28	c  424s |      17 |   387274 |   231032 |    19755     23 |      846 |      731
426.32/426.48	c  426s |      17 |   388230 |   231832 |    19755     23 |      846 |      731
428.72/428.82	c  428s |      17 |   389035 |   232532 |    19755     23 |      846 |      731
431.02/431.19	c  430s |      17 |   389847 |   233232 |    19755     23 |      846 |      731
433.12/433.24	c  433s |      17 |   390533 |   233832 |    19755     23 |      846 |      731
435.22/435.39	c  435s |      17 |   391222 |   234432 |    19755     23 |      846 |      731
437.42/437.58	c  437s |      17 |   391910 |   235032 |    19755     23 |      846 |      731
439.82/439.91	c  439s |      17 |   392568 |   235632 |    19755     23 |      846 |      731
442.23/442.37	c  442s |      17 |   393228 |   236232 |    19755     23 |      846 |      731
444.32/444.50	c  444s |      17 |   393789 |   236732 |    19755     23 |      846 |      731
446.41/446.52	c  446s |      17 |   394243 |   237132 |    19755     23 |      846 |      731
448.51/448.62	c  448s |      17 |   394839 |   237632 |    19755     23 |      846 |      731
450.81/450.94	c  450s |      17 |   395530 |   238232 |    19755     23 |      846 |      731
453.22/453.39	c  453s |      17 |   396186 |   238832 |    19755     23 |      846 |      731
455.31/455.48	c  455s |      17 |   396611 |   239232 |    19755     24 |      846 |      731
457.51/457.61	c  457s |      17 |   397386 |   239932 |    19755     24 |      846 |      731
459.50/459.65	c  459s |      17 |   398071 |   240532 |    19755     24 |      846 |      731
461.60/461.79	c  461s |      17 |   398756 |   241132 |    19755     24 |      846 |      731
463.70/463.82	c  463s |      17 |   399304 |   241632 |    19755     24 |      846 |      731
466.00/466.12	c  465s |      17 |   399956 |   242232 |    19755     24 |      846 |      731
467.99/468.14	c  467s |      17 |   400485 |   242732 |    19755     24 |      846 |      731
470.19/470.30	c  470s |      17 |   401029 |   243232 |    19755     24 |      846 |      731
472.59/472.74	c  472s |      17 |   401672 |   243832 |    19755     24 |      846 |      731
475.10/475.23	c  475s |      17 |   402341 |   244432 |    19755     24 |      846 |      731
477.31/477.47	c  477s |      17 |   402889 |   244932 |    19755     24 |      846 |      731
479.51/479.70	c  479s |      17 |   403444 |   245432 |    19755     24 |      846 |      731
481.71/481.81	c  481s |      17 |   403983 |   245932 |    19755     24 |      846 |      731
483.91/484.09	c  483s |      17 |   404817 |   246632 |    19755     24 |      846 |      731
486.00/486.20	c  485s |      17 |   405477 |   247232 |    19755     24 |      846 |      731
488.31/488.44	c  488s |      17 |   406137 |   247832 |    19755     24 |      846 |      731
490.51/490.64	c  490s |      17 |   406829 |   248432 |    19755     24 |      846 |      731
493.00/493.12	c  492s |      17 |   407525 |   249032 |    19755     24 |      846 |      731
495.29/495.40	c  495s |      17 |   408060 |   249532 |    19755     24 |      846 |      731
497.59/497.70	c  497s |      17 |   408609 |   250032 |    19755     24 |      846 |      731
499.69/499.89	c  499s |      17 |   409045 |   250432 |    19755     25 |      846 |      731
501.99/502.15	c  501s |      17 |   409825 |   251132 |    19755     25 |      846 |      731
504.19/504.39	c  504s |      17 |   410600 |   251832 |    19755     25 |      846 |      731
506.48/506.63	c  506s |      17 |   411266 |   252432 |    19755     25 |      846 |      731
508.68/508.82	c  508s |      17 |   411936 |   253032 |    19755     25 |      846 |      731
511.08/511.21	c  510s |      17 |   412589 |   253632 |    19755     25 |      846 |      731
513.28/513.45	c  513s |      17 |   413263 |   254232 |    19755     25 |      846 |      731
515.47/515.66	c  515s |      17 |   413812 |   254732 |    19755     25 |      846 |      731
517.57/517.78	c  517s |      17 |   414349 |   255232 |    19755     25 |      846 |      731
519.87/520.08	c  519s |      17 |   414885 |   255732 |    19755     25 |      846 |      731
522.27/522.44	c  522s |      17 |   415432 |   256232 |    19755     25 |      846 |      731
524.47/524.64	c  524s |      17 |   415969 |   256732 |    19755     25 |      846 |      731
526.57/526.78	c  526s |      17 |   416518 |   257232 |    19755     25 |      846 |      731
528.76/528.99	c  528s |      17 |   417063 |   257732 |    19755     25 |      846 |      731
530.96/531.13	c  530s |      17 |   417653 |   258232 |    19755     25 |      846 |      731
533.26/533.48	c  533s |      17 |   418222 |   258732 |    19755     25 |      846 |      731
535.46/535.62	c  535s |      17 |   418769 |   259232 |    19755     25 |      846 |      731
537.57/537.70	c  537s |      17 |   419331 |   259732 |    19755     25 |      846 |      731
539.98/540.13	c  539s |      17 |   419891 |   260232 |    19755     25 |      846 |      731
541.97/542.16	c  541s |      17 |   420467 |   260732 |    19755     25 |      846 |      731
544.07/544.24	c  544s |      17 |   421144 |   261332 |    19755     25 |      846 |      731
546.27/546.41	c  546s |      17 |   421609 |   261732 |    19755     26 |      846 |      731
548.37/548.52	c  548s |      17 |   422604 |   262532 |    19755     26 |      846 |      731
550.57/550.70	c  550s |      17 |   423487 |   263332 |    19755     26 |      846 |      731
552.77/552.94	c  552s |      17 |   424260 |   264032 |    19755     26 |      846 |      731
555.06/555.25	c  555s |      17 |   425041 |   264732 |    19755     26 |      846 |      731
557.36/557.58	c  557s |      17 |   425819 |   265432 |    19755     26 |      846 |      731
559.56/559.76	c  559s |      17 |   426609 |   266132 |    19755     26 |      846 |      731
561.76/561.94	c  561s |      17 |   427272 |   266732 |    19755     26 |      846 |      731
563.75/563.98	c  563s |      17 |   427955 |   267332 |    19755     26 |      846 |      731
566.05/566.23	c  565s |      17 |   428640 |   267932 |    19755     26 |      846 |      731
568.05/568.26	c  568s |      17 |   429347 |   268532 |    19755     26 |      846 |      731
570.35/570.55	c  570s |      17 |   430027 |   269132 |    19755     26 |      846 |      731
572.65/572.86	c  572s |      17 |   430685 |   269732 |    19755     26 |      846 |      731
574.94/575.11	c  574s |      17 |   431227 |   270232 |    19755     26 |      846 |      731
577.04/577.23	c  576s |      17 |   431775 |   270732 |    19755     26 |      846 |      731
579.14/579.38	c  579s |      17 |   432320 |   271232 |    19755     26 |      846 |      731
581.24/581.43	c  581s |      17 |   432876 |   271732 |    19755     26 |      846 |      731
583.73/583.91	c  583s |      17 |   433417 |   272232 |    19755     26 |      846 |      731
586.14/586.32	c  586s |      17 |   433949 |   272732 |    19755     26 |      846 |      731
588.53/588.77	c  588s |      17 |   434370 |   273132 |    19755     27 |      846 |      731
590.73/590.93	c  590s |      17 |   434887 |   273632 |    19755     27 |      846 |      731
593.03/593.22	c  592s |      17 |   435544 |   274232 |    19755     27 |      846 |      731
595.33/595.57	c  595s |      17 |   436195 |   274832 |    19755     27 |      846 |      731
597.43/597.61	c  597s |      17 |   436725 |   275332 |    19755     27 |      846 |      731
599.73/599.94	c  599s |      17 |   437265 |   275832 |    19755     27 |      846 |      731
602.13/602.35	c  602s |      17 |   437793 |   276332 |    19755     27 |      846 |      731
604.23/604.48	c  604s |      17 |   438503 |   276932 |    19755     27 |      846 |      731
606.43/606.67	c  606s |      17 |   439289 |   277632 |    19755     27 |      846 |      731
608.73/608.99	c  608s |      17 |   440040 |   278332 |    19755     27 |      846 |      731
610.93/611.14	c  610s |      17 |   440708 |   278932 |    19755     27 |      846 |      731
613.03/613.20	c  612s |      17 |   441356 |   279532 |    19755     27 |      846 |      731
615.33/615.58	c  615s |      17 |   442035 |   280132 |    19755     27 |      846 |      731
617.62/617.88	c  617s |      17 |   442692 |   280732 |    19755     27 |      846 |      731
619.82/620.02	c  619s |      17 |   443228 |   281232 |    19755     27 |      846 |      731
621.82/622.09	c  621s |      17 |   443789 |   281732 |    19755     27 |      846 |      731
624.22/624.49	c  624s |      17 |   444453 |   282332 |    19755     27 |      846 |      731
626.61/626.89	c  626s |      17 |   444989 |   282832 |    19755     27 |      846 |      731
629.02/629.26	c  629s |      17 |   445590 |   283332 |    19755     27 |      846 |      731
631.33/631.57	c  631s |      17 |   446129 |   283832 |    19755     27 |      846 |      731
634.31/634.57	c  634s |      17 |   446685 |   284332 |    19755     28 |      846 |      731
636.41/636.65	c  636s |      17 |   447378 |   284932 |    19755     28 |      846 |      731
638.41/638.69	c  638s |      17 |   448204 |   285632 |    19755     28 |      846 |      731
640.71/640.91	c  640s |      17 |   448881 |   286232 |    19755     28 |      846 |      731
643.01/643.24	c  643s |      17 |   449428 |   286732 |    19755     28 |      846 |      731
645.31/645.57	c  645s |      17 |   449967 |   287232 |    19755     28 |      846 |      731
647.41/647.62	c  647s |      17 |   450538 |   287732 |    19755     28 |      846 |      731
649.61/649.82	c  649s |      17 |   451107 |   288232 |    19755     28 |      846 |      731
651.81/652.06	c  651s |      17 |   451768 |   288832 |    19755     28 |      846 |      731
654.01/654.27	c  654s |      17 |   452306 |   289332 |    19755     28 |      846 |      731
656.31/656.57	c  656s |      17 |   452856 |   289832 |    19755     28 |      846 |      731
658.60/658.81	c  658s |      17 |   453300 |   290232 |    19755     28 |      846 |      731
661.11/661.34	c  661s |      17 |   453838 |   290732 |    19755     28 |      846 |      731
663.40/663.61	c  663s |      17 |   454387 |   291232 |    19755     28 |      846 |      731
665.80/666.02	c  665s |      17 |   454907 |   291732 |    19755     28 |      846 |      731
667.90/668.16	c  667s |      17 |   455459 |   292232 |    19755     28 |      846 |      731
670.00/670.25	c  670s |      17 |   455887 |   292632 |    19755     28 |      846 |      731
672.10/672.34	c  672s |      17 |   456327 |   293032 |    19755     28 |      846 |      731
674.30/674.53	c  674s |      17 |   456748 |   293432 |    19755     28 |      846 |      731
676.31/676.55	c  676s |      17 |   457162 |   293832 |    19755     28 |      846 |      731
678.70/678.92	c  678s |      17 |   457598 |   294232 |    21731     28 |      846 |      731
680.71/680.96	c  680s |      17 |   458042 |   294632 |    21731     28 |      846 |      731
682.91/683.18	c  682s |      17 |   458590 |   295132 |    21731     28 |      846 |      731
685.29/685.53	c  685s |      17 |   459127 |   295632 |    21731     28 |      846 |      731
687.40/687.68	c  687s |      17 |   459556 |   296032 |    21731     28 |      846 |      731
688.79/689.06	c  688s |      18 |   459786 |   296252 |    21731     28 |      846 |      731
690.79/691.09	c  690s |      18 |   463164 |   297452 |    21731     29 |      846 |      731
692.90/693.15	c  692s |      18 |   466331 |   299452 |    21731     29 |      846 |      731
694.89/695.18	c  694s |      18 |   468716 |   301052 |    21731     29 |      846 |      731
696.99/697.23	c  697s |      18 |   470426 |   302452 |    21731     29 |      846 |      731
699.08/699.32	c  699s |      18 |   471959 |   303652 |    21731     29 |      846 |      731
701.18/701.41	c  701s |      18 |   473217 |   304752 |    21731     29 |      846 |      731
703.28/703.50	c  703s |      18 |   474563 |   305852 |    21731     29 |      846 |      731
705.38/705.61	c  705s |      18 |   475727 |   306852 |    21731     29 |      846 |      731
707.48/707.79	c  707s |      18 |   476652 |   307652 |    21731     29 |      846 |      731
709.68/709.98	c  709s |      18 |   477592 |   308452 |    21731     29 |      846 |      731
711.68/711.99	c  711s |      18 |   478829 |   309352 |    21731     29 |      846 |      731
713.87/714.11	c  713s |      18 |   479843 |   310152 |    21731     30 |      846 |      731
715.88/716.18	c  715s |      18 |   480785 |   310952 |    21731     30 |      846 |      731
717.97/718.23	c  718s |      18 |   481850 |   311852 |    21731     30 |      846 |      731
720.07/720.39	c  720s |      18 |   482968 |   312752 |    21731     30 |      846 |      731
722.37/722.65	c  722s |      18 |   484054 |   313652 |    21731     30 |      846 |      731
724.56/724.85	c  724s |      18 |   484982 |   314452 |    21731     30 |      846 |      731
726.56/726.86	c  726s |      18 |   485803 |   315152 |    21731     30 |      846 |      731
728.76/729.09	c  728s |      18 |   486639 |   315852 |    21731     30 |      846 |      731
730.86/731.18	c  730s |      18 |   487762 |   316752 |    21731     30 |      846 |      731
732.96/733.21	c  732s |      18 |   488726 |   317552 |    21731     30 |      846 |      731
735.06/735.37	c  735s |      18 |   489754 |   318352 |    21731     30 |      846 |      731
737.36/737.65	c  737s |      18 |   490572 |   319052 |    21731     30 |      846 |      731
739.36/739.66	c  739s |      18 |   491269 |   319652 |    21731     30 |      846 |      731
741.46/741.77	c  741s |      18 |   491839 |   320152 |    21731     30 |      846 |      731
743.56/743.85	c  743s |      18 |   492390 |   320652 |    21731     30 |      846 |      731
745.67/745.96	c  745s |      18 |   492950 |   321152 |    21731     30 |      846 |      731
747.95/748.24	c  748s |      18 |   493645 |   321752 |    21731     30 |      846 |      731
750.07/750.38	c  750s |      18 |   494367 |   322352 |    21731     31 |      846 |      731
752.16/752.45	c  752s |      18 |   495192 |   323052 |    21731     31 |      846 |      731
754.15/754.46	c  754s |      18 |   496010 |   323752 |    21731     31 |      846 |      731
756.35/756.68	c  756s |      18 |   496893 |   324552 |    21731     31 |      846 |      731
758.45/758.72	c  758s |      18 |   497676 |   325252 |    21731     31 |      846 |      731
760.45/760.74	c  760s |      18 |   498352 |   325852 |    21731     31 |      846 |      731
762.55/762.84	c  762s |      18 |   499140 |   326552 |    21731     31 |      846 |      731
764.74/765.03	c  764s |      18 |   499918 |   327252 |    21731     31 |      846 |      731
766.84/767.10	c  766s |      18 |   500713 |   327952 |    21731     31 |      846 |      731
768.94/769.22	c  768s |      18 |   501526 |   328652 |    21731     31 |      846 |      731
771.24/771.55	c  771s |      18 |   502217 |   329252 |    21731     31 |      846 |      731
773.43/773.71	c  773s |      18 |   502901 |   329852 |    21731     31 |      846 |      731
775.43/775.71	c  775s |      18 |   503612 |   330452 |    21731     31 |      846 |      731
777.63/777.94	c  777s |      18 |   504280 |   331052 |    21731     31 |      846 |      731
779.74/780.04	c  779s |      18 |   504952 |   331652 |    21731     31 |      846 |      731
781.84/782.17	c  781s |      18 |   505610 |   332252 |    21731     31 |      846 |      731
784.13/784.44	c  784s |      18 |   506267 |   332852 |    21731     31 |      846 |      731
786.23/786.56	c  786s |      18 |   506964 |   333452 |    21731     31 |      846 |      731
788.53/788.84	c  788s |      18 |   507675 |   334052 |    21731     31 |      846 |      731
790.73/791.03	c  790s |      18 |   508234 |   334552 |    21731     32 |      846 |      731
792.93/793.23	c  793s |      18 |   509046 |   335252 |    21731     32 |      846 |      731
795.12/795.49	c  795s |      18 |   509935 |   336052 |    21731     32 |      846 |      731
797.32/797.69	c  797s |      18 |   510728 |   336752 |    21731     32 |      846 |      731
799.52/799.84	c  799s |      18 |   511539 |   337452 |    21731     32 |      846 |      731
801.62/801.99	c  801s |      18 |   512358 |   338152 |    21731     32 |      846 |      731
803.70/804.05	c  803s |      18 |   513048 |   338752 |    21731     32 |      846 |      731
805.90/806.26	c  806s |      18 |   513713 |   339352 |    21731     32 |      846 |      731
808.22/808.56	c  808s |      18 |   514403 |   339952 |    21731     32 |      846 |      731
810.21/810.58	c  810s |      18 |   515370 |   340752 |    21731     32 |      846 |      731
812.31/812.67	c  812s |      18 |   516331 |   341552 |    21731     32 |      846 |      731
814.50/814.82	c  814s |      18 |   517212 |   342252 |    21731     32 |      846 |      731
816.50/816.86	c  816s |      18 |   518045 |   342952 |    21731     32 |      846 |      731
818.70/819.10	c  818s |      18 |   519132 |   343852 |    21731     32 |      846 |      731
820.90/821.26	c  821s |      18 |   522706 |   345052 |    21731     33 |      846 |      731
823.00/823.32	c  823s |      18 |   529264 |   347152 |    21731     33 |      846 |      731
825.09/825.41	c  825s |      18 |   532551 |   348852 |    21731     33 |      846 |      731
827.09/827.45	c  827s |      18 |   534134 |   350152 |    21731     33 |      846 |      731
829.10/829.48	c  829s |      18 |   535572 |   351352 |    21731     33 |      846 |      731
831.19/831.54	c  831s |      18 |   536908 |   352452 |    21731     33 |      846 |      731
833.38/833.72	c  833s |      18 |   538317 |   353652 |    21731     33 |      846 |      731
835.58/835.90	c  835s |      18 |   539515 |   354652 |    21731     33 |      846 |      731
837.58/837.97	c  837s |      18 |   540715 |   355652 |    21731     33 |      846 |      731
839.88/840.20	c  839s |      18 |   541740 |   356552 |    21731     33 |      846 |      731
841.98/842.36	c  842s |      18 |   542816 |   357452 |    21731     33 |      846 |      731
844.58/844.92	c  844s |      18 |   543882 |   358352 |    21731     34 |      846 |      731
846.68/847.06	c  846s |      18 |   544903 |   359252 |    21731     34 |      846 |      731
848.77/849.12	c  848s |      18 |   545833 |   360052 |    21731     34 |      846 |      731
850.77/851.19	c  850s |      18 |   547039 |   361052 |    21731     34 |      846 |      731
852.87/853.28	c  853s |      18 |   548122 |   361952 |    21731     34 |      846 |      731
854.97/855.37	c  855s |      18 |   549045 |   362752 |    21731     34 |      846 |      731
857.16/857.50	c  857s |      18 |   549969 |   363552 |    21731     34 |      846 |      731
859.26/859.68	c  859s |      18 |   550903 |   364352 |    21731     34 |      846 |      731
861.46/861.86	c  861s |      18 |   551798 |   365152 |    21731     34 |      846 |      731
863.66/864.03	c  863s |      18 |   552574 |   365852 |    21731     34 |      846 |      731
865.86/866.25	c  866s |      18 |   553488 |   366652 |    21731     34 |      846 |      731
868.06/868.42	c  868s |      18 |   554285 |   367352 |    21731     34 |      846 |      731
870.26/870.60	c  870s |      18 |   555085 |   368052 |    21731     34 |      846 |      731
872.46/872.81	c  872s |      18 |   555865 |   368752 |    21731     34 |      846 |      731
874.55/874.90	c  874s |      18 |   556591 |   369352 |    21731     34 |      846 |      731
876.65/877.00	c  876s |      18 |   557427 |   370052 |    21731     34 |      846 |      731
879.05/879.43	c  879s |      18 |   558279 |   370752 |    21731     35 |      846 |      731
881.05/881.49	c  881s |      18 |   559560 |   371752 |    21731     35 |      846 |      731
883.15/883.54	c  883s |      18 |   560826 |   372752 |    21731     35 |      846 |      731
885.44/885.80	c  885s |      18 |   561943 |   373752 |    21731     35 |      846 |      731
887.45/887.84	c  887s |      18 |   562888 |   374552 |    21731     35 |      846 |      731
889.65/890.09	c  889s |      18 |   563957 |   375452 |    21731     35 |      846 |      731
891.94/892.31	c  892s |      18 |   565015 |   376352 |    21731     35 |      846 |      731
894.13/894.52	c  894s |      18 |   566035 |   377252 |    21731     35 |      846 |      731
896.33/896.79	c  896s |      18 |   567134 |   378152 |    21731     35 |      846 |      731
898.44/898.81	c  898s |      18 |   567842 |   378752 |    21731     35 |      846 |      731
900.54/900.97	c  900s |      18 |   568630 |   379452 |    21731     35 |      846 |      731
902.84/903.23	c  902s |      18 |   569416 |   380152 |    21731     35 |      846 |      731
905.13/905.55	c  905s |      18 |   570100 |   380752 |    21731     35 |      846 |      731
907.33/907.75	c  907s |      18 |   570939 |   381452 |    21731     35 |      846 |      731
909.52/909.94	c  909s |      18 |   571797 |   382152 |    21731     35 |      846 |      731
911.72/912.12	c  911s |      18 |   572643 |   382852 |    21731     35 |      846 |      731
913.73/914.13	c  913s |      18 |   573209 |   383352 |    21731     36 |      846 |      731
915.93/916.32	c  916s |      18 |   574117 |   384152 |    21731     36 |      846 |      731
918.13/918.52	c  918s |      18 |   574898 |   384852 |    21731     36 |      846 |      731
920.22/920.66	c  920s |      18 |   575813 |   385652 |    21731     36 |      846 |      731
922.31/922.73	c  922s |      18 |   576612 |   386352 |    21731     36 |      846 |      731
924.40/924.84	c  924s |      18 |   577536 |   387152 |    21731     36 |      846 |      731
926.60/927.01	c  926s |      18 |   578487 |   387952 |    21731     36 |      846 |      731
928.70/929.14	c  928s |      18 |   579309 |   388652 |    21731     36 |      846 |      731
931.00/931.40	c  931s |      18 |   580089 |   389352 |    21731     36 |      846 |      731
933.00/933.47	c  933s |      18 |   580861 |   390052 |    21731     36 |      846 |      731
935.10/935.57	c  935s |      18 |   581679 |   390752 |    21731     36 |      846 |      731
937.39/937.80	c  937s |      18 |   582552 |   391452 |    21731     36 |      846 |      731
939.40/939.85	c  939s |      18 |   583264 |   392052 |    21731     36 |      846 |      731
941.50/941.95	c  941s |      18 |   583952 |   392652 |    21731     36 |      846 |      731
943.59/944.08	c  943s |      18 |   584639 |   393252 |    21731     36 |      846 |      731
945.70/946.15	c  945s |      18 |   585365 |   393852 |    21731     36 |      846 |      731
947.99/948.44	c  948s |      18 |   586086 |   394452 |    21731     36 |      846 |      731
950.10/950.59	c  950s |      18 |   586784 |   395052 |    21731     36 |      846 |      731
952.89/953.35	c  953s |      18 |   587509 |   395652 |    21731     37 |      846 |      731
954.98/955.43	c  955s |      18 |   588432 |   396452 |    21731     37 |      846 |      731
957.08/957.59	c  957s |      18 |   589369 |   397252 |    21731     37 |      846 |      731
959.28/959.76	c  959s |      18 |   590279 |   398052 |    21731     37 |      846 |      731
961.28/961.79	c  961s |      18 |   591075 |   398752 |    21731     37 |      846 |      731
963.47/963.98	c  963s |      18 |   591862 |   399452 |    21731     37 |      846 |      731
965.48/965.98	c  965s |      18 |   592663 |   400152 |    21731     37 |      846 |      731
967.68/968.13	c  967s |      18 |   593452 |   400852 |    21731     37 |      846 |      731
969.88/970.39	c  970s |      18 |   594353 |   401652 |    21731     37 |      846 |      731
972.08/972.52	c  972s |      18 |   595179 |   402352 |    21731     37 |      846 |      731
974.27/974.71	c  974s |      18 |   596084 |   403152 |    21731     37 |      846 |      731
976.56/977.09	c  976s |      18 |   596761 |   403752 |    21731     37 |      846 |      731
978.67/979.13	c  978s |      18 |   597581 |   404452 |    21731     37 |      846 |      731
980.66/981.14	c  980s |      18 |   598303 |   405052 |    21731     37 |      846 |      731
982.76/983.28	c  983s |      18 |   599120 |   405752 |    21731     37 |      846 |      731
984.85/985.39	c  985s |      18 |   599815 |   406352 |    21731     37 |      846 |      731
986.85/987.40	c  987s |      18 |   600497 |   406952 |    21731     37 |      846 |      731
989.15/989.65	c  989s |      18 |   601170 |   407552 |    21731     37 |      846 |      731
991.35/991.85	c  991s |      18 |   601771 |   408052 |    21731     38 |      846 |      731
993.55/994.01	c  993s |      18 |   602836 |   408952 |    21731     38 |      846 |      731
995.65/996.11	c  995s |      18 |   603862 |   409852 |    21731     38 |      846 |      731
997.85/998.35	c  998s |      18 |   604917 |   410752 |    21731     38 |      846 |      731
1000.05/1000.51	c 1000s |      18 |   605965 |   411652 |    21731     38 |      846 |      731
1002.15/1002.62	c 1002s |      18 |   606892 |   412452 |    21731     38 |      846 |      731
1004.24/1004.71	c 1004s |      18 |   607688 |   413152 |    21731     38 |      846 |      731
1006.24/1006.72	c 1006s |      18 |   608572 |   413952 |    21731     38 |      846 |      731
1008.35/1008.89	c 1008s |      18 |   609489 |   414752 |    21731     38 |      846 |      731
1010.45/1011.00	c 1010s |      18 |   610295 |   415452 |    21731     38 |      846 |      731
1012.84/1013.31	c 1013s |      18 |   611145 |   416152 |    21731     38 |      846 |      731
1014.84/1015.31	c 1015s |      18 |   611850 |   416752 |    21731     38 |      846 |      731
1017.14/1017.64	c 1017s |      18 |   612655 |   417452 |    21731     38 |      846 |      731
1019.43/1019.95	c 1019s |      18 |   613456 |   418152 |    21731     38 |      846 |      731
1021.73/1022.20	c 1021s |      18 |   614295 |   418852 |    21731     38 |      846 |      731
1023.73/1024.27	c 1024s |      18 |   615001 |   419452 |    21731     38 |      846 |      731
1025.83/1026.32	c 1026s |      18 |   615718 |   420052 |    21731     38 |      846 |      731
1027.92/1028.50	c 1028s |      18 |   616165 |   420452 |    21731     39 |      846 |      731
1030.02/1030.59	c 1030s |      18 |   617250 |   421352 |    21731     39 |      846 |      731
1032.12/1032.63	c 1032s |      18 |   618177 |   422152 |    21731     39 |      846 |      731
1034.21/1034.78	c 1034s |      18 |   619063 |   422952 |    21731     39 |      846 |      731
1036.51/1037.03	c 1036s |      18 |   620070 |   423752 |    21731     39 |      846 |      731
1038.61/1039.10	c 1038s |      18 |   620865 |   424452 |    21731     39 |      846 |      731
1040.81/1041.39	c 1041s |      18 |   621733 |   425252 |    21731     39 |      846 |      731
1042.91/1043.43	c 1043s |      18 |   622584 |   425952 |    21731     39 |      846 |      731
1045.11/1045.69	c 1045s |      18 |   623514 |   426752 |    21731     39 |      846 |      731
1047.50/1048.02	c 1047s |      18 |   624379 |   427552 |    21731     39 |      846 |      731
1049.80/1050.32	c 1050s |      18 |   625157 |   428252 |    21731     39 |      846 |      731
1051.90/1052.40	c 1052s |      18 |   625953 |   428952 |    21731     39 |      846 |      731
1054.20/1054.76	c 1054s |      18 |   626754 |   429652 |    21731     39 |      846 |      731
1056.30/1056.85	c 1056s |      18 |   627421 |   430252 |    21731     39 |      846 |      731
1058.60/1059.12	c 1058s |      18 |   628178 |   430952 |    21731     39 |      846 |      731
1060.70/1061.28	c 1061s |      18 |   628894 |   431552 |    21731     39 |      846 |      731
1063.00/1063.58	c 1063s |      18 |   629736 |   432252 |    21731     39 |      846 |      731
1065.30/1065.80	c 1065s |      18 |   630304 |   432752 |    21731     40 |      846 |      731
1067.40/1067.98	c 1067s |      18 |   631346 |   433652 |    21731     40 |      846 |      731
1069.60/1070.13	c 1069s |      18 |   632372 |   434552 |    21731     40 |      846 |      731
1071.60/1072.17	c 1071s |      18 |   633290 |   435352 |    21731     40 |      846 |      731
1073.70/1074.28	c 1074s |      18 |   634208 |   436152 |    21731     40 |      846 |      731
1075.90/1076.45	c 1076s |      18 |   635140 |   436952 |    21731     40 |      846 |      731
1078.00/1078.57	c 1078s |      18 |   636097 |   437752 |    21731     40 |      846 |      731
1080.10/1080.62	c 1080s |      18 |   636888 |   438452 |    21731     40 |      846 |      731
1082.31/1082.83	c 1082s |      18 |   637696 |   439152 |    21731     40 |      846 |      731
1084.41/1084.94	c 1084s |      18 |   638533 |   439852 |    21731     40 |      846 |      731
1086.71/1087.29	c 1087s |      18 |   639366 |   440552 |    21731     40 |      846 |      731
1088.91/1089.45	c 1089s |      18 |   640057 |   441152 |    21731     40 |      846 |      731
1090.91/1091.46	c 1091s |      18 |   640773 |   441752 |    23905     40 |      846 |      731
1093.11/1093.69	c 1093s |      18 |   641558 |   442452 |    23905     40 |      846 |      731
1095.51/1096.04	c 1095s |      18 |   642353 |   443152 |    23905     40 |      846 |      731
1097.51/1098.09	c 1097s |      18 |   643028 |   443752 |    23905     40 |      846 |      731
1099.70/1100.28	c 1100s |      18 |   643748 |   444352 |    23905     40 |      846 |      731
1100.30/1100.88	c 1100s |      19 |   643892 |   444482 |    23905     40 |      846 |      731
1102.40/1102.93	c 1102s |      19 |   646560 |   445782 |    23905     40 |      846 |      731
1104.50/1105.03	c 1104s |      19 |   651468 |   447182 |    23905     41 |      846 |      731
1106.60/1107.10	c 1106s |      19 |   654116 |   448682 |    23905     41 |      846 |      731
1108.70/1109.26	c 1109s |      19 |   657224 |   450182 |    23905     41 |      846 |      731
1110.80/1111.36	c 1111s |      19 |   661911 |   452182 |    23905     41 |      846 |      731
1112.81/1113.39	c 1113s |      19 |   663519 |   453482 |    23905     41 |      846 |      731
1114.91/1115.49	c 1115s |      19 |   664791 |   454582 |    23905     41 |      846 |      731
1117.11/1117.62	c 1117s |      19 |   666224 |   455782 |    23905     41 |      846 |      731
1119.20/1119.72	c 1119s |      19 |   667518 |   456882 |    23905     41 |      846 |      731
1121.30/1121.80	c 1121s |      19 |   668519 |   457782 |    23905     41 |      846 |      731
1123.40/1123.94	c 1123s |      19 |   669542 |   458682 |    23905     41 |      846 |      731
1125.50/1126.03	c 1125s |      19 |   670780 |   459682 |    23905     41 |      846 |      731
1127.80/1128.34	c 1128s |      19 |   671695 |   460482 |    23905     42 |      846 |      731
1130.00/1130.50	c 1130s |      19 |   672715 |   461382 |    23905     42 |      846 |      731
1132.00/1132.51	c 1132s |      19 |   673642 |   462182 |    23905     42 |      846 |      731
1134.10/1134.64	c 1134s |      19 |   674742 |   463082 |    23905     42 |      846 |      731
1136.30/1136.87	c 1136s |      19 |   675657 |   463882 |    23905     42 |      846 |      731
1138.60/1139.13	c 1138s |      19 |   676588 |   464682 |    23905     42 |      846 |      731
1140.70/1141.29	c 1141s |      19 |   677731 |   465482 |    23905     42 |      846 |      731
1142.70/1143.29	c 1143s |      19 |   679138 |   466482 |    23905     42 |      846 |      731
1144.90/1145.48	c 1145s |      19 |   680313 |   467382 |    23905     42 |      846 |      731
1147.00/1147.50	c 1147s |      19 |   681133 |   468082 |    23905     42 |      846 |      731
1149.11/1149.66	c 1149s |      19 |   681988 |   468782 |    23905     42 |      846 |      731
1151.31/1151.86	c 1151s |      19 |   683014 |   469582 |    23905     42 |      846 |      731
1153.40/1153.93	c 1153s |      19 |   683867 |   470282 |    23905     42 |      846 |      731
1155.49/1156.03	c 1155s |      19 |   684594 |   470882 |    23905     42 |      846 |      731
1157.49/1158.09	c 1157s |      19 |   685160 |   471382 |    23905     42 |      846 |      731
1159.59/1160.19	c 1159s |      19 |   685608 |   471782 |    23905     42 |      846 |      731
1161.99/1162.57	c 1162s |      19 |   686211 |   472282 |    23905     42 |      846 |      731
1164.19/1164.79	c 1164s |      19 |   686681 |   472682 |    23905     42 |      846 |      731
1166.49/1167.05	c 1166s |      19 |   687121 |   473082 |    23905     42 |      846 |      731
1168.80/1169.32	c 1169s |      19 |   687690 |   473582 |    23905     42 |      846 |      731
1171.59/1172.18	c 1171s |      19 |   688278 |   474082 |    23905     43 |      846 |      731
1173.69/1174.27	c 1174s |      19 |   688856 |   474582 |    23905     43 |      846 |      731
1176.09/1176.69	c 1176s |      19 |   689427 |   475082 |    23905     43 |      846 |      731
1178.59/1179.11	c 1178s |      19 |   689967 |   475582 |    23905     43 |      846 |      731
1180.69/1181.25	c 1181s |      19 |   690525 |   476082 |    23905     43 |      846 |      731
1182.99/1183.54	c 1183s |      19 |   691366 |   476782 |    23905     43 |      846 |      731
1185.40/1185.92	c 1185s |      19 |   692017 |   477382 |    23905     43 |      846 |      731
1187.79/1188.35	c 1188s |      19 |   692698 |   477982 |    23905     43 |      846 |      731
1190.09/1190.66	c 1190s |      19 |   693390 |   478582 |    23905     43 |      846 |      731
1192.19/1192.79	c 1192s |      19 |   693959 |   479082 |    23905     43 |      846 |      731
1194.39/1194.93	c 1194s |      19 |   694523 |   479582 |    23905     43 |      846 |      731
1196.49/1197.05	c 1196s |      19 |   695076 |   480082 |    23905     43 |      846 |      731
1198.88/1199.42	c 1199s |      19 |   695616 |   480582 |    23905     43 |      846 |      731
1201.38/1201.95	c 1201s |      19 |   696173 |   481082 |    23905     43 |      846 |      731
1203.38/1203.99	c 1203s |      19 |   697023 |   481682 |    23905     43 |      846 |      731
1205.58/1206.18	c 1205s |      19 |   697903 |   482282 |    23905     43 |      846 |      731
1207.78/1208.36	c 1208s |      19 |   698527 |   482782 |    23905     43 |      846 |      731
1210.08/1210.68	c 1210s |      19 |   699260 |   483382 |    23905     43 |      846 |      731
1212.48/1213.03	c 1212s |      19 |   699952 |   483982 |    23905     43 |      846 |      731
1214.58/1215.16	c 1214s |      19 |   700585 |   484482 |    23905     43 |      846 |      731
1216.68/1217.29	c 1217s |      19 |   701212 |   484982 |    23905     43 |      846 |      731
1218.88/1219.41	c 1219s |      19 |   701691 |   485382 |    23905     43 |      846 |      731
1221.18/1221.77	c 1221s |      19 |   702293 |   485882 |    23905     43 |      846 |      731
1223.68/1224.23	c 1224s |      19 |   702856 |   486382 |    23905     43 |      846 |      731
1225.88/1226.41	c 1226s |      19 |   703438 |   486882 |    23905     43 |      846 |      731
1227.88/1228.47	c 1228s |      19 |   704106 |   487382 |    23905     43 |      846 |      731
1229.98/1230.51	c 1230s |      19 |   704564 |   487782 |    23905     44 |      846 |      731
1232.08/1232.64	c 1232s |      19 |   705889 |   488682 |    23905     44 |      846 |      731
1234.18/1234.78	c 1234s |      19 |   707187 |   489682 |    23905     44 |      846 |      731
1236.38/1236.90	c 1236s |      19 |   708149 |   490482 |    23905     44 |      846 |      731
1238.38/1238.99	c 1238s |      19 |   709303 |   491282 |    23905     44 |      846 |      731
1240.48/1241.09	c 1240s |      19 |   710094 |   491982 |    23905     44 |      846 |      731
1242.88/1243.40	c 1243s |      19 |   710896 |   492682 |    23905     44 |      846 |      731
1244.97/1245.60	c 1245s |      19 |   711565 |   493282 |    23905     44 |      846 |      731
1247.07/1247.69	c 1247s |      19 |   712280 |   493882 |    23905     44 |      846 |      731
1249.19/1249.75	c 1249s |      19 |   713037 |   494482 |    23905     44 |      846 |      731
1251.47/1252.03	c 1251s |      19 |   713837 |   495182 |    23905     44 |      846 |      731
1253.58/1254.15	c 1253s |      19 |   714523 |   495782 |    23905     44 |      846 |      731
1255.97/1256.53	c 1256s |      19 |   715233 |   496382 |    23905     44 |      846 |      731
1258.27/1258.87	c 1258s |      19 |   715968 |   496982 |    23905     44 |      846 |      731
1260.47/1261.00	c 1260s |      19 |   716556 |   497482 |    23905     44 |      846 |      731
1262.77/1263.35	c 1263s |      19 |   717125 |   497982 |    23905     44 |      846 |      731
1265.07/1265.67	c 1265s |      19 |   717705 |   498482 |    23905     44 |      846 |      731
1267.37/1267.97	c 1267s |      19 |   718272 |   498982 |    23905     44 |      846 |      731
1269.67/1270.22	c 1269s |      19 |   718807 |   499482 |    23905     44 |      846 |      731
1271.88/1272.45	c 1272s |      19 |   719517 |   500082 |    23905     44 |      846 |      731
1273.98/1274.59	c 1274s |      19 |   719977 |   500482 |    23905     44 |      846 |      731
1276.28/1276.83	c 1276s |      19 |   720424 |   500882 |    23905     44 |      846 |      731
1278.28/1278.85	c 1278s |      19 |   720749 |   501182 |    23905     45 |      846 |      731
1280.58/1281.15	c 1280s |      19 |   721568 |   501882 |    23905     45 |      846 |      731
1282.78/1283.31	c 1283s |      19 |   722414 |   502582 |    23905     45 |      846 |      731
1284.98/1285.51	c 1285s |      19 |   723105 |   503182 |    23905     45 |      846 |      731
1287.08/1287.65	c 1287s |      19 |   723782 |   503782 |    23905     45 |      846 |      731
1289.38/1289.92	c 1289s |      19 |   724486 |   504382 |    23905     45 |      846 |      731
1291.38/1291.96	c 1291s |      19 |   725161 |   504982 |    23905     45 |      846 |      731
1293.68/1294.26	c 1294s |      19 |   725845 |   505582 |    23905     45 |      846 |      731
1295.98/1296.54	c 1296s |      19 |   726499 |   506182 |    23905     45 |      846 |      731
1297.97/1298.60	c 1298s |      19 |   727066 |   506682 |    23905     45 |      846 |      731
1300.27/1300.80	c 1300s |      19 |   727763 |   507282 |    23905     45 |      846 |      731
1302.27/1302.83	c 1302s |      19 |   728302 |   507782 |    23905     45 |      846 |      731
1304.37/1304.91	c 1304s |      19 |   728843 |   508282 |    23905     45 |      846 |      731
1306.57/1307.15	c 1306s |      19 |   729546 |   508882 |    23905     45 |      846 |      731
1308.97/1309.57	c 1309s |      19 |   730215 |   509482 |    23905     45 |      846 |      731
1311.07/1311.64	c 1311s |      19 |   730773 |   509982 |    23905     45 |      846 |      731
1313.27/1313.85	c 1313s |      19 |   731476 |   510582 |    23905     45 |      846 |      731
1315.57/1316.14	c 1315s |      19 |   732284 |   511282 |    23905     45 |      846 |      731
1317.77/1318.35	c 1318s |      19 |   732934 |   511882 |    23905     45 |      846 |      731
1319.87/1320.44	c 1320s |      19 |   733468 |   512382 |    23905     45 |      846 |      731
1321.87/1322.45	c 1322s |      19 |   734055 |   512882 |    23905     45 |      846 |      731
1324.17/1324.79	c 1324s |      19 |   734725 |   513482 |    23905     45 |      846 |      731
1326.27/1326.86	c 1326s |      19 |   735318 |   513982 |    23905     45 |      846 |      731
1328.47/1329.05	c 1328s |      19 |   735865 |   514482 |    23905     45 |      846 |      731
1330.77/1331.36	c 1331s |      19 |   736311 |   514882 |    23905     46 |      846 |      731
1332.97/1333.55	c 1333s |      19 |   736987 |   515482 |    23905     46 |      846 |      731
1335.07/1335.64	c 1335s |      19 |   737682 |   516082 |    23905     46 |      846 |      731
1337.27/1337.82	c 1337s |      19 |   738353 |   516682 |    23905     46 |      846 |      731
1339.57/1340.18	c 1339s |      19 |   738993 |   517282 |    23905     46 |      846 |      731
1341.87/1342.47	c 1342s |      19 |   739650 |   517882 |    23905     46 |      846 |      731
1344.06/1344.62	c 1344s |      19 |   740339 |   518482 |    23905     46 |      846 |      731
1346.06/1346.65	c 1346s |      19 |   741038 |   519082 |    23905     46 |      846 |      731
1348.17/1348.78	c 1348s |      19 |   741576 |   519582 |    23905     46 |      846 |      731
1350.46/1351.05	c 1350s |      19 |   742241 |   520182 |    23905     46 |      846 |      731
1352.66/1353.26	c 1353s |      19 |   742781 |   520682 |    23905     46 |      846 |      731
1354.96/1355.53	c 1355s |      19 |   743353 |   521182 |    23905     46 |      846 |      731
1357.26/1357.82	c 1357s |      19 |   743906 |   521682 |    23905     46 |      846 |      731
1359.66/1360.29	c 1360s |      19 |   744453 |   522182 |    23905     46 |      846 |      731
1361.96/1362.54	c 1362s |      19 |   745000 |   522682 |    23905     46 |      846 |      731
1364.26/1364.89	c 1364s |      19 |   745538 |   523182 |    23905     46 |      846 |      731
1366.66/1367.21	c 1366s |      19 |   746086 |   523682 |    23905     46 |      846 |      731
1368.76/1369.31	c 1369s |      19 |   746537 |   524082 |    23905     46 |      846 |      731
1370.86/1371.44	c 1371s |      19 |   746978 |   524482 |    23905     46 |      846 |      731
1373.16/1373.77	c 1373s |      19 |   747522 |   524982 |    23905     46 |      846 |      731
1375.36/1375.98	c 1375s |      19 |   747951 |   525382 |    23905     46 |      846 |      731
1377.66/1378.25	c 1378s |      19 |   748379 |   525782 |    23905     46 |      846 |      731
1379.86/1380.44	c 1380s |      19 |   748822 |   526182 |    23905     46 |      846 |      731
1382.16/1382.75	c 1382s |      19 |   749272 |   526582 |    23905     46 |      846 |      731
1384.56/1385.16	c 1384s |      19 |   749847 |   527082 |    23905     46 |      846 |      731
1386.67/1387.28	c 1387s |      19 |   750325 |   527482 |    23905     46 |      846 |      731
1388.65/1389.30	c 1389s |      19 |   750764 |   527882 |    23905     46 |      846 |      731
1390.96/1391.53	c 1391s |      19 |   751101 |   528182 |    23905     47 |      846 |      731
1392.95/1393.56	c 1393s |      19 |   751659 |   528682 |    23905     47 |      846 |      731
1395.05/1395.60	c 1395s |      19 |   752209 |   529182 |    23905     47 |      846 |      731
1397.35/1397.92	c 1397s |      19 |   752879 |   529782 |    23905     47 |      846 |      731
1399.76/1400.32	c 1400s |      19 |   753570 |   530382 |    23905     47 |      846 |      731
1401.75/1402.35	c 1402s |      19 |   754117 |   530882 |    23905     47 |      846 |      731
1404.05/1404.61	c 1404s |      19 |   754662 |   531382 |    23905     47 |      846 |      731
1406.25/1406.81	c 1406s |      19 |   755225 |   531882 |    23905     47 |      846 |      731
1408.46/1409.06	c 1408s |      19 |   755769 |   532382 |    23905     47 |      846 |      731
1410.66/1411.23	c 1411s |      19 |   756189 |   532782 |    23905     47 |      846 |      731
1412.97/1413.57	c 1413s |      19 |   756621 |   533182 |    23905     47 |      846 |      731
1415.17/1415.75	c 1415s |      19 |   757178 |   533682 |    23905     47 |      846 |      731
1417.47/1418.02	c 1417s |      19 |   757727 |   534182 |    23905     47 |      846 |      731
1419.67/1420.28	c 1420s |      19 |   758259 |   534682 |    23905     47 |      846 |      731
1421.96/1422.57	c 1422s |      19 |   758787 |   535182 |    23905     47 |      846 |      731
1424.35/1424.98	c 1424s |      19 |   759347 |   535682 |    23905     47 |      846 |      731
1426.45/1427.02	c 1426s |      19 |   759766 |   536082 |    23905     47 |      846 |      731
1428.85/1429.40	c 1429s |      19 |   760310 |   536582 |    23905     47 |      846 |      731
1430.85/1431.47	c 1431s |      19 |   760744 |   536982 |    23905     47 |      846 |      731
1433.35/1433.94	c 1433s |      19 |   761295 |   537482 |    23905     47 |      846 |      731
1435.35/1435.97	c 1435s |      19 |   761737 |   537882 |    23905     47 |      846 |      731
1437.65/1438.29	c 1438s |      19 |   762318 |   538382 |    23905     47 |      846 |      731
1439.95/1440.57	c 1440s |      19 |   762937 |   538882 |    23905     47 |      846 |      731
1442.25/1442.83	c 1442s |      19 |   763479 |   539382 |    23905     47 |      846 |      731
1444.65/1445.20	c 1444s |      19 |   764030 |   539882 |    23905     47 |      846 |      731
1446.75/1447.36	c 1447s |      19 |   764448 |   540282 |    23905     47 |      846 |      731
1448.85/1449.44	c 1449s |      19 |   764876 |   540682 |    23905     47 |      846 |      731
1451.15/1451.70	c 1451s |      19 |   765420 |   541182 |    23905     47 |      846 |      731
1453.25/1453.81	c 1453s |      19 |   765855 |   541582 |    23905     47 |      846 |      731
1455.35/1455.95	c 1455s |      19 |   766195 |   541882 |    23905     48 |      846 |      731
1457.55/1458.19	c 1457s |      19 |   766847 |   542482 |    23905     48 |      846 |      731
1459.65/1460.22	c 1459s |      19 |   767402 |   542982 |    23905     48 |      846 |      731
1461.85/1462.49	c 1462s |      19 |   768198 |   543682 |    23905     48 |      846 |      731
1464.15/1464.70	c 1464s |      19 |   768852 |   544282 |    23905     48 |      846 |      731
1466.15/1466.78	c 1466s |      19 |   769545 |   544882 |    23905     48 |      846 |      731
1468.55/1469.10	c 1468s |      19 |   770199 |   545482 |    23905     48 |      846 |      731
1470.75/1471.38	c 1471s |      19 |   770863 |   546082 |    23905     48 |      846 |      731
1472.85/1473.50	c 1473s |      19 |   771447 |   546582 |    23905     48 |      846 |      731
1474.95/1475.53	c 1475s |      19 |   772003 |   547082 |    23905     48 |      846 |      731
1476.95/1477.53	c 1477s |      19 |   772543 |   547582 |    23905     48 |      846 |      731
1479.25/1479.81	c 1479s |      19 |   773089 |   548082 |    23905     48 |      846 |      731
1481.65/1482.23	c 1481s |      19 |   773623 |   548582 |    23905     48 |      846 |      731
1483.85/1484.47	c 1484s |      19 |   774162 |   549082 |    23905     48 |      846 |      731
1485.94/1486.58	c 1486s |      19 |   774724 |   549582 |    23905     48 |      846 |      731
1488.24/1488.86	c 1488s |      19 |   775281 |   550082 |    23905     48 |      846 |      731
1490.24/1490.86	c 1490s |      19 |   775693 |   550482 |    23905     48 |      846 |      731
1492.44/1493.02	c 1492s |      19 |   776250 |   550982 |    23905     48 |      846 |      731
1495.04/1495.61	c 1495s |      19 |   776806 |   551482 |    23905     48 |      846 |      731
1497.44/1498.04	c 1497s |      19 |   777363 |   551982 |    23905     48 |      846 |      731
1499.74/1500.32	c 1500s |      19 |   777922 |   552482 |    23905     48 |      846 |      731
1502.05/1502.69	c 1502s |      19 |   778479 |   552982 |    23905     48 |      846 |      731
1504.44/1505.06	c 1504s |      19 |   779031 |   553482 |    23905     48 |      846 |      731
1506.64/1507.23	c 1507s |      19 |   779594 |   553982 |    23905     48 |      846 |      731
1508.84/1509.40	c 1509s |      19 |   780046 |   554382 |    23905     48 |      846 |      731
1510.85/1511.46	c 1511s |      19 |   780474 |   554782 |    23905     48 |      846 |      731
1513.84/1514.42	c 1514s |      19 |   781033 |   555282 |    23905     49 |      846 |      731
1515.94/1516.51	c 1516s |      19 |   781596 |   555782 |    23905     49 |      846 |      731
1518.14/1518.72	c 1518s |      19 |   782252 |   556382 |    23905     49 |      846 |      731
1520.14/1520.75	c 1520s |      19 |   782803 |   556882 |    23905     49 |      846 |      731
1522.54/1523.12	c 1522s |      19 |   783447 |   557482 |    23905     49 |      846 |      731
1524.64/1525.29	c 1525s |      19 |   783997 |   557982 |    23905     49 |      846 |      731
1526.73/1527.32	c 1527s |      19 |   784546 |   558482 |    23905     49 |      846 |      731
1529.03/1529.60	c 1529s |      19 |   785088 |   558982 |    23905     49 |      846 |      731
1531.13/1531.79	c 1531s |      19 |   785627 |   559482 |    23905     49 |      846 |      731
1533.23/1533.89	c 1533s |      19 |   786169 |   559982 |    23905     49 |      846 |      731
1535.53/1536.15	c 1535s |      19 |   786709 |   560482 |    23905     49 |      846 |      731
1537.83/1538.44	c 1538s |      19 |   787282 |   560982 |    23905     49 |      846 |      731
1540.03/1540.65	c 1540s |      19 |   787829 |   561482 |    23905     49 |      846 |      731
1542.13/1542.70	c 1542s |      19 |   788356 |   561982 |    23905     49 |      846 |      731
1544.33/1544.97	c 1544s |      19 |   788918 |   562482 |    23905     49 |      846 |      731
1546.73/1547.39	c 1547s |      19 |   789466 |   562982 |    23905     49 |      846 |      731
1548.93/1549.56	c 1549s |      19 |   790019 |   563482 |    23905     49 |      846 |      731
1551.13/1551.75	c 1551s |      19 |   790574 |   563982 |    23905     49 |      846 |      731
1553.43/1554.04	c 1553s |      19 |   791124 |   564482 |    23905     49 |      846 |      731
1555.83/1556.44	c 1556s |      19 |   791685 |   564982 |    23905     49 |      846 |      731
1558.43/1559.06	c 1558s |      19 |   792214 |   565482 |    23905     49 |      846 |      731
1560.73/1561.32	c 1561s |      19 |   792672 |   565882 |    23905     49 |      846 |      731
1562.83/1563.41	c 1563s |      19 |   793105 |   566282 |    23905     49 |      846 |      731
1565.03/1565.66	c 1565s |      19 |   793536 |   566682 |    23905     49 |      846 |      731
1567.23/1567.88	c 1567s |      19 |   793953 |   567082 |    23905     49 |      846 |      731
1569.33/1569.96	c 1569s |      19 |   794391 |   567482 |    23905     49 |      846 |      731
1571.63/1572.20	c 1571s |      19 |   794813 |   567882 |    23905     49 |      846 |      731
1573.83/1574.47	c 1574s |      19 |   795269 |   568282 |    23905     49 |      846 |      731
1576.12/1576.77	c 1576s |      19 |   795711 |   568682 |    23905     49 |      846 |      731
1578.32/1578.95	c 1578s |      19 |   796033 |   568982 |    23905     50 |      846 |      731
1580.42/1581.07	c 1580s |      19 |   796582 |   569482 |    23905     50 |      846 |      731
1582.72/1583.35	c 1583s |      19 |   797133 |   569982 |    23905     50 |      846 |      731
1584.82/1585.47	c 1585s |      19 |   797683 |   570482 |    23905     50 |      846 |      731
1587.02/1587.67	c 1587s |      19 |   798235 |   570982 |    23905     50 |      846 |      731
1589.42/1590.09	c 1589s |      19 |   798894 |   571582 |    23905     50 |      846 |      731
1591.62/1592.28	c 1592s |      19 |   799422 |   572082 |    23905     50 |      846 |      731
1594.02/1594.67	c 1594s |      19 |   799969 |   572582 |    23905     50 |      846 |      731
1596.22/1596.82	c 1596s |      19 |   800492 |   573082 |    23905     50 |      846 |      731
1598.42/1599.03	c 1598s |      19 |   801044 |   573582 |    23905     50 |      846 |      731
1600.72/1601.39	c 1601s |      19 |   801565 |   574082 |    23905     50 |      846 |      731
1603.02/1603.64	c 1603s |      19 |   802125 |   574582 |    23905     50 |      846 |      731
1605.43/1606.05	c 1605s |      19 |   802663 |   575082 |    23905     50 |      846 |      731
1607.73/1608.31	c 1608s |      19 |   803229 |   575582 |    23905     50 |      846 |      731
1610.12/1610.71	c 1610s |      19 |   803791 |   576082 |    23905     50 |      846 |      731
1612.52/1613.13	c 1612s |      19 |   804328 |   576582 |    23905     50 |      846 |      731
1615.02/1615.60	c 1615s |      19 |   804870 |   577082 |    23905     50 |      846 |      731
1617.12/1617.74	c 1617s |      19 |   805295 |   577482 |    23905     50 |      846 |      731
1619.12/1619.76	c 1619s |      19 |   805734 |   577882 |    23905     50 |      846 |      731
1621.32/1621.98	c 1621s |      19 |   806162 |   578282 |    23905     50 |      846 |      731
1623.52/1624.13	c 1623s |      19 |   806583 |   578682 |    23905     50 |      846 |      731
1625.62/1626.23	c 1626s |      19 |   807019 |   579082 |    23905     50 |      846 |      731
1627.92/1628.55	c 1628s |      19 |   807443 |   579482 |    23905     50 |      846 |      731
1630.02/1630.65	c 1630s |      19 |   807920 |   579882 |    23905     50 |      846 |      731
1632.01/1632.66	c 1632s |      19 |   808359 |   580282 |    23905     50 |      846 |      731
1634.31/1634.98	c 1634s |      19 |   808902 |   580782 |    23905     50 |      846 |      731
1636.71/1637.33	c 1637s |      19 |   809437 |   581282 |    23905     50 |      846 |      731
1639.11/1639.73	c 1639s |      19 |   810008 |   581782 |    23905     50 |      846 |      731
1642.31/1642.96	c 1642s |      19 |   810533 |   582282 |    23905     51 |      846 |      731
1644.61/1645.24	c 1645s |      19 |   811177 |   582882 |    23905     51 |      846 |      731
1646.81/1647.47	c 1647s |      19 |   811815 |   583482 |    23905     51 |      846 |      731
1648.92/1649.56	c 1649s |      19 |   812563 |   584082 |    23905     51 |      846 |      731
1650.92/1651.58	c 1651s |      19 |   813296 |   584682 |    23905     51 |      846 |      731
1653.32/1653.94	c 1653s |      19 |   814003 |   585282 |    23905     51 |      846 |      731
1655.52/1656.16	c 1655s |      19 |   814678 |   585882 |    23905     51 |      846 |      731
1657.62/1658.20	c 1657s |      19 |   815245 |   586382 |    23905     51 |      846 |      731
1659.72/1660.38	c 1660s |      19 |   815813 |   586882 |    23905     51 |      846 |      731
1661.92/1662.54	c 1662s |      19 |   816554 |   587482 |    23905     51 |      846 |      731
1664.22/1664.86	c 1664s |      19 |   817349 |   588182 |    23905     51 |      846 |      731
1666.32/1666.93	c 1666s |      19 |   817933 |   588682 |    23905     51 |      846 |      731
1668.52/1669.19	c 1668s |      19 |   818595 |   589282 |    23905     51 |      846 |      731
1670.62/1671.20	c 1670s |      19 |   819171 |   589782 |    23905     51 |      846 |      731
1672.92/1673.59	c 1673s |      19 |   819852 |   590382 |    23905     51 |      846 |      731
1675.22/1675.80	c 1675s |      19 |   820527 |   590982 |    23905     51 |      846 |      731
1677.42/1678.02	c 1677s |      19 |   821078 |   591482 |    23905     51 |      846 |      731
1679.62/1680.20	c 1679s |      19 |   821512 |   591882 |    23905     51 |      846 |      731
1682.02/1682.60	c 1682s |      19 |   822048 |   592382 |    23905     51 |      846 |      731
1684.32/1684.98	c 1684s |      19 |   822595 |   592882 |    23905     51 |      846 |      731
1686.71/1687.36	c 1687s |      19 |   823134 |   593382 |    23905     51 |      846 |      731
1689.02/1689.66	c 1689s |      19 |   823707 |   593882 |    23905     51 |      846 |      731
1691.32/1691.92	c 1691s |      19 |   824129 |   594282 |    23905     51 |      846 |      731
1693.61/1694.27	c 1694s |      19 |   824674 |   594782 |    23905     51 |      846 |      731
1695.81/1696.47	c 1696s |      19 |   825108 |   595182 |    23905     51 |      846 |      731
1697.92/1698.53	c 1698s |      19 |   825536 |   595582 |    23905     51 |      846 |      731
1700.12/1700.73	c 1700s |      19 |   825854 |   595882 |    23905     52 |      846 |      731
1702.32/1702.96	c 1702s |      19 |   826419 |   596382 |    23905     52 |      846 |      731
1704.61/1705.24	c 1705s |      19 |   827166 |   596982 |    23905     52 |      846 |      731
1706.81/1707.42	c 1707s |      19 |   827951 |   597682 |    23905     52 |      846 |      731
1709.01/1709.62	c 1709s |      19 |   828764 |   598382 |    23905     52 |      846 |      731
1711.12/1711.73	c 1711s |      19 |   829453 |   598982 |    23905     52 |      846 |      731
1713.32/1713.99	c 1713s |      19 |   830099 |   599582 |    23905     52 |      846 |      731
1715.42/1716.02	c 1715s |      19 |   830776 |   600182 |    23905     52 |      846 |      731
1717.41/1718.04	c 1717s |      19 |   831310 |   600682 |    23905     52 |      846 |      731
1719.61/1720.27	c 1720s |      19 |   831840 |   601182 |    23905     52 |      846 |      731
1721.71/1722.35	c 1722s |      19 |   832378 |   601682 |    23905     52 |      846 |      731
1723.71/1724.38	c 1724s |      19 |   832943 |   602182 |    23905     52 |      846 |      731
1725.81/1726.49	c 1726s |      19 |   833503 |   602682 |    23905     52 |      846 |      731
1728.11/1728.78	c 1728s |      19 |   834038 |   603182 |    23905     52 |      846 |      731
1730.21/1730.82	c 1730s |      19 |   834605 |   603682 |    23905     52 |      846 |      731
1732.40/1733.05	c 1732s |      19 |   835162 |   604182 |    23905     52 |      846 |      731
1734.70/1735.39	c 1735s |      19 |   835723 |   604682 |    23905     52 |      846 |      731
1736.90/1737.52	c 1737s |      19 |   836265 |   605182 |    23905     52 |      846 |      731
1739.10/1739.78	c 1739s |      19 |   836825 |   605682 |    23905     52 |      846 |      731
1741.30/1742.00	c 1741s |      19 |   837382 |   606182 |    23905     52 |      846 |      731
1743.80/1744.40	c 1744s |      19 |   837936 |   606682 |    23905     52 |      846 |      731
1745.90/1746.50	c 1746s |      19 |   838395 |   607082 |    23905     52 |      846 |      731
1748.20/1748.88	c 1748s |      19 |   838939 |   607582 |    23905     52 |      846 |      731
1750.50/1751.14	c 1750s |      19 |   839365 |   607982 |    23905     52 |      846 |      731
1752.60/1753.29	c 1753s |      19 |   839826 |   608382 |    23905     52 |      846 |      731
1754.80/1755.47	c 1755s |      19 |   840252 |   608782 |    23905     52 |      846 |      731
1757.21/1757.83	c 1757s |      19 |   840694 |   609182 |    23905     52 |      846 |      731
1759.41/1760.05	c 1759s |      19 |   841027 |   609482 |    23905     53 |      846 |      731
1761.40/1762.08	c 1761s |      19 |   841569 |   609982 |    23905     53 |      846 |      731
1763.60/1764.26	c 1764s |      19 |   842105 |   610482 |    23905     53 |      846 |      731
1765.80/1766.41	c 1766s |      19 |   842655 |   610982 |    23905     53 |      846 |      731
1767.80/1768.43	c 1768s |      19 |   843189 |   611482 |    23905     53 |      846 |      731
1769.90/1770.51	c 1770s |      19 |   843729 |   611982 |    23905     53 |      846 |      731
1772.10/1772.77	c 1772s |      19 |   844373 |   612582 |    23905     53 |      846 |      731
1774.30/1774.96	c 1774s |      19 |   844904 |   613082 |    23905     53 |      846 |      731
1776.50/1777.13	c 1776s |      19 |   845452 |   613582 |    23905     53 |      846 |      731
1778.60/1779.26	c 1779s |      19 |   846048 |   614082 |    23905     53 |      846 |      731
1780.60/1781.29	c 1781s |      19 |   846599 |   614582 |    23905     53 |      846 |      731
1783.00/1783.60	c 1783s |      19 |   847128 |   615082 |    23905     53 |      846 |      731
1785.09/1785.71	c 1785s |      19 |   847546 |   615482 |    23905     53 |      846 |      731
1787.39/1788.08	c 1787s |      19 |   848105 |   615982 |    23905     53 |      846 |      731
1789.49/1790.15	c 1789s |      19 |   848647 |   616482 |    23905     53 |      846 |      731
1791.69/1792.33	c 1792s |      19 |   849210 |   616982 |    23905     53 |      846 |      731
1793.99/1794.67	c 1794s |      19 |   849742 |   617482 |    23905     53 |      846 |      731
1795.99/1796.68	c 1796s |      19 |   850163 |   617882 |    23905     53 |      846 |      731
1798.09/1798.77	c 1798s |      19 |   850596 |   618282 |    23905     53 |      846 |      731

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

pid=2199
running on 8 cores: 4-7,12-15

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.12 2.06 2.06 3/261 2202
/proc/meminfo: memFree=30857780/32872528 swapFree=7556/7556
[pid=2202] ppid=2199 vsize=1165756 CPUtime=0 cores=4-7,12-15
/proc/2202/stat : 2202 (toysat) R 2199 2202 32495 0 -1 4202496 4428 0 0 0 0 0 0 0 20 0 4 0 28136816 1193734144 4278 33554432000 4194304 16246674 140734730948256 140734730947680 13880264 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2202/statm: 291951 4286 441 2943 0 288845 0
[pid=2202/tid=2203] ppid=2199 vsize=1217980 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2203/stat : 2203 (toysat) S 2199 2202 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28136816 1247211520 4485 33554432000 4194304 16246674 140734730948256 139975331917040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2202/tid=2204] ppid=2199 vsize=1217980 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2204/stat : 2204 (toysat) S 2199 2202 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28136816 1247211520 4485 33554432000 4194304 16246674 140734730948256 139975321427184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2202/tid=2205] ppid=2199 vsize=1217980 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2205/stat : 2205 (toysat) S 2199 2202 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28136816 1247211520 4491 33554432000 4194304 16246674 140734730948256 139975310953648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0

[startup+0.100157 s]
/proc/loadavg: 2.12 2.06 2.06 3/261 2202
/proc/meminfo: memFree=30857780/32872528 swapFree=7556/7556
[pid=2202] ppid=2199 vsize=1302084 CPUtime=0.09 cores=4-7,12-15
/proc/2202/stat : 2202 (toysat) R 2199 2202 32495 0 -1 4202496 25249 0 0 0 6 3 0 0 20 0 4 0 28136816 1333334016 25036 33554432000 4194304 16246674 140734730948256 140734730947568 6761361 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2202/statm: 325521 25044 830 2943 0 322415 0
[pid=2202/tid=2203] ppid=2199 vsize=1302084 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2203/stat : 2203 (toysat) S 2199 2202 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28136816 1333334016 25051 33554432000 4194304 16246674 140734730948256 139975331917040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2202/tid=2204] ppid=2199 vsize=1302084 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2204/stat : 2204 (toysat) S 2199 2202 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28136816 1333334016 25058 33554432000 4194304 16246674 140734730948256 139975321427184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2202/tid=2205] ppid=2199 vsize=1302084 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2205/stat : 2205 (toysat) S 2199 2202 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28136816 1333334016 25064 33554432000 4194304 16246674 140734730948256 139975310953648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.20052 s]
/proc/loadavg: 2.12 2.06 2.06 3/261 2202
/proc/meminfo: memFree=30857780/32872528 swapFree=7556/7556
[pid=2202] ppid=2199 vsize=1302084 CPUtime=0.19 cores=4-7,12-15
/proc/2202/stat : 2202 (toysat) R 2199 2202 32495 0 -1 4202496 43537 0 0 0 13 6 0 0 20 0 4 0 28136816 1333334016 43324 33554432000 4194304 16246674 140734730948256 140734730947568 5762672 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2202/statm: 325521 43324 842 2943 0 322415 0
[pid=2202/tid=2203] ppid=2199 vsize=1302084 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2203/stat : 2203 (toysat) S 2199 2202 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28136816 1333334016 43324 33554432000 4194304 16246674 140734730948256 139975331917040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2202/tid=2204] ppid=2199 vsize=1302084 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2204/stat : 2204 (toysat) S 2199 2202 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28136816 1333334016 43324 33554432000 4194304 16246674 140734730948256 139975321427184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2202/tid=2205] ppid=2199 vsize=1302084 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2205/stat : 2205 (toysat) S 2199 2202 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28136816 1333334016 43324 33554432000 4194304 16246674 140734730948256 139975310953648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1302084

[startup+0.300495 s]
/proc/loadavg: 2.12 2.06 2.06 3/261 2202
/proc/meminfo: memFree=30857780/32872528 swapFree=7556/7556
[pid=2202] ppid=2199 vsize=1302084 CPUtime=0.29 cores=4-7,12-15
/proc/2202/stat : 2202 (toysat) R 2199 2202 32495 0 -1 4202496 48650 0 0 0 22 7 0 0 20 0 4 0 28136816 1333334016 48437 33554432000 4194304 16246674 140734730948256 140734730947568 13954518 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2202/statm: 325521 48442 882 2943 0 322415 0
[pid=2202/tid=2203] ppid=2199 vsize=1302084 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2203/stat : 2203 (toysat) S 2199 2202 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28136816 1333334016 48446 33554432000 4194304 16246674 140734730948256 139975331917040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2202/tid=2204] ppid=2199 vsize=1302084 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2204/stat : 2204 (toysat) S 2199 2202 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28136816 1333334016 48449 33554432000 4194304 16246674 140734730948256 139975321427184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2202/tid=2205] ppid=2199 vsize=1302084 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2205/stat : 2205 (toysat) S 2199 2202 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28136816 1333334016 48453 33554432000 4194304 16246674 140734730948256 139975310953648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084

[startup+0.700414 s]
/proc/loadavg: 2.12 2.06 2.06 3/261 2202
/proc/meminfo: memFree=30857780/32872528 swapFree=7556/7556
[pid=2202] ppid=2199 vsize=1302084 CPUtime=0.69 cores=4-7,12-15
/proc/2202/stat : 2202 (toysat) R 2199 2202 32495 0 -1 4202496 101288 0 0 0 54 15 0 0 20 0 4 0 28136816 1333334016 101075 33554432000 4194304 16246674 140734730948256 140734730931256 5546181 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2202/statm: 325521 101085 882 2943 0 322415 0
[pid=2202/tid=2203] ppid=2199 vsize=1302084 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2203/stat : 2203 (toysat) S 2199 2202 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28136816 1333334016 101091 33554432000 4194304 16246674 140734730948256 139975331917040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2202/tid=2204] ppid=2199 vsize=1302084 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2204/stat : 2204 (toysat) S 2199 2202 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28136816 1333334016 101095 33554432000 4194304 16246674 140734730948256 139975321427184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2202/tid=2205] ppid=2199 vsize=1302084 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2205/stat : 2205 (toysat) S 2199 2202 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28136816 1333334016 101106 33554432000 4194304 16246674 140734730948256 139975310953648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1302084

[startup+1.50039 s]
/proc/loadavg: 2.12 2.06 2.06 3/265 2206
/proc/meminfo: memFree=30239880/32872528 swapFree=7556/7556
[pid=2202] ppid=2199 vsize=1302084 CPUtime=1.49 cores=4-7,12-15
/proc/2202/stat : 2202 (toysat) R 2199 2202 32495 0 -1 4202496 212907 0 0 0 120 29 0 0 20 0 4 0 28136816 1333334016 212694 33554432000 4194304 16246674 140734730948256 140734730930176 13759916 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2202/statm: 325521 212701 882 2943 0 322415 0
[pid=2202/tid=2203] ppid=2199 vsize=1302084 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2203/stat : 2203 (toysat) S 2199 2202 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28136816 1333334016 212704 33554432000 4194304 16246674 140734730948256 139975331917040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2202/tid=2204] ppid=2199 vsize=1302084 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2204/stat : 2204 (toysat) S 2199 2202 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28136816 1333334016 212709 33554432000 4194304 16246674 140734730948256 139975321427184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2202/tid=2205] ppid=2199 vsize=1302084 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2205/stat : 2205 (toysat) S 2199 2202 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28136816 1333334016 212713 33554432000 4194304 16246674 140734730948256 139975310953648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1302084

[startup+3.10041 s]
/proc/loadavg: 2.12 2.06 2.06 3/264 2206
/proc/meminfo: memFree=29782700/32872528 swapFree=7556/7556
[pid=2202] ppid=2199 vsize=1312324 CPUtime=3.09 cores=4-7,12-15
/proc/2202/stat : 2202 (toysat) R 2199 2202 32495 0 -1 4202496 269097 0 0 0 270 39 0 0 20 0 4 0 28136816 1343819776 268884 33554432000 4194304 16246674 140734730948256 140734730930176 5553672 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2202/statm: 328081 268884 889 2943 0 324975 0
[pid=2202/tid=2203] ppid=2199 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2203/stat : 2203 (toysat) S 2199 2202 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28136816 1343819776 268884 33554432000 4194304 16246674 140734730948256 139975331917040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2202/tid=2204] ppid=2199 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2204/stat : 2204 (toysat) S 2199 2202 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28136816 1343819776 268884 33554432000 4194304 16246674 140734730948256 139975321427184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2202/tid=2205] ppid=2199 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2205/stat : 2205 (toysat) S 2199 2202 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28136816 1343819776 268884 33554432000 4194304 16246674 140734730948256 139975310953648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.30043 s]
/proc/loadavg: 2.11 2.06 2.06 3/264 2206
/proc/meminfo: memFree=29781916/32872528 swapFree=7556/7556
[pid=2202] ppid=2199 vsize=1312324 CPUtime=6.29 cores=4-7,12-15
/proc/2202/stat : 2202 (toysat) R 2199 2202 32495 0 -1 4202496 269270 0 0 0 590 39 0 0 20 0 4 0 28136816 1343819776 269057 33554432000 4194304 16246674 140734730948256 140734730930176 12415740 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2202/statm: 328081 269057 889 2943 0 324975 0
[pid=2202/tid=2203] ppid=2199 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2203/stat : 2203 (toysat) S 2199 2202 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28136816 1343819776 269057 33554432000 4194304 16246674 140734730948256 139975331917040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2202/tid=2204] ppid=2199 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2204/stat : 2204 (toysat) S 2199 2202 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28136816 1343819776 269057 33554432000 4194304 16246674 140734730948256 139975321427184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2202/tid=2205] ppid=2199 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2205/stat : 2205 (toysat) S 2199 2202 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28136816 1343819776 269057 33554432000 4194304 16246674 140734730948256 139975310953648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.10 2.06 2.06 3/265 2207
/proc/meminfo: memFree=29782132/32872528 swapFree=7556/7556
[pid=2202] ppid=2199 vsize=1312324 CPUtime=12.69 cores=4-7,12-15
/proc/2202/stat : 2202 (toysat) R 2199 2202 32495 0 -1 4202496 269270 0 0 0 1230 39 0 0 20 0 4 0 28136816 1343819776 269057 33554432000 4194304 16246674 140734730948256 140734730930176 5721708 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2202/statm: 328081 269057 889 2943 0 324975 0
[pid=2202/tid=2203] ppid=2199 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2203/stat : 2203 (toysat) S 2199 2202 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28136816 1343819776 269057 33554432000 4194304 16246674 140734730948256 139975331917040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2202/tid=2204] ppid=2199 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2204/stat : 2204 (toysat) S 2199 2202 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28136816 1343819776 269057 33554432000 4194304 16246674 140734730948256 139975321427184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2202/tid=2205] ppid=2199 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2205/stat : 2205 (toysat) S 2199 2202 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28136816 1343819776 269057 33554432000 4194304 16246674 140734730948256 139975310953648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.08 2.06 2.05 3/265 2207
/proc/meminfo: memFree=29783772/32872528 swapFree=7556/7556
[pid=2202] ppid=2199 vsize=1312324 CPUtime=25.49 cores=4-7,12-15
/proc/2202/stat : 2202 (toysat) R 2199 2202 32495 0 -1 4202496 269270 0 0 0 2510 39 0 0 20 0 4 0 28136816 1343819776 269057 33554432000 4194304 16246674 140734730948256 140734730930176 13780585 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2202/statm: 328081 269057 889 2943 0 324975 0
[pid=2202/tid=2203] ppid=2199 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2203/stat : 2203 (toysat) S 2199 2202 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28136816 1343819776 269057 33554432000 4194304 16246674 140734730948256 139975331917040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2202/tid=2204] ppid=2199 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2204/stat : 2204 (toysat) S 2199 2202 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28136816 1343819776 269057 33554432000 4194304 16246674 140734730948256 139975321427184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2202/tid=2205] ppid=2199 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2205/stat : 2205 (toysat) S 2199 2202 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28136816 1343819776 269057 33554432000 4194304 16246674 140734730948256 139975310953648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.11 2.07 2.06 3/265 2207
/proc/meminfo: memFree=29784452/32872528 swapFree=7556/7556
[pid=2202] ppid=2199 vsize=1312324 CPUtime=51.08 cores=4-7,12-15
/proc/2202/stat : 2202 (toysat) R 2199 2202 32495 0 -1 4202496 269271 0 0 0 5069 39 0 0 20 0 4 0 28136816 1343819776 269058 33554432000 4194304 16246674 140734730948256 140734730930176 5600804 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2202/statm: 328081 269058 890 2943 0 324975 0
[pid=2202/tid=2203] ppid=2199 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2203/stat : 2203 (toysat) S 2199 2202 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28136816 1343819776 269058 33554432000 4194304 16246674 140734730948256 139975331917040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2202/tid=2204] ppid=2199 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2204/stat : 2204 (toysat) S 2199 2202 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28136816 1343819776 269058 33554432000 4194304 16246674 140734730948256 139975321427184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2202/tid=2205] ppid=2199 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2205/stat : 2205 (toysat) S 2199 2202 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28136816 1343819776 269058 33554432000 4194304 16246674 140734730948256 139975310953648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.301 s]
/proc/loadavg: 2.11 2.07 2.06 3/265 2208
/proc/meminfo: memFree=29773424/32872528 swapFree=7556/7556
[pid=2202] ppid=2199 vsize=1323588 CPUtime=102.29 cores=4-7,12-15
/proc/2202/stat : 2202 (toysat) R 2199 2202 32495 0 -1 4202496 271879 0 0 0 10189 40 0 0 20 0 4 0 28136816 1355354112 271666 33554432000 4194304 16246674 140734730948256 140734730930176 5711636 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2202/statm: 330897 271666 890 2943 0 327791 0
[pid=2202/tid=2203] ppid=2199 vsize=1323588 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2203/stat : 2203 (toysat) S 2199 2202 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28136816 1355354112 271666 33554432000 4194304 16246674 140734730948256 139975331917040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2202/tid=2204] ppid=2199 vsize=1323588 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2204/stat : 2204 (toysat) S 2199 2202 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28136816 1355354112 271666 33554432000 4194304 16246674 140734730948256 139975321427184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2202/tid=2205] ppid=2199 vsize=1323588 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2205/stat : 2205 (toysat) S 2199 2202 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28136816 1355354112 271666 33554432000 4194304 16246674 140734730948256 139975310953648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1323588


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

Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 1330756

[startup+1362.3 s]
/proc/loadavg: 2.04 2.05 2.03 4/265 2290
/proc/meminfo: memFree=29740380/32872528 swapFree=7556/7556
[pid=2202] ppid=2199 vsize=1330756 CPUtime=1361.76 cores=4-7,12-15
/proc/2202/stat : 2202 (toysat) R 2199 2202 32495 0 -1 4202496 274267 0 0 0 136126 50 0 0 20 0 4 0 28136816 1362694144 273922 33554432000 4194304 16246674 140734730948256 140734730930176 5822484 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2202/statm: 332689 273922 890 2943 0 329583 0
[pid=2202/tid=2203] ppid=2199 vsize=1330756 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2203/stat : 2203 (toysat) S 2199 2202 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28136816 1362694144 273922 33554432000 4194304 16246674 140734730948256 139975331917040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2202/tid=2204] ppid=2199 vsize=1330756 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2204/stat : 2204 (toysat) S 2199 2202 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28136816 1362694144 273922 33554432000 4194304 16246674 140734730948256 139975321427184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2202/tid=2205] ppid=2199 vsize=1330756 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2205/stat : 2205 (toysat) S 2199 2202 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28136816 1362694144 273922 33554432000 4194304 16246674 140734730948256 139975310953648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 1330756

[startup+1422.3 s]
/proc/loadavg: 2.01 2.03 2.02 4/265 2291
/proc/meminfo: memFree=29740492/32872528 swapFree=7556/7556
[pid=2202] ppid=2199 vsize=1330756 CPUtime=1421.77 cores=4-7,12-15
/proc/2202/stat : 2202 (toysat) R 2199 2202 32495 0 -1 4202496 274267 0 0 0 142126 51 0 0 20 0 4 0 28136816 1362694144 273922 33554432000 4194304 16246674 140734730948256 140734730930176 5677784 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2202/statm: 332689 273922 890 2943 0 329583 0
[pid=2202/tid=2203] ppid=2199 vsize=1330756 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2203/stat : 2203 (toysat) S 2199 2202 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28136816 1362694144 273922 33554432000 4194304 16246674 140734730948256 139975331917040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2202/tid=2204] ppid=2199 vsize=1330756 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2204/stat : 2204 (toysat) S 2199 2202 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28136816 1362694144 273922 33554432000 4194304 16246674 140734730948256 139975321427184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2202/tid=2205] ppid=2199 vsize=1330756 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2205/stat : 2205 (toysat) S 2199 2202 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28136816 1362694144 273922 33554432000 4194304 16246674 140734730948256 139975310953648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 1330756

[startup+1482.3 s]
/proc/loadavg: 2.33 2.10 2.05 4/265 2292
/proc/meminfo: memFree=29739992/32872528 swapFree=7556/7556
[pid=2202] ppid=2199 vsize=1330756 CPUtime=1481.75 cores=4-7,12-15
/proc/2202/stat : 2202 (toysat) R 2199 2202 32495 0 -1 4202496 274267 0 0 0 148124 51 0 0 20 0 4 0 28136816 1362694144 273922 33554432000 4194304 16246674 140734730948256 140734730930176 5822484 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2202/statm: 332689 273922 890 2943 0 329583 0
[pid=2202/tid=2203] ppid=2199 vsize=1330756 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2203/stat : 2203 (toysat) S 2199 2202 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28136816 1362694144 273922 33554432000 4194304 16246674 140734730948256 139975331917040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2202/tid=2204] ppid=2199 vsize=1330756 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2204/stat : 2204 (toysat) S 2199 2202 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28136816 1362694144 273922 33554432000 4194304 16246674 140734730948256 139975321427184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2202/tid=2205] ppid=2199 vsize=1330756 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2205/stat : 2205 (toysat) S 2199 2202 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28136816 1362694144 273922 33554432000 4194304 16246674 140734730948256 139975310953648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 1330756

[startup+1542.31 s]
/proc/loadavg: 2.12 2.08 2.04 4/265 2293
/proc/meminfo: memFree=29739784/32872528 swapFree=7556/7556
[pid=2202] ppid=2199 vsize=1330756 CPUtime=1541.74 cores=4-7,12-15
/proc/2202/stat : 2202 (toysat) R 2199 2202 32495 0 -1 4202496 274267 0 0 0 154123 51 0 0 20 0 4 0 28136816 1362694144 273922 33554432000 4194304 16246674 140734730948256 140734730930176 6012004 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2202/statm: 332689 273922 890 2943 0 329583 0
[pid=2202/tid=2203] ppid=2199 vsize=1330756 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2203/stat : 2203 (toysat) S 2199 2202 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28136816 1362694144 273922 33554432000 4194304 16246674 140734730948256 139975331917040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2202/tid=2204] ppid=2199 vsize=1330756 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2204/stat : 2204 (toysat) S 2199 2202 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28136816 1362694144 273922 33554432000 4194304 16246674 140734730948256 139975321427184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2202/tid=2205] ppid=2199 vsize=1330756 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2205/stat : 2205 (toysat) S 2199 2202 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28136816 1362694144 273922 33554432000 4194304 16246674 140734730948256 139975310953648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 1330756

[startup+1602.3 s]
/proc/loadavg: 2.08 2.08 2.04 4/265 2295
/proc/meminfo: memFree=29739396/32872528 swapFree=7556/7556
[pid=2202] ppid=2199 vsize=1330756 CPUtime=1601.72 cores=4-7,12-15
/proc/2202/stat : 2202 (toysat) R 2199 2202 32495 0 -1 4202496 274267 0 0 0 160121 51 0 0 20 0 4 0 28136816 1362694144 273922 33554432000 4194304 16246674 140734730948256 140734730930176 5712604 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2202/statm: 332689 273922 890 2943 0 329583 0
[pid=2202/tid=2203] ppid=2199 vsize=1330756 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2203/stat : 2203 (toysat) S 2199 2202 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28136816 1362694144 273922 33554432000 4194304 16246674 140734730948256 139975331917040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2202/tid=2204] ppid=2199 vsize=1330756 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2204/stat : 2204 (toysat) S 2199 2202 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28136816 1362694144 273922 33554432000 4194304 16246674 140734730948256 139975321427184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2202/tid=2205] ppid=2199 vsize=1330756 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2205/stat : 2205 (toysat) S 2199 2202 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28136816 1362694144 273922 33554432000 4194304 16246674 140734730948256 139975310953648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 1330756

[startup+1662.3 s]
/proc/loadavg: 2.03 2.06 2.03 4/266 2299
/proc/meminfo: memFree=29739304/32872528 swapFree=7556/7556
[pid=2202] ppid=2199 vsize=1330756 CPUtime=1661.72 cores=4-7,12-15
/proc/2202/stat : 2202 (toysat) R 2199 2202 32495 0 -1 4202496 274267 0 0 0 166120 52 0 0 20 0 4 0 28136816 1362694144 273922 33554432000 4194304 16246674 140734730948256 140734730930176 5673315 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2202/statm: 332689 273922 890 2943 0 329583 0
[pid=2202/tid=2203] ppid=2199 vsize=1330756 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2203/stat : 2203 (toysat) S 2199 2202 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28136816 1362694144 273922 33554432000 4194304 16246674 140734730948256 139975331917040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2202/tid=2204] ppid=2199 vsize=1330756 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2204/stat : 2204 (toysat) S 2199 2202 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28136816 1362694144 273922 33554432000 4194304 16246674 140734730948256 139975321427184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2202/tid=2205] ppid=2199 vsize=1330756 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2205/stat : 2205 (toysat) S 2199 2202 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28136816 1362694144 273922 33554432000 4194304 16246674 140734730948256 139975310953648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 1330756

[startup+1722.3 s]
/proc/loadavg: 2.01 2.05 2.03 4/265 2300
/proc/meminfo: memFree=29738928/32872528 swapFree=7556/7556
[pid=2202] ppid=2199 vsize=1330756 CPUtime=1721.71 cores=4-7,12-15
/proc/2202/stat : 2202 (toysat) R 2199 2202 32495 0 -1 4202496 274267 0 0 0 172119 52 0 0 20 0 4 0 28136816 1362694144 273922 33554432000 4194304 16246674 140734730948256 140734730930176 5677888 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2202/statm: 332689 273922 890 2943 0 329583 0
[pid=2202/tid=2203] ppid=2199 vsize=1330756 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2203/stat : 2203 (toysat) S 2199 2202 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28136816 1362694144 273922 33554432000 4194304 16246674 140734730948256 139975331917040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2202/tid=2204] ppid=2199 vsize=1330756 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2204/stat : 2204 (toysat) S 2199 2202 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28136816 1362694144 273922 33554432000 4194304 16246674 140734730948256 139975321427184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2202/tid=2205] ppid=2199 vsize=1330756 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2205/stat : 2205 (toysat) S 2199 2202 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28136816 1362694144 273922 33554432000 4194304 16246674 140734730948256 139975310953648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 1330756

[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.02 4/265 2301
/proc/meminfo: memFree=29738820/32872528 swapFree=7556/7556
[pid=2202] ppid=2199 vsize=1330756 CPUtime=1781.7 cores=4-7,12-15
/proc/2202/stat : 2202 (toysat) R 2199 2202 32495 0 -1 4202496 274267 0 0 0 178118 52 0 0 20 0 4 0 28136816 1362694144 273922 33554432000 4194304 16246674 140734730948256 140734730930176 4220880 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2202/statm: 332689 273922 890 2943 0 329583 0
[pid=2202/tid=2203] ppid=2199 vsize=1330756 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2203/stat : 2203 (toysat) S 2199 2202 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28136816 1362694144 273922 33554432000 4194304 16246674 140734730948256 139975331917040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2202/tid=2204] ppid=2199 vsize=1330756 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2204/stat : 2204 (toysat) S 2199 2202 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28136816 1362694144 273922 33554432000 4194304 16246674 140734730948256 139975321427184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2202/tid=2205] ppid=2199 vsize=1330756 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2205/stat : 2205 (toysat) S 2199 2202 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28136816 1362694144 273922 33554432000 4194304 16246674 140734730948256 139975310953648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 1330756



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 2.00 2.03 2.02 4/265 2301
/proc/meminfo: memFree=29738828/32872528 swapFree=7556/7556
[pid=2202] ppid=2199 vsize=1330756 CPUtime=1800.1 cores=4-7,12-15
/proc/2202/stat : 2202 (toysat) R 2199 2202 32495 0 -1 4202496 274267 0 0 0 179958 52 0 0 20 0 4 0 28136816 1362694144 273922 33554432000 4194304 16246674 140734730948256 140734730930176 5545784 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2202/statm: 332689 273922 890 2943 0 329583 0
[pid=2202/tid=2203] ppid=2199 vsize=1330756 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2203/stat : 2203 (toysat) S 2199 2202 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28136816 1362694144 273922 33554432000 4194304 16246674 140734730948256 139975331917040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2202/tid=2204] ppid=2199 vsize=1330756 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2204/stat : 2204 (toysat) S 2199 2202 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28136816 1362694144 273922 33554432000 4194304 16246674 140734730948256 139975321427184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2202/tid=2205] ppid=2199 vsize=1330756 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2205/stat : 2205 (toysat) S 2199 2202 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28136816 1362694144 273922 33554432000 4194304 16246674 140734730948256 139975310953648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1330756

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

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

[startup+1800.7 s]
/proc/loadavg: 2.00 2.03 2.02 4/265 2301
/proc/meminfo: memFree=29738828/32872528 swapFree=7556/7556
[pid=2202] ppid=2199 vsize=1330756 CPUtime=1800.1 cores=4-7,12-15
/proc/2202/stat : 2202 (toysat) R 2199 2202 32495 0 -1 4202496 274267 0 0 0 179958 52 0 0 20 0 4 0 28136816 1362694144 273922 33554432000 4194304 16246674 140734730948256 140734730930176 5545784 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2202/statm: 332689 273922 890 2943 0 329583 0
[pid=2202/tid=2203] ppid=2199 vsize=1330756 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2203/stat : 2203 (toysat) S 2199 2202 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28136816 1362694144 273922 33554432000 4194304 16246674 140734730948256 139975331917040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2202/tid=2204] ppid=2199 vsize=1330756 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2204/stat : 2204 (toysat) S 2199 2202 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28136816 1362694144 273922 33554432000 4194304 16246674 140734730948256 139975321427184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2202/tid=2205] ppid=2199 vsize=1330756 CPUtime=0 cores=4-7,12-15
/proc/2202/task/2205/stat : 2205 (toysat) S 2199 2202 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28136816 1362694144 273922 33554432000 4194304 16246674 140734730948256 139975310953648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1330756

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.72
CPU time (s): 1800.12
CPU user time (s): 1799.59
CPU system time (s): 0.526919
CPU usage (%): 99.9667
Max. virtual memory (cumulated for all children) (KiB): 1330756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.526919
maximum resident set size= 1095688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274267
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= 403
involuntary context switches= 1838

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.6251 second user time and 18.6992 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-26 16:23:06
IDJOB=4116941
IDBENCH=109533
IDSOLVER=2542
FILE ID=node132/4116941-1466950986
RUNJOBID= node132-1466939688-32512
PBS_JOBID= 19976333
Free space on /tmp= 71512 MiB

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

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

MD5SUM BENCH= 43408970c2b3ba12c492cc7535f73fd0
RANDOM SEED=601526579

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30858208 kB
Buffers:           21588 kB
Cached:           175908 kB
SwapCached:         1784 kB
Active:          1160684 kB
Inactive:         136316 kB
Active(anon):    1100588 kB
Inactive(anon):     1700 kB
Active(file):      60096 kB
Inactive(file):   134616 kB
Unevictable:        7556 kB
Mlocked:            7556 kB
SwapTotal:      67108856 kB
SwapFree:       67098636 kB
Dirty:             16540 kB
Writeback:             0 kB
AnonPages:       1107372 kB
Mapped:            10924 kB
Shmem:                 0 kB
Slab:             570652 kB
SReclaimable:      10960 kB
SUnreclaim:       559692 kB
KernelStack:        2232 kB
PageTables:         6132 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1249300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71496 MiB
End job on node132 at 2016-06-26 16:53:07