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