SAT 2011 Competition: 32 cores track competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)	UNSAT	1858.98	86.5109

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-3400701-1306356063/watcher-3400701-1306356063 -o /tmp/evaluation-result-3400701-1306356063/solver-3400701-1306356063 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400701-1306356063.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: 16.96 22.19 15.21 1/413 17997
/proc/meminfo: memFree=255126428/264257624 swapFree=67111528/67111528
[pid=17997] ppid=17995 vsize=338000 CPUtime=0.72 cores=0-31
/proc/17997/stat : 17997 (strangenight2-m) R 17995 17997 17911 0 -1 4202496 469 0 0 0 72 0 0 0 22 0 32 0 747092823 346112000 409 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099865 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/17997/statm: 84500 409 300 95 0 79482 0
[pid=17997/tid=17998] ppid=17995 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17997/task/17998/stat : 17998 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 1 0 0 0 3 0 0 0 22 0 32 0 747092824 346112000 409 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099865 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17997/tid=17999] ppid=17995 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17997/task/17999/stat : 17999 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 4 0 0 0 3 0 0 0 22 0 32 0 747092824 346112000 409 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099865 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17997/tid=18000] ppid=17995 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17997/task/18000/stat : 18000 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 747092824 346112000 409 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099865 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=17997/tid=18001] ppid=17995 vsize=338000 CPUtime=0 cores=0-31
/proc/17997/task/18001/stat : 18001 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 32 0 747092824 346112000 409 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520100274 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=17997/tid=18002] ppid=17995 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17997/task/18002/stat : 18002 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 747092824 346112000 409 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099859 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=17997/tid=18003] ppid=17995 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17997/task/18003/stat : 18003 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 747092824 346112000 409 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099865 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17997/tid=18004] ppid=17995 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17997/task/18004/stat : 18004 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 747092824 346112000 409 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099856 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17997/tid=18005] ppid=17995 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17997/task/18005/stat : 18005 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 747092824 346112000 409 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099869 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17997/tid=18006] ppid=17995 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17997/task/18006/stat : 18006 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 747092824 346112000 409 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17997/tid=18007] ppid=17995 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17997/task/18007/stat : 18007 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 747092824 346112000 409 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099869 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17997/tid=18008] ppid=17995 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17997/task/18008/stat : 18008 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 747092824 346112000 409 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099865 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=17997/tid=18009] ppid=17995 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17997/task/18009/stat : 18009 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 747092824 346112000 409 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099865 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=17997/tid=18010] ppid=17995 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17997/task/18010/stat : 18010 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 747092824 346112000 409 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17997/tid=18011] ppid=17995 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17997/task/18011/stat : 18011 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 747092824 346112000 409 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099865 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=17997/tid=18012] ppid=17995 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17997/task/18012/stat : 18012 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 747092824 346112000 409 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099865 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=17997/tid=18013] ppid=17995 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17997/task/18013/stat : 18013 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 747092824 346112000 409 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099865 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=17997/tid=18014] ppid=17995 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17997/task/18014/stat : 18014 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 747092824 346112000 409 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099865 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17997/tid=18015] ppid=17995 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17997/task/18015/stat : 18015 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 747092824 346112000 409 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099865 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=17997/tid=18016] ppid=17995 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17997/task/18016/stat : 18016 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 747092824 346112000 409 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099865 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=17997/tid=18017] ppid=17995 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17997/task/18017/stat : 18017 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 747092824 346112000 409 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099865 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17997/tid=18018] ppid=17995 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17997/task/18018/stat : 18018 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 747092824 346112000 409 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099865 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=17997/tid=18019] ppid=17995 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17997/task/18019/stat : 18019 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 747092824 346112000 409 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099865 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=17997/tid=18020] ppid=17995 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17997/task/18020/stat : 18020 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 747092824 346112000 409 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099859 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=17997/tid=18021] ppid=17995 vsize=338000 CPUtime=0 cores=0-31
/proc/17997/task/18021/stat : 18021 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 32 0 747092824 346112000 409 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099865 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=17997/tid=18022] ppid=17995 vsize=338000 CPUtime=0 cores=0-31
/proc/17997/task/18022/stat : 18022 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 32 0 747092824 346112000 409 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099863 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=17997/tid=18023] ppid=17995 vsize=338000 CPUtime=0.01 cores=0-31
/proc/17997/task/18023/stat : 18023 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 1 0 0 0 1 0 0 0 22 0 32 0 747092824 346112000 409 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099863 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=17997/tid=18024] ppid=17995 vsize=338000 CPUtime=0.01 cores=0-31
/proc/17997/task/18024/stat : 18024 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 1 0 0 0 1 0 0 0 22 0 32 0 747092824 346112000 409 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099865 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=17997/tid=18025] ppid=17995 vsize=338000 CPUtime=0.01 cores=0-31
/proc/17997/task/18025/stat : 18025 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 1 0 0 0 1 0 0 0 22 0 32 0 747092824 346112000 409 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099863 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=17997/tid=18026] ppid=17995 vsize=338000 CPUtime=0.01 cores=0-31
/proc/17997/task/18026/stat : 18026 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 32 0 747092824 346112000 409 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099865 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=17997/tid=18027] ppid=17995 vsize=338000 CPUtime=0.01 cores=0-31
/proc/17997/task/18027/stat : 18027 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 32 0 747092824 346112000 409 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099865 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=17997/tid=18028] ppid=17995 vsize=338000 CPUtime=0.01 cores=0-31
/proc/17997/task/18028/stat : 18028 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 32 0 747092824 346112000 409 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099865 0 0 4096 2 0 0 0 -1 27 0 0 0

[startup+0.082501 s]
/proc/loadavg: 16.96 22.19 15.21 1/413 17997
/proc/meminfo: memFree=255126428/264257624 swapFree=67111528/67111528
[pid=17997] ppid=17995 vsize=732416 CPUtime=2.01 cores=0-31
/proc/17997/stat : 17997 (strangenight2-m) D 17995 17997 17911 0 -1 4202496 1373 0 0 0 196 5 0 0 18 0 32 0 747092823 749993984 1215 268435456000 4194304 4580107 140733534313872 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/17997/statm: 183104 1215 322 95 0 178086 0
[pid=17997/tid=17998] ppid=17995 vsize=732416 CPUtime=0.06 cores=0-31
/proc/17997/task/17998/stat : 17998 (strangenight2-m) D 17995 17997 17911 0 -1 4202560 10 0 0 0 6 0 0 0 23 0 32 0 747092824 749993984 1215 268435456000 4194304 4580107 140733534313872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17997/tid=17999] ppid=17995 vsize=732416 CPUtime=0.07 cores=0-31
/proc/17997/task/17999/stat : 17999 (strangenight2-m) D 17995 17997 17911 0 -1 4202560 41 0 0 0 7 0 0 0 18 0 32 0 747092824 749993984 1217 268435456000 4194304 4580107 140733534313872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17997/tid=18000] ppid=17995 vsize=732416 CPUtime=0.06 cores=0-31
/proc/17997/task/18000/stat : 18000 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 12 0 0 0 6 0 0 0 20 0 32 0 747092824 749993984 1218 268435456000 4194304 4580107 140733534313872 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=17997/tid=18001] ppid=17995 vsize=732416 CPUtime=0 cores=0-31
/proc/17997/task/18001/stat : 18001 (strangenight2-m) D 17995 17997 17911 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 32 0 747092824 749993984 1224 268435456000 4194304 4580107 140733534313872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=17997/tid=18002] ppid=17995 vsize=732416 CPUtime=0.06 cores=0-31
/proc/17997/task/18002/stat : 18002 (strangenight2-m) D 17995 17997 17911 0 -1 4202560 11 0 0 0 6 0 0 0 20 0 32 0 747092824 749993984 1224 268435456000 4194304 4580107 140733534313872 18446744073709551615 4514559 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=17997/tid=18003] ppid=17995 vsize=732416 CPUtime=0.06 cores=0-31
/proc/17997/task/18003/stat : 18003 (strangenight2-m) D 17995 17997 17911 0 -1 4202560 7 0 0 0 6 0 0 0 20 0 32 0 747092824 749993984 1224 268435456000 4194304 4580107 140733534313872 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17997/tid=18004] ppid=17995 vsize=732416 CPUtime=0.06 cores=0-31
/proc/17997/task/18004/stat : 18004 (strangenight2-m) D 17995 17997 17911 0 -1 4202560 111 0 0 0 6 0 0 0 18 0 32 0 747092824 749993984 1227 268435456000 4194304 4580107 140733534313872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17997/tid=18005] ppid=17995 vsize=732416 CPUtime=0.06 cores=0-31
/proc/17997/task/18005/stat : 18005 (strangenight2-m) D 17995 17997 17911 0 -1 4202560 34 0 0 0 6 0 0 0 18 0 32 0 747092824 749993984 1227 268435456000 4194304 4580107 140733534313872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17997/tid=18006] ppid=17995 vsize=732416 CPUtime=0.06 cores=0-31
/proc/17997/task/18006/stat : 18006 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 57 0 0 0 6 0 0 0 18 0 32 0 747092824 749993984 1233 268435456000 4194304 4580107 140733534313872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17997/tid=18007] ppid=17995 vsize=732416 CPUtime=0.06 cores=0-31
/proc/17997/task/18007/stat : 18007 (strangenight2-m) D 17995 17997 17911 0 -1 4202560 26 0 0 0 6 0 0 0 21 0 32 0 747092824 749993984 1238 268435456000 4194304 4580107 140733534313872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17997/tid=18008] ppid=17995 vsize=732416 CPUtime=0.06 cores=0-31
/proc/17997/task/18008/stat : 18008 (strangenight2-m) D 17995 17997 17911 0 -1 4202560 14 0 0 0 6 0 0 0 21 0 32 0 747092824 749993984 1277 268435456000 4194304 4580107 140733534313872 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=17997/tid=18009] ppid=17995 vsize=732416 CPUtime=0.06 cores=0-31
/proc/17997/task/18009/stat : 18009 (strangenight2-m) D 17995 17997 17911 0 -1 4202560 8 0 0 0 6 0 0 0 21 0 32 0 747092824 749993984 1277 268435456000 4194304 4580107 140733534313872 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=17997/tid=18010] ppid=17995 vsize=732416 CPUtime=0.06 cores=0-31
/proc/17997/task/18010/stat : 18010 (strangenight2-m) D 17995 17997 17911 0 -1 4202560 21 0 0 0 6 0 0 0 18 0 32 0 747092824 749993984 1277 268435456000 4194304 4580107 140733534313872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17997/tid=18011] ppid=17995 vsize=732416 CPUtime=0.06 cores=0-31
/proc/17997/task/18011/stat : 18011 (strangenight2-m) D 17995 17997 17911 0 -1 4202560 11 0 0 0 6 0 0 0 21 0 32 0 747092824 749993984 1277 268435456000 4194304 4580107 140733534313872 18446744073709551615 4514559 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=17997/tid=18012] ppid=17995 vsize=732416 CPUtime=0.06 cores=0-31
/proc/17997/task/18012/stat : 18012 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 6 0 0 0 6 0 0 0 22 0 32 0 747092824 749993984 1277 268435456000 4194304 4580107 140733534313872 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=17997/tid=18013] ppid=17995 vsize=732420 CPUtime=0.06 cores=0-31
/proc/17997/task/18013/stat : 18013 (strangenight2-m) D 17995 17997 17911 0 -1 4202560 24 0 0 0 6 0 0 0 22 0 32 0 747092824 749998080 1277 268435456000 4194304 4580107 140733534313872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=17997/tid=18014] ppid=17995 vsize=732424 CPUtime=0.06 cores=0-31
/proc/17997/task/18014/stat : 18014 (strangenight2-m) D 17995 17997 17911 0 -1 4202560 25 0 0 0 6 0 0 0 22 0 32 0 747092824 750002176 1281 268435456000 4194304 4580107 140733534313872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17997/tid=18015] ppid=17995 vsize=732424 CPUtime=0.06 cores=0-31
/proc/17997/task/18015/stat : 18015 (strangenight2-m) D 17995 17997 17911 0 -1 4202560 20 0 0 0 6 0 0 0 22 0 32 0 747092824 750002176 1281 268435456000 4194304 4580107 140733534313872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=17997/tid=18016] ppid=17995 vsize=732424 CPUtime=0.06 cores=0-31
/proc/17997/task/18016/stat : 18016 (strangenight2-m) D 17995 17997 17911 0 -1 4202560 7 0 0 0 6 0 0 0 22 0 32 0 747092824 750002176 1285 268435456000 4194304 4580107 140733534313872 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=17997/tid=18017] ppid=17995 vsize=732428 CPUtime=0.06 cores=0-31
/proc/17997/task/18017/stat : 18017 (strangenight2-m) D 17995 17997 17911 0 -1 4202560 10 0 0 0 6 0 0 0 22 0 32 0 747092824 750006272 1285 268435456000 4194304 4580107 140733534313872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17997/tid=18018] ppid=17995 vsize=732428 CPUtime=0.06 cores=0-31
/proc/17997/task/18018/stat : 18018 (strangenight2-m) D 17995 17997 17911 0 -1 4202560 14 0 0 0 6 0 0 0 22 0 32 0 747092824 750006272 1322 268435456000 4194304 4580107 140733534313872 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=17997/tid=18019] ppid=17995 vsize=732428 CPUtime=0.06 cores=0-31
/proc/17997/task/18019/stat : 18019 (strangenight2-m) D 17995 17997 17911 0 -1 4202560 70 0 0 0 6 0 0 0 18 0 32 0 747092824 750006272 1322 268435456000 4194304 4580107 140733534313872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=17997/tid=18020] ppid=17995 vsize=732428 CPUtime=0.06 cores=0-31
/proc/17997/task/18020/stat : 18020 (strangenight2-m) D 17995 17997 17911 0 -1 4202560 113 0 0 0 6 0 0 0 18 0 32 0 747092824 750006272 1322 268435456000 4194304 4580107 140733534313872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=17997/tid=18021] ppid=17995 vsize=732428 CPUtime=0.04 cores=0-31
/proc/17997/task/18021/stat : 18021 (strangenight2-m) D 17995 17997 17911 0 -1 4202560 61 0 0 0 4 0 0 0 18 0 32 0 747092824 750006272 1322 268435456000 4194304 4580107 140733534313872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=17997/tid=18022] ppid=17995 vsize=732428 CPUtime=0.04 cores=0-31
/proc/17997/task/18022/stat : 18022 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 72 0 0 0 4 0 0 0 18 0 32 0 747092824 750006272 1334 268435456000 4194304 4580107 140733534313872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=17997/tid=18023] ppid=17995 vsize=732428 CPUtime=0.05 cores=0-31
/proc/17997/task/18023/stat : 18023 (strangenight2-m) D 17995 17997 17911 0 -1 4202560 37 0 0 0 5 0 0 0 23 0 32 0 747092824 750006272 1337 268435456000 4194304 4580107 140733534313872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=17997/tid=18024] ppid=17995 vsize=732436 CPUtime=0.05 cores=0-31
/proc/17997/task/18024/stat : 18024 (strangenight2-m) D 17995 17997 17911 0 -1 4202560 12 0 0 0 5 0 0 0 18 0 32 0 747092824 750014464 1348 268435456000 4194304 4580107 140733534313872 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=17997/tid=18025] ppid=17995 vsize=732436 CPUtime=0.05 cores=0-31
/proc/17997/task/18025/stat : 18025 (strangenight2-m) D 17995 17997 17911 0 -1 4202560 21 0 0 0 5 0 0 0 23 0 32 0 747092824 750014464 1352 268435456000 4194304 4580107 140733534313872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=17997/tid=18026] ppid=17995 vsize=732436 CPUtime=0.05 cores=0-31
/proc/17997/task/18026/stat : 18026 (strangenight2-m) D 17995 17997 17911 0 -1 4202560 7 0 0 0 5 0 0 0 24 0 32 0 747092824 750014464 1362 268435456000 4194304 4580107 140733534313872 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=17997/tid=18027] ppid=17995 vsize=732436 CPUtime=0.05 cores=0-31
/proc/17997/task/18027/stat : 18027 (strangenight2-m) D 17995 17997 17911 0 -1 4202560 26 0 0 0 5 0 0 0 18 0 32 0 747092824 750014464 1362 268435456000 4194304 4580107 140733534313872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=17997/tid=18028] ppid=17995 vsize=732440 CPUtime=0.05 cores=0-31
/proc/17997/task/18028/stat : 18028 (strangenight2-m) D 17995 17997 17911 0 -1 4202560 30 0 0 0 5 0 0 0 18 0 32 0 747092824 750018560 1362 268435456000 4194304 4580107 140733534313872 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 732416

[startup+0.114363 s]
/proc/loadavg: 16.96 22.19 15.21 1/413 17997
/proc/meminfo: memFree=255126428/264257624 swapFree=67111528/67111528
[pid=17997] ppid=17995 vsize=1257512 CPUtime=2.57 cores=0-31
/proc/17997/stat : 17997 (strangenight2-m) R 17995 17997 17911 0 -1 4202496 9628 0 0 0 198 59 0 0 17 0 32 0 747092823 1287692288 9464 268435456000 4194304 4580107 140733534313872 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/17997/statm: 314378 9465 334 95 0 309360 0
[pid=17997/tid=17998] ppid=17995 vsize=1257512 CPUtime=0.08 cores=0-31
/proc/17997/task/17998/stat : 17998 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 272 0 0 0 7 1 0 0 17 0 32 0 747092824 1287692288 9469 268435456000 4194304 4580107 140733534313872 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17997/tid=17999] ppid=17995 vsize=1257512 CPUtime=0.08 cores=0-31
/proc/17997/task/17999/stat : 17999 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 309 0 0 0 7 1 0 0 17 0 32 0 747092824 1287692288 9479 268435456000 4194304 4580107 140733534313872 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17997/tid=18000] ppid=17995 vsize=1257512 CPUtime=0.08 cores=0-31
/proc/17997/task/18000/stat : 18000 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 283 0 0 0 6 2 0 0 17 0 32 0 747092824 1287692288 9481 268435456000 4194304 4580107 140733534313872 18446744073709551615 258651060958 0 0 4096 2 18446604504918769120 0 0 -1 8 0 0 0
[pid=17997/tid=18001] ppid=17995 vsize=1257512 CPUtime=0.02 cores=0-31
/proc/17997/task/18001/stat : 18001 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 272 0 0 0 0 2 0 0 17 0 32 0 747092824 1287692288 9488 268435456000 4194304 4580107 140733534313872 18446744073709551615 258651060958 0 0 4096 2 18446604504404671968 0 0 -1 31 0 0 0
[pid=17997/tid=18002] ppid=17995 vsize=1257512 CPUtime=0.07 cores=0-31
/proc/17997/task/18002/stat : 18002 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 271 0 0 0 6 1 0 0 19 0 32 0 747092824 1287692288 9491 268435456000 4194304 4580107 140733534313872 18446744073709551615 258651060958 0 0 4096 2 18446604474667113952 0 0 -1 17 0 0 0
[pid=17997/tid=18003] ppid=17995 vsize=1257512 CPUtime=0.07 cores=0-31
/proc/17997/task/18003/stat : 18003 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 276 0 0 0 6 1 0 0 17 0 32 0 747092824 1287692288 9494 268435456000 4194304 4580107 140733534313872 18446744073709551615 258651060958 0 0 4096 2 18446744071566926224 0 0 -1 0 0 0 0
[pid=17997/tid=18004] ppid=17995 vsize=1257512 CPUtime=0.07 cores=0-31
/proc/17997/task/18004/stat : 18004 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 341 0 0 0 6 1 0 0 17 0 32 0 747092824 1287692288 9504 268435456000 4194304 4580107 140733534313872 18446744073709551615 258651060958 0 0 4096 2 18446604478962474464 0 0 -1 28 0 0 0
[pid=17997/tid=18005] ppid=17995 vsize=1257512 CPUtime=0.08 cores=0-31
/proc/17997/task/18005/stat : 18005 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 281 0 0 0 7 1 0 0 17 0 32 0 747092824 1287692288 9515 268435456000 4194304 4580107 140733534313872 18446744073709551615 258651060958 0 0 4096 2 18446604485057641952 0 0 -1 5 0 0 0
[pid=17997/tid=18006] ppid=17995 vsize=1257512 CPUtime=0.07 cores=0-31
/proc/17997/task/18006/stat : 18006 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 295 0 0 0 6 1 0 0 17 0 32 0 747092824 1287692288 9518 268435456000 4194304 4580107 140733534313872 18446744073709551615 258651060958 0 0 4096 2 18446744071566924144 0 0 -1 6 0 0 0
[pid=17997/tid=18007] ppid=17995 vsize=1257512 CPUtime=0.08 cores=0-31
/proc/17997/task/18007/stat : 18007 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 273 0 0 0 6 2 0 0 20 0 32 0 747092824 1287692288 9525 268435456000 4194304 4580107 140733534313872 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17997/tid=18008] ppid=17995 vsize=1257512 CPUtime=0.07 cores=0-31
/proc/17997/task/18008/stat : 18008 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 275 0 0 0 6 1 0 0 17 0 32 0 747092824 1287692288 9525 268435456000 4194304 4580107 140733534313872 18446744073709551615 258651060958 0 0 4096 2 18446604478721203680 0 0 -1 9 0 0 0
[pid=17997/tid=18009] ppid=17995 vsize=1257512 CPUtime=0.07 cores=0-31
/proc/17997/task/18009/stat : 18009 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 276 0 0 0 6 1 0 0 20 0 32 0 747092824 1287692288 9528 268435456000 4194304 4580107 140733534313872 18446744073709551615 258651060958 0 0 4096 2 18446744071566928424 0 0 -1 10 0 0 0
[pid=17997/tid=18010] ppid=17995 vsize=1257512 CPUtime=0.08 cores=0-31
/proc/17997/task/18010/stat : 18010 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 290 0 0 0 6 2 0 0 17 0 32 0 747092824 1287692288 9534 268435456000 4194304 4580107 140733534313872 18446744073709551615 4512104 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17997/tid=18011] ppid=17995 vsize=1257512 CPUtime=0.07 cores=0-31
/proc/17997/task/18011/stat : 18011 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 276 0 0 0 6 1 0 0 17 0 32 0 747092824 1287692288 9536 268435456000 4194304 4580107 140733534313872 18446744073709551615 258651060958 0 0 4096 2 18446604485671239136 0 0 -1 13 0 0 0
[pid=17997/tid=18012] ppid=17995 vsize=1257512 CPUtime=0.07 cores=0-31
/proc/17997/task/18012/stat : 18012 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 268 0 0 0 6 1 0 0 17 0 32 0 747092824 1287692288 9544 268435456000 4194304 4580107 140733534313872 18446744073709551615 258651060958 0 0 4096 2 18446604505241452000 0 0 -1 14 0 0 0
[pid=17997/tid=18013] ppid=17995 vsize=1257512 CPUtime=0.08 cores=0-31
/proc/17997/task/18013/stat : 18013 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 280 0 0 0 6 2 0 0 18 0 32 0 747092824 1287692288 9547 268435456000 4194304 4580107 140733534313872 18446744073709551615 258651060958 0 0 4096 2 18446604697741311456 0 0 -1 11 0 0 0
[pid=17997/tid=18014] ppid=17995 vsize=1257512 CPUtime=0.07 cores=0-31

################
# More data... #
################

[pid=17997/tid=18027] ppid=17995 vsize=9495136 CPUtime=55.64 cores=0-31
/proc/17997/task/18027/stat : 18027 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 69581 0 0 0 5350 214 0 0 22 0 32 0 747092824 9723019264 1860882 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604478721424864 0 0 -1 15 0 0 0
[pid=17997/tid=18028] ppid=17995 vsize=9495136 CPUtime=68.39 cores=0-31
/proc/17997/task/18028/stat : 18028 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 32738 0 0 0 6733 106 0 0 25 0 32 0 747092824 9723019264 1860882 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520075307 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 1848
Current children cumulated vsize (KiB) 9495136

[startup+84.7204 s]
/proc/loadavg: 23.98 23.32 16.22 5/445 18031
/proc/meminfo: memFree=247676124/264257624 swapFree=67111528/67111528
[pid=17997] ppid=17995 vsize=9495136 CPUtime=1855.6 cores=0-31
/proc/17997/stat : 17997 (strangenight2-m) S 17995 17997 17911 0 -1 4202496 2218184 0 0 0 178992 6568 0 0 25 0 32 0 747092823 9723019264 1861522 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/17997/statm: 2373784 1861522 378 95 0 2368766 0
[pid=17997/tid=17998] ppid=17995 vsize=9495136 CPUtime=62.73 cores=0-31
/proc/17997/task/17998/stat : 17998 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 68873 0 0 0 6065 208 0 0 25 0 32 0 747092824 9723019264 1861522 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604500627242464 0 0 -1 20 0 0 0
[pid=17997/tid=17999] ppid=17995 vsize=9495136 CPUtime=60.45 cores=0-31
/proc/17997/task/17999/stat : 17999 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 75022 0 0 0 5837 208 0 0 25 0 32 0 747092824 9723019264 1861522 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604572968099296 0 0 -1 30 0 0 0
[pid=17997/tid=18000] ppid=17995 vsize=9495136 CPUtime=58.94 cores=0-31
/proc/17997/task/18000/stat : 18000 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 66856 0 0 0 5692 202 0 0 25 0 32 0 747092824 9723019264 1861522 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604484614364640 0 0 -1 31 0 0 0
[pid=17997/tid=18001] ppid=17995 vsize=9495136 CPUtime=59.24 cores=0-31
/proc/17997/task/18001/stat : 18001 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 71387 0 0 0 5706 218 0 0 18 0 32 0 747092824 9723019264 1861522 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604482330541536 0 0 -1 27 0 0 0
[pid=17997/tid=18002] ppid=17995 vsize=9495136 CPUtime=59.15 cores=0-31
/proc/17997/task/18002/stat : 18002 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 70784 0 0 0 5701 214 0 0 25 0 32 0 747092824 9723019264 1861522 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604505425059296 0 0 -1 29 0 0 0
[pid=17997/tid=18003] ppid=17995 vsize=9495136 CPUtime=59.9 cores=0-31
/proc/17997/task/18003/stat : 18003 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 75130 0 0 0 5790 200 0 0 25 0 32 0 747092824 9723019264 1861522 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604504404671968 0 0 -1 4 0 0 0
[pid=17997/tid=18004] ppid=17995 vsize=9495136 CPUtime=64.63 cores=0-31
/proc/17997/task/18004/stat : 18004 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 77470 0 0 0 6263 200 0 0 22 0 32 0 747092824 9723019264 1861522 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604505651355104 0 0 -1 1 0 0 0
[pid=17997/tid=18005] ppid=17995 vsize=9495136 CPUtime=57.5 cores=0-31
/proc/17997/task/18005/stat : 18005 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 70370 0 0 0 5545 205 0 0 25 0 32 0 747092824 9723019264 1861522 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604697741311456 0 0 -1 25 0 0 0
[pid=17997/tid=18006] ppid=17995 vsize=9495136 CPUtime=60.21 cores=0-31
/proc/17997/task/18006/stat : 18006 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 71440 0 0 0 5802 219 0 0 25 0 32 0 747092824 9723019264 1861522 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604503883439584 0 0 -1 21 0 0 0
[pid=17997/tid=18007] ppid=17995 vsize=9495136 CPUtime=53.57 cores=0-31
/proc/17997/task/18007/stat : 18007 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 72575 0 0 0 5144 213 0 0 25 0 32 0 747092824 9723019264 1861522 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604474667113952 0 0 -1 13 0 0 0
[pid=17997/tid=18008] ppid=17995 vsize=9495136 CPUtime=55.84 cores=0-31
/proc/17997/task/18008/stat : 18008 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 71009 0 0 0 5383 201 0 0 25 0 32 0 747092824 9723019264 1861522 268435456000 4194304 4580107 140733534313872 18446744073709551615 4413346 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=17997/tid=18009] ppid=17995 vsize=9495136 CPUtime=59.53 cores=0-31
/proc/17997/task/18009/stat : 18009 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 69718 0 0 0 5746 207 0 0 25 0 32 0 747092824 9723019264 1861522 268435456000 4194304 4580107 140733534313872 18446744073709551615 4294217 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17997/tid=18010] ppid=17995 vsize=9495136 CPUtime=58.03 cores=0-31
/proc/17997/task/18010/stat : 18010 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 74209 0 0 0 5590 213 0 0 25 0 32 0 747092824 9723019264 1861522 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604479287737824 0 0 -1 26 0 0 0
[pid=17997/tid=18011] ppid=17995 vsize=9495136 CPUtime=57.96 cores=0-31
/proc/17997/task/18011/stat : 18011 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 68846 0 0 0 5588 208 0 0 25 0 32 0 747092824 9723019264 1861522 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604506125254112 0 0 -1 8 0 0 0
[pid=17997/tid=18012] ppid=17995 vsize=9495136 CPUtime=61.71 cores=0-31
/proc/17997/task/18012/stat : 18012 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 70287 0 0 0 5953 218 0 0 20 0 32 0 747092824 9723019264 1861522 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099865 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=17997/tid=18013] ppid=17995 vsize=9495136 CPUtime=52.83 cores=0-31
/proc/17997/task/18013/stat : 18013 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 66463 0 0 0 5068 215 0 0 25 0 32 0 747092824 9723019264 1861522 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604481748123104 0 0 -1 12 0 0 0
[pid=17997/tid=18014] ppid=17995 vsize=9495136 CPUtime=55.31 cores=0-31
/proc/17997/task/18014/stat : 18014 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 67856 0 0 0 5325 206 0 0 25 0 32 0 747092824 9723019264 1861522 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446744071566929784 0 0 -1 22 0 0 0
[pid=17997/tid=18015] ppid=17995 vsize=9495136 CPUtime=54.7 cores=0-31
/proc/17997/task/18015/stat : 18015 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 68015 0 0 0 5264 206 0 0 25 0 32 0 747092824 9723019264 1861522 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604475881045472 0 0 -1 9 0 0 0
[pid=17997/tid=18016] ppid=17995 vsize=9495136 CPUtime=56.34 cores=0-31
/proc/17997/task/18016/stat : 18016 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 72865 0 0 0 5435 199 0 0 25 0 32 0 747092824 9723019264 1861522 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604478962474464 0 0 -1 19 0 0 0
[pid=17997/tid=18017] ppid=17995 vsize=9495136 CPUtime=55.16 cores=0-31
/proc/17997/task/18017/stat : 18017 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 70192 0 0 0 5312 204 0 0 25 0 32 0 747092824 9723019264 1861522 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604479798959584 0 0 -1 16 0 0 0
[pid=17997/tid=18018] ppid=17995 vsize=9495136 CPUtime=57.84 cores=0-31
/proc/17997/task/18018/stat : 18018 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 69515 0 0 0 5578 206 0 0 25 0 32 0 747092824 9723019264 1861522 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604498877611488 0 0 -1 2 0 0 0
[pid=17997/tid=18019] ppid=17995 vsize=9495136 CPUtime=52.85 cores=0-31
/proc/17997/task/18019/stat : 18019 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 71483 0 0 0 5087 198 0 0 21 0 32 0 747092824 9723019264 1861522 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604504059395552 0 0 -1 17 0 0 0
[pid=17997/tid=18020] ppid=17995 vsize=9495136 CPUtime=60.04 cores=0-31
/proc/17997/task/18020/stat : 18020 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 69820 0 0 0 5815 189 0 0 25 0 32 0 747092824 9723019264 1861522 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604476079521248 0 0 -1 0 0 0 0
[pid=17997/tid=18021] ppid=17995 vsize=9495136 CPUtime=54.22 cores=0-31
/proc/17997/task/18021/stat : 18021 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 64880 0 0 0 5212 210 0 0 25 0 32 0 747092824 9723019264 1861522 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604485671239136 0 0 -1 18 0 0 0
[pid=17997/tid=18022] ppid=17995 vsize=9495136 CPUtime=61.98 cores=0-31
/proc/17997/task/18022/stat : 18022 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 73358 0 0 0 5983 215 0 0 25 0 32 0 747092824 9723019264 1861522 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604479706209760 0 0 -1 24 0 0 0
[pid=17997/tid=18023] ppid=17995 vsize=9495136 CPUtime=51.99 cores=0-31
/proc/17997/task/18023/stat : 18023 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 68176 0 0 0 4995 204 0 0 21 0 32 0 747092824 9723019264 1861522 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604707020840416 0 0 -1 5 0 0 0
[pid=17997/tid=18024] ppid=17995 vsize=9495136 CPUtime=55.02 cores=0-31
/proc/17997/task/18024/stat : 18024 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 68905 0 0 0 5294 208 0 0 25 0 32 0 747092824 9723019264 1861522 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604478238498272 0 0 -1 10 0 0 0
[pid=17997/tid=18025] ppid=17995 vsize=9495136 CPUtime=55.61 cores=0-31
/proc/17997/task/18025/stat : 18025 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 72100 0 0 0 5355 206 0 0 22 0 32 0 747092824 9723019264 1861522 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604481178533344 0 0 -1 7 0 0 0
[pid=17997/tid=18026] ppid=17995 vsize=9495136 CPUtime=57.7 cores=0-31
/proc/17997/task/18026/stat : 18026 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 67816 0 0 0 5556 214 0 0 25 0 32 0 747092824 9723019264 1861522 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604505241452000 0 0 -1 14 0 0 0
[pid=17997/tid=18027] ppid=17995 vsize=9495136 CPUtime=55.64 cores=0-31
/proc/17997/task/18027/stat : 18027 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 69581 0 0 0 5350 214 0 0 22 0 32 0 747092824 9723019264 1861522 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604478721424864 0 0 -1 15 0 0 0
[pid=17997/tid=18028] ppid=17995 vsize=9495136 CPUtime=70 cores=0-31
/proc/17997/task/18028/stat : 18028 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 32738 0 0 0 6894 106 0 0 25 0 32 0 747092824 9723019264 1861522 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520075307 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 1855.6
Current children cumulated vsize (KiB) 9495136

[startup+85.5025 s]
/proc/loadavg: 23.98 23.32 16.22 5/445 18031
/proc/meminfo: memFree=247676124/264257624 swapFree=67111528/67111528
[pid=17997] ppid=17995 vsize=9495136 CPUtime=1857.77 cores=0-31
/proc/17997/stat : 17997 (strangenight2-m) S 17995 17997 17911 0 -1 4202496 2218437 0 0 0 179209 6568 0 0 25 0 32 0 747092823 9723019264 1861775 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/17997/statm: 2373784 1861775 378 95 0 2368766 0
[pid=17997/tid=17998] ppid=17995 vsize=9495136 CPUtime=62.73 cores=0-31
/proc/17997/task/17998/stat : 17998 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 68873 0 0 0 6065 208 0 0 25 0 32 0 747092824 9723019264 1861775 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604500627242464 0 0 -1 20 0 0 0
[pid=17997/tid=17999] ppid=17995 vsize=9495136 CPUtime=60.45 cores=0-31
/proc/17997/task/17999/stat : 17999 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 75022 0 0 0 5837 208 0 0 25 0 32 0 747092824 9723019264 1861775 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604572968099296 0 0 -1 30 0 0 0
[pid=17997/tid=18000] ppid=17995 vsize=9495136 CPUtime=58.94 cores=0-31
/proc/17997/task/18000/stat : 18000 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 66856 0 0 0 5692 202 0 0 25 0 32 0 747092824 9723019264 1861775 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604484614364640 0 0 -1 31 0 0 0
[pid=17997/tid=18001] ppid=17995 vsize=9495136 CPUtime=59.24 cores=0-31
/proc/17997/task/18001/stat : 18001 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 71387 0 0 0 5706 218 0 0 18 0 32 0 747092824 9723019264 1861775 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604482330541536 0 0 -1 27 0 0 0
[pid=17997/tid=18002] ppid=17995 vsize=9495136 CPUtime=59.15 cores=0-31
/proc/17997/task/18002/stat : 18002 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 70784 0 0 0 5701 214 0 0 25 0 32 0 747092824 9723019264 1861775 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604505425059296 0 0 -1 29 0 0 0
[pid=17997/tid=18003] ppid=17995 vsize=9495136 CPUtime=59.9 cores=0-31
/proc/17997/task/18003/stat : 18003 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 75130 0 0 0 5790 200 0 0 25 0 32 0 747092824 9723019264 1861775 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604504404671968 0 0 -1 4 0 0 0
[pid=17997/tid=18004] ppid=17995 vsize=9495136 CPUtime=64.63 cores=0-31
/proc/17997/task/18004/stat : 18004 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 77470 0 0 0 6263 200 0 0 22 0 32 0 747092824 9723019264 1861775 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604505651355104 0 0 -1 1 0 0 0
[pid=17997/tid=18005] ppid=17995 vsize=9495136 CPUtime=57.5 cores=0-31
/proc/17997/task/18005/stat : 18005 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 70370 0 0 0 5545 205 0 0 25 0 32 0 747092824 9723019264 1861775 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604697741311456 0 0 -1 25 0 0 0
[pid=17997/tid=18006] ppid=17995 vsize=9495136 CPUtime=60.21 cores=0-31
/proc/17997/task/18006/stat : 18006 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 71440 0 0 0 5802 219 0 0 25 0 32 0 747092824 9723019264 1861775 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604503883439584 0 0 -1 21 0 0 0
[pid=17997/tid=18007] ppid=17995 vsize=9495136 CPUtime=53.57 cores=0-31
/proc/17997/task/18007/stat : 18007 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 72575 0 0 0 5144 213 0 0 25 0 32 0 747092824 9723019264 1861775 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604474667113952 0 0 -1 13 0 0 0
[pid=17997/tid=18008] ppid=17995 vsize=9495136 CPUtime=56.62 cores=0-31
/proc/17997/task/18008/stat : 18008 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 71257 0 0 0 5461 201 0 0 25 0 32 0 747092824 9723019264 1861775 268435456000 4194304 4580107 140733534313872 18446744073709551615 4292913 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=17997/tid=18009] ppid=17995 vsize=9495136 CPUtime=60.03 cores=0-31
/proc/17997/task/18009/stat : 18009 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 69723 0 0 0 5796 207 0 0 25 0 32 0 747092824 9723019264 1861775 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604485057641952 0 0 -1 28 0 0 0
[pid=17997/tid=18010] ppid=17995 vsize=9495136 CPUtime=58.03 cores=0-31
/proc/17997/task/18010/stat : 18010 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 74209 0 0 0 5590 213 0 0 25 0 32 0 747092824 9723019264 1861775 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604479287737824 0 0 -1 26 0 0 0
[pid=17997/tid=18011] ppid=17995 vsize=9495136 CPUtime=57.96 cores=0-31
/proc/17997/task/18011/stat : 18011 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 68846 0 0 0 5588 208 0 0 25 0 32 0 747092824 9723019264 1861775 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604506125254112 0 0 -1 8 0 0 0
[pid=17997/tid=18012] ppid=17995 vsize=9495136 CPUtime=61.81 cores=0-31
/proc/17997/task/18012/stat : 18012 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 70287 0 0 0 5963 218 0 0 20 0 32 0 747092824 9723019264 1861775 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604478721203680 0 0 -1 23 0 0 0
[pid=17997/tid=18013] ppid=17995 vsize=9495136 CPUtime=52.83 cores=0-31
/proc/17997/task/18013/stat : 18013 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 66463 0 0 0 5068 215 0 0 25 0 32 0 747092824 9723019264 1861775 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604481748123104 0 0 -1 12 0 0 0
[pid=17997/tid=18014] ppid=17995 vsize=9495136 CPUtime=55.31 cores=0-31
/proc/17997/task/18014/stat : 18014 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 67856 0 0 0 5325 206 0 0 25 0 32 0 747092824 9723019264 1861775 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446744071566929784 0 0 -1 22 0 0 0
[pid=17997/tid=18015] ppid=17995 vsize=9495136 CPUtime=54.7 cores=0-31
/proc/17997/task/18015/stat : 18015 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 68015 0 0 0 5264 206 0 0 25 0 32 0 747092824 9723019264 1861775 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604475881045472 0 0 -1 9 0 0 0
[pid=17997/tid=18016] ppid=17995 vsize=9495136 CPUtime=56.34 cores=0-31
/proc/17997/task/18016/stat : 18016 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 72865 0 0 0 5435 199 0 0 25 0 32 0 747092824 9723019264 1861775 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604478962474464 0 0 -1 19 0 0 0
[pid=17997/tid=18017] ppid=17995 vsize=9495136 CPUtime=55.16 cores=0-31
/proc/17997/task/18017/stat : 18017 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 70192 0 0 0 5312 204 0 0 25 0 32 0 747092824 9723019264 1861775 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604479798959584 0 0 -1 16 0 0 0
[pid=17997/tid=18018] ppid=17995 vsize=9495136 CPUtime=57.84 cores=0-31
/proc/17997/task/18018/stat : 18018 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 69515 0 0 0 5578 206 0 0 25 0 32 0 747092824 9723019264 1861775 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604498877611488 0 0 -1 2 0 0 0
[pid=17997/tid=18019] ppid=17995 vsize=9495136 CPUtime=52.85 cores=0-31
/proc/17997/task/18019/stat : 18019 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 71483 0 0 0 5087 198 0 0 21 0 32 0 747092824 9723019264 1861775 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604504059395552 0 0 -1 17 0 0 0
[pid=17997/tid=18020] ppid=17995 vsize=9495136 CPUtime=60.04 cores=0-31
/proc/17997/task/18020/stat : 18020 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 69820 0 0 0 5815 189 0 0 25 0 32 0 747092824 9723019264 1861775 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604476079521248 0 0 -1 0 0 0 0
[pid=17997/tid=18021] ppid=17995 vsize=9495136 CPUtime=54.22 cores=0-31
/proc/17997/task/18021/stat : 18021 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 64880 0 0 0 5212 210 0 0 25 0 32 0 747092824 9723019264 1861775 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604485671239136 0 0 -1 18 0 0 0
[pid=17997/tid=18022] ppid=17995 vsize=9495136 CPUtime=61.98 cores=0-31
/proc/17997/task/18022/stat : 18022 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 73358 0 0 0 5983 215 0 0 25 0 32 0 747092824 9723019264 1861775 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604479706209760 0 0 -1 24 0 0 0
[pid=17997/tid=18023] ppid=17995 vsize=9495136 CPUtime=51.99 cores=0-31
/proc/17997/task/18023/stat : 18023 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 68176 0 0 0 4995 204 0 0 21 0 32 0 747092824 9723019264 1861775 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604707020840416 0 0 -1 5 0 0 0
[pid=17997/tid=18024] ppid=17995 vsize=9495136 CPUtime=55.02 cores=0-31
/proc/17997/task/18024/stat : 18024 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 68905 0 0 0 5294 208 0 0 25 0 32 0 747092824 9723019264 1861775 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604478238498272 0 0 -1 10 0 0 0
[pid=17997/tid=18025] ppid=17995 vsize=9495136 CPUtime=55.61 cores=0-31
/proc/17997/task/18025/stat : 18025 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 72100 0 0 0 5355 206 0 0 22 0 32 0 747092824 9723019264 1861775 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604481178533344 0 0 -1 7 0 0 0
[pid=17997/tid=18026] ppid=17995 vsize=9495136 CPUtime=57.7 cores=0-31
/proc/17997/task/18026/stat : 18026 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 67816 0 0 0 5556 214 0 0 25 0 32 0 747092824 9723019264 1861775 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604505241452000 0 0 -1 14 0 0 0
[pid=17997/tid=18027] ppid=17995 vsize=9495136 CPUtime=55.64 cores=0-31
/proc/17997/task/18027/stat : 18027 (strangenight2-m) S 17995 17997 17911 0 -1 4202560 69581 0 0 0 5350 214 0 0 22 0 32 0 747092824 9723019264 1861775 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520099892 0 0 4096 2 18446604478721424864 0 0 -1 15 0 0 0
[pid=17997/tid=18028] ppid=17995 vsize=9495136 CPUtime=70.79 cores=0-31
/proc/17997/task/18028/stat : 18028 (strangenight2-m) R 17995 17997 17911 0 -1 4202560 32738 0 0 0 6973 106 0 0 25 0 32 0 747092824 9723019264 1861775 268435456000 4194304 4580107 140733534313872 18446744073709551615 47843520075460 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 1857.77
Current children cumulated vsize (KiB) 9495136

[startup+86.3005 s]
/proc/loadavg: 23.98 23.32 16.22 2/415 18031
/proc/meminfo: memFree=247840052/264257624 swapFree=67111528/67111528
[pid=17997] ppid=17995 vsize=0 CPUtime=1858.77 cores=0-31
/proc/17997/stat : 17997 (strangenight2-m) Z 17995 17997 17911 0 -1 4203548 2218442 0 0 0 179244 6633 0 0 18 0 2 0 747092823 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/17997/statm: 0 0 0 0 0 0 0
[pid=17997/tid=18011] ppid=17995 vsize=0 CPUtime=58.58 cores=0-31
/proc/17997/task/18011/stat : 18011 (strangenight2-m) R 17995 17997 17911 0 -1 4203588 68846 0 0 0 5588 270 0 0 18 0 2 0 747092824 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 8 0 0 0
Current children cumulated CPU time (s) 1858.77
Current children cumulated vsize (KiB) 0

[startup+86.5005 s]
/proc/loadavg: 23.98 23.32 16.22 2/415 18031
/proc/meminfo: memFree=247840052/264257624 swapFree=67111528/67111528
[pid=17997] ppid=17995 vsize=0 CPUtime=1858.97 cores=0-31
/proc/17997/stat : 17997 (strangenight2-m) Z 17995 17997 17911 0 -1 4203548 2218442 0 0 0 179244 6653 0 0 18 0 2 0 747092823 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/17997/statm: 0 0 0 0 0 0 0
[pid=17997/tid=18011] ppid=17995 vsize=0 CPUtime=58.78 cores=0-31
/proc/17997/task/18011/stat : 18011 (strangenight2-m) R 17995 17997 17911 0 -1 4203588 68846 0 0 0 5588 290 0 0 18 0 2 0 747092824 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 8 0 0 0
Current children cumulated CPU time (s) 1858.97
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 86.5109
CPU time (s): 1858.98
CPU user time (s): 1792.44
CPU system time (s): 66.5409
CPU usage (%): 2148.84
Max. virtual memory (cumulated for all children) (KiB): 9495136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.44
system time used= 66.5409
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2218442
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= 2830360
involuntary context switches= 20454

runsolver used 0.6549 second user time and 2.43963 second system time

The end

Begin job on node200 at 2011-05-25 22:41:04
IDJOB=3400701
IDBENCH=71743
IDSOLVER=1886
FILE ID=node200/3400701-1306356063
RUNJOBID= node200-1306356029-17925
PBS_JOBID= 13411802
Free space on /tmp= 62032 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT_RACE06/velev-pipe-o-uns-1.0-7.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400701-1306356063/watcher-3400701-1306356063 -o /tmp/evaluation-result-3400701-1306356063/solver-3400701-1306356063 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400701-1306356063.cnf

TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32

MD5SUM BENCH= b7df25f653e1e7a9ffcd39b3231809e6
RANDOM SEED=1444653638

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:      255126840 kB
Buffers:        469096 kB
Cached:        8249516 kB
SwapCached:          0 kB
Active:        7789036 kB
Inactive:       998704 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255126840 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           19264 kB
Writeback:           0 kB
AnonPages:       70980 kB
Mapped:          14716 kB
Slab:           255988 kB
PageTables:       4884 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   181172 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= 62028 MiB
End job on node200 at 2011-05-25 22:42:31

Name	velev-pipe-o-uns-1.0-7.cnf
MD5SUM	b7df25f653e1e7a9ffcd39b3231809e6
Bench Category	APPLICATION (applications instances)
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1825.13
Satisfiable
(Un)Satisfiability was proved
Number of variables	24415
Number of clauses	711050
Sum of the clauses size	2091630
Maximum clause length	161
Minimum clause length	1
Number of clauses of size 1	1
Number of clauses of size 2	605924
Number of clauses of size 3	86384
Number of clauses of size 4	614
Number of clauses of size 5	475
Number of clauses of size over 5	17652

Trace number 3400701

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data