Trace number 3421605
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-4-5_4232.cnf |
| MD5SUM | 86d9f733c618d2ca060f457ab8a19463 |
| 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 | 4230 |
| Number of clauses | 100443 |
| Sum of the clauses size | 411786 |
| Maximum clause length | 5 |
| Minimum clause length | 4 |
| 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 | 90429 |
| Number of clauses of size 5 | 10014 |
| Number of clauses of size over 5 | 0 |
Solver Data
0.00/0.00 c Outputting solution to console
0.00/0.01 c Using 8 threads
0.00/0.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-3421605-1306678873.cnf'
0.00/0.02 c -- header says num vars: 4230
0.00/0.02 c -- header says num clauses: 100443
0.46/0.14 c -- clauses added: 0 learnts, 100443 normals, 0 xors
0.46/0.14 c -- vars added 4230
0.46/0.14 c Parsing time: 0.06 s
0.46/0.14 c N st 0 0 4230 100443 0 0 411786 0 no data no data
0.94/0.65 c asymm cl-useful: 0/82574/100443 lits-rem:0 time: 0.48
0.94/0.67 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.03
4.71/0.72 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
4.71/0.72 c bin-w-bin subsume rem 0 bins time: 0.00 s
4.71/0.72 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
4.71/0.72 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4230 time: 0.00 s
4.71/0.72 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
5.58/0.89 c lits-rem: 0 cl-subs: 0 v-elim: 9 v-fix: 0 time: 0.15 s
5.58/0.89 c Finding binary XORs T: 0.00 s found: 0
5.58/0.94 c Finding non-binary XORs: 0.04 s (found: 0, avg size: nan)
5.58/0.94 c calculated reachability. Time: 0.00
6.55/0.94 c Calc default polars - time: 0.00 s pos: 4221 undec: 9 neg: 0
6.55/0.94 c =========================================================================================
6.55/0.94 c types(t): F = full restart, N = normal restart
6.55/0.94 c types(t): S = simplification begin/end, E = solution found
6.55/0.94 c restart types(rt): st = static, dy = dynamic
6.55/0.94 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
6.55/0.94 c B st 0 0 4221 100378 0 0 412451 0 no data no data
7.01/1.02 c Decided on static restart strategy
7.79/1.15 c N st 8 4919 4221 100378 0 4857 412451 329984 no data no data
10.34/1.48 c N st 10 11301 4221 100378 0 11166 412451 760366 no data no data
13.37/1.88 c N st 11 17044 4221 100378 0 16845 412451 1152410 no data no data
18.29/2.44 c F st 12 25000 4221 100378 0 14806 412451 751883 no data no data
18.29/2.46 c Found part 1 vars: 2122 clauses: 51365 lits size: 211081
18.29/2.46 c Found part 9 vars: 2099 clauses: 49013 lits size: 201370
18.29/2.46 c Found parts: 2 time: 0.02 s
18.29/2.46 c Solving part 9
18.29/2.49 c N st 0 0 2099 49013 0 0 201370 0 no data no data
19.73/2.63 c asymm cl-useful: 0/49013/49013 lits-rem:0 time: 0.14
19.73/2.64 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.01
19.73/2.64 c Finding binary XORs T: 0.00 s found: 0
19.73/2.66 c Finding non-binary XORs: 0.01 s (found: 0, avg size: nan)
19.73/2.66 c calculated reachability. Time: 0.00
19.73/2.66 c Calc default polars - time: 0.00 s pos: 2099 undec: 2131 neg: 0
19.73/2.66 c =========================================================================================
19.73/2.66 c types(t): F = full restart, N = normal restart
19.73/2.66 c types(t): S = simplification begin/end, E = solution found
19.73/2.66 c restart types(rt): st = static, dy = dynamic
19.73/2.66 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
19.73/2.66 c B st 0 0 2099 49013 0 0 201370 0 no data no data
20.53/2.74 c Decided on static restart strategy
21.33/2.85 c N st 8 4913 2099 49013 0 4844 201370 324577 no data no data
23.73/3.18 c N st 10 11296 2099 49013 0 7099 201370 370046 no data no data
27.06/3.53 c N st 11 17041 2099 49013 0 12737 201370 764412 no data no data
30.91/4.04 c F st 12 25000 2099 49013 0 14025 201370 806900 no data no data
30.91/4.04 c N st 12 25000 2099 49013 0 14025 201370 806900 no data no data
33.30/4.33 c Decided on static restart strategy
33.30/4.33 c N st 18 30195 2099 49013 0 10882 201370 520013 no data no data
36.65/4.74 c N st 20 37307 2099 49013 0 17918 201370 1047972 no data no data
41.28/5.31 c N st 21 43708 2099 49013 0 14686 201370 1062858 no data no data
47.66/6.13 c N st 22 53308 2099 49013 0 13321 201370 825615 no data no data
61.24/7.85 c N st 23 67707 2099 49013 0 15723 201370 1200943 no data no data
74.00/9.42 c F st 24 87501 2099 49013 0 22354 201370 1396718 no data no data
74.00/9.42 c N st 24 87501 2099 49013 0 22354 201370 1396718 no data no data
76.40/9.77 c Decided on static restart strategy
78.00/9.95 c N st 31 95544 2099 49013 0 16222 201370 697446 no data no data
84.38/10.71 c N st 33 106210 2099 49013 0 26690 201370 1449471 no data no data
89.32/11.36 c N st 34 115811 2099 49013 0 21220 201370 1032334 no data no data
101.14/12.89 c N st 35 130208 2099 49013 0 19568 201370 1116848 no data no data
123.63/15.66 c N st 36 151805 2099 49013 0 24055 201370 1661523 no data no data
158.76/20.07 c N st 37 184199 2099 49013 0 19089 201370 784809 no data no data
228.04/28.78 c N st 38 232787 2099 49013 0 26366 201370 1507373 no data no data
293.47/36.97 c N st 39 305670 2099 49013 0 29571 201370 1288463 no data no data
294.28/37.01 c F st 40 306250 2099 49013 0 30147 201370 1327124 no data no data
296.68/37.36 c Decided on static restart strategy
311.83/39.27 c N st 50 334554 2099 49013 0 33103 201370 1389502 no data no data
343.10/43.15 c N st 52 370548 2099 49013 0 42648 201370 2074690 no data no data
371.69/46.76 c N st 53 402940 2099 49013 0 47668 201370 2377774 no data no data
422.93/53.16 c N st 54 451528 2099 49013 0 39102 201370 1679486 no data no data
507.38/63.77 c N st 55 524410 2099 49013 0 50309 201370 2386603 no data no data
719.69/90.30 c N st 56 633734 2099 49013 0 61034 201370 5849069 no data no data
979.86/122.94 c N st 57 797719 2099 49013 0 39134 201370 1130123 no data no data
1554.61/195.01 c N st 58 1043696 2099 49013 0 74408 201370 5980435 no data no data
1583.20/198.53 c F st 59 1071877 2099 49013 0 57346 201370 2895320 no data no data
1583.20/198.53 c N st 59 1071877 2099 49013 0 57346 201370 2895320 no data no data
1585.60/198.84 c Decided on static restart strategy
1602.35/200.94 c N st 69 1100180 2099 49013 0 85212 201370 5001036 no data no data
1639.86/205.61 c N st 71 1136174 2099 49013 0 75106 201370 4179376 no data no data
1681.36/210.80 c N st 72 1168568 2099 49013 0 60505 201370 3361116 no data no data
1749.19/219.35 c N st 73 1217158 2099 49013 0 60949 201370 3488835 no data no data
1853.92/232.46 c N st 74 1290040 2099 49013 0 84500 201370 4696028 no data no data
2090.14/262.04 c N st 75 1399365 2099 49013 0 92783 201370 8562861 no data no data
2442.77/306.25 c N st 76 1563350 2099 49013 0 97269 201370 8096619 no data no data
3152.48/395.13 c N st 77 1809327 2099 49013 0 116433 201370 10981669 no data no data
3737.38/468.41 c N st 78 2178291 2099 49013 0 114632 201370 10282039 no data no data
5161.25/646.87 c N st 79 2731738 2099 49013 0 118632 201370 9527649 no data no data
7655.37/959.40 c N st 80 3561909 2099 49013 0 89014 201370 3574784 no data no data
8208.44/1028.71 c F st 81 3751564 2099 49013 0 109531 201370 5953257 no data no data
8208.44/1028.71 c N st 81 3751564 2099 49013 0 109531 201370 5953257 no data no data
8224.41/1030.64 c N dy 145 3771814 2099 49013 0 129605 201370 7262300 44.57 47.39
8241.96/1032.81 c N dy 252 3792010 2099 49013 0 149676 201370 8472700 44.54 46.90
8265.90/1035.88 c N dy 340 3812106 2099 49013 0 169619 201370 9679034 44.41 46.98
8288.41/1038.69 c N dy 448 3832183 2099 49013 0 104084 201370 2739195 44.45 50.48
8317.79/1042.36 c N dy 551 3853275 2099 49013 0 125012 201370 3988188 44.41 46.83
8353.70/1046.87 c N dy 655 3873375 2099 49013 0 144965 201370 5181582 44.42 50.61
8395.99/1052.15 c N dy 755 3893670 2099 49013 0 165114 201370 6372670 44.41 47.60
8429.67/1056.32 c N dy 845 3913745 2099 49013 0 98523 201370 2117433 44.27 46.76
8453.47/1059.38 c N dy 955 3933819 2099 49013 0 118448 201370 3314949 44.34 47.41
8488.58/1063.74 c N dy 1049 3954156 2099 49013 0 138616 201370 4530409 44.32 46.69
8530.06/1068.95 c N dy 1139 3974188 2099 49013 0 158500 201370 5729433 44.31 47.34
8577.17/1074.82 c N dy 1244 3994237 2099 49013 0 90909 201370 1491530 44.34 46.83
8604.45/1078.26 c N dy 1354 4014300 2099 49013 0 110846 201370 2694593 44.37 46.96
8639.57/1082.67 c N dy 1451 4034572 2099 49013 0 130952 201370 3896566 44.37 47.42
8684.26/1088.24 c N dy 1548 4054573 2099 49013 0 150763 201370 5068678 44.35 46.79
8726.42/1093.52 c N dy 1654 4074613 2099 49013 0 170663 201370 6272627 44.35 47.60
8760.73/1097.84 c N dy 1745 4094620 2099 49013 0 102053 201370 2018952 44.33 47.01
8790.26/1101.56 c N dy 1834 4114703 2099 49013 0 121964 201370 3198303 44.30 46.81
8826.96/1106.19 c N dy 1937 4134943 2099 49013 0 142039 201370 4417703 44.34 47.04
8870.86/1111.69 c N dy 2035 4155201 2099 49013 0 162127 201370 5608849 44.34 47.44
8919.55/1117.81 c N dy 2140 4175274 2099 49013 0 92608 201370 1345378 44.34 46.99
8949.88/1121.59 c N dy 2232 4195324 2099 49013 0 112502 201370 2550113 44.32 46.69
8988.99/1126.40 c N dy 2321 4215470 2099 49013 0 132468 201370 3736620 44.32 46.75
9037.66/1132.51 c N dy 2460 4235535 2099 49013 0 152396 201370 4946696 44.38 47.21
9093.54/1139.51 c N dy 2559 4256121 2099 49013 0 172771 201370 6145104 44.37 47.18
9135.03/1144.75 c N dy 2661 4276179 2099 49013 0 102230 201370 1822776 44.37 46.74
9167.12/1148.78 c N dy 2765 4296199 2099 49013 0 122074 201370 3015199 44.39 47.21
9203.67/1153.36 c N dy 2859 4316271 2099 49013 0 141990 201370 4217862 44.39 46.87
9254.11/1159.69 c N dy 2975 4337632 2099 49013 0 163196 201370 5496186 44.40 46.81
9305.04/1166.05 c N dy 3061 4357642 2099 49013 0 91626 201370 1104984 44.37 47.05
9333.93/1169.69 c N dy 3164 4377677 2099 49013 0 111500 201370 2302541 44.38 49.45
9367.31/1173.85 c N dy 3278 4397715 2099 49013 0 131396 201370 3521995 44.40 51.82
9410.40/1179.22 c N dy 3364 4418304 2099 49013 0 151789 201370 4733691 44.38 46.92
9459.88/1185.47 c N dy 3470 4438552 2099 49013 0 171851 201370 5943617 44.39 46.95
9506.98/1191.38 c N dy 3577 4458598 2099 49013 0 99334 201370 1485074 44.41 46.79
9539.70/1195.48 c N dy 3689 4478669 2099 49013 0 119231 201370 2686970 44.42 47.52
9579.75/1200.46 c N dy 3790 4498738 2099 49013 0 139116 201370 3877632 44.42 46.77
9625.89/1206.21 c N dy 3889 4519037 2099 49013 0 159247 201370 5083130 44.42 46.91
9680.96/1213.13 c N dy 4001 4539236 2099 49013 0 179279 201370 6297011 44.43 46.80
9726.47/1218.84 c N dy 4128 4559375 2099 49013 0 105889 201370 1816624 44.46 46.94
9761.58/1223.23 c N dy 4234 4579381 2099 49013 0 125761 201370 3017628 44.47 47.65
9811.05/1229.45 c N dy 4357 4599972 2099 49013 0 146209 201370 4260372 44.49 47.03
9864.53/1236.16 c N dy 4465 4619978 2099 49013 0 166046 201370 5455534 44.50 47.12
9926.77/1243.90 c N dy 4591 4640129 2099 49013 0 186047 201370 6669851 44.52 46.95
9960.29/1248.15 c N dy 4686 4660158 2099 49013 0 111497 201370 2075132 44.51 47.03
9994.61/1252.43 c N dy 4772 4680192 2099 49013 0 131361 201370 3291935 44.51 47.07
10036.27/1257.67 c N dy 4868 4700267 2099 49013 0 151258 201370 4493660 44.51 46.93
10089.59/1264.32 c N dy 4981 4721459 2099 49013 0 172272 201370 5763100 44.51 46.92
10143.06/1271.05 c N dy 5071 4741460 2099 49013 0 96711 201370 1107699 44.50 47.12
10178.19/1275.41 c N dy 5163 4761498 2099 49013 0 116540 201370 2303268 44.50 47.48
10222.88/1281.05 c N dy 5270 4782450 2099 49013 0 137318 201370 3551984 44.50 46.96
10276.35/1287.74 c N dy 5386 4802547 2099 49013 0 157263 201370 4772637 44.52 47.78
10325.99/1293.94 c N dy 5518 4822581 2099 49013 0 177140 201370 6002659 44.56 54.14
10382.50/1301.08 c N dy 5631 4844132 2099 49013 0 102157 201370 1391913 44.56 47.60
10405.00/1303.83 c N dy 5743 4864477 2099 49013 0 122361 201370 2667002 44.60 47.05
10439.30/1308.21 c N dy 5832 4884550 2099 49013 0 142219 201370 3871219 44.60 50.68
10484.65/1313.82 c N dy 5952 4904598 2099 49013 0 162098 201370 5079045 44.61 48.54
10524.57/1318.80 c N dy 6064 4924627 2099 49013 0 181986 201370 6307502 44.64 47.33
10571.81/1324.79 c N dy 6161 4944773 2099 49013 0 104605 201370 1460741 44.63 47.13
10611.57/1329.73 c N dy 6262 4964820 2099 49013 0 124472 201370 2669874 44.64 47.11
10660.24/1335.83 c N dy 6372 4984900 2099 49013 0 144396 201370 3868934 44.65 59.48
10715.32/1342.74 c N dy 6483 5004981 2099 49013 0 164289 201370 5080444 44.66 53.22
10772.93/1349.94 c N dy 6566 5025225 2099 49013 0 184347 201370 6297107 44.64 47.06
10815.89/1355.36 c N dy 6680 5045255 2099 49013 0 105899 201370 1475617 44.65 47.59
10856.59/1360.48 c N dy 6811 5065267 2099 49013 0 125769 201370 2696164 44.68 47.23
10903.69/1366.42 c N dy 6915 5085372 2099 49013 0 145695 201370 3916851 44.68 47.51
10961.15/1373.57 c N dy 7045 5105450 2099 49013 0 165635 201370 5136833 44.70 47.65
11022.59/1381.26 c N dy 7165 5125957 2099 49013 0 185975 201370 6375432 44.71 47.55
11083.24/1388.81 c N dy 7266 5148018 2099 49013 0 108495 201370 1562610 44.71 47.43
11119.97/1393.47 c N dy 7389 5168343 2099 49013 0 128676 201370 2802996 44.73 47.43
11164.66/1399.00 c N dy 7507 5188699 2099 49013 0 148857 201370 4034228 44.74 48.43
11213.35/1405.12 c N dy 7613 5208734 2099 49013 0 168720 201370 5243112 44.75 47.33
11268.42/1412.02 c N dy 7725 5228770 2099 49013 0 188597 201370 6456104 44.76 48.59
11315.53/1417.90 c N dy 7842 5248850 2099 49013 0 108164 201370 1488069 44.78 50.86
11351.43/1422.43 c N dy 7943 5268893 2099 49013 0 128029 201370 2692002 44.78 53.01
11395.33/1427.94 c N dy 8047 5289745 2099 49013 0 148707 201370 3944058 44.78 47.18
11441.58/1433.71 c N dy 8127 5309794 2099 49013 0 168562 201370 5177922 44.77 47.15
11498.26/1440.88 c N dy 8252 5329985 2099 49013 0 188586 201370 6407008 44.78 47.41
11553.35/1447.81 c N dy 8354 5350037 2099 49013 0 107155 201370 1368752 44.79 47.39
11591.65/1452.59 c N dy 8460 5370053 2099 49013 0 127029 201370 2580202 44.79 47.17
11636.35/1458.20 c N dy 8558 5390080 2099 49013 0 146878 201370 3792956 44.80 47.35
11682.64/1463.97 c N dy 8688 5410204 2099 49013 0 166868 201370 5053681 44.82 47.48
11744.08/1471.69 c N dy 8809 5430776 2099 49013 0 187257 201370 6317207 44.84 47.94
11811.13/1480.01 c N dy 8919 5450800 2099 49013 0 104802 201370 1155239 44.85 53.98
11848.63/1484.73 c N dy 9008 5470846 2099 49013 0 124649 201370 2367917 44.85 50.12
11898.12/1490.92 c N dy 9107 5491290 2099 49013 0 144900 201370 3590261 44.84 47.54
11952.39/1497.73 c N dy 9197 5511474 2099 49013 0 164900 201370 4804138 44.84 47.39
11988.31/1502.30 c N dy 9294 5531610 2099 49013 0 184859 201370 6039400 44.84 47.81
12056.95/1510.87 c N dy 9412 5551651 2099 49013 0 204748 201370 7264114 44.85 50.31
12098.60/1516.05 c N dy 9508 5571683 2099 49013 0 121355 201370 2112782 44.86 48.21
12143.94/1521.74 c N dy 9617 5591694 2099 49013 0 141208 201370 3323553 44.87 52.52
12195.17/1528.19 c N dy 9724 5611846 2099 49013 0 161181 201370 4549228 44.87 47.71
12255.70/1535.75 c N dy 9844 5631886 2099 49013 0 181086 201370 5779592 44.89 48.23
12321.92/1544.05 c N dy 9958 5651951 2099 49013 0 200970 201370 7008789 44.90 47.29
12364.21/1549.39 c N dy 10053 5672046 2099 49013 0 116595 201370 1769461 44.90 47.44
12401.74/1554.06 c N dy 10146 5692421 2099 49013 0 136778 201370 3010820 44.90 47.49
12444.83/1559.48 c N dy 10233 5712450 2099 49013 0 156592 201370 4219973 44.90 48.35
12496.69/1565.92 c N dy 10336 5732550 2099 49013 0 176503 201370 5449977 44.90 47.27
12552.58/1572.98 c N dy 10435 5752727 2099 49013 0 196509 201370 6696396 44.90 47.35
12609.24/1580.09 c N dy 10539 5772731 2099 49013 0 111107 201370 1355339 44.91 47.57
12651.69/1585.33 c N dy 10648 5792858 2099 49013 0 131042 201370 2592381 44.92 47.82
12692.25/1590.46 c N dy 10745 5812866 2099 49013 0 150881 201370 3801621 44.92 48.67
12736.15/1595.99 c N dy 10851 5832873 2099 49013 0 170705 201370 5014566 44.93 47.59
12796.00/1603.43 c N dy 10959 5852961 2099 49013 0 190609 201370 6241987 44.93 48.46
12863.20/1611.82 c N dy 11068 5872974 2099 49013 0 210463 201370 7456182 44.94 47.46
12905.36/1617.13 c N dy 11181 5893022 2099 49013 0 124116 201370 2102277 44.95 48.24
12945.26/1622.20 c N dy 11269 5913037 2099 49013 0 143924 201370 3321711 44.95 48.08
12996.33/1628.58 c N dy 11397 5933127 2099 49013 0 163845 201370 4547842 44.96 48.04
13053.00/1635.67 c N dy 11523 5953226 2099 49013 0 183753 201370 5779166 44.98 47.49
13115.26/1643.48 c N dy 11637 5973269 2099 49013 0 203621 201370 7001681 44.98 47.63
13165.53/1649.71 c N dy 11751 5993316 2099 49013 0 116326 201370 1583061 44.99 47.37
13210.23/1655.39 c N dy 11869 6013343 2099 49013 0 136180 201370 2799806 45.00 50.43
13263.72/1662.00 c N dy 11981 6033430 2099 49013 0 156110 201370 4016566 45.01 47.69
13322.77/1669.50 c N dy 12107 6053448 2099 49013 0 175940 201370 5237132 45.02 48.95
13386.63/1677.43 c N dy 12199 6073522 2099 49013 0 195786 201370 6454350 45.03 47.40
13448.89/1685.27 c N dy 12292 6093561 2099 49013 0 215655 201370 7684076 45.03 47.82
13495.95/1691.18 c N dy 12394 6113647 2099 49013 0 127363 201370 2187554 45.03 49.03
13545.46/1697.39 c N dy 12511 6133726 2099 49013 0 147265 201370 3426846 45.04 47.48
13592.53/1703.25 c N dy 12598 6153794 2099 49013 0 167147 201370 4648838 45.05 53.39
13655.60/1711.14 c N dy 12697 6173846 2099 49013 0 186991 201370 5855437 45.05 47.80
13725.83/1719.92 c N dy 12809 6193885 2099 49013 0 206867 201370 7087878 45.06 47.50
13789.69/1727.98 c N dy 12911 6213941 2099 49013 0 117570 201370 1530999 45.06 51.26
13835.18/1733.69 c N dy 13022 6233956 2099 49013 0 137402 201370 2756102 45.07 50.86
13890.39/1740.54 c N dy 13123 6255077 2099 49013 0 158302 201370 4040896 45.07 47.94
13946.91/1747.62 c N dy 13222 6275129 2099 49013 0 178140 201370 5269193 45.07 51.86
14015.54/1756.25 c N dy 13315 6295224 2099 49013 0 198043 201370 6467100 45.07 47.45
14076.20/1763.83 c N dy 13407 6315457 2099 49013 0 218082 201370 7704346 45.07 47.61
14120.11/1769.37 c N dy 13503 6335518 2099 49013 0 127811 201370 2096265 45.07 47.53
14164.00/1774.89 c N dy 13619 6355576 2099 49013 0 147695 201370 3321501 45.08 47.50
14213.49/1781.07 c N dy 13734 6375629 2099 49013 0 167565 201370 4548013 45.09 47.70
14269.34/1788.09 c N dy 13834 6395890 2099 49013 0 187614 201370 5787061 45.09 48.00
14332.39/1795.97 c N dy 13935 6416199 2099 49013 0 207756 201370 7025148 45.09 47.72
14398.80/1804.31 c N dy 14067 6436206 2099 49013 0 116488 201370 1348232 45.11 48.17
14439.36/1809.36 c N dy 14185 6456224 2099 49013 0 136364 201370 2581295 45.12 49.99
14488.83/1815.53 c N dy 14313 6476252 2099 49013 0 156232 201370 3810830 45.13 55.27
14543.11/1822.30 c N dy 14425 6496313 2099 49013 0 176117 201370 5035196 45.14 50.85
14603.75/1829.91 c N dy 14539 6516398 2099 49013 0 196034 201370 6266475 45.14 48.04
14666.80/1837.80 c N dy 14645 6536409 2099 49013 0 215882 201370 7513697 45.15 48.10
14723.61/1844.98 c N dy 14750 6556419 2099 49013 0 123533 201370 1717412 45.15 51.79
14774.55/1851.33 c N dy 14874 6576616 2099 49013 0 143564 201370 2966275 45.16 47.56
14834.41/1858.87 c N dy 14965 6598363 2099 49013 0 165099 201370 4282170 45.15 47.73
14897.46/1866.73 c N dy 15072 6618425 2099 49013 0 184979 201370 5506661 45.16 49.23
14968.48/1875.65 c N dy 15186 6639312 2099 49013 0 205640 201370 6800299 45.16 48.07
15044.29/1885.18 c N dy 15303 6659448 2099 49013 0 225616 201370 8054998 45.17 47.66
15088.99/1890.74 c N dy 15431 6679512 2099 49013 0 132367 201370 2217859 45.18 47.61
15133.69/1896.36 c N dy 15527 6699630 2099 49013 0 152254 201370 3428963 45.18 47.83
15187.17/1903.06 c N dy 15643 6719698 2099 49013 0 172133 201370 4656060 45.19 47.70
15248.62/1910.75 c N dy 15758 6739702 2099 49013 0 191971 201370 5875934 45.20 47.70
15313.25/1918.86 c N dy 15850 6760039 2099 49013 0 212105 201370 7120686 45.20 47.63
15369.13/1925.80 c N dy 15952 6780313 2099 49013 0 118067 201370 1286303 45.20 47.83
15409.19/1930.89 c N dy 16061 6800349 2099 49013 0 137902 201370 2515057 45.21 50.69
15456.92/1936.83 c N dy 16185 6820407 2099 49013 0 157816 201370 3769853 45.22 48.13
15497.63/1941.99 c N dy 16284 6840447 2099 49013 0 177672 201370 5004737 45.22 47.74
15557.63/1949.44 c N dy 16398 6860462 2099 49013 0 197531 201370 6225718 45.23 48.40
15614.95/1956.64 c N dy 16512 6880676 2099 49013 0 217567 201370 7505875 45.24 47.66
15662.04/1962.55 c N dy 16611 6901172 2099 49013 0 122762 201370 1511730 45.24 47.73
15705.13/1967.93 c N dy 16728 6921222 2099 49013 0 142626 201370 2730134 45.25 48.63
15753.02/1973.95 c N dy 16818 6941581 2099 49013 0 162801 201370 3975787 45.25 49.87
15807.29/1980.71 c N dy 16916 6961608 2099 49013 0 182595 201370 5199804 45.25 49.34
15863.16/1987.72 c N dy 17027 6981815 2099 49013 0 202613 201370 6437462 45.25 48.30
15931.01/1996.20 c N dy 17143 7002170 2099 49013 0 222778 201370 7708971 45.26 47.69
15986.89/2003.22 c N dy 17236 7022568 2099 49013 0 126878 201370 1699041 45.26 47.91
16030.77/2008.75 c N dy 17355 7042635 2099 49013 0 146770 201370 2930024 45.27 50.64
16079.44/2014.80 c N dy 17451 7062768 2099 49013 0 166702 201370 4163103 45.27 47.67
16137.06/2022.05 c N dy 17568 7082799 2099 49013 0 186533 201370 5407300 45.27 51.68
16203.96/2030.43 c N dy 17681 7103698 2099 49013 0 207235 201370 6680095 45.28 47.79
16275.79/2039.40 c N dy 17795 7124118 2099 49013 0 227453 201370 7926558 45.28 48.56
16332.44/2046.58 c N dy 17917 7144230 2099 49013 0 130373 201370 1884391 45.29 47.68
16381.13/2052.64 c N dy 17999 7164525 2099 49013 0 150474 201370 3143705 45.29 47.71
16442.60/2060.36 c N dy 18128 7184763 2099 49013 0 170536 201370 4398661 45.30 47.70
16507.24/2068.44 c N dy 18226 7204791 2099 49013 0 190370 201370 5620135 45.30 48.20
16588.64/2078.67 c N dy 18343 7226468 2099 49013 0 211878 201370 6952363 45.31 47.92
16671.65/2089.02 c N dy 18456 7246664 2099 49013 0 231857 201370 8198918 45.31 47.92
16726.68/2095.94 c N dy 18581 7266753 2099 49013 0 133680 201370 2018985 45.32 47.94
16772.98/2101.74 c N dy 18700 7286967 2099 49013 0 153711 201370 3264136 45.33 47.78
16831.40/2109.05 c N dy 18827 7308837 2099 49013 0 175377 201370 4611487 45.34 47.95
16887.93/2116.17 c N dy 18930 7328928 2099 49013 0 195286 201370 5860952 45.34 47.97
16956.55/2124.74 c N dy 19029 7348980 2099 49013 0 215158 201370 7093655 45.34 47.93
17029.99/2133.91 c N dy 19122 7368996 2099 49013 0 234960 201370 8340718 45.34 48.23
17080.27/2140.24 c N dy 19213 7389288 2099 49013 0 136024 201370 2104776 45.34 48.00
17127.35/2146.16 c N dy 19333 7409305 2099 49013 0 155865 201370 3349585 45.35 48.50
17172.98/2151.88 c N dy 19457 7429327 2099 49013 0 175728 201370 4606127 45.36 48.13
17233.51/2159.51 c N dy 19574 7449943 2099 49013 0 196143 201370 5884694 45.36 47.85
17300.55/2167.81 c N dy 19684 7470107 2099 49013 0 216124 201370 7129011 45.37 47.95
17373.98/2177.04 c N dy 19801 7490119 2099 49013 0 235976 201370 8357739 45.37 47.80
17429.03/2183.93 c N dy 19894 7510155 2099 49013 0 135778 201370 2038416 45.38 48.02
17483.30/2190.77 c N dy 20004 7530193 2099 49013 0 155630 201370 3272584 45.38 47.94
17549.56/2199.07 c N dy 20138 7550517 2099 49013 0 175786 201370 4533694 45.39 48.29
17619.79/2207.89 c N dy 20254 7570756 2099 49013 0 195823 201370 5778101 45.40 47.89
17691.76/2216.83 c N dy 20358 7591218 2099 49013 0 216081 201370 7049692 45.40 47.88
17770.78/2226.74 c N dy 20462 7611276 2099 49013 0 235963 201370 8294175 45.40 47.88
17827.26/2233.83 c N dy 20580 7631305 2099 49013 0 134770 201370 1940764 45.41 48.31
17871.16/2239.33 c N dy 20661 7652928 2099 49013 0 156117 201370 3260634 45.41 47.89
17922.24/2245.72 c N dy 20753 7672977 2099 49013 0 175921 201370 4480378 45.40 47.89
17981.47/2253.12 c N dy 20859 7693153 2099 49013 0 195900 201370 5714441 45.41 47.83
18043.57/2260.96 c N dy 20973 7713227 2099 49013 0 215833 201370 6979567 45.41 49.78
18117.80/2270.23 c N dy 21101 7733251 2099 49013 0 235673 201370 8222006 45.42 48.04
18175.24/2277.49 c N dy 21207 7753277 2099 49013 0 133534 201370 1799487 45.43 48.38
18221.53/2283.29 c N dy 21322 7773400 2099 49013 0 153468 201370 3034591 45.43 48.13
18272.59/2289.66 c N dy 21427 7793682 2099 49013 0 173593 201370 4297286 45.44 48.34
18326.88/2296.40 c N dy 21543 7814566 2099 49013 0 194304 201370 5605662 45.44 48.18
18394.07/2304.89 c N dy 21676 7834634 2099 49013 0 214219 201370 6863913 45.45 51.18
18464.32/2313.66 c N dy 21752 7855037 2099 49013 0 234413 201370 8108235 45.45 47.85
18522.44/2320.97 c N dy 21842 7875146 2099 49013 0 131261 201370 1604054 45.45 47.90
18556.74/2325.28 c N dy 21938 7895420 2099 49013 0 151323 201370 2841438 45.45 48.24
18606.21/2331.42 c N dy 22063 7915438 2099 49013 0 171151 201370 4081800 45.46 47.91
18664.49/2338.77 c N dy 22172 7935513 2099 49013 0 191052 201370 5320200 45.46 64.36
18725.96/2346.49 c N dy 22281 7955735 2099 49013 0 211093 201370 6577991 45.47 47.95
18797.92/2355.46 c N dy 22395 7975775 2099 49013 0 230955 201370 7820651 45.47 50.35
18873.59/2364.97 c N dy 22522 7995910 2099 49013 0 126903 201370 1276086 45.48 47.97
18918.28/2370.55 c N dy 22621 8015952 2099 49013 0 146744 201370 2502205 45.48 48.27
18969.33/2376.99 c N dy 22746 8035961 2099 49013 0 166572 201370 3746725 45.49 48.09
19026.15/2384.04 c N dy 22849 8056023 2099 49013 0 186403 201370 4967210 45.49 48.82
19089.01/2391.90 c N dy 22957 8076092 2099 49013 0 206286 201370 6204354 45.50 48.45
19160.06/2400.85 c N dy 23060 8096155 2099 49013 0 226148 201370 7434424 45.50 48.06
19239.08/2410.70 c N dy 23149 8117354 2099 49013 0 247118 201370 8729753 45.50 48.74
19281.36/2416.06 c N dy 23248 8137421 2099 49013 0 142075 201370 2175662 45.50 48.05
19330.06/2422.13 c N dy 23353 8157542 2099 49013 0 162001 201370 3411159 45.50 48.17
19385.27/2429.06 c N dy 23462 8177718 2099 49013 0 181974 201370 4636997 45.51 48.09
19449.77/2437.18 c N dy 23584 8198012 2099 49013 0 202094 201370 5892246 45.52 48.05
19500.21/2443.48 c N dy 23692 8218709 2099 49013 0 222591 201370 7172130 45.52 48.42
19573.49/2452.69 c N dy 23804 8238759 2099 49013 0 242446 201370 8415272 45.52 48.27
19639.87/2460.94 c N dy 23888 8260587 2099 49013 0 138055 201370 1841740 45.52 47.95
19692.55/2467.55 c N dy 23971 8280686 2099 49013 0 157969 201370 3072898 45.52 54.59
19756.25/2475.59 c N dy 24087 8300814 2099 49013 0 177918 201370 4305113 45.52 48.48
19825.69/2484.27 c N dy 24167 8321602 2099 49013 0 198465 201370 5577411 45.52 48.48
19905.51/2494.28 c N dy 24267 8343067 2099 49013 0 219738 201370 6903423 45.52 47.98
19998.90/2506.01 c N dy 24385 8365005 2099 49013 0 241478 201370 8244137 45.52 48.02
20074.72/2515.46 c N dy 24476 8385197 2099 49013 0 134573 201370 1578924 45.52 48.06
20124.19/2521.69 c N dy 24588 8406889 2099 49013 0 156035 201370 2909809 45.52 50.10
20175.43/2528.08 c N dy 24698 8427164 2099 49013 0 176111 201370 4179524 45.53 48.33
20237.68/2535.83 c N dy 24821 8447284 2099 49013 0 196043 201370 5435576 45.53 48.34
20304.58/2544.29 c N dy 24939 8467440 2099 49013 0 216001 201370 6673540 45.54 48.01
20378.79/2553.59 c N dy 25049 8487501 2099 49013 0 235860 201370 7911547 45.54 49.05
20463.25/2564.12 c N dy 25146 8508247 2099 49013 0 128470 201370 1155814 45.55 48.07
20511.69/2570.24 c N dy 25240 8528400 2099 49013 0 148424 201370 2411369 45.55 48.61
20562.46/2576.62 c N dy 25339 8548429 2099 49013 0 168236 201370 3657578 45.55 48.86
20628.60/2584.90 c N dy 25468 8568674 2099 49013 0 188282 201370 4910666 45.56 47.98
20698.82/2593.77 c N dy 25569 8588825 2099 49013 0 208227 201370 6141411 45.56 48.00
20779.45/2603.90 c N dy 25691 8609058 2099 49013 0 228299 201370 7406375 45.57 48.00
20864.84/2614.55 c N dy 25794 8629103 2099 49013 0 248154 201370 8670175 45.57 54.43
20935.88/2623.47 c N dy 25910 8649163 2099 49013 0 139124 201370 1768699 45.58 48.39
20974.98/2628.36 c N dy 26014 8669627 2099 49013 0 159413 201370 3038444 45.58 48.08
21029.25/2635.18 c N dy 26123 8689799 2099 49013 0 179394 201370 4288016 45.58 48.24
21090.69/2642.89 c N dy 26229 8710670 2099 49013 0 200088 201370 5591037 45.58 48.42
21160.13/2651.52 c N dy 26347 8730790 2099 49013 0 220020 201370 6840598 45.59 48.54
21239.15/2661.40 c N dy 26465 8750947 2099 49013 0 239984 201370 8075508 45.59 48.70
21321.34/2671.75 c N dy 26580 8771001 2099 49013 0 259828 201370 9314125 45.60 52.27
21376.42/2678.70 c N dy 26699 8791073 2099 49013 0 149796 201370 2380026 45.60 53.67
21437.87/2686.32 c N dy 26811 8811084 2099 49013 0 169579 201370 3608597 45.61 48.03
21505.71/2694.88 c N dy 26921 8831190 2099 49013 0 189465 201370 4846558 45.61 48.49
21575.95/2703.63 c N dy 27012 8851413 2099 49013 0 209484 201370 6106638 45.61 48.18
21659.10/2714.04 c N dy 27126 8871592 2099 49013 0 229441 201370 7360696 45.61 48.07
21751.53/2725.68 c N dy 27251 8891617 2099 49013 0 249260 201370 8597777 45.62 58.91
21836.11/2736.21 c N dy 27371 8911843 2099 49013 0 138472 201370 1616874 45.63 48.36
21891.19/2743.15 c N dy 27474 8932285 2099 49013 0 158695 201370 2872922 45.63 48.13
21952.66/2750.84 c N dy 27579 8952346 2099 49013 0 178574 201370 4123807 45.63 52.26
22018.24/2759.10 c N dy 27667 8972673 2099 49013 0 198703 201370 5364440 45.63 48.27
22090.72/2768.11 c N dy 27744 8992683 2099 49013 0 218490 201370 6589960 45.63 48.29
22165.76/2777.52 c N dy 27856 9012772 2099 49013 0 238421 201370 7860649 45.63 48.50
22253.54/2788.55 c N dy 27956 9032847 2099 49013 0 258297 201370 9097138 45.63 48.75
22318.97/2796.71 c N dy 28062 9053249 2099 49013 0 146640 201370 2079462 45.64 48.47
22352.66/2800.99 c N dy 28163 9073352 2099 49013 0 166558 201370 3330529 45.64 48.93
22421.15/2809.51 c N dy 28276 9095421 2099 49013 0 188435 201370 4691715 45.64 48.43
22491.37/2818.36 c N dy 28379 9115465 2099 49013 0 208259 201370 5915410 45.64 48.24
22565.60/2827.65 c N dy 28456 9135740 2099 49013 0 228306 201370 7143743 45.64 48.13
22650.34/2838.24 c N dy 28555 9155811 2099 49013 0 248167 201370 8367173 45.64 51.34
22728.41/2848.03 c N dy 28667 9176196 2099 49013 0 135518 201370 1323329 45.64 48.58
22784.28/2855.02 c N dy 28776 9196852 2099 49013 0 155981 201370 2584705 45.65 48.38
22844.28/2862.55 c N dy 28894 9217279 2099 49013 0 176225 201370 3870748 45.65 48.53
22892.02/2868.51 c N dy 29018 9237867 2099 49013 0 196661 201370 5173053 45.66 48.14
22964.66/2877.60 c N dy 29139 9257941 2099 49013 0 216563 201370 6426201 45.66 54.89
23042.07/2887.38 c N dy 29235 9278063 2099 49013 0 236451 201370 7657653 45.66 48.08
23129.88/2898.36 c N dy 29349 9298194 2099 49013 0 256389 201370 8899184 45.67 48.22
23196.89/2906.70 c N dy 29430 9318214 2099 49013 0 142316 201370 1698055 45.66 48.08
23248.13/2913.19 c N dy 29564 9338313 2099 49013 0 162229 201370 2943839 45.67 48.47
23304.66/2920.23 c N dy 29681 9358432 2099 49013 0 182133 201370 4204080 45.68 48.09
23363.71/2927.69 c N dy 29771 9378491 2099 49013 0 202001 201370 5442344 45.68 59.34
23433.15/2936.37 c N dy 29884 9398593 2099 49013 0 221908 201370 6689405 45.68 48.12
23506.58/2945.59 c N dy 29979 9418623 2099 49013 0 241748 201370 7932496 45.68 48.13
23585.58/2955.50 c N dy 30082 9438795 2099 49013 0 261746 201370 9190690 45.68 48.35
23655.81/2964.23 c N dy 30207 9458835 2099 49013 0 146744 201370 1921002 45.69 54.51
23709.28/2970.91 c N dy 30307 9478944 2099 49013 0 166644 201370 3167546 45.69 48.13
23781.92/2980.07 c N dy 30400 9504261 2099 49013 0 191634 201370 4717752 45.69 48.39
23848.97/2988.45 c N dy 30484 9524345 2099 49013 0 211503 201370 5953286 45.69 48.83
23921.59/2997.57 c N dy 30606 9544596 2099 49013 0 231579 201370 7219220 45.69 48.56
24009.40/3008.54 c N dy 30722 9564970 2099 49013 0 251765 201370 8489908 45.70 48.22
24106.77/3020.80 c N dy 30844 9585053 2099 49013 0 135863 201370 1188757 45.70 51.52
24158.65/3027.23 c N dy 30932 9605240 2099 49013 0 155852 201370 2437071 45.70 48.49
24221.84/3035.20 c N dy 31038 9626565 2099 49013 0 176970 201370 3752798 45.70 48.22
24291.10/3043.90 c N dy 31146 9646580 2099 49013 0 196727 201370 4986750 45.71 49.52
24367.73/3053.45 c N dy 31256 9666654 2099 49013 0 216593 201370 6222145 45.71 48.54
24449.15/3063.68 c N dy 31355 9687309 2099 49013 0 237046 201370 7500924 45.71 48.14
24544.92/3075.63 c N dy 31475 9707743 2099 49013 0 257221 201370 8741442 45.72 48.56
24623.15/3085.41 c N dy 31589 9727872 2099 49013 0 140416 201370 1429024 45.72 49.06
24680.60/3092.63 c N dy 31696 9748054 2099 49013 0 160430 201370 2680747 45.72 48.47
24747.66/3101.01 c N dy 31814 9768086 2099 49013 0 180268 201370 3926076 45.73 53.45
24817.09/3109.75 c N dy 31895 9788211 2099 49013 0 200149 201370 5157171 45.73 48.29
24898.63/3119.92 c N dy 32013 9808283 2099 49013 0 220048 201370 6409626 45.73 57.31
24975.92/3129.71 c N dy 32084 9828295 2099 49013 0 239817 201370 7653938 45.73 52.18
25069.28/3141.34 c N dy 32190 9848298 2099 49013 0 259624 201370 8882466 45.73 48.71
25160.26/3152.77 c N dy 32272 9868837 2099 49013 0 142179 201370 1474380 45.73 48.56
25218.52/3160.05 c N dy 32369 9889149 2099 49013 0 162267 201370 2719617 45.73 48.86
25282.39/3168.02 c N dy 32448 9909784 2099 49013 0 182606 201370 3979976 45.73 48.37
25343.83/3175.79 c N dy 32506 9930280 2099 49013 0 202812 201370 5253903 45.72 48.54
25429.22/3186.41 c N dy 32602 9951200 2099 49013 0 223507 201370 6531915 45.72 48.16
25505.85/3196.08 c N dy 32709 9971302 2099 49013 0 243422 201370 7780579 45.73 48.60
25604.01/3208.37 c N dy 32816 9991365 2099 49013 0 263281 201370 9008729 45.73 49.45
25693.41/3219.57 c N dy 32936 10011397 2099 49013 0 144484 201370 1569382 45.73 48.14
25746.87/3226.22 c N dy 33044 10031992 2099 49013 0 164849 201370 2835885 45.73 48.40
25797.16/3232.53 c N dy 33169 10052135 2099 49013 0 184817 201370 4136640 45.74 48.36
25859.42/3240.35 c N dy 33268 10072175 2099 49013 0 204656 201370 5381286 45.74 53.52
25930.46/3249.21 c N dy 33384 10092222 2099 49013 0 224526 201370 6637812 45.75 49.99
26005.47/3258.69 c N dy 33499 10112276 2099 49013 0 244385 201370 7877706 45.75 48.61
26087.67/3268.96 c N dy 33611 10132374 2099 49013 0 264278 201370 9137648 45.75 48.54
26175.46/3279.92 c N dy 33732 10152451 2099 49013 0 144463 201370 1523007 45.76 51.57
26231.34/3286.93 c N dy 33865 10172487 2099 49013 0 164325 201370 2780804 45.77 57.52
26295.18/3294.91 c N dy 33981 10192527 2099 49013 0 184185 201370 4018839 45.77 48.37
26366.22/3303.81 c N dy 34112 10212622 2099 49013 0 204140 201370 5293177 45.78 49.18
26439.63/3313.03 c N dy 34200 10232693 2099 49013 0 223985 201370 6526220 45.77 48.30
26523.43/3323.53 c N dy 34291 10252835 2099 49013 0 243908 201370 7752918 45.77 48.80
26616.04/3335.18 c N dy 34391 10273399 2099 49013 0 264240 201370 9026716 45.78 48.34
26703.03/3346.07 c N dy 34469 10293412 2099 49013 0 143292 201370 1389016 45.78 52.59
26760.49/3353.20 c N dy 34582 10313705 2099 49013 0 163420 201370 2675294 45.78 48.26
26809.96/3359.43 c N dy 34693 10334087 2099 49013 0 183625 201370 3951028 45.78 48.19
26878.60/3368.07 c N dy 34805 10354208 2099 49013 0 203529 201370 5209648 45.78 49.31
26958.42/3378.06 c N dy 34916 10374296 2099 49013 0 223392 201370 6455860 45.79 48.83
27041.42/3388.47 c N dy 35009 10394332 2099 49013 0 243217 201370 7690162 45.79 48.83
27137.36/3400.42 c N dy 35128 10414410 2099 49013 0 263096 201370 8945144 45.79 48.25
27228.17/3411.82 c N dy 35212 10434481 2099 49013 0 282939 201370 10178372 45.79 48.40
27284.85/3418.94 c N dy 35332 10454530 2099 49013 0 161077 201370 2455985 45.80 48.22
27339.92/3425.86 c N dy 35442 10474536 2099 49013 0 180874 201370 3706796 45.80 48.63
27402.97/3433.79 c N dy 35546 10494676 2099 49013 0 200816 201370 4971927 45.80 48.56
27473.20/3442.59 c N dy 35659 10514967 2099 49013 0 220901 201370 6232100 45.80 48.22
27550.61/3452.29 c N dy 35773 10535028 2099 49013 0 240766 201370 7477669 45.81 50.62
27635.23/3462.85 c N dy 35889 10555232 2099 49013 0 260778 201370 8736973 45.81 48.31
27723.83/3474.02 c N dy 35993 10575344 2099 49013 0 280696 201370 9978694 45.81 49.32
27780.46/3481.06 c N dy 36099 10595648 2099 49013 0 158070 201370 2188972 45.81 48.30
27835.54/3487.91 c N dy 36207 10616833 2099 49013 0 179042 201370 3495568 45.81 48.42
27901.13/3496.19 c N dy 36318 10637479 2099 49013 0 199480 201370 4775278 45.82 48.23
27964.83/3504.13 c N dy 36402 10657644 2099 49013 0 219409 201370 6039601 45.81 48.74
28040.82/3513.69 c N dy 36489 10678201 2099 49013 0 239766 201370 7294760 45.81 48.51
28118.08/3523.31 c N dy 36553 10698258 2099 49013 0 259550 201370 8524172 45.81 49.74
28206.68/3534.50 c N dy 36662 10718332 2099 49013 0 279424 201370 9791974 45.81 49.95
28283.27/3544.02 c N dy 36784 10738370 2099 49013 0 155619 201370 2002796 45.82 54.43
28339.30/3551.07 c N dy 36870 10758476 2099 49013 0 175522 201370 3270478 45.82 48.87
28411.77/3560.12 c N dy 36980 10778574 2099 49013 0 195396 201370 4499671 45.82 48.65
28491.59/3570.13 c N dy 37091 10798586 2099 49013 0 215195 201370 5727228 45.82 50.75
28577.76/3580.92 c N dy 37205 10818825 2099 49013 0 235230 201370 6981510 45.83 48.26
28664.91/3591.82 c N dy 37303 10838923 2099 49013 0 255136 201370 8235916 45.83 49.03
28763.73/3604.23 c N dy 37410 10858941 2099 49013 0 274940 201370 9478544 45.83 52.75
28858.72/3616.10 c N dy 37520 10878982 2099 49013 0 150122 201370 1611935 45.83 48.76
28920.18/3623.85 c N dy 37641 10899533 2099 49013 0 170468 201370 2889753 45.84 48.55
28987.23/3632.21 c N dy 37755 10919578 2099 49013 0 190305 201370 4132927 45.84 52.29
29058.25/3641.16 c N dy 37872 10939673 2099 49013 0 210185 201370 5382330 45.84 50.15
29134.06/3650.63 c N dy 37961 10959774 2099 49013 0 230085 201370 6637810 45.84 48.28
29224.26/3661.96 c N dy 38063 10980483 2099 49013 0 250585 201370 7909532 45.85 48.73
29308.05/3672.46 c N dy 38169 11000614 2099 49013 0 270533 201370 9159599 45.85 48.64
29409.43/3685.12 c N dy 38279 11020747 2099 49013 0 290428 201370 10408334 45.85 48.43
29477.27/3693.64 c N dy 38399 11040820 2099 49013 0 164636 201370 2459746 45.85 48.50
29536.33/3701.09 c N dy 38484 11060839 2099 49013 0 184476 201370 3727312 45.85 48.50
29608.15/3710.02 c N dy 38586 11080915 2099 49013 0 204328 201370 4973033 45.85 48.40
29692.10/3720.54 c N dy 38713 11101030 2099 49013 0 224271 201370 6240077 45.86 48.62
29776.54/3731.20 c N dy 38809 11121169 2099 49013 0 244198 201370 7479066 45.86 48.47
29868.32/3742.65 c N dy 38903 11141537 2099 49013 0 264375 201370 8738940 45.86 48.46
29968.10/3755.17 c N dy 39009 11161576 2099 49013 0 284215 201370 9979338 45.86 48.28
30053.48/3765.84 c N dy 39124 11181606 2099 49013 0 157349 201370 1945934 45.86 48.42
30109.36/3772.86 c N dy 39226 11201675 2099 49013 0 177224 201370 3211884 45.87 48.90
30180.40/3781.79 c N dy 39318 11221984 2099 49013 0 197277 201370 4453962 45.87 48.52
30255.42/3791.11 c N dy 39413 11242029 2099 49013 0 217112 201370 5697300 45.87 50.85
30339.23/3801.67 c N dy 39515 11262342 2099 49013 0 237220 201370 6959019 45.87 48.29
30430.20/3813.02 c N dy 39616 11282718 2099 49013 0 257371 201370 8216875 45.87 48.40
30506.82/3822.67 c N dy 39715 11302791 2099 49013 0 277210 201370 9460480 45.87 48.89
30608.16/3835.37 c N dy 39821 11322943 2099 49013 0 149532 201370 1404338 45.87 48.69
30661.65/3842.07 c N dy 39942 11343133 2099 49013 0 169513 201370 2660354 45.88 48.44
30729.48/3850.50 c N dy 40058 11363146 2099 49013 0 189357 201370 3904610 45.88 49.05
30804.50/3859.94 c N dy 40153 11383384 2099 49013 0 209393 201370 5144036 45.88 48.58
30888.31/3870.45 c N dy 40272 11403498 2099 49013 0 229324 201370 6404335 45.88 48.32
30984.08/3882.49 c N dy 40401 11423664 2099 49013 0 249307 201370 7664248 45.89 48.81
31083.05/3894.80 c N dy 40508 11444237 2099 49013 0 269668 201370 8939633 45.89 48.48
31185.99/3907.71 c N dy 40607 11465102 2099 49013 0 290302 201370 10236892 45.89 48.79
31261.83/3917.29 c N dy 40698 11485196 2099 49013 0 161497 201370 2077785 45.89 48.48
31323.29/3924.94 c N dy 40795 11505534 2099 49013 0 181615 201370 3331460 45.89 48.93
31388.73/3933.10 c N dy 40879 11525543 2099 49013 0 201403 201370 4562095 45.89 52.68
31462.95/3942.40 c N dy 40986 11545587 2099 49013 0 221247 201370 5815418 45.89 48.46
31547.53/3953.00 c N dy 41117 11565663 2099 49013 0 241127 201370 7085171 45.90 48.66
31636.93/3964.22 c N dy 41209 11585816 2099 49013 0 261043 201370 8321713 45.90 48.55
31733.52/3976.36 c N dy 41318 11605833 2099 49013 0 280866 201370 9566761 45.90 53.18
31834.86/3989.09 c N dy 41415 11625869 2099 49013 0 151126 201370 1395468 45.91 49.70
31877.32/3994.40 c N dy 41487 11645984 2099 49013 0 171045 201370 2672305 45.90 48.39
31938.77/4002.04 c N dy 41592 11666012 2099 49013 0 190850 201370 3916013 45.91 54.06
32008.08/4010.70 c N dy 41696 11686078 2099 49013 0 210708 201370 5158718 45.91 48.34
32080.66/4019.84 c N dy 41806 11706282 2099 49013 0 230689 201370 6430308 45.91 49.63
32156.49/4029.31 c N dy 41902 11726399 2099 49013 0 250587 201370 7700580 45.91 48.51
32246.02/4040.57 c N dy 42026 11746517 2099 49013 0 270525 201370 8957439 45.92 48.92
32344.84/4052.90 c N dy 42147 11766708 2099 49013 0 290522 201370 10207253 45.92 48.52
32428.66/4063.50 c N dy 42252 11786810 2099 49013 0 159797 201370 1877698 45.92 49.19
32472.55/4068.97 c N dy 42373 11806899 2099 49013 0 179696 201370 3144698 45.93 56.05
32529.20/4076.04 c N dy 42489 11827140 2099 49013 0 199769 201370 4409249 45.93 48.91
32591.46/4083.89 c N dy 42593 11847238 2099 49013 0 219690 201370 5668725 45.93 48.67
32660.88/4092.57 c N dy 42677 11867396 2099 49013 0 239604 201370 6934742 45.93 48.68
32741.50/4102.63 c N dy 42771 11887403 2099 49013 0 259397 201370 8175996 45.93 48.69
32830.90/4113.80 c N dy 42886 11907462 2099 49013 0 279225 201370 9414724 45.93 49.61
32929.06/4126.13 c N dy 43015 11927549 2099 49013 0 299131 201370 10676964 45.94 50.49
33004.88/4135.61 c N dy 43131 11947871 2099 49013 0 167621 201370 2318022 45.94 48.50
33073.52/4144.28 c N dy 43239 11967902 2099 49013 0 187431 201370 3567576 45.94 54.06
33149.35/4153.79 c N dy 43349 11987939 2099 49013 0 207273 201370 4809746 45.95 49.09
33238.10/4164.83 c N dy 43456 12008301 2099 49013 0 227420 201370 6079183 45.95 48.39
33330.51/4176.43 c N dy 43576 12028303 2099 49013 0 247229 201370 7335089 45.95 48.86
33432.02/4189.13 c N dy 43688 12048400 2099 49013 0 267104 201370 8578275 45.96 52.66
33537.38/4202.36 c N dy 43792 12068768 2099 49013 0 287243 201370 9844424 45.96 48.50
33653.74/4216.93 c N dy 43912 12088847 2099 49013 0 154554 201370 1446430 45.96 51.62
33716.01/4224.77 c N dy 44041 12108880 2099 49013 0 174431 201370 2711684 45.97 53.48
33776.64/4232.38 c N dy 44132 12128904 2099 49013 0 194229 201370 3935818 45.97 48.65
33854.07/4242.05 c N dy 44242 12149039 2099 49013 0 214173 201370 5181735 45.97 48.60
33934.69/4252.10 c N dy 44350 12169042 2099 49013 0 233990 201370 6426548 45.97 50.09
34026.46/4263.67 c N dy 44471 12189213 2099 49013 0 253975 201370 7695130 45.97 48.40
34115.06/4274.72 c N dy 44543 12209230 2099 49013 0 273783 201370 8927693 45.97 48.81
34225.99/4288.67 c N dy 44675 12229535 2099 49013 0 293872 201370 10187112 45.98 48.45
34310.58/4299.23 c N dy 44763 12249828 2099 49013 0 160325 201370 1743466 45.98 48.43
34368.05/4306.44 c N dy 44849 12271669 2099 49013 0 181889 201370 3096490 45.98 48.52
34427.91/4313.94 c N dy 44929 12291700 2099 49013 0 201710 201370 4344374 45.98 55.48
34494.95/4322.34 c N dy 45036 12311802 2099 49013 0 221617 201370 5603370 45.98 64.31
34575.56/4332.40 c N dy 45162 12331856 2099 49013 0 241504 201370 6860574 45.99 49.12
34661.75/4343.26 c N dy 45267 12352289 2099 49013 0 261742 201370 8128312 45.99 48.90
34735.97/4352.53 c N dy 45309 12372329 2099 49013 0 281473 201370 9340471 45.98 48.49
34831.74/4364.58 c N dy 45406 12392893 2099 49013 0 301827 201370 10620208 45.98 49.01
34913.96/4374.84 c N dy 45513 12412900 2099 49013 0 167091 201370 2123919 45.98 48.67
34984.20/4383.67 c N dy 45620 12433116 2099 49013 0 187110 201370 3385703 45.99 49.00
35062.40/4393.46 c N dy 45745 12453166 2099 49013 0 206951 201370 4654777 45.99 48.65
35145.39/4403.87 c N dy 45850 12473263 2099 49013 0 226834 201370 5910645 45.99 52.77
35238.79/4415.50 c N dy 45935 12495398 2099 49013 0 248726 201370 7275344 45.99 48.47
35330.58/4427.06 c N dy 46016 12515641 2099 49013 0 268750 201370 8554139 45.99 48.53
35435.91/4440.24 c N dy 46111 12535997 2099 49013 0 288881 201370 9819507 45.99 48.43
35546.07/4454.02 c N dy 46224 12556563 2099 49013 0 309278 201370 11140499 45.99 48.99
35621.07/4463.47 c N dy 46341 12576630 2099 49013 0 173622 201370 2489451 46.00 49.07
35680.91/4470.95 c N dy 46431 12597010 2099 49013 0 193740 201370 3738346 46.00 48.82
35747.17/4479.27 c N dy 46543 12617068 2099 49013 0 213613 201370 5010148 46.00 48.43
35810.36/4487.16 c N dy 46637 12637679 2099 49013 0 234007 201370 6278985 46.00 48.89
35861.30/4493.57 c N dy 46709 12658017 2099 49013 0 254127 201370 7533192 46.00 48.62
35942.87/4503.72 c N dy 46795 12678056 2099 49013 0 273962 201370 8784307 46.00 48.64
36028.92/4514.61 c N dy 46901 12698064 2099 49013 0 293794 201370 10042683 46.00 55.85
36130.26/4527.27 c N dy 47012 12718115 2099 49013 0 157122 201370 1394194 46.00 49.11
36184.54/4534.07 c N dy 47122 12738243 2099 49013 0 177049 201370 2638029 46.00 48.72
36246.78/4541.80 c N dy 47220 12758684 2099 49013 0 197255 201370 3900903 46.00 48.74
36317.03/4550.62 c N dy 47333 12778723 2099 49013 0 217119 201370 5151821 46.01 48.52
36392.85/4560.17 c N dy 47440 12798740 2099 49013 0 236916 201370 6401773 46.01 57.15
36474.25/4570.30 c N dy 47539 12818829 2099 49013 0 256757 201370 7651727 46.01 48.82
36563.63/4581.54 c N dy 47632 12839040 2099 49013 0 276747 201370 8900763 46.01 48.80
36661.94/4593.83 c N dy 47745 12859129 2099 49013 0 296641 201370 10160056 46.01 48.50
36771.14/4607.58 c N dy 47867 12879143 2099 49013 0 158972 201370 1456407 46.02 48.78
36834.98/4615.59 c N dy 47968 12899172 2099 49013 0 178800 201370 2716019 46.02 48.48
36904.42/4624.28 c N dy 48078 12919238 2099 49013 0 198677 201370 3966206 46.02 49.25
36985.83/4634.42 c N dy 48206 12939281 2099 49013 0 218555 201370 5253666 46.03 53.45
37073.63/4645.43 c N dy 48327 12959344 2099 49013 0 238439 201370 6535289 46.03 49.40
37172.58/4657.85 c N dy 48444 12980623 2099 49013 0 259505 201370 7872819 46.03 48.47
37268.49/4669.84 c N dy 48530 13000625 2099 49013 0 279290 201370 9116209 46.03 53.43
37373.05/4682.95 c N dy 48648 13021329 2099 49013 0 299814 201370 10417776 46.03 49.59
37471.88/4695.35 c N dy 48730 13041509 2099 49013 0 161202 201370 1541165 46.03 49.20
37526.96/4702.21 c N dy 48823 13061532 2099 49013 0 180982 201370 2792790 46.03 48.71
37590.79/4710.22 c N dy 48915 13082111 2099 49013 0 201348 201370 4058355 46.03 48.54
37659.44/4718.85 c N dy 49022 13102238 2099 49013 0 221266 201370 5332112 46.04 48.59
37727.27/4727.38 c N dy 49134 13123235 2099 49013 0 242068 201370 6664279 46.04 48.76
37756.00/4730.95 c F st 49179 13130468 2099 49013 0 249236 201370 7124574 46.04 45.11
37803.23/4736.89 c N dy 49231 13143307 2099 49013 0 261982 201370 8165978 46.04 48.73
37872.53/4745.51 c N dy 49330 13163330 2099 49013 0 281842 201370 9419896 46.04 49.10
37962.70/4756.80 c N dy 49424 13183467 2099 49013 0 301738 201370 10661591 46.04 48.56
38062.47/4769.32 c N dy 49513 13204169 2099 49013 0 162634 201370 1585742 46.04 48.48
38122.32/4776.89 c N dy 49574 13224529 2099 49013 0 182746 201370 2822176 46.04 48.48
38190.97/4785.45 c N dy 49649 13244621 2099 49013 0 202611 201370 4076529 46.04 48.58
38281.15/4796.78 c N dy 49761 13266342 2099 49013 0 224120 201370 5422310 46.04 48.86
38370.54/4807.96 c N dy 49877 13286353 2099 49013 0 243955 201370 6683516 46.04 48.91
38469.52/4820.37 c N dy 49996 13306523 2099 49013 0 263960 201370 7960460 46.04 48.49
38573.27/4833.36 c N dy 50082 13326649 2099 49013 0 283882 201370 9190592 46.04 48.50
38673.17/4845.86 c N dy 50182 13346662 2099 49013 0 303679 201370 10434015 46.04 48.48
38779.17/4859.17 c N dy 50266 13366699 2099 49013 0 162996 201370 1546188 46.04 48.90
38837.45/4866.44 c N dy 50338 13386804 2099 49013 0 182834 201370 2761484 46.04 49.11
38901.44/4874.42 c N dy 50441 13406991 2099 49013 0 202801 201370 4024441 46.04 48.67
38961.16/4881.91 c N dy 50550 13427001 2099 49013 0 222635 201370 5279836 46.04 48.63
39041.10/4891.93 c N dy 50653 13447067 2099 49013 0 242518 201370 6531455 46.05 48.52
39126.36/4902.66 c N dy 50731 13467381 2099 49013 0 262589 201370 7767703 46.05 48.60
39217.49/4914.07 c N dy 50831 13487447 2099 49013 0 282457 201370 9014496 46.05 50.68
39317.10/4926.53 c N dy 50924 13507448 2099 49013 0 302246 201370 10251216 46.05 49.33
39371.37/4933.31 c N dy 51007 13527524 2099 49013 0 322128 201370 11500025 46.05 53.27
39445.75/4942.70 c N dy 51126 13547616 2099 49013 0 180519 201370 2597837 46.05 52.65
39521.42/4952.16 c N dy 51230 13568091 2099 49013 0 200803 201370 3880559 46.05 48.57
39600.43/4962.06 c N dy 51326 13588193 2099 49013 0 220686 201370 5120820 46.05 48.62
39690.76/4973.38 c N dy 51424 13608422 2099 49013 0 240703 201370 6379131 46.05 48.67
39785.58/4985.29 c N dy 51534 13628426 2099 49013 0 260504 201370 7629831 46.05 51.10
39894.11/4998.82 c N dy 51631 13649306 2099 49013 0 281130 201370 8913881 46.05 48.67
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-3421605-1306678873/watcher-3421605-1306678873 -o /tmp/evaluation-result-3421605-1306678873/solver-3421605-1306678873 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3421605-1306678873.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.43 7.92 7.96 2/543 27302
/proc/meminfo: memFree=15945140/32951124 swapFree=54323904/67111528
[pid=27302] ppid=27300 vsize=92144 CPUtime=0.09 cores=0-7
/proc/27302/stat : 27302 (strangenight2-m) R 27300 27302 27276 0 -1 4202496 420 0 0 0 9 0 0 0 22 0 8 0 779487698 94355456 360 33554432000 4194304 4580107 140734999833376 18446744073709551615 46935028303794 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27302/statm: 23036 360 302 95 0 18018 0
[pid=27302/tid=27303] ppid=27300 vsize=92144 CPUtime=0.01 cores=0-7
/proc/27302/task/27303/stat : 27303 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 4 0 0 0 1 0 0 0 22 0 8 0 779487698 94355456 360 33554432000 4194304 4580107 140734999833376 18446744073709551615 253640859579 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27302/tid=27304] ppid=27300 vsize=92144 CPUtime=0.01 cores=0-7
/proc/27302/task/27304/stat : 27304 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1 0 0 0 1 0 0 0 22 0 8 0 779487698 94355456 360 33554432000 4194304 4580107 140734999833376 18446744073709551615 253635906646 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27302/tid=27305] ppid=27300 vsize=92144 CPUtime=0.01 cores=0-7
/proc/27302/task/27305/stat : 27305 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 8 0 779487698 94355456 360 33554432000 4194304 4580107 140734999833376 18446744073709551615 46935028303385 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27302/tid=27306] ppid=27300 vsize=92144 CPUtime=0.01 cores=0-7
/proc/27302/task/27306/stat : 27306 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 8 0 779487698 94355456 360 33554432000 4194304 4580107 140734999833376 18446744073709551615 253635906646 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27302/tid=27307] ppid=27300 vsize=92144 CPUtime=0.01 cores=0-7
/proc/27302/task/27307/stat : 27307 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 779487698 94355456 360 33554432000 4194304 4580107 140734999833376 18446744073709551615 46935028303794 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27302/tid=27308] ppid=27300 vsize=92144 CPUtime=0 cores=0-7
/proc/27302/task/27308/stat : 27308 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 779487698 94355456 360 33554432000 4194304 4580107 140734999833376 18446744073709551615 253635906646 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27302/tid=27309] ppid=27300 vsize=92144 CPUtime=0.01 cores=0-7
/proc/27302/task/27309/stat : 27309 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 8 0 779487698 94355456 360 33554432000 4194304 4580107 140734999833376 18446744073709551615 253635906646 0 0 4096 2 0 0 0 -1 4 0 0 0
[startup+0.0886411 s]
/proc/loadavg: 7.43 7.92 7.96 2/543 27302
/proc/meminfo: memFree=15945140/32951124 swapFree=54323904/67111528
[pid=27302] ppid=27300 vsize=497276 CPUtime=0.42 cores=0-7
/proc/27302/stat : 27302 (strangenight2-m) R 27300 27302 27276 0 -1 4202496 10063 0 0 0 34 8 0 0 17 0 8 0 779487698 509210624 9746 33554432000 4194304 4580107 140734999833376 18446744073709551615 253640964639 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27302/statm: 124319 9752 337 95 0 119301 0
[pid=27302/tid=27303] ppid=27300 vsize=497276 CPUtime=0.04 cores=0-7
/proc/27302/task/27303/stat : 27303 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1182 0 0 0 4 0 0 0 17 0 8 0 779487698 509210624 9754 33554432000 4194304 4580107 140734999833376 18446744073709551615 253640964590 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27302/tid=27304] ppid=27300 vsize=497276 CPUtime=0.05 cores=0-7
/proc/27302/task/27304/stat : 27304 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1267 0 0 0 4 1 0 0 17 0 8 0 779487698 509210624 9758 33554432000 4194304 4580107 140734999833376 18446744073709551615 253640964639 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27302/tid=27305] ppid=27300 vsize=497276 CPUtime=0.06 cores=0-7
/proc/27302/task/27305/stat : 27305 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1247 0 0 0 5 1 0 0 18 0 8 0 779487698 509210624 9760 33554432000 4194304 4580107 140734999833376 18446744073709551615 253640964639 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27302/tid=27306] ppid=27300 vsize=497276 CPUtime=0.05 cores=0-7
/proc/27302/task/27306/stat : 27306 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1235 0 0 0 4 1 0 0 17 0 8 0 779487698 509210624 9764 33554432000 4194304 4580107 140734999833376 18446744073709551615 253640964639 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27302/tid=27307] ppid=27300 vsize=497276 CPUtime=0.03 cores=0-7
/proc/27302/task/27307/stat : 27307 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1072 0 0 0 3 0 0 0 17 0 8 0 779487698 509210624 9766 33554432000 4194304 4580107 140734999833376 18446744073709551615 253640964639 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27302/tid=27308] ppid=27300 vsize=497276 CPUtime=0.03 cores=0-7
/proc/27302/task/27308/stat : 27308 (strangenight2-m) S 27300 27302 27276 0 -1 4202560 1161 0 0 0 3 0 0 0 17 0 8 0 779487698 509210624 9768 33554432000 4194304 4580107 140734999833376 18446744073709551615 253640964590 0 0 4096 2 18446604451186667968 0 0 -1 2 0 0 0
[pid=27302/tid=27309] ppid=27300 vsize=497276 CPUtime=0.04 cores=0-7
/proc/27302/task/27309/stat : 27309 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1256 0 0 0 4 0 0 0 17 0 8 0 779487698 509210624 9771 33554432000 4194304 4580107 140734999833376 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 497276
[startup+0.100646 s]
/proc/loadavg: 7.43 7.92 7.96 2/543 27302
/proc/meminfo: memFree=15945140/32951124 swapFree=54323904/67111528
[pid=27302] ppid=27300 vsize=497768 CPUtime=0.46 cores=0-7
/proc/27302/stat : 27302 (strangenight2-m) R 27300 27302 27276 0 -1 4202496 11356 0 0 0 37 9 0 0 17 0 8 0 779487698 509714432 11038 33554432000 4194304 4580107 140734999833376 18446744073709551615 253640964639 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27302/statm: 124442 11043 337 95 0 119424 0
[pid=27302/tid=27303] ppid=27300 vsize=497768 CPUtime=0.04 cores=0-7
/proc/27302/task/27303/stat : 27303 (strangenight2-m) S 27300 27302 27276 0 -1 4202560 1296 0 0 0 4 0 0 0 17 0 8 0 779487698 509714432 11046 33554432000 4194304 4580107 140734999833376 18446744073709551615 253640964590 0 0 4096 2 18446604451186667968 0 0 -1 6 0 0 0
[pid=27302/tid=27304] ppid=27300 vsize=497768 CPUtime=0.05 cores=0-7
/proc/27302/task/27304/stat : 27304 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1457 0 0 0 4 1 0 0 17 0 8 0 779487698 509714432 11047 33554432000 4194304 4580107 140734999833376 18446744073709551615 253640964590 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27302/tid=27305] ppid=27300 vsize=497768 CPUtime=0.07 cores=0-7
/proc/27302/task/27305/stat : 27305 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1427 0 0 0 6 1 0 0 18 0 8 0 779487698 509714432 11048 33554432000 4194304 4580107 140734999833376 18446744073709551615 253640964639 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27302/tid=27306] ppid=27300 vsize=497768 CPUtime=0.06 cores=0-7
/proc/27302/task/27306/stat : 27306 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1406 0 0 0 5 1 0 0 17 0 8 0 779487698 509714432 11052 33554432000 4194304 4580107 140734999833376 18446744073709551615 253640964639 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27302/tid=27307] ppid=27300 vsize=497768 CPUtime=0.04 cores=0-7
/proc/27302/task/27307/stat : 27307 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1258 0 0 0 4 0 0 0 17 0 8 0 779487698 509714432 11054 33554432000 4194304 4580107 140734999833376 18446744073709551615 253640964639 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27302/tid=27308] ppid=27300 vsize=497768 CPUtime=0.03 cores=0-7
/proc/27302/task/27308/stat : 27308 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1341 0 0 0 3 0 0 0 17 0 8 0 779487698 509714432 11060 33554432000 4194304 4580107 140734999833376 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27302/tid=27309] ppid=27300 vsize=497768 CPUtime=0.04 cores=0-7
/proc/27302/task/27309/stat : 27309 (strangenight2-m) S 27300 27302 27276 0 -1 4202560 1374 0 0 0 4 0 0 0 17 0 8 0 779487698 509714432 11064 33554432000 4194304 4580107 140734999833376 18446744073709551615 253640964590 0 0 4096 2 18446604451186667968 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 497768
[startup+0.319125 s]
/proc/loadavg: 7.43 7.92 7.96 2/543 27302
/proc/meminfo: memFree=15945140/32951124 swapFree=54323904/67111528
[pid=27302] ppid=27300 vsize=517320 CPUtime=4.71 cores=0-7
/proc/27302/stat : 27302 (strangenight2-m) R 27300 27302 27276 0 -1 4202496 22306 0 0 0 447 24 0 0 18 0 8 0 779487698 529735680 21462 33554432000 4194304 4580107 140734999833376 18446744073709551615 253640520737 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27302/statm: 129860 22058 365 95 0 124842 0
[pid=27302/tid=27303] ppid=27300 vsize=519440 CPUtime=0.52 cores=0-7
/proc/27302/task/27303/stat : 27303 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 2412 0 0 0 50 2 0 0 17 0 8 0 779487698 531906560 22058 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27302/tid=27304] ppid=27300 vsize=519440 CPUtime=0.57 cores=0-7
/proc/27302/task/27304/stat : 27304 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 2506 0 0 0 55 2 0 0 17 0 8 0 779487698 531906560 22058 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27302/tid=27305] ppid=27300 vsize=519440 CPUtime=0.63 cores=0-7
/proc/27302/task/27305/stat : 27305 (strangenight2-m) D 27300 27302 27276 0 -1 4202560 2828 0 0 0 60 3 0 0 18 0 8 0 779487698 531906560 22058 33554432000 4194304 4580107 140734999833376 18446744073709551615 253640520389 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27302/tid=27306] ppid=27300 vsize=519656 CPUtime=0.63 cores=0-7
/proc/27302/task/27306/stat : 27306 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 3285 0 0 0 59 4 0 0 18 0 8 0 779487698 532127744 22060 33554432000 4194304 4580107 140734999833376 18446744073709551615 253640520737 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27302/tid=27307] ppid=27300 vsize=520076 CPUtime=0.61 cores=0-7
/proc/27302/task/27307/stat : 27307 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 2429 0 0 0 59 2 0 0 17 0 8 0 779487698 532557824 22259 33554432000 4194304 4580107 140734999833376 18446744073709551615 4293022 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27302/tid=27308] ppid=27300 vsize=520076 CPUtime=0.56 cores=0-7
/proc/27302/task/27308/stat : 27308 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 2463 0 0 0 54 2 0 0 17 0 8 0 779487698 532557824 22261 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27302/tid=27309] ppid=27300 vsize=520076 CPUtime=0.52 cores=0-7
/proc/27302/task/27309/stat : 27309 (strangenight2-m) S 27300 27302 27276 0 -1 4202560 3172 0 0 0 50 2 0 0 17 0 8 0 779487698 532557824 22268 33554432000 4194304 4580107 140734999833376 18446744073709551615 253640964590 0 0 4096 2 18446604451186667968 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.71
Current children cumulated vsize (KiB) 517320
[startup+0.780962 s]
/proc/loadavg: 7.43 7.92 7.96 2/543 27302
/proc/meminfo: memFree=15945140/32951124 swapFree=54323904/67111528
[pid=27302] ppid=27300 vsize=566052 CPUtime=5.35 cores=0-7
/proc/27302/stat : 27302 (strangenight2-m) R 27300 27302 27276 0 -1 4202496 40039 0 0 0 501 34 0 0 18 0 8 0 779487698 579637248 38652 33554432000 4194304 4580107 140734999833376 18446744073709551615 4451663 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27302/statm: 141513 38652 371 95 0 136495 0
[pid=27302/tid=27303] ppid=27300 vsize=566052 CPUtime=0.61 cores=0-7
/proc/27302/task/27303/stat : 27303 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 2425 0 0 0 59 2 0 0 17 0 8 0 779487698 579637248 38652 33554432000 4194304 4580107 140734999833376 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27302/tid=27304] ppid=27300 vsize=566052 CPUtime=0.64 cores=0-7
/proc/27302/task/27304/stat : 27304 (strangenight2-m) S 27300 27302 27276 0 -1 4202560 4603 0 0 0 61 3 0 0 17 0 8 0 779487698 579637248 38652 33554432000 4194304 4580107 140734999833376 18446744073709551615 253640964590 0 0 4096 2 18446604451186667968 0 0 -1 4 0 0 0
[pid=27302/tid=27305] ppid=27300 vsize=566052 CPUtime=0.72 cores=0-7
/proc/27302/task/27305/stat : 27305 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 7072 0 0 0 67 5 0 0 18 0 8 0 779487698 579637248 38652 33554432000 4194304 4580107 140734999833376 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27302/tid=27306] ppid=27300 vsize=566052 CPUtime=0.7 cores=0-7
/proc/27302/task/27306/stat : 27306 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 7327 0 0 0 64 6 0 0 18 0 8 0 779487698 579637248 38652 33554432000 4194304 4580107 140734999833376 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27302/tid=27307] ppid=27300 vsize=566052 CPUtime=0.68 cores=0-7
/proc/27302/task/27307/stat : 27307 (strangenight2-m) S 27300 27302 27276 0 -1 4202560 4168 0 0 0 65 3 0 0 17 0 8 0 779487698 579637248 38652 33554432000 4194304 4580107 140734999833376 18446744073709551615 253640964590 0 0 4096 2 18446604451186667968 0 0 -1 0 0 0 0
[pid=27302/tid=27308] ppid=27300 vsize=566052 CPUtime=0.63 cores=0-7
/proc/27302/task/27308/stat : 27308 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 3567 0 0 0 60 3 0 0 17 0 8 0 779487698 579637248 38652 33554432000 4194304 4580107 140734999833376 18446744073709551615 253640902839 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27302/tid=27309] ppid=27300 vsize=566052 CPUtime=0.6 cores=0-7
/proc/27302/task/27309/stat : 27309 (strangenight2-m) D 27300 27302 27276 0 -1 4202560 3257 0 0 0 58 2 0 0 17 0 8 0 779487698 579637248 38652 33554432000 4194304 4580107 140734999833376 18446744073709551615 253640520737 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.35
Current children cumulated vsize (KiB) 566052
[startup+1.50133 s]
/proc/loadavg: 7.43 7.92 7.96 9/551 27310
/proc/meminfo: memFree=15752256/32951124 swapFree=54323904/67111528
[pid=27302] ppid=27300 vsize=567352 CPUtime=10.97 cores=0-7
/proc/27302/stat : 27302 (strangenight2-m) R 27300 27302 27276 0 -1 4202496 66290 0 0 0 1051 46 0 0 18 0 8 0 779487698 580968448 49343 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27302/statm: 141838 49343 378 95 0 136820 0
[pid=27302/tid=27303] ppid=27300 vsize=567352 CPUtime=1.3 cores=0-7
/proc/27302/task/27303/stat : 27303 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 9289 0 0 0 125 5 0 0 18 0 8 0 779487698 580968448 49343 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27302/tid=27304] ppid=27300 vsize=567352 CPUtime=1.34 cores=0-7
/proc/27302/task/27304/stat : 27304 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 8428 0 0 0 130 4 0 0 18 0 8 0 779487698 580968448 49343 33554432000 4194304 4580107 140734999833376 18446744073709551615 4296072 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27302/tid=27305] ppid=27300 vsize=567352 CPUtime=1.43 cores=0-7
/proc/27302/task/27305/stat : 27305 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 8878 0 0 0 138 5 0 0 18 0 8 0 779487698 580968448 49344 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27302/tid=27306] ppid=27300 vsize=567352 CPUtime=1.42 cores=0-7
/proc/27302/task/27306/stat : 27306 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 9030 0 0 0 135 7 0 0 18 0 8 0 779487698 580968448 49345 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294404 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27302/tid=27307] ppid=27300 vsize=567352 CPUtime=1.39 cores=0-7
/proc/27302/task/27307/stat : 27307 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 8149 0 0 0 134 5 0 0 17 0 8 0 779487698 580968448 49345 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27302/tid=27308] ppid=27300 vsize=567352 CPUtime=1.34 cores=0-7
/proc/27302/task/27308/stat : 27308 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 8162 0 0 0 127 7 0 0 18 0 8 0 779487698 580968448 49345 33554432000 4194304 4580107 140734999833376 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27302/tid=27309] ppid=27300 vsize=567352 CPUtime=1.27 cores=0-7
/proc/27302/task/27309/stat : 27309 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 5044 0 0 0 125 2 0 0 18 0 8 0 779487698 580968448 49345 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 10.97
Current children cumulated vsize (KiB) 567352
[startup+3.10104 s]
/proc/loadavg: 7.48 7.92 7.96 9/551 27310
/proc/meminfo: memFree=15732416/32951124 swapFree=54323904/67111528
[pid=27302] ppid=27300 vsize=637752 CPUtime=23.73 cores=0-7
/proc/27302/stat : 27302 (strangenight2-m) R 27300 27302 27276 0 -1 4202496 106785 0 0 0 2320 53 0 0 18 0 8 0 779487698 653058048 71317 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27302/statm: 159438 71318 379 95 0 154420 0
[pid=27302/tid=27303] ppid=27300 vsize=637752 CPUtime=2.89 cores=0-7
/proc/27302/task/27303/stat : 27303 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 14260 0 0 0 283 6 0 0 18 0 8 0 779487698 653058048 71318 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27302/tid=27304] ppid=27300 vsize=637752 CPUtime=2.94 cores=0-7
/proc/27302/task/27304/stat : 27304 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 14355 0 0 0 289 5 0 0 21 0 8 0 779487698 653058048 71318 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27302/tid=27305] ppid=27300 vsize=637752 CPUtime=3.04 cores=0-7
/proc/27302/task/27305/stat : 27305 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 13970 0 0 0 297 7 0 0 21 0 8 0 779487698 653058048 71318 33554432000 4194304 4580107 140734999833376 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27302/tid=27306] ppid=27300 vsize=637752 CPUtime=3.01 cores=0-7
/proc/27302/task/27306/stat : 27306 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 13458 0 0 0 293 8 0 0 21 0 8 0 779487698 653058048 71320 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27302/tid=27307] ppid=27300 vsize=637752 CPUtime=2.99 cores=0-7
/proc/27302/task/27307/stat : 27307 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 14151 0 0 0 293 6 0 0 20 0 8 0 779487698 653058048 71320 33554432000 4194304 4580107 140734999833376 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27302/tid=27308] ppid=27300 vsize=637752 CPUtime=2.94 cores=0-7
/proc/27302/task/27308/stat : 27308 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 12229 0 0 0 286 8 0 0 18 0 8 0 779487698 653058048 71320 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27302/tid=27309] ppid=27300 vsize=637752 CPUtime=2.85 cores=0-7
/proc/27302/task/27309/stat : 27309 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 10154 0 0 0 282 3 0 0 20 0 8 0 779487698 653058048 71320 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 23.73
Current children cumulated vsize (KiB) 637752
[startup+6.30045 s]
/proc/loadavg: 7.48 7.92 7.96 9/551 27310
/proc/meminfo: memFree=15577168/32951124 swapFree=54323904/67111528
[pid=27302] ppid=27300 vsize=879456 CPUtime=49.26 cores=0-7
/proc/27302/stat : 27302 (strangenight2-m) R 27300 27302 27276 0 -1 4202496 154605 0 0 0 4866 60 0 0 25 0 8 0 779487698 900562944 97007 33554432000 4194304 4580107 140734999833376 18446744073709551615 4321944 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27302/statm: 219864 97008 379 95 0 214846 0
[pid=27302/tid=27303] ppid=27300 vsize=879456 CPUtime=6.09 cores=0-7
/proc/27302/task/27303/stat : 27303 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 19694 0 0 0 603 6 0 0 25 0 8 0 779487698 900562944 97008 33554432000 4194304 4580107 140734999833376 18446744073709551615 4320780 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27302/tid=27304] ppid=27300 vsize=879456 CPUtime=6.14 cores=0-7
/proc/27302/task/27304/stat : 27304 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 20714 0 0 0 607 7 0 0 25 0 8 0 779487698 900562944 97009 33554432000 4194304 4580107 140734999833376 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27302/tid=27305] ppid=27300 vsize=879456 CPUtime=6.23 cores=0-7
/proc/27302/task/27305/stat : 27305 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 20039 0 0 0 616 7 0 0 25 0 8 0 779487698 900562944 97009 33554432000 4194304 4580107 140734999833376 18446744073709551615 4321664 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27302/tid=27306] ppid=27300 vsize=879456 CPUtime=6.21 cores=0-7
/proc/27302/task/27306/stat : 27306 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 17128 0 0 0 612 9 0 0 25 0 8 0 779487698 900562944 97009 33554432000 4194304 4580107 140734999833376 18446744073709551615 4317187 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27302/tid=27307] ppid=27300 vsize=879456 CPUtime=6.19 cores=0-7
/proc/27302/task/27307/stat : 27307 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 22010 0 0 0 612 7 0 0 25 0 8 0 779487698 900562944 97009 33554432000 4194304 4580107 140734999833376 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27302/tid=27308] ppid=27300 vsize=879456 CPUtime=6.13 cores=0-7
/proc/27302/task/27308/stat : 27308 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 17915 0 0 0 605 8 0 0 25 0 8 0 779487698 900562944 97009 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27302/tid=27309] ppid=27300 vsize=879456 CPUtime=5.99 cores=0-7
/proc/27302/task/27309/stat : 27309 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 15739 0 0 0 595 4 0 0 25 0 8 0 779487698 900562944 97009 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 7 0 0 0
################
# More data... #
################
[startup+4662.3 s]
/proc/loadavg: 8.07 8.08 8.02 9/551 27446
/proc/meminfo: memFree=14019776/32951124 swapFree=54323904/67111528
[pid=27302] ppid=27300 vsize=2977272 CPUtime=37208.5 cores=0-7
/proc/27302/stat : 27302 (strangenight2-m) R 27300 27302 27276 0 -1 4202496 11424101 0 0 0 3716789 4060 0 0 25 0 8 0 779487698 3048726528 480943 33554432000 4194304 4580107 140734999833376 18446744073709551615 4316647 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27302/statm: 744318 480943 379 95 0 739300 0
[pid=27302/tid=27303] ppid=27300 vsize=2977272 CPUtime=4661.87 cores=0-7
/proc/27302/task/27303/stat : 27303 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1483629 0 0 0 465716 471 0 0 25 0 8 0 779487698 3048726528 480943 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27302/tid=27304] ppid=27300 vsize=2977272 CPUtime=4661.79 cores=0-7
/proc/27302/task/27304/stat : 27304 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1738478 0 0 0 465632 547 0 0 25 0 8 0 779487698 3048726528 480944 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27302/tid=27305] ppid=27300 vsize=2977272 CPUtime=4636.68 cores=0-7
/proc/27302/task/27305/stat : 27305 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1453168 0 0 0 463087 581 0 0 25 0 8 0 779487698 3048726528 480944 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27302/tid=27306] ppid=27300 vsize=2977272 CPUtime=4652.51 cores=0-7
/proc/27302/task/27306/stat : 27306 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1353257 0 0 0 464716 535 0 0 25 0 8 0 779487698 3048726528 480945 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27302/tid=27307] ppid=27300 vsize=2977272 CPUtime=4657.79 cores=0-7
/proc/27302/task/27307/stat : 27307 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1352552 0 0 0 465307 472 0 0 25 0 8 0 779487698 3048726528 480945 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27302/tid=27308] ppid=27300 vsize=2977272 CPUtime=4660.38 cores=0-7
/proc/27302/task/27308/stat : 27308 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1559787 0 0 0 465521 517 0 0 25 0 8 0 779487698 3048726528 480945 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27302/tid=27309] ppid=27300 vsize=2977272 CPUtime=4633.89 cores=0-7
/proc/27302/task/27309/stat : 27309 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1411983 0 0 0 462830 559 0 0 25 0 8 0 779487698 3048726528 480945 33554432000 4194304 4580107 140734999833376 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 37208.5
Current children cumulated vsize (KiB) 2977272
[startup+4722.3 s]
/proc/loadavg: 8.10 8.09 8.02 9/551 27448
/proc/meminfo: memFree=13970916/32951124 swapFree=54323904/67111528
[pid=27302] ppid=27300 vsize=2978488 CPUtime=37687.4 cores=0-7
/proc/27302/stat : 27302 (strangenight2-m) R 27300 27302 27276 0 -1 4202496 11534135 0 0 0 3764638 4100 0 0 25 0 8 0 779487698 3049971712 494389 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27302/statm: 744622 494389 379 95 0 739604 0
[pid=27302/tid=27303] ppid=27300 vsize=2978488 CPUtime=4721.87 cores=0-7
/proc/27302/task/27303/stat : 27303 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1493370 0 0 0 471712 475 0 0 25 0 8 0 779487698 3049971712 494389 33554432000 4194304 4580107 140734999833376 18446744073709551615 4317100 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27302/tid=27304] ppid=27300 vsize=2978488 CPUtime=4721.79 cores=0-7
/proc/27302/task/27304/stat : 27304 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1758434 0 0 0 471626 553 0 0 25 0 8 0 779487698 3049971712 494389 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27302/tid=27305] ppid=27300 vsize=2978488 CPUtime=4696.68 cores=0-7
/proc/27302/task/27305/stat : 27305 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1463998 0 0 0 469083 585 0 0 25 0 8 0 779487698 3049971712 494389 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27302/tid=27306] ppid=27300 vsize=2978488 CPUtime=4712.5 cores=0-7
/proc/27302/task/27306/stat : 27306 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1364671 0 0 0 470711 539 0 0 25 0 8 0 779487698 3049971712 494389 33554432000 4194304 4580107 140734999833376 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27302/tid=27307] ppid=27300 vsize=2978488 CPUtime=4716.71 cores=0-7
/proc/27302/task/27307/stat : 27307 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1373782 0 0 0 471191 480 0 0 25 0 8 0 779487698 3049971712 494389 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27302/tid=27308] ppid=27300 vsize=2978488 CPUtime=4720.36 cores=0-7
/proc/27302/task/27308/stat : 27308 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1574741 0 0 0 471515 521 0 0 25 0 8 0 779487698 3049971712 494389 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27302/tid=27309] ppid=27300 vsize=2978488 CPUtime=4693.89 cores=0-7
/proc/27302/task/27309/stat : 27309 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1428596 0 0 0 468823 566 0 0 25 0 8 0 779487698 3049971712 494389 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 37687.4
Current children cumulated vsize (KiB) 2978488
[startup+4782.3 s]
/proc/loadavg: 8.07 8.08 8.02 9/551 27449
/proc/meminfo: memFree=14015912/32951124 swapFree=54323904/67111528
[pid=27302] ppid=27300 vsize=2906620 CPUtime=38166.2 cores=0-7
/proc/27302/stat : 27302 (strangenight2-m) R 27300 27302 27276 0 -1 4202496 11671265 0 0 0 3812473 4150 0 0 25 0 8 0 779487698 2976378880 482225 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27302/statm: 726655 482225 379 95 0 721637 0
[pid=27302/tid=27303] ppid=27300 vsize=2906620 CPUtime=4781.86 cores=0-7
/proc/27302/task/27303/stat : 27303 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1515640 0 0 0 477703 483 0 0 25 0 8 0 779487698 2976378880 482225 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27302/tid=27304] ppid=27300 vsize=2906620 CPUtime=4781.79 cores=0-7
/proc/27302/task/27304/stat : 27304 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1776992 0 0 0 477619 560 0 0 25 0 8 0 779487698 2976378880 482225 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27302/tid=27305] ppid=27300 vsize=2906620 CPUtime=4756.67 cores=0-7
/proc/27302/task/27305/stat : 27305 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1480793 0 0 0 475075 592 0 0 25 0 8 0 779487698 2976378880 482225 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27302/tid=27306] ppid=27300 vsize=2906620 CPUtime=4772.49 cores=0-7
/proc/27302/task/27306/stat : 27306 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1387534 0 0 0 476702 547 0 0 25 0 8 0 779487698 2976378880 482225 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27302/tid=27307] ppid=27300 vsize=2906620 CPUtime=4775.61 cores=0-7
/proc/27302/task/27307/stat : 27307 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1391950 0 0 0 477075 486 0 0 25 0 8 0 779487698 2976378880 482225 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27302/tid=27308] ppid=27300 vsize=2906620 CPUtime=4780.34 cores=0-7
/proc/27302/task/27308/stat : 27308 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1591759 0 0 0 477508 526 0 0 25 0 8 0 779487698 2976378880 482225 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27302/tid=27309] ppid=27300 vsize=2906620 CPUtime=4753.89 cores=0-7
/proc/27302/task/27309/stat : 27309 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1443963 0 0 0 474816 573 0 0 25 0 8 0 779487698 2976378880 482225 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 38166.2
Current children cumulated vsize (KiB) 2906620
[startup+4842.3 s]
/proc/loadavg: 8.02 8.07 8.01 9/551 27451
/proc/meminfo: memFree=14025696/32951124 swapFree=54323904/67111528
[pid=27302] ppid=27300 vsize=2784784 CPUtime=38645.1 cores=0-7
/proc/27302/stat : 27302 (strangenight2-m) R 27300 27302 27276 0 -1 4202496 11786605 0 0 0 3860314 4196 0 0 25 0 8 0 779487698 2851618816 481387 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27302/statm: 696196 481387 379 95 0 691178 0
[pid=27302/tid=27303] ppid=27300 vsize=2784784 CPUtime=4841.86 cores=0-7
/proc/27302/task/27303/stat : 27303 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1533339 0 0 0 483696 490 0 0 25 0 8 0 779487698 2851618816 481387 33554432000 4194304 4580107 140734999833376 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27302/tid=27304] ppid=27300 vsize=2784784 CPUtime=4841.78 cores=0-7
/proc/27302/task/27304/stat : 27304 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1793598 0 0 0 483614 564 0 0 25 0 8 0 779487698 2851618816 481387 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27302/tid=27305] ppid=27300 vsize=2784784 CPUtime=4816.67 cores=0-7
/proc/27302/task/27305/stat : 27305 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1494287 0 0 0 481069 598 0 0 25 0 8 0 779487698 2851618816 481387 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27302/tid=27306] ppid=27300 vsize=2784784 CPUtime=4832.49 cores=0-7
/proc/27302/task/27306/stat : 27306 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1406705 0 0 0 482695 554 0 0 25 0 8 0 779487698 2851618816 481387 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27302/tid=27307] ppid=27300 vsize=2784784 CPUtime=4834.52 cores=0-7
/proc/27302/task/27307/stat : 27307 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1403989 0 0 0 482962 490 0 0 25 0 8 0 779487698 2851618816 481387 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294551 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27302/tid=27308] ppid=27300 vsize=2784784 CPUtime=4840.31 cores=0-7
/proc/27302/task/27308/stat : 27308 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1606562 0 0 0 483497 534 0 0 25 0 8 0 779487698 2851618816 481387 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27302/tid=27309] ppid=27300 vsize=2784784 CPUtime=4813.88 cores=0-7
/proc/27302/task/27309/stat : 27309 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1459185 0 0 0 480808 580 0 0 25 0 8 0 779487698 2851618816 481387 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 38645.1
Current children cumulated vsize (KiB) 2784784
[startup+4902.3 s]
/proc/loadavg: 8.01 8.05 8.01 9/551 27452
/proc/meminfo: memFree=13873528/32951124 swapFree=54323904/67111528
[pid=27302] ppid=27300 vsize=3081360 CPUtime=39123.9 cores=0-7
/proc/27302/stat : 27302 (strangenight2-m) R 27300 27302 27276 0 -1 4202496 11901620 0 0 0 3908156 4239 0 0 25 0 8 0 779487698 3155312640 517964 33554432000 4194304 4580107 140734999833376 18446744073709551615 4293235 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27302/statm: 770340 517964 379 95 0 765322 0
[pid=27302/tid=27303] ppid=27300 vsize=3081360 CPUtime=4901.86 cores=0-7
/proc/27302/task/27303/stat : 27303 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1548762 0 0 0 489691 495 0 0 25 0 8 0 779487698 3155312640 517965 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27302/tid=27304] ppid=27300 vsize=3081360 CPUtime=4901.77 cores=0-7
/proc/27302/task/27304/stat : 27304 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1805361 0 0 0 489608 569 0 0 25 0 8 0 779487698 3155312640 517965 33554432000 4194304 4580107 140734999833376 18446744073709551615 4340603 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27302/tid=27305] ppid=27300 vsize=3081360 CPUtime=4876.67 cores=0-7
/proc/27302/task/27305/stat : 27305 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1506722 0 0 0 487064 603 0 0 25 0 8 0 779487698 3155312640 517965 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27302/tid=27306] ppid=27300 vsize=3081360 CPUtime=4892.48 cores=0-7
/proc/27302/task/27306/stat : 27306 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1423680 0 0 0 488687 561 0 0 25 0 8 0 779487698 3155312640 517965 33554432000 4194304 4580107 140734999833376 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27302/tid=27307] ppid=27300 vsize=3081360 CPUtime=4893.42 cores=0-7
/proc/27302/task/27307/stat : 27307 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1424631 0 0 0 488844 498 0 0 25 0 8 0 779487698 3155312640 517965 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27302/tid=27308] ppid=27300 vsize=3081360 CPUtime=4900.3 cores=0-7
/proc/27302/task/27308/stat : 27308 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1626236 0 0 0 489489 541 0 0 25 0 8 0 779487698 3155312640 517965 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27302/tid=27309] ppid=27300 vsize=3081360 CPUtime=4873.88 cores=0-7
/proc/27302/task/27309/stat : 27309 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1471708 0 0 0 486803 585 0 0 25 0 8 0 779487698 3155312640 517965 33554432000 4194304 4580107 140734999833376 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 39123.9
Current children cumulated vsize (KiB) 3081360
[startup+4962.3 s]
/proc/loadavg: 8.11 8.07 8.01 9/551 27454
/proc/meminfo: memFree=13890860/32951124 swapFree=54323904/67111528
[pid=27302] ppid=27300 vsize=3017984 CPUtime=39603 cores=0-7
/proc/27302/stat : 27302 (strangenight2-m) R 27300 27302 27276 0 -1 4202496 12016347 0 0 0 3956013 4285 0 0 25 0 8 0 779487698 3090415616 512814 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27302/statm: 754496 512814 379 95 0 749478 0
[pid=27302/tid=27303] ppid=27300 vsize=3017984 CPUtime=4961.88 cores=0-7
/proc/27302/task/27303/stat : 27303 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1559611 0 0 0 495686 502 0 0 25 0 8 0 779487698 3090415616 512815 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27302/tid=27304] ppid=27300 vsize=3017984 CPUtime=4961.79 cores=0-7
/proc/27302/task/27304/stat : 27304 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1823146 0 0 0 495604 575 0 0 25 0 8 0 779487698 3090415616 512815 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27302/tid=27305] ppid=27300 vsize=3017984 CPUtime=4936.69 cores=0-7
/proc/27302/task/27305/stat : 27305 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1521771 0 0 0 493060 609 0 0 25 0 8 0 779487698 3090415616 512816 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27302/tid=27306] ppid=27300 vsize=3017984 CPUtime=4952.49 cores=0-7
/proc/27302/task/27306/stat : 27306 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1448854 0 0 0 494681 568 0 0 25 0 8 0 779487698 3090415616 512816 33554432000 4194304 4580107 140734999833376 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27302/tid=27307] ppid=27300 vsize=3017984 CPUtime=4952.33 cores=0-7
/proc/27302/task/27307/stat : 27307 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1438125 0 0 0 494729 504 0 0 25 0 8 0 779487698 3090415616 512816 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27302/tid=27308] ppid=27300 vsize=3017984 CPUtime=4960.3 cores=0-7
/proc/27302/task/27308/stat : 27308 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1638063 0 0 0 495483 547 0 0 25 0 8 0 779487698 3090415616 512816 33554432000 4194304 4580107 140734999833376 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27302/tid=27309] ppid=27300 vsize=3017984 CPUtime=4933.89 cores=0-7
/proc/27302/task/27309/stat : 27309 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1486980 0 0 0 492799 590 0 0 25 0 8 0 779487698 3090415616 512816 33554432000 4194304 4580107 140734999833376 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 39603
Current children cumulated vsize (KiB) 3017984
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5012.1 s]
/proc/loadavg: 8.05 8.06 8.01 9/551 27455
/proc/meminfo: memFree=13937236/32951124 swapFree=54323904/67111528
[pid=27302] ppid=27300 vsize=3077832 CPUtime=40000.4 cores=0-7
/proc/27302/stat : 27302 (strangenight2-m) R 27300 27302 27276 0 -1 4202496 12141439 0 0 0 3995712 4328 0 0 25 0 8 0 779487698 3151699968 501286 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27302/statm: 769458 501286 379 95 0 764440 0
[pid=27302/tid=27303] ppid=27300 vsize=3077832 CPUtime=5011.67 cores=0-7
/proc/27302/task/27303/stat : 27303 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1574018 0 0 0 500659 508 0 0 25 0 8 0 779487698 3151699968 501286 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27302/tid=27304] ppid=27300 vsize=3077832 CPUtime=5011.59 cores=0-7
/proc/27302/task/27304/stat : 27304 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1843655 0 0 0 500577 582 0 0 25 0 8 0 779487698 3151699968 501286 33554432000 4194304 4580107 140734999833376 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27302/tid=27305] ppid=27300 vsize=3077832 CPUtime=4986.48 cores=0-7
/proc/27302/task/27305/stat : 27305 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1538713 0 0 0 498034 614 0 0 25 0 8 0 779487698 3151699968 501286 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27302/tid=27306] ppid=27300 vsize=3077832 CPUtime=5002.29 cores=0-7
/proc/27302/task/27306/stat : 27306 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1468878 0 0 0 499655 574 0 0 25 0 8 0 779487698 3151699968 501286 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27302/tid=27307] ppid=27300 vsize=3077832 CPUtime=5001.21 cores=0-7
/proc/27302/task/27307/stat : 27307 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1458759 0 0 0 499611 510 0 0 25 0 8 0 779487698 3151699968 501286 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294818 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27302/tid=27308] ppid=27300 vsize=3077832 CPUtime=5010.09 cores=0-7
/proc/27302/task/27308/stat : 27308 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1646135 0 0 0 500458 551 0 0 25 0 8 0 779487698 3151699968 501286 33554432000 4194304 4580107 140734999833376 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27302/tid=27309] ppid=27300 vsize=3077832 CPUtime=4983.69 cores=0-7
/proc/27302/task/27309/stat : 27309 (strangenight2-m) R 27300 27302 27276 0 -1 4202560 1506416 0 0 0 497772 597 0 0 25 0 8 0 779487698 3151699968 501286 33554432000 4194304 4580107 140734999833376 18446744073709551615 4321944 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 40000.4
Current children cumulated vsize (KiB) 3077832
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5012.23
CPU time (s): 40000.6
CPU user time (s): 39957.2
CPU system time (s): 43.3824
CPU usage (%): 798.06
Max. virtual memory (cumulated for all children) (KiB): 3082544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39957.2
system time used= 43.3824
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12141450
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= 65562
involuntary context switches= 117525
runsolver used 25.5561 second user time and 65.628 second system time
The end
Launcher Data
Begin job on node106 at 2011-05-29 16:21:13
IDJOB=3421605
IDBENCH=83254
IDSOLVER=1878
FILE ID=node106/3421605-1306678873
RUNJOBID= node106-1306678873-27290
PBS_JOBID= 13471820
Free space on /tmp= 73468 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-4-5_4232.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3421605-1306678873/watcher-3421605-1306678873 -o /tmp/evaluation-result-3421605-1306678873/solver-3421605-1306678873 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3421605-1306678873.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 86d9f733c618d2ca060f457ab8a19463
RANDOM SEED=187348762
node106.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.66
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5226.20
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.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.830
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 15945544 kB
Buffers: 359016 kB
Cached: 10686592 kB
SwapCached: 24016 kB
Active: 6673008 kB
Inactive: 10022340 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 15945544 kB
SwapTotal: 67111528 kB
SwapFree: 54323904 kB
Dirty: 7796 kB
Writeback: 0 kB
AnonPages: 5634252 kB
Mapped: 25624 kB
Slab: 160112 kB
PageTables: 77152 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 167517416 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73460 MiB
End job on node106 at 2011-05-29 17:44:47