Trace number 3421600
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:
-
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.
-
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.
-
CONVERSION SCRIPT DATA (Optionnal)
When a conversion script is used, this section shows the messages that were output by the conversion script.
-
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.
-
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
General information on the benchmark
| Name | crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-5-5_34308.cnf |
| MD5SUM | 1ef198d3f2d717e33f4f2ba124eb7eb2 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 34306 |
| Number of clauses | 708168 |
| Sum of the clauses size | 3540840 |
| Maximum clause length | 5 |
| Minimum clause length | 5 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 0 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 708168 |
| Number of clauses of size over 5 | 0 |
Solver Data
0.00/0.00 c Outputting solution to console
0.00/0.01 c Using 8 threads
0.00/0.01 c This is CryptoMiniSat 3.0.0
0.00/0.01 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01 c Reading file 'HOME/instance-3421600-1306678739.cnf'
0.00/0.02 c -- header says num vars: 34306
0.00/0.02 c -- header says num clauses: 708168
6.19/1.07 c -- clauses added: 0 learnts, 708168 normals, 0 xors
6.19/1.07 c -- vars added 34306
6.19/1.07 c Parsing time: 0.52 s
6.19/1.07 c N st 0 0 34306 708168 0 0 3540840 0 no data no data
12.19/1.83 c asymm cl-useful: 0/41109/708168 lits-rem:0 time: 0.71
16.21/2.36 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 6.5M T: 0.51
25.66/4.23 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
25.66/4.23 c bin-w-bin subsume rem 0 bins time: 0.00 s
25.66/4.23 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
25.66/4.23 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 34306 time: 0.00 s
25.66/4.23 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.00 s
36.78/5.66 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 1.38 s
36.78/5.68 c Finding binary XORs T: 0.01 s found: 0
42.29/6.32 c Finding non-binary XORs: 0.62 s (found: 0, avg size: nan)
42.29/6.32 c calculated reachability. Time: 0.00
43.09/6.40 c Calc default polars - time: 0.07 s pos: 0 undec: 34306 neg: 0
43.09/6.40 c =========================================================================================
43.09/6.40 c types(t): F = full restart, N = normal restart
43.09/6.40 c types(t): S = simplification begin/end, E = solution found
43.09/6.40 c restart types(rt): st = static, dy = dynamic
43.09/6.40 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
43.09/6.40 c B st 0 0 34306 708168 0 0 3540840 0 no data no data
49.47/7.24 c N dy 18 4162 34306 708168 0 4160 3540840 962563 155.11 165.33
53.55/7.76 c N dy 38 8168 34306 708168 0 8165 3540840 1759387 148.23 156.35
58.26/8.32 c N dy 62 12370 34306 708168 0 12367 3540840 2564319 145.14 153.79
62.34/8.86 c N dy 89 16417 34306 708168 0 16412 3540840 3355531 144.97 154.03
67.82/9.54 c N dy 115 20438 34306 708168 0 10436 3540840 708112 144.74 155.30
72.59/10.10 c N dy 140 24461 34306 708168 0 14457 3540840 1488263 143.92 152.90
72.59/10.18 c F st 145 25001 34306 708168 0 14997 3540840 1602076 144.34 no data
74.98/10.40 c Found part 41 vars: 4293 clauses: 88534 lits size: 442670
74.98/10.40 c Found part 48 vars: 4265 clauses: 86046 lits size: 430230
74.98/10.40 c Found part 63 vars: 4257 clauses: 85800 lits size: 429000
74.98/10.40 c Found part 66 vars: 4296 clauses: 89914 lits size: 449570
74.98/10.40 c Found part 67 vars: 17195 clauses: 357874 lits size: 1789370
74.98/10.40 c Found parts: 5 time: 0.22 s
74.98/10.40 c Solving part 63
74.98/10.49 c N st 0 0 4257 85800 0 0 429000 0 no data no data
78.97/10.97 c asymm cl-useful: 0/85800/85800 lits-rem:0 time: 0.48
78.97/11.00 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.03
78.97/11.00 c Finding binary XORs T: 0.00 s found: 0
79.86/11.04 c Finding non-binary XORs: 0.03 s (found: 0, avg size: nan)
79.86/11.04 c calculated reachability. Time: 0.00
79.86/11.04 c Calc default polars - time: 0.00 s pos: 0 undec: 34306 neg: 0
79.86/11.04 c =========================================================================================
79.86/11.04 c types(t): F = full restart, N = normal restart
79.86/11.04 c types(t): S = simplification begin/end, E = solution found
79.86/11.04 c restart types(rt): st = static, dy = dynamic
79.86/11.04 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
79.86/11.04 c B st 0 0 4257 85800 0 0 429000 0 no data no data
84.57/11.67 c N dy 15 4021 4257 85800 0 4021 429000 920331 149.66 159.70
88.64/12.15 c N dy 39 8072 4257 85800 0 8071 429000 1741237 147.30 169.56
92.55/12.65 c N dy 68 12078 4257 85800 0 12076 429000 2535713 146.98 174.29
96.55/13.17 c N dy 93 16082 4257 85800 0 16080 429000 3313195 145.46 153.19
101.34/13.76 c N dy 120 20127 4257 85800 0 10123 429000 660347 145.69 154.22
105.33/14.30 c N dy 147 24158 4257 85800 0 14154 429000 1470350 145.64 160.00
107.02/14.41 c F st 154 25002 4257 85800 0 14998 429000 1635716 145.57 no data
110.12/14.84 c N st 159 28301 4257 85800 0 18295 429000 2374838 145.57 no data
115.00/15.42 c N dy 176 32531 4257 85800 0 22520 429000 3295535 145.65 153.69
119.72/16.01 c N dy 204 36596 4257 85800 0 26584 429000 4096604 145.67 154.86
124.59/16.64 c N dy 233 40616 4257 85800 0 30603 429000 4903203 145.96 184.12
129.30/17.24 c N dy 259 44672 4257 85800 0 19169 429000 1448494 145.90 153.86
134.09/17.81 c N dy 282 48681 4257 85800 0 23176 429000 2251694 145.60 158.23
138.89/18.42 c N dy 309 52746 4257 85800 0 27240 429000 3058115 145.43 156.38
143.67/19.06 c N dy 335 56867 4257 85800 0 31359 429000 3858898 145.16 155.11
149.27/19.77 c N dy 363 61098 4257 85800 0 35590 429000 4703062 145.13 161.38
154.85/20.47 c N dy 392 65131 4257 85800 0 20879 429000 1110510 145.28 176.80
160.44/21.12 c N dy 420 69320 4257 85800 0 25067 429000 1944524 145.25 172.72
166.05/21.89 c N dy 455 73787 4257 85800 0 29533 429000 2851147 145.59 159.24
172.43/22.70 c N dy 485 78499 4257 85800 0 34244 429000 3787760 145.63 157.15
180.42/23.64 c N dy 518 83607 4257 85800 0 39350 429000 4827560 145.66 160.99
186.11/24.32 c F st 539 87500 4257 85800 0 22374 429000 923782 145.36 no data
188.41/24.61 c N st 543 89539 4257 85800 0 24412 429000 1398099 145.36 no data
194.89/25.46 c N dy 564 95266 4257 85800 0 30135 429000 2706538 145.47 153.29
202.87/26.47 c N dy 608 101485 4257 85800 0 36351 429000 3956217 145.53 156.52
211.66/27.59 c N dy 653 107996 4257 85800 0 42860 429000 5283982 145.72 160.22
220.45/28.68 c N dy 695 114943 4257 85800 0 27377 429000 1575916 145.66 160.10
230.03/29.86 c N dy 745 122366 4257 85800 0 34797 429000 3062586 145.64 153.80
241.13/31.21 c N dy 799 130284 4257 85800 0 42715 429000 4646896 145.64 160.22
252.32/32.63 c N dy 855 138798 4257 85800 0 27513 429000 1315108 145.60 153.53
263.51/34.04 c N dy 910 147719 4257 85800 0 36430 429000 3069421 145.34 154.08
276.28/35.68 c N dy 968 157292 4257 85800 0 46002 429000 4944494 145.19 155.14
290.75/37.48 c N dy 1033 167379 4257 85800 0 31234 429000 1809753 145.24 155.98
306.65/39.44 c N dy 1107 178113 4257 85800 0 41965 429000 3998722 145.45 153.80
324.22/41.64 c N dy 1181 189569 4257 85800 0 27495 429000 835464 145.44 155.35
340.20/43.60 c N dy 1259 201760 4257 85800 0 39684 429000 3287999 145.42 173.27
358.58/45.95 c N dy 1344 214773 4257 85800 0 52692 429000 5840100 145.22 154.28
378.62/48.46 c N dy 1439 228680 4257 85800 0 39639 429000 3039529 145.27 155.06
402.52/51.41 c N dy 1537 243394 4257 85800 0 54342 429000 5988860 145.24 156.40
423.37/54.08 c N dy 1642 259162 4257 85800 0 42131 429000 3287483 145.12 164.29
448.06/57.13 c N dy 1751 275786 4257 85800 0 29770 429000 641908 145.09 154.21
474.42/60.42 c N dy 1873 293464 4257 85800 0 47440 429000 4175958 145.09 169.70
495.98/63.14 c F st 1963 306250 4257 85800 0 30241 429000 530789 145.17 109.06
503.17/64.06 c N dy 1975 312366 4257 85800 0 36351 429000 1985914 145.17 156.75
531.14/67.59 c N dy 2114 332404 4257 85800 0 56377 429000 5986113 145.22 156.06
559.90/71.13 c N dy 2245 352606 4257 85800 0 45594 429000 3390995 145.19 155.57
591.04/75.06 c N dy 2385 372625 4257 85800 0 33620 429000 815344 145.22 180.02
622.99/79.00 c N dy 2526 392783 4257 85800 0 53776 429000 4844299 145.22 153.40
654.14/82.93 c N dy 2656 412792 4257 85800 0 40786 429000 2059362 145.20 190.20
683.71/86.64 c N dy 2785 432828 4257 85800 0 60818 429000 6020598 145.11 152.97
713.34/90.36 c N dy 2913 453019 4257 85800 0 47011 429000 3104701 145.12 155.35
744.41/94.27 c N dy 3052 473044 4257 85800 0 67023 429000 7150157 145.24 154.42
775.55/98.19 c N dy 3181 493161 4257 85800 0 52154 429000 3890548 145.21 155.52
810.71/102.56 c N dy 3302 513176 4257 85800 0 36175 429000 529301 145.11 155.81
838.67/106.06 c N dy 3429 533271 4257 85800 0 56262 429000 4545135 145.08 152.95
871.49/110.20 c N dy 3561 553340 4257 85800 0 39333 429000 954268 145.03 154.12
900.97/113.84 c N dy 3693 573349 4257 85800 0 59336 429000 4891937 145.00 193.72
934.48/118.01 c N dy 3832 593365 4257 85800 0 41365 429000 1179069 145.06 154.10
967.32/122.15 c N dy 3971 613374 4257 85800 0 61362 429000 5195654 145.07 155.79
1003.96/126.78 c N dy 4109 633458 4257 85800 0 42453 429000 1206212 145.09 158.28
1034.33/130.54 c N dy 4239 653517 4257 85800 0 62509 429000 5185726 145.04 154.47
1068.67/134.87 c N dy 4379 673641 4257 85800 0 42636 429000 1051524 145.09 152.92
1098.22/138.58 c N dy 4511 693722 4257 85800 0 62706 429000 5058341 145.10 153.32
1133.37/142.94 c N dy 4644 713801 4257 85800 0 41792 429000 683271 145.08 154.98
1166.12/147.06 c N dy 4774 733802 4257 85800 0 61783 429000 4707712 145.08 156.67
1205.35/151.94 c N dy 4917 753907 4257 85800 0 81883 429000 8752309 145.13 153.58
1236.41/155.87 c N dy 5060 773968 4257 85800 0 59954 429000 4154974 145.19 161.14
1270.76/160.15 c N dy 5193 793980 4257 85800 0 79963 429000 8154198 145.17 163.44
1302.70/164.13 c N dy 5320 814223 4257 85800 0 57209 429000 3413031 145.16 159.14
1336.33/168.36 c N dy 5452 834292 4257 85800 0 77269 429000 7460468 145.19 154.37
1371.46/172.72 c N dy 5592 854350 4257 85800 0 53333 429000 2409300 145.21 165.67
1408.13/177.31 c N dy 5729 874612 4257 85800 0 73586 429000 6479170 145.25 156.96
1447.27/182.21 c N dy 5863 894880 4257 85800 0 48868 429000 1326823 145.27 156.47
1478.42/186.12 c N dy 5997 914920 4257 85800 0 68900 429000 5315015 145.28 153.34
1515.16/190.72 c N dy 6136 935071 4257 85800 0 89046 429000 9330157 145.29 153.25
1546.30/194.70 c N dy 6268 955105 4257 85800 0 63096 429000 3921344 145.29 159.55
1581.46/199.06 c N dy 6400 975151 4257 85800 0 83137 429000 7914961 145.31 154.34
1616.60/203.48 c N dy 6536 995270 4257 85800 0 56263 429000 2417493 145.33 155.59
1649.35/207.51 c N dy 6660 1015283 4257 85800 0 76274 429000 6375111 145.29 154.68
1686.88/212.28 c N dy 6795 1035287 4257 85800 0 48287 429000 624367 145.30 159.58
1721.22/216.55 c N dy 6918 1055372 4257 85800 0 68368 429000 4642935 145.28 153.58
1753.17/220.57 c F st 7028 1071875 4257 85800 0 84863 429000 7933794 145.28 no data
1761.96/221.68 c N dy 7034 1077067 4257 85800 0 90047 429000 9122586 145.28 no data
1798.68/226.22 c N dy 7163 1097096 4257 85800 0 61088 429000 2991369 145.27 156.22
1832.23/230.44 c N dy 7294 1117189 4257 85800 0 81172 429000 7004041 145.27 153.53
1872.24/235.41 c N dy 7441 1137252 4257 85800 0 51248 429000 829097 145.32 155.71
1906.52/239.79 c N dy 7570 1157342 4257 85800 0 71330 429000 4883831 145.33 154.18
1948.06/244.97 c N dy 7710 1177408 4257 85800 0 91391 429000 8904560 145.35 154.17
1986.47/249.72 c N dy 7840 1197492 4257 85800 0 60492 429000 2471700 145.35 156.46
2019.94/253.97 c N dy 7976 1217531 4257 85800 0 80523 429000 6478589 145.34 161.99
2059.07/258.88 c N dy 8111 1237535 4257 85800 0 100514 429000 10526573 145.36 153.93
2096.61/263.56 c N dy 8248 1257606 4257 85800 0 68598 429000 3943579 145.38 155.06
2136.64/268.58 c N dy 8383 1277661 4257 85800 0 88645 429000 7943123 145.37 153.63
2180.56/274.02 c N dy 8515 1297762 4257 85800 0 55756 429000 1151661 145.37 156.00
2213.22/278.17 c N dy 8648 1317775 4257 85800 0 75765 429000 5142362 145.37 153.04
2251.55/282.92 c N dy 8782 1337831 4257 85800 0 95815 429000 9182867 145.36 154.17
2291.50/287.90 c N dy 8919 1357882 4257 85800 0 61867 429000 2203867 145.38 153.43
2329.92/292.77 c N dy 9057 1377908 4257 85800 0 81889 429000 6255017 145.40 183.07
2373.84/298.26 c N dy 9195 1397922 4257 85800 0 101899 429000 10254179 145.42 154.26
2412.10/303.06 c N dy 9328 1417987 4257 85800 0 66967 429000 3036624 145.43 168.90
2448.04/307.53 c N dy 9466 1438048 4257 85800 0 87024 429000 7076521 145.45 161.41
2488.77/312.65 c N dy 9601 1458254 4257 85800 0 107221 429000 11116228 145.44 156.28
2527.10/317.45 c N dy 9731 1478267 4257 85800 0 71253 429000 3680786 145.44 153.42
2568.65/322.62 c N dy 9867 1498506 4257 85800 0 91487 429000 7710376 145.44 155.42
2615.77/328.57 c N dy 10007 1518555 4257 85800 0 111530 429000 11747122 145.45 153.56
2652.52/333.11 c N dy 10138 1538982 4257 85800 0 74969 429000 4162443 145.42 154.99
2690.84/337.95 c N dy 10273 1559214 4257 85800 0 95193 429000 8232097 145.43 156.14
2734.07/343.33 c N dy 10409 1579294 4257 85800 0 115267 429000 12265170 145.44 156.77
2771.52/348.08 c N dy 10541 1599316 4257 85800 0 77302 429000 4486417 145.43 155.94
2814.66/353.44 c N dy 10687 1619452 4257 85800 0 97432 429000 8530260 145.45 154.10
2862.59/359.45 c N dy 10829 1639504 4257 85800 0 117480 429000 12577367 145.47 153.88
2897.73/363.81 c N dy 10972 1659544 4257 85800 0 78537 429000 4583382 145.50 154.07
2935.34/368.59 c N dy 11107 1679585 4257 85800 0 98572 429000 8635227 145.52 157.50
2979.27/374.06 c N dy 11256 1699611 4257 85800 0 118591 429000 12737022 145.57 155.28
3015.22/378.54 c N dy 11399 1719826 4257 85800 0 78815 429000 4408957 145.58 153.93
3053.47/383.37 c N dy 11532 1739837 4257 85800 0 98823 429000 8392118 145.58 163.69
3097.39/388.82 c N dy 11672 1759864 4257 85800 0 118844 429000 12450871 145.61 153.70
3134.12/393.49 c N dy 11815 1779983 4257 85800 0 77963 429000 4090132 145.64 153.75
3172.55/398.27 c N dy 11945 1800069 4257 85800 0 98043 429000 8124639 145.64 153.58
3216.49/403.75 c N dy 12082 1820130 4257 85800 0 118100 429000 12159612 145.64 162.22
3254.73/408.53 c N dy 12220 1840182 4257 85800 0 76165 429000 3504908 145.65 156.51
3292.29/413.28 c N dy 12354 1860247 4257 85800 0 96223 429000 7554110 145.66 154.12
3335.42/418.69 c N dy 12492 1880328 4257 85800 0 116297 429000 11624604 145.69 154.36
3375.43/423.65 c N dy 12626 1900439 4257 85800 0 73421 429000 2762579 145.70 153.94
3412.88/428.33 c N dy 12765 1920759 4257 85800 0 93733 429000 6849633 145.71 153.47
3455.21/433.66 c N dy 12908 1940900 4257 85800 0 113869 429000 10943618 145.75 156.22
3498.43/439.04 c N dy 13048 1960981 4257 85800 0 69976 429000 1870150 145.77 153.51
3534.27/443.57 c N dy 13183 1981092 4257 85800 0 90081 429000 5905413 145.78 155.92
3575.82/448.80 c N dy 13322 2001183 4257 85800 0 110168 429000 9967063 145.80 159.16
3622.93/454.68 c N dy 13460 2021326 4257 85800 0 65318 429000 723535 145.82 153.69
3658.05/459.01 c N dy 13588 2041416 4257 85800 0 85401 429000 4728952 145.81 156.13
3698.01/464.00 c N dy 13721 2061500 4257 85800 0 105480 429000 8756110 145.80 157.34
3741.14/469.49 c N dy 13854 2081522 4257 85800 0 125494 429000 12737065 145.79 166.88
3781.08/474.40 c N dy 13989 2101641 4257 85800 0 79628 429000 3392340 145.79 156.00
3820.23/479.32 c N dy 14135 2121858 4257 85800 0 99839 429000 7477673 145.81 159.57
3864.14/484.80 c N dy 14271 2141938 4257 85800 0 119913 429000 11491818 145.81 155.24
3908.07/490.31 c N dy 14412 2161945 4257 85800 0 72945 429000 1885854 145.83 162.75
3944.01/494.84 c N dy 14544 2182027 4257 85800 0 93020 429000 5925933 145.84 154.70
3985.55/500.05 c N dy 14678 2202148 4257 85800 0 113132 429000 9964084 145.84 153.89
4031.88/505.87 c N dy 14814 2222228 4257 85800 0 133205 429000 14002555 145.85 154.75
4071.00/510.75 c N dy 14963 2242329 4257 85800 0 85315 429000 4201868 145.87 162.77
4110.15/515.64 c N dy 15097 2262332 4257 85800 0 105309 429000 8237377 145.88 154.66
4154.87/521.22 c N dy 15232 2282489 4257 85800 0 125459 429000 12221590 145.87 153.81
4200.48/526.91 c N dy 15378 2302495 4257 85800 0 76475 429000 2214575 145.90 153.58
4237.92/531.67 c N dy 15515 2322593 4257 85800 0 96564 429000 6254277 145.91 156.32
4279.53/536.88 c N dy 15638 2342618 4257 85800 0 116586 429000 10257620 145.89 161.94
4327.37/542.81 c N dy 15778 2362741 4257 85800 0 136706 429000 14313710 145.90 157.68
4364.91/547.59 c N dy 15909 2382833 4257 85800 0 86811 429000 4083224 145.90 163.01
4405.64/552.61 c N dy 16048 2402936 4257 85800 0 106905 429000 8115443 145.91 163.91
4451.97/558.40 c N dy 16194 2422979 4257 85800 0 126943 429000 12201950 145.93 166.01
4497.50/564.17 c N dy 16329 2443028 4257 85800 0 76016 429000 1705936 145.93 155.43
4535.13/568.86 c N dy 16461 2463184 4257 85800 0 96169 429000 5710375 145.93 157.39
4577.36/574.12 c N dy 16591 2483286 4257 85800 0 116261 429000 9744627 145.93 158.71
4624.48/580.03 c N dy 16732 2503359 4257 85800 0 136327 429000 13788196 145.94 155.63
4666.90/585.34 c N dy 16871 2523395 4257 85800 0 84377 429000 3211721 145.96 155.82
4706.75/590.31 c N dy 16998 2543508 4257 85800 0 104485 429000 7258733 145.96 163.96
4750.67/595.87 c N dy 17138 2563570 4257 85800 0 124543 429000 11255621 145.96 155.08
4800.20/602.02 c N dy 17268 2583709 4257 85800 0 144673 429000 15344321 145.96 155.62
4837.73/606.78 c N dy 17399 2603710 4257 85800 0 91691 429000 4488854 145.96 154.05
4879.27/611.92 c N dy 17535 2623820 4257 85800 0 111795 429000 8568227 145.97 157.38
4925.59/617.78 c N dy 17675 2643915 4257 85800 0 131887 429000 12642626 145.99 157.99
4974.40/623.86 c N dy 17804 2664101 4257 85800 0 78091 429000 1558711 145.99 154.58
5012.65/628.66 c N dy 17945 2684131 4257 85800 0 98115 429000 5615112 146.00 160.91
5054.98/633.99 c N dy 18075 2704340 4257 85800 0 118318 429000 9645585 146.00 155.95
5102.91/639.98 c N dy 18209 2724517 4257 85800 0 138488 429000 13708312 146.02 154.28
5150.11/645.82 c N dy 18345 2744625 4257 85800 0 83608 429000 2488831 146.02 156.26
5189.98/650.84 c N dy 18487 2764903 4257 85800 0 103881 429000 6567234 146.03 153.72
5233.90/656.35 c N dy 18623 2784949 4257 85800 0 123915 429000 10600583 146.04 153.74
5283.41/662.52 c N dy 18763 2805076 4257 85800 0 144036 429000 14664766 146.05 155.37
5327.34/668.02 c N dy 18904 2825190 4257 85800 0 88170 429000 3233033 146.07 154.21
5368.09/673.12 c N dy 19044 2845203 4257 85800 0 108171 429000 7280282 146.09 157.67
5412.89/678.73 c N dy 19186 2865234 4257 85800 0 128197 429000 11342187 146.10 158.71
5463.92/685.14 c N dy 19325 2885236 4257 85800 0 148195 429000 15362074 146.11 156.67
5505.44/690.36 c N dy 19451 2905327 4257 85800 0 91309 429000 3627635 146.10 157.10
5546.98/695.57 c N dy 19591 2925351 4257 85800 0 111325 429000 7692671 146.10 160.87
5594.11/701.43 c N dy 19734 2945430 4257 85800 0 131394 429000 11781141 146.12 157.13
5646.01/707.98 c N dy 19873 2965512 4257 85800 0 151471 429000 15866064 146.13 155.30
5686.74/713.03 c N dy 19999 2985552 4257 85800 0 93537 429000 3880042 146.13 154.09
5728.29/718.26 c N dy 20138 3005607 4257 85800 0 113586 429000 7935292 146.13 153.89
5773.90/723.99 c N dy 20273 3025647 4257 85800 0 133618 429000 11995634 146.14 160.36
5825.80/730.46 c N dy 20403 3045811 4257 85800 0 153778 429000 15996582 146.13 154.32
5867.25/735.68 c N dy 20534 3065889 4257 85800 0 94884 429000 3989841 146.14 167.50
5909.59/740.91 c N dy 20669 3085895 4257 85800 0 114887 429000 7963736 146.13 158.01
5955.11/746.69 c N dy 20801 3105947 4257 85800 0 134931 429000 12018168 146.14 157.15
6007.02/753.16 c N dy 20937 3125999 4257 85800 0 154974 429000 16050840 146.14 156.41
6049.34/758.49 c N dy 21071 3146079 4257 85800 0 95061 429000 3827054 146.15 158.48
6091.67/763.76 c N dy 21210 3166160 4257 85800 0 115136 429000 7855016 146.15 157.18
6138.01/769.58 c N dy 21341 3186326 4257 85800 0 135296 429000 11903327 146.15 154.20
6191.54/776.20 c N dy 21478 3206328 4257 85800 0 155294 429000 15877306 146.14 154.59
6235.44/781.79 c N dy 21621 3226383 4257 85800 0 94370 429000 3503093 146.15 173.09
6277.78/787.05 c N dy 21755 3246607 4257 85800 0 114588 429000 7594048 146.15 158.05
6325.72/793.07 c N dy 21895 3266870 4257 85800 0 134844 429000 11688592 146.16 153.87
6377.61/799.56 c N dy 22026 3286892 4257 85800 0 154858 429000 15725007 146.16 154.98
6424.70/805.43 c N dy 22162 3307004 4257 85800 0 92994 429000 3002785 146.16 155.36
6467.12/810.72 c N dy 22302 3327147 4257 85800 0 113133 429000 7050732 146.17 157.02
6513.38/816.52 c N dy 22440 3347265 4257 85800 0 133245 429000 11086537 146.18 153.93
6564.57/822.96 c N dy 22574 3367272 4257 85800 0 153243 429000 15135313 146.19 206.02
6614.79/829.25 c N dy 22710 3387486 4257 85800 0 90467 429000 2347690 146.19 154.04
6656.31/834.48 c N dy 22844 3407637 4257 85800 0 110614 429000 6403061 146.19 155.99
6702.66/840.22 c N dy 22974 3427709 4257 85800 0 130676 429000 10382395 146.18 154.07
6753.78/846.66 c N dy 23110 3447826 4257 85800 0 150786 429000 14443676 146.19 155.31
6808.08/853.44 c N dy 23248 3467955 4257 85800 0 86931 429000 1426817 146.19 154.57
6848.00/858.44 c N dy 23383 3488088 4257 85800 0 107058 429000 5467094 146.19 156.00
6892.73/864.09 c N dy 23522 3508112 4257 85800 0 127079 429000 9557048 146.20 153.95
6943.86/870.40 c N dy 23666 3528139 4257 85800 0 147096 429000 13659635 146.23 157.26
6998.98/877.37 c N dy 23797 3548295 4257 85800 0 167250 429000 17716662 146.23 158.40
7042.08/882.75 c N dy 23935 3568377 4257 85800 0 102359 429000 4355275 146.23 155.35
7086.00/888.22 c N dy 24070 3588421 4257 85800 0 122398 429000 8404295 146.24 208.40
7133.14/894.15 c N dy 24195 3608441 4257 85800 0 142412 429000 12452085 146.23 181.70
7188.36/901.01 c N dy 24336 3628499 4257 85800 0 162468 429000 16483763 146.24 159.32
7237.76/907.22 c N dy 24470 3648534 4257 85800 0 96528 429000 2982312 146.23 156.49
7280.88/912.61 c N dy 24612 3668596 4257 85800 0 116582 429000 7027277 146.24 159.22
7327.24/918.50 c N dy 24750 3688599 4257 85800 0 136576 429000 11005521 146.24 154.26
7380.83/925.14 c N dy 24886 3708734 4257 85800 0 156704 429000 15078796 146.26 154.13
7437.44/932.27 c N dy 25027 3728914 4257 85800 0 89906 429000 1463314 146.27 154.14
7478.25/937.37 c N dy 25159 3748929 4257 85800 0 109919 429000 5436848 146.26 154.00
7483.76/938.08 c F st 25178 3751562 4257 85800 0 112551 429000 5955866 146.26 no data
7521.37/942.72 c N dy 25260 3768960 4257 85800 0 129941 429000 9658775 146.26 154.64
7572.44/949.10 c N dy 25396 3789007 4257 85800 0 149981 429000 13723476 146.26 162.40
7628.35/956.10 c N dy 25539 3809038 4257 85800 0 170004 429000 17815740 146.28 155.55
7674.67/961.93 c N dy 25682 3829158 4257 85800 0 102137 429000 3750755 146.29 154.89
7719.38/967.52 c N dy 25820 3849182 4257 85800 0 122156 429000 7784585 146.29 154.94
7767.40/973.56 c N dy 25955 3869208 4257 85800 0 142175 429000 11792201 146.29 186.95
7821.63/980.36 c N dy 26091 3889228 4257 85800 0 162187 429000 15847726 146.30 162.05
7877.52/987.33 c N dy 26223 3909398 4257 85800 0 93382 429000 1782194 146.31 154.26
7919.84/992.66 c N dy 26367 3929440 4257 85800 0 113418 429000 5890973 146.32 195.10
7966.97/998.55 c N dy 26508 3949515 4257 85800 0 133486 429000 9919243 146.33 155.10
8018.91/1005.10 c N dy 26643 3969650 4257 85800 0 153611 429000 13973705 146.33 154.18
8077.22/1012.33 c N dy 26783 3989777 4257 85800 0 173728 429000 18079749 146.34 154.58
8124.32/1018.29 c N dy 26924 4009815 4257 85800 0 103783 429000 3676329 146.34 158.54
8169.82/1023.91 c N dy 27063 4029939 4257 85800 0 123898 429000 7721387 146.35 155.73
8218.56/1030.02 c N dy 27193 4049996 4257 85800 0 143946 429000 11746737 146.34 155.79
8272.90/1036.85 c N dy 27328 4070057 4257 85800 0 163997 429000 15747161 146.34 155.63
8331.98/1044.22 c N dy 27456 4090254 4257 85800 0 93225 429000 1344489 146.34 158.83
8373.60/1049.43 c N dy 27586 4110323 4257 85800 0 113285 429000 5421639 146.34 155.98
8419.83/1055.25 c N dy 27721 4130436 4257 85800 0 133390 429000 9482241 146.34 155.59
8471.05/1061.67 c N dy 27850 4150621 4257 85800 0 153564 429000 13555764 146.34 156.67
8527.69/1068.70 c N dy 27980 4170623 4257 85800 0 173559 429000 17595241 146.34 154.44
8578.79/1075.19 c N dy 28113 4190638 4257 85800 0 101609 429000 2853320 146.34 155.93
8623.51/1080.75 c N dy 28252 4210821 4257 85800 0 121784 429000 6935166 146.35 155.40
8672.32/1086.83 c N dy 28384 4230920 4257 85800 0 141878 429000 10981724 146.35 157.11
8726.57/1093.60 c N dy 28523 4250968 4257 85800 0 161922 429000 14985003 146.35 154.22
8785.68/1101.07 c N dy 28664 4270969 4257 85800 0 181913 429000 19027012 146.36 155.26
8835.99/1107.32 c N dy 28798 4291041 4257 85800 0 109011 429000 4197237 146.36 158.92
8887.88/1113.83 c N dy 28936 4311131 4257 85800 0 129092 429000 8257038 146.37 155.58
8943.80/1120.87 c N dy 29072 4331250 4257 85800 0 149199 429000 12316068 146.37 154.83
9006.20/1128.70 c N dy 29208 4351340 4257 85800 0 169285 429000 16372997 146.38 179.91
9072.39/1136.91 c N dy 29337 4371379 4257 85800 0 95363 429000 1210504 146.38 164.15
9114.70/1142.24 c N dy 29475 4391620 4257 85800 0 115600 429000 5343928 146.39 156.61
9161.83/1148.18 c N dy 29611 4411678 4257 85800 0 135655 429000 9357306 146.39 154.44
9215.36/1154.81 c N dy 29748 4431684 4257 85800 0 155656 429000 13355190 146.38 160.71
9273.67/1162.17 c N dy 29896 4451739 4257 85800 0 175704 429000 17457516 146.40 154.37
9332.04/1169.42 c N dy 30035 4471762 4257 85800 0 100754 429000 2106859 146.40 158.20
9374.28/1174.77 c N dy 30170 4491768 4257 85800 0 120754 429000 6112210 146.40 155.14
9423.00/1180.87 c N dy 30305 4511909 4257 85800 0 140886 429000 10112791 146.40 155.56
9476.51/1187.53 c N dy 30438 4531960 4257 85800 0 160931 429000 14172736 146.40 154.74
9534.13/1194.78 c N dy 30569 4552073 4257 85800 0 181039 429000 18207048 146.39 155.04
9589.08/1201.67 c N dy 30714 4572087 4257 85800 0 105069 429000 2830850 146.40 154.67
9635.16/1207.40 c N dy 30859 4592171 4257 85800 0 125147 429000 6949637 146.42 193.32
9685.18/1213.70 c N dy 30995 4612318 4257 85800 0 145279 429000 10987287 146.42 154.59
9740.11/1220.63 c N dy 31131 4632499 4257 85800 0 165452 429000 15025475 146.42 154.43
9800.02/1228.18 c N dy 31264 4652579 4257 85800 0 185528 429000 19063904 146.42 154.18
9855.13/1235.04 c N dy 31396 4672653 4257 85800 0 108631 429000 3335937 146.42 155.68
9907.02/1241.53 c N dy 31530 4692793 4257 85800 0 128763 429000 7395289 146.43 158.08
9963.83/1248.65 c N dy 31669 4712821 4257 85800 0 148785 429000 11446209 146.43 155.19
10026.05/1256.40 c N dy 31799 4732908 4257 85800 0 168864 429000 15474103 146.43 160.56
10093.15/1264.81 c N dy 31932 4752930 4257 85800 0 188883 429000 19486205 146.43 154.44
10146.66/1271.59 c N dy 32066 4772941 4257 85800 0 110915 429000 3581071 146.43 154.30
10192.25/1277.29 c N dy 32198 4793114 4257 85800 0 131078 429000 7645256 146.43 155.57
10244.18/1283.80 c N dy 32345 4813204 4257 85800 0 151162 429000 11647976 146.43 163.07
10299.20/1290.69 c N dy 32472 4833225 4257 85800 0 171176 429000 15715175 146.43 160.93
10361.51/1298.43 c N dy 32605 4853286 4257 85800 0 191231 429000 19736171 146.43 154.88
10411.93/1304.78 c N dy 32740 4873305 4257 85800 0 112277 429000 3681150 146.43 158.96
10458.94/1310.67 c N dy 32883 4893460 4257 85800 0 132429 429000 7742830 146.44 156.12
10510.07/1317.01 c N dy 33014 4913467 4257 85800 0 152429 429000 11822424 146.44 163.03
10566.01/1324.05 c N dy 33147 4933552 4257 85800 0 172507 429000 15880011 146.45 154.36
10627.52/1331.75 c N dy 33285 4953585 4257 85800 0 192538 429000 19973086 146.46 156.96
10681.01/1338.41 c N dy 33421 4973718 4257 85800 0 112704 429000 3566085 146.46 155.02
10726.52/1344.17 c N dy 33553 4993767 4257 85800 0 132741 429000 7637662 146.46 155.84
10779.25/1350.79 c N dy 33695 5013928 4257 85800 0 152895 429000 11746008 146.47 158.67
10835.97/1357.88 c N dy 33832 5034017 4257 85800 0 172975 429000 15822588 146.48 156.00
10899.08/1365.73 c N dy 33974 5054048 4257 85800 0 193001 429000 19891416 146.49 154.68
10953.40/1372.59 c N dy 34113 5074080 4257 85800 0 112056 429000 3251793 146.50 155.98
10999.79/1378.38 c N dy 34254 5094102 4257 85800 0 132074 429000 7326253 146.51 155.22
11050.84/1384.79 c N dy 34394 5114131 4257 85800 0 152099 429000 11355134 146.51 155.77
11107.55/1391.81 c N dy 34528 5134166 4257 85800 0 172128 429000 15403936 146.52 159.48
11169.05/1399.58 c N dy 34668 5154312 4257 85800 0 192267 429000 19466035 146.52 159.00
11226.57/1406.79 c N dy 34803 5174428 4257 85800 0 110408 429000 2737562 146.52 154.41
11272.95/1412.57 c N dy 34942 5194470 4257 85800 0 130446 429000 6823741 146.53 157.44
11323.20/1418.83 c N dy 35075 5214557 4257 85800 0 150520 429000 10859691 146.52 155.23
11379.91/1425.94 c N dy 35213 5234675 4257 85800 0 170631 429000 14889014 146.53 157.61
11440.63/1433.56 c N dy 35348 5254779 4257 85800 0 190729 429000 18946405 146.53 155.00
11502.12/1441.21 c N dy 35480 5274969 4257 85800 0 107943 429000 2020245 146.53 155.03
11546.83/1446.84 c N dy 35619 5294981 4257 85800 0 127947 429000 6045437 146.53 158.32
11597.23/1453.16 c N dy 35754 5315061 4257 85800 0 148022 429000 10088301 146.54 176.87
11653.08/1460.10 c N dy 35895 5335107 4257 85800 0 168062 429000 14171987 146.55 166.56
11713.79/1467.74 c N dy 36029 5355207 4257 85800 0 188159 429000 18226215 146.55 154.58
11780.88/1476.11 c N dy 36168 5375228 4257 85800 0 104213 429000 1086467 146.55 155.15
11824.79/1481.62 c N dy 36305 5395248 4257 85800 0 124229 429000 5178331 146.56 154.55
11875.10/1487.90 c N dy 36446 5415369 4257 85800 0 144345 429000 9293611 146.57 162.07
11929.43/1494.79 c N dy 36587 5435395 4257 85800 0 164364 429000 13333163 146.57 155.98
11987.75/1502.05 c N dy 36717 5455418 4257 85800 0 184379 429000 17359631 146.57 156.04
12052.46/1510.17 c N dy 36846 5475451 4257 85800 0 204404 429000 21391899 146.57 155.37
12105.15/1516.75 c N dy 36983 5495483 4257 85800 0 119456 429000 4002434 146.57 157.63
12153.86/1522.87 c N dy 37116 5516014 4257 85800 0 139984 429000 8140251 146.57 165.65
12207.40/1529.54 c N dy 37248 5536419 4257 85800 0 160380 429000 12239294 146.57 158.90
12265.79/1536.81 c N dy 37382 5556510 4257 85800 0 180466 429000 16354468 146.57 188.59
12328.83/1544.70 c N dy 37512 5576555 4257 85800 0 200506 429000 20412281 146.58 155.08
12387.14/1552.08 c N dy 37649 5596657 4257 85800 0 114634 429000 2816960 146.58 155.42
12434.25/1557.99 c N dy 37785 5616836 4257 85800 0 134804 429000 6930817 146.59 155.53
12486.18/1564.40 c N dy 37916 5636934 4257 85800 0 154895 429000 10964365 146.59 170.58
12541.31/1571.34 c N dy 38050 5657018 4257 85800 0 174973 429000 14999745 146.59 156.74
12604.42/1579.28 c N dy 38194 5677064 4257 85800 0 195008 429000 19084339 146.60 177.85
12671.49/1587.67 c N dy 38329 5697267 4257 85800 0 108247 429000 1334424 146.61 158.02
12717.00/1593.36 c N dy 38465 5717465 4257 85800 0 128433 429000 5414947 146.61 159.33
12767.32/1599.64 c N dy 38602 5737536 4257 85800 0 148500 429000 9437801 146.61 157.58
12822.46/1606.56 c N dy 38741 5757566 4257 85800 0 168523 429000 13535287 146.61 161.08
12882.37/1614.01 c N dy 38872 5777697 4257 85800 0 188648 429000 17662635 146.62 155.02
12947.90/1622.24 c N dy 39006 5797789 4257 85800 0 208734 429000 21769953 146.63 158.27
13003.06/1629.16 c N dy 39144 5817972 4257 85800 0 120952 429000 3680854 146.63 155.17
13051.70/1635.26 c N dy 39278 5838091 4257 85800 0 141064 429000 7728705 146.63 163.50
13106.02/1642.00 c N dy 39419 5858108 4257 85800 0 161073 429000 11748169 146.64 154.57
13165.15/1649.41 c N dy 39554 5878201 4257 85800 0 181157 429000 15813850 146.64 155.53
13229.04/1657.44 c N dy 39693 5898253 4257 85800 0 201206 429000 19867112 146.64 156.87
13295.34/1665.73 c N dy 39824 5918285 4257 85800 0 112282 429000 1752441 146.64 176.79
13340.87/1671.45 c N dy 39958 5938376 4257 85800 0 132370 429000 5813471 146.64 157.68
13391.98/1677.88 c N dy 40093 5958419 4257 85800 0 152409 429000 9836242 146.64 156.45
13449.50/1685.05 c N dy 40231 5978663 4257 85800 0 172647 429000 13890181 146.64 154.84
13512.68/1692.93 c N dy 40371 5998775 4257 85800 0 192753 429000 17942395 146.64 157.31
13579.71/1701.35 c N dy 40508 6018809 4257 85800 0 212779 429000 22028884 146.65 187.75
13637.19/1708.53 c N dy 40655 6038943 4257 85800 0 122928 429000 3781421 146.66 154.58
13686.70/1714.79 c N dy 40791 6059337 4257 85800 0 143318 429000 7887768 146.67 159.53
13741.89/1721.66 c N dy 40929 6079395 4257 85800 0 163372 429000 11960876 146.67 157.16
13801.74/1729.10 c N dy 41062 6099599 4257 85800 0 183567 429000 16041707 146.67 154.43
13866.44/1737.23 c N dy 41207 6119668 4257 85800 0 203629 429000 20158454 146.68 156.53
13935.93/1745.90 c N dy 41341 6139739 4257 85800 0 112729 429000 1460426 146.68 158.03
13981.44/1751.69 c N dy 41474 6159897 4257 85800 0 132880 429000 5500571 146.68 156.84
14032.55/1758.07 c N dy 41606 6179901 4257 85800 0 152878 429000 9467462 146.68 155.41
14090.07/1765.30 c N dy 41751 6199979 4257 85800 0 172946 429000 13526691 146.69 160.12
14153.19/1773.13 c N dy 41894 6220078 4257 85800 0 193042 429000 17598211 146.69 156.11
14220.30/1781.58 c N dy 42031 6240142 4257 85800 0 213099 429000 21652478 146.70 158.07
14282.56/1789.37 c N dy 42174 6260191 4257 85800 0 121170 429000 3009661 146.71 156.03
14331.29/1795.48 c N dy 42310 6280226 4257 85800 0 141194 429000 7027841 146.71 163.54
14385.59/1802.27 c N dy 42450 6300385 4257 85800 0 161344 429000 11085019 146.71 160.29
14444.00/1809.59 c N dy 42585 6320450 4257 85800 0 181402 429000 15122058 146.71 155.64
14508.63/1817.68 c N dy 42720 6340631 4257 85800 0 201576 429000 19215645 146.71 155.59
14577.34/1826.23 c N dy 42849 6360696 4257 85800 0 221634 429000 23247513 146.71 160.51
14631.62/1833.01 c N dy 42989 6380734 4257 85800 0 128698 429000 4344506 146.72 156.85
14681.22/1839.21 c N dy 43117 6400759 4257 85800 0 148715 429000 8352778 146.71 157.69
14736.26/1846.10 c N dy 43248 6420956 4257 85800 0 168904 429000 12428946 146.71 154.91
14794.58/1853.43 c N dy 43380 6441030 4257 85800 0 188971 429000 16509489 146.72 155.52
14859.29/1861.58 c N dy 43507 6461039 4257 85800 0 208975 429000 20539964 146.72 158.23
14931.19/1870.52 c N dy 43644 6481052 4257 85800 0 115036 429000 1357498 146.72 171.12
14978.29/1876.50 c N dy 43786 6501060 4257 85800 0 135037 429000 5402810 146.73 154.88
15029.41/1882.86 c N dy 43915 6521138 4257 85800 0 155110 429000 9447356 146.73 159.02
15085.42/1889.86 c N dy 44046 6541249 4257 85800 0 175211 429000 13521626 146.73 155.77
15148.44/1897.73 c N dy 44178 6561301 4257 85800 0 195258 429000 17581402 146.73 155.90
15218.03/1906.44 c N dy 44309 6582517 4257 85800 0 216468 429000 21922989 146.73 155.82
15282.65/1914.54 c N dy 44447 6602582 4257 85800 0 121558 429000 2489452 146.74 159.08
15331.44/1920.65 c N dy 44583 6622614 4257 85800 0 141581 429000 6494933 146.74 169.98
15384.95/1927.36 c N dy 44720 6642639 4257 85800 0 161602 429000 10530502 146.74 156.82
15443.19/1934.63 c N dy 44850 6662951 4257 85800 0 181910 429000 14623543 146.74 154.79
15507.19/1942.65 c N dy 44988 6683010 4257 85800 0 201960 429000 18683949 146.74 157.03
15577.49/1951.45 c N dy 45128 6703058 4257 85800 0 222001 429000 22753871 146.75 154.80
15639.79/1959.23 c N dy 45270 6723224 4257 85800 0 126194 429000 3259198 146.75 169.86
15690.02/1965.52 c N dy 45410 6743321 4257 85800 0 146285 429000 7324914 146.76 158.88
15744.40/1972.39 c N dy 45548 6763369 4257 85800 0 166325 429000 11368589 146.77 160.49
15804.24/1979.87 c N dy 45680 6783425 4257 85800 0 186370 429000 15431973 146.77 154.81
15871.34/1988.23 c N dy 45822 6803626 4257 85800 0 206566 429000 19585364 146.78 155.38
15942.46/1997.13 c N dy 45961 6823677 4257 85800 0 226609 429000 23660548 146.78 156.37
16000.74/2004.42 c N dy 46089 6843696 4257 85800 0 129671 429000 3736257 146.78 157.52
16051.07/2010.78 c N dy 46231 6863731 4257 85800 0 149697 429000 7794550 146.79 158.89
16106.96/2017.78 c N dy 46365 6883743 4257 85800 0 169702 429000 11842254 146.79 154.88
16168.49/2025.40 c N dy 46498 6903819 4257 85800 0 189770 429000 15921464 146.79 155.68
16234.80/2033.77 c N dy 46630 6923824 4257 85800 0 209764 429000 19932735 146.79 156.76
16307.60/2042.86 c N dy 46767 6943862 4257 85800 0 229793 429000 24021927 146.80 158.40
16364.98/2050.03 c N dy 46901 6963998 4257 85800 0 131967 429000 4075482 146.80 154.85
16416.91/2056.57 c N dy 47040 6984254 4257 85800 0 152217 429000 8193195 146.80 154.71
16472.83/2063.59 c N dy 47173 7004314 4257 85800 0 172271 429000 12251038 146.81 183.70
16535.22/2071.39 c N dy 47309 7024400 4257 85800 0 192350 429000 16334811 146.81 159.87
16602.24/2079.79 c N dy 47439 7044503 4257 85800 0 212442 429000 20399065 146.81 159.84
16675.82/2088.95 c N dy 47579 7064699 4257 85800 0 232630 429000 24522166 146.81 155.72
16731.65/2095.97 c N dy 47716 7084815 4257 85800 0 133775 429000 4197388 146.81 155.82
16784.37/2102.55 c N dy 47860 7104830 4257 85800 0 153785 429000 8277264 146.82 156.97
16841.86/2109.70 c N dy 47997 7124908 4257 85800 0 173857 429000 12302225 146.82 154.98
16905.06/2117.69 c N dy 48142 7144941 4257 85800 0 193879 429000 16339975 146.82 156.15
16972.87/2126.14 c N dy 48277 7164961 4257 85800 0 213896 429000 20364192 146.82 156.60
17045.67/2135.24 c N dy 48413 7185019 4257 85800 0 233948 429000 24440739 146.83 157.75
17104.67/2142.61 c N dy 48556 7205221 4257 85800 0 134184 429000 4114307 146.84 158.05
17157.39/2149.22 c N dy 48694 7225268 4257 85800 0 154226 429000 8171019 146.84 158.35
17215.69/2156.50 c N dy 48832 7245383 4257 85800 0 174339 429000 12228504 146.84 156.55
17278.82/2164.42 c N dy 48965 7265510 4257 85800 0 194462 429000 16240714 146.84 154.96
17346.71/2172.93 c N dy 49100 7285662 4257 85800 0 214611 429000 20293569 146.84 158.30
17419.42/2182.03 c N dy 49236 7305742 4257 85800 0 234684 429000 24360079 146.84 155.11
17479.31/2189.57 c N dy 49377 7325871 4257 85800 0 133841 429000 3830280 146.85 160.95
17532.02/2196.15 c N dy 49520 7345938 4257 85800 0 153904 429000 7888568 146.86 155.96
17588.74/2203.29 c N dy 49659 7366036 4257 85800 0 173992 429000 11956004 146.86 155.14
17649.46/2210.83 c N dy 49795 7386117 4257 85800 0 194066 429000 16054140 146.86 211.78
17716.57/2219.22 c N dy 49927 7406264 4257 85800 0 214208 429000 20174065 146.87 155.06
17790.86/2228.51 c N dy 50067 7426336 4257 85800 0 234271 429000 24260201 146.87 164.89
17854.75/2236.56 c N dy 50208 7446374 4257 85800 0 132343 429000 3309106 146.87 157.16
17905.94/2242.99 c N dy 50341 7466499 4257 85800 0 152463 429000 7388208 146.88 154.84
17961.76/2249.97 c N dy 50474 7486532 4257 85800 0 172484 429000 11430488 146.88 157.41
18023.29/2257.61 c N dy 50603 7506593 4257 85800 0 192541 429000 15489720 146.88 206.50
18091.98/2266.21 c N dy 50741 7526712 4257 85800 0 212654 429000 19602663 146.88 159.70
18165.49/2275.49 c N dy 50883 7546867 4257 85800 0 232802 429000 23672014 146.89 154.65
18234.97/2284.19 c N dy 51019 7566907 4257 85800 0 129875 429000 2627678 146.89 158.02
18286.89/2290.67 c N dy 51161 7586990 4257 85800 0 149949 429000 6762478 146.90 156.90
18343.58/2297.79 c N dy 51301 7607155 4257 85800 0 170106 429000 10861464 146.90 157.71
18405.91/2305.50 c N dy 51437 7627230 4257 85800 0 190178 429000 14908148 146.90 184.98
18473.00/2313.97 c N dy 51579 7647242 4257 85800 0 210188 429000 18987273 146.90 194.10
18546.51/2323.19 c N dy 51719 7667327 4257 85800 0 230269 429000 23057043 146.91 155.93
18624.78/2332.90 c N dy 51863 7687438 4257 85800 0 126419 429000 1740584 146.91 156.89
18675.89/2339.30 c N dy 52009 7707523 4257 85800 0 146496 429000 5846668 146.92 156.43
18730.98/2346.25 c N dy 52142 7727658 4257 85800 0 166626 429000 9897909 146.92 156.43
18792.50/2353.93 c N dy 52277 7747694 4257 85800 0 186653 429000 13988283 146.92 159.14
18859.61/2362.39 c N dy 52414 7767824 4257 85800 0 206778 429000 18017629 146.92 155.70
18931.52/2371.30 c N dy 52549 7787911 4257 85800 0 226861 429000 22046309 146.92 155.11
19007.38/2380.87 c N dy 52682 7807931 4257 85800 0 246880 429000 26102389 146.92 155.86
19064.10/2387.94 c N dy 52819 7828011 4257 85800 0 141984 429000 4701120 146.93 156.17
19117.61/2394.69 c N dy 52948 7848029 4257 85800 0 161996 429000 8761969 146.93 155.17
19178.31/2402.27 c N dy 53090 7868195 4257 85800 0 182159 429000 12805580 146.93 161.84
19244.63/2410.50 c N dy 53234 7888227 4257 85800 0 202187 429000 16901735 146.93 155.19
19315.71/2419.41 c N dy 53370 7908290 4257 85800 0 222240 429000 20974707 146.93 157.77
19392.40/2429.09 c N dy 53515 7928314 4257 85800 0 242257 429000 25038242 146.94 170.69
19460.30/2437.59 c N dy 53666 7948380 4257 85800 0 136349 429000 3398635 146.95 177.64
19513.90/2444.28 c N dy 53796 7968448 4257 85800 0 156407 429000 7475073 146.95 186.01
19572.12/2451.58 c N dy 53936 7988550 4257 85800 0 176504 429000 11559651 146.96 158.38
19635.25/2459.46 c N dy 54065 8008568 4257 85800 0 196514 429000 15559706 146.95 156.51
19703.93/2468.05 c N dy 54205 8028597 4257 85800 0 216535 429000 19647015 146.96 155.40
19779.03/2477.42 c N dy 54347 8048637 4257 85800 0 236572 429000 23756922 146.97 160.56
19855.70/2487.01 c N dy 54474 8069033 4257 85800 0 129995 429000 1881657 146.97 157.95
19906.83/2493.43 c N dy 54611 8089053 4257 85800 0 150010 429000 5903781 146.97 162.30
19963.53/2500.57 c N dy 54757 8109089 4257 85800 0 170036 429000 10006383 146.98 160.33
20025.85/2508.37 c N dy 54899 8129114 4257 85800 0 190056 429000 14054258 146.98 160.58
20093.84/2516.82 c N dy 55037 8149180 4257 85800 0 210117 429000 18130560 146.98 157.29
20166.43/2525.93 c N dy 55174 8169183 4257 85800 0 230114 429000 22208295 146.99 154.84
20244.71/2535.77 c N dy 55311 8189231 4257 85800 0 250156 429000 26260283 146.99 157.47
20306.20/2543.46 c N dy 55450 8209274 4257 85800 0 142245 429000 4205989 147.00 155.84
20362.10/2550.44 c N dy 55591 8229404 4257 85800 0 162368 429000 8280045 147.00 154.77
20422.82/2558.06 c N dy 55729 8249430 4257 85800 0 182388 429000 12307102 147.00 158.13
20488.34/2566.25 c N dy 55868 8269523 4257 85800 0 202481 429000 16407273 147.00 155.22
20559.49/2575.16 c N dy 56000 8289681 4257 85800 0 222634 429000 20535299 147.01 156.95
20636.11/2584.73 c N dy 56139 8309712 4257 85800 0 242661 429000 24595618 147.01 156.74
20711.98/2594.25 c N dy 56277 8329781 4257 85800 0 133768 429000 2265664 147.01 160.54
20763.11/2600.69 c N dy 56413 8349844 4257 85800 0 153827 429000 6326245 147.01 155.83
20820.60/2607.87 c N dy 56545 8369970 4257 85800 0 173942 429000 10456410 147.02 159.24
20882.93/2615.65 c N dy 56682 8390086 4257 85800 0 194055 429000 14497456 147.01 158.48
20951.61/2624.27 c N dy 56823 8410107 4257 85800 0 214074 429000 18584907 147.02 162.14
21026.01/2633.56 c N dy 56960 8430215 4257 85800 0 234173 429000 22672323 147.02 155.14
21105.06/2643.45 c N dy 57094 8450305 4257 85800 0 254258 429000 26711973 147.02 156.25
21172.08/2651.89 c N dy 57233 8470359 4257 85800 0 144340 429000 4183841 147.02 180.26
21235.17/2659.71 c N dy 57373 8490403 4257 85800 0 164378 429000 8258992 147.03 155.41
21303.88/2668.38 c N dy 57515 8510479 4257 85800 0 184444 429000 12331300 147.03 161.47
21377.47/2677.58 c N dy 57652 8530600 4257 85800 0 204558 429000 16399943 147.03 158.86
21456.54/2687.41 c N dy 57781 8550681 4257 85800 0 224633 429000 20475016 147.03 158.48
21542.73/2698.26 c N dy 57919 8571176 4257 85800 0 245118 429000 24581438 147.03 155.73
21629.80/2709.17 c N dy 58060 8591258 4257 85800 0 134230 429000 1964229 147.04 155.22
21681.70/2715.66 c N dy 58193 8611312 4257 85800 0 154276 429000 6018455 147.04 163.40
21740.02/2722.93 c N dy 58328 8631538 4257 85800 0 174498 429000 10096293 147.04 158.92
21803.15/2730.88 c N dy 58465 8651692 4257 85800 0 194642 429000 14179985 147.04 155.34
21872.64/2739.58 c N dy 58606 8671817 4257 85800 0 214757 429000 18262972 147.05 155.39
21946.91/2748.83 c N dy 58748 8691837 4257 85800 0 234769 429000 22328039 147.05 155.86
22026.89/2758.82 c N dy 58896 8711847 4257 85800 0 254777 429000 26474504 147.06 156.07
22093.87/2767.26 c N dy 59038 8731935 4257 85800 0 142905 429000 3554503 147.07 157.28
22146.61/2773.87 c N dy 59166 8752047 4257 85800 0 163011 429000 7615453 147.07 156.30
22204.92/2781.12 c N dy 59298 8772077 4257 85800 0 183034 429000 11692741 147.07 155.96
22270.43/2789.33 c N dy 59441 8792199 4257 85800 0 203151 429000 15791796 147.07 155.25
22342.31/2798.35 c N dy 59586 8812272 4257 85800 0 223216 429000 19901857 147.08 176.49
22417.40/2807.77 c N dy 59725 8832337 4257 85800 0 243274 429000 23969114 147.08 158.94
22499.70/2818.09 c N dy 59870 8852527 4257 85800 0 263457 429000 28083174 147.09 155.69
22562.84/2825.96 c N dy 60003 8872595 4257 85800 0 150566 429000 4893643 147.09 160.78
22625.88/2833.88 c N dy 60143 8892672 4257 85800 0 170636 429000 8936990 147.09 155.10
22694.69/2842.44 c N dy 60280 8912682 4257 85800 0 190642 429000 12979785 147.09 159.77
22768.09/2851.61 c N dy 60414 8932749 4257 85800 0 210700 429000 17063709 147.09 155.42
22849.58/2861.80 c N dy 60557 8952825 4257 85800 0 230769 429000 21130913 147.10 155.72
22933.46/2872.36 c N dy 60690 8972898 4257 85800 0 250836 429000 25156791 147.10 156.93
23021.29/2883.31 c N dy 60830 8992984 4257 85800 0 136954 429000 1940196 147.10 160.59
23073.33/2889.88 c N dy 60967 9012998 4257 85800 0 156960 429000 6005193 147.10 157.25
23131.56/2897.11 c N dy 61109 9033064 4257 85800 0 177016 429000 10089482 147.10 155.22
23194.68/2905.02 c N dy 61243 9053128 4257 85800 0 197071 429000 14138017 147.11 158.81
23261.75/2913.40 c N dy 61376 9073267 4257 85800 0 217202 429000 18245944 147.11 158.53
23334.45/2922.51 c N dy 61516 9093332 4257 85800 0 237263 429000 22338819 147.11 156.86
23410.35/2932.09 c N dy 61647 9113343 4257 85800 0 257271 429000 26451453 147.12 167.34
23486.98/2941.61 c N dy 61786 9133475 4257 85800 0 142445 429000 2898473 147.12 155.48
23548.50/2949.31 c N dy 61930 9153608 4257 85800 0 162568 429000 7000134 147.13 156.80
23614.03/2957.53 c N dy 62071 9173616 4257 85800 0 182567 429000 11104258 147.13 188.37
23685.89/2966.52 c N dy 62213 9193672 4257 85800 0 202615 429000 15228898 147.14 171.26
23761.79/2976.03 c N dy 62352 9213759 4257 85800 0 222699 429000 19321707 147.15 162.90
23844.08/2986.37 c N dy 62488 9233763 4257 85800 0 242701 429000 23368515 147.15 156.61
23934.41/2997.65 c N dy 62630 9253790 4257 85800 0 262722 429000 27462709 147.15 156.78
24006.22/3006.66 c N dy 62766 9273888 4257 85800 0 146857 429000 3580205 147.16 155.02
24061.35/3013.55 c N dy 62904 9293920 4257 85800 0 166881 429000 7574705 147.16 176.66
24122.85/3021.20 c N dy 63043 9313993 4257 85800 0 186950 429000 11651608 147.16 156.73
24187.55/3029.38 c N dy 63181 9334026 4257 85800 0 206979 429000 15722857 147.16 173.38
24257.85/3038.20 c N dy 63319 9354041 4257 85800 0 226989 429000 19796384 147.16 158.24
24332.95/3047.56 c N dy 63454 9374057 4257 85800 0 246995 429000 23848217 147.16 157.15
24414.41/3057.73 c N dy 63599 9394127 4257 85800 0 267058 429000 27978117 147.17 170.58
24481.51/3066.12 c N dy 63743 9414203 4257 85800 0 150167 429000 4062783 147.18 159.14
24535.04/3072.89 c N dy 63872 9434233 4257 85800 0 170192 429000 8128571 147.18 154.98
24597.35/3080.64 c N dy 64014 9454257 4257 85800 0 190207 429000 12234621 147.18 167.43
24664.42/3089.05 c N dy 64155 9474338 4257 85800 0 210280 429000 16369608 147.19 159.51
24734.72/3097.84 c N dy 64285 9494431 4257 85800 0 230367 429000 20453599 147.19 163.99
24812.32/3107.57 c N dy 64423 9514575 4257 85800 0 250504 429000 24534758 147.19 157.80
24895.29/3117.91 c N dy 64557 9534733 4257 85800 0 270649 429000 28612023 147.19 155.64
24957.60/3125.78 c N dy 64693 9554868 4257 85800 0 152842 429000 4380059 147.19 159.17
25013.54/3132.72 c N dy 64826 9574969 4257 85800 0 172937 429000 8443958 147.19 157.54
25075.03/3140.41 c N dy 64968 9595007 4257 85800 0 192964 429000 12542057 147.20 155.91
25141.31/3148.72 c N dy 65101 9615094 4257 85800 0 213042 429000 16636503 147.20 159.80
25214.02/3157.80 c N dy 65241 9635151 4257 85800 0 233093 429000 20706563 147.20 157.71
25292.32/3167.68 c N dy 65379 9655262 4257 85800 0 253197 429000 24791966 147.21 156.60
25375.46/3178.03 c N dy 65520 9675340 4257 85800 0 273268 429000 28935504 147.21 155.99
25436.95/3185.71 c N dy 65655 9695442 4257 85800 0 154412 429000 4524275 147.22 158.65
25493.60/3192.87 c N dy 65797 9715596 4257 85800 0 174562 429000 8633186 147.22 158.56
25555.91/3200.61 c N dy 65931 9735724 4257 85800 0 194685 429000 12705978 147.22 155.21
25622.97/3209.03 c N dy 66065 9755817 4257 85800 0 214770 429000 16841731 147.22 162.23
25695.69/3218.17 c N dy 66205 9775837 4257 85800 0 234786 429000 20929197 147.22 158.78
25773.99/3227.92 c N dy 66341 9796006 4257 85800 0 254947 429000 25061095 147.23 160.20
25857.04/3238.36 c N dy 66480 9816046 4257 85800 0 274977 429000 29104019 147.23 173.62
25920.95/3246.30 c N dy 66618 9836200 4257 85800 0 155160 429000 4476229 147.23 156.62
25976.88/3253.38 c N dy 66749 9856320 4257 85800 0 175272 429000 8567470 147.23 156.92
26040.01/3261.21 c N dy 66886 9876460 4257 85800 0 195405 429000 12682976 147.24 157.95
26107.06/3269.66 c N dy 67023 9896543 4257 85800 0 215480 429000 16731974 147.24 165.17
26180.58/3278.88 c N dy 67165 9916548 4257 85800 0 235476 429000 20882957 147.24 175.47
26259.68/3288.73 c N dy 67301 9936577 4257 85800 0 255498 429000 24921161 147.24 168.05
26343.53/3299.29 c N dy 67433 9956704 4257 85800 0 275620 429000 28957970 147.24 165.49
26409.03/3307.49 c N dy 67571 9976770 4257 85800 0 154730 429000 4219669 147.24 159.71
26467.36/3314.72 c N dy 67708 9997073 4257 85800 0 175027 429000 8324903 147.24 158.70
26531.28/3322.72 c N dy 67848 10017432 4257 85800 0 195381 429000 12492668 147.25 155.05
26600.71/3331.46 c N dy 67983 10037636 4257 85800 0 215584 429000 16570888 147.25 158.00
26675.10/3340.78 c N dy 68119 10057647 4257 85800 0 235585 429000 20667002 147.25 156.68
26754.20/3350.68 c N dy 68251 10077773 4257 85800 0 255708 429000 24757180 147.25 156.00
26836.41/3360.97 c N dy 68380 10097779 4257 85800 0 275708 429000 28792321 147.25 156.48
26906.67/3369.71 c N dy 68506 10117792 4257 85800 0 153754 429000 3793246 147.25 158.91
26963.41/3376.88 c N dy 68636 10137874 4257 85800 0 173825 429000 7874657 147.25 159.26
27027.41/3384.86 c N dy 68777 10157933 4257 85800 0 193877 429000 11993278 147.26 156.67
27095.17/3393.35 c N dy 68912 10177946 4257 85800 0 213884 429000 16036277 147.26 158.22
27169.48/3402.64 c N dy 69047 10198063 4257 85800 0 233995 429000 20104236 147.26 158.35
27247.77/3412.43 c N dy 69179 10218144 4257 85800 0 254069 429000 24174892 147.26 156.82
27334.14/3423.29 c N dy 69322 10238284 4257 85800 0 274202 429000 28325300 147.26 157.35
27412.31/3433.06 c N dy 69467 10258384 4257 85800 0 151350 429000 3179895 147.27 155.34
27469.04/3440.15 c N dy 69600 10278509 4257 85800 0 171472 429000 7257431 147.27 158.04
27530.57/3447.88 c N dy 69739 10298552 4257 85800 0 191505 429000 11292108 147.27 167.31
27599.20/3456.43 c N dy 69879 10318645 4257 85800 0 211585 429000 15369516 147.27 158.94
27671.92/3465.58 c N dy 70015 10338777 4257 85800 0 231712 429000 19530370 147.28 157.80
27751.02/3475.48 c N dy 70159 10358791 4257 85800 0 251718 429000 23658463 147.28 158.06
27836.50/3486.11 c N dy 70299 10378937 4257 85800 0 271855 429000 27729398 147.29 155.91
27920.34/3496.69 c N dy 70437 10399061 4257 85800 0 148018 429000 2284033 147.29 162.37
27977.07/3503.74 c N dy 70575 10419095 4257 85800 0 168045 429000 6389371 147.30 167.22
28037.89/3511.36 c N dy 70714 10439096 4257 85800 0 188037 429000 10510341 147.30 157.37
28104.86/3519.71 c N dy 70851 10459185 4257 85800 0 208118 429000 14553104 147.30 158.65
28176.78/3528.70 c N dy 70988 10479265 4257 85800 0 228193 429000 18670304 147.31 157.93
28254.28/3538.49 c N dy 71128 10499331 4257 85800 0 248251 429000 22758177 147.31 166.63
28336.66/3548.79 c N dy 71265 10519538 4257 85800 0 268454 429000 26848940 147.31 155.31
28426.02/3559.99 c N dy 71402 10539601 4257 85800 0 288513 429000 30911329 147.32 159.08
28486.02/3567.47 c N dy 71539 10559648 4257 85800 0 163604 429000 5242921 147.32 159.45
28547.55/3575.15 c N dy 71680 10579767 4257 85800 0 183714 429000 9417048 147.32 156.35
28612.96/3583.35 c N dy 71814 10599837 4257 85800 0 203777 429000 13443873 147.32 182.67
28683.23/3592.15 c N dy 71950 10619847 4257 85800 0 223783 429000 17511370 147.32 156.46
28759.92/3601.72 c N dy 72085 10639876 4257 85800 0 243809 429000 21585420 147.32 160.91
28840.63/3611.88 c N dy 72222 10659878 4257 85800 0 263805 429000 25637469 147.33 157.57
28929.30/3622.96 c N dy 72359 10679970 4257 85800 0 283889 429000 29726950 147.33 157.91
29002.77/3632.10 c N dy 72503 10699986 4257 85800 0 157946 429000 3880356 147.33 157.61
29060.30/3639.37 c N dy 72639 10720032 4257 85800 0 177990 429000 7958214 147.34 155.29
29125.80/3647.50 c N dy 72780 10740121 4257 85800 0 198071 429000 12097779 147.34 157.27
29196.08/3656.32 c N dy 72918 10760287 4257 85800 0 218229 429000 16206638 147.35 166.14
29271.18/3665.75 c N dy 73060 10780341 4257 85800 0 238280 429000 20311405 147.35 156.08
29351.08/3675.71 c N dy 73194 10800491 4257 85800 0 258423 429000 24412255 147.35 160.13
29433.37/3686.09 c N dy 73323 10820578 4257 85800 0 278500 429000 28488601 147.35 176.41
29518.02/3696.64 c N dy 73463 10840612 4257 85800 0 151577 429000 2418849 147.36 155.66
29573.95/3703.69 c N dy 73603 10860678 4257 85800 0 171636 429000 6480631 147.36 160.47
29635.47/3711.41 c N dy 73733 10880690 4257 85800 0 191642 429000 10569385 147.36 155.31
29702.54/3719.78 c N dy 73874 10900742 4257 85800 0 211686 429000 14635743 147.36 159.48
29773.63/3728.61 c N dy 74003 10921082 4257 85800 0 232021 429000 18759578 147.36 159.83
29850.34/3738.20 c N dy 74146 10941198 4257 85800 0 252126 429000 22843665 147.37 162.63
29931.04/3748.32 c N dy 74278 10961235 4257 85800 0 272157 429000 26877553 147.37 161.60
30017.28/3759.19 c N dy 74415 10981299 4257 85800 0 292221 429000 30938396 147.37 156.22
30081.19/3767.17 c N dy 74549 11001411 4257 85800 0 164379 429000 4827280 147.37 156.69
30139.51/3774.46 c N dy 74681 11021505 4257 85800 0 184468 429000 8909790 147.37 160.09
30205.01/3782.61 c N dy 74819 11041569 4257 85800 0 204522 429000 12965253 147.37 162.86
30275.30/3791.46 c N dy 74961 11061593 4257 85800 0 224541 429000 17013178 147.37 155.48
30351.20/3800.90 c N dy 75101 11081647 4257 85800 0 244589 429000 21125034 147.37 156.28
30430.31/3810.83 c N dy 75234 11101699 4257 85800 0 264635 429000 25217810 147.38 180.05
30517.36/3821.77 c N dy 75375 11121808 4257 85800 0 284739 429000 29335901 147.38 158.62
30599.63/3832.08 c N dy 75519 11141837 4257 85800 0 155800 429000 2882026 147.38 157.86
30655.63/3839.04 c N dy 75651 11161847 4257 85800 0 175808 429000 6950024 147.38 156.08
30718.67/3846.93 c N dy 75791 11181966 4257 85800 0 195920 429000 11081676 147.39 157.03
30785.75/3855.32 c N dy 75928 11201994 4257 85800 0 215942 429000 15114577 147.39 155.44
30858.51/3864.41 c N dy 76063 11222038 4257 85800 0 235980 429000 19211343 147.39 155.71
30937.63/3874.38 c N dy 76201 11242281 4257 85800 0 256217 429000 23298518 147.39 158.24
31022.23/3884.95 c N dy 76339 11262363 4257 85800 0 276293 429000 27367779 147.39 163.21
31111.71/3896.16 c N dy 76477 11282692 4257 85800 0 296619 429000 31513014 147.39 158.78
31173.20/3903.88 c N dy 76607 11302764 4257 85800 0 166726 429000 4953399 147.39 157.79
31234.71/3911.54 c N dy 76747 11323052 4257 85800 0 187010 429000 9108231 147.40 156.46
31300.22/3919.74 c N dy 76890 11343102 4257 85800 0 207053 429000 13209157 147.40 155.25
31368.91/3928.38 c N dy 77016 11363370 4257 85800 0 227317 429000 17353647 147.40 161.48
31444.80/3937.85 c N dy 77145 11383431 4257 85800 0 247370 429000 21406674 147.40 156.10
31524.70/3947.81 c N dy 77276 11403463 4257 85800 0 267394 429000 25490095 147.41 182.26
31613.45/3958.95 c N dy 77418 11423581 4257 85800 0 287509 429000 29589745 147.41 156.67
31698.82/3969.63 c N dy 77556 11443643 4257 85800 0 156611 429000 2668335 147.41 162.19
31755.55/3976.75 c N dy 77688 11463742 4257 85800 0 176704 429000 6771187 147.41 156.17
31819.45/3984.70 c N dy 77827 11483865 4257 85800 0 196823 429000 10834191 147.41 160.41
31887.32/3993.26 c N dy 77965 11503945 4257 85800 0 216896 429000 14942724 147.41 155.46
31961.62/4002.51 c N dy 78105 11524045 4257 85800 0 236994 429000 19050131 147.42 158.99
32041.53/4012.53 c N dy 78246 11544213 4257 85800 0 257156 429000 23137649 147.42 158.27
32123.90/4022.89 c N dy 78383 11564222 4257 85800 0 277161 429000 27186300 147.42 158.21
32213.29/4034.02 c N dy 78520 11584265 4257 85800 0 297199 429000 31298701 147.42 157.26
32284.36/4042.90 c N dy 78661 11604329 4257 85800 0 165294 429000 4235542 147.43 178.57
32345.08/4050.59 c N dy 78807 11624463 4257 85800 0 185427 429000 8375842 147.44 160.77
32410.59/4058.71 c N dy 78944 11644511 4257 85800 0 205467 429000 12442709 147.44 155.45
32479.26/4067.32 c N dy 79078 11664583 4257 85800 0 225531 429000 16547184 147.44 160.61
32557.56/4077.10 c N dy 79223 11684655 4257 85800 0 245594 429000 20622974 147.44 159.47
32638.25/4087.29 c N dy 79361 11704745 4257 85800 0 265681 429000 24690864 147.45 209.00
32725.35/4098.12 c N dy 79495 11724756 4257 85800 0 285690 429000 28734932 147.45 155.93
32818.79/4109.83 c N dy 79636 11744782 4257 85800 0 305710 429000 32781495 147.45 160.07
32877.10/4117.18 c N dy 79767 11764878 4257 85800 0 172839 429000 5568658 147.45 157.09
32937.81/4124.79 c N dy 79901 11784947 4257 85800 0 192906 429000 9644624 147.45 164.04
33006.49/4133.35 c N dy 80051 11805039 4257 85800 0 212996 429000 13760298 147.46 158.81
33078.40/4142.38 c N dy 80192 11825144 4257 85800 0 233098 429000 17864106 147.46 159.02
33154.29/4151.84 c N dy 80322 11845221 4257 85800 0 253172 429000 21955282 147.46 166.43
33237.39/4162.20 c N dy 80463 11865260 4257 85800 0 273204 429000 26055884 147.46 155.68
33326.06/4173.33 c N dy 80591 11885434 4257 85800 0 293368 429000 30151861 147.46 163.10
33413.91/4184.32 c N dy 80737 11905603 4257 85800 0 159574 429000 2686066 147.47 160.50
33471.44/4191.58 c N dy 80882 11925724 4257 85800 0 179690 429000 6824169 147.47 156.96
33535.35/4199.57 c N dy 81025 11945756 4257 85800 0 199713 429000 10906359 147.48 155.47
33604.04/4208.16 c N dy 81160 11965873 4257 85800 0 219826 429000 14997348 147.48 156.30
33677.56/4217.33 c N dy 81292 11985970 4257 85800 0 239918 429000 19076179 147.48 157.75
33755.84/4227.16 c N dy 81425 12006034 4257 85800 0 259982 429000 23114483 147.48 157.58
33838.12/4237.47 c N dy 81551 12026104 4257 85800 0 280043 429000 27205421 147.48 155.47
33928.40/4248.71 c N dy 81690 12046237 4257 85800 0 300173 429000 31290041 147.48 155.26
34005.04/4258.30 c N dy 81827 12066296 4257 85800 0 165267 429000 3658191 147.48 157.27
34064.18/4265.76 c N dy 81970 12086359 4257 85800 0 185329 429000 7791338 147.49 155.64
34128.86/4273.89 c N dy 82115 12106393 4257 85800 0 205358 429000 11851479 147.49 174.69
34198.36/4282.60 c N dy 82246 12126406 4257 85800 0 225366 429000 15919091 147.49 155.86
34273.47/4291.95 c N dy 82386 12146452 4257 85800 0 245405 429000 20012432 147.49 188.62
34354.15/4302.01 c N dy 82524 12166578 4257 85800 0 265521 429000 24132336 147.49 158.10
34439.63/4312.74 c N dy 82661 12186625 4257 85800 0 285558 429000 28187741 147.49 155.99
34530.79/4324.13 c N dy 82794 12206738 4257 85800 0 305669 429000 32319118 147.49 155.57
34601.86/4333.04 c N dy 82927 12226830 4257 85800 0 169799 429000 4371197 147.50 160.15
34662.57/4340.69 c N dy 83067 12247065 4257 85800 0 190027 429000 8500932 147.50 155.35
34729.61/4349.09 c N dy 83209 12267069 4257 85800 0 210022 429000 12560760 147.50 157.06
34799.89/4357.88 c N dy 83345 12287201 4257 85800 0 230148 429000 16639040 147.50 156.77
34875.78/4367.34 c N dy 83482 12307370 4257 85800 0 250313 429000 20764794 147.50 155.76
34955.68/4377.38 c N dy 83614 12327390 4257 85800 0 270327 429000 24847438 147.50 163.05
35044.37/4388.41 c N dy 83755 12347538 4257 85800 0 290469 429000 28958918 147.51 161.68
35134.64/4399.76 c N dy 83887 12367595 4257 85800 0 310517 429000 33014064 147.51 155.99
35200.91/4408.09 c N dy 84029 12387690 4257 85800 0 173652 429000 4969248 147.51 157.03
35261.63/4415.70 c N dy 84171 12407754 4257 85800 0 193713 429000 9076241 147.51 159.82
35328.74/4424.08 c N dy 84306 12428117 4257 85800 0 214068 429000 13166010 147.51 160.13
35401.50/4433.11 c N dy 84446 12448172 4257 85800 0 234117 429000 17230765 147.51 159.47
35480.60/4443.06 c N dy 84592 12468289 4257 85800 0 254232 429000 21339350 147.51 156.90
35561.21/4453.14 c N dy 84724 12488384 4257 85800 0 274324 429000 25404156 147.51 155.31
35651.49/4464.48 c N dy 84874 12508473 4257 85800 0 294406 429000 29538977 147.52 168.64
35745.75/4476.20 c N dy 85011 12528604 4257 85800 0 314534 429000 33676524 147.52 158.31
35808.04/4484.01 c N dy 85147 12548648 4257 85800 0 176610 429000 5325065 147.52 157.79
35869.54/4491.76 c N dy 85282 12568742 4257 85800 0 196698 429000 9379927 147.52 156.41
35937.55/4500.25 c N dy 85419 12588828 4257 85800 0 216778 429000 13516910 147.53 156.28
36010.94/4509.46 c N dy 85563 12608918 4257 85800 0 236863 429000 17592204 147.53 161.15
36089.24/4519.21 c N dy 85694 12629026 4257 85800 0 256966 429000 21673998 147.53 156.37
36174.82/4529.94 c N dy 85842 12649129 4257 85800 0 277063 429000 25802283 147.53 156.21
36265.00/4541.27 c N dy 85981 12669207 4257 85800 0 297137 429000 29910038 147.54 158.64
36362.47/4553.47 c N dy 86124 12689281 4257 85800 0 317203 429000 33978945 147.54 160.65
36423.94/4561.13 c N dy 86260 12709334 4257 85800 0 178285 429000 5491548 147.54 155.84
36486.25/4568.95 c N dy 86396 12729491 4257 85800 0 198432 429000 9607648 147.54 156.15
36552.65/4577.24 c N dy 86515 12749551 4257 85800 0 218486 429000 13624673 147.53 156.03
36626.04/4586.48 c N dy 86651 12769585 4257 85800 0 238512 429000 17686322 147.53 158.06
36706.75/4596.59 c N dy 86794 12789759 4257 85800 0 258677 429000 21770433 147.54 159.47
36790.64/4607.07 c N dy 86929 12809844 4257 85800 0 278757 429000 25868645 147.54 155.97
36881.71/4618.42 c N dy 87072 12829928 4257 85800 0 298832 429000 29995364 147.54 161.44
36977.57/4630.46 c N dy 87213 12849975 4257 85800 0 318871 429000 34017731 147.54 155.51
37039.86/4638.25 c N dy 87349 12870101 4257 85800 0 179044 429000 5492927 147.54 158.56
37102.97/4646.16 c N dy 87489 12890109 4257 85800 0 199044 429000 9555564 147.54 155.97
37172.47/4654.80 c N dy 87629 12910262 4257 85800 0 219191 429000 13606026 147.54 157.40
37246.84/4664.18 c N dy 87768 12930536 4257 85800 0 239457 429000 17716940 147.54 155.96
37327.45/4674.23 c N dy 87911 12950634 4257 85800 0 259551 429000 21840622 147.55 155.95
37413.82/4685.04 c N dy 88058 12970699 4257 85800 0 279612 429000 25964876 147.55 167.48
37500.90/4695.92 c N dy 88185 12990786 4257 85800 0 299690 429000 30035637 147.55 155.62
37595.89/4707.86 c N dy 88323 13010816 4257 85800 0 319712 429000 34118488 147.56 162.28
37659.87/4715.84 c N dy 88450 13030840 4257 85800 0 178797 429000 5213133 147.55 155.64
37722.85/4723.70 c N dy 88588 13050884 4257 85800 0 198835 429000 9260017 147.55 157.48
37789.97/4732.20 c N dy 88723 13070973 4257 85800 0 218919 429000 13319643 147.56 160.04
37864.26/4741.48 c N dy 88867 13091126 4257 85800 0 239069 429000 17455944 147.56 160.07
37941.74/4751.14 c N dy 88997 13111160 4257 85800 0 259095 429000 21516355 147.56 162.41
38020.84/4761.01 c F st 89126 13130469 4257 85800 0 278400 429000 25466285 147.56 146.69
38024.84/4761.55 c N st 89129 13131659 4257 85800 0 279590 429000 25719641 147.56 no data
38109.52/4772.14 c N dy 89242 13151896 4257 85800 0 299809 429000 30074522 147.56 157.50
38204.67/4784.09 c N dy 89374 13171987 4257 85800 0 319893 429000 34155264 147.56 155.76
38274.17/4792.73 c N dy 89514 13192028 4257 85800 0 177974 429000 4909065 147.57 158.62
38335.63/4800.44 c N dy 89652 13212085 4257 85800 0 198030 429000 8972423 147.57 162.27
38403.92/4809.07 c N dy 89794 13232212 4257 85800 0 218146 429000 13063698 147.57 155.95
38476.98/4818.29 c N dy 89933 13252232 4257 85800 0 238161 429000 17143916 147.57 156.86
38556.03/4828.13 c N dy 90070 13272316 4257 85800 0 258238 429000 21226867 147.57 156.13
38639.93/4838.68 c N dy 90209 13292354 4257 85800 0 278265 429000 25317690 147.57 157.08
38731.08/4850.06 c N dy 90350 13312395 4257 85800 0 298302 429000 29419862 147.58 161.54
38826.08/4861.97 c N dy 90493 13332469 4257 85800 0 318373 429000 33552372 147.58 165.84
38901.94/4871.50 c N dy 90634 13352568 4257 85800 0 175516 429000 4158577 147.58 157.42
38964.25/4879.27 c N dy 90774 13372616 4257 85800 0 195560 429000 8224201 147.59 157.77
39030.54/4887.54 c N dy 90908 13392637 4257 85800 0 215579 429000 12337265 147.59 156.85
39100.84/4896.35 c N dy 91045 13412694 4257 85800 0 235625 429000 16477373 147.59 157.28
39179.20/4906.17 c N dy 91185 13432791 4257 85800 0 255715 429000 20572591 147.59 157.66
39260.61/4916.39 c N dy 91315 13452811 4257 85800 0 275728 429000 24607790 147.59 155.77
39350.08/4927.50 c N dy 91452 13472927 4257 85800 0 295839 429000 28695571 147.59 160.39
39443.55/4939.23 c N dy 91588 13492945 4257 85800 0 315851 429000 32797019 147.59 158.41
39529.02/4949.91 c N dy 91722 13513019 4257 85800 0 171978 429000 3300262 147.60 196.80
39588.94/4957.43 c N dy 91858 13533091 4257 85800 0 192042 429000 7404842 147.60 165.32
39656.81/4965.91 c N dy 92001 13553143 4257 85800 0 212091 429000 11505974 147.60 158.37
39725.52/4974.53 c N dy 92129 13573195 4257 85800 0 232136 429000 15616229 147.60 166.10
39801.43/4984.00 c N dy 92264 13593213 4257 85800 0 252145 429000 19659752 147.60 155.70
39883.69/4994.32 c N dy 92401 13613553 4257 85800 0 272477 429000 23813517 147.61 157.44
39972.39/5005.41 c N dy 92546 13633653 4257 85800 0 292573 429000 27923597 147.61 157.44
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-3421600-1306678739/watcher-3421600-1306678739 -o /tmp/evaluation-result-3421600-1306678739/solver-3421600-1306678739 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3421600-1306678739.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.92 7.96 2/320 27868
/proc/meminfo: memFree=18771488/32951124 swapFree=67083432/67111528
[pid=27868] ppid=27866 vsize=92144 CPUtime=0.04 cores=0-7
/proc/27868/stat : 27868 (strangenight2-m) R 27866 27868 27842 0 -1 4202496 420 0 0 0 4 0 0 0 23 0 8 0 858104587 94355456 361 33554432000 4194304 4580107 140737402268960 18446744073709551615 47425670010802 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/27868/statm: 23036 361 302 95 0 18018 0
[pid=27868/tid=27869] ppid=27866 vsize=92144 CPUtime=0 cores=0-7
/proc/27868/task/27869/stat : 27869 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 8 0 858104587 94355456 361 33554432000 4194304 4580107 140737402268960 18446744073709551615 47425670010393 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27868/tid=27870] ppid=27866 vsize=92144 CPUtime=0 cores=0-7
/proc/27868/task/27870/stat : 27870 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 858104587 94355456 361 33554432000 4194304 4580107 140737402268960 18446744073709551615 47425670010393 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27868/tid=27871] ppid=27866 vsize=92144 CPUtime=0 cores=0-7
/proc/27868/task/27871/stat : 27871 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 858104587 94355456 361 33554432000 4194304 4580107 140737402268960 18446744073709551615 47425670010792 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27868/tid=27872] ppid=27866 vsize=92144 CPUtime=0 cores=0-7
/proc/27868/task/27872/stat : 27872 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 858104587 94355456 361 33554432000 4194304 4580107 140737402268960 18446744073709551615 47425670010393 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27868/tid=27873] ppid=27866 vsize=92144 CPUtime=0 cores=0-7
/proc/27868/task/27873/stat : 27873 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 858104587 94355456 361 33554432000 4194304 4580107 140737402268960 18446744073709551615 47425670010393 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27868/tid=27874] ppid=27866 vsize=92144 CPUtime=0 cores=0-7
/proc/27868/task/27874/stat : 27874 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 858104587 94355456 361 33554432000 4194304 4580107 140737402268960 18446744073709551615 47425670010393 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27868/tid=27875] ppid=27866 vsize=92144 CPUtime=0 cores=0-7
/proc/27868/task/27875/stat : 27875 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 858104587 94355456 361 33554432000 4194304 4580107 140737402268960 18446744073709551615 47425670010393 0 0 4096 2 0 0 0 -1 0 0 0 0
[startup+0.112251 s]
/proc/loadavg: 7.47 7.92 7.96 2/320 27868
/proc/meminfo: memFree=18771488/32951124 swapFree=67083432/67111528
[pid=27868] ppid=27866 vsize=572116 CPUtime=0.66 cores=0-7
/proc/27868/stat : 27868 (strangenight2-m) R 27866 27868 27842 0 -1 4202496 17433 0 0 0 46 20 0 0 17 0 8 0 858104587 585846784 15470 33554432000 4194304 4580107 140737402268960 18446744073709551615 260020500974 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27868/statm: 143029 15478 337 95 0 138011 0
[pid=27868/tid=27869] ppid=27866 vsize=572116 CPUtime=0.08 cores=0-7
/proc/27868/task/27869/stat : 27869 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2085 0 0 0 6 2 0 0 17 0 8 0 858104587 585846784 15499 33554432000 4194304 4580107 140737402268960 18446744073709551615 260020500974 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27868/tid=27870] ppid=27866 vsize=572116 CPUtime=0.07 cores=0-7
/proc/27868/task/27870/stat : 27870 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2317 0 0 0 5 2 0 0 17 0 8 0 858104587 585846784 15501 33554432000 4194304 4580107 140737402268960 18446744073709551615 260020500974 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27868/tid=27871] ppid=27866 vsize=572328 CPUtime=0.07 cores=0-7
/proc/27868/task/27871/stat : 27871 (strangenight2-m) S 27866 27868 27842 0 -1 4202560 2260 0 0 0 5 2 0 0 17 0 8 0 858104587 586063872 15503 33554432000 4194304 4580107 140737402268960 18446744073709551615 260020500974 0 0 4096 2 18446604448048868352 0 0 -1 7 0 0 0
[pid=27868/tid=27872] ppid=27866 vsize=572328 CPUtime=0.08 cores=0-7
/proc/27868/task/27872/stat : 27872 (strangenight2-m) S 27866 27868 27842 0 -1 4202560 2186 0 0 0 6 2 0 0 17 0 8 0 858104587 586063872 15516 33554432000 4194304 4580107 140737402268960 18446744073709551615 260020500974 0 0 4096 2 18446604448048868352 0 0 -1 1 0 0 0
[pid=27868/tid=27873] ppid=27866 vsize=572328 CPUtime=0.07 cores=0-7
/proc/27868/task/27873/stat : 27873 (strangenight2-m) S 27866 27868 27842 0 -1 4202560 2259 0 0 0 5 2 0 0 17 0 8 0 858104587 586063872 15532 33554432000 4194304 4580107 140737402268960 18446744073709551615 260020500974 0 0 4096 2 18446604448048868352 0 0 -1 3 0 0 0
[pid=27868/tid=27874] ppid=27866 vsize=572328 CPUtime=0.07 cores=0-7
/proc/27868/task/27874/stat : 27874 (strangenight2-m) S 27866 27868 27842 0 -1 4202560 2070 0 0 0 4 3 0 0 17 0 8 0 858104587 586063872 15538 33554432000 4194304 4580107 140737402268960 18446744073709551615 260020500974 0 0 4096 2 18446604448048868352 0 0 -1 6 0 0 0
[pid=27868/tid=27875] ppid=27866 vsize=572472 CPUtime=0.07 cores=0-7
/proc/27868/task/27875/stat : 27875 (strangenight2-m) S 27866 27868 27842 0 -1 4202560 1794 0 0 0 6 1 0 0 17 0 8 0 858104587 586211328 15541 33554432000 4194304 4580107 140737402268960 18446744073709551615 260020500974 0 0 4096 2 18446604448048868352 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 572116
[startup+0.201236 s]
/proc/loadavg: 7.47 7.92 7.96 2/320 27868
/proc/meminfo: memFree=18771488/32951124 swapFree=67083432/67111528
[pid=27868] ppid=27866 vsize=597492 CPUtime=1.21 cores=0-7
/proc/27868/stat : 27868 (strangenight2-m) R 27866 27868 27842 0 -1 4202496 30116 0 0 0 82 39 0 0 17 0 8 0 858104587 611831808 25985 33554432000 4194304 4580107 140737402268960 18446744073709551615 260020500974 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27868/statm: 149373 26022 337 95 0 144355 0
[pid=27868/tid=27869] ppid=27866 vsize=597492 CPUtime=0.14 cores=0-7
/proc/27868/task/27869/stat : 27869 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 3807 0 0 0 9 5 0 0 17 0 8 0 858104587 611831808 26070 33554432000 4194304 4580107 140737402268960 18446744073709551615 260020501023 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27868/tid=27870] ppid=27866 vsize=597492 CPUtime=0.15 cores=0-7
/proc/27868/task/27870/stat : 27870 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 4273 0 0 0 10 5 0 0 17 0 8 0 858104587 611831808 26099 33554432000 4194304 4580107 140737402268960 18446744073709551615 260020501023 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27868/tid=27871] ppid=27866 vsize=597492 CPUtime=0.14 cores=0-7
/proc/27868/task/27871/stat : 27871 (strangenight2-m) S 27866 27868 27842 0 -1 4202560 3664 0 0 0 10 4 0 0 17 0 8 0 858104587 611831808 26118 33554432000 4194304 4580107 140737402268960 18446744073709551615 260020500974 0 0 4096 2 18446604448048868352 0 0 -1 7 0 0 0
[pid=27868/tid=27872] ppid=27866 vsize=597492 CPUtime=0.14 cores=0-7
/proc/27868/task/27872/stat : 27872 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 3646 0 0 0 10 4 0 0 17 0 8 0 858104587 611831808 26142 33554432000 4194304 4580107 140737402268960 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27868/tid=27873] ppid=27866 vsize=597492 CPUtime=0.14 cores=0-7
/proc/27868/task/27873/stat : 27873 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 3844 0 0 0 10 4 0 0 17 0 8 0 858104587 611831808 26160 33554432000 4194304 4580107 140737402268960 18446744073709551615 260020501023 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27868/tid=27874] ppid=27866 vsize=597492 CPUtime=0.14 cores=0-7
/proc/27868/task/27874/stat : 27874 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 3667 0 0 0 8 6 0 0 17 0 8 0 858104587 611831808 26191 33554432000 4194304 4580107 140737402268960 18446744073709551615 260020501023 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27868/tid=27875] ppid=27866 vsize=597492 CPUtime=0.13 cores=0-7
/proc/27868/task/27875/stat : 27875 (strangenight2-m) S 27866 27868 27842 0 -1 4202560 3248 0 0 0 11 2 0 0 17 0 8 0 858104587 611831808 26228 33554432000 4194304 4580107 140737402268960 18446744073709551615 260020500974 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 597492
[startup+0.305197 s]
/proc/loadavg: 7.47 7.92 7.96 2/320 27868
/proc/meminfo: memFree=18771488/32951124 swapFree=67083432/67111528
[pid=27868] ppid=27866 vsize=609460 CPUtime=1.84 cores=0-7
/proc/27868/stat : 27868 (strangenight2-m) R 27866 27868 27842 0 -1 4202496 41769 0 0 0 124 60 0 0 17 0 8 0 858104587 624087040 37626 33554432000 4194304 4580107 140737402268960 18446744073709551615 4354920 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27868/statm: 152365 37629 337 95 0 147347 0
[pid=27868/tid=27869] ppid=27866 vsize=609460 CPUtime=0.22 cores=0-7
/proc/27868/task/27869/stat : 27869 (strangenight2-m) S 27866 27868 27842 0 -1 4202560 5339 0 0 0 14 8 0 0 17 0 8 0 858104587 624087040 37631 33554432000 4194304 4580107 140737402268960 18446744073709551615 260020500974 0 0 4096 2 18446604448048868352 0 0 -1 2 0 0 0
[pid=27868/tid=27870] ppid=27866 vsize=609460 CPUtime=0.23 cores=0-7
/proc/27868/task/27870/stat : 27870 (strangenight2-m) S 27866 27868 27842 0 -1 4202560 5628 0 0 0 15 8 0 0 17 0 8 0 858104587 624087040 37633 33554432000 4194304 4580107 140737402268960 18446744073709551615 260020500974 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27868/tid=27871] ppid=27866 vsize=609460 CPUtime=0.22 cores=0-7
/proc/27868/task/27871/stat : 27871 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 5056 0 0 0 15 7 0 0 17 0 8 0 858104587 624087040 37635 33554432000 4194304 4580107 140737402268960 18446744073709551615 260020500974 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27868/tid=27872] ppid=27866 vsize=609460 CPUtime=0.23 cores=0-7
/proc/27868/task/27872/stat : 27872 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 5085 0 0 0 16 7 0 0 17 0 8 0 858104587 624087040 37642 33554432000 4194304 4580107 140737402268960 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27868/tid=27873] ppid=27866 vsize=609460 CPUtime=0.22 cores=0-7
/proc/27868/task/27873/stat : 27873 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 5348 0 0 0 15 7 0 0 17 0 8 0 858104587 624087040 37645 33554432000 4194304 4580107 140737402268960 18446744073709551615 260020501023 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27868/tid=27874] ppid=27866 vsize=609460 CPUtime=0.22 cores=0-7
/proc/27868/task/27874/stat : 27874 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 5209 0 0 0 13 9 0 0 17 0 8 0 858104587 624087040 37649 33554432000 4194304 4580107 140737402268960 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27868/tid=27875] ppid=27866 vsize=609460 CPUtime=0.21 cores=0-7
/proc/27868/task/27875/stat : 27875 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 4528 0 0 0 17 4 0 0 17 0 8 0 858104587 624087040 37652 33554432000 4194304 4580107 140737402268960 18446744073709551615 260020501023 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 609460
[startup+0.701118 s]
/proc/loadavg: 7.47 7.92 7.96 2/320 27868
/proc/meminfo: memFree=18771488/32951124 swapFree=67083432/67111528
[pid=27868] ppid=27866 vsize=933804 CPUtime=4.31 cores=0-7
/proc/27868/stat : 27868 (strangenight2-m) S 27866 27868 27842 0 -1 4202496 86835 0 0 0 289 142 0 0 17 0 8 0 858104587 956215296 78525 33554432000 4194304 4580107 140737402268960 18446744073709551615 260020500974 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27868/statm: 233451 78528 337 95 0 228433 0
[pid=27868/tid=27869] ppid=27866 vsize=933804 CPUtime=0.53 cores=0-7
/proc/27868/task/27869/stat : 27869 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 11020 0 0 0 34 19 0 0 17 0 8 0 858104587 956215296 78532 33554432000 4194304 4580107 140737402268960 18446744073709551615 260020501023 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27868/tid=27870] ppid=27866 vsize=933804 CPUtime=0.54 cores=0-7
/proc/27868/task/27870/stat : 27870 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 11693 0 0 0 36 18 0 0 17 0 8 0 858104587 956215296 78533 33554432000 4194304 4580107 140737402268960 18446744073709551615 260020500974 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27868/tid=27871] ppid=27866 vsize=933804 CPUtime=0.53 cores=0-7
/proc/27868/task/27871/stat : 27871 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 10474 0 0 0 37 16 0 0 17 0 8 0 858104587 956215296 78535 33554432000 4194304 4580107 140737402268960 18446744073709551615 4511159 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27868/tid=27872] ppid=27866 vsize=933804 CPUtime=0.53 cores=0-7
/proc/27868/task/27872/stat : 27872 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 10500 0 0 0 37 16 0 0 17 0 8 0 858104587 956215296 78536 33554432000 4194304 4580107 140737402268960 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27868/tid=27873] ppid=27866 vsize=933804 CPUtime=0.53 cores=0-7
/proc/27868/task/27873/stat : 27873 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 11356 0 0 0 34 19 0 0 17 0 8 0 858104587 956215296 78537 33554432000 4194304 4580107 140737402268960 18446744073709551615 260020501023 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27868/tid=27874] ppid=27866 vsize=933804 CPUtime=0.53 cores=0-7
/proc/27868/task/27874/stat : 27874 (strangenight2-m) S 27866 27868 27842 0 -1 4202560 10908 0 0 0 33 20 0 0 17 0 8 0 858104587 956215296 78539 33554432000 4194304 4580107 140737402268960 18446744073709551615 260020500974 0 0 4096 2 18446604448048868352 0 0 -1 6 0 0 0
[pid=27868/tid=27875] ppid=27866 vsize=933804 CPUtime=0.52 cores=0-7
/proc/27868/task/27875/stat : 27875 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 9793 0 0 0 40 12 0 0 17 0 8 0 858104587 956215296 78542 33554432000 4194304 4580107 140737402268960 18446744073709551615 260020501023 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.31
Current children cumulated vsize (KiB) 933804
[startup+1.50097 s]
/proc/loadavg: 7.47 7.92 7.96 8/328 27876
/proc/meminfo: memFree=18330872/32951124 swapFree=67083432/67111528
[pid=27868] ppid=27866 vsize=976100 CPUtime=9.79 cores=0-7
/proc/27868/stat : 27868 (strangenight2-m) R 27866 27868 27842 0 -1 4202496 126868 0 0 0 746 233 0 0 16 0 8 0 858104587 999526400 118522 33554432000 4194304 4580107 140737402268960 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27868/statm: 244025 118522 358 95 0 239007 0
[pid=27868/tid=27869] ppid=27866 vsize=976100 CPUtime=1.21 cores=0-7
/proc/27868/task/27869/stat : 27869 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 16087 0 0 0 90 31 0 0 16 0 8 0 858104587 999526400 118522 33554432000 4194304 4580107 140737402268960 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27868/tid=27870] ppid=27866 vsize=976100 CPUtime=1.24 cores=0-7
/proc/27868/task/27870/stat : 27870 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 16686 0 0 0 96 28 0 0 17 0 8 0 858104587 999526400 118522 33554432000 4194304 4580107 140737402268960 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27868/tid=27871] ppid=27866 vsize=976100 CPUtime=1.18 cores=0-7
/proc/27868/task/27871/stat : 27871 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 15621 0 0 0 92 26 0 0 16 0 8 0 858104587 999526400 118523 33554432000 4194304 4580107 140737402268960 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27868/tid=27872] ppid=27866 vsize=976100 CPUtime=1.22 cores=0-7
/proc/27868/task/27872/stat : 27872 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 14908 0 0 0 94 28 0 0 16 0 8 0 858104587 999526400 118523 33554432000 4194304 4580107 140737402268960 18446744073709551615 260020501023 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27868/tid=27873] ppid=27866 vsize=976100 CPUtime=1.23 cores=0-7
/proc/27868/task/27873/stat : 27873 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 16197 0 0 0 93 30 0 0 17 0 8 0 858104587 999526400 118523 33554432000 4194304 4580107 140737402268960 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27868/tid=27874] ppid=27866 vsize=976100 CPUtime=1.19 cores=0-7
/proc/27868/task/27874/stat : 27874 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 16030 0 0 0 88 31 0 0 16 0 8 0 858104587 999526400 118523 33554432000 4194304 4580107 140737402268960 18446744073709551615 260020501023 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27868/tid=27875] ppid=27866 vsize=976100 CPUtime=1.21 cores=0-7
/proc/27868/task/27875/stat : 27875 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 14947 0 0 0 98 23 0 0 16 0 8 0 858104587 999526400 118523 33554432000 4194304 4580107 140737402268960 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.79
Current children cumulated vsize (KiB) 976100
[startup+3.10068 s]
/proc/loadavg: 7.59 7.94 7.97 9/328 27876
/proc/meminfo: memFree=18270112/32951124 swapFree=67083432/67111528
[pid=27868] ppid=27866 vsize=1352476 CPUtime=20.17 cores=0-7
/proc/27868/stat : 27868 (strangenight2-m) R 27866 27868 27842 0 -1 4202496 212800 0 0 0 1651 366 0 0 16 0 8 0 858104587 1384935424 204418 33554432000 4194304 4580107 140737402268960 18446744073709551615 260020501023 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27868/statm: 338119 204422 365 95 0 333101 0
[pid=27868/tid=27869] ppid=27866 vsize=1352476 CPUtime=2.48 cores=0-7
/proc/27868/task/27869/stat : 27869 (strangenight2-m) S 27866 27868 27842 0 -1 4202560 29322 0 0 0 196 52 0 0 16 0 8 0 858104587 1384935424 204422 33554432000 4194304 4580107 140737402268960 18446744073709551615 260020500974 0 0 4096 2 18446604448048868352 0 0 -1 6 0 0 0
[pid=27868/tid=27870] ppid=27866 vsize=1352476 CPUtime=2.5 cores=0-7
/proc/27868/task/27870/stat : 27870 (strangenight2-m) S 27866 27868 27842 0 -1 4202560 30555 0 0 0 203 47 0 0 16 0 8 0 858104587 1384935424 204425 33554432000 4194304 4580107 140737402268960 18446744073709551615 260020500974 0 0 4096 2 18446604448048868352 0 0 -1 4 0 0 0
[pid=27868/tid=27871] ppid=27866 vsize=1352476 CPUtime=2.44 cores=0-7
/proc/27868/task/27871/stat : 27871 (strangenight2-m) S 27866 27868 27842 0 -1 4202560 22804 0 0 0 198 46 0 0 15 0 8 0 858104587 1384935424 204428 33554432000 4194304 4580107 140737402268960 18446744073709551615 260020500974 0 0 4096 2 18446604448048868352 0 0 -1 3 0 0 0
[pid=27868/tid=27872] ppid=27866 vsize=1352476 CPUtime=2.52 cores=0-7
/proc/27868/task/27872/stat : 27872 (strangenight2-m) S 27866 27868 27842 0 -1 4202560 28033 0 0 0 206 46 0 0 16 0 8 0 858104587 1384935424 204430 33554432000 4194304 4580107 140737402268960 18446744073709551615 260020500974 0 0 4096 2 18446604448048868352 0 0 -1 1 0 0 0
[pid=27868/tid=27873] ppid=27866 vsize=1352476 CPUtime=2.5 cores=0-7
/proc/27868/task/27873/stat : 27873 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 27231 0 0 0 200 50 0 0 16 0 8 0 858104587 1384935424 204431 33554432000 4194304 4580107 140737402268960 18446744073709551615 260020056773 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27868/tid=27874] ppid=27866 vsize=1352476 CPUtime=2.46 cores=0-7
/proc/27868/task/27874/stat : 27874 (strangenight2-m) S 27866 27868 27842 0 -1 4202560 30333 0 0 0 197 49 0 0 16 0 8 0 858104587 1384935424 204432 33554432000 4194304 4580107 140737402268960 18446744073709551615 260020500974 0 0 4096 2 18446604448048868352 0 0 -1 2 0 0 0
[pid=27868/tid=27875] ppid=27866 vsize=1352476 CPUtime=2.71 cores=0-7
/proc/27868/task/27875/stat : 27875 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 17716 0 0 0 247 24 0 0 18 0 8 0 858104587 1384935424 204434 33554432000 4194304 4580107 140737402268960 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 20.17
Current children cumulated vsize (KiB) 1352476
[startup+6.30109 s]
/proc/loadavg: 7.59 7.94 7.97 9/328 27876
/proc/meminfo: memFree=17449744/32951124 swapFree=67083432/67111528
[pid=27868] ppid=27866 vsize=1887948 CPUtime=42.29 cores=0-7
/proc/27868/stat : 27868 (strangenight2-m) R 27866 27868 27842 0 -1 4202496 418474 0 0 0 3672 557 0 0 18 0 8 0 858104587 1933258752 321010 33554432000 4194304 4580107 140737402268960 18446744073709551615 4361308 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27868/statm: 471987 321010 379 95 0 466969 0
[pid=27868/tid=27869] ppid=27866 vsize=1887948 CPUtime=5.2 cores=0-7
/proc/27868/task/27869/stat : 27869 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 55943 0 0 0 442 78 0 0 18 0 8 0 858104587 1933258752 321010 33554432000 4194304 4580107 140737402268960 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27868/tid=27870] ppid=27866 vsize=1887948 CPUtime=5.33 cores=0-7
/proc/27868/task/27870/stat : 27870 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 57311 0 0 0 460 73 0 0 18 0 8 0 858104587 1933258752 321010 33554432000 4194304 4580107 140737402268960 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27868/tid=27871] ppid=27866 vsize=1887948 CPUtime=5.09 cores=0-7
/proc/27868/task/27871/stat : 27871 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 54698 0 0 0 433 76 0 0 18 0 8 0 858104587 1933258752 321010 33554432000 4194304 4580107 140737402268960 18446744073709551615 4363764 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27868/tid=27872] ppid=27866 vsize=1887948 CPUtime=5.43 cores=0-7
/proc/27868/task/27872/stat : 27872 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 56197 0 0 0 474 69 0 0 18 0 8 0 858104587 1933258752 321010 33554432000 4194304 4580107 140737402268960 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27868/tid=27873] ppid=27866 vsize=1887948 CPUtime=5.14 cores=0-7
/proc/27868/task/27873/stat : 27873 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 52940 0 0 0 434 80 0 0 18 0 8 0 858104587 1933258752 321010 33554432000 4194304 4580107 140737402268960 18446744073709551615 4361308 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27868/tid=27874] ppid=27866 vsize=1887948 CPUtime=5.21 cores=0-7
/proc/27868/task/27874/stat : 27874 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 56004 0 0 0 448 73 0 0 18 0 8 0 858104587 1933258752 321010 33554432000 4194304 4580107 140737402268960 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27868/tid=27875] ppid=27866 vsize=1887948 CPUtime=5.67 cores=0-7
/proc/27868/task/27875/stat : 27875 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 31774 0 0 0 539 28 0 0 20 0 8 0 858104587 1933258752 321010 33554432000 4194304 4580107 140737402268960 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=27868/tid=27871] ppid=27866 vsize=3347528 CPUtime=4657.92 cores=0-7
/proc/27868/task/27871/stat : 27871 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2816513 0 0 0 464767 1025 0 0 25 0 8 0 858104587 3427868672 584046 33554432000 4194304 4580107 140737402268960 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27868/tid=27872] ppid=27866 vsize=3347528 CPUtime=4635.8 cores=0-7
/proc/27868/task/27872/stat : 27872 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2748485 0 0 0 462594 986 0 0 25 0 8 0 858104587 3427868672 584046 33554432000 4194304 4580107 140737402268960 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27868/tid=27873] ppid=27866 vsize=3347528 CPUtime=4657.04 cores=0-7
/proc/27868/task/27873/stat : 27873 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2704537 0 0 0 464864 840 0 0 25 0 8 0 858104587 3427868672 584046 33554432000 4194304 4580107 140737402268960 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27868/tid=27874] ppid=27866 vsize=3347528 CPUtime=4659.91 cores=0-7
/proc/27868/task/27874/stat : 27874 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2794611 0 0 0 465136 855 0 0 25 0 8 0 858104587 3427868672 584046 33554432000 4194304 4580107 140737402268960 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27868/tid=27875] ppid=27866 vsize=3347528 CPUtime=4659.94 cores=0-7
/proc/27868/task/27875/stat : 27875 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2720566 0 0 0 465138 856 0 0 25 0 8 0 858104587 3427868672 584046 33554432000 4194304 4580107 140737402268960 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 37232.4
Current children cumulated vsize (KiB) 3347528
[startup+4722.3 s]
/proc/loadavg: 8.10 8.06 8.00 9/328 28014
/proc/meminfo: memFree=16366488/32951124 swapFree=67083432/67111528
[pid=27868] ppid=27866 vsize=4004844 CPUtime=37711.8 cores=0-7
/proc/27868/stat : 27868 (strangenight2-m) R 27866 27868 27842 0 -1 4202496 22023947 0 0 0 3763799 7378 0 0 25 0 8 0 858104587 4100960256 601146 33554432000 4194304 4580107 140737402268960 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27868/statm: 1001211 601146 379 95 0 996193 0
[pid=27868/tid=27869] ppid=27866 vsize=4004844 CPUtime=4710.04 cores=0-7
/proc/27868/task/27869/stat : 27869 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2707665 0 0 0 470037 967 0 0 25 0 8 0 858104587 4100960256 601146 33554432000 4194304 4580107 140737402268960 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27868/tid=27870] ppid=27866 vsize=4004844 CPUtime=4720.24 cores=0-7
/proc/27868/task/27870/stat : 27870 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2580492 0 0 0 471222 802 0 0 25 0 8 0 858104587 4100960256 601146 33554432000 4194304 4580107 140737402268960 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27868/tid=27871] ppid=27866 vsize=4004844 CPUtime=4717.92 cores=0-7
/proc/27868/task/27871/stat : 27871 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2843941 0 0 0 470756 1036 0 0 25 0 8 0 858104587 4100960256 601146 33554432000 4194304 4580107 140737402268960 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27868/tid=27872] ppid=27866 vsize=4004844 CPUtime=4695.18 cores=0-7
/proc/27868/task/27872/stat : 27872 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2777329 0 0 0 468521 997 0 0 25 0 8 0 858104587 4100960256 601146 33554432000 4194304 4580107 140737402268960 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27868/tid=27873] ppid=27866 vsize=4004844 CPUtime=4717.03 cores=0-7
/proc/27868/task/27873/stat : 27873 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2730636 0 0 0 470854 849 0 0 25 0 8 0 858104587 4100960256 601146 33554432000 4194304 4580107 140737402268960 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27868/tid=27874] ppid=27866 vsize=4004844 CPUtime=4719.9 cores=0-7
/proc/27868/task/27874/stat : 27874 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2819989 0 0 0 471128 862 0 0 25 0 8 0 858104587 4100960256 601146 33554432000 4194304 4580107 140737402268960 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27868/tid=27875] ppid=27866 vsize=4004844 CPUtime=4719.94 cores=0-7
/proc/27868/task/27875/stat : 27875 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2747315 0 0 0 471131 863 0 0 25 0 8 0 858104587 4100960256 601146 33554432000 4194304 4580107 140737402268960 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 37711.8
Current children cumulated vsize (KiB) 4004844
[startup+4782.3 s]
/proc/loadavg: 8.03 8.05 8.00 9/328 28016
/proc/meminfo: memFree=16050636/32951124 swapFree=67083432/67111528
[pid=27868] ppid=27866 vsize=4614944 CPUtime=38191 cores=0-7
/proc/27868/stat : 27868 (strangenight2-m) R 27866 27868 27842 0 -1 4202496 22235894 0 0 0 3811656 7446 0 0 25 0 8 0 858104587 4725702656 681813 33554432000 4194304 4580107 140737402268960 18446744073709551615 4302485 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27868/statm: 1153736 681814 379 95 0 1148718 0
[pid=27868/tid=27869] ppid=27866 vsize=4614944 CPUtime=4770.03 cores=0-7
/proc/27868/task/27869/stat : 27869 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2734592 0 0 0 476025 978 0 0 25 0 8 0 858104587 4725702656 681814 33554432000 4194304 4580107 140737402268960 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27868/tid=27870] ppid=27866 vsize=4614944 CPUtime=4780.21 cores=0-7
/proc/27868/task/27870/stat : 27870 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2610068 0 0 0 477211 810 0 0 25 0 8 0 858104587 4725702656 681814 33554432000 4194304 4580107 140737402268960 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27868/tid=27871] ppid=27866 vsize=4614944 CPUtime=4777.9 cores=0-7
/proc/27868/task/27871/stat : 27871 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2867624 0 0 0 476746 1044 0 0 25 0 8 0 858104587 4725702656 681814 33554432000 4194304 4580107 140737402268960 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27868/tid=27872] ppid=27866 vsize=4614944 CPUtime=4754.56 cores=0-7
/proc/27868/task/27872/stat : 27872 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2805317 0 0 0 474451 1005 0 0 25 0 8 0 858104587 4725702656 681814 33554432000 4194304 4580107 140737402268960 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27868/tid=27873] ppid=27866 vsize=4614944 CPUtime=4777.01 cores=0-7
/proc/27868/task/27873/stat : 27873 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2755551 0 0 0 476845 856 0 0 25 0 8 0 858104587 4725702656 681814 33554432000 4194304 4580107 140737402268960 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27868/tid=27874] ppid=27866 vsize=4614944 CPUtime=4779.88 cores=0-7
/proc/27868/task/27874/stat : 27874 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2845569 0 0 0 477119 869 0 0 25 0 8 0 858104587 4725702656 681814 33554432000 4194304 4580107 140737402268960 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27868/tid=27875] ppid=27866 vsize=4614944 CPUtime=4779.93 cores=0-7
/proc/27868/task/27875/stat : 27875 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2775877 0 0 0 477121 872 0 0 25 0 8 0 858104587 4725702656 681814 33554432000 4194304 4580107 140737402268960 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 38191
Current children cumulated vsize (KiB) 4614944
[startup+4842.31 s]
/proc/loadavg: 8.30 8.13 8.03 9/328 28020
/proc/meminfo: memFree=16203044/32951124 swapFree=67083432/67111528
[pid=27868] ppid=27866 vsize=4027048 CPUtime=38669.6 cores=0-7
/proc/27868/stat : 27868 (strangenight2-m) R 27866 27868 27842 0 -1 4202496 22451465 0 0 0 3859435 7523 0 0 25 0 8 0 858104587 4123697152 642206 33554432000 4194304 4580107 140737402268960 18446744073709551615 4293232 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27868/statm: 1006762 642207 379 95 0 1001744 0
[pid=27868/tid=27869] ppid=27866 vsize=4027048 CPUtime=4830.03 cores=0-7
/proc/27868/task/27869/stat : 27869 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2758142 0 0 0 482016 987 0 0 25 0 8 0 858104587 4123697152 642207 33554432000 4194304 4580107 140737402268960 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27868/tid=27870] ppid=27866 vsize=4027048 CPUtime=4840.15 cores=0-7
/proc/27868/task/27870/stat : 27870 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2633371 0 0 0 483197 818 0 0 25 0 8 0 858104587 4123697152 642207 33554432000 4194304 4580107 140737402268960 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27868/tid=27871] ppid=27866 vsize=4027048 CPUtime=4837.89 cores=0-7
/proc/27868/task/27871/stat : 27871 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2896721 0 0 0 482734 1055 0 0 25 0 8 0 858104587 4123697152 642207 33554432000 4194304 4580107 140737402268960 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27868/tid=27872] ppid=27866 vsize=4027048 CPUtime=4813.96 cores=0-7
/proc/27868/task/27872/stat : 27872 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2832692 0 0 0 480381 1015 0 0 25 0 8 0 858104587 4123697152 642207 33554432000 4194304 4580107 140737402268960 18446744073709551615 4296107 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27868/tid=27873] ppid=27866 vsize=4027048 CPUtime=4836.35 cores=0-7
/proc/27868/task/27873/stat : 27873 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2783490 0 0 0 482769 866 0 0 25 0 8 0 858104587 4123697152 642207 33554432000 4194304 4580107 140737402268960 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27868/tid=27874] ppid=27866 vsize=4027048 CPUtime=4839.79 cores=0-7
/proc/27868/task/27874/stat : 27874 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2873435 0 0 0 483101 878 0 0 25 0 8 0 858104587 4123697152 642207 33554432000 4194304 4580107 140737402268960 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27868/tid=27875] ppid=27866 vsize=4027048 CPUtime=4839.93 cores=0-7
/proc/27868/task/27875/stat : 27875 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2803318 0 0 0 483112 881 0 0 25 0 8 0 858104587 4123697152 642207 33554432000 4194304 4580107 140737402268960 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 38669.6
Current children cumulated vsize (KiB) 4027048
[startup+4902.3 s]
/proc/loadavg: 8.11 8.10 8.02 9/328 28022
/proc/meminfo: memFree=16432796/32951124 swapFree=67083432/67111528
[pid=27868] ppid=27866 vsize=3614100 CPUtime=39148.8 cores=0-7
/proc/27868/stat : 27868 (strangenight2-m) R 27866 27868 27842 0 -1 4202496 22667970 0 0 0 3907281 7596 0 0 25 0 8 0 858104587 3700838400 587150 33554432000 4194304 4580107 140737402268960 18446744073709551615 4318360 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27868/statm: 903525 587150 379 95 0 898507 0
[pid=27868/tid=27869] ppid=27866 vsize=3614100 CPUtime=4890 cores=0-7
/proc/27868/task/27869/stat : 27869 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2787017 0 0 0 488004 996 0 0 25 0 8 0 858104587 3700838400 587150 33554432000 4194304 4580107 140737402268960 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27868/tid=27870] ppid=27866 vsize=3614100 CPUtime=4900.12 cores=0-7
/proc/27868/task/27870/stat : 27870 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2660924 0 0 0 489186 826 0 0 25 0 8 0 858104587 3700838400 587150 33554432000 4194304 4580107 140737402268960 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27868/tid=27871] ppid=27866 vsize=3614100 CPUtime=4897.87 cores=0-7
/proc/27868/task/27871/stat : 27871 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2924718 0 0 0 488721 1066 0 0 25 0 8 0 858104587 3700838400 587150 33554432000 4194304 4580107 140737402268960 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27868/tid=27872] ppid=27866 vsize=3614100 CPUtime=4873.33 cores=0-7
/proc/27868/task/27872/stat : 27872 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2855349 0 0 0 486309 1024 0 0 25 0 8 0 858104587 3700838400 587150 33554432000 4194304 4580107 140737402268960 18446744073709551615 4305984 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27868/tid=27873] ppid=27866 vsize=3614100 CPUtime=4896.32 cores=0-7
/proc/27868/task/27873/stat : 27873 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2811199 0 0 0 488756 876 0 0 25 0 8 0 858104587 3700838400 587151 33554432000 4194304 4580107 140737402268960 18446744073709551615 4325657 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27868/tid=27874] ppid=27866 vsize=3614100 CPUtime=4899.77 cores=0-7
/proc/27868/task/27874/stat : 27874 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2900954 0 0 0 489091 886 0 0 25 0 8 0 858104587 3700838400 587151 33554432000 4194304 4580107 140737402268960 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27868/tid=27875] ppid=27866 vsize=3614100 CPUtime=4899.91 cores=0-7
/proc/27868/task/27875/stat : 27875 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2829202 0 0 0 489102 889 0 0 25 0 8 0 858104587 3700838400 587151 33554432000 4194304 4580107 140737402268960 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 39148.8
Current children cumulated vsize (KiB) 3614100
[startup+4962.3 s]
/proc/loadavg: 8.09 8.09 8.02 9/328 28023
/proc/meminfo: memFree=16462788/32951124 swapFree=67083432/67111528
[pid=27868] ppid=27866 vsize=3749784 CPUtime=39628.1 cores=0-7
/proc/27868/stat : 27868 (strangenight2-m) R 27866 27868 27842 0 -1 4202496 22874116 0 0 0 3955141 7665 0 0 25 0 8 0 858104587 3839778816 577507 33554432000 4194304 4580107 140737402268960 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27868/statm: 937446 577507 379 95 0 932428 0
[pid=27868/tid=27869] ppid=27866 vsize=3749784 CPUtime=4949.99 cores=0-7
/proc/27868/task/27869/stat : 27869 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2815118 0 0 0 493993 1006 0 0 25 0 8 0 858104587 3839778816 577507 33554432000 4194304 4580107 140737402268960 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27868/tid=27870] ppid=27866 vsize=3749784 CPUtime=4960.11 cores=0-7
/proc/27868/task/27870/stat : 27870 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2683038 0 0 0 495177 834 0 0 25 0 8 0 858104587 3839778816 577507 33554432000 4194304 4580107 140737402268960 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27868/tid=27871] ppid=27866 vsize=3749784 CPUtime=4957.85 cores=0-7
/proc/27868/task/27871/stat : 27871 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2951677 0 0 0 494709 1076 0 0 25 0 8 0 858104587 3839778816 577507 33554432000 4194304 4580107 140737402268960 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27868/tid=27872] ppid=27866 vsize=3749784 CPUtime=4932.71 cores=0-7
/proc/27868/task/27872/stat : 27872 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2883912 0 0 0 492238 1033 0 0 25 0 8 0 858104587 3839778816 577507 33554432000 4194304 4580107 140737402268960 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27868/tid=27873] ppid=27866 vsize=3749784 CPUtime=4956.29 cores=0-7
/proc/27868/task/27873/stat : 27873 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2836634 0 0 0 494746 883 0 0 25 0 8 0 858104587 3839778816 577507 33554432000 4194304 4580107 140737402268960 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27868/tid=27874] ppid=27866 vsize=3749784 CPUtime=4959.76 cores=0-7
/proc/27868/task/27874/stat : 27874 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2923088 0 0 0 495084 892 0 0 25 0 8 0 858104587 3839778816 577507 33554432000 4194304 4580107 140737402268960 18446744073709551615 4339860 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27868/tid=27875] ppid=27866 vsize=3749784 CPUtime=4959.89 cores=0-7
/proc/27868/task/27875/stat : 27875 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2855092 0 0 0 495092 897 0 0 25 0 8 0 858104587 3839778816 577507 33554432000 4194304 4580107 140737402268960 18446744073709551615 4293962 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 39628.1
Current children cumulated vsize (KiB) 3749784
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5008.9 s]
/proc/loadavg: 8.10 8.09 8.02 9/328 28025
/proc/meminfo: memFree=16331700/32951124 swapFree=67083432/67111528
[pid=27868] ppid=27866 vsize=3618528 CPUtime=40000.4 cores=0-7
/proc/27868/stat : 27868 (strangenight2-m) R 27866 27868 27842 0 -1 4202496 23040006 0 0 0 3992320 7721 0 0 25 0 8 0 858104587 3705372672 609828 33554432000 4194304 4580107 140737402268960 18446744073709551615 4321137 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27868/statm: 904632 609828 379 95 0 899614 0
[pid=27868/tid=27869] ppid=27866 vsize=3618528 CPUtime=4996.6 cores=0-7
/proc/27868/task/27869/stat : 27869 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2834424 0 0 0 498649 1011 0 0 18 0 8 0 858104587 3705372672 609828 33554432000 4194304 4580107 140737402268960 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27868/tid=27870] ppid=27866 vsize=3618528 CPUtime=5006.72 cores=0-7
/proc/27868/task/27870/stat : 27870 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2702530 0 0 0 499832 840 0 0 25 0 8 0 858104587 3705372672 609828 33554432000 4194304 4580107 140737402268960 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27868/tid=27871] ppid=27866 vsize=3618528 CPUtime=5004.46 cores=0-7
/proc/27868/task/27871/stat : 27871 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2970458 0 0 0 499361 1085 0 0 25 0 8 0 858104587 3705372672 609828 33554432000 4194304 4580107 140737402268960 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27868/tid=27872] ppid=27866 vsize=3618528 CPUtime=4978.84 cores=0-7
/proc/27868/task/27872/stat : 27872 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2906083 0 0 0 496842 1042 0 0 25 0 8 0 858104587 3705372672 609828 33554432000 4194304 4580107 140737402268960 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27868/tid=27873] ppid=27866 vsize=3618528 CPUtime=5002.89 cores=0-7
/proc/27868/task/27873/stat : 27873 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2857179 0 0 0 499399 890 0 0 25 0 8 0 858104587 3705372672 609828 33554432000 4194304 4580107 140737402268960 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27868/tid=27874] ppid=27866 vsize=3618528 CPUtime=5006.36 cores=0-7
/proc/27868/task/27874/stat : 27874 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2946903 0 0 0 499736 900 0 0 25 0 8 0 858104587 3705372672 609828 33554432000 4194304 4580107 140737402268960 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27868/tid=27875] ppid=27866 vsize=3618528 CPUtime=5006.5 cores=0-7
/proc/27868/task/27875/stat : 27875 (strangenight2-m) R 27866 27868 27842 0 -1 4202560 2877700 0 0 0 499746 904 0 0 25 0 8 0 858104587 3705372672 609828 33554432000 4194304 4580107 140737402268960 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 40000.4
Current children cumulated vsize (KiB) 3618528
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5009.02 s]
/proc/loadavg: 8.10 8.09 8.02 9/328 28025
/proc/meminfo: memFree=16331700/32951124 swapFree=67083432/67111528
[pid=27868] ppid=27866 vsize=0 CPUtime=40000.6 cores=0-7
/proc/27868/stat : 27868 (strangenight2-m) Z 27866 27868 27842 0 -1 4203548 23040019 0 0 0 3992325 7731 0 0 25 0 2 0 858104587 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/27868/statm: 0 0 0 0 0 0 0
[pid=27868/tid=27872] ppid=27866 vsize=0 CPUtime=4978.95 cores=0-7
/proc/27868/task/27872/stat : 27872 (strangenight2-m) R 27866 27868 27842 0 -1 4203588 2906083 0 0 0 496843 1052 0 0 25 0 2 0 858104587 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 40000.6
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5009.04
CPU time (s): 40000.6
CPU user time (s): 39923.3
CPU system time (s): 77.3372
CPU usage (%): 798.568
Max. virtual memory (cumulated for all children) (KiB): 4614944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39923.3
system time used= 77.3372
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23040019
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= 787253
involuntary context switches= 166008
runsolver used 13.9579 second user time and 36.4955 second system time
The end
Launcher Data
Begin job on node110 at 2011-05-29 16:19:00
IDJOB=3421600
IDBENCH=83249
IDSOLVER=1878
FILE ID=node110/3421600-1306678739
RUNJOBID= node110-1306678739-27856
PBS_JOBID= 13471816
Free space on /tmp= 73468 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-5-5_34308.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3421600-1306678739/watcher-3421600-1306678739 -o /tmp/evaluation-result-3421600-1306678739/solver-3421600-1306678739 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3421600-1306678739.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 1ef198d3f2d717e33f4f2ba124eb7eb2
RANDOM SEED=141845832
node110.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.830
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.66
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.830
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 : 5332.83
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.830
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.830
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.83
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.830
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.76
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.830
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.830
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.74
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.830
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: 18771892 kB
Buffers: 351112 kB
Cached: 9867356 kB
SwapCached: 1416 kB
Active: 7384576 kB
Inactive: 6457896 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 18771892 kB
SwapTotal: 67111528 kB
SwapFree: 67083432 kB
Dirty: 28356 kB
Writeback: 0 kB
AnonPages: 3623052 kB
Mapped: 27464 kB
Slab: 242876 kB
PageTables: 27016 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 75578600 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= 73460 MiB
End job on node110 at 2011-05-29 17:42:31