0.00/0.00 c Outputting solution to console
1.79/0.08 c Using 32 threads
1.79/0.09 c This is CryptoMiniSat 3.0.0
1.79/0.09 c WARNING: for repeatability, setting FPU to use double precision
1.79/0.09 c Reading file 'HOME/instance-3400734-1306429465.cnf'
2.58/0.12 c -- header says num vars: 559571
2.58/0.12 c -- header says num clauses: 10223027
807.48/55.63 c -- clauses added: 0 learnts, 10223027 normals, 0 xors
807.48/55.63 c -- vars added 559571
807.48/55.63 c Parsing time: 8.29 s
807.48/55.63 c N st 0 0 559571 351283 8886087 0 20126913 0 no data no data
903.94/59.18 c asymm cl-useful: 491/667/276845 lits-rem:2206 time: 2.68
1715.79/84.53 c Flit: 233 Blit: 93807 bXBeca: 0 bXProp: 806 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 25.34
1725.37/84.89 c Cleaning up after failed var search: 0.36 s
1744.43/85.41 c Replacing 809 vars Replaced 26604 lits Time: 0.50 s
1776.52/86.52 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
1796.42/87.31 c bin-w-bin subsume rem 884 bins time: 0.79 s
1998.54/94.41 c subs with bin: 0 lits-rem: 5054 v-fix: 0 time: 6.77 s
2158.35/99.48 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 21770 time: 5.06 s
2174.35/99.91 c Removed useless bin: 6590 fixed: 0 props: 20.02M time: 0.43 s
2222.27/101.49 c lits-rem: 0 cl-subs: 0 v-elim: 7 v-fix: 0 time: 1.56 s
2231.85/101.80 c Finding binary XORs T: 0.30 s found: 2248
2248.42/102.30 c Replacing 2248 vars Replaced 277404 lits Time: 0.49 s
2260.59/102.60 c Finding non-binary XORs: 0.10 s (found: 0, avg size: nan)
2260.59/102.60 c calculated reachability. Time: 0.01
2263.77/102.79 c Calc default polars - time: 0.19 s pos: 3339 undec: 253131 neg: 303101
2263.77/102.79 c =========================================================================================
2263.77/102.79 c types(t): F = full restart, N = normal restart
2263.77/102.79 c types(t): S = simplification begin/end, E = solution found
2263.77/102.79 c restart types(rt): st = static, dy = dynamic
2263.77/102.79 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
2263.77/102.79 c B st 0 0 306440 212135 5098935 0 11610538 0 no data no data
3248.02/133.58 c N dy 17 4197 259185 178586 4058914 3749 9302132 2222187 13.44 14.19
4350.82/168.09 c N dy 32 8393 258263 178586 4061918 7765 9302132 5029453 11.60 12.28
5523.95/204.73 c N dy 52 13255 257727 178586 4065046 12476 9302132 8915990 11.74 12.54
6498.88/235.29 c N dy 74 17437 256659 178586 4065109 16563 9302132 11701330 11.78 12.42
7607.91/269.94 c N dy 99 21482 255628 175992 3990116 10900 9129787 1774781 12.68 15.58
8531.52/298.81 c F st 111 25001 254853 175992 3991764 14359 9129787 4751729 12.37 11.71
8710.51/304.48 c N st 113 25627 254849 174963 3961144 14903 9062063 5202280 12.37 no data
10398.19/357.29 c N dy 117 30002 253672 174963 3961165 19227 9062063 12308578 12.37 no data
10398.19/357.29 c S st 117 30002 253672 174963 3961165 19227 9062063 12308578 12.37 no data
10564.41/362.42 c S st 117 30503 253663 174963 3961187 19688 9062063 12645365 12.37 no data
10574.01/362.76 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.34
12721.95/429.99 c Flit: 410 Blit: 4185 bXBeca: 0 bXProp: 325 Bins: 508333 BRemL: 3 BRemN: 228 P: 200.0M T: 67.22
12731.52/430.27 c Cleaning up after failed var search: 0.26 s
12747.52/430.78 c Replacing 326 vars Replaced 38452 lits Time: 0.49 s
12769.88/431.43 c blocked clauses removed: 0 vars: 0 tried: 248424 T: 0.29 s
12782.68/431.86 c bin-w-bin subsume rem 971 bins time: 0.43 s
12936.69/436.64 c subs with bin: 1 lits-rem: 44 v-fix: 0 time: 4.78 s
13095.85/441.64 c Subs w/ non-existent bins: 0 l-rem: 33 v-fix: 281 done: 20312 time: 4.93 s
13118.15/442.31 c Removed useless bin: 2753 fixed: 0 props: 20.00M time: 0.67 s
13162.91/443.75 c lits-rem: 0 cl-subs: 9 v-elim: 5 v-fix: 0 time: 1.43 s
13328.98/448.91 c subs with bin: 71 lits-rem: 575 v-fix: 0 time: 2.07 s
13456.77/452.96 c lits-rem: 1692 cl-subs: 938 v-elim: 0 v-fix: 0 time: 3.80 s
13517.51/454.81 c asymm cl-useful: 19/848/171046 lits-rem:60 time: 1.85
13523.90/455.00 c calculated reachability. Time: 0.03
13523.90/455.02 c N dy 117 30503 248138 171046 4302325 18494 8769951 13016101 12.37 no data
13530.30/455.31 c Finding binary XORs T: 0.29 s found: 2059
14695.29/492.34 c N dy 130 34992 239847 164977 4039310 21208 8369393 14733467 12.27 12.97
15490.38/517.60 c Finding binary XORs T: 0.30 s found: 1316
15528.74/518.86 c Replacing 3375 vars Replaced 350509 lits Time: 1.25 s
15778.04/526.68 c N dy 143 39141 233275 162208 4006108 24483 8173737 16227133 11.95 12.58
16720.45/556.10 c N dy 152 43671 232746 162208 4006140 15314 8173737 3579505 11.66 12.45
17172.83/570.37 c S st 161 45754 231699 162208 4009347 17352 8173737 4745650 11.61 8.90
17341.98/575.60 c S st 161 46256 231617 162208 4009366 17826 8173737 5041688 11.61 no data
17351.57/575.94 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.34
18924.06/625.27 c Flit: 505 Blit: 2423 bXBeca: 0 bXProp: 111 Bins: 220127 BRemL: 722 BRemN: 186 P: 200.0M T: 49.31
18933.63/625.50 c Cleaning up after failed var search: 0.22 s
18949.60/626.06 c Replacing 112 vars Replaced 14411 lits Time: 0.53 s
18962.37/626.47 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.03 s
18978.96/626.93 c bin-w-bin subsume rem 16788 bins time: 0.45 s
19119.57/631.36 c subs with bin: 2 lits-rem: 60 v-fix: 0 time: 4.43 s
19239.79/636.17 c Subs w/ non-existent bins: 0 l-rem: 40 v-fix: 189 done: 24485 time: 4.78 s
19243.88/636.99 c Removed useless bin: 5375 fixed: 193 props: 20.00M time: 0.82 s
19251.29/638.49 c lits-rem: 0 cl-subs: 78 v-elim: 4 v-fix: 0 time: 1.49 s
19264.28/641.04 c subs with bin: 104 lits-rem: 383 v-fix: 0 time: 1.88 s
19273.78/642.97 c lits-rem: 910 cl-subs: 414 v-elim: 0 v-fix: 0 time: 1.70 s
19282.37/644.65 c asymm cl-useful: 44/957/157443 lits-rem:90 time: 1.68
19283.28/644.85 c calculated reachability. Time: 0.03
19283.28/644.86 c N dy 161 46256 227155 157443 3994291 16279 7840920 4727688 11.61 no data
19372.05/670.27 c Following stats are for *FIRST FINISHED THREAD ONLY*
19372.05/670.27 c num threads : 32
19372.05/670.27 c restarts : 389
19372.05/670.27 c dynamic restarts : 371
19372.05/670.27 c static restarts : 18
19372.05/670.27 c full restarts : 2
19372.05/670.27 c total simplify time : 7.49
19372.05/670.27 c learnts DL2 : 0
19372.05/670.27 c learnts size 2 : 9451896
19372.05/670.27 c learnts size 1 : 349790 (62.51 % of vars)
19372.05/670.27 c filedLit time : 0.00 (0.00 % time)
19372.05/670.27 c v-elim SatELite : 0 (0.00 % vars)
19372.05/670.27 c SatELite time : 0.00 (0.00 % time)
19372.05/670.27 c v-elim xor : 0 (0.00 % vars)
19372.05/670.27 c xor elim time : 0.00 (0.00 % time)
19372.05/670.27 c num binary xor trees : 8286
19372.05/670.27 c binxor trees' crown : 9207 (1.11 leafs/tree)
19372.05/670.27 c bin xor find time : 2.02
19372.05/670.27 c OTF clause improved : 545 (0.01 clauses/conflict)
19372.05/670.27 c OTF impr. size diff : 2864 (5.26 lits/clause)
19372.05/670.27 c OTF cl watch-shrink : 57605 (0.63 clauses/conflict)
19372.05/670.27 c OTF cl watch-sh-lit : 1756820 (30.50 lits/clause)
19372.05/670.27 c tried to recurMin cls : 56546 (61.63 % of conflicts)
19372.05/670.27 c updated cache : 122315 (2.16 lits/tried recurMin)
19372.05/670.27 c unit cls recevied : 8840 (2.53 % of units)
19372.05/670.27 c unit cls sent : 297559 (85.07 % of units)
19372.05/670.27 c bin cls recevied : 547159
19372.05/670.27 c bin cls sent : 19365
19372.05/670.27 c clauses over max glue : 0 (0.00 % of all clauses)
19372.05/670.27 c conflicts : 91750 (148.05 / sec)
19372.05/670.27 c decisions : 517213 (1.37 % random)
19372.05/670.27 c bogo-props : 4143184968 (6685416.19 / sec)
19372.05/670.27 c conflict literals : 41240813 (38.23 % deleted)
19372.05/670.27 c Memory used : 20273.47 MB
19372.05/670.27 c single-thread CPU time : 619.73 s
19372.05/670.27 c all-threads sum CPU time : 18794.15 s
19372.05/670.27 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-3400734-1306429465/watcher-3400734-1306429465 -o /tmp/evaluation-result-3400734-1306429465/solver-3400734-1306429465 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400734-1306429465.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 23.04 29.38 30.55 1/413 8948
/proc/meminfo: memFree=263748940/264257624 swapFree=67046588/67111528
[pid=8948] ppid=8946 vsize=338000 CPUtime=0.68 cores=0-31
/proc/8948/stat : 8948 (strangenight2-m) R 8946 8948 8922 0 -1 4202496 438 0 0 0 68 0 0 0 25 0 32 0 2587459 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166194 0 0 4096 2 18446744073709551615 0 0 17 19 0 0 0
/proc/8948/statm: 84500 378 297 95 0 79482 0
[pid=8948/tid=8949] ppid=8946 vsize=338000 CPUtime=0.03 cores=0-31
/proc/8948/task/8949/stat : 8949 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 2587459 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166194 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8948/tid=8950] ppid=8946 vsize=338000 CPUtime=0.03 cores=0-31
/proc/8948/task/8950/stat : 8950 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 1 0 0 0 3 0 0 0 18 0 32 0 2587459 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166188 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8948/tid=8951] ppid=8946 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8948/task/8951/stat : 8951 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 2587459 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166198 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=8948/tid=8952] ppid=8946 vsize=338000 CPUtime=0 cores=0-31
/proc/8948/task/8952/stat : 8952 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 2587459 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=8948/tid=8953] ppid=8946 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8948/task/8953/stat : 8953 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 2587459 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166194 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8948/tid=8954] ppid=8946 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8948/task/8954/stat : 8954 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 2587459 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166192 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=8948/tid=8955] ppid=8946 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8948/task/8955/stat : 8955 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 2587459 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166194 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8948/tid=8956] ppid=8946 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8948/task/8956/stat : 8956 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 2587459 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166194 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8948/tid=8957] ppid=8946 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8948/task/8957/stat : 8957 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 2587459 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166188 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8948/tid=8958] ppid=8946 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8948/task/8958/stat : 8958 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 2587460 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166192 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=8948/tid=8959] ppid=8946 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8948/task/8959/stat : 8959 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 2587460 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166188 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=8948/tid=8960] ppid=8946 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8948/task/8960/stat : 8960 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 2587460 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166184 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8948/tid=8961] ppid=8946 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8948/task/8961/stat : 8961 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 2587460 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166188 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=8948/tid=8962] ppid=8946 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8948/task/8962/stat : 8962 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 2587460 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166194 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=8948/tid=8963] ppid=8946 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8948/task/8963/stat : 8963 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 2587460 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166184 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=8948/tid=8964] ppid=8946 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8948/task/8964/stat : 8964 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 2587460 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166194 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=8948/tid=8965] ppid=8946 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8948/task/8965/stat : 8965 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 2587460 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166194 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=8948/tid=8966] ppid=8946 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8948/task/8966/stat : 8966 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 2587460 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166194 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=8948/tid=8967] ppid=8946 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8948/task/8967/stat : 8967 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 2587460 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166194 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=8948/tid=8968] ppid=8946 vsize=338000 CPUtime=0 cores=0-31
/proc/8948/task/8968/stat : 8968 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 2587460 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=8948/tid=8969] ppid=8946 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8948/task/8969/stat : 8969 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 2587460 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166194 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=8948/tid=8970] ppid=8946 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8948/task/8970/stat : 8970 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 2587460 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166192 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=8948/tid=8971] ppid=8946 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8948/task/8971/stat : 8971 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 2587460 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166184 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8948/tid=8972] ppid=8946 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8948/task/8972/stat : 8972 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 2587460 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166194 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=8948/tid=8973] ppid=8946 vsize=338000 CPUtime=0 cores=0-31
/proc/8948/task/8973/stat : 8973 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 2587460 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=8948/tid=8974] ppid=8946 vsize=338000 CPUtime=0 cores=0-31
/proc/8948/task/8974/stat : 8974 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 2587460 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166194 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=8948/tid=8975] ppid=8946 vsize=338000 CPUtime=0 cores=0-31
/proc/8948/task/8975/stat : 8975 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 2587460 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166188 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=8948/tid=8976] ppid=8946 vsize=338000 CPUtime=0 cores=0-31
/proc/8948/task/8976/stat : 8976 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 2587460 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166188 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=8948/tid=8977] ppid=8946 vsize=338000 CPUtime=0.01 cores=0-31
/proc/8948/task/8977/stat : 8977 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 2587460 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166194 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=8948/tid=8978] ppid=8946 vsize=338000 CPUtime=0 cores=0-31
/proc/8948/task/8978/stat : 8978 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 2587460 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166188 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=8948/tid=8979] ppid=8946 vsize=338000 CPUtime=0 cores=0-31
/proc/8948/task/8979/stat : 8979 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 2587462 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166194 0 0 4096 2 0 0 0 -1 22 0 0 0
[startup+0.0725181 s]
/proc/loadavg: 23.04 29.38 30.55 1/413 8948
/proc/meminfo: memFree=263748940/264257624 swapFree=67046588/67111528
[pid=8948] ppid=8946 vsize=338000 CPUtime=1.79 cores=0-31
/proc/8948/stat : 8948 (strangenight2-m) R 8946 8948 8922 0 -1 4202496 438 0 0 0 179 0 0 0 25 0 32 0 2587459 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166194 0 0 4096 2 18446744073709551615 0 0 17 19 0 0 0
/proc/8948/statm: 84500 378 297 95 0 79482 0
[pid=8948/tid=8949] ppid=8946 vsize=338000 CPUtime=0.06 cores=0-31
/proc/8948/task/8949/stat : 8949 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 1 0 0 0 6 0 0 0 24 0 32 0 2587459 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166188 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8948/tid=8950] ppid=8946 vsize=338000 CPUtime=0.06 cores=0-31
/proc/8948/task/8950/stat : 8950 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 1 0 0 0 6 0 0 0 18 0 32 0 2587459 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166184 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8948/tid=8951] ppid=8946 vsize=338000 CPUtime=0.05 cores=0-31
/proc/8948/task/8951/stat : 8951 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 5 0 0 0 25 0 32 0 2587459 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166194 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=8948/tid=8952] ppid=8946 vsize=338000 CPUtime=0.01 cores=0-31
/proc/8948/task/8952/stat : 8952 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 2587459 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166194 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=8948/tid=8953] ppid=8946 vsize=338000 CPUtime=0.06 cores=0-31
/proc/8948/task/8953/stat : 8953 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 6 0 0 0 25 0 32 0 2587459 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166194 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8948/tid=8954] ppid=8946 vsize=338000 CPUtime=0.06 cores=0-31
/proc/8948/task/8954/stat : 8954 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 6 0 0 0 25 0 32 0 2587459 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166194 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=8948/tid=8955] ppid=8946 vsize=338000 CPUtime=0.06 cores=0-31
/proc/8948/task/8955/stat : 8955 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 6 0 0 0 25 0 32 0 2587459 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166198 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8948/tid=8956] ppid=8946 vsize=338000 CPUtime=0.06 cores=0-31
/proc/8948/task/8956/stat : 8956 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 6 0 0 0 25 0 32 0 2587459 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166194 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8948/tid=8957] ppid=8946 vsize=338000 CPUtime=0.06 cores=0-31
/proc/8948/task/8957/stat : 8957 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 6 0 0 0 25 0 32 0 2587459 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166194 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8948/tid=8958] ppid=8946 vsize=338000 CPUtime=0.06 cores=0-31
/proc/8948/task/8958/stat : 8958 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 6 0 0 0 25 0 32 0 2587460 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166194 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=8948/tid=8959] ppid=8946 vsize=338000 CPUtime=0.06 cores=0-31
/proc/8948/task/8959/stat : 8959 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 6 0 0 0 25 0 32 0 2587460 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166194 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=8948/tid=8960] ppid=8946 vsize=338000 CPUtime=0.06 cores=0-31
/proc/8948/task/8960/stat : 8960 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 6 0 0 0 25 0 32 0 2587460 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166194 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8948/tid=8961] ppid=8946 vsize=338000 CPUtime=0.06 cores=0-31
/proc/8948/task/8961/stat : 8961 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 6 0 0 0 25 0 32 0 2587460 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166192 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=8948/tid=8962] ppid=8946 vsize=338000 CPUtime=0.06 cores=0-31
/proc/8948/task/8962/stat : 8962 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 6 0 0 0 25 0 32 0 2587460 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166192 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=8948/tid=8963] ppid=8946 vsize=338000 CPUtime=0.06 cores=0-31
/proc/8948/task/8963/stat : 8963 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 6 0 0 0 25 0 32 0 2587460 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166198 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=8948/tid=8964] ppid=8946 vsize=338000 CPUtime=0.06 cores=0-31
/proc/8948/task/8964/stat : 8964 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 6 0 0 0 25 0 32 0 2587460 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166188 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=8948/tid=8965] ppid=8946 vsize=338000 CPUtime=0.06 cores=0-31
/proc/8948/task/8965/stat : 8965 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 6 0 0 0 25 0 32 0 2587460 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166194 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=8948/tid=8966] ppid=8946 vsize=338000 CPUtime=0.06 cores=0-31
/proc/8948/task/8966/stat : 8966 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 6 0 0 0 25 0 32 0 2587460 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166194 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=8948/tid=8967] ppid=8946 vsize=338000 CPUtime=0.06 cores=0-31
/proc/8948/task/8967/stat : 8967 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 6 0 0 0 25 0 32 0 2587460 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166188 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=8948/tid=8968] ppid=8946 vsize=338000 CPUtime=0 cores=0-31
/proc/8948/task/8968/stat : 8968 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 2587460 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=8948/tid=8969] ppid=8946 vsize=338000 CPUtime=0.06 cores=0-31
/proc/8948/task/8969/stat : 8969 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 6 0 0 0 25 0 32 0 2587460 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166194 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=8948/tid=8970] ppid=8946 vsize=338000 CPUtime=0.06 cores=0-31
/proc/8948/task/8970/stat : 8970 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 6 0 0 0 25 0 32 0 2587460 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166194 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=8948/tid=8971] ppid=8946 vsize=338000 CPUtime=0.06 cores=0-31
/proc/8948/task/8971/stat : 8971 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 6 0 0 0 25 0 32 0 2587460 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166194 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8948/tid=8972] ppid=8946 vsize=338000 CPUtime=0.06 cores=0-31
/proc/8948/task/8972/stat : 8972 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 6 0 0 0 25 0 32 0 2587460 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166194 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=8948/tid=8973] ppid=8946 vsize=338000 CPUtime=0.01 cores=0-31
/proc/8948/task/8973/stat : 8973 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 2587460 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166194 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=8948/tid=8974] ppid=8946 vsize=338000 CPUtime=0.04 cores=0-31
/proc/8948/task/8974/stat : 8974 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 2587460 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166188 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=8948/tid=8975] ppid=8946 vsize=338000 CPUtime=0.04 cores=0-31
/proc/8948/task/8975/stat : 8975 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 2587460 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166188 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=8948/tid=8976] ppid=8946 vsize=338000 CPUtime=0.04 cores=0-31
/proc/8948/task/8976/stat : 8976 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 2587460 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166198 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=8948/tid=8977] ppid=8946 vsize=338000 CPUtime=0.04 cores=0-31
/proc/8948/task/8977/stat : 8977 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 2587460 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166184 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=8948/tid=8978] ppid=8946 vsize=338000 CPUtime=0.03 cores=0-31
/proc/8948/task/8978/stat : 8978 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 2587460 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166194 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=8948/tid=8979] ppid=8946 vsize=338000 CPUtime=0.04 cores=0-31
/proc/8948/task/8979/stat : 8979 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 2587462 346112000 378 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258166194 0 0 4096 2 0 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 338000
[startup+0.1084 s]
/proc/loadavg: 23.04 29.38 30.55 1/413 8948
/proc/meminfo: memFree=263748940/264257624 swapFree=67046588/67111528
[pid=8948] ppid=8946 vsize=797976 CPUtime=2.58 cores=0-31
/proc/8948/stat : 8948 (strangenight2-m) R 8946 8948 8922 0 -1 4202496 7697 0 0 0 201 57 0 0 18 0 32 0 2587459 817127424 7539 268435456000 4194304 4580107 140735915278304 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 19 0 0 0
/proc/8948/statm: 199494 7588 332 95 0 194476 0
[pid=8948/tid=8949] ppid=8946 vsize=797976 CPUtime=0.08 cores=0-31
/proc/8948/task/8949/stat : 8949 (strangenight2-m) D 8946 8948 8922 0 -1 4202560 229 0 0 0 7 1 0 0 25 0 32 0 2587459 817127424 7620 268435456000 4194304 4580107 140735915278304 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8948/tid=8950] ppid=8946 vsize=797976 CPUtime=0.08 cores=0-31
/proc/8948/task/8950/stat : 8950 (strangenight2-m) D 8946 8948 8922 0 -1 4202560 262 0 0 0 7 1 0 0 18 0 32 0 2587459 817127424 7631 268435456000 4194304 4580107 140735915278304 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8948/tid=8951] ppid=8946 vsize=797976 CPUtime=0.06 cores=0-31
/proc/8948/task/8951/stat : 8951 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 284 0 0 0 5 1 0 0 18 0 32 0 2587459 817127424 7673 268435456000 4194304 4580107 140735915278304 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=8948/tid=8952] ppid=8946 vsize=797976 CPUtime=0.03 cores=0-31
/proc/8948/task/8952/stat : 8952 (strangenight2-m) D 8946 8948 8922 0 -1 4202560 233 0 0 0 2 1 0 0 18 0 32 0 2587459 817127424 7673 268435456000 4194304 4580107 140735915278304 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=8948/tid=8953] ppid=8946 vsize=797976 CPUtime=0.08 cores=0-31
/proc/8948/task/8953/stat : 8953 (strangenight2-m) D 8946 8948 8922 0 -1 4202560 196 0 0 0 7 1 0 0 25 0 32 0 2587459 817127424 7694 268435456000 4194304 4580107 140735915278304 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8948/tid=8954] ppid=8946 vsize=797976 CPUtime=0.08 cores=0-31
/proc/8948/task/8954/stat : 8954 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 221 0 0 0 7 1 0 0 25 0 32 0 2587459 817127424 7706 268435456000 4194304 4580107 140735915278304 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=8948/tid=8955] ppid=8946 vsize=797976 CPUtime=0.08 cores=0-31
/proc/8948/task/8955/stat : 8955 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 224 0 0 0 7 1 0 0 25 0 32 0 2587459 817127424 7768 268435456000 4194304 4580107 140735915278304 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8948/tid=8956] ppid=8946 vsize=797976 CPUtime=0.08 cores=0-31
/proc/8948/task/8956/stat : 8956 (strangenight2-m) D 8946 8948 8922 0 -1 4202560 268 0 0 0 7 1 0 0 25 0 32 0 2587459 817127424 7768 268435456000 4194304 4580107 140735915278304 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8948/tid=8957] ppid=8946 vsize=797976 CPUtime=0.08 cores=0-31
/proc/8948/task/8957/stat : 8957 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 235 0 0 0 7 1 0 0 25 0 32 0 2587459 817127424 7806 268435456000 4194304 4580107 140735915278304 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8948/tid=8958] ppid=8946 vsize=797976 CPUtime=0.08 cores=0-31
/proc/8948/task/8958/stat : 8958 (strangenight2-m) D 8946 8948 8922 0 -1 4202560 208 0 0 0 7 1 0 0 25 0 32 0 2587460 817127424 7806 268435456000 4194304 4580107 140735915278304 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=8948/tid=8959] ppid=8946 vsize=797976 CPUtime=0.08 cores=0-31
/proc/8948/task/8959/stat : 8959 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 272 0 0 0 7 1 0 0 18 0 32 0 2587460 817127424 7860 268435456000 4194304 4580107 140735915278304 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=8948/tid=8960] ppid=8946 vsize=797976 CPUtime=0.08 cores=0-31
/proc/8948/task/8960/stat : 8960 (strangenight2-m) D 8946 8948 8922 0 -1 4202560 203 0 0 0 7 1 0 0 25 0 32 0 2587460 817127424 7867 268435456000 4194304 4580107 140735915278304 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8948/tid=8961] ppid=8946 vsize=797976 CPUtime=0.08 cores=0-31
/proc/8948/task/8961/stat : 8961 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 263 0 0 0 7 1 0 0 18 0 32 0 2587460 817127424 7912 268435456000 4194304 4580107 140735915278304 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=8948/tid=8962] ppid=8946 vsize=797976 CPUtime=0.08 cores=0-31
/proc/8948/task/8962/stat : 8962 (strangenight2-m) D 8946 8948 8922 0 -1 4202560 273 0 0 0 7 1 0 0 25 0 32 0 2587460 817127424 7912 268435456000 4194304 4580107 140735915278304 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=8948/tid=8963] ppid=8946 vsize=797976 CPUtime=0.09 cores=0-31
/proc/8948/task/8963/stat : 8963 (strangenight2-m) D 8946 8948 8922 0 -1 4202560 237 0 0 0 7 2 0 0 25 0 32 0 2587460 817127424 7912 268435456000 4194304 4580107 140735915278304 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=8948/tid=8964] ppid=8946 vsize=797976 CPUtime=0.08 cores=0-31
/proc/8948/task/8964/stat : 8964 (strangenight2-m) D 8946 8948 8922 0 -1 4202560 252 0 0 0 7 1 0 0 18 0 32 0 2587460 817127424 7968 268435456000 4194304 4580107 140735915278304 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=8948/tid=8965] ppid=8946 vsize=797976 CPUtime=0.09 cores=0-31
################
# More data... #
################
/proc/8948/task/8953/stat : 8953 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 184358 0 0 0 57350 1762 0 0 25 0 32 0 2587459 21258272768 3905890 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604485226610144 0 0 -1 7 0 0 0
[pid=8948/tid=8954] ppid=8946 vsize=20760032 CPUtime=632.88 cores=0-31
/proc/8948/task/8954/stat : 8954 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 206698 0 0 0 61480 1808 0 0 18 0 32 0 2587459 21258272768 3905890 268435456000 4194304 4580107 140735915278304 18446744073709551615 4417027 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8948/tid=8955] ppid=8946 vsize=20760032 CPUtime=600.87 cores=0-31
/proc/8948/task/8955/stat : 8955 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 278549 0 0 0 58274 1813 0 0 25 0 32 0 2587459 21258272768 3905890 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604485226634720 0 0 -1 9 0 0 0
[pid=8948/tid=8956] ppid=8946 vsize=20760032 CPUtime=603.17 cores=0-31
/proc/8948/task/8956/stat : 8956 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 218364 0 0 0 58506 1811 0 0 25 0 32 0 2587459 21258272768 3905890 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604497907506656 0 0 -1 28 0 0 0
[pid=8948/tid=8957] ppid=8946 vsize=20760032 CPUtime=602.54 cores=0-31
/proc/8948/task/8957/stat : 8957 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 264654 0 0 0 58452 1802 0 0 25 0 32 0 2587459 21258272768 3905890 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604485226659296 0 0 -1 29 0 0 0
[pid=8948/tid=8958] ppid=8946 vsize=20760032 CPUtime=602.3 cores=0-31
/proc/8948/task/8958/stat : 8958 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 189597 0 0 0 58447 1783 0 0 25 0 32 0 2587460 21258272768 3905890 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604506207509984 0 0 -1 17 0 0 0
[pid=8948/tid=8959] ppid=8946 vsize=20760032 CPUtime=602.21 cores=0-31
/proc/8948/task/8959/stat : 8959 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 211942 0 0 0 58453 1768 0 0 25 0 32 0 2587460 21258272768 3905890 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604497907490272 0 0 -1 31 0 0 0
[pid=8948/tid=8960] ppid=8946 vsize=20760032 CPUtime=601.98 cores=0-31
/proc/8948/task/8960/stat : 8960 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 208632 0 0 0 58402 1796 0 0 25 0 32 0 2587460 21258272768 3905890 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604497907498464 0 0 -1 31 0 0 0
[pid=8948/tid=8961] ppid=8946 vsize=20760032 CPUtime=602.44 cores=0-31
/proc/8948/task/8961/stat : 8961 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 203185 0 0 0 58361 1883 0 0 25 0 32 0 2587460 21258272768 3905890 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604490997161440 0 0 -1 27 0 0 0
[pid=8948/tid=8962] ppid=8946 vsize=20760032 CPUtime=599.78 cores=0-31
/proc/8948/task/8962/stat : 8962 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 186952 0 0 0 58222 1756 0 0 25 0 32 0 2587460 21258272768 3905890 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604485226601952 0 0 -1 14 0 0 0
[pid=8948/tid=8963] ppid=8946 vsize=20760032 CPUtime=602.28 cores=0-31
/proc/8948/task/8963/stat : 8963 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 256158 0 0 0 58430 1798 0 0 25 0 32 0 2587460 21258272768 3905890 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604490997169632 0 0 -1 8 0 0 0
[pid=8948/tid=8964] ppid=8946 vsize=20760032 CPUtime=602.29 cores=0-31
/proc/8948/task/8964/stat : 8964 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 191057 0 0 0 58410 1819 0 0 25 0 32 0 2587460 21258272768 3905890 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604482584149472 0 0 -1 24 0 0 0
[pid=8948/tid=8965] ppid=8946 vsize=20760032 CPUtime=601.37 cores=0-31
/proc/8948/task/8965/stat : 8965 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 216958 0 0 0 58349 1788 0 0 19 0 32 0 2587460 21258272768 3905890 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604506207501792 0 0 -1 1 0 0 0
[pid=8948/tid=8966] ppid=8946 vsize=20760032 CPUtime=599.66 cores=0-31
/proc/8948/task/8966/stat : 8966 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 189570 0 0 0 58127 1839 0 0 25 0 32 0 2587460 21258272768 3905890 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604506207550944 0 0 -1 21 0 0 0
[pid=8948/tid=8967] ppid=8946 vsize=20760032 CPUtime=600.8 cores=0-31
/proc/8948/task/8967/stat : 8967 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 209794 0 0 0 58365 1715 0 0 25 0 32 0 2587460 21258272768 3905890 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604506207534560 0 0 -1 20 0 0 0
[pid=8948/tid=8968] ppid=8946 vsize=20760032 CPUtime=600.75 cores=0-31
/proc/8948/task/8968/stat : 8968 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 189228 0 0 0 58194 1881 0 0 25 0 32 0 2587460 21258272768 3905890 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446744071566932464 0 0 -1 12 0 0 0
[pid=8948/tid=8969] ppid=8946 vsize=20760032 CPUtime=596.8 cores=0-31
/proc/8948/task/8969/stat : 8969 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 255804 0 0 0 57902 1778 0 0 25 0 32 0 2587460 21258272768 3905890 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604506207526368 0 0 -1 23 0 0 0
[pid=8948/tid=8970] ppid=8946 vsize=20760032 CPUtime=599.56 cores=0-31
/proc/8948/task/8970/stat : 8970 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 198994 0 0 0 58144 1812 0 0 25 0 32 0 2587460 21258272768 3905890 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604485226618336 0 0 -1 20 0 0 0
[pid=8948/tid=8971] ppid=8946 vsize=20760032 CPUtime=598.43 cores=0-31
/proc/8948/task/8971/stat : 8971 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 197889 0 0 0 58072 1771 0 0 25 0 32 0 2587460 21258272768 3905890 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604490997136864 0 0 -1 25 0 0 0
[pid=8948/tid=8972] ppid=8946 vsize=20760032 CPUtime=602.62 cores=0-31
/proc/8948/task/8972/stat : 8972 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 217197 0 0 0 58483 1779 0 0 25 0 32 0 2587460 21258272768 3905890 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604490997153248 0 0 -1 16 0 0 0
[pid=8948/tid=8973] ppid=8946 vsize=20760032 CPUtime=603.34 cores=0-31
/proc/8948/task/8973/stat : 8973 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 238596 0 0 0 58522 1812 0 0 25 0 32 0 2587460 21258272768 3905890 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604497907514848 0 0 -1 15 0 0 0
[pid=8948/tid=8974] ppid=8946 vsize=20760032 CPUtime=603.7 cores=0-31
/proc/8948/task/8974/stat : 8974 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 198566 0 0 0 58626 1744 0 0 25 0 32 0 2587460 21258272768 3905890 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604490997145056 0 0 -1 13 0 0 0
[pid=8948/tid=8975] ppid=8946 vsize=20760032 CPUtime=600.3 cores=0-31
/proc/8948/task/8975/stat : 8975 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 187961 0 0 0 58186 1844 0 0 25 0 32 0 2587460 21258272768 3905890 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604485226651104 0 0 -1 30 0 0 0
[pid=8948/tid=8976] ppid=8946 vsize=20760032 CPUtime=601.4 cores=0-31
/proc/8948/task/8976/stat : 8976 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 198984 0 0 0 58373 1767 0 0 25 0 32 0 2587460 21258272768 3905890 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604482584182240 0 0 -1 3 0 0 0
[pid=8948/tid=8977] ppid=8946 vsize=20760032 CPUtime=599.08 cores=0-31
/proc/8948/task/8977/stat : 8977 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 199444 0 0 0 58114 1794 0 0 25 0 32 0 2587460 21258272768 3905890 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604485226642912 0 0 -1 29 0 0 0
[pid=8948/tid=8978] ppid=8946 vsize=20760032 CPUtime=599.77 cores=0-31
/proc/8948/task/8978/stat : 8978 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 223900 0 0 0 58147 1830 0 0 25 0 32 0 2587460 21258272768 3905890 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604485226626528 0 0 -1 5 0 0 0
[pid=8948/tid=8979] ppid=8946 vsize=20760032 CPUtime=632.63 cores=0-31
/proc/8948/task/8979/stat : 8979 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 179935 0 0 0 61499 1764 0 0 25 0 32 0 2587462 21258272768 3905890 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258141227 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 19359.9
Current children cumulated vsize (KiB) 20760032
[startup+668.702 s]
/proc/loadavg: 19.52 28.33 29.85 3/445 8998
/proc/meminfo: memFree=248104536/264257624 swapFree=67046588/67111528
[pid=8948] ppid=8946 vsize=20760032 CPUtime=19369.1 cores=0-31
/proc/8948/stat : 8948 (strangenight2-m) S 8946 8948 8922 0 -1 4202496 6872831 0 0 0 1879107 57805 0 0 25 0 32 0 2587459 21258272768 3905892 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8948/statm: 5190008 3905892 378 95 0 5184990 0
[pid=8948/tid=8949] ppid=8946 vsize=20760032 CPUtime=602.49 cores=0-31
/proc/8948/task/8949/stat : 8949 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 255257 0 0 0 58307 1942 0 0 25 0 32 0 2587459 21258272768 3905892 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604506207542752 0 0 -1 11 0 0 0
[pid=8948/tid=8950] ppid=8946 vsize=20760032 CPUtime=602.48 cores=0-31
/proc/8948/task/8950/stat : 8950 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 215540 0 0 0 58374 1874 0 0 25 0 32 0 2587459 21258272768 3905892 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604506207518176 0 0 -1 26 0 0 0
[pid=8948/tid=8951] ppid=8946 vsize=20760032 CPUtime=625.63 cores=0-31
/proc/8948/task/8951/stat : 8951 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 201593 0 0 0 60737 1826 0 0 25 0 32 0 2587459 21258272768 3905892 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604517679390176 0 0 -1 19 0 0 0
[pid=8948/tid=8952] ppid=8946 vsize=20760032 CPUtime=636.37 cores=0-31
/proc/8948/task/8952/stat : 8952 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 234560 0 0 0 61910 1727 0 0 25 0 32 0 2587459 21258272768 3905892 268435456000 4194304 4580107 140735915278304 18446744073709551615 4416709 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=8948/tid=8953] ppid=8946 vsize=20760032 CPUtime=591.12 cores=0-31
/proc/8948/task/8953/stat : 8953 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 184358 0 0 0 57350 1762 0 0 25 0 32 0 2587459 21258272768 3905892 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604485226610144 0 0 -1 7 0 0 0
[pid=8948/tid=8954] ppid=8946 vsize=20760032 CPUtime=635.67 cores=0-31
/proc/8948/task/8954/stat : 8954 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 206700 0 0 0 61759 1808 0 0 25 0 32 0 2587459 21258272768 3905892 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604482584165856 0 0 -1 4 0 0 0
[pid=8948/tid=8955] ppid=8946 vsize=20760032 CPUtime=600.87 cores=0-31
/proc/8948/task/8955/stat : 8955 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 278549 0 0 0 58274 1813 0 0 25 0 32 0 2587459 21258272768 3905892 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604485226634720 0 0 -1 9 0 0 0
[pid=8948/tid=8956] ppid=8946 vsize=20760032 CPUtime=603.17 cores=0-31
/proc/8948/task/8956/stat : 8956 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 218364 0 0 0 58506 1811 0 0 25 0 32 0 2587459 21258272768 3905892 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604497907506656 0 0 -1 28 0 0 0
[pid=8948/tid=8957] ppid=8946 vsize=20760032 CPUtime=602.54 cores=0-31
/proc/8948/task/8957/stat : 8957 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 264654 0 0 0 58452 1802 0 0 25 0 32 0 2587459 21258272768 3905892 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604485226659296 0 0 -1 29 0 0 0
[pid=8948/tid=8958] ppid=8946 vsize=20760032 CPUtime=602.3 cores=0-31
/proc/8948/task/8958/stat : 8958 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 189597 0 0 0 58447 1783 0 0 25 0 32 0 2587460 21258272768 3905892 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604506207509984 0 0 -1 17 0 0 0
[pid=8948/tid=8959] ppid=8946 vsize=20760032 CPUtime=602.21 cores=0-31
/proc/8948/task/8959/stat : 8959 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 211942 0 0 0 58453 1768 0 0 25 0 32 0 2587460 21258272768 3905892 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604497907490272 0 0 -1 31 0 0 0
[pid=8948/tid=8960] ppid=8946 vsize=20760032 CPUtime=601.98 cores=0-31
/proc/8948/task/8960/stat : 8960 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 208632 0 0 0 58402 1796 0 0 25 0 32 0 2587460 21258272768 3905892 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604497907498464 0 0 -1 31 0 0 0
[pid=8948/tid=8961] ppid=8946 vsize=20760032 CPUtime=602.44 cores=0-31
/proc/8948/task/8961/stat : 8961 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 203185 0 0 0 58361 1883 0 0 25 0 32 0 2587460 21258272768 3905892 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604490997161440 0 0 -1 27 0 0 0
[pid=8948/tid=8962] ppid=8946 vsize=20760032 CPUtime=599.78 cores=0-31
/proc/8948/task/8962/stat : 8962 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 186952 0 0 0 58222 1756 0 0 25 0 32 0 2587460 21258272768 3905892 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604485226601952 0 0 -1 14 0 0 0
[pid=8948/tid=8963] ppid=8946 vsize=20760032 CPUtime=602.28 cores=0-31
/proc/8948/task/8963/stat : 8963 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 256158 0 0 0 58430 1798 0 0 25 0 32 0 2587460 21258272768 3905892 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604490997169632 0 0 -1 8 0 0 0
[pid=8948/tid=8964] ppid=8946 vsize=20760032 CPUtime=602.29 cores=0-31
/proc/8948/task/8964/stat : 8964 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 191057 0 0 0 58410 1819 0 0 25 0 32 0 2587460 21258272768 3905892 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604482584149472 0 0 -1 24 0 0 0
[pid=8948/tid=8965] ppid=8946 vsize=20760032 CPUtime=601.37 cores=0-31
/proc/8948/task/8965/stat : 8965 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 216958 0 0 0 58349 1788 0 0 19 0 32 0 2587460 21258272768 3905892 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604506207501792 0 0 -1 1 0 0 0
[pid=8948/tid=8966] ppid=8946 vsize=20760032 CPUtime=599.66 cores=0-31
/proc/8948/task/8966/stat : 8966 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 189570 0 0 0 58127 1839 0 0 25 0 32 0 2587460 21258272768 3905892 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604506207550944 0 0 -1 21 0 0 0
[pid=8948/tid=8967] ppid=8946 vsize=20760032 CPUtime=600.8 cores=0-31
/proc/8948/task/8967/stat : 8967 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 209794 0 0 0 58365 1715 0 0 25 0 32 0 2587460 21258272768 3905892 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604506207534560 0 0 -1 20 0 0 0
[pid=8948/tid=8968] ppid=8946 vsize=20760032 CPUtime=600.75 cores=0-31
/proc/8948/task/8968/stat : 8968 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 189228 0 0 0 58194 1881 0 0 25 0 32 0 2587460 21258272768 3905892 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446744071566932464 0 0 -1 12 0 0 0
[pid=8948/tid=8969] ppid=8946 vsize=20760032 CPUtime=596.8 cores=0-31
/proc/8948/task/8969/stat : 8969 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 255804 0 0 0 57902 1778 0 0 25 0 32 0 2587460 21258272768 3905892 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604506207526368 0 0 -1 23 0 0 0
[pid=8948/tid=8970] ppid=8946 vsize=20760032 CPUtime=599.56 cores=0-31
/proc/8948/task/8970/stat : 8970 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 198994 0 0 0 58144 1812 0 0 25 0 32 0 2587460 21258272768 3905892 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604485226618336 0 0 -1 20 0 0 0
[pid=8948/tid=8971] ppid=8946 vsize=20760032 CPUtime=598.43 cores=0-31
/proc/8948/task/8971/stat : 8971 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 197889 0 0 0 58072 1771 0 0 25 0 32 0 2587460 21258272768 3905892 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604490997136864 0 0 -1 25 0 0 0
[pid=8948/tid=8972] ppid=8946 vsize=20760032 CPUtime=602.62 cores=0-31
/proc/8948/task/8972/stat : 8972 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 217197 0 0 0 58483 1779 0 0 25 0 32 0 2587460 21258272768 3905892 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604490997153248 0 0 -1 16 0 0 0
[pid=8948/tid=8973] ppid=8946 vsize=20760032 CPUtime=603.34 cores=0-31
/proc/8948/task/8973/stat : 8973 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 238596 0 0 0 58522 1812 0 0 25 0 32 0 2587460 21258272768 3905892 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604497907514848 0 0 -1 15 0 0 0
[pid=8948/tid=8974] ppid=8946 vsize=20760032 CPUtime=603.7 cores=0-31
/proc/8948/task/8974/stat : 8974 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 198566 0 0 0 58626 1744 0 0 25 0 32 0 2587460 21258272768 3905892 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604490997145056 0 0 -1 13 0 0 0
[pid=8948/tid=8975] ppid=8946 vsize=20760032 CPUtime=600.3 cores=0-31
/proc/8948/task/8975/stat : 8975 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 187961 0 0 0 58186 1844 0 0 25 0 32 0 2587460 21258272768 3905892 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604485226651104 0 0 -1 30 0 0 0
[pid=8948/tid=8976] ppid=8946 vsize=20760032 CPUtime=601.4 cores=0-31
/proc/8948/task/8976/stat : 8976 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 198984 0 0 0 58373 1767 0 0 25 0 32 0 2587460 21258272768 3905892 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604482584182240 0 0 -1 3 0 0 0
[pid=8948/tid=8977] ppid=8946 vsize=20760032 CPUtime=599.08 cores=0-31
/proc/8948/task/8977/stat : 8977 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 199444 0 0 0 58114 1794 0 0 25 0 32 0 2587460 21258272768 3905892 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604485226642912 0 0 -1 29 0 0 0
[pid=8948/tid=8978] ppid=8946 vsize=20760032 CPUtime=599.77 cores=0-31
/proc/8948/task/8978/stat : 8978 (strangenight2-m) S 8946 8948 8922 0 -1 4202560 223900 0 0 0 58147 1830 0 0 25 0 32 0 2587460 21258272768 3905892 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258165812 0 0 4096 2 18446604485226626528 0 0 -1 5 0 0 0
[pid=8948/tid=8979] ppid=8946 vsize=20760032 CPUtime=635.83 cores=0-31
/proc/8948/task/8979/stat : 8979 (strangenight2-m) R 8946 8948 8922 0 -1 4202560 179935 0 0 0 61819 1764 0 0 25 0 32 0 2587462 21258272768 3905892 268435456000 4194304 4580107 140735915278304 18446744073709551615 47521258141380 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 19369.1
Current children cumulated vsize (KiB) 20760032
[startup+670.302 s]
/proc/loadavg: 19.52 28.33 29.85 3/445 8998
/proc/meminfo: memFree=248104536/264257624 swapFree=67046588/67111528
[pid=8948] ppid=8946 vsize=0 CPUtime=19372.2 cores=0-31
/proc/8948/stat : 8948 (strangenight2-m) Z 8946 8948 8922 0 -1 4203548 6872843 0 0 0 1879415 57810 0 0 18 0 2 0 2587459 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8948/statm: 0 0 0 0 0 0 0
[pid=8948/tid=8952] ppid=8946 vsize=0 CPUtime=637.94 cores=0-31
/proc/8948/task/8952/stat : 8952 (strangenight2-m) R 8946 8948 8922 0 -1 4203588 234568 0 0 0 62064 1730 0 0 25 0 2 0 2587459 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 19372.2
Current children cumulated vsize (KiB) 0
[startup+671.1 s]
/proc/loadavg: 19.52 28.33 29.85 2/415 8998
/proc/meminfo: memFree=255816888/264257624 swapFree=67046588/67111528
[pid=8948] ppid=8946 vsize=0 CPUtime=19373.1 cores=0-31
/proc/8948/stat : 8948 (strangenight2-m) Z 8946 8948 8922 0 -1 4203548 6872843 0 0 0 1879415 57890 0 0 18 0 2 0 2587459 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8948/statm: 0 0 0 0 0 0 0
[pid=8948/tid=8952] ppid=8946 vsize=0 CPUtime=638.73 cores=0-31
/proc/8948/task/8952/stat : 8952 (strangenight2-m) R 8946 8948 8922 0 -1 4203588 234568 0 0 0 62064 1809 0 0 25 0 2 0 2587459 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 19373.1
Current children cumulated vsize (KiB) 0
[startup+671.3 s]
/proc/loadavg: 19.52 28.33 29.85 2/415 8998
/proc/meminfo: memFree=255816888/264257624 swapFree=67046588/67111528
[pid=8948] ppid=8946 vsize=0 CPUtime=19373.2 cores=0-31
/proc/8948/stat : 8948 (strangenight2-m) Z 8946 8948 8922 0 -1 4203548 6872843 0 0 0 1879415 57910 0 0 18 0 2 0 2587459 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8948/statm: 0 0 0 0 0 0 0
[pid=8948/tid=8952] ppid=8946 vsize=0 CPUtime=638.93 cores=0-31
/proc/8948/task/8952/stat : 8952 (strangenight2-m) R 8946 8948 8922 0 -1 4203588 234568 0 0 0 62064 1829 0 0 25 0 2 0 2587459 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 19373.2
Current children cumulated vsize (KiB) 0
[startup+671.401 s]
/proc/loadavg: 19.52 28.33 29.85 2/415 8998
/proc/meminfo: memFree=255816888/264257624 swapFree=67046588/67111528
[pid=8948] ppid=8946 vsize=0 CPUtime=19373.3 cores=0-31
/proc/8948/stat : 8948 (strangenight2-m) Z 8946 8948 8922 0 -1 4203548 6872843 0 0 0 1879415 57920 0 0 18 0 2 0 2587459 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8948/statm: 0 0 0 0 0 0 0
[pid=8948/tid=8952] ppid=8946 vsize=0 CPUtime=639.03 cores=0-31
/proc/8948/task/8952/stat : 8952 (strangenight2-m) R 8946 8948 8922 0 -1 4203588 234568 0 0 0 62064 1839 0 0 25 0 2 0 2587459 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 19373.3
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 671.465
CPU time (s): 19373.4
CPU user time (s): 18794.2
CPU system time (s): 579.269
CPU usage (%): 2885.25
Max. virtual memory (cumulated for all children) (KiB): 21541988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18794.2
system time used= 579.269
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6872843
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= 16709901
involuntary context switches= 165109
runsolver used 4.43233 second user time and 16.0436 second system time
The end
Begin job on node200 at 2011-05-26 19:04:33
IDJOB=3400734
IDBENCH=82399
IDSOLVER=1886
FILE ID=node200/3400734-1306429465
RUNJOBID= node200-1306429465-8936
PBS_JOBID= 13470323
Free space on /tmp= 61644 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/rintanen/SATPlanning/blocks-blocks-37-1.130-NOTKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400734-1306429465/watcher-3400734-1306429465 -o /tmp/evaluation-result-3400734-1306429465/solver-3400734-1306429465 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400734-1306429465.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= c7a9573eb59580c8d4fc5a3ca880d541
RANDOM SEED=691701724
node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.047
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.047
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.047
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.047
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.047
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.047
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.047
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 1
cpu cores : 8
apicid : 66
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.047
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.047
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.047
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 8
apicid : 36
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.047
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.047
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 2
cpu cores : 8
apicid : 100
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.047
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.98
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.047
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.96
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.047
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.10
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.047
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 3
cpu cores : 8
apicid : 102
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 16
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.047
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 8
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 17
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.047
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.047
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.047
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.047
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 9
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 21
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.047
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 9
cpu cores : 8
apicid : 50
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 22
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.047
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 9
cpu cores : 8
apicid : 82
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.12
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 23
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.047
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 9
cpu cores : 8
apicid : 114
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.21
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 24
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.047
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.03
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.047
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 10
cpu cores : 8
apicid : 52
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 26
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.047
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 10
cpu cores : 8
apicid : 84
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 27
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.047
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 10
cpu cores : 8
apicid : 116
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 28
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.047
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.047
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.047
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.047
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 263749096 kB
Buffers: 21196 kB
Cached: 311996 kB
SwapCached: 30736 kB
Active: 275724 kB
Inactive: 89456 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263749096 kB
SwapTotal: 67111528 kB
SwapFree: 67046588 kB
Dirty: 191856 kB
Writeback: 0 kB
AnonPages: 25460 kB
Mapped: 8448 kB
Slab: 58680 kB
PageTables: 4448 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 187360 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 61636 MiB
End job on node200 at 2011-05-26 19:15:45