0.00/0.00 c Outputting solution to console
0.00/0.01 c Using 32 threads
2.79/0.11 c This is CryptoMiniSat 3.0.0
2.79/0.11 c WARNING: for repeatability, setting FPU to use double precision
2.79/0.11 c Reading file 'HOME/instance-3400627-1306253444.cnf'
2.79/0.14 c -- header says num vars: 200230
2.79/0.14 c -- header says num clauses: 566857
82.65/4.44 c -- clauses added: 0 learnts, 566857 normals, 0 xors
82.65/4.44 c -- vars added 200230
82.65/4.44 c Parsing time: 0.82 s
82.65/4.44 c N st 0 0 200230 357431 184366 0 1441025 0 no data no data
101.42/5.31 c asymm cl-useful: 0/12668/357143 lits-rem:0 time: 0.84
201.92/8.67 c Following stats are for *FIRST FINISHED THREAD ONLY*
201.92/8.67 c num threads : 32
201.92/8.67 c restarts : 1
201.92/8.67 c dynamic restarts : 0
201.92/8.67 c static restarts : 1
201.92/8.67 c full restarts : 0
201.92/8.67 c total simplify time : 1.25
201.92/8.67 c learnts DL2 : 0
201.92/8.67 c learnts size 2 : 184492
201.92/8.67 c learnts size 1 : 25312 (12.64 % of vars)
201.92/8.67 c filedLit time : 0.00 (0.00 % time)
201.92/8.67 c v-elim SatELite : 0 (0.00 % vars)
201.92/8.67 c SatELite time : 0.00 (0.00 % time)
201.92/8.67 c v-elim xor : 0 (0.00 % vars)
201.92/8.67 c xor elim time : 0.00 (0.00 % time)
201.92/8.67 c num binary xor trees : 19616
201.92/8.67 c binxor trees' crown : 48530 (2.47 leafs/tree)
201.92/8.67 c bin xor find time : 0.14
201.92/8.67 c OTF clause improved : 3 (0.05 clauses/conflict)
201.92/8.67 c OTF impr. size diff : 3 (1.00 lits/clause)
201.92/8.67 c OTF cl watch-shrink : 1 (0.02 clauses/conflict)
201.92/8.67 c OTF cl watch-sh-lit : 1 (1.00 lits/clause)
201.92/8.67 c tried to recurMin cls : 5 (7.69 % of conflicts)
201.92/8.67 c updated cache : 7 (1.40 lits/tried recurMin)
201.92/8.67 c unit cls recevied : 0 (0.00 % of units)
201.92/8.67 c unit cls sent : 0 (0.00 % of units)
201.92/8.67 c bin cls recevied : 0
201.92/8.67 c bin cls sent : 0
201.92/8.67 c clauses over max glue : 0 (0.00 % of all clauses)
201.92/8.67 c conflicts : 65 (14.50 / sec)
201.92/8.67 c decisions : 1070 (1.40 % random)
201.92/8.67 c bogo-props : 119890 (26741.36 / sec)
201.92/8.67 c conflict literals : 237 (3.66 % deleted)
201.92/8.67 c Memory used : 4649.34 MB
201.92/8.67 c single-thread CPU time : 4.48 s
201.92/8.67 c all-threads sum CPU time : 140.39 s
201.92/8.67 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-3400627-1306253444/watcher-3400627-1306253444 -o /tmp/evaluation-result-3400627-1306253444/solver-3400627-1306253444 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400627-1306253444.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.21 28.03 30.16 1/413 9182
/proc/meminfo: memFree=255163616/264257624 swapFree=67111528/67111528
[pid=9182] ppid=9180 vsize=338000 CPUtime=0.89 cores=0-31
/proc/9182/stat : 9182 (strangenight2-m) R 9180 9182 9036 0 -1 4202496 467 0 0 0 89 0 0 0 25 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791511 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/9182/statm: 84500 407 300 95 0 79482 0
[pid=9182/tid=9183] ppid=9180 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9182/task/9183/stat : 9183 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 3 0 0 0 22 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791513 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9182/tid=9184] ppid=9180 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9182/task/9184/stat : 9184 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791513 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9182/tid=9185] ppid=9180 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9182/task/9185/stat : 9185 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791513 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9182/tid=9186] ppid=9180 vsize=338000 CPUtime=0.01 cores=0-31
/proc/9182/task/9186/stat : 9186 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 1 0 0 0 22 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791513 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9182/tid=9187] ppid=9180 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9182/task/9187/stat : 9187 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791513 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9182/tid=9188] ppid=9180 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9182/task/9188/stat : 9188 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 3 0 0 0 22 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791517 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9182/tid=9189] ppid=9180 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9182/task/9189/stat : 9189 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 3 0 0 0 22 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791504 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9182/tid=9190] ppid=9180 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9182/task/9190/stat : 9190 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791513 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9182/tid=9191] ppid=9180 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9182/task/9191/stat : 9191 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791507 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9182/tid=9192] ppid=9180 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9182/task/9192/stat : 9192 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791517 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9182/tid=9193] ppid=9180 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9182/task/9193/stat : 9193 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791513 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9182/tid=9194] ppid=9180 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9182/task/9194/stat : 9194 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791513 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9182/tid=9195] ppid=9180 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9182/task/9195/stat : 9195 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791513 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9182/tid=9196] ppid=9180 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9182/task/9196/stat : 9196 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791513 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9182/tid=9197] ppid=9180 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9182/task/9197/stat : 9197 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791513 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9182/tid=9198] ppid=9180 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9182/task/9198/stat : 9198 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791513 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9182/tid=9199] ppid=9180 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9182/task/9199/stat : 9199 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791513 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9182/tid=9200] ppid=9180 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9182/task/9200/stat : 9200 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791504 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9182/tid=9201] ppid=9180 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9182/task/9201/stat : 9201 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791507 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9182/tid=9202] ppid=9180 vsize=338000 CPUtime=0 cores=0-31
/proc/9182/task/9202/stat : 9202 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791922 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9182/tid=9203] ppid=9180 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9182/task/9203/stat : 9203 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791517 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9182/tid=9204] ppid=9180 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9182/task/9204/stat : 9204 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791507 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9182/tid=9205] ppid=9180 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9182/task/9205/stat : 9205 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791507 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9182/tid=9206] ppid=9180 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9182/task/9206/stat : 9206 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791513 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9182/tid=9207] ppid=9180 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9182/task/9207/stat : 9207 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791513 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9182/tid=9208] ppid=9180 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9182/task/9208/stat : 9208 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791513 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9182/tid=9209] ppid=9180 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9182/task/9209/stat : 9209 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791513 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9182/tid=9210] ppid=9180 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9182/task/9210/stat : 9210 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791513 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9182/tid=9211] ppid=9180 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9182/task/9211/stat : 9211 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 736830872 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791513 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9182/tid=9212] ppid=9180 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9182/task/9212/stat : 9212 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 736830872 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791507 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9182/tid=9213] ppid=9180 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9182/task/9213/stat : 9213 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 736830872 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791507 0 0 4096 2 0 0 0 -1 23 0 0 0
[startup+0.060834 s]
/proc/loadavg: 27.21 28.03 30.16 1/413 9182
/proc/meminfo: memFree=255163616/264257624 swapFree=67111528/67111528
[pid=9182] ppid=9180 vsize=338000 CPUtime=1.66 cores=0-31
/proc/9182/stat : 9182 (strangenight2-m) R 9180 9182 9036 0 -1 4202496 467 0 0 0 166 0 0 0 25 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791517 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/9182/statm: 84500 407 300 95 0 79482 0
[pid=9182/tid=9183] ppid=9180 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9182/task/9183/stat : 9183 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 5 0 0 0 22 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791513 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9182/tid=9184] ppid=9180 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9182/task/9184/stat : 9184 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 5 0 0 0 23 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791513 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9182/tid=9185] ppid=9180 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9182/task/9185/stat : 9185 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 0 0 0 0 5 0 0 0 22 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791513 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9182/tid=9186] ppid=9180 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9182/task/9186/stat : 9186 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 3 0 0 0 22 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791513 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9182/tid=9187] ppid=9180 vsize=338000 CPUtime=0.04 cores=0-31
/proc/9182/task/9187/stat : 9187 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 4 0 0 0 22 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791507 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9182/tid=9188] ppid=9180 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9182/task/9188/stat : 9188 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 5 0 0 0 22 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791507 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9182/tid=9189] ppid=9180 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9182/task/9189/stat : 9189 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 5 0 0 0 22 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791513 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9182/tid=9190] ppid=9180 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9182/task/9190/stat : 9190 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 5 0 0 0 23 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791513 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9182/tid=9191] ppid=9180 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9182/task/9191/stat : 9191 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 5 0 0 0 23 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791513 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9182/tid=9192] ppid=9180 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9182/task/9192/stat : 9192 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 5 0 0 0 23 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791507 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9182/tid=9193] ppid=9180 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9182/task/9193/stat : 9193 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 5 0 0 0 23 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791513 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9182/tid=9194] ppid=9180 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9182/task/9194/stat : 9194 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 5 0 0 0 23 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791513 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9182/tid=9195] ppid=9180 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9182/task/9195/stat : 9195 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 5 0 0 0 23 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791507 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9182/tid=9196] ppid=9180 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9182/task/9196/stat : 9196 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 5 0 0 0 23 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791513 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9182/tid=9197] ppid=9180 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9182/task/9197/stat : 9197 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 5 0 0 0 24 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791517 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9182/tid=9198] ppid=9180 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9182/task/9198/stat : 9198 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 5 0 0 0 24 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791513 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9182/tid=9199] ppid=9180 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9182/task/9199/stat : 9199 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 5 0 0 0 24 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791504 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9182/tid=9200] ppid=9180 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9182/task/9200/stat : 9200 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 5 0 0 0 24 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791507 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9182/tid=9201] ppid=9180 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9182/task/9201/stat : 9201 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 5 0 0 0 24 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791513 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9182/tid=9202] ppid=9180 vsize=338000 CPUtime=0 cores=0-31
/proc/9182/task/9202/stat : 9202 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791922 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9182/tid=9203] ppid=9180 vsize=338000 CPUtime=0.04 cores=0-31
/proc/9182/task/9203/stat : 9203 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 0 0 0 0 4 0 0 0 24 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791517 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9182/tid=9204] ppid=9180 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9182/task/9204/stat : 9204 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791513 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9182/tid=9205] ppid=9180 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9182/task/9205/stat : 9205 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791513 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9182/tid=9206] ppid=9180 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9182/task/9206/stat : 9206 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791517 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9182/tid=9207] ppid=9180 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9182/task/9207/stat : 9207 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791513 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9182/tid=9208] ppid=9180 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9182/task/9208/stat : 9208 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791513 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9182/tid=9209] ppid=9180 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9182/task/9209/stat : 9209 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791513 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9182/tid=9210] ppid=9180 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9182/task/9210/stat : 9210 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 736830871 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791513 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9182/tid=9211] ppid=9180 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9182/task/9211/stat : 9211 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 736830872 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791511 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9182/tid=9212] ppid=9180 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9182/task/9212/stat : 9212 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 736830872 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791513 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9182/tid=9213] ppid=9180 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9182/task/9213/stat : 9213 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 736830872 346112000 407 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791513 0 0 4096 2 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 338000
[startup+0.102866 s]
/proc/loadavg: 27.21 28.03 30.16 1/413 9182
/proc/meminfo: memFree=255163616/264257624 swapFree=67111528/67111528
[pid=9182] ppid=9180 vsize=796968 CPUtime=2.79 cores=0-31
/proc/9182/stat : 9182 (strangenight2-m) S 9180 9182 9036 0 -1 4202496 1502 0 0 0 275 4 0 0 25 0 32 0 736830871 816095232 1344 268435456000 4194304 4580107 140733862383584 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/9182/statm: 199243 1349 315 95 0 194225 0
[pid=9182/tid=9183] ppid=9180 vsize=796972 CPUtime=0.09 cores=0-31
/proc/9182/task/9183/stat : 9183 (strangenight2-m) D 9180 9182 9036 0 -1 4202560 22 0 0 0 9 0 0 0 18 0 32 0 736830871 816099328 1351 268435456000 4194304 4580107 140733862383584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9182/tid=9184] ppid=9180 vsize=796972 CPUtime=0.09 cores=0-31
/proc/9182/task/9184/stat : 9184 (strangenight2-m) D 9180 9182 9036 0 -1 4202560 8 0 0 0 9 0 0 0 23 0 32 0 736830871 816099328 1351 268435456000 4194304 4580107 140733862383584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9182/tid=9185] ppid=9180 vsize=796972 CPUtime=0.08 cores=0-31
/proc/9182/task/9185/stat : 9185 (strangenight2-m) D 9180 9182 9036 0 -1 4202560 115 0 0 0 8 0 0 0 18 0 32 0 736830871 816099328 1351 268435456000 4194304 4580107 140733862383584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9182/tid=9186] ppid=9180 vsize=796972 CPUtime=0.06 cores=0-31
/proc/9182/task/9186/stat : 9186 (strangenight2-m) D 9180 9182 9036 0 -1 4202560 22 0 0 0 6 0 0 0 23 0 32 0 736830871 816099328 1351 268435456000 4194304 4580107 140733862383584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9182/tid=9187] ppid=9180 vsize=796972 CPUtime=0.08 cores=0-31
/proc/9182/task/9187/stat : 9187 (strangenight2-m) D 9180 9182 9036 0 -1 4202560 6 0 0 0 8 0 0 0 23 0 32 0 736830871 816099328 1351 268435456000 4194304 4580107 140733862383584 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9182/tid=9188] ppid=9180 vsize=796972 CPUtime=0.08 cores=0-31
/proc/9182/task/9188/stat : 9188 (strangenight2-m) S 9180 9182 9036 0 -1 4202560 7 0 0 0 8 0 0 0 23 0 32 0 736830871 816099328 1351 268435456000 4194304 4580107 140733862383584 18446744073709551615 258651060958 0 0 4096 2 18446604564556291552 0 0 -1 4 0 0 0
[pid=9182/tid=9189] ppid=9180 vsize=796972 CPUtime=0.09 cores=0-31
/proc/9182/task/9189/stat : 9189 (strangenight2-m) D 9180 9182 9036 0 -1 4202560 8 0 0 0 9 0 0 0 23 0 32 0 736830871 816099328 1351 268435456000 4194304 4580107 140733862383584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9182/tid=9190] ppid=9180 vsize=796972 CPUtime=0.09 cores=0-31
/proc/9182/task/9190/stat : 9190 (strangenight2-m) D 9180 9182 9036 0 -1 4202560 7 0 0 0 9 0 0 0 24 0 32 0 736830871 816099328 1351 268435456000 4194304 4580107 140733862383584 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9182/tid=9191] ppid=9180 vsize=796972 CPUtime=0.09 cores=0-31
/proc/9182/task/9191/stat : 9191 (strangenight2-m) D 9180 9182 9036 0 -1 4202560 26 0 0 0 9 0 0 0 24 0 32 0 736830871 816099328 1351 268435456000 4194304 4580107 140733862383584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9182/tid=9192] ppid=9180 vsize=796972 CPUtime=0.09 cores=0-31
/proc/9182/task/9192/stat : 9192 (strangenight2-m) D 9180 9182 9036 0 -1 4202560 47 0 0 0 9 0 0 0 18 0 32 0 736830871 816099328 1351 268435456000 4194304 4580107 140733862383584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9182/tid=9193] ppid=9180 vsize=796972 CPUtime=0.09 cores=0-31
/proc/9182/task/9193/stat : 9193 (strangenight2-m) S 9180 9182 9036 0 -1 4202560 6 0 0 0 9 0 0 0 24 0 32 0 736830871 816099328 1351 268435456000 4194304 4580107 140733862383584 18446744073709551615 258651060958 0 0 4096 2 18446604483312917984 0 0 -1 10 0 0 0
[pid=9182/tid=9194] ppid=9180 vsize=796972 CPUtime=0.09 cores=0-31
/proc/9182/task/9194/stat : 9194 (strangenight2-m) D 9180 9182 9036 0 -1 4202560 21 0 0 0 9 0 0 0 18 0 32 0 736830871 816099328 1351 268435456000 4194304 4580107 140733862383584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9182/tid=9195] ppid=9180 vsize=796972 CPUtime=0.09 cores=0-31
/proc/9182/task/9195/stat : 9195 (strangenight2-m) S 9180 9182 9036 0 -1 4202560 6 0 0 0 9 0 0 0 24 0 32 0 736830871 816099328 1351 268435456000 4194304 4580107 140733862383584 18446744073709551615 258651060958 0 0 4096 2 18446604476013534688 0 0 -1 13 0 0 0
[pid=9182/tid=9196] ppid=9180 vsize=731436 CPUtime=0.09 cores=0-31
/proc/9182/task/9196/stat : 9196 (strangenight2-m) D 9180 9182 9036 0 -1 4202560 9 0 0 0 9 0 0 0 24 0 32 0 736830871 748990464 1351 268435456000 4194304 4580107 140733862383584 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9182/tid=9197] ppid=9180 vsize=731436 CPUtime=0.09 cores=0-31
/proc/9182/task/9197/stat : 9197 (strangenight2-m) D 9180 9182 9036 0 -1 4202560 21 0 0 0 9 0 0 0 25 0 32 0 736830871 748990464 1363 268435456000 4194304 4580107 140733862383584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9182/tid=9198] ppid=9180 vsize=731436 CPUtime=0.09 cores=0-31
/proc/9182/task/9198/stat : 9198 (strangenight2-m) S 9180 9182 9036 0 -1 4202560 5 0 0 0 9 0 0 0 25 0 32 0 736830871 748990464 1372 268435456000 4194304 4580107 140733862383584 18446744073709551615 258651060958 0 0 4096 2 18446604482478964192 0 0 -1 17 0 0 0
[pid=9182/tid=9199] ppid=9180 vsize=731436 CPUtime=0.09 cores=0-31
################
# More data... #
################
[pid=9182/tid=9183] ppid=9180 vsize=4760784 CPUtime=4.26 cores=0-31
/proc/9182/task/9183/stat : 9183 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 29545 0 0 0 211 215 0 0 17 0 32 0 736830871 4875042816 679853 268435456000 4194304 4580107 140733862383584 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9182/tid=9184] ppid=9180 vsize=4760784 CPUtime=4.22 cores=0-31
/proc/9182/task/9184/stat : 9184 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 26289 0 0 0 215 207 0 0 17 0 32 0 736830871 4875042816 679853 268435456000 4194304 4580107 140733862383584 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9182/tid=9185] ppid=9180 vsize=4760784 CPUtime=4.06 cores=0-31
/proc/9182/task/9185/stat : 9185 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 21943 0 0 0 215 191 0 0 17 0 32 0 736830871 4875042816 679853 268435456000 4194304 4580107 140733862383584 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9182/tid=9186] ppid=9180 vsize=4760784 CPUtime=3.83 cores=0-31
/proc/9182/task/9186/stat : 9186 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 22287 0 0 0 206 177 0 0 17 0 32 0 736830871 4875042816 679853 268435456000 4194304 4580107 140733862383584 18446744073709551615 4293032 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9182/tid=9187] ppid=9180 vsize=4760784 CPUtime=4.46 cores=0-31
/proc/9182/task/9187/stat : 9187 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 21502 0 0 0 270 176 0 0 17 0 32 0 736830871 4875042816 679853 268435456000 4194304 4580107 140733862383584 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9182/tid=9188] ppid=9180 vsize=4760784 CPUtime=3.97 cores=0-31
/proc/9182/task/9188/stat : 9188 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 24046 0 0 0 209 188 0 0 17 0 32 0 736830871 4875042816 679853 268435456000 4194304 4580107 140733862383584 18446744073709551615 4293067 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9182/tid=9189] ppid=9180 vsize=4760784 CPUtime=4.3 cores=0-31
/proc/9182/task/9189/stat : 9189 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 25232 0 0 0 230 200 0 0 17 0 32 0 736830871 4875042816 679853 268435456000 4194304 4580107 140733862383584 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9182/tid=9190] ppid=9180 vsize=4760784 CPUtime=4.2 cores=0-31
/proc/9182/task/9190/stat : 9190 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 26986 0 0 0 209 211 0 0 17 0 32 0 736830871 4875042816 679853 268435456000 4194304 4580107 140733862383584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9182/tid=9191] ppid=9180 vsize=4760784 CPUtime=4.17 cores=0-31
/proc/9182/task/9191/stat : 9191 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 25926 0 0 0 216 201 0 0 17 0 32 0 736830871 4875042816 679853 268435456000 4194304 4580107 140733862383584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9182/tid=9192] ppid=9180 vsize=4760784 CPUtime=4.04 cores=0-31
/proc/9182/task/9192/stat : 9192 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 21279 0 0 0 217 187 0 0 17 0 32 0 736830871 4875042816 679853 268435456000 4194304 4580107 140733862383584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9182/tid=9193] ppid=9180 vsize=4760784 CPUtime=4.18 cores=0-31
/proc/9182/task/9193/stat : 9193 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 24860 0 0 0 211 207 0 0 17 0 32 0 736830871 4875042816 679853 268435456000 4194304 4580107 140733862383584 18446744073709551615 4292985 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9182/tid=9194] ppid=9180 vsize=4760784 CPUtime=3.96 cores=0-31
/proc/9182/task/9194/stat : 9194 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 25229 0 0 0 207 189 0 0 17 0 32 0 736830871 4875042816 679853 268435456000 4194304 4580107 140733862383584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9182/tid=9195] ppid=9180 vsize=4760784 CPUtime=4.21 cores=0-31
/proc/9182/task/9195/stat : 9195 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 23384 0 0 0 218 203 0 0 17 0 32 0 736830871 4875042816 679853 268435456000 4194304 4580107 140733862383584 18446744073709551615 4293151 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9182/tid=9196] ppid=9180 vsize=4760784 CPUtime=4.15 cores=0-31
/proc/9182/task/9196/stat : 9196 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 24274 0 0 0 215 200 0 0 17 0 32 0 736830871 4875042816 679853 268435456000 4194304 4580107 140733862383584 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9182/tid=9197] ppid=9180 vsize=4760784 CPUtime=4.06 cores=0-31
/proc/9182/task/9197/stat : 9197 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 25625 0 0 0 207 199 0 0 17 0 32 0 736830871 4875042816 679853 268435456000 4194304 4580107 140733862383584 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=9182/tid=9198] ppid=9180 vsize=4760784 CPUtime=4.1 cores=0-31
/proc/9182/task/9198/stat : 9198 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 22901 0 0 0 215 195 0 0 17 0 32 0 736830871 4875042816 679853 268435456000 4194304 4580107 140733862383584 18446744073709551615 4292922 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9182/tid=9199] ppid=9180 vsize=4760784 CPUtime=3.85 cores=0-31
/proc/9182/task/9199/stat : 9199 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 20810 0 0 0 210 175 0 0 17 0 32 0 736830871 4875042816 679853 268435456000 4194304 4580107 140733862383584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9182/tid=9200] ppid=9180 vsize=4760784 CPUtime=4.17 cores=0-31
/proc/9182/task/9200/stat : 9200 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 28572 0 0 0 215 202 0 0 17 0 32 0 736830871 4875042816 679853 268435456000 4194304 4580107 140733862383584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9182/tid=9201] ppid=9180 vsize=4760784 CPUtime=4.56 cores=0-31
/proc/9182/task/9201/stat : 9201 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 22014 0 0 0 290 166 0 0 18 0 32 0 736830871 4875042816 679853 268435456000 4194304 4580107 140733862383584 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9182/tid=9202] ppid=9180 vsize=4760784 CPUtime=3.92 cores=0-31
/proc/9182/task/9202/stat : 9202 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 22897 0 0 0 196 196 0 0 17 0 32 0 736830871 4875042816 679853 268435456000 4194304 4580107 140733862383584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9182/tid=9203] ppid=9180 vsize=4760784 CPUtime=3.9 cores=0-31
/proc/9182/task/9203/stat : 9203 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 20032 0 0 0 209 181 0 0 17 0 32 0 736830871 4875042816 679853 268435456000 4194304 4580107 140733862383584 18446744073709551615 4289080 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9182/tid=9204] ppid=9180 vsize=4760784 CPUtime=4.23 cores=0-31
/proc/9182/task/9204/stat : 9204 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 24554 0 0 0 222 201 0 0 17 0 32 0 736830871 4875042816 679853 268435456000 4194304 4580107 140733862383584 18446744073709551615 4293163 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9182/tid=9205] ppid=9180 vsize=4760784 CPUtime=4.31 cores=0-31
/proc/9182/task/9205/stat : 9205 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 29441 0 0 0 217 214 0 0 17 0 32 0 736830871 4875042816 679853 268435456000 4194304 4580107 140733862383584 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9182/tid=9206] ppid=9180 vsize=4760784 CPUtime=4.18 cores=0-31
/proc/9182/task/9206/stat : 9206 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 23132 0 0 0 226 192 0 0 17 0 32 0 736830871 4875042816 679853 268435456000 4194304 4580107 140733862383584 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9182/tid=9207] ppid=9180 vsize=4760784 CPUtime=4.28 cores=0-31
/proc/9182/task/9207/stat : 9207 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 23753 0 0 0 240 188 0 0 17 0 32 0 736830871 4875042816 679853 268435456000 4194304 4580107 140733862383584 18446744073709551615 4293802 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9182/tid=9208] ppid=9180 vsize=4760784 CPUtime=4.1 cores=0-31
/proc/9182/task/9208/stat : 9208 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 23995 0 0 0 223 187 0 0 17 0 32 0 736830871 4875042816 679853 268435456000 4194304 4580107 140733862383584 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9182/tid=9209] ppid=9180 vsize=4760784 CPUtime=3.91 cores=0-31
/proc/9182/task/9209/stat : 9209 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 21231 0 0 0 205 186 0 0 17 0 32 0 736830871 4875042816 679853 268435456000 4194304 4580107 140733862383584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9182/tid=9210] ppid=9180 vsize=4760784 CPUtime=4.53 cores=0-31
/proc/9182/task/9210/stat : 9210 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 23393 0 0 0 286 167 0 0 18 0 32 0 736830871 4875042816 679856 268435456000 4194304 4580107 140733862383584 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9182/tid=9211] ppid=9180 vsize=4760784 CPUtime=4.25 cores=0-31
/proc/9182/task/9211/stat : 9211 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 27541 0 0 0 221 204 0 0 17 0 32 0 736830872 4875042816 679856 268435456000 4194304 4580107 140733862383584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9182/tid=9212] ppid=9180 vsize=4760784 CPUtime=4.16 cores=0-31
/proc/9182/task/9212/stat : 9212 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 24677 0 0 0 216 200 0 0 17 0 32 0 736830872 4875042816 679856 268435456000 4194304 4580107 140733862383584 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9182/tid=9213] ppid=9180 vsize=4760784 CPUtime=3.91 cores=0-31
/proc/9182/task/9213/stat : 9213 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 24965 0 0 0 211 180 0 0 17 0 32 0 736830872 4875042816 679856 268435456000 4194304 4580107 140733862383584 18446744073709551615 4303985 0 0 4096 2 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 133.34
Current children cumulated vsize (KiB) 4760784
Solver just ended. Dumping a history of the last processes samples
[startup+7.90209 s]
/proc/loadavg: 26.15 27.79 30.07 33/445 9214
/proc/meminfo: memFree=252429860/264257624 swapFree=67111528/67111528
[pid=9182] ppid=9180 vsize=4760916 CPUtime=184.41 cores=0-31
/proc/9182/stat : 9182 (strangenight2-m) R 9180 9182 9036 0 -1 4202496 783642 0 0 0 12252 6189 0 0 20 0 32 0 736830871 4875177984 683464 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791507 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/9182/statm: 1190229 683464 359 95 0 1185211 0
[pid=9182/tid=9183] ppid=9180 vsize=4760916 CPUtime=5.87 cores=0-31
/proc/9182/task/9183/stat : 9183 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 29666 0 0 0 371 216 0 0 18 0 32 0 736830871 4875177984 683464 268435456000 4194304 4580107 140733862383584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9182/tid=9184] ppid=9180 vsize=4760916 CPUtime=5.82 cores=0-31
/proc/9182/task/9184/stat : 9184 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 26405 0 0 0 374 208 0 0 19 0 32 0 736830871 4875177984 683464 268435456000 4194304 4580107 140733862383584 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9182/tid=9185] ppid=9180 vsize=4760916 CPUtime=5.66 cores=0-31
/proc/9182/task/9185/stat : 9185 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 22017 0 0 0 375 191 0 0 19 0 32 0 736830871 4875177984 683464 268435456000 4194304 4580107 140733862383584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9182/tid=9186] ppid=9180 vsize=4760916 CPUtime=5.43 cores=0-31
/proc/9182/task/9186/stat : 9186 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 22345 0 0 0 366 177 0 0 19 0 32 0 736830871 4875177984 683464 268435456000 4194304 4580107 140733862383584 18446744073709551615 4292985 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9182/tid=9187] ppid=9180 vsize=4760916 CPUtime=6.05 cores=0-31
/proc/9182/task/9187/stat : 9187 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 21522 0 0 0 429 176 0 0 20 0 32 0 736830871 4875177984 683464 268435456000 4194304 4580107 140733862383584 18446744073709551615 4292941 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9182/tid=9188] ppid=9180 vsize=4760916 CPUtime=5.56 cores=0-31
/proc/9182/task/9188/stat : 9188 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 24133 0 0 0 368 188 0 0 19 0 32 0 736830871 4875177984 683464 268435456000 4194304 4580107 140733862383584 18446744073709551615 4355332 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9182/tid=9189] ppid=9180 vsize=4760916 CPUtime=5.9 cores=0-31
/proc/9182/task/9189/stat : 9189 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 25355 0 0 0 390 200 0 0 19 0 32 0 736830871 4875177984 683464 268435456000 4194304 4580107 140733862383584 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9182/tid=9190] ppid=9180 vsize=4760916 CPUtime=5.79 cores=0-31
/proc/9182/task/9190/stat : 9190 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 27074 0 0 0 368 211 0 0 19 0 32 0 736830871 4875177984 683464 268435456000 4194304 4580107 140733862383584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9182/tid=9191] ppid=9180 vsize=4760916 CPUtime=5.77 cores=0-31
/proc/9182/task/9191/stat : 9191 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 26047 0 0 0 376 201 0 0 19 0 32 0 736830871 4875177984 683464 268435456000 4194304 4580107 140733862383584 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9182/tid=9192] ppid=9180 vsize=4760916 CPUtime=5.65 cores=0-31
/proc/9182/task/9192/stat : 9192 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 21382 0 0 0 377 188 0 0 19 0 32 0 736830871 4875177984 683464 268435456000 4194304 4580107 140733862383584 18446744073709551615 4295396 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9182/tid=9193] ppid=9180 vsize=4760916 CPUtime=5.78 cores=0-31
/proc/9182/task/9193/stat : 9193 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 24994 0 0 0 371 207 0 0 18 0 32 0 736830871 4875177984 683464 268435456000 4194304 4580107 140733862383584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9182/tid=9194] ppid=9180 vsize=4760916 CPUtime=5.56 cores=0-31
/proc/9182/task/9194/stat : 9194 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 25322 0 0 0 367 189 0 0 19 0 32 0 736830871 4875177984 683464 268435456000 4194304 4580107 140733862383584 18446744073709551615 4293105 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9182/tid=9195] ppid=9180 vsize=4760916 CPUtime=5.81 cores=0-31
/proc/9182/task/9195/stat : 9195 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 23500 0 0 0 378 203 0 0 19 0 32 0 736830871 4875177984 683464 268435456000 4194304 4580107 140733862383584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9182/tid=9196] ppid=9180 vsize=4760916 CPUtime=5.75 cores=0-31
/proc/9182/task/9196/stat : 9196 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 24360 0 0 0 375 200 0 0 19 0 32 0 736830871 4875177984 683464 268435456000 4194304 4580107 140733862383584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9182/tid=9197] ppid=9180 vsize=4760916 CPUtime=5.6 cores=0-31
/proc/9182/task/9197/stat : 9197 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 25701 0 0 0 361 199 0 0 19 0 32 0 736830871 4875177984 683464 268435456000 4194304 4580107 140733862383584 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=9182/tid=9198] ppid=9180 vsize=4760916 CPUtime=5.7 cores=0-31
/proc/9182/task/9198/stat : 9198 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 23021 0 0 0 375 195 0 0 19 0 32 0 736830871 4875177984 683464 268435456000 4194304 4580107 140733862383584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9182/tid=9199] ppid=9180 vsize=4760916 CPUtime=5.44 cores=0-31
/proc/9182/task/9199/stat : 9199 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 20880 0 0 0 369 175 0 0 19 0 32 0 736830871 4875177984 683464 268435456000 4194304 4580107 140733862383584 18446744073709551615 4294259 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9182/tid=9200] ppid=9180 vsize=4760916 CPUtime=5.77 cores=0-31
/proc/9182/task/9200/stat : 9200 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 28699 0 0 0 375 202 0 0 19 0 32 0 736830871 4875177984 683464 268435456000 4194304 4580107 140733862383584 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9182/tid=9201] ppid=9180 vsize=4760916 CPUtime=6.14 cores=0-31
/proc/9182/task/9201/stat : 9201 (strangenight2-m) S 9180 9182 9036 0 -1 4202560 22197 0 0 0 448 166 0 0 20 0 32 0 736830871 4875177984 683464 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791540 0 0 4096 2 18446744071566930384 0 0 -1 4 0 0 0
[pid=9182/tid=9202] ppid=9180 vsize=4760916 CPUtime=5.52 cores=0-31
/proc/9182/task/9202/stat : 9202 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 22984 0 0 0 356 196 0 0 19 0 32 0 736830871 4875177984 683464 268435456000 4194304 4580107 140733862383584 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9182/tid=9203] ppid=9180 vsize=4760916 CPUtime=5.5 cores=0-31
/proc/9182/task/9203/stat : 9203 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 20119 0 0 0 369 181 0 0 19 0 32 0 736830871 4875177984 683464 268435456000 4194304 4580107 140733862383584 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9182/tid=9204] ppid=9180 vsize=4760916 CPUtime=5.83 cores=0-31
/proc/9182/task/9204/stat : 9204 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 24639 0 0 0 382 201 0 0 19 0 32 0 736830871 4875177984 683464 268435456000 4194304 4580107 140733862383584 18446744073709551615 4292966 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9182/tid=9205] ppid=9180 vsize=4760916 CPUtime=5.92 cores=0-31
/proc/9182/task/9205/stat : 9205 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 29560 0 0 0 377 215 0 0 19 0 32 0 736830871 4875177984 683464 268435456000 4194304 4580107 140733862383584 18446744073709551615 4293184 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9182/tid=9206] ppid=9180 vsize=4760916 CPUtime=5.77 cores=0-31
/proc/9182/task/9206/stat : 9206 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 23284 0 0 0 385 192 0 0 19 0 32 0 736830871 4875177984 683464 268435456000 4194304 4580107 140733862383584 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9182/tid=9207] ppid=9180 vsize=4760916 CPUtime=5.88 cores=0-31
/proc/9182/task/9207/stat : 9207 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 23904 0 0 0 400 188 0 0 19 0 32 0 736830871 4875177984 683464 268435456000 4194304 4580107 140733862383584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9182/tid=9208] ppid=9180 vsize=4760916 CPUtime=5.7 cores=0-31
/proc/9182/task/9208/stat : 9208 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 24116 0 0 0 383 187 0 0 19 0 32 0 736830871 4875177984 683464 268435456000 4194304 4580107 140733862383584 18446744073709551615 4293266 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9182/tid=9209] ppid=9180 vsize=4760916 CPUtime=5.51 cores=0-31
/proc/9182/task/9209/stat : 9209 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 21351 0 0 0 365 186 0 0 19 0 32 0 736830871 4875177984 683464 268435456000 4194304 4580107 140733862383584 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9182/tid=9210] ppid=9180 vsize=4760916 CPUtime=6.13 cores=0-31
/proc/9182/task/9210/stat : 9210 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 23548 0 0 0 446 167 0 0 20 0 32 0 736830871 4875177984 683466 268435456000 4194304 4580107 140733862383584 18446744073709551615 47053953791513 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9182/tid=9211] ppid=9180 vsize=4760916 CPUtime=5.85 cores=0-31
/proc/9182/task/9211/stat : 9211 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 27636 0 0 0 381 204 0 0 19 0 32 0 736830872 4875177984 683466 268435456000 4194304 4580107 140733862383584 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9182/tid=9212] ppid=9180 vsize=4760916 CPUtime=5.76 cores=0-31
/proc/9182/task/9212/stat : 9212 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 24804 0 0 0 376 200 0 0 19 0 32 0 736830872 4875177984 683466 268435456000 4194304 4580107 140733862383584 18446744073709551615 4292896 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9182/tid=9213] ppid=9180 vsize=4760916 CPUtime=5.52 cores=0-31
/proc/9182/task/9213/stat : 9213 (strangenight2-m) R 9180 9182 9036 0 -1 4202560 25186 0 0 0 371 181 0 0 19 0 32 0 736830872 4875177984 683466 268435456000 4194304 4580107 140733862383584 18446744073709551615 4205512 0 0 4096 2 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 184.41
Current children cumulated vsize (KiB) 4760916
[startup+8.70224 s]
/proc/loadavg: 26.62 27.86 30.08 2/415 9214
/proc/meminfo: memFree=252636944/264257624 swapFree=67111528/67111528
[pid=9182] ppid=9180 vsize=0 CPUtime=202.34 cores=0-31
/proc/9182/stat : 9182 (strangenight2-m) Z 9180 9182 9036 0 -1 4203548 784495 0 0 0 14039 6195 0 0 15 0 2 0 736830871 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/9182/statm: 0 0 0 0 0 0 0
[pid=9182/tid=9202] ppid=9180 vsize=0 CPUtime=6.33 cores=0-31
/proc/9182/task/9202/stat : 9202 (strangenight2-m) R 9180 9182 9036 0 -1 4203588 22997 0 0 0 433 200 0 0 20 0 2 0 736830871 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 202.34
Current children cumulated vsize (KiB) 0
[startup+8.90124 s]
/proc/loadavg: 26.62 27.86 30.08 2/415 9214
/proc/meminfo: memFree=252636944/264257624 swapFree=67111528/67111528
[pid=9182] ppid=9180 vsize=0 CPUtime=202.52 cores=0-31
/proc/9182/stat : 9182 (strangenight2-m) Z 9180 9182 9036 0 -1 4203548 784495 0 0 0 14039 6213 0 0 15 0 2 0 736830871 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/9182/statm: 0 0 0 0 0 0 0
[pid=9182/tid=9202] ppid=9180 vsize=0 CPUtime=6.51 cores=0-31
/proc/9182/task/9202/stat : 9202 (strangenight2-m) R 9180 9182 9036 0 -1 4203588 22997 0 0 0 433 218 0 0 21 0 2 0 736830871 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) 202.52
Current children cumulated vsize (KiB) 0
[startup+9.00124 s]
/proc/loadavg: 26.62 27.86 30.08 2/415 9214
/proc/meminfo: memFree=252636944/264257624 swapFree=67111528/67111528
[pid=9182] ppid=9180 vsize=0 CPUtime=202.62 cores=0-31
/proc/9182/stat : 9182 (strangenight2-m) Z 9180 9182 9036 0 -1 4203548 784495 0 0 0 14039 6223 0 0 15 0 2 0 736830871 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/9182/statm: 0 0 0 0 0 0 0
[pid=9182/tid=9202] ppid=9180 vsize=0 CPUtime=6.61 cores=0-31
/proc/9182/task/9202/stat : 9202 (strangenight2-m) R 9180 9182 9036 0 -1 4203588 22997 0 0 0 433 228 0 0 21 0 2 0 736830871 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) 202.62
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 9.00267
CPU time (s): 202.637
CPU user time (s): 140.398
CPU system time (s): 62.2395
CPU usage (%): 2250.86
Max. virtual memory (cumulated for all children) (KiB): 4760916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 140.398
system time used= 62.2395
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 784495
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= 1007959
involuntary context switches= 3688
runsolver used 0.106983 second user time and 0.340948 second system time
The end
Begin job on node200 at 2011-05-24 18:10:45
IDJOB=3400627
IDBENCH=20467
IDSOLVER=1886
FILE ID=node200/3400627-1306253444
RUNJOBID= node200-1306253326-9050
PBS_JOBID= 13411758
Free space on /tmp= 62036 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT07/industrial/babic/hsatv17/hsat_vc12062.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400627-1306253444/watcher-3400627-1306253444 -o /tmp/evaluation-result-3400627-1306253444/solver-3400627-1306253444 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400627-1306253444.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= cc0ca898241ac312882fa93ead2b644b
RANDOM SEED=267287268
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.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
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.049
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.049
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.09
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.049
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.17
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.049
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.049
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.06
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.049
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.049
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.049
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.09
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.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
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.02
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.049
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.17
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.049
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.049
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 : 3989.98
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.049
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.06
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.049
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.04
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.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
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.049
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.049
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.05
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.049
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.07
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.049
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.08
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.049
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.23
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.049
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.049
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.09
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.049
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.08
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.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 10
cpu cores : 8
apicid : 116
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 28
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
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.049
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.09
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.049
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.049
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.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 255163772 kB
Buffers: 463540 kB
Cached: 8226176 kB
SwapCached: 0 kB
Active: 7777544 kB
Inactive: 981056 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255163772 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 17016 kB
Writeback: 0 kB
AnonPages: 68536 kB
Mapped: 14652 kB
Slab: 255544 kB
PageTables: 5368 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 172648 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= 62032 MiB
End job on node200 at 2011-05-24 18:10:54