Trace number 3421604

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 40000.7 5010.27

General information on the benchmark

Namecrafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-6_2071.cnf
MD5SUM337bdbc5d8bf0013ca73aeffa06cffe8
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark17.0104
Satisfiable
(Un)Satisfiability was proved
Number of variables2070
Number of clauses158884
Sum of the clauses size478584
Maximum clause length6
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3158240
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5644

Solver Data

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 8 threads
0.00/0.03	c This is CryptoMiniSat 3.0.0
0.00/0.03	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.03	c Reading file 'HOME/instance-3421604-1306678840.cnf'
0.00/0.03	c -- header says num vars:           2070
0.00/0.03	c -- header says num clauses:      158884
0.54/0.17	c -- clauses added:            0 learnts,       158884 normals,            0 xors
0.54/0.17	c -- vars added       2070
0.54/0.17	c Parsing time:  0.07 s
0.54/0.17	c  N st     0         0      2070    158884         0         0    478584         0   no data   no data
0.54/0.79	c asymm  cl-useful: 0/158377/158884 lits-rem:0 time: 0.61
0.54/0.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
6.26/0.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
6.26/0.94	c bin-w-bin subsume rem            0 bins  time:  0.01 s
6.26/0.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.26/0.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2070 time:  0.01 s
6.26/0.96	c Removed useless bin:       0  fixed:     0  props:   0.25M  time:  0.01 s
16.05/2.23	c lits-rem:         0  cl-subs:        0  v-elim:    690  v-fix:    0  time:  1.19 s
16.05/2.23	c Finding binary XORs  T:     0.00 s  found:       0
16.85/2.32	c Finding non-binary XORs:     0.08 s (found:       0, avg size: nan)
16.85/2.32	c calculated reachability. Time: 0.00
16.85/2.32	c Calc default polars -  time:   0.01 s pos:    1380 undec:     690 neg:       0
16.85/2.32	c =========================================================================================
16.85/2.32	c types(t): F = full restart, N = normal restart
16.85/2.32	c types(t): S = simplification begin/end, E = solution found
16.85/2.32	c restart types(rt): st = static, dy = dynamic
16.85/2.32	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
16.85/2.32	c  B st     0         0      1380     98828         0         0    513491         0   no data   no data
20.09/2.72	c  N dy    12      4024      1380     98828         0      3981    513491    155804     24.98     28.53
22.43/3.09	c  N dy    24      8181      1380     98828         0      8103    513491    302360     23.91     25.35
30.42/4.03	c  N dy    37     17363      1380     98828         0     17209    513490    648085     21.35     22.52
33.61/4.47	c  N dy    60     21703      1380     98828         0     11596    513490    333237     21.55     22.73
36.00/4.77	c  F st    73     25000      1380     98828         0     14860    513490    446536     21.43     20.07
36.00/4.79	c Found part        4 vars:        670 clauses:     47205 lits size:    251895
36.00/4.79	c Found part        7 vars:        710 clauses:     51623 lits size:    261595
36.00/4.79	c Found parts:          2 time: 0.02 s
36.00/4.79	c Solving part 4
36.80/4.82	c  N st     0         0       670     47205         0         0    251895         0   no data   no data
39.19/5.14	c asymm  cl-useful: 16/47205/47205 lits-rem:19 time: 0.32
39.19/5.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
39.19/5.14	c Finding binary XORs  T:     0.00 s  found:       0
39.19/5.16	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
39.19/5.16	c calculated reachability. Time: 0.00
39.19/5.16	c Calc default polars -  time:   0.00 s pos:     670 undec:    1400 neg:       0
39.19/5.16	c =========================================================================================
39.19/5.16	c types(t): F = full restart, N = normal restart
39.19/5.16	c types(t): S = simplification begin/end, E = solution found
39.19/5.16	c restart types(rt): st = static, dy = dynamic
39.19/5.16	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
39.19/5.16	c  B st     0         0       670     47205         0         0    251876         0   no data   no data
42.39/5.52	c  N dy     9      4018       670     47205         0      3973    251876    168281     28.40     30.09
45.59/5.97	c  N dy    19      8854       670     47205         0      4878    251876    146706     27.53     28.98
51.98/6.76	c  N dy    25     18915       670     47205         0      8503    251876    228553     25.15     26.62
55.22/7.17	c  N dy    42     23510       670     47205         0     13068    251876    404231     25.08     26.56
56.76/7.31	c  F st    49     25001       670     47205         0     14546    251876    457710     25.11   no data
59.16/7.64	c  N st    54     28296       670     47205         0      9754    251876    231170     25.11   no data
62.36/8.05	c  N dy    63     32376       670     47205         0     13789    251876    383083     25.08     26.60
65.54/8.44	c  N dy    67     36418       670     47205         0     17746    251876    515778     24.72     26.11
71.14/9.14	c  N dy    74     43344       670     47205         0     15224    251876    394761     24.16     25.55
74.32/9.56	c  N dy   103     47424       670     47205         0     19274    251876    546226     24.42     25.96
78.32/10.05	c  N dy   117     52247       670     47205         0     13479    251876    292271     24.33     25.64
81.55/10.46	c  N dy   142     56336       670     47205         0     17522    251876    438299     24.46     25.92
85.50/10.90	c  N dy   165     60675       670     47205         0     21832    251875    599967     24.50     25.82
88.70/11.32	c  N dy   183     64834       670     47205         0     14276    251875    270356     24.50     25.84
91.89/11.78	c  N dy   196     69401       670     47205         0     18801    251875    446421     24.37     25.82
95.89/12.22	c  N dy   201     73923       670     47205         0     23239    251875    611713     24.15     26.28
100.01/12.75	c  N dy   228     78911       670     47205         0     15520    251875    282767     24.18     25.80
103.86/13.27	c  N dy   253     84022       670     47205         0     20582    251875    469235     24.23     25.53
107.06/13.62	c  F st   270     87501       670     47205         0     24030    251875    587623     24.23     21.41
108.78/13.84	c  N st   274     89532       670     47205         0     26038    251875    664287     24.23   no data
113.44/14.46	c  N dy   289     95431       670     47205         0     18160    251875    361003     24.25     25.63
119.03/15.11	c  N dy   312    101726       670     47205         0     24401    251875    589795     24.24     25.54
124.62/15.83	c  N dy   339    108300       670     47205         0     16206    251875    249484     24.28     25.80
130.21/16.57	c  N dy   381    115219       670     47205         0     23073    251875    505473     24.39     32.33
136.60/17.33	c  N dy   416    122616       670     47205         0     30401    251875    786076     24.41     25.70
143.03/18.19	c  N dy   467    130503       670     47205         0     22502    251874    443782     24.49     29.05
151.81/19.25	c  N dy   503    140285       670     47205         0     32166    251874    806828     24.46     25.80
158.96/20.18	c  N dy   537    149283       670     47205         0     24380    251873    480734     24.46     27.19
170.92/21.61	c  N dy   573    162304       670     47205         0     19617    251873    286308     24.39     25.73
179.72/22.76	c  N dy   603    173269       670     47205         0     30466    251873    700389     24.32     25.69
193.29/24.42	c  N dy   632    188451       670     47205         0     26783    251873    507124     24.15     25.47
203.67/25.77	c  N dy   660    200554       670     47205         0     38756    251873    971181     24.06     25.43
214.84/27.17	c  N dy   705    213370       670     47205         0     31824    251873    683606     24.02     27.32
228.43/28.83	c  N dy   751    227358       670     47205         0     25015    251873    388326     23.99     25.32
241.99/30.50	c  N dy   821    241938       670     47205         0     39460    251873    927661     24.04     25.47
258.76/32.66	c  N dy   899    261085       670     47205         0     36749    251873    767948     24.05     25.38
276.33/34.81	c  N dy   967    279433       670     47205         0     32244    251873    603134     24.05     25.39
293.89/37.00	c  N dy  1023    297649       670     47205         0     26671    251873    374916     24.00     25.31
301.12/37.99	c  F st  1068    306251       670     47205         0     35181    251873    684929     24.04     23.38
314.66/39.65	c  N dy  1089    319714       670     47205         0     48512    251873   1207663     23.99     25.59
334.62/42.16	c  N dy  1140    340001       670     47205         0     44000    251873   1003121     23.90     25.23
354.71/44.68	c  N dy  1204    360013       670     47205         0     38149    251873    729788     23.87     27.20
376.14/47.36	c  N dy  1262    382679       670     47205         0     33986    251871    541095     23.78     25.47
396.11/49.89	c  N dy  1328    402899       670     47205         0     53949    251871   1288767     23.77     25.09
415.31/52.30	c  N dy  1413    422938       670     47205         0     46310    251871    989540     23.78     25.14
436.83/54.93	c  N dy  1459    443003       670     47205         0     37594    251871    627187     23.72     27.51
462.36/58.11	c  N dy  1545    467898       670     47205         0     32675    251871    408346     23.69     25.05
481.53/60.58	c  N dy  1610    488050       670     47205         0     52622    251871   1129641     23.68     25.13
503.12/63.21	c  N dy  1658    508437       670     47205         0     42294    251871    771232     23.66     25.04
544.61/68.41	c  N dy  1772    546394       670     47205         0     48400    251871    975495     23.57     24.94
567.76/71.37	c  N dy  1853    568594       670     47205         0     37773    251871    489473     23.56     24.96
596.50/74.93	c  N dy  1968    595136       670     47205         0     64127    251871   1510361     23.58     24.88
618.86/77.70	c  N dy  2098    615308       670     47205         0     50526    251871    934199     23.64     24.93
642.02/80.64	c  N dy  2128    635442       670     47205         0     35814    251871    368111     23.58     24.83
662.77/83.21	c  N dy  2210    655481       670     47205         0     55702    251871   1109390     23.57     29.13
685.94/86.17	c  N dy  2312    676203       670     47205         0     40698    251871    509399     23.60     24.93
708.29/88.93	c  N dy  2374    697672       670     47205         0     61968    251871   1313854     23.57     24.83
772.17/96.98	c  N dy  2471    746997       670     47205         0     74285    251871   1885674     23.43     24.84
795.32/99.81	c  N dy  2587    767071       670     47205         0     56709    251871   1080441     23.46     24.77
822.47/103.21	c  N dy  2718    788182       670     47205         0     39129    251871    376694     23.49     24.92
843.23/105.88	c  N dy  2821    808476       670     47205         0     59267    251871   1129223     23.51     24.97
871.18/109.30	c  N dy  2888    831014       670     47205         0     42008    251871    437369     23.50     25.05
893.52/112.12	c  N dy  2980    851033       670     47205         0     61879    251871   1181734     23.52     29.22
943.16/118.38	c  N dy  3025    891509       670     47205         0     61647    251871   1256755     23.42     24.72
967.79/121.49	c  N dy  3110    911613       670     47205         0     81570    251871   2023946     23.43     24.69
990.94/124.32	c  N dy  3190    931649       670     47205         0     59867    251871   1086058     23.43     24.67
1015.69/127.50	c  N dy  3262    953112       670     47205         0     81078    251871   1864482     23.42     24.70
1039.77/130.49	c  N dy  3373    973417       670     47205         0     58708    251871    974234     23.44     24.74
1064.41/133.53	c  N dy  3459    993497       670     47205         0     78584    251871   1719011     23.45     27.06
1089.16/136.65	c  N dy  3599   1013589       670     47205         0     55048    251871    821515     23.49     25.23
1113.91/139.71	c  N dy  3669   1033892       670     47205         0     75226    251871   1654809     23.48     24.80
1138.66/142.82	c  N dy  3736   1053897       670     47205         0     50541    251871    602025     23.47     27.24
1159.42/145.41	c  F st  3813   1071875       670     47205         0     68363    251871   1277716     23.48   no data
1161.85/145.72	c  N st  3817   1073906       670     47205         0     70371    251871   1349414     23.48   no data
1208.92/151.69	c  N dy  3873   1112116       670     47205         0     62812    251871   1102367     23.41     24.72
1236.07/155.08	c  N dy  4006   1133220       670     47205         0     83788    251871   1889854     23.45     24.74
1281.58/160.71	c  N dy  4054   1167568       670     47205         0     71217    251871   1409174     23.38     24.86
1315.91/165.07	c  N dy  4077   1196239       670     47205         0     52196    251871    604270     23.32     24.67
1341.46/168.28	c  N dy  4099   1218456       670     47205         0     74270    251871   1482845     23.28     24.79
1374.19/172.36	c  N dy  4120   1242426       670     47205         0     49555    251871    461132     23.21     24.57
1398.17/175.35	c  N dy  4200   1263029       670     47205         0     70005    251871   1238721     23.21     24.91
1425.35/178.79	c  N dy  4319   1283343       670     47205         0     90151    251871   1979689     23.23     24.54
1451.69/182.05	c  N dy  4426   1303378       670     47205         0     60576    251871    829222     23.25     24.53
1477.21/185.31	c  N dy  4514   1324536       670     47205         0     81546    251871   1639656     23.25     24.50
1516.33/190.12	c  N dy  4581   1353916       670     47205         0     60307    251871    838320     23.22     24.58
1541.07/193.25	c  N dy  4673   1374385       670     47205         0     80573    251871   1599831     23.23     24.65
1572.21/197.16	c  N dy  4783   1396747       670     47205         0    102756    251871   2417662     23.25     24.48
1596.97/200.28	c  N dy  4896   1417107       670     47205         0     71476    251871   1174432     23.26     24.69
1625.71/203.84	c  N dy  4985   1438765       670     47205         0     92938    251871   1979137     23.26     24.58
1654.58/207.45	c  N dy  5020   1460050       670     47205         0     61641    251871    832597     23.23     24.53
1680.05/210.65	c  N dy  5084   1480218       670     47205         0     81646    251871   1607008     23.22     24.99
1711.14/214.56	c  N dy  5111   1503411       670     47205         0    104602    251871   2512968     23.19     24.67
1736.69/217.73	c  N dy  5199   1523425       670     47205         0     71006    251871   1121481     23.19     29.14
1765.44/221.36	c  N dy  5279   1545309       670     47205         0     92640    251871   1934797     23.19     24.56
1795.12/225.03	c  N dy  5397   1565393       670     47205         0     58213    251871    609824     23.21     27.20
1819.75/228.15	c  N dy  5420   1585447       670     47205         0     78070    251871   1397532     23.19     28.94
1848.47/231.78	c  N dy  5530   1606325       670     47205         0     98756    251871   2145083     23.20     24.52
1877.23/235.38	c  N dy  5644   1626729       670     47205         0     63670    251871    785937     23.22     24.60
1901.96/238.40	c  N dy  5697   1646763       670     47205         0     83421    251871   1537188     23.21     24.46
1929.92/241.99	c  N dy  5812   1666817       670     47205         0    103305    251871   2279567     23.22     24.46
1957.86/245.40	c  N dy  5895   1686890       670     47205         0     66904    251871    870552     23.22     25.54
1985.82/248.98	c  N dy  5988   1708533       670     47205         0     88294    251871   1686677     23.23     24.53
2017.74/252.98	c  N dy  6149   1728548       670     47205         0    108144    251871   2437030     23.26     25.45
2045.70/256.46	c  N dy  6228   1749779       670     47205         0     71892    251871   1040110     23.26     24.56
2074.45/260.00	c  N dy  6347   1770308       670     47205         0     92215    251871   1787025     23.27     24.75
2103.17/263.62	c  N dy  6406   1790311       670     47205         0    112054    251871   2551398     23.27     30.55
2130.34/267.10	c  N dy  6501   1810513       670     47205         0     73758    251871   1093702     23.28     24.67
2158.28/270.56	c  N dy  6612   1830535       670     47205         0     93630    251870   1848793     23.29     29.75
2187.02/274.19	c  N dy  6652   1850651       670     47205         0    113570    251870   2627533     23.28     24.66
2214.99/277.63	c  N dy  6750   1870678       670     47205         0     74064    251870   1031533     23.29     24.86
2243.72/281.22	c  N dy  6899   1890876       670     47205         0     94091    251870   1777670     23.31     24.72
2291.62/287.27	c  N dy  6997   1922535       670     47205         0     65112    251870    685747     23.30     24.66
2322.75/291.13	c  N dy  7094   1946832       670     47205         0     89222    251870   1620622     23.30     24.57
2357.88/295.53	c  N dy  7205   1970441       670     47205         0    112604    251870   2473106     23.30     24.53
2388.23/299.34	c  N dy  7337   1990508       670     47205         0     71171    251870    872228     23.32     24.67
2416.99/302.92	c  N dy  7445   2010790       670     47205         0     91265    251870   1599172     23.33     24.61
2447.31/306.75	c  N dy  7561   2030804       670     47205         0    111087    251870   2337133     23.35     27.32
2479.30/310.81	c  N dy  7639   2052204       670     47205         0     69990    251870    808502     23.35     24.68
2506.54/314.18	c  N dy  7749   2072227       670     47205         0     89829    251870   1538604     23.36     28.91
2541.66/318.52	c  N dy  7858   2094602       670     47205         0    112039    251870   2369264     23.37     24.63
2571.88/322.32	c  N dy  7919   2114673       670     47205         0     68655    251870    731928     23.36     24.63
2597.44/325.56	c  N dy  7983   2134694       670     47205         0     88505    251870   1514118     23.36     27.11
2627.77/329.38	c  N dy  8111   2154775       670     47205         0    108409    251870   2250052     23.37     30.87
2662.90/333.80	c  N dy  8233   2175031       670     47205         0    128491    251870   2980743     23.39     24.70
2692.44/337.42	c  N dy  8400   2195123       670     47205         0     84114    251870   1279515     23.42     27.89
2721.99/341.17	c  N dy  8489   2215192       670     47205         0    103908    251870   1975785     23.42     27.46
2767.50/346.87	c  N dy  8590   2243764       670     47205         0     66977    251870    605669     23.41     24.65
2809.02/352.08	c  N dy  8632   2272359       670     47205         0     95427    251870   1781064     23.37     24.61
2851.34/357.36	c  N dy  8701   2300506       670     47205         0    123331    251870   2888759     23.36     24.61
2880.08/360.99	c  N dy  8738   2320915       670     47205         0     77283    251870    978445     23.35     24.61
2909.67/364.64	c  N dy  8823   2341767       670     47205         0     98004    251870   1793221     23.35     24.74
2943.17/368.83	c  N dy  8927   2363073       670     47205         0    119156    251870   2615217     23.35     24.68
2977.50/373.11	c  N dy  9043   2383192       670     47205         0     71727    251870    712983     23.37     24.66
3012.62/377.54	c  N dy  9123   2409148       670     47205         0     97450    251870   1687168     23.36     24.65
3047.75/381.90	c  N dy  9219   2431365       670     47205         0    119484    251870   2510542     23.36     24.76
3098.05/388.24	c  N dy  9304   2463266       670     47205         0     82632    251870   1139517     23.34     24.68
3129.23/392.12	c  N dy  9423   2483758       670     47205         0    102943    251870   1882833     23.35     24.59
3162.74/396.31	c  N dy  9543   2504070       670     47205         0    123059    251870   2632844     23.36     24.62
3205.06/401.66	c  N dy  9620   2531527       670     47205         0     81203    251870   1113652     23.35     24.65
3234.64/405.40	c  N dy  9711   2552307       670     47205         0    101784    251870   1899322     23.35     24.77
3267.33/409.49	c  N dy  9820   2572338       670     47205         0    121635    251870   2618452     23.36     24.78
3303.27/413.99	c  N dy  9912   2592359       670     47205         0     71253    251870    612338     23.36     28.62
3332.80/417.69	c  N dy 10033   2613212       670     47205         0     91898    251870   1358134     23.37     24.79
3364.75/421.67	c  N dy 10162   2633258       670     47205         0    111783    251870   2101026     23.39     27.64
3399.08/425.93	c  N dy 10257   2653269       670     47205         0    131625    251870   2837244     23.39     24.72
3431.80/430.02	c  N dy 10366   2673367       670     47205         0     80322    251870    928110     23.40     26.74
3463.88/434.06	c  N dy 10402   2695239       670     47205         0    102025    251870   1782438     23.38     24.97
3495.69/438.05	c  N dy 10488   2715284       670     47205         0    121904    251870   2548272     23.39     26.31
3531.63/442.59	c  N dy 10600   2735382       670     47205         0    141869    251870   3316472     23.39     29.08
3564.35/446.65	c  N dy 10687   2757528       670     47205         0     91492    251870   1325234     23.39     24.69
3595.63/450.55	c  N dy 10792   2777545       670     47205         0    111309    251870   2049439     23.40     28.32
3629.88/454.86	c  N dy 10902   2798169       670     47205         0    131737    251870   2794264     23.41     24.67
3665.02/459.31	c  N dy 11011   2818258       670     47205         0     78425    251869    785711     23.42     24.80
3694.51/462.93	c  N dy 11080   2839193       670     47205         0     99182    251869   1593482     23.41     24.67
3727.36/467.04	c  N dy 11095   2861450       670     47205         0    121277    251869   2476508     23.39     24.80
3761.61/471.32	c  N dy 11186   2881467       670     47205         0    141043    251869   3175299     23.39     24.77
3835.02/480.51	c  N dy 11257   2923595       670     47205         0    108595    251869   2027085     23.36     24.96
3907.69/489.60	c  N dy 11321   2964321       670     47205         0    148645    251869   3619502     23.32     24.99
3937.27/493.32	c  N dy 11358   2984336       670     47205         0     93465    251869   1325150     23.31     26.59
3966.78/497.01	c  N dy 11389   3004397       670     47205         0    113203    251869   2100106     23.30     24.66
4000.31/501.23	c  N dy 11511   3024406       670     47205         0    133010    251869   2841613     23.31     26.38
4037.84/505.95	c  N dy 11611   3044809       670     47205         0     77243    251869    663987     23.32     24.57
4068.18/509.72	c  N dy 11636   3065825       670     47205         0     97981    251869   1481556     23.30     24.69
4183.20/524.14	c  N dy 11738   3132548       670     47205         0     87010    251869   1047708     23.25     24.54
4212.69/527.87	c  N dy 11856   3152593       670     47205         0    106874    251869   1803529     23.26     26.27
4247.03/532.19	c  N dy 11954   3173738       670     47205         0    127795    251869   2596025     23.26     24.69
4286.15/537.05	c  N dy 12053   3195744       670     47205         0    149574    251869   3395579     23.27     24.51
4330.07/542.59	c  N dy 12091   3226313       670     47205         0    101749    251869   1570831     23.25     24.48
4364.41/546.88	c  N dy 12220   3246352       670     47205         0    121635    251869   2305334     23.26     28.43
4399.54/551.22	c  N dy 12305   3266434       670     47205         0    141471    251869   3063612     23.26     24.61
4464.25/559.39	c  N dy 12396   3304617       670     47205         0    100348    251869   1518953     23.24     24.50
4497.74/563.51	c  N dy 12494   3325131       670     47205         0    120687    251869   2282664     23.24     24.62
4530.48/567.68	c  N dy 12582   3345515       670     47205         0    140904    251869   3053998     23.24     24.76
4567.21/572.26	c  N dy 12626   3365568       670     47205         0     80654    251869    667616     23.23     28.77
4595.99/575.88	c  N dy 12725   3385647       670     47205         0    100552    251869   1437433     23.24     29.98
4630.29/580.11	c  N dy 12798   3408035       670     47205         0    122659    251869   2291611     23.24     24.55
4667.14/584.72	c  N dy 12919   3428103       670     47205         0    142562    251869   3012003     23.25     26.72
4726.10/592.11	c  N dy 12973   3464513       670     47205         0     97334    251869   1287731     23.21     24.45
4759.64/596.34	c  N dy 13125   3484625       670     47205         0    117257    251869   2022878     23.23     24.51
4793.96/600.68	c  N dy 13237   3504691       670     47205         0    137113    251869   2752554     23.24     24.46
4829.90/605.11	c  N dy 13314   3524745       670     47205         0    156906    251869   3472690     23.24     28.24
4867.43/609.86	c  N dy 13420   3547647       670     47205         0     97701    251869   1258193     23.24     24.52
4901.75/614.12	c  N dy 13544   3567735       670     47205         0    117600    251869   1993415     23.25     24.49
4936.90/618.57	c  N dy 13627   3587742       670     47205         0    137430    251869   2772284     23.25     33.34
4975.21/623.30	c  N dy 13725   3607783       670     47205         0    157338    251869   3552175     23.26     26.47
5010.35/627.75	c  N dy 13838   3627796       670     47205         0     94133    251869   1098588     23.26     31.21
5042.29/631.73	c  N dy 13945   3647874       670     47205         0    114040    251869   1835971     23.27     25.69
5075.83/635.94	c  N dy 14040   3667891       670     47205         0    133841    251869   2556953     23.27     27.23
5115.74/640.99	c  N dy 14155   3690153       670     47205         0    155873    251869   3360438     23.28     24.51
5153.26/645.68	c  N dy 14264   3710336       670     47205         0     91818    251869    969829     23.28     24.53
5184.45/649.57	c  N dy 14368   3730358       670     47205         0    111671    251869   1734058     23.28     28.75
5218.74/653.87	c  N dy 14460   3750451       670     47205         0    131588    251869   2481646     23.29     31.05
5221.13/654.14	c  F st 14470   3751562       670     47205         0    132692    251869   2520873     23.29   no data
5257.06/658.65	c  N dy 14570   3770660       670     47205         0    151645    251869   3246124     23.29     24.72
5300.17/664.05	c  N dy 14691   3791339       670     47205         0     87036    251869    750876     23.30     24.58
5407.97/677.58	c  N dy 14761   3852918       670     47205         0    148041    251869   3237860     23.26     24.51
5485.42/687.21	c  N dy 14798   3897864       670     47205         0    106592    251869   1598236     23.23     24.58
5519.07/691.43	c  N dy 14900   3918037       670     47205         0    126581    251869   2339476     23.24     24.46
5559.67/696.56	c  N dy 14995   3941307       670     47205         0    149601    251869   3220837     23.24     24.58
5599.59/701.56	c  N dy 15099   3961400       670     47205         0    169525    251869   3976691     23.24     26.22
5634.72/705.98	c  N dy 15191   3981499       670     47205         0    102343    251869   1264393     23.24     31.69
5666.67/709.94	c  N dy 15265   4001501       670     47205         0    122148    251869   1980801     23.24     27.29
5701.81/714.34	c  N dy 15370   4021592       670     47205         0    142055    251869   2731017     23.25     24.60
5742.52/719.48	c  N dy 15491   4042303       670     47205         0    162545    251869   3478133     23.25     24.55
5780.85/724.25	c  N dy 15577   4062367       670     47205         0     94405    251869    947756     23.26     24.54
5821.57/729.30	c  N dy 15690   4088050       670     47205         0    119883    251869   1924692     23.26     24.68
5851.96/733.20	c  N dy 15734   4108227       670     47205         0    139829    251869   2679487     23.25     24.48
5888.62/737.78	c  N dy 15780   4128309       670     47205         0    159790    251869   3496334     23.25     24.69
5930.16/742.95	c  N dy 15864   4148428       670     47205         0     90651    251869    775656     23.25     24.66
5961.28/746.83	c  N dy 15954   4168485       670     47205         0    110517    251869   1508554     23.25     28.13
5997.22/751.36	c  N dy 16105   4188740       670     47205         0    130622    251869   2257935     23.26     24.71
6033.95/755.97	c  N dy 16214   4208791       670     47205         0    150518    251869   3022873     23.27     29.06
6098.75/764.08	c  N dy 16341   4242591       670     47205         0     93966    251869    877154     23.26     24.75
6133.01/768.34	c  N dy 16385   4265172       670     47205         0    116344    251869   1749816     23.25     24.55
6170.48/773.00	c  N dy 16516   4285283       670     47205         0    136268    251869   2497316     23.26     24.49
6216.79/778.87	c  N dy 16606   4310466       670     47205         0    161289    251869   3493830     23.26     24.52
6267.89/785.22	c  N dy 16610   4336411       670     47205         0     95781    251869    931941     23.24     24.54
6301.42/789.42	c  N dy 16703   4358553       670     47205         0    117679    251869   1758319     23.24     24.73
6338.16/794.00	c  N dy 16812   4378557       670     47205         0    137441    251869   2494698     23.25     25.50
6378.09/799.00	c  N dy 16905   4400193       670     47205         0    158889    251869   3297739     23.25     24.54
6414.94/803.63	c  N dy 16941   4420274       670     47205         0    178754    251869   4040149     23.24     24.85
6451.54/808.28	c  N dy 17069   4440331       670     47205         0    106708    251869   1292464     23.25     24.71
6485.87/812.58	c  N dy 17190   4460456       670     47205         0    126661    251869   2025460     23.26     24.59
6523.40/817.27	c  N dy 17283   4481109       670     47205         0    147095    251869   2773266     23.26     24.52
6560.93/821.94	c  N dy 17332   4501184       670     47205         0    166999    251869   3574847     23.26     24.50
6603.25/827.23	c  N dy 17414   4521465       670     47205         0     94154    251869    794294     23.26     24.50
6635.98/831.37	c  N dy 17563   4541506       670     47205         0    114017    251869   1533565     23.26     26.15
6671.11/835.72	c  N dy 17660   4561565       670     47205         0    133884    251869   2286401     23.27     26.97
6709.45/840.56	c  N dy 17782   4581622       670     47205         0    153766    251869   3028561     23.28     25.92
6761.34/847.03	c  N dy 17813   4608238       670     47205         0    180059    251869   4063139     23.26     24.62
6799.67/851.90	c  N dy 17911   4628477       670     47205         0    106151    251869   1204231     23.26     24.49
6834.00/856.11	c  N dy 18010   4648588       670     47205         0    126091    251869   1954280     23.27     24.70
6869.93/860.61	c  N dy 18101   4668678       670     47205         0    146016    251869   2704837     23.27     26.95
6909.85/865.69	c  N dy 18179   4689463       670     47205         0    166621    251869   3474638     23.27     24.57
6952.16/870.99	c  N dy 18262   4710054       670     47205         0    187022    251869   4250341     23.27     24.80
6988.09/875.40	c  N dy 18380   4730108       670     47205         0    111906    251869   1410798     23.28     27.32
7022.43/879.70	c  N dy 18470   4750171       670     47205         0    131811    251869   2186078     23.28     28.97
7059.96/884.41	c  N dy 18561   4770357       670     47205         0    151718    251869   2902321     23.28     24.56
7100.01/889.45	c  N dy 18640   4790667       670     47205         0    171862    251869   3696005     23.28     24.61
7147.79/895.41	c  N dy 18711   4813458       670     47205         0     98443    251869    868630     23.28     24.78
7180.52/899.56	c  N dy 18820   4833761       670     47205         0    118576    251869   1606665     23.28     24.58
7216.45/904.02	c  N dy 18918   4853847       670     47205         0    138415    251869   2332077     23.29     25.00
7254.78/908.89	c  N dy 19041   4873912       670     47205         0    158322    251869   3076767     23.29     28.78
7299.48/914.41	c  N dy 19171   4893993       670     47205         0    178184    251869   3807702     23.30     29.31
7341.00/919.70	c  N dy 19233   4914068       670     47205         0    101158    251869    939022     23.30     28.31
7372.28/923.59	c  N dy 19288   4934160       670     47205         0    121020    251869   1712295     23.29     27.45
7409.67/928.28	c  N dy 19427   4954230       670     47205         0    140895    251869   2453220     23.30     27.65
7452.79/933.60	c  N dy 19559   4974683       670     47205         0    161177    251869   3198624     23.31     24.62
7504.02/940.02	c  N dy 19649   5000118       670     47205         0    186400    251869   4184773     23.31     24.77
7812.08/978.68	c  N dy 19730   5127616       670     47205         0    115907    251869   1524296     23.21     24.54
7848.81/983.20	c  N dy 19837   5147708       670     47205         0    135832    251869   2251966     23.21     24.44
7883.95/987.69	c  N dy 19900   5167749       670     47205         0    155690    251869   3050011     23.21     26.27
7923.88/992.68	c  N dy 19993   5187797       670     47205         0    175551    251869   3803520     23.21     24.44
7962.99/997.54	c  N dy 20024   5207817       670     47205         0    195297    251869   4580761     23.20     35.07
7998.93/1002.07	c  N dy 20102   5227870       670     47205         0    115231    251869   1377451     23.20     28.65
8035.64/1006.62	c  N dy 20215   5248267       670     47205         0    135404    251869   2138822     23.21     24.47
8073.18/1011.31	c  N dy 20315   5268399       670     47205         0    155396    251869   2907840     23.21     24.77
8116.30/1016.73	c  N dy 20430   5289240       670     47205         0    176033    251869   3687215     23.22     24.53
8158.60/1022.06	c  N dy 20509   5309278       670     47205         0    195853    251869   4432436     23.22     29.54
8196.97/1026.88	c  N dy 20600   5329393       670     47205         0    114927    251869   1366108     23.22     24.54
8230.48/1031.09	c  N dy 20679   5349573       670     47205         0    134834    251869   2128991     23.22     24.45
8267.25/1035.69	c  N dy 20754   5370165       670     47205         0    155240    251869   2909618     23.22     24.80
8307.92/1040.77	c  N dy 20850   5390183       670     47205         0    175077    251869   3663574     23.22     24.49
8352.64/1046.33	c  N dy 20913   5411176       670     47205         0    195848    251869   4450147     23.22     24.56
8454.02/1059.04	c  N dy 20975   5462901       670     47205         0    144918    251869   2578472     23.20     24.68
8493.95/1064.01	c  N dy 21067   5483616       670     47205         0    165450    251869   3371511     23.20     24.49
8534.67/1069.12	c  N dy 21146   5504010       670     47205         0    185633    251869   4127150     23.20     24.43
8583.42/1075.31	c  N dy 21269   5524212       670     47205         0    102978    251869    840367     23.21     25.06
8617.72/1079.52	c  N dy 21374   5544743       670     47205         0    123289    251869   1582913     23.21     24.67
8679.20/1087.28	c  N dy 21424   5578012       670     47205         0    156336    251869   2939075     23.20     24.52
8722.32/1092.67	c  N dy 21465   5599647       670     47205         0    177787    251869   3817993     23.20     24.44
8767.02/1098.20	c  N dy 21562   5619683       670     47205         0    197630    251869   4539877     23.20     32.53
8808.54/1103.40	c  N dy 21645   5639815       670     47205         0    113723    251869   1205937     23.20     24.49
8888.09/1113.49	c  N dy 21665   5681135       670     47205         0    154747    251869   2916675     23.18     24.41
8931.75/1118.93	c  N dy 21762   5702976       670     47205         0    176437    251869   3772602     23.18     24.42
8975.41/1124.49	c  N dy 21863   5722997       670     47205         0    196249    251869   4506822     23.19     24.41
9020.92/1130.12	c  N dy 21963   5743133       670     47205         0    111301    251869   1094016     23.19     24.54
9054.45/1134.39	c  N dy 22058   5763233       670     47205         0    131195    251869   1829107     23.19     24.47
9096.76/1139.62	c  N dy 22158   5785700       670     47205         0    153432    251869   2649708     23.19     24.48
9156.65/1147.18	c  N dy 22207   5816210       670     47205         0    183746    251869   3936456     23.19     24.67
9209.34/1153.72	c  N dy 22285   5839902       670     47205         0    207191    251869   4847168     23.18     24.48
9249.28/1158.71	c  N dy 22399   5860071       670     47205         0    121260    251869   1434748     23.19     24.41
9286.79/1163.45	c  N dy 22526   5880157       670     47205         0    141164    251869   2154290     23.19     29.84
9325.12/1168.23	c  N dy 22596   5900711       670     47205         0    161547    251869   2947008     23.19     24.42
9364.29/1173.15	c  N dy 22648   5920728       670     47205         0    181294    251869   3685990     23.19     25.53
9405.77/1178.36	c  N dy 22715   5940731       670     47205         0    201115    251869   4436603     23.19     27.25
9453.66/1184.38	c  N dy 22846   5961392       670     47205         0    114746    251869   1161547     23.20     25.25
9488.80/1188.77	c  N dy 22948   5981430       670     47205         0    134592    251869   1901356     23.20     24.75
9656.47/1209.76	c  N dy 22995   6055702       670     47205         0    207945    251869   4958037     23.16     24.44
9759.52/1222.65	c  N dy 23051   6106135       670     47205         0    150123    251869   2613098     23.14     24.38
9821.88/1230.45	c  N dy 23142   6137723       670     47205         0    181383    251869   3832375     23.14     24.39
9867.26/1236.15	c  N dy 23243   6157761       670     47205         0    201187    251869   4564176     23.14     34.41
9916.78/1242.35	c  N dy 23362   6177778       670     47205         0    112322    251869   1013546     23.14     24.39
9952.75/1246.86	c  N dy 23500   6197886       670     47205         0    132267    251869   1764462     23.15     24.44
9990.22/1251.56	c  N dy 23528   6217905       670     47205         0    151905    251869   2433829     23.15     26.78
10034.14/1257.08	c  N dy 23643   6238563       670     47205         0    172376    251869   3198356     23.15     24.42
10078.05/1262.50	c  N dy 23744   6258639       670     47205         0    192295    251869   3959242     23.16     29.52
10127.57/1268.77	c  N dy 23875   6278738       670     47205         0    212207    251869   4704091     23.16     27.32
10171.47/1274.20	c  N dy 23983   6299345       670     47205         0    122856    251869   1366307     23.17     24.39
10251.37/1284.26	c  N dy 24046   6344492       670     47205         0    167250    251869   3079668     23.15     24.53
10297.63/1290.03	c  N dy 24147   6365867       670     47205         0    188404    251869   3867061     23.15     24.51
10342.35/1295.60	c  N dy 24221   6385940       670     47205         0    208290    251869   4622353     23.15     28.28
10386.26/1301.11	c  N dy 24309   6405961       670     47205         0    117583    251869   1161464     23.15     24.38
10422.99/1305.71	c  N dy 24445   6425974       670     47205         0    137426    251869   1890384     23.16     25.24
10476.49/1312.48	c  N dy 24528   6454039       670     47205         0    165218    251869   2973349     23.15     24.59
10524.52/1318.48	c  N dy 24666   6475316       670     47205         0    186290    251869   3754681     23.16     24.41
10573.89/1324.68	c  N dy 24816   6495324       670     47205         0    206134    251869   4484212     23.17     24.64
10629.04/1331.52	c  N dy 24941   6516213       670     47205         0    115118    251869   1028530     23.17     24.63
10665.05/1336.02	c  N dy 25011   6536950       670     47205         0    135695    251869   1796137     23.17     24.56
10703.25/1340.86	c  N dy 25111   6556973       670     47205         0    155534    251869   2548884     23.17     30.01
10897.26/1365.13	c  N dy 25162   6639330       670     47205         0    124350    251869   1379734     23.14     24.38
10933.20/1369.70	c  N dy 25262   6659377       670     47205         0    144241    251869   2135869     23.14     24.39
10981.22/1375.69	c  N dy 25358   6683927       670     47205         0    168537    251869   3060708     23.15     24.65
11023.43/1380.95	c  N dy 25447   6703976       670     47205         0    188375    251869   3817596     23.15     27.11
11071.32/1386.96	c  N dy 25562   6724333       670     47205         0    208514    251869   4543830     23.15     24.41
11125.62/1393.71	c  N dy 25696   6744616       670     47205         0    114849    251869    965047     23.16     24.65
11161.54/1398.23	c  N dy 25827   6764667       670     47205         0    134733    251869   1708522     23.16     25.49
11266.94/1411.45	c  N dy 25831   6814268       670     47205         0    184028    251869   3789248     23.14     24.36
11313.26/1417.24	c  N dy 25926   6834318       670     47205         0    203867    251869   4528452     23.14     29.19
11370.74/1424.41	c  N dy 26028   6858697       670     47205         0    228031    251869   5448938     23.14     24.53
11413.85/1429.83	c  N dy 26156   6880164       670     47205         0    134455    251869   1672140     23.14     24.50
11452.19/1434.62	c  N dy 26203   6901016       670     47205         0    155165    251869   2468869     23.14     24.44
11578.47/1450.48	c  N dy 26292   6956420       670     47205         0    209540    251869   4784065     23.12     24.35
11631.82/1457.13	c  N dy 26421   6976495       670     47205         0    229410    251869   5509633     23.13     27.40
11672.56/1462.24	c  N dy 26542   6996572       670     47205         0    133759    251869   1606950     23.13     26.22
11710.87/1467.08	c  N dy 26603   7018075       670     47205         0    155054    251869   2452348     23.13     24.65
11751.61/1472.12	c  N dy 26699   7038087       670     47205         0    174868    251869   3202673     23.13     28.52
11799.50/1478.13	c  N dy 26840   7058150       670     47205         0    194732    251869   3939031     23.14     25.80
11849.01/1484.30	c  N dy 26891   7081843       670     47205         0    218286    251869   4921540     23.13     24.52
11898.51/1490.59	c  N dy 26992   7101888       670     47205         0    121437    251869   1123249     23.14     24.44
11934.45/1495.08	c  N dy 27094   7122013       670     47205         0    141411    251869   1875914     23.14     24.47
11974.35/1500.09	c  N dy 27143   7143791       670     47205         0    162932    251869   2711879     23.14     24.43
12019.07/1505.67	c  N dy 27222   7165179       670     47205         0    184098    251869   3518693     23.14     24.44
12120.48/1518.33	c  N dy 27282   7211638       670     47205         0    230109    251869   5363116     23.12     24.35
12163.60/1523.77	c  N dy 27390   7231640       670     47205         0    132194    251869   1473920     23.12     26.27
12201.17/1528.47	c  N dy 27501   7251675       670     47205         0    152040    251869   2223671     23.13     24.56
12443.85/1558.83	c  N dy 27534   7353831       670     47205         0    134348    251869   1601150     23.05     24.32
12483.10/1563.75	c  N dy 27654   7373922       670     47205         0    154254    251869   2360503     23.06     29.95
12525.29/1569.05	c  N dy 27755   7394584       670     47205         0    174759    251869   3148065     23.06     24.40
12571.60/1574.85	c  N dy 27864   7415214       670     47205         0    195165    251869   3916369     23.06     24.30
12621.90/1581.16	c  N dy 27977   7435566       670     47205         0    215289    251869   4662641     23.07     24.65
12674.61/1587.77	c  N dy 28095   7455615       670     47205         0    235149    251869   5391713     23.07     24.43
12719.34/1593.35	c  N dy 28236   7475617       670     47205         0    135397    251869   1571217     23.08     24.35
12758.42/1598.21	c  N dy 28306   7495774       670     47205         0    155320    251869   2311556     23.08     24.37
12799.28/1603.34	c  N dy 28386   7516256       670     47205         0    175606    251869   3082490     23.08     24.32
12848.65/1609.52	c  N dy 28535   7536274       670     47205         0    195415    251869   3817671     23.08     24.38
12896.56/1615.57	c  N dy 28621   7556481       670     47205         0    215424    251869   4557169     23.08     24.31
12951.66/1622.41	c  N dy 28743   7576489       670     47205         0    235275    251869   5294018     23.09     27.57
12999.58/1628.42	c  N dy 28869   7597755       670     47205         0    135686    251869   1539074     23.09     24.41
13057.84/1635.72	c  N dy 28965   7627694       670     47205         0    165369    251869   2694411     23.09     24.33
13099.36/1640.99	c  N dy 29039   7647735       670     47205         0    185252    251869   3480505     23.09     24.75
13148.88/1647.10	c  N dy 29157   7667832       670     47205         0    205163    251869   4212227     23.10     24.38
13199.97/1653.59	c  N dy 29240   7689713       670     47205         0    226789    251869   5024763     23.10     24.51
13252.67/1660.15	c  N dy 29331   7709786       670     47205         0    125003    251869   1113248     23.10     24.40
13288.61/1664.60	c  N dy 29398   7729803       670     47205         0    144821    251869   1901287     23.10     27.66
13326.92/1669.43	c  N dy 29475   7749809       670     47205         0    164625    251869   2647426     23.10     25.84
13370.18/1674.83	c  N dy 29568   7769869       670     47205         0    184505    251869   3390559     23.10     24.32
13419.55/1681.03	c  N dy 29709   7789950       670     47205         0    204396    251869   4114199     23.11     24.45
13473.04/1687.78	c  N dy 29842   7810387       670     47205         0    224651    251869   4864532     23.11     24.41
13530.53/1694.93	c  N dy 29992   7830415       670     47205         0    244498    251869   5600888     23.12     24.70
13573.64/1700.35	c  N dy 30018   7851925       670     47205         0    143063    251869   1838265     23.11     24.75
13619.16/1706.01	c  N dy 30150   7873543       670     47205         0    164461    251869   2627247     23.11     24.80
13663.07/1711.57	c  N dy 30261   7894212       670     47205         0    184940    251869   3391969     23.12     24.41
13710.98/1717.55	c  N dy 30369   7914263       670     47205         0    204805    251869   4148921     23.12     25.96
13764.52/1724.29	c  N dy 30514   7934401       670     47205         0    224772    251869   4892543     23.13     24.41
13822.76/1731.59	c  N dy 30657   7954769       670     47205         0    244951    251869   5647012     23.13     24.53
13865.88/1736.96	c  N dy 30776   7975015       670     47205         0    141339    251869   1685493     23.14     24.55
13911.39/1742.69	c  N dy 30907   7997713       670     47205         0    163837    251869   2538653     23.14     24.37
13958.63/1748.58	c  N dy 31043   8017746       670     47205         0    183681    251869   3284354     23.15     25.79
14009.61/1755.01	c  N dy 31111   8039911       670     47205         0    205612    251869   4103024     23.14     24.40
14079.08/1763.64	c  N dy 31174   8069652       670     47205         0    235188    251869   5319586     23.13     24.51
14158.91/1773.69	c  N dy 31199   8106390       670     47205         0    146904    251869   1934366     23.12     24.80
14220.39/1781.40	c  N dy 31286   8137929       670     47205         0    178009    251869   3125528     23.12     24.35
14269.09/1787.44	c  N dy 31420   8158029       670     47205         0    197940    251869   3884030     23.13     24.49
14314.61/1793.16	c  N dy 31493   8178038       670     47205         0    217698    251869   4639406     23.12     25.43
14371.43/1800.22	c  N dy 31636   8198603       670     47205         0    238072    251869   5395725     23.13     24.38
14427.19/1807.27	c  N dy 31681   8223883       670     47205         0    137472    251869   1500570     23.13     24.38
14466.32/1812.10	c  N dy 31788   8243982       670     47205         0    157395    251869   2260423     23.13     27.69
14507.82/1817.37	c  N dy 31887   8264020       670     47205         0    177191    251869   3006631     23.13     28.18
14548.54/1822.46	c  N dy 31917   8284514       670     47205         0    197508    251869   3819979     23.13     24.36
14598.89/1828.75	c  N dy 32041   8304640       670     47205         0    217407    251869   4566695     23.13     24.47
14649.95/1835.17	c  N dy 32150   8324692       670     47205         0    237293    251869   5316107     23.13     25.95
14702.66/1841.77	c  N dy 32242   8344741       670     47205         0    130540    251869   1177908     23.13     29.76
14741.77/1846.63	c  N dy 32353   8364954       670     47205         0    150543    251869   1917381     23.14     24.49
14782.50/1851.71	c  N dy 32449   8385053       670     47205         0    170431    251869   2665851     23.14     24.40
14824.82/1857.00	c  N dy 32537   8405150       670     47205         0    190337    251869   3398304     23.14     26.23
14875.11/1863.36	c  N dy 32663   8425446       670     47205         0    210455    251869   4133998     23.14     24.39
14922.23/1869.24	c  N dy 32676   8446007       670     47205         0    230786    251869   4957177     23.14     24.36
14978.11/1876.25	c  N dy 32806   8466095       670     47205         0    250668    251869   5703820     23.14     25.84
15031.60/1882.94	c  N dy 32913   8491486       670     47205         0    148180    251869   1802483     23.14     24.38
15103.47/1891.97	c  N dy 32948   8525130       670     47205         0    181599    251869   3260370     23.13     24.56
15202.47/1904.36	c  N dy 33017   8567232       670     47205         0    223392    251869   4946241     23.12     24.39
15255.97/1911.05	c  N dy 33133   8587331       670     47205         0    243303    251869   5692769     23.12     27.14
15311.86/1918.06	c  N dy 33266   8607370       670     47205         0    134459    251869   1264789     23.13     27.88
15351.80/1923.03	c  N dy 33362   8627987       670     47205         0    154892    251869   2054331     23.13     24.40
15395.71/1928.52	c  N dy 33481   8648047       670     47205         0    174791    251869   2816512     23.14     26.65
15443.61/1934.51	c  N dy 33604   8668468       670     47205         0    195019    251869   3579018     23.14     24.42
15491.52/1940.51	c  N dy 33687   8688523       670     47205         0    214933    251869   4386187     23.14     29.34
15546.62/1947.50	c  N dy 33821   8708900       670     47205         0    235155    251869   5154614     23.15     24.37
15596.91/1953.71	c  N dy 33875   8728992       670     47205         0    255089    251869   5928988     23.14     29.05
15641.62/1959.35	c  N dy 33974   8749169       670     47205         0    145366    251869   1637541     23.15     24.52
15683.13/1964.60	c  N dy 34087   8769182       670     47205         0    165193    251869   2362154     23.15     24.38
15740.68/1971.77	c  N dy 34176   8796559       670     47205         0    192339    251869   3405240     23.15     24.55
15834.05/1983.43	c  N dy 34219   8835269       670     47205         0    230764    251869   5030744     23.14     24.49
15889.98/1990.42	c  N dy 34346   8855610       670     47205         0    250923    251869   5777554     23.14     24.42
15941.04/1996.89	c  N dy 34450   8876304       670     47205         0    140673    251869   1447933     23.14     24.48
15982.55/2002.06	c  N dy 34549   8898010       670     47205         0    162222    251869   2292056     23.14     24.53
16027.27/2007.62	c  N dy 34668   8918046       670     47205         0    182090    251869   3030974     23.15     24.37
16093.55/2015.99	c  N dy 34785   8946314       670     47205         0    210139    251869   4124322     23.15     24.46
16323.49/2044.75	c  N dy 34897   9042264       670     47205         0    173235    251869   2787706     23.11     24.40
16368.21/2050.34	c  N dy 35008   9062824       670     47205         0    193613    251869   3569179     23.11     24.40
16418.51/2056.65	c  N dy 35152   9082826       670     47205         0    213464    251869   4313951     23.12     24.56
16468.03/2062.88	c  N dy 35241   9102881       670     47205         0    233368    251869   5078459     23.12     27.75
16524.71/2069.93	c  N dy 35377   9122929       670     47205         0    253227    251869   5832465     23.12     26.48
16579.00/2076.78	c  N dy 35483   9144090       670     47205         0    141626    251869   1425623     23.13     24.39
16623.72/2082.36	c  N dy 35633   9165718       670     47205         0    163098    251869   2249730     23.13     24.45
16666.03/2087.66	c  N dy 35716   9185836       670     47205         0    183075    251869   3028894     23.13     24.35
16713.14/2093.57	c  N dy 35830   9205861       670     47205         0    202949    251869   3782999     23.14     24.48
16773.02/2101.04	c  N dy 35880   9231518       670     47205         0    228182    251869   4709574     23.13     24.42
16849.67/2110.70	c  N dy 35960   9263729       670     47205         0    259979    251869   5984028     23.13     24.42
16901.57/2117.14	c  N dy 36095   9283763       670     47205         0    146320    251869   1563823     23.13     26.75
16942.30/2122.23	c  N dy 36190   9304016       670     47205         0    166386    251869   2319112     23.13     24.50
16984.62/2127.56	c  N dy 36275   9324134       670     47205         0    186323    251869   3067688     23.13     24.43
17033.30/2133.66	c  N dy 36398   9344377       670     47205         0    206369    251869   3831850     23.14     24.44
17085.33/2140.15	c  N dy 36510   9364385       670     47205         0    226187    251869   4587644     23.14     25.81
17148.28/2148.06	c  N dy 36673   9386380       670     47205         0    248009    251869   5408645     23.15     24.57
17254.48/2161.32	c  N dy 36760   9432041       670     47205         0    158779    251869   2103791     23.14     24.39
17300.00/2167.04	c  N dy 36906   9452289       670     47205         0    178818    251869   2847974     23.14     24.39
17347.95/2173.05	c  N dy 37031   9472745       670     47205         0    199077    251869   3614153     23.15     24.45
17391.02/2178.50	c  N dy 37044   9493297       670     47205         0    219402    251869   4398022     23.14     24.41
17445.45/2185.23	c  N dy 37161   9513359       670     47205         0    239286    251869   5139379     23.14     26.84
17501.20/2192.29	c  N dy 37278   9533436       670     47205         0    259165    251869   5876136     23.15     24.53
17555.50/2199.03	c  N dy 37383   9553475       670     47205         0    143417    251869   1395008     23.15     29.63
17593.03/2203.72	c  N dy 37431   9573510       670     47205         0    163275    251869   2188198     23.15     25.35
17633.75/2208.88	c  N dy 37481   9595402       670     47205         0    184923    251869   2996573     23.14     24.37
17681.70/2214.91	c  N dy 37551   9616678       670     47205         0    205930    251869   3760577     23.14     24.42
17736.73/2221.74	c  N dy 37646   9639039       670     47205         0    228061    251869   4618667     23.14     24.41
17791.03/2228.50	c  N dy 37745   9659095       670     47205         0    247923    251869   5358888     23.15     30.19
17850.12/2235.91	c  N dy 37868   9679125       670     47205         0    267756    251869   6101848     23.15     24.45
17900.44/2242.31	c  N dy 37904   9702116       670     47205         0    153981    251869   1816795     23.14     24.52
17942.74/2247.53	c  N dy 37991   9722167       670     47205         0    173851    251869   2577628     23.15     28.64
17990.65/2253.56	c  N dy 38037   9745029       670     47205         0    196490    251869   3468070     23.14     24.39
18040.16/2259.77	c  N dy 38135   9766511       670     47205         0    217757    251869   4277362     23.15     24.44
18093.65/2266.49	c  N dy 38259   9786537       670     47205         0    237622    251869   5023250     23.15     30.04
18149.53/2273.47	c  N dy 38388   9806547       670     47205         0    257474    251869   5775291     23.15     26.73
18204.63/2280.37	c  N dy 38433   9826741       670     47205         0    139978    251869   1218104     23.15     24.43
18245.34/2285.45	c  N dy 38557   9846800       670     47205         0    159872    251869   1971307     23.16     29.82
18286.89/2290.60	c  N dy 38640   9866840       670     47205         0    179729    251869   2727706     23.16     30.95
18338.78/2297.11	c  N dy 38781   9887636       670     47205         0    200290    251869   3480115     23.16     24.39
18391.48/2303.75	c  N dy 38904   9907647       670     47205         0    220076    251869   4219827     23.16     24.42
18448.95/2310.97	c  N dy 39038   9927737       670     47205         0    239945    251869   4939029     23.17     28.03
18503.24/2317.70	c  N dy 39107   9948951       670     47205         0    260845    251869   5749411     23.17     24.46
18562.33/2325.12	c  N dy 39207   9969041       670     47205         0    142289    251869   1271907     23.17     28.50
18603.06/2330.30	c  N dy 39296   9990661       670     47205         0    163648    251869   2064167     23.17     24.41
18646.97/2335.78	c  N dy 39387  10010692       670     47205         0    183444    251869   2788131     23.17     26.02
18691.73/2341.37	c  N dy 39404  10032397       670     47205         0    204902    251869   3667457     23.17     24.48
18745.98/2348.10	c  N dy 39540  10052511       670     47205         0    224835    251869   4400684     23.17     24.47
18798.66/2354.77	c  N dy 39640  10072602       670     47205         0    244670    251869   5135358     23.17     25.45
18860.95/2362.54	c  N dy 39788  10092613       670     47205         0    264494    251869   5875920     23.18     25.89
18916.85/2369.53	c  N dy 39900  10112780       670     47205         0    145089    251869   1350452     23.18     24.43
18958.36/2374.77	c  N dy 40020  10132815       670     47205         0    164909    251869   2092675     23.18     26.43
19010.26/2381.23	c  N dy 40085  10157573       670     47205         0    189425    251869   3056540     23.18     24.44
19058.98/2387.30	c  N dy 40181  10177688       670     47205         0    209356    251869   3820328     23.18     24.48
19108.47/2393.58	c  N dy 40252  10198497       670     47205         0    229959    251869   4607495     23.18     24.58
19171.56/2401.46	c  N dy 40380  10221318       670     47205         0    252537    251869   5444980     23.19     24.41
19232.24/2409.03	c  N dy 40500  10241356       670     47205         0    272408    251869   6195463     23.19     24.78
19284.12/2415.59	c  N dy 40615  10261709       670     47205         0    152165    251869   1597661     23.19     24.62
19324.98/2420.64	c  N dy 40690  10281717       670     47205         0    171990    251869   2345421     23.19     24.68
19369.52/2426.27	c  N dy 40773  10301815       670     47205         0    191931    251869   3137977     23.19     27.01
19423.02/2432.96	c  N dy 40940  10321853       670     47205         0    211762    251869   3872264     23.20     26.45
19469.34/2438.75	c  N dy 40944  10342400       670     47205         0    232173    251869   4773922     23.19     24.45
19525.23/2445.73	c  N dy 41040  10362416       670     47205         0    251966    251869   5482626     23.20     24.69
19582.71/2452.90	c  N dy 41138  10382493       670     47205         0    271879    251869   6256002     23.20     26.28
19641.78/2460.34	c  N dy 41282  10402626       670     47205         0    150319    251869   1486316     23.20     24.76
19686.51/2465.94	c  N dy 41425  10422685       670     47205         0    170164    251869   2226882     23.21     28.33
19736.02/2472.17	c  N dy 41544  10444156       670     47205         0    191453    251869   3020557     23.21     24.49
19779.94/2477.66	c  N dy 41591  10464236       670     47205         0    211356    251869   3805442     23.21     26.39
19831.84/2484.14	c  N dy 41633  10485779       670     47205         0    232584    251869   4584312     23.21     24.45
19918.06/2494.94	c  N dy 41706  10518786       670     47205         0    265192    251869   5869030     23.20     24.50
19982.77/2503.07	c  N dy 41826  10538842       670     47205         0    142631    251869   1171325     23.21     29.57
20021.05/2507.90	c  N dy 41900  10559024       670     47205         0    162605    251869   1914989     23.21     24.67
20070.61/2514.02	c  N dy 42018  10580800       670     47205         0    184125    251869   2706739     23.21     24.47
20114.51/2519.61	c  N dy 42090  10600905       670     47205         0    204040    251869   3467336     23.21     24.47
20166.39/2526.08	c  N dy 42197  10621526       670     47205         0    224492    251869   4227308     23.21     24.47
20221.47/2532.97	c  N dy 42320  10641529       670     47205         0    244234    251869   4944515     23.21     32.37
20284.53/2540.82	c  N dy 42462  10661829       670     47205         0    264345    251869   5688354     23.22     24.53
20342.04/2548.04	c  N dy 42542  10682550       670     47205         0    284918    251869   6499247     23.22     24.67
20389.13/2553.97	c  N dy 42640  10702826       670     47205         0    161506    251869   1851859     23.22     24.47
20433.86/2559.56	c  N dy 42764  10722912       670     47205         0    181414    251869   2587348     23.22     26.92
20476.17/2564.89	c  N dy 42822  10743541       670     47205         0    201769    251869   3366596     23.22     24.47
20527.31/2571.28	c  N dy 42894  10764462       670     47205         0    222480    251869   4134546     23.22     24.45
20581.55/2578.05	c  N dy 43004  10784640       670     47205         0    242438    251869   4889360     23.22     24.62
20655.01/2587.28	c  N dy 43139  10809985       670     47205         0    267427    251869   5811983     23.23     24.46
20713.29/2594.52	c  N dy 43224  10829992       670     47205         0    287238    251869   6548115     23.23     27.59
20760.42/2600.47	c  N dy 43354  10850109       670     47205         0    162857    251869   1879495     23.23     24.53
20801.13/2605.59	c  N dy 43412  10870173       670     47205         0    182679    251869   2633687     23.23     24.51
20849.85/2611.69	c  N dy 43518  10890441       670     47205         0    202736    251869   3380962     23.23     24.47
20901.75/2618.17	c  N dy 43603  10911624       670     47205         0    223744    251869   4176063     23.23     24.51
20964.01/2625.97	c  N dy 43668  10936653       670     47205         0    248559    251869   5162316     23.23     24.53
21021.50/2633.18	c  N dy 43747  10958280       670     47205         0    270038    251869   6027896     23.23     24.48
21082.99/2640.80	c  N dy 43851  10978355       670     47205         0    289908    251869   6763914     23.23     25.65
21134.88/2647.38	c  N dy 43942  11001605       670     47205         0    167534    251869   2032730     23.23     25.05
21184.39/2653.56	c  N dy 43980  11025520       670     47205         0    191325    251869   3009301     23.23     24.49
21233.10/2659.61	c  N dy 44092  11045547       670     47205         0    211134    251869   3718346     23.23     26.36
21281.81/2665.77	c  N dy 44171  11065581       670     47205         0    230946    251869   4449837     23.23     28.80
21334.51/2672.39	c  N dy 44252  11085745       670     47205         0    250897    251869   5192739     23.23     24.75
21389.58/2679.29	c  N dy 44342  11105870       670     47205         0    270859    251869   5960311     23.23     24.56
21448.69/2686.60	c  N dy 44423  11126589       670     47205         0    291326    251869   6742653     23.23     24.46
21500.58/2693.16	c  N dy 44551  11148267       670     47205         0    166418    251869   1957051     23.24     24.51
21544.50/2698.60	c  N dy 44640  11168302       670     47205         0    186221    251869   2703725     23.24     26.85
21598.00/2705.35	c  N dy 44772  11190546       670     47205         0    208267    251869   3516562     23.24     24.47
21651.53/2712.04	c  N dy 44881  11210592       670     47205         0    228142    251869   4256125     23.24     27.57
21708.97/2719.25	c  N dy 45015  11230657       670     47205         0    248010    251869   4998916     23.24     25.30
21770.45/2726.90	c  N dy 45062  11254259       670     47205         0    271302    251869   5908517     23.24     24.57
21852.70/2737.25	c  N dy 45115  11285464       670     47205         0    154904    251869   1516718     23.24     24.55
21895.81/2742.68	c  N dy 45199  11306001       670     47205         0    175259    251869   2287488     23.24     24.73
21952.49/2749.79	c  N dy 45259  11331884       670     47205         0    200855    251869   3278539     23.23     24.51
22010.80/2757.09	c  N dy 45376  11354677       670     47205         0    223389    251869   4109046     23.24     24.57
22069.07/2764.37	c  N dy 45519  11375887       670     47205         0    244414    251869   4911205     23.24     24.51
22131.35/2772.10	c  N dy 45654  11396377       670     47205         0    264712    251869   5676316     23.24     24.57
22186.44/2779.06	c  N dy 45725  11416589       670     47205         0    284753    251869   6458236     23.24     24.67
22246.32/2786.54	c  N dy 45842  11436752       670     47205         0    156227    251869   1484522     23.25     24.48
22291.04/2792.16	c  N dy 45952  11457180       670     47205         0    176486    251869   2237889     23.25     24.64
22335.76/2797.75	c  N dy 46028  11477248       670     47205         0    196349    251869   2993998     23.25     24.80
22388.44/2804.37	c  N dy 46164  11497275       670     47205         0    216181    251869   3711747     23.25     27.68
22441.99/2811.09	c  N dy 46273  11517335       670     47205         0    236024    251869   4471153     23.25     24.50
22565.84/2826.54	c  N dy 46289  11561609       670     47205         0    279812    251869   6318663     23.24     24.53
22643.16/2836.25	c  N dy 46413  11586844       670     47205         0    155462    251869   1469754     23.25     24.48
22686.27/2841.68	c  N dy 46531  11606901       670     47205         0    175322    251869   2224329     23.25     24.64
22742.16/2848.61	c  N dy 46552  11633245       670     47205         0    201430    251869   3265086     23.24     24.57
22791.67/2854.84	c  N dy 46616  11653335       670     47205         0    221402    251869   4060491     23.24     31.54
22847.55/2861.85	c  N dy 46736  11673408       670     47205         0    241289    251869   4799179     23.24     26.38
22909.03/2869.55	c  N dy 46774  11696831       670     47205         0    264508    251869   5703799     23.24     24.48
23047.18/2886.90	c  N dy 46811  11748608       670     47205         0    165410    251869   1864112     23.22     24.51
23152.56/2900.08	c  N dy 46887  11795101       670     47205         0    211488    251869   3644386     23.21     24.47
23205.26/2906.61	c  N dy 46997  11815129       670     47205         0    231343    251869   4408802     23.21     24.49
23266.75/2914.34	c  N dy 47037  11840335       670     47205         0    256384    251869   5440091     23.21     24.46
23329.05/2922.17	c  N dy 47173  11860421       670     47205         0    276279    251869   6168580     23.22     24.62
23384.11/2929.08	c  N dy 47227  11880461       670     47205         0    296159    251869   6944535     23.21     25.75
23443.24/2936.45	c  N dy 47358  11902235       670     47205         0    166194    251869   1791383     23.22     24.45
23490.29/2942.32	c  N dy 47464  11922858       670     47205         0    186637    251869   2579723     23.22     24.48
23536.61/2948.13	c  N dy 47551  11942914       670     47205         0    206444    251869   3329746     23.22     29.78
23594.09/2955.33	c  N dy 47663  11965634       670     47205         0    228967    251868   4198372     23.22     24.58
23650.00/2962.38	c  N dy 47767  11986499       670     47205         0    249650    251868   4988072     23.22     24.50
23713.87/2970.31	c  N dy 47899  12007322       670     47205         0    270267    251868   5769285     23.22     24.87
23777.00/2978.25	c  N dy 48015  12027323       670     47205         0    290112    251868   6511378     23.23     24.66
23840.01/2986.14	c  N dy 48114  12047389       670     47205         0    157518    251868   1426565     23.23     29.29
23884.73/2991.80	c  N dy 48237  12067420       670     47205         0    177331    251868   2144626     23.23     24.51
23932.65/2997.70	c  N dy 48337  12087527       670     47205         0    197229    251868   2877336     23.23     24.51
23986.14/3004.47	c  N dy 48421  12109559       670     47205         0    219002    251868   3674585     23.23     24.64
24036.44/3010.77	c  N dy 48486  12129765       670     47205         0    239014    251868   4469422     23.23     24.60
24098.72/3018.53	c  N dy 48603  12151144       670     47205         0    260153    251868   5264916     23.23     24.58
24162.60/3026.52	c  N dy 48736  12171230       670     47205         0    280043    251868   6005188     23.24     26.10
24215.30/3033.21	c  N dy 48775  12191261       670     47205         0    299862    251868   6781356     23.24     27.22
24275.18/3040.63	c  N dy 48922  12211303       670     47205         0    166386    251868   1752933     23.24     25.88
24342.24/3049.08	c  N dy 49002  12242369       670     47205         0    197167    251868   2999412     23.24     24.71
24394.14/3055.50	c  N dy 49129  12262440       670     47205         0    217072    251868   3750966     23.24     27.19
24445.37/3061.98	c  N dy 49212  12282448       670     47205         0    236820    251868   4502186     23.24     28.73
24504.34/3069.38	c  N dy 49335  12303034       670     47205         0    257196    251868   5255661     23.24     24.67
24561.81/3076.58	c  N dy 49420  12323648       670     47205         0    277518    251868   5963262     23.24     24.49
24624.09/3084.35	c  N dy 49539  12343699       670     47205         0    297398    251868   6728543     23.25     33.15
24735.21/3098.25	c  N dy 49628  12388256       670     47205         0    187162    251868   2582965     23.24     24.84
24833.28/3110.57	c  N dy 49740  12429177       670     47205         0    227465    251868   4165398     23.24     24.55
24900.36/3118.92	c  N dy 49850  12453584       670     47205         0    251652    251868   5089871     23.24     24.51
24994.57/3130.78	c  N dy 49951  12488572       670     47205         0    286244    251868   6462809     23.24     24.63
25050.50/3137.77	c  N dy 50017  12508603       670     47205         0    306010    251868   7213683     23.24     27.58
25104.76/3144.57	c  N dy 50149  12528642       670     47205         0    170726    251868   1854831     23.24     24.76
25153.47/3150.61	c  N dy 50259  12548857       670     47205         0    190776    251868   2602523     23.24     24.55
25202.17/3156.80	c  N dy 50375  12568948       670     47205         0    210673    251868   3344789     23.24     29.07
25252.51/3163.11	c  N dy 50419  12591074       670     47205         0    232652    251868   4247702     23.24     24.58
25309.15/3170.10	c  N dy 50518  12611157       670     47205         0    252494    251868   4991866     23.24     32.56
25397.78/3181.25	c  N dy 50559  12643765       670     47205         0    284749    251868   6266892     23.24     24.55
25466.45/3189.89	c  N dy 50672  12666174       670     47205         0    306968    251868   7129289     23.24     24.60
25521.55/3196.73	c  N dy 50778  12686232       670     47205         0    170591    251868   1817819     23.24     31.49
25566.27/3202.39	c  N dy 50879  12706277       670     47205         0    190411    251868   2577131     23.24     30.54
25614.95/3208.42	c  N dy 50959  12727004       670     47205         0    210949    251868   3379039     23.24     24.51
25700.44/3219.15	c  N dy 51003  12762741       670     47205         0    246160    251868   4762800     23.23     24.52
25758.69/3226.43	c  N dy 51101  12782829       670     47205         0    266041    251868   5515353     23.23     24.47
25819.37/3234.06	c  N dy 51221  12802991       670     47205         0    286031    251868   6282110     23.24     24.52
25893.67/3243.36	c  N dy 51310  12828613       670     47205         0    311448    251868   7266731     23.24     24.52
25945.53/3249.86	c  N dy 51402  12848643       670     47205         0    174056    251868   1916154     23.24     24.51
25989.43/3255.40	c  N dy 51480  12868658       670     47205         0    193833    251868   2693700     23.24     27.10
26038.14/3261.48	c  N dy 51569  12888708       670     47205         0    213653    251868   3420392     23.24     24.47
26087.78/3267.67	c  N dy 51633  12908806       670     47205         0    233582    251868   4189118     23.24     25.76
26145.14/3274.88	c  N dy 51759  12928847       670     47205         0    253459    251868   4935851     23.24     24.50
26260.13/3289.24	c  N dy 51885  12970392       670     47205         0    294495    251868   6502787     23.24     24.52
26327.98/3297.70	c  N dy 51984  12990482       670     47205         0    314340    251868   7229512     23.24     24.49
26377.61/3303.97	c  N dy 52082  13010525       670     47205         0    176015    251868   1954848     23.24     24.50
26424.59/3309.81	c  N dy 52169  13030628       670     47205         0    195894    251868   2687970     23.24     24.50
26470.10/3315.58	c  N dy 52241  13051010       670     47205         0    216075    251868   3461202     23.24     24.50
26523.60/3322.21	c  N dy 52348  13071045       670     47205         0    235925    251868   4213578     23.24     24.48
26579.62/3329.29	c  N dy 52450  13091117       670     47205         0    255786    251868   4942691     23.25     29.16
26635.38/3336.27	c  N dy 52506  13111144       670     47205         0    275648    251868   5733083     23.24     27.04
26698.46/3344.19	c  F st 52635  13130467       670     47205         0    294807    251868   6445748     23.25   no data
26702.57/3344.65	c  N st 52638  13131654       670     47205         0    295979    251868   6491590     23.25   no data
26797.47/3356.58	c  N dy 52704  13165510       670     47205         0    170251    251868   1753101     23.24     24.63
26845.37/3362.59	c  N dy 52829  13185612       670     47205         0    190164    251868   2486172     23.25     24.51
26898.87/3369.26	c  N dy 52972  13206030       670     47205         0    210391    251868   3231352     23.25     24.57
26945.98/3375.12	c  N dy 53021  13226071       670     47205         0    230304    251868   4006367     23.25     24.58
27003.47/3382.38	c  N dy 53159  13246170       670     47205         0    250233    251868   4780249     23.25     29.24
27067.33/3390.33	c  N dy 53276  13267079       670     47205         0    270947    251868   5572715     23.25     24.66
27139.20/3399.34	c  N dy 53354  13292261       670     47205         0    295879    251868   6568125     23.25     24.49
27203.88/3407.42	c  N dy 53453  13313408       670     47205         0    316844    251868   7381066     23.25     24.53
27257.37/3414.11	c  N dy 53547  13333522       670     47205         0    176461    251868   1907657     23.25     24.67
27307.73/3420.44	c  N dy 53696  13353768       670     47205         0    196543    251868   2655920     23.26     24.55
27489.72/3443.21	c  N dy 53757  13422992       670     47205         0    265022    251868   5448843     23.24     24.49
27566.37/3452.87	c  N dy 53810  13451789       670     47205         0    293481    251868   6554750     23.24     24.49
27646.22/3462.86	c  N dy 53875  13480125       670     47205         0    321303    251868   7640194     23.24     24.58
27699.72/3469.59	c  N dy 53996  13500528       670     47205         0    180370    251868   2043086     23.24     24.49
27746.03/3475.35	c  N dy 54054  13520932       670     47205         0    200499    251868   2825589     23.24     24.59
27799.56/3482.09	c  N dy 54199  13540951       670     47205         0    220336    251868   3562430     23.24     27.37
27857.80/3489.37	c  N dy 54342  13561020       670     47205         0    240231    251868   4291862     23.25     26.99
27914.62/3496.45	c  N dy 54421  13581973       670     47205         0    260977    251868   5087241     23.25     24.50
27976.11/3504.19	c  N dy 54529  13601980       670     47205         0    280789    251868   5826474     23.25     28.37
28040.65/3512.26	c  N dy 54629  13622294       670     47205         0    300913    251868   6605474     23.25     24.69
28111.72/3521.11	c  N dy 54732  13643264       670     47205         0    321714    251868   7386601     23.25     24.65
28165.20/3527.82	c  N dy 54821  13663343       670     47205         0    179349    251868   1956831     23.25     24.52
28210.71/3533.55	c  N dy 54906  13683373       670     47205         0    199163    251868   2708253     23.25     24.48
28273.83/3541.45	c  N dy 55024  13709136       670     47205         0    224691    251868   3693096     23.25     24.58
28330.48/3548.58	c  N dy 55151  13729215       670     47205         0    244614    251868   4441697     23.25     24.71
28403.14/3557.66	c  N dy 55269  13754200       670     47205         0    269371    251868   5358415     23.26     24.53
28455.05/3564.12	c  N dy 55308  13774242       670     47205         0    289219    251868   6148593     23.25     28.81
28529.42/3573.44	c  N dy 55418  13798566       670     47205         0    313352    251868   7107941     23.26     24.65
28597.97/3582.02	c  N dy 55537  13818567       670     47205         0    169917    251868   1579168     23.26     28.02
28650.66/3588.64	c  N dy 55588  13844677       670     47205         0    195663    251868   2583289     23.25     24.58
28699.36/3594.70	c  N dy 55681  13864753       670     47205         0    215505    251868   3327690     23.25     24.55
28772.83/3603.97	c  N dy 55732  13894788       670     47205         0    245299    251868   4550876     23.25     24.48
28831.90/3611.37	c  N dy 55842  13914824       670     47205         0    265179    251868   5307115     23.25     29.18
28888.63/3618.50	c  N dy 55913  13935233       670     47205         0    285405    251868   6104786     23.25     24.52
28970.83/3628.75	c  N dy 56041  13961291       670     47205         0    311248    251868   7058607     23.25     24.53
29041.09/3637.51	c  N dy 56155  13981356       670     47205         0    166855    251868   1432807     23.25     29.43
29085.01/3643.04	c  N dy 56243  14001515       670     47205         0    186763    251868   2144898     23.25     24.50
29134.56/3649.31	c  N dy 56361  14021625       670     47205         0    206705    251868   2882216     23.26     24.57
29188.81/3656.04	c  N dy 56473  14041697       670     47205         0    226583    251868   3608209     23.26     32.26
29243.90/3662.94	c  N dy 56581  14061861       670     47205         0    246571    251868   4362521     23.26     24.60
29302.32/3670.24	c  N dy 56660  14081873       670     47205         0    266416    251868   5133436     23.26     29.49
29369.26/3678.60	c  N dy 56807  14102138       670     47205         0    286481    251868   5863958     23.26     24.86
29429.94/3686.26	c  N dy 56880  14122204       670     47205         0    306325    251868   6633441     23.26     25.81
29493.03/3694.12	c  N dy 56955  14142222       670     47205         0    326137    251868   7399025     23.26     24.74
29549.71/3701.25	c  N dy 57056  14162237       670     47205         0    180679    251868   1933369     23.26     26.47
29597.61/3707.28	c  N dy 57165  14182258       670     47205         0    200496    251868   2679407     23.27     24.61
29648.70/3713.63	c  N dy 57250  14202354       670     47205         0    220393    251868   3424394     23.27     25.61
29731.79/3724.08	c  N dy 57348  14234876       670     47205         0    252642    251868   4631060     23.26     24.54
29790.85/3731.42	c  N dy 57437  14255183       670     47205         0    272790    251868   5392824     23.26     24.70
29849.92/3738.87	c  N dy 57491  14275210       670     47205         0    292644    251868   6147161     23.26     24.60
29920.19/3747.68	c  N dy 57627  14295241       670     47205         0    312481    251868   6869276     23.26     24.65
30027.17/3761.07	c  N dy 57707  14332265       670     47205         0    182807    251868   2006974     23.26     24.67
30077.48/3767.36	c  N dy 57849  14352341       670     47205         0    202706    251868   2752213     23.26     25.50
30130.17/3773.93	c  N dy 57968  14372357       670     47205         0    222552    251868   3492705     23.27     24.57
30194.05/3781.98	c  N dy 57983  14398652       670     47205         0    248533    251868   4514993     23.26     24.56
30247.55/3788.69	c  N dy 58038  14418847       670     47205         0    268459    251868   5253884     23.26     24.63
30311.46/3796.64	c  N dy 58158  14438888       670     47205         0    288304    251868   6003881     23.26     25.06
30485.49/3818.45	c  N dy 58234  14498888       670     47205         0    180620    251868   1907762     23.25     24.49
30531.04/3824.21	c  N dy 58319  14519006       670     47205         0    200540    251868   2678138     23.25     24.54
30582.11/3830.55	c  N dy 58432  14539033       670     47205         0    220321    251868   3423858     23.26     26.75
30637.33/3837.47	c  N dy 58552  14559089       670     47205         0    240211    251868   4175175     23.26     30.73
30696.28/3844.88	c  N dy 58682  14579186       670     47205         0    260052    251868   4903470     23.26     29.38
30769.73/3854.07	c  N dy 58716  14606321       670     47205         0    286880    251868   6013438     23.25     24.52
30841.59/3863.06	c  N dy 58797  14630682       670     47205         0    311054    251868   6954931     23.25     24.48
30933.42/3874.54	c  N dy 58906  14658036       670     47205         0    170003    251868   1444119     23.25     24.73
30981.32/3880.54	c  N dy 59038  14678041       670     47205         0    189842    251868   2181591     23.26     29.03
31026.83/3886.26	c  N dy 59109  14698067       670     47205         0    209610    251868   2938123     23.26     28.67
31096.29/3894.97	c  N dy 59224  14726037       670     47205         0    237165    251868   4017072     23.25     24.49
31154.63/3902.23	c  N dy 59342  14746057       670     47205         0    257004    251868   4757877     23.26     31.36
31206.49/3908.80	c  N dy 59386  14766122       670     47205         0    276937    251868   5579824     23.25     25.13
31273.56/3917.17	c  N dy 59509  14786222       670     47205         0    296833    251868   6310302     23.26     24.67
31335.84/3924.98	c  N dy 59587  14806297       670     47205         0    316658    251868   7029932     23.26     27.74
31403.69/3933.45	c  N dy 59691  14826323       670     47205         0    336501    251868   7765599     23.26     26.67
31457.18/3940.11	c  N dy 59779  14846381       670     47205         0    187188    251868   2032815     23.26     28.99
31555.41/3952.43	c  N dy 59816  14887138       670     47205         0    227587    251868   3696568     23.25     24.57
31649.62/3964.29	c  N dy 59915  14923288       670     47205         0    263441    251868   5140326     23.25     24.48
31710.30/3971.82	c  N dy 60031  14943662       670     47205         0    283661    251868   5913438     23.25     24.60
31791.74/3982.03	c  N dy 60174  14968045       670     47205         0    307799    251868   6826319     23.25     24.50
31861.21/3990.72	c  N dy 60262  14988914       670     47205         0    328445    251868   7577910     23.25     24.77
31921.89/3998.34	c  N dy 60356  15009044       670     47205         0    178199    251868   1682820     23.25     24.49
31968.20/4004.18	c  N dy 60459  15029127       670     47205         0    198065    251868   2423110     23.25     25.32
32018.51/4010.44	c  N dy 60556  15049168       670     47205         0    217917    251868   3166212     23.25     35.51
32085.61/4018.88	c  N dy 60635  15076514       670     47205         0    245084    251868   4272780     23.25     24.54
32149.45/4026.83	c  N dy 60790  15096611       670     47205         0    265004    251868   5029195     23.26     25.46
32213.33/4034.82	c  N dy 60866  15117262       670     47205         0    285412    251868   5751713     23.26     24.67
32282.00/4043.43	c  N dy 60957  15139380       670     47205         0    307261    251868   6565907     23.26     24.59
32350.65/4052.07	c  N dy 61026  15159617       670     47205         0    327221    251868   7248675     23.26     24.69
32531.90/4074.76	c  N dy 61071  15221680       670     47205         0    217475    251868   3261289     23.24     24.57
32580.60/4080.87	c  N dy 61146  15241718       670     47205         0    237337    251868   4046193     23.24     27.26
32637.31/4087.97	c  N dy 61258  15262601       670     47205         0    258013    251868   4819833     23.24     24.52
32693.19/4094.96	c  N dy 61345  15282743       670     47205         0    277910    251868   5533763     23.24     24.47
32749.89/4102.03	c  N dy 61411  15302829       670     47205         0    297804    251868   6320380     23.24     26.69
32815.47/4110.21	c  N dy 61516  15322899       670     47205         0    317657    251868   7056701     23.24     24.50
32880.83/4118.42	c  N dy 61603  15342934       670     47205         0    337476    251868   7785227     23.25     29.17
32941.51/4126.04	c  N dy 61728  15363113       670     47205         0    185380    251868   1884626     23.25     24.48
32991.80/4132.39	c  N dy 61843  15384415       670     47205         0    206482    251868   2665154     23.25     24.55
33044.49/4138.92	c  N dy 61948  15404433       670     47205         0    226300    251868   3374380     23.25     26.27
33103.60/4146.30	c  N dy 62103  15424437       670     47205         0    246133    251868   4120753     23.25     29.54
33193.14/4157.56	c  N dy 62149  15457754       670     47205         0    279221    251868   5525514     23.25     24.51
33252.91/4165.07	c  N dy 62218  15478350       670     47205         0    299670    251868   6380815     23.25     24.72
33324.00/4173.98	c  N dy 62332  15498674       670     47205         0    319772    251868   7124826     23.25     24.50
33387.83/4181.94	c  N dy 62402  15518761       670     47205         0    339672    251868   7882240     23.25     30.11
33452.52/4190.04	c  N dy 62546  15538794       670     47205         0    186336    251868   1902093     23.25     24.78
33498.03/4195.77	c  N dy 62612  15559082       670     47205         0    206390    251868   2662570     23.25     24.50
33549.11/4202.15	c  N dy 62659  15580712       670     47205         0    227818    251868   3522382     23.25     24.49
33601.82/4208.76	c  N dy 62722  15600772       670     47205         0    247618    251868   4228009     23.25     25.58
33662.50/4216.38	c  N dy 62853  15620824       670     47205         0    267465    251868   4959885     23.25     25.69
33726.37/4224.37	c  N dy 62884  15644749       670     47205         0    291175    251868   5911949     23.25     24.60
33807.06/4234.47	c  N dy 62965  15671065       670     47205         0    317203    251868   6940890     23.25     24.48
33879.67/4243.53	c  N dy 63081  15691657       670     47205         0    337555    251868   7690218     23.25     24.64
33949.13/4252.25	c  N dy 63206  15711672       670     47205         0    183317    251868   1773386     23.25     29.47
33998.65/4258.40	c  N dy 63344  15731701       670     47205         0    203170    251868   2522045     23.25     24.50
34080.88/4268.71	c  N dy 63367  15763807       670     47205         0    234937    251868   3740821     23.25     24.60
34135.18/4275.57	c  N dy 63463  15784030       670     47205         0    254948    251868   4491830     23.25     24.70
34218.23/4285.99	c  N dy 63535  15815446       670     47205         0    286085    251868   5761457     23.25     24.67
34326.80/4299.52	c  N dy 63622  15852432       670     47205         0    322841    251868   7223253     23.24     24.57
34401.87/4308.92	c  N dy 63732  15874400       670     47205         0    344594    251868   8038463     23.24     24.49
34507.25/4322.14	c  N dy 63820  15914098       670     47205         0    208560    251868   2750013     23.24     24.64
34555.16/4328.14	c  N dy 63887  15934236       670     47205         0    228582    251868   3559462     23.24     24.58
34607.84/4334.75	c  N dy 63989  15954308       670     47205         0    248435    251868   4312834     23.24     26.78
34666.14/4342.02	c  N dy 64084  15975089       670     47205         0    269045    251868   5106031     23.24     24.47
34732.41/4350.33	c  N dy 64214  15995755       670     47205         0    289516    251868   5863297     23.24     24.49
34797.09/4358.41	c  N dy 64327  16015851       670     47205         0    309410    251868   6612891     23.25     26.87
34859.37/4366.30	c  N dy 64369  16035931       670     47205         0    329303    251868   7420638     23.24     24.55
34932.82/4375.45	c  N dy 64476  16055944       670     47205         0    349171    251868   8182693     23.25     31.13
34994.29/4383.19	c  N dy 64582  16078893       670     47205         0    195772    251868   2194627     23.25     24.52
35047.00/4389.79	c  N dy 64722  16099107       670     47205         0    215814    251868   2941512     23.25     24.53
35104.49/4396.98	c  N dy 64877  16119184       670     47205         0    235694    251868   3677789     23.25     25.52
35163.58/4404.35	c  N dy 65008  16139189       670     47205         0    255560    251868   4429937     23.25     24.67
35264.18/4416.96	c  N dy 65072  16175777       670     47205         0    291606    251868   5862564     23.25     24.60
35352.85/4428.06	c  N dy 65154  16205442       670     47205         0    320966    251868   7023307     23.25     24.66
35522.87/4449.39	c  N dy 65220  16267192       670     47205         0    204976    251868   2600316     23.24     24.71
35578.76/4456.39	c  N dy 65361  16287249       670     47205         0    224844    251868   3332637     23.24     24.85
35633.91/4463.25	c  N dy 65468  16307318       670     47205         0    244708    251868   4072347     23.24     30.96
35713.83/4473.22	c  N dy 65593  16335546       670     47205         0    272686    251868   5143382     23.24     24.48
35791.15/4482.91	c  N dy 65620  16364220       670     47205         0    301055    251868   6287964     23.24     24.47
35864.60/4492.15	c  N dy 65717  16388006       670     47205         0    324635    251868   7214777     23.24     24.52
35927.68/4500.05	c  N dy 65783  16408346       670     47205         0    344680    251868   7989278     23.24     24.51
35991.56/4508.06	c  N dy 65846  16428465       670     47205         0    186604    251868   1787330     23.24     24.47
36040.25/4514.13	c  N dy 65951  16448671       670     47205         0    206652    251868   2558168     23.24     24.52
36092.15/4520.69	c  N dy 66062  16468760       670     47205         0    226557    251868   3303570     23.24     31.35
36147.25/4527.50	c  N dy 66149  16489475       670     47205         0    247087    251868   4094381     23.24     24.53
36207.93/4535.15	c  N dy 66275  16509573       670     47205         0    266985    251868   4829833     23.24     29.99
36275.06/4543.56	c  N dy 66335  16533830       670     47205         0    291069    251868   5812507     23.24     24.53
36338.88/4551.53	c  N dy 66400  16555770       670     47205         0    312859    251868   6693195     23.24     24.47
36467.43/4567.67	c  N dy 66414  16597934       670     47205         0    354218    251868   8317656     23.23     24.50
36529.75/4575.48	c  N dy 66552  16617991       670     47205         0    195076    251868   2039944     23.23     24.47
36577.62/4581.40	c  N dy 66633  16638067       670     47205         0    215000    251868   2833654     23.23     24.94
36634.32/4588.53	c  N dy 66779  16658085       670     47205         0    234805    251868   3566001     23.24     24.57
36690.19/4595.50	c  N dy 66859  16678170       670     47205         0    254717    251868   4314905     23.24     27.33
36745.30/4602.44	c  N dy 66933  16698240       670     47205         0    274659    251868   5120506     23.24     26.65
36798.78/4609.13	c  N dy 66991  16718287       670     47205         0    294534    251868   5910899     23.24     24.52
36868.25/4617.82	c  N dy 67130  16738336       670     47205         0    314392    251868   6654684     23.24     26.57
36932.93/4625.92	c  N dy 67212  16758807       670     47205         0    334603    251868   7426342     23.24     24.62
37018.37/4636.62	c  N dy 67330  16783146       670     47205         0    358735    251868   8341996     23.24     24.50
37070.27/4643.15	c  N dy 67397  16803177       670     47205         0    198418    251868   2163057     23.24     31.20
37117.37/4649.03	c  N dy 67458  16823249       670     47205         0    218249    251868   2951378     23.24     24.74
37167.67/4655.35	c  N dy 67514  16843930       670     47205         0    238683    251868   3727785     23.24     24.63
37229.15/4663.06	c  N dy 67614  16865831       670     47205         0    260314    251868   4523416     23.24     24.87
37287.44/4670.36	c  N dy 67688  16885945       670     47205         0    280185    251868   5249696     23.24     24.47
37351.32/4678.37	c  N dy 67798  16906070       670     47205         0    300117    251868   5996670     23.24     24.91
37421.58/4687.15	c  N dy 67928  16926393       670     47205         0    320247    251868   6748131     23.24     24.62
37495.87/4696.49	c  N dy 68073  16946461       670     47205         0    340116    251868   7489862     23.25     27.09
37566.13/4705.24	c  N dy 68169  16966500       670     47205         0    359915    251868   8236395     23.25     24.56
37625.73/4712.79	c  N dy 68308  16986530       670     47205         0    198823    251868   2143068     23.25     27.59
37715.55/4724.07	c  N dy 68395  17022946       670     47205         0    234854    251868   3604377     23.25     24.66
37791.25/4733.59	c  N dy 68523  17049813       670     47205         0    261400    251868   4624838     23.25     24.54
37862.31/4742.41	c  N dy 68617  17075072       670     47205         0    286453    251868   5595183     23.25     24.63
37926.97/4750.59	c  N dy 68723  17095099       670     47205         0    306298    251868   6339630     23.25     26.60
37997.24/4759.33	c  N dy 68842  17115153       670     47205         0    326171    251868   7097270     23.25     27.11
38072.29/4768.72	c  N dy 68936  17136824       670     47205         0    347590    251868   7897114     23.25     24.60
38147.34/4778.10	c  N dy 69031  17156839       670     47205         0    185425    251868   1612063     23.25     24.59
38192.84/4783.90	c  N dy 69098  17176868       670     47205         0    205198    251868   2378109     23.25     28.20
38453.27/4816.46	c  N dy 69190  17264093       670     47205         0    291481    251868   5905718     23.24     24.62
38517.82/4824.55	c  N dy 69271  17285137       670     47205         0    312270    251868   6674855     23.24     24.90
38585.68/4833.04	c  N dy 69352  17306058       670     47205         0    332985    251868   7467361     23.24     24.52
38690.41/4846.13	c  N dy 69484  17336769       670     47205         0    363380    251868   8608569     23.24     24.49
38750.17/4853.70	c  N dy 69608  17356792       670     47205         0    200356    251868   2165614     23.24     29.35
38801.27/4860.03	c  N dy 69705  17376884       670     47205         0    220264    251868   2907045     23.25     24.68
38855.57/4866.83	c  N dy 69802  17397770       670     47205         0    241016    251868   3721604     23.25     24.51
38905.87/4873.18	c  N dy 69838  17417771       670     47205         0    260768    251868   4488619     23.24     24.52
38964.93/4880.59	c  N dy 69919  17437792       670     47205         0    280629    251868   5245598     23.24     30.97
39554.20/4954.35	c  N dy 70002  17622196       670     47205         0    279965    251868   5874285     23.21     24.46
39623.66/4963.03	c  N dy 70141  17642908       670     47205         0    300483    251868   6642316     23.21     24.52
39721.06/4975.26	c  N dy 70250  17674952       670     47205         0    332086    251868   7822338     23.21     24.76
39792.92/4984.23	c  N dy 70357  17695325       670     47205         0    352241    251868   8576821     23.21     24.54

Verifier Data

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3421604-1306678840/watcher-3421604-1306678840 -o /tmp/evaluation-result-3421604-1306678840/solver-3421604-1306678840 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3421604-1306678840.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.47 7.93 7.96 2/462 10577
/proc/meminfo: memFree=12311928/32951124 swapFree=57414376/67111528
[pid=10577] ppid=10575 vsize=92144 CPUtime=0 cores=0-7
/proc/10577/stat : 10577 (strangenight2-m) R 10575 10577 10517 0 -1 4202496 412 0 0 0 0 0 0 0 23 0 8 0 858114445 94355456 352 33554432000 4194304 4580107 140734376751360 18446744073709551615 252458122225 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10577/statm: 23036 352 299 95 0 18018 0
[pid=10577/tid=10578] ppid=10575 vsize=92144 CPUtime=0.01 cores=0-7
/proc/10577/task/10578/stat : 10578 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 4 0 0 0 1 0 0 0 24 0 8 0 858114445 94355456 359 33554432000 4194304 4580107 140734376751360 18446744073709551615 47272136767001 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10577/tid=10579] ppid=10575 vsize=92144 CPUtime=0 cores=0-7
/proc/10577/task/10579/stat : 10579 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 858114445 94355456 359 33554432000 4194304 4580107 140734376751360 18446744073709551615 47272136767404 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10577/tid=10580] ppid=10575 vsize=92144 CPUtime=0 cores=0-7
/proc/10577/task/10580/stat : 10580 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 858114445 94355456 359 33554432000 4194304 4580107 140734376751360 18446744073709551615 47272136767410 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10577/tid=10581] ppid=10575 vsize=92144 CPUtime=0.01 cores=0-7
/proc/10577/task/10581/stat : 10581 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 858114445 94355456 359 33554432000 4194304 4580107 140734376751360 18446744073709551615 47272136767001 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10577/tid=10582] ppid=10575 vsize=92144 CPUtime=0.01 cores=0-7
/proc/10577/task/10582/stat : 10582 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 858114445 94355456 359 33554432000 4194304 4580107 140734376751360 18446744073709551615 47272136767001 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10577/tid=10583] ppid=10575 vsize=92144 CPUtime=0 cores=0-7
/proc/10577/task/10583/stat : 10583 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 858114445 94355456 359 33554432000 4194304 4580107 140734376751360 18446744073709551615 47272136767001 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10577/tid=10584] ppid=10575 vsize=92144 CPUtime=0 cores=0-7
/proc/10577/task/10584/stat : 10584 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 858114445 94355456 359 33554432000 4194304 4580107 140734376751360 18446744073709551615 47272136767005 0 0 4096 2 0 0 0 -1 6 0 0 0

[startup+0.046452 s]
/proc/loadavg: 7.47 7.93 7.96 2/462 10577
/proc/meminfo: memFree=12311928/32951124 swapFree=57414376/67111528
[pid=10577] ppid=10575 vsize=487112 CPUtime=0.25 cores=0-7
/proc/10577/stat : 10577 (strangenight2-m) R 10575 10577 10517 0 -1 4202496 4049 0 0 0 22 3 0 0 18 0 8 0 858114445 498802688 3944 33554432000 4194304 4580107 140734376751360 18446744073709551615 4354920 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10577/statm: 121778 3977 336 95 0 116760 0
[pid=10577/tid=10578] ppid=10575 vsize=487112 CPUtime=0.03 cores=0-7
/proc/10577/task/10578/stat : 10578 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 491 0 0 0 3 0 0 0 17 0 8 0 858114445 498802688 3985 33554432000 4194304 4580107 140734376751360 18446744073709551615 252458170911 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10577/tid=10579] ppid=10575 vsize=487112 CPUtime=0 cores=0-7
/proc/10577/task/10579/stat : 10579 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 441 0 0 0 0 0 0 0 17 0 8 0 858114445 498802688 3986 33554432000 4194304 4580107 140734376751360 18446744073709551615 252458170911 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10577/tid=10580] ppid=10575 vsize=487112 CPUtime=0.01 cores=0-7
/proc/10577/task/10580/stat : 10580 (strangenight2-m) S 10575 10577 10517 0 -1 4202560 424 0 0 0 1 0 0 0 17 0 8 0 858114445 498802688 3997 33554432000 4194304 4580107 140734376751360 18446744073709551615 252458170862 0 0 4096 2 18446604453221626240 0 0 -1 7 0 0 0
[pid=10577/tid=10581] ppid=10575 vsize=487112 CPUtime=0.03 cores=0-7
/proc/10577/task/10581/stat : 10581 (strangenight2-m) S 10575 10577 10517 0 -1 4202560 490 0 0 0 3 0 0 0 17 0 8 0 858114445 498802688 4059 33554432000 4194304 4580107 140734376751360 18446744073709551615 252458170862 0 0 4096 2 18446604453221626240 0 0 -1 1 0 0 0
[pid=10577/tid=10582] ppid=10575 vsize=487112 CPUtime=0.02 cores=0-7
/proc/10577/task/10582/stat : 10582 (strangenight2-m) S 10575 10577 10517 0 -1 4202560 437 0 0 0 2 0 0 0 17 0 8 0 858114445 498802688 4085 33554432000 4194304 4580107 140734376751360 18446744073709551615 252458170862 0 0 4096 2 18446604453221626240 0 0 -1 3 0 0 0
[pid=10577/tid=10583] ppid=10575 vsize=487112 CPUtime=0.03 cores=0-7
/proc/10577/task/10583/stat : 10583 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 489 0 0 0 3 0 0 0 17 0 8 0 858114445 498802688 4102 33554432000 4194304 4580107 140734376751360 18446744073709551615 252458170911 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10577/tid=10584] ppid=10575 vsize=487112 CPUtime=0.03 cores=0-7
/proc/10577/task/10584/stat : 10584 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 468 0 0 0 3 0 0 0 17 0 8 0 858114445 498802688 4124 33554432000 4194304 4580107 140734376751360 18446744073709551615 252458170911 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 487112

[startup+0.102442 s]
/proc/loadavg: 7.47 7.93 7.96 2/462 10577
/proc/meminfo: memFree=12311928/32951124 swapFree=57414376/67111528
[pid=10577] ppid=10575 vsize=499216 CPUtime=0.54 cores=0-7
/proc/10577/stat : 10577 (strangenight2-m) R 10575 10577 10517 0 -1 4202496 12310 0 0 0 42 12 0 0 17 0 8 0 858114445 511197184 12205 33554432000 4194304 4580107 140734376751360 18446744073709551615 252458170911 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10577/statm: 124804 12225 337 95 0 119786 0
[pid=10577/tid=10578] ppid=10575 vsize=499348 CPUtime=0.07 cores=0-7
/proc/10577/task/10578/stat : 10578 (strangenight2-m) D 10575 10577 10517 0 -1 4202560 1522 0 0 0 6 1 0 0 17 0 8 0 858114445 511332352 12237 33554432000 4194304 4580107 140734376751360 18446744073709551615 252458109111 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10577/tid=10579] ppid=10575 vsize=499348 CPUtime=0.03 cores=0-7
/proc/10577/task/10579/stat : 10579 (strangenight2-m) S 10575 10577 10517 0 -1 4202560 1369 0 0 0 2 1 0 0 17 0 8 0 858114445 511332352 12243 33554432000 4194304 4580107 140734376751360 18446744073709551615 252458170862 0 0 4096 2 18446604453221626240 0 0 -1 5 0 0 0
[pid=10577/tid=10580] ppid=10575 vsize=499348 CPUtime=0.04 cores=0-7
/proc/10577/task/10580/stat : 10580 (strangenight2-m) D 10575 10577 10517 0 -1 4202560 1397 0 0 0 3 1 0 0 17 0 8 0 858114445 511332352 12258 33554432000 4194304 4580107 140734376751360 18446744073709551615 252458109111 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10577/tid=10581] ppid=10575 vsize=499348 CPUtime=0.06 cores=0-7
/proc/10577/task/10581/stat : 10581 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 1589 0 0 0 5 1 0 0 17 0 8 0 858114445 511332352 12277 33554432000 4194304 4580107 140734376751360 18446744073709551615 252458109111 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10577/tid=10582] ppid=10575 vsize=499348 CPUtime=0.06 cores=0-7
/proc/10577/task/10582/stat : 10582 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 1481 0 0 0 5 1 0 0 17 0 8 0 858114445 511332352 12289 33554432000 4194304 4580107 140734376751360 18446744073709551615 4512108 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10577/tid=10583] ppid=10575 vsize=499348 CPUtime=0.06 cores=0-7
/proc/10577/task/10583/stat : 10583 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 1508 0 0 0 6 0 0 0 17 0 8 0 858114445 511332352 12355 33554432000 4194304 4580107 140734376751360 18446744073709551615 4511072 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10577/tid=10584] ppid=10575 vsize=499348 CPUtime=0.06 cores=0-7
/proc/10577/task/10584/stat : 10584 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 1497 0 0 0 5 1 0 0 17 0 8 0 858114445 511332352 12372 33554432000 4194304 4580107 140734376751360 18446744073709551615 4298737 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 499216

[startup+0.817319 s]
/proc/loadavg: 7.47 7.93 7.96 2/462 10577
/proc/meminfo: memFree=12311928/32951124 swapFree=57414376/67111528
[pid=10577] ppid=10575 vsize=533000 CPUtime=6 cores=0-7
/proc/10577/stat : 10577 (strangenight2-m) R 10575 10577 10517 0 -1 4202496 26786 0 0 0 578 22 0 0 18 0 8 0 858114445 545792000 26416 33554432000 4194304 4580107 140734376751360 18446744073709551615 252457762571 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10577/statm: 133250 26425 365 95 0 128232 0
[pid=10577/tid=10578] ppid=10575 vsize=533000 CPUtime=0.75 cores=0-7
/proc/10577/task/10578/stat : 10578 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 3233 0 0 0 73 2 0 0 18 0 8 0 858114445 545792000 26431 33554432000 4194304 4580107 140734376751360 18446744073709551615 4401482 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10577/tid=10579] ppid=10575 vsize=533000 CPUtime=0.71 cores=0-7
/proc/10577/task/10579/stat : 10579 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 2960 0 0 0 69 2 0 0 18 0 8 0 858114445 545792000 26437 33554432000 4194304 4580107 140734376751360 18446744073709551615 4293105 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10577/tid=10580] ppid=10575 vsize=533000 CPUtime=0.73 cores=0-7
/proc/10577/task/10580/stat : 10580 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 2974 0 0 0 70 3 0 0 18 0 8 0 858114445 545792000 26440 33554432000 4194304 4580107 140734376751360 18446744073709551615 252458170862 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10577/tid=10581] ppid=10575 vsize=533000 CPUtime=0.74 cores=0-7
/proc/10577/task/10581/stat : 10581 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 3223 0 0 0 72 2 0 0 18 0 8 0 858114445 545792000 26447 33554432000 4194304 4580107 140734376751360 18446744073709551615 252458109111 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10577/tid=10582] ppid=10575 vsize=533000 CPUtime=0.74 cores=0-7
/proc/10577/task/10582/stat : 10582 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 3247 0 0 0 72 2 0 0 18 0 8 0 858114445 545792000 26451 33554432000 4194304 4580107 140734376751360 18446744073709551615 252458170911 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10577/tid=10583] ppid=10575 vsize=533000 CPUtime=0.75 cores=0-7
/proc/10577/task/10583/stat : 10583 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 3066 0 0 0 73 2 0 0 18 0 8 0 858114445 545792000 26456 33554432000 4194304 4580107 140734376751360 18446744073709551615 252457724660 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10577/tid=10584] ppid=10575 vsize=533000 CPUtime=0.75 cores=0-7
/proc/10577/task/10584/stat : 10584 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 3486 0 0 0 72 3 0 0 18 0 8 0 858114445 545792000 26461 33554432000 4194304 4580107 140734376751360 18446744073709551615 4301634 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 533000

[startup+0.901293 s]
/proc/loadavg: 7.47 7.93 7.96 2/462 10577
/proc/meminfo: memFree=12311928/32951124 swapFree=57414376/67111528
[pid=10577] ppid=10575 vsize=620500 CPUtime=6.26 cores=0-7
/proc/10577/stat : 10577 (strangenight2-m) R 10575 10577 10517 0 -1 4202496 38709 0 0 0 593 33 0 0 17 0 8 0 858114445 635392000 38340 33554432000 4194304 4580107 140734376751360 18446744073709551615 252458109111 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10577/statm: 155125 38350 365 95 0 150107 0
[pid=10577/tid=10578] ppid=10575 vsize=620500 CPUtime=0.78 cores=0-7
/proc/10577/task/10578/stat : 10578 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 6042 0 0 0 74 4 0 0 17 0 8 0 858114445 635392000 38357 33554432000 4194304 4580107 140734376751360 18446744073709551615 252458170911 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10577/tid=10579] ppid=10575 vsize=620500 CPUtime=0.75 cores=0-7
/proc/10577/task/10579/stat : 10579 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 4207 0 0 0 71 4 0 0 17 0 8 0 858114445 635392000 38366 33554432000 4194304 4580107 140734376751360 18446744073709551615 252458170862 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10577/tid=10580] ppid=10575 vsize=620632 CPUtime=0.75 cores=0-7
/proc/10577/task/10580/stat : 10580 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 3596 0 0 0 71 4 0 0 17 0 8 0 858114445 635527168 38367 33554432000 4194304 4580107 140734376751360 18446744073709551615 252458170862 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10577/tid=10581] ppid=10575 vsize=620632 CPUtime=0.77 cores=0-7
/proc/10577/task/10581/stat : 10581 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 5650 0 0 0 74 3 0 0 17 0 8 0 858114445 635527168 38376 33554432000 4194304 4580107 140734376751360 18446744073709551615 4401482 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10577/tid=10582] ppid=10575 vsize=620632 CPUtime=0.77 cores=0-7
/proc/10577/task/10582/stat : 10582 (strangenight2-m) S 10575 10577 10517 0 -1 4202560 4443 0 0 0 73 4 0 0 17 0 8 0 858114445 635527168 38379 33554432000 4194304 4580107 140734376751360 18446744073709551615 252458170862 0 0 4096 2 18446604453221626240 0 0 -1 3 0 0 0
[pid=10577/tid=10583] ppid=10575 vsize=620632 CPUtime=0.77 cores=0-7
/proc/10577/task/10583/stat : 10583 (strangenight2-m) S 10575 10577 10517 0 -1 4202560 4492 0 0 0 74 3 0 0 17 0 8 0 858114445 635527168 38383 33554432000 4194304 4580107 140734376751360 18446744073709551615 252458170862 0 0 4096 2 18446604453221626240 0 0 -1 0 0 0 0
[pid=10577/tid=10584] ppid=10575 vsize=620632 CPUtime=0.82 cores=0-7
/proc/10577/task/10584/stat : 10584 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 3552 0 0 0 79 3 0 0 18 0 8 0 858114445 635527168 38392 33554432000 4194304 4580107 140734376751360 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 620500

[startup+1.50119 s]
/proc/loadavg: 7.47 7.93 7.96 2/462 10577
/proc/meminfo: memFree=12311928/32951124 swapFree=57414376/67111528
[pid=10577] ppid=10575 vsize=673292 CPUtime=10.69 cores=0-7
/proc/10577/stat : 10577 (strangenight2-m) R 10575 10577 10517 0 -1 4202496 68474 0 0 0 1019 50 0 0 18 0 8 0 858114445 689451008 60563 33554432000 4194304 4580107 140734376751360 18446744073709551615 4406128 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10577/statm: 168323 60564 374 95 0 163305 0
[pid=10577/tid=10578] ppid=10575 vsize=673292 CPUtime=1.35 cores=0-7
/proc/10577/task/10578/stat : 10578 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 10237 0 0 0 128 7 0 0 18 0 8 0 858114445 689451008 60566 33554432000 4194304 4580107 140734376751360 18446744073709551615 4451734 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10577/tid=10579] ppid=10575 vsize=673292 CPUtime=1.31 cores=0-7
/proc/10577/task/10579/stat : 10579 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 8630 0 0 0 125 6 0 0 18 0 8 0 858114445 689451008 60568 33554432000 4194304 4580107 140734376751360 18446744073709551615 4426469 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10577/tid=10580] ppid=10575 vsize=673292 CPUtime=1.28 cores=0-7
/proc/10577/task/10580/stat : 10580 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 7726 0 0 0 122 6 0 0 17 0 8 0 858114445 689451008 60568 33554432000 4194304 4580107 140734376751360 18446744073709551615 4416469 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10577/tid=10581] ppid=10575 vsize=673292 CPUtime=1.34 cores=0-7
/proc/10577/task/10581/stat : 10581 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 9663 0 0 0 128 6 0 0 18 0 8 0 858114445 689451008 60570 33554432000 4194304 4580107 140734376751360 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10577/tid=10582] ppid=10575 vsize=673292 CPUtime=1.31 cores=0-7
/proc/10577/task/10582/stat : 10582 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 8429 0 0 0 125 6 0 0 17 0 8 0 858114445 689451008 60573 33554432000 4194304 4580107 140734376751360 18446744073709551615 4416469 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10577/tid=10583] ppid=10575 vsize=673292 CPUtime=1.3 cores=0-7
/proc/10577/task/10583/stat : 10583 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 9259 0 0 0 124 6 0 0 18 0 8 0 858114445 689451008 60574 33554432000 4194304 4580107 140734376751360 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10577/tid=10584] ppid=10575 vsize=673292 CPUtime=1.4 cores=0-7
/proc/10577/task/10584/stat : 10584 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 3817 0 0 0 137 3 0 0 18 0 8 0 858114445 689451008 60574 33554432000 4194304 4580107 140734376751360 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10.69
Current children cumulated vsize (KiB) 673292

[startup+3.10088 s]
/proc/loadavg: 7.51 7.93 7.96 9/470 10585
/proc/meminfo: memFree=11930128/32951124 swapFree=57414376/67111528
[pid=10577] ppid=10575 vsize=704952 CPUtime=23.23 cores=0-7
/proc/10577/stat : 10577 (strangenight2-m) R 10575 10577 10517 0 -1 4202496 113500 0 0 0 2253 70 0 0 19 0 8 0 858114445 721870848 97058 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294410 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10577/statm: 176238 97058 378 95 0 171220 0
[pid=10577/tid=10578] ppid=10575 vsize=704952 CPUtime=2.91 cores=0-7
/proc/10577/task/10578/stat : 10578 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 16334 0 0 0 282 9 0 0 19 0 8 0 858114445 721870848 97058 33554432000 4194304 4580107 140734376751360 18446744073709551615 4342220 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10577/tid=10579] ppid=10575 vsize=704952 CPUtime=2.87 cores=0-7
/proc/10577/task/10579/stat : 10579 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 14573 0 0 0 278 9 0 0 19 0 8 0 858114445 721870848 97058 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10577/tid=10580] ppid=10575 vsize=704952 CPUtime=2.84 cores=0-7
/proc/10577/task/10580/stat : 10580 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 14549 0 0 0 274 10 0 0 19 0 8 0 858114445 721870848 97058 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10577/tid=10581] ppid=10575 vsize=704952 CPUtime=2.9 cores=0-7
/proc/10577/task/10581/stat : 10581 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 16318 0 0 0 281 9 0 0 19 0 8 0 858114445 721870848 97058 33554432000 4194304 4580107 140734376751360 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10577/tid=10582] ppid=10575 vsize=704952 CPUtime=2.87 cores=0-7
/proc/10577/task/10582/stat : 10582 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 14327 0 0 0 278 9 0 0 19 0 8 0 858114445 721870848 97058 33554432000 4194304 4580107 140734376751360 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10577/tid=10583] ppid=10575 vsize=704952 CPUtime=2.86 cores=0-7
/proc/10577/task/10583/stat : 10583 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 15742 0 0 0 278 8 0 0 19 0 8 0 858114445 721870848 97058 33554432000 4194304 4580107 140734376751360 18446744073709551615 4318708 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10577/tid=10584] ppid=10575 vsize=704952 CPUtime=2.99 cores=0-7
/proc/10577/task/10584/stat : 10584 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 4479 0 0 0 295 4 0 0 21 0 8 0 858114445 721870848 97058 33554432000 4194304 4580107 140734376751360 18446744073709551615 4318717 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 23.23
Current children cumulated vsize (KiB) 704952

[startup+6.30129 s]
/proc/loadavg: 7.51 7.93 7.96 9/470 10585
/proc/meminfo: memFree=11908096/32951124 swapFree=57414376/67111528
[pid=10577] ppid=10575 vsize=746600 CPUtime=48.78 cores=0-7
/proc/10577/stat : 10577 (strangenight2-m) R 10575 10577 10517 0 -1 4202496 143230 0 0 0 4803 75 0 0 21 0 8 0 858114445 764518400 104487 33554432000 4194304 4580107 140734376751360 18446744073709551615 4318737 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10577/statm: 186650 104487 379 95 0 181632 0
[pid=10577/tid=10578] ppid=10575 vsize=746600 CPUtime=6.11 cores=0-7
/proc/10577/task/10578/stat : 10578 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 20062 0 0 0 602 9 0 0 25 0 8 0 858114445 764518400 104487 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10577/tid=10579] ppid=10575 vsize=746600 CPUtime=6.07 cores=0-7
/proc/10577/task/10579/stat : 10579 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 18296 0 0 0 597 10 0 0 25 0 8 0 858114445 764518400 104487 33554432000 4194304 4580107 140734376751360 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10577/tid=10580] ppid=10575 vsize=746600 CPUtime=6.04 cores=0-7
/proc/10577/task/10580/stat : 10580 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 18779 0 0 0 594 10 0 0 25 0 8 0 858114445 764518400 104487 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294295 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10577/tid=10581] ppid=10575 vsize=746600 CPUtime=6.1 cores=0-7
/proc/10577/task/10581/stat : 10581 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 20077 0 0 0 600 10 0 0 25 0 8 0 858114445 764518400 104487 33554432000 4194304 4580107 140734376751360 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10577/tid=10582] ppid=10575 vsize=746600 CPUtime=6.01 cores=0-7
/proc/10577/task/10582/stat : 10582 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 18013 0 0 0 592 9 0 0 25 0 8 0 858114445 764518400 104487 33554432000 4194304 4580107 140734376751360 18446744073709551615 4320876 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10577/tid=10583] ppid=10575 vsize=746600 CPUtime=6.07 cores=0-7
/proc/10577/task/10583/stat : 10583 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 19823 0 0 0 598 9 0 0 25 0 8 0 858114445 764518400 104487 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10577/tid=10584] ppid=10575 vsize=746600 CPUtime=6.19 cores=0-7
/proc/10577/task/10584/stat : 10584 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 7052 0 0 0 615 4 0 0 25 0 8 0 858114445 764518400 104487 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294455 0 0 4096 2 0 0 0 -1 6 0 0 0

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


[startup+4662.3 s]
/proc/loadavg: 8.15 8.08 8.01 9/470 10721
/proc/meminfo: memFree=11327552/32951124 swapFree=57414376/67111528
[pid=10577] ppid=10575 vsize=1726748 CPUtime=37223.6 cores=0-7
/proc/10577/stat : 10577 (strangenight2-m) R 10575 10577 10517 0 -1 4202496 6520668 0 0 0 3719561 2800 0 0 25 0 8 0 858114445 1768189952 246519 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10577/statm: 431687 246519 380 95 0 426669 0
[pid=10577/tid=10578] ppid=10575 vsize=1726748 CPUtime=4662.25 cores=0-7
/proc/10577/task/10578/stat : 10578 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 901010 0 0 0 465873 352 0 0 25 0 8 0 858114445 1768189952 246529 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10577/tid=10579] ppid=10575 vsize=1726748 CPUtime=4662.02 cores=0-7
/proc/10577/task/10579/stat : 10579 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 897937 0 0 0 465787 415 0 0 25 0 8 0 858114445 1768189952 246530 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10577/tid=10580] ppid=10575 vsize=1726748 CPUtime=4661.53 cores=0-7
/proc/10577/task/10580/stat : 10580 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 875623 0 0 0 465747 406 0 0 25 0 8 0 858114445 1768189952 246530 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10577/tid=10581] ppid=10575 vsize=1726748 CPUtime=4599.76 cores=0-7
/proc/10577/task/10581/stat : 10581 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 381102 0 0 0 459762 214 0 0 25 0 8 0 858114445 1768189952 246530 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10577/tid=10582] ppid=10575 vsize=1726748 CPUtime=4652.48 cores=0-7
/proc/10577/task/10582/stat : 10582 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 901195 0 0 0 464835 413 0 0 25 0 8 0 858114445 1768189952 246530 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10577/tid=10583] ppid=10575 vsize=1726748 CPUtime=4662.19 cores=0-7
/proc/10577/task/10583/stat : 10583 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 883550 0 0 0 465863 356 0 0 25 0 8 0 858114445 1768189952 246530 33554432000 4194304 4580107 140734376751360 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10577/tid=10584] ppid=10575 vsize=1726748 CPUtime=4661.13 cores=0-7
/proc/10577/task/10584/stat : 10584 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 832519 0 0 0 465796 317 0 0 25 0 8 0 858114445 1768189952 246530 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 37223.6
Current children cumulated vsize (KiB) 1726748

[startup+4722.3 s]
/proc/loadavg: 8.45 8.16 8.04 10/471 10726
/proc/meminfo: memFree=11335568/32951124 swapFree=57414376/67111528
[pid=10577] ppid=10575 vsize=1670160 CPUtime=37701.9 cores=0-7
/proc/10577/stat : 10577 (strangenight2-m) R 10575 10577 10517 0 -1 4202496 6585522 0 0 0 3767362 2830 0 0 25 0 8 0 858114445 1710243840 238426 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10577/statm: 417540 238426 380 95 0 412522 0
[pid=10577/tid=10578] ppid=10575 vsize=1670160 CPUtime=4722.23 cores=0-7
/proc/10577/task/10578/stat : 10578 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 909973 0 0 0 471868 355 0 0 25 0 8 0 858114445 1710243840 238426 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10577/tid=10579] ppid=10575 vsize=1670160 CPUtime=4722 cores=0-7
/proc/10577/task/10579/stat : 10579 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 907579 0 0 0 471780 420 0 0 25 0 8 0 858114445 1710243840 238426 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10577/tid=10580] ppid=10575 vsize=1670160 CPUtime=4721.22 cores=0-7
/proc/10577/task/10580/stat : 10580 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 885453 0 0 0 471712 410 0 0 25 0 8 0 858114445 1710243840 238426 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10577/tid=10581] ppid=10575 vsize=1670160 CPUtime=4658.42 cores=0-7
/proc/10577/task/10581/stat : 10581 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 385228 0 0 0 465625 217 0 0 25 0 8 0 858114445 1710243840 238426 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10577/tid=10582] ppid=10575 vsize=1670160 CPUtime=4712.47 cores=0-7
/proc/10577/task/10582/stat : 10582 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 910116 0 0 0 470830 417 0 0 25 0 8 0 858114445 1710243840 238426 33554432000 4194304 4580107 140734376751360 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10577/tid=10583] ppid=10575 vsize=1670160 CPUtime=4722.17 cores=0-7
/proc/10577/task/10583/stat : 10583 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 892333 0 0 0 471856 361 0 0 25 0 8 0 858114445 1710243840 238426 33554432000 4194304 4580107 140734376751360 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10577/tid=10584] ppid=10575 vsize=1670160 CPUtime=4721.11 cores=0-7
/proc/10577/task/10584/stat : 10584 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 838684 0 0 0 471790 321 0 0 25 0 8 0 858114445 1710243840 238426 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 37701.9
Current children cumulated vsize (KiB) 1670160

[startup+4782.32 s]
/proc/loadavg: 8.16 8.13 8.03 9/470 10727
/proc/meminfo: memFree=11381636/32951124 swapFree=57414376/67111528
[pid=10577] ppid=10575 vsize=1624848 CPUtime=38181 cores=0-7
/proc/10577/stat : 10577 (strangenight2-m) R 10575 10577 10517 0 -1 4202496 6649942 0 0 0 3815238 2863 0 0 25 0 8 0 858114445 1663844352 233150 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10577/statm: 406212 233150 380 95 0 401194 0
[pid=10577/tid=10578] ppid=10575 vsize=1624848 CPUtime=4782.25 cores=0-7
/proc/10577/task/10578/stat : 10578 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 918789 0 0 0 477867 358 0 0 25 0 8 0 858114445 1663844352 233150 33554432000 4194304 4580107 140734376751360 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10577/tid=10579] ppid=10575 vsize=1624848 CPUtime=4782.02 cores=0-7
/proc/10577/task/10579/stat : 10579 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 916217 0 0 0 477777 425 0 0 25 0 8 0 858114445 1663844352 233150 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10577/tid=10580] ppid=10575 vsize=1624848 CPUtime=4781.13 cores=0-7
/proc/10577/task/10580/stat : 10580 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 891421 0 0 0 477699 414 0 0 25 0 8 0 858114445 1663844352 233150 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10577/tid=10581] ppid=10575 vsize=1624848 CPUtime=4717.5 cores=0-7
/proc/10577/task/10581/stat : 10581 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 394260 0 0 0 471528 222 0 0 25 0 8 0 858114445 1663844352 233150 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10577/tid=10582] ppid=10575 vsize=1624848 CPUtime=4772.48 cores=0-7
/proc/10577/task/10582/stat : 10582 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 918818 0 0 0 476827 421 0 0 25 0 8 0 858114445 1663844352 233150 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294570 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10577/tid=10583] ppid=10575 vsize=1624848 CPUtime=4782.18 cores=0-7
/proc/10577/task/10583/stat : 10583 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 898308 0 0 0 477854 364 0 0 25 0 8 0 858114445 1663844352 233150 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10577/tid=10584] ppid=10575 vsize=1624848 CPUtime=4781.11 cores=0-7
/proc/10577/task/10584/stat : 10584 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 847504 0 0 0 477787 324 0 0 25 0 8 0 858114445 1663844352 233150 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 38181
Current children cumulated vsize (KiB) 1624848

[startup+4842.3 s]
/proc/loadavg: 8.06 8.10 8.03 9/470 10729
/proc/meminfo: memFree=11310052/32951124 swapFree=57414376/67111528
[pid=10577] ppid=10575 vsize=1781716 CPUtime=38659.9 cores=0-7
/proc/10577/stat : 10577 (strangenight2-m) R 10575 10577 10517 0 -1 4202496 6713021 0 0 0 3863100 2894 0 0 25 0 8 0 858114445 1824477184 251790 33554432000 4194304 4580107 140734376751360 18446744073709551615 4321192 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10577/statm: 445429 251791 380 95 0 440411 0
[pid=10577/tid=10578] ppid=10575 vsize=1781716 CPUtime=4842.23 cores=0-7
/proc/10577/task/10578/stat : 10578 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 927922 0 0 0 483861 362 0 0 25 0 8 0 858114445 1824477184 251791 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10577/tid=10579] ppid=10575 vsize=1781716 CPUtime=4842 cores=0-7
/proc/10577/task/10579/stat : 10579 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 925477 0 0 0 483769 431 0 0 25 0 8 0 858114445 1824477184 251791 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10577/tid=10580] ppid=10575 vsize=1781716 CPUtime=4841.11 cores=0-7
/proc/10577/task/10580/stat : 10580 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 895772 0 0 0 483695 416 0 0 25 0 8 0 858114445 1824477184 251791 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10577/tid=10581] ppid=10575 vsize=1781716 CPUtime=4776.57 cores=0-7
/proc/10577/task/10581/stat : 10581 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 403235 0 0 0 477430 227 0 0 25 0 8 0 858114445 1824477184 251791 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10577/tid=10582] ppid=10575 vsize=1781716 CPUtime=4832.47 cores=0-7
/proc/10577/task/10582/stat : 10582 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 925881 0 0 0 482822 425 0 0 25 0 8 0 858114445 1824477184 251791 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10577/tid=10583] ppid=10575 vsize=1781716 CPUtime=4842.17 cores=0-7
/proc/10577/task/10583/stat : 10583 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 907186 0 0 0 483850 367 0 0 25 0 8 0 858114445 1824477184 251791 33554432000 4194304 4580107 140734376751360 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10577/tid=10584] ppid=10575 vsize=1781716 CPUtime=4841.08 cores=0-7
/proc/10577/task/10584/stat : 10584 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 856571 0 0 0 483780 328 0 0 25 0 8 0 858114445 1824477184 251791 33554432000 4194304 4580107 140734376751360 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 38659.9
Current children cumulated vsize (KiB) 1781716

[startup+4902.3 s]
/proc/loadavg: 8.07 8.10 8.03 9/470 10731
/proc/meminfo: memFree=11270568/32951124 swapFree=57414376/67111528
[pid=10577] ppid=10575 vsize=1946784 CPUtime=39139 cores=0-7
/proc/10577/stat : 10577 (strangenight2-m) R 10575 10577 10517 0 -1 4202496 6777577 0 0 0 3910973 2927 0 0 25 0 8 0 858114445 1993506816 261324 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294520 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10577/statm: 486696 261324 380 95 0 481678 0
[pid=10577/tid=10578] ppid=10575 vsize=1946784 CPUtime=4902.23 cores=0-7
/proc/10577/task/10578/stat : 10578 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 933734 0 0 0 489858 365 0 0 25 0 8 0 858114445 1993506816 261324 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10577/tid=10579] ppid=10575 vsize=1946784 CPUtime=4902 cores=0-7
/proc/10577/task/10579/stat : 10579 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 934899 0 0 0 489764 436 0 0 25 0 8 0 858114445 1993506816 261324 33554432000 4194304 4580107 140734376751360 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10577/tid=10580] ppid=10575 vsize=1946784 CPUtime=4901.12 cores=0-7
/proc/10577/task/10580/stat : 10580 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 900179 0 0 0 489692 420 0 0 25 0 8 0 858114445 1993506816 261324 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10577/tid=10581] ppid=10575 vsize=1946784 CPUtime=4835.63 cores=0-7
/proc/10577/task/10581/stat : 10581 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 412159 0 0 0 483332 231 0 0 25 0 8 0 858114445 1993506816 261324 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294487 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10577/tid=10582] ppid=10575 vsize=1946784 CPUtime=4892.47 cores=0-7
/proc/10577/task/10582/stat : 10582 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 935181 0 0 0 488817 430 0 0 25 0 8 0 858114445 1993506816 261324 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10577/tid=10583] ppid=10575 vsize=1946784 CPUtime=4902.18 cores=0-7
/proc/10577/task/10583/stat : 10583 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 915878 0 0 0 489845 373 0 0 25 0 8 0 858114445 1993506816 261324 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10577/tid=10584] ppid=10575 vsize=1946784 CPUtime=4901.07 cores=0-7
/proc/10577/task/10584/stat : 10584 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 865216 0 0 0 489776 331 0 0 25 0 8 0 858114445 1993506816 261324 33554432000 4194304 4580107 140734376751360 18446744073709551615 252458090391 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 39139
Current children cumulated vsize (KiB) 1946784

[startup+4962.3 s]
/proc/loadavg: 8.02 8.08 8.02 9/470 10732
/proc/meminfo: memFree=11306252/32951124 swapFree=57414376/67111528
[pid=10577] ppid=10575 vsize=1812152 CPUtime=39618.1 cores=0-7
/proc/10577/stat : 10577 (strangenight2-m) R 10575 10577 10517 0 -1 4202496 6840779 0 0 0 3958848 2959 0 0 25 0 8 0 858114445 1855643648 244558 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10577/statm: 453038 244558 380 95 0 448020 0
[pid=10577/tid=10578] ppid=10575 vsize=1812152 CPUtime=4962.24 cores=0-7
/proc/10577/task/10578/stat : 10578 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 942955 0 0 0 495855 369 0 0 25 0 8 0 858114445 1855643648 244558 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10577/tid=10579] ppid=10575 vsize=1812152 CPUtime=4962 cores=0-7
/proc/10577/task/10579/stat : 10579 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 944148 0 0 0 495758 442 0 0 25 0 8 0 858114445 1855643648 244558 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10577/tid=10580] ppid=10575 vsize=1812152 CPUtime=4961.11 cores=0-7
/proc/10577/task/10580/stat : 10580 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 905060 0 0 0 495688 423 0 0 25 0 8 0 858114445 1855643648 244558 33554432000 4194304 4580107 140734376751360 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10577/tid=10581] ppid=10575 vsize=1812152 CPUtime=4894.72 cores=0-7
/proc/10577/task/10581/stat : 10581 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 416020 0 0 0 489238 234 0 0 25 0 8 0 858114445 1855643648 244558 33554432000 4194304 4580107 140734376751360 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10577/tid=10582] ppid=10575 vsize=1812152 CPUtime=4952.47 cores=0-7
/proc/10577/task/10582/stat : 10582 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 944332 0 0 0 494811 436 0 0 25 0 8 0 858114445 1855643648 244558 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10577/tid=10583] ppid=10575 vsize=1812152 CPUtime=4962.17 cores=0-7
/proc/10577/task/10583/stat : 10583 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 924600 0 0 0 495841 376 0 0 25 0 8 0 858114445 1855643648 244558 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10577/tid=10584] ppid=10575 vsize=1812152 CPUtime=4961.05 cores=0-7
/proc/10577/task/10584/stat : 10584 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 874194 0 0 0 495771 334 0 0 25 0 8 0 858114445 1855643648 244558 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 39618.1
Current children cumulated vsize (KiB) 1812152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5010.2 s]
/proc/loadavg: 8.06 8.08 8.02 9/470 10734
/proc/meminfo: memFree=11380740/32951124 swapFree=57414376/67111528
[pid=10577] ppid=10575 vsize=1675124 CPUtime=40000.6 cores=0-7
/proc/10577/stat : 10577 (strangenight2-m) R 10575 10577 10517 0 -1 4202496 6895261 0 0 0 3997071 2985 0 0 25 0 8 0 858114445 1715326976 233358 33554432000 4194304 4580107 140734376751360 18446744073709551615 4318435 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10577/statm: 418781 233358 380 95 0 413763 0
[pid=10577/tid=10578] ppid=10575 vsize=1675124 CPUtime=5010.15 cores=0-7
/proc/10577/task/10578/stat : 10578 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 950625 0 0 0 500643 372 0 0 25 0 8 0 858114445 1715326976 233368 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10577/tid=10579] ppid=10575 vsize=1675124 CPUtime=5009.92 cores=0-7
/proc/10577/task/10579/stat : 10579 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 949823 0 0 0 500546 446 0 0 25 0 8 0 858114445 1715326976 233368 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10577/tid=10580] ppid=10575 vsize=1675124 CPUtime=5009.03 cores=0-7
/proc/10577/task/10580/stat : 10580 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 912391 0 0 0 500476 427 0 0 25 0 8 0 858114445 1715326976 233368 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10577/tid=10581] ppid=10575 vsize=1675124 CPUtime=4941.87 cores=0-7
/proc/10577/task/10581/stat : 10581 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 420517 0 0 0 493950 237 0 0 25 0 8 0 858114445 1715326976 233368 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10577/tid=10582] ppid=10575 vsize=1675124 CPUtime=5000.39 cores=0-7
/proc/10577/task/10582/stat : 10582 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 951636 0 0 0 499600 439 0 0 25 0 8 0 858114445 1715326976 233368 33554432000 4194304 4580107 140734376751360 18446744073709551615 4318737 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10577/tid=10583] ppid=10575 vsize=1675124 CPUtime=5010.09 cores=0-7
/proc/10577/task/10583/stat : 10583 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 932161 0 0 0 500630 379 0 0 25 0 8 0 858114445 1715326976 233368 33554432000 4194304 4580107 140734376751360 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10577/tid=10584] ppid=10575 vsize=1675124 CPUtime=5008.95 cores=0-7
/proc/10577/task/10584/stat : 10584 (strangenight2-m) R 10575 10577 10517 0 -1 4202560 880981 0 0 0 500558 337 0 0 25 0 8 0 858114445 1715326976 233368 33554432000 4194304 4580107 140734376751360 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 40000.6
Current children cumulated vsize (KiB) 1675124

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

Solver just ended. Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5010.27
CPU time (s): 40000.7
CPU user time (s): 39970.8
CPU system time (s): 29.8965
CPU usage (%): 798.375
Max. virtual memory (cumulated for all children) (KiB): 2036060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39970.8
system time used= 29.8965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6895275
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= 83071
involuntary context switches= 116393

runsolver used 21.6087 second user time and 55.8845 second system time

The end

Launcher Data

Begin job on node111 at 2011-05-29 16:20:40
IDJOB=3421604
IDBENCH=83253
IDSOLVER=1878
FILE ID=node111/3421604-1306678840
RUNJOBID= node111-1306678835-10531
PBS_JOBID= 13471819
Free space on /tmp= 73604 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-3-6_2071.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3421604-1306678840/watcher-3421604-1306678840 -o /tmp/evaluation-result-3421604-1306678840/solver-3421604-1306678840 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3421604-1306678840.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 337bdbc5d8bf0013ca73aeffa06cffe8
RANDOM SEED=2130498374

node111.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5428.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.86
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      12311968 kB
Buffers:        353012 kB
Cached:       11473484 kB
SwapCached:      19180 kB
Active:       10782972 kB
Inactive:      9560880 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      12311968 kB
SwapTotal:    67111528 kB
SwapFree:     57414376 kB
Dirty:            8216 kB
Writeback:           8 kB
AnonPages:     8507980 kB
Mapped:          27520 kB
Slab:           157176 kB
PageTables:      66020 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 149065864 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73596 MiB
End job on node111 at 2011-05-29 17:44:12