Trace number 3421597
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_2072.cnf |
| MD5SUM | d2ef996f95bbf68a3c980c797dfdc364 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2071 |
| Number of clauses | 159039 |
| Sum of the clauses size | 479052 |
| 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 | 158394 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 645 |
Solver Data
0.00/0.00 c Outputting solution to console
0.00/0.00 c Using 8 threads
0.00/0.02 c This is CryptoMiniSat 3.0.0
0.00/0.02 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02 c Reading file 'HOME/instance-3421597-1306678723.cnf'
0.00/0.02 c -- header says num vars: 2071
0.00/0.02 c -- header says num clauses: 159039
0.50/0.80 c -- clauses added: 0 learnts, 159039 normals, 0 xors
0.50/0.80 c -- vars added 2071
0.50/0.80 c Parsing time: 0.06 s
0.50/0.80 c N st 0 0 2071 159039 0 0 479052 0 no data no data
0.50/0.80 c asymm cl-useful: 0/158323/159039 lits-rem:0 time: 0.62
5.87/0.80 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.01
6.48/1.05 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
6.48/1.07 c bin-w-bin subsume rem 0 bins time: 0.01 s
6.48/1.07 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
6.48/1.08 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 2071 time: 0.01 s
6.48/1.08 c Removed useless bin: 0 fixed: 0 props: 0.25M time: 0.01 s
17.98/2.57 c lits-rem: 0 cl-subs: 0 v-elim: 690 v-fix: 0 time: 1.41 s
17.98/2.57 c Finding binary XORs T: 0.00 s found: 0
18.78/2.63 c Finding non-binary XORs: 0.05 s (found: 0, avg size: nan)
18.78/2.63 c calculated reachability. Time: 0.00
18.78/2.64 c Calc default polars - time: 0.00 s pos: 1381 undec: 690 neg: 0
18.78/2.64 c =========================================================================================
18.78/2.64 c types(t): F = full restart, N = normal restart
18.78/2.64 c types(t): S = simplification begin/end, E = solution found
18.78/2.64 c restart types(rt): st = static, dy = dynamic
18.78/2.64 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
18.78/2.64 c B st 0 0 1381 99170 0 0 515450 0 no data no data
22.77/3.11 c N dy 10 4889 1381 99170 0 4846 515450 187551 25.65 27.11
25.97/3.56 c N dy 11 9533 1381 99170 0 9373 515450 333094 23.03 24.27
32.35/4.30 c N dy 23 16883 1381 99170 0 16629 515450 611674 21.79 23.54
35.55/4.73 c N dy 44 20902 1381 99170 0 10765 515450 297316 22.00 26.50
38.73/5.10 c N dy 76 24953 1381 99170 0 14785 515450 441388 22.41 24.29
38.73/5.11 c F st 77 25003 1381 99170 0 14834 515450 443486 22.44 no data
38.73/5.13 c Found part 4 vars: 670 clauses: 47205 lits size: 251895
38.73/5.13 c Found part 7 vars: 711 clauses: 51965 lits size: 263555
38.73/5.13 c Found parts: 2 time: 0.02 s
38.73/5.13 c Solving part 4
38.73/5.17 c N st 0 0 670 47205 0 1030 251895 39051 no data no data
41.92/5.50 c asymm cl-useful: 17/47205/47205 lits-rem:19 time: 0.33
41.92/5.51 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.01
41.92/5.51 c Finding binary XORs T: 0.00 s found: 0
41.92/5.52 c Finding non-binary XORs: 0.02 s (found: 0, avg size: nan)
41.92/5.52 c calculated reachability. Time: 0.00
41.92/5.53 c Calc default polars - time: 0.00 s pos: 670 undec: 1401 neg: 0
41.92/5.53 c =========================================================================================
41.92/5.53 c types(t): F = full restart, N = normal restart
41.92/5.53 c types(t): S = simplification begin/end, E = solution found
41.92/5.53 c restart types(rt): st = static, dy = dynamic
41.92/5.53 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
41.92/5.53 c B st 0 0 670 47205 0 1030 251876 39051 no data no data
46.04/6.11 c N dy 10 6652 670 47205 0 7623 251876 305460 22.58 23.94
49.11/6.46 c N dy 33 10728 670 47205 0 7253 251876 226118 23.35 29.48
52.31/6.83 c N dy 67 14773 670 47205 0 11273 251876 378055 24.44 28.67
56.30/7.35 c N dy 78 20369 670 47205 0 10203 251876 265450 24.12 25.45
59.50/7.76 c F st 85 25002 670 47205 0 14806 251875 440392 23.82 21.17
59.50/7.76 c N st 85 25002 670 47205 0 14806 251875 440392 23.82 21.17
63.61/8.24 c N dy 91 30195 670 47205 0 11752 251875 293871 23.82 no data
66.68/8.64 c N dy 116 34292 670 47205 0 15807 251875 441908 24.00 25.28
69.88/9.04 c N dy 128 38306 670 47205 0 10323 251875 195025 24.00 27.97
76.27/9.84 c N dy 141 46556 670 47205 0 18501 251875 506780 23.50 24.74
80.26/10.35 c N dy 149 51653 670 47205 0 12930 251875 254668 23.20 24.51
83.45/10.73 c N dy 175 55728 670 47205 0 16983 251875 408132 23.32 35.18
86.66/11.13 c N dy 196 59831 670 47205 0 21034 251875 551089 23.39 24.89
89.96/11.55 c N dy 213 63840 670 47205 0 13306 251875 231088 23.44 28.97
93.04/11.95 c N dy 238 67936 670 47205 0 17366 251874 380565 23.53 25.62
96.24/12.37 c N dy 253 72292 670 47205 0 21692 251874 534568 23.49 24.83
101.03/12.93 c N dy 288 77491 670 47205 0 14116 251874 225273 23.70 25.12
107.53/13.74 c N dy 289 85230 670 47205 0 21785 251874 528595 23.34 24.63
109.01/13.98 c F st 308 87502 670 47205 0 24044 251874 612660 23.43 no data
112.21/14.31 c N st 313 90802 670 47205 0 27311 251874 738798 23.43 no data
117.11/14.94 c N dy 329 96848 670 47205 0 19570 251874 403893 23.41 24.65
122.59/15.63 c N dy 338 103095 670 47205 0 25709 251874 609973 23.35 24.65
128.18/16.36 c N dy 383 109678 670 47205 0 17537 251874 286525 23.45 26.72
133.88/17.10 c N dy 438 116760 670 47205 0 24561 251874 545824 23.60 24.87
140.95/17.96 c N dy 476 124665 670 47205 0 16708 251874 232333 23.60 24.88
148.15/18.83 c N dy 496 133311 670 47205 0 25254 251874 530069 23.51 24.79
156.14/19.84 c N dy 537 141873 670 47205 0 17038 251874 210298 23.56 28.47
163.31/20.77 c N dy 578 150957 670 47205 0 26029 251874 537588 23.61 24.94
172.10/21.87 c N dy 609 160686 670 47205 0 17983 251874 213596 23.59 25.03
180.88/22.99 c N dy 655 171515 670 47205 0 28717 251874 607850 23.58 24.82
191.28/24.24 c N dy 688 182804 670 47205 0 21194 251874 298618 23.51 24.78
200.86/25.47 c N dy 742 194531 670 47205 0 32839 251874 725218 23.53 27.40
222.54/28.19 c N dy 747 216230 670 47205 0 34675 251874 832115 23.22 24.47
236.01/29.82 c N dy 797 230726 670 47205 0 28358 251874 525840 23.22 24.51
250.37/31.62 c N dy 844 246159 670 47205 0 21964 251874 242477 23.16 24.71
264.75/33.48 c N dy 908 262150 670 47205 0 37853 251874 867465 23.16 24.67
290.31/36.65 c N dy 968 285985 670 47205 0 38920 251874 968865 23.06 24.36
308.68/38.92 c N dy 1040 304959 670 47205 0 34049 251873 654386 23.07 24.59
309.58/39.07 c F st 1047 306250 670 47205 0 35329 251873 700243 23.07 22.51
327.95/41.37 c N dy 1121 324514 670 47205 0 28711 251873 395526 23.11 24.92
347.80/43.80 c N dy 1234 344522 670 47205 0 48577 251873 1141375 23.19 27.14
366.97/46.25 c N dy 1306 364748 670 47205 0 42893 251873 926065 23.18 24.41
386.13/48.65 c N dy 1367 384751 670 47205 0 36100 251873 626904 23.15 28.37
407.02/51.26 c N dy 1460 405157 670 47205 0 28697 251873 308279 23.17 24.48
426.06/53.70 c N dy 1529 425380 670 47205 0 48749 251873 1032236 23.16 24.92
446.84/56.27 c N dy 1643 445462 670 47205 0 40063 251873 712814 23.23 24.53
467.71/58.84 c N dy 1710 465699 670 47205 0 30524 251873 322524 23.21 24.61
489.16/61.54 c N dy 1799 487907 670 47205 0 52563 251873 1197648 23.22 24.45
515.51/64.81 c N dy 1913 513440 670 47205 0 47191 251873 908719 23.25 24.51
542.67/68.20 c N dy 2040 538369 670 47205 0 40303 251873 638301 23.29 24.67
563.44/70.88 c N dy 2141 558373 670 47205 0 60120 251873 1386508 23.33 24.83
584.20/73.48 c N dy 2208 578688 670 47205 0 47757 251873 895945 23.31 24.55
608.27/76.49 c N dy 2328 599196 670 47205 0 34510 251873 340285 23.36 24.95
629.72/79.10 c N dy 2420 619481 670 47205 0 54628 251873 1081438 23.37 24.81
652.19/81.91 c N dy 2508 639639 670 47205 0 40014 251873 522935 23.39 24.83
674.43/84.71 c N dy 2639 659707 670 47205 0 59925 251873 1271911 23.44 30.24
696.92/87.58 c N dy 2721 680312 670 47205 0 44805 251873 686885 23.42 24.74
718.36/90.27 c N dy 2741 700397 670 47205 0 64602 251873 1446317 23.35 27.07
770.28/96.75 c N dy 2769 739614 670 47205 0 67060 251873 1684754 23.20 24.43
812.60/102.01 c N dy 2810 774628 670 47205 0 64119 251873 1437437 23.09 24.36
836.68/105.03 c N dy 2890 795354 670 47205 0 46158 251873 637796 23.09 24.71
859.72/107.94 c N dy 3004 815442 670 47205 0 66096 251873 1389865 23.12 26.71
888.48/111.60 c N dy 3113 840391 670 47205 0 51335 251873 809677 23.13 24.49
914.03/114.75 c N dy 3247 860985 670 47205 0 71763 251873 1557147 23.17 24.56
937.19/117.64 c N dy 3336 881152 670 47205 0 51237 251873 762531 23.19 24.41
961.15/120.64 c N dy 3383 901459 670 47205 0 71245 251873 1522907 23.16 24.40
989.10/124.13 c N dy 3402 925638 670 47205 0 53772 251873 881561 23.09 24.34
1015.46/127.40 c N dy 3526 947488 670 47205 0 75456 251873 1719819 23.13 24.41
1040.21/130.59 c N dy 3663 967552 670 47205 0 52869 251873 750373 23.17 27.55
1066.56/133.80 c N dy 3765 988560 670 47205 0 73691 251873 1535929 23.18 24.59
1091.43/136.95 c N dy 3867 1008598 670 47205 0 50057 251873 628728 23.20 25.16
1168.80/146.66 c F st 3920 1071875 670 47205 0 68403 251873 1403504 23.05 21.07
1168.80/146.66 c N st 3920 1071875 670 47205 0 68403 251873 1403504 23.05 21.07
1202.33/150.82 c N dy 3996 1097415 670 47205 0 48217 251873 506201 23.04 24.36
1225.50/153.74 c N dy 4106 1117508 670 47205 0 68154 251873 1255630 23.06 24.89
1252.65/157.16 c N dy 4170 1139009 670 47205 0 89510 251873 2079400 23.05 24.28
1278.21/160.35 c N dy 4308 1159321 670 47205 0 63167 251873 1019682 23.09 24.34
1303.08/163.43 c N dy 4361 1179405 670 47205 0 83048 251873 1766549 23.09 30.04
1328.63/166.63 c N dy 4451 1199579 670 47205 0 55577 251873 706769 23.09 24.32
1354.09/169.84 c N dy 4552 1220378 670 47205 0 76193 251873 1513536 23.12 24.57
1382.83/173.49 c N dy 4688 1240388 670 47205 0 96030 251873 2245987 23.15 30.16
1407.69/176.57 c N dy 4801 1260706 670 47205 0 67712 251873 1120039 23.17 24.44
1434.04/179.83 c N dy 4847 1281235 670 47205 0 88004 251873 1929571 23.14 24.39
1459.49/183.00 c N dy 4919 1301322 670 47205 0 58443 251873 750888 23.14 25.16
1486.76/186.48 c N dy 5023 1323680 670 47205 0 80634 251873 1600295 23.15 24.38
1517.79/190.33 c N dy 5148 1345123 670 47205 0 51526 251873 476178 23.17 24.59
1553.73/194.89 c N dy 5242 1376206 670 47205 0 82372 251873 1678177 23.15 24.47
1583.39/198.55 c N dy 5331 1396642 670 47205 0 102646 251872 2445617 23.16 24.38
1614.43/202.45 c N dy 5424 1422393 670 47205 0 76780 251872 1409395 23.15 24.41
1642.39/205.99 c N dy 5533 1442467 670 47205 0 96689 251872 2153025 23.17 25.05
1670.34/209.46 c N dy 5646 1462540 670 47205 0 64155 251872 865908 23.18 24.98
1696.69/212.77 c N dy 5762 1482543 670 47205 0 83982 251872 1616718 23.20 24.65
1727.04/216.52 c N dy 5875 1502627 670 47205 0 103867 251872 2351276 23.22 24.69
1752.58/219.80 c N dy 5923 1522723 670 47205 0 70426 251872 1131719 23.21 28.92
1780.54/223.21 c N dy 6040 1542754 670 47205 0 90269 251872 1863066 23.23 35.16
1811.80/227.19 c N dy 6172 1563042 670 47205 0 55991 251872 518003 23.26 24.93
1836.45/230.26 c N dy 6298 1583099 670 47205 0 75883 251872 1271380 23.28 24.93
1862.81/233.58 c N dy 6376 1603105 670 47205 0 95614 251872 2013042 23.28 25.36
1893.94/237.43 c N dy 6484 1623180 670 47205 0 60148 251872 648810 23.29 29.39
1921.09/240.89 c N dy 6539 1645464 670 47205 0 82264 251872 1511250 23.28 24.51
1951.45/244.69 c N dy 6556 1665560 670 47205 0 102031 251872 2323218 23.23 28.11
1995.38/250.19 c N dy 6601 1696304 670 47205 0 76243 251872 1304087 23.19 24.56
2027.33/254.11 c N dy 6671 1720228 670 47205 0 99968 251872 2182068 23.19 24.55
2056.88/257.85 c N dy 6789 1740254 670 47205 0 62486 251872 680510 23.21 32.04
2083.24/261.20 c N dy 6878 1760938 670 47205 0 82884 251872 1430249 23.21 24.53
2111.28/264.68 c N dy 6957 1780961 670 47205 0 102700 251872 2182002 23.22 27.21
2143.12/268.62 c N dy 7091 1800999 670 47205 0 64302 251872 718105 23.24 27.60
2176.66/272.83 c N dy 7203 1827095 670 47205 0 90095 251872 1668383 23.24 24.53
2215.91/277.76 c N dy 7283 1851816 670 47205 0 114404 251872 2613232 23.23 24.50
2244.55/281.31 c N dy 7409 1872252 670 47205 0 75479 251872 1108038 23.25 24.48
2282.89/286.13 c N dy 7496 1900445 670 47205 0 103335 251872 2190120 23.24 24.48
2314.82/290.13 c N dy 7591 1920484 670 47205 0 62992 251872 610001 23.25 28.85
2341.98/293.53 c N dy 7693 1941275 670 47205 0 83546 251872 1364975 23.26 24.52
2370.74/297.17 c N dy 7793 1961317 670 47205 0 103424 251872 2131217 23.27 24.56
2404.28/301.36 c N dy 7898 1981351 670 47205 0 62036 251872 540604 23.28 24.67
2430.64/304.69 c N dy 7996 2002398 670 47205 0 82926 251872 1345909 23.29 24.56
2460.19/308.36 c N dy 8069 2022477 670 47205 0 102785 251872 2069114 23.28 24.65
2493.73/312.50 c N dy 8140 2044149 670 47205 0 124203 251872 2880051 23.28 24.68
2520.08/315.85 c N dy 8218 2064194 670 47205 0 81833 251872 1272976 23.28 26.58
2550.53/319.63 c N dy 8294 2085905 670 47205 0 103387 251872 2113175 23.27 24.52
2583.97/323.83 c N dy 8408 2106048 670 47205 0 123364 251872 2853427 23.29 24.67
2612.71/327.40 c N dy 8522 2126065 670 47205 0 79947 251872 1140737 23.30 29.83
2642.26/331.11 c N dy 8617 2146920 670 47205 0 100671 251872 1941855 23.30 24.79
2674.21/335.16 c N dy 8724 2166999 670 47205 0 120592 251872 2693530 23.31 32.04
2704.56/338.92 c N dy 8820 2187007 670 47205 0 76083 251872 976745 23.32 24.79
2730.92/342.29 c N dy 8897 2207089 670 47205 0 95995 251872 1741454 23.32 24.62
2762.06/346.16 c N dy 8994 2227131 670 47205 0 115822 251872 2461657 23.33 25.08
2799.60/350.83 c N dy 9111 2251186 670 47205 0 74392 251872 892227 23.33 24.62
2829.15/354.57 c N dy 9208 2272382 670 47205 0 95309 251872 1683750 23.33 24.68
2859.49/358.38 c N dy 9266 2292429 670 47205 0 115174 251872 2467575 23.32 26.48
2893.82/362.64 c N dy 9371 2312581 670 47205 0 68909 251872 644684 23.33 24.69
2921.79/366.15 c N dy 9503 2332659 670 47205 0 88804 251872 1371386 23.35 30.77
2964.91/371.50 c N dy 9616 2361090 670 47205 0 117039 251872 2473345 23.35 24.76
3004.85/376.57 c N dy 9728 2384253 670 47205 0 72739 251872 768941 23.36 24.68
3032.90/380.11 c N dy 9861 2404425 670 47205 0 92729 251872 1524813 23.38 24.62
3064.74/384.07 c N dy 9948 2424630 670 47205 0 112744 251872 2282785 23.38 24.77
3098.28/388.23 c N dy 10045 2444636 670 47205 0 132589 251872 3045519 23.39 25.56
3127.83/391.98 c N dy 10115 2465108 670 47205 0 84602 251872 1183050 23.38 24.69
3158.17/395.77 c N dy 10258 2485130 670 47205 0 104438 251872 1916408 23.40 30.08
3190.13/399.76 c N dy 10331 2505195 670 47205 0 124315 251872 2705022 23.40 28.65
3222.87/403.89 c N dy 10395 2526346 670 47205 0 75944 251872 778633 23.39 24.81
3251.61/407.49 c N dy 10508 2546472 670 47205 0 95868 251871 1515893 23.40 24.68
3289.14/412.13 c N dy 10547 2570453 670 47205 0 119565 251871 2473539 23.38 24.87
3327.49/416.90 c N dy 10620 2594157 670 47205 0 72901 251871 685061 23.38 25.07
3363.43/421.43 c N dy 10672 2621356 670 47205 0 99819 251871 1701279 23.36 24.63
3395.37/425.41 c N dy 10784 2641431 670 47205 0 119675 251871 2423756 23.37 28.93
3440.09/431.05 c N dy 10890 2668677 670 47205 0 75579 251871 744483 23.36 24.93
3468.85/434.69 c N dy 11010 2688748 670 47205 0 95469 251871 1477951 23.38 30.80
3500.79/438.60 c N dy 11105 2708993 670 47205 0 115494 251871 2229730 23.38 24.70
3563.88/446.54 c N dy 11181 2748436 670 47205 0 82525 251871 1045376 23.35 24.58
3599.82/451.09 c N dy 11242 2774048 670 47205 0 107837 251871 2000199 23.34 24.67
3632.56/455.18 c N dy 11326 2794071 670 47205 0 127671 251871 2745031 23.34 26.35
3667.70/459.50 c N dy 11392 2814133 670 47205 0 74380 251871 644502 23.34 27.37
3754.08/470.32 c N dy 11494 2866941 670 47205 0 126455 251871 2750796 23.30 24.54
3792.30/475.12 c N dy 11623 2887274 670 47205 0 146600 251871 3487979 23.31 24.69
3946.54/494.42 c N dy 11731 2971528 670 47205 0 80848 251871 846954 23.24 24.89
3975.17/498.02 c N dy 11840 2991547 670 47205 0 100704 251871 1607167 23.25 27.01
4008.03/502.14 c N dy 11947 3011561 670 47205 0 120524 251871 2364511 23.26 24.65
4043.98/506.69 c N dy 12048 3031631 670 47205 0 140401 251871 3094455 23.26 24.73
4078.32/510.98 c N dy 12147 3052361 670 47205 0 84858 251871 950539 23.27 24.76
4108.54/514.72 c N dy 12253 3072446 670 47205 0 104717 251871 1676053 23.28 24.90
4143.69/519.12 c N dy 12406 3092535 670 47205 0 124634 251871 2418258 23.29 24.81
4180.44/523.76 c N dy 12523 3112566 670 47205 0 144450 251871 3138342 23.30 24.64
4243.54/531.64 c N dy 12560 3149850 670 47205 0 104313 251871 1759315 23.26 24.55
4275.46/535.61 c N dy 12642 3170005 670 47205 0 124261 251871 2523876 23.26 24.88
4313.80/540.44 c N dy 12738 3191634 670 47205 0 145661 251871 3312212 23.26 24.60
4355.33/545.62 c N dy 12796 3216605 670 47205 0 92276 251871 1241706 23.25 24.50
4386.60/549.54 c N dy 12917 3236675 670 47205 0 112161 251871 1992647 23.26 25.84
4419.22/553.65 c N dy 13002 3256706 670 47205 0 132049 251871 2759709 23.27 28.57
4457.55/558.40 c N dy 13112 3276723 670 47205 0 151913 251871 3502502 23.28 24.54
4492.02/562.76 c N dy 13216 3297210 670 47205 0 93062 251871 1164493 23.28 24.52
4548.60/569.80 c N dy 13242 3333341 670 47205 0 128865 251871 2556559 23.25 24.55
4583.75/574.20 c N dy 13321 3353418 670 47205 0 148695 251871 3299393 23.25 29.62
4620.48/578.87 c N dy 13423 3375337 670 47205 0 90287 251871 1033396 23.26 24.51
4660.40/583.88 c N dy 13532 3400782 670 47205 0 115528 251871 2011921 23.26 24.53
4693.26/588.01 c N dy 13592 3420787 670 47205 0 135382 251871 2773584 23.26 30.54
4733.88/593.06 c N dy 13735 3440884 670 47205 0 155318 251871 3517226 23.27 24.67
4769.82/597.53 c N dy 13866 3461037 670 47205 0 94162 251871 1130078 23.28 24.61
4800.16/601.31 c N dy 13916 3482303 670 47205 0 115181 251871 1930926 23.27 24.70
4856.87/608.43 c N dy 14004 3514714 670 47205 0 147329 251871 3171481 23.27 24.60
4896.81/613.45 c N dy 14124 3535078 670 47205 0 85395 251871 782087 23.27 24.72
4927.16/617.25 c N dy 14230 3555232 670 47205 0 105379 251871 1553303 23.28 24.81
4959.89/621.38 c N dy 14326 3575702 670 47205 0 125638 251871 2292459 23.28 24.54
4995.03/625.75 c N dy 14403 3595782 670 47205 0 145555 251871 3083424 23.28 24.58
5035.88/630.87 c N dy 14538 3615825 670 47205 0 165418 251871 3821403 23.29 28.19
5068.51/634.92 c N dy 14659 3635910 670 47205 0 102184 251871 1358484 23.30 24.62
5106.16/639.66 c N dy 14804 3657629 670 47205 0 123717 251871 2157610 23.31 24.64
5141.30/644.02 c N dy 14861 3677995 670 47205 0 143847 251871 2938163 23.31 24.61
5180.33/648.99 c N dy 14961 3698042 670 47205 0 163717 251871 3685451 23.31 25.82
5214.66/653.22 c N dy 15069 3718126 670 47205 0 99569 251871 1260094 23.32 24.67
5246.72/657.30 c N dy 15179 3738262 670 47205 0 119507 251871 2014487 23.32 24.64
5271.38/660.30 c F st 15258 3751562 670 47205 0 132661 251871 2487925 23.33 22.55
5283.34/661.86 c N dy 15267 3758693 670 47205 0 139691 251871 2760622 23.33 24.73
5322.48/666.76 c N dy 15372 3778728 670 47205 0 159563 251871 3489912 23.33 24.57
5356.82/671.00 c N dy 15421 3798891 670 47205 0 94495 251871 1043023 23.33 24.59
5386.37/674.81 c N dy 15454 3819083 670 47205 0 114561 251871 1872466 23.32 24.69
5420.70/679.00 c N dy 15531 3839555 670 47205 0 134846 251871 2637101 23.32 24.60
5458.35/683.72 c N dy 15644 3859714 670 47205 0 154810 251871 3358053 23.33 24.67
5533.31/693.11 c N dy 15652 3902271 670 47205 0 110636 251871 1697815 23.27 24.53
5567.66/697.43 c N dy 15757 3922287 670 47205 0 130447 251871 2439365 23.28 24.68
5601.20/701.66 c N dy 15825 3942327 670 47205 0 150218 251871 3203326 23.28 24.51
5644.32/707.02 c N dy 15840 3965162 670 47205 0 172810 251871 4071199 23.26 24.72
5677.99/711.23 c N dy 15945 3985262 670 47205 0 105879 251871 1421795 23.26 27.59
5723.38/717.00 c N dy 16059 4012999 670 47205 0 133388 251871 2477146 23.26 24.56
5763.32/721.96 c N dy 16157 4034351 670 47205 0 154574 251871 3305274 23.26 24.59
5808.95/727.61 c N dy 16292 4055222 670 47205 0 175255 251871 4067099 23.27 24.53
5843.18/732.00 c N dy 16414 4076559 670 47205 0 108417 251871 1473481 23.28 24.53
5878.32/736.31 c N dy 16538 4096641 670 47205 0 128312 251871 2197945 23.28 24.78
5918.25/741.36 c N dy 16627 4119419 670 47205 0 150946 251871 3104634 23.29 24.53
5958.29/746.32 c N dy 16712 4140524 670 47205 0 171823 251871 3886764 23.29 24.54
5993.44/750.80 c N dy 16794 4160552 670 47205 0 102620 251871 1223697 23.29 24.73
6027.67/755.09 c N dy 16932 4180745 670 47205 0 122635 251871 1969049 23.30 24.55
6064.51/759.62 c N dy 17032 4200945 670 47205 0 142625 251871 2705204 23.30 24.78
6117.89/766.31 c N dy 17123 4229439 670 47205 0 170825 251871 3722543 23.30 24.55
6153.03/770.73 c N dy 17186 4249450 670 47205 0 100602 251871 1114676 23.29 24.66
6187.51/775.03 c N dy 17276 4271603 670 47205 0 122461 251871 1920479 23.29 24.59
6221.84/779.38 c N dy 17332 4291622 670 47205 0 142299 251871 2699189 23.28 24.59
6261.66/784.35 c N dy 17447 4311646 670 47205 0 162154 251871 3453285 23.29 27.36
6307.18/790.00 c N dy 17567 4331968 670 47205 0 91362 251871 749990 23.29 24.54
6358.30/796.43 c N dy 17665 4364545 670 47205 0 123540 251871 1973763 23.29 24.60
6393.44/800.89 c N dy 17756 4384668 670 47205 0 143498 251871 2715076 23.29 24.52
6430.97/805.53 c N dy 17827 4404737 670 47205 0 163304 251871 3451331 23.29 25.01
6476.60/811.27 c N dy 17935 4425756 670 47205 0 92262 251871 752966 23.29 24.55
6512.54/815.77 c N dy 18022 4449733 670 47205 0 115990 251871 1668307 23.30 24.59
6548.36/820.24 c N dy 18149 4469827 670 47205 0 135931 251871 2427839 23.30 25.23
6593.08/825.84 c N dy 18167 4494948 670 47205 0 160721 251871 3417267 23.29 24.65
6637.01/831.30 c N dy 18293 4514980 670 47205 0 180531 251871 4154598 23.30 27.61
6673.75/835.95 c N dy 18419 4535034 670 47205 0 107513 251871 1286538 23.31 26.94
6708.09/840.27 c N dy 18538 4555128 670 47205 0 127432 251871 2046451 23.31 28.69
6745.63/844.93 c N dy 18640 4575501 670 47205 0 147602 251871 2792583 23.32 24.57
6785.54/849.98 c N dy 18740 4596361 670 47205 0 168300 251871 3583188 23.32 24.69
6894.17/863.59 c N dy 18743 4655743 670 47205 0 132830 251871 2384771 23.27 24.54
6932.51/868.33 c N dy 18829 4676766 670 47205 0 153680 251871 3185847 23.27 24.52
6974.84/873.69 c N dy 18932 4697876 670 47205 0 174548 251871 3961693 23.28 24.66
7019.56/879.29 c N dy 19044 4717961 670 47205 0 99662 251871 937135 23.28 28.24
7051.49/883.23 c N dy 19137 4738044 670 47205 0 119491 251871 1654451 23.29 31.39
7093.82/888.51 c N dy 19250 4761955 670 47205 0 143172 251871 2553562 23.29 24.54
7135.47/893.79 c N dy 19384 4782731 670 47205 0 163747 251871 3307933 23.29 24.57
7179.38/899.21 c N dy 19504 4802808 670 47205 0 183652 251871 4042163 23.30 26.75
7218.40/904.18 c N dy 19621 4822897 670 47205 0 107725 251871 1216984 23.31 24.63
7251.94/908.35 c N dy 19680 4843258 670 47205 0 127949 251871 2012352 23.30 24.62
7287.89/912.89 c N dy 19780 4863274 670 47205 0 147790 251871 2773355 23.31 26.11
7328.73/917.95 c N dy 19893 4883331 670 47205 0 167663 251871 3528784 23.31 25.15
7370.94/923.22 c N dy 19978 4903410 670 47205 0 187541 251871 4263765 23.31 24.81
7410.07/928.14 c N dy 20066 4925428 670 47205 0 112425 251871 1377045 23.31 24.79
7445.21/932.54 c N dy 20171 4945789 670 47205 0 132622 251871 2137758 23.32 24.68
7485.15/937.53 c N dy 20276 4966608 670 47205 0 153190 251871 2874908 23.32 24.55
7530.78/943.26 c N dy 20371 4990208 670 47205 0 176538 251871 3767840 23.32 24.61
7579.37/949.33 c N dy 20508 5010284 670 47205 0 98530 251871 811291 23.33 27.41
7612.91/953.52 c N dy 20651 5030315 670 47205 0 118399 251871 1548459 23.34 30.12
7656.83/959.06 c N dy 20711 5055764 670 47205 0 143649 251871 2529120 23.33 24.60
7698.47/964.26 c N dy 20814 5076528 670 47205 0 164230 251871 3298002 23.33 24.59
7743.09/969.90 c N dy 20958 5096615 670 47205 0 184137 251871 4036357 23.34 25.67
7783.82/974.94 c N dy 21015 5116792 670 47205 0 105236 251871 1062992 23.34 24.59
7817.36/979.14 c N dy 21116 5136794 670 47205 0 125039 251871 1784513 23.34 24.61
7852.51/983.57 c N dy 21183 5157233 670 47205 0 145278 251871 2552814 23.34 24.59
7890.94/988.40 c N dy 21272 5177807 670 47205 0 165621 251871 3331829 23.34 24.57
7932.36/993.58 c N dy 21343 5197903 670 47205 0 185504 251871 4056734 23.34 28.84
7980.27/999.54 c N dy 21481 5218146 670 47205 0 105622 251871 1001678 23.35 24.75
8013.93/1003.78 c N dy 21574 5238700 670 47205 0 125952 251871 1759879 23.35 24.62
8050.56/1008.33 c N dy 21671 5258953 670 47205 0 146036 251871 2502286 23.35 25.21
8091.29/1013.48 c N dy 21789 5278994 670 47205 0 165917 251871 3230204 23.35 29.95
8132.82/1018.66 c N dy 21873 5299057 670 47205 0 185807 251871 3997326 23.35 25.33
8180.84/1024.65 c N dy 22027 5319128 670 47205 0 104799 251871 956274 23.36 28.26
8213.48/1028.78 c N dy 22087 5339157 670 47205 0 124546 251871 1726420 23.36 25.74
8251.11/1033.51 c N dy 22224 5359342 670 47205 0 144553 251871 2466203 23.37 24.77
8290.13/1038.30 c N dy 22296 5379677 670 47205 0 164712 251871 3232751 23.37 24.77
8342.85/1044.90 c N dy 22395 5405488 670 47205 0 190347 251871 4235805 23.37 24.74
8389.17/1050.71 c N dy 22531 5425504 670 47205 0 108265 251871 1055145 23.37 29.37
8423.51/1055.00 c N dy 22641 5445601 670 47205 0 128192 251871 1800488 23.38 26.39
8461.05/1059.73 c N dy 22744 5465605 670 47205 0 147981 251871 2515154 23.38 24.95
8501.77/1064.87 c N dy 22851 5485685 670 47205 0 167902 251871 3267209 23.39 31.47
8540.11/1069.63 c N dy 22894 5506178 670 47205 0 188160 251871 4033250 23.38 24.63
8588.02/1075.61 c N dy 22986 5526195 670 47205 0 105073 251871 900334 23.38 26.02
8620.89/1079.71 c N dy 23065 5546231 670 47205 0 124812 251871 1595598 23.39 24.70
8669.49/1085.82 c N dy 23125 5574968 670 47205 0 153267 251871 2666288 23.38 24.61
8711.81/1091.10 c N dy 23236 5595045 670 47205 0 173134 251871 3404159 23.38 25.32
8756.54/1096.70 c N dy 23346 5615161 670 47205 0 193090 251871 4152132 23.38 24.74
8821.24/1104.90 c N dy 23429 5647459 670 47205 0 121260 251871 1576392 23.38 24.62
8869.15/1110.89 c N dy 23542 5673948 670 47205 0 147505 251871 2625594 23.38 24.75
8939.43/1119.69 c N dy 23655 5709022 670 47205 0 182199 251871 3993146 23.38 24.68
8986.55/1125.59 c N dy 23761 5729544 670 47205 0 202528 251871 4750216 23.38 24.90
9028.07/1130.75 c N dy 23880 5749623 670 47205 0 117639 251871 1322607 23.38 31.65
9620.66/1204.94 c N dy 23925 5981587 670 47205 0 134506 251871 2004430 23.21 24.55
9659.77/1209.81 c N dy 24035 6001654 670 47205 0 154394 251871 2744662 23.21 26.73
9699.71/1214.86 c N dy 24136 6021731 670 47205 0 174258 251871 3471640 23.21 27.24
9746.81/1220.79 c N dy 24288 6041757 670 47205 0 194120 251871 4216786 23.22 29.63
9801.93/1227.63 c N dy 24365 6066612 670 47205 0 111013 251871 1007112 23.22 24.64
9837.87/1232.13 c N dy 24507 6086744 670 47205 0 130933 251871 1735964 23.23 24.46
9876.32/1236.99 c N dy 24628 6106761 670 47205 0 150732 251871 2457861 23.23 24.47
9921.04/1242.59 c N dy 24761 6127889 670 47205 0 171666 251871 3234110 23.24 24.47
9964.97/1248.02 c N dy 24830 6149446 670 47205 0 193008 251871 4049447 23.23 24.61
10012.77/1254.00 c N dy 24897 6171032 670 47205 0 214416 251871 4888385 23.23 24.69
10051.10/1258.87 c N dy 25003 6191042 670 47205 0 125467 251871 1482368 23.23 28.23
10092.62/1264.02 c N dy 25124 6212653 670 47205 0 146848 251871 2263544 23.24 24.50
10138.95/1269.85 c N dy 25205 6236504 670 47205 0 170480 251871 3173854 23.24 24.57
10182.07/1275.22 c N dy 25279 6256580 670 47205 0 190327 251871 3923086 23.24 27.12
10232.38/1281.50 c N dy 25409 6277110 670 47205 0 210627 251871 4664293 23.25 24.53
10277.10/1287.17 c N dy 25530 6297171 670 47205 0 120813 251871 1312793 23.25 25.99
10314.64/1291.80 c N dy 25656 6317208 670 47205 0 140665 251871 2058580 23.26 25.85
10353.77/1296.72 c N dy 25682 6338709 670 47205 0 161884 251871 2936708 23.25 24.55
10397.68/1302.24 c N dy 25809 6358909 670 47205 0 181885 251871 3674720 23.25 24.51
10442.41/1307.86 c N dy 25889 6379723 670 47205 0 202526 251871 4481068 23.25 24.54
10492.04/1314.02 c N dy 25967 6399793 670 47205 0 111651 251871 925683 23.25 24.48
10524.67/1318.15 c N dy 26055 6419819 670 47205 0 131503 251871 1670036 23.25 25.62
10565.40/1323.20 c N dy 26179 6440679 670 47205 0 152200 251871 2461738 23.26 24.81
10609.33/1328.75 c N dy 26322 6460813 670 47205 0 172161 251871 3212033 23.27 24.67
10654.85/1334.41 c N dy 26430 6480821 670 47205 0 191953 251871 3935655 23.27 27.91
10709.96/1341.36 c N dy 26461 6505991 670 47205 0 216717 251871 4920784 23.26 24.49
10750.67/1346.47 c N dy 26521 6526038 670 47205 0 124917 251871 1424701 23.26 27.87
10789.91/1351.35 c N dy 26650 6546127 670 47205 0 144821 251871 2161479 23.26 24.82
10832.94/1356.72 c N dy 26757 6567173 670 47205 0 165650 251871 2940467 23.27 24.56
10872.06/1361.69 c N dy 26811 6587383 670 47205 0 185761 251871 3748249 23.27 24.50
10919.99/1367.60 c N dy 26934 6607407 670 47205 0 205586 251871 4482058 23.27 25.85
10967.90/1373.65 c N dy 27018 6627420 670 47205 0 225350 251871 5182564 23.27 32.86
11005.44/1378.31 c N dy 27099 6647793 670 47205 0 132739 251871 1660502 23.27 24.65
11056.54/1384.74 c N dy 27146 6674598 670 47205 0 159315 251871 2736474 23.26 24.70
11107.65/1391.12 c N dy 27253 6699393 670 47205 0 183871 251871 3683576 23.26 24.88
11153.17/1396.81 c N dy 27327 6720811 670 47205 0 205085 251871 4487171 23.26 24.62
11205.89/1403.43 c N dy 27469 6740871 670 47205 0 224932 251871 5228609 23.27 25.52
11247.53/1408.61 c N dy 27610 6760874 670 47205 0 130996 251871 1565719 23.28 25.26
11291.46/1414.15 c N dy 27706 6785870 670 47205 0 155693 251871 2483364 23.28 24.51
11352.15/1421.74 c N dy 27825 6815489 670 47205 0 184939 251871 3594042 23.28 24.57
11415.93/1429.77 c N dy 27929 6843597 670 47205 0 212689 251871 4651023 23.28 24.64
11603.59/1453.20 c N dy 27998 6925932 670 47205 0 179403 251871 3759179 23.24 24.53
11657.10/1459.91 c N dy 28087 6950234 670 47205 0 203481 251871 4705473 23.24 24.50
11705.81/1466.04 c N dy 28147 6970273 670 47205 0 223199 251871 5443534 23.24 24.75
11748.94/1471.41 c N dy 28222 6990282 670 47205 0 127533 251871 1418041 23.24 24.63
11785.67/1476.01 c N dy 28282 7010366 670 47205 0 147282 251871 2183262 23.24 31.19
11827.99/1481.38 c N dy 28309 7033994 670 47205 0 170653 251871 3134734 23.23 24.46
11877.52/1487.57 c N dy 28404 7056878 670 47205 0 193313 251871 3976200 23.23 24.56
11926.21/1493.60 c N dy 28525 7076943 670 47205 0 213178 251871 4730577 23.24 24.50
11979.74/1500.38 c N dy 28657 7097000 670 47205 0 232980 251871 5444693 23.24 27.35
12021.26/1505.50 c N dy 28740 7118718 670 47205 0 137957 251871 1790934 23.24 24.55
12061.99/1510.60 c N dy 28865 7138771 670 47205 0 157862 251871 2548929 23.25 27.91
12107.62/1516.36 c N dy 29012 7158849 670 47205 0 177782 251871 3280519 23.25 27.26
12155.43/1522.38 c N dy 29087 7180829 670 47205 0 199550 251871 4123707 23.25 24.52
12206.53/1528.71 c N dy 29209 7200912 670 47205 0 219448 251871 4860682 23.26 29.89
12258.43/1535.26 c N dy 29316 7221041 670 47205 0 121698 251871 1103293 23.26 24.49
12297.58/1540.11 c N dy 29462 7241086 670 47205 0 141538 251871 1842987 23.27 28.00
12339.11/1545.35 c N dy 29559 7261976 670 47205 0 162199 251871 2601104 23.27 24.69
12383.83/1550.99 c N dy 29671 7282789 670 47205 0 182826 251871 3364185 23.27 24.63
12431.75/1556.92 c N dy 29780 7302867 670 47205 0 202702 251871 4098444 23.27 35.22
12482.87/1563.38 c N dy 29899 7323115 670 47205 0 222720 251871 4829740 23.28 24.51
12533.97/1569.79 c N dy 29986 7344373 670 47205 0 125133 251871 1193042 23.28 24.58
12571.51/1574.47 c N dy 30093 7364442 670 47205 0 145020 251871 1929319 23.28 26.85
12610.63/1579.39 c N dy 30180 7384448 670 47205 0 164820 251871 2687409 23.28 24.72
12653.08/1584.64 c N dy 30263 7404522 670 47205 0 184699 251871 3429478 23.29 25.69
12700.08/1590.56 c N dy 30373 7424568 670 47205 0 204556 251871 4173952 23.29 24.87
12751.19/1596.91 c N dy 30482 7444661 670 47205 0 224481 251871 4921681 23.29 24.63
12800.72/1603.19 c N dy 30574 7465584 670 47205 0 125511 251871 1186045 23.29 24.86
12871.00/1611.96 c N dy 30645 7501609 670 47205 0 160887 251871 2497215 23.28 24.65
12942.97/1620.94 c N dy 30758 7535537 670 47205 0 194505 251871 3743696 23.28 24.55
12996.36/1627.65 c N dy 30851 7559553 670 47205 0 218319 251871 4663654 23.28 24.56
13045.08/1633.76 c N dy 30919 7579645 670 47205 0 238241 251871 5443230 23.28 26.33
13086.60/1638.90 c N dy 30991 7599733 670 47205 0 137583 251871 1654117 23.28 24.52
13126.65/1643.96 c N dy 31111 7619813 670 47205 0 157471 251871 2399860 23.28 26.05
13171.38/1649.56 c N dy 31231 7640565 670 47205 0 178029 251871 3165691 23.28 24.53
13216.79/1655.28 c N dy 31293 7662191 670 47205 0 199512 251871 4049281 23.28 24.59
13267.20/1661.59 c N dy 31395 7682256 670 47205 0 219387 251871 4783788 23.28 25.79
13315.01/1667.59 c N dy 31438 7702352 670 47205 0 239349 251871 5601776 23.28 25.14
13361.33/1673.32 c N dy 31586 7722839 670 47205 0 137981 251871 1599861 23.29 24.60
13400.45/1678.22 c N dy 31682 7743065 670 47205 0 157969 251871 2324369 23.29 24.70
13444.38/1683.71 c N dy 31754 7764938 670 47205 0 179605 251871 3164251 23.29 24.55
13485.92/1688.99 c N dy 31821 7785023 670 47205 0 199467 251871 3931116 23.29 27.64
13533.84/1694.92 c N dy 31909 7805324 670 47205 0 219506 251871 4695294 23.29 24.53
13584.94/1701.37 c N dy 32012 7825410 670 47205 0 239389 251871 5431077 23.29 26.16
13630.46/1707.09 c N dy 32127 7845560 670 47205 0 136742 251871 1527484 23.29 25.07
13669.59/1711.93 c N dy 32214 7866238 670 47205 0 157197 251871 2260129 23.30 24.76
13711.92/1717.25 c N dy 32314 7886289 670 47205 0 177077 251871 3026235 23.30 27.48
13793.38/1727.44 c N dy 32397 7924009 670 47205 0 214335 251871 4471314 23.29 24.56
13843.70/1733.76 c N dy 32492 7944038 670 47205 0 234138 251871 5204178 23.29 26.33
13926.07/1744.03 c N dy 32554 7979851 670 47205 0 146196 251871 1953777 23.29 24.55
13967.48/1749.26 c N dy 32667 7999891 670 47205 0 166010 251871 2674901 23.29 28.40
14012.99/1754.93 c N dy 32773 8020333 670 47205 0 186240 251871 3440799 23.29 24.65
14069.70/1762.08 c N dy 32875 8044905 670 47205 0 210416 251871 4283064 23.29 24.52
14119.33/1768.29 c N dy 32961 8065105 670 47205 0 230401 251871 5034015 23.29 24.73
14177.52/1775.57 c N dy 33091 8085346 670 47205 0 125890 251871 1055602 23.30 24.61
14233.53/1782.55 c N dy 33235 8114444 670 47205 0 154686 251871 2157105 23.30 24.61
14275.75/1787.86 c N dy 33355 8134477 670 47205 0 174560 251871 2898987 23.30 25.74
14320.47/1793.42 c N dy 33449 8154543 670 47205 0 194391 251871 3609825 23.30 26.32
14375.57/1800.30 c N dy 33510 8179741 670 47205 0 219145 251871 4567426 23.30 24.59
14422.70/1806.28 c N dy 33539 8201585 670 47205 0 240661 251871 5442104 23.30 24.54
14469.02/1812.06 c N dy 33594 8221644 670 47205 0 135015 251871 1376352 23.30 29.22
14508.94/1817.06 c N dy 33720 8241654 670 47205 0 154836 251871 2114916 23.30 28.83
14551.27/1822.37 c N dy 33840 8261696 670 47205 0 174699 251871 2869560 23.30 26.06
14599.99/1828.43 c N dy 33941 8283648 670 47205 0 196448 251871 3683688 23.31 24.84
14650.30/1834.72 c N dy 34055 8303668 670 47205 0 216278 251871 4414601 23.31 25.54
14723.77/1843.92 c N dy 34174 8333396 670 47205 0 245728 251871 5555415 23.31 24.58
14769.40/1849.67 c N dy 34274 8353490 670 47205 0 139075 251871 1478441 23.31 29.41
14809.22/1854.65 c N dy 34375 8373526 670 47205 0 158940 251871 2221031 23.32 26.72
14873.12/1862.67 c N dy 34442 8404527 670 47205 0 189634 251871 3441859 23.31 24.59
14921.84/1868.76 c N dy 34546 8424666 670 47205 0 209532 251871 4171384 23.31 24.86
14976.15/1875.59 c N dy 34689 8444758 670 47205 0 229445 251871 4910111 23.32 24.99
15036.84/1883.13 c N dy 34796 8467752 670 47205 0 252253 251871 5779003 23.32 24.75
15079.15/1888.49 c N dy 34865 8488023 670 47205 0 144763 251871 1713334 23.32 24.55
15127.88/1894.58 c N dy 34879 8512656 670 47205 0 169119 251871 2702754 23.31 24.73
15171.81/1900.05 c N dy 34973 8532683 670 47205 0 188963 251871 3453714 23.31 24.69
15220.52/1906.18 c N dy 35084 8553139 670 47205 0 209243 251871 4212383 23.32 24.58
15269.24/1912.25 c N dy 35182 8573237 670 47205 0 229114 251871 4955018 23.32 29.14
15324.34/1919.13 c N dy 35242 8594856 670 47205 0 250551 251871 5747846 23.32 24.95
15371.46/1925.08 c N dy 35354 8615118 670 47205 0 142049 251871 1546963 23.32 24.75
15418.58/1930.95 c N dy 35462 8638308 670 47205 0 164989 251871 2413636 23.32 24.56
15461.70/1936.30 c N dy 35549 8658322 670 47205 0 184798 251871 3170733 23.32 27.09
15512.01/1942.67 c N dy 35667 8679263 670 47205 0 205563 251871 3945513 23.33 24.72
15562.33/1948.97 c N dy 35772 8699357 670 47205 0 225479 251871 4705731 23.33 27.75
15617.44/1955.87 c N dy 35888 8719441 670 47205 0 245381 251871 5449666 23.33 25.99
15676.53/1963.28 c N dy 35999 8742665 670 47205 0 138788 251871 1418996 23.33 24.59
15714.87/1968.03 c N dy 36062 8763134 670 47205 0 159001 251871 2179037 23.33 24.68
15758.00/1973.40 c N dy 36154 8783147 670 47205 0 178814 251871 2911994 23.34 24.66
15801.91/1978.98 c N dy 36241 8803198 670 47205 0 198732 251871 3691230 23.34 24.62
15849.94/1984.91 c N dy 36322 8823743 670 47205 0 219046 251871 4468007 23.34 24.73
15904.14/1991.76 c N dy 36446 8843822 670 47205 0 238899 251871 5214247 23.34 27.83
15975.21/2000.61 c N dy 36552 8870435 670 47205 0 134688 251871 1212006 23.34 24.60
16014.35/2005.53 c N dy 36680 8890516 670 47205 0 154607 251871 1953982 23.35 27.00
16068.66/2012.30 c N dy 36753 8917689 670 47205 0 181388 251871 3000671 23.34 24.79
16115.77/2018.26 c N dy 36859 8937789 670 47205 0 201330 251871 3752212 23.34 26.17
16169.27/2024.93 c N dy 37006 8957856 670 47205 0 221194 251871 4487732 23.35 27.12
16221.99/2031.51 c N dy 37099 8979059 670 47205 0 242132 251871 5260234 23.35 24.84
16298.77/2041.16 c N dy 37135 9013453 670 47205 0 144750 251871 1628666 23.34 24.62
16337.00/2045.94 c N dy 37219 9033541 670 47205 0 164602 251871 2400600 23.34 29.68
16384.12/2051.89 c N dy 37290 9056280 670 47205 0 187113 251871 3265061 23.34 24.65
16432.02/2057.85 c N dy 37399 9076347 670 47205 0 207025 251871 4016726 23.34 27.66
16475.95/2063.39 c N dy 37426 9096752 670 47205 0 227262 251871 4843511 23.34 24.74
16526.37/2069.65 c N dy 37474 9118361 670 47205 0 248632 251871 5625041 23.34 24.58
16583.76/2076.83 c N dy 37568 9140841 670 47205 0 138389 251871 1310294 23.33 24.64
16626.89/2082.21 c N dy 37642 9163220 670 47205 0 160498 251871 2156927 23.33 24.66
16691.59/2090.33 c N dy 37739 9193709 670 47205 0 190697 251871 3357860 23.33 24.61
16801.79/2104.11 c N dy 37817 9241606 670 47205 0 237952 251871 5269083 23.32 25.00
16861.00/2111.55 c N dy 37873 9265365 670 47205 0 261387 251871 6149380 23.32 24.83
16910.40/2117.74 c N dy 37991 9285440 670 47205 0 147891 251871 1630930 23.32 31.28
16952.72/2123.07 c N dy 38114 9305498 670 47205 0 167792 251871 2375848 23.32 25.13
17000.75/2129.01 c N dy 38250 9325551 670 47205 0 187645 251871 3110039 23.33 24.56
17046.95/2134.85 c N dy 38298 9347602 670 47205 0 209504 251871 3974857 23.32 24.67
17133.99/2145.79 c N dy 38402 9383689 670 47205 0 245112 251871 5373072 23.32 24.60
17186.70/2152.37 c N dy 38452 9404878 670 47205 0 266073 251871 6157484 23.32 24.68
17231.42/2157.90 c N dy 38556 9424931 670 47205 0 151478 251871 1713651 23.32 25.37
17382.37/2176.81 c N dy 38595 9488010 670 47205 0 213964 251871 4319344 23.30 24.62
17432.00/2183.07 c N dy 38685 9508092 670 47205 0 233867 251871 5079403 23.30 24.54
17482.99/2189.51 c N dy 38745 9528151 670 47205 0 253703 251871 5836430 23.30 24.82
17588.41/2202.68 c N dy 38767 9574639 670 47205 0 164358 251871 2362029 23.28 24.60
17634.72/2208.43 c N dy 38877 9594735 670 47205 0 184243 251871 3086883 23.28 34.36
17792.16/2228.15 c N dy 38988 9662645 670 47205 0 251269 251871 5768582 23.27 24.71
17850.35/2235.44 c N dy 39087 9683294 670 47205 0 271685 251871 6508096 23.27 24.51
17938.19/2246.45 c N dy 39143 9723510 670 47205 0 175204 251871 2739946 23.26 24.59
17982.12/2251.97 c N dy 39203 9743581 670 47205 0 195067 251871 3512915 23.26 24.76
18030.02/2257.93 c N dy 39267 9765079 670 47205 0 216386 251871 4365760 23.26 24.60
18084.34/2264.72 c N dy 39407 9785133 670 47205 0 236266 251871 5110829 23.27 26.86
18139.45/2271.62 c N dy 39500 9805201 670 47205 0 256059 251871 5827069 23.27 29.43
18201.75/2279.43 c N dy 39628 9825203 670 47205 0 138367 251871 1153324 23.27 26.30
18240.87/2284.35 c N dy 39723 9845231 670 47205 0 158201 251871 1894741 23.27 27.15
18286.38/2290.09 c N dy 39805 9866867 670 47205 0 179637 251871 2696385 23.27 24.52
18331.10/2295.64 c N dy 39808 9888517 670 47205 0 201146 251871 3621445 23.27 24.63
18379.03/2301.60 c N dy 39891 9908580 670 47205 0 221080 251871 4413234 23.27 24.56
18434.93/2308.69 c N dy 40002 9929145 670 47205 0 241443 251871 5148072 23.27 24.59
18498.02/2316.59 c N dy 40059 9955012 670 47205 0 266981 251871 6086225 23.26 24.52
18676.11/2338.80 c N dy 40074 10024298 670 47205 0 197153 251871 3568876 23.24 24.52
18724.03/2344.85 c N dy 40162 10044409 670 47205 0 217053 251871 4298427 23.24 24.49
18786.31/2352.62 c N dy 40279 10068897 670 47205 0 241341 251871 5227481 23.25 24.48
18857.41/2361.51 c N dy 40374 10096829 670 47205 0 269018 251871 6294809 23.25 24.50
18921.29/2369.59 c N dy 40450 10122154 670 47205 0 154565 251871 1746420 23.24 24.59
18963.62/2374.83 c N dy 40537 10142187 670 47205 0 174351 251871 2488468 23.24 27.77
19007.52/2380.38 c N dy 40610 10162224 670 47205 0 194150 251871 3266756 23.24 25.45
19054.65/2386.26 c N dy 40658 10182569 670 47205 0 214348 251871 4051152 23.24 24.51
19105.76/2392.62 c N dy 40754 10202591 670 47205 0 234204 251871 4810450 23.24 24.47
19160.07/2399.49 c N dy 40856 10222634 670 47205 0 254099 251871 5571479 23.25 24.68
19224.08/2407.49 c N dy 40938 10245317 670 47205 0 276599 251871 6461720 23.24 24.80
19275.07/2413.81 c N dy 41064 10265539 670 47205 0 156075 251871 1734749 23.25 24.67
19316.59/2419.09 c N dy 41111 10286051 670 47205 0 176399 251871 2523235 23.25 24.52
19369.29/2425.64 c N dy 41241 10307841 670 47205 0 198012 251871 3325331 23.25 24.57
19419.61/2431.92 c N dy 41362 10327850 670 47205 0 217883 251871 4073927 23.25 27.44
19473.12/2438.69 c N dy 41481 10347937 670 47205 0 237808 251871 4817763 23.25 28.80
19543.41/2447.46 c N dy 41623 10372937 670 47205 0 262607 251871 5765279 23.26 24.67
19601.01/2454.68 c N dy 41718 10392969 670 47205 0 282364 251871 6476471 23.26 25.81
19660.00/2462.03 c N dy 41843 10418733 670 47205 0 166244 251871 2074048 23.26 24.51
19705.53/2467.76 c N dy 41951 10438796 670 47205 0 186025 251871 2780584 23.26 26.51
19755.03/2473.94 c N dy 42059 10459334 670 47205 0 206341 251871 3520869 23.27 24.63
19802.16/2479.91 c N dy 42106 10479495 670 47205 0 226315 251871 4268519 23.26 24.58
19874.14/2488.89 c N dy 42157 10508454 670 47205 0 255164 251871 5517856 23.26 24.54
19941.90/2497.31 c N dy 42236 10533215 670 47205 0 279730 251871 6490786 23.26 24.63
19993.02/2503.72 c N dy 42338 10553616 670 47205 0 157380 251871 1726497 23.26 24.50
20038.53/2509.49 c N dy 42488 10573645 670 47205 0 177237 251871 2461905 23.26 30.97
20092.04/2516.11 c N dy 42571 10597191 670 47205 0 200472 251871 3348690 23.26 24.49
20143.95/2522.62 c N dy 42690 10617290 670 47205 0 220360 251871 4110684 23.27 24.77
20199.16/2529.59 c N dy 42784 10638300 670 47205 0 241140 251871 4868295 23.27 24.68
20252.56/2536.29 c N dy 42867 10658404 670 47205 0 261055 251871 5623895 23.27 27.03
20362.74/2550.00 c N dy 42924 10702895 670 47205 0 161629 251871 1904876 23.26 24.50
20508.07/2568.29 c N dy 43032 10764783 670 47205 0 222667 251871 4341481 23.25 24.53
20563.98/2575.26 c N dy 43149 10785312 670 47205 0 243021 251871 5088667 23.25 24.63
20619.10/2582.14 c N dy 43252 10805362 670 47205 0 262871 251871 5813726 23.25 24.67
20674.20/2589.06 c N dy 43327 10825369 670 47205 0 282642 251871 6531400 23.25 27.26
20726.90/2595.69 c N dy 43463 10845421 670 47205 0 158229 251871 1699283 23.26 24.56
20790.79/2603.65 c N dy 43571 10875323 670 47205 0 187920 251871 2863801 23.25 24.56
20840.42/2609.84 c N dy 43685 10895553 670 47205 0 207940 251871 3612493 23.26 24.57
20892.32/2616.38 c N dy 43786 10916452 670 47205 0 228707 251871 4413610 23.26 24.59
20941.73/2622.58 c N dy 43840 10936523 670 47205 0 248567 251871 5173432 23.26 25.12
21000.02/2629.85 c N dy 43930 10958620 670 47205 0 270466 251871 6022861 23.26 24.93
21064.71/2637.97 c N dy 44045 10979107 670 47205 0 290798 251871 6797279 23.26 24.50
21111.04/2643.79 c N dy 44164 10999109 670 47205 0 165098 251871 1901231 23.26 24.75
21156.67/2649.46 c N dy 44283 11019122 670 47205 0 184892 251871 2632678 23.27 31.89
21210.85/2656.23 c N dy 44383 11042386 670 47205 0 207892 251871 3503459 23.27 24.55
21262.76/2662.71 c N dy 44497 11062391 670 47205 0 227724 251871 4245900 23.27 35.75
21321.06/2670.04 c N dy 44635 11082483 670 47205 0 247606 251871 4972052 23.27 24.51
21379.37/2677.39 c N dy 44672 11105988 670 47205 0 270809 251871 5908032 23.27 24.65
21429.67/2683.60 c N dy 44696 11126010 670 47205 0 290648 251871 6748667 23.27 24.62
21477.59/2689.67 c N dy 44814 11146104 670 47205 0 164178 251871 1852025 23.27 28.32
21523.11/2695.30 c N dy 44917 11166237 670 47205 0 184101 251871 2601150 23.27 24.51
21569.54/2701.19 c N dy 44988 11186266 670 47205 0 203886 251871 3318572 23.27 27.64
21623.72/2707.99 c N dy 45124 11206349 670 47205 0 223778 251871 4061235 23.28 27.72
21676.44/2714.51 c N dy 45191 11226352 670 47205 0 243627 251871 4846606 23.27 26.25
21730.61/2721.30 c N dy 45275 11246379 670 47205 0 263509 251871 5620082 23.28 24.60
21791.81/2729.02 c N dy 45395 11266385 670 47205 0 283365 251871 6369687 23.28 24.53
21853.73/2736.81 c N dy 45522 11287272 670 47205 0 156653 251871 1549095 23.28 24.54
21896.03/2742.17 c N dy 45617 11307279 670 47205 0 176448 251871 2300828 23.28 27.89
21945.66/2748.32 c N dy 45729 11328465 670 47205 0 197433 251871 3088874 23.28 24.74
21995.87/2754.65 c N dy 45825 11348503 670 47205 0 217223 251871 3797988 23.28 26.00
22042.29/2760.45 c N dy 45863 11368703 670 47205 0 237195 251871 4582081 23.28 24.73
22097.28/2767.33 c N dy 45946 11389208 670 47205 0 257480 251871 5323441 23.28 24.58
22182.86/2778.10 c N dy 46078 11420572 670 47205 0 288550 251871 6545842 23.28 24.57
22241.03/2785.39 c N dy 46222 11440671 670 47205 0 160084 251871 1639135 23.29 24.56
22280.96/2790.33 c N dy 46273 11460683 670 47205 0 179866 251871 2403066 23.29 31.21
22328.09/2796.29 c N dy 46389 11480721 670 47205 0 199716 251871 3142981 23.29 24.57
22371.21/2801.62 c N dy 46409 11500818 670 47205 0 219673 251871 3963443 23.29 28.36
22426.32/2808.55 c N dy 46506 11520897 670 47205 0 239549 251871 4699215 23.29 25.18
22482.33/2815.55 c N dy 46605 11541289 670 47205 0 259780 251871 5465892 23.29 24.60
22594.03/2829.52 c N dy 46656 11585084 670 47205 0 153714 251871 1399249 23.28 24.70
22638.74/2835.18 c N dy 46760 11606341 670 47205 0 174802 251871 2194082 23.28 24.80
22684.38/2840.86 c N dy 46862 11626398 670 47205 0 194670 251871 2959806 23.29 25.64
22737.76/2847.56 c N dy 46976 11648345 670 47205 0 216448 251871 3823393 23.29 24.55
22788.09/2853.81 c N dy 47042 11668611 670 47205 0 236522 251871 4572982 23.29 24.54
22847.98/2861.39 c N dy 47170 11688653 670 47205 0 256353 251871 5297907 23.29 28.23
22911.06/2869.29 c N dy 47257 11711699 670 47205 0 279117 251871 6149846 23.29 24.62
22972.55/2877.00 c N dy 47324 11733248 670 47205 0 300415 251871 6941401 23.29 24.56
23021.25/2883.04 c N dy 47428 11753683 670 47205 0 170270 251871 1946779 23.29 24.56
23065.99/2888.67 c N dy 47534 11773714 670 47205 0 190148 251871 2711918 23.29 27.53
23117.89/2895.13 c N dy 47652 11794299 670 47205 0 210533 251871 3453708 23.30 24.63
23174.60/2902.20 c N dy 47806 11814384 670 47205 0 230422 251871 4196693 23.30 24.60
23231.30/2909.34 c N dy 47927 11834454 670 47205 0 250325 251871 4953540 23.30 26.74
23286.40/2916.29 c N dy 47977 11856313 670 47205 0 271983 251871 5816217 23.30 24.53
23352.67/2924.55 c N dy 48106 11876828 670 47205 0 292300 251871 6561246 23.31 24.60
23408.58/2931.56 c N dy 48185 11896887 670 47205 0 160798 251871 1581494 23.31 24.91
23452.49/2937.03 c N dy 48278 11916958 670 47205 0 180707 251871 2363949 23.31 24.55
23502.01/2943.28 c N dy 48391 11936977 670 47205 0 200529 251871 3091504 23.31 28.11
23552.33/2949.59 c N dy 48488 11957125 670 47205 0 220483 251871 3845866 23.31 24.56
23605.95/2956.22 c N dy 48591 11977166 670 47205 0 240359 251871 4624027 23.31 25.21
23656.96/2962.67 c N dy 48646 11997211 670 47205 0 260250 251871 5398373 23.31 29.92
23712.16/2969.52 c N dy 48733 12017301 670 47205 0 280121 251871 6144740 23.31 28.95
23775.14/2977.45 c N dy 48836 12037367 670 47205 0 299993 251871 6880562 23.31 24.55
23831.04/2984.42 c N dy 48942 12058586 670 47205 0 168568 251871 1863300 23.31 24.59
23880.54/2990.60 c N dy 49057 12079892 670 47205 0 189646 251871 2628318 23.31 24.63
23964.41/3001.17 c N dy 49160 12115851 670 47205 0 225386 251871 4104090 23.31 24.56
24027.62/3009.08 c N dy 49199 12140998 670 47205 0 250273 251871 5085806 23.31 24.63
24084.19/3016.17 c N dy 49276 12161084 670 47205 0 270196 251871 5841721 23.31 25.27
24144.08/3023.66 c N dy 49368 12181107 670 47205 0 290025 251871 6555834 23.31 26.46
24210.38/3031.91 c N dy 49458 12201116 670 47205 0 156398 251871 1356807 23.31 26.29
24256.01/3037.68 c N dy 49577 12222243 670 47205 0 177336 251871 2144163 23.31 24.73
24414.13/3057.47 c N dy 49626 12281737 670 47205 0 236228 251871 4624989 23.30 24.58
24494.66/3067.59 c N dy 49674 12313206 670 47205 0 267339 251871 5864525 23.29 24.65
24556.16/3075.23 c N dy 49783 12333321 670 47205 0 287219 251871 6603559 23.29 24.53
24615.26/3082.62 c N dy 49864 12353324 670 47205 0 306981 251871 7359890 23.29 31.07
24667.98/3089.26 c N dy 50003 12373422 670 47205 0 172555 251871 1940230 23.30 28.33
24736.65/3097.87 c N dy 50125 12403682 670 47205 0 202494 251871 3104315 23.30 24.61
24798.93/3105.60 c N dy 50253 12426607 670 47205 0 225181 251871 3929330 23.30 24.53
24855.62/3112.75 c N dy 50370 12446655 670 47205 0 245000 251871 4653782 23.30 25.17
24969.83/3127.08 c N dy 50460 12489163 670 47205 0 287093 251871 6366967 23.29 24.56
25051.29/3137.22 c N dy 50566 12513190 670 47205 0 155604 251871 1274547 23.29 24.66
25093.61/3142.56 c N dy 50605 12533885 670 47205 0 176095 251871 2059604 23.29 24.80
25145.52/3149.00 c N dy 50760 12554412 670 47205 0 196449 251871 2839139 23.30 24.68
25198.22/3155.60 c N dy 50886 12574413 670 47205 0 216229 251871 3560080 23.30 24.70
25254.94/3162.71 c N dy 51014 12594513 670 47205 0 236139 251871 4297263 23.30 29.17
25310.15/3169.70 c N dy 51102 12614514 670 47205 0 255994 251871 5077573 23.30 26.68
25369.14/3177.00 c N dy 51205 12634538 670 47205 0 275816 251871 5813941 23.30 24.98
25436.22/3185.47 c N dy 51333 12654617 670 47205 0 295702 251871 6563541 23.31 28.52
25500.90/3193.51 c N dy 51414 12674767 670 47205 0 159314 251871 1381712 23.31 24.54
25544.02/3198.96 c N dy 51513 12694822 670 47205 0 179112 251871 2092678 23.31 26.04
25594.33/3205.20 c N dy 51611 12716543 670 47205 0 200603 251871 2924475 23.31 25.02
25647.84/3211.96 c N dy 51728 12736589 670 47205 0 220403 251871 3646103 23.31 28.19
25707.74/3219.49 c N dy 51861 12756780 670 47205 0 240385 251871 4382988 23.32 24.63
25765.25/3226.62 c N dy 51971 12776797 670 47205 0 260176 251871 5104866 23.32 24.62
25830.72/3234.82 c N dy 52121 12796811 670 47205 0 279988 251871 5831135 23.32 26.71
25897.01/3243.13 c N dy 52227 12818014 670 47205 0 301017 251871 6642987 23.32 24.60
25957.70/3250.79 c N dy 52324 12838104 670 47205 0 163672 251871 1516343 23.32 26.25
26004.93/3256.63 c N dy 52447 12858194 670 47205 0 183580 251871 2241380 23.33 26.90
26054.33/3262.87 c N dy 52548 12878979 670 47205 0 204210 251871 3023638 23.33 24.56
26106.25/3269.30 c N dy 52667 12899080 670 47205 0 224090 251871 3787028 23.33 29.86
26163.75/3276.52 c N dy 52776 12919170 670 47205 0 244013 251871 4529215 23.33 30.06
26250.11/3287.36 c N dy 52846 12952235 670 47205 0 276673 251871 5805193 23.33 24.65
26317.07/3295.74 c N dy 52993 12972322 670 47205 0 296589 251871 6557346 23.33 24.89
26391.46/3305.03 c N dy 53114 12992604 670 47205 0 158387 251871 1291343 23.34 24.61
26438.47/3310.91 c N dy 53269 13012650 670 47205 0 178256 251871 2036107 23.34 26.15
26488.78/3317.22 c N dy 53401 13032732 670 47205 0 198130 251871 2767609 23.34 27.22
26543.09/3324.01 c N dy 53505 13053606 670 47205 0 218813 251871 3538898 23.34 24.60
26597.39/3330.84 c N dy 53606 13073637 670 47205 0 238648 251871 4306600 23.35 25.52
26657.28/3338.34 c N dy 53729 13093733 670 47205 0 258587 251871 5054754 23.35 25.56
26716.50/3345.74 c N dy 53757 13117703 670 47205 0 282224 251871 5902485 23.34 24.73
26757.91/3350.93 c F st 53824 13130468 670 47205 0 294877 251871 6375224 23.35 19.59
26813.81/3357.93 c N dy 53831 13151597 670 47205 0 315907 251871 7280195 23.34 24.60
26867.31/3364.62 c N dy 53935 13171814 670 47205 0 176622 251871 1956940 23.34 24.80
26916.84/3370.87 c N dy 54065 13191819 670 47205 0 196413 251871 2680764 23.35 24.84
26967.14/3377.12 c N dy 54154 13212087 670 47205 0 216532 251871 3460050 23.35 24.70
27023.96/3384.27 c N dy 54289 13232153 670 47205 0 236414 251871 4200046 23.35 25.67
27081.34/3391.49 c N dy 54341 13253309 670 47205 0 257389 251871 5045065 23.35 24.74
27144.43/3399.38 c N dy 54479 13273313 670 47205 0 277215 251871 5800694 23.35 24.84
27207.64/3407.25 c N dy 54583 13293321 670 47205 0 297059 251871 6559617 23.35 25.81
27273.79/3415.57 c N dy 54602 13316794 670 47205 0 320263 251871 7478880 23.35 24.69
27328.11/3422.34 c N dy 54734 13337995 670 47205 0 180920 251871 2067336 23.35 24.60
27376.03/3428.30 c N dy 54828 13358077 670 47205 0 200861 251871 2841819 23.35 25.37
27596.44/3455.93 c N dy 54906 13434303 670 47205 0 276580 251871 6228709 23.34 24.63
27646.86/3462.25 c N dy 54922 13454322 670 47205 0 296500 251871 7041322 23.34 24.79
27705.85/3469.69 c N dy 54966 13474388 670 47205 0 316271 251871 7810749 23.34 28.31
27764.95/3477.06 c N dy 55072 13494475 670 47205 0 174691 251871 1799472 23.34 27.60
27809.68/3482.63 c N dy 55144 13514533 670 47205 0 194461 251871 2504288 23.34 27.24
27863.18/3489.36 c N dy 55282 13534597 670 47205 0 214335 251871 3235268 23.34 24.61
27919.20/3496.35 c N dy 55413 13554601 670 47205 0 234163 251871 3968540 23.34 24.58
27971.90/3502.95 c N dy 55490 13574656 670 47205 0 254082 251871 4757429 23.34 25.56
28032.48/3510.50 c N dy 55586 13594755 670 47205 0 273929 251871 5487449 23.34 26.66
28100.36/3519.07 c N dy 55653 13617382 670 47205 0 296239 251871 6291632 23.34 24.67
28169.05/3527.66 c N dy 55753 13637475 670 47205 0 316136 251871 7032889 23.34 24.68
28227.46/3534.94 c N dy 55853 13657558 670 47205 0 173754 251871 1756947 23.35 26.06
28276.06/3541.04 c N dy 55976 13677865 670 47205 0 193894 251871 2525261 23.35 24.60
28327.17/3547.40 c N dy 55993 13701324 670 47205 0 217114 251871 3488068 23.35 24.86
28397.44/3556.25 c N dy 56086 13729135 670 47205 0 244672 251871 4569688 23.35 24.75
28475.71/3566.07 c N dy 56183 13756786 670 47205 0 272123 251871 5643571 23.34 24.59
28545.98/3574.85 c N dy 56310 13778580 670 47205 0 293756 251871 6481651 23.35 24.66
28609.08/3582.72 c N dy 56338 13801023 670 47205 0 315924 251871 7378915 23.34 24.78
28668.97/3590.24 c N dy 56410 13821061 670 47205 0 172435 251871 1667484 23.34 27.36
28715.28/3596.03 c N dy 56503 13841121 670 47205 0 192352 251871 2472665 23.34 31.50
28816.71/3608.70 c N dy 56517 13882504 670 47205 0 233314 251871 4163370 23.33 24.61
28893.39/3618.37 c N dy 56608 13911104 670 47205 0 261687 251871 5290672 23.33 24.63
28948.48/3625.26 c N dy 56656 13931148 670 47205 0 281491 251871 6034124 23.33 25.20
29013.97/3633.43 c N dy 56783 13951195 670 47205 0 301374 251871 6779359 23.34 24.94
29078.76/3641.52 c N dy 56873 13971575 670 47205 0 321572 251871 7545642 23.34 24.81
29141.07/3649.39 c N dy 57014 13991718 670 47205 0 177213 251871 1810176 23.34 24.80
29189.66/3655.49 c N dy 57124 14011776 670 47205 0 197093 251871 2563109 23.34 24.73
29242.38/3662.03 c N dy 57222 14031826 670 47205 0 216957 251871 3305794 23.34 25.30
29295.09/3668.63 c N dy 57313 14051860 670 47205 0 236797 251871 4061959 23.34 26.44
29351.10/3675.71 c N dy 57393 14071897 670 47205 0 256681 251871 4849974 23.34 29.85
29411.69/3683.20 c N dy 57478 14091954 670 47205 0 276516 251871 5581616 23.34 27.88
29469.97/3690.51 c N dy 57528 14111979 670 47205 0 296392 251871 6381549 23.34 25.22
29530.67/3698.19 c N dy 57591 14132020 670 47205 0 316233 251871 7158256 23.34 31.13
29614.63/3708.61 c N dy 57722 14158305 670 47205 0 176960 251871 1817030 23.34 24.61
29669.63/3715.51 c N dy 57791 14183262 670 47205 0 201682 251871 2795703 23.34 24.68
29726.33/3722.69 c N dy 57940 14204065 670 47205 0 222304 251871 3569309 23.34 24.68
29793.40/3731.04 c N dy 58051 14229151 670 47205 0 247133 251871 4523072 23.34 24.85
29854.10/3738.62 c N dy 58174 14249240 670 47205 0 267044 251871 5293618 23.35 24.59
29908.40/3745.41 c N dy 58231 14269854 670 47205 0 287449 251871 6105215 23.35 24.96
29973.90/3753.62 c N dy 58314 14290128 670 47205 0 307540 251871 6872089 23.35 24.64
30045.89/3762.62 c N dy 58452 14310167 670 47205 0 327378 251871 7607430 23.35 26.39
30108.06/3770.45 c N dy 58590 14331340 670 47205 0 182038 251871 1935629 23.35 24.59
30155.98/3776.47 c N dy 58594 14353080 670 47205 0 203559 251871 2878071 23.35 24.59
30211.08/3783.35 c N dy 58704 14373185 670 47205 0 223465 251871 3603408 23.35 24.81
30267.78/3790.49 c N dy 58826 14393308 670 47205 0 243420 251871 4356061 23.35 24.60
30380.38/3804.55 c N dy 58849 14433133 670 47205 0 282866 251871 5988391 23.34 24.59
30459.44/3814.48 c N dy 58943 14458926 670 47205 0 308343 251871 6903766 23.34 24.79
30530.52/3823.30 c N dy 58983 14483179 670 47205 0 332292 251871 7822516 23.34 24.61
30586.42/3830.35 c N dy 59098 14503186 670 47205 0 184895 251871 2001650 23.34 24.79
30637.53/3836.73 c N dy 59204 14523736 670 47205 0 205220 251871 2754397 23.34 24.65
30694.24/3843.84 c N dy 59352 14543810 670 47205 0 225093 251871 3495076 23.35 25.61
30746.94/3850.40 c N dy 59428 14563879 670 47205 0 244913 251871 4222206 23.35 30.62
30863.53/3865.05 c N dy 59441 14606000 670 47205 0 286623 251871 5991659 23.34 24.66
30922.64/3872.46 c N dy 59499 14626428 670 47205 0 306901 251871 6805947 23.34 24.69
30992.92/3881.26 c N dy 59612 14646529 670 47205 0 326785 251871 7547728 23.34 25.18
31062.40/3889.96 c N dy 59762 14667202 670 47205 0 179095 251871 1775570 23.34 24.78
31114.30/3896.41 c N dy 59880 14688334 670 47205 0 200030 251871 2566230 23.34 24.68
31223.02/3910.08 c N dy 59948 14732784 670 47205 0 243877 251871 4309230 23.34 24.58
31280.40/3917.21 c N dy 60050 14752872 670 47205 0 263795 251871 5083192 23.34 32.63
31341.89/3924.90 c N dy 60168 14772882 670 47205 0 283627 251871 5831113 23.34 24.64
31405.79/3932.95 c N dy 60269 14792974 670 47205 0 303549 251871 6594609 23.34 26.71
31487.24/3943.17 c N dy 60375 14819488 670 47205 0 329769 251871 7616611 23.34 24.94
31583.19/3955.19 c N dy 60478 14854671 670 47205 0 195541 251871 2426145 23.34 24.76
31630.99/3961.18 c N dy 60552 14874726 670 47205 0 215405 251871 3185686 23.34 30.06
31686.10/3968.09 c N dy 60671 14894734 670 47205 0 235241 251871 3922344 23.34 27.94
31745.18/3975.43 c N dy 60795 14914790 670 47205 0 255114 251871 4670162 23.34 25.23
31799.49/3982.25 c N dy 60849 14935064 670 47205 0 275228 251871 5442436 23.34 25.28
31859.38/3989.79 c N dy 60940 14955065 670 47205 0 295009 251871 6188202 23.34 24.87
31932.87/3998.99 c N dy 61069 14976271 670 47205 0 316014 251871 6969644 23.34 24.57
32041.46/4012.57 c N dy 61156 15012084 670 47205 0 181328 251871 1868821 23.34 24.59
32090.18/4018.68 c N dy 61275 15032163 670 47205 0 201217 251871 2621832 23.34 30.24
32149.27/4026.04 c N dy 61372 15054532 670 47205 0 223393 251871 3467218 23.34 24.66
32202.78/4032.78 c N dy 61458 15074581 670 47205 0 243211 251871 4223010 23.34 27.92
32258.79/4039.73 c N dy 61530 15094602 670 47205 0 262932 251871 4951735 23.34 27.65
32316.18/4046.93 c N dy 61565 15115333 670 47205 0 283512 251871 5782645 23.34 24.96
32406.43/4058.26 c N dy 61660 15145717 670 47205 0 313619 251871 6944409 23.34 24.67
32480.70/4067.54 c N dy 61795 15165783 670 47205 0 333494 251871 7674637 23.34 24.76
32536.60/4074.58 c N dy 61858 15185835 670 47205 0 182202 251871 1814098 23.34 26.88
32588.51/4081.03 c N dy 61972 15206044 670 47205 0 202211 251871 2553074 23.34 24.72
32640.42/4087.55 c N dy 62099 15226065 670 47205 0 222025 251871 3303084 23.34 32.56
32693.92/4094.27 c N dy 62185 15246169 670 47205 0 241970 251871 4056307 23.34 25.01
32758.62/4102.30 c N dy 62211 15271017 670 47205 0 266596 251871 5064143 23.34 24.60
32826.51/4110.81 c N dy 62310 15292719 670 47205 0 288101 251871 5876155 23.34 24.73
32887.20/4118.42 c N dy 62384 15312789 670 47205 0 307958 251871 6603488 23.34 28.90
32963.06/4127.91 c N dy 62530 15333424 670 47205 0 328384 251871 7378841 23.34 24.60
33042.12/4137.85 c N dy 62682 15353495 670 47205 0 176049 251871 1547248 23.35 33.80
33091.64/4144.09 c N dy 62786 15374593 670 47205 0 196968 251871 2354780 23.35 24.72
33143.54/4150.51 c N dy 62874 15394599 670 47205 0 216765 251871 3080516 23.35 26.68
33197.85/4157.34 c N dy 62984 15414685 670 47205 0 236693 251871 3856861 23.35 32.01
33258.55/4164.91 c N dy 63119 15434709 670 47205 0 256502 251871 4589638 23.35 24.64
33321.75/4172.89 c N dy 63237 15454904 670 47205 0 276541 251871 5339170 23.36 24.90
33387.12/4181.01 c N dy 63334 15474952 670 47205 0 296396 251871 6096848 23.36 24.83
33454.32/4189.44 c N dy 63452 15495016 670 47205 0 316255 251871 6836304 23.36 24.76
33527.67/4198.63 c N dy 63563 15515108 670 47205 0 336179 251871 7575717 23.36 25.09
33602.86/4208.09 c N dy 63664 15538936 670 47205 0 186495 251871 1886586 23.36 24.62
33654.66/4214.55 c N dy 63789 15559117 670 47205 0 206514 251871 2653287 23.36 24.83
33704.97/4220.86 c N dy 63878 15579158 670 47205 0 226349 251871 3401011 23.36 29.16
33762.45/4228.00 c N dy 64003 15599162 670 47205 0 246135 251871 4145460 23.37 24.71
33824.75/4235.89 c N dy 64100 15620598 670 47205 0 267371 251871 4956495 23.37 24.62
33894.23/4244.57 c N dy 64197 15642432 670 47205 0 288929 251871 5739601 23.37 24.67
33959.72/4252.77 c N dy 64296 15662456 670 47205 0 308768 251871 6495994 23.37 25.66
34035.58/4262.22 c N dy 64445 15682501 670 47205 0 328632 251871 7235046 23.37 26.97
34112.37/4271.84 c N dy 64529 15702562 670 47205 0 174287 251871 1420570 23.37 24.83
34155.38/4277.27 c N dy 64565 15722828 670 47205 0 194227 251871 2138408 23.37 24.73
34204.08/4283.34 c N dy 64656 15742910 670 47205 0 214135 251871 2895455 23.37 24.92
34346.24/4301.11 c N dy 64710 15798649 670 47205 0 269373 251871 5069340 23.36 25.09
34414.12/4309.62 c N dy 64853 15818752 670 47205 0 289316 251871 5812701 23.37 24.80
34490.91/4319.29 c N dy 64954 15842324 670 47205 0 312583 251871 6653522 23.37 24.87
34549.89/4326.68 c N dy 64997 15862394 670 47205 0 332527 251871 7455833 23.36 26.66
34638.54/4337.74 c N dy 65037 15893508 670 47205 0 188325 251871 1999518 23.36 24.63
34687.25/4343.89 c N dy 65120 15913713 670 47205 0 208352 251871 2774559 23.36 25.21
34801.44/4358.12 c N dy 65185 15959423 670 47205 0 253524 251871 4601312 23.35 24.94
34863.74/4365.91 c N dy 65289 15979858 670 47205 0 273774 251871 5355123 23.36 24.75
34926.83/4373.81 c N dy 65376 16001222 670 47205 0 294906 251871 6171791 23.36 24.61
34996.31/4382.58 c N dy 65502 16021301 670 47205 0 314790 251871 6917447 23.36 29.27
35071.37/4391.95 c N dy 65639 16041469 670 47205 0 334762 251871 7661912 23.36 24.96
35156.04/4402.53 c N dy 65772 16062538 670 47205 0 179525 251871 1557481 23.36 24.68
35204.74/4408.62 c N dy 65879 16082539 670 47205 0 199327 251871 2304808 23.36 24.68
35253.46/4414.71 c N dy 65943 16102639 670 47205 0 219078 251871 3077448 23.36 26.45
35310.16/4421.86 c N dy 66069 16122679 670 47205 0 238940 251871 3809920 23.37 24.75
35371.66/4429.59 c N dy 66208 16142880 670 47205 0 258952 251871 4562507 23.37 24.60
35433.15/4437.23 c N dy 66279 16164885 670 47205 0 280775 251871 5422364 23.37 24.60
35502.63/4445.97 c N dy 66390 16187092 670 47205 0 302774 251871 6266935 23.37 24.63
35571.43/4454.57 c N dy 66460 16208225 670 47205 0 323638 251871 7041576 23.37 24.62
35644.78/4463.71 c N dy 66568 16228233 670 47205 0 343492 251871 7806359 23.37 27.28
35706.27/4471.40 c N dy 66624 16248309 670 47205 0 186293 251871 1815506 23.37 26.44
35755.11/4477.55 c N dy 66729 16268393 670 47205 0 206113 251871 2559249 23.37 28.24
35811.69/4484.61 c N dy 66879 16288432 670 47205 0 225979 251871 3298289 23.37 28.58
36053.79/4515.01 c N dy 66981 16372544 670 47205 0 309277 251871 6753926 23.36 24.69
36125.54/4523.98 c N dy 67096 16392601 670 47205 0 329183 251871 7521455 23.36 27.52
36211.01/4534.62 c N dy 67212 16415743 670 47205 0 352126 251871 8391446 23.36 24.86
36272.49/4542.33 c N dy 67356 16435802 670 47205 0 193892 251871 2048181 23.37 25.09
36326.91/4549.15 c N dy 67507 16455848 670 47205 0 213749 251871 2772915 23.37 25.04
36379.61/4555.73 c N dy 67596 16476133 670 47205 0 233808 251871 3514305 23.37 24.99
36430.61/4562.17 c N dy 67641 16496232 670 47205 0 253672 251871 4277451 23.37 24.75
36486.51/4569.17 c N dy 67702 16517242 670 47205 0 274466 251871 5057649 23.37 24.65
36554.51/4577.68 c N dy 67833 16537268 670 47205 0 294279 251871 5790723 23.37 26.75
36621.47/4586.01 c N dy 67925 16557595 670 47205 0 314408 251871 6554538 23.37 24.69
36689.35/4594.51 c N dy 68008 16577932 670 47205 0 334613 251871 7357954 23.37 24.95
36768.42/4604.47 c N dy 68122 16598844 670 47205 0 355334 251871 8147076 23.37 24.66
36838.69/4613.24 c N dy 68219 16625125 670 47205 0 202298 251871 2375182 23.37 24.62
37119.01/4648.32 c N dy 68290 16714376 670 47205 0 290804 251871 6041156 23.36 24.84
37190.08/4657.23 c N dy 68412 16734395 670 47205 0 310644 251871 6787419 23.36 25.17
37267.54/4666.96 c N dy 68566 16754400 670 47205 0 330448 251871 7527328 23.36 30.85
37341.81/4676.29 c N dy 68690 16774420 670 47205 0 350306 251871 8267331 23.36 31.23
37409.69/4684.73 c N dy 68775 16794628 670 47205 0 190089 251871 1819895 23.36 24.61
37456.82/4690.63 c N dy 68829 16815370 670 47205 0 210625 251871 2634243 23.36 24.65
37511.13/4697.43 c N dy 68943 16835615 670 47205 0 230657 251871 3378337 23.37 24.72
37565.55/4704.26 c N dy 69006 16855678 670 47205 0 250583 251871 4177282 23.37 24.63
37625.33/4711.77 c N dy 69094 16875756 670 47205 0 270410 251871 4902125 23.37 25.09
37680.42/4718.70 c N dy 69121 16896792 670 47205 0 291193 251871 5759461 23.36 24.68
37753.89/4727.81 c N dy 69270 16916863 670 47205 0 311106 251871 6499570 23.36 25.60
37819.50/4736.09 c N dy 69333 16937190 670 47205 0 331225 251871 7257255 23.36 24.79
37895.26/4745.51 c N dy 69448 16958034 670 47205 0 351914 251871 8074190 23.37 24.71
37969.65/4754.87 c N dy 69573 16979947 670 47205 0 192478 251871 1878219 23.37 24.73
38019.85/4761.15 c N dy 69672 17000045 670 47205 0 212378 251871 2627660 23.37 35.67
38076.53/4768.22 c N dy 69798 17020811 670 47205 0 232884 251871 3382319 23.37 24.64
38134.83/4775.51 c N dy 69891 17040872 670 47205 0 252745 251871 4133139 23.37 28.44
38194.73/4783.02 c N dy 69997 17060940 670 47205 0 272601 251871 4870032 23.37 26.68
38265.01/4791.85 c N dy 70119 17083298 670 47205 0 294748 251871 5716923 23.38 24.65
38368.83/4804.85 c N dy 70246 17116024 670 47205 0 327150 251871 7001387 23.38 24.64
38440.70/4813.85 c N dy 70347 17136199 670 47205 0 347141 251871 7779238 23.38 24.79
38531.86/4825.26 c N dy 70474 17161809 670 47205 0 190490 251871 1825808 23.38 24.63
38578.85/4831.18 c N dy 70536 17181842 670 47205 0 210300 251871 2608557 23.38 28.80
38635.56/4838.24 c N dy 70677 17201896 670 47205 0 230138 251871 3350994 23.38 30.87
38736.99/4850.97 c N dy 70801 17238810 670 47205 0 266669 251871 4793788 23.38 24.69
38800.07/4858.85 c N dy 70913 17258873 670 47205 0 286536 251871 5532579 23.38 24.75
39155.56/4903.34 c N dy 70987 17368433 670 47205 0 211272 251871 2645228 23.36 25.10
39207.46/4909.86 c N dy 71084 17388550 670 47205 0 231196 251871 3383239 23.36 24.99
39266.45/4917.23 c N dy 71208 17408647 670 47205 0 251101 251871 4129075 23.36 27.88
39327.95/4924.98 c N dy 71333 17428802 670 47205 0 271056 251871 4886212 23.36 24.63
39392.75/4933.07 c N dy 71451 17448897 670 47205 0 290934 251871 5634509 23.36 29.40
39463.70/4941.96 c N dy 71562 17470109 670 47205 0 311955 251871 6436480 23.37 24.67
39550.05/4952.79 c N dy 71584 17499850 670 47205 0 341496 251871 7605424 23.36 24.75
39629.92/4962.80 c N dy 71712 17520097 670 47205 0 361567 251871 8343145 23.36 24.64
39693.67/4970.77 c N dy 71794 17540951 670 47205 0 198460 251871 2039780 23.36 24.68
39742.40/4976.87 c N dy 71876 17560970 670 47205 0 218273 251871 2800870 23.36 24.90
39798.29/4983.80 c N dy 71974 17581028 670 47205 0 238170 251871 3582863 23.36 29.18
39855.80/4991.05 c N dy 72065 17601570 670 47205 0 258492 251871 4337509 23.36 24.85
39912.48/4998.12 c N dy 72119 17621894 670 47205 0 278597 251871 5141236 23.36 24.95
39989.27/5007.76 c N dy 72244 17645963 670 47205 0 302446 251871 6030646 23.36 24.76
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-3421597-1306678723/watcher-3421597-1306678723 -o /tmp/evaluation-result-3421597-1306678723/solver-3421597-1306678723 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3421597-1306678723.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.48 7.98 8.01 2/422 22290
/proc/meminfo: memFree=15161768/32951124 swapFree=44485824/67111528
[pid=22290] ppid=22288 vsize=92144 CPUtime=0.07 cores=0-7
/proc/22290/stat : 22290 (strangenight2-m) R 22288 22290 22264 0 -1 4202496 420 0 0 0 7 0 0 0 25 0 8 0 779472781 94355456 360 33554432000 4194304 4580107 140734720393680 18446744073709551615 46943133435408 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22290/statm: 23036 360 302 95 0 18018 0
[pid=22290/tid=22291] ppid=22288 vsize=92144 CPUtime=0 cores=0-7
/proc/22290/task/22291/stat : 22291 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 779472781 94355456 360 33554432000 4194304 4580107 140734720393680 18446744073709551615 46943133435417 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22290/tid=22292] ppid=22288 vsize=92144 CPUtime=0 cores=0-7
/proc/22290/task/22292/stat : 22292 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 779472781 94355456 360 33554432000 4194304 4580107 140734720393680 18446744073709551615 46943133435826 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22290/tid=22293] ppid=22288 vsize=92144 CPUtime=0.01 cores=0-7
/proc/22290/task/22293/stat : 22293 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 779472781 94355456 360 33554432000 4194304 4580107 140734720393680 18446744073709551615 46943133435417 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22290/tid=22294] ppid=22288 vsize=92144 CPUtime=0.01 cores=0-7
/proc/22290/task/22294/stat : 22294 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 779472781 94355456 360 33554432000 4194304 4580107 140734720393680 18446744073709551615 46943133435417 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22290/tid=22295] ppid=22288 vsize=92144 CPUtime=0.01 cores=0-7
/proc/22290/task/22295/stat : 22295 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 779472781 94355456 360 33554432000 4194304 4580107 140734720393680 18446744073709551615 46943133435417 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22290/tid=22296] ppid=22288 vsize=92144 CPUtime=0.01 cores=0-7
/proc/22290/task/22296/stat : 22296 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 779472781 94355456 360 33554432000 4194304 4580107 140734720393680 18446744073709551615 46943133435417 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22290/tid=22297] ppid=22288 vsize=92144 CPUtime=0.01 cores=0-7
/proc/22290/task/22297/stat : 22297 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 779472781 94355456 360 33554432000 4194304 4580107 140734720393680 18446744073709551615 46943133435417 0 0 4096 2 0 0 0 -1 6 0 0 0
[startup+0.045707 s]
/proc/loadavg: 7.48 7.98 8.01 2/422 22290
/proc/meminfo: memFree=15161768/32951124 swapFree=44485824/67111528
[pid=22290] ppid=22288 vsize=554700 CPUtime=0.24 cores=0-7
/proc/22290/stat : 22290 (strangenight2-m) D 22288 22290 22264 0 -1 4202496 5517 0 0 0 20 4 0 0 17 0 8 0 779472781 568012800 5437 33554432000 4194304 4580107 140734720393680 18446744073709551615 244446988471 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22290/statm: 138693 5438 337 95 0 133675 0
[pid=22290/tid=22291] ppid=22288 vsize=554904 CPUtime=0.02 cores=0-7
/proc/22290/task/22291/stat : 22291 (strangenight2-m) S 22288 22290 22264 0 -1 4202560 594 0 0 0 2 0 0 0 17 0 8 0 779472781 568221696 5460 33554432000 4194304 4580107 140734720393680 18446744073709551615 244447050222 0 0 4096 2 18446604449738804224 0 0 -1 4 0 0 0
[pid=22290/tid=22292] ppid=22288 vsize=554904 CPUtime=0.01 cores=0-7
/proc/22290/task/22292/stat : 22292 (strangenight2-m) S 22288 22290 22264 0 -1 4202560 604 0 0 0 1 0 0 0 17 0 8 0 779472781 568221696 5474 33554432000 4194304 4580107 140734720393680 18446744073709551615 244447050222 0 0 4096 2 18446604449738804224 0 0 -1 7 0 0 0
[pid=22290/tid=22293] ppid=22288 vsize=554904 CPUtime=0.02 cores=0-7
/proc/22290/task/22293/stat : 22293 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 627 0 0 0 2 0 0 0 17 0 8 0 779472781 568221696 5500 33554432000 4194304 4580107 140734720393680 18446744073709551615 244447050271 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22290/tid=22294] ppid=22288 vsize=554904 CPUtime=0.02 cores=0-7
/proc/22290/task/22294/stat : 22294 (strangenight2-m) S 22288 22290 22264 0 -1 4202560 657 0 0 0 2 0 0 0 17 0 8 0 779472781 568221696 5538 33554432000 4194304 4580107 140734720393680 18446744073709551615 244447050222 0 0 4096 2 18446604449738804224 0 0 -1 3 0 0 0
[pid=22290/tid=22295] ppid=22288 vsize=554904 CPUtime=0.02 cores=0-7
/proc/22290/task/22295/stat : 22295 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 691 0 0 0 2 0 0 0 17 0 8 0 779472781 568221696 5567 33554432000 4194304 4580107 140734720393680 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22290/tid=22296] ppid=22288 vsize=554904 CPUtime=0.02 cores=0-7
/proc/22290/task/22296/stat : 22296 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 557 0 0 0 2 0 0 0 17 0 8 0 779472781 568221696 5571 33554432000 4194304 4580107 140734720393680 18446744073709551615 244447050222 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22290/tid=22297] ppid=22288 vsize=554904 CPUtime=0.02 cores=0-7
/proc/22290/task/22297/stat : 22297 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 793 0 0 0 2 0 0 0 17 0 8 0 779472781 568221696 5573 33554432000 4194304 4580107 140734720393680 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 554700
[startup+0.102732 s]
/proc/loadavg: 7.48 7.98 8.01 2/422 22290
/proc/meminfo: memFree=15161768/32951124 swapFree=44485824/67111528
[pid=22290] ppid=22288 vsize=565356 CPUtime=0.5 cores=0-7
/proc/22290/stat : 22290 (strangenight2-m) D 22288 22290 22264 0 -1 4202496 13705 0 0 0 37 13 0 0 17 0 8 0 779472781 578924544 13624 33554432000 4194304 4580107 140734720393680 18446744073709551615 244446988471 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22290/statm: 141339 13658 337 95 0 136321 0
[pid=22290/tid=22291] ppid=22288 vsize=565356 CPUtime=0.05 cores=0-7
/proc/22290/task/22291/stat : 22291 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 1511 0 0 0 4 1 0 0 17 0 8 0 779472781 578924544 13676 33554432000 4194304 4580107 140734720393680 18446744073709551615 244447050271 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22290/tid=22292] ppid=22288 vsize=565356 CPUtime=0.04 cores=0-7
/proc/22290/task/22292/stat : 22292 (strangenight2-m) D 22288 22290 22264 0 -1 4202560 1581 0 0 0 3 1 0 0 17 0 8 0 779472781 578924544 13680 33554432000 4194304 4580107 140734720393680 18446744073709551615 244446606369 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22290/tid=22293] ppid=22288 vsize=565356 CPUtime=0.05 cores=0-7
/proc/22290/task/22293/stat : 22293 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 1655 0 0 0 4 1 0 0 17 0 8 0 779472781 578924544 13704 33554432000 4194304 4580107 140734720393680 18446744073709551615 244446988471 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22290/tid=22294] ppid=22288 vsize=565356 CPUtime=0.05 cores=0-7
/proc/22290/task/22294/stat : 22294 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 1670 0 0 0 4 1 0 0 17 0 8 0 779472781 578924544 13719 33554432000 4194304 4580107 140734720393680 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22290/tid=22295] ppid=22288 vsize=565356 CPUtime=0.06 cores=0-7
/proc/22290/task/22295/stat : 22295 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 1719 0 0 0 4 2 0 0 17 0 8 0 779472781 578924544 13751 33554432000 4194304 4580107 140734720393680 18446744073709551615 4489289 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22290/tid=22296] ppid=22288 vsize=565356 CPUtime=0.06 cores=0-7
/proc/22290/task/22296/stat : 22296 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 1593 0 0 0 5 1 0 0 17 0 8 0 779472781 578924544 13775 33554432000 4194304 4580107 140734720393680 18446744073709551615 4298703 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22290/tid=22297] ppid=22288 vsize=565488 CPUtime=0.06 cores=0-7
/proc/22290/task/22297/stat : 22297 (strangenight2-m) D 22288 22290 22264 0 -1 4202560 1975 0 0 0 5 1 0 0 17 0 8 0 779472781 579059712 13791 33554432000 4194304 4580107 140734720393680 18446744073709551615 244446606369 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 565356
[startup+0.800925 s]
/proc/loadavg: 7.48 7.98 8.01 2/422 22290
/proc/meminfo: memFree=15161768/32951124 swapFree=44485824/67111528
[pid=22290] ppid=22288 vsize=596512 CPUtime=5.87 cores=0-7
/proc/22290/stat : 22290 (strangenight2-m) R 22288 22290 22264 0 -1 4202496 26247 0 0 0 564 23 0 0 18 0 8 0 779472781 610828288 25897 33554432000 4194304 4580107 140734720393680 18446744073709551615 4293138 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22290/statm: 149128 25897 364 95 0 144110 0
[pid=22290/tid=22291] ppid=22288 vsize=596512 CPUtime=0.71 cores=0-7
/proc/22290/task/22291/stat : 22291 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 2925 0 0 0 69 2 0 0 18 0 8 0 779472781 610828288 25897 33554432000 4194304 4580107 140734720393680 18446744073709551615 4439214 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22290/tid=22292] ppid=22288 vsize=596512 CPUtime=0.71 cores=0-7
/proc/22290/task/22292/stat : 22292 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 2975 0 0 0 69 2 0 0 18 0 8 0 779472781 610828288 25897 33554432000 4194304 4580107 140734720393680 18446744073709551615 244446607718 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22290/tid=22293] ppid=22288 vsize=596512 CPUtime=0.73 cores=0-7
/proc/22290/task/22293/stat : 22293 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 3050 0 0 0 70 3 0 0 18 0 8 0 779472781 610828288 25897 33554432000 4194304 4580107 140734720393680 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22290/tid=22294] ppid=22288 vsize=596512 CPUtime=0.73 cores=0-7
/proc/22290/task/22294/stat : 22294 (strangenight2-m) S 22288 22290 22264 0 -1 4202560 3067 0 0 0 71 2 0 0 18 0 8 0 779472781 610828288 25897 33554432000 4194304 4580107 140734720393680 18446744073709551615 244447050222 0 0 4096 2 18446604449738804224 0 0 -1 3 0 0 0
[pid=22290/tid=22295] ppid=22288 vsize=596512 CPUtime=0.73 cores=0-7
/proc/22290/task/22295/stat : 22295 (strangenight2-m) D 22288 22290 22264 0 -1 4202560 3817 0 0 0 70 3 0 0 18 0 8 0 779472781 610828288 25897 33554432000 4194304 4580107 140734720393680 18446744073709551615 244446988471 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22290/tid=22296] ppid=22288 vsize=596512 CPUtime=0.74 cores=0-7
/proc/22290/task/22296/stat : 22296 (strangenight2-m) D 22288 22290 22264 0 -1 4202560 3262 0 0 0 71 3 0 0 18 0 8 0 779472781 610828288 25897 33554432000 4194304 4580107 140734720393680 18446744073709551615 4401926 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22290/tid=22297] ppid=22288 vsize=596512 CPUtime=0.72 cores=0-7
/proc/22290/task/22297/stat : 22297 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 3642 0 0 0 70 2 0 0 18 0 8 0 779472781 610828288 25897 33554432000 4194304 4580107 140734720393680 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.87
Current children cumulated vsize (KiB) 596512
[startup+0.900558 s]
/proc/loadavg: 7.48 7.98 8.01 2/422 22290
/proc/meminfo: memFree=15161768/32951124 swapFree=44485824/67111528
[pid=22290] ppid=22288 vsize=615820 CPUtime=6.15 cores=0-7
/proc/22290/stat : 22290 (strangenight2-m) S 22288 22290 22264 0 -1 4202496 36762 0 0 0 583 32 0 0 17 0 8 0 779472781 630599680 36412 33554432000 4194304 4580107 140734720393680 18446744073709551615 244447050222 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22290/statm: 153955 36416 364 95 0 148937 0
[pid=22290/tid=22291] ppid=22288 vsize=615820 CPUtime=0.74 cores=0-7
/proc/22290/task/22291/stat : 22291 (strangenight2-m) D 22288 22290 22264 0 -1 4202560 4465 0 0 0 71 3 0 0 17 0 8 0 779472781 630599680 36417 33554432000 4194304 4580107 140734720393680 18446744073709551615 244446988471 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22290/tid=22292] ppid=22288 vsize=615820 CPUtime=0.73 cores=0-7
/proc/22290/task/22292/stat : 22292 (strangenight2-m) D 22288 22290 22264 0 -1 4202560 4679 0 0 0 70 3 0 0 17 0 8 0 779472781 630599680 36417 33554432000 4194304 4580107 140734720393680 18446744073709551615 244446606369 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22290/tid=22293] ppid=22288 vsize=615820 CPUtime=0.74 cores=0-7
/proc/22290/task/22293/stat : 22293 (strangenight2-m) S 22288 22290 22264 0 -1 4202560 3651 0 0 0 71 3 0 0 17 0 8 0 779472781 630599680 36420 33554432000 4194304 4580107 140734720393680 18446744073709551615 244447050222 0 0 4096 2 18446604449738804224 0 0 -1 5 0 0 0
[pid=22290/tid=22294] ppid=22288 vsize=615820 CPUtime=0.75 cores=0-7
/proc/22290/task/22294/stat : 22294 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 5063 0 0 0 72 3 0 0 17 0 8 0 779472781 630599680 36425 33554432000 4194304 4580107 140734720393680 18446744073709551615 244446988471 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22290/tid=22295] ppid=22288 vsize=615820 CPUtime=0.75 cores=0-7
/proc/22290/task/22295/stat : 22295 (strangenight2-m) D 22288 22290 22264 0 -1 4202560 5941 0 0 0 71 4 0 0 17 0 8 0 779472781 630599680 36427 33554432000 4194304 4580107 140734720393680 18446744073709551615 244446988471 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22290/tid=22296] ppid=22288 vsize=615820 CPUtime=0.77 cores=0-7
/proc/22290/task/22296/stat : 22296 (strangenight2-m) D 22288 22290 22264 0 -1 4202560 4924 0 0 0 72 5 0 0 17 0 8 0 779472781 630599680 36428 33554432000 4194304 4580107 140734720393680 18446744073709551615 4401482 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22290/tid=22297] ppid=22288 vsize=615820 CPUtime=0.81 cores=0-7
/proc/22290/task/22297/stat : 22297 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 3707 0 0 0 79 2 0 0 18 0 8 0 779472781 630599680 36429 33554432000 4194304 4580107 140734720393680 18446744073709551615 4317131 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 615820
[startup+1.50041 s]
/proc/loadavg: 7.48 7.98 8.01 2/422 22290
/proc/meminfo: memFree=15161768/32951124 swapFree=44485824/67111528
[pid=22290] ppid=22288 vsize=693776 CPUtime=10.31 cores=0-7
/proc/22290/stat : 22290 (strangenight2-m) R 22288 22290 22264 0 -1 4202496 66676 0 0 0 975 56 0 0 17 0 8 0 779472781 710426624 63735 33554432000 4194304 4580107 140734720393680 18446744073709551615 4416469 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22290/statm: 173444 63735 374 95 0 168426 0
[pid=22290/tid=22291] ppid=22288 vsize=693776 CPUtime=1.23 cores=0-7
/proc/22290/task/22291/stat : 22291 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 9020 0 0 0 118 5 0 0 17 0 8 0 779472781 710426624 63735 33554432000 4194304 4580107 140734720393680 18446744073709551615 4451663 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22290/tid=22292] ppid=22288 vsize=693776 CPUtime=1.25 cores=0-7
/proc/22290/task/22292/stat : 22292 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 8580 0 0 0 119 6 0 0 18 0 8 0 779472781 710426624 63735 33554432000 4194304 4580107 140734720393680 18446744073709551615 4416469 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22290/tid=22293] ppid=22288 vsize=693776 CPUtime=1.23 cores=0-7
/proc/22290/task/22293/stat : 22293 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 8118 0 0 0 116 7 0 0 17 0 8 0 779472781 710426624 63735 33554432000 4194304 4580107 140734720393680 18446744073709551615 4416469 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22290/tid=22294] ppid=22288 vsize=693776 CPUtime=1.29 cores=0-7
/proc/22290/task/22294/stat : 22294 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 8912 0 0 0 121 8 0 0 18 0 8 0 779472781 710426624 63735 33554432000 4194304 4580107 140734720393680 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22290/tid=22295] ppid=22288 vsize=693776 CPUtime=1.29 cores=0-7
/proc/22290/task/22295/stat : 22295 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 10329 0 0 0 122 7 0 0 18 0 8 0 779472781 710426624 63735 33554432000 4194304 4580107 140734720393680 18446744073709551615 4406077 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22290/tid=22296] ppid=22288 vsize=693776 CPUtime=1.28 cores=0-7
/proc/22290/task/22296/stat : 22296 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 8903 0 0 0 119 9 0 0 18 0 8 0 779472781 710426624 63735 33554432000 4194304 4580107 140734720393680 18446744073709551615 4451569 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22290/tid=22297] ppid=22288 vsize=693776 CPUtime=1.39 cores=0-7
/proc/22290/task/22297/stat : 22297 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 3984 0 0 0 137 2 0 0 18 0 8 0 779472781 710426624 63735 33554432000 4194304 4580107 140734720393680 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10.31
Current children cumulated vsize (KiB) 693776
[startup+3.10111 s]
/proc/loadavg: 7.52 7.98 8.01 9/430 22298
/proc/meminfo: memFree=14777508/32951124 swapFree=44485824/67111528
[pid=22290] ppid=22288 vsize=673732 CPUtime=22.77 cores=0-7
/proc/22290/stat : 22290 (strangenight2-m) R 22288 22290 22264 0 -1 4202496 115369 0 0 0 2201 76 0 0 19 0 8 0 779472781 689901568 97191 33554432000 4194304 4580107 140734720393680 18446744073709551615 4320729 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22290/statm: 168433 97192 378 95 0 163415 0
[pid=22290/tid=22291] ppid=22288 vsize=673732 CPUtime=2.78 cores=0-7
/proc/22290/task/22291/stat : 22291 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 15657 0 0 0 270 8 0 0 19 0 8 0 779472781 689901568 97192 33554432000 4194304 4580107 140734720393680 18446744073709551615 4318850 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22290/tid=22292] ppid=22288 vsize=673732 CPUtime=2.79 cores=0-7
/proc/22290/task/22292/stat : 22292 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 14908 0 0 0 270 9 0 0 19 0 8 0 779472781 689901568 97193 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22290/tid=22293] ppid=22288 vsize=673732 CPUtime=2.8 cores=0-7
/proc/22290/task/22293/stat : 22293 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 14387 0 0 0 270 10 0 0 19 0 8 0 779472781 689901568 97193 33554432000 4194304 4580107 140734720393680 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22290/tid=22294] ppid=22288 vsize=673732 CPUtime=2.84 cores=0-7
/proc/22290/task/22294/stat : 22294 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 15818 0 0 0 274 10 0 0 19 0 8 0 779472781 689901568 97193 33554432000 4194304 4580107 140734720393680 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22290/tid=22295] ppid=22288 vsize=673732 CPUtime=2.84 cores=0-7
/proc/22290/task/22295/stat : 22295 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 16461 0 0 0 275 9 0 0 19 0 8 0 779472781 689901568 97193 33554432000 4194304 4580107 140734720393680 18446744073709551615 4316526 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22290/tid=22296] ppid=22288 vsize=673732 CPUtime=2.83 cores=0-7
/proc/22290/task/22296/stat : 22296 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 16300 0 0 0 272 11 0 0 19 0 8 0 779472781 689901568 97193 33554432000 4194304 4580107 140734720393680 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22290/tid=22297] ppid=22288 vsize=673732 CPUtime=2.98 cores=0-7
/proc/22290/task/22297/stat : 22297 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 6151 0 0 0 295 3 0 0 20 0 8 0 779472781 689901568 97193 33554432000 4194304 4580107 140734720393680 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 22.77
Current children cumulated vsize (KiB) 673732
[startup+6.30051 s]
/proc/loadavg: 7.52 7.98 8.01 9/430 22298
/proc/meminfo: memFree=14759048/32951124 swapFree=44485824/67111528
[pid=22290] ppid=22288 vsize=826500 CPUtime=48.31 cores=0-7
/proc/22290/stat : 22290 (strangenight2-m) R 22288 22290 22264 0 -1 4202496 142572 0 0 0 4750 81 0 0 25 0 8 0 779472781 846336000 102530 33554432000 4194304 4580107 140734720393680 18446744073709551615 4318708 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22290/statm: 206625 102530 379 95 0 201607 0
[pid=22290/tid=22291] ppid=22288 vsize=826500 CPUtime=5.98 cores=0-7
/proc/22290/task/22291/stat : 22291 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 18663 0 0 0 589 9 0 0 25 0 8 0 779472781 846336000 102530 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22290/tid=22292] ppid=22288 vsize=826500 CPUtime=5.94 cores=0-7
/proc/22290/task/22292/stat : 22292 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 17626 0 0 0 585 9 0 0 25 0 8 0 779472781 846336000 102530 33554432000 4194304 4580107 140734720393680 18446744073709551615 4322504 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22290/tid=22293] ppid=22288 vsize=826500 CPUtime=6 cores=0-7
/proc/22290/task/22293/stat : 22293 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 18185 0 0 0 589 11 0 0 25 0 8 0 779472781 846336000 102530 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22290/tid=22294] ppid=22288 vsize=826500 CPUtime=6.04 cores=0-7
/proc/22290/task/22294/stat : 22294 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 18698 0 0 0 593 11 0 0 25 0 8 0 779472781 846336000 102530 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22290/tid=22295] ppid=22288 vsize=826500 CPUtime=6.04 cores=0-7
/proc/22290/task/22295/stat : 22295 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 20265 0 0 0 594 10 0 0 25 0 8 0 779472781 846336000 102530 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22290/tid=22296] ppid=22288 vsize=826500 CPUtime=6.03 cores=0-7
/proc/22290/task/22296/stat : 22296 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 20155 0 0 0 591 12 0 0 25 0 8 0 779472781 846336000 102530 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22290/tid=22297] ppid=22288 vsize=826500 CPUtime=6.18 cores=0-7
/proc/22290/task/22297/stat : 22297 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 8950 0 0 0 614 4 0 0 25 0 8 0 779472781 846336000 102530 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
################
# More data... #
################
[startup+4722.3 s]
/proc/loadavg: 8.03 8.04 8.00 9/430 22436
/proc/meminfo: memFree=14127308/32951124 swapFree=44485824/67111528
[pid=22290] ppid=22288 vsize=1942012 CPUtime=37710 cores=0-7
/proc/22290/stat : 22290 (strangenight2-m) R 22288 22290 22264 0 -1 4202496 6566404 0 0 0 3768229 2768 0 0 25 0 8 0 779472781 1988620288 259437 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/22290/statm: 485503 259442 380 95 0 480485 0
[pid=22290/tid=22291] ppid=22288 vsize=1942012 CPUtime=4721.01 cores=0-7
/proc/22290/task/22291/stat : 22291 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 900415 0 0 0 471764 337 0 0 25 0 8 0 779472781 1988620288 259444 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22290/tid=22292] ppid=22288 vsize=1942012 CPUtime=4679.43 cores=0-7
/proc/22290/task/22292/stat : 22292 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 364069 0 0 0 467735 208 0 0 25 0 8 0 779472781 1988620288 259447 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22290/tid=22293] ppid=22288 vsize=1942012 CPUtime=4722.12 cores=0-7
/proc/22290/task/22293/stat : 22293 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 907121 0 0 0 471798 414 0 0 25 0 8 0 779472781 1988620288 259450 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22290/tid=22294] ppid=22288 vsize=1942012 CPUtime=4722.18 cores=0-7
/proc/22290/task/22294/stat : 22294 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 908259 0 0 0 471817 401 0 0 25 0 8 0 779472781 1988620288 259453 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22290/tid=22295] ppid=22288 vsize=1942012 CPUtime=4722.05 cores=0-7
/proc/22290/task/22295/stat : 22295 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 852133 0 0 0 471888 317 0 0 25 0 8 0 779472781 1988620288 259457 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22290/tid=22296] ppid=22288 vsize=1942012 CPUtime=4722.01 cores=0-7
/proc/22290/task/22296/stat : 22296 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 900197 0 0 0 471838 363 0 0 25 0 8 0 779472781 1988620288 259460 33554432000 4194304 4580107 140734720393680 18446744073709551615 4485991 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22290/tid=22297] ppid=22288 vsize=1942012 CPUtime=4721.55 cores=0-7
/proc/22290/task/22297/stat : 22297 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 838980 0 0 0 471833 322 0 0 25 0 8 0 779472781 1988620288 259463 33554432000 4194304 4580107 140734720393680 18446744073709551615 4320813 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 37710
Current children cumulated vsize (KiB) 1942012
[startup+4782.32 s]
/proc/loadavg: 8.07 8.05 8.00 9/430 22438
/proc/meminfo: memFree=14146912/32951124 swapFree=44485824/67111528
[pid=22290] ppid=22288 vsize=1963120 CPUtime=38189.3 cores=0-7
/proc/22290/stat : 22290 (strangenight2-m) R 22288 22290 22264 0 -1 4202496 6625170 0 0 0 3816127 2799 0 0 25 0 8 0 779472781 2010234880 254123 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294960 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/22290/statm: 490780 254123 380 95 0 485762 0
[pid=22290/tid=22291] ppid=22288 vsize=1963120 CPUtime=4781.02 cores=0-7
/proc/22290/task/22291/stat : 22291 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 909268 0 0 0 477760 342 0 0 25 0 8 0 779472781 2010234880 254123 33554432000 4194304 4580107 140734720393680 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22290/tid=22292] ppid=22288 vsize=1963120 CPUtime=4739.45 cores=0-7
/proc/22290/task/22292/stat : 22292 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 367912 0 0 0 473734 211 0 0 25 0 8 0 779472781 2010234880 254123 33554432000 4194304 4580107 140734720393680 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22290/tid=22293] ppid=22288 vsize=1963120 CPUtime=4782.14 cores=0-7
/proc/22290/task/22293/stat : 22293 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 916443 0 0 0 477794 420 0 0 25 0 8 0 779472781 2010234880 254123 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22290/tid=22294] ppid=22288 vsize=1963120 CPUtime=4782.21 cores=0-7
/proc/22290/task/22294/stat : 22294 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 917310 0 0 0 477814 407 0 0 25 0 8 0 779472781 2010234880 254123 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22290/tid=22295] ppid=22288 vsize=1963120 CPUtime=4782.07 cores=0-7
/proc/22290/task/22295/stat : 22295 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 860123 0 0 0 477887 320 0 0 25 0 8 0 779472781 2010234880 254123 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22290/tid=22296] ppid=22288 vsize=1963120 CPUtime=4782.03 cores=0-7
/proc/22290/task/22296/stat : 22296 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 909482 0 0 0 477835 368 0 0 25 0 8 0 779472781 2010234880 254123 33554432000 4194304 4580107 140734720393680 18446744073709551615 4296285 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22290/tid=22297] ppid=22288 vsize=1963120 CPUtime=4781.57 cores=0-7
/proc/22290/task/22297/stat : 22297 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 845528 0 0 0 477832 325 0 0 25 0 8 0 779472781 2010234880 254123 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 38189.3
Current children cumulated vsize (KiB) 1963120
[startup+4842.3 s]
/proc/loadavg: 8.08 8.05 8.00 9/430 22439
/proc/meminfo: memFree=14139208/32951124 swapFree=44485824/67111528
[pid=22290] ppid=22288 vsize=1952116 CPUtime=38668.3 cores=0-7
/proc/22290/stat : 22290 (strangenight2-m) R 22288 22290 22264 0 -1 4202496 6686526 0 0 0 3864001 2829 0 0 25 0 8 0 779472781 1998966784 256396 33554432000 4194304 4580107 140734720393680 18446744073709551615 4318702 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/22290/statm: 488029 256396 380 95 0 483011 0
[pid=22290/tid=22291] ppid=22288 vsize=1952116 CPUtime=4840.99 cores=0-7
/proc/22290/task/22291/stat : 22291 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 918276 0 0 0 483754 345 0 0 25 0 8 0 779472781 1998966784 256396 33554432000 4194304 4580107 140734720393680 18446744073709551615 4322736 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22290/tid=22292] ppid=22288 vsize=1952116 CPUtime=4799.43 cores=0-7
/proc/22290/task/22292/stat : 22292 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 372217 0 0 0 479730 213 0 0 25 0 8 0 779472781 1998966784 256396 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22290/tid=22293] ppid=22288 vsize=1952116 CPUtime=4842.13 cores=0-7
/proc/22290/task/22293/stat : 22293 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 925297 0 0 0 483788 425 0 0 25 0 8 0 779472781 1998966784 256396 33554432000 4194304 4580107 140734720393680 18446744073709551615 4322570 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22290/tid=22294] ppid=22288 vsize=1952116 CPUtime=4842.19 cores=0-7
/proc/22290/task/22294/stat : 22294 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 925964 0 0 0 483808 411 0 0 25 0 8 0 779472781 1998966784 256396 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22290/tid=22295] ppid=22288 vsize=1952116 CPUtime=4842.05 cores=0-7
/proc/22290/task/22295/stat : 22295 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 864472 0 0 0 483884 321 0 0 25 0 8 0 779472781 1998966784 256396 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22290/tid=22296] ppid=22288 vsize=1952116 CPUtime=4842.01 cores=0-7
/proc/22290/task/22296/stat : 22296 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 918452 0 0 0 483829 372 0 0 25 0 8 0 779472781 1998966784 256396 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22290/tid=22297] ppid=22288 vsize=1952116 CPUtime=4841.56 cores=0-7
/proc/22290/task/22297/stat : 22297 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 854170 0 0 0 483828 328 0 0 25 0 8 0 779472781 1998966784 256396 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 38668.3
Current children cumulated vsize (KiB) 1952116
[startup+4902.3 s]
/proc/loadavg: 8.07 8.06 8.00 9/430 22441
/proc/meminfo: memFree=14174908/32951124 swapFree=44485824/67111528
[pid=22290] ppid=22288 vsize=1810336 CPUtime=39147.4 cores=0-7
/proc/22290/stat : 22290 (strangenight2-m) R 22288 22290 22264 0 -1 4202496 6748455 0 0 0 3911887 2858 0 0 25 0 8 0 779472781 1853784064 247043 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/22290/statm: 452584 247043 380 95 0 447566 0
[pid=22290/tid=22291] ppid=22288 vsize=1810336 CPUtime=4900.97 cores=0-7
/proc/22290/task/22291/stat : 22291 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 927062 0 0 0 489747 350 0 0 25 0 8 0 779472781 1853784064 247043 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22290/tid=22292] ppid=22288 vsize=1810336 CPUtime=4859.44 cores=0-7
/proc/22290/task/22292/stat : 22292 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 376499 0 0 0 485728 216 0 0 25 0 8 0 779472781 1853784064 247043 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22290/tid=22293] ppid=22288 vsize=1810336 CPUtime=4902.13 cores=0-7
/proc/22290/task/22293/stat : 22293 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 934223 0 0 0 489783 430 0 0 25 0 8 0 779472781 1853784064 247043 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22290/tid=22294] ppid=22288 vsize=1810336 CPUtime=4902.19 cores=0-7
/proc/22290/task/22294/stat : 22294 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 934396 0 0 0 489805 414 0 0 25 0 8 0 779472781 1853784064 247043 33554432000 4194304 4580107 140734720393680 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22290/tid=22295] ppid=22288 vsize=1810336 CPUtime=4902.05 cores=0-7
/proc/22290/task/22295/stat : 22295 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 873439 0 0 0 489882 323 0 0 25 0 8 0 779472781 1853784064 247043 33554432000 4194304 4580107 140734720393680 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22290/tid=22296] ppid=22288 vsize=1810336 CPUtime=4902.02 cores=0-7
/proc/22290/task/22296/stat : 22296 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 926887 0 0 0 489827 375 0 0 25 0 8 0 779472781 1853784064 247043 33554432000 4194304 4580107 140734720393680 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22290/tid=22297] ppid=22288 vsize=1810336 CPUtime=4901.55 cores=0-7
/proc/22290/task/22297/stat : 22297 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 863027 0 0 0 489823 332 0 0 25 0 8 0 779472781 1853784064 247043 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 39147.4
Current children cumulated vsize (KiB) 1810336
[startup+4962.3 s]
/proc/loadavg: 8.11 8.07 8.01 9/430 22443
/proc/meminfo: memFree=14162124/32951124 swapFree=44485824/67111528
[pid=22290] ppid=22288 vsize=1699792 CPUtime=39626.6 cores=0-7
/proc/22290/stat : 22290 (strangenight2-m) R 22288 22290 22264 0 -1 4202496 6804600 0 0 0 3959774 2886 0 0 25 0 8 0 779472781 1740587008 243050 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/22290/statm: 424948 243050 380 95 0 419930 0
[pid=22290/tid=22291] ppid=22288 vsize=1699792 CPUtime=4960.96 cores=0-7
/proc/22290/task/22291/stat : 22291 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 936010 0 0 0 495741 355 0 0 25 0 8 0 779472781 1740587008 243050 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22290/tid=22292] ppid=22288 vsize=1699792 CPUtime=4919.44 cores=0-7
/proc/22290/task/22292/stat : 22292 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 380207 0 0 0 491725 219 0 0 25 0 8 0 779472781 1740587008 243050 33554432000 4194304 4580107 140734720393680 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22290/tid=22293] ppid=22288 vsize=1699792 CPUtime=4962.14 cores=0-7
/proc/22290/task/22293/stat : 22293 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 942732 0 0 0 495780 434 0 0 25 0 8 0 779472781 1740587008 243050 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22290/tid=22294] ppid=22288 vsize=1699792 CPUtime=4962.19 cores=0-7
/proc/22290/task/22294/stat : 22294 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 943280 0 0 0 495800 419 0 0 25 0 8 0 779472781 1740587008 243050 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22290/tid=22295] ppid=22288 vsize=1699792 CPUtime=4962.05 cores=0-7
/proc/22290/task/22295/stat : 22295 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 882377 0 0 0 495878 327 0 0 25 0 8 0 779472781 1740587008 243050 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22290/tid=22296] ppid=22288 vsize=1699792 CPUtime=4962.02 cores=0-7
/proc/22290/task/22296/stat : 22296 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 935485 0 0 0 495824 378 0 0 25 0 8 0 779472781 1740587008 243050 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294574 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22290/tid=22297] ppid=22288 vsize=1699792 CPUtime=4961.55 cores=0-7
/proc/22290/task/22297/stat : 22297 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 866936 0 0 0 495821 334 0 0 25 0 8 0 779472781 1740587008 243050 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 39626.6
Current children cumulated vsize (KiB) 1699792
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5009.1 s]
/proc/loadavg: 8.10 8.08 8.01 9/430 22444
/proc/meminfo: memFree=14083120/32951124 swapFree=44485824/67111528
[pid=22290] ppid=22288 vsize=1877836 CPUtime=40000.4 cores=0-7
/proc/22290/stat : 22290 (strangenight2-m) R 22288 22290 22264 0 -1 4202496 6847060 0 0 0 3997136 2909 0 0 25 0 8 0 779472781 1922904064 269975 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/22290/statm: 469459 269975 380 95 0 464441 0
[pid=22290/tid=22291] ppid=22288 vsize=1877836 CPUtime=5007.77 cores=0-7
/proc/22290/task/22291/stat : 22291 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 941008 0 0 0 500420 357 0 0 25 0 8 0 779472781 1922904064 269975 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22290/tid=22292] ppid=22288 vsize=1877836 CPUtime=4966.26 cores=0-7
/proc/22290/task/22292/stat : 22292 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 384671 0 0 0 496405 221 0 0 25 0 8 0 779472781 1922904064 269975 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22290/tid=22293] ppid=22288 vsize=1877836 CPUtime=5008.95 cores=0-7
/proc/22290/task/22293/stat : 22293 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 947642 0 0 0 500458 437 0 0 25 0 8 0 779472781 1922904064 269975 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22290/tid=22294] ppid=22288 vsize=1877836 CPUtime=5009.01 cores=0-7
/proc/22290/task/22294/stat : 22294 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 948719 0 0 0 500477 424 0 0 25 0 8 0 779472781 1922904064 269975 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22290/tid=22295] ppid=22288 vsize=1877836 CPUtime=5008.86 cores=0-7
/proc/22290/task/22295/stat : 22295 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 889593 0 0 0 500556 330 0 0 25 0 8 0 779472781 1922904064 269975 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22290/tid=22296] ppid=22288 vsize=1877836 CPUtime=5008.83 cores=0-7
/proc/22290/task/22296/stat : 22296 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 940256 0 0 0 500503 380 0 0 25 0 8 0 779472781 1922904064 269975 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22290/tid=22297] ppid=22288 vsize=1877836 CPUtime=5008.38 cores=0-7
/proc/22290/task/22297/stat : 22297 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 874924 0 0 0 500500 338 0 0 25 0 8 0 779472781 1922904064 269975 33554432000 4194304 4580107 140734720393680 18446744073709551615 4320772 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 40000.4
Current children cumulated vsize (KiB) 1877836
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5009.1 s]
/proc/loadavg: 8.10 8.08 8.01 9/430 22444
/proc/meminfo: memFree=14083120/32951124 swapFree=44485824/67111528
[pid=22290] ppid=22288 vsize=1877836 CPUtime=40000.4 cores=0-7
/proc/22290/stat : 22290 (strangenight2-m) R 22288 22290 22264 0 -1 4202496 6847060 0 0 0 3997136 2909 0 0 25 0 8 0 779472781 1922904064 269975 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/22290/statm: 469459 269975 380 95 0 464441 0
[pid=22290/tid=22291] ppid=22288 vsize=1877836 CPUtime=5007.77 cores=0-7
/proc/22290/task/22291/stat : 22291 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 941008 0 0 0 500420 357 0 0 25 0 8 0 779472781 1922904064 269975 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22290/tid=22292] ppid=22288 vsize=1877836 CPUtime=4966.26 cores=0-7
/proc/22290/task/22292/stat : 22292 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 384671 0 0 0 496405 221 0 0 25 0 8 0 779472781 1922904064 269975 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22290/tid=22293] ppid=22288 vsize=1877836 CPUtime=5008.95 cores=0-7
/proc/22290/task/22293/stat : 22293 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 947642 0 0 0 500458 437 0 0 25 0 8 0 779472781 1922904064 269975 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22290/tid=22294] ppid=22288 vsize=1877836 CPUtime=5009.01 cores=0-7
/proc/22290/task/22294/stat : 22294 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 948719 0 0 0 500477 424 0 0 25 0 8 0 779472781 1922904064 269975 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22290/tid=22295] ppid=22288 vsize=1877836 CPUtime=5008.86 cores=0-7
/proc/22290/task/22295/stat : 22295 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 889593 0 0 0 500556 330 0 0 25 0 8 0 779472781 1922904064 269975 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22290/tid=22296] ppid=22288 vsize=1877836 CPUtime=5008.83 cores=0-7
/proc/22290/task/22296/stat : 22296 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 940256 0 0 0 500503 380 0 0 25 0 8 0 779472781 1922904064 269975 33554432000 4194304 4580107 140734720393680 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22290/tid=22297] ppid=22288 vsize=1877836 CPUtime=5008.38 cores=0-7
/proc/22290/task/22297/stat : 22297 (strangenight2-m) R 22288 22290 22264 0 -1 4202560 874924 0 0 0 500500 338 0 0 25 0 8 0 779472781 1922904064 269975 33554432000 4194304 4580107 140734720393680 18446744073709551615 4320772 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 40000.4
Current children cumulated vsize (KiB) 1877836
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5009.17
CPU time (s): 40000.6
CPU user time (s): 39971.4
CPU system time (s): 29.1466
CPU usage (%): 798.546
Max. virtual memory (cumulated for all children) (KiB): 2030336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39971.4
system time used= 29.1466
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6847067
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= 81402
involuntary context switches= 116326
runsolver used 19.3671 second user time and 50.0934 second system time
The end
Launcher Data
Begin job on node105 at 2011-05-29 16:18:43
IDJOB=3421597
IDBENCH=83245
IDSOLVER=1878
FILE ID=node105/3421597-1306678723
RUNJOBID= node105-1306678723-22278
PBS_JOBID= 13471813
Free space on /tmp= 73188 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-3-6_2072.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3421597-1306678723/watcher-3421597-1306678723 -o /tmp/evaluation-result-3421597-1306678723/solver-3421597-1306678723 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3421597-1306678723.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= d2ef996f95bbf68a3c980c797dfdc364
RANDOM SEED=716097667
node105.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.825
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.65
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.825
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 : 5226.15
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.825
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.82
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.825
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.75
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.825
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 : 5410.70
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.825
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.74
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.825
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.82
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.825
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.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 15161924 kB
Buffers: 369156 kB
Cached: 13510864 kB
SwapCached: 39596 kB
Active: 6977176 kB
Inactive: 10489420 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 15161924 kB
SwapTotal: 67111528 kB
SwapFree: 44485824 kB
Dirty: 7764 kB
Writeback: 0 kB
AnonPages: 3555064 kB
Mapped: 18524 kB
Slab: 172600 kB
PageTables: 81252 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 114854988 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= 73184 MiB
End job on node105 at 2011-05-29 17:42:15