0.00/0.00 c Outputting solution to console
0.00/0.04 c Using 32 threads
0.00/0.04 c This is CryptoMiniSat 3.0.0
0.00/0.04 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04 c Reading file 'HOME/instance-3400779-1306778367.cnf'
0.00/0.08 c -- header says num vars: 56536
0.00/0.08 c -- header says num clauses: 158531
22.42/1.42 c -- clauses added: 0 learnts, 158531 normals, 0 xors
22.42/1.42 c -- vars added 56536
22.42/1.42 c Parsing time: 0.21 s
22.42/1.42 c N st 0 0 56536 52843 105686 0 369901 0 no data no data
60.73/2.68 c asymm cl-useful: 0/52842/52842 lits-rem:0 time: 1.28
65.08/2.89 c Following stats are for *FIRST FINISHED THREAD ONLY*
65.08/2.89 c num threads : 32
65.08/2.89 c restarts : 1
65.08/2.89 c dynamic restarts : 0
65.08/2.89 c static restarts : 1
65.08/2.89 c full restarts : 0
65.08/2.89 c total simplify time : 0.05
65.08/2.89 c learnts DL2 : 0
65.08/2.89 c learnts size 2 : 105702
65.08/2.89 c learnts size 1 : 13 (0.02 % of vars)
65.08/2.89 c filedLit time : 0.00 (0.00 % time)
65.08/2.89 c v-elim SatELite : 0 (0.00 % vars)
65.08/2.89 c SatELite time : 0.00 (0.00 % time)
65.08/2.89 c v-elim xor : 0 (0.00 % vars)
65.08/2.89 c xor elim time : 0.00 (0.00 % time)
65.08/2.89 c num binary xor trees : 0
65.08/2.89 c binxor trees' crown : 0 (nan leafs/tree)
65.08/2.89 c bin xor find time : 0.03
65.08/2.89 c OTF clause improved : 2 (0.03 clauses/conflict)
65.08/2.89 c OTF impr. size diff : 2 (1.00 lits/clause)
65.08/2.89 c OTF cl watch-shrink : 10 (0.13 clauses/conflict)
65.08/2.89 c OTF cl watch-sh-lit : 12 (1.20 lits/clause)
65.08/2.89 c tried to recurMin cls : 14 (18.42 % of conflicts)
65.08/2.89 c updated cache : 26 (1.86 lits/tried recurMin)
65.08/2.89 c unit cls recevied : 0 (0.00 % of units)
65.08/2.89 c unit cls sent : 0 (0.00 % of units)
65.08/2.89 c bin cls recevied : 0
65.08/2.89 c bin cls sent : 0
65.08/2.89 c clauses over max glue : 0 (0.00 % of all clauses)
65.08/2.89 c conflicts : 76 (43.21 / sec)
65.08/2.89 c decisions : 4093 (1.69 % random)
65.08/2.89 c bogo-props : 1042628 (592829.38 / sec)
65.08/2.89 c conflict literals : 2071 (9.88 % deleted)
65.08/2.89 c Memory used : 2174.43 MB
65.08/2.89 c single-thread CPU time : 1.76 s
65.08/2.89 c all-threads sum CPU time : 53.62 s
65.08/2.89 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-3400779-1306778367/watcher-3400779-1306778367 -o /tmp/evaluation-result-3400779-1306778367/solver-3400779-1306778367 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400779-1306778367.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: 26.19 28.89 30.68 1/413 18640
/proc/meminfo: memFree=263733008/264257624 swapFree=67044744/67111528
[pid=18640] ppid=18638 vsize=338000 CPUtime=0.79 cores=0-31
/proc/18640/stat : 18640 (strangenight2-m) R 18638 18640 18554 0 -1 4202496 436 0 0 0 79 0 0 0 25 0 32 0 3802682 346112000 376 268435456000 4194304 4580107 140733752474128 18446744073709551615 47696836462508 0 0 4096 2 18446744073709551615 0 0 17 17 0 0 0
/proc/18640/statm: 84500 376 297 95 0 79482 0
[pid=18640/tid=18641] ppid=18638 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18640/task/18641/stat : 18641 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 1 0 0 0 3 0 0 0 22 0 32 0 3802682 346112000 376 268435456000 4194304 4580107 140733752474128 18446744073709551615 47696836462514 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18640/tid=18642] ppid=18638 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18640/task/18642/stat : 18642 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 3802682 346112000 376 268435456000 4194304 4580107 140733752474128 18446744073709551615 47696836462514 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18640/tid=18643] ppid=18638 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18640/task/18643/stat : 18643 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 3802682 346112000 376 268435456000 4194304 4580107 140733752474128 18446744073709551615 47696836462514 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=18640/tid=18644] ppid=18638 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18640/task/18644/stat : 18644 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 3802682 346112000 376 268435456000 4194304 4580107 140733752474128 18446744073709551615 47696836462514 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=18640/tid=18645] ppid=18638 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18640/task/18645/stat : 18645 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 3802682 346112000 376 268435456000 4194304 4580107 140733752474128 18446744073709551615 47696836462514 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=18640/tid=18646] ppid=18638 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18640/task/18646/stat : 18646 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 3802682 346112000 376 268435456000 4194304 4580107 140733752474128 18446744073709551615 47696836462514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18640/tid=18647] ppid=18638 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18640/task/18647/stat : 18647 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 3802682 346112000 376 268435456000 4194304 4580107 140733752474128 18446744073709551615 47696836462514 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=18640/tid=18648] ppid=18638 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18640/task/18648/stat : 18648 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 3802682 346112000 376 268435456000 4194304 4580107 140733752474128 18446744073709551615 47696836462514 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18640/tid=18649] ppid=18638 vsize=338000 CPUtime=0 cores=0-31
/proc/18640/task/18649/stat : 18649 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 32 0 3802682 346112000 376 268435456000 4194304 4580107 140733752474128 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18640/tid=18650] ppid=18638 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18640/task/18650/stat : 18650 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 3802682 346112000 376 268435456000 4194304 4580107 140733752474128 18446744073709551615 47696836462514 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=18640/tid=18651] ppid=18638 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18640/task/18651/stat : 18651 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 3802682 346112000 376 268435456000 4194304 4580107 140733752474128 18446744073709551615 47696836462514 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=18640/tid=18652] ppid=18638 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18640/task/18652/stat : 18652 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 3802682 346112000 376 268435456000 4194304 4580107 140733752474128 18446744073709551615 47696836462514 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=18640/tid=18653] ppid=18638 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18640/task/18653/stat : 18653 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 3802682 346112000 376 268435456000 4194304 4580107 140733752474128 18446744073709551615 47696836462514 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=18640/tid=18654] ppid=18638 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18640/task/18654/stat : 18654 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 3802682 346112000 376 268435456000 4194304 4580107 140733752474128 18446744073709551615 47696836462514 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18640/tid=18655] ppid=18638 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18640/task/18655/stat : 18655 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 3802682 346112000 376 268435456000 4194304 4580107 140733752474128 18446744073709551615 47696836462508 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18640/tid=18656] ppid=18638 vsize=338000 CPUtime=0 cores=0-31
/proc/18640/task/18656/stat : 18656 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 32 0 3802682 346112000 376 268435456000 4194304 4580107 140733752474128 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18640/tid=18657] ppid=18638 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18640/task/18657/stat : 18657 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 3802682 346112000 376 268435456000 4194304 4580107 140733752474128 18446744073709551615 47696836462508 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=18640/tid=18658] ppid=18638 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18640/task/18658/stat : 18658 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 3802682 346112000 376 268435456000 4194304 4580107 140733752474128 18446744073709551615 47696836462514 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=18640/tid=18659] ppid=18638 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18640/task/18659/stat : 18659 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 3802682 346112000 376 268435456000 4194304 4580107 140733752474128 18446744073709551615 47696836462514 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=18640/tid=18660] ppid=18638 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18640/task/18660/stat : 18660 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 3802682 346112000 376 268435456000 4194304 4580107 140733752474128 18446744073709551615 47696836462514 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=18640/tid=18661] ppid=18638 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18640/task/18661/stat : 18661 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 3802682 346112000 376 268435456000 4194304 4580107 140733752474128 18446744073709551615 47696836462514 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=18640/tid=18662] ppid=18638 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18640/task/18662/stat : 18662 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3802682 346112000 376 268435456000 4194304 4580107 140733752474128 18446744073709551615 47696836462504 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18640/tid=18663] ppid=18638 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18640/task/18663/stat : 18663 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3802682 346112000 376 268435456000 4194304 4580107 140733752474128 18446744073709551615 47696836462508 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=18640/tid=18664] ppid=18638 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18640/task/18664/stat : 18664 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3802683 346112000 376 268435456000 4194304 4580107 140733752474128 18446744073709551615 47696836462504 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18640/tid=18665] ppid=18638 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18640/task/18665/stat : 18665 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3802683 346112000 376 268435456000 4194304 4580107 140733752474128 18446744073709551615 47696836462508 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=18640/tid=18666] ppid=18638 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18640/task/18666/stat : 18666 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3802683 346112000 376 268435456000 4194304 4580107 140733752474128 18446744073709551615 47696836462514 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=18640/tid=18667] ppid=18638 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18640/task/18667/stat : 18667 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3802683 346112000 376 268435456000 4194304 4580107 140733752474128 18446744073709551615 47696836462508 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=18640/tid=18668] ppid=18638 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18640/task/18668/stat : 18668 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3802683 346112000 376 268435456000 4194304 4580107 140733752474128 18446744073709551615 47696836462514 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=18640/tid=18669] ppid=18638 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18640/task/18669/stat : 18669 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3802683 346112000 376 268435456000 4194304 4580107 140733752474128 18446744073709551615 47696836462514 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=18640/tid=18670] ppid=18638 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18640/task/18670/stat : 18670 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3802683 346112000 376 268435456000 4194304 4580107 140733752474128 18446744073709551615 47696836462508 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=18640/tid=18671] ppid=18638 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18640/task/18671/stat : 18671 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3802683 346112000 376 268435456000 4194304 4580107 140733752474128 18446744073709551615 47696836462504 0 0 4096 2 0 0 0 -1 26 0 0 0
[startup+0.0788579 s]
/proc/loadavg: 26.19 28.89 30.68 1/413 18640
/proc/meminfo: memFree=263733008/264257624 swapFree=67044744/67111528
[pid=18640] ppid=18638 vsize=732576 CPUtime=1.8 cores=0-31
/proc/18640/stat : 18640 (strangenight2-m) R 18638 18640 18554 0 -1 4202496 8142 0 0 0 104 76 0 0 18 0 32 0 3802682 750157824 8000 268435456000 4194304 4580107 140733752474128 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 17 0 0 0
/proc/18640/statm: 183144 8049 330 95 0 178126 0
[pid=18640/tid=18641] ppid=18638 vsize=732576 CPUtime=0.05 cores=0-31
/proc/18640/task/18641/stat : 18641 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 244 0 0 0 3 2 0 0 23 0 32 0 3802682 750157824 8049 268435456000 4194304 4580107 140733752474128 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18640/tid=18642] ppid=18638 vsize=732576 CPUtime=0.04 cores=0-31
/proc/18640/task/18642/stat : 18642 (strangenight2-m) D 18638 18640 18554 0 -1 4202560 237 0 0 0 3 1 0 0 23 0 32 0 3802682 750157824 8049 268435456000 4194304 4580107 140733752474128 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18640/tid=18643] ppid=18638 vsize=732576 CPUtime=0.05 cores=0-31
/proc/18640/task/18643/stat : 18643 (strangenight2-m) D 18638 18640 18554 0 -1 4202560 225 0 0 0 3 2 0 0 23 0 32 0 3802682 750157824 8067 268435456000 4194304 4580107 140733752474128 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=18640/tid=18644] ppid=18638 vsize=732576 CPUtime=0.05 cores=0-31
/proc/18640/task/18644/stat : 18644 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 237 0 0 0 3 2 0 0 23 0 32 0 3802682 750157824 8089 268435456000 4194304 4580107 140733752474128 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=18640/tid=18645] ppid=18638 vsize=732576 CPUtime=0.05 cores=0-31
/proc/18640/task/18645/stat : 18645 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 224 0 0 0 3 2 0 0 23 0 32 0 3802682 750157824 8089 268435456000 4194304 4580107 140733752474128 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=18640/tid=18646] ppid=18638 vsize=732576 CPUtime=0.05 cores=0-31
/proc/18640/task/18646/stat : 18646 (strangenight2-m) D 18638 18640 18554 0 -1 4202560 290 0 0 0 3 2 0 0 18 0 32 0 3802682 750157824 8089 268435456000 4194304 4580107 140733752474128 18446744073709551615 4344560 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18640/tid=18647] ppid=18638 vsize=732576 CPUtime=0.05 cores=0-31
/proc/18640/task/18647/stat : 18647 (strangenight2-m) D 18638 18640 18554 0 -1 4202560 245 0 0 0 3 2 0 0 23 0 32 0 3802682 750157824 8090 268435456000 4194304 4580107 140733752474128 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=18640/tid=18648] ppid=18638 vsize=732576 CPUtime=0.05 cores=0-31
/proc/18640/task/18648/stat : 18648 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 230 0 0 0 3 2 0 0 24 0 32 0 3802682 750157824 8111 268435456000 4194304 4580107 140733752474128 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18640/tid=18649] ppid=18638 vsize=732576 CPUtime=0.02 cores=0-31
/proc/18640/task/18649/stat : 18649 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 210 0 0 0 0 2 0 0 24 0 32 0 3802682 750157824 8123 268435456000 4194304 4580107 140733752474128 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=18640/tid=18650] ppid=18638 vsize=732576 CPUtime=0.05 cores=0-31
/proc/18640/task/18650/stat : 18650 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 241 0 0 0 3 2 0 0 24 0 32 0 3802682 750157824 8138 268435456000 4194304 4580107 140733752474128 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=18640/tid=18651] ppid=18638 vsize=732576 CPUtime=0.05 cores=0-31
/proc/18640/task/18651/stat : 18651 (strangenight2-m) D 18638 18640 18554 0 -1 4202560 225 0 0 0 3 2 0 0 24 0 32 0 3802682 750157824 8138 268435456000 4194304 4580107 140733752474128 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=18640/tid=18652] ppid=18638 vsize=732576 CPUtime=0.05 cores=0-31
/proc/18640/task/18652/stat : 18652 (strangenight2-m) D 18638 18640 18554 0 -1 4202560 289 0 0 0 3 2 0 0 18 0 32 0 3802682 750157824 8144 268435456000 4194304 4580107 140733752474128 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=18640/tid=18653] ppid=18638 vsize=732576 CPUtime=0.05 cores=0-31
/proc/18640/task/18653/stat : 18653 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 227 0 0 0 3 2 0 0 24 0 32 0 3802682 750157824 8162 268435456000 4194304 4580107 140733752474128 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=18640/tid=18654] ppid=18638 vsize=732576 CPUtime=0.05 cores=0-31
/proc/18640/task/18654/stat : 18654 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 259 0 0 0 3 2 0 0 18 0 32 0 3802682 750157824 8184 268435456000 4194304 4580107 140733752474128 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18640/tid=18655] ppid=18638 vsize=732576 CPUtime=0.05 cores=0-31
/proc/18640/task/18655/stat : 18655 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 206 0 0 0 3 2 0 0 25 0 32 0 3802682 750157824 8197 268435456000 4194304 4580107 140733752474128 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18640/tid=18656] ppid=18638 vsize=732576 CPUtime=0.02 cores=0-31
/proc/18640/task/18656/stat : 18656 (strangenight2-m) D 18638 18640 18554 0 -1 4202560 226 0 0 0 0 2 0 0 25 0 32 0 3802682 750157824 8197 268435456000 4194304 4580107 140733752474128 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=18640/tid=18657] ppid=18638 vsize=732576 CPUtime=0.05 cores=0-31
/proc/18640/task/18657/stat : 18657 (strangenight2-m) D 18638 18640 18554 0 -1 4202560 259 0 0 0 3 2 0 0 18 0 32 0 3802682 750157824 8198 268435456000 4194304 4580107 140733752474128 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=18640/tid=18658] ppid=18638 vsize=732576 CPUtime=0.05 cores=0-31
/proc/18640/task/18658/stat : 18658 (strangenight2-m) D 18638 18640 18554 0 -1 4202560 235 0 0 0 3 2 0 0 25 0 32 0 3802682 750157824 8205 268435456000 4194304 4580107 140733752474128 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=18640/tid=18659] ppid=18638 vsize=732576 CPUtime=0.05 cores=0-31
/proc/18640/task/18659/stat : 18659 (strangenight2-m) D 18638 18640 18554 0 -1 4202560 244 0 0 0 3 2 0 0 18 0 32 0 3802682 750157824 8222 268435456000 4194304 4580107 140733752474128 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=18640/tid=18660] ppid=18638 vsize=732576 CPUtime=0.05 cores=0-31
/proc/18640/task/18660/stat : 18660 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 256 0 0 0 3 2 0 0 18 0 32 0 3802682 750157824 8241 268435456000 4194304 4580107 140733752474128 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=18640/tid=18661] ppid=18638 vsize=732576 CPUtime=0.05 cores=0-31
/proc/18640/task/18661/stat : 18661 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 222 0 0 0 3 2 0 0 25 0 32 0 3802682 750157824 8261 268435456000 4194304 4580107 140733752474128 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=18640/tid=18662] ppid=18638 vsize=732576 CPUtime=0.05 cores=0-31
/proc/18640/task/18662/stat : 18662 (strangenight2-m) D 18638 18640 18554 0 -1 4202560 259 0 0 0 3 2 0 0 25 0 32 0 3802682 750157824 8262 268435456000 4194304 4580107 140733752474128 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18640/tid=18663] ppid=18638 vsize=732576 CPUtime=0.05 cores=0-31
/proc/18640/task/18663/stat : 18663 (strangenight2-m) D 18638 18640 18554 0 -1 4202560 271 0 0 0 3 2 0 0 25 0 32 0 3802682 750157824 8262 268435456000 4194304 4580107 140733752474128 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=18640/tid=18664] ppid=18638 vsize=732576 CPUtime=0.05 cores=0-31
/proc/18640/task/18664/stat : 18664 (strangenight2-m) D 18638 18640 18554 0 -1 4202560 248 0 0 0 3 2 0 0 18 0 32 0 3802683 750157824 8266 268435456000 4194304 4580107 140733752474128 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18640/tid=18665] ppid=18638 vsize=732576 CPUtime=0.05 cores=0-31
/proc/18640/task/18665/stat : 18665 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 248 0 0 0 3 2 0 0 25 0 32 0 3802683 750157824 8285 268435456000 4194304 4580107 140733752474128 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=18640/tid=18666] ppid=18638 vsize=732576 CPUtime=0.05 cores=0-31
/proc/18640/task/18666/stat : 18666 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 228 0 0 0 3 2 0 0 25 0 32 0 3802683 750157824 8315 268435456000 4194304 4580107 140733752474128 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=18640/tid=18667] ppid=18638 vsize=732576 CPUtime=0.05 cores=0-31
/proc/18640/task/18667/stat : 18667 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 315 0 0 0 3 2 0 0 18 0 32 0 3802683 750157824 8315 268435456000 4194304 4580107 140733752474128 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=18640/tid=18668] ppid=18638 vsize=732576 CPUtime=0.05 cores=0-31
/proc/18640/task/18668/stat : 18668 (strangenight2-m) D 18638 18640 18554 0 -1 4202560 268 0 0 0 3 2 0 0 25 0 32 0 3802683 750157824 8315 268435456000 4194304 4580107 140733752474128 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=18640/tid=18669] ppid=18638 vsize=732576 CPUtime=0.05 cores=0-31
/proc/18640/task/18669/stat : 18669 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 287 0 0 0 3 2 0 0 18 0 32 0 3802683 750157824 8316 268435456000 4194304 4580107 140733752474128 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=18640/tid=18670] ppid=18638 vsize=732576 CPUtime=0.05 cores=0-31
/proc/18640/task/18670/stat : 18670 (strangenight2-m) D 18638 18640 18554 0 -1 4202560 232 0 0 0 3 2 0 0 25 0 32 0 3802683 750157824 8329 268435456000 4194304 4580107 140733752474128 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=18640/tid=18671] ppid=18638 vsize=732576 CPUtime=0.05 cores=0-31
/proc/18640/task/18671/stat : 18671 (strangenight2-m) D 18638 18640 18554 0 -1 4202560 249 0 0 0 3 2 0 0 25 0 32 0 3802683 750157824 8330 268435456000 4194304 4580107 140733752474128 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 1.8
Current children cumulated vsize (KiB) 732576
[startup+0.10476 s]
/proc/loadavg: 26.19 28.89 30.68 1/413 18640
/proc/meminfo: memFree=263733008/264257624 swapFree=67044744/67111528
[pid=18640] ppid=18638 vsize=998428 CPUtime=1.98 cores=0-31
/proc/18640/stat : 18640 (strangenight2-m) R 18638 18640 18554 0 -1 4202496 11448 0 0 0 107 91 0 0 17 0 32 0 3802682 1022390272 11303 268435456000 4194304 4580107 140733752474128 18446744073709551615 258650652667 0 0 4096 2 18446744073709551615 0 0 17 17 0 0 0
/proc/18640/statm: 249640 11355 331 95 0 244622 0
[pid=18640/tid=18641] ppid=18638 vsize=998560 CPUtime=0.05 cores=0-31
/proc/18640/task/18641/stat : 18641 (strangenight2-m) S 18638 18640 18554 0 -1 4202560 272 0 0 0 3 2 0 0 17 0 32 0 3802682 1022525440 11365 268435456000 4194304 4580107 140733752474128 18446744073709551615 258651060958 0 0 4096 2 18446744071566930144 0 0 -1 1 0 0 0
[pid=18640/tid=18642] ppid=18638 vsize=998560 CPUtime=0.05 cores=0-31
/proc/18640/task/18642/stat : 18642 (strangenight2-m) D 18638 18640 18554 0 -1 4202560 343 0 0 0 3 2 0 0 17 0 32 0 3802682 1022525440 11368 268435456000 4194304 4580107 140733752474128 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18640/tid=18643] ppid=18638 vsize=998820 CPUtime=0.05 cores=0-31
/proc/18640/task/18643/stat : 18643 (strangenight2-m) S 18638 18640 18554 0 -1 4202560 351 0 0 0 3 2 0 0 17 0 32 0 3802682 1022791680 11381 268435456000 4194304 4580107 140733752474128 18446744073709551615 258651060958 0 0 4096 2 18446604449701035488 0 0 -1 24 0 0 0
[pid=18640/tid=18644] ppid=18638 vsize=998820 CPUtime=0.06 cores=0-31
/proc/18640/task/18644/stat : 18644 (strangenight2-m) D 18638 18640 18554 0 -1 4202560 390 0 0 0 3 3 0 0 23 0 32 0 3802682 1022791680 11396 268435456000 4194304 4580107 140733752474128 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=18640/tid=18645] ppid=18638 vsize=998820 CPUtime=0.05 cores=0-31
/proc/18640/task/18645/stat : 18645 (strangenight2-m) S 18638 18640 18554 0 -1 4202560 266 0 0 0 3 2 0 0 17 0 32 0 3802682 1022791680 11411 268435456000 4194304 4580107 140733752474128 18446744073709551615 258651060958 0 0 4096 2 18446744071566930544 0 0 -1 16 0 0 0
[pid=18640/tid=18646] ppid=18638 vsize=999080 CPUtime=0.05 cores=0-31
/proc/18640/task/18646/stat : 18646 (strangenight2-m) D 18638 18640 18554 0 -1 4202560 437 0 0 0 3 2 0 0 17 0 32 0 3802682 1023057920 11457 268435456000 4194304 4580107 140733752474128 18446744073709551615 258650653104 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18640/tid=18647] ppid=18638 vsize=999080 CPUtime=0.05 cores=0-31
/proc/18640/task/18647/stat : 18647 (strangenight2-m) S 18638 18640 18554 0 -1 4202560 268 0 0 0 3 2 0 0 17 0 32 0 3802682 1023057920 11512 268435456000 4194304 4580107 140733752474128 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=18640/tid=18648] ppid=18638 vsize=999212 CPUtime=0.05 cores=0-31
/proc/18640/task/18648/stat : 18648 (strangenight2-m) S 18638 18640 18554 0 -1 4202560 275 0 0 0 3 2 0 0 24 0 32 0 3802682 1023193088 11522 268435456000 4194304 4580107 140733752474128 18446744073709551615 258651060958 0 0 4096 2 18446604502376119776 0 0 -1 0 0 0 0
[pid=18640/tid=18649] ppid=18638 vsize=999344 CPUtime=0.03 cores=0-31
/proc/18640/task/18649/stat : 18649 (strangenight2-m) S 18638 18640 18554 0 -1 4202560 304 0 0 0 0 3 0 0 17 0 32 0 3802682 1023328256 11529 268435456000 4194304 4580107 140733752474128 18446744073709551615 258651060958 0 0 4096 2 18446744071566925904 0 0 -1 23 0 0 0
[pid=18640/tid=18650] ppid=18638 vsize=999476 CPUtime=0.05 cores=0-31
/proc/18640/task/18650/stat : 18650 (strangenight2-m) D 18638 18640 18554 0 -1 4202560 288 0 0 0 3 2 0 0 17 0 32 0 3802682 1023463424 11571 268435456000 4194304 4580107 140733752474128 18446744073709551615 258650618162 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=18640/tid=18651] ppid=18638 vsize=999476 CPUtime=0.05 cores=0-31
/proc/18640/task/18651/stat : 18651 (strangenight2-m) S 18638 18640 18554 0 -1 4202560 270 0 0 0 3 2 0 0 17 0 32 0 3802682 1023463424 11574 268435456000 4194304 4580107 140733752474128 18446744073709551615 258651060958 0 0 4096 2 18446604502333857248 0 0 -1 8 0 0 0
[pid=18640/tid=18652] ppid=18638 vsize=999476 CPUtime=0.05 cores=0-31
/proc/18640/task/18652/stat : 18652 (strangenight2-m) D 18638 18640 18554 0 -1 4202560 489 0 0 0 3 2 0 0 17 0 32 0 3802682 1023463424 11603 268435456000 4194304 4580107 140733752474128 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=18640/tid=18653] ppid=18638 vsize=999736 CPUtime=0.05 cores=0-31
/proc/18640/task/18653/stat : 18653 (strangenight2-m) D 18638 18640 18554 0 -1 4202560 299 0 0 0 3 2 0 0 17 0 32 0 3802682 1023729664 11618 268435456000 4194304 4580107 140733752474128 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=18640/tid=18654] ppid=18638 vsize=999736 CPUtime=0.06 cores=0-31
/proc/18640/task/18654/stat : 18654 (strangenight2-m) S 18638 18640 18554 0 -1 4202560 371 0 0 0 3 3 0 0 17 0 32 0 3802682 1023729664 11638 268435456000 4194304 4580107 140733752474128 18446744073709551615 258651060958 0 0 4096 2 18446744071566930544 0 0 -1 7 0 0 0
[pid=18640/tid=18655] ppid=18638 vsize=999736 CPUtime=0.05 cores=0-31
/proc/18640/task/18655/stat : 18655 (strangenight2-m) S 18638 18640 18554 0 -1 4202560 267 0 0 0 3 2 0 0 17 0 32 0 3802682 1023729664 11715 268435456000 4194304 4580107 140733752474128 18446744073709551615 258651060958 0 0 4096 2 18446604572306210272 0 0 -1 5 0 0 0
[pid=18640/tid=18656] ppid=18638 vsize=999736 CPUtime=0.02 cores=0-31
/proc/18640/task/18656/stat : 18656 (strangenight2-m) S 18638 18640 18554 0 -1 4202560 280 0 0 0 0 2 0 0 24 0 32 0 3802682 1023729664 11771 268435456000 4194304 4580107 140733752474128 18446744073709551615 258651060958 0 0 4096 2 18446744071566928184 0 0 -1 27 0 0 0
[pid=18640/tid=18657] ppid=18638 vsize=999604 CPUtime=0.06 cores=0-31
################
# More data... #
################
/proc/18640/task/18665/stat : 18665 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 6754 0 0 0 34 43 0 0 16 0 32 0 3802683 1806430208 173685 268435456000 4194304 4580107 140733752474128 18446744073709551615 4294217 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=18640/tid=18666] ppid=18638 vsize=1764092 CPUtime=0.81 cores=0-31
/proc/18640/task/18666/stat : 18666 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 5641 0 0 0 39 42 0 0 16 0 32 0 3802683 1806430208 173685 268435456000 4194304 4580107 140733752474128 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=18640/tid=18667] ppid=18638 vsize=1764092 CPUtime=0.81 cores=0-31
/proc/18640/task/18667/stat : 18667 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 5934 0 0 0 40 41 0 0 16 0 32 0 3802683 1806430208 173686 268435456000 4194304 4580107 140733752474128 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=18640/tid=18668] ppid=18638 vsize=1764092 CPUtime=0.81 cores=0-31
/proc/18640/task/18668/stat : 18668 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 6544 0 0 0 38 43 0 0 16 0 32 0 3802683 1806430208 173686 268435456000 4194304 4580107 140733752474128 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=18640/tid=18669] ppid=18638 vsize=1764092 CPUtime=0.84 cores=0-31
/proc/18640/task/18669/stat : 18669 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 6484 0 0 0 39 45 0 0 16 0 32 0 3802683 1806430208 173686 268435456000 4194304 4580107 140733752474128 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=18640/tid=18670] ppid=18638 vsize=1764092 CPUtime=0.81 cores=0-31
/proc/18640/task/18670/stat : 18670 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 6280 0 0 0 40 41 0 0 16 0 32 0 3802683 1806430208 173686 268435456000 4194304 4580107 140733752474128 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18640/tid=18671] ppid=18638 vsize=1764092 CPUtime=0.81 cores=0-31
/proc/18640/task/18671/stat : 18671 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 6206 0 0 0 37 44 0 0 16 0 32 0 3802683 1806430208 173687 268435456000 4194304 4580107 140733752474128 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 25.62
Current children cumulated vsize (KiB) 1764092
Solver just ended. Dumping a history of the last processes samples
[startup+2.30284 s]
/proc/loadavg: 26.19 28.89 30.68 36/445 18672
/proc/meminfo: memFree=263033836/264257624 swapFree=67044744/67111528
[pid=18640] ppid=18638 vsize=1764332 CPUtime=51.17 cores=0-31
/proc/18640/stat : 18640 (strangenight2-m) R 18638 18640 18554 0 -1 4202496 207349 0 0 0 3748 1369 0 0 16 0 32 0 3802682 1806675968 174722 268435456000 4194304 4580107 140733752474128 18446744073709551615 4293225 0 0 4096 2 18446744073709551615 0 0 17 17 0 0 0
/proc/18640/statm: 441083 174722 357 95 0 436065 0
[pid=18640/tid=18641] ppid=18638 vsize=1764332 CPUtime=1.6 cores=0-31
/proc/18640/task/18641/stat : 18641 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 6761 0 0 0 119 41 0 0 16 0 32 0 3802682 1806675968 174722 268435456000 4194304 4580107 140733752474128 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18640/tid=18642] ppid=18638 vsize=1764332 CPUtime=1.6 cores=0-31
/proc/18640/task/18642/stat : 18642 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 7032 0 0 0 116 44 0 0 16 0 32 0 3802682 1806675968 174722 268435456000 4194304 4580107 140733752474128 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18640/tid=18643] ppid=18638 vsize=1764332 CPUtime=1.61 cores=0-31
/proc/18640/task/18643/stat : 18643 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 6298 0 0 0 117 44 0 0 16 0 32 0 3802682 1806675968 174722 268435456000 4194304 4580107 140733752474128 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=18640/tid=18644] ppid=18638 vsize=1764332 CPUtime=1.61 cores=0-31
/proc/18640/task/18644/stat : 18644 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 6370 0 0 0 121 40 0 0 16 0 32 0 3802682 1806675968 174722 268435456000 4194304 4580107 140733752474128 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=18640/tid=18645] ppid=18638 vsize=1764332 CPUtime=1.57 cores=0-31
/proc/18640/task/18645/stat : 18645 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 6394 0 0 0 117 40 0 0 16 0 32 0 3802682 1806675968 174722 268435456000 4194304 4580107 140733752474128 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=18640/tid=18646] ppid=18638 vsize=1764332 CPUtime=1.6 cores=0-31
/proc/18640/task/18646/stat : 18646 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 6673 0 0 0 119 41 0 0 16 0 32 0 3802682 1806675968 174722 268435456000 4194304 4580107 140733752474128 18446744073709551615 4293728 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18640/tid=18647] ppid=18638 vsize=1764332 CPUtime=1.56 cores=0-31
/proc/18640/task/18647/stat : 18647 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 6339 0 0 0 113 43 0 0 16 0 32 0 3802682 1806675968 174722 268435456000 4194304 4580107 140733752474128 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=18640/tid=18648] ppid=18638 vsize=1764332 CPUtime=1.61 cores=0-31
/proc/18640/task/18648/stat : 18648 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 6317 0 0 0 128 33 0 0 16 0 32 0 3802682 1806675968 174722 268435456000 4194304 4580107 140733752474128 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18640/tid=18649] ppid=18638 vsize=1764332 CPUtime=1.58 cores=0-31
/proc/18640/task/18649/stat : 18649 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 6465 0 0 0 115 43 0 0 16 0 32 0 3802682 1806675968 174722 268435456000 4194304 4580107 140733752474128 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=18640/tid=18650] ppid=18638 vsize=1764332 CPUtime=1.59 cores=0-31
/proc/18640/task/18650/stat : 18650 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 6752 0 0 0 116 43 0 0 16 0 32 0 3802682 1806675968 174722 268435456000 4194304 4580107 140733752474128 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=18640/tid=18651] ppid=18638 vsize=1764332 CPUtime=1.55 cores=0-31
/proc/18640/task/18651/stat : 18651 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 6225 0 0 0 115 40 0 0 16 0 32 0 3802682 1806675968 174722 268435456000 4194304 4580107 140733752474128 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=18640/tid=18652] ppid=18638 vsize=1764332 CPUtime=1.57 cores=0-31
/proc/18640/task/18652/stat : 18652 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 6495 0 0 0 115 42 0 0 16 0 32 0 3802682 1806675968 174722 268435456000 4194304 4580107 140733752474128 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=18640/tid=18653] ppid=18638 vsize=1764332 CPUtime=1.55 cores=0-31
/proc/18640/task/18653/stat : 18653 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 6157 0 0 0 112 43 0 0 16 0 32 0 3802682 1806675968 174722 268435456000 4194304 4580107 140733752474128 18446744073709551615 4293100 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=18640/tid=18654] ppid=18638 vsize=1764332 CPUtime=1.58 cores=0-31
/proc/18640/task/18654/stat : 18654 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 6428 0 0 0 113 45 0 0 16 0 32 0 3802682 1806675968 174722 268435456000 4194304 4580107 140733752474128 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=18640/tid=18655] ppid=18638 vsize=1764332 CPUtime=1.59 cores=0-31
/proc/18640/task/18655/stat : 18655 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 6073 0 0 0 117 42 0 0 16 0 32 0 3802682 1806675968 174722 268435456000 4194304 4580107 140733752474128 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18640/tid=18656] ppid=18638 vsize=1764332 CPUtime=1.5 cores=0-31
/proc/18640/task/18656/stat : 18656 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 6960 0 0 0 106 44 0 0 16 0 32 0 3802682 1806675968 174722 268435456000 4194304 4580107 140733752474128 18446744073709551615 4293167 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=18640/tid=18657] ppid=18638 vsize=1764332 CPUtime=1.59 cores=0-31
/proc/18640/task/18657/stat : 18657 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 6807 0 0 0 113 46 0 0 16 0 32 0 3802682 1806675968 174722 268435456000 4194304 4580107 140733752474128 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=18640/tid=18658] ppid=18638 vsize=1764332 CPUtime=1.61 cores=0-31
/proc/18640/task/18658/stat : 18658 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 6056 0 0 0 119 42 0 0 16 0 32 0 3802682 1806675968 174722 268435456000 4194304 4580107 140733752474128 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=18640/tid=18659] ppid=18638 vsize=1764332 CPUtime=1.58 cores=0-31
/proc/18640/task/18659/stat : 18659 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 6387 0 0 0 117 41 0 0 16 0 32 0 3802682 1806675968 174722 268435456000 4194304 4580107 140733752474128 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=18640/tid=18660] ppid=18638 vsize=1764332 CPUtime=1.58 cores=0-31
/proc/18640/task/18660/stat : 18660 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 6397 0 0 0 115 43 0 0 16 0 32 0 3802682 1806675968 174722 268435456000 4194304 4580107 140733752474128 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=18640/tid=18661] ppid=18638 vsize=1764332 CPUtime=1.61 cores=0-31
/proc/18640/task/18661/stat : 18661 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 7038 0 0 0 116 45 0 0 16 0 32 0 3802682 1806675968 174722 268435456000 4194304 4580107 140733752474128 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=18640/tid=18662] ppid=18638 vsize=1764332 CPUtime=1.59 cores=0-31
/proc/18640/task/18662/stat : 18662 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 6868 0 0 0 117 42 0 0 16 0 32 0 3802682 1806675968 174722 268435456000 4194304 4580107 140733752474128 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18640/tid=18663] ppid=18638 vsize=1764332 CPUtime=1.6 cores=0-31
/proc/18640/task/18663/stat : 18663 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 6394 0 0 0 119 41 0 0 16 0 32 0 3802682 1806675968 174722 268435456000 4194304 4580107 140733752474128 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=18640/tid=18664] ppid=18638 vsize=1764332 CPUtime=1.56 cores=0-31
/proc/18640/task/18664/stat : 18664 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 6586 0 0 0 115 41 0 0 16 0 32 0 3802683 1806675968 174722 268435456000 4194304 4580107 140733752474128 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18640/tid=18665] ppid=18638 vsize=1764332 CPUtime=1.57 cores=0-31
/proc/18640/task/18665/stat : 18665 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 6807 0 0 0 114 43 0 0 16 0 32 0 3802683 1806675968 174722 268435456000 4194304 4580107 140733752474128 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=18640/tid=18666] ppid=18638 vsize=1764332 CPUtime=1.61 cores=0-31
/proc/18640/task/18666/stat : 18666 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 5641 0 0 0 119 42 0 0 16 0 32 0 3802683 1806675968 174722 268435456000 4194304 4580107 140733752474128 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=18640/tid=18667] ppid=18638 vsize=1764332 CPUtime=1.61 cores=0-31
/proc/18640/task/18667/stat : 18667 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 5985 0 0 0 120 41 0 0 16 0 32 0 3802683 1806675968 174722 268435456000 4194304 4580107 140733752474128 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=18640/tid=18668] ppid=18638 vsize=1764332 CPUtime=1.61 cores=0-31
/proc/18640/task/18668/stat : 18668 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 6600 0 0 0 118 43 0 0 16 0 32 0 3802683 1806675968 174722 268435456000 4194304 4580107 140733752474128 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=18640/tid=18669] ppid=18638 vsize=1764332 CPUtime=1.64 cores=0-31
/proc/18640/task/18669/stat : 18669 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 6536 0 0 0 119 45 0 0 16 0 32 0 3802683 1806675968 174722 268435456000 4194304 4580107 140733752474128 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=18640/tid=18670] ppid=18638 vsize=1764332 CPUtime=1.61 cores=0-31
/proc/18640/task/18670/stat : 18670 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 6280 0 0 0 120 41 0 0 16 0 32 0 3802683 1806675968 174722 268435456000 4194304 4580107 140733752474128 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18640/tid=18671] ppid=18638 vsize=1764332 CPUtime=1.61 cores=0-31
/proc/18640/task/18671/stat : 18671 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 6222 0 0 0 117 44 0 0 16 0 32 0 3802683 1806675968 174722 268435456000 4194304 4580107 140733752474128 18446744073709551615 47696836437700 0 0 4096 2 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 51.17
Current children cumulated vsize (KiB) 1764332
[startup+2.70185 s]
/proc/loadavg: 26.19 28.89 30.68 36/445 18672
/proc/meminfo: memFree=263033836/264257624 swapFree=67044744/67111528
[pid=18640] ppid=18638 vsize=1832256 CPUtime=63.5 cores=0-31
/proc/18640/stat : 18640 (strangenight2-m) D 18638 18640 18554 0 -1 4202496 214973 0 0 0 4968 1382 0 0 17 0 32 0 3802682 1876230144 182346 268435456000 4194304 4580107 140733752474128 18446744073709551615 4230791 0 0 4096 2 18446744073709551615 0 0 17 17 0 0 0
/proc/18640/statm: 458064 182346 358 95 0 453046 0
[pid=18640/tid=18641] ppid=18638 vsize=1832256 CPUtime=1.99 cores=0-31
/proc/18640/task/18641/stat : 18641 (strangenight2-m) D 18638 18640 18554 0 -1 4202560 6927 0 0 0 157 42 0 0 17 0 32 0 3802682 1876230144 182346 268435456000 4194304 4580107 140733752474128 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18640/tid=18642] ppid=18638 vsize=1832256 CPUtime=1.97 cores=0-31
/proc/18640/task/18642/stat : 18642 (strangenight2-m) S 18638 18640 18554 0 -1 4202560 7325 0 0 0 153 44 0 0 17 0 32 0 3802682 1876230144 182346 268435456000 4194304 4580107 140733752474128 18446744073709551615 258651060958 0 0 4096 2 18446744071566926264 0 0 -1 2 0 0 0
[pid=18640/tid=18643] ppid=18638 vsize=1832256 CPUtime=2 cores=0-31
/proc/18640/task/18643/stat : 18643 (strangenight2-m) D 18638 18640 18554 0 -1 4202560 6640 0 0 0 156 44 0 0 17 0 32 0 3802682 1876230144 182346 268435456000 4194304 4580107 140733752474128 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=18640/tid=18644] ppid=18638 vsize=1832256 CPUtime=2 cores=0-31
/proc/18640/task/18644/stat : 18644 (strangenight2-m) S 18638 18640 18554 0 -1 4202560 6696 0 0 0 159 41 0 0 17 0 32 0 3802682 1876230144 182346 268435456000 4194304 4580107 140733752474128 18446744073709551615 258651060958 0 0 4096 2 18446604574345960928 0 0 -1 20 0 0 0
[pid=18640/tid=18645] ppid=18638 vsize=1832256 CPUtime=1.96 cores=0-31
/proc/18640/task/18645/stat : 18645 (strangenight2-m) D 18638 18640 18554 0 -1 4202560 6532 0 0 0 155 41 0 0 17 0 32 0 3802682 1876230144 182346 268435456000 4194304 4580107 140733752474128 18446744073709551615 4230871 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=18640/tid=18646] ppid=18638 vsize=1832256 CPUtime=1.99 cores=0-31
/proc/18640/task/18646/stat : 18646 (strangenight2-m) S 18638 18640 18554 0 -1 4202560 6955 0 0 0 158 41 0 0 17 0 32 0 3802682 1876230144 182346 268435456000 4194304 4580107 140733752474128 18446744073709551615 258651060958 0 0 4096 2 18446604449701035488 0 0 -1 4 0 0 0
[pid=18640/tid=18647] ppid=18638 vsize=1832256 CPUtime=1.95 cores=0-31
/proc/18640/task/18647/stat : 18647 (strangenight2-m) D 18638 18640 18554 0 -1 4202560 6618 0 0 0 151 44 0 0 17 0 32 0 3802682 1876230144 182346 268435456000 4194304 4580107 140733752474128 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=18640/tid=18648] ppid=18638 vsize=1832256 CPUtime=2 cores=0-31
/proc/18640/task/18648/stat : 18648 (strangenight2-m) S 18638 18640 18554 0 -1 4202560 6632 0 0 0 166 34 0 0 17 0 32 0 3802682 1876230144 182346 268435456000 4194304 4580107 140733752474128 18446744073709551615 258651060958 0 0 4096 2 18446744071566930544 0 0 -1 0 0 0 0
[pid=18640/tid=18649] ppid=18638 vsize=1832256 CPUtime=1.97 cores=0-31
/proc/18640/task/18649/stat : 18649 (strangenight2-m) S 18638 18640 18554 0 -1 4202560 6802 0 0 0 153 44 0 0 17 0 32 0 3802682 1876230144 182346 268435456000 4194304 4580107 140733752474128 18446744073709551615 258651060958 0 0 4096 2 18446744071566928664 0 0 -1 19 0 0 0
[pid=18640/tid=18650] ppid=18638 vsize=1832256 CPUtime=1.97 cores=0-31
/proc/18640/task/18650/stat : 18650 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 7087 0 0 0 154 43 0 0 17 0 32 0 3802682 1876230144 182346 268435456000 4194304 4580107 140733752474128 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=18640/tid=18651] ppid=18638 vsize=1832256 CPUtime=1.95 cores=0-31
/proc/18640/task/18651/stat : 18651 (strangenight2-m) D 18638 18640 18554 0 -1 4202560 6383 0 0 0 154 41 0 0 17 0 32 0 3802682 1876230144 182346 268435456000 4194304 4580107 140733752474128 18446744073709551615 4230791 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=18640/tid=18652] ppid=18638 vsize=1832256 CPUtime=1.96 cores=0-31
/proc/18640/task/18652/stat : 18652 (strangenight2-m) D 18638 18640 18554 0 -1 4202560 6607 0 0 0 153 43 0 0 17 0 32 0 3802682 1876230144 182346 268435456000 4194304 4580107 140733752474128 18446744073709551615 4230791 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=18640/tid=18653] ppid=18638 vsize=1832256 CPUtime=1.94 cores=0-31
/proc/18640/task/18653/stat : 18653 (strangenight2-m) D 18638 18640 18554 0 -1 4202560 6302 0 0 0 150 44 0 0 17 0 32 0 3802682 1876230144 182346 268435456000 4194304 4580107 140733752474128 18446744073709551615 4230791 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=18640/tid=18654] ppid=18638 vsize=1832256 CPUtime=1.97 cores=0-31
/proc/18640/task/18654/stat : 18654 (strangenight2-m) S 18638 18640 18554 0 -1 4202560 6724 0 0 0 152 45 0 0 17 0 32 0 3802682 1876230144 182346 268435456000 4194304 4580107 140733752474128 18446744073709551615 258651060958 0 0 4096 2 18446604499447643616 0 0 -1 27 0 0 0
[pid=18640/tid=18655] ppid=18638 vsize=1832256 CPUtime=1.97 cores=0-31
/proc/18640/task/18655/stat : 18655 (strangenight2-m) D 18638 18640 18554 0 -1 4202560 6235 0 0 0 155 42 0 0 17 0 32 0 3802682 1876230144 182346 268435456000 4194304 4580107 140733752474128 18446744073709551615 4230871 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18640/tid=18656] ppid=18638 vsize=1832256 CPUtime=1.91 cores=0-31
/proc/18640/task/18656/stat : 18656 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 6984 0 0 0 146 45 0 0 17 0 32 0 3802682 1876230144 182346 268435456000 4194304 4580107 140733752474128 18446744073709551615 4230871 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=18640/tid=18657] ppid=18638 vsize=1832256 CPUtime=1.97 cores=0-31
/proc/18640/task/18657/stat : 18657 (strangenight2-m) D 18638 18640 18554 0 -1 4202560 6971 0 0 0 151 46 0 0 17 0 32 0 3802682 1876230144 182346 268435456000 4194304 4580107 140733752474128 18446744073709551615 4230791 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=18640/tid=18658] ppid=18638 vsize=1832256 CPUtime=2 cores=0-31
/proc/18640/task/18658/stat : 18658 (strangenight2-m) D 18638 18640 18554 0 -1 4202560 6400 0 0 0 157 43 0 0 17 0 32 0 3802682 1876230144 182346 268435456000 4194304 4580107 140733752474128 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=18640/tid=18659] ppid=18638 vsize=1832256 CPUtime=1.96 cores=0-31
/proc/18640/task/18659/stat : 18659 (strangenight2-m) D 18638 18640 18554 0 -1 4202560 6552 0 0 0 154 42 0 0 17 0 32 0 3802682 1876230144 182346 268435456000 4194304 4580107 140733752474128 18446744073709551615 4230791 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=18640/tid=18660] ppid=18638 vsize=1832256 CPUtime=1.96 cores=0-31
/proc/18640/task/18660/stat : 18660 (strangenight2-m) D 18638 18640 18554 0 -1 4202560 6558 0 0 0 153 43 0 0 17 0 32 0 3802682 1876230144 182346 268435456000 4194304 4580107 140733752474128 18446744073709551615 4230871 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=18640/tid=18661] ppid=18638 vsize=1832256 CPUtime=1.99 cores=0-31
/proc/18640/task/18661/stat : 18661 (strangenight2-m) D 18638 18640 18554 0 -1 4202560 7201 0 0 0 154 45 0 0 17 0 32 0 3802682 1876230144 182346 268435456000 4194304 4580107 140733752474128 18446744073709551615 4230871 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=18640/tid=18662] ppid=18638 vsize=1832256 CPUtime=1.97 cores=0-31
/proc/18640/task/18662/stat : 18662 (strangenight2-m) D 18638 18640 18554 0 -1 4202560 7145 0 0 0 154 43 0 0 17 0 32 0 3802682 1876230144 182346 268435456000 4194304 4580107 140733752474128 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18640/tid=18663] ppid=18638 vsize=1832256 CPUtime=1.99 cores=0-31
/proc/18640/task/18663/stat : 18663 (strangenight2-m) D 18638 18640 18554 0 -1 4202560 6720 0 0 0 158 41 0 0 17 0 32 0 3802682 1876230144 182346 268435456000 4194304 4580107 140733752474128 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=18640/tid=18664] ppid=18638 vsize=1832256 CPUtime=1.95 cores=0-31
/proc/18640/task/18664/stat : 18664 (strangenight2-m) D 18638 18640 18554 0 -1 4202560 6897 0 0 0 154 41 0 0 17 0 32 0 3802683 1876230144 182346 268435456000 4194304 4580107 140733752474128 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18640/tid=18665] ppid=18638 vsize=1832256 CPUtime=1.95 cores=0-31
/proc/18640/task/18665/stat : 18665 (strangenight2-m) D 18638 18640 18554 0 -1 4202560 7148 0 0 0 152 43 0 0 17 0 32 0 3802683 1876230144 182347 268435456000 4194304 4580107 140733752474128 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=18640/tid=18666] ppid=18638 vsize=1832256 CPUtime=1.99 cores=0-31
/proc/18640/task/18666/stat : 18666 (strangenight2-m) S 18638 18640 18554 0 -1 4202560 5791 0 0 0 157 42 0 0 17 0 32 0 3802683 1876230144 182347 268435456000 4194304 4580107 140733752474128 18446744073709551615 258651060958 0 0 4096 2 18446744071566925904 0 0 -1 11 0 0 0
[pid=18640/tid=18667] ppid=18638 vsize=1832256 CPUtime=1.98 cores=0-31
/proc/18640/task/18667/stat : 18667 (strangenight2-m) S 18638 18640 18554 0 -1 4202560 6302 0 0 0 157 41 0 0 17 0 32 0 3802683 1876230144 182348 268435456000 4194304 4580107 140733752474128 18446744073709551615 258651060958 0 0 4096 2 18446744071566930144 0 0 -1 18 0 0 0
[pid=18640/tid=18668] ppid=18638 vsize=1832256 CPUtime=1.99 cores=0-31
/proc/18640/task/18668/stat : 18668 (strangenight2-m) D 18638 18640 18554 0 -1 4202560 6943 0 0 0 156 43 0 0 17 0 32 0 3802683 1876230144 182354 268435456000 4194304 4580107 140733752474128 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=18640/tid=18669] ppid=18638 vsize=1832256 CPUtime=2.02 cores=0-31
/proc/18640/task/18669/stat : 18669 (strangenight2-m) S 18638 18640 18554 0 -1 4202560 6893 0 0 0 157 45 0 0 17 0 32 0 3802683 1876230144 182358 268435456000 4194304 4580107 140733752474128 18446744073709551615 258651060958 0 0 4096 2 18446744071566928184 0 0 -1 22 0 0 0
[pid=18640/tid=18670] ppid=18638 vsize=1832256 CPUtime=2 cores=0-31
/proc/18640/task/18670/stat : 18670 (strangenight2-m) D 18638 18640 18554 0 -1 4202560 6612 0 0 0 158 42 0 0 17 0 32 0 3802683 1876230144 182358 268435456000 4194304 4580107 140733752474128 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18640/tid=18671] ppid=18638 vsize=1832256 CPUtime=2.01 cores=0-31
/proc/18640/task/18671/stat : 18671 (strangenight2-m) R 18638 18640 18554 0 -1 4202560 6222 0 0 0 157 44 0 0 17 0 32 0 3802683 1876230144 182359 268435456000 4194304 4580107 140733752474128 18446744073709551615 47696836437700 0 0 4096 2 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 63.5
Current children cumulated vsize (KiB) 1832256
[startup+2.90203 s]
/proc/loadavg: 26.19 28.89 30.68 36/445 18672
/proc/meminfo: memFree=263033836/264257624 swapFree=67044744/67111528
[pid=18640] ppid=18638 vsize=0 CPUtime=67.69 cores=0-31
/proc/18640/stat : 18640 (strangenight2-m) Z 18638 18640 18554 0 -1 4203548 220177 0 0 0 5362 1407 0 0 17 0 2 0 3802682 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 17 0 0 0
/proc/18640/statm: 0 0 0 0 0 0 0
[pid=18640/tid=18669] ppid=18638 vsize=0 CPUtime=2.18 cores=0-31
/proc/18640/task/18669/stat : 18669 (strangenight2-m) R 18638 18640 18554 0 -1 4203588 6910 0 0 0 171 47 0 0 17 0 2 0 3802683 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 67.69
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 2.94896
CPU time (s): 67.7437
CPU user time (s): 53.6228
CPU system time (s): 14.1209
CPU usage (%): 2297.21
Max. virtual memory (cumulated for all children) (KiB): 2226616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 53.6228
system time used= 14.1209
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 220177
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= 320207
involuntary context switches= 375
runsolver used 0.035994 second user time and 0.137979 second system time
The end
Begin job on node200 at 2011-05-30 19:59:27
IDJOB=3400779
IDBENCH=82475
IDSOLVER=1886
FILE ID=node200/3400779-1306778367
RUNJOBID= node200-1306778310-18568
PBS_JOBID= 13471869
Free space on /tmp= 61576 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400779-1306778367/watcher-3400779-1306778367 -o /tmp/evaluation-result-3400779-1306778367/solver-3400779-1306778367 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400779-1306778367.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 6c2ea008d8f87d0458a861c3960ae968
RANDOM SEED=1502502323
node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.12
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.14
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 8
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 1
cpu cores : 8
apicid : 66
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 8
apicid : 36
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.14
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.11
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 2
cpu cores : 8
apicid : 100
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.12
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 8
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.02
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 3
cpu cores : 8
apicid : 102
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.10
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 16
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 8
cpu cores : 8
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 17
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.13
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.95
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 9
cpu cores : 8
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 21
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 9
cpu cores : 8
apicid : 50
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 22
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 9
cpu cores : 8
apicid : 82
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 23
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 9
cpu cores : 8
apicid : 114
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 24
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 10
cpu cores : 8
apicid : 52
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 26
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 10
cpu cores : 8
apicid : 84
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 27
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 10
cpu cores : 8
apicid : 116
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 28
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3996.76
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 263733296 kB
Buffers: 47416 kB
Cached: 290140 kB
SwapCached: 29732 kB
Active: 117908 kB
Inactive: 251492 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263733296 kB
SwapTotal: 67111528 kB
SwapFree: 67044744 kB
Dirty: 8148 kB
Writeback: 0 kB
AnonPages: 28804 kB
Mapped: 8668 kB
Slab: 59188 kB
PageTables: 5916 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 175648 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= 61572 MiB
End job on node200 at 2011-05-30 19:59:30