0.00/0.00 c Outputting solution to console
0.00/0.03 c Using 32 threads
0.00/0.05 c This is CryptoMiniSat 3.0.0
0.00/0.05 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05 c Reading file 'HOME/instance-3400891-1307113363.cnf'
0.00/0.06 c -- header says num vars: 3600
0.00/0.06 c -- header says num clauses: 10681
1.60/0.18 c -- clauses added: 0 learnts, 10681 normals, 0 xors
1.60/0.18 c -- vars added 3600
1.60/0.18 c Parsing time: 0.01 s
1.60/0.18 c N st 0 0 3600 3721 6960 0 25140 0 no data no data
19.04/0.78 c asymm cl-useful: 0/3721/3721 lits-rem:0 time: 0.59
97.03/4.33 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1394 Bins: 0 BRemL: 0 BRemN: 0 P: 11.9M T: 2.25
97.03/4.33 c Replacing 1394 vars Replaced 22901 lits Time: 0.00 s
97.03/4.33 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
97.03/4.33 c bin-w-bin subsume rem 401 bins time: 0.00 s
97.03/4.33 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
97.03/4.35 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 2206 time: 0.01 s
97.03/4.36 c Removed useless bin: 615 fixed: 0 props: 0.82M time: 0.01 s
97.03/4.37 c lits-rem: 13 cl-subs: 8 v-elim: 735 v-fix: 0 time: 0.01 s
99.96/4.41 c Finding binary XORs T: 0.04 s found: 76
99.96/4.41 c Replacing 76 vars Replaced 924 lits Time: 0.00 s
99.96/4.41 c Finding non-binary XORs: 0.00 s (found: 60, avg size: 3.0)
99.96/4.41 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 126 time: 0.00
99.96/4.41 c Replacing 24 vars Replaced 144 lits Time: 0.00 s
99.96/4.41 c calculated reachability. Time: 0.00
99.96/4.42 c Calc default polars - time: 0.00 s pos: 656 undec: 2265 neg: 679
99.96/4.42 c =========================================================================================
99.96/4.42 c types(t): F = full restart, N = normal restart
99.96/4.42 c types(t): S = simplification begin/end, E = solution found
99.96/4.42 c restart types(rt): st = static, dy = dynamic
99.96/4.42 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
99.96/4.42 c B st 0 0 1371 1833 3132 0 12468 0 no data no data
105.30/4.71 c Following stats are for *FIRST FINISHED THREAD ONLY*
105.30/4.71 c num threads : 32
105.30/4.71 c restarts : 7
105.30/4.71 c dynamic restarts : 1
105.30/4.71 c static restarts : 6
105.30/4.71 c full restarts : 0
105.30/4.71 c total simplify time : 0.00
105.30/4.71 c learnts DL2 : 0
105.30/4.71 c learnts size 2 : 7166
105.30/4.71 c learnts size 1 : 2710 (75.28 % of vars)
105.30/4.71 c filedLit time : 0.00 (0.00 % time)
105.30/4.72 c v-elim SatELite : 0 (0.00 % vars)
105.30/4.72 c SatELite time : 0.00 (0.00 % time)
105.30/4.72 c v-elim xor : 0 (0.00 % vars)
105.30/4.72 c xor elim time : 0.00 (0.00 % time)
105.30/4.72 c num binary xor trees : 0
105.30/4.72 c binxor trees' crown : 0 (nan leafs/tree)
105.30/4.72 c bin xor find time : 0.00
105.30/4.72 c OTF clause improved : 35 (0.02 clauses/conflict)
105.30/4.72 c OTF impr. size diff : 50 (1.43 lits/clause)
105.30/4.72 c OTF cl watch-shrink : 529 (0.25 clauses/conflict)
105.30/4.72 c OTF cl watch-sh-lit : 944 (1.78 lits/clause)
105.30/4.72 c tried to recurMin cls : 1208 (56.61 % of conflicts)
105.30/4.72 c updated cache : 1709 (1.41 lits/tried recurMin)
105.30/4.72 c unit cls recevied : 0 (0.00 % of units)
105.30/4.72 c unit cls sent : 0 (0.00 % of units)
105.30/4.72 c bin cls recevied : 0
105.30/4.72 c bin cls sent : 0
105.30/4.72 c clauses over max glue : 0 (0.00 % of all clauses)
105.30/4.72 c conflicts : 2134 (469.29 / sec)
105.30/4.72 c decisions : 4383 (0.71 % random)
105.30/4.72 c bogo-props : 5076568 (1116389.74 / sec)
105.30/4.72 c conflict literals : 66826 (38.08 % deleted)
105.30/4.72 c Memory used : 2428.14 MB
105.30/4.72 c single-thread CPU time : 4.55 s
105.30/4.72 c all-threads sum CPU time : 102.37 s
105.30/4.72 s UNSATISFIABLE
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3400891-1307113363/watcher-3400891-1307113363 -o /tmp/evaluation-result-3400891-1307113363/solver-3400891-1307113363 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400891-1307113363.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): 267264000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 267315200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 10.48 4.55 6.11 1/413 16030
/proc/meminfo: memFree=262901360/264257624 swapFree=67054988/67111528
[pid=16030] ppid=16028 vsize=338000 CPUtime=0.85 cores=0-31
/proc/16030/stat : 16030 (strangenight2-m) R 16028 16030 15888 0 -1 4202496 468 0 0 0 85 0 0 0 25 0 32 0 17248706 346112000 408 268435456000 4194304 4580107 140737004146016 18446744073709551615 47576339707826 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16030/statm: 84500 408 300 95 0 79482 0
[pid=16030/tid=16031] ppid=16028 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16030/task/16031/stat : 16031 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 1 0 0 0 3 0 0 0 22 0 32 0 17248706 346112000 408 268435456000 4194304 4580107 140737004146016 18446744073709551615 47576339707417 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16030/tid=16032] ppid=16028 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16030/task/16032/stat : 16032 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4 0 0 0 3 0 0 0 23 0 32 0 17248706 346112000 408 268435456000 4194304 4580107 140737004146016 18446744073709551615 47576339707415 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=16030/tid=16033] ppid=16028 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16030/task/16033/stat : 16033 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 17248707 346112000 408 268435456000 4194304 4580107 140737004146016 18446744073709551615 47576339707417 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16030/tid=16034] ppid=16028 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16030/task/16034/stat : 16034 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 17248707 346112000 408 268435456000 4194304 4580107 140737004146016 18446744073709551615 47576339707417 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=16030/tid=16035] ppid=16028 vsize=338000 CPUtime=0 cores=0-31
/proc/16030/task/16035/stat : 16035 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 32 0 17248707 346112000 408 268435456000 4194304 4580107 140737004146016 18446744073709551615 47576339707820 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=16030/tid=16036] ppid=16028 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16030/task/16036/stat : 16036 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 17248707 346112000 408 268435456000 4194304 4580107 140737004146016 18446744073709551615 47576339707417 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=16030/tid=16037] ppid=16028 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16030/task/16037/stat : 16037 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 17248707 346112000 408 268435456000 4194304 4580107 140737004146016 18446744073709551615 47576339707421 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=16030/tid=16038] ppid=16028 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16030/task/16038/stat : 16038 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 17248707 346112000 408 268435456000 4194304 4580107 140737004146016 18446744073709551615 47576339707411 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=16030/tid=16039] ppid=16028 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16030/task/16039/stat : 16039 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 17248707 346112000 408 268435456000 4194304 4580107 140737004146016 18446744073709551615 47576339707421 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16030/tid=16040] ppid=16028 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16030/task/16040/stat : 16040 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 17248707 346112000 408 268435456000 4194304 4580107 140737004146016 18446744073709551615 47576339707417 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16030/tid=16041] ppid=16028 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16030/task/16041/stat : 16041 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 17248707 346112000 408 268435456000 4194304 4580107 140737004146016 18446744073709551615 47576339707421 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16030/tid=16042] ppid=16028 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16030/task/16042/stat : 16042 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 17248707 346112000 408 268435456000 4194304 4580107 140737004146016 18446744073709551615 47576339707417 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=16030/tid=16043] ppid=16028 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16030/task/16043/stat : 16043 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 17248707 346112000 408 268435456000 4194304 4580107 140737004146016 18446744073709551615 47576339707417 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=16030/tid=16044] ppid=16028 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16030/task/16044/stat : 16044 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 17248707 346112000 408 268435456000 4194304 4580107 140737004146016 18446744073709551615 47576339707415 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16030/tid=16045] ppid=16028 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16030/task/16045/stat : 16045 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 17248707 346112000 408 268435456000 4194304 4580107 140737004146016 18446744073709551615 47576339707417 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=16030/tid=16046] ppid=16028 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16030/task/16046/stat : 16046 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 17248707 346112000 408 268435456000 4194304 4580107 140737004146016 18446744073709551615 47576339707417 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=16030/tid=16047] ppid=16028 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16030/task/16047/stat : 16047 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 17248707 346112000 408 268435456000 4194304 4580107 140737004146016 18446744073709551615 47576339707417 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=16030/tid=16048] ppid=16028 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16030/task/16048/stat : 16048 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 17248707 346112000 408 268435456000 4194304 4580107 140737004146016 18446744073709551615 47576339707417 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=16030/tid=16049] ppid=16028 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16030/task/16049/stat : 16049 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 17248707 346112000 408 268435456000 4194304 4580107 140737004146016 18446744073709551615 47576339707417 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=16030/tid=16050] ppid=16028 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16030/task/16050/stat : 16050 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 17248707 346112000 408 268435456000 4194304 4580107 140737004146016 18446744073709551615 47576339707408 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=16030/tid=16051] ppid=16028 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16030/task/16051/stat : 16051 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 17248707 346112000 408 268435456000 4194304 4580107 140737004146016 18446744073709551615 47576339707417 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=16030/tid=16052] ppid=16028 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16030/task/16052/stat : 16052 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 17248707 346112000 408 268435456000 4194304 4580107 140737004146016 18446744073709551615 47576339707417 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16030/tid=16053] ppid=16028 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16030/task/16053/stat : 16053 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 17248707 346112000 408 268435456000 4194304 4580107 140737004146016 18446744073709551615 47576339707417 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=16030/tid=16054] ppid=16028 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16030/task/16054/stat : 16054 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 17248707 346112000 408 268435456000 4194304 4580107 140737004146016 18446744073709551615 47576339707421 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=16030/tid=16055] ppid=16028 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16030/task/16055/stat : 16055 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 17248707 346112000 408 268435456000 4194304 4580107 140737004146016 18446744073709551615 47576339707417 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=16030/tid=16056] ppid=16028 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16030/task/16056/stat : 16056 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 17248707 346112000 408 268435456000 4194304 4580107 140737004146016 18446744073709551615 47576339707417 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=16030/tid=16057] ppid=16028 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16030/task/16057/stat : 16057 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 17248707 346112000 408 268435456000 4194304 4580107 140737004146016 18446744073709551615 47576339707417 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=16030/tid=16058] ppid=16028 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16030/task/16058/stat : 16058 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 17248707 346112000 408 268435456000 4194304 4580107 140737004146016 18446744073709551615 47576339707417 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=16030/tid=16059] ppid=16028 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16030/task/16059/stat : 16059 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 17248707 346112000 408 268435456000 4194304 4580107 140737004146016 18446744073709551615 47576339707411 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=16030/tid=16060] ppid=16028 vsize=338000 CPUtime=0 cores=0-31
/proc/16030/task/16060/stat : 16060 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 32 0 17248707 346112000 408 268435456000 4194304 4580107 140737004146016 18446744073709551615 47576339707417 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16030/tid=16061] ppid=16028 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16030/task/16061/stat : 16061 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 17248707 346112000 408 268435456000 4194304 4580107 140737004146016 18446744073709551615 47576339707411 0 0 4096 2 0 0 0 -1 24 0 0 0
[startup+0.0883949 s]
/proc/loadavg: 10.48 4.55 6.11 1/413 16030
/proc/meminfo: memFree=262901360/264257624 swapFree=67054988/67111528
[pid=16030] ppid=16028 vsize=1260656 CPUtime=1.38 cores=0-31
/proc/16030/stat : 16030 (strangenight2-m) D 16028 16030 15888 0 -1 4202496 5119 0 0 0 109 29 0 0 17 0 32 0 17248706 1290911744 4981 268435456000 4194304 4580107 140737004146016 18446744073709551615 258650652667 0 0 4096 2 18446744073709551615 0 0 17 31 0 0 0
/proc/16030/statm: 315164 4987 331 95 0 310146 0
[pid=16030/tid=16031] ppid=16028 vsize=1260656 CPUtime=0.03 cores=0-31
/proc/16030/task/16031/stat : 16031 (strangenight2-m) D 16028 16030 15888 0 -1 4202560 135 0 0 0 3 0 0 0 17 0 32 0 17248706 1290911744 5011 268435456000 4194304 4580107 140737004146016 18446744073709551615 258650653112 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16030/tid=16032] ppid=16028 vsize=1260656 CPUtime=0.03 cores=0-31
/proc/16030/task/16032/stat : 16032 (strangenight2-m) D 16028 16030 15888 0 -1 4202560 159 0 0 0 3 0 0 0 17 0 32 0 17248706 1290911744 5015 268435456000 4194304 4580107 140737004146016 18446744073709551615 258650653015 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=16030/tid=16033] ppid=16028 vsize=1260788 CPUtime=0.03 cores=0-31
/proc/16030/task/16033/stat : 16033 (strangenight2-m) S 16028 16030 15888 0 -1 4202560 139 0 0 0 3 0 0 0 18 0 32 0 17248707 1291046912 5069 268435456000 4194304 4580107 140737004146016 18446744073709551615 258651060958 0 0 4096 2 18446744071566929464 0 0 -1 2 0 0 0
[pid=16030/tid=16034] ppid=16028 vsize=1260788 CPUtime=0.04 cores=0-31
/proc/16030/task/16034/stat : 16034 (strangenight2-m) D 16028 16030 15888 0 -1 4202560 142 0 0 0 3 1 0 0 17 0 32 0 17248707 1291046912 5083 268435456000 4194304 4580107 140737004146016 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=16030/tid=16035] ppid=16028 vsize=1260788 CPUtime=0 cores=0-31
/proc/16030/task/16035/stat : 16035 (strangenight2-m) D 16028 16030 15888 0 -1 4202560 96 0 0 0 0 0 0 0 17 0 32 0 17248707 1291046912 5093 268435456000 4194304 4580107 140737004146016 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=16030/tid=16036] ppid=16028 vsize=1260788 CPUtime=0.04 cores=0-31
/proc/16030/task/16036/stat : 16036 (strangenight2-m) D 16028 16030 15888 0 -1 4202560 165 0 0 0 3 1 0 0 17 0 32 0 17248707 1291046912 5138 268435456000 4194304 4580107 140737004146016 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=16030/tid=16037] ppid=16028 vsize=1260788 CPUtime=0.03 cores=0-31
/proc/16030/task/16037/stat : 16037 (strangenight2-m) D 16028 16030 15888 0 -1 4202560 244 0 0 0 3 0 0 0 17 0 32 0 17248707 1291046912 5150 268435456000 4194304 4580107 140737004146016 18446744073709551615 258650653015 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=16030/tid=16038] ppid=16028 vsize=1260788 CPUtime=0.03 cores=0-31
/proc/16030/task/16038/stat : 16038 (strangenight2-m) S 16028 16030 15888 0 -1 4202560 191 0 0 0 3 0 0 0 17 0 32 0 17248707 1291046912 5175 268435456000 4194304 4580107 140737004146016 18446744073709551615 258651060958 0 0 4096 2 18446744071566927104 0 0 -1 28 0 0 0
[pid=16030/tid=16039] ppid=16028 vsize=1260788 CPUtime=0.03 cores=0-31
/proc/16030/task/16039/stat : 16039 (strangenight2-m) S 16028 16030 15888 0 -1 4202560 101 0 0 0 3 0 0 0 17 0 32 0 17248707 1291046912 5177 268435456000 4194304 4580107 140737004146016 18446744073709551615 258651060958 0 0 4096 2 18446744071566927784 0 0 -1 5 0 0 0
[pid=16030/tid=16040] ppid=16028 vsize=1260788 CPUtime=0.03 cores=0-31
/proc/16030/task/16040/stat : 16040 (strangenight2-m) D 16028 16030 15888 0 -1 4202560 196 0 0 0 3 0 0 0 17 0 32 0 17248707 1291046912 5181 268435456000 4194304 4580107 140737004146016 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16030/tid=16041] ppid=16028 vsize=1260920 CPUtime=0.03 cores=0-31
/proc/16030/task/16041/stat : 16041 (strangenight2-m) S 16028 16030 15888 0 -1 4202560 92 0 0 0 3 0 0 0 17 0 32 0 17248707 1291182080 5191 268435456000 4194304 4580107 140737004146016 18446744073709551615 258651060958 0 0 4096 2 18446744071566930024 0 0 -1 3 0 0 0
[pid=16030/tid=16042] ppid=16028 vsize=1260920 CPUtime=0.03 cores=0-31
/proc/16030/task/16042/stat : 16042 (strangenight2-m) D 16028 16030 15888 0 -1 4202560 249 0 0 0 3 0 0 0 17 0 32 0 17248707 1291182080 5195 268435456000 4194304 4580107 140737004146016 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=16030/tid=16043] ppid=16028 vsize=1260920 CPUtime=0.04 cores=0-31
/proc/16030/task/16043/stat : 16043 (strangenight2-m) S 16028 16030 15888 0 -1 4202560 164 0 0 0 3 1 0 0 17 0 32 0 17248707 1291182080 5204 268435456000 4194304 4580107 140737004146016 18446744073709551615 258651060958 0 0 4096 2 18446744071566930664 0 0 -1 10 0 0 0
[pid=16030/tid=16044] ppid=16028 vsize=1260920 CPUtime=0.04 cores=0-31
/proc/16030/task/16044/stat : 16044 (strangenight2-m) D 16028 16030 15888 0 -1 4202560 180 0 0 0 3 1 0 0 17 0 32 0 17248707 1291182080 5233 268435456000 4194304 4580107 140737004146016 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16030/tid=16045] ppid=16028 vsize=1260920 CPUtime=0.03 cores=0-31
/proc/16030/task/16045/stat : 16045 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 118 0 0 0 3 0 0 0 17 0 32 0 17248707 1291182080 5241 268435456000 4194304 4580107 140737004146016 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=16030/tid=16046] ppid=16028 vsize=1261052 CPUtime=0.04 cores=0-31
/proc/16030/task/16046/stat : 16046 (strangenight2-m) D 16028 16030 15888 0 -1 4202560 216 0 0 0 3 1 0 0 18 0 32 0 17248707 1291317248 5246 268435456000 4194304 4580107 140737004146016 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=16030/tid=16047] ppid=16028 vsize=1261052 CPUtime=0.04 cores=0-31
/proc/16030/task/16047/stat : 16047 (strangenight2-m) D 16028 16030 15888 0 -1 4202560 204 0 0 0 3 1 0 0 25 0 32 0 17248707 1291317248 5257 268435456000 4194304 4580107 140737004146016 18446744073709551615 258650653008 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=16030/tid=16048] ppid=16028 vsize=1261052 CPUtime=0.03 cores=0-31
/proc/16030/task/16048/stat : 16048 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 175 0 0 0 3 0 0 0 17 0 32 0 17248707 1291317248 5301 268435456000 4194304 4580107 140737004146016 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=16030/tid=16049] ppid=16028 vsize=1261052 CPUtime=0.04 cores=0-31
/proc/16030/task/16049/stat : 16049 (strangenight2-m) D 16028 16030 15888 0 -1 4202560 159 0 0 0 3 1 0 0 17 0 32 0 17248707 1291317248 5333 268435456000 4194304 4580107 140737004146016 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=16030/tid=16050] ppid=16028 vsize=1261052 CPUtime=0.03 cores=0-31
/proc/16030/task/16050/stat : 16050 (strangenight2-m) D 16028 16030 15888 0 -1 4202560 161 0 0 0 3 0 0 0 17 0 32 0 17248707 1291317248 5348 268435456000 4194304 4580107 140737004146016 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=16030/tid=16051] ppid=16028 vsize=1261220 CPUtime=0.03 cores=0-31
/proc/16030/task/16051/stat : 16051 (strangenight2-m) D 16028 16030 15888 0 -1 4202560 101 0 0 0 3 0 0 0 17 0 32 0 17248707 1291489280 5354 268435456000 4194304 4580107 140737004146016 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=16030/tid=16052] ppid=16028 vsize=1261352 CPUtime=0.04 cores=0-31
/proc/16030/task/16052/stat : 16052 (strangenight2-m) S 16028 16030 15888 0 -1 4202560 225 0 0 0 3 1 0 0 17 0 32 0 17248707 1291624448 5365 268435456000 4194304 4580107 140737004146016 18446744073709551615 258651060958 0 0 4096 2 18446744071566930664 0 0 -1 4 0 0 0
[pid=16030/tid=16053] ppid=16028 vsize=1261612 CPUtime=0.04 cores=0-31
/proc/16030/task/16053/stat : 16053 (strangenight2-m) S 16028 16030 15888 0 -1 4202560 221 0 0 0 3 1 0 0 17 0 32 0 17248707 1291890688 5370 268435456000 4194304 4580107 140737004146016 18446744073709551615 258651060958 0 0 4096 2 18446744071566924984 0 0 -1 22 0 0 0
[pid=16030/tid=16054] ppid=16028 vsize=1261872 CPUtime=0.04 cores=0-31
/proc/16030/task/16054/stat : 16054 (strangenight2-m) D 16028 16030 15888 0 -1 4202560 237 0 0 0 3 1 0 0 17 0 32 0 17248707 1292156928 5420 268435456000 4194304 4580107 140737004146016 18446744073709551615 258650653120 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=16030/tid=16055] ppid=16028 vsize=1262004 CPUtime=0.03 cores=0-31
/proc/16030/task/16055/stat : 16055 (strangenight2-m) S 16028 16030 15888 0 -1 4202560 60 0 0 0 3 0 0 0 17 0 32 0 17248707 1292292096 5452 268435456000 4194304 4580107 140737004146016 18446744073709551615 258651060958 0 0 4096 2 18446744071566927784 0 0 -1 25 0 0 0
[pid=16030/tid=16056] ppid=16028 vsize=1262004 CPUtime=0.04 cores=0-31
/proc/16030/task/16056/stat : 16056 (strangenight2-m) S 16028 16030 15888 0 -1 4202560 119 0 0 0 3 1 0 0 17 0 32 0 17248707 1292292096 5461 268435456000 4194304 4580107 140737004146016 18446744073709551615 258651060958 0 0 4096 2 18446744071566930024 0 0 -1 26 0 0 0
[pid=16030/tid=16057] ppid=16028 vsize=1262004 CPUtime=0.03 cores=0-31
/proc/16030/task/16057/stat : 16057 (strangenight2-m) D 16028 16030 15888 0 -1 4202560 157 0 0 0 3 0 0 0 17 0 32 0 17248707 1292292096 5467 268435456000 4194304 4580107 140737004146016 18446744073709551615 258650653008 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=16030/tid=16058] ppid=16028 vsize=1262004 CPUtime=0.03 cores=0-31
/proc/16030/task/16058/stat : 16058 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 156 0 0 0 3 0 0 0 17 0 32 0 17248707 1292292096 5489 268435456000 4194304 4580107 140737004146016 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=16030/tid=16059] ppid=16028 vsize=1262136 CPUtime=0.04 cores=0-31
/proc/16030/task/16059/stat : 16059 (strangenight2-m) D 16028 16030 15888 0 -1 4202560 102 0 0 0 3 1 0 0 17 0 32 0 17248707 1292427264 5544 268435456000 4194304 4580107 140737004146016 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=16030/tid=16060] ppid=16028 vsize=1262136 CPUtime=0 cores=0-31
/proc/16030/task/16060/stat : 16060 (strangenight2-m) S 16028 16030 15888 0 -1 4202560 106 0 0 0 0 0 0 0 17 0 32 0 17248707 1292427264 5548 268435456000 4194304 4580107 140737004146016 18446744073709551615 258651060958 0 0 4096 2 18446604501048950240 0 0 -1 0 0 0 0
[pid=16030/tid=16061] ppid=16028 vsize=1262136 CPUtime=0.03 cores=0-31
/proc/16030/task/16061/stat : 16061 (strangenight2-m) S 16028 16030 15888 0 -1 4202560 68 0 0 0 3 0 0 0 17 0 32 0 17248707 1292427264 5555 268435456000 4194304 4580107 140737004146016 18446744073709551615 258651060958 0 0 4096 2 18446604459927969248 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 1260656
[startup+0.106337 s]
/proc/loadavg: 10.48 4.55 6.11 1/413 16030
/proc/meminfo: memFree=262901360/264257624 swapFree=67054988/67111528
[pid=16030] ppid=16028 vsize=1265220 CPUtime=1.6 cores=0-31
/proc/16030/stat : 16030 (strangenight2-m) D 16028 16030 15888 0 -1 4202496 7820 0 0 0 112 48 0 0 17 0 32 0 17248706 1295585280 7251 268435456000 4194304 4580107 140737004146016 18446744073709551615 258650653015 0 0 4096 2 18446744073709551615 0 0 17 31 0 0 0
/proc/16030/statm: 316305 7256 332 95 0 311287 0
[pid=16030/tid=16031] ppid=16028 vsize=1265220 CPUtime=0.04 cores=0-31
/proc/16030/task/16031/stat : 16031 (strangenight2-m) S 16028 16030 15888 0 -1 4202560 247 0 0 0 3 1 0 0 17 0 32 0 17248706 1295585280 7262 268435456000 4194304 4580107 140737004146016 18446744073709551615 258651060958 0 0 4096 2 18446604443632877024 0 0 -1 1 0 0 0
[pid=16030/tid=16032] ppid=16028 vsize=1264956 CPUtime=0.04 cores=0-31
/proc/16030/task/16032/stat : 16032 (strangenight2-m) D 16028 16030 15888 0 -1 4202560 285 0 0 0 3 1 0 0 17 0 32 0 17248706 1295314944 7199 268435456000 4194304 4580107 140737004146016 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=16030/tid=16033] ppid=16028 vsize=1264956 CPUtime=0.04 cores=0-31
/proc/16030/task/16033/stat : 16033 (strangenight2-m) D 16028 16030 15888 0 -1 4202560 233 0 0 0 3 1 0 0 17 0 32 0 17248707 1295314944 7206 268435456000 4194304 4580107 140737004146016 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16030/tid=16034] ppid=16028 vsize=1264956 CPUtime=0.04 cores=0-31
/proc/16030/task/16034/stat : 16034 (strangenight2-m) S 16028 16030 15888 0 -1 4202560 158 0 0 0 3 1 0 0 17 0 32 0 17248707 1295314944 7214 268435456000 4194304 4580107 140737004146016 18446744073709551615 258651060958 0 0 4096 2 18446744071566927104 0 0 -1 8 0 0 0
[pid=16030/tid=16035] ppid=16028 vsize=1264956 CPUtime=0.01 cores=0-31
/proc/16030/task/16035/stat : 16035 (strangenight2-m) D 16028 16030 15888 0 -1 4202560 165 0 0 0 0 1 0 0 17 0 32 0 17248707 1295314944 7225 268435456000 4194304 4580107 140737004146016 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=16030/tid=16036] ppid=16028 vsize=1264956 CPUtime=0.05 cores=0-31
/proc/16030/task/16036/stat : 16036 (strangenight2-m) S 16028 16030 15888 0 -1 4202560 250 0 0 0 3 2 0 0 17 0 32 0 17248707 1295314944 7239 268435456000 4194304 4580107 140737004146016 18446744073709551615 258651060958 0 0 4096 2 18446744071566927744 0 0 -1 20 0 0 0
[pid=16030/tid=16037] ppid=16028 vsize=1264956 CPUtime=0.04 cores=0-31
/proc/16030/task/16037/stat : 16037 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 338 0 0 0 3 1 0 0 17 0 32 0 17248707 1295314944 7323 268435456000 4194304 4580107 140737004146016 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=16030/tid=16038] ppid=16028 vsize=1264956 CPUtime=0.04 cores=0-31
/proc/16030/task/16038/stat : 16038 (strangenight2-m) D 16028 16030 15888 0 -1 4202560 317 0 0 0 3 1 0 0 17 0 32 0 17248707 1295314944 7323 268435456000 4194304 4580107 140737004146016 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=16030/tid=16039] ppid=16028 vsize=1264824 CPUtime=0.05 cores=0-31
/proc/16030/task/16039/stat : 16039 (strangenight2-m) D 16028 16030 15888 0 -1 4202560 164 0 0 0 4 1 0 0 17 0 32 0 17248707 1295179776 7290 268435456000 4194304 4580107 140737004146016 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16030/tid=16040] ppid=16028 vsize=1265084 CPUtime=0.04 cores=0-31
/proc/16030/task/16040/stat : 16040 (strangenight2-m) S 16028 16030 15888 0 -1 4202560 290 0 0 0 3 1 0 0 17 0 32 0 17248707 1295446016 7309 268435456000 4194304 4580107 140737004146016 18446744073709551615 258651060958 0 0 4096 2 18446604575230025184 0 0 -1 6 0 0 0
[pid=16030/tid=16041] ppid=16028 vsize=1265084 CPUtime=0.04 cores=0-31
/proc/16030/task/16041/stat : 16041 (strangenight2-m) S 16028 16030 15888 0 -1 4202560 156 0 0 0 3 1 0 0 17 0 32 0 17248707 1295446016 7312 268435456000 4194304 4580107 140737004146016 18446744073709551615 258651060958 0 0 4096 2 18446604446966406624 0 0 -1 3 0 0 0
[pid=16030/tid=16042] ppid=16028 vsize=1265084 CPUtime=0.04 cores=0-31
/proc/16030/task/16042/stat : 16042 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 384 0 0 0 3 1 0 0 17 0 32 0 17248707 1295446016 7387 268435456000 4194304 4580107 140737004146016 18446744073709551615 258650653097 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=16030/tid=16043] ppid=16028 vsize=1265084 CPUtime=0.05 cores=0-31
/proc/16030/task/16043/stat : 16043 (strangenight2-m) S 16028 16030 15888 0 -1 4202560 227 0 0 0 3 2 0 0 17 0 32 0 17248707 1295446016 7387 268435456000 4194304 4580107 140737004146016 18446744073709551615 258651060958 0 0 4096 2 18446744071566925264 0 0 -1 10 0 0 0
[pid=16030/tid=16044] ppid=16028 vsize=1265344 CPUtime=0.05 cores=0-31
/proc/16030/task/16044/stat : 16044 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 242 0 0 0 4 1 0 0 17 0 32 0 17248707 1295712256 7431 268435456000 4194304 4580107 140737004146016 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16030/tid=16045] ppid=16028 vsize=1265344 CPUtime=0.04 cores=0-31
/proc/16030/task/16045/stat : 16045 (strangenight2-m) D 16028 16030 15888 0 -1 4202560 237 0 0 0 3 1 0 0 17 0 32 0 17248707 1295712256 7431 268435456000 4194304 4580107 140737004146016 18446744073709551615 4307948 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=16030/tid=16046] ppid=16028 vsize=1265344 CPUtime=0.05 cores=0-31
/proc/16030/task/16046/stat : 16046 (strangenight2-m) D 16028 16030 15888 0 -1 4202560 350 0 0 0 3 2 0 0 18 0 32 0 17248707 1295712256 7490 268435456000 4194304 4580107 140737004146016 18446744073709551615 4310274 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=16030/tid=16047] ppid=16028 vsize=1265344 CPUtime=0.04 cores=0-31
################
# More data... #
################
/proc/16030/task/16055/stat : 16055 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 3761 0 0 0 173 13 0 0 17 0 32 0 17248707 2538864640 124096 268435456000 4194304 4580107 140737004146016 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=16030/tid=16056] ppid=16028 vsize=2479360 CPUtime=1.9 cores=0-31
/proc/16030/task/16056/stat : 16056 (strangenight2-m) D 16028 16030 15888 0 -1 4202560 3677 0 0 0 176 14 0 0 17 0 32 0 17248707 2538864640 124099 268435456000 4194304 4580107 140737004146016 18446744073709551615 4231546 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=16030/tid=16057] ppid=16028 vsize=2479360 CPUtime=1.86 cores=0-31
/proc/16030/task/16057/stat : 16057 (strangenight2-m) D 16028 16030 15888 0 -1 4202560 4019 0 0 0 172 14 0 0 17 0 32 0 17248707 2538864640 124103 268435456000 4194304 4580107 140737004146016 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=16030/tid=16058] ppid=16028 vsize=2479360 CPUtime=1.86 cores=0-31
/proc/16030/task/16058/stat : 16058 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 3840 0 0 0 171 15 0 0 17 0 32 0 17248707 2538864640 124104 268435456000 4194304 4580107 140737004146016 18446744073709551615 4293032 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=16030/tid=16059] ppid=16028 vsize=2479360 CPUtime=1.92 cores=0-31
/proc/16030/task/16059/stat : 16059 (strangenight2-m) D 16028 16030 15888 0 -1 4202560 3929 0 0 0 176 16 0 0 17 0 32 0 17248707 2538864640 124105 268435456000 4194304 4580107 140737004146016 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=16030/tid=16060] ppid=16028 vsize=2479360 CPUtime=1.87 cores=0-31
/proc/16030/task/16060/stat : 16060 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 3932 0 0 0 175 12 0 0 17 0 32 0 17248707 2538864640 124107 268435456000 4194304 4580107 140737004146016 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16030/tid=16061] ppid=16028 vsize=2479360 CPUtime=2.96 cores=0-31
/proc/16030/task/16061/stat : 16061 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 527 0 0 0 293 3 0 0 21 0 32 0 17248707 2538864640 124110 268435456000 4194304 4580107 140737004146016 18446744073709551615 47576339682859 0 0 4096 2 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 61.5
Current children cumulated vsize (KiB) 2479228
Solver just ended. Dumping a history of the last processes samples
[startup+3.50241 s]
/proc/loadavg: 12.28 5.03 6.26 24/445 16062
/proc/meminfo: memFree=262510604/264257624 swapFree=67054988/67111528
[pid=16030] ppid=16028 vsize=2482848 CPUtime=72.05 cores=0-31
/proc/16030/stat : 16030 (strangenight2-m) R 16028 16030 15888 0 -1 4202496 137602 0 0 0 6704 501 0 0 17 0 32 0 17248706 2542436352 136505 268435456000 4194304 4580107 140737004146016 18446744073709551615 4295903 0 0 4096 2 18446744073709551615 0 0 17 15 0 0 0
/proc/16030/statm: 620712 136505 357 95 0 615694 0
[pid=16030/tid=16031] ppid=16028 vsize=2482848 CPUtime=2.16 cores=0-31
/proc/16030/task/16031/stat : 16031 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4425 0 0 0 203 13 0 0 17 0 32 0 17248706 2542436352 136505 268435456000 4194304 4580107 140737004146016 18446744073709551615 4293301 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16030/tid=16032] ppid=16028 vsize=2482848 CPUtime=2.26 cores=0-31
/proc/16030/task/16032/stat : 16032 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4386 0 0 0 211 15 0 0 18 0 32 0 17248706 2542436352 136505 268435456000 4194304 4580107 140737004146016 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=16030/tid=16033] ppid=16028 vsize=2482848 CPUtime=2.15 cores=0-31
/proc/16030/task/16033/stat : 16033 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4387 0 0 0 200 15 0 0 17 0 32 0 17248707 2542436352 136505 268435456000 4194304 4580107 140737004146016 18446744073709551615 4293720 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16030/tid=16034] ppid=16028 vsize=2482848 CPUtime=2.17 cores=0-31
/proc/16030/task/16034/stat : 16034 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4303 0 0 0 203 14 0 0 17 0 32 0 17248707 2542436352 136505 268435456000 4194304 4580107 140737004146016 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=16030/tid=16035] ppid=16028 vsize=2482848 CPUtime=2.17 cores=0-31
/proc/16030/task/16035/stat : 16035 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4368 0 0 0 201 16 0 0 17 0 32 0 17248707 2542436352 136505 268435456000 4194304 4580107 140737004146016 18446744073709551615 4234964 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=16030/tid=16036] ppid=16028 vsize=2482848 CPUtime=2.19 cores=0-31
/proc/16030/task/16036/stat : 16036 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4542 0 0 0 201 18 0 0 18 0 32 0 17248707 2542436352 136505 268435456000 4194304 4580107 140737004146016 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=16030/tid=16037] ppid=16028 vsize=2482848 CPUtime=2.21 cores=0-31
/proc/16030/task/16037/stat : 16037 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4399 0 0 0 206 15 0 0 17 0 32 0 17248707 2542436352 136505 268435456000 4194304 4580107 140737004146016 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=16030/tid=16038] ppid=16028 vsize=2482848 CPUtime=2.17 cores=0-31
/proc/16030/task/16038/stat : 16038 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4497 0 0 0 200 17 0 0 17 0 32 0 17248707 2542436352 136505 268435456000 4194304 4580107 140737004146016 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=16030/tid=16039] ppid=16028 vsize=2482848 CPUtime=2.19 cores=0-31
/proc/16030/task/16039/stat : 16039 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4302 0 0 0 205 14 0 0 17 0 32 0 17248707 2542436352 136505 268435456000 4194304 4580107 140737004146016 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16030/tid=16040] ppid=16028 vsize=2482848 CPUtime=2.16 cores=0-31
/proc/16030/task/16040/stat : 16040 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4406 0 0 0 199 17 0 0 17 0 32 0 17248707 2542436352 136505 268435456000 4194304 4580107 140737004146016 18446744073709551615 4292985 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=16030/tid=16041] ppid=16028 vsize=2482848 CPUtime=2.15 cores=0-31
/proc/16030/task/16041/stat : 16041 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4431 0 0 0 199 16 0 0 17 0 32 0 17248707 2542436352 136505 268435456000 4194304 4580107 140737004146016 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=16030/tid=16042] ppid=16028 vsize=2482848 CPUtime=2.26 cores=0-31
/proc/16030/task/16042/stat : 16042 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4464 0 0 0 210 16 0 0 18 0 32 0 17248707 2542436352 136505 268435456000 4194304 4580107 140737004146016 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=16030/tid=16043] ppid=16028 vsize=2482848 CPUtime=2.27 cores=0-31
/proc/16030/task/16043/stat : 16043 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4335 0 0 0 211 16 0 0 18 0 32 0 17248707 2542436352 136505 268435456000 4194304 4580107 140737004146016 18446744073709551615 4294148 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=16030/tid=16044] ppid=16028 vsize=2482848 CPUtime=2.17 cores=0-31
/proc/16030/task/16044/stat : 16044 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4437 0 0 0 200 17 0 0 17 0 32 0 17248707 2542436352 136505 268435456000 4194304 4580107 140737004146016 18446744073709551615 4294157 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=16030/tid=16045] ppid=16028 vsize=2482848 CPUtime=2.15 cores=0-31
/proc/16030/task/16045/stat : 16045 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4393 0 0 0 200 15 0 0 17 0 32 0 17248707 2542436352 136505 268435456000 4194304 4580107 140737004146016 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=16030/tid=16046] ppid=16028 vsize=2482848 CPUtime=2.45 cores=0-31
/proc/16030/task/16046/stat : 16046 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4560 0 0 0 230 15 0 0 18 0 32 0 17248707 2542436352 136505 268435456000 4194304 4580107 140737004146016 18446744073709551615 4293151 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16030/tid=16047] ppid=16028 vsize=2482848 CPUtime=2.26 cores=0-31
/proc/16030/task/16047/stat : 16047 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4410 0 0 0 211 15 0 0 18 0 32 0 17248707 2542436352 136505 268435456000 4194304 4580107 140737004146016 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=16030/tid=16048] ppid=16028 vsize=2482848 CPUtime=2.21 cores=0-31
/proc/16030/task/16048/stat : 16048 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4470 0 0 0 205 16 0 0 18 0 32 0 17248707 2542436352 136505 268435456000 4194304 4580107 140737004146016 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=16030/tid=16049] ppid=16028 vsize=2482848 CPUtime=2.23 cores=0-31
/proc/16030/task/16049/stat : 16049 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4464 0 0 0 207 16 0 0 18 0 32 0 17248707 2542436352 136505 268435456000 4194304 4580107 140737004146016 18446744073709551615 4293979 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=16030/tid=16050] ppid=16028 vsize=2482848 CPUtime=2.14 cores=0-31
/proc/16030/task/16050/stat : 16050 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4462 0 0 0 199 15 0 0 17 0 32 0 17248707 2542436352 136505 268435456000 4194304 4580107 140737004146016 18446744073709551615 4293957 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16030/tid=16051] ppid=16028 vsize=2482848 CPUtime=2.14 cores=0-31
/proc/16030/task/16051/stat : 16051 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4451 0 0 0 198 16 0 0 17 0 32 0 17248707 2542436352 136505 268435456000 4194304 4580107 140737004146016 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=16030/tid=16052] ppid=16028 vsize=2482848 CPUtime=2.37 cores=0-31
/proc/16030/task/16052/stat : 16052 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4452 0 0 0 223 14 0 0 18 0 32 0 17248707 2542436352 136505 268435456000 4194304 4580107 140737004146016 18446744073709551615 4293244 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16030/tid=16053] ppid=16028 vsize=2482848 CPUtime=2.24 cores=0-31
/proc/16030/task/16053/stat : 16053 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4427 0 0 0 206 18 0 0 17 0 32 0 17248707 2542436352 136505 268435456000 4194304 4580107 140737004146016 18446744073709551615 4234883 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=16030/tid=16054] ppid=16028 vsize=2482848 CPUtime=2.17 cores=0-31
/proc/16030/task/16054/stat : 16054 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4454 0 0 0 200 17 0 0 17 0 32 0 17248707 2542436352 136505 268435456000 4194304 4580107 140737004146016 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16030/tid=16055] ppid=16028 vsize=2482848 CPUtime=2.18 cores=0-31
/proc/16030/task/16055/stat : 16055 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4227 0 0 0 204 14 0 0 17 0 32 0 17248707 2542436352 136505 268435456000 4194304 4580107 140737004146016 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=16030/tid=16056] ppid=16028 vsize=2482848 CPUtime=2.21 cores=0-31
/proc/16030/task/16056/stat : 16056 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4297 0 0 0 205 16 0 0 17 0 32 0 17248707 2542436352 136505 268435456000 4194304 4580107 140737004146016 18446744073709551615 4293308 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=16030/tid=16057] ppid=16028 vsize=2482848 CPUtime=2.19 cores=0-31
/proc/16030/task/16057/stat : 16057 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4381 0 0 0 204 15 0 0 18 0 32 0 17248707 2542436352 136505 268435456000 4194304 4580107 140737004146016 18446744073709551615 4294173 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=16030/tid=16058] ppid=16028 vsize=2482848 CPUtime=2.17 cores=0-31
/proc/16030/task/16058/stat : 16058 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4418 0 0 0 201 16 0 0 17 0 32 0 17248707 2542436352 136505 268435456000 4194304 4580107 140737004146016 18446744073709551615 4293241 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=16030/tid=16059] ppid=16028 vsize=2482848 CPUtime=2.23 cores=0-31
/proc/16030/task/16059/stat : 16059 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4384 0 0 0 206 17 0 0 17 0 32 0 17248707 2542436352 136505 268435456000 4194304 4580107 140737004146016 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=16030/tid=16060] ppid=16028 vsize=2482848 CPUtime=2.18 cores=0-31
/proc/16030/task/16060/stat : 16060 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4387 0 0 0 204 14 0 0 17 0 32 0 17248707 2542436352 136505 268435456000 4194304 4580107 140737004146016 18446744073709551615 4294182 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16030/tid=16061] ppid=16028 vsize=2482848 CPUtime=3.36 cores=0-31
/proc/16030/task/16061/stat : 16061 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 527 0 0 0 333 3 0 0 22 0 32 0 17248707 2542436352 136505 268435456000 4194304 4580107 140737004146016 18446744073709551615 47576339682859 0 0 4096 2 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 72.05
Current children cumulated vsize (KiB) 2482848
[startup+4.30144 s]
/proc/loadavg: 12.28 5.03 6.26 33/445 16062
/proc/meminfo: memFree=262354744/264257624 swapFree=67054988/67111528
[pid=16030] ppid=16028 vsize=2484904 CPUtime=97.03 cores=0-31
/proc/16030/stat : 16030 (strangenight2-m) D 16028 16030 15888 0 -1 4202496 146991 0 0 0 9181 522 0 0 18 0 32 0 17248706 2544541696 145893 268435456000 4194304 4580107 140737004146016 18446744073709551615 258650616986 0 0 4096 2 18446744073709551615 0 0 17 15 0 0 0
/proc/16030/statm: 621226 145895 376 95 0 616208 0
[pid=16030/tid=16031] ppid=16028 vsize=2484904 CPUtime=2.96 cores=0-31
/proc/16030/task/16031/stat : 16031 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4530 0 0 0 283 13 0 0 18 0 32 0 17248706 2544541696 145895 268435456000 4194304 4580107 140737004146016 18446744073709551615 4293685 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16030/tid=16032] ppid=16028 vsize=2484904 CPUtime=3.05 cores=0-31
/proc/16030/task/16032/stat : 16032 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 5046 0 0 0 289 16 0 0 18 0 32 0 17248706 2544541696 145895 268435456000 4194304 4580107 140737004146016 18446744073709551615 47576339707417 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=16030/tid=16033] ppid=16028 vsize=2484904 CPUtime=2.94 cores=0-31
/proc/16030/task/16033/stat : 16033 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4693 0 0 0 279 15 0 0 18 0 32 0 17248707 2544541696 145895 268435456000 4194304 4580107 140737004146016 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16030/tid=16034] ppid=16028 vsize=2484904 CPUtime=2.96 cores=0-31
/proc/16030/task/16034/stat : 16034 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4649 0 0 0 282 14 0 0 18 0 32 0 17248707 2544541696 145895 268435456000 4194304 4580107 140737004146016 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=16030/tid=16035] ppid=16028 vsize=2484904 CPUtime=2.97 cores=0-31
/proc/16030/task/16035/stat : 16035 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4643 0 0 0 280 17 0 0 18 0 32 0 17248707 2544541696 145895 268435456000 4194304 4580107 140737004146016 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=16030/tid=16036] ppid=16028 vsize=2484904 CPUtime=2.98 cores=0-31
/proc/16030/task/16036/stat : 16036 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4845 0 0 0 279 19 0 0 18 0 32 0 17248707 2544541696 145895 268435456000 4194304 4580107 140737004146016 18446744073709551615 4293208 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=16030/tid=16037] ppid=16028 vsize=2484904 CPUtime=3 cores=0-31
/proc/16030/task/16037/stat : 16037 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4867 0 0 0 284 16 0 0 18 0 32 0 17248707 2544541696 145895 268435456000 4194304 4580107 140737004146016 18446744073709551615 4515478 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=16030/tid=16038] ppid=16028 vsize=2484904 CPUtime=2.97 cores=0-31
/proc/16030/task/16038/stat : 16038 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4854 0 0 0 279 18 0 0 18 0 32 0 17248707 2544541696 145898 268435456000 4194304 4580107 140737004146016 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=16030/tid=16039] ppid=16028 vsize=2484904 CPUtime=2.98 cores=0-31
/proc/16030/task/16039/stat : 16039 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4454 0 0 0 284 14 0 0 18 0 32 0 17248707 2544541696 145898 268435456000 4194304 4580107 140737004146016 18446744073709551615 4231584 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16030/tid=16040] ppid=16028 vsize=2484904 CPUtime=2.95 cores=0-31
/proc/16030/task/16040/stat : 16040 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4706 0 0 0 277 18 0 0 18 0 32 0 17248707 2544541696 145898 268435456000 4194304 4580107 140737004146016 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=16030/tid=16041] ppid=16028 vsize=2484904 CPUtime=2.95 cores=0-31
/proc/16030/task/16041/stat : 16041 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4679 0 0 0 278 17 0 0 18 0 32 0 17248707 2544541696 145898 268435456000 4194304 4580107 140737004146016 18446744073709551615 4294148 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=16030/tid=16042] ppid=16028 vsize=2484904 CPUtime=3.05 cores=0-31
/proc/16030/task/16042/stat : 16042 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4820 0 0 0 289 16 0 0 18 0 32 0 17248707 2544541696 145901 268435456000 4194304 4580107 140737004146016 18446744073709551615 4292956 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=16030/tid=16043] ppid=16028 vsize=2484904 CPUtime=3.06 cores=0-31
/proc/16030/task/16043/stat : 16043 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4898 0 0 0 289 17 0 0 18 0 32 0 17248707 2544541696 145902 268435456000 4194304 4580107 140737004146016 18446744073709551615 258650614243 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=16030/tid=16044] ppid=16028 vsize=2484904 CPUtime=2.91 cores=0-31
/proc/16030/task/16044/stat : 16044 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4706 0 0 0 274 17 0 0 18 0 32 0 17248707 2544541696 145902 268435456000 4194304 4580107 140737004146016 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=16030/tid=16045] ppid=16028 vsize=2484904 CPUtime=2.94 cores=0-31
/proc/16030/task/16045/stat : 16045 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4496 0 0 0 279 15 0 0 18 0 32 0 17248707 2544541696 145902 268435456000 4194304 4580107 140737004146016 18446744073709551615 4293957 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=16030/tid=16046] ppid=16028 vsize=2484904 CPUtime=3.02 cores=0-31
/proc/16030/task/16046/stat : 16046 (strangenight2-m) S 16028 16030 15888 0 -1 4202560 4955 0 0 0 286 16 0 0 19 0 32 0 17248707 2544541696 145906 268435456000 4194304 4580107 140737004146016 18446744073709551615 47576339707444 0 0 4096 2 18446744071566927224 0 0 -1 6 0 0 0
[pid=16030/tid=16047] ppid=16028 vsize=2484904 CPUtime=3.06 cores=0-31
/proc/16030/task/16047/stat : 16047 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4944 0 0 0 289 17 0 0 18 0 32 0 17248707 2544541696 145906 268435456000 4194304 4580107 140737004146016 18446744073709551615 47576339707417 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=16030/tid=16048] ppid=16028 vsize=2484904 CPUtime=3.01 cores=0-31
/proc/16030/task/16048/stat : 16048 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4590 0 0 0 284 17 0 0 18 0 32 0 17248707 2544541696 145906 268435456000 4194304 4580107 140737004146016 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=16030/tid=16049] ppid=16028 vsize=2484904 CPUtime=3.02 cores=0-31
/proc/16030/task/16049/stat : 16049 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4917 0 0 0 285 17 0 0 18 0 32 0 17248707 2544541696 145906 268435456000 4194304 4580107 140737004146016 18446744073709551615 4412108 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=16030/tid=16050] ppid=16028 vsize=2484904 CPUtime=2.94 cores=0-31
/proc/16030/task/16050/stat : 16050 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4692 0 0 0 278 16 0 0 18 0 32 0 17248707 2544541696 145906 268435456000 4194304 4580107 140737004146016 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16030/tid=16051] ppid=16028 vsize=2484904 CPUtime=2.94 cores=0-31
/proc/16030/task/16051/stat : 16051 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4557 0 0 0 278 16 0 0 18 0 32 0 17248707 2544541696 145909 268435456000 4194304 4580107 140737004146016 18446744073709551615 4292922 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=16030/tid=16052] ppid=16028 vsize=2484904 CPUtime=2.98 cores=0-31
/proc/16030/task/16052/stat : 16052 (strangenight2-m) S 16028 16030 15888 0 -1 4202560 4890 0 0 0 283 15 0 0 19 0 32 0 17248707 2544541696 145909 268435456000 4194304 4580107 140737004146016 18446744073709551615 47576339707444 0 0 4096 2 18446604502284230112 0 0 -1 4 0 0 0
[pid=16030/tid=16053] ppid=16028 vsize=2484904 CPUtime=3.03 cores=0-31
/proc/16030/task/16053/stat : 16053 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4719 0 0 0 285 18 0 0 18 0 32 0 17248707 2544541696 145909 268435456000 4194304 4580107 140737004146016 18446744073709551615 4294148 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=16030/tid=16054] ppid=16028 vsize=2484904 CPUtime=2.96 cores=0-31
/proc/16030/task/16054/stat : 16054 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4735 0 0 0 279 17 0 0 18 0 32 0 17248707 2544541696 145909 268435456000 4194304 4580107 140737004146016 18446744073709551615 4293295 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16030/tid=16055] ppid=16028 vsize=2484904 CPUtime=2.97 cores=0-31
/proc/16030/task/16055/stat : 16055 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4345 0 0 0 283 14 0 0 19 0 32 0 17248707 2544541696 145909 268435456000 4194304 4580107 140737004146016 18446744073709551615 4236317 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=16030/tid=16056] ppid=16028 vsize=2484904 CPUtime=2.99 cores=0-31
/proc/16030/task/16056/stat : 16056 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4537 0 0 0 283 16 0 0 18 0 32 0 17248707 2544541696 145910 268435456000 4194304 4580107 140737004146016 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=16030/tid=16057] ppid=16028 vsize=2484904 CPUtime=2.98 cores=0-31
/proc/16030/task/16057/stat : 16057 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4730 0 0 0 282 16 0 0 18 0 32 0 17248707 2544541696 145910 268435456000 4194304 4580107 140737004146016 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=16030/tid=16058] ppid=16028 vsize=2484904 CPUtime=2.97 cores=0-31
/proc/16030/task/16058/stat : 16058 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4531 0 0 0 280 17 0 0 18 0 32 0 17248707 2544541696 145910 268435456000 4194304 4580107 140737004146016 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=16030/tid=16059] ppid=16028 vsize=2484904 CPUtime=3.03 cores=0-31
/proc/16030/task/16059/stat : 16059 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4677 0 0 0 285 18 0 0 18 0 32 0 17248707 2544541696 145911 268435456000 4194304 4580107 140737004146016 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=16030/tid=16060] ppid=16028 vsize=2484904 CPUtime=2.97 cores=0-31
/proc/16030/task/16060/stat : 16060 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 4644 0 0 0 283 14 0 0 18 0 32 0 17248707 2544541696 145911 268435456000 4194304 4580107 140737004146016 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16030/tid=16061] ppid=16028 vsize=2484904 CPUtime=4.16 cores=0-31
/proc/16030/task/16061/stat : 16061 (strangenight2-m) R 16028 16030 15888 0 -1 4202560 527 0 0 0 413 3 0 0 25 0 32 0 17248707 2544541696 145912 268435456000 4194304 4580107 140737004146016 18446744073709551615 4219864 0 0 4096 2 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 97.03
Current children cumulated vsize (KiB) 2484904
[startup+4.70145 s]
/proc/loadavg: 12.28 5.03 6.26 18/445 16062
/proc/meminfo: memFree=262287836/264257624 swapFree=67054988/67111528
[pid=16030] ppid=16028 vsize=0 CPUtime=107.75 cores=0-31
/proc/16030/stat : 16030 (strangenight2-m) Z 16028 16030 15888 0 -1 4203548 154942 0 0 0 10237 538 0 0 16 0 2 0 17248706 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 15 0 0 0
/proc/16030/statm: 0 0 0 0 0 0 0
[pid=16030/tid=16039] ppid=16028 vsize=0 CPUtime=3.4 cores=0-31
/proc/16030/task/16039/stat : 16039 (strangenight2-m) R 16028 16030 15888 0 -1 4203588 4812 0 0 0 325 15 0 0 18 0 2 0 17248707 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 107.75
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 4.77616
CPU time (s): 107.811
CPU user time (s): 102.373
CPU system time (s): 5.43717
CPU usage (%): 2257.27
Max. virtual memory (cumulated for all children) (KiB): 2486412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 102.373
system time used= 5.43717
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154942
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= 242093
involuntary context switches= 196
runsolver used 0.068989 second user time and 0.172973 second system time
The end
Begin job on node200 at 2011-06-03 17:02:43
IDJOB=3400891
IDBENCH=88003
IDSOLVER=1886
FILE ID=node200/3400891-1307113363
RUNJOBID= node200-1307113339-15902
PBS_JOBID= 13498414
Free space on /tmp= 61744 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT02/industrial/goldberg/rand_net/rand_net60-30-1.shuffled.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400891-1307113363/watcher-3400891-1307113363 -o /tmp/evaluation-result-3400891-1307113363/solver-3400891-1307113363 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400891-1307113363.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 261000 MiB
NBCORE= 32
MD5SUM BENCH= 4297b314a32658522bc6751e20d6be5c
RANDOM SEED=1661961279
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.043
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.043
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.05
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.043
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.08
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.043
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.043
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.05
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.043
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.11
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.043
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.05
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.043
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.043
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.043
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.06
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.043
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 : 3989.96
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.043
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.09
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.043
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.05
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.043
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.09
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.043
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.07
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.043
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.043
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.03
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.043
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.07
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.043
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.11
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.043
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.09
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.043
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.02
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.043
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.11
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.043
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.06
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.043
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.07
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.043
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 : 3989.99
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.043
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.07
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.043
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.07
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.043
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.10
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.043
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.05
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.043
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.043
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.35
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.043
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: 262901648 kB
Buffers: 120416 kB
Cached: 1042608 kB
SwapCached: 8472 kB
Active: 112060 kB
Inactive: 1069400 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 262901648 kB
SwapTotal: 67111528 kB
SwapFree: 67054988 kB
Dirty: 6308 kB
Writeback: 4 kB
AnonPages: 16196 kB
Mapped: 8752 kB
Slab: 89748 kB
PageTables: 4872 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 187540 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= 61740 MiB
End job on node200 at 2011-06-03 17:02:48