Trace number 3421602
Some explanations
A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process.
The trace of the execution of a solver is divided into four (or five) parts:
-
SOLVER DATA
This is the output of the solver (stdout and stderr).
Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.
When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.
As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
-
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
-
CONVERSION SCRIPT DATA (Optionnal)
When a conversion script is used, this section shows the messages that were output by the conversion script.
-
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver.
The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
-
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.
Solver answer on this benchmark
General information on the benchmark
| Name | crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-5-5_34309.cnf |
| MD5SUM | e252fbf81407f3388187ab50f0786909 |
| 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 | 34307 |
| Number of clauses | 708206 |
| Sum of the clauses size | 3541030 |
| Maximum clause length | 5 |
| Minimum clause length | 5 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 0 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 708206 |
| Number of clauses of size over 5 | 0 |
Solver Data
0.00/0.00 c Outputting solution to console
0.00/0.02 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-3421602-1306678783.cnf'
0.00/0.02 c -- header says num vars: 34307
0.00/0.02 c -- header says num clauses: 708206
6.53/1.12 c -- clauses added: 0 learnts, 708206 normals, 0 xors
6.53/1.12 c -- vars added 34307
6.53/1.12 c Parsing time: 0.50 s
6.53/1.12 c N st 0 0 34307 708206 0 0 3541030 0 no data no data
11.72/1.88 c asymm cl-useful: 0/41100/708206 lits-rem:0 time: 0.70
16.41/2.41 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 6.5M T: 0.51
26.14/4.52 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
26.14/4.52 c bin-w-bin subsume rem 0 bins time: 0.00 s
26.14/4.52 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
26.14/4.52 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 34307 time: 0.00 s
26.14/4.52 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.00 s
37.14/5.94 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 1.36 s
37.14/5.95 c Finding binary XORs T: 0.01 s found: 0
42.87/6.62 c Finding non-binary XORs: 0.62 s (found: 0, avg size: nan)
42.87/6.62 c calculated reachability. Time: 0.00
43.52/6.70 c Calc default polars - time: 0.07 s pos: 0 undec: 34307 neg: 0
43.52/6.70 c =========================================================================================
43.52/6.70 c types(t): F = full restart, N = normal restart
43.52/6.70 c types(t): S = simplification begin/end, E = solution found
43.52/6.70 c restart types(rt): st = static, dy = dynamic
43.52/6.70 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
43.52/6.70 c B st 0 0 34307 708206 0 0 3541030 0 no data no data
49.92/7.58 c N dy 20 4300 34307 708206 0 4294 3541030 1008255 159.13 169.26
54.70/8.11 c N dy 42 8305 34307 708206 0 8297 3541030 1815613 151.08 159.16
58.70/8.65 c N dy 65 12337 34307 708206 0 12328 3541030 2595581 147.64 155.43
63.48/9.28 c N dy 93 16380 34307 708206 0 16369 3541030 3400197 147.17 164.65
69.18/10.00 c N dy 119 20484 34307 708206 0 10481 3541030 716324 146.11 154.60
73.83/10.57 c N dy 145 24584 34307 708206 0 14580 3541030 1517968 145.84 164.93
74.64/10.62 c F st 147 25001 34307 708206 0 14997 3541030 1594218 145.63 132.25
76.22/10.86 c Found part 41 vars: 4293 clauses: 88534 lits size: 442670
76.22/10.86 c Found part 48 vars: 4265 clauses: 86046 lits size: 430230
76.22/10.86 c Found part 63 vars: 4257 clauses: 85800 lits size: 429000
76.22/10.86 c Found part 66 vars: 4296 clauses: 89914 lits size: 449570
76.22/10.86 c Found part 67 vars: 17196 clauses: 357912 lits size: 1789560
76.22/10.86 c Found parts: 5 time: 0.24 s
76.22/10.86 c Solving part 63
77.05/10.98 c N st 0 0 4257 85800 0 0 429000 0 no data no data
80.99/11.49 c asymm cl-useful: 0/85800/85800 lits-rem:0 time: 0.51
81.80/11.51 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.02
81.80/11.52 c Finding binary XORs T: 0.00 s found: 0
81.80/11.55 c Finding non-binary XORs: 0.03 s (found: 0, avg size: nan)
81.80/11.55 c calculated reachability. Time: 0.00
81.80/11.56 c Calc default polars - time: 0.00 s pos: 0 undec: 34307 neg: 0
81.80/11.56 c =========================================================================================
81.80/11.56 c types(t): F = full restart, N = normal restart
81.80/11.56 c types(t): S = simplification begin/end, E = solution found
81.80/11.56 c restart types(rt): st = static, dy = dynamic
81.80/11.56 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
81.80/11.56 c B st 0 0 4257 85800 0 0 429000 0 no data no data
87.37/12.25 c N dy 17 4285 4257 85800 0 4285 429000 965177 152.87 162.70
91.37/12.75 c N dy 42 8397 4257 85800 0 8394 429000 1794414 150.25 158.53
96.15/13.30 c N dy 69 12496 4257 85800 0 12490 429000 2621131 149.80 174.37
100.14/13.85 c N dy 94 16511 4257 85800 0 16503 429000 3415634 148.37 196.45
104.92/14.48 c N dy 119 20600 4257 85800 0 10595 429000 759543 148.43 186.45
109.72/15.04 c N dy 145 24790 4257 85800 0 14783 429000 1586289 147.62 156.50
109.72/15.06 c F st 147 25002 4257 85800 0 14995 429000 1629109 147.54 no data
115.31/15.79 c N dy 153 30203 4257 85800 0 20193 429000 2848312 147.54 no data
120.94/16.42 c N dy 178 34318 4257 85800 0 24305 429000 3687061 147.63 158.56
125.69/17.06 c N dy 207 38407 4257 85800 0 28392 429000 4507898 147.97 156.79
131.27/17.72 c N dy 233 42586 4257 85800 0 17081 429000 1036767 147.39 155.74
136.07/18.33 c N dy 263 46747 4257 85800 0 21240 429000 1889594 147.70 157.45
140.85/18.95 c N dy 289 50838 4257 85800 0 25330 429000 2691327 147.35 155.35
145.65/19.59 c N dy 316 54877 4257 85800 0 29367 429000 3496990 147.29 157.51
151.22/20.26 c N dy 342 58968 4257 85800 0 33457 429000 4314808 147.01 155.61
157.61/21.00 c N dy 369 63124 4257 85800 0 18873 429000 716909 146.95 158.32
162.41/21.62 c N dy 395 67247 4257 85800 0 22994 429000 1551585 146.78 155.41
167.20/22.29 c N dy 420 71689 4257 85800 0 27436 429000 2431850 146.50 159.81
173.61/23.03 c N dy 448 76303 4257 85800 0 32048 429000 3338278 146.23 155.31
179.96/23.82 c N dy 478 81200 4257 85800 0 36944 429000 4288347 145.85 154.82
187.13/24.79 c N dy 516 86380 4257 85800 0 21258 429000 712267 145.84 157.79
188.74/24.96 c F st 524 87500 4257 85800 0 22376 429000 924494 145.78 121.85
195.91/25.81 c N dy 530 92696 4257 85800 0 27566 429000 2186878 145.78 no data
203.90/26.87 c N dy 565 98661 4257 85800 0 33528 429000 3378624 145.61 157.12
214.27/28.10 c N dy 609 105014 4257 85800 0 39879 429000 4645291 145.70 155.25
224.65/29.45 c N dy 658 111795 4257 85800 0 24236 429000 966734 145.82 181.60
233.43/30.59 c N dy 708 119015 4257 85800 0 31453 429000 2394993 145.75 159.58
244.73/31.95 c N dy 762 126638 4257 85800 0 39076 429000 3950102 145.95 155.11
256.58/33.45 c N dy 810 134790 4257 85800 0 47223 429000 5572567 145.81 156.83
269.35/35.05 c N dy 867 143680 4257 85800 0 32402 429000 2328247 145.89 158.53
283.71/36.84 c N dy 927 152950 4257 85800 0 41669 429000 4164676 145.84 154.62
300.48/38.91 c N dy 1002 162973 4257 85800 0 26834 429000 923432 145.95 163.49
314.09/40.67 c N dy 1077 173433 4257 85800 0 37290 429000 3004461 146.01 174.37
330.81/42.76 c N dy 1159 184700 4257 85800 0 48552 429000 5273453 146.15 157.93
347.58/44.81 c N dy 1239 196485 4257 85800 0 34414 429000 2221821 146.11 154.34
365.94/47.13 c N dy 1323 209164 4257 85800 0 47090 429000 4741212 145.96 156.08
385.23/49.57 c N dy 1411 222610 4257 85800 0 33569 429000 1810777 145.82 155.05
405.84/52.11 c N dy 1503 236892 4257 85800 0 47848 429000 4648460 145.66 155.52
428.22/55.00 c N dy 1601 252065 4257 85800 0 35045 429000 1883639 145.58 164.23
455.45/58.34 c N dy 1715 268251 4257 85800 0 51228 429000 5191290 145.71 160.03
480.91/61.58 c N dy 1814 285460 4257 85800 0 39449 429000 2584690 145.47 191.41
508.79/65.07 c N dy 1936 303741 4257 85800 0 57722 429000 6234312 145.51 156.81
513.59/65.64 c F st 1956 306250 4257 85800 0 30243 429000 536304 145.53 no data
539.12/68.87 c N dy 2037 323225 4257 85800 0 47213 429000 4204623 145.49 153.51
573.45/73.12 c N dy 2171 343226 4257 85800 0 36223 429000 1550426 145.46 160.59
602.18/76.74 c N dy 2301 363231 4257 85800 0 56220 429000 5557271 145.42 157.62
632.50/80.54 c N dy 2428 383511 4257 85800 0 44500 429000 2965524 145.32 154.46
664.44/84.54 c N dy 2564 403552 4257 85800 0 64536 429000 6986046 145.38 202.52
697.15/88.65 c N dy 2693 423594 4257 85800 0 51592 429000 4222136 145.35 156.60
733.06/93.19 c N dy 2823 443712 4257 85800 0 37713 429000 1231559 145.32 154.42
767.39/97.46 c N dy 2953 463947 4257 85800 0 57942 429000 5255408 145.27 158.83
801.71/101.76 c N dy 3085 484026 4257 85800 0 43021 429000 2093732 145.27 156.28
832.96/105.68 c N dy 3207 504096 4257 85800 0 63089 429000 6057175 145.20 157.90
864.76/109.66 c N dy 3336 524261 4257 85800 0 47263 429000 2746245 145.15 154.72
898.27/113.83 c N dy 3473 544381 4257 85800 0 67377 429000 6794319 145.20 155.36
930.19/117.81 c N dy 3602 564526 4257 85800 0 50529 429000 3200358 145.19 153.27
963.76/122.07 c N dy 3740 584584 4257 85800 0 70581 429000 7180079 145.20 153.86
995.64/126.05 c N dy 3872 604678 4257 85800 0 52680 429000 3470876 145.21 165.72
1030.76/130.42 c N dy 4014 624743 4257 85800 0 72738 429000 7482823 145.25 153.00
1062.67/134.47 c N dy 4144 644958 4257 85800 0 53958 429000 3458998 145.22 154.57
1097.79/138.84 c N dy 4280 665001 4257 85800 0 73995 429000 7493214 145.24 153.68
1130.57/142.96 c N dy 4415 685070 4257 85800 0 54067 429000 3342325 145.25 153.56
1164.85/147.28 c N dy 4551 705267 4257 85800 0 74259 429000 7411480 145.27 154.56
1200.79/151.80 c N dy 4690 725414 4257 85800 0 53412 429000 3014808 145.34 156.15
1239.05/156.56 c N dy 4819 745432 4257 85800 0 73423 429000 7032468 145.37 154.67
1275.75/161.16 c N dy 4952 765495 4257 85800 0 51493 429000 2437616 145.39 167.33
1309.26/165.39 c N dy 5089 785503 4257 85800 0 71491 429000 6415607 145.42 157.32
1345.18/169.90 c N dy 5213 805641 4257 85800 0 48638 429000 1639898 145.38 155.16
1378.69/174.04 c N dy 5350 825712 4257 85800 0 68702 429000 5639768 145.38 155.38
1416.20/178.79 c N dy 5485 845739 4257 85800 0 44734 429000 694024 145.39 172.47
1448.92/182.82 c N dy 5613 865803 4257 85800 0 64790 429000 4685660 145.38 155.73
1485.64/187.50 c N dy 5748 885895 4257 85800 0 84874 429000 8690901 145.37 155.97
1520.75/191.85 c N dy 5886 905944 4257 85800 0 59935 429000 3537354 145.38 154.37
1556.66/196.34 c N dy 6021 925985 4257 85800 0 79974 429000 7573550 145.40 161.87
1594.18/201.03 c N dy 6163 946008 4257 85800 0 54004 429000 2142134 145.43 154.50
1627.68/205.26 c N dy 6298 966103 4257 85800 0 74096 429000 6144257 145.43 153.65
1667.57/210.20 c N dy 6430 986161 4257 85800 0 47158 429000 597310 145.40 156.28
1699.50/214.24 c N dy 6567 1006196 4257 85800 0 67185 429000 4614274 145.40 153.34
1736.25/218.89 c N dy 6701 1026282 4257 85800 0 87262 429000 8613795 145.39 157.82
1772.91/223.45 c N dy 6836 1046349 4257 85800 0 59331 429000 2821550 145.40 156.77
1808.03/227.81 c N dy 6962 1066490 4257 85800 0 79463 429000 6834325 145.38 155.73
1817.61/229.08 c F st 6995 1071876 4257 85800 0 84844 429000 7899520 145.37 no data
1845.55/232.59 c N dy 7063 1086637 4257 85800 0 50618 429000 901908 145.35 153.27
1879.07/236.77 c N dy 7198 1106749 4257 85800 0 70723 429000 4939532 145.37 153.78
1922.15/242.12 c N dy 7333 1126839 4257 85800 0 90803 429000 8936056 145.36 154.39
1961.25/247.08 c N dy 7474 1146899 4257 85800 0 60884 429000 2781231 145.37 153.53
1997.15/251.56 c N dy 7600 1166960 4257 85800 0 80934 429000 6775253 145.37 185.18
2038.65/256.79 c N dy 7736 1187092 4257 85800 0 101065 429000 10800669 145.38 154.09
2072.96/261.03 c N dy 7867 1207166 4257 85800 0 70160 429000 4424049 145.37 153.92
2111.28/265.89 c N dy 8006 1227317 4257 85800 0 90303 429000 8453299 145.38 155.68
2151.16/270.85 c N dy 8142 1247348 4257 85800 0 58343 429000 1859782 145.37 158.43
2186.28/275.23 c N dy 8270 1267671 4257 85800 0 78656 429000 5889917 145.35 154.12
2226.98/280.36 c N dy 8408 1287849 4257 85800 0 98825 429000 9965796 145.36 155.30
2264.48/285.07 c N dy 8548 1307937 4257 85800 0 65921 429000 3155966 145.37 153.73
2301.99/289.70 c N dy 8686 1327996 4257 85800 0 85974 429000 7160942 145.37 153.10
2344.29/295.04 c N dy 8823 1348080 4257 85800 0 106054 429000 11169850 145.38 154.42
2379.40/299.47 c N dy 8967 1368117 4257 85800 0 72108 429000 4244963 145.40 153.45
2417.71/304.25 c N dy 9100 1388128 4257 85800 0 92111 429000 8276750 145.42 154.66
2460.01/309.55 c N dy 9226 1408146 4257 85800 0 57133 429000 1032162 145.39 153.56
2495.12/313.99 c N dy 9369 1428235 4257 85800 0 77214 429000 5046712 145.41 162.17
2536.62/319.10 c N dy 9513 1448243 4257 85800 0 97211 429000 9133467 145.46 174.73
2578.12/324.38 c N dy 9647 1468249 4257 85800 0 61232 429000 1653937 145.46 191.51
2614.95/328.93 c N dy 9789 1488290 4257 85800 0 81269 429000 5714197 145.49 155.99
2656.31/334.12 c N dy 9926 1508377 4257 85800 0 101347 429000 9748978 145.50 154.52
2698.60/339.40 c N dy 10066 1528460 4257 85800 0 64443 429000 2132908 145.53 153.55
2735.30/344.00 c N dy 10193 1548525 4257 85800 0 84500 429000 6104117 145.51 153.41
2776.01/349.14 c N dy 10324 1568616 4257 85800 0 104580 429000 10097676 145.49 154.76
2815.96/354.21 c N dy 10456 1588622 4257 85800 0 66607 429000 2341716 145.50 155.23
2852.61/358.77 c N dy 10584 1608702 4257 85800 0 86680 429000 6367026 145.48 155.30
2894.14/364.01 c N dy 10717 1628704 4257 85800 0 106677 429000 10388885 145.48 154.25
2936.42/369.22 c N dy 10856 1648767 4257 85800 0 67761 429000 2391225 145.50 178.73
2973.97/373.96 c N dy 10997 1668802 4257 85800 0 87791 429000 6395940 145.51 160.85
3016.23/379.24 c N dy 11130 1688894 4257 85800 0 107879 429000 10407286 145.51 155.70
3058.52/384.56 c N dy 11272 1709038 4257 85800 0 68026 429000 2251324 145.53 154.20
3097.76/389.45 c N dy 11411 1729243 4257 85800 0 88222 429000 6323031 145.54 154.72
3140.74/394.84 c N dy 11544 1749467 4257 85800 0 108441 429000 10423101 145.55 155.51
3185.52/400.44 c N dy 11694 1769603 4257 85800 0 67591 429000 1980390 145.59 158.31
3222.09/405.05 c N dy 11831 1789614 4257 85800 0 87596 429000 5972357 145.60 154.96
3264.53/410.34 c N dy 11967 1809690 4257 85800 0 107666 429000 9990648 145.61 154.01
3310.69/416.14 c N dy 12109 1829751 4257 85800 0 65740 429000 1404011 145.64 156.39
3352.33/421.35 c N dy 12247 1849792 4257 85800 0 85775 429000 5422651 145.65 182.28
3399.27/427.22 c N dy 12383 1869863 4257 85800 0 105835 429000 9424218 145.65 155.83
3451.14/433.75 c N dy 12515 1889962 4257 85800 0 125927 429000 13437090 145.65 156.60
3488.64/438.45 c N dy 12658 1910023 4257 85800 0 83010 429000 4686240 145.68 167.76
3530.14/443.69 c N dy 12799 1930202 4257 85800 0 103182 429000 8810918 145.70 157.66
3578.84/449.78 c N dy 12943 1950446 4257 85800 0 123420 429000 12878686 145.71 155.65
3619.53/454.85 c N dy 13079 1970590 4257 85800 0 79579 429000 3781715 145.71 154.03
3659.55/459.84 c N dy 13211 1990666 4257 85800 0 99646 429000 7781781 145.71 173.89
3705.71/465.60 c N dy 13351 2010877 4257 85800 0 119849 429000 11843587 145.72 160.29
3747.99/470.98 c N dy 13490 2030908 4257 85800 0 74898 429000 2642813 145.74 154.53
3787.08/475.86 c N dy 13623 2051013 4257 85800 0 94997 429000 6686391 145.74 155.84
3832.57/481.51 c N dy 13762 2071042 4257 85800 0 115021 429000 10701322 145.74 159.69
3879.66/487.40 c N dy 13896 2091110 4257 85800 0 69101 429000 1288123 145.74 161.41
3917.18/492.15 c N dy 14033 2111192 4257 85800 0 89177 429000 5349030 145.76 163.37
3961.08/497.63 c N dy 14170 2131539 4257 85800 0 109514 429000 9523380 145.78 155.29
4008.18/503.51 c N dy 14304 2151562 4257 85800 0 129531 429000 13521791 145.79 153.51
4048.87/508.62 c N dy 14436 2171804 4257 85800 0 82791 429000 3796523 145.77 157.62
4089.70/513.73 c N dy 14571 2191956 4257 85800 0 102938 429000 7838351 145.77 157.39
4136.63/519.65 c N dy 14716 2211985 4257 85800 0 122960 429000 11901096 145.79 154.05
4183.72/525.53 c N dy 14858 2232086 4257 85800 0 75083 429000 2107943 145.81 155.24
4222.82/530.43 c N dy 14997 2252148 4257 85800 0 95138 429000 6142851 145.82 155.18
4267.53/536.03 c N dy 15132 2272259 4257 85800 0 115240 429000 10160349 145.82 158.96
4317.04/542.29 c N dy 15280 2292328 4257 85800 0 135305 429000 14213125 145.84 154.35
4356.88/547.24 c N dy 15408 2312393 4257 85800 0 86384 429000 4164446 145.82 157.21
4399.98/552.62 c N dy 15549 2332498 4257 85800 0 106484 429000 8222707 145.84 154.34
4447.08/558.59 c N dy 15689 2352502 4257 85800 0 126484 429000 12265305 145.86 153.96
4496.55/564.71 c N dy 15824 2372543 4257 85800 0 76538 429000 2054477 145.88 217.66
4540.45/570.21 c N dy 15959 2392579 4257 85800 0 96568 429000 6146129 145.89 159.03
4590.07/576.46 c N dy 16090 2412620 4257 85800 0 116599 429000 10215480 145.89 181.41
4645.00/583.36 c N dy 16223 2432690 4257 85800 0 136664 429000 14245340 145.90 168.00
4688.87/588.87 c N dy 16366 2452770 4257 85800 0 85760 429000 3740808 145.92 166.31
4730.53/594.04 c N dy 16498 2472827 4257 85800 0 105810 429000 7750821 145.92 157.01
4778.25/600.06 c N dy 16635 2493026 4257 85800 0 126002 429000 11823280 145.93 155.84
4830.12/606.52 c N dy 16777 2513125 4257 85800 0 74114 429000 1138176 145.94 154.42
4869.22/611.46 c N dy 16924 2533196 4257 85800 0 94177 429000 5212945 145.96 176.23
4913.12/617.01 c N dy 17062 2553298 4257 85800 0 114274 429000 9339171 145.98 154.43
4963.41/623.21 c N dy 17203 2573389 4257 85800 0 134360 429000 13390885 145.99 162.17
5010.54/629.12 c N dy 17337 2593452 4257 85800 0 81435 429000 2444851 145.99 155.90
5051.19/634.29 c N dy 17475 2613563 4257 85800 0 101535 429000 6544130 146.00 155.31
5096.68/639.91 c N dy 17613 2633674 4257 85800 0 121632 429000 10571653 146.01 155.79
5146.98/646.27 c N dy 17749 2653810 4257 85800 0 141760 429000 14631188 146.01 155.25
5191.64/651.85 c N dy 17891 2673936 4257 85800 0 87915 429000 3538246 146.02 155.58
5233.93/657.18 c N dy 18028 2694008 4257 85800 0 107979 429000 7568210 146.02 154.99
5281.81/663.19 c N dy 18167 2714224 4257 85800 0 128190 429000 11687626 146.04 154.52
5335.32/669.89 c N dy 18303 2734433 4257 85800 0 148390 429000 15747206 146.04 154.62
5377.58/675.14 c N dy 18442 2754505 4257 85800 0 93495 429000 4525001 146.07 156.09
5421.48/680.60 c N dy 18579 2774535 4257 85800 0 113518 429000 8602219 146.09 176.97
5470.17/686.74 c N dy 18720 2794629 4257 85800 0 133605 429000 12658441 146.10 154.05
5525.25/693.63 c N dy 18863 2814727 4257 85800 0 77722 429000 1116324 146.12 165.22
5569.91/699.20 c N dy 18995 2834822 4257 85800 0 97811 429000 5163413 146.12 154.05
5620.19/705.55 c N dy 19131 2854937 4257 85800 0 117922 429000 9189155 146.12 154.31
5675.28/712.41 c N dy 19264 2875095 4257 85800 0 138079 429000 13291782 146.13 159.35
5731.89/719.53 c N dy 19398 2895120 4257 85800 0 81117 429000 1606944 146.13 156.04
5772.61/724.63 c N dy 19537 2915189 4257 85800 0 101181 429000 5681434 146.14 154.26
5818.14/730.37 c N dy 19668 2935243 4257 85800 0 121226 429000 9704777 146.14 164.43
5869.20/736.71 c N dy 19805 2955253 4257 85800 0 141232 429000 13738367 146.14 155.85
5921.05/743.27 c N dy 19943 2975397 4257 85800 0 83385 429000 1874653 146.16 154.02
5962.52/748.40 c N dy 20071 2995639 4257 85800 0 103621 429000 5912035 146.15 155.09
6008.83/754.25 c N dy 20211 3015713 4257 85800 0 123691 429000 9972814 146.16 162.11
6059.91/760.66 c N dy 20341 3035716 4257 85800 0 143690 429000 13983354 146.16 162.36
6112.57/767.21 c N dy 20476 3055795 4257 85800 0 84783 429000 1978845 146.16 155.29
6153.26/772.36 c N dy 20607 3075818 4257 85800 0 104801 429000 6007358 146.15 155.88
6200.34/778.23 c N dy 20739 3095870 4257 85800 0 124846 429000 10038339 146.15 159.18
6252.22/784.79 c N dy 20873 3115951 4257 85800 0 144923 429000 14069752 146.14 156.66
6306.47/791.51 c N dy 21006 3135980 4257 85800 0 84971 429000 1817885 146.15 157.07
6347.17/796.69 c N dy 21145 3155989 4257 85800 0 104973 429000 5865155 146.17 155.36
6394.27/802.51 c N dy 21286 3176086 4257 85800 0 125065 429000 9948173 146.18 154.19
6445.34/808.98 c N dy 21429 3196150 4257 85800 0 145121 429000 14035089 146.19 195.18
6500.39/815.87 c N dy 21570 3216167 4257 85800 0 84153 429000 1448168 146.20 155.73
6542.66/821.11 c N dy 21704 3236264 4257 85800 0 104242 429000 5490367 146.21 162.09
6588.97/826.96 c N dy 21843 3256290 4257 85800 0 124264 429000 9507963 146.22 155.11
6641.63/833.58 c N dy 21987 3276322 4257 85800 0 144291 429000 13568757 146.23 154.52
6701.49/841.01 c N dy 22131 3296404 4257 85800 0 82390 429000 908263 146.25 155.68
6742.97/846.21 c N dy 22270 3316441 4257 85800 0 102422 429000 4975264 146.26 155.10
6789.27/852.08 c N dy 22411 3336476 4257 85800 0 122447 429000 9022426 146.27 168.43
6841.95/858.67 c N dy 22552 3356536 4257 85800 0 142503 429000 13050100 146.28 154.26
6899.39/865.84 c N dy 22687 3376786 4257 85800 0 162747 429000 17104337 146.28 154.93
6944.07/871.47 c N dy 22822 3396836 4257 85800 0 99819 429000 4207262 146.28 165.85
6989.57/877.18 c N dy 22966 3416951 4257 85800 0 119928 429000 8273494 146.29 155.59
7038.29/883.25 c N dy 23088 3437032 4257 85800 0 140002 429000 12293450 146.28 154.80
7094.90/890.36 c N dy 23233 3457052 4257 85800 0 160014 429000 16409339 146.31 190.59
7143.64/896.43 c N dy 23368 3477082 4257 85800 0 96059 429000 3279909 146.31 156.70
7187.50/901.97 c N dy 23501 3497215 4257 85800 0 116190 429000 7328757 146.31 156.22
7236.95/908.11 c N dy 23634 3517298 4257 85800 0 136268 429000 11349316 146.31 155.93
7291.23/914.97 c N dy 23767 3537348 4257 85800 0 156316 429000 15359476 146.31 157.92
7345.54/921.78 c N dy 23911 3557356 4257 85800 0 91346 429000 2143609 146.33 160.19
7389.43/927.28 c N dy 24053 3577468 4257 85800 0 111455 429000 6198201 146.33 156.18
7438.05/933.38 c N dy 24191 3597471 4257 85800 0 131454 429000 10220136 146.33 154.57
7489.91/939.87 c N dy 24313 3617543 4257 85800 0 151517 429000 14248295 146.32 167.71
7549.79/947.33 c N dy 24455 3637567 4257 85800 0 171528 429000 18261658 146.32 162.05
7592.88/952.76 c N dy 24589 3657664 4257 85800 0 105646 429000 4835558 146.33 167.86
7639.94/958.69 c N dy 24729 3677748 4257 85800 0 125721 429000 8846963 146.33 159.53
7692.61/965.26 c N dy 24868 3697761 4257 85800 0 145727 429000 12846606 146.33 154.74
7750.86/972.57 c N dy 25007 3717889 4257 85800 0 165850 429000 16931540 146.34 157.78
7801.98/979.00 c N dy 25144 3737933 4257 85800 0 98917 429000 3315299 146.35 186.17
7833.06/982.86 c F st 25239 3751564 4257 85800 0 112545 429000 6057041 146.35 151.80
7845.87/984.51 c N dy 25254 3757971 4257 85800 0 118946 429000 7513921 146.35 155.12
7898.54/991.08 c N dy 25399 3778098 4257 85800 0 139070 429000 11591465 146.36 154.18
7955.16/998.13 c N dy 25536 3798319 4257 85800 0 159288 429000 15650910 146.37 155.30
8013.57/1005.48 c N dy 25670 3818425 4257 85800 0 91411 429000 1575814 146.37 156.30
8056.57/1010.87 c N dy 25805 3838586 4257 85800 0 111569 429000 5632268 146.38 155.88
8105.99/1017.03 c N dy 25938 3858786 4257 85800 0 131764 429000 9706966 146.38 155.95
8159.46/1023.73 c N dy 26066 3878867 4257 85800 0 151840 429000 13727476 146.37 160.91
8217.71/1031.09 c N dy 26201 3898918 4257 85800 0 171884 429000 17773234 146.38 155.11
8268.14/1037.37 c N dy 26340 3918988 4257 85800 0 102971 429000 3715742 146.38 159.27
8315.07/1043.23 c N dy 26476 3939210 4257 85800 0 123186 429000 7812836 146.39 157.86
8365.35/1049.56 c N dy 26604 3959300 4257 85800 0 143264 429000 11884761 146.39 155.38
8422.02/1056.70 c N dy 26744 3979302 4257 85800 0 163260 429000 15951365 146.40 154.89
8480.26/1063.95 c N dy 26870 3999394 4257 85800 0 93385 429000 1584256 146.40 177.77
8524.15/1069.41 c N dy 27004 4019463 4257 85800 0 113442 429000 5652552 146.40 156.73
8573.65/1075.60 c N dy 27144 4039541 4257 85800 0 133514 429000 9654745 146.40 156.36
8628.70/1082.55 c N dy 27284 4059654 4257 85800 0 153625 429000 13731262 146.41 158.00
8690.15/1090.22 c N dy 27424 4079954 4257 85800 0 173921 429000 17802667 146.41 157.43
8741.29/1096.71 c N dy 27557 4099969 4257 85800 0 102952 429000 3315404 146.41 154.29
8787.51/1102.49 c N dy 27689 4120060 4257 85800 0 123037 429000 7372696 146.41 191.31
8840.16/1109.00 c N dy 27827 4140179 4257 85800 0 143152 429000 11444044 146.41 160.41
8896.03/1116.02 c N dy 27957 4160277 4257 85800 0 163243 429000 15515235 146.42 154.70
8957.50/1123.75 c N dy 28091 4180425 4257 85800 0 183388 429000 19561966 146.41 161.72
9003.78/1129.52 c N dy 28235 4200518 4257 85800 0 111500 429000 4858740 146.42 156.48
9052.46/1135.65 c N dy 28376 4220554 4257 85800 0 131528 429000 8915316 146.44 171.87
9106.72/1142.42 c N dy 28517 4240559 4257 85800 0 151523 429000 12976005 146.44 156.23
9165.76/1149.87 c N dy 28652 4260571 4257 85800 0 171529 429000 16983327 146.45 167.05
9223.24/1157.11 c N dy 28791 4280719 4257 85800 0 98700 429000 2094869 146.45 155.40
9268.86/1162.74 c N dy 28930 4300743 4257 85800 0 118721 429000 6131004 146.45 156.25
9318.22/1168.97 c N dy 29062 4320744 4257 85800 0 138716 429000 10185643 146.45 155.19
9373.31/1175.85 c N dy 29193 4340839 4257 85800 0 158803 429000 14286449 146.45 168.57
9434.75/1183.54 c N dy 29332 4360958 4257 85800 0 178918 429000 18386518 146.46 154.51
9488.33/1190.29 c N dy 29472 4380980 4257 85800 0 104960 429000 3185944 146.47 156.62
9536.05/1196.26 c N dy 29613 4401034 4257 85800 0 125008 429000 7286917 146.49 160.94
9587.92/1202.74 c N dy 29744 4421106 4257 85800 0 145077 429000 11328035 146.49 154.86
9645.44/1209.95 c N dy 29879 4441150 4257 85800 0 165113 429000 15371857 146.49 157.81
9710.03/1218.00 c N dy 30013 4461292 4257 85800 0 185251 429000 19470639 146.50 155.42
9760.43/1224.39 c N dy 30151 4481353 4257 85800 0 110333 429000 4051962 146.50 156.90
9808.99/1230.40 c N dy 30289 4501478 4257 85800 0 130450 429000 8137088 146.50 154.30
9862.47/1237.16 c N dy 30427 4521526 4257 85800 0 150490 429000 12237530 146.52 155.26
9921.51/1244.57 c N dy 30557 4541527 4257 85800 0 170486 429000 16226878 146.51 154.48
9986.17/1252.65 c N dy 30698 4561529 4257 85800 0 190485 429000 20274545 146.52 155.20
10033.21/1258.57 c N dy 30835 4581535 4257 85800 0 114510 429000 4682013 146.52 162.90
10083.52/1264.81 c N dy 30978 4601560 4257 85800 0 134525 429000 8739003 146.53 164.22
10138.58/1271.74 c N dy 31120 4621607 4257 85800 0 154563 429000 12796390 146.54 155.39
10197.63/1279.21 c N dy 31248 4641818 4257 85800 0 174769 429000 16829552 146.53 158.26
10264.65/1287.57 c N dy 31394 4661898 4257 85800 0 97876 429000 1158658 146.54 155.66
10310.14/1293.20 c N dy 31534 4681979 4257 85800 0 117953 429000 5197489 146.55 154.63
10359.63/1299.44 c N dy 31669 4702066 4257 85800 0 138035 429000 9256906 146.55 241.25
10415.50/1306.45 c N dy 31813 4722249 4257 85800 0 158211 429000 13378044 146.57 157.65
10476.14/1314.02 c N dy 31945 4742359 4257 85800 0 178319 429000 17415850 146.56 155.33
10539.19/1321.90 c N dy 32067 4762474 4257 85800 0 100470 429000 1469986 146.56 157.78
10584.73/1327.66 c N dy 32202 4782742 4257 85800 0 120736 429000 5573944 146.57 157.51
10636.58/1334.14 c N dy 32339 4802749 4257 85800 0 140735 429000 9638195 146.57 155.30
10692.43/1341.19 c N dy 32475 4822953 4257 85800 0 160931 429000 13690102 146.57 160.84
10753.87/1348.82 c N dy 32601 4843100 4257 85800 0 181073 429000 17749377 146.57 156.62
10819.33/1357.08 c N dy 32739 4863194 4257 85800 0 102188 429000 1642971 146.58 169.45
10865.68/1362.82 c N dy 32870 4883205 4257 85800 0 122186 429000 5694979 146.58 155.14
10916.71/1369.25 c N dy 33000 4903453 4257 85800 0 142427 429000 9749495 146.58 158.05
10973.35/1376.32 c N dy 33134 4923552 4257 85800 0 162519 429000 13789423 146.57 178.34
11034.81/1384.06 c N dy 33271 4943650 4257 85800 0 182608 429000 17827667 146.58 154.80
11100.25/1392.21 c N dy 33405 4963683 4257 85800 0 102660 429000 1546412 146.58 154.99
11144.97/1397.86 c N dy 33537 4983696 4257 85800 0 122668 429000 5572861 146.58 154.59
11196.84/1404.33 c N dy 33678 5003822 4257 85800 0 142790 429000 9642621 146.59 154.57
11252.84/1411.33 c N dy 33812 5023862 4257 85800 0 162827 429000 13696729 146.59 155.43
11314.27/1419.03 c N dy 33943 5043873 4257 85800 0 182831 429000 17752531 146.59 156.18
11381.97/1427.55 c N dy 34086 5064103 4257 85800 0 102079 429000 1229673 146.60 155.53
11428.40/1433.32 c N dy 34219 5084243 4257 85800 0 122211 429000 5274330 146.60 154.71
11478.55/1439.66 c N dy 34352 5104270 4257 85800 0 142235 429000 9275548 146.59 155.70
11535.18/1446.72 c N dy 34490 5124305 4257 85800 0 162266 429000 13335160 146.60 156.53
11597.45/1454.52 c N dy 34629 5144394 4257 85800 0 182349 429000 17359257 146.60 158.80
11664.54/1463.01 c N dy 34771 5164395 4257 85800 0 202345 429000 21383797 146.60 155.25
11713.17/1469.04 c N dy 34899 5184528 4257 85800 0 120493 429000 4790702 146.60 154.61
11763.46/1475.37 c N dy 35037 5204532 4257 85800 0 140492 429000 8837505 146.60 169.84
11818.51/1482.22 c N dy 35167 5224718 4257 85800 0 160675 429000 12909678 146.60 158.97
11881.59/1490.13 c N dy 35310 5244776 4257 85800 0 180727 429000 16979991 146.62 161.11
11948.61/1498.50 c N dy 35440 5264879 4257 85800 0 200827 429000 21003739 146.61 155.03
12002.89/1505.31 c N dy 35587 5285008 4257 85800 0 117986 429000 4057917 146.62 154.68
12053.96/1511.71 c N dy 35725 5305018 4257 85800 0 137991 429000 8134902 146.63 154.60
12109.83/1518.75 c N dy 35861 5325190 4257 85800 0 158158 429000 12215788 146.63 164.42
12171.28/1526.42 c N dy 35997 5345195 4257 85800 0 178157 429000 16223021 146.63 155.77
12239.12/1534.94 c N dy 36140 5365251 4257 85800 0 198206 429000 20292623 146.64 183.96
12298.96/1542.40 c N dy 36279 5385264 4257 85800 0 114252 429000 3141374 146.64 159.62
12348.47/1548.69 c N dy 36422 5405413 4257 85800 0 134393 429000 7231927 146.65 154.89
12402.84/1555.47 c N dy 36557 5425454 4257 85800 0 154429 429000 11290376 146.65 161.31
12464.30/1563.15 c N dy 36699 5445749 4257 85800 0 174715 429000 15446939 146.66 154.38
12530.41/1571.47 c N dy 36837 5465917 4257 85800 0 194879 429000 19536559 146.66 154.56
12595.99/1579.65 c N dy 36966 5486018 4257 85800 0 110012 429000 2053325 146.66 157.04
12643.75/1585.66 c N dy 37106 5506064 4257 85800 0 130051 429000 6122505 146.67 160.38
12697.23/1592.37 c N dy 37237 5526320 4257 85800 0 150301 429000 10205208 146.66 156.68
12756.25/1599.75 c N dy 37375 5546419 4257 85800 0 170392 429000 14269122 146.66 156.49
12819.30/1607.66 c N dy 37506 5566486 4257 85800 0 190452 429000 18296879 146.66 155.55
12889.55/1616.44 c N dy 37643 5586530 4257 85800 0 210491 429000 22348834 146.67 158.10
12938.37/1622.53 c N dy 37772 5606615 4257 85800 0 124604 429000 4814794 146.67 157.62
12989.33/1629.00 c N dy 37911 5626798 4257 85800 0 144777 429000 8925244 146.68 154.68
13046.77/1636.12 c N dy 38054 5646806 4257 85800 0 164782 429000 12993139 146.68 156.33
13109.00/1643.98 c N dy 38195 5666913 4257 85800 0 184880 429000 17077561 146.68 159.35
13176.85/1652.42 c N dy 38330 5686951 4257 85800 0 204915 429000 21108057 146.69 155.09
13235.96/1659.86 c N dy 38466 5706958 4257 85800 0 117939 429000 3320247 146.70 156.78
13285.42/1666.03 c N dy 38602 5727087 4257 85800 0 138067 429000 7372163 146.70 155.07
13341.31/1673.02 c N dy 38745 5747191 4257 85800 0 158164 429000 11447387 146.70 154.74
13401.15/1680.60 c N dy 38880 5767247 4257 85800 0 178213 429000 15528909 146.71 155.54
13466.57/1688.80 c N dy 39016 5787344 4257 85800 0 198305 429000 19626189 146.71 156.72
13536.00/1697.45 c N dy 39158 5807520 4257 85800 0 110504 429000 1595918 146.72 161.47
13583.90/1703.48 c N dy 39294 5827629 4257 85800 0 130605 429000 5664822 146.72 158.44
13638.18/1710.20 c N dy 39431 5847881 4257 85800 0 150852 429000 9799008 146.73 156.59
13698.02/1717.71 c N dy 39577 5867975 4257 85800 0 170938 429000 13839547 146.73 154.58
13763.59/1725.97 c N dy 39725 5888066 4257 85800 0 191024 429000 17923135 146.74 200.07
13832.95/1734.67 c N dy 39866 5908087 4257 85800 0 211037 429000 22016805 146.75 164.42
13890.36/1741.80 c N dy 39998 5928097 4257 85800 0 122071 429000 3727161 146.75 158.70
13940.62/1748.14 c N dy 40130 5948201 4257 85800 0 142168 429000 7797981 146.75 156.21
13996.50/1755.13 c N dy 40264 5968251 4257 85800 0 162213 429000 11808157 146.75 175.80
14059.57/1763.05 c N dy 40409 5988315 4257 85800 0 182267 429000 15910809 146.76 160.63
14127.40/1771.54 c N dy 40540 6008412 4257 85800 0 202359 429000 19985653 146.76 154.60
14197.60/1780.37 c N dy 40672 6028455 4257 85800 0 112441 429000 1581065 146.76 159.33
14245.53/1786.38 c N dy 40815 6048485 4257 85800 0 132465 429000 5658716 146.77 154.51
14298.21/1793.00 c N dy 40948 6068573 4257 85800 0 152550 429000 9720565 146.77 154.90
14357.24/1800.33 c N dy 41086 6088638 4257 85800 0 172608 429000 13806245 146.78 197.65
14419.51/1808.17 c N dy 41215 6108806 4257 85800 0 192770 429000 17871355 146.78 160.19
14488.93/1816.82 c N dy 41347 6128908 4257 85800 0 212866 429000 21930376 146.78 190.76
14547.97/1824.26 c N dy 41478 6148931 4257 85800 0 121914 429000 3317331 146.78 160.78
14599.04/1830.66 c N dy 41620 6168972 4257 85800 0 141950 429000 7375595 146.79 158.44
14655.73/1837.79 c N dy 41769 6189215 4257 85800 0 162185 429000 11537308 146.80 160.55
14718.00/1845.57 c N dy 41911 6209315 4257 85800 0 182277 429000 15607525 146.81 161.94
14785.03/1853.95 c N dy 42051 6229356 4257 85800 0 202311 429000 19662091 146.81 156.57
14859.27/1863.22 c N dy 42195 6249373 4257 85800 0 222320 429000 23801852 146.82 159.05
14911.12/1869.73 c N dy 42331 6269377 4257 85800 0 130348 429000 4853448 146.83 155.89
14963.01/1876.25 c N dy 42461 6289394 4257 85800 0 150360 429000 8908278 146.83 155.27
15020.47/1883.44 c N dy 42596 6309432 4257 85800 0 170393 429000 12977654 146.84 155.41
15085.93/1891.64 c N dy 42741 6329557 4257 85800 0 190515 429000 17065157 146.84 157.86
15156.15/1900.48 c N dy 42883 6349575 4257 85800 0 210528 429000 21098652 146.84 156.46
15225.58/1909.17 c N dy 43021 6369613 4257 85800 0 117603 429000 2062601 146.85 155.43
15274.26/1915.29 c N dy 43149 6389669 4257 85800 0 137647 429000 6056694 146.84 156.61
15330.12/1922.22 c N dy 43289 6409702 4257 85800 0 157674 429000 10119287 146.85 186.76
15389.98/1929.80 c N dy 43417 6429811 4257 85800 0 177778 429000 14157293 146.84 160.85
15455.45/1937.95 c N dy 43554 6449871 4257 85800 0 197832 429000 18205421 146.85 159.19
15527.32/1947.01 c N dy 43693 6469968 4257 85800 0 217923 429000 22271052 146.85 157.68
15590.33/1954.86 c N dy 43825 6489972 4257 85800 0 123948 429000 3142776 146.85 225.91
15642.33/1961.36 c N dy 43965 6510051 4257 85800 0 144022 429000 7213406 146.86 163.86
15698.06/1968.30 c N dy 44091 6530123 4257 85800 0 164088 429000 11284544 146.86 159.48
15761.13/1976.26 c N dy 44228 6550249 4257 85800 0 184210 429000 15365729 146.86 154.76
15828.17/1984.63 c N dy 44360 6570331 4257 85800 0 204285 429000 19348957 146.86 156.08
15900.01/1993.69 c N dy 44494 6590335 4257 85800 0 224283 429000 23386796 146.86 156.94
15959.05/2001.01 c N dy 44633 6610406 4257 85800 0 129378 429000 4070584 146.86 155.27
16011.07/2007.57 c N dy 44776 6630416 4257 85800 0 149383 429000 8138080 146.87 158.46
16068.41/2014.73 c N dy 44913 6650435 4257 85800 0 169396 429000 12177697 146.87 155.66
16131.46/2022.65 c N dy 45054 6670472 4257 85800 0 189423 429000 16245690 146.88 173.45
16198.51/2031.09 c N dy 45192 6690571 4257 85800 0 209506 429000 20276129 146.88 156.81
16273.56/2040.50 c N dy 45338 6710816 4257 85800 0 229746 429000 24448372 146.89 157.34
16327.79/2047.23 c N dy 45479 6730915 4257 85800 0 133878 429000 4768811 146.89 164.98
16382.05/2054.03 c N dy 45613 6750931 4257 85800 0 153891 429000 8763955 146.89 156.19
16440.37/2061.32 c N dy 45751 6771039 4257 85800 0 173993 429000 12830652 146.90 156.16
16504.18/2069.39 c N dy 45885 6791244 4257 85800 0 194193 429000 16912115 146.90 155.34
16573.62/2078.06 c N dy 46020 6811309 4257 85800 0 214254 429000 21021958 146.90 155.65
16651.96/2087.84 c N dy 46162 6831362 4257 85800 0 117332 429000 1244353 146.91 174.21
16710.08/2095.17 c N dy 46304 6851550 4257 85800 0 137513 429000 5338974 146.92 155.50
16773.12/2103.01 c N dy 46442 6871618 4257 85800 0 157569 429000 9403402 146.92 158.19
16841.75/2111.68 c N dy 46590 6891696 4257 85800 0 177638 429000 13491840 146.93 157.88
16915.99/2120.98 c N dy 46724 6911805 4257 85800 0 197739 429000 17552726 146.93 154.84
16997.39/2131.11 c N dy 46858 6931954 4257 85800 0 217883 429000 21621912 146.93 154.92
17078.80/2141.39 c N dy 46987 6952083 4257 85800 0 120051 429000 1597108 146.93 156.67
17128.28/2147.50 c N dy 47118 6972131 4257 85800 0 140092 429000 5626814 146.93 157.84
17184.13/2154.55 c N dy 47255 6992200 4257 85800 0 160157 429000 9666237 146.93 156.33
17244.79/2162.12 c N dy 47384 7012417 4257 85800 0 180368 429000 13782250 146.93 156.55
17311.83/2170.51 c N dy 47528 7032480 4257 85800 0 200426 429000 17875001 146.94 159.43
17384.47/2179.61 c N dy 47674 7052596 4257 85800 0 220529 429000 21983888 146.95 154.89
17458.73/2188.93 c N dy 47808 7072654 4257 85800 0 121627 429000 1738480 146.95 164.40
17507.36/2195.02 c N dy 47930 7092713 4257 85800 0 141678 429000 5784825 146.94 154.70
17563.21/2202.03 c N dy 48064 7112739 4257 85800 0 161696 429000 9815229 146.94 160.85
17622.29/2209.47 c N dy 48195 7132777 4257 85800 0 181730 429000 13859182 146.94 154.69
17688.55/2217.71 c N dy 48332 7152793 4257 85800 0 201740 429000 17920426 146.94 155.70
17761.16/2226.83 c N dy 48472 7172794 4257 85800 0 221738 429000 21940286 146.94 176.08
17839.37/2236.61 c N dy 48615 7192986 4257 85800 0 121958 429000 1598087 146.94 156.55
17889.78/2242.99 c N dy 48756 7213204 4257 85800 0 142169 429000 5687968 146.95 154.78
17945.52/2249.90 c N dy 48898 7233213 4257 85800 0 162171 429000 9766475 146.95 154.98
18006.97/2257.64 c N dy 49033 7253577 4257 85800 0 182527 429000 13898782 146.95 155.05
18073.29/2265.99 c N dy 49170 7273621 4257 85800 0 202565 429000 17992597 146.96 172.48
18145.05/2274.95 c N dy 49305 7293770 4257 85800 0 222708 429000 22027448 146.96 154.82
18221.69/2284.61 c N dy 49436 7313868 4257 85800 0 121852 429000 1383311 146.96 156.18
18271.16/2290.79 c N dy 49566 7333995 4257 85800 0 141971 429000 5430404 146.96 164.51
18326.22/2297.69 c N dy 49708 7354024 4257 85800 0 161995 429000 9503960 146.96 155.11
18388.46/2305.41 c N dy 49845 7374132 4257 85800 0 182095 429000 13548798 146.96 156.72
18456.32/2313.98 c N dy 49989 7394157 4257 85800 0 202113 429000 17607504 146.97 167.60
18529.78/2323.20 c N dy 50129 7414305 4257 85800 0 222253 429000 21727584 146.98 155.75
18608.81/2333.11 c N dy 50268 7434834 4257 85800 0 242777 429000 25881126 146.98 155.37
18663.83/2339.96 c N dy 50404 7454885 4257 85800 0 140862 429000 5059795 146.98 172.93
18720.50/2347.04 c N dy 50544 7475255 4257 85800 0 161225 429000 9179779 146.99 158.38
18781.95/2354.76 c N dy 50683 7495317 4257 85800 0 181281 429000 13254568 146.99 197.70
18849.77/2363.22 c N dy 50818 7515488 4257 85800 0 201446 429000 17320496 146.99 157.38
18922.42/2372.35 c N dy 50959 7535586 4257 85800 0 221532 429000 21423532 147.00 155.40
18999.85/2382.05 c N dy 51093 7555610 4257 85800 0 241551 429000 25488860 147.00 156.85
19058.10/2389.38 c N dy 51231 7575611 4257 85800 0 138575 429000 4401279 147.00 156.09
19114.00/2396.31 c N dy 51369 7595708 4257 85800 0 158663 429000 8454931 147.01 154.92
19173.84/2403.83 c N dy 51506 7615760 4257 85800 0 178711 429000 12508510 147.01 155.80
19240.91/2412.23 c N dy 51650 7635843 4257 85800 0 198788 429000 16584381 147.02 155.06
19313.52/2421.31 c N dy 51793 7655889 4257 85800 0 218829 429000 20676068 147.02 156.47
19390.21/2430.99 c N dy 51936 7675914 4257 85800 0 238848 429000 24748584 147.03 158.17
19456.39/2439.27 c N dy 52077 7696007 4257 85800 0 134975 429000 3492250 147.03 159.79
19511.48/2446.16 c N dy 52222 7716201 4257 85800 0 155161 429000 7580976 147.03 154.97
19571.34/2453.70 c N dy 52361 7736391 4257 85800 0 175348 429000 11673685 147.04 155.10
19637.54/2461.96 c N dy 52503 7756533 4257 85800 0 195485 429000 15741804 147.04 161.62
19708.60/2470.83 c N dy 52643 7776612 4257 85800 0 215557 429000 19847503 147.04 159.24
19782.00/2480.04 c N dy 52775 7796681 4257 85800 0 235621 429000 23905346 147.04 157.03
19855.47/2489.23 c N dy 52913 7816707 4257 85800 0 130673 429000 2420446 147.05 156.18
19907.32/2495.78 c N dy 53052 7836765 4257 85800 0 150724 429000 6484776 147.05 155.31
19965.57/2503.03 c N dy 53189 7856804 4257 85800 0 170755 429000 10548843 147.05 157.25
20028.63/2510.93 c N dy 53325 7876906 4257 85800 0 190853 429000 14589909 147.05 158.68
20098.07/2519.65 c N dy 53467 7897027 4257 85800 0 210971 429000 18661008 147.06 156.56
20173.90/2529.14 c N dy 53602 7917180 4257 85800 0 231119 429000 22721389 147.06 155.11
20252.92/2539.10 c N dy 53734 7937192 4257 85800 0 251122 429000 26735327 147.06 162.38
20307.19/2545.86 c N dy 53872 7957210 4257 85800 0 145173 429000 5167564 147.06 155.69
20364.70/2553.04 c N dy 54017 7977285 4257 85800 0 165241 429000 9250726 147.06 154.91
20426.18/2560.80 c N dy 54150 7997407 4257 85800 0 185355 429000 13409685 147.07 160.48
20494.77/2569.32 c N dy 54287 8017446 4257 85800 0 205388 429000 17467448 147.07 163.63
20568.21/2578.52 c N dy 54424 8037472 4257 85800 0 225408 429000 21524785 147.07 157.54
20645.67/2588.27 c N dy 54556 8057495 4257 85800 0 245427 429000 25568245 147.07 161.77
20715.07/2596.98 c N dy 54695 8077557 4257 85800 0 138524 429000 3607438 147.08 158.22
20778.26/2604.85 c N dy 54837 8097566 4257 85800 0 158529 429000 7706005 147.09 155.02
20846.00/2613.37 c N dy 54978 8117767 4257 85800 0 178723 429000 11822173 147.09 155.28
20917.03/2622.31 c N dy 55102 8137854 4257 85800 0 198803 429000 15875991 147.09 155.93
20996.88/2632.27 c N dy 55237 8157872 4257 85800 0 218817 429000 19942817 147.09 158.39
21082.76/2643.07 c N dy 55381 8177965 4257 85800 0 238905 429000 24031481 147.09 156.02
21168.44/2653.86 c N dy 55517 8198048 4257 85800 0 131025 429000 1883115 147.09 154.97
21220.24/2660.37 c N dy 55648 8218295 4257 85800 0 151263 429000 5938611 147.09 156.86
21279.31/2667.72 c N dy 55791 8238341 4257 85800 0 171304 429000 10047010 147.10 156.90
21342.38/2675.64 c N dy 55932 8258368 4257 85800 0 191328 429000 14091439 147.10 158.23
21412.60/2684.44 c N dy 56070 8278477 4257 85800 0 211435 429000 18153976 147.09 155.03
21488.56/2693.91 c N dy 56210 8298597 4257 85800 0 231553 429000 22228076 147.10 154.87
21565.04/2703.56 c N dy 56341 8318703 4257 85800 0 251655 429000 26301878 147.10 160.39
21629.02/2711.59 c N dy 56478 8338723 4257 85800 0 142707 429000 4053085 147.10 155.41
21684.76/2718.59 c N dy 56617 8358734 4257 85800 0 162711 429000 8149254 147.11 155.75
21746.22/2726.22 c N dy 56751 8378771 4257 85800 0 182742 429000 12228648 147.11 179.18
21814.84/2734.89 c N dy 56896 8399235 4257 85800 0 203202 429000 16413306 147.12 156.24
21888.29/2744.06 c N dy 57034 8419424 4257 85800 0 223384 429000 20539461 147.12 156.74
21966.50/2753.82 c N dy 57171 8439715 4257 85800 0 243666 429000 24629726 147.12 156.63
22046.31/2763.85 c N dy 57304 8459795 4257 85800 0 133774 429000 2080984 147.12 168.01
22099.78/2770.58 c N dy 57438 8479849 4257 85800 0 153818 429000 6134461 147.13 174.76
22158.86/2777.98 c N dy 57577 8499947 4257 85800 0 173906 429000 10249856 147.13 157.98
22224.32/2786.12 c N dy 57723 8519967 4257 85800 0 193918 429000 14362057 147.14 156.83
22295.41/2795.04 c N dy 57862 8540061 4257 85800 0 214007 429000 18439443 147.14 155.87
22371.17/2804.58 c N dy 57996 8560253 4257 85800 0 234193 429000 22523843 147.14 162.02
22452.59/2814.76 c N dy 58133 8580505 4257 85800 0 254441 429000 26617653 147.14 154.94
22517.20/2822.80 c N dy 58269 8600610 4257 85800 0 143579 429000 3874455 147.15 156.86
22573.90/2829.99 c N dy 58417 8620703 4257 85800 0 163663 429000 7960383 147.15 158.70
22634.58/2837.55 c N dy 58553 8640807 4257 85800 0 183760 429000 12072320 147.15 159.18
22703.22/2846.15 c N dy 58694 8660896 4257 85800 0 203841 429000 16150839 147.16 157.44
22775.06/2855.19 c N dy 58833 8680977 4257 85800 0 223914 429000 20252075 147.17 157.28
22852.45/2864.88 c N dy 58969 8700999 4257 85800 0 243930 429000 24371523 147.17 187.16
22937.82/2875.52 c N dy 59104 8721102 4257 85800 0 132065 429000 1338454 147.17 156.90
22989.86/2882.07 c N dy 59238 8741162 4257 85800 0 152121 429000 5379132 147.17 156.07
23046.39/2889.19 c N dy 59367 8761281 4257 85800 0 172236 429000 9438751 147.17 160.20
23111.06/2897.21 c N dy 59507 8781320 4257 85800 0 192267 429000 13565447 147.18 158.26
23179.70/2905.89 c N dy 59639 8801324 4257 85800 0 212267 429000 17585456 147.18 155.11
23257.11/2915.50 c N dy 59786 8821412 4257 85800 0 232342 429000 21679687 147.18 160.66
23335.34/2925.38 c N dy 59917 8841554 4257 85800 0 252478 429000 25717138 147.18 158.18
23411.28/2934.89 c N dy 60052 8861619 4257 85800 0 139585 429000 2671865 147.18 161.59
23466.21/2941.71 c N dy 60190 8881713 4257 85800 0 159673 429000 6807130 147.19 155.27
23526.07/2949.20 c N dy 60325 8901799 4257 85800 0 179753 429000 10848675 147.19 160.25
23591.53/2957.41 c N dy 60463 8921899 4257 85800 0 199846 429000 14915606 147.19 163.66
23661.79/2966.23 c N dy 60594 8942005 4257 85800 0 219951 429000 18966640 147.19 166.60
23736.78/2975.61 c N dy 60725 8962063 4257 85800 0 240006 429000 23067244 147.19 158.00
23819.02/2985.92 c N dy 60866 8982204 4257 85800 0 260140 429000 27143853 147.19 156.13
23887.62/2994.54 c N dy 61013 9002297 4257 85800 0 146266 429000 3861459 147.20 156.04
23943.52/3001.53 c N dy 61145 9022370 4257 85800 0 166329 429000 7961560 147.20 155.19
24004.97/3009.25 c N dy 61279 9042470 4257 85800 0 186421 429000 12021454 147.20 156.16
24072.01/3017.68 c N dy 61421 9062555 4257 85800 0 206498 429000 16081373 147.20 166.80
24145.47/3026.89 c N dy 61564 9082626 4257 85800 0 226564 429000 20197055 147.21 155.09
24222.87/3036.57 c N dy 61697 9102721 4257 85800 0 246649 429000 24258978 147.21 176.20
24305.09/3046.87 c N dy 61845 9122777 4257 85800 0 266700 429000 28382521 147.22 155.81
24366.53/3054.50 c N dy 61986 9142821 4257 85800 0 151785 429000 4756172 147.22 163.52
24424.01/3061.73 c N dy 62127 9162828 4257 85800 0 171787 429000 8834374 147.22 155.79
24489.47/3069.92 c N dy 62266 9183111 4257 85800 0 192065 429000 12942420 147.23 156.63
24556.51/3078.36 c N dy 62397 9203177 4257 85800 0 212125 429000 16985688 147.23 155.84
24629.16/3087.42 c N dy 62518 9223251 4257 85800 0 232195 429000 21020128 147.22 157.74
24708.17/3097.36 c N dy 62652 9243275 4257 85800 0 252212 429000 25093989 147.22 169.99
24794.35/3108.19 c N dy 62785 9263318 4257 85800 0 136295 429000 1427924 147.23 156.51
24847.82/3114.85 c N dy 62926 9283428 4257 85800 0 156398 429000 5516207 147.23 155.52
24907.69/3122.33 c N dy 63071 9303439 4257 85800 0 176406 429000 9590527 147.24 158.23
24972.35/3130.45 c N dy 63210 9323461 4257 85800 0 196420 429000 13671202 147.24 162.11
25042.59/3139.24 c N dy 63351 9343558 4257 85800 0 216511 429000 17752019 147.24 157.36
25117.63/3148.66 c N dy 63491 9363658 4257 85800 0 236603 429000 21829654 147.24 163.87
25198.24/3158.76 c N dy 63635 9383724 4257 85800 0 256661 429000 25910715 147.25 157.71
25281.38/3169.19 c N dy 63775 9403785 4257 85800 0 139756 429000 1942335 147.25 156.56
25337.11/3176.10 c N dy 63912 9423903 4257 85800 0 159859 429000 6026129 147.25 155.92
25397.78/3183.79 c N dy 64058 9444033 4257 85800 0 179980 429000 10137183 147.26 158.39
25463.25/3191.96 c N dy 64192 9464086 4257 85800 0 200025 429000 14214187 147.26 155.01
25534.28/3200.83 c N dy 64327 9484193 4257 85800 0 220123 429000 18269635 147.26 157.17
25610.13/3210.32 c N dy 64460 9504268 4257 85800 0 240192 429000 22387858 147.26 157.52
25689.92/3220.37 c N dy 64595 9524289 4257 85800 0 260208 429000 26464190 147.26 157.63
25771.31/3230.59 c N dy 64736 9544443 4257 85800 0 142408 429000 2280012 147.27 159.46
25825.73/3237.32 c N dy 64869 9564482 4257 85800 0 162443 429000 6391069 147.27 156.63
25886.29/3244.92 c N dy 65011 9584529 4257 85800 0 182484 429000 10500751 147.28 158.10
25951.72/3253.18 c N dy 65146 9604542 4257 85800 0 202493 429000 14568747 147.29 158.74
26023.54/3262.10 c N dy 65286 9624598 4257 85800 0 222546 429000 18684793 147.29 159.43
26100.98/3271.81 c N dy 65422 9644630 4257 85800 0 242575 429000 22748802 147.29 159.75
26183.99/3282.20 c N dy 65559 9664832 4257 85800 0 262770 429000 26852739 147.30 156.53
26268.56/3292.84 c N dy 65697 9684895 4257 85800 0 143862 429000 2373867 147.30 164.43
26333.23/3301.00 c N dy 65842 9705005 4257 85800 0 163963 429000 6510280 147.31 164.32
26404.31/3309.83 c N dy 65980 9725043 4257 85800 0 183998 429000 10528730 147.31 156.92
26479.28/3319.26 c N dy 66110 9745286 4257 85800 0 204235 429000 14590870 147.31 155.11
26558.32/3329.11 c N dy 66242 9765349 4257 85800 0 224286 429000 18666862 147.31 158.34
26646.15/3340.16 c N dy 66382 9785423 4257 85800 0 244353 429000 22749733 147.31 168.75
26737.13/3351.50 c N dy 66508 9805427 4257 85800 0 264352 429000 26796282 147.31 155.10
26827.30/3362.81 c N dy 66645 9825432 4257 85800 0 144400 429000 2293395 147.31 155.38
26881.59/3369.66 c N dy 66777 9845450 4257 85800 0 164408 429000 6339413 147.31 160.51
26943.84/3377.48 c N dy 66924 9865603 4257 85800 0 184554 429000 10458297 147.31 159.91
27011.69/3385.95 c N dy 67067 9885643 4257 85800 0 204588 429000 14536431 147.32 155.29
27085.93/3395.25 c N dy 67213 9905722 4257 85800 0 224653 429000 18645452 147.32 176.79
27163.36/3404.94 c N dy 67347 9925765 4257 85800 0 244687 429000 22730811 147.33 158.61
27246.34/3415.41 c N dy 67488 9945868 4257 85800 0 264783 429000 26835009 147.33 156.53
27334.16/3426.33 c N dy 67622 9965903 4257 85800 0 143866 429000 2000161 147.34 157.69
27397.36/3434.27 c N dy 67756 9985967 4257 85800 0 163921 429000 6047686 147.33 155.64
27468.24/3443.19 c N dy 67900 10006038 4257 85800 0 183986 429000 10104784 147.34 156.39
27544.87/3452.73 c N dy 68042 10026075 4257 85800 0 204017 429000 14181274 147.34 157.71
27627.09/3463.04 c N dy 68184 10046091 4257 85800 0 224020 429000 18238253 147.34 156.35
27714.90/3474.04 c N dy 68324 10066151 4257 85800 0 244073 429000 22344778 147.35 156.92
27806.67/3485.52 c N dy 68464 10086208 4257 85800 0 264123 429000 26462492 147.35 155.48
27906.58/3498.03 c N dy 68604 10106269 4257 85800 0 142226 429000 1477729 147.36 174.55
27961.52/3504.94 c N dy 68747 10126293 4257 85800 0 162244 429000 5581428 147.36 178.29
28022.17/3512.54 c N dy 68882 10146344 4257 85800 0 182289 429000 9651236 147.37 196.19
28087.64/3520.78 c N dy 69018 10166405 4257 85800 0 202346 429000 13760924 147.37 158.75
28157.90/3529.56 c N dy 69147 10186410 4257 85800 0 222345 429000 17800018 147.37 186.45
28236.12/3539.33 c N dy 69287 10206536 4257 85800 0 242466 429000 21946061 147.38 155.85
28319.25/3549.78 c N dy 69428 10226636 4257 85800 0 262557 429000 26019187 147.38 155.93
28408.50/3560.99 c N dy 69570 10246728 4257 85800 0 282641 429000 30187935 147.39 158.50
28471.56/3568.86 c N dy 69709 10266752 4257 85800 0 159705 429000 4839219 147.39 164.81
28529.98/3576.15 c N dy 69837 10286868 4257 85800 0 179813 429000 8920025 147.39 158.05
28597.69/3584.60 c N dy 69977 10307037 4257 85800 0 199972 429000 13030914 147.39 158.95
28667.92/3593.44 c N dy 70103 10327078 4257 85800 0 220005 429000 17050554 147.39 158.27
28744.56/3603.05 c N dy 70234 10347219 4257 85800 0 240142 429000 21132381 147.39 159.10
28826.75/3613.39 c N dy 70370 10367248 4257 85800 0 260163 429000 25204172 147.39 159.79
28916.27/3624.59 c N dy 70506 10387380 4257 85800 0 280288 429000 29299251 147.39 155.36
28987.17/3633.42 c N dy 70640 10407404 4257 85800 0 156365 429000 3961005 147.39 156.27
29046.26/3640.84 c N dy 70778 10427578 4257 85800 0 176533 429000 8059748 147.39 160.99
29110.11/3648.82 c N dy 70913 10447595 4257 85800 0 196543 429000 12095743 147.39 157.00
29180.35/3657.70 c N dy 71055 10467655 4257 85800 0 216600 429000 16160347 147.39 168.10
29257.00/3667.26 c N dy 71193 10487698 4257 85800 0 236637 429000 20223968 147.40 176.05
29338.36/3677.46 c N dy 71334 10507701 4257 85800 0 256636 429000 24332506 147.40 180.73
29422.18/3687.94 c N dy 71462 10527709 4257 85800 0 276639 429000 28423203 147.40 166.61
29502.81/3698.04 c N dy 71600 10547770 4257 85800 0 151731 429000 2819186 147.40 157.97
29560.28/3705.26 c N dy 71729 10567830 4257 85800 0 171787 429000 6896757 147.40 155.62
29623.33/3713.18 c N dy 71870 10587891 4257 85800 0 191843 429000 11003335 147.41 162.11
29692.77/3721.83 c N dy 72010 10607898 4257 85800 0 211847 429000 15107968 147.41 176.99
29766.22/3731.04 c N dy 72145 10627939 4257 85800 0 231881 429000 19147086 147.41 164.46
29846.97/3741.12 c N dy 72285 10648145 4257 85800 0 252076 429000 23282699 147.41 155.67
29933.04/3752.00 c N dy 72421 10668365 4257 85800 0 272290 429000 27435620 147.41 163.40
30027.19/3763.73 c N dy 72559 10688461 4257 85800 0 146426 429000 1547753 147.42 156.86
30092.79/3771.91 c N dy 72695 10708471 4257 85800 0 166429 429000 5601475 147.42 155.47
30162.12/3780.65 c N dy 72828 10728625 4257 85800 0 186575 429000 9678483 147.42 160.12
30239.53/3790.39 c N dy 72967 10748672 4257 85800 0 206619 429000 13733526 147.42 158.37
30320.17/3800.47 c N dy 73095 10768732 4257 85800 0 226675 429000 17823261 147.42 155.39
30410.31/3811.72 c N dy 73236 10788940 4257 85800 0 246874 429000 21930328 147.42 155.66
30502.91/3823.34 c N dy 73374 10809007 4257 85800 0 266933 429000 26084486 147.43 156.57
30597.91/3835.25 c N dy 73498 10829032 4257 85800 0 286956 429000 30143629 147.42 155.63
30670.55/3844.39 c N dy 73627 10849118 4257 85800 0 160081 429000 4131431 147.42 155.80
30729.61/3851.72 c N dy 73756 10869126 4257 85800 0 180085 429000 8187434 147.42 172.78
30794.31/3859.89 c N dy 73900 10889161 4257 85800 0 200110 429000 12224514 147.43 155.28
30864.56/3868.63 c N dy 74025 10909408 4257 85800 0 220353 429000 16272645 147.42 158.45
30941.94/3878.36 c N dy 74169 10929492 4257 85800 0 240429 429000 20377611 147.43 161.81
31024.14/3888.67 c N dy 74306 10949627 4257 85800 0 260554 429000 24444903 147.43 155.59
31112.72/3899.73 c N dy 74445 10970007 4257 85800 0 280930 429000 28630973 147.43 158.40
31199.07/3910.58 c N dy 74584 10990193 4257 85800 0 153159 429000 2524761 147.43 155.70
31256.41/3917.79 c N dy 74721 11010217 4257 85800 0 173177 429000 6572194 147.43 156.93
31320.29/3925.78 c N dy 74857 11030346 4257 85800 0 193303 429000 10700337 147.44 157.66
31389.73/3934.41 c N dy 74991 11050356 4257 85800 0 213309 429000 14825056 147.44 160.99
31463.93/3943.72 c N dy 75130 11070394 4257 85800 0 233340 429000 18897882 147.44 161.34
31545.36/3953.99 c N dy 75269 11090715 4257 85800 0 253657 429000 23058889 147.45 155.65
31633.17/3964.90 c N dy 75411 11110779 4257 85800 0 273715 429000 27158424 147.45 160.89
31724.17/3976.38 c N dy 75546 11130865 4257 85800 0 293794 429000 31228332 147.45 157.23
31792.78/3984.90 c N dy 75684 11150881 4257 85800 0 164843 429000 4719163 147.46 162.91
31852.66/3992.47 c N dy 75819 11170931 4257 85800 0 184887 429000 8782357 147.46 156.88
31920.51/4000.97 c N dy 75965 11190982 4257 85800 0 204933 429000 12895997 147.46 157.67
31992.34/4009.98 c N dy 76105 11211049 4257 85800 0 224996 429000 16966880 147.47 175.11
32066.58/4019.28 c N dy 76230 11231154 4257 85800 0 245093 429000 21023178 147.46 158.31
32149.58/4029.68 c N dy 76372 11251206 4257 85800 0 265132 429000 25129692 147.47 158.63
32238.20/4040.70 c N dy 76513 11271273 4257 85800 0 285193 429000 29246841 147.47 179.59
32321.21/4051.18 c N dy 76643 11291341 4257 85800 0 155297 429000 2596645 147.47 190.86
32378.67/4058.38 c N dy 76779 11311385 4257 85800 0 175333 429000 6667073 147.48 173.92
32441.74/4066.25 c N dy 76915 11331475 4257 85800 0 195421 429000 10740662 147.48 157.37
32509.59/4074.74 c N dy 77049 11351572 4257 85800 0 215510 429000 14823771 147.47 157.64
32585.43/4084.31 c N dy 77195 11371622 4257 85800 0 235545 429000 18937740 147.48 159.64
32665.37/4094.23 c N dy 77333 11391739 4257 85800 0 255654 429000 23010333 147.48 158.96
32749.85/4104.87 c N dy 77467 11411789 4257 85800 0 275698 429000 27089173 147.48 156.25
32840.98/4116.26 c N dy 77605 11431828 4257 85800 0 295733 429000 31152497 147.48 156.02
32915.84/4125.64 c N dy 77733 11451906 4257 85800 0 164864 429000 4357268 147.48 183.29
32984.50/4134.29 c N dy 77873 11471945 4257 85800 0 184891 429000 8448543 147.49 204.59
33060.48/4143.74 c N dy 78014 11491989 4257 85800 0 204930 429000 12537312 147.49 155.86
33140.97/4153.82 c N dy 78148 11512023 4257 85800 0 224961 429000 16619374 147.49 155.88
33227.95/4164.71 c N dy 78288 11532037 4257 85800 0 244969 429000 20730678 147.49 162.91
33320.55/4176.32 c N dy 78425 11552091 4257 85800 0 265013 429000 24773298 147.50 156.93
33416.36/4188.31 c N dy 78556 11572115 4257 85800 0 285030 429000 28847990 147.50 158.54
33520.09/4201.36 c N dy 78690 11592343 4257 85800 0 153299 429000 1790431 147.50 155.81
33584.74/4209.47 c N dy 78821 11612406 4257 85800 0 173349 429000 5890040 147.50 155.27
33657.53/4218.59 c N dy 78965 11632438 4257 85800 0 193375 429000 9964569 147.50 158.31
33735.66/4228.40 c N dy 79101 11652521 4257 85800 0 213451 429000 13989708 147.50 155.77
33820.23/4238.96 c N dy 79237 11672641 4257 85800 0 233567 429000 18069387 147.50 160.33
33911.28/4250.38 c N dy 79381 11692757 4257 85800 0 253674 429000 22158096 147.51 160.00
34006.23/4262.25 c N dy 79517 11712844 4257 85800 0 273753 429000 26219247 147.51 162.28
34107.60/4274.91 c N dy 79658 11732955 4257 85800 0 293854 429000 30333243 147.51 155.53
34199.38/4286.40 c N dy 79797 11753016 4257 85800 0 160965 429000 3178420 147.51 167.04
34268.85/4295.18 c N dy 79936 11773087 4257 85800 0 181032 429000 7269084 147.51 155.55
34343.84/4304.56 c N dy 80078 11793103 4257 85800 0 201045 429000 11330855 147.51 168.80
34424.45/4314.62 c N dy 80214 11813151 4257 85800 0 221087 429000 15413285 147.52 158.58
34510.67/4325.46 c N dy 80356 11833226 4257 85800 0 241157 429000 19471152 147.52 164.01
34602.49/4336.94 c N dy 80500 11853256 4257 85800 0 261177 429000 23582267 147.52 158.67
34700.67/4349.27 c N dy 80639 11873334 4257 85800 0 281251 429000 27646144 147.53 201.44
34804.43/4362.29 c N dy 80785 11893411 4257 85800 0 301318 429000 31778148 147.53 155.42
34881.05/4371.81 c N dy 80925 11913510 4257 85800 0 167469 429000 4297633 147.53 165.37
34940.88/4379.33 c N dy 81055 11933522 4257 85800 0 187475 429000 8333370 147.53 210.84
35007.93/4387.71 c N dy 81192 11953616 4257 85800 0 207566 429000 12405582 147.53 157.39
35080.54/4396.86 c N dy 81332 11973659 4257 85800 0 227607 429000 16481137 147.53 159.78
35158.03/4406.52 c N dy 81475 11993777 4257 85800 0 247723 429000 20583664 147.54 157.69
35240.21/4416.81 c N dy 81616 12013883 4257 85800 0 267820 429000 24729321 147.54 156.81
35328.01/4427.87 c N dy 81750 12033937 4257 85800 0 287868 429000 28800540 147.54 156.66
35424.57/4439.99 c N dy 81897 12053986 4257 85800 0 307904 429000 32918448 147.55 156.08
35490.84/4448.24 c N dy 82043 12074156 4257 85800 0 173118 429000 5292234 147.55 155.62
35554.68/4456.24 c N dy 82181 12094222 4257 85800 0 193180 429000 9366632 147.55 155.44
35623.34/4464.86 c N dy 82321 12114264 4257 85800 0 213217 429000 13444928 147.56 179.55
35695.95/4473.97 c N dy 82455 12134275 4257 85800 0 233224 429000 17542052 147.56 156.01
35775.78/4483.91 c N dy 82591 12154306 4257 85800 0 253249 429000 21592520 147.56 156.90
35858.82/4494.38 c N dy 82723 12174363 4257 85800 0 273300 429000 25622308 147.56 165.70
35951.40/4505.95 c N dy 82862 12194507 4257 85800 0 293435 429000 29690730 147.56 159.25
36046.35/4517.90 c N dy 82997 12214597 4257 85800 0 157564 429000 1880187 147.56 157.93
36105.42/4525.24 c N dy 83137 12234693 4257 85800 0 177654 429000 6022285 147.56 159.09
36168.62/4533.14 c N dy 83274 12254703 4257 85800 0 197656 429000 10091058 147.57 158.31
36236.29/4541.66 c N dy 83402 12274784 4257 85800 0 217724 429000 14201884 147.57 155.66
36310.53/4550.99 c N dy 83531 12294831 4257 85800 0 237764 429000 18203663 147.57 155.77
36392.77/4561.25 c N dy 83672 12314864 4257 85800 0 257791 429000 22277015 147.57 157.45
36478.97/4572.05 c N dy 83809 12334876 4257 85800 0 277797 429000 26379568 147.58 155.55
36569.99/4583.48 c N dy 83945 12354977 4257 85800 0 297895 429000 30496551 147.58 159.04
36664.98/4595.32 c N dy 84080 12374991 4257 85800 0 160955 429000 2373524 147.58 188.75
36735.20/4604.12 c N dy 84220 12395001 4257 85800 0 180955 429000 6437138 147.58 158.04
36810.23/4613.55 c N dy 84358 12415026 4257 85800 0 200974 429000 10493116 147.58 158.12
36893.21/4623.98 c N dy 84503 12435075 4257 85800 0 221017 429000 14590100 147.58 156.11
36980.23/4634.87 c N dy 84642 12455173 4257 85800 0 241106 429000 18713421 147.58 178.91
37072.99/4646.42 c N dy 84780 12475210 4257 85800 0 261138 429000 22809879 147.59 156.95
37172.62/4658.98 c N dy 84924 12495260 4257 85800 0 281179 429000 26903578 147.59 186.36
37275.60/4671.85 c N dy 85065 12515311 4257 85800 0 301225 429000 31000001 147.59 158.97
37375.34/4684.33 c N dy 85204 12535339 4257 85800 0 163300 429000 2660372 147.60 166.86
37436.82/4692.01 c N dy 85346 12555456 4257 85800 0 183411 429000 6778927 147.60 158.11
37503.19/4700.33 c N dy 85481 12575569 4257 85800 0 203520 429000 10830723 147.60 157.78
37575.67/4709.40 c N dy 85614 12595643 4257 85800 0 223582 429000 14873655 147.60 157.00
37663.49/4720.42 c N dy 85754 12615716 4257 85800 0 243650 429000 18983966 147.60 159.57
37761.68/4732.78 c N dy 85900 12635936 4257 85800 0 263866 429000 23113998 147.61 159.96
37865.47/4745.74 c N dy 86040 12655961 4257 85800 0 283888 429000 27215804 147.61 159.35
37974.81/4759.48 c N dy 86177 12675994 4257 85800 0 303913 429000 31274540 147.61 157.40
38075.33/4772.02 c N dy 86306 12696115 4257 85800 0 165073 429000 2842581 147.61 156.15
38136.80/4779.74 c N dy 86440 12716286 4257 85800 0 185232 429000 6952104 147.61 156.11
38202.26/4787.91 c N dy 86570 12736299 4257 85800 0 205240 429000 10959140 147.61 157.28
38272.51/4796.79 c N dy 86707 12756310 4257 85800 0 225243 429000 15020659 147.61 157.16
38352.35/4806.73 c N dy 86849 12776318 4257 85800 0 245244 429000 19056250 147.61 170.73
38436.16/4817.28 c N dy 86990 12796419 4257 85800 0 265336 429000 23138689 147.61 156.34
38527.18/4828.66 c N dy 87137 12816457 4257 85800 0 285369 429000 27218597 147.62 157.51
38622.13/4840.52 c N dy 87269 12836559 4257 85800 0 305465 429000 31332023 147.62 174.55
38717.11/4852.49 c N dy 87407 12856625 4257 85800 0 165580 429000 2737678 147.62 156.59
38788.96/4861.46 c N dy 87552 12876818 4257 85800 0 185770 429000 6865507 147.62 157.57
38864.78/4870.95 c N dy 87688 12896822 4257 85800 0 205765 429000 10930100 147.63 156.64
38944.63/4880.97 c N dy 87822 12917014 4257 85800 0 225951 429000 15044766 147.63 156.78
39033.22/4892.08 c N dy 87967 12937167 4257 85800 0 246098 429000 19198457 147.63 156.97
39125.84/4903.61 c N dy 88103 12957168 4257 85800 0 266090 429000 23263367 147.63 155.86
39227.21/4916.32 c N dy 88250 12977234 4257 85800 0 286153 429000 27361107 147.64 174.46
39331.76/4929.41 c N dy 88390 12997259 4257 85800 0 306173 429000 31469693 147.64 159.69
39429.93/4941.79 c N dy 88523 13017323 4257 85800 0 165290 429000 2497407 147.64 156.49
39489.81/4949.27 c N dy 88652 13037438 4257 85800 0 185395 429000 6592563 147.64 155.55
39556.06/4957.50 c N dy 88791 13057444 4257 85800 0 205397 429000 10699890 147.65 159.56
39627.16/4966.48 c N dy 88928 13077543 4257 85800 0 225487 429000 14833946 147.65 168.40
39706.16/4976.34 c N dy 89065 13097714 4257 85800 0 245653 429000 18955860 147.65 160.53
39789.15/4986.79 c N dy 89206 13117866 4257 85800 0 265798 429000 23049917 147.65 156.82
39845.83/4993.81 c F st 89292 13130469 4257 85800 0 278393 429000 25614242 147.65 no data
39872.19/4997.19 c N dy 89314 13137890 4257 85800 0 285807 429000 27365984 147.65 156.35
39969.62/5009.36 c N dy 89455 13157977 4257 85800 0 305889 429000 31497826 147.66 158.93
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-3421602-1306678783/watcher-3421602-1306678783 -o /tmp/evaluation-result-3421602-1306678783/solver-3421602-1306678783 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3421602-1306678783.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.36 7.90 7.96 2/498 4752
/proc/meminfo: memFree=21805484/32951124 swapFree=51851948/67111528
[pid=4752] ppid=4750 vsize=92144 CPUtime=0.01 cores=0-7
/proc/4752/stat : 4752 (strangenight2-m) R 4750 4752 4726 0 -1 4202496 411 0 0 0 1 0 0 0 24 0 8 0 779481030 94355456 352 33554432000 4194304 4580107 140736528149376 18446744073709551615 47999415363500 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4752/statm: 23036 352 299 95 0 18018 0
[pid=4752/tid=4753] ppid=4750 vsize=92144 CPUtime=0.01 cores=0-7
/proc/4752/task/4753/stat : 4753 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 1 0 0 0 1 0 0 0 24 0 8 0 779481030 94355456 352 33554432000 4194304 4580107 140736528149376 18446744073709551615 47999415363506 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4752/tid=4754] ppid=4750 vsize=92144 CPUtime=0 cores=0-7
/proc/4752/task/4754/stat : 4754 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 779481030 94355456 352 33554432000 4194304 4580107 140736528149376 18446744073709551615 47999415363506 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4752/tid=4755] ppid=4750 vsize=92144 CPUtime=0.01 cores=0-7
/proc/4752/task/4755/stat : 4755 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 779481030 94355456 352 33554432000 4194304 4580107 140736528149376 18446744073709551615 47999415363506 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4752/tid=4756] ppid=4750 vsize=92144 CPUtime=0.01 cores=0-7
/proc/4752/task/4756/stat : 4756 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 779481030 94355456 352 33554432000 4194304 4580107 140736528149376 18446744073709551615 47999415363496 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4752/tid=4757] ppid=4750 vsize=92144 CPUtime=0 cores=0-7
/proc/4752/task/4757/stat : 4757 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 779481030 94355456 352 33554432000 4194304 4580107 140736528149376 18446744073709551615 216634571761 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4752/tid=4758] ppid=4750 vsize=92144 CPUtime=0.01 cores=0-7
/proc/4752/task/4758/stat : 4758 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 779481030 94355456 352 33554432000 4194304 4580107 140736528149376 18446744073709551615 47999415363506 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4752/tid=4759] ppid=4750 vsize=92144 CPUtime=0.01 cores=0-7
/proc/4752/task/4759/stat : 4759 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 779481030 94355456 352 33554432000 4194304 4580107 140736528149376 18446744073709551615 47999415363506 0 0 4096 2 0 0 0 -1 6 0 0 0
[startup+0.071116 s]
/proc/loadavg: 7.36 7.90 7.96 2/498 4752
/proc/meminfo: memFree=21805484/32951124 swapFree=51851948/67111528
[pid=4752] ppid=4750 vsize=565512 CPUtime=0.37 cores=0-7
/proc/4752/stat : 4752 (strangenight2-m) S 4750 4752 4726 0 -1 4202496 11288 0 0 0 27 10 0 0 17 0 8 0 779481030 579084288 10433 33554432000 4194304 4580107 140736528149376 18446744073709551615 216634620398 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4752/statm: 141378 10461 337 95 0 136360 0
[pid=4752/tid=4753] ppid=4750 vsize=565512 CPUtime=0.04 cores=0-7
/proc/4752/task/4753/stat : 4753 (strangenight2-m) S 4750 4752 4726 0 -1 4202560 1489 0 0 0 4 0 0 0 17 0 8 0 779481030 579084288 10473 33554432000 4194304 4580107 140736528149376 18446744073709551615 216634620398 0 0 4096 2 18446604440892581120 0 0 -1 2 0 0 0
[pid=4752/tid=4754] ppid=4750 vsize=565512 CPUtime=0.03 cores=0-7
/proc/4752/task/4754/stat : 4754 (strangenight2-m) S 4750 4752 4726 0 -1 4202560 1240 0 0 0 2 1 0 0 17 0 8 0 779481030 579084288 10425 33554432000 4194304 4580107 140736528149376 18446744073709551615 216634620398 0 0 4096 2 18446604440892581120 0 0 -1 5 0 0 0
[pid=4752/tid=4755] ppid=4750 vsize=565836 CPUtime=0.04 cores=0-7
/proc/4752/task/4755/stat : 4755 (strangenight2-m) S 4750 4752 4726 0 -1 4202560 1259 0 0 0 3 1 0 0 17 0 8 0 779481030 579416064 10468 33554432000 4194304 4580107 140736528149376 18446744073709551615 216634620398 0 0 4096 2 18446604440892581120 0 0 -1 1 0 0 0
[pid=4752/tid=4756] ppid=4750 vsize=565836 CPUtime=0.05 cores=0-7
/proc/4752/task/4756/stat : 4756 (strangenight2-m) S 4750 4752 4726 0 -1 4202560 1361 0 0 0 4 1 0 0 17 0 8 0 779481030 579416064 10485 33554432000 4194304 4580107 140736528149376 18446744073709551615 216634620398 0 0 4096 2 18446604440892581120 0 0 -1 4 0 0 0
[pid=4752/tid=4757] ppid=4750 vsize=565836 CPUtime=0.03 cores=0-7
/proc/4752/task/4757/stat : 4757 (strangenight2-m) S 4750 4752 4726 0 -1 4202560 1509 0 0 0 2 1 0 0 17 0 8 0 779481030 579416064 10468 33554432000 4194304 4580107 140736528149376 18446744073709551615 216634620398 0 0 4096 2 18446604440892581120 0 0 -1 7 0 0 0
[pid=4752/tid=4758] ppid=4750 vsize=565836 CPUtime=0.04 cores=0-7
/proc/4752/task/4758/stat : 4758 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 1451 0 0 0 3 1 0 0 17 0 8 0 779481030 579416064 10469 33554432000 4194304 4580107 140736528149376 18446744073709551615 216634620447 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4752/tid=4759] ppid=4750 vsize=565836 CPUtime=0.04 cores=0-7
/proc/4752/task/4759/stat : 4759 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 1485 0 0 0 3 1 0 0 17 0 8 0 779481030 579416064 10477 33554432000 4194304 4580107 140736528149376 18446744073709551615 216634620447 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 565512
[startup+0.102134 s]
/proc/loadavg: 7.36 7.90 7.96 2/498 4752
/proc/meminfo: memFree=21805484/32951124 swapFree=51851948/67111528
[pid=4752] ppid=4750 vsize=575112 CPUtime=0.55 cores=0-7
/proc/4752/stat : 4752 (strangenight2-m) R 4750 4752 4726 0 -1 4202496 16492 0 0 0 38 17 0 0 17 0 8 0 779481030 588914688 14536 33554432000 4194304 4580107 140736528149376 18446744073709551615 216634212463 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4752/statm: 143778 14558 337 95 0 138760 0
[pid=4752/tid=4753] ppid=4750 vsize=575112 CPUtime=0.07 cores=0-7
/proc/4752/task/4753/stat : 4753 (strangenight2-m) S 4750 4752 4726 0 -1 4202560 2128 0 0 0 6 1 0 0 17 0 8 0 779481030 588914688 14571 33554432000 4194304 4580107 140736528149376 18446744073709551615 216634620398 0 0 4096 2 18446604440892581120 0 0 -1 2 0 0 0
[pid=4752/tid=4754] ppid=4750 vsize=575112 CPUtime=0.05 cores=0-7
/proc/4752/task/4754/stat : 4754 (strangenight2-m) S 4750 4752 4726 0 -1 4202560 1949 0 0 0 3 2 0 0 17 0 8 0 779481030 588914688 14586 33554432000 4194304 4580107 140736528149376 18446744073709551615 216634620398 0 0 4096 2 18446604440892581120 0 0 -1 5 0 0 0
[pid=4752/tid=4755] ppid=4750 vsize=575112 CPUtime=0.07 cores=0-7
/proc/4752/task/4755/stat : 4755 (strangenight2-m) S 4750 4752 4726 0 -1 4202560 2029 0 0 0 5 2 0 0 17 0 8 0 779481030 588914688 14600 33554432000 4194304 4580107 140736528149376 18446744073709551615 216634620398 0 0 4096 2 18446604440892581120 0 0 -1 1 0 0 0
[pid=4752/tid=4756] ppid=4750 vsize=575112 CPUtime=0.07 cores=0-7
/proc/4752/task/4756/stat : 4756 (strangenight2-m) S 4750 4752 4726 0 -1 4202560 2065 0 0 0 5 2 0 0 17 0 8 0 779481030 588914688 14615 33554432000 4194304 4580107 140736528149376 18446744073709551615 216634620398 0 0 4096 2 18446604440892581120 0 0 -1 4 0 0 0
[pid=4752/tid=4757] ppid=4750 vsize=575112 CPUtime=0.05 cores=0-7
/proc/4752/task/4757/stat : 4757 (strangenight2-m) S 4750 4752 4726 0 -1 4202560 2031 0 0 0 3 2 0 0 17 0 8 0 779481030 588914688 14625 33554432000 4194304 4580107 140736528149376 18446744073709551615 216634620398 0 0 4096 2 18446604440892581120 0 0 -1 7 0 0 0
[pid=4752/tid=4758] ppid=4750 vsize=575112 CPUtime=0.06 cores=0-7
/proc/4752/task/4758/stat : 4758 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 1970 0 0 0 5 1 0 0 17 0 8 0 779481030 588914688 14650 33554432000 4194304 4580107 140736528149376 18446744073709551615 216634620447 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4752/tid=4759] ppid=4750 vsize=575112 CPUtime=0.07 cores=0-7
/proc/4752/task/4759/stat : 4759 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2081 0 0 0 5 2 0 0 17 0 8 0 779481030 588914688 14709 33554432000 4194304 4580107 140736528149376 18446744073709551615 216634620447 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 575112
[startup+0.303009 s]
/proc/loadavg: 7.36 7.90 7.96 2/498 4752
/proc/meminfo: memFree=21805484/32951124 swapFree=51851948/67111528
[pid=4752] ppid=4750 vsize=614132 CPUtime=1.79 cores=0-7
/proc/4752/stat : 4752 (strangenight2-m) R 4750 4752 4726 0 -1 4202496 41943 0 0 0 118 61 0 0 17 0 8 0 779481030 628871168 37744 33554432000 4194304 4580107 140736528149376 18446744073709551615 216634515259 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4752/statm: 153533 37762 337 95 0 148515 0
[pid=4752/tid=4753] ppid=4750 vsize=614132 CPUtime=0.23 cores=0-7
/proc/4752/task/4753/stat : 4753 (strangenight2-m) S 4750 4752 4726 0 -1 4202560 5392 0 0 0 17 6 0 0 17 0 8 0 779481030 628871168 37762 33554432000 4194304 4580107 140736528149376 18446744073709551615 216634620398 0 0 4096 2 18446604440892581120 0 0 -1 2 0 0 0
[pid=4752/tid=4754] ppid=4750 vsize=614132 CPUtime=0.2 cores=0-7
/proc/4752/task/4754/stat : 4754 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 5043 0 0 0 12 8 0 0 17 0 8 0 779481030 628871168 37762 33554432000 4194304 4580107 140736528149376 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4752/tid=4755] ppid=4750 vsize=614132 CPUtime=0.22 cores=0-7
/proc/4752/task/4755/stat : 4755 (strangenight2-m) S 4750 4752 4726 0 -1 4202560 5245 0 0 0 15 7 0 0 17 0 8 0 779481030 628871168 37778 33554432000 4194304 4580107 140736528149376 18446744073709551615 216634620398 0 0 4096 2 18446604440892581120 0 0 -1 1 0 0 0
[pid=4752/tid=4756] ppid=4750 vsize=614132 CPUtime=0.23 cores=0-7
/proc/4752/task/4756/stat : 4756 (strangenight2-m) S 4750 4752 4726 0 -1 4202560 5251 0 0 0 15 8 0 0 17 0 8 0 779481030 628871168 37788 33554432000 4194304 4580107 140736528149376 18446744073709551615 216634620398 0 0 4096 2 18446604440892581120 0 0 -1 4 0 0 0
[pid=4752/tid=4757] ppid=4750 vsize=614132 CPUtime=0.21 cores=0-7
/proc/4752/task/4757/stat : 4757 (strangenight2-m) S 4750 4752 4726 0 -1 4202560 5212 0 0 0 13 8 0 0 17 0 8 0 779481030 628871168 37791 33554432000 4194304 4580107 140736528149376 18446744073709551615 216634620398 0 0 4096 2 18446604440892581120 0 0 -1 7 0 0 0
[pid=4752/tid=4758] ppid=4750 vsize=614132 CPUtime=0.21 cores=0-7
/proc/4752/task/4758/stat : 4758 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 5028 0 0 0 15 6 0 0 17 0 8 0 779481030 628871168 37800 33554432000 4194304 4580107 140736528149376 18446744073709551615 216634620447 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4752/tid=4759] ppid=4750 vsize=614132 CPUtime=0.21 cores=0-7
/proc/4752/task/4759/stat : 4759 (strangenight2-m) S 4750 4752 4726 0 -1 4202560 5207 0 0 0 14 7 0 0 17 0 8 0 779481030 628871168 37814 33554432000 4194304 4580107 140736528149376 18446744073709551615 216634620398 0 0 4096 2 18446604440892581120 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 614132
[startup+0.70198 s]
/proc/loadavg: 7.36 7.90 7.96 2/498 4752
/proc/meminfo: memFree=21805484/32951124 swapFree=51851948/67111528
[pid=4752] ppid=4750 vsize=939436 CPUtime=4.22 cores=0-7
/proc/4752/stat : 4752 (strangenight2-m) S 4750 4752 4726 0 -1 4202496 87163 0 0 0 283 139 0 0 17 0 8 0 779481030 961982464 78799 33554432000 4194304 4580107 140736528149376 18446744073709551615 216634620398 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4752/statm: 234859 78812 337 95 0 229841 0
[pid=4752/tid=4753] ppid=4750 vsize=939436 CPUtime=0.53 cores=0-7
/proc/4752/task/4753/stat : 4753 (strangenight2-m) S 4750 4752 4726 0 -1 4202560 11191 0 0 0 37 16 0 0 17 0 8 0 779481030 961982464 78825 33554432000 4194304 4580107 140736528149376 18446744073709551615 216634620398 0 0 4096 2 18446604440892581120 0 0 -1 2 0 0 0
[pid=4752/tid=4754] ppid=4750 vsize=939436 CPUtime=0.51 cores=0-7
/proc/4752/task/4754/stat : 4754 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 10694 0 0 0 32 19 0 0 17 0 8 0 779481030 961982464 78844 33554432000 4194304 4580107 140736528149376 18446744073709551615 216634620447 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4752/tid=4755] ppid=4750 vsize=939436 CPUtime=0.54 cores=0-7
/proc/4752/task/4755/stat : 4755 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 10978 0 0 0 36 18 0 0 17 0 8 0 779481030 961982464 78867 33554432000 4194304 4580107 140736528149376 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4752/tid=4756] ppid=4750 vsize=939436 CPUtime=0.53 cores=0-7
/proc/4752/task/4756/stat : 4756 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 10923 0 0 0 35 18 0 0 17 0 8 0 779481030 961982464 78890 33554432000 4194304 4580107 140736528149376 18446744073709551615 216634620447 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4752/tid=4757] ppid=4750 vsize=939436 CPUtime=0.52 cores=0-7
/proc/4752/task/4757/stat : 4757 (strangenight2-m) S 4750 4752 4726 0 -1 4202560 11145 0 0 0 34 18 0 0 17 0 8 0 779481030 961982464 78893 33554432000 4194304 4580107 140736528149376 18446744073709551615 216634620398 0 0 4096 2 18446604440892581120 0 0 -1 7 0 0 0
[pid=4752/tid=4758] ppid=4750 vsize=939436 CPUtime=0.52 cores=0-7
/proc/4752/task/4758/stat : 4758 (strangenight2-m) S 4750 4752 4726 0 -1 4202560 10708 0 0 0 37 15 0 0 17 0 8 0 779481030 961982464 78906 33554432000 4194304 4580107 140736528149376 18446744073709551615 216634620398 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4752/tid=4759] ppid=4750 vsize=939568 CPUtime=0.5 cores=0-7
/proc/4752/task/4759/stat : 4759 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 10836 0 0 0 35 15 0 0 17 0 8 0 779481030 962117632 78921 33554432000 4194304 4580107 140736528149376 18446744073709551615 216634558647 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.22
Current children cumulated vsize (KiB) 939436
[startup+1.50079 s]
/proc/loadavg: 7.36 7.90 7.96 8/506 4760
/proc/meminfo: memFree=21395480/32951124 swapFree=51851948/67111528
[pid=4752] ppid=4750 vsize=982464 CPUtime=9.32 cores=0-7
/proc/4752/stat : 4752 (strangenight2-m) R 4750 4752 4726 0 -1 4202496 126485 0 0 0 690 242 0 0 16 0 8 0 779481030 1006043136 118086 33554432000 4194304 4580107 140736528149376 18446744073709551615 4295727 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4752/statm: 245616 118086 358 95 0 240598 0
[pid=4752/tid=4753] ppid=4750 vsize=982464 CPUtime=1.18 cores=0-7
/proc/4752/task/4753/stat : 4753 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 16384 0 0 0 86 32 0 0 16 0 8 0 779481030 1006043136 118086 33554432000 4194304 4580107 140736528149376 18446744073709551615 216634620447 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4752/tid=4754] ppid=4750 vsize=982464 CPUtime=1.15 cores=0-7
/proc/4752/task/4754/stat : 4754 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 15061 0 0 0 84 31 0 0 16 0 8 0 779481030 1006043136 118086 33554432000 4194304 4580107 140736528149376 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4752/tid=4755] ppid=4750 vsize=982464 CPUtime=1.16 cores=0-7
/proc/4752/task/4755/stat : 4755 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 15916 0 0 0 86 30 0 0 16 0 8 0 779481030 1006043136 118086 33554432000 4194304 4580107 140736528149376 18446744073709551615 216634164140 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4752/tid=4756] ppid=4750 vsize=982464 CPUtime=1.15 cores=0-7
/proc/4752/task/4756/stat : 4756 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 16056 0 0 0 84 31 0 0 16 0 8 0 779481030 1006043136 118086 33554432000 4194304 4580107 140736528149376 18446744073709551615 216634620447 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4752/tid=4757] ppid=4750 vsize=982464 CPUtime=1.17 cores=0-7
/proc/4752/task/4757/stat : 4757 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 16002 0 0 0 88 29 0 0 16 0 8 0 779481030 1006043136 118086 33554432000 4194304 4580107 140736528149376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4752/tid=4758] ppid=4750 vsize=982464 CPUtime=1.16 cores=0-7
/proc/4752/task/4758/stat : 4758 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 15590 0 0 0 89 27 0 0 16 0 8 0 779481030 1006043136 118086 33554432000 4194304 4580107 140736528149376 18446744073709551615 216634620447 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4752/tid=4759] ppid=4750 vsize=982464 CPUtime=1.13 cores=0-7
/proc/4752/task/4759/stat : 4759 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 15676 0 0 0 86 27 0 0 16 0 8 0 779481030 1006043136 118086 33554432000 4194304 4580107 140736528149376 18446744073709551615 4320440 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 9.32
Current children cumulated vsize (KiB) 982464
[startup+3.10051 s]
/proc/loadavg: 7.36 7.90 7.96 8/506 4760
/proc/meminfo: memFree=21304256/32951124 swapFree=51851948/67111528
[pid=4752] ppid=4750 vsize=1275568 CPUtime=20.01 cores=0-7
/proc/4752/stat : 4752 (strangenight2-m) R 4750 4752 4726 0 -1 4202496 196022 0 0 0 1627 374 0 0 16 0 8 0 779481030 1306181632 187622 33554432000 4194304 4580107 140736528149376 18446744073709551615 216634176545 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4752/statm: 318892 187622 365 95 0 313874 0
[pid=4752/tid=4753] ppid=4750 vsize=1275568 CPUtime=2.51 cores=0-7
/proc/4752/task/4753/stat : 4753 (strangenight2-m) S 4750 4752 4726 0 -1 4202560 28063 0 0 0 201 50 0 0 15 0 8 0 779481030 1306181632 187622 33554432000 4194304 4580107 140736528149376 18446744073709551615 216634620398 0 0 4096 2 18446604440892581120 0 0 -1 2 0 0 0
[pid=4752/tid=4754] ppid=4750 vsize=1275568 CPUtime=2.42 cores=0-7
/proc/4752/task/4754/stat : 4754 (strangenight2-m) S 4750 4752 4726 0 -1 4202560 21386 0 0 0 194 48 0 0 15 0 8 0 779481030 1306181632 187622 33554432000 4194304 4580107 140736528149376 18446744073709551615 216634620398 0 0 4096 2 18446604440892581120 0 0 -1 3 0 0 0
[pid=4752/tid=4755] ppid=4750 vsize=1275568 CPUtime=2.5 cores=0-7
/proc/4752/task/4755/stat : 4755 (strangenight2-m) S 4750 4752 4726 0 -1 4202560 29646 0 0 0 202 48 0 0 16 0 8 0 779481030 1306181632 187622 33554432000 4194304 4580107 140736528149376 18446744073709551615 216634620398 0 0 4096 2 18446604440892581120 0 0 -1 1 0 0 0
[pid=4752/tid=4756] ppid=4750 vsize=1275568 CPUtime=2.47 cores=0-7
/proc/4752/task/4756/stat : 4756 (strangenight2-m) S 4750 4752 4726 0 -1 4202560 24293 0 0 0 195 52 0 0 15 0 8 0 779481030 1306181632 187622 33554432000 4194304 4580107 140736528149376 18446744073709551615 216634620398 0 0 4096 2 18446604440892581120 0 0 -1 4 0 0 0
[pid=4752/tid=4757] ppid=4750 vsize=1275568 CPUtime=2.47 cores=0-7
/proc/4752/task/4757/stat : 4757 (strangenight2-m) D 4750 4752 4726 0 -1 4202560 22592 0 0 0 198 49 0 0 16 0 8 0 779481030 1306181632 187622 33554432000 4194304 4580107 140736528149376 18446744073709551615 216634558647 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4752/tid=4758] ppid=4750 vsize=1275568 CPUtime=2.47 cores=0-7
/proc/4752/task/4758/stat : 4758 (strangenight2-m) S 4750 4752 4726 0 -1 4202560 28557 0 0 0 203 44 0 0 16 0 8 0 779481030 1306181632 187622 33554432000 4194304 4580107 140736528149376 18446744073709551615 216634620398 0 0 4096 2 18446604440892581120 0 0 -1 0 0 0 0
[pid=4752/tid=4759] ppid=4750 vsize=1275568 CPUtime=2.65 cores=0-7
/proc/4752/task/4759/stat : 4759 (strangenight2-m) D 4750 4752 4726 0 -1 4202560 18511 0 0 0 237 28 0 0 18 0 8 0 779481030 1306181632 187622 33554432000 4194304 4580107 140736528149376 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 20.01
Current children cumulated vsize (KiB) 1275568
[startup+6.30095 s]
/proc/loadavg: 7.09 7.83 7.94 9/506 4760
/proc/meminfo: memFree=20359752/32951124 swapFree=51851948/67111528
[pid=4752] ppid=4750 vsize=1798592 CPUtime=40.34 cores=0-7
/proc/4752/stat : 4752 (strangenight2-m) R 4750 4752 4726 0 -1 4202496 430464 0 0 0 3399 635 0 0 17 0 8 0 779481030 1841758208 336099 33554432000 4194304 4580107 140736528149376 18446744073709551615 4368103 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4752/statm: 449648 336099 379 95 0 444630 0
[pid=4752/tid=4753] ppid=4750 vsize=1798592 CPUtime=4.98 cores=0-7
/proc/4752/task/4753/stat : 4753 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 58863 0 0 0 414 84 0 0 18 0 8 0 779481030 1841758208 336099 33554432000 4194304 4580107 140736528149376 18446744073709551615 4361347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4752/tid=4754] ppid=4750 vsize=1798592 CPUtime=4.91 cores=0-7
/proc/4752/task/4754/stat : 4754 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 57080 0 0 0 398 93 0 0 17 0 8 0 779481030 1841758208 336099 33554432000 4194304 4580107 140736528149376 18446744073709551615 4368153 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4752/tid=4755] ppid=4750 vsize=1798592 CPUtime=5.07 cores=0-7
/proc/4752/task/4755/stat : 4755 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 60593 0 0 0 424 83 0 0 18 0 8 0 779481030 1841758208 336100 33554432000 4194304 4580107 140736528149376 18446744073709551615 4289198 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4752/tid=4756] ppid=4750 vsize=1798592 CPUtime=4.85 cores=0-7
/proc/4752/task/4756/stat : 4756 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 56165 0 0 0 397 88 0 0 17 0 8 0 779481030 1841758208 336100 33554432000 4194304 4580107 140736528149376 18446744073709551615 4368165 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4752/tid=4757] ppid=4750 vsize=1798592 CPUtime=4.9 cores=0-7
/proc/4752/task/4757/stat : 4757 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 52208 0 0 0 402 88 0 0 17 0 8 0 779481030 1841758208 336100 33554432000 4194304 4580107 140736528149376 18446744073709551615 4368141 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4752/tid=4758] ppid=4750 vsize=1798592 CPUtime=5.15 cores=0-7
/proc/4752/task/4758/stat : 4758 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 54359 0 0 0 440 75 0 0 18 0 8 0 779481030 1841758208 336100 33554432000 4194304 4580107 140736528149376 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4752/tid=4759] ppid=4750 vsize=1798592 CPUtime=5.6 cores=0-7
/proc/4752/task/4759/stat : 4759 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 31983 0 0 0 528 32 0 0 20 0 8 0 779481030 1841758208 336100 33554432000 4194304 4580107 140736528149376 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=4752/tid=4754] ppid=4750 vsize=4329916 CPUtime=4654.93 cores=0-7
/proc/4752/task/4754/stat : 4754 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2658966 0 0 0 464584 909 0 0 25 0 8 0 779481030 4433833984 708326 33554432000 4194304 4580107 140736528149376 18446744073709551615 4301856 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4752/tid=4755] ppid=4750 vsize=4329916 CPUtime=4649.13 cores=0-7
/proc/4752/task/4755/stat : 4755 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2882859 0 0 0 463916 997 0 0 25 0 8 0 779481030 4433833984 708326 33554432000 4194304 4580107 140736528149376 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4752/tid=4756] ppid=4750 vsize=4329916 CPUtime=4659.57 cores=0-7
/proc/4752/task/4756/stat : 4756 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2605604 0 0 0 465145 812 0 0 25 0 8 0 779481030 4433833984 708326 33554432000 4194304 4580107 140736528149376 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4752/tid=4757] ppid=4750 vsize=4329916 CPUtime=4626.56 cores=0-7
/proc/4752/task/4757/stat : 4757 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2536571 0 0 0 461746 910 0 0 25 0 8 0 779481030 4433833984 708326 33554432000 4194304 4580107 140736528149376 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4752/tid=4758] ppid=4750 vsize=4329916 CPUtime=4654.76 cores=0-7
/proc/4752/task/4758/stat : 4758 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2591394 0 0 0 464650 826 0 0 25 0 8 0 779481030 4433833984 708326 33554432000 4194304 4580107 140736528149376 18446744073709551615 4294414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4752/tid=4759] ppid=4750 vsize=4329916 CPUtime=4647.85 cores=0-7
/proc/4752/task/4759/stat : 4759 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2506650 0 0 0 463978 807 0 0 25 0 8 0 779481030 4433833984 708326 33554432000 4194304 4580107 140736528149376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 37199.8
Current children cumulated vsize (KiB) 4329916
[startup+4722.32 s]
/proc/loadavg: 8.07 8.05 8.00 9/506 4898
/proc/meminfo: memFree=19074924/32951124 swapFree=51851948/67111528
[pid=4752] ppid=4750 vsize=3569064 CPUtime=37678.8 cores=0-7
/proc/4752/stat : 4752 (strangenight2-m) R 4750 4752 4726 0 -1 4202496 21219794 0 0 0 3760812 7067 0 0 25 0 8 0 779481030 3654721536 682349 33554432000 4194304 4580107 140736528149376 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4752/statm: 892266 682350 379 95 0 887248 0
[pid=4752/tid=4753] ppid=4750 vsize=3569064 CPUtime=4712.2 cores=0-7
/proc/4752/task/4753/stat : 4753 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2618694 0 0 0 470308 912 0 0 25 0 8 0 779481030 3654721536 682350 33554432000 4194304 4580107 140736528149376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4752/tid=4754] ppid=4750 vsize=3569064 CPUtime=4714.94 cores=0-7
/proc/4752/task/4754/stat : 4754 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2686663 0 0 0 470576 918 0 0 25 0 8 0 779481030 3654721536 682350 33554432000 4194304 4580107 140736528149376 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4752/tid=4755] ppid=4750 vsize=3569064 CPUtime=4709.14 cores=0-7
/proc/4752/task/4755/stat : 4755 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2911874 0 0 0 469905 1009 0 0 25 0 8 0 779481030 3654721536 682350 33554432000 4194304 4580107 140736528149376 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4752/tid=4756] ppid=4750 vsize=3569064 CPUtime=4719.57 cores=0-7
/proc/4752/task/4756/stat : 4756 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2630754 0 0 0 471137 820 0 0 25 0 8 0 779481030 3654721536 682350 33554432000 4194304 4580107 140736528149376 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4752/tid=4757] ppid=4750 vsize=3569064 CPUtime=4686.57 cores=0-7
/proc/4752/task/4757/stat : 4757 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2561671 0 0 0 467738 919 0 0 25 0 8 0 779481030 3654721536 682350 33554432000 4194304 4580107 140736528149376 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4752/tid=4758] ppid=4750 vsize=3569064 CPUtime=4714.75 cores=0-7
/proc/4752/task/4758/stat : 4758 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2620251 0 0 0 470640 835 0 0 25 0 8 0 779481030 3654721536 682350 33554432000 4194304 4580107 140736528149376 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4752/tid=4759] ppid=4750 vsize=3569064 CPUtime=4707.15 cores=0-7
/proc/4752/task/4759/stat : 4759 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2527135 0 0 0 469899 816 0 0 25 0 8 0 779481030 3654721536 682350 33554432000 4194304 4580107 140736528149376 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 37678.8
Current children cumulated vsize (KiB) 3569064
[startup+4782.3 s]
/proc/loadavg: 8.02 8.04 8.00 9/506 4899
/proc/meminfo: memFree=19338852/32951124 swapFree=51851948/67111528
[pid=4752] ppid=4750 vsize=3723096 CPUtime=38157.6 cores=0-7
/proc/4752/stat : 4752 (strangenight2-m) R 4750 4752 4726 0 -1 4202496 21412393 0 0 0 3808613 7143 0 0 25 0 8 0 779481030 3812450304 618433 33554432000 4194304 4580107 140736528149376 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4752/statm: 930774 618433 379 95 0 925756 0
[pid=4752/tid=4753] ppid=4750 vsize=3723096 CPUtime=4772.15 cores=0-7
/proc/4752/task/4753/stat : 4753 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2645276 0 0 0 476294 921 0 0 25 0 8 0 779481030 3812450304 618433 33554432000 4194304 4580107 140736528149376 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4752/tid=4754] ppid=4750 vsize=3723096 CPUtime=4774.9 cores=0-7
/proc/4752/task/4754/stat : 4754 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2707911 0 0 0 476562 928 0 0 25 0 8 0 779481030 3812450304 618433 33554432000 4194304 4580107 140736528149376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4752/tid=4755] ppid=4750 vsize=3723096 CPUtime=4769.1 cores=0-7
/proc/4752/task/4755/stat : 4755 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2939101 0 0 0 475890 1020 0 0 25 0 8 0 779481030 3812450304 618433 33554432000 4194304 4580107 140736528149376 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4752/tid=4756] ppid=4750 vsize=3723096 CPUtime=4779.53 cores=0-7
/proc/4752/task/4756/stat : 4756 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2653973 0 0 0 477124 829 0 0 25 0 8 0 779481030 3812450304 618433 33554432000 4194304 4580107 140736528149376 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4752/tid=4757] ppid=4750 vsize=3723096 CPUtime=4746.54 cores=0-7
/proc/4752/task/4757/stat : 4757 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2585705 0 0 0 473725 929 0 0 25 0 8 0 779481030 3812450304 618433 33554432000 4194304 4580107 140736528149376 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4752/tid=4758] ppid=4750 vsize=3723096 CPUtime=4774.7 cores=0-7
/proc/4752/task/4758/stat : 4758 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2642454 0 0 0 476628 842 0 0 25 0 8 0 779481030 3812450304 618433 33554432000 4194304 4580107 140736528149376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4752/tid=4759] ppid=4750 vsize=3723096 CPUtime=4767.13 cores=0-7
/proc/4752/task/4759/stat : 4759 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2551680 0 0 0 475888 825 0 0 25 0 8 0 779481030 3812450304 618433 33554432000 4194304 4580107 140736528149376 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 38157.6
Current children cumulated vsize (KiB) 3723096
[startup+4842.3 s]
/proc/loadavg: 8.01 8.03 8.00 9/506 4901
/proc/meminfo: memFree=19007760/32951124 swapFree=51851948/67111528
[pid=4752] ppid=4750 vsize=4491400 CPUtime=38636.5 cores=0-7
/proc/4752/stat : 4752 (strangenight2-m) R 4750 4752 4726 0 -1 4202496 21613265 0 0 0 3856440 7211 0 0 25 0 8 0 779481030 4599193600 699196 33554432000 4194304 4580107 140736528149376 18446744073709551615 4319736 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4752/statm: 1122850 699198 379 95 0 1117832 0
[pid=4752/tid=4753] ppid=4750 vsize=4491400 CPUtime=4832.15 cores=0-7
/proc/4752/task/4753/stat : 4753 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2670644 0 0 0 482286 929 0 0 25 0 8 0 779481030 4599193600 699198 33554432000 4194304 4580107 140736528149376 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4752/tid=4754] ppid=4750 vsize=4491400 CPUtime=4834.9 cores=0-7
/proc/4752/task/4754/stat : 4754 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2728886 0 0 0 482556 934 0 0 22 0 8 0 779481030 4599193600 699198 33554432000 4194304 4580107 140736528149376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4752/tid=4755] ppid=4750 vsize=4491400 CPUtime=4829.09 cores=0-7
/proc/4752/task/4755/stat : 4755 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2963784 0 0 0 481879 1030 0 0 25 0 8 0 779481030 4599193600 699198 33554432000 4194304 4580107 140736528149376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4752/tid=4756] ppid=4750 vsize=4491400 CPUtime=4839.53 cores=0-7
/proc/4752/task/4756/stat : 4756 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2682549 0 0 0 483116 837 0 0 25 0 8 0 779481030 4599193600 699198 33554432000 4194304 4580107 140736528149376 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4752/tid=4757] ppid=4750 vsize=4491400 CPUtime=4806.53 cores=0-7
/proc/4752/task/4757/stat : 4757 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2613611 0 0 0 479714 939 0 0 25 0 8 0 779481030 4599193600 699198 33554432000 4194304 4580107 140736528149376 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4752/tid=4758] ppid=4750 vsize=4491400 CPUtime=4834.68 cores=0-7
/proc/4752/task/4758/stat : 4758 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2669128 0 0 0 482617 851 0 0 25 0 8 0 779481030 4599193600 699198 33554432000 4194304 4580107 140736528149376 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4752/tid=4759] ppid=4750 vsize=4491400 CPUtime=4827.12 cores=0-7
/proc/4752/task/4759/stat : 4759 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2574835 0 0 0 481879 833 0 0 25 0 8 0 779481030 4599193600 699198 33554432000 4194304 4580107 140736528149376 18446744073709551615 4316288 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 38636.5
Current children cumulated vsize (KiB) 4491400
[startup+4902.3 s]
/proc/loadavg: 8.07 8.05 8.01 9/506 4902
/proc/meminfo: memFree=19007616/32951124 swapFree=51851948/67111528
[pid=4752] ppid=4750 vsize=4315480 CPUtime=39115.4 cores=0-7
/proc/4752/stat : 4752 (strangenight2-m) R 4750 4752 4726 0 -1 4202496 21801464 0 0 0 3904268 7277 0 0 25 0 8 0 779481030 4419051520 701221 33554432000 4194304 4580107 140736528149376 18446744073709551615 4294818 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4752/statm: 1078870 701221 379 95 0 1073852 0
[pid=4752/tid=4753] ppid=4750 vsize=4315480 CPUtime=4892.14 cores=0-7
/proc/4752/task/4753/stat : 4753 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2700161 0 0 0 488277 937 0 0 25 0 8 0 779481030 4419051520 701221 33554432000 4194304 4580107 140736528149376 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4752/tid=4754] ppid=4750 vsize=4315480 CPUtime=4894.89 cores=0-7
/proc/4752/task/4754/stat : 4754 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2750339 0 0 0 488548 941 0 0 25 0 8 0 779481030 4419051520 701221 33554432000 4194304 4580107 140736528149376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4752/tid=4755] ppid=4750 vsize=4315480 CPUtime=4889.09 cores=0-7
/proc/4752/task/4755/stat : 4755 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2993172 0 0 0 487867 1042 0 0 25 0 8 0 779481030 4419051520 701221 33554432000 4194304 4580107 140736528149376 18446744073709551615 4326704 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4752/tid=4756] ppid=4750 vsize=4315480 CPUtime=4899.52 cores=0-7
/proc/4752/task/4756/stat : 4756 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2703399 0 0 0 489108 844 0 0 25 0 8 0 779481030 4419051520 701221 33554432000 4194304 4580107 140736528149376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4752/tid=4757] ppid=4750 vsize=4315480 CPUtime=4866.51 cores=0-7
/proc/4752/task/4757/stat : 4757 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2634372 0 0 0 485705 946 0 0 25 0 8 0 779481030 4419051520 701221 33554432000 4194304 4580107 140736528149376 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4752/tid=4758] ppid=4750 vsize=4315480 CPUtime=4894.65 cores=0-7
/proc/4752/task/4758/stat : 4758 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2694066 0 0 0 488606 859 0 0 25 0 8 0 779481030 4419051520 701221 33554432000 4194304 4580107 140736528149376 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4752/tid=4759] ppid=4750 vsize=4315480 CPUtime=4887.13 cores=0-7
/proc/4752/task/4759/stat : 4759 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2595374 0 0 0 487871 842 0 0 25 0 8 0 779481030 4419051520 701221 33554432000 4194304 4580107 140736528149376 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 39115.4
Current children cumulated vsize (KiB) 4315480
[startup+4962.3 s]
/proc/loadavg: 8.06 8.05 8.01 9/506 4904
/proc/meminfo: memFree=19255480/32951124 swapFree=51851948/67111528
[pid=4752] ppid=4750 vsize=3530772 CPUtime=39594.4 cores=0-7
/proc/4752/stat : 4752 (strangenight2-m) R 4750 4752 4726 0 -1 4202496 21982734 0 0 0 3952092 7346 0 0 25 0 8 0 779481030 3615510528 637957 33554432000 4194304 4580107 140736528149376 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4752/statm: 882693 637957 379 95 0 877675 0
[pid=4752/tid=4753] ppid=4750 vsize=3530772 CPUtime=4952.13 cores=0-7
/proc/4752/task/4753/stat : 4753 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2723927 0 0 0 494268 945 0 0 25 0 8 0 779481030 3615510528 637957 33554432000 4194304 4580107 140736528149376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4752/tid=4754] ppid=4750 vsize=3530772 CPUtime=4954.88 cores=0-7
/proc/4752/task/4754/stat : 4754 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2769582 0 0 0 494540 948 0 0 25 0 8 0 779481030 3615510528 637957 33554432000 4194304 4580107 140736528149376 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4752/tid=4755] ppid=4750 vsize=3530772 CPUtime=4949.07 cores=0-7
/proc/4752/task/4755/stat : 4755 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 3021708 0 0 0 493855 1052 0 0 25 0 8 0 779481030 3615510528 637957 33554432000 4194304 4580107 140736528149376 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4752/tid=4756] ppid=4750 vsize=3530772 CPUtime=4959.52 cores=0-7
/proc/4752/task/4756/stat : 4756 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2721796 0 0 0 495099 853 0 0 25 0 8 0 779481030 3615510528 637957 33554432000 4194304 4580107 140736528149376 18446744073709551615 4301867 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4752/tid=4757] ppid=4750 vsize=3530772 CPUtime=4926.5 cores=0-7
/proc/4752/task/4757/stat : 4757 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2656637 0 0 0 491695 955 0 0 25 0 8 0 779481030 3615510528 637957 33554432000 4194304 4580107 140736528149376 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4752/tid=4758] ppid=4750 vsize=3530772 CPUtime=4954.63 cores=0-7
/proc/4752/task/4758/stat : 4758 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2717733 0 0 0 494594 869 0 0 25 0 8 0 779481030 3615510528 637957 33554432000 4194304 4580107 140736528149376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4752/tid=4759] ppid=4750 vsize=3530772 CPUtime=4947.12 cores=0-7
/proc/4752/task/4759/stat : 4759 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2615041 0 0 0 493863 849 0 0 25 0 8 0 779481030 3615510528 637957 33554432000 4194304 4580107 140736528149376 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 39594.4
Current children cumulated vsize (KiB) 3530772
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5013.2 s]
/proc/loadavg: 8.02 8.04 8.00 9/506 4905
/proc/meminfo: memFree=19090416/32951124 swapFree=51851948/67111528
[pid=4752] ppid=4750 vsize=4035428 CPUtime=40000.7 cores=0-7
/proc/4752/stat : 4752 (strangenight2-m) R 4750 4752 4726 0 -1 4202496 22151349 0 0 0 3992669 7404 0 0 25 0 8 0 779481030 4132278272 678182 33554432000 4194304 4580107 140736528149376 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4752/statm: 1008857 678182 379 95 0 1003839 0
[pid=4752/tid=4753] ppid=4750 vsize=4035428 CPUtime=5003.04 cores=0-7
/proc/4752/task/4753/stat : 4753 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2747814 0 0 0 499352 952 0 0 25 0 8 0 779481030 4132278272 678223 33554432000 4194304 4580107 140736528149376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4752/tid=4754] ppid=4750 vsize=4035428 CPUtime=5005.8 cores=0-7
/proc/4752/task/4754/stat : 4754 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2786979 0 0 0 499625 955 0 0 25 0 8 0 779481030 4132278272 678223 33554432000 4194304 4580107 140736528149376 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4752/tid=4755] ppid=4750 vsize=4035428 CPUtime=4999.99 cores=0-7
/proc/4752/task/4755/stat : 4755 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 3043505 0 0 0 498938 1061 0 0 24 0 8 0 779481030 4132278272 678223 33554432000 4194304 4580107 140736528149376 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4752/tid=4756] ppid=4750 vsize=4035428 CPUtime=5010.43 cores=0-7
/proc/4752/task/4756/stat : 4756 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2741218 0 0 0 500184 859 0 0 25 0 8 0 779481030 4132278272 678223 33554432000 4194304 4580107 140736528149376 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4752/tid=4757] ppid=4750 vsize=4035428 CPUtime=4977.43 cores=0-7
/proc/4752/task/4757/stat : 4757 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2681051 0 0 0 496778 965 0 0 25 0 8 0 779481030 4132278272 678223 33554432000 4194304 4580107 140736528149376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4752/tid=4758] ppid=4750 vsize=4035428 CPUtime=5005.53 cores=0-7
/proc/4752/task/4758/stat : 4758 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2741949 0 0 0 499677 876 0 0 25 0 8 0 779481030 4132278272 678223 33554432000 4194304 4580107 140736528149376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4752/tid=4759] ppid=4750 vsize=4035428 CPUtime=4998.03 cores=0-7
/proc/4752/task/4759/stat : 4759 (strangenight2-m) R 4750 4752 4726 0 -1 4202560 2632906 0 0 0 498947 856 0 0 25 0 8 0 779481030 4132278272 678223 33554432000 4194304 4580107 140736528149376 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 40000.7
Current children cumulated vsize (KiB) 4035428
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5013.33 s]
/proc/loadavg: 8.02 8.04 8.00 9/506 4905
/proc/meminfo: memFree=19090416/32951124 swapFree=51851948/67111528
[pid=4752] ppid=4750 vsize=0 CPUtime=40001 cores=0-7
/proc/4752/stat : 4752 (strangenight2-m) R 4750 4752 4726 0 -1 4203524 22151403 0 0 0 3992682 7414 0 0 25 0 1 0 779481030 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4752/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 40001
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5013.37
CPU time (s): 40001
CPU user time (s): 39926.8
CPU system time (s): 74.1867
CPU usage (%): 797.887
Max. virtual memory (cumulated for all children) (KiB): 5158752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39926.8
system time used= 74.1867
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22151403
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= 927466
involuntary context switches= 166998
runsolver used 23.1065 second user time and 58.991 second system time
The end
Launcher Data
Begin job on node103 at 2011-05-29 16:19:44
IDJOB=3421602
IDBENCH=83251
IDSOLVER=1878
FILE ID=node103/3421602-1306678783
RUNJOBID= node103-1306678783-4740
PBS_JOBID= 13471818
Free space on /tmp= 73364 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-5-5_34309.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3421602-1306678783/watcher-3421602-1306678783 -o /tmp/evaluation-result-3421602-1306678783/solver-3421602-1306678783 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3421602-1306678783.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= e252fbf81407f3388187ab50f0786909
RANDOM SEED=1785457783
node103.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.858
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.71
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.858
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
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.858
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.858
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.77
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.858
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.858
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.75
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.858
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.83
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.858
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: 21805888 kB
Buffers: 382200 kB
Cached: 8606168 kB
SwapCached: 191244 kB
Active: 2554848 kB
Inactive: 8269392 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 21805888 kB
SwapTotal: 67111528 kB
SwapFree: 51851948 kB
Dirty: 28332 kB
Writeback: 0 kB
AnonPages: 1656264 kB
Mapped: 22048 kB
Slab: 177004 kB
PageTables: 73532 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 162031244 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= 73356 MiB
End job on node103 at 2011-05-29 17:43:19