0.00/0.00 c Outputting solution to console
0.00/0.03 c Using 32 threads
0.00/0.07 c This is CryptoMiniSat 3.0.0
0.00/0.07 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.07 c Reading file 'HOME/instance-3400775-1306778179.cnf'
0.00/0.09 c -- header says num vars: 116405
0.00/0.09 c -- header says num clauses: 346850
40.52/2.97 c -- clauses added: 0 learnts, 346850 normals, 0 xors
40.52/2.97 c -- vars added 116405
40.52/2.97 c Parsing time: 0.62 s
40.52/2.97 c N st 0 0 116405 115616 231232 0 809312 0 no data no data
71.05/3.96 c asymm cl-useful: 0/41054/115615 lits-rem:0 time: 0.94
246.76/9.48 c Flit: 589 Blit: 2084 bXBeca: 0 bXProp: 12251 Bins: 0 BRemL: 0 BRemN: 0 P: 83.6M T: 5.55
249.95/9.51 c Cleaning up after failed var search: 0.03 s
252.95/9.67 c Replacing 12251 vars Replaced 291825 lits Time: 0.11 s
259.00/9.80 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
259.00/9.84 c bin-w-bin subsume rem 7956 bins time: 0.04 s
261.91/9.96 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.11 s
269.34/10.42 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 101459 time: 0.39 s
277.40/10.76 c Removed useless bin: 855 fixed: 0 props: 20.00M time: 0.33 s
338.21/13.18 c lits-rem: 1222 cl-subs: 7237 v-elim: 33819 v-fix: 0 time: 1.38 s
338.21/13.24 c Finding binary XORs T: 0.05 s found: 9
341.27/13.29 c Replacing 9 vars Replaced 70 lits Time: 0.05 s
344.84/13.43 c Finding non-binary XORs: 0.08 s (found: 0, avg size: nan)
344.84/13.43 c calculated reachability. Time: 0.00
344.84/13.47 c Calc default polars - time: 0.03 s pos: 1640 undec: 48877 neg: 65888
344.84/13.47 c =========================================================================================
344.84/13.47 c types(t): F = full restart, N = normal restart
344.84/13.47 c types(t): S = simplification begin/end, E = solution found
344.84/13.47 c restart types(rt): st = static, dy = dynamic
344.84/13.47 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
344.84/13.47 c B st 0 0 67631 98068 134628 0 613445 0 no data no data
454.61/17.46 c N dy 15 4288 67631 98068 134981 3891 613423 26507 3.98 4.21
556.89/20.63 c N dy 40 8382 67534 98068 140721 7737 613406 67790 4.26 4.51
652.78/23.68 c N dy 71 12461 67517 98068 144246 11689 613399 112381 4.52 6.87
668.78/24.17 c Finding binary XORs T: 0.05 s found: 459
774.23/27.50 c N dy 106 16525 67463 97185 144068 15643 609169 160076 4.81 5.73
870.12/30.50 c Following stats are for *FIRST FINISHED THREAD ONLY*
870.12/30.50 c num threads : 32
870.12/30.50 c restarts : 147
870.12/30.50 c dynamic restarts : 141
870.12/30.50 c static restarts : 6
870.12/30.50 c full restarts : 0
870.12/30.50 c total simplify time : 0.08
870.12/30.50 c learnts DL2 : 0
870.12/30.50 c learnts size 2 : 262692
870.12/30.50 c learnts size 1 : 46195 (39.68 % of vars)
870.12/30.50 c filedLit time : 5.76 (22.68 % time)
870.12/30.50 c v-elim SatELite : 33819 (29.05 % vars)
870.12/30.50 c SatELite time : 1.84 (7.23 % time)
870.12/30.50 c v-elim xor : 0 (0.00 % vars)
870.12/30.50 c xor elim time : 0.00 (0.00 % time)
870.12/30.50 c num binary xor trees : 3182
870.12/30.50 c binxor trees' crown : 12688 (3.99 leafs/tree)
870.12/30.50 c bin xor find time : 0.09
870.12/30.50 c OTF clause improved : 241 (0.01 clauses/conflict)
870.12/30.50 c OTF impr. size diff : 293 (1.22 lits/clause)
870.12/30.50 c OTF cl watch-shrink : 5890 (0.27 clauses/conflict)
870.12/30.50 c OTF cl watch-sh-lit : 9244 (1.57 lits/clause)
870.12/30.50 c tried to recurMin cls : 0 (0.00 % of conflicts)
870.12/30.50 c updated cache : 0 (nan lits/tried recurMin)
870.12/30.50 c unit cls recevied : 78 (0.17 % of units)
870.12/30.50 c unit cls sent : 5 (0.01 % of units)
870.12/30.50 c bin cls recevied : 32054
870.12/30.50 c bin cls sent : 320
870.12/30.50 c clauses over max glue : 0 (0.00 % of all clauses)
870.12/30.50 c conflicts : 21560 (848.88 / sec)
870.12/30.50 c decisions : 178765 (0.00 % random)
870.12/30.50 c bogo-props : 280184277 (11031685.75 / sec)
870.12/30.50 c conflict literals : 214943 (23.70 % deleted)
870.12/30.50 c Memory used : 4057.71 MB
870.12/30.50 c single-thread CPU time : 25.40 s
870.12/30.50 c all-threads sum CPU time : 824.48 s
870.12/30.50 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-3400775-1306778179/watcher-3400775-1306778179 -o /tmp/evaluation-result-3400775-1306778179/solver-3400775-1306778179 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400775-1306778179.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: 27.71 30.49 31.46 1/413 18380
/proc/meminfo: memFree=263740612/264257624 swapFree=67044744/67111528
[pid=18380] ppid=18378 vsize=338000 CPUtime=0.87 cores=0-31
/proc/18380/stat : 18380 (strangenight2-m) R 18378 18380 18232 0 -1 4202496 469 0 0 0 87 0 0 0 25 0 32 0 3783916 346112000 409 268435456000 4194304 4580107 140734806918256 18446744073709551615 47713688249881 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18380/statm: 84500 409 300 95 0 79482 0
[pid=18380/tid=18381] ppid=18378 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18380/task/18381/stat : 18381 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 4 0 0 0 3 0 0 0 22 0 32 0 3783916 346112000 409 268435456000 4194304 4580107 140734806918256 18446744073709551615 47713688249881 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18380/tid=18382] ppid=18378 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18380/task/18382/stat : 18382 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 3783916 346112000 409 268435456000 4194304 4580107 140734806918256 18446744073709551615 47713688249881 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=18380/tid=18383] ppid=18378 vsize=338000 CPUtime=0 cores=0-31
/proc/18380/task/18383/stat : 18383 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 32 0 3783916 346112000 409 268435456000 4194304 4580107 140734806918256 18446744073709551615 47713688249881 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=18380/tid=18384] ppid=18378 vsize=338000 CPUtime=0 cores=0-31
/proc/18380/task/18384/stat : 18384 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 32 0 3783916 346112000 409 268435456000 4194304 4580107 140734806918256 18446744073709551615 47713688249881 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=18380/tid=18385] ppid=18378 vsize=338000 CPUtime=0.01 cores=0-31
/proc/18380/task/18385/stat : 18385 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 32 0 3783916 346112000 409 268435456000 4194304 4580107 140734806918256 18446744073709551615 47713688249881 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=18380/tid=18386] ppid=18378 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18380/task/18386/stat : 18386 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 3783916 346112000 409 268435456000 4194304 4580107 140734806918256 18446744073709551615 47713688249885 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18380/tid=18387] ppid=18378 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18380/task/18387/stat : 18387 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 3783916 346112000 409 268435456000 4194304 4580107 140734806918256 18446744073709551615 47713688249885 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18380/tid=18388] ppid=18378 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18380/task/18388/stat : 18388 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 3783916 346112000 409 268435456000 4194304 4580107 140734806918256 18446744073709551615 47713688249881 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=18380/tid=18389] ppid=18378 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18380/task/18389/stat : 18389 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 3783916 346112000 409 268435456000 4194304 4580107 140734806918256 18446744073709551615 47713688249881 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18380/tid=18390] ppid=18378 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18380/task/18390/stat : 18390 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 3783916 346112000 409 268435456000 4194304 4580107 140734806918256 18446744073709551615 47713688249875 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18380/tid=18391] ppid=18378 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18380/task/18391/stat : 18391 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 3783916 346112000 409 268435456000 4194304 4580107 140734806918256 18446744073709551615 47713688249875 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18380/tid=18392] ppid=18378 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18380/task/18392/stat : 18392 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 3783916 346112000 409 268435456000 4194304 4580107 140734806918256 18446744073709551615 47713688249881 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=18380/tid=18393] ppid=18378 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18380/task/18393/stat : 18393 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 3783916 346112000 409 268435456000 4194304 4580107 140734806918256 18446744073709551615 47713688249875 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=18380/tid=18394] ppid=18378 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18380/task/18394/stat : 18394 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 3783916 346112000 409 268435456000 4194304 4580107 140734806918256 18446744073709551615 47713688249881 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18380/tid=18395] ppid=18378 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18380/task/18395/stat : 18395 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 3783916 346112000 409 268435456000 4194304 4580107 140734806918256 18446744073709551615 47713688249881 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=18380/tid=18396] ppid=18378 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18380/task/18396/stat : 18396 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 3783916 346112000 409 268435456000 4194304 4580107 140734806918256 18446744073709551615 47713688249875 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=18380/tid=18397] ppid=18378 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18380/task/18397/stat : 18397 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 3783916 346112000 409 268435456000 4194304 4580107 140734806918256 18446744073709551615 47713688249875 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=18380/tid=18398] ppid=18378 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18380/task/18398/stat : 18398 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 3783916 346112000 409 268435456000 4194304 4580107 140734806918256 18446744073709551615 47713688249885 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=18380/tid=18399] ppid=18378 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18380/task/18399/stat : 18399 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 3783916 346112000 409 268435456000 4194304 4580107 140734806918256 18446744073709551615 47713688249875 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=18380/tid=18400] ppid=18378 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18380/task/18400/stat : 18400 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 3783916 346112000 409 268435456000 4194304 4580107 140734806918256 18446744073709551615 47713688249881 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=18380/tid=18401] ppid=18378 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18380/task/18401/stat : 18401 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 3783916 346112000 409 268435456000 4194304 4580107 140734806918256 18446744073709551615 47713688249881 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=18380/tid=18402] ppid=18378 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18380/task/18402/stat : 18402 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 3783916 346112000 409 268435456000 4194304 4580107 140734806918256 18446744073709551615 47713688249881 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=18380/tid=18403] ppid=18378 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18380/task/18403/stat : 18403 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 3783916 346112000 409 268435456000 4194304 4580107 140734806918256 18446744073709551615 47713688249875 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=18380/tid=18404] ppid=18378 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18380/task/18404/stat : 18404 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 3783916 346112000 409 268435456000 4194304 4580107 140734806918256 18446744073709551615 47713688249881 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=18380/tid=18405] ppid=18378 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18380/task/18405/stat : 18405 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 3783916 346112000 409 268435456000 4194304 4580107 140734806918256 18446744073709551615 47713688249881 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=18380/tid=18406] ppid=18378 vsize=338000 CPUtime=0 cores=0-31
/proc/18380/task/18406/stat : 18406 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 3783916 346112000 409 268435456000 4194304 4580107 140734806918256 18446744073709551615 47713688250294 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=18380/tid=18407] ppid=18378 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18380/task/18407/stat : 18407 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 3783916 346112000 409 268435456000 4194304 4580107 140734806918256 18446744073709551615 47713688249881 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=18380/tid=18408] ppid=18378 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18380/task/18408/stat : 18408 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 3783916 346112000 409 268435456000 4194304 4580107 140734806918256 18446744073709551615 47713688249881 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=18380/tid=18409] ppid=18378 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18380/task/18409/stat : 18409 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 3783916 346112000 409 268435456000 4194304 4580107 140734806918256 18446744073709551615 47713688249881 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=18380/tid=18410] ppid=18378 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18380/task/18410/stat : 18410 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 3783917 346112000 409 268435456000 4194304 4580107 140734806918256 18446744073709551615 47713688249885 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=18380/tid=18411] ppid=18378 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18380/task/18411/stat : 18411 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 3783917 346112000 409 268435456000 4194304 4580107 140734806918256 18446744073709551615 47713688249881 0 0 4096 2 0 0 0 -1 23 0 0 0
[startup+0.122411 s]
/proc/loadavg: 27.71 30.49 31.46 1/413 18380
/proc/meminfo: memFree=263740612/264257624 swapFree=67044744/67111528
[pid=18380] ppid=18378 vsize=1393788 CPUtime=2.59 cores=0-31
/proc/18380/stat : 18380 (strangenight2-m) S 18378 18380 18232 0 -1 4202496 13052 0 0 0 179 80 0 0 17 0 32 0 3783916 1427238912 12916 268435456000 4194304 4580107 140734806918256 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18380/statm: 348447 12967 334 95 0 343429 0
[pid=18380/tid=18381] ppid=18378 vsize=1393788 CPUtime=0.07 cores=0-31
/proc/18380/task/18381/stat : 18381 (strangenight2-m) S 18378 18380 18232 0 -1 4202560 409 0 0 0 6 1 0 0 17 0 32 0 3783916 1427238912 12976 268435456000 4194304 4580107 140734806918256 18446744073709551615 258651060958 0 0 4096 2 18446744071566927264 0 0 -1 1 0 0 0
[pid=18380/tid=18382] ppid=18378 vsize=1393788 CPUtime=0.08 cores=0-31
/proc/18380/task/18382/stat : 18382 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 400 0 0 0 6 2 0 0 17 0 32 0 3783916 1427238912 13045 268435456000 4194304 4580107 140734806918256 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=18380/tid=18383] ppid=18378 vsize=1394048 CPUtime=0.05 cores=0-31
/proc/18380/task/18383/stat : 18383 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 383 0 0 0 3 2 0 0 17 0 32 0 3783916 1427505152 13123 268435456000 4194304 4580107 140734806918256 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=18380/tid=18384] ppid=18378 vsize=1394048 CPUtime=0.05 cores=0-31
/proc/18380/task/18384/stat : 18384 (strangenight2-m) S 18378 18380 18232 0 -1 4202560 351 0 0 0 3 2 0 0 17 0 32 0 3783916 1427505152 13153 268435456000 4194304 4580107 140734806918256 18446744073709551615 258651060958 0 0 4096 2 18446604456653241824 0 0 -1 29 0 0 0
[pid=18380/tid=18385] ppid=18378 vsize=1393916 CPUtime=0.06 cores=0-31
/proc/18380/task/18385/stat : 18385 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 419 0 0 0 4 2 0 0 17 0 32 0 3783916 1427369984 13233 268435456000 4194304 4580107 140734806918256 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=18380/tid=18386] ppid=18378 vsize=1393916 CPUtime=0.08 cores=0-31
/proc/18380/task/18386/stat : 18386 (strangenight2-m) S 18378 18380 18232 0 -1 4202560 441 0 0 0 6 2 0 0 17 0 32 0 3783916 1427369984 13274 268435456000 4194304 4580107 140734806918256 18446744073709551615 258651060958 0 0 4096 2 18446604490013531616 0 0 -1 2 0 0 0
[pid=18380/tid=18387] ppid=18378 vsize=1393916 CPUtime=0.08 cores=0-31
/proc/18380/task/18387/stat : 18387 (strangenight2-m) D 18378 18380 18232 0 -1 4202560 452 0 0 0 6 2 0 0 17 0 32 0 3783916 1427369984 13287 268435456000 4194304 4580107 140734806918256 18446744073709551615 258650653015 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18380/tid=18388] ppid=18378 vsize=1393916 CPUtime=0.07 cores=0-31
/proc/18380/task/18388/stat : 18388 (strangenight2-m) S 18378 18380 18232 0 -1 4202560 392 0 0 0 5 2 0 0 17 0 32 0 3783916 1427369984 13298 268435456000 4194304 4580107 140734806918256 18446744073709551615 258651060958 0 0 4096 2 18446604557615455712 0 0 -1 8 0 0 0
[pid=18380/tid=18389] ppid=18378 vsize=1393916 CPUtime=0.08 cores=0-31
/proc/18380/task/18389/stat : 18389 (strangenight2-m) S 18378 18380 18232 0 -1 4202560 365 0 0 0 6 2 0 0 17 0 32 0 3783916 1427369984 13326 268435456000 4194304 4580107 140734806918256 18446744073709551615 258651060958 0 0 4096 2 18446604505257606624 0 0 -1 5 0 0 0
[pid=18380/tid=18390] ppid=18378 vsize=1393916 CPUtime=0.07 cores=0-31
/proc/18380/task/18390/stat : 18390 (strangenight2-m) S 18378 18380 18232 0 -1 4202560 392 0 0 0 5 2 0 0 17 0 32 0 3783916 1427369984 13355 268435456000 4194304 4580107 140734806918256 18446744073709551615 258651060958 0 0 4096 2 18446604478399471072 0 0 -1 6 0 0 0
[pid=18380/tid=18391] ppid=18378 vsize=1394384 CPUtime=0.09 cores=0-31
/proc/18380/task/18391/stat : 18391 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 391 0 0 0 6 3 0 0 17 0 32 0 3783916 1427849216 13408 268435456000 4194304 4580107 140734806918256 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18380/tid=18392] ppid=18378 vsize=1394252 CPUtime=0.07 cores=0-31
/proc/18380/task/18392/stat : 18392 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 432 0 0 0 5 2 0 0 17 0 32 0 3783916 1427714048 13377 268435456000 4194304 4580107 140734806918256 18446744073709551615 4354962 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=18380/tid=18393] ppid=18378 vsize=1394252 CPUtime=0.08 cores=0-31
/proc/18380/task/18393/stat : 18393 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 418 0 0 0 6 2 0 0 17 0 32 0 3783916 1427714048 13396 268435456000 4194304 4580107 140734806918256 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=18380/tid=18394] ppid=18378 vsize=1394252 CPUtime=0.08 cores=0-31
/proc/18380/task/18394/stat : 18394 (strangenight2-m) S 18378 18380 18232 0 -1 4202560 413 0 0 0 6 2 0 0 17 0 32 0 3783916 1427714048 13408 268435456000 4194304 4580107 140734806918256 18446744073709551615 258651060958 0 0 4096 2 18446604500102077920 0 0 -1 7 0 0 0
[pid=18380/tid=18395] ppid=18378 vsize=1394252 CPUtime=0.07 cores=0-31
/proc/18380/task/18395/stat : 18395 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 437 0 0 0 5 2 0 0 17 0 32 0 3783916 1427714048 13424 268435456000 4194304 4580107 140734806918256 18446744073709551615 258650653097 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=18380/tid=18396] ppid=18378 vsize=1394252 CPUtime=0.08 cores=0-31
/proc/18380/task/18396/stat : 18396 (strangenight2-m) S 18378 18380 18232 0 -1 4202560 366 0 0 0 6 2 0 0 17 0 32 0 3783916 1427714048 13438 268435456000 4194304 4580107 140734806918256 18446744073709551615 258651060958 0 0 4096 2 18446604492847324640 0 0 -1 14 0 0 0
[pid=18380/tid=18397] ppid=18378 vsize=1394252 CPUtime=0.08 cores=0-31
/proc/18380/task/18397/stat : 18397 (strangenight2-m) D 18378 18380 18232 0 -1 4202560 423 0 0 0 5 3 0 0 17 0 32 0 3783916 1427714048 13443 268435456000 4194304 4580107 140734806918256 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=18380/tid=18398] ppid=18378 vsize=1394512 CPUtime=0.07 cores=0-31
/proc/18380/task/18398/stat : 18398 (strangenight2-m) S 18378 18380 18232 0 -1 4202560 401 0 0 0 6 1 0 0 17 0 32 0 3783916 1427980288 13514 268435456000 4194304 4580107 140734806918256 18446744073709551615 258651060958 0 0 4096 2 18446604459674385888 0 0 -1 17 0 0 0
[pid=18380/tid=18399] ppid=18378 vsize=1394512 CPUtime=0.09 cores=0-31
/proc/18380/task/18399/stat : 18399 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 455 0 0 0 6 3 0 0 17 0 32 0 3783916 1427980288 13542 268435456000 4194304 4580107 140734806918256 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=18380/tid=18400] ppid=18378 vsize=1394380 CPUtime=0.08 cores=0-31
/proc/18380/task/18400/stat : 18400 (strangenight2-m) S 18378 18380 18232 0 -1 4202560 369 0 0 0 6 2 0 0 17 0 32 0 3783916 1427845120 13529 268435456000 4194304 4580107 140734806918256 18446744073709551615 258651060958 0 0 4096 2 18446604450210659808 0 0 -1 15 0 0 0
[pid=18380/tid=18401] ppid=18378 vsize=1394380 CPUtime=0.08 cores=0-31
/proc/18380/task/18401/stat : 18401 (strangenight2-m) S 18378 18380 18232 0 -1 4202560 425 0 0 0 5 3 0 0 17 0 32 0 3783916 1427845120 13537 268435456000 4194304 4580107 140734806918256 18446744073709551615 258651060958 0 0 4096 2 18446604463742189024 0 0 -1 21 0 0 0
[pid=18380/tid=18402] ppid=18378 vsize=1394380 CPUtime=0.09 cores=0-31
/proc/18380/task/18402/stat : 18402 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 430 0 0 0 6 3 0 0 17 0 32 0 3783916 1427845120 13548 268435456000 4194304 4580107 140734806918256 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=18380/tid=18403] ppid=18378 vsize=1394380 CPUtime=0.08 cores=0-31
/proc/18380/task/18403/stat : 18403 (strangenight2-m) D 18378 18380 18232 0 -1 4202560 391 0 0 0 6 2 0 0 17 0 32 0 3783916 1427845120 13555 268435456000 4194304 4580107 140734806918256 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=18380/tid=18404] ppid=18378 vsize=1394380 CPUtime=0.08 cores=0-31
/proc/18380/task/18404/stat : 18404 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 412 0 0 0 6 2 0 0 17 0 32 0 3783916 1427845120 13561 268435456000 4194304 4580107 140734806918256 18446744073709551615 4310353 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=18380/tid=18405] ppid=18378 vsize=1394380 CPUtime=0.07 cores=0-31
/proc/18380/task/18405/stat : 18405 (strangenight2-m) S 18378 18380 18232 0 -1 4202560 374 0 0 0 5 2 0 0 17 0 32 0 3783916 1427845120 13575 268435456000 4194304 4580107 140734806918256 18446744073709551615 258651060958 0 0 4096 2 18446604498909601248 0 0 -1 28 0 0 0
[pid=18380/tid=18406] ppid=18378 vsize=1394380 CPUtime=0.03 cores=0-31
/proc/18380/task/18406/stat : 18406 (strangenight2-m) S 18378 18380 18232 0 -1 4202560 376 0 0 0 1 2 0 0 17 0 32 0 3783916 1427845120 13593 268435456000 4194304 4580107 140734806918256 18446744073709551615 258651060958 0 0 4096 2 18446604481658682848 0 0 -1 31 0 0 0
[pid=18380/tid=18407] ppid=18378 vsize=1394380 CPUtime=0.08 cores=0-31
/proc/18380/task/18407/stat : 18407 (strangenight2-m) S 18378 18380 18232 0 -1 4202560 508 0 0 0 6 2 0 0 17 0 32 0 3783916 1427845120 13605 268435456000 4194304 4580107 140734806918256 18446744073709551615 258651060958 0 0 4096 2 18446604557615455712 0 0 -1 16 0 0 0
[pid=18380/tid=18408] ppid=18378 vsize=1394380 CPUtime=0.07 cores=0-31
/proc/18380/task/18408/stat : 18408 (strangenight2-m) S 18378 18380 18232 0 -1 4202560 456 0 0 0 5 2 0 0 17 0 32 0 3783916 1427845120 13622 268435456000 4194304 4580107 140734806918256 18446744073709551615 258651060958 0 0 4096 2 18446744071566933464 0 0 -1 12 0 0 0
[pid=18380/tid=18409] ppid=18378 vsize=1394548 CPUtime=0.07 cores=0-31
/proc/18380/task/18409/stat : 18409 (strangenight2-m) S 18378 18380 18232 0 -1 4202560 524 0 0 0 5 2 0 0 17 0 32 0 3783916 1428017152 13697 268435456000 4194304 4580107 140734806918256 18446744073709551615 258651060958 0 0 4096 2 18446604454625549792 0 0 -1 20 0 0 0
[pid=18380/tid=18410] ppid=18378 vsize=1394548 CPUtime=0.07 cores=0-31
/proc/18380/task/18410/stat : 18410 (strangenight2-m) S 18378 18380 18232 0 -1 4202560 347 0 0 0 5 2 0 0 17 0 32 0 3783917 1428017152 13739 268435456000 4194304 4580107 140734806918256 18446744073709551615 258651060958 0 0 4096 2 18446604452579401184 0 0 -1 26 0 0 0
[pid=18380/tid=18411] ppid=18378 vsize=1394548 CPUtime=0.08 cores=0-31
/proc/18380/task/18411/stat : 18411 (strangenight2-m) D 18378 18380 18232 0 -1 4202560 382 0 0 0 5 3 0 0 17 0 32 0 3783917 1428017152 13764 268435456000 4194304 4580107 140734806918256 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 1393788
[startup+0.208508 s]
/proc/loadavg: 27.71 30.49 31.46 1/413 18380
/proc/meminfo: memFree=263740612/264257624 swapFree=67044744/67111528
[pid=18380] ppid=18378 vsize=1414516 CPUtime=4.14 cores=0-31
/proc/18380/stat : 18380 (strangenight2-m) R 18378 18380 18232 0 -1 4202496 29310 0 0 0 230 184 0 0 17 0 32 0 3783916 1448464384 26058 268435456000 4194304 4580107 140734806918256 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18380/statm: 353629 26134 335 95 0 348611 0
[pid=18380/tid=18381] ppid=18378 vsize=1414516 CPUtime=0.12 cores=0-31
/proc/18380/task/18381/stat : 18381 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 975 0 0 0 8 4 0 0 17 0 32 0 3783916 1448464384 26147 268435456000 4194304 4580107 140734806918256 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18380/tid=18382] ppid=18378 vsize=1414516 CPUtime=0.13 cores=0-31
/proc/18380/task/18382/stat : 18382 (strangenight2-m) S 18378 18380 18232 0 -1 4202560 926 0 0 0 7 6 0 0 17 0 32 0 3783916 1448464384 26287 268435456000 4194304 4580107 140734806918256 18446744073709551615 258651060958 0 0 4096 2 18446604456653241824 0 0 -1 24 0 0 0
[pid=18380/tid=18383] ppid=18378 vsize=1414516 CPUtime=0.1 cores=0-31
/proc/18380/task/18383/stat : 18383 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 853 0 0 0 5 5 0 0 17 0 32 0 3783916 1448464384 26314 268435456000 4194304 4580107 140734806918256 18446744073709551615 4511058 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=18380/tid=18384] ppid=18378 vsize=1414516 CPUtime=0.09 cores=0-31
/proc/18380/task/18384/stat : 18384 (strangenight2-m) S 18378 18380 18232 0 -1 4202560 811 0 0 0 4 5 0 0 17 0 32 0 3783916 1448464384 26330 268435456000 4194304 4580107 140734806918256 18446744073709551615 258651060958 0 0 4096 2 18446744071566932184 0 0 -1 29 0 0 0
[pid=18380/tid=18385] ppid=18378 vsize=1414516 CPUtime=0.1 cores=0-31
/proc/18380/task/18385/stat : 18385 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 881 0 0 0 4 6 0 0 17 0 32 0 3783916 1448464384 26400 268435456000 4194304 4580107 140734806918256 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=18380/tid=18386] ppid=18378 vsize=1414516 CPUtime=0.13 cores=0-31
/proc/18380/task/18386/stat : 18386 (strangenight2-m) S 18378 18380 18232 0 -1 4202560 1023 0 0 0 8 5 0 0 17 0 32 0 3783916 1448464384 26412 268435456000 4194304 4580107 140734806918256 18446744073709551615 258651060958 0 0 4096 2 18446604491049229792 0 0 -1 2 0 0 0
[pid=18380/tid=18387] ppid=18378 vsize=1414516 CPUtime=0.12 cores=0-31
/proc/18380/task/18387/stat : 18387 (strangenight2-m) S 18378 18380 18232 0 -1 4202560 1123 0 0 0 7 5 0 0 17 0 32 0 3783916 1448464384 26443 268435456000 4194304 4580107 140734806918256 18446744073709551615 258651060958 0 0 4096 2 18446604454448823776 0 0 -1 4 0 0 0
[pid=18380/tid=18388] ppid=18378 vsize=1414516 CPUtime=0.13 cores=0-31
/proc/18380/task/18388/stat : 18388 (strangenight2-m) S 18378 18380 18232 0 -1 4202560 1091 0 0 0 7 6 0 0 17 0 32 0 3783916 1448464384 26470 268435456000 4194304 4580107 140734806918256 18446744073709551615 258651060958 0 0 4096 2 18446604500102077920 0 0 -1 8 0 0 0
[pid=18380/tid=18389] ppid=18378 vsize=1414516 CPUtime=0.11 cores=0-31
/proc/18380/task/18389/stat : 18389 (strangenight2-m) S 18378 18380 18232 0 -1 4202560 708 0 0 0 7 4 0 0 17 0 32 0 3783916 1448464384 26502 268435456000 4194304 4580107 140734806918256 18446744073709551615 258651060958 0 0 4096 2 18446604467306986976 0 0 -1 5 0 0 0
[pid=18380/tid=18390] ppid=18378 vsize=1414516 CPUtime=0.13 cores=0-31
/proc/18380/task/18390/stat : 18390 (strangenight2-m) S 18378 18380 18232 0 -1 4202560 867 0 0 0 8 5 0 0 17 0 32 0 3783916 1448464384 26511 268435456000 4194304 4580107 140734806918256 18446744073709551615 258651060958 0 0 4096 2 18446604501107981792 0 0 -1 6 0 0 0
[pid=18380/tid=18391] ppid=18378 vsize=1414516 CPUtime=0.13 cores=0-31
/proc/18380/task/18391/stat : 18391 (strangenight2-m) S 18378 18380 18232 0 -1 4202560 940 0 0 0 7 6 0 0 17 0 32 0 3783916 1448464384 26519 268435456000 4194304 4580107 140734806918256 18446744073709551615 258651060958 0 0 4096 2 18446604481658682848 0 0 -1 3 0 0 0
[pid=18380/tid=18392] ppid=18378 vsize=1414516 CPUtime=0.12 cores=0-31
/proc/18380/task/18392/stat : 18392 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 849 0 0 0 7 5 0 0 17 0 32 0 3783916 1448464384 26535 268435456000 4194304 4580107 140734806918256 18446744073709551615 258650653097 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=18380/tid=18393] ppid=18378 vsize=1414516 CPUtime=0.13 cores=0-31
/proc/18380/task/18393/stat : 18393 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 756 0 0 0 7 6 0 0 17 0 32 0 3783916 1448464384 26594 268435456000 4194304 4580107 140734806918256 18446744073709551615 258651061007 0 0 4096 2 18446744071566927264 0 0 -1 10 0 0 0
[pid=18380/tid=18394] ppid=18378 vsize=1414516 CPUtime=0.13 cores=0-31
/proc/18380/task/18394/stat : 18394 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 909 0 0 0 7 6 0 0 17 0 32 0 3783916 1448464384 26612 268435456000 4194304 4580107 140734806918256 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18380/tid=18395] ppid=18378 vsize=1414516 CPUtime=0.12 cores=0-31
/proc/18380/task/18395/stat : 18395 (strangenight2-m) S 18378 18380 18232 0 -1 4202560 890 0 0 0 7 5 0 0 17 0 32 0 3783916 1448464384 26636 268435456000 4194304 4580107 140734806918256 18446744073709551615 258651060958 0 0 4096 2 18446604463742189024 0 0 -1 13 0 0 0
[pid=18380/tid=18396] ppid=18378 vsize=1414516 CPUtime=0.13 cores=0-31
/proc/18380/task/18396/stat : 18396 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 776 0 0 0 8 5 0 0 17 0 32 0 3783916 1448464384 26658 268435456000 4194304 4580107 140734806918256 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=18380/tid=18397] ppid=18378 vsize=1414516 CPUtime=0.13 cores=0-31
################
# More data... #
################
[pid=18380/tid=18410] ppid=18378 vsize=4118840 CPUtime=25.52 cores=0-31
/proc/18380/task/18410/stat : 18410 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 28197 0 0 0 2389 163 0 0 25 0 32 0 3783917 4217692160 733693 268435456000 4194304 4580107 140734806918256 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=18380/tid=18411] ppid=18378 vsize=4118840 CPUtime=26.24 cores=0-31
/proc/18380/task/18411/stat : 18411 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 14806 0 0 0 2535 89 0 0 25 0 32 0 3783917 4217692160 733693 268435456000 4194304 4580107 140734806918256 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 819.01
Current children cumulated vsize (KiB) 4118840
[startup+29.6014 s]
/proc/loadavg: 28.82 30.47 31.41 33/445 18414
/proc/meminfo: memFree=260780032/264257624 swapFree=67044744/67111528
[pid=18380] ppid=18378 vsize=4156040 CPUtime=844.55 cores=0-31
/proc/18380/stat : 18380 (strangenight2-m) R 18378 18380 18232 0 -1 4202496 904415 0 0 0 79575 4880 0 0 25 0 32 0 3783916 4255784960 726290 268435456000 4194304 4580107 140734806918256 18446744073709551615 4306352 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18380/statm: 1039010 725778 384 95 0 1033992 0
[pid=18380/tid=18381] ppid=18378 vsize=4156040 CPUtime=25.93 cores=0-31
/proc/18380/task/18381/stat : 18381 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 28351 0 0 0 2439 154 0 0 25 0 32 0 3783916 4255784960 725778 268435456000 4194304 4580107 140734806918256 18446744073709551615 4325710 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=18380/tid=18382] ppid=18378 vsize=4156040 CPUtime=26.7 cores=0-31
/proc/18380/task/18382/stat : 18382 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 27147 0 0 0 2538 132 0 0 25 0 32 0 3783916 4255784960 725778 268435456000 4194304 4580107 140734806918256 18446744073709551615 4301898 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=18380/tid=18383] ppid=18378 vsize=4156040 CPUtime=26 cores=0-31
/proc/18380/task/18383/stat : 18383 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 30720 0 0 0 2441 159 0 0 25 0 32 0 3783916 4255784960 725778 268435456000 4194304 4580107 140734806918256 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=18380/tid=18384] ppid=18378 vsize=4156040 CPUtime=26.16 cores=0-31
/proc/18380/task/18384/stat : 18384 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 29782 0 0 0 2450 166 0 0 25 0 32 0 3783916 4255784960 725502 268435456000 4194304 4580107 140734806918256 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=18380/tid=18385] ppid=18378 vsize=4156040 CPUtime=26.04 cores=0-31
/proc/18380/task/18385/stat : 18385 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 24769 0 0 0 2435 169 0 0 22 0 32 0 3783916 4255784960 725502 268435456000 4194304 4580107 140734806918256 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=18380/tid=18386] ppid=18378 vsize=4156040 CPUtime=26.32 cores=0-31
/proc/18380/task/18386/stat : 18386 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 28171 0 0 0 2469 163 0 0 25 0 32 0 3783916 4255784960 725266 268435456000 4194304 4580107 140734806918256 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=18380/tid=18387] ppid=18378 vsize=4156040 CPUtime=26.72 cores=0-31
/proc/18380/task/18387/stat : 18387 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 26669 0 0 0 2547 125 0 0 25 0 32 0 3783916 4255784960 725266 268435456000 4194304 4580107 140734806918256 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=18380/tid=18388] ppid=18378 vsize=4156040 CPUtime=26.47 cores=0-31
/proc/18380/task/18388/stat : 18388 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 27609 0 0 0 2488 159 0 0 25 0 32 0 3783916 4255784960 725266 268435456000 4194304 4580107 140734806918256 18446744073709551615 4293802 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=18380/tid=18389] ppid=18378 vsize=4156040 CPUtime=26.26 cores=0-31
/proc/18380/task/18389/stat : 18389 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 30971 0 0 0 2464 162 0 0 25 0 32 0 3783916 4255784960 725266 268435456000 4194304 4580107 140734806918256 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=18380/tid=18390] ppid=18378 vsize=4156040 CPUtime=26.27 cores=0-31
/proc/18380/task/18390/stat : 18390 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 30122 0 0 0 2456 171 0 0 25 0 32 0 3783916 4255784960 725266 268435456000 4194304 4580107 140734806918256 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=18380/tid=18391] ppid=18378 vsize=4156040 CPUtime=26.45 cores=0-31
/proc/18380/task/18391/stat : 18391 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 30612 0 0 0 2478 167 0 0 25 0 32 0 3783916 4255784960 724754 268435456000 4194304 4580107 140734806918256 18446744073709551615 258650999159 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=18380/tid=18392] ppid=18378 vsize=4156040 CPUtime=26.26 cores=0-31
/proc/18380/task/18392/stat : 18392 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 30608 0 0 0 2468 158 0 0 25 0 32 0 3783916 4255784960 724514 268435456000 4194304 4580107 140734806918256 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18380/tid=18393] ppid=18378 vsize=4156040 CPUtime=26.37 cores=0-31
/proc/18380/task/18393/stat : 18393 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 30723 0 0 0 2477 160 0 0 25 0 32 0 3783916 4255784960 724514 268435456000 4194304 4580107 140734806918256 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=18380/tid=18394] ppid=18378 vsize=4156040 CPUtime=25.69 cores=0-31
/proc/18380/task/18394/stat : 18394 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 27592 0 0 0 2400 169 0 0 25 0 32 0 3783916 4255784960 724514 268435456000 4194304 4580107 140734806918256 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=18380/tid=18395] ppid=18378 vsize=4147836 CPUtime=26.05 cores=0-31
/proc/18380/task/18395/stat : 18395 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 29558 0 0 0 2442 163 0 0 25 0 32 0 3783916 4247384064 724514 268435456000 4194304 4580107 140734806918256 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=18380/tid=18396] ppid=18378 vsize=4147836 CPUtime=26.5 cores=0-31
/proc/18380/task/18396/stat : 18396 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 28110 0 0 0 2498 152 0 0 25 0 32 0 3783916 4247384064 724516 268435456000 4194304 4580107 140734806918256 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=18380/tid=18397] ppid=18378 vsize=4147836 CPUtime=26.12 cores=0-31
/proc/18380/task/18397/stat : 18397 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 29566 0 0 0 2450 162 0 0 25 0 32 0 3783916 4247384064 724516 268435456000 4194304 4580107 140734806918256 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=18380/tid=18398] ppid=18378 vsize=4147836 CPUtime=26.23 cores=0-31
/proc/18380/task/18398/stat : 18398 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 27527 0 0 0 2466 157 0 0 25 0 32 0 3783916 4247384064 724516 268435456000 4194304 4580107 140734806918256 18446744073709551615 4305960 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=18380/tid=18399] ppid=18378 vsize=4147836 CPUtime=26.37 cores=0-31
/proc/18380/task/18399/stat : 18399 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 27839 0 0 0 2472 165 0 0 25 0 32 0 3783916 4247384064 724516 268435456000 4194304 4580107 140734806918256 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18380/tid=18400] ppid=18378 vsize=4147836 CPUtime=26.2 cores=0-31
/proc/18380/task/18400/stat : 18400 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 29653 0 0 0 2440 180 0 0 25 0 32 0 3783916 4247384064 724516 268435456000 4194304 4580107 140734806918256 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=18380/tid=18401] ppid=18378 vsize=4147836 CPUtime=26.23 cores=0-31
/proc/18380/task/18401/stat : 18401 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 29723 0 0 0 2456 167 0 0 25 0 32 0 3783916 4247384064 724516 268435456000 4194304 4580107 140734806918256 18446744073709551615 4292985 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=18380/tid=18402] ppid=18378 vsize=4147836 CPUtime=26.3 cores=0-31
/proc/18380/task/18402/stat : 18402 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 25546 0 0 0 2473 157 0 0 25 0 32 0 3783916 4247384064 724516 268435456000 4194304 4580107 140734806918256 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18380/tid=18403] ppid=18378 vsize=4147836 CPUtime=26.46 cores=0-31
/proc/18380/task/18403/stat : 18403 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 28940 0 0 0 2480 166 0 0 22 0 32 0 3783916 4247384064 724516 268435456000 4194304 4580107 140734806918256 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18380/tid=18404] ppid=18378 vsize=4147836 CPUtime=26.45 cores=0-31
/proc/18380/task/18404/stat : 18404 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 28579 0 0 0 2491 154 0 0 25 0 32 0 3783916 4247384064 724516 268435456000 4194304 4580107 140734806918256 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=18380/tid=18405] ppid=18378 vsize=4147836 CPUtime=27.08 cores=0-31
/proc/18380/task/18405/stat : 18405 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 28274 0 0 0 2599 109 0 0 25 0 32 0 3783916 4247384064 724516 268435456000 4194304 4580107 140734806918256 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18380/tid=18406] ppid=18378 vsize=4147836 CPUtime=26.11 cores=0-31
/proc/18380/task/18406/stat : 18406 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 29037 0 0 0 2436 175 0 0 25 0 32 0 3783916 4247384064 724516 268435456000 4194304 4580107 140734806918256 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=18380/tid=18407] ppid=18378 vsize=4147836 CPUtime=26.67 cores=0-31
/proc/18380/task/18407/stat : 18407 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 30830 0 0 0 2536 131 0 0 25 0 32 0 3783916 4247384064 724516 268435456000 4194304 4580107 140734806918256 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18380/tid=18408] ppid=18378 vsize=4147836 CPUtime=26.76 cores=0-31
/proc/18380/task/18408/stat : 18408 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 28468 0 0 0 2537 139 0 0 25 0 32 0 3783916 4247384064 724516 268435456000 4194304 4580107 140734806918256 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=18380/tid=18409] ppid=18378 vsize=4147836 CPUtime=26.89 cores=0-31
/proc/18380/task/18409/stat : 18409 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 28425 0 0 0 2572 117 0 0 25 0 32 0 3783916 4247384064 724516 268435456000 4194304 4580107 140734806918256 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=18380/tid=18410] ppid=18378 vsize=4147836 CPUtime=26.32 cores=0-31
/proc/18380/task/18410/stat : 18410 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 28226 0 0 0 2469 163 0 0 25 0 32 0 3783917 4247384064 724516 268435456000 4194304 4580107 140734806918256 18446744073709551615 4295385 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=18380/tid=18411] ppid=18378 vsize=4147836 CPUtime=27.04 cores=0-31
/proc/18380/task/18411/stat : 18411 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 14816 0 0 0 2615 89 0 0 25 0 32 0 3783917 4247384064 724516 268435456000 4194304 4580107 140734806918256 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 844.55
Current children cumulated vsize (KiB) 4156040
[startup+30.4014 s]
/proc/loadavg: 28.82 30.47 31.41 33/445 18414
/proc/meminfo: memFree=260823060/264257624 swapFree=67044744/67111528
[pid=18380] ppid=18378 vsize=4155088 CPUtime=870.12 cores=0-31
/proc/18380/stat : 18380 (strangenight2-m) R 18378 18380 18232 0 -1 4202496 906507 0 0 0 82131 4881 0 0 25 0 32 0 3783916 4254810112 722563 268435456000 4194304 4580107 140734806918256 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18380/statm: 1038772 722563 384 95 0 1033754 0
[pid=18380/tid=18381] ppid=18378 vsize=4155088 CPUtime=26.73 cores=0-31
/proc/18380/task/18381/stat : 18381 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 28375 0 0 0 2519 154 0 0 25 0 32 0 3783916 4254810112 722563 268435456000 4194304 4580107 140734806918256 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=18380/tid=18382] ppid=18378 vsize=4155088 CPUtime=27.5 cores=0-31
/proc/18380/task/18382/stat : 18382 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 27163 0 0 0 2618 132 0 0 25 0 32 0 3783916 4254810112 722563 268435456000 4194304 4580107 140734806918256 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=18380/tid=18383] ppid=18378 vsize=4155088 CPUtime=26.8 cores=0-31
/proc/18380/task/18383/stat : 18383 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 30741 0 0 0 2521 159 0 0 25 0 32 0 3783916 4254810112 722563 268435456000 4194304 4580107 140734806918256 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=18380/tid=18384] ppid=18378 vsize=4155088 CPUtime=26.96 cores=0-31
/proc/18380/task/18384/stat : 18384 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 29795 0 0 0 2530 166 0 0 25 0 32 0 3783916 4254810112 722563 268435456000 4194304 4580107 140734806918256 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=18380/tid=18385] ppid=18378 vsize=4155088 CPUtime=26.84 cores=0-31
/proc/18380/task/18385/stat : 18385 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 24787 0 0 0 2515 169 0 0 25 0 32 0 3783916 4254810112 722563 268435456000 4194304 4580107 140734806918256 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=18380/tid=18386] ppid=18378 vsize=4155088 CPUtime=27.12 cores=0-31
/proc/18380/task/18386/stat : 18386 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 28191 0 0 0 2549 163 0 0 25 0 32 0 3783916 4254810112 722563 268435456000 4194304 4580107 140734806918256 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=18380/tid=18387] ppid=18378 vsize=4155088 CPUtime=27.52 cores=0-31
/proc/18380/task/18387/stat : 18387 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 26683 0 0 0 2627 125 0 0 25 0 32 0 3783916 4254810112 722563 268435456000 4194304 4580107 140734806918256 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=18380/tid=18388] ppid=18378 vsize=4155088 CPUtime=27.27 cores=0-31
/proc/18380/task/18388/stat : 18388 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 27624 0 0 0 2568 159 0 0 25 0 32 0 3783916 4254810112 722563 268435456000 4194304 4580107 140734806918256 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=18380/tid=18389] ppid=18378 vsize=4155088 CPUtime=27.06 cores=0-31
/proc/18380/task/18389/stat : 18389 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 30992 0 0 0 2544 162 0 0 25 0 32 0 3783916 4254810112 722563 268435456000 4194304 4580107 140734806918256 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=18380/tid=18390] ppid=18378 vsize=4155088 CPUtime=27.07 cores=0-31
/proc/18380/task/18390/stat : 18390 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 30140 0 0 0 2536 171 0 0 25 0 32 0 3783916 4254810112 722563 268435456000 4194304 4580107 140734806918256 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=18380/tid=18391] ppid=18378 vsize=4155088 CPUtime=27.25 cores=0-31
/proc/18380/task/18391/stat : 18391 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 30629 0 0 0 2558 167 0 0 25 0 32 0 3783916 4254810112 722563 268435456000 4194304 4580107 140734806918256 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=18380/tid=18392] ppid=18378 vsize=4155088 CPUtime=27.06 cores=0-31
/proc/18380/task/18392/stat : 18392 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 30631 0 0 0 2548 158 0 0 25 0 32 0 3783916 4254810112 722563 268435456000 4194304 4580107 140734806918256 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18380/tid=18393] ppid=18378 vsize=4155088 CPUtime=27.17 cores=0-31
/proc/18380/task/18393/stat : 18393 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 30742 0 0 0 2557 160 0 0 25 0 32 0 3783916 4254810112 722563 268435456000 4194304 4580107 140734806918256 18446744073709551615 4294410 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=18380/tid=18394] ppid=18378 vsize=4155088 CPUtime=26.46 cores=0-31
/proc/18380/task/18394/stat : 18394 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 28407 0 0 0 2477 169 0 0 25 0 32 0 3783916 4254810112 722563 268435456000 4194304 4580107 140734806918256 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=18380/tid=18395] ppid=18378 vsize=4155088 CPUtime=26.85 cores=0-31
/proc/18380/task/18395/stat : 18395 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 29577 0 0 0 2522 163 0 0 25 0 32 0 3783916 4254810112 722563 268435456000 4194304 4580107 140734806918256 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=18380/tid=18396] ppid=18378 vsize=4155088 CPUtime=27.3 cores=0-31
/proc/18380/task/18396/stat : 18396 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 28874 0 0 0 2578 152 0 0 25 0 32 0 3783916 4254810112 722563 268435456000 4194304 4580107 140734806918256 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=18380/tid=18397] ppid=18378 vsize=4155088 CPUtime=26.92 cores=0-31
/proc/18380/task/18397/stat : 18397 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 29577 0 0 0 2530 162 0 0 25 0 32 0 3783916 4254810112 722563 268435456000 4194304 4580107 140734806918256 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=18380/tid=18398] ppid=18378 vsize=4155088 CPUtime=27.03 cores=0-31
/proc/18380/task/18398/stat : 18398 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 27544 0 0 0 2546 157 0 0 25 0 32 0 3783916 4254810112 722563 268435456000 4194304 4580107 140734806918256 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=18380/tid=18399] ppid=18378 vsize=4155088 CPUtime=27.17 cores=0-31
/proc/18380/task/18399/stat : 18399 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 27860 0 0 0 2552 165 0 0 25 0 32 0 3783916 4254810112 722563 268435456000 4194304 4580107 140734806918256 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18380/tid=18400] ppid=18378 vsize=4155088 CPUtime=27 cores=0-31
/proc/18380/task/18400/stat : 18400 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 29669 0 0 0 2520 180 0 0 25 0 32 0 3783916 4254810112 722563 268435456000 4194304 4580107 140734806918256 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=18380/tid=18401] ppid=18378 vsize=4155088 CPUtime=27.03 cores=0-31
/proc/18380/task/18401/stat : 18401 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 29741 0 0 0 2536 167 0 0 25 0 32 0 3783916 4254810112 722563 268435456000 4194304 4580107 140734806918256 18446744073709551615 258650980487 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=18380/tid=18402] ppid=18378 vsize=4155088 CPUtime=27.1 cores=0-31
/proc/18380/task/18402/stat : 18402 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 25563 0 0 0 2553 157 0 0 25 0 32 0 3783916 4254810112 722563 268435456000 4194304 4580107 140734806918256 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18380/tid=18403] ppid=18378 vsize=4155088 CPUtime=27.26 cores=0-31
/proc/18380/task/18403/stat : 18403 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 28960 0 0 0 2560 166 0 0 25 0 32 0 3783916 4254810112 722563 268435456000 4194304 4580107 140734806918256 18446744073709551615 4316365 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18380/tid=18404] ppid=18378 vsize=4155088 CPUtime=27.25 cores=0-31
/proc/18380/task/18404/stat : 18404 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 28594 0 0 0 2571 154 0 0 25 0 32 0 3783916 4254810112 722563 268435456000 4194304 4580107 140734806918256 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=18380/tid=18405] ppid=18378 vsize=4155088 CPUtime=27.88 cores=0-31
/proc/18380/task/18405/stat : 18405 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 28286 0 0 0 2679 109 0 0 25 0 32 0 3783916 4254810112 722563 268435456000 4194304 4580107 140734806918256 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18380/tid=18406] ppid=18378 vsize=4155088 CPUtime=26.91 cores=0-31
/proc/18380/task/18406/stat : 18406 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 29057 0 0 0 2516 175 0 0 25 0 32 0 3783916 4254810112 722563 268435456000 4194304 4580107 140734806918256 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=18380/tid=18407] ppid=18378 vsize=4155088 CPUtime=27.47 cores=0-31
/proc/18380/task/18407/stat : 18407 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 30846 0 0 0 2616 131 0 0 25 0 32 0 3783916 4254810112 722563 268435456000 4194304 4580107 140734806918256 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18380/tid=18408] ppid=18378 vsize=4155088 CPUtime=27.56 cores=0-31
/proc/18380/task/18408/stat : 18408 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 28484 0 0 0 2617 139 0 0 25 0 32 0 3783916 4254810112 722563 268435456000 4194304 4580107 140734806918256 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=18380/tid=18409] ppid=18378 vsize=4155088 CPUtime=27.68 cores=0-31
/proc/18380/task/18409/stat : 18409 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 28439 0 0 0 2651 117 0 0 25 0 32 0 3783916 4254810112 722563 268435456000 4194304 4580107 140734806918256 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=18380/tid=18410] ppid=18378 vsize=4155088 CPUtime=27.12 cores=0-31
/proc/18380/task/18410/stat : 18410 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 28241 0 0 0 2549 163 0 0 25 0 32 0 3783917 4254810112 722563 268435456000 4194304 4580107 140734806918256 18446744073709551615 4293270 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=18380/tid=18411] ppid=18378 vsize=4155088 CPUtime=27.84 cores=0-31
/proc/18380/task/18411/stat : 18411 (strangenight2-m) R 18378 18380 18232 0 -1 4202560 14823 0 0 0 2695 89 0 0 25 0 32 0 3783917 4254810112 722563 268435456000 4194304 4580107 140734806918256 18446744073709551615 4293125 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 870.12
Current children cumulated vsize (KiB) 4155088
[startup+30.6015 s]
/proc/loadavg: 28.82 30.47 31.41 33/445 18414
/proc/meminfo: memFree=260823060/264257624 swapFree=67044744/67111528
[pid=18380] ppid=18378 vsize=0 CPUtime=873.39 cores=0-31
/proc/18380/stat : 18380 (strangenight2-m) Z 18378 18380 18232 0 -1 4203548 906607 0 0 0 82448 4891 0 0 25 0 2 0 3783916 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18380/statm: 0 0 0 0 0 0 0
[pid=18380/tid=18408] ppid=18378 vsize=0 CPUtime=27.76 cores=0-31
/proc/18380/task/18408/stat : 18408 (strangenight2-m) R 18378 18380 18232 0 -1 4203588 28487 0 0 0 2627 149 0 0 25 0 2 0 3783916 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 873.39
Current children cumulated vsize (KiB) 0
[startup+30.7006 s]
/proc/loadavg: 28.82 30.47 31.41 33/445 18414
/proc/meminfo: memFree=260823060/264257624 swapFree=67044744/67111528
[pid=18380] ppid=18378 vsize=0 CPUtime=873.49 cores=0-31
/proc/18380/stat : 18380 (strangenight2-m) Z 18378 18380 18232 0 -1 4203548 906607 0 0 0 82448 4901 0 0 25 0 2 0 3783916 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18380/statm: 0 0 0 0 0 0 0
[pid=18380/tid=18408] ppid=18378 vsize=0 CPUtime=27.86 cores=0-31
/proc/18380/task/18408/stat : 18408 (strangenight2-m) R 18378 18380 18232 0 -1 4203588 28487 0 0 0 2627 159 0 0 25 0 2 0 3783916 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 873.49
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 30.7096
CPU time (s): 873.503
CPU user time (s): 824.482
CPU system time (s): 49.0215
CPU usage (%): 2844.39
Max. virtual memory (cumulated for all children) (KiB): 4163292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 824.482
system time used= 49.0215
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 906607
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= 1615465
involuntary context switches= 24226
runsolver used 0.264959 second user time and 0.840872 second system time
The end
Begin job on node200 at 2011-05-30 19:56:19
IDJOB=3400775
IDBENCH=82471
IDSOLVER=1886
FILE ID=node200/3400775-1306778179
RUNJOBID= node200-1306777938-18246
PBS_JOBID= 13471832
Free space on /tmp= 61576 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400775-1306778179/watcher-3400775-1306778179 -o /tmp/evaluation-result-3400775-1306778179/solver-3400775-1306778179 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400775-1306778179.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 2b5c02650b763b7d13b77ce3fc61aa15
RANDOM SEED=1832188251
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.042
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.08
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.042
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.07
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.042
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.12
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.042
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.14
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.042
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.042
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.08
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.042
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.09
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.042
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.08
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.042
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.05
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.042
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.14
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.042
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.11
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.042
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.12
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.042
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 : 3990.02
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.042
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 : 3990.08
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.042
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.06
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.042
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.10
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.042
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.07
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.042
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.13
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.042
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.042
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 : 3989.95
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.042
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.06
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.042
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.042
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.07
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.042
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.09
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.042
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.06
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.042
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.06
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.042
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.09
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.042
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.05
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.042
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 : 3996.76
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.042
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.08
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.042
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.05
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.042
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: 263740900 kB
Buffers: 46832 kB
Cached: 288076 kB
SwapCached: 29732 kB
Active: 120952 kB
Inactive: 245836 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263740900 kB
SwapTotal: 67111528 kB
SwapFree: 67044744 kB
Dirty: 11980 kB
Writeback: 0 kB
AnonPages: 30252 kB
Mapped: 8692 kB
Slab: 58868 kB
PageTables: 4228 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 173824 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= 61568 MiB
End job on node200 at 2011-05-30 19:56:50