Trace number 4100401

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.02 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-bg512142.opb
MD5SUM6816c7581e307ff85cc3550c4b71269a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables16800
Total number of constraints945
Number of constraints which are clauses11
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints934
Minimum length of a constraint1
Maximum length of a constraint183
Number of terms in the objective function 9600
Biggest coefficient in the objective function 3638
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 533064
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262141
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 533064
Number of bits of the biggest sum of numbers20
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-18T03:30:54+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-4100401-1466213454.opb"]
0.00/0.01	c use --random-gen="3270834383 2710673602 1602816569 1660205355 1001176093 2832782276 2953376608 3329977094 1841755255 3855591578 77599394 4209384326 4013482627 18912161 572402462 1057021634 42928070 3200649420 4083978668 3667045253 1021751280 4181077573 290639818 72540946 3319706612 3144720411 3339300868 3017346130 28890716 2330735959 1085508730 1585170777 2252399221 1554137690 3912808578 251006443 3351441376 3545488412 114708841 459309955 2269552138 566289862 2000422022 1055346048 1162010579 2422015071 535013677 3845025629 4014834600 2788522498 1988750379 2307196932 4291973656 231228208 3073304105 1985504845 1073775802 3025700020 1696292535 38330995 2935247785 1048516589 3629886537 4001138615 2678927498 1102840400 3660537407 701581213 2029280644 2665475477 2782371137 2651410450 19359435 590072809 1214861977 3937175552 2584017074 455216218 540597139 2088614201 17635986 4222124008 1812964852 1007203777 302572927 456229026 4192905668 2543546688 4023769385 925816448 3094192831 2929754281 3627574598 2286246226 4167968488 973514443 3837116383 2646695825 1976471030 3380017198 1223674607 2391443186 3371375626 1645855110 1603605936 3888844328 4202292907 3869989083 2128182785 16547042 2710176758 3594082858 4082284886 1550356747 2660114103 1764012511 4185657759 282564199 1645802533 3247562286 2605680961 1735417531 1273879493 2477680321 3252200294 3375120287 3104836920 1990202028 1714350638 274770704 3181793309 3612952222 2828387040 3100294764 2487486327 2030138800 4239663047 3711348063 317206734 3829216892 2484452675 3474992967 3745334490 3830821682 1686725563 3221572751 2262629543 1927347628 3368752619 4133448291 1395381779 3073894894 2986193116 2380913045 940708929 2553549008 2537365531 1729679871 2197717311 1948658582 2488741694 3811609268 795392541 907586073 2895459539 167115389 2418396812 1305167007 1314990105 2668020001 1431623533 1709270983 137528588 3014600254 12348159 199084598 1925276071 931770284 1222021657 868024357 4009912470 2037648990 2762661986 3477102763 4159599473 170899621 3848187491 344146863 627201830 3085594013 4252364797 2890735716 2647067625 1040196824 2978295279 1594775543 2848539382 2986786534 2190952951 1306632118 4261395133 1649561119 2885429898 2882273466 1367466891 1802126111 819642962 1788962810 2786799727 2222960866 1267052895 3058850249 2414279460 1432396494 1370612133 1383123439 1330951690 4119926995 1568967579 105764118 88226299 2220274133 1268156479 4237044353 555922158 369468014 1123067692 3203226456 88847991 3387667936 2584909504 4161231597 3036001155 64947316 1072440201 764493587 2705506489 3152102072 1268075888 712212992 803366431 4271224363 771335755 2056568780 613862163 1521744907 1642535039 206507551 4286577057 1274246331 310108154 4129895132 2408845468 2304301363 2107919057 2548673796 255 362436" option to reproduce the execution
0.09/0.19	c #vars 16800
0.09/0.19	c #constraints 945
1.09/1.11	c BCD2: Hardening is enabled.
1.09/1.11	c BCD2: BiasedSearch is enabled.
1.09/1.11	c Solving starts ...
1.09/1.11	c ============================[ Search Statistics ]============================
1.09/1.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.09/1.11	c       |         |          |          |    Limit     GC | Var      | Constra 
1.09/1.11	c =============================================================================
1.09/1.11	c  0.0s |       0 |        0 |        0 |     5991      0 |     2653 |        0
1.09/1.17	c  0.1s |       1 |      982 |      100 |     5991      0 |     2653 |        2
1.19/1.24	c  0.1s |       2 |     1213 |      250 |     6591      0 |     2653 |        2
1.58/1.61	c  0.5s |       3 |     4745 |      475 |     7251      0 |     2682 |        2
1.58/1.69	c  0.6s |       4 |     6587 |      813 |     7977      0 |     2682 |        2
1.78/1.82	c  0.7s |       5 |     8712 |     1320 |     8775      0 |     2683 |        2
1.98/2.00	c  0.9s |       6 |    10025 |     2081 |    10619      0 |     2683 |        2
2.19/2.26	c  1.1s |       7 |    11691 |     3223 |    11681      0 |     2683 |        2
2.68/2.75	c  1.6s |       8 |    14005 |     4936 |    12850      0 |     2683 |        2
3.48/3.50	c  2.4s |       9 |    17505 |     7506 |    14136      0 |     2683 |        2
4.89/4.91	c  3.8s |      10 |    27347 |    11361 |    15550      0 |     2706 |        2
6.19/6.29	c  5.2s |      11 |    35728 |    17144 |    17105      0 |     2706 |        2
8.29/8.31	c  7.2s |      11 |    43007 |    23844 |    17105      1 |     2706 |        2
8.90/8.95	c  7.8s |      12 |    45090 |    25819 |    18816      1 |     2706 |        2
10.89/10.98	c  9.9s |      12 |    50135 |    30119 |    18816      1 |     2706 |        2
12.89/12.99	c 11.9s |      12 |    54636 |    33919 |    18816      2 |     2706 |        2
14.99/15.02	c 13.9s |      12 |    60642 |    38419 |    18816      2 |     2706 |        2
15.19/15.20	c 14.1s |      13 |    61114 |    38832 |    20698      2 |     2706 |        2
17.19/17.21	c 16.1s |      13 |    72298 |    43132 |    20698      2 |     2716 |        2
19.19/19.21	c 18.1s |      13 |    80754 |    49832 |    20698      3 |     2716 |        2
21.19/21.22	c 20.1s |      13 |    87367 |    54532 |    20698      3 |     2716 |        2
22.89/22.98	c 21.9s |      14 |    92458 |    58352 |    22768      4 |     2716 |        2
25.19/25.27	c 24.2s |      14 |    97147 |    62052 |    22768      4 |     2716 |        2
27.19/27.30	c 26.2s |      14 |   105506 |    69052 |    22768      4 |     2716 |        2
29.29/29.30	c 28.2s |      14 |   113071 |    75052 |    22768      5 |     2716 |        2
31.28/31.34	c 30.2s |      14 |   119131 |    80352 |    22768      5 |     2716 |        2
33.28/33.36	c 32.3s |      14 |   124047 |    84452 |    22768      6 |     2716 |        2
34.88/34.99	c 33.9s |      15 |   128011 |    87632 |    25045      6 |     2716 |        2
36.98/37.01	c 35.9s |      15 |   133577 |    91732 |    25045      6 |     2716 |        2
38.98/39.03	c 37.9s |      15 |   138942 |    95532 |    25045      6 |     2716 |        2
40.98/41.06	c 40.0s |      15 |   143368 |    98432 |    25045      7 |     2716 |        2
42.99/43.07	c 42.0s |      15 |   148834 |   102432 |    25045      7 |     2716 |        2
44.98/45.07	c 44.0s |      15 |   153209 |   105732 |    25045      7 |     2716 |        2
47.18/47.26	c 46.2s |      15 |   156503 |   108132 |    25045      7 |     2716 |        2
49.38/49.44	c 48.3s |      15 |   160976 |   111932 |    25045      8 |     2716 |        2
51.38/51.45	c 50.3s |      15 |   164035 |   114632 |    25045      8 |     2716 |        2
53.38/53.45	c 52.3s |      15 |   167688 |   117932 |    25045      8 |     2716 |        2
55.48/55.50	c 54.4s |      15 |   172208 |   121832 |    25045      8 |     2716 |        2
57.48/57.56	c 56.5s |      15 |   175757 |   124832 |    25045      8 |     2716 |        2
59.48/59.57	c 58.5s |      15 |   178616 |   127332 |    25045      9 |     2716 |        2
61.58/61.62	c 60.5s |      15 |   182886 |   131032 |    27550      9 |     2716 |        2
61.87/61.91	c 60.8s |      16 |   183463 |   131552 |    27550      9 |     2716 |        2
65.68/65.70	c 64.6s |      16 |   184097 |   132052 |    27550      9 |     2716 |        2
67.68/67.74	c 66.6s |      16 |   188730 |   135852 |    27550      9 |     2716 |        2
69.68/69.75	c 68.6s |      16 |   192880 |   139252 |    27550      9 |     2716 |        2
71.68/71.77	c 70.7s |      16 |   196171 |   142152 |    27550      9 |     2716 |        2
73.68/73.78	c 72.7s |      16 |   199360 |   144752 |    27550     10 |     2716 |        2
75.98/76.10	c 75.0s |      16 |   202666 |   147452 |    27550     10 |     2716 |        2
78.08/78.11	c 77.0s |      16 |   206668 |   150652 |    27550     10 |     2716 |        2
80.07/80.13	c 79.0s |      16 |   210101 |   153252 |    27550     10 |     2716 |        2
82.17/82.20	c 81.1s |      16 |   213663 |   156152 |    27550     10 |     2716 |        2
84.17/84.22	c 83.1s |      16 |   215924 |   157952 |    27550     11 |     2716 |        2
90.37/90.43	c 89.3s |      16 |   217753 |   159252 |    27550     11 |     2716 |        2
92.38/92.44	c 91.3s |      16 |   222231 |   162752 |    27550     11 |     2716 |        2
94.37/94.49	c 93.4s |      16 |   226700 |   166352 |    27550     11 |     2716 |        2
96.47/96.57	c 95.5s |      16 |   229935 |   168852 |    27550     11 |     2716 |        2
98.47/98.58	c 97.5s |      16 |   233067 |   171252 |    27550     11 |     2716 |        2
100.57/100.62	c 99.5s |      16 |   235291 |   172952 |    27550     12 |     2716 |        2
102.57/102.66	c  101s |      16 |   239153 |   175952 |    27550     12 |     2716 |        2
104.58/104.68	c  103s |      16 |   243913 |   179652 |    27550     12 |     2716 |        2
106.57/106.69	c  105s |      16 |   248098 |   182852 |    27550     12 |     2716 |        2
108.57/108.69	c  107s |      16 |   251646 |   185752 |    27550     12 |     2716 |        2
110.57/110.69	c  109s |      16 |   254231 |   187752 |    27550     13 |     2716 |        2
112.67/112.70	c  111s |      16 |   257256 |   190152 |    27550     13 |     2716 |        2
114.67/114.72	c  113s |      16 |   260985 |   193152 |    27550     13 |     2716 |        2
116.67/116.74	c  115s |      16 |   264608 |   196252 |    30306     13 |     2716 |        2
117.57/117.67	c  116s |      17 |   265995 |   197432 |    30306     13 |     2716 |        2
119.66/119.73	c  118s |      17 |   268608 |   199632 |    30306     13 |     2716 |        2
121.66/121.74	c  120s |      17 |   270663 |   201332 |    30306     13 |     2716 |        2
127.97/128.07	c  126s |      17 |   273695 |   203532 |    30306     13 |     2716 |        2
132.36/132.44	c  131s |      17 |   273907 |   203732 |    30306     13 |     2716 |        2
135.76/135.89	c  134s |      17 |   276112 |   205732 |    30306     14 |     2716 |        2
137.86/137.90	c  136s |      17 |   280418 |   209532 |    30306     14 |     2716 |        2
139.87/139.90	c  138s |      17 |   283660 |   212432 |    30306     14 |     2716 |        2
141.88/141.91	c  140s |      17 |   286496 |   214932 |    30306     14 |     2716 |        2
143.87/143.91	c  142s |      17 |   289425 |   217632 |    30306     14 |     2716 |        2
145.87/145.97	c  144s |      17 |   293070 |   220632 |    30306     14 |     2716 |        2
147.87/147.98	c  146s |      17 |   296064 |   223132 |    30306     15 |     2716 |        2
149.97/150.02	c  148s |      17 |   300964 |   227032 |    30306     15 |     2716 |        2
151.97/152.06	c  150s |      17 |   302168 |   227932 |    30306     15 |     2716 |        2
153.97/154.07	c  152s |      17 |   307288 |   232132 |    30306     15 |     2716 |        2
155.97/156.09	c  154s |      17 |   310661 |   234932 |    30306     15 |     2716 |        2
158.07/158.13	c  157s |      17 |   314294 |   238032 |    30306     15 |     2716 |        2
160.36/160.45	c  159s |      17 |   316264 |   239732 |    30306     16 |     2716 |        2
162.46/162.52	c  161s |      17 |   319989 |   242532 |    30306     16 |     2716 |        2
164.46/164.58	c  163s |      17 |   323716 |   245332 |    30306     16 |     2716 |        2
166.56/166.65	c  165s |      17 |   327331 |   248232 |    30306     16 |     2716 |        2
168.66/168.75	c  167s |      17 |   330444 |   250732 |    30306     16 |     2716 |        2
170.66/170.78	c  169s |      17 |   333715 |   253232 |    30306     16 |     2716 |        2
173.06/173.14	c  172s |      17 |   336530 |   255332 |    30306     17 |     2716 |        2
175.06/175.16	c  174s |      17 |   340174 |   258332 |    30306     17 |     2716 |        2
177.07/177.18	c  176s |      17 |   343904 |   261332 |    30306     17 |     2716 |        2
179.16/179.20	c  178s |      17 |   347340 |   264132 |    30306     17 |     2716 |        2
181.26/181.34	c  180s |      17 |   350635 |   266832 |    30306     17 |     2716 |        2
183.26/183.37	c  182s |      17 |   356144 |   271432 |    30306     17 |     2716 |        2
185.26/185.37	c  184s |      17 |   361182 |   275932 |    30306     18 |     2716 |        2
187.76/187.80	c  186s |      17 |   364703 |   279032 |    30306     18 |     2716 |        2
189.75/189.83	c  188s |      17 |   366008 |   280132 |    30306     18 |     2716 |        2
195.06/195.13	c  194s |      17 |   367055 |   280932 |    30306     18 |     2716 |        2
197.06/197.19	c  196s |      17 |   371250 |   284432 |    30306     18 |     2716 |        2
199.16/199.21	c  198s |      17 |   375364 |   287932 |    30306     18 |     2716 |        2
201.26/201.31	c  200s |      17 |   377353 |   289632 |    30306     19 |     2716 |        2
203.26/203.35	c  202s |      17 |   381771 |   293432 |    30306     19 |     2716 |        2
204.66/204.78	c  203s |      18 |   384812 |   296252 |    33337     19 |     2716 |        2
206.76/206.83	c  205s |      18 |   385309 |   296552 |    33337     19 |     2716 |        2
209.06/209.15	c  208s |      18 |   388819 |   299452 |    33337     19 |     2716 |        2
211.06/211.18	c  210s |      18 |   392019 |   301752 |    33337     19 |     2716 |        2
213.16/213.24	c  212s |      18 |   394734 |   304252 |    33337     19 |     2716 |        2
215.26/215.36	c  214s |      18 |   396927 |   306152 |    33337     19 |     2716 |        2
217.66/217.72	c  216s |      18 |   399052 |   307952 |    33337     20 |     2716 |        2
219.65/219.78	c  218s |      18 |   399539 |   308252 |    33337     20 |     2716 |        2
221.75/221.80	c  220s |      18 |   402199 |   310352 |    33337     20 |     2716 |        2
223.75/223.84	c  222s |      18 |   405998 |   313252 |    33337     20 |     2716 |        2
225.75/225.86	c  224s |      18 |   409756 |   316052 |    33337     20 |     2716 |        2
227.76/227.88	c  226s |      18 |   414252 |   319352 |    33337     20 |     2716 |        2
229.86/229.98	c  228s |      18 |   417583 |   321952 |    33337     20 |     2716 |        2
235.65/235.76	c  234s |      18 |   419241 |   323452 |    33337     20 |     2716 |        2
237.75/237.84	c  236s |      18 |   421501 |   325452 |    33337     20 |     2716 |        2
239.76/239.84	c  238s |      18 |   425008 |   326752 |    33337     21 |     2772 |        2
241.75/241.87	c  240s |      18 |   435303 |   335152 |    33337     21 |     2772 |        2
243.75/243.89	c  242s |      18 |   441508 |   340452 |    33337     21 |     2772 |        2
245.85/245.90	c  244s |      18 |   447300 |   343952 |    33337     21 |     2773 |        2
247.85/247.92	c  246s |      18 |   454052 |   349352 |    33337     21 |     2773 |        2
249.85/249.92	c  248s |      18 |   459508 |   353352 |    33337     21 |     2773 |        2
251.86/251.94	c  250s |      18 |   463523 |   356552 |    33337     22 |     2773 |        2
253.85/253.98	c  252s |      18 |   467639 |   360052 |    33337     22 |     2773 |        2
255.85/255.98	c  254s |      18 |   470997 |   362652 |    33337     22 |     2773 |        2
257.95/258.01	c  256s |      18 |   474660 |   365652 |    33337     22 |     2773 |        2
259.95/260.06	c  258s |      18 |   477377 |   367952 |    33337     22 |     2773 |        2
262.05/262.19	c  261s |      18 |   480448 |   370052 |    33337     22 |     2773 |        2
264.15/264.22	c  263s |      18 |   483872 |   372152 |    33337     22 |     2773 |        2
266.95/267.03	c  265s |      18 |   486636 |   374152 |    33337     23 |     2773 |        2
268.94/269.04	c  267s |      18 |   490306 |   376852 |    33337     23 |     2773 |        2
270.94/271.10	c  269s |      18 |   493977 |   379852 |    33337     23 |     2773 |        2
273.04/273.16	c  272s |      18 |   497264 |   382652 |    33337     23 |     2773 |        2
275.05/275.19	c  274s |      18 |   499703 |   384852 |    33337     23 |     2773 |        2
277.15/277.27	c  276s |      18 |   502400 |   387152 |    33337     23 |     2773 |        2
279.24/279.30	c  278s |      18 |   504390 |   388852 |    33337     23 |     2773 |        2
281.44/281.53	c  280s |      18 |   505302 |   389652 |    33337     23 |     2773 |        2
283.44/283.59	c  282s |      18 |   506582 |   390652 |    33337     24 |     2773 |        2
285.54/285.65	c  284s |      18 |   509943 |   393352 |    33337     24 |     2773 |        2
287.54/287.68	c  286s |      18 |   512713 |   395752 |    33337     24 |     2773 |        2
289.64/289.75	c  288s |      18 |   515298 |   397952 |    33337     24 |     2773 |        2
291.64/291.76	c  290s |      18 |   517305 |   399752 |    33337     24 |     2773 |        2
293.75/293.82	c  292s |      18 |   519514 |   401652 |    33337     24 |     2773 |        2
295.74/295.88	c  294s |      18 |   522469 |   404052 |    33337     24 |     2773 |        2
297.84/297.94	c  296s |      18 |   524427 |   405652 |    33337     24 |     2773 |        2
299.84/299.97	c  298s |      18 |   526513 |   407452 |    33337     24 |     2773 |        2
304.14/304.27	c  303s |      18 |   528699 |   409152 |    33337     25 |     2773 |        2
306.24/306.34	c  305s |      18 |   529456 |   409752 |    33337     25 |     2773 |        2
312.74/312.87	c  311s |      18 |   533036 |   412652 |    33337     25 |     2773 |        2
314.84/314.94	c  313s |      18 |   536103 |   415152 |    33337     25 |     2773 |        2
316.93/317.00	c  315s |      18 |   539012 |   417552 |    33337     25 |     2773 |        2
318.94/319.05	c  317s |      18 |   541764 |   419952 |    33337     25 |     2773 |        2
321.03/321.11	c  320s |      18 |   545068 |   422552 |    33337     25 |     2773 |        2
323.03/323.14	c  322s |      18 |   547160 |   424352 |    33337     25 |     2773 |        2
325.13/325.26	c  324s |      18 |   549239 |   426052 |    33337     25 |     2773 |        2
330.93/331.07	c  329s |      18 |   550946 |   427452 |    33337     26 |     2773 |        2
339.94/340.06	c  338s |      18 |   552435 |   428652 |    33337     26 |     2773 |        2
341.93/342.07	c  340s |      18 |   554735 |   430652 |    33337     26 |     2773 |        2
343.93/344.08	c  342s |      18 |   557348 |   432852 |    33337     26 |     2773 |        2
346.03/346.19	c  345s |      18 |   559586 |   434752 |    33337     26 |     2773 |        2
348.13/348.27	c  347s |      18 |   562616 |   437252 |    33337     26 |     2773 |        2
350.33/350.46	c  349s |      18 |   564006 |   438452 |    33337     26 |     2773 |        2
352.53/352.60	c  351s |      18 |   565021 |   439352 |    33337     26 |     2773 |        2
354.53/354.66	c  353s |      18 |   566191 |   440352 |    33337     26 |     2773 |        2
356.53/356.68	c  355s |      18 |   568387 |   442152 |    36671     26 |     2773 |        2
358.64/358.79	c  357s |      18 |   571132 |   444352 |    36671     26 |     2773 |        2
358.93/359.02	c  357s |      19 |   571288 |   444482 |    36671     26 |     2773 |        2
360.93/361.05	c  359s |      19 |   575683 |   447682 |    36671     26 |     2773 |        2
363.04/363.10	c  361s |      19 |   579409 |   450882 |    36671     27 |     2773 |        2
365.03/365.13	c  364s |      19 |   584108 |   454482 |    36671     27 |     2773 |        2
367.03/367.16	c  366s |      19 |   587011 |   457082 |    36671     27 |     2773 |        2
369.13/369.21	c  368s |      19 |   591220 |   460582 |    36671     27 |     2773 |        2
371.13/371.25	c  370s |      19 |   594848 |   463582 |    36671     27 |     2773 |        2
373.13/373.26	c  372s |      19 |   598131 |   466282 |    36671     27 |     2773 |        2
375.23/375.33	c  374s |      19 |   600897 |   468682 |    36671     27 |     2773 |        2
377.23/377.33	c  376s |      19 |   602933 |   470382 |    36671     28 |     2773 |        2
379.23/379.34	c  378s |      19 |   605724 |   472582 |    36671     28 |     2773 |        2
381.23/381.38	c  380s |      19 |   608302 |   474682 |    36671     28 |     2773 |        2
383.33/383.41	c  382s |      19 |   610534 |   476582 |    36671     28 |     2773 |        2
385.33/385.43	c  384s |      19 |   613139 |   478682 |    36671     28 |     2773 |        2
387.32/387.47	c  386s |      19 |   615506 |   480682 |    36671     28 |     2773 |        2
389.52/389.67	c  388s |      19 |   617983 |   482482 |    36671     28 |     2773 |        2
391.63/391.71	c  390s |      19 |   619825 |   483982 |    36671     28 |     2773 |        2
393.62/393.73	c  392s |      19 |   621671 |   485482 |    36671     28 |     2773 |        2
395.72/395.81	c  394s |      19 |   623850 |   487182 |    36671     28 |     2773 |        2
397.82/397.96	c  396s |      19 |   626030 |   488882 |    36671     28 |     2773 |        2
400.02/400.12	c  399s |      19 |   626888 |   489582 |    36671     29 |     2773 |        2
402.02/402.18	c  401s |      19 |   628908 |   491282 |    36671     29 |     2773 |        2
404.12/404.20	c  403s |      19 |   631491 |   493282 |    36671     29 |     2773 |        2
406.22/406.30	c  405s |      19 |   634140 |   495582 |    36671     29 |     2773 |        2
408.22/408.38	c  407s |      19 |   636520 |   497582 |    36671     29 |     2773 |        2
410.33/410.41	c  409s |      19 |   638439 |   499382 |    36671     29 |     2773 |        2
414.74/414.89	c  413s |      19 |   639157 |   500082 |    36671     29 |     2773 |        2
416.83/416.94	c  415s |      19 |   640770 |   501382 |    36671     29 |     2773 |        2
418.83/418.99	c  417s |      19 |   642693 |   502882 |    36671     29 |     2773 |        2
420.93/421.02	c  419s |      19 |   644269 |   504182 |    36671     29 |     2773 |        2
423.03/423.15	c  422s |      19 |   646253 |   505682 |    36671     29 |     2773 |        2
425.13/425.20	c  424s |      19 |   648190 |   507282 |    36671     29 |     2773 |        2
427.23/427.30	c  426s |      19 |   649816 |   508582 |    36671     29 |     2773 |        2
429.82/429.92	c  428s |      19 |   650813 |   509282 |    36671     30 |     2773 |        2
431.92/432.00	c  430s |      19 |   652851 |   510982 |    36671     30 |     2773 |        2
433.92/434.09	c  432s |      19 |   655949 |   513482 |    36671     30 |     2773 |        2
436.22/436.33	c  435s |      19 |   657637 |   514982 |    36671     30 |     2773 |        2
438.22/438.35	c  437s |      19 |   660062 |   516882 |    36671     30 |     2773 |        2
440.22/440.35	c  439s |      19 |   662286 |   518682 |    36671     30 |     2773 |        2
442.23/442.36	c  441s |      19 |   664438 |   520482 |    36671     30 |     2773 |        2
444.33/444.45	c  443s |      19 |   666391 |   522082 |    36671     30 |     2773 |        2
446.42/446.52	c  445s |      19 |   668413 |   523682 |    36671     30 |     2773 |        2
448.42/448.58	c  447s |      19 |   670189 |   525182 |    36671     30 |     2773 |        2
450.62/450.75	c  449s |      19 |   671847 |   526682 |    36671     30 |     2773 |        2
452.82/452.92	c  451s |      19 |   673013 |   527682 |    36671     30 |     2773 |        2
456.32/456.43	c  455s |      19 |   675101 |   529282 |    36671     31 |     2773 |        2
458.42/458.50	c  457s |      19 |   677511 |   531182 |    36671     31 |     2773 |        2
460.42/460.58	c  459s |      19 |   679829 |   533182 |    36671     31 |     2773 |        2
462.42/462.59	c  461s |      19 |   681710 |   534882 |    36671     31 |     2773 |        2
474.72/474.83	c  473s |      19 |   682980 |   536082 |    36671     31 |     2773 |        2
477.32/477.47	c  476s |      19 |   683344 |   536382 |    36671     31 |     2773 |        2
479.42/479.51	c  478s |      19 |   684965 |   537782 |    36671     31 |     2773 |        2
481.42/481.55	c  480s |      19 |   686518 |   539082 |    36671     31 |     2773 |        2
483.52/483.68	c  482s |      19 |   688116 |   540382 |    36671     31 |     2773 |        2
485.62/485.79	c  484s |      19 |   689563 |   541582 |    36671     31 |     2773 |        2
487.71/487.84	c  486s |      19 |   691126 |   542982 |    36671     31 |     2773 |        2
489.81/489.97	c  488s |      19 |   692791 |   544382 |    36671     31 |     2773 |        2
492.01/492.10	c  490s |      19 |   694177 |   545582 |    36671     31 |     2773 |        2
494.11/494.29	c  493s |      19 |   695392 |   546682 |    36671     31 |     2773 |        2
496.31/496.40	c  495s |      19 |   696517 |   547682 |    36671     31 |     2773 |        2
498.32/498.41	c  497s |      19 |   697700 |   548682 |    36671     31 |     2773 |        2
500.31/500.45	c  499s |      19 |   699056 |   549782 |    36671     32 |     2773 |        2
502.41/502.52	c  501s |      19 |   700452 |   551082 |    36671     32 |     2773 |        2
505.21/505.34	c  504s |      19 |   700976 |   551582 |    36671     32 |     2773 |        2
507.21/507.38	c  506s |      19 |   701399 |   551882 |    36671     32 |     2773 |        2
509.31/509.42	c  508s |      19 |   703576 |   553582 |    36671     32 |     2773 |        2
511.31/511.49	c  510s |      19 |   706352 |   555682 |    36671     32 |     2773 |        2
513.41/513.58	c  512s |      19 |   709224 |   557882 |    36671     32 |     2773 |        2
515.51/515.69	c  514s |      19 |   711526 |   559782 |    36671     32 |     2773 |        2
517.71/517.84	c  516s |      19 |   713514 |   561482 |    36671     32 |     2773 |        2
519.81/519.93	c  518s |      19 |   715594 |   563182 |    36671     32 |     2773 |        2
521.91/522.03	c  520s |      19 |   717525 |   564882 |    36671     32 |     2773 |        2
523.91/524.04	c  522s |      19 |   719264 |   566282 |    36671     32 |     2773 |        2
525.91/526.07	c  524s |      19 |   721295 |   567782 |    36671     32 |     2773 |        2
528.01/528.18	c  527s |      19 |   722648 |   568882 |    36671     32 |     2773 |        2
530.11/530.22	c  529s |      19 |   723600 |   569682 |    36671     33 |     2773 |        2
532.10/532.23	c  531s |      19 |   724573 |   570482 |    36671     33 |     2773 |        2
534.10/534.29	c  533s |      19 |   727624 |   572782 |    36671     33 |     2773 |        2
536.20/536.33	c  535s |      19 |   727976 |   573082 |    36671     33 |     2773 |        2
538.20/538.36	c  537s |      19 |   729819 |   574782 |    36671     33 |     2773 |        2
540.20/540.36	c  539s |      19 |   732363 |   576882 |    36671     33 |     2773 |        2
542.31/542.41	c  541s |      19 |   735080 |   579082 |    36671     33 |     2773 |        2
544.41/544.51	c  543s |      19 |   737607 |   581182 |    36671     33 |     2773 |        2
546.40/546.52	c  545s |      19 |   739148 |   582482 |    36671     33 |     2773 |        2
548.40/548.53	c  547s |      19 |   740839 |   583882 |    36671     33 |     2773 |        2
550.50/550.60	c  549s |      19 |   742145 |   584982 |    36671     33 |     2773 |        2
553.51/553.60	c  552s |      19 |   742867 |   585582 |    36671     33 |     2773 |        2
555.51/555.62	c  554s |      19 |   746121 |   588182 |    36671     33 |     2773 |        2
558.00/558.14	c  557s |      19 |   747952 |   589682 |    36671     34 |     2773 |        2
560.00/560.15	c  559s |      19 |   751369 |   592182 |    36671     34 |     2773 |        2
562.10/562.27	c  561s |      19 |   754339 |   594382 |    36671     34 |     2773 |        2
564.10/564.29	c  563s |      19 |   758111 |   597482 |    36671     34 |     2773 |        2
566.30/566.42	c  565s |      19 |   760467 |   599482 |    36671     34 |     2773 |        2
568.30/568.44	c  567s |      19 |   763029 |   601682 |    36671     34 |     2773 |        2
570.30/570.48	c  569s |      19 |   766011 |   603982 |    36671     34 |     2773 |        2
572.30/572.49	c  571s |      19 |   768889 |   606382 |    36671     34 |     2773 |        2
574.40/574.53	c  573s |      19 |   771881 |   608682 |    36671     34 |     2773 |        2
576.40/576.57	c  575s |      19 |   773507 |   609982 |    36671     35 |     2773 |        2
578.50/578.63	c  577s |      19 |   776927 |   612782 |    36671     35 |     2773 |        2
580.49/580.67	c  579s |      19 |   780075 |   615182 |    36671     35 |     2773 |        2
582.49/582.68	c  581s |      19 |   783009 |   617682 |    36671     35 |     2773 |        2
584.59/584.70	c  583s |      19 |   786171 |   620082 |    36671     35 |     2773 |        2
586.90/587.07	c  585s |      19 |   787378 |   621082 |    36671     35 |     2773 |        2
589.00/589.15	c  588s |      19 |   789597 |   622782 |    36671     35 |     2773 |        2
591.00/591.16	c  590s |      19 |   791277 |   624082 |    36671     35 |     2773 |        2
593.00/593.17	c  592s |      19 |   793123 |   625382 |    36671     35 |     2773 |        2
595.10/595.23	c  594s |      19 |   795581 |   627482 |    36671     35 |     2773 |        2
597.40/597.51	c  596s |      19 |   797935 |   629382 |    36671     36 |     2773 |        2
599.59/599.71	c  598s |      19 |   798412 |   629782 |    36671     36 |     2773 |        2
601.60/601.75	c  600s |      19 |   802167 |   632682 |    36671     36 |     2773 |        2
603.59/603.75	c  602s |      19 |   805256 |   635182 |    36671     36 |     2773 |        2
605.69/605.82	c  604s |      19 |   808868 |   638082 |    36671     36 |     2773 |        2
617.29/617.46	c  616s |      19 |   810252 |   639182 |    36671     36 |     2773 |        2
619.39/619.52	c  618s |      19 |   813471 |   640982 |    36671     36 |     2773 |        2
621.40/621.53	c  620s |      19 |   816773 |   642982 |    36671     36 |     2773 |        2
623.49/623.63	c  622s |      19 |   819996 |   644882 |    36671     36 |     2773 |        2
625.49/625.67	c  624s |      19 |   822784 |   646882 |    36671     36 |     2773 |        2
627.69/627.80	c  626s |      19 |   825138 |   648382 |    36671     36 |     2773 |        2
629.79/629.95	c  628s |      19 |   827068 |   649482 |    36671     37 |     2773 |        2
631.79/631.95	c  630s |      19 |   829808 |   651782 |    36671     37 |     2773 |        2
633.89/634.01	c  632s |      19 |   832182 |   653482 |    36671     37 |     2773 |        2
635.99/636.10	c  634s |      19 |   835121 |   655482 |    36671     37 |     2773 |        2
638.00/638.12	c  637s |      19 |   837652 |   657282 |    36671     37 |     2773 |        2
640.10/640.23	c  639s |      19 |   840201 |   658982 |    36671     37 |     2773 |        2
642.19/642.31	c  641s |      19 |   842727 |   660782 |    36671     37 |     2773 |        2
644.19/644.37	c  643s |      19 |   845291 |   662582 |    40339     37 |     2773 |        2
646.29/646.42	c  645s |      19 |   847470 |   663882 |    40339     37 |     2773 |        2
648.39/648.50	c  647s |      19 |   849732 |   665382 |    40339     37 |     2773 |        2
650.39/650.57	c  649s |      19 |   851746 |   666482 |    40339     37 |     2773 |        2
650.89/651.03	c  649s |      20 |   852235 |   666827 |    40339     37 |     2773 |        2
652.89/653.04	c  651s |      20 |   864049 |   670127 |    40339     37 |     2773 |        2
654.89/655.07	c  653s |      20 |   868049 |   673627 |    40339     38 |     2773 |        2
656.89/657.08	c  655s |      20 |   872410 |   677427 |    40339     38 |     2773 |        2
658.99/659.10	c  657s |      20 |   876625 |   680927 |    40339     38 |     2773 |        2
661.00/661.15	c  660s |      20 |   882787 |   685827 |    40339     38 |     2773 |        2
662.99/663.18	c  662s |      20 |   887801 |   690027 |    40339     38 |     2773 |        2
665.09/665.21	c  664s |      20 |   892143 |   693627 |    40339     38 |     2773 |        2
667.09/667.27	c  666s |      20 |   895813 |   696427 |    40339     39 |     2773 |        2
669.19/669.32	c  668s |      20 |   899733 |   699527 |    40339     39 |     2773 |        2
671.19/671.34	c  670s |      20 |   903390 |   702727 |    40339     39 |     2773 |        2
673.20/673.37	c  672s |      20 |   906317 |   705427 |    40339     39 |     2773 |        2
675.30/675.43	c  674s |      20 |   909074 |   707627 |    40339     39 |     2773 |        2
677.29/677.44	c  676s |      20 |   912507 |   710427 |    40339     39 |     2773 |        2
679.29/679.47	c  678s |      20 |   914950 |   712427 |    40339     39 |     2773 |        2
681.39/681.58	c  680s |      20 |   917543 |   714527 |    40339     39 |     2773 |        2
683.49/683.64	c  682s |      20 |   920420 |   716827 |    40339     39 |     2773 |        2
685.69/685.84	c  684s |      20 |   922076 |   718227 |    40339     40 |     2773 |        2
688.18/688.39	c  687s |      20 |   923063 |   718927 |    40339     40 |     2773 |        2
690.28/690.48	c  689s |      20 |   926569 |   721827 |    40339     40 |     2773 |        2
692.38/692.53	c  691s |      20 |   930380 |   724927 |    40339     40 |     2773 |        2
694.48/694.65	c  693s |      20 |   932757 |   726827 |    40339     40 |     2773 |        2
698.39/698.52	c  697s |      20 |   933496 |   727327 |    40339     40 |     2773 |        2
700.38/700.56	c  699s |      20 |   936262 |   729127 |    40339     40 |     2773 |        2
702.38/702.56	c  701s |      20 |   938665 |   730827 |    40339     40 |     2773 |        2
704.58/704.70	c  703s |      20 |   941021 |   732527 |    40339     40 |     2773 |        2
706.58/706.76	c  705s |      20 |   943242 |   734227 |    40339     40 |     2773 |        2
708.68/708.89	c  707s |      20 |   945982 |   736527 |    40339     40 |     2773 |        2
712.08/712.24	c  711s |      20 |   949144 |   739227 |    40339     41 |     2773 |        2
714.47/714.64	c  713s |      20 |   949468 |   739527 |    40339     41 |     2773 |        2
716.58/716.70	c  715s |      20 |   952578 |   742127 |    40339     41 |     2773 |        2
718.58/718.71	c  717s |      20 |   956212 |   745027 |    40339     41 |     2773 |        2
720.58/720.73	c  719s |      20 |   959785 |   748127 |    40339     41 |     2773 |        2
722.59/722.76	c  721s |      20 |   962680 |   750727 |    40339     41 |     2773 |        2
724.58/724.79	c  723s |      20 |   964806 |   752627 |    40339     41 |     2773 |        2
726.68/726.82	c  725s |      20 |   966314 |   753827 |    40339     41 |     2773 |        2
728.68/728.84	c  727s |      20 |   968963 |   756327 |    40339     41 |     2773 |        2
730.68/730.89	c  729s |      20 |   971096 |   758327 |    40339     41 |     2773 |        2
732.78/732.95	c  731s |      20 |   972846 |   759827 |    40339     41 |     2773 |        2
734.88/735.09	c  733s |      20 |   974363 |   761127 |    40339     41 |     2773 |        2
737.68/737.83	c  736s |      20 |   975884 |   762327 |    40339     42 |     2773 |        2
739.68/739.88	c  738s |      20 |   979241 |   765127 |    40339     42 |     2773 |        2
741.78/741.92	c  740s |      20 |   982413 |   767827 |    40339     42 |     2773 |        2
743.77/743.97	c  742s |      20 |   985962 |   770727 |    40339     42 |     2773 |        2
745.87/746.00	c  744s |      20 |   989877 |   773927 |    40339     42 |     2773 |        2
747.88/748.02	c  746s |      20 |   992289 |   775827 |    40339     42 |     2773 |        2
749.87/750.02	c  748s |      20 |   994489 |   777527 |    40339     42 |     2773 |        2
751.97/752.11	c  751s |      20 |   995988 |   778627 |    40339     42 |     2773 |        2
755.87/756.03	c  754s |      20 |   997880 |   780027 |    40339     42 |     2773 |        2
757.87/758.09	c  756s |      20 |  1016942 |   783527 |    40339     42 |     2773 |        2
759.97/760.11	c  758s |      20 |  1024764 |   787927 |    40339     43 |     2773 |        2
761.97/762.14	c  761s |      20 |  1031254 |   792927 |    40339     43 |     2773 |        2
763.97/764.19	c  763s |      20 |  1036197 |   797627 |    40339     43 |     2773 |        2
766.07/766.23	c  765s |      20 |  1039636 |   800927 |    40339     43 |     2773 |        2
768.17/768.30	c  767s |      20 |  1042492 |   803727 |    40339     43 |     2773 |        2
770.16/770.31	c  769s |      20 |  1044860 |   806027 |    40339     44 |     2773 |        2
772.17/772.35	c  771s |      20 |  1047318 |   808427 |    40339     44 |     2773 |        2
774.16/774.40	c  773s |      20 |  1049957 |   810927 |    40339     44 |     2773 |        2
776.26/776.50	c  775s |      20 |  1052092 |   812927 |    40339     44 |     2773 |        2
778.36/778.56	c  777s |      20 |  1054374 |   815027 |    40339     44 |     2773 |        2
780.36/780.58	c  779s |      20 |  1056552 |   817027 |    40339     44 |     2773 |        2
782.46/782.64	c  781s |      20 |  1058990 |   819027 |    40339     44 |     2773 |        2
784.56/784.70	c  783s |      20 |  1061513 |   821227 |    40339     44 |     2773 |        2
786.56/786.73	c  785s |      20 |  1063357 |   822927 |    40339     44 |     2773 |        2
788.66/788.84	c  787s |      20 |  1064833 |   824327 |    40339     44 |     2773 |        2
790.76/790.96	c  789s |      20 |  1066294 |   825727 |    40339     44 |     2773 |        2
792.75/792.98	c  791s |      20 |  1067672 |   827027 |    40339     44 |     2773 |        2
795.45/795.64	c  794s |      20 |  1068686 |   827927 |    40339     45 |     2773 |        2
797.45/797.69	c  796s |      20 |  1070685 |   829727 |    40339     45 |     2773 |        2
799.55/799.76	c  798s |      20 |  1072978 |   831827 |    40339     45 |     2773 |        2
801.55/801.76	c  800s |      20 |  1075061 |   833727 |    40339     45 |     2773 |        2
803.65/803.83	c  802s |      20 |  1077380 |   835827 |    40339     45 |     2773 |        2
805.75/805.95	c  804s |      20 |  1079158 |   837527 |    40339     45 |     2773 |        2
807.85/808.03	c  806s |      20 |  1080606 |   838827 |    40339     45 |     2773 |        2
809.84/810.06	c  808s |      20 |  1082104 |   840227 |    40339     45 |     2773 |        2
811.84/812.07	c  810s |      20 |  1083499 |   841527 |    40339     45 |     2773 |        2
813.95/814.18	c  813s |      20 |  1085057 |   842927 |    40339     45 |     2773 |        2
816.05/816.23	c  815s |      20 |  1086506 |   844227 |    40339     45 |     2773 |        2
818.14/818.39	c  817s |      20 |  1088017 |   845627 |    40339     45 |     2773 |        2
820.24/820.48	c  819s |      20 |  1089452 |   846927 |    40339     45 |     2773 |        2
822.34/822.57	c  821s |      20 |  1090897 |   848227 |    40339     45 |     2773 |        2
824.44/824.60	c  823s |      20 |  1092288 |   849527 |    40339     45 |     2773 |        2
826.64/826.83	c  825s |      20 |  1092948 |   850127 |    40339     46 |     2773 |        2
828.74/828.92	c  827s |      20 |  1094795 |   851827 |    40339     46 |     2773 |        2
830.73/830.96	c  829s |      20 |  1095863 |   852827 |    40339     46 |     2773 |        2
832.83/833.06	c  831s |      20 |  1097936 |   854727 |    40339     46 |     2773 |        2
834.93/835.12	c  834s |      20 |  1099889 |   856527 |    40339     46 |     2773 |        2
844.03/844.21	c  843s |      20 |  1101757 |   858227 |    40339     46 |     2773 |        2
846.13/846.34	c  845s |      20 |  1103244 |   859627 |    40339     46 |     2773 |        2
848.23/848.42	c  847s |      20 |  1104827 |   861127 |    40339     46 |     2773 |        2
850.33/850.52	c  849s |      20 |  1106300 |   862527 |    40339     46 |     2773 |        2
852.34/852.59	c  851s |      20 |  1107552 |   863727 |    40339     46 |     2773 |        2
854.54/854.73	c  853s |      20 |  1109106 |   865127 |    40339     46 |     2773 |        2
856.74/856.95	c  855s |      20 |  1110592 |   866427 |    40339     46 |     2773 |        2
858.83/859.03	c  857s |      20 |  1112009 |   867727 |    40339     46 |     2773 |        2
860.83/861.03	c  859s |      20 |  1113505 |   869027 |    40339     46 |     2773 |        2
863.02/863.21	c  862s |      20 |  1115186 |   870527 |    40339     46 |     2773 |        2
865.12/865.35	c  864s |      20 |  1116559 |   871727 |    40339     46 |     2773 |        2
868.13/868.31	c  867s |      20 |  1117113 |   872227 |    40339     47 |     2773 |        2
870.23/870.45	c  869s |      20 |  1118828 |   873827 |    40339     47 |     2773 |        2
872.24/872.49	c  871s |      20 |  1120768 |   875627 |    40339     47 |     2773 |        2
874.34/874.59	c  873s |      20 |  1122795 |   877527 |    40339     47 |     2773 |        2
876.43/876.63	c  875s |      20 |  1123819 |   878527 |    40339     47 |     2773 |        2
878.43/878.69	c  877s |      20 |  1125465 |   880127 |    40339     47 |     2773 |        2
880.53/880.73	c  879s |      20 |  1127386 |   881927 |    40339     47 |     2773 |        2
882.63/882.82	c  881s |      20 |  1129028 |   883527 |    40339     47 |     2773 |        2
884.63/884.87	c  883s |      20 |  1130714 |   885127 |    40339     47 |     2773 |        2
886.73/886.96	c  885s |      20 |  1132221 |   886527 |    40339     47 |     2773 |        2
902.22/902.43	c  901s |      20 |  1133335 |   887527 |    40339     47 |     2773 |        2
904.32/904.55	c  903s |      20 |  1134968 |   888827 |    40339     47 |     2773 |        2
906.33/906.56	c  905s |      20 |  1136437 |   890027 |    40339     47 |     2773 |        2
908.53/908.70	c  907s |      20 |  1138045 |   891527 |    40339     47 |     2773 |        2
910.52/910.72	c  909s |      20 |  1139703 |   893027 |    40339     47 |     2773 |        2
914.03/914.23	c  913s |      20 |  1140984 |   894227 |    40339     48 |     2773 |        2
916.13/916.35	c  915s |      20 |  1143384 |   896427 |    40339     48 |     2773 |        2
918.22/918.42	c  917s |      20 |  1144351 |   897327 |    40339     48 |     2773 |        2
920.22/920.45	c  919s |      20 |  1146727 |   899427 |    40339     48 |     2773 |        2
922.22/922.46	c  921s |      20 |  1148912 |   901427 |    40339     48 |     2773 |        2
924.22/924.48	c  923s |      20 |  1150798 |   903227 |    40339     48 |     2773 |        2
930.12/930.30	c  929s |      20 |  1152412 |   904727 |    40339     48 |     2773 |        2
932.12/932.36	c  931s |      20 |  1153995 |   906127 |    40339     48 |     2773 |        2
934.22/934.40	c  933s |      20 |  1155668 |   907627 |    40339     48 |     2773 |        2
936.22/936.48	c  935s |      20 |  1157460 |   909227 |    40339     48 |     2773 |        2
938.32/938.54	c  937s |      20 |  1159242 |   910827 |    40339     48 |     2773 |        2
940.33/940.55	c  939s |      20 |  1160716 |   912127 |    40339     48 |     2773 |        2
942.42/942.67	c  941s |      20 |  1162064 |   913427 |    40339     48 |     2773 |        2
944.52/944.73	c  943s |      20 |  1163482 |   914727 |    40339     48 |     2773 |        2
946.72/946.91	c  945s |      20 |  1164886 |   916027 |    40339     48 |     2773 |        2
949.13/949.33	c  948s |      20 |  1165238 |   916327 |    40339     49 |     2773 |        2
951.12/951.36	c  950s |      20 |  1166927 |   917827 |    40339     49 |     2773 |        2
953.22/953.41	c  952s |      20 |  1169013 |   919627 |    40339     49 |     2773 |        2
955.32/955.54	c  954s |      20 |  1170611 |   921127 |    40339     49 |     2773 |        2
957.42/957.61	c  956s |      20 |  1172089 |   922527 |    40339     49 |     2773 |        2
959.42/959.66	c  958s |      20 |  1174057 |   924427 |    40339     49 |     2773 |        2
961.62/961.84	c  960s |      20 |  1175385 |   925627 |    40339     49 |     2773 |        2
963.62/963.86	c  962s |      20 |  1177340 |   927527 |    40339     49 |     2773 |        2
971.61/971.89	c  970s |      20 |  1177674 |   927827 |    40339     49 |     2773 |        2
973.71/973.98	c  972s |      20 |  1179412 |   929427 |    40339     49 |     2773 |        2
975.81/976.09	c  974s |      20 |  1181065 |   930927 |    40339     49 |     2773 |        2
977.91/978.14	c  977s |      20 |  1182387 |   932127 |    40339     49 |     2773 |        2
980.02/980.21	c  979s |      20 |  1183651 |   933327 |    40339     49 |     2773 |        2
982.01/982.30	c  981s |      20 |  1184970 |   934427 |    40339     49 |     2773 |        2
984.11/984.38	c  983s |      20 |  1186327 |   935627 |    40339     49 |     2773 |        2
986.21/986.49	c  985s |      20 |  1187990 |   937127 |    40339     49 |     2773 |        2
989.20/989.49	c  988s |      20 |  1189317 |   938327 |    40339     50 |     2773 |        2
992.20/992.41	c  991s |      20 |  1190180 |   939127 |    40339     50 |     2773 |        2
994.21/994.41	c  993s |      20 |  1192307 |   941127 |    40339     50 |     2773 |        2
997.20/997.48	c  996s |      20 |  1193560 |   942327 |    40339     50 |     2773 |        2
999.30/999.58	c  998s |      20 |  1195354 |   943927 |    40339     50 |     2773 |        2
1001.40/1001.63	c 1000s |      20 |  1197258 |   945627 |    40339     50 |     2773 |        2
1003.50/1003.72	c 1002s |      20 |  1199237 |   947427 |    40339     50 |     2773 |        2
1005.50/1005.77	c 1004s |      20 |  1201011 |   949027 |    40339     50 |     2773 |        2
1007.60/1007.86	c 1006s |      20 |  1202995 |   950727 |    40339     50 |     2773 |        2
1009.70/1009.96	c 1008s |      20 |  1204756 |   952327 |    40339     50 |     2773 |        2
1011.70/1011.97	c 1010s |      20 |  1206412 |   953827 |    40339     50 |     2773 |        2
1013.69/1014.00	c 1012s |      20 |  1207911 |   955127 |    40339     50 |     2773 |        2
1015.89/1016.17	c 1015s |      20 |  1209354 |   956427 |    40339     50 |     2773 |        2
1017.99/1018.25	c 1017s |      20 |  1210918 |   957827 |    40339     50 |     2773 |        2
1020.09/1020.35	c 1019s |      20 |  1212328 |   959127 |    40339     50 |     2773 |        2
1022.09/1022.37	c 1021s |      20 |  1213655 |   960327 |    40339     50 |     2773 |        2
1024.10/1024.37	c 1023s |      20 |  1213867 |   960527 |    40339     51 |     2773 |        2
1026.10/1026.39	c 1025s |      20 |  1215284 |   961827 |    40339     51 |     2773 |        2
1028.19/1028.50	c 1027s |      20 |  1217206 |   963627 |    40339     51 |     2773 |        2
1030.29/1030.53	c 1029s |      20 |  1219077 |   965327 |    40339     51 |     2773 |        2
1041.29/1041.50	c 1040s |      20 |  1220607 |   966727 |    40339     51 |     2773 |        2
1043.39/1043.60	c 1042s |      20 |  1222560 |   968427 |    40339     51 |     2773 |        2
1045.39/1045.64	c 1044s |      20 |  1224361 |   970027 |    40339     51 |     2773 |        2
1047.38/1047.67	c 1046s |      20 |  1225587 |   971127 |    40339     51 |     2773 |        2
1049.48/1049.76	c 1048s |      20 |  1227088 |   972427 |    40339     51 |     2773 |        2
1051.68/1051.95	c 1050s |      20 |  1228749 |   973827 |    40339     51 |     2773 |        2
1053.69/1053.98	c 1052s |      20 |  1230407 |   975327 |    40339     51 |     2773 |        2
1055.79/1056.08	c 1054s |      20 |  1231877 |   976627 |    40339     51 |     2773 |        2
1057.88/1058.17	c 1057s |      20 |  1233635 |   978127 |    40339     51 |     2773 |        2
1059.98/1060.24	c 1059s |      20 |  1235384 |   979627 |    40339     51 |     2773 |        2
1062.08/1062.37	c 1061s |      20 |  1236992 |   981027 |    40339     51 |     2773 |        2
1066.28/1066.51	c 1065s |      20 |  1238641 |   982527 |    40339     52 |     2773 |        2
1068.48/1068.75	c 1067s |      20 |  1240564 |   984227 |    40339     52 |     2773 |        2
1070.88/1071.19	c 1070s |      20 |  1242711 |   986227 |    40339     52 |     2773 |        2
1072.98/1073.28	c 1072s |      20 |  1245053 |   988327 |    40339     52 |     2773 |        2
1075.08/1075.39	c 1074s |      20 |  1246022 |   989227 |    40339     52 |     2773 |        2
1077.18/1077.43	c 1076s |      20 |  1248198 |   991127 |    40339     52 |     2773 |        2
1079.28/1079.52	c 1078s |      20 |  1250160 |   992827 |    40339     52 |     2773 |        2
1081.28/1081.54	c 1080s |      20 |  1251924 |   994427 |    44373     52 |     2773 |        2
1083.38/1083.65	c 1082s |      20 |  1253724 |   996027 |    44373     52 |     2773 |        2
1085.48/1085.71	c 1084s |      20 |  1255514 |   997627 |    44373     52 |     2773 |        2
1087.47/1087.72	c 1086s |      20 |  1256892 |   998927 |    44373     52 |     2773 |        2
1089.47/1089.77	c 1088s |      20 |  1258014 |   999927 |    44373     52 |     2773 |        2
1090.27/1090.54	c 1089s |      21 |  1258465 |  1000345 |    44373     52 |     2773 |        2
1092.27/1092.56	c 1091s |      21 |  1271533 |  1007345 |    44373     52 |     2773 |        2
1094.27/1094.60	c 1093s |      21 |  1277843 |  1012745 |    44373     53 |     2773 |        2
1096.37/1096.63	c 1095s |      21 |  1284809 |  1018445 |    44373     53 |     2773 |        2
1098.37/1098.66	c 1097s |      21 |  1290566 |  1023145 |    44373     53 |     2773 |        2
1100.37/1100.69	c 1099s |      21 |  1295415 |  1027245 |    44373     53 |     2773 |        2
1102.47/1102.72	c 1101s |      21 |  1299941 |  1030745 |    44373     53 |     2773 |        2
1104.46/1104.78	c 1103s |      21 |  1303517 |  1033745 |    44373     53 |     2773 |        2
1106.56/1106.83	c 1105s |      21 |  1306416 |  1036145 |    44373     54 |     2773 |        2
1108.57/1108.84	c 1107s |      21 |  1312830 |  1041845 |    44373     54 |     2773 |        2
1110.57/1110.85	c 1109s |      21 |  1318238 |  1046645 |    44373     54 |     2773 |        2
1112.57/1112.89	c 1111s |      21 |  1321689 |  1049445 |    44373     54 |     2773 |        2
1114.67/1114.90	c 1113s |      21 |  1323357 |  1050945 |    44373     54 |     2773 |        2
1116.67/1116.94	c 1115s |      21 |  1326137 |  1053245 |    44373     54 |     2773 |        2
1118.77/1119.01	c 1117s |      21 |  1330411 |  1056445 |    44373     54 |     2773 |        2
1120.77/1121.01	c 1119s |      21 |  1334316 |  1059045 |    44373     55 |     2773 |        2
1122.76/1123.04	c 1121s |      21 |  1337296 |  1061145 |    44373     55 |     2773 |        2
1124.76/1125.07	c 1123s |      21 |  1338832 |  1062345 |    44373     55 |     2773 |        2
1126.86/1127.16	c 1126s |      21 |  1341957 |  1064645 |    44373     55 |     2773 |        2
1128.96/1129.21	c 1128s |      21 |  1344578 |  1066745 |    44373     55 |     2773 |        2
1130.96/1131.22	c 1130s |      21 |  1347190 |  1068845 |    44373     55 |     2773 |        2
1132.96/1133.24	c 1132s |      21 |  1349633 |  1070745 |    44373     55 |     2773 |        2
1134.96/1135.25	c 1134s |      21 |  1352680 |  1073245 |    44373     55 |     2773 |        2
1136.96/1137.26	c 1136s |      21 |  1357001 |  1076745 |    44373     55 |     2773 |        2
1139.06/1139.32	c 1138s |      21 |  1360529 |  1079345 |    44373     55 |     2773 |        2
1145.36/1145.66	c 1144s |      21 |  1364260 |  1079645 |    44373     55 |     2773 |        2
1147.36/1147.68	c 1146s |      21 |  1375166 |  1085445 |    44373     56 |     2773 |        2
1149.36/1149.69	c 1148s |      21 |  1380768 |  1090745 |    44373     56 |     2773 |        2
1151.46/1151.73	c 1150s |      21 |  1386024 |  1095345 |    44373     56 |     2773 |        2
1153.45/1153.77	c 1152s |      21 |  1389257 |  1098545 |    44373     56 |     2773 |        2
1155.55/1155.83	c 1154s |      21 |  1392202 |  1101445 |    44373     56 |     2773 |        2
1157.55/1157.86	c 1156s |      21 |  1395464 |  1104645 |    44373     56 |     2773 |        2
1159.65/1159.91	c 1158s |      21 |  1397978 |  1107145 |    44373     57 |     2773 |        2
1161.75/1162.01	c 1160s |      21 |  1402137 |  1110645 |    44373     57 |     2773 |        2
1163.85/1164.10	c 1162s |      21 |  1405103 |  1113445 |    44373     57 |     2773 |        2
1165.85/1166.14	c 1165s |      21 |  1406785 |  1115045 |    44373     57 |     2773 |        2
1167.85/1168.14	c 1167s |      21 |  1408325 |  1116545 |    44373     57 |     2773 |        2
1169.95/1170.21	c 1169s |      21 |  1409961 |  1117945 |    44373     57 |     2773 |        2
1171.95/1172.29	c 1171s |      21 |  1411889 |  1119645 |    44373     57 |     2773 |        2
1174.04/1174.30	c 1173s |      21 |  1414278 |  1121945 |    44373     57 |     2773 |        2
1176.14/1176.44	c 1175s |      21 |  1416402 |  1123945 |    44373     57 |     2773 |        2
1178.24/1178.53	c 1177s |      21 |  1417520 |  1125045 |    44373     57 |     2773 |        2
1180.44/1180.72	c 1179s |      21 |  1418756 |  1126245 |    44373     57 |     2773 |        2
1182.44/1182.76	c 1181s |      21 |  1419889 |  1127345 |    44373     57 |     2773 |        2
1184.55/1184.88	c 1183s |      21 |  1421359 |  1128745 |    44373     57 |     2773 |        2
1186.65/1186.94	c 1185s |      21 |  1422717 |  1130045 |    44373     57 |     2773 |        2
1189.74/1190.06	c 1188s |      21 |  1423254 |  1130545 |    44373     58 |     2773 |        2
1191.74/1192.07	c 1190s |      21 |  1424984 |  1132245 |    44373     58 |     2773 |        2
1193.93/1194.24	c 1193s |      21 |  1427463 |  1134545 |    44373     58 |     2773 |        2
1219.64/1219.97	c 1218s |      21 |  1428884 |  1135745 |    44373     58 |     2773 |        2
1221.73/1222.01	c 1220s |      21 |  1431098 |  1137845 |    44373     58 |     2773 |        2
1223.83/1224.10	c 1222s |      21 |  1433005 |  1139645 |    44373     58 |     2773 |        2
1225.93/1226.22	c 1225s |      21 |  1434888 |  1141445 |    44373     58 |     2773 |        2
1228.03/1228.33	c 1227s |      21 |  1436514 |  1143045 |    44373     58 |     2773 |        2
1230.03/1230.36	c 1229s |      21 |  1438552 |  1144945 |    44373     58 |     2773 |        2
1232.03/1232.38	c 1231s |      21 |  1440195 |  1146545 |    44373     58 |     2773 |        2
1234.13/1234.45	c 1233s |      21 |  1442130 |  1148445 |    44373     58 |     2773 |        2
1236.13/1236.46	c 1235s |      21 |  1444429 |  1150545 |    44373     58 |     2773 |        2
1238.12/1238.46	c 1237s |      21 |  1450332 |  1154845 |    44373     59 |     2773 |        2
1270.32/1270.68	c 1269s |      21 |  1457234 |  1159845 |    44373     59 |     2773 |        2
1272.42/1272.71	c 1271s |      21 |  1459729 |  1161745 |    44373     59 |     2773 |        2
1274.41/1274.72	c 1273s |      21 |  1462909 |  1164245 |    44373     59 |     2773 |        2
1276.41/1276.76	c 1275s |      21 |  1465641 |  1166445 |    44373     59 |     2773 |        2
1278.41/1278.77	c 1277s |      21 |  1468111 |  1168545 |    44373     59 |     2773 |        2
1280.51/1280.84	c 1279s |      21 |  1470282 |  1170345 |    44373     59 |     2773 |        2
1282.51/1282.85	c 1281s |      21 |  1472524 |  1172245 |    44373     59 |     2773 |        2
1284.52/1284.86	c 1283s |      21 |  1474580 |  1174045 |    44373     59 |     2773 |        2
1286.51/1286.86	c 1285s |      21 |  1476538 |  1175645 |    44373     59 |     2773 |        2
1288.61/1288.90	c 1287s |      21 |  1478663 |  1177345 |    44373     59 |     2773 |        2
1292.01/1292.39	c 1291s |      21 |  1480360 |  1178645 |    44373     60 |     2773 |        2
1294.11/1294.45	c 1293s |      21 |  1482234 |  1180045 |    44373     60 |     2773 |        2
1296.51/1296.85	c 1295s |      21 |  1482729 |  1180445 |    44373     60 |     2773 |        2
1298.51/1298.88	c 1297s |      21 |  1485759 |  1183045 |    44373     60 |     2773 |        2
1300.61/1300.96	c 1299s |      21 |  1488713 |  1185545 |    44373     60 |     2773 |        2
1302.61/1302.99	c 1301s |      21 |  1493046 |  1189345 |    44373     60 |     2773 |        2
1304.70/1305.02	c 1303s |      21 |  1498350 |  1193945 |    44373     60 |     2773 |        2
1306.70/1307.03	c 1305s |      21 |  1503131 |  1198045 |    44373     60 |     2773 |        2
1308.71/1309.07	c 1307s |      21 |  1507497 |  1201745 |    44373     60 |     2773 |        2
1310.80/1311.20	c 1310s |      21 |  1510785 |  1204445 |    44373     61 |     2773 |        2
1315.31/1315.63	c 1314s |      21 |  1510920 |  1204545 |    44373     61 |     2773 |        2
1317.51/1317.87	c 1316s |      21 |  1513104 |  1206445 |    44373     61 |     2773 |        2
1319.60/1319.90	c 1318s |      21 |  1515414 |  1208245 |    44373     61 |     2773 |        2
1321.60/1321.91	c 1320s |      21 |  1520251 |  1212245 |    44373     61 |     2773 |        2
1323.60/1323.92	c 1322s |      21 |  1524589 |  1215945 |    44373     61 |     2773 |        2
1325.60/1325.98	c 1324s |      21 |  1528143 |  1219145 |    44373     61 |     2773 |        2
1327.70/1328.06	c 1326s |      21 |  1531304 |  1221645 |    44373     61 |     2773 |        2
1329.80/1330.11	c 1329s |      21 |  1533960 |  1223745 |    44373     61 |     2773 |        2
1331.90/1332.22	c 1331s |      21 |  1536711 |  1225945 |    44373     61 |     2773 |        2
1334.20/1334.51	c 1333s |      21 |  1538285 |  1227145 |    44373     62 |     2773 |        2
1336.20/1336.56	c 1335s |      21 |  1541727 |  1229745 |    44373     62 |     2773 |        2
1338.30/1338.61	c 1337s |      21 |  1544609 |  1232145 |    44373     62 |     2773 |        2
1340.29/1340.66	c 1339s |      21 |  1547628 |  1234545 |    44373     62 |     2773 |        2
1342.29/1342.68	c 1341s |      21 |  1550347 |  1236945 |    44373     62 |     2773 |        2
1344.39/1344.78	c 1343s |      21 |  1553107 |  1239245 |    44373     62 |     2773 |        2
1346.49/1346.86	c 1345s |      21 |  1555042 |  1240745 |    44373     62 |     2773 |        2
1348.59/1348.94	c 1347s |      21 |  1557312 |  1242245 |    44373     62 |     2773 |        2
1350.60/1350.99	c 1349s |      21 |  1559231 |  1243745 |    44373     62 |     2773 |        2
1352.59/1352.99	c 1351s |      21 |  1560951 |  1245245 |    44373     62 |     2773 |        2
1354.69/1355.02	c 1353s |      21 |  1562592 |  1246745 |    44373     62 |     2773 |        2
1356.79/1357.13	c 1356s |      21 |  1564058 |  1248045 |    44373     62 |     2773 |        2
1358.79/1359.17	c 1358s |      21 |  1565560 |  1249345 |    44373     62 |     2773 |        2
1360.89/1361.29	c 1360s |      21 |  1566989 |  1250645 |    44373     62 |     2773 |        2
1365.19/1365.57	c 1364s |      21 |  1567323 |  1250945 |    44373     63 |     2773 |        2
1367.29/1367.62	c 1366s |      21 |  1569118 |  1252445 |    44373     63 |     2773 |        2
1369.39/1369.71	c 1368s |      21 |  1571621 |  1254545 |    44373     63 |     2773 |        2
1371.49/1371.81	c 1370s |      21 |  1573900 |  1256445 |    44373     63 |     2773 |        2
1373.49/1373.90	c 1372s |      21 |  1576440 |  1258445 |    44373     63 |     2773 |        2
1375.69/1376.00	c 1374s |      21 |  1578749 |  1260345 |    44373     63 |     2773 |        2
1377.68/1378.06	c 1376s |      21 |  1580844 |  1262045 |    44373     63 |     2773 |        2
1379.78/1380.10	c 1378s |      21 |  1584852 |  1265545 |    44373     63 |     2773 |        2
1381.78/1382.10	c 1380s |      21 |  1591151 |  1270445 |    44373     63 |     2773 |        2
1383.98/1384.37	c 1383s |      21 |  1597012 |  1275245 |    44373     64 |     2773 |        2
1386.38/1386.73	c 1385s |      21 |  1597143 |  1275345 |    44373     64 |     2773 |        2
1388.38/1388.75	c 1387s |      21 |  1601748 |  1278945 |    44373     64 |     2773 |        2
1390.48/1390.85	c 1389s |      21 |  1603037 |  1280045 |    44373     64 |     2773 |        2
1392.48/1392.89	c 1391s |      21 |  1606540 |  1282845 |    44373     64 |     2773 |        2
1394.59/1394.93	c 1393s |      21 |  1610096 |  1286045 |    44373     64 |     2773 |        2
1396.58/1396.94	c 1395s |      21 |  1613269 |  1288845 |    44373     64 |     2773 |        2
1398.58/1398.95	c 1397s |      21 |  1616082 |  1291345 |    44373     64 |     2773 |        2
1400.68/1401.08	c 1399s |      21 |  1618366 |  1293445 |    44373     64 |     2773 |        2
1402.77/1403.17	c 1402s |      21 |  1620705 |  1295545 |    44373     64 |     2773 |        2
1404.77/1405.18	c 1404s |      21 |  1622978 |  1297545 |    44373     64 |     2773 |        2
1406.87/1407.26	c 1406s |      21 |  1624544 |  1298945 |    44373     65 |     2773 |        2
1408.88/1409.27	c 1408s |      21 |  1627256 |  1301145 |    44373     65 |     2773 |        2
1410.98/1411.37	c 1410s |      21 |  1629883 |  1303345 |    44373     65 |     2773 |        2
1413.07/1413.45	c 1412s |      21 |  1632336 |  1305545 |    44373     65 |     2773 |        2
1415.17/1415.53	c 1414s |      21 |  1634874 |  1307745 |    44373     65 |     2773 |        2
1417.27/1417.60	c 1416s |      21 |  1637480 |  1310045 |    44373     65 |     2773 |        2
1419.37/1419.77	c 1418s |      21 |  1639247 |  1311645 |    44373     65 |     2773 |        2
1421.37/1421.78	c 1420s |      21 |  1641107 |  1313045 |    44373     65 |     2773 |        2
1423.47/1423.82	c 1422s |      21 |  1643039 |  1314645 |    44373     65 |     2773 |        2
1425.57/1425.94	c 1424s |      21 |  1644898 |  1316245 |    44373     65 |     2773 |        2
1427.58/1427.95	c 1426s |      21 |  1646402 |  1317545 |    44373     65 |     2773 |        2
1429.77/1430.11	c 1429s |      21 |  1647816 |  1318845 |    44373     65 |     2773 |        2
1431.87/1432.23	c 1431s |      21 |  1649247 |  1320145 |    44373     65 |     2773 |        2
1433.96/1434.34	c 1433s |      21 |  1650686 |  1321445 |    44373     65 |     2773 |        2
1435.96/1436.37	c 1435s |      21 |  1652100 |  1322745 |    44373     65 |     2773 |        2
1438.57/1438.97	c 1437s |      21 |  1652736 |  1323345 |    44373     66 |     2773 |        2
1440.67/1441.04	c 1439s |      21 |  1655296 |  1325745 |    44373     66 |     2773 |        2
1442.66/1443.06	c 1441s |      21 |  1657664 |  1327945 |    44373     66 |     2773 |        2
1444.66/1445.09	c 1443s |      21 |  1659760 |  1329945 |    44373     66 |     2773 |        2
1459.37/1459.76	c 1458s |      21 |  1660100 |  1330245 |    44373     66 |     2773 |        2
1461.46/1461.88	c 1460s |      21 |  1662769 |  1332445 |    44373     66 |     2773 |        2
1463.56/1463.91	c 1462s |      21 |  1665024 |  1334345 |    44373     66 |     2773 |        2
1467.46/1467.84	c 1466s |      21 |  1666798 |  1335945 |    44373     66 |     2773 |        2
1469.66/1470.03	c 1468s |      21 |  1668299 |  1337145 |    44373     66 |     2773 |        2
1471.76/1472.10	c 1470s |      21 |  1669947 |  1338345 |    44373     66 |     2773 |        2
1473.77/1474.12	c 1473s |      21 |  1671653 |  1339845 |    44373     66 |     2773 |        2
1475.76/1476.14	c 1475s |      21 |  1673350 |  1341345 |    44373     66 |     2773 |        2
1477.86/1478.27	c 1477s |      21 |  1674834 |  1342745 |    44373     66 |     2773 |        2
1480.06/1480.42	c 1479s |      21 |  1676597 |  1344245 |    44373     66 |     2773 |        2
1482.06/1482.46	c 1481s |      21 |  1678311 |  1345445 |    44373     66 |     2773 |        2
1484.16/1484.52	c 1483s |      21 |  1679742 |  1346545 |    44373     66 |     2773 |        2
1486.76/1487.12	c 1486s |      21 |  1680330 |  1347045 |    44373     67 |     2773 |        2
1488.76/1489.18	c 1488s |      21 |  1682437 |  1348945 |    44373     67 |     2773 |        2
1490.85/1491.24	c 1490s |      21 |  1683417 |  1349645 |    44373     67 |     2773 |        2
1494.46/1494.82	c 1493s |      21 |  1685237 |  1350945 |    44373     67 |     2773 |        2
1496.46/1496.82	c 1495s |      21 |  1686737 |  1351945 |    44373     67 |     2773 |        2
1498.46/1498.87	c 1497s |      21 |  1689321 |  1353845 |    44373     67 |     2773 |        2
1500.56/1500.93	c 1499s |      21 |  1691787 |  1355945 |    44373     67 |     2773 |        2
1502.66/1503.05	c 1501s |      21 |  1693591 |  1357245 |    44373     67 |     2773 |        2
1504.76/1505.15	c 1504s |      21 |  1695760 |  1358945 |    44373     67 |     2773 |        2
1506.86/1507.26	c 1506s |      21 |  1697543 |  1360245 |    44373     67 |     2773 |        2
1508.96/1509.34	c 1508s |      21 |  1699253 |  1361545 |    44373     67 |     2773 |        2
1511.06/1511.43	c 1510s |      21 |  1701075 |  1363045 |    44373     67 |     2773 |        2
1513.16/1513.57	c 1512s |      21 |  1702721 |  1364445 |    44373     67 |     2773 |        2
1515.15/1515.58	c 1514s |      21 |  1704224 |  1365745 |    44373     67 |     2773 |        2
1517.25/1517.63	c 1516s |      21 |  1705651 |  1366945 |    44373     67 |     2773 |        2
1519.35/1519.78	c 1518s |      21 |  1707046 |  1368145 |    44373     67 |     2773 |        2
1521.45/1521.89	c 1520s |      21 |  1708279 |  1369245 |    44373     67 |     2773 |        2
1523.65/1524.06	c 1522s |      21 |  1709596 |  1370345 |    44373     67 |     2773 |        2
1525.95/1526.39	c 1525s |      21 |  1710458 |  1371045 |    44373     68 |     2773 |        2
1528.15/1528.55	c 1527s |      21 |  1712370 |  1372545 |    44373     68 |     2773 |        2
1530.15/1530.56	c 1529s |      21 |  1714518 |  1374445 |    44373     68 |     2773 |        2
1546.65/1547.03	c 1545s |      21 |  1716352 |  1376045 |    44373     68 |     2773 |        2
1548.75/1549.12	c 1548s |      21 |  1718041 |  1377545 |    44373     68 |     2773 |        2
1550.85/1551.23	c 1550s |      21 |  1720106 |  1379445 |    44373     68 |     2773 |        2
1552.85/1553.26	c 1552s |      21 |  1722225 |  1381245 |    44373     68 |     2773 |        2
1554.85/1555.27	c 1554s |      21 |  1724232 |  1383045 |    44373     68 |     2773 |        2
1556.85/1557.28	c 1556s |      21 |  1726190 |  1384845 |    44373     68 |     2773 |        2
1558.95/1559.35	c 1558s |      21 |  1728226 |  1386645 |    44373     68 |     2773 |        2
1561.05/1561.45	c 1560s |      21 |  1730250 |  1388445 |    44373     68 |     2773 |        2
1563.05/1563.47	c 1562s |      21 |  1731947 |  1390045 |    44373     68 |     2773 |        2
1565.25/1565.60	c 1564s |      21 |  1733930 |  1391645 |    44373     68 |     2773 |        2
1567.25/1567.69	c 1566s |      21 |  1735918 |  1393445 |    44373     68 |     2773 |        2
1571.14/1571.56	c 1570s |      21 |  1738134 |  1395145 |    44373     69 |     2773 |        2
1573.14/1573.56	c 1572s |      21 |  1740212 |  1397045 |    44373     69 |     2773 |        2
1575.14/1575.57	c 1574s |      21 |  1743104 |  1399545 |    44373     69 |     2773 |        2
1577.24/1577.62	c 1576s |      21 |  1747223 |  1403145 |    44373     69 |     2773 |        2
1579.94/1580.35	c 1579s |      21 |  1750433 |  1406145 |    44373     69 |     2773 |        2
1581.94/1582.37	c 1581s |      21 |  1752893 |  1408245 |    44373     69 |     2773 |        2
1584.04/1584.42	c 1583s |      21 |  1756447 |  1411245 |    44373     69 |     2773 |        2
1586.04/1586.44	c 1585s |      21 |  1758741 |  1413345 |    44373     69 |     2773 |        2
1588.04/1588.46	c 1587s |      21 |  1761152 |  1415545 |    44373     69 |     2773 |        2
1590.14/1590.53	c 1589s |      21 |  1764225 |  1418245 |    44373     69 |     2773 |        2
1592.54/1592.91	c 1591s |      21 |  1765425 |  1419345 |    44373     70 |     2773 |        2
1595.14/1595.58	c 1594s |      21 |  1765775 |  1419645 |    44373     70 |     2773 |        2
1597.24/1597.60	c 1596s |      21 |  1770162 |  1423445 |    44373     70 |     2773 |        2
1599.84/1600.20	c 1599s |      21 |  1773906 |  1426845 |    44373     70 |     2773 |        2
1603.04/1603.46	c 1602s |      21 |  1775636 |  1428345 |    44373     70 |     2773 |        2
1618.63/1619.08	c 1617s |      21 |  1781888 |  1433545 |    44373     70 |     2773 |        2
1620.83/1621.22	c 1620s |      21 |  1784803 |  1436045 |    44373     70 |     2773 |        2
1622.93/1623.34	c 1622s |      21 |  1786562 |  1437645 |    44373     70 |     2773 |        2
1625.03/1625.42	c 1624s |      21 |  1788111 |  1439045 |    44373     70 |     2773 |        2
1627.13/1627.51	c 1626s |      21 |  1790393 |  1440945 |    44373     70 |     2773 |        2
1629.13/1629.59	c 1628s |      21 |  1792526 |  1442845 |    44373     70 |     2773 |        2
1635.34/1635.72	c 1634s |      21 |  1792950 |  1443245 |    44373     71 |     2773 |        2
1637.64/1638.02	c 1636s |      21 |  1793181 |  1443445 |    44373     71 |     2773 |        2
1639.63/1640.03	c 1638s |      21 |  1796522 |  1446445 |    44373     71 |     2773 |        2
1641.63/1642.03	c 1640s |      21 |  1799490 |  1449145 |    44373     71 |     2773 |        2
1643.73/1644.13	c 1643s |      21 |  1802482 |  1451745 |    44373     71 |     2773 |        2
1645.83/1646.21	c 1645s |      21 |  1805254 |  1454245 |    44373     71 |     2773 |        2
1647.83/1648.21	c 1647s |      21 |  1809082 |  1457445 |    44373     71 |     2773 |        2
1649.83/1650.22	c 1649s |      21 |  1813287 |  1460745 |    44373     71 |     2773 |        2
1651.84/1652.23	c 1651s |      21 |  1817474 |  1463945 |    44373     71 |     2773 |        2
1653.83/1654.26	c 1653s |      21 |  1821801 |  1467245 |    44373     71 |     2773 |        2
1659.33/1659.72	c 1658s |      21 |  1823914 |  1469045 |    44373     72 |     2773 |        2
1661.53/1661.95	c 1660s |      21 |  1824334 |  1469445 |    44373     72 |     2773 |        2
1663.54/1663.97	c 1662s |      21 |  1824704 |  1469745 |    44373     72 |     2773 |        2
1665.53/1665.97	c 1664s |      21 |  1829091 |  1473345 |    44373     72 |     2773 |        2
1667.63/1668.02	c 1666s |      21 |  1833924 |  1477045 |    44373     72 |     2773 |        2
1670.73/1671.14	c 1670s |      21 |  1838189 |  1480145 |    44373     72 |     2773 |        2
1672.84/1673.23	c 1672s |      21 |  1840154 |  1481645 |    44373     72 |     2773 |        2
1674.83/1675.28	c 1674s |      21 |  1842327 |  1483245 |    44373     72 |     2773 |        2
1676.93/1677.33	c 1676s |      21 |  1844225 |  1484845 |    44373     72 |     2773 |        2
1678.93/1679.37	c 1678s |      21 |  1846579 |  1486645 |    44373     72 |     2773 |        2
1680.93/1681.37	c 1680s |      21 |  1849178 |  1488645 |    44373     72 |     2773 |        2
1683.03/1683.43	c 1682s |      21 |  1851898 |  1490845 |    48811     72 |     2773 |        2
1685.13/1685.50	c 1684s |      21 |  1854520 |  1492845 |    48811     72 |     2773 |        2
1687.14/1687.58	c 1686s |      21 |  1857049 |  1494845 |    48811     72 |     2773 |        2
1689.34/1689.78	c 1688s |      21 |  1858697 |  1496145 |    48811     73 |     2773 |        2
1691.44/1691.85	c 1690s |      21 |  1862351 |  1499045 |    48811     73 |     2773 |        2
1692.43/1692.86	c 1691s |      22 |  1864198 |  1500622 |    48811     73 |     2773 |        2
1694.43/1694.86	c 1693s |      22 |  1871508 |  1503822 |    48811     73 |     2773 |        2
1696.53/1696.90	c 1695s |      22 |  1877298 |  1507722 |    48811     73 |     2773 |        2
1698.53/1698.93	c 1697s |      22 |  1882985 |  1511322 |    48811     73 |     2773 |        2
1700.53/1700.98	c 1699s |      22 |  1886947 |  1514222 |    48811     73 |     2773 |        2
1702.53/1702.99	c 1701s |      22 |  1891042 |  1517122 |    48811     73 |     2773 |        2
1704.63/1705.06	c 1703s |      22 |  1895114 |  1519722 |    48811     73 |     2773 |        2
1706.73/1707.14	c 1706s |      22 |  1898584 |  1522022 |    48811     74 |     2773 |        2
1708.83/1709.21	c 1708s |      22 |  1902044 |  1524522 |    48811     74 |     2773 |        2
1710.83/1711.23	c 1710s |      22 |  1905480 |  1526822 |    48811     74 |     2773 |        2
1712.93/1713.31	c 1712s |      22 |  1908742 |  1529122 |    48811     74 |     2773 |        2
1714.93/1715.39	c 1714s |      22 |  1912060 |  1531422 |    48811     74 |     2773 |        2
1716.93/1717.39	c 1716s |      22 |  1914819 |  1533522 |    48811     74 |     2773 |        2
1719.03/1719.40	c 1718s |      22 |  1917645 |  1535622 |    48811     74 |     2773 |        2
1721.02/1721.42	c 1720s |      22 |  1928375 |  1542622 |    48811     74 |     2773 |        2
1723.02/1723.45	c 1722s |      22 |  1936253 |  1548922 |    48811     74 |     2773 |        2
1725.02/1725.47	c 1724s |      22 |  1942840 |  1554122 |    48811     75 |     2773 |        2
1727.02/1727.49	c 1726s |      22 |  1947274 |  1557822 |    48811     75 |     2773 |        2
1729.12/1729.50	c 1728s |      22 |  1952308 |  1562022 |    48811     75 |     2773 |        2
1731.13/1731.56	c 1730s |      22 |  1956442 |  1565422 |    48811     75 |     2773 |        2
1733.12/1733.57	c 1732s |      22 |  1960322 |  1568722 |    48811     75 |     2773 |        2
1735.22/1735.60	c 1734s |      22 |  1963954 |  1571722 |    48811     75 |     2773 |        2
1737.22/1737.60	c 1736s |      22 |  1966584 |  1574022 |    48811     75 |     2773 |        2
1739.22/1739.62	c 1738s |      22 |  1969517 |  1576422 |    48811     76 |     2773 |        2
1741.22/1741.63	c 1740s |      22 |  1972563 |  1578922 |    48811     76 |     2773 |        2
1743.62/1744.04	c 1742s |      22 |  1975555 |  1581522 |    48811     76 |     2773 |        2
1745.62/1746.05	c 1744s |      22 |  1980870 |  1584922 |    48811     76 |     2773 |        2
1747.62/1748.07	c 1746s |      22 |  1991163 |  1591222 |    48811     76 |     2773 |        2
1749.62/1750.10	c 1748s |      22 |  1997565 |  1596822 |    48811     76 |     2773 |        2
1751.71/1752.10	c 1750s |      22 |  2002366 |  1601322 |    48811     76 |     2773 |        2
1753.71/1754.13	c 1753s |      22 |  2007045 |  1605222 |    48811     77 |     2773 |        2
1755.71/1756.18	c 1755s |      22 |  2011324 |  1609222 |    48811     77 |     2773 |        2
1757.81/1758.23	c 1757s |      22 |  2014813 |  1612022 |    48811     77 |     2773 |        2
1759.81/1760.24	c 1759s |      22 |  2018016 |  1614522 |    48811     77 |     2773 |        2
1761.82/1762.30	c 1761s |      22 |  2020798 |  1616922 |    48811     77 |     2773 |        2
1764.02/1764.42	c 1763s |      22 |  2024465 |  1620122 |    48811     77 |     2773 |        2
1766.01/1766.44	c 1765s |      22 |  2031614 |  1627122 |    48811     77 |     2773 |        2
1768.01/1768.47	c 1767s |      22 |  2035964 |  1631322 |    48811     78 |     2773 |        2
1770.01/1770.49	c 1769s |      22 |  2043109 |  1637922 |    48811     78 |     2773 |        2
1772.01/1772.49	c 1771s |      22 |  2047474 |  1641922 |    48811     78 |     2773 |        2
1774.11/1774.52	c 1773s |      22 |  2050710 |  1644922 |    48811     78 |     2773 |        2
1776.12/1776.58	c 1775s |      22 |  2053499 |  1647622 |    48811     78 |     2773 |        2
1778.11/1778.59	c 1777s |      22 |  2056335 |  1650322 |    48811     78 |     2773 |        2
1780.21/1780.63	c 1779s |      22 |  2059286 |  1653022 |    48811     78 |     2773 |        2
1782.21/1782.65	c 1781s |      22 |  2061950 |  1655622 |    48811     78 |     2773 |        2
1784.21/1784.66	c 1783s |      22 |  2063602 |  1657222 |    48811     79 |     2773 |        2
1786.31/1786.71	c 1785s |      22 |  2065909 |  1659322 |    48811     79 |     2773 |        2
1788.41/1788.84	c 1787s |      22 |  2068003 |  1661322 |    48811     79 |     2773 |        2
1790.41/1790.85	c 1789s |      22 |  2069651 |  1662922 |    48811     79 |     2773 |        2
1792.51/1792.95	c 1791s |      22 |  2071212 |  1664422 |    48811     79 |     2773 |        2
1794.51/1794.96	c 1793s |      22 |  2072745 |  1665922 |    48811     79 |     2773 |        2
1796.51/1796.98	c 1795s |      22 |  2074633 |  1667722 |    48811     79 |     2773 |        2
1798.51/1798.99	c 1797s |      22 |  2076056 |  1669122 |    48811     79 |     2773 |        2

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

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

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


[startup+0 s]
/proc/loadavg: 2.25 2.20 2.18 4/180 16521
/proc/meminfo: memFree=29500816/32872528 swapFree=1191052/1305516
[pid=16521] ppid=16518 vsize=678332 CPUtime=0 cores=0,2,4,6
/proc/16521/stat : 16521 (toysat) R 16518 16521 14522 0 -1 4202496 2521 0 0 0 0 0 0 0 20 0 4 0 23392019 694611968 3393 33554432000 4194304 16246674 140735635040992 140735635040416 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16521/statm: 170351 3401 441 2943 0 167245 0
[pid=16521/tid=16522] ppid=16518 vsize=696764 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16522/stat : 16522 (toysat) S 16518 16521 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23392019 713486336 3465 33554432000 4194304 16246674 140735635040992 139918082813168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16521/tid=16523] ppid=16518 vsize=701884 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16523/stat : 16523 (toysat) S 16518 16521 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23392019 718729216 3482 33554432000 4194304 16246674 140735635040992 139918072323312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16521/tid=16524] ppid=16518 vsize=704956 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16524/stat : 16524 (toysat) S 16518 16521 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23392019 721874944 3497 33554432000 4194304 16246674 140735635040992 139917954903216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.25 2.20 2.18 4/180 16521
/proc/meminfo: memFree=29500816/32872528 swapFree=1191052/1305516
[pid=16521] ppid=16518 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/16521/stat : 16521 (toysat) R 16518 16521 14522 0 -1 4202496 28122 0 0 0 6 3 0 0 20 0 4 0 23392019 1333334016 28932 33554432000 4194304 16246674 140735635040992 140735635040304 8057278 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16521/statm: 325521 28947 801 2943 0 322415 0
[pid=16521/tid=16522] ppid=16518 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16522/stat : 16522 (toysat) S 16518 16521 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23392019 1333334016 28958 33554432000 4194304 16246674 140735635040992 139918082813168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16521/tid=16523] ppid=16518 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16523/stat : 16523 (toysat) S 16518 16521 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23392019 1333334016 28970 33554432000 4194304 16246674 140735635040992 139918072323312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16521/tid=16524] ppid=16518 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16524/stat : 16524 (toysat) S 16518 16521 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23392019 1333334016 28981 33554432000 4194304 16246674 140735635040992 139917954903216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200597 s]
/proc/loadavg: 2.25 2.20 2.18 4/180 16521
/proc/meminfo: memFree=29500816/32872528 swapFree=1191052/1305516
[pid=16521] ppid=16518 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/16521/stat : 16521 (toysat) R 16518 16521 14522 0 -1 4202496 47974 0 0 0 13 6 0 0 20 0 4 0 23392019 1343819776 49295 33554432000 4194304 16246674 140735635040992 140735635040304 4220495 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16521/statm: 328081 49295 812 2943 0 324975 0
[pid=16521/tid=16522] ppid=16518 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16522/stat : 16522 (toysat) S 16518 16521 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23392019 1343819776 49295 33554432000 4194304 16246674 140735635040992 139918082813168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16521/tid=16523] ppid=16518 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16523/stat : 16523 (toysat) S 16518 16521 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23392019 1343819776 49295 33554432000 4194304 16246674 140735635040992 139918072323312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16521/tid=16524] ppid=16518 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16524/stat : 16524 (toysat) S 16518 16521 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23392019 1343819776 49295 33554432000 4194304 16246674 140735635040992 139917954903216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300466 s]
/proc/loadavg: 2.25 2.20 2.18 4/180 16521
/proc/meminfo: memFree=29500816/32872528 swapFree=1191052/1305516
[pid=16521] ppid=16518 vsize=1316420 CPUtime=0.29 cores=0,2,4,6
/proc/16521/stat : 16521 (toysat) R 16518 16521 14522 0 -1 4202496 49252 0 0 0 23 6 0 0 20 0 4 0 23392019 1348014080 50573 33554432000 4194304 16246674 140735635040992 140735635040304 13191557 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16521/statm: 329105 50585 842 2943 0 325999 0
[pid=16521/tid=16522] ppid=16518 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16522/stat : 16522 (toysat) S 16518 16521 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23392019 1348014080 50593 33554432000 4194304 16246674 140735635040992 139918082813168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16521/tid=16523] ppid=16518 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16523/stat : 16523 (toysat) S 16518 16521 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23392019 1348014080 50600 33554432000 4194304 16246674 140735635040992 139918072323312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16521/tid=16524] ppid=16518 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16524/stat : 16524 (toysat) S 16518 16521 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23392019 1348014080 50607 33554432000 4194304 16246674 140735635040992 139917954903216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1316420

[startup+0.700407 s]
/proc/loadavg: 2.25 2.20 2.18 4/180 16521
/proc/meminfo: memFree=29500816/32872528 swapFree=1191052/1305516
[pid=16521] ppid=16518 vsize=1316420 CPUtime=0.69 cores=0,2,4,6
/proc/16521/stat : 16521 (toysat) R 16518 16521 14522 0 -1 4202496 181864 0 0 0 45 24 0 0 20 0 4 0 23392019 1348014080 183185 33554432000 4194304 16246674 140735635040992 140735635022912 12654533 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16521/statm: 329105 183202 842 2943 0 325999 0
[pid=16521/tid=16522] ppid=16518 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16522/stat : 16522 (toysat) S 16518 16521 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23392019 1348014080 183212 33554432000 4194304 16246674 140735635040992 139918082813168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16521/tid=16523] ppid=16518 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16523/stat : 16523 (toysat) S 16518 16521 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23392019 1348014080 183224 33554432000 4194304 16246674 140735635040992 139918072323312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16521/tid=16524] ppid=16518 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16524/stat : 16524 (toysat) S 16518 16521 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23392019 1348014080 183235 33554432000 4194304 16246674 140735635040992 139917954903216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1316420

[startup+1.5004 s]
/proc/loadavg: 2.25 2.20 2.18 4/184 16525
/proc/meminfo: memFree=28416956/32872528 swapFree=1191052/1305516
[pid=16521] ppid=16518 vsize=1316420 CPUtime=1.48 cores=0,2,4,6
/proc/16521/stat : 16521 (toysat) R 16518 16521 14522 0 -1 4202496 269775 0 0 0 113 35 0 0 20 0 4 0 23392019 1348014080 271096 33554432000 4194304 16246674 140735635040992 140735635022912 5581960 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16521/statm: 329105 271096 893 2943 0 325999 0
[pid=16521/tid=16522] ppid=16518 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16522/stat : 16522 (toysat) S 16518 16521 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23392019 1348014080 271096 33554432000 4194304 16246674 140735635040992 139918082813168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16521/tid=16523] ppid=16518 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16523/stat : 16523 (toysat) S 16518 16521 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23392019 1348014080 271096 33554432000 4194304 16246674 140735635040992 139918072323312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16521/tid=16524] ppid=16518 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16524/stat : 16524 (toysat) S 16518 16521 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23392019 1348014080 271096 33554432000 4194304 16246674 140735635040992 139917954903216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1316420

[startup+3.10041 s]
/proc/loadavg: 2.23 2.19 2.18 4/184 16525
/proc/meminfo: memFree=28416460/32872528 swapFree=1191052/1305516
[pid=16521] ppid=16518 vsize=1316420 CPUtime=3.08 cores=0,2,4,6
/proc/16521/stat : 16521 (toysat) R 16518 16521 14522 0 -1 4202496 269785 0 0 0 273 35 0 0 20 0 4 0 23392019 1348014080 271106 33554432000 4194304 16246674 140735635040992 140735635040304 5600342 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16521/statm: 329105 271106 901 2943 0 325999 0
[pid=16521/tid=16522] ppid=16518 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16522/stat : 16522 (toysat) S 16518 16521 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23392019 1348014080 271106 33554432000 4194304 16246674 140735635040992 139918082813168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16521/tid=16523] ppid=16518 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16523/stat : 16523 (toysat) S 16518 16521 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23392019 1348014080 271106 33554432000 4194304 16246674 140735635040992 139918072323312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16521/tid=16524] ppid=16518 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16524/stat : 16524 (toysat) S 16518 16521 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23392019 1348014080 271106 33554432000 4194304 16246674 140735635040992 139917954903216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1316420

[startup+6.30041 s]
/proc/loadavg: 2.23 2.19 2.18 3/184 16525
/proc/meminfo: memFree=28415848/32872528 swapFree=1191052/1305516
[pid=16521] ppid=16518 vsize=1316420 CPUtime=6.29 cores=0,2,4,6
/proc/16521/stat : 16521 (toysat) R 16518 16521 14522 0 -1 4202496 269785 0 0 0 593 36 0 0 20 0 4 0 23392019 1348014080 271106 33554432000 4194304 16246674 140735635040992 140735635022912 5582164 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16521/statm: 329105 271106 901 2943 0 325999 0
[pid=16521/tid=16522] ppid=16518 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16522/stat : 16522 (toysat) S 16518 16521 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23392019 1348014080 271106 33554432000 4194304 16246674 140735635040992 139918082813168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16521/tid=16523] ppid=16518 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16523/stat : 16523 (toysat) S 16518 16521 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23392019 1348014080 271106 33554432000 4194304 16246674 140735635040992 139918072323312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16521/tid=16524] ppid=16518 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16524/stat : 16524 (toysat) S 16518 16521 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23392019 1348014080 271106 33554432000 4194304 16246674 140735635040992 139917954903216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1316420

[startup+12.7004 s]
/proc/loadavg: 2.19 2.19 2.17 3/183 16525
/proc/meminfo: memFree=28416048/32872528 swapFree=1191052/1305516
[pid=16521] ppid=16518 vsize=1316420 CPUtime=12.69 cores=0,2,4,6
/proc/16521/stat : 16521 (toysat) R 16518 16521 14522 0 -1 4202496 269791 0 0 0 1233 36 0 0 20 0 4 0 23392019 1348014080 271112 33554432000 4194304 16246674 140735635040992 140735635022912 5823020 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16521/statm: 329105 271112 903 2943 0 325999 0
[pid=16521/tid=16522] ppid=16518 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16522/stat : 16522 (toysat) S 16518 16521 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23392019 1348014080 271112 33554432000 4194304 16246674 140735635040992 139918082813168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16521/tid=16523] ppid=16518 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16523/stat : 16523 (toysat) S 16518 16521 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23392019 1348014080 271112 33554432000 4194304 16246674 140735635040992 139918072323312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16521/tid=16524] ppid=16518 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16524/stat : 16524 (toysat) S 16518 16521 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23392019 1348014080 271112 33554432000 4194304 16246674 140735635040992 139917954903216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1316420

[startup+25.5005 s]
/proc/loadavg: 2.16 2.18 2.17 3/183 16525
/proc/meminfo: memFree=28415692/32872528 swapFree=1191052/1305516
[pid=16521] ppid=16518 vsize=1316420 CPUtime=25.49 cores=0,2,4,6
/proc/16521/stat : 16521 (toysat) R 16518 16521 14522 0 -1 4202496 269793 0 0 0 2513 36 0 0 20 0 4 0 23392019 1348014080 271114 33554432000 4194304 16246674 140735635040992 140735635040168 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16521/statm: 329105 271114 904 2943 0 325999 0
[pid=16521/tid=16522] ppid=16518 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16522/stat : 16522 (toysat) S 16518 16521 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23392019 1348014080 271114 33554432000 4194304 16246674 140735635040992 139918082813168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16521/tid=16523] ppid=16518 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16523/stat : 16523 (toysat) S 16518 16521 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23392019 1348014080 271114 33554432000 4194304 16246674 140735635040992 139918072323312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16521/tid=16524] ppid=16518 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16524/stat : 16524 (toysat) S 16518 16521 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23392019 1348014080 271114 33554432000 4194304 16246674 140735635040992 139917954903216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1316420

[startup+51.1005 s]
/proc/loadavg: 2.25 2.20 2.18 3/183 16525
/proc/meminfo: memFree=28374868/32872528 swapFree=1191052/1305516
[pid=16521] ppid=16518 vsize=1346116 CPUtime=51.08 cores=0,2,4,6
/proc/16521/stat : 16521 (toysat) R 16518 16521 14522 0 -1 4202496 277217 0 0 0 5071 37 0 0 20 0 4 0 23392019 1378422784 278538 33554432000 4194304 16246674 140735635040992 140735635022912 5823584 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16521/statm: 336529 278538 904 2943 0 333423 0
[pid=16521/tid=16522] ppid=16518 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16522/stat : 16522 (toysat) S 16518 16521 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23392019 1378422784 278538 33554432000 4194304 16246674 140735635040992 139918082813168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16521/tid=16523] ppid=16518 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16523/stat : 16523 (toysat) S 16518 16521 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23392019 1378422784 278538 33554432000 4194304 16246674 140735635040992 139918072323312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16521/tid=16524] ppid=16518 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16524/stat : 16524 (toysat) S 16518 16521 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23392019 1378422784 278538 33554432000 4194304 16246674 140735635040992 139917954903216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1346116

[startup+102.301 s]
/proc/loadavg: 2.26 2.21 2.18 3/183 16526
/proc/meminfo: memFree=28349472/32872528 swapFree=1191052/1305516
[pid=16521] ppid=16518 vsize=1370692 CPUtime=102.28 cores=0,2,4,6
/proc/16521/stat : 16521 (toysat) R 16518 16521 14522 0 -1 4202496 283361 0 0 0 10188 40 0 0 20 0 4 0 23392019 1403588608 284682 33554432000 4194304 16246674 140735635040992 140735635022912 4206864 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16521/statm: 342673 284682 904 2943 0 339567 0
[pid=16521/tid=16522] ppid=16518 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16522/stat : 16522 (toysat) S 16518 16521 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23392019 1403588608 284682 33554432000 4194304 16246674 140735635040992 139918082813168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16521/tid=16523] ppid=16518 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16523/stat : 16523 (toysat) S 16518 16521 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23392019 1403588608 284682 33554432000 4194304 16246674 140735635040992 139918072323312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16521/tid=16524] ppid=16518 vsize=1370692 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16524/stat : 16524 (toysat) S 16518 16521 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23392019 1403588608 284682 33554432000 4194304 16246674 140735635040992 139917954903216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1370692


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

/proc/16521/task/16524/stat : 16524 (toysat) S 16518 16521 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23392019 1420365824 288781 33554432000 4194304 16246674 140735635040992 139917954903216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 1387076

[startup+1302.3 s]
/proc/loadavg: 2.06 2.14 2.16 3/183 16556
/proc/meminfo: memFree=28287700/32872528 swapFree=1191052/1305516
[pid=16521] ppid=16518 vsize=1387076 CPUtime=1302.01 cores=0,2,4,6
/proc/16521/stat : 16521 (toysat) R 16518 16521 14522 0 -1 4202496 287612 0 0 0 130130 71 0 0 20 0 4 0 23392019 1420365824 288781 33554432000 4194304 16246674 140735635040992 140735635022912 5712760 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16521/statm: 346769 288781 904 2943 0 343663 0
[pid=16521/tid=16522] ppid=16518 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16522/stat : 16522 (toysat) S 16518 16521 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23392019 1420365824 288781 33554432000 4194304 16246674 140735635040992 139918082813168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16521/tid=16523] ppid=16518 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16523/stat : 16523 (toysat) S 16518 16521 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23392019 1420365824 288781 33554432000 4194304 16246674 140735635040992 139918072323312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16521/tid=16524] ppid=16518 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16524/stat : 16524 (toysat) S 16518 16521 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23392019 1420365824 288781 33554432000 4194304 16246674 140735635040992 139917954903216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 1387076

[startup+1362.3 s]
/proc/loadavg: 2.10 2.14 2.16 3/183 16557
/proc/meminfo: memFree=28287604/32872528 swapFree=1191052/1305516
[pid=16521] ppid=16518 vsize=1387076 CPUtime=1361.99 cores=0,2,4,6
/proc/16521/stat : 16521 (toysat) R 16518 16521 14522 0 -1 4202496 287634 0 0 0 136127 72 0 0 20 0 4 0 23392019 1420365824 288781 33554432000 4194304 16246674 140735635040992 140735635040208 4220536 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16521/statm: 346769 288781 904 2943 0 343663 0
[pid=16521/tid=16522] ppid=16518 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16522/stat : 16522 (toysat) S 16518 16521 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23392019 1420365824 288781 33554432000 4194304 16246674 140735635040992 139918082813168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16521/tid=16523] ppid=16518 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16523/stat : 16523 (toysat) S 16518 16521 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23392019 1420365824 288781 33554432000 4194304 16246674 140735635040992 139918072323312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16521/tid=16524] ppid=16518 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16524/stat : 16524 (toysat) S 16518 16521 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23392019 1420365824 288781 33554432000 4194304 16246674 140735635040992 139917954903216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 1387076

[startup+1422.3 s]
/proc/loadavg: 2.13 2.14 2.16 3/183 16559
/proc/meminfo: memFree=28287568/32872528 swapFree=1191052/1305516
[pid=16521] ppid=16518 vsize=1387076 CPUtime=1421.98 cores=0,2,4,6
/proc/16521/stat : 16521 (toysat) R 16518 16521 14522 0 -1 4202496 287656 0 0 0 142125 73 0 0 20 0 4 0 23392019 1420365824 288781 33554432000 4194304 16246674 140735635040992 140735635022912 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16521/statm: 346769 288781 904 2943 0 343663 0
[pid=16521/tid=16522] ppid=16518 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16522/stat : 16522 (toysat) S 16518 16521 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23392019 1420365824 288781 33554432000 4194304 16246674 140735635040992 139918082813168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16521/tid=16523] ppid=16518 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16523/stat : 16523 (toysat) S 16518 16521 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23392019 1420365824 288781 33554432000 4194304 16246674 140735635040992 139918072323312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16521/tid=16524] ppid=16518 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16524/stat : 16524 (toysat) S 16518 16521 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23392019 1420365824 288781 33554432000 4194304 16246674 140735635040992 139917954903216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 1387076

[startup+1482.3 s]
/proc/loadavg: 2.10 2.13 2.15 3/183 16560
/proc/meminfo: memFree=28284872/32872528 swapFree=1191052/1305516
[pid=16521] ppid=16518 vsize=1387076 CPUtime=1481.96 cores=0,2,4,6
/proc/16521/stat : 16521 (toysat) R 16518 16521 14522 0 -1 4202496 287665 0 0 0 148120 76 0 0 20 0 4 0 23392019 1420365824 288781 33554432000 4194304 16246674 140735635040992 140735635022912 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16521/statm: 346769 288781 904 2943 0 343663 0
[pid=16521/tid=16522] ppid=16518 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16522/stat : 16522 (toysat) S 16518 16521 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23392019 1420365824 288781 33554432000 4194304 16246674 140735635040992 139918082813168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16521/tid=16523] ppid=16518 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16523/stat : 16523 (toysat) S 16518 16521 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23392019 1420365824 288781 33554432000 4194304 16246674 140735635040992 139918072323312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16521/tid=16524] ppid=16518 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16524/stat : 16524 (toysat) S 16518 16521 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23392019 1420365824 288781 33554432000 4194304 16246674 140735635040992 139917954903216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 1387076

[startup+1542.31 s]
/proc/loadavg: 2.15 2.13 2.15 4/183 16561
/proc/meminfo: memFree=28284748/32872528 swapFree=1191052/1305516
[pid=16521] ppid=16518 vsize=1387076 CPUtime=1541.96 cores=0,2,4,6
/proc/16521/stat : 16521 (toysat) R 16518 16521 14522 0 -1 4202496 287665 0 0 0 154117 79 0 0 20 0 4 0 23392019 1420365824 288781 33554432000 4194304 16246674 140735635040992 140735635040088 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16521/statm: 346769 288781 904 2943 0 343663 0
[pid=16521/tid=16522] ppid=16518 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16522/stat : 16522 (toysat) S 16518 16521 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23392019 1420365824 288781 33554432000 4194304 16246674 140735635040992 139918082813168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16521/tid=16523] ppid=16518 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16523/stat : 16523 (toysat) S 16518 16521 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23392019 1420365824 288781 33554432000 4194304 16246674 140735635040992 139918072323312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16521/tid=16524] ppid=16518 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16524/stat : 16524 (toysat) S 16518 16521 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23392019 1420365824 288781 33554432000 4194304 16246674 140735635040992 139917954903216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 1387076

[startup+1602.3 s]
/proc/loadavg: 2.26 2.17 2.16 3/183 16562
/proc/meminfo: memFree=28284864/32872528 swapFree=1191052/1305516
[pid=16521] ppid=16518 vsize=1387076 CPUtime=1601.94 cores=0,2,4,6
/proc/16521/stat : 16521 (toysat) R 16518 16521 14522 0 -1 4202496 287665 0 0 0 160114 80 0 0 20 0 4 0 23392019 1420365824 288781 33554432000 4194304 16246674 140735635040992 140735635040088 4220880 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16521/statm: 346769 288781 904 2943 0 343663 0
[pid=16521/tid=16522] ppid=16518 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16522/stat : 16522 (toysat) S 16518 16521 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23392019 1420365824 288781 33554432000 4194304 16246674 140735635040992 139918082813168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16521/tid=16523] ppid=16518 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16523/stat : 16523 (toysat) S 16518 16521 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23392019 1420365824 288781 33554432000 4194304 16246674 140735635040992 139918072323312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16521/tid=16524] ppid=16518 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16524/stat : 16524 (toysat) S 16518 16521 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23392019 1420365824 288781 33554432000 4194304 16246674 140735635040992 139917954903216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 1387076

[startup+1662.3 s]
/proc/loadavg: 2.17 2.16 2.16 3/183 16563
/proc/meminfo: memFree=28253128/32872528 swapFree=1191052/1305516
[pid=16521] ppid=16518 vsize=1387076 CPUtime=1661.93 cores=0,2,4,6
/proc/16521/stat : 16521 (toysat) R 16518 16521 14522 0 -1 4202496 287665 0 0 0 166109 84 0 0 20 0 4 0 23392019 1420365824 288781 33554432000 4194304 16246674 140735635040992 140735635022912 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16521/statm: 346769 288781 904 2943 0 343663 0
[pid=16521/tid=16522] ppid=16518 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16522/stat : 16522 (toysat) S 16518 16521 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23392019 1420365824 288781 33554432000 4194304 16246674 140735635040992 139918082813168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16521/tid=16523] ppid=16518 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16523/stat : 16523 (toysat) S 16518 16521 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23392019 1420365824 288781 33554432000 4194304 16246674 140735635040992 139918072323312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16521/tid=16524] ppid=16518 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16524/stat : 16524 (toysat) S 16518 16521 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23392019 1420365824 288781 33554432000 4194304 16246674 140735635040992 139917954903216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 1387076

[startup+1722.3 s]
/proc/loadavg: 2.03 2.13 2.15 4/183 16614
/proc/meminfo: memFree=29089740/32872528 swapFree=1191052/1305516
[pid=16521] ppid=16518 vsize=1387076 CPUtime=1721.92 cores=0,2,4,6
/proc/16521/stat : 16521 (toysat) R 16518 16521 14522 0 -1 4202496 287665 0 0 0 172107 85 0 0 20 0 4 0 23392019 1420365824 288781 33554432000 4194304 16246674 140735635040992 140735635022912 5600084 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16521/statm: 346769 288781 904 2943 0 343663 0
[pid=16521/tid=16522] ppid=16518 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16522/stat : 16522 (toysat) S 16518 16521 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23392019 1420365824 288781 33554432000 4194304 16246674 140735635040992 139918082813168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16521/tid=16523] ppid=16518 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16523/stat : 16523 (toysat) S 16518 16521 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23392019 1420365824 288781 33554432000 4194304 16246674 140735635040992 139918072323312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16521/tid=16524] ppid=16518 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16524/stat : 16524 (toysat) S 16518 16521 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23392019 1420365824 288781 33554432000 4194304 16246674 140735635040992 139917954903216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 1387076

[startup+1782.3 s]
/proc/loadavg: 2.10 2.13 2.15 3/184 16618
/proc/meminfo: memFree=28883228/32872528 swapFree=1191052/1305516
[pid=16521] ppid=16518 vsize=1387076 CPUtime=1781.91 cores=0,2,4,6
/proc/16521/stat : 16521 (toysat) R 16518 16521 14522 0 -1 4202496 287665 0 0 0 178106 85 0 0 20 0 4 0 23392019 1420365824 288781 33554432000 4194304 16246674 140735635040992 140735635022912 5823619 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16521/statm: 346769 288781 904 2943 0 343663 0
[pid=16521/tid=16522] ppid=16518 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16522/stat : 16522 (toysat) S 16518 16521 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23392019 1420365824 288781 33554432000 4194304 16246674 140735635040992 139918082813168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16521/tid=16523] ppid=16518 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16523/stat : 16523 (toysat) S 16518 16521 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23392019 1420365824 288781 33554432000 4194304 16246674 140735635040992 139918072323312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16521/tid=16524] ppid=16518 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16524/stat : 16524 (toysat) S 16518 16521 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23392019 1420365824 288781 33554432000 4194304 16246674 140735635040992 139917954903216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 1387076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.08 2.12 2.14 3/184 16618
/proc/meminfo: memFree=28784724/32872528 swapFree=1191052/1305516
[pid=16521] ppid=16518 vsize=1387076 CPUtime=1800.01 cores=0,2,4,6
/proc/16521/stat : 16521 (toysat) R 16518 16521 14522 0 -1 4202496 287665 0 0 0 179916 85 0 0 20 0 4 0 23392019 1420365824 288781 33554432000 4194304 16246674 140735635040992 140735635040168 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16521/statm: 346769 288781 904 2943 0 343663 0
[pid=16521/tid=16522] ppid=16518 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16522/stat : 16522 (toysat) S 16518 16521 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23392019 1420365824 288781 33554432000 4194304 16246674 140735635040992 139918082813168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16521/tid=16523] ppid=16518 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16523/stat : 16523 (toysat) S 16518 16521 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23392019 1420365824 288781 33554432000 4194304 16246674 140735635040992 139918072323312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16521/tid=16524] ppid=16518 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/16521/task/16524/stat : 16524 (toysat) S 16518 16521 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23392019 1420365824 288781 33554432000 4194304 16246674 140735635040992 139917954903216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1387076

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.02
CPU user time (s): 1799.17
CPU system time (s): 0.858869
CPU usage (%): 99.9787
Max. virtual memory (cumulated for all children) (KiB): 1387076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.17
system time used= 0.858869
maximum resident set size= 1155124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 287665
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= 250
involuntary context switches= 1863

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.7561 second user time and 15.9186 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-18 03:30:54
IDJOB=4100401
IDBENCH=1612
IDSOLVER=2542
FILE ID=node127/4100401-1466213454
RUNJOBID= node127-1466206072-14538
PBS_JOBID= 19918150
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-bg512142.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100401-1466213454/watcher-4100401-1466213454 -o /tmp/evaluation-result-4100401-1466213454/solver-4100401-1466213454 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466206072-14538 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100401-1466213454.opb

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

MD5SUM BENCH= 6816c7581e307ff85cc3550c4b71269a
RANDOM SEED=1354664121

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29501368 kB
Buffers:           98688 kB
Cached:           123092 kB
SwapCached:          528 kB
Active:          1205108 kB
Inactive:         124584 kB
Active(anon):    1109556 kB
Inactive(anon):      860 kB
Active(file):      95552 kB
Inactive(file):   123724 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100256 kB
Dirty:             17092 kB
Writeback:             0 kB
AnonPages:       2517440 kB
Mapped:            10876 kB
Shmem:                 0 kB
Slab:             602220 kB
SReclaimable:      46380 kB
SUnreclaim:       555840 kB
KernelStack:        1528 kB
PageTables:         8836 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2555208 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    225280 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= 71704 MiB
End job on node127 at 2016-06-18 04:00:55