0.00/0.00 c Outputting solution to console
0.00/0.00 c Using 8 threads
0.00/0.05 c This is CryptoMiniSat 3.0.0
0.00/0.05 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05 c Reading file 'HOME/instance-3393982-1306077871.cnf'
0.00/0.05 c -- header says num vars: 135543
0.00/0.05 c -- header says num clauses: 404326
2.24/0.53 c -- clauses added: 0 learnts, 404326 normals, 0 xors
2.24/0.53 c -- vars added 135543
2.24/0.53 c Parsing time: 0.14 s
2.24/0.53 c N st 0 0 135543 134725 269475 0 943125 0 no data no data
9.32/1.49 c asymm cl-useful: 0/12383/134595 lits-rem:0 time: 0.95
74.04/9.56 c Flit: 839 Blit: 23912 bXBeca: 0 bXProp: 38638 Bins: 0 BRemL: 0 BRemN: 0 P: 189.3M T: 8.07
74.04/9.59 c Cleaning up after failed var search: 0.03 s
74.83/9.66 c Replacing 38638 vars Replaced 662546 lits Time: 0.06 s
75.63/9.70 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
75.63/9.72 c bin-w-bin subsume rem 8270 bins time: 0.02 s
75.63/9.75 c subs with bin: 11 lits-rem: 11 v-fix: 0 time: 0.04 s
77.31/9.95 c Subs w/ non-existent bins: 4 l-rem: 2 v-fix: 2 done: 67032 time: 0.19 s
78.08/10.08 c Removed useless bin: 5894 fixed: 0 props: 20.00M time: 0.14 s
79.58/10.28 c lits-rem: 340 cl-subs: 2893 v-elim: 22344 v-fix: 0 time: 0.19 s
80.37/10.30 c Finding binary XORs T: 0.02 s found: 335
80.37/10.33 c Replacing 335 vars Replaced 2921 lits Time: 0.02 s
80.37/10.36 c Finding non-binary XORs: 0.02 s (found: 1669, avg size: 3.0)
80.37/10.36 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 826 locsubst: 0 time: 0.02
80.37/10.37 c calculated reachability. Time: 0.00
80.37/10.38 c Calc default polars - time: 0.01 s pos: 617 undec: 92263 neg: 42663
80.37/10.38 c =========================================================================================
80.37/10.38 c types(t): F = full restart, N = normal restart
80.37/10.38 c types(t): S = simplification begin/end, E = solution found
80.37/10.38 c restart types(rt): st = static, dy = dynamic
80.37/10.38 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
80.37/10.38 c B st 0 0 43525 55144 90795 0 353144 0 no data no data
94.82/12.13 c N dy 16 4072 43525 55144 90826 3997 353144 148734 8.69 9.37
103.61/13.24 c N dy 31 8088 43482 55144 91681 7890 353144 253728 8.18 8.63
110.72/14.17 c N dy 46 12184 43089 55144 91712 11882 353144 351095 8.16 8.60
117.91/15.03 c N dy 61 16238 42942 53291 90782 14968 345011 398993 7.97 8.43
126.70/16.19 c N dy 91 20303 42790 53291 91393 9630 345011 128861 8.35 11.20
135.48/17.25 c N dy 115 24361 42329 51702 91216 12694 338014 225558 8.45 9.09
136.28/17.38 c F st 120 25000 42321 51702 91218 13326 338014 241813 8.47 no data
137.08/17.41 c Replacing 14 vars Replaced 161 lits Time: 0.02 s
142.66/18.14 c Finding binary XORs T: 0.02 s found: 1194
142.66/18.17 c Replacing 1194 vars Replaced 50869 lits Time: 0.04 s
148.35/18.82 c N dy 126 30000 40780 50529 87147 17526 327897 373643 8.47 no data
148.35/18.83 c S st 126 30000 40780 50529 87147 17526 327897 373643 8.47 no data
150.66/19.13 c S st 126 30500 40773 50529 88275 17887 327897 379905 8.47 no data
150.66/19.15 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 1 locsubst: 0 time: 0.02
196.99/24.94 c Flit: 92 Blit: 1228 bXBeca: 0 bXProp: 2945 Bins: 337597 BRemL: 132176 BRemN: 1228 P: 54.1M T: 5.73
196.99/24.96 c Cleaning up after failed var search: 0.02 s
197.78/25.01 c Replacing 2960 vars Replaced 207222 lits Time: 0.05 s
197.78/25.03 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
197.78/25.06 c bin-w-bin subsume rem 21023 bins time: 0.03 s
197.78/25.09 c subs with bin: 694 lits-rem: 472 v-fix: 0 time: 0.03 s
199.38/25.23 c Subs w/ non-existent bins: 891 l-rem: 11 v-fix: 0 done: 36077 time: 0.14 s
199.38/25.28 c Removed useless bin: 2005 fixed: 0 props: 2.16M time: 0.04 s
201.06/25.49 c lits-rem: 902 cl-subs: 7674 v-elim: 24050 v-fix: 0 time: 0.19 s
201.76/25.52 c subs with bin: 272 lits-rem: 3079 v-fix: 0 time: 0.02 s
201.76/25.55 c lits-rem: 1312 cl-subs: 344 v-elim: 0 v-fix: 0 time: 0.03 s
204.16/25.86 c asymm cl-useful: 8/34692/47075 lits-rem:14 time: 0.31
204.16/25.87 c calculated reachability. Time: 0.01
204.16/25.87 c N dy 126 30500 12027 47072 43790 5137 183338 129376 8.47 no data
204.96/25.93 c Finding binary XORs T: 0.06 s found: 40
209.03/26.47 c N dy 135 34559 12014 47072 43867 9035 183338 199378 8.23 10.96
214.55/27.15 c N dy 148 38664 11833 46038 42297 12070 179486 256487 8.04 8.48
221.73/28.00 c N dy 159 43999 11831 46038 42353 9786 179486 158909 7.84 8.29
223.33/28.27 c S st 165 45751 11829 46038 73058 11499 179486 257248 7.80 no data
224.93/28.40 c Finding binary XORs T: 0.03 s found: 122
224.93/28.42 c Replacing 231 vars Replaced 14594 lits Time: 0.02 s
224.93/28.44 c S st 165 46255 11524 45519 71026 11419 176962 252061 7.80 no data
224.93/28.45 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 8 locsubst: 0 time: 0.01
230.50/29.17 c Flit: 23 Blit: 239 bXBeca: 2 bXProp: 245 Bins: 36782 BRemL: 55894 BRemN: 372 P: 10.1M T: 0.70
230.50/29.18 c Cleaning up after failed var search: 0.01 s
231.30/29.20 c Replacing 247 vars Replaced 18376 lits Time: 0.02 s
231.30/29.21 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
231.30/29.22 c bin-w-bin subsume rem 9690 bins time: 0.01 s
231.30/29.23 c subs with bin: 1220 lits-rem: 1035 v-fix: 0 time: 0.01 s
231.30/29.26 c Subs w/ non-existent bins: 2216 l-rem: 20 v-fix: 0 done: 11001 time: 0.02 s
231.30/29.27 c Removed useless bin: 56 fixed: 0 props: 0.30M time: 0.01 s
232.09/29.38 c lits-rem: 2171 cl-subs: 4494 v-elim: 5188 v-fix: 0 time: 0.11 s
232.89/29.41 c subs with bin: 339 lits-rem: 2325 v-fix: 0 time: 0.01 s
232.89/29.43 c lits-rem: 602 cl-subs: 333 v-elim: 0 v-fix: 0 time: 0.02 s
232.89/29.44 c vivif2 -- cl tried 31041 cl shrink 185 lits rem 213 time: 0.01
232.89/29.45 c vivif2 -- cl tried 6824 cl shrink 1406 lits rem 3427 time: 0.01
234.45/29.66 c asymm cl-useful: 915/30962/30962 lits-rem:1019 time: 0.21
234.45/29.66 c calculated reachability. Time: 0.00
234.45/29.66 c N dy 165 46255 5813 30940 12120 6805 123757 87246 7.80 no data
235.31/29.76 c Finding binary XORs T: 0.02 s found: 0
238.42/30.11 c N dy 171 50299 5812 30940 29696 10736 123757 195583 7.65 8.26
240.82/30.41 c Finding binary XORs T: 0.02 s found: 22
241.62/30.53 c N dy 180 54688 5786 30765 28514 13906 123006 251067 7.54 8.27
244.91/30.99 c Finding binary XORs T: 0.02 s found: 9
245.60/31.07 c N dy 195 58836 5770 30622 35777 17787 122455 335253 7.47 7.89
249.60/31.50 c N dy 210 63037 5767 30622 37843 21848 122455 407035 7.42 7.85
252.88/31.92 c N dy 223 67450 5751 30622 37900 14624 122450 216950 7.36 7.80
253.68/32.08 c S st 229 69383 5749 30622 38010 16482 122450 249912 7.33 5.58
254.39/32.15 c S st 229 69885 5747 30622 38044 16936 122450 254244 7.33 no data
254.39/32.16 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 30 locsubst: 0 time: 0.01
255.99/32.32 c Flit: 13 Blit: 75 bXBeca: 0 bXProp: 80 Bins: 8299 BRemL: 10691 BRemN: 52 P: 3.0M T: 0.16
255.99/32.35 c Replacing 139 vars Replaced 6565 lits Time: 0.01 s
255.99/32.36 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
255.99/32.36 c bin-w-bin subsume rem 8030 bins time: 0.01 s
255.99/32.37 c subs with bin: 584 lits-rem: 248 v-fix: 0 time: 0.01 s
255.99/32.38 c Subs w/ non-existent bins: 34 l-rem: 1 v-fix: 0 done: 5432 time: 0.01 s
255.99/32.39 c Removed useless bin: 22 fixed: 0 props: 0.12M time: 0.00 s
256.79/32.41 c lits-rem: 556 cl-subs: 240 v-elim: 187 v-fix: 0 time: 0.02 s
256.79/32.45 c subs with bin: 672 lits-rem: 5385 v-fix: 0 time: 0.03 s
256.79/32.49 c lits-rem: 1435 cl-subs: 658 v-elim: 0 v-fix: 0 time: 0.04 s
257.59/32.50 c vivif2 -- cl tried 28046 cl shrink 99 lits rem 99 time: 0.01
257.59/32.51 c vivif2 -- cl tried 13188 cl shrink 1462 lits rem 2327 time: 0.01
259.19/32.75 c asymm cl-useful: 1088/28041/28041 lits-rem:1603 time: 0.24
259.19/32.75 c calculated reachability. Time: 0.00
259.19/32.75 c N dy 229 69885 5245 27804 18448 13182 110868 167458 7.33 no data
259.19/32.77 c Finding binary XORs T: 0.02 s found: 4
262.46/33.19 c N dy 244 74433 5240 27804 18486 17601 110868 238782 7.29 12.09
263.98/33.33 c Finding binary XORs T: 0.02 s found: 29
267.17/33.71 c N dy 259 79838 5211 27623 23371 22150 109936 324939 7.23 7.69
271.25/34.26 c N dy 287 84956 5193 27623 26371 27115 109936 419388 7.25 8.26
273.56/34.54 c Finding binary XORs T: 0.02 s found: 20
273.56/34.56 c Replacing 54 vars Replaced 9909 lits Time: 0.02 s
274.36/34.61 c F st 297 87500 5122 27265 24781 28566 107989 447270 7.25 5.50
276.75/34.93 c N st 302 90798 5121 27265 24789 17005 107989 194655 7.25 no data
281.54/35.56 c N dy 327 96669 5087 27265 25375 22728 107989 297308 7.28 7.88
285.54/36.09 c Finding binary XORs T: 0.02 s found: 18
288.02/36.39 c N dy 361 103034 5036 26614 26585 27290 105488 395448 7.31 7.80
289.52/36.59 c S st 371 104829 5024 26614 26609 29022 105486 427733 7.32 no data
290.33/36.68 c S st 371 105330 5024 26614 26631 29495 105486 432618 7.32 no data
290.33/36.69 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 50 locsubst: 0 time: 0.01
291.93/36.84 c Flit: 10 Blit: 37 bXBeca: 0 bXProp: 41 Bins: 5624 BRemL: 7941 BRemN: 7 P: 3.2M T: 0.15
291.93/36.87 c Replacing 63 vars Replaced 9047 lits Time: 0.02 s
291.93/36.87 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
291.93/36.88 c bin-w-bin subsume rem 5661 bins time: 0.00 s
291.93/36.89 c subs with bin: 639 lits-rem: 323 v-fix: 0 time: 0.01 s
292.73/36.90 c Subs w/ non-existent bins: 60 l-rem: 9 v-fix: 0 done: 4832 time: 0.01 s
292.73/36.90 c Removed useless bin: 9 fixed: 0 props: 0.11M time: 0.00 s
292.73/36.93 c lits-rem: 347 cl-subs: 203 v-elim: 182 v-fix: 0 time: 0.02 s
293.53/37.01 c subs with bin: 1371 lits-rem: 11486 v-fix: 0 time: 0.06 s
294.33/37.11 c lits-rem: 5547 cl-subs: 1462 v-elim: 0 v-fix: 0 time: 0.10 s
294.33/37.12 c vivif2 -- cl tried 24640 cl shrink 86 lits rem 116 time: 0.00
294.33/37.14 c vivif2 -- cl tried 20684 cl shrink 3516 lits rem 5357 time: 0.02
296.80/37.42 c asymm cl-useful: 458/24640/24640 lits-rem:743 time: 0.27
296.80/37.43 c calculated reachability. Time: 0.00
296.80/37.43 c N dy 371 105330 4650 24510 14948 20671 97488 277657 7.32 no data
297.61/37.54 c Finding binary XORs T: 0.02 s found: 23
303.12/38.23 c N dy 408 112121 4603 24313 16825 26530 96617 384883 7.32 7.74
305.60/38.58 c Finding binary XORs T: 0.02 s found: 76
305.60/38.60 c Replacing 118 vars Replaced 11559 lits Time: 0.02 s
310.30/39.11 c N dy 435 119281 4423 23755 15477 17339 93989 179897 7.29 8.41
317.49/40.02 c N dy 466 127189 4370 23219 14565 22850 92077 275666 7.27 7.75
320.68/40.40 c Finding binary XORs T: 0.02 s found: 62
320.68/40.42 c Replacing 101 vars Replaced 6359 lits Time: 0.01 s
325.48/41.08 c N dy 496 135314 4230 22835 15146 30048 90190 380799 7.24 7.77
333.47/42.08 c E dy 512 142735 4212 22835 17854 19735 90190 184802 7.19 3.44
336.38/42.94 c Following stats are for *FIRST FINISHED THREAD ONLY*
336.38/42.94 c num threads : 8
336.38/42.94 c restarts : 512
336.38/42.94 c dynamic restarts : 494
336.38/42.94 c static restarts : 18
336.38/42.94 c full restarts : 2
336.38/42.94 c total simplify time : 0.53
336.38/42.94 c learnts DL2 : 0
336.38/42.94 c learnts size 2 : 799188
336.38/42.94 c learnts size 1 : 36497 (26.93 % of vars)
336.38/42.94 c filedLit time : 14.89 (35.24 % time)
336.38/42.94 c v-elim SatELite : 51951 (38.33 % vars)
336.38/42.94 c SatELite time : 0.87 (2.06 % time)
336.38/42.94 c v-elim xor : 915 (0.68 % vars)
336.38/42.94 c xor elim time : 0.06 (0.15 % time)
336.38/42.94 c num binary xor trees : 8174
336.38/42.94 c binxor trees' crown : 44094 (5.39 leafs/tree)
336.38/42.94 c bin xor find time : 0.31
336.38/42.94 c OTF clause improved : 2802 (0.02 clauses/conflict)
336.38/42.94 c OTF impr. size diff : 3291 (1.17 lits/clause)
336.38/42.94 c OTF cl watch-shrink : 61290 (0.43 clauses/conflict)
336.38/42.94 c OTF cl watch-sh-lit : 164759 (2.69 lits/clause)
336.38/42.94 c tried to recurMin cls : 43968 (30.80 % of conflicts)
336.38/42.94 c updated cache : 0 (0.00 lits/tried recurMin)
336.38/42.94 c unit cls recevied : 311 (0.85 % of units)
336.38/42.94 c unit cls sent : 6902 (18.91 % of units)
336.38/42.94 c bin cls recevied : 184193
336.38/42.94 c bin cls sent : 413540
336.38/42.94 c clauses over max glue : 0 (0.00 % of all clauses)
336.38/42.94 c conflicts : 142735 (3378.62 / sec)
336.38/42.94 c decisions : 265151 (8.70 % random)
336.38/42.94 c bogo-props : 1028709154 (24350118.45 / sec)
336.38/42.94 c conflict literals : 2715165 (34.66 % deleted)
336.38/42.94 c Memory used : 1868.36 MB
336.38/42.94 c single-thread CPU time : 42.25 s
336.38/42.94 c all-threads sum CPU time : 334.57 s
336.38/42.94 s UNSATISFIABLE
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-3393982-1306077871/watcher-3393982-1306077871 -o /tmp/evaluation-result-3393982-1306077871/solver-3393982-1306077871 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3393982-1306077871.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: 8.04 8.04 8.00 1/320 21834
/proc/meminfo: memFree=20014028/32951124 swapFree=67083432/67111528
[pid=21834] ppid=21832 vsize=92144 CPUtime=0.03 cores=0-7
/proc/21834/stat : 21834 (strangenight2-m) R 21832 21834 21808 0 -1 4202496 419 0 0 0 3 0 0 0 22 0 8 0 798017717 94355456 359 33554432000 4194304 4580107 140734538213760 18446744073709551615 47133135222700 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21834/statm: 23036 359 302 95 0 18018 0
[pid=21834/tid=21835] ppid=21832 vsize=92144 CPUtime=0 cores=0-7
/proc/21834/task/21835/stat : 21835 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 8 0 798017717 94355456 359 33554432000 4194304 4580107 140734538213760 18446744073709551615 47133135222297 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21834/tid=21836] ppid=21832 vsize=92144 CPUtime=0 cores=0-7
/proc/21834/task/21836/stat : 21836 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 798017717 94355456 359 33554432000 4194304 4580107 140734538213760 18446744073709551615 47133135222706 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21834/tid=21837] ppid=21832 vsize=92144 CPUtime=0 cores=0-7
/proc/21834/task/21837/stat : 21837 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 798017717 94355456 359 33554432000 4194304 4580107 140734538213760 18446744073709551615 47133135222297 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21834/tid=21838] ppid=21832 vsize=92144 CPUtime=0 cores=0-7
/proc/21834/task/21838/stat : 21838 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 798017717 94355456 359 33554432000 4194304 4580107 140734538213760 18446744073709551615 47133135222297 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21834/tid=21839] ppid=21832 vsize=92144 CPUtime=0 cores=0-7
/proc/21834/task/21839/stat : 21839 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 798017717 94355456 359 33554432000 4194304 4580107 140734538213760 18446744073709551615 47133135222291 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21834/tid=21840] ppid=21832 vsize=92144 CPUtime=0 cores=0-7
/proc/21834/task/21840/stat : 21840 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 798017717 94355456 359 33554432000 4194304 4580107 140734538213760 18446744073709551615 47133135222291 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21834/tid=21841] ppid=21832 vsize=92144 CPUtime=0 cores=0-7
/proc/21834/task/21841/stat : 21841 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 798017717 94355456 359 33554432000 4194304 4580107 140734538213760 18446744073709551615 47133135222291 0 0 4096 2 0 0 0 -1 0 0 0 0
[startup+0.110285 s]
/proc/loadavg: 8.04 8.04 8.00 1/320 21834
/proc/meminfo: memFree=20014028/32951124 swapFree=67083432/67111528
[pid=21834] ppid=21832 vsize=581972 CPUtime=0.57 cores=0-7
/proc/21834/stat : 21834 (strangenight2-m) R 21832 21834 21808 0 -1 4202496 17403 0 0 0 44 13 0 0 17 0 8 0 798017717 595939328 14909 33554432000 4194304 4580107 140734538213760 18446744073709551615 4310274 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21834/statm: 147032 15456 338 95 0 142014 0
[pid=21834/tid=21835] ppid=21832 vsize=588128 CPUtime=0.07 cores=0-7
/proc/21834/task/21835/stat : 21835 (strangenight2-m) D 21832 21834 21808 0 -1 4202560 2339 0 0 0 6 1 0 0 17 0 8 0 798017717 602243072 15574 33554432000 4194304 4580107 140734538213760 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21834/tid=21836] ppid=21832 vsize=588128 CPUtime=0.02 cores=0-7
/proc/21834/task/21836/stat : 21836 (strangenight2-m) D 21832 21834 21808 0 -1 4202560 2334 0 0 0 1 1 0 0 17 0 8 0 798017717 602243072 15317 33554432000 4194304 4580107 140734538213760 18446744073709551615 4310274 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21834/tid=21837] ppid=21832 vsize=587100 CPUtime=0.07 cores=0-7
/proc/21834/task/21837/stat : 21837 (strangenight2-m) D 21832 21834 21808 0 -1 4202560 2237 0 0 0 6 1 0 0 17 0 8 0 798017717 601190400 15322 33554432000 4194304 4580107 140734538213760 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21834/tid=21838] ppid=21832 vsize=587100 CPUtime=0.07 cores=0-7
/proc/21834/task/21838/stat : 21838 (strangenight2-m) S 21832 21834 21808 0 -1 4202560 2135 0 0 0 5 2 0 0 17 0 8 0 798017717 601190400 15323 33554432000 4194304 4580107 140734538213760 18446744073709551615 260020500974 0 0 4096 2 18446604444696869056 0 0 -1 4 0 0 0
[pid=21834/tid=21839] ppid=21832 vsize=587100 CPUtime=0.07 cores=0-7
/proc/21834/task/21839/stat : 21839 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 2286 0 0 0 5 2 0 0 17 0 8 0 798017717 601190400 15422 33554432000 4194304 4580107 140734538213760 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21834/tid=21840] ppid=21832 vsize=587100 CPUtime=0.07 cores=0-7
/proc/21834/task/21840/stat : 21840 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 2381 0 0 0 6 1 0 0 17 0 8 0 798017717 601190400 15683 33554432000 4194304 4580107 140734538213760 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21834/tid=21841] ppid=21832 vsize=589152 CPUtime=0.07 cores=0-7
/proc/21834/task/21841/stat : 21841 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 2143 0 0 0 6 1 0 0 17 0 8 0 798017717 603291648 15794 33554432000 4194304 4580107 140734538213760 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 581972
[startup+0.202293 s]
/proc/loadavg: 8.04 8.04 8.00 1/320 21834
/proc/meminfo: memFree=20014028/32951124 swapFree=67083432/67111528
[pid=21834] ppid=21832 vsize=693880 CPUtime=0.99 cores=0-7
/proc/21834/stat : 21834 (strangenight2-m) S 21832 21834 21808 0 -1 4202496 44179 0 0 0 68 31 0 0 17 0 8 0 798017717 710533120 35869 33554432000 4194304 4580107 140734538213760 18446744073709551615 260020500974 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21834/statm: 173470 35899 338 95 0 168452 0
[pid=21834/tid=21835] ppid=21832 vsize=693880 CPUtime=0.11 cores=0-7
/proc/21834/task/21835/stat : 21835 (strangenight2-m) S 21832 21834 21808 0 -1 4202560 5393 0 0 0 8 3 0 0 17 0 8 0 798017717 710533120 35911 33554432000 4194304 4580107 140734538213760 18446744073709551615 260020500974 0 0 4096 2 18446604444696869056 0 0 -1 2 0 0 0
[pid=21834/tid=21836] ppid=21832 vsize=693880 CPUtime=0.08 cores=0-7
/proc/21834/task/21836/stat : 21836 (strangenight2-m) S 21832 21834 21808 0 -1 4202560 5895 0 0 0 4 4 0 0 17 0 8 0 798017717 710533120 35925 33554432000 4194304 4580107 140734538213760 18446744073709551615 260020500974 0 0 4096 2 18446604444696869056 0 0 -1 7 0 0 0
[pid=21834/tid=21837] ppid=21832 vsize=693880 CPUtime=0.12 cores=0-7
/proc/21834/task/21837/stat : 21837 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 6117 0 0 0 9 3 0 0 17 0 8 0 798017717 710533120 35936 33554432000 4194304 4580107 140734538213760 18446744073709551615 260020395835 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21834/tid=21838] ppid=21832 vsize=693880 CPUtime=0.12 cores=0-7
/proc/21834/task/21838/stat : 21838 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 5164 0 0 0 8 4 0 0 17 0 8 0 798017717 710533120 35949 33554432000 4194304 4580107 140734538213760 18446744073709551615 260020093305 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21834/tid=21839] ppid=21832 vsize=693880 CPUtime=0.11 cores=0-7
/proc/21834/task/21839/stat : 21839 (strangenight2-m) S 21832 21834 21808 0 -1 4202560 4941 0 0 0 8 3 0 0 17 0 8 0 798017717 710533120 35955 33554432000 4194304 4580107 140734538213760 18446744073709551615 260020500974 0 0 4096 2 18446604444696869056 0 0 -1 3 0 0 0
[pid=21834/tid=21840] ppid=21832 vsize=693880 CPUtime=0.12 cores=0-7
/proc/21834/task/21840/stat : 21840 (strangenight2-m) S 21832 21834 21808 0 -1 4202560 5483 0 0 0 9 3 0 0 17 0 8 0 798017717 710533120 35955 33554432000 4194304 4580107 140734538213760 18446744073709551615 260020500974 0 0 4096 2 18446604444696869056 0 0 -1 6 0 0 0
[pid=21834/tid=21841] ppid=21832 vsize=693880 CPUtime=0.12 cores=0-7
/proc/21834/task/21841/stat : 21841 (strangenight2-m) S 21832 21834 21808 0 -1 4202560 5438 0 0 0 9 3 0 0 17 0 8 0 798017717 710533120 35956 33554432000 4194304 4580107 140734538213760 18446744073709551615 260020500974 0 0 4096 2 18446604444696869056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 693880
[startup+0.301239 s]
/proc/loadavg: 8.04 8.04 8.00 1/320 21834
/proc/meminfo: memFree=20014028/32951124 swapFree=67083432/67111528
[pid=21834] ppid=21832 vsize=763692 CPUtime=1.38 cores=0-7
/proc/21834/stat : 21834 (strangenight2-m) R 21832 21834 21808 0 -1 4202496 74714 0 0 0 90 48 0 0 17 0 8 0 798017717 782020608 58029 33554432000 4194304 4580107 140734538213760 18446744073709551615 260020500974 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21834/statm: 190923 58038 338 95 0 185905 0
[pid=21834/tid=21835] ppid=21832 vsize=763692 CPUtime=0.17 cores=0-7
/proc/21834/task/21835/stat : 21835 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 9164 0 0 0 11 6 0 0 17 0 8 0 798017717 782020608 58038 33554432000 4194304 4580107 140734538213760 18446744073709551615 260020500974 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21834/tid=21836] ppid=21832 vsize=763692 CPUtime=0.13 cores=0-7
/proc/21834/task/21836/stat : 21836 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 10110 0 0 0 7 6 0 0 17 0 8 0 798017717 782020608 58039 33554432000 4194304 4580107 140734538213760 18446744073709551615 260020500974 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21834/tid=21837] ppid=21832 vsize=763692 CPUtime=0.16 cores=0-7
/proc/21834/task/21837/stat : 21837 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 10213 0 0 0 11 5 0 0 17 0 8 0 798017717 782020608 58042 33554432000 4194304 4580107 140734538213760 18446744073709551615 260020501023 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21834/tid=21838] ppid=21832 vsize=763692 CPUtime=0.17 cores=0-7
/proc/21834/task/21838/stat : 21838 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 8432 0 0 0 10 7 0 0 17 0 8 0 798017717 782020608 58052 33554432000 4194304 4580107 140734538213760 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21834/tid=21839] ppid=21832 vsize=763692 CPUtime=0.17 cores=0-7
/proc/21834/task/21839/stat : 21839 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 9075 0 0 0 12 5 0 0 17 0 8 0 798017717 782020608 58060 33554432000 4194304 4580107 140734538213760 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21834/tid=21840] ppid=21832 vsize=763692 CPUtime=0.17 cores=0-7
/proc/21834/task/21840/stat : 21840 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 9308 0 0 0 12 5 0 0 17 0 8 0 798017717 782020608 58065 33554432000 4194304 4580107 140734538213760 18446744073709551615 260020501023 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21834/tid=21841] ppid=21832 vsize=763692 CPUtime=0.17 cores=0-7
/proc/21834/task/21841/stat : 21841 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 8943 0 0 0 12 5 0 0 17 0 8 0 798017717 782020608 58070 33554432000 4194304 4580107 140734538213760 18446744073709551615 260020501023 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 763692
[startup+0.701116 s]
/proc/loadavg: 8.04 8.04 8.00 1/320 21834
/proc/meminfo: memFree=20014028/32951124 swapFree=67083432/67111528
[pid=21834] ppid=21832 vsize=888792 CPUtime=3.74 cores=0-7
/proc/21834/stat : 21834 (strangenight2-m) R 21832 21834 21808 0 -1 4202496 139412 0 0 0 281 93 0 0 17 0 8 0 798017717 910123008 105403 33554432000 4194304 4580107 140734538213760 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21834/statm: 222198 105403 359 95 0 217180 0
[pid=21834/tid=21835] ppid=21832 vsize=888792 CPUtime=0.47 cores=0-7
/proc/21834/task/21835/stat : 21835 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 17200 0 0 0 36 11 0 0 17 0 8 0 798017717 910123008 105403 33554432000 4194304 4580107 140734538213760 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21834/tid=21836] ppid=21832 vsize=888792 CPUtime=0.42 cores=0-7
/proc/21834/task/21836/stat : 21836 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 18904 0 0 0 30 12 0 0 17 0 8 0 798017717 910123008 105403 33554432000 4194304 4580107 140734538213760 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21834/tid=21837] ppid=21832 vsize=888792 CPUtime=0.45 cores=0-7
/proc/21834/task/21837/stat : 21837 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 18473 0 0 0 34 11 0 0 17 0 8 0 798017717 910123008 105404 33554432000 4194304 4580107 140734538213760 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21834/tid=21838] ppid=21832 vsize=888792 CPUtime=0.47 cores=0-7
/proc/21834/task/21838/stat : 21838 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 16154 0 0 0 35 12 0 0 17 0 8 0 798017717 910123008 105404 33554432000 4194304 4580107 140734538213760 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21834/tid=21839] ppid=21832 vsize=888792 CPUtime=0.47 cores=0-7
/proc/21834/task/21839/stat : 21839 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 17137 0 0 0 35 12 0 0 17 0 8 0 798017717 910123008 105404 33554432000 4194304 4580107 140734538213760 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21834/tid=21840] ppid=21832 vsize=888792 CPUtime=0.47 cores=0-7
/proc/21834/task/21840/stat : 21840 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 17625 0 0 0 37 10 0 0 17 0 8 0 798017717 910123008 105404 33554432000 4194304 4580107 140734538213760 18446744073709551615 4293105 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21834/tid=21841] ppid=21832 vsize=888792 CPUtime=0.46 cores=0-7
/proc/21834/task/21841/stat : 21841 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 16552 0 0 0 36 10 0 0 17 0 8 0 798017717 910123008 105404 33554432000 4194304 4580107 140734538213760 18446744073709551615 4317112 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 888792
[startup+1.50096 s]
/proc/loadavg: 7.63 7.96 7.97 9/328 21842
/proc/meminfo: memFree=19592512/32951124 swapFree=67083432/67111528
[pid=21834] ppid=21832 vsize=889324 CPUtime=10.12 cores=0-7
/proc/21834/stat : 21834 (strangenight2-m) R 21832 21834 21808 0 -1 4202496 140910 0 0 0 919 93 0 0 18 0 8 0 798017717 910667776 106436 33554432000 4194304 4580107 140734538213760 18446744073709551615 4294220 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21834/statm: 222331 106436 360 95 0 217313 0
[pid=21834/tid=21835] ppid=21832 vsize=889324 CPUtime=1.26 cores=0-7
/proc/21834/task/21835/stat : 21835 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 17879 0 0 0 115 11 0 0 18 0 8 0 798017717 910667776 106436 33554432000 4194304 4580107 140734538213760 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21834/tid=21836] ppid=21832 vsize=889324 CPUtime=1.21 cores=0-7
/proc/21834/task/21836/stat : 21836 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 18921 0 0 0 109 12 0 0 18 0 8 0 798017717 910667776 106436 33554432000 4194304 4580107 140734538213760 18446744073709551615 4230866 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21834/tid=21837] ppid=21832 vsize=889324 CPUtime=1.25 cores=0-7
/proc/21834/task/21837/stat : 21837 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 18618 0 0 0 114 11 0 0 18 0 8 0 798017717 910667776 106436 33554432000 4194304 4580107 140734538213760 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21834/tid=21838] ppid=21832 vsize=889324 CPUtime=1.27 cores=0-7
/proc/21834/task/21838/stat : 21838 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 16171 0 0 0 115 12 0 0 18 0 8 0 798017717 910667776 106436 33554432000 4194304 4580107 140734538213760 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21834/tid=21839] ppid=21832 vsize=889324 CPUtime=1.27 cores=0-7
/proc/21834/task/21839/stat : 21839 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 17137 0 0 0 115 12 0 0 18 0 8 0 798017717 910667776 106436 33554432000 4194304 4580107 140734538213760 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21834/tid=21840] ppid=21832 vsize=889324 CPUtime=1.27 cores=0-7
/proc/21834/task/21840/stat : 21840 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 17641 0 0 0 117 10 0 0 18 0 8 0 798017717 910667776 106436 33554432000 4194304 4580107 140734538213760 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21834/tid=21841] ppid=21832 vsize=889324 CPUtime=1.26 cores=0-7
/proc/21834/task/21841/stat : 21841 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 17171 0 0 0 116 10 0 0 18 0 8 0 798017717 910667776 106436 33554432000 4194304 4580107 140734538213760 18446744073709551615 4293067 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.12
Current children cumulated vsize (KiB) 889324
[startup+3.10067 s]
/proc/loadavg: 7.63 7.96 7.97 9/328 21842
/proc/meminfo: memFree=19575772/32951124 swapFree=67083432/67111528
[pid=21834] ppid=21832 vsize=889844 CPUtime=22.91 cores=0-7
/proc/21834/stat : 21834 (strangenight2-m) R 21832 21834 21808 0 -1 4202496 147166 0 0 0 2196 95 0 0 21 0 8 0 798017717 911200256 112692 33554432000 4194304 4580107 140734538213760 18446744073709551615 4293957 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21834/statm: 222461 112692 361 95 0 217443 0
[pid=21834/tid=21835] ppid=21832 vsize=889844 CPUtime=2.86 cores=0-7
/proc/21834/task/21835/stat : 21835 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 18157 0 0 0 275 11 0 0 21 0 8 0 798017717 911200256 112692 33554432000 4194304 4580107 140734538213760 18446744073709551615 4293732 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21834/tid=21836] ppid=21832 vsize=889844 CPUtime=2.8 cores=0-7
/proc/21834/task/21836/stat : 21836 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 19789 0 0 0 268 12 0 0 21 0 8 0 798017717 911200256 112692 33554432000 4194304 4580107 140734538213760 18446744073709551615 4293266 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21834/tid=21837] ppid=21832 vsize=889844 CPUtime=2.85 cores=0-7
/proc/21834/task/21837/stat : 21837 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 18900 0 0 0 274 11 0 0 21 0 8 0 798017717 911200256 112692 33554432000 4194304 4580107 140734538213760 18446744073709551615 4289014 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21834/tid=21838] ppid=21832 vsize=889844 CPUtime=2.86 cores=0-7
/proc/21834/task/21838/stat : 21838 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 17005 0 0 0 274 12 0 0 21 0 8 0 798017717 911200256 112692 33554432000 4194304 4580107 140734538213760 18446744073709551615 4293100 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21834/tid=21839] ppid=21832 vsize=889844 CPUtime=2.87 cores=0-7
/proc/21834/task/21839/stat : 21839 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 18038 0 0 0 275 12 0 0 21 0 8 0 798017717 911200256 112692 33554432000 4194304 4580107 140734538213760 18446744073709551615 4293295 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21834/tid=21840] ppid=21832 vsize=889844 CPUtime=2.86 cores=0-7
/proc/21834/task/21840/stat : 21840 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 18479 0 0 0 276 10 0 0 21 0 8 0 798017717 911200256 112692 33554432000 4194304 4580107 140734538213760 18446744073709551615 4294217 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21834/tid=21841] ppid=21832 vsize=889844 CPUtime=2.86 cores=0-7
/proc/21834/task/21841/stat : 21841 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 19196 0 0 0 276 10 0 0 21 0 8 0 798017717 911200256 112692 33554432000 4194304 4580107 140734538213760 18446744073709551615 4293968 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 22.91
Current children cumulated vsize (KiB) 889844
[startup+6.30108 s]
/proc/loadavg: 7.66 7.96 7.97 9/328 21842
/proc/meminfo: memFree=19548512/32951124 swapFree=67083432/67111528
[pid=21834] ppid=21832 vsize=893628 CPUtime=48.47 cores=0-7
/proc/21834/stat : 21834 (strangenight2-m) R 21832 21834 21808 0 -1 4202496 151341 0 0 0 4750 97 0 0 25 0 8 0 798017717 915075072 116867 33554432000 4194304 4580107 140734538213760 18446744073709551615 4293138 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21834/statm: 223407 116867 361 95 0 218389 0
[pid=21834/tid=21835] ppid=21832 vsize=893628 CPUtime=6.06 cores=0-7
/proc/21834/task/21835/stat : 21835 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 18732 0 0 0 595 11 0 0 25 0 8 0 798017717 915075072 116867 33554432000 4194304 4580107 140734538213760 18446744073709551615 4292941 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21834/tid=21836] ppid=21832 vsize=893628 CPUtime=5.96 cores=0-7
/proc/21834/task/21836/stat : 21836 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 20216 0 0 0 584 12 0 0 25 0 8 0 798017717 915075072 116867 33554432000 4194304 4580107 140734538213760 18446744073709551615 4293270 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21834/tid=21837] ppid=21832 vsize=893628 CPUtime=6.04 cores=0-7
/proc/21834/task/21837/stat : 21837 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 19472 0 0 0 593 11 0 0 19 0 8 0 798017717 915075072 116867 33554432000 4194304 4580107 140734538213760 18446744073709551615 4293266 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21834/tid=21838] ppid=21832 vsize=893628 CPUtime=6.06 cores=0-7
/proc/21834/task/21838/stat : 21838 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 17456 0 0 0 594 12 0 0 25 0 8 0 798017717 915075072 116867 33554432000 4194304 4580107 140734538213760 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21834/tid=21839] ppid=21832 vsize=893628 CPUtime=6.06 cores=0-7
/proc/21834/task/21839/stat : 21839 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 18587 0 0 0 594 12 0 0 25 0 8 0 798017717 915075072 116867 33554432000 4194304 4580107 140734538213760 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21834/tid=21840] ppid=21832 vsize=893628 CPUtime=6.07 cores=0-7
/proc/21834/task/21840/stat : 21840 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 19030 0 0 0 596 11 0 0 25 0 8 0 798017717 915075072 116867 33554432000 4194304 4580107 140734538213760 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21834/tid=21841] ppid=21832 vsize=893628 CPUtime=6.07 cores=0-7
/proc/21834/task/21841/stat : 21841 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 19684 0 0 0 596 11 0 0 25 0 8 0 798017717 915075072 116867 33554432000 4194304 4580107 140734538213760 18446744073709551615 4294305 0 0 4096 2 0 0 0 -1 0 0 0 0
################
# More data... #
################
/proc/21834/task/21838/stat : 21838 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 28799 0 0 0 2521 15 0 0 25 0 8 0 798017717 1457684480 205917 33554432000 4194304 4580107 140734538213760 18446744073709551615 4294173 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21834/tid=21839] ppid=21832 vsize=1423520 CPUtime=25.35 cores=0-7
/proc/21834/task/21839/stat : 21839 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 33316 0 0 0 2520 15 0 0 18 0 8 0 798017717 1457684480 205917 33554432000 4194304 4580107 140734538213760 18446744073709551615 4325173 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21834/tid=21840] ppid=21832 vsize=1423520 CPUtime=25.35 cores=0-7
/proc/21834/task/21840/stat : 21840 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 27889 0 0 0 2521 14 0 0 25 0 8 0 798017717 1457684480 205917 33554432000 4194304 4580107 140734538213760 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21834/tid=21841] ppid=21832 vsize=1423520 CPUtime=25.35 cores=0-7
/proc/21834/task/21841/stat : 21841 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 47437 0 0 0 2520 15 0 0 21 0 8 0 798017717 1457684480 205918 33554432000 4194304 4580107 140734538213760 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 202.56
Current children cumulated vsize (KiB) 1423520
[startup+32.0124 s]
/proc/loadavg: 7.78 7.96 7.97 9/328 21843
/proc/meminfo: memFree=18935452/32951124 swapFree=67083432/67111528
[pid=21834] ppid=21832 vsize=1558640 CPUtime=253.68 cores=0-7
/proc/21834/stat : 21834 (strangenight2-m) R 21832 21834 21808 0 -1 4202496 395880 0 0 0 25201 167 0 0 22 0 8 0 798017717 1596047360 271288 33554432000 4194304 4580107 140734538213760 18446744073709551615 4306048 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/21834/statm: 389660 271289 380 95 0 384642 0
[pid=21834/tid=21835] ppid=21832 vsize=1558640 CPUtime=31.7 cores=0-7
/proc/21834/task/21835/stat : 21835 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 54547 0 0 0 3147 23 0 0 25 0 8 0 798017717 1596047360 271289 33554432000 4194304 4580107 140734538213760 18446744073709551615 4293682 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21834/tid=21836] ppid=21832 vsize=1558640 CPUtime=31.46 cores=0-7
/proc/21834/task/21836/stat : 21836 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 59134 0 0 0 3123 23 0 0 25 0 8 0 798017717 1596047360 271289 33554432000 4194304 4580107 140734538213760 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21834/tid=21837] ppid=21832 vsize=1558640 CPUtime=31.73 cores=0-7
/proc/21834/task/21837/stat : 21837 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 50061 0 0 0 3153 20 0 0 19 0 8 0 798017717 1596047360 271289 33554432000 4194304 4580107 140734538213760 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21834/tid=21838] ppid=21832 vsize=1558640 CPUtime=31.75 cores=0-7
/proc/21834/task/21838/stat : 21838 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 41620 0 0 0 3157 18 0 0 19 0 8 0 798017717 1596047360 271289 33554432000 4194304 4580107 140734538213760 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21834/tid=21839] ppid=21832 vsize=1558640 CPUtime=31.76 cores=0-7
/proc/21834/task/21839/stat : 21839 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 44119 0 0 0 3157 19 0 0 19 0 8 0 798017717 1596047360 271289 33554432000 4194304 4580107 140734538213760 18446744073709551615 260020056773 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21834/tid=21840] ppid=21832 vsize=1558640 CPUtime=31.76 cores=0-7
/proc/21834/task/21840/stat : 21840 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 33498 0 0 0 3160 16 0 0 19 0 8 0 798017717 1596047360 271290 33554432000 4194304 4580107 140734538213760 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21834/tid=21841] ppid=21832 vsize=1558640 CPUtime=31.75 cores=0-7
/proc/21834/task/21841/stat : 21841 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 50564 0 0 0 3158 17 0 0 25 0 8 0 798017717 1596047360 271290 33554432000 4194304 4580107 140734538213760 18446744073709551615 4293745 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 253.68
Current children cumulated vsize (KiB) 1558640
[startup+38.4012 s]
/proc/loadavg: 7.80 7.96 7.97 9/328 21843
/proc/meminfo: memFree=18757740/32951124 swapFree=67083432/67111528
[pid=21834] ppid=21832 vsize=1796104 CPUtime=304.71 cores=0-7
/proc/21834/stat : 21834 (strangenight2-m) R 21832 21834 21808 0 -1 4202496 454058 0 0 0 30288 183 0 0 25 0 8 0 798017717 1839210496 324875 33554432000 4194304 4580107 140734538213760 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/21834/statm: 449026 324877 380 95 0 444008 0
[pid=21834/tid=21835] ppid=21832 vsize=1796104 CPUtime=38.09 cores=0-7
/proc/21834/task/21835/stat : 21835 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 60754 0 0 0 3785 24 0 0 25 0 8 0 798017717 1839210496 324877 33554432000 4194304 4580107 140734538213760 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21834/tid=21836] ppid=21832 vsize=1796104 CPUtime=37.85 cores=0-7
/proc/21834/task/21836/stat : 21836 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 63469 0 0 0 3761 24 0 0 18 0 8 0 798017717 1839210496 324771 33554432000 4194304 4580107 140734538213760 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21834/tid=21837] ppid=21832 vsize=1796104 CPUtime=38.12 cores=0-7
/proc/21834/task/21837/stat : 21837 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 53475 0 0 0 3790 22 0 0 25 0 8 0 798017717 1839210496 324665 33554432000 4194304 4580107 140734538213760 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21834/tid=21838] ppid=21832 vsize=1796104 CPUtime=38.14 cores=0-7
/proc/21834/task/21838/stat : 21838 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 47515 0 0 0 3794 20 0 0 25 0 8 0 798017717 1839210496 324665 33554432000 4194304 4580107 140734538213760 18446744073709551615 4294160 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21834/tid=21839] ppid=21832 vsize=1796104 CPUtime=38.14 cores=0-7
/proc/21834/task/21839/stat : 21839 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 53640 0 0 0 3792 22 0 0 25 0 8 0 798017717 1839210496 324665 33554432000 4194304 4580107 140734538213760 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21834/tid=21840] ppid=21832 vsize=1796104 CPUtime=38.14 cores=0-7
/proc/21834/task/21840/stat : 21840 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 42526 0 0 0 3796 18 0 0 25 0 8 0 798017717 1839210496 324665 33554432000 4194304 4580107 140734538213760 18446744073709551615 260020439399 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21834/tid=21841] ppid=21832 vsize=1796104 CPUtime=38.14 cores=0-7
/proc/21834/task/21841/stat : 21841 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 63662 0 0 0 3792 22 0 0 25 0 8 0 798017717 1839210496 324665 33554432000 4194304 4580107 140734538213760 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 304.71
Current children cumulated vsize (KiB) 1796104
[startup+40.0009 s]
/proc/loadavg: 7.80 7.96 7.97 9/328 21843
/proc/meminfo: memFree=18687648/32951124 swapFree=67083432/67111528
[pid=21834] ppid=21832 vsize=1872132 CPUtime=317.49 cores=0-7
/proc/21834/stat : 21834 (strangenight2-m) R 21832 21834 21808 0 -1 4202496 464152 0 0 0 31563 186 0 0 25 0 8 0 798017717 1917063168 332384 33554432000 4194304 4580107 140734538213760 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/21834/statm: 468033 332384 380 95 0 463015 0
[pid=21834/tid=21835] ppid=21832 vsize=1872132 CPUtime=39.69 cores=0-7
/proc/21834/task/21835/stat : 21835 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 61504 0 0 0 3945 24 0 0 25 0 8 0 798017717 1917063168 332384 33554432000 4194304 4580107 140734538213760 18446744073709551615 4293241 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21834/tid=21836] ppid=21832 vsize=1872132 CPUtime=39.45 cores=0-7
/proc/21834/task/21836/stat : 21836 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 65537 0 0 0 3920 25 0 0 20 0 8 0 798017717 1917063168 332384 33554432000 4194304 4580107 140734538213760 18446744073709551615 4473011 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21834/tid=21837] ppid=21832 vsize=1872132 CPUtime=39.72 cores=0-7
/proc/21834/task/21837/stat : 21837 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 53671 0 0 0 3950 22 0 0 25 0 8 0 798017717 1917063168 332384 33554432000 4194304 4580107 140734538213760 18446744073709551615 4293251 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21834/tid=21838] ppid=21832 vsize=1872132 CPUtime=39.74 cores=0-7
/proc/21834/task/21838/stat : 21838 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 48491 0 0 0 3954 20 0 0 25 0 8 0 798017717 1917063168 332384 33554432000 4194304 4580107 140734538213760 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21834/tid=21839] ppid=21832 vsize=1872132 CPUtime=39.74 cores=0-7
/proc/21834/task/21839/stat : 21839 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 54683 0 0 0 3951 23 0 0 25 0 8 0 798017717 1917063168 332384 33554432000 4194304 4580107 140734538213760 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21834/tid=21840] ppid=21832 vsize=1872132 CPUtime=39.75 cores=0-7
/proc/21834/task/21840/stat : 21840 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 46744 0 0 0 3955 20 0 0 25 0 8 0 798017717 1917063168 332384 33554432000 4194304 4580107 140734538213760 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21834/tid=21841] ppid=21832 vsize=1872132 CPUtime=39.74 cores=0-7
/proc/21834/task/21841/stat : 21841 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 63820 0 0 0 3952 22 0 0 25 0 8 0 798017717 1917063168 332384 33554432000 4194304 4580107 140734538213760 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 317.49
Current children cumulated vsize (KiB) 1872132
[startup+41.6006 s]
/proc/loadavg: 7.81 7.96 7.97 9/328 21843
/proc/meminfo: memFree=18683184/32951124 swapFree=67083432/67111528
[pid=21834] ppid=21832 vsize=1872132 CPUtime=330.28 cores=0-7
/proc/21834/stat : 21834 (strangenight2-m) R 21832 21834 21808 0 -1 4202496 468286 0 0 0 32840 188 0 0 25 0 8 0 798017717 1917063168 335492 33554432000 4194304 4580107 140734538213760 18446744073709551615 4320777 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/21834/statm: 468033 335492 380 95 0 463015 0
[pid=21834/tid=21835] ppid=21832 vsize=1872132 CPUtime=41.29 cores=0-7
/proc/21834/task/21835/stat : 21835 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 63234 0 0 0 4104 25 0 0 25 0 8 0 798017717 1917063168 335492 33554432000 4194304 4580107 140734538213760 18446744073709551615 4295445 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21834/tid=21836] ppid=21832 vsize=1872132 CPUtime=41.05 cores=0-7
/proc/21834/task/21836/stat : 21836 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 66292 0 0 0 4080 25 0 0 25 0 8 0 798017717 1917063168 335492 33554432000 4194304 4580107 140734538213760 18446744073709551615 4222827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21834/tid=21837] ppid=21832 vsize=1872132 CPUtime=41.32 cores=0-7
/proc/21834/task/21837/stat : 21837 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 54448 0 0 0 4110 22 0 0 25 0 8 0 798017717 1917063168 335492 33554432000 4194304 4580107 140734538213760 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21834/tid=21838] ppid=21832 vsize=1872132 CPUtime=41.34 cores=0-7
/proc/21834/task/21838/stat : 21838 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 48692 0 0 0 4114 20 0 0 25 0 8 0 798017717 1917063168 335492 33554432000 4194304 4580107 140734538213760 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21834/tid=21839] ppid=21832 vsize=1872132 CPUtime=41.34 cores=0-7
/proc/21834/task/21839/stat : 21839 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 54892 0 0 0 4111 23 0 0 25 0 8 0 798017717 1917063168 335492 33554432000 4194304 4580107 140734538213760 18446744073709551615 4293241 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21834/tid=21840] ppid=21832 vsize=1872132 CPUtime=41.34 cores=0-7
/proc/21834/task/21840/stat : 21840 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 46961 0 0 0 4114 20 0 0 25 0 8 0 798017717 1917063168 335492 33554432000 4194304 4580107 140734538213760 18446744073709551615 4295272 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21834/tid=21841] ppid=21832 vsize=1872132 CPUtime=41.34 cores=0-7
/proc/21834/task/21841/stat : 21841 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 63846 0 0 0 4112 22 0 0 25 0 8 0 798017717 1917063168 335492 33554432000 4194304 4580107 140734538213760 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 330.28
Current children cumulated vsize (KiB) 1872132
[startup+42.4004 s]
/proc/loadavg: 7.81 7.96 7.97 9/328 21843
/proc/meminfo: memFree=18668676/32951124 swapFree=67083432/67111528
[pid=21834] ppid=21832 vsize=1913192 CPUtime=335.36 cores=0-7
/proc/21834/stat : 21834 (strangenight2-m) R 21832 21834 21808 0 -1 4202496 473310 0 0 0 33348 188 0 0 25 0 8 0 798017717 1959108608 337607 33554432000 4194304 4580107 140734538213760 18446744073709551615 4205512 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/21834/statm: 478298 337607 380 95 0 473280 0
[pid=21834/tid=21835] ppid=21832 vsize=1913192 CPUtime=41.87 cores=0-7
/proc/21834/task/21835/stat : 21835 (strangenight2-m) S 21832 21834 21808 0 -1 4202560 63303 0 0 0 4162 25 0 0 25 0 8 0 798017717 1959108608 337607 33554432000 4194304 4580107 140734538213760 18446744073709551615 47133135222324 0 0 4096 2 18446604444696869056 0 0 -1 2 0 0 0
[pid=21834/tid=21836] ppid=21832 vsize=1913192 CPUtime=41.63 cores=0-7
/proc/21834/task/21836/stat : 21836 (strangenight2-m) S 21832 21834 21808 0 -1 4202560 66434 0 0 0 4138 25 0 0 25 0 8 0 798017717 1959108608 337607 33554432000 4194304 4580107 140734538213760 18446744073709551615 47133135222324 0 0 4096 2 18446604444696869056 0 0 -1 5 0 0 0
[pid=21834/tid=21837] ppid=21832 vsize=1913192 CPUtime=41.9 cores=0-7
/proc/21834/task/21837/stat : 21837 (strangenight2-m) S 21832 21834 21808 0 -1 4202560 54504 0 0 0 4168 22 0 0 25 0 8 0 798017717 1959108608 337607 33554432000 4194304 4580107 140734538213760 18446744073709551615 47133135222324 0 0 4096 2 18446604444696869056 0 0 -1 1 0 0 0
[pid=21834/tid=21838] ppid=21832 vsize=1913192 CPUtime=41.92 cores=0-7
/proc/21834/task/21838/stat : 21838 (strangenight2-m) S 21832 21834 21808 0 -1 4202560 48744 0 0 0 4172 20 0 0 25 0 8 0 798017717 1959108608 337607 33554432000 4194304 4580107 140734538213760 18446744073709551615 47133135222324 0 0 4096 2 18446604444696869056 0 0 -1 4 0 0 0
[pid=21834/tid=21839] ppid=21832 vsize=1913192 CPUtime=41.93 cores=0-7
/proc/21834/task/21839/stat : 21839 (strangenight2-m) S 21832 21834 21808 0 -1 4202560 54957 0 0 0 4170 23 0 0 25 0 8 0 798017717 1959108608 337607 33554432000 4194304 4580107 140734538213760 18446744073709551615 47133135222324 0 0 4096 2 18446604444696869056 0 0 -1 3 0 0 0
[pid=21834/tid=21840] ppid=21832 vsize=1913192 CPUtime=41.93 cores=0-7
/proc/21834/task/21840/stat : 21840 (strangenight2-m) S 21832 21834 21808 0 -1 4202560 47450 0 0 0 4173 20 0 0 25 0 8 0 798017717 1959108608 337607 33554432000 4194304 4580107 140734538213760 18446744073709551615 47133135222324 0 0 4096 2 18446604444696869056 0 0 -1 6 0 0 0
[pid=21834/tid=21841] ppid=21832 vsize=1913192 CPUtime=42.14 cores=0-7
/proc/21834/task/21841/stat : 21841 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 67482 0 0 0 4192 22 0 0 25 0 8 0 798017717 1959108608 337607 33554432000 4194304 4580107 140734538213760 18446744073709551615 4294245 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 335.36
Current children cumulated vsize (KiB) 1913192
[startup+42.8004 s]
/proc/loadavg: 7.81 7.96 7.97 9/328 21843
/proc/meminfo: memFree=18668676/32951124 swapFree=67083432/67111528
[pid=21834] ppid=21832 vsize=1913192 CPUtime=336.16 cores=0-7
/proc/21834/stat : 21834 (strangenight2-m) R 21832 21834 21808 0 -1 4202496 473310 0 0 0 33428 188 0 0 25 0 8 0 798017717 1959108608 337607 33554432000 4194304 4580107 140734538213760 18446744073709551615 47133135197892 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/21834/statm: 478298 337607 380 95 0 473280 0
[pid=21834/tid=21835] ppid=21832 vsize=1913192 CPUtime=41.87 cores=0-7
/proc/21834/task/21835/stat : 21835 (strangenight2-m) S 21832 21834 21808 0 -1 4202560 63303 0 0 0 4162 25 0 0 25 0 8 0 798017717 1959108608 337607 33554432000 4194304 4580107 140734538213760 18446744073709551615 47133135222324 0 0 4096 2 18446604444696869056 0 0 -1 2 0 0 0
[pid=21834/tid=21836] ppid=21832 vsize=1913192 CPUtime=41.63 cores=0-7
/proc/21834/task/21836/stat : 21836 (strangenight2-m) S 21832 21834 21808 0 -1 4202560 66434 0 0 0 4138 25 0 0 25 0 8 0 798017717 1959108608 337607 33554432000 4194304 4580107 140734538213760 18446744073709551615 47133135222324 0 0 4096 2 18446604444696869056 0 0 -1 5 0 0 0
[pid=21834/tid=21837] ppid=21832 vsize=1913192 CPUtime=41.9 cores=0-7
/proc/21834/task/21837/stat : 21837 (strangenight2-m) S 21832 21834 21808 0 -1 4202560 54504 0 0 0 4168 22 0 0 25 0 8 0 798017717 1959108608 337607 33554432000 4194304 4580107 140734538213760 18446744073709551615 47133135222324 0 0 4096 2 18446604444696869056 0 0 -1 1 0 0 0
[pid=21834/tid=21838] ppid=21832 vsize=1913192 CPUtime=41.92 cores=0-7
/proc/21834/task/21838/stat : 21838 (strangenight2-m) S 21832 21834 21808 0 -1 4202560 48744 0 0 0 4172 20 0 0 25 0 8 0 798017717 1959108608 337607 33554432000 4194304 4580107 140734538213760 18446744073709551615 47133135222324 0 0 4096 2 18446604444696869056 0 0 -1 4 0 0 0
[pid=21834/tid=21839] ppid=21832 vsize=1913192 CPUtime=41.93 cores=0-7
/proc/21834/task/21839/stat : 21839 (strangenight2-m) S 21832 21834 21808 0 -1 4202560 54957 0 0 0 4170 23 0 0 25 0 8 0 798017717 1959108608 337607 33554432000 4194304 4580107 140734538213760 18446744073709551615 47133135222324 0 0 4096 2 18446604444696869056 0 0 -1 3 0 0 0
[pid=21834/tid=21840] ppid=21832 vsize=1913192 CPUtime=41.93 cores=0-7
/proc/21834/task/21840/stat : 21840 (strangenight2-m) S 21832 21834 21808 0 -1 4202560 47450 0 0 0 4173 20 0 0 25 0 8 0 798017717 1959108608 337607 33554432000 4194304 4580107 140734538213760 18446744073709551615 47133135222324 0 0 4096 2 18446604444696869056 0 0 -1 6 0 0 0
[pid=21834/tid=21841] ppid=21832 vsize=1913192 CPUtime=42.54 cores=0-7
/proc/21834/task/21841/stat : 21841 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 67482 0 0 0 4232 22 0 0 25 0 8 0 798017717 1959108608 337607 33554432000 4194304 4580107 140734538213760 18446744073709551615 4293308 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 336.16
Current children cumulated vsize (KiB) 1913192
[startup+42.9003 s]
/proc/loadavg: 7.81 7.96 7.97 3/328 21843
/proc/meminfo: memFree=18663468/32951124 swapFree=67083432/67111528
[pid=21834] ppid=21832 vsize=1913192 CPUtime=336.38 cores=0-7
/proc/21834/stat : 21834 (strangenight2-m) R 21832 21834 21808 0 -1 4202496 473310 0 0 0 33450 188 0 0 25 0 8 0 798017717 1959108608 337607 33554432000 4194304 4580107 140734538213760 18446744073709551615 47133135197892 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21834/statm: 478298 337607 380 95 0 473280 0
[pid=21834/tid=21835] ppid=21832 vsize=1913192 CPUtime=41.87 cores=0-7
/proc/21834/task/21835/stat : 21835 (strangenight2-m) S 21832 21834 21808 0 -1 4202560 63303 0 0 0 4162 25 0 0 25 0 8 0 798017717 1959108608 337607 33554432000 4194304 4580107 140734538213760 18446744073709551615 47133135222324 0 0 4096 2 18446604444696869056 0 0 -1 2 0 0 0
[pid=21834/tid=21836] ppid=21832 vsize=1913192 CPUtime=41.63 cores=0-7
/proc/21834/task/21836/stat : 21836 (strangenight2-m) S 21832 21834 21808 0 -1 4202560 66434 0 0 0 4138 25 0 0 25 0 8 0 798017717 1959108608 337607 33554432000 4194304 4580107 140734538213760 18446744073709551615 47133135222324 0 0 4096 2 18446604444696869056 0 0 -1 5 0 0 0
[pid=21834/tid=21837] ppid=21832 vsize=1913192 CPUtime=41.9 cores=0-7
/proc/21834/task/21837/stat : 21837 (strangenight2-m) S 21832 21834 21808 0 -1 4202560 54504 0 0 0 4168 22 0 0 25 0 8 0 798017717 1959108608 337607 33554432000 4194304 4580107 140734538213760 18446744073709551615 47133135222324 0 0 4096 2 18446604444696869056 0 0 -1 1 0 0 0
[pid=21834/tid=21838] ppid=21832 vsize=1913192 CPUtime=41.92 cores=0-7
/proc/21834/task/21838/stat : 21838 (strangenight2-m) S 21832 21834 21808 0 -1 4202560 48744 0 0 0 4172 20 0 0 25 0 8 0 798017717 1959108608 337607 33554432000 4194304 4580107 140734538213760 18446744073709551615 47133135222324 0 0 4096 2 18446604444696869056 0 0 -1 4 0 0 0
[pid=21834/tid=21839] ppid=21832 vsize=1913192 CPUtime=41.93 cores=0-7
/proc/21834/task/21839/stat : 21839 (strangenight2-m) S 21832 21834 21808 0 -1 4202560 54957 0 0 0 4170 23 0 0 25 0 8 0 798017717 1959108608 337607 33554432000 4194304 4580107 140734538213760 18446744073709551615 47133135222324 0 0 4096 2 18446604444696869056 0 0 -1 3 0 0 0
[pid=21834/tid=21840] ppid=21832 vsize=1913192 CPUtime=41.93 cores=0-7
/proc/21834/task/21840/stat : 21840 (strangenight2-m) S 21832 21834 21808 0 -1 4202560 47450 0 0 0 4173 20 0 0 25 0 8 0 798017717 1959108608 337607 33554432000 4194304 4580107 140734538213760 18446744073709551615 47133135222324 0 0 4096 2 18446604444696869056 0 0 -1 6 0 0 0
[pid=21834/tid=21841] ppid=21832 vsize=1913192 CPUtime=42.65 cores=0-7
/proc/21834/task/21841/stat : 21841 (strangenight2-m) R 21832 21834 21808 0 -1 4202560 67482 0 0 0 4243 22 0 0 25 0 8 0 798017717 1959108608 337607 33554432000 4194304 4580107 140734538213760 18446744073709551615 4290931 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 336.38
Current children cumulated vsize (KiB) 1913192
Child status: 20
Real time (s): 43.011
CPU time (s): 336.526
CPU user time (s): 334.568
CPU system time (s): 1.9577
CPU usage (%): 782.418
Max. virtual memory (cumulated for all children) (KiB): 1937668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 334.568
system time used= 1.9577
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 473313
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= 112915
involuntary context switches= 1514
runsolver used 0.115982 second user time and 0.335948 second system time
The end
Begin job on node110 at 2011-05-22 17:24:31
IDJOB=3393982
IDBENCH=70952
IDSOLVER=1878
FILE ID=node110/3393982-1306077871
RUNJOBID= node110-1306077871-21822
PBS_JOBID= 13387909
Free space on /tmp= 73336 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/c32sat/post-c32s-gcdm16-23.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3393982-1306077871/watcher-3393982-1306077871 -o /tmp/evaluation-result-3393982-1306077871/solver-3393982-1306077871 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3393982-1306077871.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= a61ef2b7b3d16661e8162c430ffb1a51
RANDOM SEED=1426951866
node110.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.66
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 20014184 kB
Buffers: 319876 kB
Cached: 8660012 kB
SwapCached: 1416 kB
Active: 5967208 kB
Inactive: 6636692 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 20014184 kB
SwapTotal: 67111528 kB
SwapFree: 67083432 kB
Dirty: 12432 kB
Writeback: 0 kB
AnonPages: 3622928 kB
Mapped: 27464 kB
Slab: 240148 kB
PageTables: 27016 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 75582096 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= 73332 MiB
End job on node110 at 2011-05-22 17:25:14