Trace number 4100617

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.42

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-gfrd-pnc.opb
MD5SUM79ac545a8fcf117e4e23dd9b4f8255c5
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 variables27888
Total number of constraints874
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints874
Minimum length of a constraint11
Maximum length of a constraint246
Number of terms in the objective function 27836
Biggest coefficient in the objective function 8308
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 546265
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 546265
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-18T04:04:19+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-4100617-1466215459.opb"]
0.00/0.01	c use --random-gen="1014053778 1155286282 1210192295 2355154691 1447253003 1165693241 1750276150 295167474 713357232 90229068 3972732483 841391307 1283563246 4210212822 1022190793 3843323897 515045517 504365736 3821553737 3479306674 2103409316 1648159894 2035158056 4094041213 3359907657 2904891874 2855175958 4105648892 1385260900 4209030140 1658864846 2134308439 1164710200 1329808263 1024311517 1241328578 3146391377 3170279543 1338186807 2287348773 2411839506 250298528 396783388 2500377304 2713240877 2965081421 1666169836 1563043507 3646102914 3265428034 4025202988 115548848 1027099495 3569645679 3053376378 2507996639 3879158460 1578920027 1677367394 2515436618 2918493438 3295645256 3842524574 1564010459 2902708643 1541708978 1220385633 83139848 1343909555 337733360 4128259781 3023398501 438887525 2747141320 4136351383 3434227299 3636919250 3676180942 109598861 1545491408 3332751990 1737629054 2002864559 2190444232 3078418480 1956632969 3047662273 1934623458 3325953097 2408875628 4278099939 4014847983 2726633490 2623758534 663514837 3116245999 2755679537 3927257626 3997437977 1236074015 346158643 266174253 307297179 1037324951 1631315399 3731274495 2656669266 1559104366 3493705982 1776652385 85136357 2058480286 1436459049 656275984 3647175297 317630252 1258667631 3831287262 1176341938 960883473 3423467177 2982871300 2714665703 36577280 2607233841 2768930348 3109444492 2444431213 3822894441 1141209619 3440302685 37386924 3597066137 2514244493 3979375218 112192130 2249055876 901676923 1326593113 2917440307 3794906625 1343903402 610194918 770079750 1739053667 2601913004 3232460021 2419350724 2669831179 3894484391 1656418133 3971825521 1088716522 4042723287 202929167 4000795490 2132344759 1207235455 1014304794 4271650648 1075018711 2557632875 3653004449 1243337850 17970614 2287504057 1923616325 1079486693 1314778714 1067906513 3248331165 3492744805 1367985624 2371498041 2279481174 324543275 1926105682 2386442347 216007080 172802055 2582370241 2016339258 3878210735 322457545 3742484501 2508811578 1809865159 2448180745 3573283760 3036688843 2404455153 3104064592 1269374482 545819798 2580461444 3585168141 1639185807 2632045180 650866839 2931970531 3045776059 3535283018 974365588 587110492 2520272405 3939874171 691390497 265153571 4076612029 3803745750 3316832909 2498879162 2165763364 4210277512 969018989 2860107387 3348677900 3338297823 2389271594 2853935439 1842629966 1674800597 2551345206 2618343001 672902960 436907660 150712204 2687265805 3698685621 3851321102 2525503303 2120230393 143138721 1176260041 3281521193 1621028129 1499047963 3582517263 4265297701 512340619 718559578 3938099539 2903490394 3272733350 621289566 2421029087 1619877719 447072217 1448046369 2043010233 2334500139 3881590132 943454964 1429712170 2805828462 2437247086 255 362436" option to reproduce the execution
0.09/0.19	c #vars 27888
0.09/0.19	c #constraints 874
1.29/1.35	c BCD2: Hardening is enabled.
1.29/1.35	c BCD2: BiasedSearch is enabled.
1.29/1.35	c Solving starts ...
1.29/1.35	c ============================[ Search Statistics ]============================
1.29/1.35	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.29/1.35	c       |         |          |          |    Limit     GC | Var      | Constra 
1.29/1.35	c =============================================================================
1.29/1.35	c  0.0s |       0 |        0 |        0 |     9764      0 |     1954 |        0
1.49/1.56	c  0.2s |       1 |     5197 |      100 |     9764      0 |     1972 |       36
1.59/1.68	c  0.3s |       2 |     7732 |      250 |    10741      0 |     1978 |       36
1.69/1.73	c  0.4s |       3 |     9190 |      475 |    11816      0 |     1978 |       36
1.79/1.86	c  0.5s |       4 |    10692 |      813 |    12998      0 |     1979 |       36
2.09/2.16	c  0.8s |       5 |    15966 |     1320 |    14298      0 |     2005 |       36
2.30/2.38	c  1.0s |       6 |    16769 |     2081 |    17301      0 |     2005 |       36
2.69/2.79	c  1.4s |       7 |    17999 |     3223 |    19032      0 |     2005 |       36
3.40/3.44	c  2.1s |       8 |    19920 |     4936 |    20936      0 |     2005 |       36
4.09/4.15	c  2.8s |       9 |    22767 |     7506 |    23030      0 |     2005 |       36
5.39/5.46	c  4.1s |      10 |    26872 |    11361 |    25334      0 |     2005 |       36
7.39/7.48	c  6.1s |      10 |    32218 |    15961 |    25334      0 |     2005 |       36
7.89/7.93	c  6.6s |      11 |    33788 |    17144 |    27868      0 |     2005 |       36
9.90/9.94	c  8.6s |      11 |    39200 |    22444 |    27868      0 |     2005 |       36
11.29/11.38	c 10.0s |      12 |    42585 |    25819 |    30655      0 |     2005 |       36
13.39/13.43	c 12.1s |      12 |    46457 |    29619 |    30655      0 |     2005 |       36
15.39/15.47	c 14.1s |      12 |    49872 |    33019 |    30655      1 |     2005 |       36
17.49/17.50	c 16.2s |      12 |    53390 |    36519 |    30655      1 |     2005 |       36
19.09/19.15	c 17.8s |      13 |    55720 |    38832 |    33721      1 |     2005 |       36
21.89/21.94	c 20.6s |      13 |    63585 |    39932 |    33721      1 |     2039 |       36
23.89/23.96	c 22.6s |      13 |    75724 |    47332 |    33721      1 |     2042 |       36
25.89/25.97	c 24.6s |      13 |    80348 |    51932 |    33721      1 |     2042 |       36
27.88/27.98	c 26.6s |      13 |    83872 |    55432 |    33721      2 |     2042 |       36
29.88/29.93	c 28.6s |      14 |    86798 |    58352 |    37094      2 |     2042 |       36
31.89/31.96	c 30.6s |      14 |    93521 |    62452 |    37094      2 |     2043 |       36
33.88/33.99	c 32.6s |      14 |    98034 |    66952 |    37094      2 |     2043 |       36
35.98/36.02	c 34.7s |      14 |   102422 |    70852 |    37094      2 |     2043 |       36
37.98/38.09	c 36.7s |      14 |   106419 |    74152 |    37094      2 |     2043 |       36
40.08/40.15	c 38.8s |      14 |   109540 |    76752 |    37094      2 |     2043 |       36
42.08/42.17	c 40.8s |      14 |   112056 |    78952 |    37094      3 |     2043 |       36
44.18/44.23	c 42.9s |      14 |   113907 |    80652 |    37094      3 |     2043 |       36
46.19/46.27	c 44.9s |      14 |   115816 |    82552 |    37094      3 |     2043 |       36
48.28/48.30	c 47.0s |      14 |   117582 |    84252 |    37094      3 |     2043 |       36
50.28/50.38	c 49.0s |      14 |   119690 |    86152 |    37094      3 |     2043 |       36
51.98/52.06	c 50.7s |      15 |   121377 |    87632 |    40804      3 |     2043 |       36
53.99/54.06	c 52.7s |      15 |   133915 |    92332 |    40804      3 |     2046 |       36
55.98/56.07	c 54.7s |      15 |   138673 |    96732 |    40804      3 |     2046 |       36
57.98/58.08	c 56.7s |      15 |   142326 |   100132 |    40804      4 |     2046 |       36
60.08/60.13	c 58.8s |      15 |   145367 |   103032 |    40804      4 |     2046 |       36
62.18/62.20	c 60.8s |      15 |   149051 |   106332 |    40804      4 |     2046 |       36
64.18/64.29	c 62.9s |      15 |   152208 |   109132 |    40804      4 |     2046 |       36
66.28/66.36	c 65.0s |      15 |   154386 |   111232 |    40804      4 |     2046 |       36
68.38/68.40	c 67.1s |      15 |   156473 |   113232 |    40804      4 |     2046 |       36
70.38/70.40	c 69.1s |      15 |   158236 |   114932 |    40804      4 |     2046 |       36
72.38/72.47	c 71.1s |      15 |   160208 |   116732 |    40804      4 |     2046 |       36
74.47/74.52	c 73.2s |      15 |   161940 |   118332 |    40804      4 |     2046 |       36
76.57/76.64	c 75.3s |      15 |   163513 |   119832 |    40804      4 |     2046 |       36
78.88/78.96	c 77.6s |      15 |   164512 |   120732 |    40804      5 |     2046 |       36
80.88/80.98	c 79.6s |      15 |   167482 |   123032 |    40804      5 |     2046 |       36
82.88/82.99	c 81.6s |      15 |   170908 |   125232 |    40804      5 |     2046 |       36
84.98/85.01	c 83.7s |      15 |   176665 |   129532 |    40804      5 |     2046 |       36
86.38/86.49	c 85.1s |      16 |   179502 |   131552 |    44885      5 |     2046 |       36
88.48/88.54	c 87.2s |      16 |   183003 |   134752 |    44885      5 |     2050 |       36
92.18/92.22	c 90.9s |      16 |   204235 |   136052 |    44885      5 |     2050 |       36
96.28/96.35	c 95.0s |      16 |   243595 |   137752 |    44885      5 |     2090 |       36
98.28/98.36	c 97.0s |      16 |   252878 |   145652 |    44885      5 |     2090 |       36
100.27/100.37	c 99.0s |      16 |   257549 |   149952 |    44885      6 |     2090 |       36
102.38/102.42	c  101s |      16 |   262355 |   154052 |    44885      6 |     2090 |       36
104.37/104.46	c  103s |      16 |   265839 |   157152 |    44885      6 |     2090 |       36
106.47/106.50	c  105s |      16 |   268468 |   159652 |    44885      6 |     2090 |       36
108.47/108.54	c  107s |      16 |   270851 |   161752 |    44885      6 |     2090 |       36
110.57/110.62	c  109s |      16 |   273255 |   163752 |    44885      6 |     2090 |       36
112.67/112.71	c  111s |      16 |   275412 |   165852 |    44885      6 |     2090 |       36
114.67/114.76	c  113s |      16 |   277995 |   167952 |    44885      6 |     2090 |       36
116.77/116.81	c  115s |      16 |   280387 |   170052 |    44885      7 |     2090 |       36
119.18/119.22	c  117s |      16 |   282629 |   171952 |    44885      7 |     2090 |       36
121.18/121.25	c  119s |      16 |   285383 |   174552 |    44885      7 |     2090 |       36
123.28/123.31	c  121s |      16 |   287240 |   176352 |    44885      7 |     2090 |       36
125.38/125.42	c  124s |      16 |   290422 |   179052 |    44885      7 |     2090 |       36
127.37/127.47	c  126s |      16 |   293192 |   181552 |    44885      7 |     2090 |       36
129.37/129.47	c  128s |      16 |   295272 |   183152 |    44885      7 |     2090 |       36
131.47/131.56	c  130s |      16 |   297634 |   185352 |    44885      7 |     2090 |       36
133.57/133.67	c  132s |      16 |   299810 |   187252 |    44885      7 |     2090 |       36
135.57/135.68	c  134s |      16 |   301091 |   188452 |    44885      7 |     2090 |       36
137.58/137.69	c  136s |      16 |   302582 |   189852 |    44885      7 |     2090 |       36
139.68/139.79	c  138s |      16 |   303935 |   191152 |    44885      7 |     2090 |       36
141.88/141.95	c  140s |      16 |   305258 |   192452 |    44885      7 |     2090 |       36
143.97/144.05	c  142s |      16 |   306177 |   193252 |    44885      7 |     2090 |       36
148.07/148.10	c  146s |      16 |   306749 |   193752 |    44885      8 |     2090 |       36
150.07/150.17	c  148s |      16 |   308331 |   195152 |    44885      8 |     2090 |       36
152.16/152.20	c  150s |      16 |   310858 |   197352 |    49374      8 |     2090 |       36
152.16/152.28	c  150s |      17 |   310937 |   197432 |    49374      8 |     2090 |       36
154.16/154.29	c  152s |      17 |   341701 |   202232 |    49374      8 |     2115 |       36
156.17/156.30	c  154s |      17 |   348198 |   208632 |    49374      8 |     2115 |       36
158.26/158.34	c  156s |      17 |   354054 |   214332 |    49374      8 |     2115 |       36
160.26/160.37	c  159s |      17 |   357606 |   217832 |    49374      8 |     2115 |       36
162.46/162.58	c  161s |      17 |   361266 |   221232 |    49374      8 |     2115 |       36
164.46/164.59	c  163s |      17 |   365865 |   225732 |    49374      8 |     2115 |       36
166.56/166.63	c  165s |      17 |   369285 |   229132 |    49374      8 |     2115 |       36
168.56/168.68	c  167s |      17 |   372097 |   231932 |    49374      9 |     2115 |       36
170.66/170.70	c  169s |      17 |   374809 |   234632 |    49374      9 |     2115 |       36
172.67/172.80	c  171s |      17 |   377523 |   237332 |    49374      9 |     2115 |       36
174.76/174.80	c  173s |      17 |   379733 |   239532 |    49374      9 |     2115 |       36
176.76/176.86	c  175s |      17 |   381546 |   241332 |    49374      9 |     2115 |       36
178.86/178.94	c  177s |      17 |   383452 |   243232 |    49374      9 |     2115 |       36
180.86/180.95	c  179s |      17 |   385356 |   245132 |    49374      9 |     2115 |       36
182.96/183.01	c  181s |      17 |   387563 |   247332 |    49374      9 |     2115 |       36
184.96/185.09	c  183s |      17 |   389570 |   249332 |    49374      9 |     2115 |       36
187.06/187.19	c  185s |      17 |   391375 |   251132 |    49374      9 |     2115 |       36
189.06/189.19	c  187s |      17 |   392899 |   252632 |    49374      9 |     2115 |       36
191.16/191.23	c  189s |      17 |   394414 |   254132 |    49374      9 |     2115 |       36
193.16/193.28	c  191s |      17 |   395818 |   255532 |    49374      9 |     2115 |       36
195.16/195.29	c  193s |      17 |   397230 |   256932 |    49374      9 |     2115 |       36
197.26/197.34	c  195s |      17 |   398318 |   258032 |    49374      9 |     2115 |       36
199.36/199.45	c  198s |      17 |   399431 |   259132 |    49374      9 |     2115 |       36
201.46/201.54	c  200s |      17 |   400933 |   260632 |    49374      9 |     2115 |       36
203.46/203.57	c  202s |      17 |   402242 |   261932 |    49374      9 |     2115 |       36
205.77/205.87	c  204s |      17 |   402441 |   262132 |    49374     10 |     2115 |       36
207.87/207.93	c  206s |      17 |   403642 |   263332 |    49374     10 |     2115 |       36
209.96/210.04	c  208s |      17 |   404754 |   264432 |    49374     10 |     2115 |       36
211.96/212.09	c  210s |      17 |   405957 |   265632 |    49374     10 |     2115 |       36
214.06/214.16	c  212s |      17 |   407359 |   267032 |    49374     10 |     2115 |       36
216.26/216.36	c  215s |      17 |   408563 |   268232 |    49374     10 |     2115 |       36
218.36/218.44	c  217s |      17 |   409666 |   269332 |    49374     10 |     2115 |       36
220.46/220.59	c  219s |      17 |   410866 |   270532 |    49374     10 |     2115 |       36
222.56/222.66	c  221s |      17 |   412174 |   271832 |    49374     10 |     2115 |       36
224.56/224.67	c  223s |      17 |   413178 |   272832 |    49374     10 |     2115 |       36
226.76/226.85	c  225s |      17 |   413982 |   273632 |    49374     10 |     2115 |       36
228.87/228.92	c  227s |      17 |   414494 |   274132 |    49374     10 |     2115 |       36
230.86/230.94	c  229s |      17 |   415294 |   274932 |    49374     10 |     2115 |       36
233.06/233.11	c  231s |      17 |   416097 |   275732 |    49374     10 |     2115 |       36
235.06/235.14	c  233s |      17 |   416907 |   276532 |    49374     10 |     2115 |       36
237.06/237.16	c  235s |      17 |   418116 |   277732 |    49374     10 |     2115 |       36
239.16/239.27	c  237s |      17 |   419217 |   278832 |    49374     10 |     2115 |       36
241.16/241.29	c  239s |      17 |   420124 |   279732 |    49374     10 |     2115 |       36
243.16/243.30	c  241s |      17 |   421124 |   280732 |    49374     10 |     2115 |       36
245.36/245.45	c  244s |      17 |   422136 |   281732 |    49374     10 |     2115 |       36
247.46/247.56	c  246s |      17 |   423234 |   282832 |    49374     10 |     2115 |       36
249.56/249.62	c  248s |      17 |   424045 |   283632 |    49374     10 |     2115 |       36
251.56/251.63	c  250s |      17 |   424945 |   284532 |    49374     10 |     2115 |       36
253.76/253.80	c  252s |      17 |   425943 |   285532 |    49374     10 |     2115 |       36
255.76/255.85	c  254s |      17 |   426849 |   286432 |    49374     10 |     2115 |       36
257.95/258.02	c  256s |      17 |   427751 |   287332 |    49374     10 |     2115 |       36
260.05/260.18	c  258s |      17 |   428752 |   288332 |    49374     10 |     2115 |       36
262.45/262.51	c  261s |      17 |   429657 |   289232 |    49374     10 |     2115 |       36
264.45/264.51	c  263s |      17 |   430361 |   289932 |    49374     10 |     2115 |       36
266.55/266.70	c  265s |      17 |   431267 |   290832 |    49374     10 |     2115 |       36
268.65/268.79	c  267s |      17 |   432067 |   291632 |    49374     10 |     2115 |       36
270.85/270.91	c  269s |      17 |   432868 |   292432 |    49374     10 |     2115 |       36
273.55/273.66	c  272s |      17 |   433068 |   292632 |    49374     11 |     2115 |       36
276.64/276.74	c  275s |      17 |   433670 |   293232 |    49374     11 |     2115 |       36
286.14/286.25	c  284s |      17 |   434377 |   293932 |    49374     11 |     2115 |       36
288.25/288.31	c  286s |      17 |   435576 |   295132 |    54312     11 |     2115 |       36
289.94/290.07	c  288s |      18 |   436714 |   296252 |    54312     11 |     2115 |       36
291.94/292.08	c  290s |      18 |   448518 |   299652 |    54312     11 |     2115 |       36
294.04/294.14	c  292s |      18 |   452536 |   303652 |    54312     11 |     2115 |       36
296.04/296.18	c  294s |      18 |   456150 |   307252 |    54312     11 |     2115 |       36
298.15/298.23	c  296s |      18 |   459060 |   310152 |    54312     11 |     2115 |       36
300.14/300.25	c  298s |      18 |   461671 |   312752 |    54312     11 |     2115 |       36
302.14/302.28	c  300s |      18 |   463979 |   315052 |    54312     11 |     2115 |       36
304.24/304.36	c  303s |      18 |   465990 |   317052 |    54312     11 |     2115 |       36
306.34/306.48	c  305s |      18 |   467991 |   319052 |    54312     11 |     2115 |       36
308.44/308.54	c  307s |      18 |   469708 |   320752 |    54312     11 |     2115 |       36
310.54/310.66	c  309s |      18 |   471519 |   322552 |    54312     11 |     2115 |       36
312.54/312.69	c  311s |      18 |   473125 |   324152 |    54312     11 |     2115 |       36
314.65/314.75	c  313s |      18 |   474737 |   325752 |    54312     11 |     2115 |       36
316.94/317.05	c  315s |      18 |   476243 |   327252 |    54312     12 |     2115 |       36
318.95/319.06	c  317s |      18 |   477543 |   328552 |    54312     12 |     2115 |       36
320.94/321.07	c  319s |      18 |   478852 |   329852 |    54312     12 |     2115 |       36
323.04/323.12	c  321s |      18 |   480356 |   331352 |    54312     12 |     2115 |       36
325.04/325.15	c  323s |      18 |   481887 |   332852 |    54312     12 |     2115 |       36
327.14/327.28	c  325s |      18 |   483230 |   334152 |    54312     12 |     2115 |       36
329.24/329.33	c  327s |      18 |   484351 |   335252 |    54312     12 |     2115 |       36
331.24/331.33	c  329s |      18 |   485466 |   336352 |    54312     12 |     2115 |       36
333.24/333.33	c  331s |      18 |   487026 |   337852 |    54312     12 |     2115 |       36
335.34/335.42	c  334s |      18 |   488550 |   339352 |    54312     12 |     2115 |       36
337.43/337.56	c  336s |      18 |   489985 |   340752 |    54312     12 |     2115 |       36
339.53/339.62	c  338s |      18 |   491104 |   341852 |    54312     12 |     2115 |       36
341.73/341.80	c  340s |      18 |   492232 |   342952 |    54312     12 |     2115 |       36
343.73/343.80	c  342s |      18 |   493047 |   343752 |    54312     12 |     2115 |       36
345.83/345.95	c  344s |      18 |   494080 |   344752 |    54312     12 |     2115 |       36
348.03/348.11	c  346s |      18 |   495140 |   345752 |    54312     12 |     2115 |       36
350.23/350.32	c  348s |      18 |   496309 |   346852 |    54312     12 |     2115 |       36
352.33/352.49	c  351s |      18 |   497479 |   347952 |    54312     12 |     2115 |       36
354.53/354.64	c  353s |      18 |   498613 |   349052 |    54312     12 |     2115 |       36
356.73/356.80	c  355s |      18 |   499631 |   350052 |    54312     12 |     2115 |       36
358.94/359.03	c  357s |      18 |   500653 |   351052 |    54312     12 |     2115 |       36
361.14/361.21	c  359s |      18 |   501578 |   351952 |    54312     12 |     2115 |       36
363.14/363.29	c  361s |      18 |   502401 |   352752 |    54312     12 |     2115 |       36
365.25/365.35	c  363s |      18 |   503350 |   353652 |    54312     12 |     2115 |       36
367.45/367.54	c  366s |      18 |   504179 |   354452 |    54312     12 |     2115 |       36
369.64/369.71	c  368s |      18 |   505109 |   355352 |    54312     12 |     2115 |       36
371.74/371.87	c  370s |      18 |   505912 |   356152 |    54312     12 |     2115 |       36
373.84/373.95	c  372s |      18 |   506618 |   356852 |    54312     12 |     2115 |       36
376.04/376.11	c  374s |      18 |   507327 |   357552 |    54312     12 |     2115 |       36
378.04/378.18	c  376s |      18 |   508037 |   358252 |    54312     12 |     2115 |       36
380.34/380.49	c  379s |      18 |   508754 |   358952 |    54312     12 |     2115 |       36
382.64/382.80	c  381s |      18 |   509468 |   359652 |    54312     12 |     2115 |       36
385.34/385.41	c  384s |      18 |   509775 |   359952 |    54312     13 |     2115 |       36
389.43/389.56	c  388s |      18 |   510004 |   360152 |    54312     13 |     2115 |       36
391.43/391.60	c  390s |      18 |   511387 |   361352 |    54312     13 |     2115 |       36
393.63/393.75	c  392s |      18 |   512731 |   362552 |    54312     13 |     2115 |       36
395.73/395.84	c  394s |      18 |   513900 |   363652 |    54312     13 |     2115 |       36
397.73/397.85	c  396s |      18 |   514933 |   364652 |    54312     13 |     2115 |       36
399.73/399.86	c  398s |      18 |   515667 |   365352 |    54312     13 |     2115 |       36
401.93/402.03	c  400s |      18 |   516716 |   366352 |    54312     13 |     2115 |       36
403.93/404.03	c  402s |      18 |   517783 |   367352 |    54312     13 |     2115 |       36
406.03/406.12	c  404s |      18 |   519053 |   368552 |    54312     13 |     2115 |       36
408.13/408.24	c  406s |      18 |   520104 |   369552 |    54312     13 |     2115 |       36
410.23/410.37	c  409s |      18 |   520933 |   370352 |    54312     13 |     2115 |       36
412.43/412.55	c  411s |      18 |   521865 |   371252 |    54312     13 |     2115 |       36
414.63/414.72	c  413s |      18 |   522684 |   372052 |    54312     13 |     2115 |       36
416.62/416.76	c  415s |      18 |   523534 |   372852 |    54312     13 |     2115 |       36
418.72/418.82	c  417s |      18 |   524262 |   373552 |    54312     13 |     2115 |       36
420.82/420.91	c  419s |      18 |   525065 |   374352 |    54312     13 |     2115 |       36
423.02/423.16	c  421s |      18 |   525781 |   375052 |    54312     13 |     2115 |       36
425.22/425.37	c  424s |      18 |   526603 |   375852 |    54312     13 |     2115 |       36
427.22/427.37	c  426s |      18 |   527538 |   376752 |    54312     13 |     2115 |       36
429.52/429.60	c  428s |      18 |   528694 |   377852 |    54312     13 |     2115 |       36
431.52/431.61	c  430s |      18 |   529411 |   378552 |    54312     13 |     2115 |       36
433.52/433.63	c  432s |      18 |   530019 |   379152 |    54312     13 |     2115 |       36
435.82/435.91	c  434s |      18 |   530727 |   379852 |    54312     13 |     2115 |       36
437.92/438.04	c  436s |      18 |   531332 |   380452 |    54312     13 |     2115 |       36
440.12/440.26	c  438s |      18 |   532039 |   381152 |    54312     13 |     2115 |       36
442.32/442.46	c  441s |      18 |   532656 |   381752 |    54312     13 |     2115 |       36
444.52/444.65	c  443s |      18 |   533270 |   382352 |    54312     13 |     2115 |       36
449.83/449.91	c  448s |      18 |   533685 |   382752 |    54312     13 |     2115 |       36
451.83/451.96	c  450s |      18 |   534202 |   383252 |    54312     13 |     2115 |       36
454.03/454.14	c  452s |      18 |   534816 |   383852 |    54312     13 |     2115 |       36
456.22/456.31	c  454s |      18 |   535433 |   384452 |    54312     13 |     2115 |       36
458.42/458.60	c  457s |      18 |   536047 |   385052 |    54312     13 |     2115 |       36
460.83/460.91	c  459s |      18 |   536851 |   385852 |    54312     13 |     2115 |       36
463.13/463.25	c  461s |      18 |   537554 |   386552 |    54312     13 |     2115 |       36
465.23/465.34	c  463s |      18 |   538393 |   387352 |    54312     13 |     2115 |       36
467.53/467.68	c  466s |      18 |   539106 |   388052 |    54312     13 |     2115 |       36
469.63/469.75	c  468s |      18 |   539719 |   388652 |    54312     13 |     2115 |       36
471.93/472.08	c  470s |      18 |   540378 |   389252 |    54312     13 |     2115 |       36
474.03/474.11	c  472s |      18 |   540890 |   389752 |    54312     13 |     2115 |       36
476.02/476.14	c  474s |      18 |   541550 |   390352 |    54312     13 |     2115 |       36
478.32/478.45	c  477s |      18 |   542192 |   390952 |    54312     13 |     2115 |       36
480.42/480.60	c  479s |      18 |   542809 |   391552 |    54312     13 |     2115 |       36
482.52/482.62	c  481s |      18 |   543515 |   392252 |    54312     13 |     2115 |       36
486.02/486.11	c  484s |      18 |   543814 |   392552 |    54312     14 |     2115 |       36
488.02/488.18	c  486s |      18 |   544228 |   392952 |    54312     14 |     2115 |       36
490.22/490.35	c  488s |      18 |   545047 |   393752 |    54312     14 |     2115 |       36
492.21/492.35	c  490s |      18 |   545677 |   394352 |    54312     14 |     2115 |       36
494.31/494.46	c  493s |      18 |   546720 |   395352 |    54312     14 |     2115 |       36
496.31/496.48	c  495s |      18 |   547629 |   396252 |    54312     14 |     2115 |       36
498.61/498.71	c  497s |      18 |   548541 |   397152 |    54312     14 |     2115 |       36
508.12/508.30	c  506s |      18 |   549567 |   398152 |    54312     14 |     2115 |       36
510.32/510.41	c  509s |      18 |   550085 |   398652 |    54312     14 |     2115 |       36
512.31/512.45	c  511s |      18 |   551008 |   399552 |    54312     14 |     2115 |       36
514.51/514.63	c  513s |      18 |   552119 |   400652 |    54312     14 |     2115 |       36
516.71/516.83	c  515s |      18 |   552938 |   401452 |    54312     14 |     2115 |       36
518.71/518.84	c  517s |      18 |   553746 |   402252 |    54312     14 |     2115 |       36
520.91/521.04	c  519s |      18 |   554668 |   403152 |    54312     14 |     2115 |       36
523.01/523.10	c  521s |      18 |   555573 |   404052 |    54312     14 |     2115 |       36
525.11/525.25	c  523s |      18 |   556387 |   404852 |    54312     14 |     2115 |       36
527.21/527.34	c  525s |      18 |   557341 |   405752 |    54312     14 |     2115 |       36
529.41/529.51	c  528s |      18 |   558187 |   406552 |    54312     14 |     2115 |       36
531.51/531.69	c  530s |      18 |   559016 |   407352 |    54312     14 |     2115 |       36
533.81/533.95	c  532s |      18 |   559861 |   408152 |    54312     14 |     2115 |       36
536.01/536.18	c  534s |      18 |   560711 |   408952 |    54312     14 |     2115 |       36
538.21/538.31	c  536s |      18 |   561583 |   409752 |    54312     14 |     2115 |       36
540.31/540.46	c  539s |      18 |   562297 |   410452 |    54312     14 |     2115 |       36
542.61/542.71	c  541s |      18 |   563117 |   411252 |    54312     14 |     2115 |       36
544.61/544.79	c  543s |      18 |   563848 |   411952 |    54312     14 |     2115 |       36
546.91/547.06	c  545s |      18 |   564777 |   412852 |    54312     14 |     2115 |       36
549.11/549.26	c  547s |      18 |   565482 |   413552 |    54312     14 |     2115 |       36
551.31/551.45	c  550s |      18 |   566188 |   414252 |    54312     14 |     2115 |       36
553.51/553.62	c  552s |      18 |   566998 |   415052 |    54312     14 |     2115 |       36
555.61/555.78	c  554s |      18 |   567829 |   415852 |    54312     14 |     2115 |       36
557.71/557.85	c  556s |      18 |   568438 |   416452 |    54312     14 |     2115 |       36
560.00/560.15	c  558s |      18 |   569179 |   417152 |    54312     14 |     2115 |       36
562.01/562.18	c  560s |      18 |   569797 |   417752 |    54312     14 |     2115 |       36
564.00/564.18	c  562s |      18 |   570412 |   418352 |    54312     14 |     2115 |       36
566.00/566.19	c  564s |      18 |   571030 |   418952 |    54312     14 |     2115 |       36
568.20/568.34	c  566s |      18 |   571640 |   419552 |    54312     14 |     2115 |       36
570.50/570.63	c  569s |      18 |   571962 |   419852 |    54312     14 |     2115 |       36
572.70/572.83	c  571s |      18 |   572611 |   420452 |    54312     14 |     2115 |       36
574.70/574.89	c  573s |      18 |   573251 |   421052 |    54312     14 |     2115 |       36
577.10/577.21	c  575s |      18 |   573969 |   421752 |    54312     14 |     2115 |       36
579.30/579.49	c  578s |      18 |   574732 |   422452 |    54312     14 |     2115 |       36
581.60/581.73	c  580s |      18 |   575355 |   423052 |    54312     14 |     2115 |       36
583.80/583.94	c  582s |      18 |   575995 |   423652 |    54312     14 |     2115 |       36
585.90/586.02	c  584s |      18 |   576763 |   424352 |    54312     14 |     2115 |       36
588.20/588.39	c  587s |      18 |   577381 |   424952 |    54312     14 |     2115 |       36
592.41/592.51	c  591s |      18 |   577695 |   425252 |    54312     15 |     2115 |       36
594.40/594.54	c  593s |      18 |   578422 |   425952 |    54312     15 |     2115 |       36
596.40/596.59	c  595s |      18 |   579045 |   426552 |    54312     15 |     2115 |       36
598.50/598.63	c  597s |      18 |   580083 |   427552 |    54312     15 |     2115 |       36
601.30/601.40	c  600s |      18 |   581162 |   428552 |    54312     15 |     2115 |       36
603.30/603.43	c  602s |      18 |   582219 |   429552 |    54312     15 |     2115 |       36
605.50/605.60	c  604s |      18 |   583271 |   430552 |    54312     15 |     2115 |       36
607.60/607.76	c  606s |      18 |   584330 |   431552 |    54312     15 |     2115 |       36
609.80/609.94	c  608s |      18 |   585265 |   432452 |    54312     15 |     2115 |       36
612.00/612.12	c  610s |      18 |   586108 |   433252 |    54312     15 |     2115 |       36
614.00/614.19	c  612s |      18 |   587140 |   434152 |    54312     15 |     2115 |       36
616.10/616.21	c  614s |      18 |   588084 |   435052 |    54312     15 |     2115 |       36
618.30/618.47	c  617s |      18 |   589127 |   435952 |    54312     15 |     2115 |       36
620.40/620.53	c  619s |      18 |   589945 |   436752 |    54312     15 |     2115 |       36
622.40/622.55	c  621s |      18 |   590789 |   437552 |    54312     15 |     2115 |       36
625.20/625.35	c  623s |      18 |   591515 |   438252 |    54312     15 |     2115 |       36
627.30/627.48	c  626s |      18 |   592223 |   438952 |    54312     15 |     2115 |       36
629.50/629.64	c  628s |      18 |   593027 |   439752 |    54312     15 |     2115 |       36
631.60/631.77	c  630s |      18 |   593627 |   440352 |    54312     15 |     2115 |       36
633.69/633.81	c  632s |      18 |   594236 |   440952 |    54312     15 |     2115 |       36
635.70/635.87	c  634s |      18 |   595249 |   441952 |    59744     15 |     2115 |       36
637.69/637.89	c  636s |      18 |   596259 |   442952 |    59744     15 |     2115 |       36
639.99/640.17	c  638s |      18 |   597067 |   443752 |    59744     15 |     2115 |       36
642.19/642.31	c  640s |      18 |   597801 |   444452 |    59744     15 |     2115 |       36
642.30/642.41	c  641s |      19 |   597835 |   444482 |    59744     15 |     2115 |       36
648.09/648.27	c  646s |      19 |   607919 |   444582 |    59744     15 |     2115 |       36
650.19/650.31	c  648s |      19 |   614646 |   450382 |    59744     15 |     2115 |       36
652.19/652.37	c  651s |      19 |   618716 |   454182 |    59744     15 |     2115 |       36
654.19/654.39	c  653s |      19 |   622179 |   457482 |    59744     15 |     2115 |       36
656.29/656.46	c  655s |      19 |   625113 |   460282 |    59744     15 |     2115 |       36
658.29/658.47	c  657s |      19 |   627712 |   462782 |    59744     15 |     2115 |       36
660.39/660.54	c  659s |      19 |   629925 |   464882 |    59744     15 |     2115 |       36
662.39/662.57	c  661s |      19 |   631600 |   466482 |    59744     16 |     2115 |       36
664.40/664.58	c  663s |      19 |   633393 |   468182 |    59744     16 |     2115 |       36
666.50/666.66	c  665s |      19 |   635257 |   469982 |    59744     16 |     2115 |       36
668.59/668.73	c  667s |      19 |   637050 |   471682 |    59744     16 |     2115 |       36
670.59/670.78	c  669s |      19 |   638970 |   473482 |    59744     16 |     2115 |       36
672.69/672.80	c  671s |      19 |   640537 |   474982 |    59744     16 |     2115 |       36
674.69/674.80	c  673s |      19 |   641999 |   476382 |    59744     16 |     2115 |       36
676.69/676.81	c  675s |      19 |   643135 |   477482 |    59744     16 |     2115 |       36
678.70/678.85	c  677s |      19 |   644714 |   478982 |    59744     16 |     2115 |       36
680.80/680.91	c  679s |      19 |   646276 |   480482 |    59744     16 |     2115 |       36
682.79/682.94	c  681s |      19 |   667213 |   487182 |    59744     16 |     2115 |       36
684.79/684.97	c  683s |      19 |   672921 |   492582 |    59744     16 |     2115 |       36
686.79/686.99	c  685s |      19 |   677086 |   496382 |    59744     16 |     2115 |       36
688.89/689.00	c  687s |      19 |   680314 |   499382 |    59744     16 |     2115 |       36
690.89/691.04	c  689s |      19 |   682767 |   501582 |    59744     17 |     2115 |       36
693.00/693.15	c  691s |      19 |   685486 |   504082 |    59744     17 |     2115 |       36
695.10/695.22	c  693s |      19 |   687825 |   506182 |    59744     17 |     2115 |       36
697.19/697.31	c  695s |      19 |   689868 |   508082 |    59744     17 |     2115 |       36
699.19/699.36	c  698s |      19 |   691943 |   509982 |    59744     17 |     2115 |       36
701.19/701.38	c  700s |      19 |   693752 |   511682 |    59744     17 |     2115 |       36
703.29/703.41	c  702s |      19 |   695612 |   513382 |    59744     17 |     2115 |       36
705.39/705.50	c  704s |      19 |   697361 |   514982 |    59744     17 |     2115 |       36
707.39/707.58	c  706s |      19 |   698981 |   516482 |    59744     17 |     2115 |       36
709.39/709.58	c  708s |      19 |   700494 |   517882 |    59744     17 |     2115 |       36
711.49/711.60	c  710s |      19 |   701937 |   519182 |    59744     17 |     2115 |       36
713.49/713.69	c  712s |      19 |   703450 |   520582 |    59744     17 |     2115 |       36
715.59/715.75	c  714s |      19 |   705050 |   522082 |    59744     17 |     2115 |       36
717.58/717.75	c  716s |      19 |   706341 |   523282 |    59744     17 |     2115 |       36
719.78/719.90	c  718s |      19 |   707625 |   524482 |    59744     17 |     2115 |       36
721.88/722.01	c  720s |      19 |   708829 |   525582 |    59744     17 |     2115 |       36
723.88/724.06	c  722s |      19 |   709925 |   526582 |    59744     17 |     2115 |       36
726.08/726.24	c  724s |      19 |   711251 |   527782 |    59744     17 |     2115 |       36
728.19/728.32	c  726s |      19 |   712470 |   528882 |    59744     17 |     2115 |       36
730.29/730.42	c  729s |      19 |   713626 |   529882 |    59744     17 |     2115 |       36
732.28/732.48	c  731s |      19 |   714721 |   530882 |    59744     17 |     2115 |       36
734.48/734.68	c  733s |      19 |   715926 |   531982 |    59744     17 |     2115 |       36
736.58/736.77	c  735s |      19 |   716881 |   532882 |    59744     17 |     2115 |       36
738.68/738.84	c  737s |      19 |   717938 |   533882 |    59744     17 |     2115 |       36
742.48/742.63	c  741s |      19 |   719019 |   534882 |    59744     18 |     2115 |       36
744.97/745.14	c  743s |      19 |   719137 |   534982 |    59744     18 |     2115 |       36
747.08/747.26	c  745s |      19 |   719683 |   535482 |    59744     18 |     2115 |       36
749.09/749.26	c  747s |      19 |   721089 |   536782 |    59744     18 |     2115 |       36
751.19/751.34	c  749s |      19 |   722598 |   538182 |    59744     18 |     2115 |       36
753.28/753.50	c  752s |      19 |   723863 |   539382 |    59744     18 |     2115 |       36
755.38/755.51	c  754s |      19 |   725156 |   540582 |    59744     18 |     2115 |       36
757.48/757.60	c  756s |      19 |   726450 |   541782 |    59744     18 |     2115 |       36
759.48/759.61	c  758s |      19 |   727584 |   542882 |    59744     18 |     2115 |       36
761.58/761.76	c  760s |      19 |   728838 |   544082 |    59744     18 |     2115 |       36
763.68/763.89	c  762s |      19 |   730138 |   545282 |    59744     18 |     2115 |       36
765.78/765.96	c  764s |      19 |   731310 |   546382 |    59744     18 |     2115 |       36
767.88/768.05	c  766s |      19 |   732510 |   547482 |    59744     18 |     2115 |       36
769.98/770.15	c  768s |      19 |   733595 |   548482 |    59744     18 |     2115 |       36
772.18/772.39	c  771s |      19 |   734554 |   549382 |    59744     18 |     2115 |       36
774.28/774.45	c  773s |      19 |   735524 |   550282 |    59744     18 |     2115 |       36
776.48/776.67	c  775s |      19 |   736718 |   551382 |    59744     18 |     2115 |       36
778.68/778.88	c  777s |      19 |   737796 |   552382 |    59744     18 |     2115 |       36
780.88/781.00	c  779s |      19 |   738786 |   553282 |    59744     18 |     2115 |       36
782.87/783.06	c  781s |      19 |   739667 |   554082 |    59744     18 |     2115 |       36
784.87/785.09	c  783s |      19 |   740528 |   554882 |    59744     18 |     2115 |       36
787.17/787.32	c  785s |      19 |   741501 |   555782 |    59744     18 |     2115 |       36
789.17/789.36	c  788s |      19 |   742236 |   556482 |    59744     18 |     2115 |       36
791.17/791.39	c  790s |      19 |   743097 |   557282 |    59744     18 |     2115 |       36
793.27/793.45	c  792s |      19 |   743992 |   558082 |    59744     18 |     2115 |       36
795.28/795.49	c  794s |      19 |   744837 |   558882 |    59744     18 |     2115 |       36
797.48/797.68	c  796s |      19 |   745721 |   559682 |    59744     18 |     2115 |       36
799.77/799.90	c  798s |      19 |   746580 |   560482 |    59744     18 |     2115 |       36
801.77/801.95	c  800s |      19 |   747324 |   561182 |    59744     18 |     2115 |       36
803.76/803.99	c  802s |      19 |   748088 |   561882 |    59744     18 |     2115 |       36
806.06/806.20	c  804s |      19 |   748962 |   562682 |    59744     18 |     2115 |       36
808.06/808.26	c  806s |      19 |   749612 |   563282 |    59744     18 |     2115 |       36
810.36/810.55	c  809s |      19 |   750248 |   563882 |    59744     18 |     2115 |       36
812.46/812.66	c  811s |      19 |   751030 |   564582 |    59744     18 |     2115 |       36
814.56/814.72	c  813s |      19 |   751809 |   565282 |    59744     18 |     2115 |       36
816.76/816.94	c  815s |      19 |   752615 |   565982 |    59744     18 |     2115 |       36
819.06/819.20	c  817s |      19 |   753402 |   566682 |    59744     18 |     2115 |       36
821.26/821.40	c  820s |      19 |   754196 |   567382 |    59744     18 |     2115 |       36
823.55/823.73	c  822s |      19 |   754918 |   568082 |    59744     18 |     2115 |       36
825.85/826.02	c  824s |      19 |   755664 |   568782 |    59744     18 |     2115 |       36
830.85/831.04	c  829s |      19 |   756089 |   569182 |    59744     19 |     2115 |       36
834.45/834.64	c  833s |      19 |   757054 |   570082 |    59744     19 |     2115 |       36
836.74/836.94	c  835s |      19 |   757814 |   570782 |    59744     19 |     2115 |       36
838.84/839.00	c  837s |      19 |   758866 |   571782 |    59744     19 |     2115 |       36
840.94/841.10	c  839s |      19 |   760000 |   572882 |    59744     19 |     2115 |       36
842.94/843.16	c  841s |      19 |   761181 |   573982 |    59744     19 |     2115 |       36
845.04/845.29	c  843s |      19 |   762566 |   575282 |    59744     19 |     2115 |       36
847.14/847.39	c  846s |      19 |   763867 |   576482 |    59744     19 |     2115 |       36
849.34/849.53	c  848s |      19 |   765070 |   577582 |    59744     19 |     2115 |       36
851.95/852.14	c  850s |      19 |   765968 |   578382 |    59744     19 |     2115 |       36
854.05/854.20	c  852s |      19 |   766920 |   579282 |    59744     19 |     2115 |       36
856.04/856.29	c  854s |      19 |   767870 |   580182 |    59744     19 |     2115 |       36
858.14/858.34	c  856s |      19 |   768855 |   581082 |    59744     19 |     2115 |       36
860.24/860.43	c  859s |      19 |   770070 |   582182 |    59744     19 |     2115 |       36
862.35/862.51	c  861s |      19 |   771259 |   583282 |    59744     19 |     2115 |       36
864.55/864.74	c  863s |      19 |   772422 |   584382 |    59744     19 |     2115 |       36
866.65/866.86	c  865s |      19 |   773581 |   585382 |    59744     19 |     2115 |       36
868.64/868.88	c  867s |      19 |   774335 |   586082 |    59744     19 |     2115 |       36
870.84/871.08	c  869s |      19 |   775159 |   586882 |    59744     19 |     2115 |       36
873.14/873.33	c  871s |      19 |   776109 |   587782 |    59744     19 |     2115 |       36
875.24/875.47	c  874s |      19 |   776941 |   588582 |    59744     19 |     2115 |       36
877.44/877.63	c  876s |      19 |   777777 |   589382 |    59744     19 |     2115 |       36
879.54/879.76	c  878s |      19 |   778635 |   590182 |    59744     19 |     2115 |       36
881.64/881.87	c  880s |      19 |   779483 |   590982 |    59744     19 |     2115 |       36
883.63/883.89	c  882s |      19 |   780389 |   591782 |    59744     19 |     2115 |       36
885.83/886.02	c  884s |      19 |   781206 |   592582 |    59744     19 |     2115 |       36
887.83/888.07	c  886s |      19 |   781932 |   593282 |    59744     19 |     2115 |       36
891.83/892.02	c  890s |      19 |   782154 |   593482 |    59744     19 |     2115 |       36
893.83/894.03	c  892s |      19 |   782893 |   594182 |    59744     19 |     2115 |       36
895.83/896.04	c  894s |      19 |   783623 |   594882 |    59744     19 |     2115 |       36
897.93/898.15	c  896s |      19 |   784368 |   595582 |    59744     19 |     2115 |       36
900.03/900.22	c  898s |      19 |   785124 |   596282 |    59744     19 |     2115 |       36
902.33/902.50	c  901s |      19 |   785884 |   596982 |    59744     19 |     2115 |       36
904.53/904.77	c  903s |      19 |   786615 |   597682 |    59744     19 |     2115 |       36
906.63/906.82	c  905s |      19 |   787407 |   598382 |    59744     19 |     2115 |       36
908.63/908.88	c  907s |      19 |   788063 |   598982 |    59744     19 |     2115 |       36
910.73/910.93	c  909s |      19 |   788852 |   599682 |    59744     19 |     2115 |       36
912.83/913.05	c  911s |      19 |   789500 |   600282 |    59744     19 |     2115 |       36
915.22/915.45	c  914s |      19 |   790122 |   600882 |    59744     19 |     2115 |       36
917.42/917.62	c  916s |      19 |   790674 |   601382 |    59744     19 |     2115 |       36
919.62/919.82	c  918s |      19 |   791404 |   602082 |    59744     19 |     2115 |       36
921.82/922.08	c  920s |      19 |   792160 |   602782 |    59744     19 |     2115 |       36
924.02/924.26	c  922s |      19 |   792915 |   603482 |    59744     19 |     2115 |       36
928.51/928.70	c  927s |      19 |   793235 |   603782 |    59744     20 |     2115 |       36
930.52/930.72	c  929s |      19 |   794302 |   604782 |    59744     20 |     2115 |       36
932.51/932.75	c  931s |      19 |   795746 |   606082 |    59744     20 |     2115 |       36
934.61/934.82	c  933s |      19 |   797130 |   607382 |    59744     20 |     2115 |       36
942.11/942.38	c  941s |      19 |   798437 |   608582 |    59744     20 |     2115 |       36
944.11/944.39	c  943s |      19 |   799083 |   609182 |    59744     20 |     2115 |       36
946.31/946.58	c  945s |      19 |   800390 |   610382 |    59744     20 |     2115 |       36
948.41/948.60	c  947s |      19 |   801719 |   611582 |    59744     20 |     2115 |       36
950.41/950.66	c  949s |      19 |   803064 |   612782 |    59744     20 |     2115 |       36
952.42/952.70	c  951s |      19 |   804189 |   613782 |    59744     20 |     2115 |       36
954.61/954.88	c  953s |      19 |   805463 |   614882 |    59744     20 |     2115 |       36
956.81/957.00	c  955s |      19 |   806634 |   615982 |    59744     20 |     2115 |       36
958.81/959.02	c  957s |      19 |   807499 |   616782 |    59744     20 |     2115 |       36
960.81/961.04	c  959s |      19 |   808511 |   617682 |    59744     20 |     2115 |       36
962.80/963.09	c  961s |      19 |   809373 |   618482 |    59744     20 |     2115 |       36
964.90/965.19	c  963s |      19 |   810261 |   619282 |    59744     20 |     2115 |       36
967.00/967.26	c  965s |      19 |   811010 |   619982 |    59744     20 |     2115 |       36
969.20/969.45	c  968s |      19 |   811875 |   620782 |    59744     20 |     2115 |       36
971.30/971.51	c  970s |      19 |   812644 |   621482 |    59744     20 |     2115 |       36
973.40/973.68	c  972s |      19 |   813406 |   622182 |    59744     20 |     2115 |       36
975.60/975.84	c  974s |      19 |   814171 |   622882 |    59744     20 |     2115 |       36
977.99/978.26	c  976s |      19 |   814695 |   623382 |    59744     20 |     2115 |       36
980.89/981.14	c  979s |      19 |   815114 |   623782 |    59744     20 |     2115 |       36
982.89/983.16	c  981s |      19 |   815835 |   624482 |    59744     20 |     2115 |       36
985.09/985.37	c  984s |      19 |   816698 |   625282 |    59744     20 |     2115 |       36
987.29/987.53	c  986s |      19 |   817583 |   626082 |    59744     20 |     2115 |       36
989.49/989.77	c  988s |      19 |   818353 |   626782 |    59744     20 |     2115 |       36
991.59/991.86	c  990s |      19 |   819113 |   627482 |    59744     20 |     2115 |       36
993.68/993.92	c  992s |      19 |   819899 |   628182 |    59744     20 |     2115 |       36
995.78/996.02	c  994s |      19 |   820539 |   628782 |    59744     20 |     2115 |       36
997.98/998.21	c  996s |      19 |   821270 |   629482 |    59744     20 |     2115 |       36
1000.18/1000.46	c  999s |      19 |   822170 |   630282 |    59744     20 |     2115 |       36
1002.28/1002.58	c 1001s |      19 |   822952 |   630982 |    59744     20 |     2115 |       36
1004.38/1004.68	c 1003s |      19 |   823594 |   631582 |    59744     20 |     2115 |       36
1006.58/1006.88	c 1005s |      19 |   824460 |   632382 |    59744     20 |     2115 |       36
1008.88/1009.10	c 1007s |      19 |   825333 |   633182 |    59744     20 |     2115 |       36
1011.08/1011.39	c 1010s |      19 |   826205 |   633982 |    59744     20 |     2115 |       36
1013.18/1013.40	c 1012s |      19 |   826819 |   634582 |    59744     20 |     2115 |       36
1015.48/1015.73	c 1014s |      19 |   827607 |   635282 |    59744     20 |     2115 |       36
1017.68/1017.91	c 1016s |      19 |   828396 |   635982 |    59744     20 |     2115 |       36
1019.88/1020.17	c 1018s |      19 |   829131 |   636682 |    59744     20 |     2115 |       36
1022.07/1022.30	c 1020s |      19 |   829889 |   637382 |    59744     20 |     2115 |       36
1024.17/1024.43	c 1023s |      19 |   830559 |   637982 |    59744     20 |     2115 |       36
1029.57/1029.85	c 1028s |      19 |   830990 |   638382 |    59744     21 |     2115 |       36
1031.68/1031.90	c 1030s |      19 |   832077 |   639382 |    59744     21 |     2115 |       36
1035.08/1035.31	c 1033s |      19 |   832713 |   639982 |    59744     21 |     2115 |       36
1037.28/1037.56	c 1036s |      19 |   833805 |   640982 |    59744     21 |     2115 |       36
1039.38/1039.69	c 1038s |      19 |   835073 |   642182 |    59744     21 |     2115 |       36
1041.58/1041.86	c 1040s |      19 |   836377 |   643382 |    59744     21 |     2115 |       36
1043.68/1043.93	c 1042s |      19 |   837427 |   644382 |    59744     21 |     2115 |       36
1045.88/1046.16	c 1044s |      19 |   838482 |   645382 |    59744     21 |     2115 |       36
1047.97/1048.28	c 1046s |      19 |   839557 |   646382 |    59744     21 |     2115 |       36
1050.28/1050.52	c 1049s |      19 |   840747 |   647482 |    59744     21 |     2115 |       36
1052.47/1052.73	c 1051s |      19 |   841836 |   648482 |    59744     21 |     2115 |       36
1054.57/1054.85	c 1053s |      19 |   842689 |   649282 |    59744     21 |     2115 |       36
1056.67/1056.97	c 1055s |      19 |   843686 |   650182 |    59744     21 |     2115 |       36
1058.77/1059.00	c 1057s |      19 |   844543 |   650982 |    59744     21 |     2115 |       36
1060.87/1061.19	c 1059s |      19 |   845414 |   651782 |    59744     21 |     2115 |       36
1062.96/1063.24	c 1061s |      19 |   846287 |   652582 |    59744     21 |     2115 |       36
1065.06/1065.38	c 1064s |      19 |   847155 |   653382 |    59744     21 |     2115 |       36
1067.26/1067.55	c 1066s |      19 |   848019 |   654182 |    59744     21 |     2115 |       36
1069.36/1069.63	c 1068s |      19 |   848896 |   654982 |    59744     21 |     2115 |       36
1071.46/1071.79	c 1070s |      19 |   849900 |   655882 |    59744     21 |     2115 |       36
1073.76/1074.07	c 1072s |      19 |   850521 |   656482 |    59744     21 |     2115 |       36
1076.86/1077.16	c 1075s |      19 |   851038 |   656982 |    59744     21 |     2115 |       36
1078.86/1079.17	c 1077s |      19 |   851794 |   657682 |    59744     21 |     2115 |       36
1081.06/1081.34	c 1079s |      19 |   852881 |   658682 |    59744     21 |     2115 |       36
1083.26/1083.51	c 1082s |      19 |   853848 |   659582 |    59744     21 |     2115 |       36
1085.46/1085.71	c 1084s |      19 |   854753 |   660382 |    59744     21 |     2115 |       36
1092.94/1093.29	c 1091s |      19 |   855197 |   660782 |    59744     21 |     2115 |       36
1095.24/1095.54	c 1094s |      19 |   856235 |   661682 |    59744     21 |     2115 |       36
1097.44/1097.79	c 1096s |      19 |   857114 |   662482 |    65719     21 |     2115 |       36
1099.54/1099.87	c 1098s |      19 |   858013 |   663282 |    65719     21 |     2115 |       36
1101.54/1101.89	c 1100s |      19 |   858935 |   664082 |    65719     21 |     2115 |       36
1103.64/1103.92	c 1102s |      19 |   859698 |   664782 |    65719     21 |     2115 |       36
1105.94/1106.20	c 1104s |      19 |   860456 |   665482 |    65719     21 |     2115 |       36
1108.04/1108.36	c 1107s |      19 |   861102 |   666082 |    65719     21 |     2115 |       36
1110.24/1110.56	c 1109s |      19 |   861767 |   666682 |    65719     21 |     2115 |       36
1110.75/1111.08	c 1109s |      20 |   861929 |   666827 |    65719     21 |     2115 |       36
1113.65/1113.90	c 1112s |      20 |   863269 |   666927 |    65719     21 |     2115 |       36
1115.65/1115.95	c 1114s |      20 |   870914 |   672827 |    65719     22 |     2115 |       36
1117.65/1117.98	c 1116s |      20 |   876686 |   677227 |    65719     22 |     2115 |       36
1119.75/1120.01	c 1118s |      20 |   880778 |   680427 |    65719     22 |     2115 |       36
1121.75/1122.03	c 1120s |      20 |   884327 |   683127 |    65719     22 |     2115 |       36
1123.75/1124.05	c 1122s |      20 |   888228 |   686227 |    65719     22 |     2115 |       36
1125.84/1126.16	c 1124s |      20 |   891994 |   689427 |    65719     22 |     2115 |       36
1127.94/1128.21	c 1126s |      20 |   895550 |   692127 |    65719     22 |     2115 |       36
1129.94/1130.22	c 1128s |      20 |   899068 |   694827 |    65719     22 |     2115 |       36
1131.94/1132.23	c 1130s |      20 |   902059 |   697027 |    65719     22 |     2115 |       36
1133.95/1134.29	c 1132s |      20 |   904757 |   699227 |    65719     22 |     2115 |       36
1136.05/1136.33	c 1134s |      20 |   907231 |   701227 |    65719     22 |     2115 |       36
1138.04/1138.33	c 1136s |      20 |   910007 |   703227 |    65719     22 |     2115 |       36
1140.14/1140.40	c 1139s |      20 |   912062 |   704627 |    65719     22 |     2115 |       36
1142.14/1142.42	c 1141s |      20 |   913653 |   705927 |    65719     22 |     2115 |       36
1144.24/1144.56	c 1143s |      20 |   915348 |   707227 |    65719     22 |     2115 |       36
1146.44/1146.75	c 1145s |      20 |   916482 |   708227 |    65719     23 |     2115 |       36
1149.94/1150.30	c 1148s |      20 |   917861 |   709227 |    65719     23 |     2115 |       36
1152.04/1152.39	c 1151s |      20 |   920154 |   711227 |    65719     23 |     2115 |       36
1154.04/1154.39	c 1153s |      20 |   922493 |   713227 |    65719     23 |     2115 |       36
1156.24/1156.51	c 1155s |      20 |   924807 |   715127 |    65719     23 |     2115 |       36
1158.24/1158.55	c 1157s |      20 |   927052 |   717027 |    65719     23 |     2115 |       36
1160.34/1160.61	c 1159s |      20 |   929176 |   718727 |    65719     23 |     2115 |       36
1162.33/1162.69	c 1161s |      20 |   931064 |   720227 |    65719     23 |     2115 |       36
1164.43/1164.80	c 1163s |      20 |   932817 |   721727 |    65719     23 |     2115 |       36
1166.53/1166.88	c 1165s |      20 |   934601 |   723227 |    65719     23 |     2115 |       36
1168.63/1168.93	c 1167s |      20 |   936235 |   724627 |    65719     23 |     2115 |       36
1170.63/1170.99	c 1169s |      20 |   937782 |   725927 |    65719     23 |     2115 |       36
1172.83/1173.16	c 1171s |      20 |   939341 |   727227 |    65719     23 |     2115 |       36
1175.03/1175.33	c 1173s |      20 |   940784 |   728427 |    65719     23 |     2115 |       36
1177.13/1177.42	c 1176s |      20 |   942315 |   729527 |    65719     23 |     2115 |       36
1179.13/1179.43	c 1178s |      20 |   943577 |   730627 |    65719     23 |     2115 |       36
1181.33/1181.64	c 1180s |      20 |   944832 |   731727 |    65719     23 |     2115 |       36
1183.33/1183.68	c 1182s |      20 |   946152 |   732827 |    65719     23 |     2115 |       36
1185.42/1185.80	c 1184s |      20 |   947498 |   733927 |    65719     23 |     2115 |       36
1187.62/1187.93	c 1186s |      20 |   948670 |   734927 |    65719     23 |     2115 |       36
1189.62/1189.95	c 1188s |      20 |   952469 |   737227 |    65719     23 |     2115 |       36
1191.62/1191.95	c 1190s |      20 |   956158 |   739727 |    65719     23 |     2115 |       36
1193.62/1193.97	c 1192s |      20 |   958316 |   741127 |    65719     23 |     2115 |       36
1197.12/1197.43	c 1196s |      20 |   959774 |   742027 |    65719     24 |     2115 |       36
1199.12/1199.49	c 1198s |      20 |   962198 |   743627 |    65719     24 |     2115 |       36
1201.21/1201.52	c 1200s |      20 |   966388 |   746527 |    65719     24 |     2115 |       36
1203.22/1203.57	c 1202s |      20 |   971085 |   749427 |    65719     24 |     2115 |       36
1205.32/1205.60	c 1204s |      20 |   976078 |   752727 |    65719     24 |     2115 |       36
1207.31/1207.62	c 1206s |      20 |   981423 |   756127 |    65719     24 |     2115 |       36
1209.51/1209.87	c 1208s |      20 |   984283 |   757927 |    65719     24 |     2115 |       36
1211.61/1211.92	c 1210s |      20 |   987884 |   760227 |    65719     24 |     2115 |       36
1213.60/1213.93	c 1212s |      20 |   991534 |   762627 |    65719     24 |     2115 |       36
1215.60/1215.97	c 1214s |      20 |   995466 |   765227 |    65719     24 |     2115 |       36
1217.80/1218.11	c 1216s |      20 |   998506 |   767227 |    65719     24 |     2115 |       36
1219.80/1220.14	c 1218s |      20 |  1001745 |   769427 |    65719     24 |     2115 |       36
1221.81/1222.18	c 1220s |      20 |  1004659 |   771427 |    65719     24 |     2115 |       36
1223.91/1224.23	c 1222s |      20 |  1008087 |   773627 |    65719     24 |     2115 |       36
1225.91/1226.30	c 1224s |      20 |  1011516 |   776027 |    65719     24 |     2115 |       36
1231.41/1231.70	c 1230s |      20 |  1013689 |   777427 |    65719     25 |     2115 |       36
1238.60/1238.95	c 1237s |      20 |  1013953 |   777527 |    65719     25 |     2115 |       36
1242.51/1242.83	c 1241s |      20 |  1015527 |   778527 |    65719     25 |     2115 |       36
1244.71/1245.04	c 1243s |      20 |  1017958 |   780127 |    65719     25 |     2115 |       36
1246.71/1247.04	c 1245s |      20 |  1021595 |   783227 |    65719     25 |     2115 |       36
1248.80/1249.11	c 1247s |      20 |  1024897 |   785727 |    65719     25 |     2115 |       36
1250.80/1251.14	c 1249s |      20 |  1027230 |   786927 |    65719     25 |     2115 |       36
1252.80/1253.18	c 1251s |      20 |  1029537 |   788427 |    65719     25 |     2115 |       36
1255.00/1255.32	c 1253s |      20 |  1031557 |   789427 |    65719     25 |     2115 |       36
1257.01/1257.38	c 1256s |      20 |  1033129 |   790227 |    65719     25 |     2115 |       36
1259.10/1259.43	c 1258s |      20 |  1035036 |   791227 |    65719     25 |     2115 |       36
1261.30/1261.63	c 1260s |      20 |  1037164 |   792427 |    65719     25 |     2115 |       36
1263.30/1263.64	c 1262s |      20 |  1038398 |   793127 |    65719     25 |     2115 |       36
1265.30/1265.67	c 1264s |      20 |  1039645 |   793927 |    65719     25 |     2115 |       36
1267.40/1267.76	c 1266s |      20 |  1041371 |   794927 |    65719     25 |     2115 |       36
1269.50/1269.81	c 1268s |      20 |  1043550 |   796227 |    65719     25 |     2115 |       36
1271.60/1271.96	c 1270s |      20 |  1045760 |   797627 |    65719     25 |     2115 |       36
1273.60/1273.99	c 1272s |      20 |  1047064 |   798427 |    65719     25 |     2115 |       36
1275.70/1276.08	c 1274s |      20 |  1048240 |   799327 |    65719     25 |     2115 |       36
1277.79/1278.14	c 1276s |      20 |  1052218 |   802827 |    65719     25 |     2115 |       36
1279.79/1280.19	c 1278s |      20 |  1056031 |   806127 |    65719     25 |     2115 |       36
1282.19/1282.50	c 1281s |      20 |  1058275 |   808027 |    65719     25 |     2115 |       36
1284.19/1284.50	c 1283s |      20 |  1061373 |   810827 |    65719     25 |     2115 |       36
1286.19/1286.53	c 1285s |      20 |  1063649 |   812927 |    65719     26 |     2115 |       36
1288.29/1288.65	c 1287s |      20 |  1066010 |   815127 |    65719     26 |     2115 |       36
1296.49/1296.88	c 1295s |      20 |  1067799 |   816827 |    65719     26 |     2115 |       36
1298.79/1299.16	c 1297s |      20 |  1069776 |   818327 |    65719     26 |     2115 |       36
1300.88/1301.21	c 1299s |      20 |  1071302 |   819627 |    65719     26 |     2115 |       36
1302.88/1303.27	c 1301s |      20 |  1073447 |   821427 |    65719     26 |     2115 |       36
1304.99/1305.35	c 1303s |      20 |  1075264 |   822927 |    65719     26 |     2115 |       36
1307.39/1307.78	c 1306s |      20 |  1077768 |   824927 |    65719     26 |     2115 |       36
1309.49/1309.82	c 1308s |      20 |  1079762 |   826627 |    65719     26 |     2115 |       36
1311.58/1311.98	c 1310s |      20 |  1080396 |   827127 |    65719     26 |     2115 |       36
1313.68/1314.00	c 1312s |      20 |  1080534 |   827227 |    65719     26 |     2115 |       36
1315.68/1316.01	c 1314s |      20 |  1082177 |   828327 |    65719     26 |     2115 |       36
1317.68/1318.08	c 1316s |      20 |  1087371 |   830827 |    65719     26 |     2115 |       36
1319.69/1320.09	c 1318s |      20 |  1093686 |   833427 |    65719     26 |     2115 |       36
1321.78/1322.17	c 1320s |      20 |  1098615 |   835827 |    65719     26 |     2115 |       36
1323.78/1324.19	c 1322s |      20 |  1103357 |   837927 |    65719     26 |     2115 |       36
1325.88/1326.21	c 1324s |      20 |  1106406 |   840027 |    65719     26 |     2115 |       36
1327.98/1328.31	c 1326s |      20 |  1108727 |   841927 |    65719     26 |     2115 |       36
1330.08/1330.40	c 1329s |      20 |  1110360 |   843327 |    65719     26 |     2115 |       36
1332.27/1332.61	c 1331s |      20 |  1111957 |   844727 |    65719     26 |     2115 |       36
1334.27/1334.65	c 1333s |      20 |  1113080 |   845627 |    65719     27 |     2115 |       36
1337.48/1337.89	c 1336s |      20 |  1113448 |   845927 |    65719     27 |     2115 |       36
1339.58/1339.91	c 1338s |      20 |  1114443 |   846727 |    65719     27 |     2115 |       36
1341.58/1341.91	c 1340s |      20 |  1116134 |   848127 |    65719     27 |     2115 |       36
1345.08/1345.49	c 1344s |      20 |  1116291 |   848227 |    65719     27 |     2115 |       36
1347.18/1347.51	c 1346s |      20 |  1119508 |   849927 |    65719     27 |     2115 |       36
1349.17/1349.56	c 1348s |      20 |  1122257 |   851427 |    65719     27 |     2115 |       36
1351.17/1351.58	c 1350s |      20 |  1124349 |   853227 |    65719     27 |     2115 |       36
1353.27/1353.64	c 1352s |      20 |  1128364 |   855327 |    65719     27 |     2115 |       36
1355.27/1355.65	c 1354s |      20 |  1132533 |   857527 |    65719     27 |     2115 |       36
1357.27/1357.68	c 1356s |      20 |  1136667 |   859727 |    65719     27 |     2115 |       36
1359.38/1359.73	c 1358s |      20 |  1140651 |   862027 |    65719     27 |     2115 |       36
1361.37/1361.80	c 1360s |      20 |  1144094 |   863927 |    65719     27 |     2115 |       36
1363.47/1363.87	c 1362s |      20 |  1146404 |   865327 |    65719     27 |     2115 |       36
1365.47/1365.89	c 1364s |      20 |  1148561 |   866527 |    65719     27 |     2115 |       36
1367.57/1367.95	c 1366s |      20 |  1151728 |   868327 |    65719     27 |     2115 |       36
1369.67/1370.00	c 1368s |      20 |  1153871 |   869627 |    65719     27 |     2115 |       36
1371.67/1372.05	c 1370s |      20 |  1155477 |   870727 |    65719     27 |     2115 |       36
1373.67/1374.07	c 1372s |      20 |  1157010 |   871727 |    65719     27 |     2115 |       36
1375.77/1376.17	c 1374s |      20 |  1159125 |   873027 |    65719     27 |     2115 |       36
1377.77/1378.17	c 1376s |      20 |  1161434 |   874527 |    65719     27 |     2115 |       36
1379.77/1380.20	c 1378s |      20 |  1163456 |   875627 |    65719     27 |     2115 |       36
1381.87/1382.28	c 1380s |      20 |  1165773 |   877027 |    65719     27 |     2115 |       36
1383.97/1384.34	c 1382s |      20 |  1167652 |   878027 |    65719     27 |     2115 |       36
1385.97/1386.37	c 1385s |      20 |  1169764 |   879127 |    65719     27 |     2115 |       36
1388.06/1388.40	c 1387s |      20 |  1171389 |   879927 |    65719     27 |     2115 |       36
1390.86/1391.28	c 1389s |      20 |  1172564 |   880627 |    65719     28 |     2115 |       36
1392.96/1393.35	c 1392s |      20 |  1174413 |   881627 |    65719     28 |     2115 |       36
1394.96/1395.38	c 1394s |      20 |  1176541 |   882927 |    65719     28 |     2115 |       36
1397.16/1397.51	c 1396s |      20 |  1179320 |   884527 |    65719     28 |     2115 |       36
1399.98/1400.36	c 1399s |      20 |  1181025 |   885527 |    65719     28 |     2115 |       36
1401.97/1402.38	c 1401s |      20 |  1183736 |   887127 |    65719     28 |     2115 |       36
1404.17/1404.55	c 1403s |      20 |  1185577 |   888227 |    65719     28 |     2115 |       36
1406.27/1406.67	c 1405s |      20 |  1187367 |   889327 |    65719     28 |     2115 |       36
1408.27/1408.68	c 1407s |      20 |  1189063 |   890427 |    65719     28 |     2115 |       36
1410.37/1410.75	c 1409s |      20 |  1193060 |   893927 |    65719     28 |     2115 |       36
1412.46/1412.81	c 1411s |      20 |  1196089 |   896427 |    65719     28 |     2115 |       36
1415.96/1416.38	c 1415s |      20 |  1196680 |   896927 |    65719     28 |     2115 |       36
1418.06/1418.44	c 1417s |      20 |  1198807 |   898327 |    65719     28 |     2115 |       36
1420.06/1420.48	c 1419s |      20 |  1201141 |   899927 |    65719     28 |     2115 |       36
1422.16/1422.53	c 1421s |      20 |  1203604 |   902027 |    65719     28 |     2115 |       36
1424.17/1424.58	c 1423s |      20 |  1206194 |   904227 |    65719     28 |     2115 |       36
1426.26/1426.67	c 1425s |      20 |  1208344 |   906027 |    65719     28 |     2115 |       36
1428.36/1428.74	c 1427s |      20 |  1210331 |   907727 |    65719     28 |     2115 |       36
1430.46/1430.88	c 1429s |      20 |  1212627 |   909527 |    65719     28 |     2115 |       36
1432.56/1432.90	c 1431s |      20 |  1214703 |   911327 |    65719     28 |     2115 |       36
1434.66/1435.01	c 1433s |      20 |  1217028 |   913427 |    65719     28 |     2115 |       36
1436.66/1437.06	c 1435s |      20 |  1218706 |   914927 |    65719     29 |     2115 |       36
1438.76/1439.14	c 1437s |      20 |  1220098 |   916127 |    65719     29 |     2115 |       36
1440.76/1441.16	c 1439s |      20 |  1223637 |   919227 |    65719     29 |     2115 |       36
1454.25/1454.65	c 1453s |      20 |  1225940 |   921127 |    65719     29 |     2115 |       36
1456.35/1456.71	c 1455s |      20 |  1230185 |   924227 |    65719     29 |     2115 |       36
1458.45/1458.80	c 1457s |      20 |  1232950 |   926327 |    65719     29 |     2115 |       36
1460.46/1460.85	c 1459s |      20 |  1236005 |   928727 |    65719     29 |     2115 |       36
1462.45/1462.89	c 1461s |      20 |  1238372 |   930527 |    65719     29 |     2115 |       36
1464.55/1464.91	c 1463s |      20 |  1239823 |   931827 |    65719     29 |     2115 |       36
1466.65/1467.04	c 1465s |      20 |  1241353 |   933127 |    65719     29 |     2115 |       36
1468.75/1469.12	c 1467s |      20 |  1242989 |   934627 |    65719     29 |     2115 |       36
1470.75/1471.16	c 1469s |      20 |  1245045 |   936327 |    65719     29 |     2115 |       36
1472.75/1473.17	c 1471s |      20 |  1247177 |   937927 |    65719     29 |     2115 |       36
1474.75/1475.19	c 1473s |      20 |  1248853 |   939327 |    65719     29 |     2115 |       36
1476.95/1477.33	c 1475s |      20 |  1250524 |   940727 |    65719     29 |     2115 |       36
1478.95/1479.37	c 1478s |      20 |  1251660 |   941727 |    65719     29 |     2115 |       36
1481.05/1481.40	c 1480s |      20 |  1253456 |   943227 |    65719     29 |     2115 |       36
1483.05/1483.42	c 1482s |      20 |  1255009 |   944427 |    65719     29 |     2115 |       36
1485.15/1485.53	c 1484s |      20 |  1256182 |   945527 |    65719     29 |     2115 |       36
1487.15/1487.56	c 1486s |      20 |  1257212 |   946427 |    65719     29 |     2115 |       36
1489.24/1489.61	c 1488s |      20 |  1258459 |   947427 |    65719     29 |     2115 |       36
1491.25/1491.68	c 1490s |      20 |  1259563 |   948427 |    65719     29 |     2115 |       36
1493.45/1493.87	c 1492s |      20 |  1260308 |   949127 |    65719     29 |     2115 |       36
1496.64/1497.04	c 1495s |      20 |  1260669 |   949427 |    65719     30 |     2115 |       36
1498.74/1499.10	c 1497s |      20 |  1261646 |   950127 |    65719     30 |     2115 |       36
1500.74/1501.13	c 1499s |      20 |  1262990 |   951227 |    65719     30 |     2115 |       36
1502.84/1503.23	c 1501s |      20 |  1263971 |   952027 |    65719     30 |     2115 |       36
1504.84/1505.23	c 1503s |      20 |  1265235 |   953027 |    65719     30 |     2115 |       36
1507.54/1507.91	c 1506s |      20 |  1266808 |   954227 |    65719     30 |     2115 |       36
1509.54/1509.92	c 1508s |      20 |  1267987 |   955227 |    65719     30 |     2115 |       36
1511.64/1512.04	c 1510s |      20 |  1269591 |   956627 |    65719     30 |     2115 |       36
1513.64/1514.09	c 1512s |      20 |  1271204 |   958127 |    65719     30 |     2115 |       36
1515.84/1516.26	c 1514s |      20 |  1272948 |   959627 |    65719     30 |     2115 |       36
1517.94/1518.30	c 1516s |      20 |  1274327 |   960827 |    65719     30 |     2115 |       36
1519.95/1520.33	c 1518s |      20 |  1275858 |   962127 |    65719     30 |     2115 |       36
1521.94/1522.35	c 1520s |      20 |  1277061 |   963127 |    65719     30 |     2115 |       36
1524.14/1524.54	c 1523s |      20 |  1278296 |   964227 |    65719     30 |     2115 |       36
1526.34/1526.72	c 1525s |      20 |  1279402 |   965227 |    65719     30 |     2115 |       36
1528.44/1528.86	c 1527s |      20 |  1280405 |   966127 |    65719     30 |     2115 |       36
1530.54/1530.91	c 1529s |      20 |  1281209 |   966827 |    65719     30 |     2115 |       36
1532.64/1533.08	c 1531s |      20 |  1281973 |   967527 |    65719     30 |     2115 |       36
1534.74/1535.15	c 1533s |      20 |  1282764 |   968227 |    65719     30 |     2115 |       36
1536.94/1537.32	c 1535s |      20 |  1283531 |   968927 |    65719     30 |     2115 |       36
1539.14/1539.53	c 1538s |      20 |  1284403 |   969727 |    65719     30 |     2115 |       36
1541.24/1541.68	c 1540s |      20 |  1285291 |   970527 |    65719     30 |     2115 |       36
1543.34/1543.76	c 1542s |      20 |  1286131 |   971327 |    65719     30 |     2115 |       36
1545.54/1545.96	c 1544s |      20 |  1286857 |   972027 |    65719     30 |     2115 |       36
1547.64/1548.09	c 1546s |      20 |  1287758 |   972827 |    65719     30 |     2115 |       36
1549.84/1550.23	c 1548s |      20 |  1288417 |   973427 |    65719     30 |     2115 |       36
1552.04/1552.49	c 1551s |      20 |  1289210 |   974127 |    65719     30 |     2115 |       36
1554.14/1554.50	c 1553s |      20 |  1289883 |   974727 |    65719     30 |     2115 |       36
1556.14/1556.51	c 1555s |      20 |  1290677 |   975427 |    65719     30 |     2115 |       36
1558.44/1558.81	c 1557s |      20 |  1291476 |   976127 |    65719     30 |     2115 |       36
1560.64/1561.09	c 1559s |      20 |  1292255 |   976827 |    65719     30 |     2115 |       36
1562.84/1563.21	c 1561s |      20 |  1293047 |   977527 |    65719     30 |     2115 |       36
1565.04/1565.47	c 1564s |      20 |  1293828 |   978227 |    65719     30 |     2115 |       36
1567.14/1567.51	c 1566s |      20 |  1294467 |   978827 |    65719     30 |     2115 |       36
1569.13/1569.56	c 1568s |      20 |  1295006 |   979327 |    65719     30 |     2115 |       36
1571.43/1571.90	c 1570s |      20 |  1295767 |   980027 |    65719     30 |     2115 |       36
1573.63/1574.05	c 1572s |      20 |  1296405 |   980627 |    65719     30 |     2115 |       36
1575.94/1576.34	c 1574s |      20 |  1297172 |   981327 |    65719     30 |     2115 |       36
1578.24/1578.64	c 1577s |      20 |  1298100 |   982127 |    65719     30 |     2115 |       36
1580.23/1580.68	c 1579s |      20 |  1298777 |   982727 |    65719     30 |     2115 |       36
1582.54/1582.91	c 1581s |      20 |  1299471 |   983327 |    65719     30 |     2115 |       36
1590.73/1591.12	c 1589s |      20 |  1300188 |   983927 |    65719     31 |     2115 |       36
1598.53/1598.95	c 1597s |      20 |  1301026 |   984627 |    65719     31 |     2115 |       36
1600.73/1601.13	c 1599s |      20 |  1302394 |   985827 |    65719     31 |     2115 |       36
1602.73/1603.15	c 1601s |      20 |  1303920 |   987127 |    65719     31 |     2115 |       36
1604.93/1605.31	c 1603s |      20 |  1305286 |   988327 |    65719     31 |     2115 |       36
1606.93/1607.39	c 1606s |      20 |  1305876 |   988827 |    65719     31 |     2115 |       36
1609.03/1609.40	c 1608s |      20 |  1307073 |   989927 |    65719     31 |     2115 |       36
1611.02/1611.48	c 1610s |      20 |  1308402 |   991127 |    65719     31 |     2115 |       36
1613.12/1613.58	c 1612s |      20 |  1309687 |   992327 |    65719     31 |     2115 |       36
1615.32/1615.70	c 1614s |      20 |  1310972 |   993527 |    72291     31 |     2115 |       36
1617.32/1617.79	c 1616s |      20 |  1312293 |   994727 |    72291     31 |     2115 |       36
1619.42/1619.87	c 1618s |      20 |  1313464 |   995827 |    72291     31 |     2115 |       36
1621.62/1622.01	c 1620s |      20 |  1314766 |   997027 |    72291     31 |     2115 |       36
1623.62/1624.08	c 1622s |      20 |  1315833 |   998027 |    72291     31 |     2115 |       36
1628.63/1629.02	c 1627s |      20 |  1316395 |   998527 |    72291     31 |     2115 |       36
1630.83/1631.26	c 1629s |      20 |  1317951 |  1000027 |    72291     31 |     2115 |       36
1632.92/1633.34	c 1631s |      21 |  1318358 |  1000345 |    72291     31 |     2115 |       36
1639.22/1639.67	c 1638s |      21 |  1319526 |  1000445 |    72291     31 |     2115 |       36
1641.32/1641.70	c 1640s |      21 |  1323850 |  1003945 |    72291     31 |     2115 |       36
1644.52/1644.97	c 1643s |      21 |  1325629 |  1004945 |    72291     31 |     2115 |       36
1646.62/1647.01	c 1645s |      21 |  1335766 |  1007845 |    72291     31 |     2115 |       36
1648.63/1649.02	c 1647s |      21 |  1339916 |  1011745 |    72291     31 |     2115 |       36
1650.62/1651.06	c 1649s |      21 |  1343370 |  1015045 |    72291     31 |     2115 |       36
1652.62/1653.09	c 1651s |      21 |  1346440 |  1017845 |    72291     31 |     2115 |       36
1654.72/1655.16	c 1653s |      21 |  1349573 |  1020845 |    72291     31 |     2115 |       36
1656.82/1657.24	c 1655s |      21 |  1352600 |  1023645 |    72291     31 |     2115 |       36
1658.82/1659.26	c 1657s |      21 |  1355605 |  1026545 |    72291     31 |     2115 |       36
1660.82/1661.27	c 1659s |      21 |  1359024 |  1029645 |    72291     31 |     2115 |       36
1662.83/1663.29	c 1661s |      21 |  1361304 |  1031745 |    72291     32 |     2115 |       36
1664.92/1665.37	c 1664s |      21 |  1362916 |  1033245 |    72291     32 |     2115 |       36
1667.02/1667.40	c 1666s |      21 |  1364939 |  1034945 |    72291     32 |     2115 |       36
1669.12/1669.51	c 1668s |      21 |  1366406 |  1036345 |    72291     32 |     2115 |       36
1671.12/1671.55	c 1670s |      21 |  1368097 |  1037945 |    72291     32 |     2115 |       36
1673.22/1673.62	c 1672s |      21 |  1370311 |  1039745 |    72291     32 |     2115 |       36
1675.22/1675.64	c 1674s |      21 |  1371910 |  1041145 |    72291     32 |     2115 |       36
1677.22/1677.64	c 1676s |      21 |  1373397 |  1042445 |    72291     32 |     2115 |       36
1679.32/1679.72	c 1678s |      21 |  1374781 |  1043645 |    72291     32 |     2115 |       36
1681.42/1681.86	c 1680s |      21 |  1376203 |  1044845 |    72291     32 |     2115 |       36
1683.52/1683.96	c 1682s |      21 |  1377618 |  1046045 |    72291     32 |     2115 |       36
1685.71/1686.10	c 1684s |      21 |  1379511 |  1047545 |    72291     32 |     2115 |       36
1687.81/1688.20	c 1686s |      21 |  1381699 |  1049445 |    72291     32 |     2115 |       36
1689.81/1690.28	c 1688s |      21 |  1383225 |  1050745 |    72291     32 |     2115 |       36
1692.01/1692.43	c 1691s |      21 |  1384962 |  1052145 |    72291     32 |     2115 |       36
1694.01/1694.47	c 1693s |      21 |  1386544 |  1053445 |    72291     32 |     2115 |       36
1696.01/1696.49	c 1695s |      21 |  1388027 |  1054545 |    72291     32 |     2115 |       36
1698.21/1698.62	c 1697s |      21 |  1389996 |  1056245 |    72291     32 |     2115 |       36
1700.22/1700.63	c 1699s |      21 |  1392085 |  1058145 |    72291     32 |     2115 |       36
1702.31/1702.77	c 1701s |      21 |  1393728 |  1059445 |    72291     32 |     2115 |       36
1704.41/1704.81	c 1703s |      21 |  1395068 |  1060545 |    72291     32 |     2115 |       36
1706.51/1706.91	c 1705s |      21 |  1396741 |  1061745 |    72291     32 |     2115 |       36
1708.61/1709.05	c 1707s |      21 |  1398172 |  1062945 |    72291     32 |     2115 |       36
1710.71/1711.11	c 1709s |      21 |  1399720 |  1064245 |    72291     32 |     2115 |       36
1712.71/1713.19	c 1711s |      21 |  1401204 |  1065445 |    72291     32 |     2115 |       36
1714.91/1715.34	c 1713s |      21 |  1402830 |  1066645 |    72291     32 |     2115 |       36
1717.01/1717.45	c 1716s |      21 |  1404291 |  1067845 |    72291     32 |     2115 |       36
1719.11/1719.54	c 1718s |      21 |  1405537 |  1068945 |    72291     32 |     2115 |       36
1721.22/1721.63	c 1720s |      21 |  1406952 |  1070145 |    72291     32 |     2115 |       36
1725.61/1726.09	c 1724s |      21 |  1408014 |  1071045 |    72291     33 |     2115 |       36
1727.71/1728.11	c 1726s |      21 |  1409275 |  1072045 |    72291     33 |     2115 |       36
1729.70/1730.19	c 1728s |      21 |  1410696 |  1073145 |    72291     33 |     2115 |       36
1732.00/1732.50	c 1731s |      21 |  1412561 |  1074745 |    72291     33 |     2115 |       36
1734.10/1734.55	c 1733s |      21 |  1414486 |  1076345 |    72291     33 |     2115 |       36
1736.10/1736.55	c 1735s |      21 |  1416900 |  1078245 |    72291     33 |     2115 |       36
1738.30/1738.77	c 1737s |      21 |  1418705 |  1079745 |    72291     33 |     2115 |       36
1740.30/1740.78	c 1739s |      21 |  1420619 |  1081145 |    72291     33 |     2115 |       36
1742.40/1742.86	c 1741s |      21 |  1422352 |  1082645 |    72291     33 |     2115 |       36
1744.50/1744.91	c 1743s |      21 |  1424200 |  1084145 |    72291     33 |     2115 |       36
1746.70/1747.10	c 1745s |      21 |  1426338 |  1085845 |    72291     33 |     2115 |       36
1749.81/1750.24	c 1748s |      21 |  1426795 |  1086245 |    72291     33 |     2115 |       36
1752.01/1752.41	c 1751s |      21 |  1428185 |  1087545 |    72291     33 |     2115 |       36
1754.01/1754.43	c 1753s |      21 |  1429471 |  1088745 |    72291     33 |     2115 |       36
1756.11/1756.50	c 1755s |      21 |  1432175 |  1091145 |    72291     33 |     2115 |       36
1758.20/1758.67	c 1757s |      21 |  1435108 |  1093445 |    72291     33 |     2115 |       36
1760.30/1760.74	c 1759s |      21 |  1436412 |  1094545 |    72291     33 |     2115 |       36
1762.30/1762.80	c 1761s |      21 |  1438589 |  1096445 |    72291     33 |     2115 |       36
1764.40/1764.89	c 1763s |      21 |  1440992 |  1098345 |    72291     33 |     2115 |       36
1766.50/1766.96	c 1765s |      21 |  1443216 |  1100245 |    72291     33 |     2115 |       36
1768.70/1769.11	c 1767s |      21 |  1444682 |  1101545 |    72291     33 |     2115 |       36
1770.80/1771.25	c 1769s |      21 |  1445867 |  1102545 |    72291     33 |     2115 |       36
1772.81/1773.26	c 1771s |      21 |  1446827 |  1103345 |    72291     33 |     2115 |       36
1774.80/1775.29	c 1773s |      21 |  1447817 |  1104145 |    72291     33 |     2115 |       36
1777.00/1777.45	c 1776s |      21 |  1449121 |  1105245 |    72291     33 |     2115 |       36
1779.20/1779.63	c 1778s |      21 |  1450412 |  1106445 |    72291     33 |     2115 |       36
1781.20/1781.69	c 1780s |      21 |  1451479 |  1107245 |    72291     33 |     2115 |       36
1783.40/1783.80	c 1782s |      21 |  1452692 |  1108245 |    72291     33 |     2115 |       36
1785.70/1786.10	c 1784s |      21 |  1453743 |  1109045 |    72291     33 |     2115 |       36
1787.70/1788.11	c 1786s |      21 |  1454709 |  1109645 |    72291     33 |     2115 |       36
1789.70/1790.19	c 1788s |      21 |  1455750 |  1110345 |    72291     33 |     2115 |       36
1792.00/1792.45	c 1791s |      21 |  1456793 |  1111145 |    72291     33 |     2115 |       36
1795.90/1796.34	c 1794s |      21 |  1457257 |  1111545 |    72291     34 |     2115 |       36
1798.00/1798.44	c 1797s |      21 |  1457815 |  1111945 |    72291     34 |     2115 |       36

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

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

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


[startup+0 s]
/proc/loadavg: 2.07 2.04 2.01 3/178 12818
/proc/meminfo: memFree=30129728/32872528 swapFree=534252/566956
[pid=12818] ppid=12815 vsize=774588 CPUtime=0 cores=1,3,5,7
/proc/12818/stat : 12818 (toysat) R 12815 12818 10353 0 -1 4202496 2899 0 0 0 0 0 0 0 20 0 4 0 23591523 793178112 3259 33554432000 4194304 16246674 140733619304944 140733619304368 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12818/statm: 194415 3268 441 2943 0 191309 0
[pid=12818/tid=12819] ppid=12815 vsize=793020 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12819/stat : 12819 (toysat) S 12815 12818 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23591523 812052480 3331 33554432000 4194304 16246674 140733619304944 140721025690864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12818/tid=12820] ppid=12815 vsize=797116 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12820/stat : 12820 (toysat) S 12815 12818 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23591523 816246784 3347 33554432000 4194304 16246674 140733619304944 140721015201008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12818/tid=12821] ppid=12815 vsize=802236 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12821/stat : 12821 (toysat) S 12815 12818 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23591523 821489664 3364 33554432000 4194304 16246674 140733619304944 140721004727472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100176 s]
/proc/loadavg: 2.07 2.04 2.01 3/178 12818
/proc/meminfo: memFree=30129728/32872528 swapFree=534252/566956
[pid=12818] ppid=12815 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/12818/stat : 12818 (toysat) R 12815 12818 10353 0 -1 4202496 28874 0 0 0 5 4 0 0 20 0 4 0 23591523 1333334016 29173 33554432000 4194304 16246674 140733619304944 140733619304256 7889302 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12818/statm: 325521 29189 800 2943 0 322415 0
[pid=12818/tid=12819] ppid=12815 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12819/stat : 12819 (toysat) S 12815 12818 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23591523 1333334016 29202 33554432000 4194304 16246674 140733619304944 140721025690864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12818/tid=12820] ppid=12815 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12820/stat : 12820 (toysat) S 12815 12818 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23591523 1333334016 29213 33554432000 4194304 16246674 140733619304944 140721015201008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12818/tid=12821] ppid=12815 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12821/stat : 12821 (toysat) S 12815 12818 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23591523 1333334016 29223 33554432000 4194304 16246674 140733619304944 140721004727472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200539 s]
/proc/loadavg: 2.07 2.04 2.01 3/178 12818
/proc/meminfo: memFree=30129728/32872528 swapFree=534252/566956
[pid=12818] ppid=12815 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/12818/stat : 12818 (toysat) R 12815 12818 10353 0 -1 4202496 48572 0 0 0 13 6 0 0 20 0 4 0 23591523 1343819776 49381 33554432000 4194304 16246674 140733619304944 140733619304256 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12818/statm: 328081 49381 806 2943 0 324975 0
[pid=12818/tid=12819] ppid=12815 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12819/stat : 12819 (toysat) S 12815 12818 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23591523 1343819776 49381 33554432000 4194304 16246674 140733619304944 140721025690864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12818/tid=12820] ppid=12815 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12820/stat : 12820 (toysat) S 12815 12818 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23591523 1343819776 49381 33554432000 4194304 16246674 140733619304944 140721015201008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12818/tid=12821] ppid=12815 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12821/stat : 12821 (toysat) S 12815 12818 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23591523 1343819776 49381 33554432000 4194304 16246674 140733619304944 140721004727472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300469 s]
/proc/loadavg: 2.07 2.04 2.01 3/178 12818
/proc/meminfo: memFree=30129728/32872528 swapFree=534252/566956
[pid=12818] ppid=12815 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/12818/stat : 12818 (toysat) R 12815 12818 10353 0 -1 4202496 48598 0 0 0 23 6 0 0 20 0 4 0 23591523 1343819776 49407 33554432000 4194304 16246674 140733619304944 140733619304256 12656469 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12818/statm: 328081 49407 832 2943 0 324975 0
[pid=12818/tid=12819] ppid=12815 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12819/stat : 12819 (toysat) S 12815 12818 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23591523 1343819776 49407 33554432000 4194304 16246674 140733619304944 140721025690864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12818/tid=12820] ppid=12815 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12820/stat : 12820 (toysat) S 12815 12818 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23591523 1343819776 49407 33554432000 4194304 16246674 140733619304944 140721015201008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12818/tid=12821] ppid=12815 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12821/stat : 12821 (toysat) S 12815 12818 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23591523 1343819776 49407 33554432000 4194304 16246674 140733619304944 140721004727472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700412 s]
/proc/loadavg: 2.07 2.04 2.01 3/178 12818
/proc/meminfo: memFree=30129728/32872528 swapFree=534252/566956
[pid=12818] ppid=12815 vsize=1312324 CPUtime=0.69 cores=1,3,5,7
/proc/12818/stat : 12818 (toysat) R 12815 12818 10353 0 -1 4202496 157690 0 0 0 50 19 0 0 20 0 4 0 23591523 1343819776 158500 33554432000 4194304 16246674 140733619304944 140733619286848 5740329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12818/statm: 328081 158514 835 2943 0 324975 0
[pid=12818/tid=12819] ppid=12815 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12819/stat : 12819 (toysat) S 12815 12818 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23591523 1343819776 158521 33554432000 4194304 16246674 140733619304944 140721025690864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12818/tid=12820] ppid=12815 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12820/stat : 12820 (toysat) S 12815 12818 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23591523 1343819776 158528 33554432000 4194304 16246674 140733619304944 140721015201008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12818/tid=12821] ppid=12815 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12821/stat : 12821 (toysat) S 12815 12818 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23591523 1343819776 158537 33554432000 4194304 16246674 140733619304944 140721004727472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1312324

[startup+1.50042 s]
/proc/loadavg: 2.07 2.04 2.01 3/182 12822
/proc/meminfo: memFree=29044716/32872528 swapFree=534252/566956
[pid=12818] ppid=12815 vsize=1340996 CPUtime=1.49 cores=1,3,5,7
/proc/12818/stat : 12818 (toysat) R 12815 12818 10353 0 -1 4202496 275800 0 0 0 115 34 0 0 20 0 4 0 23591523 1373179904 276609 33554432000 4194304 16246674 140733619304944 140733619286848 5600395 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12818/statm: 335249 276609 889 2943 0 332143 0
[pid=12818/tid=12819] ppid=12815 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12819/stat : 12819 (toysat) S 12815 12818 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23591523 1373179904 276609 33554432000 4194304 16246674 140733619304944 140721025690864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12818/tid=12820] ppid=12815 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12820/stat : 12820 (toysat) S 12815 12818 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23591523 1373179904 276609 33554432000 4194304 16246674 140733619304944 140721015201008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12818/tid=12821] ppid=12815 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12821/stat : 12821 (toysat) S 12815 12818 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23591523 1373179904 276609 33554432000 4194304 16246674 140733619304944 140721004727472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1340996

[startup+3.10043 s]
/proc/loadavg: 2.07 2.04 2.01 3/182 12822
/proc/meminfo: memFree=29024504/32872528 swapFree=534252/566956
[pid=12818] ppid=12815 vsize=1340996 CPUtime=3.09 cores=1,3,5,7
/proc/12818/stat : 12818 (toysat) R 12815 12818 10353 0 -1 4202496 275925 0 0 0 275 34 0 0 20 0 4 0 23591523 1373179904 276734 33554432000 4194304 16246674 140733619304944 140733619302720 5712698 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12818/statm: 335249 276734 893 2943 0 332143 0
[pid=12818/tid=12819] ppid=12815 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12819/stat : 12819 (toysat) S 12815 12818 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23591523 1373179904 276734 33554432000 4194304 16246674 140733619304944 140721025690864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12818/tid=12820] ppid=12815 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12820/stat : 12820 (toysat) S 12815 12818 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23591523 1373179904 276734 33554432000 4194304 16246674 140733619304944 140721015201008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12818/tid=12821] ppid=12815 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12821/stat : 12821 (toysat) S 12815 12818 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23591523 1373179904 276734 33554432000 4194304 16246674 140733619304944 140721004727472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1340996

[startup+6.30043 s]
/proc/loadavg: 2.07 2.04 2.01 3/182 12822
/proc/meminfo: memFree=29023096/32872528 swapFree=534252/566956
[pid=12818] ppid=12815 vsize=1340996 CPUtime=6.29 cores=1,3,5,7
/proc/12818/stat : 12818 (toysat) R 12815 12818 10353 0 -1 4202496 275932 0 0 0 595 34 0 0 20 0 4 0 23591523 1373179904 276741 33554432000 4194304 16246674 140733619304944 140733619286848 5822488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12818/statm: 335249 276741 897 2943 0 332143 0
[pid=12818/tid=12819] ppid=12815 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12819/stat : 12819 (toysat) S 12815 12818 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23591523 1373179904 276741 33554432000 4194304 16246674 140733619304944 140721025690864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12818/tid=12820] ppid=12815 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12820/stat : 12820 (toysat) S 12815 12818 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23591523 1373179904 276741 33554432000 4194304 16246674 140733619304944 140721015201008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12818/tid=12821] ppid=12815 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12821/stat : 12821 (toysat) S 12815 12818 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23591523 1373179904 276741 33554432000 4194304 16246674 140733619304944 140721004727472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1340996

[startup+12.7004 s]
/proc/loadavg: 2.06 2.04 2.01 3/182 12822
/proc/meminfo: memFree=29023676/32872528 swapFree=534252/566956
[pid=12818] ppid=12815 vsize=1340996 CPUtime=12.69 cores=1,3,5,7
/proc/12818/stat : 12818 (toysat) R 12815 12818 10353 0 -1 4202496 275932 0 0 0 1235 34 0 0 20 0 4 0 23591523 1373179904 276741 33554432000 4194304 16246674 140733619304944 140733619286848 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12818/statm: 335249 276741 897 2943 0 332143 0
[pid=12818/tid=12819] ppid=12815 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12819/stat : 12819 (toysat) S 12815 12818 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23591523 1373179904 276741 33554432000 4194304 16246674 140733619304944 140721025690864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12818/tid=12820] ppid=12815 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12820/stat : 12820 (toysat) S 12815 12818 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23591523 1373179904 276741 33554432000 4194304 16246674 140733619304944 140721015201008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12818/tid=12821] ppid=12815 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12821/stat : 12821 (toysat) S 12815 12818 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23591523 1373179904 276741 33554432000 4194304 16246674 140733619304944 140721004727472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1340996

[startup+25.5005 s]
/proc/loadavg: 2.05 2.04 2.01 3/182 12822
/proc/meminfo: memFree=29023796/32872528 swapFree=534252/566956
[pid=12818] ppid=12815 vsize=1340996 CPUtime=25.49 cores=1,3,5,7
/proc/12818/stat : 12818 (toysat) R 12815 12818 10353 0 -1 4202496 275935 0 0 0 2515 34 0 0 20 0 4 0 23591523 1373179904 276744 33554432000 4194304 16246674 140733619304944 140733619286848 5711888 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12818/statm: 335249 276744 899 2943 0 332143 0
[pid=12818/tid=12819] ppid=12815 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12819/stat : 12819 (toysat) S 12815 12818 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23591523 1373179904 276744 33554432000 4194304 16246674 140733619304944 140721025690864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12818/tid=12820] ppid=12815 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12820/stat : 12820 (toysat) S 12815 12818 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23591523 1373179904 276744 33554432000 4194304 16246674 140733619304944 140721015201008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12818/tid=12821] ppid=12815 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12821/stat : 12821 (toysat) S 12815 12818 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23591523 1373179904 276744 33554432000 4194304 16246674 140733619304944 140721004727472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1340996

[startup+51.1005 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 12823
/proc/meminfo: memFree=29023392/32872528 swapFree=534252/566956
[pid=12818] ppid=12815 vsize=1340996 CPUtime=51.08 cores=1,3,5,7
/proc/12818/stat : 12818 (toysat) R 12815 12818 10353 0 -1 4202496 275936 0 0 0 5074 34 0 0 20 0 4 0 23591523 1373179904 276745 33554432000 4194304 16246674 140733619304944 140733619286848 5823523 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12818/statm: 335249 276745 900 2943 0 332143 0
[pid=12818/tid=12819] ppid=12815 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12819/stat : 12819 (toysat) S 12815 12818 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23591523 1373179904 276745 33554432000 4194304 16246674 140733619304944 140721025690864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12818/tid=12820] ppid=12815 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12820/stat : 12820 (toysat) S 12815 12818 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23591523 1373179904 276745 33554432000 4194304 16246674 140733619304944 140721015201008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12818/tid=12821] ppid=12815 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12821/stat : 12821 (toysat) S 12815 12818 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23591523 1373179904 276745 33554432000 4194304 16246674 140733619304944 140721004727472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1340996

[startup+102.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 12824
/proc/meminfo: memFree=29022764/32872528 swapFree=534252/566956
[pid=12818] ppid=12815 vsize=1340996 CPUtime=102.28 cores=1,3,5,7
/proc/12818/stat : 12818 (toysat) R 12815 12818 10353 0 -1 4202496 275936 0 0 0 10193 35 0 0 20 0 4 0 23591523 1373179904 276745 33554432000 4194304 16246674 140733619304944 140733619287944 5673413 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12818/statm: 335249 276745 900 2943 0 332143 0
[pid=12818/tid=12819] ppid=12815 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12819/stat : 12819 (toysat) S 12815 12818 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23591523 1373179904 276745 33554432000 4194304 16246674 140733619304944 140721025690864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12818/tid=12820] ppid=12815 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12820/stat : 12820 (toysat) S 12815 12818 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23591523 1373179904 276745 33554432000 4194304 16246674 140733619304944 140721015201008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12818/tid=12821] ppid=12815 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12821/stat : 12821 (toysat) S 12815 12818 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23591523 1373179904 276745 33554432000 4194304 16246674 140733619304944 140721004727472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1340996


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

/proc/12818/task/12821/stat : 12821 (toysat) S 12815 12818 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23591523 1806241792 382476 33554432000 4194304 16246674 140733619304944 140721004727472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 1763908

[startup+1302.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/183 12854
/proc/meminfo: memFree=28429996/32872528 swapFree=534252/566956
[pid=12818] ppid=12815 vsize=1781316 CPUtime=1301.98 cores=1,3,5,7
/proc/12818/stat : 12818 (toysat) R 12815 12818 10353 0 -1 4202496 386194 0 0 0 130132 66 0 0 20 0 4 0 23591523 1824067584 386828 33554432000 4194304 16246674 140733619304944 140733619286848 5822472 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12818/statm: 445329 386828 900 2943 0 442223 0
[pid=12818/tid=12819] ppid=12815 vsize=1781316 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12819/stat : 12819 (toysat) S 12815 12818 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23591523 1824067584 386828 33554432000 4194304 16246674 140733619304944 140721025690864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12818/tid=12820] ppid=12815 vsize=1781316 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12820/stat : 12820 (toysat) S 12815 12818 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23591523 1824067584 386828 33554432000 4194304 16246674 140733619304944 140721015201008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12818/tid=12821] ppid=12815 vsize=1781316 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12821/stat : 12821 (toysat) S 12815 12818 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23591523 1824067584 386828 33554432000 4194304 16246674 140733619304944 140721004727472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 1781316

[startup+1362.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/183 12855
/proc/meminfo: memFree=28430140/32872528 swapFree=534252/566956
[pid=12818] ppid=12815 vsize=1781316 CPUtime=1361.97 cores=1,3,5,7
/proc/12818/stat : 12818 (toysat) R 12815 12818 10353 0 -1 4202496 386203 0 0 0 136129 68 0 0 20 0 4 0 23591523 1824067584 386828 33554432000 4194304 16246674 140733619304944 140733619286848 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12818/statm: 445329 386828 900 2943 0 442223 0
[pid=12818/tid=12819] ppid=12815 vsize=1781316 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12819/stat : 12819 (toysat) S 12815 12818 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23591523 1824067584 386828 33554432000 4194304 16246674 140733619304944 140721025690864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12818/tid=12820] ppid=12815 vsize=1781316 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12820/stat : 12820 (toysat) S 12815 12818 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23591523 1824067584 386828 33554432000 4194304 16246674 140733619304944 140721015201008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12818/tid=12821] ppid=12815 vsize=1781316 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12821/stat : 12821 (toysat) S 12815 12818 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23591523 1824067584 386828 33554432000 4194304 16246674 140733619304944 140721004727472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 1781316

[startup+1422.3 s]
/proc/loadavg: 2.13 2.07 2.01 4/183 12856
/proc/meminfo: memFree=28428108/32872528 swapFree=534252/566956
[pid=12818] ppid=12815 vsize=1781316 CPUtime=1421.97 cores=1,3,5,7
/proc/12818/stat : 12818 (toysat) R 12815 12818 10353 0 -1 4202496 386208 0 0 0 142127 70 0 0 20 0 4 0 23591523 1824067584 386828 33554432000 4194304 16246674 140733619304944 140733619286848 5677667 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12818/statm: 445329 386828 900 2943 0 442223 0
[pid=12818/tid=12819] ppid=12815 vsize=1781316 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12819/stat : 12819 (toysat) S 12815 12818 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23591523 1824067584 386828 33554432000 4194304 16246674 140733619304944 140721025690864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12818/tid=12820] ppid=12815 vsize=1781316 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12820/stat : 12820 (toysat) S 12815 12818 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23591523 1824067584 386828 33554432000 4194304 16246674 140733619304944 140721015201008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12818/tid=12821] ppid=12815 vsize=1781316 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12821/stat : 12821 (toysat) S 12815 12818 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23591523 1824067584 386828 33554432000 4194304 16246674 140733619304944 140721004727472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 1781316

[startup+1482.3 s]
/proc/loadavg: 2.12 2.07 2.01 3/183 12858
/proc/meminfo: memFree=28429776/32872528 swapFree=534252/566956
[pid=12818] ppid=12815 vsize=1781316 CPUtime=1481.95 cores=1,3,5,7
/proc/12818/stat : 12818 (toysat) R 12815 12818 10353 0 -1 4202496 386218 0 0 0 148124 71 0 0 20 0 4 0 23591523 1824067584 386828 33554432000 4194304 16246674 140733619304944 140733619286848 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12818/statm: 445329 386828 900 2943 0 442223 0
[pid=12818/tid=12819] ppid=12815 vsize=1781316 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12819/stat : 12819 (toysat) S 12815 12818 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23591523 1824067584 386828 33554432000 4194304 16246674 140733619304944 140721025690864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12818/tid=12820] ppid=12815 vsize=1781316 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12820/stat : 12820 (toysat) S 12815 12818 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23591523 1824067584 386828 33554432000 4194304 16246674 140733619304944 140721015201008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12818/tid=12821] ppid=12815 vsize=1781316 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12821/stat : 12821 (toysat) S 12815 12818 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23591523 1824067584 386828 33554432000 4194304 16246674 140733619304944 140721004727472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 1781316

[startup+1542.31 s]
/proc/loadavg: 2.04 2.05 2.00 3/184 12910
/proc/meminfo: memFree=28701812/32872528 swapFree=534252/566956
[pid=12818] ppid=12815 vsize=1794628 CPUtime=1541.94 cores=1,3,5,7
/proc/12818/stat : 12818 (toysat) R 12815 12818 10353 0 -1 4202496 389547 0 0 0 154122 72 0 0 20 0 4 0 23591523 1837699072 390156 33554432000 4194304 16246674 140733619304944 140733619286848 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12818/statm: 448657 390156 900 2943 0 445551 0
[pid=12818/tid=12819] ppid=12815 vsize=1794628 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12819/stat : 12819 (toysat) S 12815 12818 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23591523 1837699072 390156 33554432000 4194304 16246674 140733619304944 140721025690864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12818/tid=12820] ppid=12815 vsize=1794628 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12820/stat : 12820 (toysat) S 12815 12818 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23591523 1837699072 390156 33554432000 4194304 16246674 140733619304944 140721015201008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12818/tid=12821] ppid=12815 vsize=1794628 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12821/stat : 12821 (toysat) S 12815 12818 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23591523 1837699072 390156 33554432000 4194304 16246674 140733619304944 140721004727472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 1794628

[startup+1602.3 s]
/proc/loadavg: 2.05 2.06 2.00 3/184 12911
/proc/meminfo: memFree=28649452/32872528 swapFree=534252/566956
[pid=12818] ppid=12815 vsize=1846852 CPUtime=1601.93 cores=1,3,5,7
/proc/12818/stat : 12818 (toysat) R 12815 12818 10353 0 -1 4202496 402603 0 0 0 160118 75 0 0 20 0 4 0 23591523 1891176448 403212 33554432000 4194304 16246674 140733619304944 140733619286848 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12818/statm: 461713 403212 900 2943 0 458607 0
[pid=12818/tid=12819] ppid=12815 vsize=1846852 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12819/stat : 12819 (toysat) S 12815 12818 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23591523 1891176448 403212 33554432000 4194304 16246674 140733619304944 140721025690864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12818/tid=12820] ppid=12815 vsize=1846852 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12820/stat : 12820 (toysat) S 12815 12818 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23591523 1891176448 403212 33554432000 4194304 16246674 140733619304944 140721015201008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12818/tid=12821] ppid=12815 vsize=1846852 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12821/stat : 12821 (toysat) S 12815 12818 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23591523 1891176448 403212 33554432000 4194304 16246674 140733619304944 140721004727472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 1846852

[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/183 12912
/proc/meminfo: memFree=28649508/32872528 swapFree=534252/566956
[pid=12818] ppid=12815 vsize=1846852 CPUtime=1661.92 cores=1,3,5,7
/proc/12818/stat : 12818 (toysat) R 12815 12818 10353 0 -1 4202496 402603 0 0 0 166115 77 0 0 20 0 4 0 23591523 1891176448 403212 33554432000 4194304 16246674 140733619304944 140733619286848 5712756 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12818/statm: 461713 403212 900 2943 0 458607 0
[pid=12818/tid=12819] ppid=12815 vsize=1846852 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12819/stat : 12819 (toysat) S 12815 12818 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23591523 1891176448 403212 33554432000 4194304 16246674 140733619304944 140721025690864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12818/tid=12820] ppid=12815 vsize=1846852 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12820/stat : 12820 (toysat) S 12815 12818 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23591523 1891176448 403212 33554432000 4194304 16246674 140733619304944 140721015201008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12818/tid=12821] ppid=12815 vsize=1846852 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12821/stat : 12821 (toysat) S 12815 12818 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23591523 1891176448 403212 33554432000 4194304 16246674 140733619304944 140721004727472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 1846852

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 12913
/proc/meminfo: memFree=28628968/32872528 swapFree=534252/566956
[pid=12818] ppid=12815 vsize=1846852 CPUtime=1721.91 cores=1,3,5,7
/proc/12818/stat : 12818 (toysat) R 12815 12818 10353 0 -1 4202496 402603 0 0 0 172114 77 0 0 20 0 4 0 23591523 1891176448 403212 33554432000 4194304 16246674 140733619304944 140733619286848 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12818/statm: 461713 403212 900 2943 0 458607 0
[pid=12818/tid=12819] ppid=12815 vsize=1846852 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12819/stat : 12819 (toysat) S 12815 12818 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23591523 1891176448 403212 33554432000 4194304 16246674 140733619304944 140721025690864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12818/tid=12820] ppid=12815 vsize=1846852 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12820/stat : 12820 (toysat) S 12815 12818 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23591523 1891176448 403212 33554432000 4194304 16246674 140733619304944 140721015201008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12818/tid=12821] ppid=12815 vsize=1846852 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12821/stat : 12821 (toysat) S 12815 12818 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23591523 1891176448 403212 33554432000 4194304 16246674 140733619304944 140721004727472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 1846852

[startup+1782.3 s]
/proc/loadavg: 2.18 2.07 2.01 3/183 12915
/proc/meminfo: memFree=28572460/32872528 swapFree=534252/566956
[pid=12818] ppid=12815 vsize=1903172 CPUtime=1781.9 cores=1,3,5,7
/proc/12818/stat : 12818 (toysat) R 12815 12818 10353 0 -1 4202496 416683 0 0 0 178110 80 0 0 20 0 4 0 23591523 1948848128 417292 33554432000 4194304 16246674 140733619304944 140733619286848 5822756 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12818/statm: 475793 417292 900 2943 0 472687 0
[pid=12818/tid=12819] ppid=12815 vsize=1903172 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12819/stat : 12819 (toysat) S 12815 12818 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23591523 1948848128 417292 33554432000 4194304 16246674 140733619304944 140721025690864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12818/tid=12820] ppid=12815 vsize=1903172 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12820/stat : 12820 (toysat) S 12815 12818 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23591523 1948848128 417292 33554432000 4194304 16246674 140733619304944 140721015201008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12818/tid=12821] ppid=12815 vsize=1903172 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12821/stat : 12821 (toysat) S 12815 12818 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23591523 1948848128 417292 33554432000 4194304 16246674 140733619304944 140721004727472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 1903172



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.13 2.06 2.01 3/183 12915
/proc/meminfo: memFree=28498776/32872528 swapFree=534252/566956
[pid=12818] ppid=12815 vsize=1976900 CPUtime=1800 cores=1,3,5,7
/proc/12818/stat : 12818 (toysat) R 12815 12818 10353 0 -1 4202496 435115 0 0 0 179917 83 0 0 20 0 4 0 23591523 2024345600 435724 33554432000 4194304 16246674 140733619304944 140733619286848 4220482 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12818/statm: 494225 435724 900 2943 0 491119 0
[pid=12818/tid=12819] ppid=12815 vsize=1976900 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12819/stat : 12819 (toysat) S 12815 12818 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23591523 2024345600 435724 33554432000 4194304 16246674 140733619304944 140721025690864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12818/tid=12820] ppid=12815 vsize=1976900 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12820/stat : 12820 (toysat) S 12815 12818 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23591523 2024345600 435724 33554432000 4194304 16246674 140733619304944 140721015201008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12818/tid=12821] ppid=12815 vsize=1976900 CPUtime=0 cores=1,3,5,7
/proc/12818/task/12821/stat : 12821 (toysat) S 12815 12818 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23591523 2024345600 435724 33554432000 4194304 16246674 140733619304944 140721004727472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1976900

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 12818 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.42
CPU time (s): 1800.02
CPU user time (s): 1799.18
CPU system time (s): 0.841872
CPU usage (%): 99.9779
Max. virtual memory (cumulated for all children) (KiB): 1976900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.18
system time used= 0.841872
maximum resident set size= 1742896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 435115
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= 476
involuntary context switches= 1971

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.43102 second user time and 9.95649 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-18 04:04:19
IDJOB=4100617
IDBENCH=1640
IDSOLVER=2542
FILE ID=node138/4100617-1466215459
RUNJOBID= node138-1466206053-10370
PBS_JOBID= 19918139
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-gfrd-pnc.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100617-1466215459/watcher-4100617-1466215459 -o /tmp/evaluation-result-4100617-1466215459/solver-4100617-1466215459 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466206053-10370 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100617-1466215459.opb

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

MD5SUM BENCH= 79ac545a8fcf117e4e23dd9b4f8255c5
RANDOM SEED=1580466482

node138.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.395
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	: 5332.79
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.395
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.395
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.55
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.395
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30130520 kB
Buffers:           88444 kB
Cached:           117424 kB
SwapCached:         1060 kB
Active:          1330892 kB
Inactive:         108216 kB
Active(anon):    1234240 kB
Inactive(anon):     1228 kB
Active(file):      96652 kB
Inactive(file):   106988 kB
Unevictable:      566956 kB
Mlocked:          534252 kB
SwapTotal:      67108856 kB
SwapFree:       67099636 kB
Dirty:             17112 kB
Writeback:             0 kB
AnonPages:       1799708 kB
Mapped:             9916 kB
Shmem:                 0 kB
Slab:             602412 kB
SReclaimable:      46164 kB
SUnreclaim:       556248 kB
KernelStack:        1520 kB
PageTables:         6992 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1940584 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     38912 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= 71696 MiB
End job on node138 at 2016-06-18 04:34:19