0.00/0.00 c clasp version 2.0.0-RC2
0.00/0.00 c Reading from ...442020/instance-3472306-1307442020.cnf
2.79/2.81 c Solving...
59814.62/1895.60 s UNSATISFIABLE
59814.62/1895.60
59814.62/1895.60 c Models : 0
59814.62/1895.60 c Time : 1889.847s (Solving: 1887.04s 1st Model: 0.00s Unsat: 1887.04s)
59814.62/1895.60 c CPU Time : 59808.870s
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3472306-1307442020/watcher-3472306-1307442020 -o /tmp/evaluation-result-3472306-1307442020/solver-3472306-1307442020 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472306-1307442020.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): 262144000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 262195200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.46 16.66 25.82 1/413 14976
/proc/meminfo: memFree=263350276/264257624 swapFree=67111528/67111528
[pid=14976] ppid=14974 vsize=46308 CPUtime=0.02 cores=0-31
/proc/14976/stat : 14976 (claspmt) R 14974 14976 14950 0 -1 4202496 5118 0 0 0 2 0 0 0 21 0 1 0 9589021 47419392 5048 270582939648 4194304 4964800 140735844669600 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/14976/statm: 11577 5056 373 189 0 6451 0
[startup+0.08475 s]
/proc/loadavg: 3.46 16.66 25.82 1/413 14976
/proc/meminfo: memFree=263350276/264257624 swapFree=67111528/67111528
[pid=14976] ppid=14974 vsize=63524 CPUtime=0.07 cores=0-31
/proc/14976/stat : 14976 (claspmt) R 14974 14976 14950 0 -1 4202496 12787 0 0 0 5 2 0 0 21 0 1 0 9589021 65048576 10860 270582939648 4194304 4964800 140735844669600 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/14976/statm: 15881 10862 383 189 0 10755 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 63524
[startup+0.100757 s]
/proc/loadavg: 3.46 16.66 25.82 1/413 14976
/proc/meminfo: memFree=263350276/264257624 swapFree=67111528/67111528
[pid=14976] ppid=14974 vsize=65600 CPUtime=0.08 cores=0-31
/proc/14976/stat : 14976 (claspmt) R 14974 14976 14950 0 -1 4202496 13496 0 0 0 6 2 0 0 21 0 1 0 9589021 67174400 11388 270582939648 4194304 4964800 140735844669600 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/14976/statm: 16400 11391 383 189 0 11274 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 65600
[startup+0.300755 s]
/proc/loadavg: 3.46 16.66 25.82 1/413 14976
/proc/meminfo: memFree=263350276/264257624 swapFree=67111528/67111528
[pid=14976] ppid=14974 vsize=98448 CPUtime=0.29 cores=0-31
/proc/14976/stat : 14976 (claspmt) R 14974 14976 14950 0 -1 4202496 25720 0 0 0 24 5 0 0 21 0 1 0 9589021 100810752 19410 270582939648 4194304 4964800 140735844669600 18446744073709551615 4617488 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/14976/statm: 24612 19411 396 189 0 19486 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 98448
[startup+0.700777 s]
/proc/loadavg: 3.46 16.66 25.82 1/413 14976
/proc/meminfo: memFree=263350276/264257624 swapFree=67111528/67111528
[pid=14976] ppid=14974 vsize=127124 CPUtime=0.69 cores=0-31
/proc/14976/stat : 14976 (claspmt) R 14974 14976 14950 0 -1 4202496 32791 0 0 0 62 7 0 0 22 0 1 0 9589021 130174976 26481 270582939648 4194304 4964800 140735844669600 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/14976/statm: 31781 26482 401 189 0 26655 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 127124
[startup+1.50081 s]
/proc/loadavg: 3.46 16.66 25.82 2/414 14977
/proc/meminfo: memFree=263233196/264257624 swapFree=67111528/67111528
[pid=14976] ppid=14974 vsize=151192 CPUtime=1.49 cores=0-31
/proc/14976/stat : 14976 (claspmt) R 14974 14976 14950 0 -1 4202496 38788 0 0 0 141 8 0 0 25 0 1 0 9589021 154820608 32478 270582939648 4194304 4964800 140735844669600 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/14976/statm: 37798 32478 401 189 0 32672 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 151192
[startup+3.10073 s]
/proc/loadavg: 3.46 16.66 25.82 2/414 14977
/proc/meminfo: memFree=263217944/264257624 swapFree=67111528/67111528
[pid=14976] ppid=14974 vsize=830072 CPUtime=10.83 cores=0-31
/proc/14976/stat : 14976 (claspmt) S 14974 14976 14950 0 -1 4202496 104151 0 0 0 311 772 0 0 18 0 32 0 9589021 849993728 76299 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/14976/statm: 207518 76310 430 189 0 201867 0
Current children cumulated CPU time (s) 10.83
Current children cumulated vsize (KiB) 830072
[startup+6.30194 s]
/proc/loadavg: 5.67 16.90 25.84 5/445 15008
/proc/meminfo: memFree=262558216/264257624 swapFree=67111528/67111528
[pid=14976] ppid=14974 vsize=2060404 CPUtime=33.13 cores=0-31
/proc/14976/stat : 14976 (claspmt) S 14974 14976 14950 0 -1 4202496 259074 0 0 0 1323 1990 0 0 18 0 32 0 9589021 2109853696 199920 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/14976/statm: 515101 199920 440 189 0 509450 0
[pid=14976/tid=14978] ppid=14974 vsize=2060404 CPUtime=0.67 cores=0-31
/proc/14976/task/14978/stat : 14978 (claspmt) S 14974 14976 14950 0 -1 4202560 6003 0 0 0 8 59 0 0 18 0 32 0 9589303 2109853696 199920 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604498278424032 0 0 -1 25 0 0 0
[pid=14976/tid=14979] ppid=14974 vsize=2060404 CPUtime=0.77 cores=0-31
/proc/14976/task/14979/stat : 14979 (claspmt) S 14974 14976 14950 0 -1 4202560 7335 0 0 0 12 65 0 0 18 0 32 0 9589303 2109853696 199920 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604498607742432 0 0 -1 22 0 0 0
[pid=14976/tid=14980] ppid=14974 vsize=2060404 CPUtime=0.78 cores=0-31
/proc/14976/task/14980/stat : 14980 (claspmt) S 14974 14976 14950 0 -1 4202560 7328 0 0 0 9 69 0 0 18 0 32 0 9589303 2109853696 199920 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604498301246944 0 0 -1 3 0 0 0
[pid=14976/tid=14981] ppid=14974 vsize=2060404 CPUtime=0.75 cores=0-31
/proc/14976/task/14981/stat : 14981 (claspmt) S 14974 14976 14950 0 -1 4202560 5390 0 0 0 5 70 0 0 18 0 32 0 9589303 2109853696 199920 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604498356854240 0 0 -1 0 0 0 0
[pid=14976/tid=14982] ppid=14974 vsize=2060404 CPUtime=2.61 cores=0-31
/proc/14976/task/14982/stat : 14982 (claspmt) R 14974 14976 14950 0 -1 4202560 7445 0 0 0 194 67 0 0 20 0 32 0 9589303 2109853696 199920 270582939648 4194304 4964800 140735844669600 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=14976/tid=14983] ppid=14974 vsize=2060404 CPUtime=0.78 cores=0-31
/proc/14976/task/14983/stat : 14983 (claspmt) S 14974 14976 14950 0 -1 4202560 7953 0 0 0 10 68 0 0 18 0 32 0 9589303 2109853696 199920 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604498344205792 0 0 -1 2 0 0 0
[pid=14976/tid=14984] ppid=14974 vsize=2060404 CPUtime=0.76 cores=0-31
/proc/14976/task/14984/stat : 14984 (claspmt) S 14974 14976 14950 0 -1 4202560 7632 0 0 0 12 64 0 0 18 0 32 0 9589303 2109853696 199920 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604499642981856 0 0 -1 26 0 0 0
[pid=14976/tid=14985] ppid=14974 vsize=2060404 CPUtime=0.67 cores=0-31
/proc/14976/task/14985/stat : 14985 (claspmt) S 14974 14976 14950 0 -1 4202560 6177 0 0 0 4 63 0 0 18 0 32 0 9589303 2109853696 199920 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604498391899616 0 0 -1 8 0 0 0
[pid=14976/tid=14986] ppid=14974 vsize=2060404 CPUtime=0.73 cores=0-31
/proc/14976/task/14986/stat : 14986 (claspmt) S 14974 14976 14950 0 -1 4202560 5924 0 0 0 5 68 0 0 18 0 32 0 9589303 2109853696 199920 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604499658161632 0 0 -1 5 0 0 0
[pid=14976/tid=14987] ppid=14974 vsize=2060404 CPUtime=0.71 cores=0-31
/proc/14976/task/14987/stat : 14987 (claspmt) S 14974 14976 14950 0 -1 4202560 7760 0 0 0 14 57 0 0 18 0 32 0 9589303 2109853696 199920 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604498522709472 0 0 -1 27 0 0 0
[pid=14976/tid=14988] ppid=14974 vsize=2060404 CPUtime=0.71 cores=0-31
/proc/14976/task/14988/stat : 14988 (claspmt) S 14974 14976 14950 0 -1 4202560 8269 0 0 0 12 59 0 0 18 0 32 0 9589303 2109853696 199920 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604498607750624 0 0 -1 19 0 0 0
[pid=14976/tid=14989] ppid=14974 vsize=2060404 CPUtime=0.7 cores=0-31
/proc/14976/task/14989/stat : 14989 (claspmt) S 14974 14976 14950 0 -1 4202560 5958 0 0 0 5 65 0 0 18 0 32 0 9589303 2109853696 199920 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604498327027168 0 0 -1 29 0 0 0
[pid=14976/tid=14990] ppid=14974 vsize=2060404 CPUtime=2.64 cores=0-31
/proc/14976/task/14990/stat : 14990 (claspmt) R 14974 14976 14950 0 -1 4202560 7042 0 0 0 201 63 0 0 20 0 32 0 9589303 2109853696 199920 270582939648 4194304 4964800 140735844669600 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=14976/tid=14991] ppid=14974 vsize=2060404 CPUtime=0.74 cores=0-31
/proc/14976/task/14991/stat : 14991 (claspmt) S 14974 14976 14950 0 -1 4202560 8232 0 0 0 8 66 0 0 18 0 32 0 9589303 2109853696 199920 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604498327018976 0 0 -1 9 0 0 0
[pid=14976/tid=14992] ppid=14974 vsize=2060404 CPUtime=0.71 cores=0-31
/proc/14976/task/14992/stat : 14992 (claspmt) S 14974 14976 14950 0 -1 4202560 7630 0 0 0 16 55 0 0 18 0 32 0 9589303 2109853696 199920 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604499631111648 0 0 -1 7 0 0 0
[pid=14976/tid=14993] ppid=14974 vsize=2060404 CPUtime=0.67 cores=0-31
/proc/14976/task/14993/stat : 14993 (claspmt) S 14974 14976 14950 0 -1 4202560 6198 0 0 0 5 62 0 0 18 0 32 0 9589303 2109853696 199920 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604498607865312 0 0 -1 10 0 0 0
[pid=14976/tid=14994] ppid=14974 vsize=2060404 CPUtime=0.62 cores=0-31
/proc/14976/task/14994/stat : 14994 (claspmt) S 14974 14976 14950 0 -1 4202560 5717 0 0 0 7 55 0 0 18 0 32 0 9589303 2109853696 199920 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604558085774816 0 0 -1 11 0 0 0
[pid=14976/tid=14995] ppid=14974 vsize=2060404 CPUtime=0.76 cores=0-31
/proc/14976/task/14995/stat : 14995 (claspmt) S 14974 14976 14950 0 -1 4202560 8069 0 0 0 11 65 0 0 18 0 32 0 9589303 2109853696 199920 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604499611229664 0 0 -1 21 0 0 0
[pid=14976/tid=14996] ppid=14974 vsize=2060404 CPUtime=0.77 cores=0-31
/proc/14976/task/14996/stat : 14996 (claspmt) S 14974 14976 14950 0 -1 4202560 7898 0 0 0 9 68 0 0 18 0 32 0 9589303 2109853696 199920 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604498328419808 0 0 -1 20 0 0 0
[pid=14976/tid=14997] ppid=14974 vsize=2060404 CPUtime=0.66 cores=0-31
/proc/14976/task/14997/stat : 14997 (claspmt) S 14974 14976 14950 0 -1 4202560 6099 0 0 0 5 61 0 0 18 0 32 0 9589303 2109853696 199920 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604498607775200 0 0 -1 18 0 0 0
[pid=14976/tid=14998] ppid=14974 vsize=2060404 CPUtime=2.61 cores=0-31
/proc/14976/task/14998/stat : 14998 (claspmt) R 14974 14976 14950 0 -1 4202560 6922 0 0 0 196 65 0 0 20 0 32 0 9589303 2109853696 199920 270582939648 4194304 4964800 140735844669600 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=14976/tid=14999] ppid=14974 vsize=2060404 CPUtime=0.77 cores=0-31
/proc/14976/task/14999/stat : 14999 (claspmt) S 14974 14976 14950 0 -1 4202560 8127 0 0 0 10 67 0 0 18 0 32 0 9589303 2109853696 199920 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604498376048096 0 0 -1 12 0 0 0
[pid=14976/tid=15000] ppid=14974 vsize=2060404 CPUtime=0.76 cores=0-31
/proc/14976/task/15000/stat : 15000 (claspmt) S 14974 14976 14950 0 -1 4202560 7469 0 0 0 11 65 0 0 18 0 32 0 9589304 2109853696 199920 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604499603054048 0 0 -1 23 0 0 0
[pid=14976/tid=15001] ppid=14974 vsize=2060404 CPUtime=0.66 cores=0-31
/proc/14976/task/15001/stat : 15001 (claspmt) S 14974 14976 14950 0 -1 4202560 5914 0 0 0 8 58 0 0 18 0 32 0 9589304 2109853696 199920 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604498351914464 0 0 -1 13 0 0 0
[pid=14976/tid=15002] ppid=14974 vsize=2060404 CPUtime=0.66 cores=0-31
/proc/14976/task/15002/stat : 15002 (claspmt) S 14974 14976 14950 0 -1 4202560 5803 0 0 0 9 57 0 0 18 0 32 0 9589304 2109853696 199920 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604498278809056 0 0 -1 14 0 0 0
[pid=14976/tid=15003] ppid=14974 vsize=2060404 CPUtime=0.69 cores=0-31
/proc/14976/task/15003/stat : 15003 (claspmt) S 14974 14976 14950 0 -1 4202560 8657 0 0 0 12 57 0 0 18 0 32 0 9589304 2109853696 199920 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604498847661536 0 0 -1 15 0 0 0
[pid=14976/tid=15004] ppid=14974 vsize=2060404 CPUtime=0.78 cores=0-31
/proc/14976/task/15004/stat : 15004 (claspmt) S 14974 14976 14950 0 -1 4202560 7616 0 0 0 9 69 0 0 18 0 32 0 9589304 2109853696 199920 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604498301255136 0 0 -1 1 0 0 0
[pid=14976/tid=15005] ppid=14974 vsize=2060404 CPUtime=0.66 cores=0-31
/proc/14976/task/15005/stat : 15005 (claspmt) S 14974 14976 14950 0 -1 4202560 6041 0 0 0 4 62 0 0 18 0 32 0 9589304 2109853696 199920 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604498351906272 0 0 -1 28 0 0 0
[pid=14976/tid=15006] ppid=14974 vsize=2060404 CPUtime=2.67 cores=0-31
/proc/14976/task/15006/stat : 15006 (claspmt) R 14974 14976 14950 0 -1 4202560 7301 0 0 0 205 62 0 0 20 0 32 0 9589304 2109853696 199920 270582939648 4194304 4964800 140735844669600 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=14976/tid=15007] ppid=14974 vsize=2060404 CPUtime=0.73 cores=0-31
/proc/14976/task/15007/stat : 15007 (claspmt) S 14974 14976 14950 0 -1 4202560 7864 0 0 0 9 64 0 0 18 0 32 0 9589304 2109853696 199920 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604498599878112 0 0 -1 24 0 0 0
[pid=14976/tid=15008] ppid=14974 vsize=2060404 CPUtime=0.79 cores=0-31
/proc/14976/task/15008/stat : 15008 (claspmt) S 14974 14976 14950 0 -1 4202560 7091 0 0 0 11 68 0 0 18 0 32 0 9589304 2109853696 199920 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604498602704352 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 33.13
Current children cumulated vsize (KiB) 2060404
[startup+12.7021 s]
/proc/loadavg: 5.53 16.69 25.73 5/445 15008
/proc/meminfo: memFree=262558448/264257624 swapFree=67111528/67111528
[pid=14976] ppid=14974 vsize=2060404 CPUtime=58.73 cores=0-31
/proc/14976/stat : 14976 (claspmt) S 14974 14976 14950 0 -1 4202496 259097 0 0 0 3883 1990 0 0 18 0 32 0 9589021 2109853696 199943 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/14976/statm: 515101 199943 440 189 0 509450 0
[pid=14976/tid=14978] ppid=14974 vsize=2060404 CPUtime=0.67 cores=0-31
/proc/14976/task/14978/stat : 14978 (claspmt) S 14974 14976 14950 0 -1 4202560 6003 0 0 0 8 59 0 0 18 0 32 0 9589303 2109853696 199943 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604498278424032 0 0 -1 25 0 0 0
[pid=14976/tid=14979] ppid=14974 vsize=2060404 CPUtime=0.77 cores=0-31
/proc/14976/task/14979/stat : 14979 (claspmt) S 14974 14976 14950 0 -1 4202560 7335 0 0 0 12 65 0 0 18 0 32 0 9589303 2109853696 199943 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604498607742432 0 0 -1 22 0 0 0
[pid=14976/tid=14980] ppid=14974 vsize=2060404 CPUtime=0.78 cores=0-31
/proc/14976/task/14980/stat : 14980 (claspmt) S 14974 14976 14950 0 -1 4202560 7328 0 0 0 9 69 0 0 18 0 32 0 9589303 2109853696 199943 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604498301246944 0 0 -1 3 0 0 0
[pid=14976/tid=14981] ppid=14974 vsize=2060404 CPUtime=0.75 cores=0-31
/proc/14976/task/14981/stat : 14981 (claspmt) S 14974 14976 14950 0 -1 4202560 5390 0 0 0 5 70 0 0 18 0 32 0 9589303 2109853696 199943 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604498356854240 0 0 -1 0 0 0 0
[pid=14976/tid=14982] ppid=14974 vsize=2060404 CPUtime=9.01 cores=0-31
/proc/14976/task/14982/stat : 14982 (claspmt) R 14974 14976 14950 0 -1 4202560 7451 0 0 0 834 67 0 0 25 0 32 0 9589303 2109853696 199943 270582939648 4194304 4964800 140735844669600 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=14976/tid=14983] ppid=14974 vsize=2060404 CPUtime=0.78 cores=0-31
/proc/14976/task/14983/stat : 14983 (claspmt) S 14974 14976 14950 0 -1 4202560 7953 0 0 0 10 68 0 0 18 0 32 0 9589303 2109853696 199943 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604498344205792 0 0 -1 2 0 0 0
[pid=14976/tid=14984] ppid=14974 vsize=2060404 CPUtime=0.76 cores=0-31
/proc/14976/task/14984/stat : 14984 (claspmt) S 14974 14976 14950 0 -1 4202560 7632 0 0 0 12 64 0 0 18 0 32 0 9589303 2109853696 199943 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604499642981856 0 0 -1 26 0 0 0
[pid=14976/tid=14985] ppid=14974 vsize=2060404 CPUtime=0.67 cores=0-31
/proc/14976/task/14985/stat : 14985 (claspmt) S 14974 14976 14950 0 -1 4202560 6177 0 0 0 4 63 0 0 18 0 32 0 9589303 2109853696 199943 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604498391899616 0 0 -1 8 0 0 0
[pid=14976/tid=14986] ppid=14974 vsize=2060404 CPUtime=0.73 cores=0-31
/proc/14976/task/14986/stat : 14986 (claspmt) S 14974 14976 14950 0 -1 4202560 5924 0 0 0 5 68 0 0 18 0 32 0 9589303 2109853696 199943 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604499658161632 0 0 -1 5 0 0 0
[pid=14976/tid=14987] ppid=14974 vsize=2060404 CPUtime=0.71 cores=0-31
/proc/14976/task/14987/stat : 14987 (claspmt) S 14974 14976 14950 0 -1 4202560 7760 0 0 0 14 57 0 0 18 0 32 0 9589303 2109853696 199943 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604498522709472 0 0 -1 27 0 0 0
[pid=14976/tid=14988] ppid=14974 vsize=2060404 CPUtime=0.71 cores=0-31
/proc/14976/task/14988/stat : 14988 (claspmt) S 14974 14976 14950 0 -1 4202560 8269 0 0 0 12 59 0 0 18 0 32 0 9589303 2109853696 199943 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604498607750624 0 0 -1 19 0 0 0
[pid=14976/tid=14989] ppid=14974 vsize=2060404 CPUtime=0.7 cores=0-31
/proc/14976/task/14989/stat : 14989 (claspmt) S 14974 14976 14950 0 -1 4202560 5958 0 0 0 5 65 0 0 18 0 32 0 9589303 2109853696 199943 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604498327027168 0 0 -1 29 0 0 0
[pid=14976/tid=14990] ppid=14974 vsize=2060404 CPUtime=9.04 cores=0-31
/proc/14976/task/14990/stat : 14990 (claspmt) R 14974 14976 14950 0 -1 4202560 7048 0 0 0 841 63 0 0 25 0 32 0 9589303 2109853696 199943 270582939648 4194304 4964800 140735844669600 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=14976/tid=14991] ppid=14974 vsize=2060404 CPUtime=0.74 cores=0-31
/proc/14976/task/14991/stat : 14991 (claspmt) S 14974 14976 14950 0 -1 4202560 8232 0 0 0 8 66 0 0 18 0 32 0 9589303 2109853696 199943 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604498327018976 0 0 -1 9 0 0 0
[pid=14976/tid=14992] ppid=14974 vsize=2060404 CPUtime=0.71 cores=0-31
/proc/14976/task/14992/stat : 14992 (claspmt) S 14974 14976 14950 0 -1 4202560 7630 0 0 0 16 55 0 0 18 0 32 0 9589303 2109853696 199943 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604499631111648 0 0 -1 7 0 0 0
[pid=14976/tid=14993] ppid=14974 vsize=2060404 CPUtime=0.67 cores=0-31
/proc/14976/task/14993/stat : 14993 (claspmt) S 14974 14976 14950 0 -1 4202560 6198 0 0 0 5 62 0 0 18 0 32 0 9589303 2109853696 199943 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604498607865312 0 0 -1 10 0 0 0
[pid=14976/tid=14994] ppid=14974 vsize=2060404 CPUtime=0.62 cores=0-31
/proc/14976/task/14994/stat : 14994 (claspmt) S 14974 14976 14950 0 -1 4202560 5717 0 0 0 7 55 0 0 18 0 32 0 9589303 2109853696 199943 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604558085774816 0 0 -1 11 0 0 0
[pid=14976/tid=14995] ppid=14974 vsize=2060404 CPUtime=0.76 cores=0-31
/proc/14976/task/14995/stat : 14995 (claspmt) S 14974 14976 14950 0 -1 4202560 8069 0 0 0 11 65 0 0 18 0 32 0 9589303 2109853696 199943 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604499611229664 0 0 -1 21 0 0 0
[pid=14976/tid=14996] ppid=14974 vsize=2060404 CPUtime=0.77 cores=0-31
/proc/14976/task/14996/stat : 14996 (claspmt) S 14974 14976 14950 0 -1 4202560 7898 0 0 0 9 68 0 0 18 0 32 0 9589303 2109853696 199943 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604498328419808 0 0 -1 20 0 0 0
[pid=14976/tid=14997] ppid=14974 vsize=2060404 CPUtime=0.66 cores=0-31
/proc/14976/task/14997/stat : 14997 (claspmt) S 14974 14976 14950 0 -1 4202560 6099 0 0 0 5 61 0 0 18 0 32 0 9589303 2109853696 199943 270582939648 4194304 4964800 140735844669600 18446744073709551615 258662772457 0 0 4096 18946 18446604498607775200 0 0 -1 18 0 0 0
[pid=14976/tid=14998] ppid=14974 vsize=2060404 CPUtime=9.01 cores=0-31
################
# More data... #
################
[pid=14976/tid=14983] ppid=14974 vsize=4858396 CPUtime=1860.65 cores=0-31
/proc/14976/task/14983/stat : 14983 (claspmt) R 14974 14976 14950 0 -1 4202560 17587 0 0 0 185962 103 0 0 25 0 32 0 9589303 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=14976/tid=14984] ppid=14974 vsize=4858396 CPUtime=1860.57 cores=0-31
/proc/14976/task/14984/stat : 14984 (claspmt) R 14974 14976 14950 0 -1 4202560 76342 0 0 0 185753 304 0 0 25 0 32 0 9589303 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4627263 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=14976/tid=14985] ppid=14974 vsize=4858396 CPUtime=1860.58 cores=0-31
/proc/14976/task/14985/stat : 14985 (claspmt) R 14974 14976 14950 0 -1 4202560 10008 0 0 0 185977 81 0 0 25 0 32 0 9589303 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=14976/tid=14986] ppid=14974 vsize=4858396 CPUtime=1860.35 cores=0-31
/proc/14976/task/14986/stat : 14986 (claspmt) R 14974 14976 14950 0 -1 4202560 8488 0 0 0 185958 77 0 0 25 0 32 0 9589303 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4670361 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=14976/tid=14987] ppid=14974 vsize=4858396 CPUtime=1860.56 cores=0-31
/proc/14976/task/14987/stat : 14987 (claspmt) R 14974 14976 14950 0 -1 4202560 86773 0 0 0 185757 299 0 0 25 0 32 0 9589303 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=14976/tid=14988] ppid=14974 vsize=4858396 CPUtime=1857.01 cores=0-31
/proc/14976/task/14988/stat : 14988 (claspmt) R 14974 14976 14950 0 -1 4202560 15813 0 0 0 185614 87 0 0 25 0 32 0 9589303 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=14976/tid=14989] ppid=14974 vsize=4858396 CPUtime=1860.54 cores=0-31
/proc/14976/task/14989/stat : 14989 (claspmt) R 14974 14976 14950 0 -1 4202560 31967 0 0 0 185878 176 0 0 25 0 32 0 9589303 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=14976/tid=14990] ppid=14974 vsize=4858396 CPUtime=1877.08 cores=0-31
/proc/14976/task/14990/stat : 14990 (claspmt) R 14974 14976 14950 0 -1 4202560 7068 0 0 0 187645 63 0 0 25 0 32 0 9589303 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14976/tid=14991] ppid=14974 vsize=4858396 CPUtime=1860.23 cores=0-31
/proc/14976/task/14991/stat : 14991 (claspmt) R 14974 14976 14950 0 -1 4202560 15381 0 0 0 185930 93 0 0 25 0 32 0 9589303 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=14976/tid=14992] ppid=14974 vsize=4858396 CPUtime=1860.52 cores=0-31
/proc/14976/task/14992/stat : 14992 (claspmt) R 14974 14976 14950 0 -1 4202560 65786 0 0 0 185800 252 0 0 25 0 32 0 9589303 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4669280 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=14976/tid=14993] ppid=14974 vsize=4858396 CPUtime=1860.02 cores=0-31
/proc/14976/task/14993/stat : 14993 (claspmt) R 14974 14976 14950 0 -1 4202560 9020 0 0 0 185927 75 0 0 25 0 32 0 9589303 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=14976/tid=14994] ppid=14974 vsize=4858396 CPUtime=1837.72 cores=0-31
/proc/14976/task/14994/stat : 14994 (claspmt) R 14974 14976 14950 0 -1 4202560 8291 0 0 0 183706 66 0 0 25 0 32 0 9589303 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4668805 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=14976/tid=14995] ppid=14974 vsize=4858396 CPUtime=1848.09 cores=0-31
/proc/14976/task/14995/stat : 14995 (claspmt) R 14974 14976 14950 0 -1 4202560 97690 0 0 0 184464 345 0 0 25 0 32 0 9589303 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4670670 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=14976/tid=14996] ppid=14974 vsize=4858396 CPUtime=1860.66 cores=0-31
/proc/14976/task/14996/stat : 14996 (claspmt) R 14974 14976 14950 0 -1 4202560 17204 0 0 0 185966 100 0 0 25 0 32 0 9589303 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4669532 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=14976/tid=14997] ppid=14974 vsize=4858396 CPUtime=1860.53 cores=0-31
/proc/14976/task/14997/stat : 14997 (claspmt) R 14974 14976 14950 0 -1 4202560 25330 0 0 0 185920 133 0 0 25 0 32 0 9589303 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=14976/tid=14998] ppid=14974 vsize=4858396 CPUtime=1877.14 cores=0-31
/proc/14976/task/14998/stat : 14998 (claspmt) R 14974 14976 14950 0 -1 4202560 6946 0 0 0 187648 66 0 0 25 0 32 0 9589303 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=14976/tid=14999] ppid=14974 vsize=4858396 CPUtime=1860.64 cores=0-31
/proc/14976/task/14999/stat : 14999 (claspmt) R 14974 14976 14950 0 -1 4202560 15403 0 0 0 185973 91 0 0 25 0 32 0 9589303 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=14976/tid=15000] ppid=14974 vsize=4858396 CPUtime=1860.45 cores=0-31
/proc/14976/task/15000/stat : 15000 (claspmt) R 14974 14976 14950 0 -1 4202560 65600 0 0 0 185772 273 0 0 25 0 32 0 9589304 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4669924 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=14976/tid=15001] ppid=14974 vsize=4858396 CPUtime=1860.56 cores=0-31
/proc/14976/task/15001/stat : 15001 (claspmt) R 14974 14976 14950 0 -1 4202560 9340 0 0 0 185983 73 0 0 25 0 32 0 9589304 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4669547 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=14976/tid=15002] ppid=14974 vsize=4858396 CPUtime=1860.54 cores=0-31
/proc/14976/task/15002/stat : 15002 (claspmt) R 14974 14976 14950 0 -1 4202560 9353 0 0 0 185985 69 0 0 25 0 32 0 9589304 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4627338 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=14976/tid=15003] ppid=14974 vsize=4858396 CPUtime=1860.5 cores=0-31
/proc/14976/task/15003/stat : 15003 (claspmt) R 14974 14976 14950 0 -1 4202560 97400 0 0 0 185737 313 0 0 25 0 32 0 9589304 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=14976/tid=15004] ppid=14974 vsize=4858396 CPUtime=1860.41 cores=0-31
/proc/14976/task/15004/stat : 15004 (claspmt) R 14974 14976 14950 0 -1 4202560 17804 0 0 0 185932 109 0 0 25 0 32 0 9589304 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14976/tid=15005] ppid=14974 vsize=4858396 CPUtime=1860.54 cores=0-31
/proc/14976/task/15005/stat : 15005 (claspmt) R 14974 14976 14950 0 -1 4202560 34265 0 0 0 185894 160 0 0 25 0 32 0 9589304 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4653186 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=14976/tid=15006] ppid=14974 vsize=4858396 CPUtime=1877.03 cores=0-31
/proc/14976/task/15006/stat : 15006 (claspmt) R 14974 14976 14950 0 -1 4202560 7330 0 0 0 187641 62 0 0 25 0 32 0 9589304 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=14976/tid=15007] ppid=14974 vsize=4858396 CPUtime=1860.63 cores=0-31
/proc/14976/task/15007/stat : 15007 (claspmt) R 14974 14976 14950 0 -1 4202560 15634 0 0 0 185976 87 0 0 25 0 32 0 9589304 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=14976/tid=15008] ppid=14974 vsize=4858396 CPUtime=1860.58 cores=0-31
/proc/14976/task/15008/stat : 15008 (claspmt) R 14974 14976 14950 0 -1 4202560 100590 0 0 0 185685 373 0 0 25 0 32 0 9589304 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 59552
Current children cumulated vsize (KiB) 4858396
[startup+1887.9 s]
/proc/loadavg: 32.26 32.22 31.26 33/445 15061
/proc/meminfo: memFree=259369600/264257624 swapFree=67111528/67111528
[pid=14976] ppid=14974 vsize=4858396 CPUtime=59756.6 cores=0-31
/proc/14976/stat : 14976 (claspmt) R 14974 14976 14950 0 -1 4202496 1059505 0 0 0 5970982 4675 0 0 25 0 32 0 9589021 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4669350 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/14976/statm: 1214599 997652 463 189 0 1208948 0
[pid=14976/tid=14978] ppid=14974 vsize=4858396 CPUtime=1854.61 cores=0-31
/proc/14976/task/14978/stat : 14978 (claspmt) R 14974 14976 14950 0 -1 4202560 8496 0 0 0 185392 69 0 0 25 0 32 0 9589303 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4669413 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=14976/tid=14979] ppid=14974 vsize=4858396 CPUtime=1866.99 cores=0-31
/proc/14976/task/14979/stat : 14979 (claspmt) R 14974 14976 14950 0 -1 4202560 87696 0 0 0 186394 305 0 0 25 0 32 0 9589303 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4313804 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=14976/tid=14980] ppid=14974 vsize=4858396 CPUtime=1865.91 cores=0-31
/proc/14976/task/14980/stat : 14980 (claspmt) R 14974 14976 14950 0 -1 4202560 16246 0 0 0 186490 101 0 0 25 0 32 0 9589303 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=14976/tid=14981] ppid=14974 vsize=4858396 CPUtime=1867 cores=0-31
/proc/14976/task/14981/stat : 14981 (claspmt) R 14974 14976 14950 0 -1 4202560 24527 0 0 0 186553 147 0 0 25 0 32 0 9589303 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14976/tid=14982] ppid=14974 vsize=4858396 CPUtime=1883.29 cores=0-31
/proc/14976/task/14982/stat : 14982 (claspmt) R 14974 14976 14950 0 -1 4202560 7465 0 0 0 188261 68 0 0 25 0 32 0 9589303 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4399292 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=14976/tid=14983] ppid=14974 vsize=4858396 CPUtime=1867.05 cores=0-31
/proc/14976/task/14983/stat : 14983 (claspmt) R 14974 14976 14950 0 -1 4202560 17587 0 0 0 186602 103 0 0 25 0 32 0 9589303 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=14976/tid=14984] ppid=14974 vsize=4858396 CPUtime=1866.97 cores=0-31
/proc/14976/task/14984/stat : 14984 (claspmt) R 14974 14976 14950 0 -1 4202560 76342 0 0 0 186393 304 0 0 25 0 32 0 9589303 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=14976/tid=14985] ppid=14974 vsize=4858396 CPUtime=1866.97 cores=0-31
/proc/14976/task/14985/stat : 14985 (claspmt) R 14974 14976 14950 0 -1 4202560 10008 0 0 0 186616 81 0 0 25 0 32 0 9589303 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=14976/tid=14986] ppid=14974 vsize=4858396 CPUtime=1866.75 cores=0-31
/proc/14976/task/14986/stat : 14986 (claspmt) R 14974 14976 14950 0 -1 4202560 8488 0 0 0 186598 77 0 0 25 0 32 0 9589303 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=14976/tid=14987] ppid=14974 vsize=4858396 CPUtime=1866.96 cores=0-31
/proc/14976/task/14987/stat : 14987 (claspmt) R 14974 14976 14950 0 -1 4202560 86773 0 0 0 186397 299 0 0 25 0 32 0 9589303 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=14976/tid=14988] ppid=14974 vsize=4858396 CPUtime=1863.41 cores=0-31
/proc/14976/task/14988/stat : 14988 (claspmt) R 14974 14976 14950 0 -1 4202560 15813 0 0 0 186254 87 0 0 25 0 32 0 9589303 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4670194 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=14976/tid=14989] ppid=14974 vsize=4858396 CPUtime=1866.94 cores=0-31
/proc/14976/task/14989/stat : 14989 (claspmt) R 14974 14976 14950 0 -1 4202560 31967 0 0 0 186518 176 0 0 25 0 32 0 9589303 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=14976/tid=14990] ppid=14974 vsize=4858396 CPUtime=1883.48 cores=0-31
/proc/14976/task/14990/stat : 14990 (claspmt) R 14974 14976 14950 0 -1 4202560 7068 0 0 0 188285 63 0 0 25 0 32 0 9589303 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4668721 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14976/tid=14991] ppid=14974 vsize=4858396 CPUtime=1866.63 cores=0-31
/proc/14976/task/14991/stat : 14991 (claspmt) R 14974 14976 14950 0 -1 4202560 15381 0 0 0 186570 93 0 0 25 0 32 0 9589303 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=14976/tid=14992] ppid=14974 vsize=4858396 CPUtime=1866.92 cores=0-31
/proc/14976/task/14992/stat : 14992 (claspmt) R 14974 14976 14950 0 -1 4202560 65786 0 0 0 186440 252 0 0 25 0 32 0 9589303 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=14976/tid=14993] ppid=14974 vsize=4858396 CPUtime=1866.42 cores=0-31
/proc/14976/task/14993/stat : 14993 (claspmt) R 14974 14976 14950 0 -1 4202560 9020 0 0 0 186567 75 0 0 25 0 32 0 9589303 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=14976/tid=14994] ppid=14974 vsize=4858396 CPUtime=1844.12 cores=0-31
/proc/14976/task/14994/stat : 14994 (claspmt) R 14974 14976 14950 0 -1 4202560 8291 0 0 0 184346 66 0 0 25 0 32 0 9589303 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=14976/tid=14995] ppid=14974 vsize=4858396 CPUtime=1854.3 cores=0-31
/proc/14976/task/14995/stat : 14995 (claspmt) R 14974 14976 14950 0 -1 4202560 97690 0 0 0 185085 345 0 0 25 0 32 0 9589303 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=14976/tid=14996] ppid=14974 vsize=4858396 CPUtime=1867.06 cores=0-31
/proc/14976/task/14996/stat : 14996 (claspmt) R 14974 14976 14950 0 -1 4202560 17204 0 0 0 186606 100 0 0 25 0 32 0 9589303 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4668721 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=14976/tid=14997] ppid=14974 vsize=4858396 CPUtime=1866.93 cores=0-31
/proc/14976/task/14997/stat : 14997 (claspmt) R 14974 14976 14950 0 -1 4202560 25330 0 0 0 186560 133 0 0 25 0 32 0 9589303 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=14976/tid=14998] ppid=14974 vsize=4858396 CPUtime=1883.54 cores=0-31
/proc/14976/task/14998/stat : 14998 (claspmt) R 14974 14976 14950 0 -1 4202560 6946 0 0 0 188288 66 0 0 25 0 32 0 9589303 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4668614 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=14976/tid=14999] ppid=14974 vsize=4858396 CPUtime=1867.04 cores=0-31
/proc/14976/task/14999/stat : 14999 (claspmt) R 14974 14976 14950 0 -1 4202560 15403 0 0 0 186613 91 0 0 25 0 32 0 9589303 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=14976/tid=15000] ppid=14974 vsize=4858396 CPUtime=1866.85 cores=0-31
/proc/14976/task/15000/stat : 15000 (claspmt) R 14974 14976 14950 0 -1 4202560 65600 0 0 0 186412 273 0 0 25 0 32 0 9589304 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=14976/tid=15001] ppid=14974 vsize=4858396 CPUtime=1866.96 cores=0-31
/proc/14976/task/15001/stat : 15001 (claspmt) R 14974 14976 14950 0 -1 4202560 9340 0 0 0 186623 73 0 0 25 0 32 0 9589304 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=14976/tid=15002] ppid=14974 vsize=4858396 CPUtime=1866.94 cores=0-31
/proc/14976/task/15002/stat : 15002 (claspmt) R 14974 14976 14950 0 -1 4202560 9353 0 0 0 186625 69 0 0 25 0 32 0 9589304 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=14976/tid=15003] ppid=14974 vsize=4858396 CPUtime=1866.9 cores=0-31
/proc/14976/task/15003/stat : 15003 (claspmt) R 14974 14976 14950 0 -1 4202560 97400 0 0 0 186377 313 0 0 25 0 32 0 9589304 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4669476 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=14976/tid=15004] ppid=14974 vsize=4858396 CPUtime=1866.81 cores=0-31
/proc/14976/task/15004/stat : 15004 (claspmt) R 14974 14976 14950 0 -1 4202560 17804 0 0 0 186572 109 0 0 25 0 32 0 9589304 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4653351 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14976/tid=15005] ppid=14974 vsize=4858396 CPUtime=1866.94 cores=0-31
/proc/14976/task/15005/stat : 15005 (claspmt) R 14974 14976 14950 0 -1 4202560 34265 0 0 0 186534 160 0 0 25 0 32 0 9589304 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=14976/tid=15006] ppid=14974 vsize=4858396 CPUtime=1883.43 cores=0-31
/proc/14976/task/15006/stat : 15006 (claspmt) R 14974 14976 14950 0 -1 4202560 7330 0 0 0 188281 62 0 0 25 0 32 0 9589304 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4668851 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=14976/tid=15007] ppid=14974 vsize=4858396 CPUtime=1867.03 cores=0-31
/proc/14976/task/15007/stat : 15007 (claspmt) R 14974 14976 14950 0 -1 4202560 15634 0 0 0 186616 87 0 0 25 0 32 0 9589304 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=14976/tid=15008] ppid=14974 vsize=4858396 CPUtime=1866.98 cores=0-31
/proc/14976/task/15008/stat : 15008 (claspmt) R 14974 14976 14950 0 -1 4202560 100590 0 0 0 186325 373 0 0 25 0 32 0 9589304 4974997504 997652 270582939648 4194304 4964800 140735844669600 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 59756.6
Current children cumulated vsize (KiB) 4858396
[startup+1891.1 s]
/proc/loadavg: 32.24 32.21 31.26 2/414 15061
/proc/meminfo: memFree=259369476/264257624 swapFree=67111528/67111528
[pid=14976] ppid=14974 vsize=4768196 CPUtime=59810.1 cores=0-31
/proc/14976/stat : 14976 (claspmt) R 14974 14976 14950 0 -1 4202496 1059516 0 0 0 5976317 4695 0 0 17 0 1 0 9589021 4882632704 997543 270582939648 4194304 4964800 140735844669600 18446744073709551615 4454134 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14976/statm: 1192049 997543 474 189 0 1186398 0
Current children cumulated CPU time (s) 59810.1
Current children cumulated vsize (KiB) 4768196
[startup+1894.3 s]
/proc/loadavg: 29.74 31.69 31.10 2/414 15061
/proc/meminfo: memFree=259603968/264257624 swapFree=67111528/67111528
[pid=14976] ppid=14974 vsize=4545728 CPUtime=59813.3 cores=0-31
/proc/14976/stat : 14976 (claspmt) R 14974 14976 14950 0 -1 4202496 1059516 0 0 0 5976634 4698 0 0 23 0 1 0 9589021 4654825472 934942 270582939648 4194304 4964800 140735844669600 18446744073709551615 258650999159 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14976/statm: 1136432 934638 474 189 0 1130781 0
Current children cumulated CPU time (s) 59813.3
Current children cumulated vsize (KiB) 4545728
[startup+1895.1 s]
/proc/loadavg: 29.74 31.69 31.10 2/414 15061
/proc/meminfo: memFree=259603968/264257624 swapFree=67111528/67111528
[pid=14976] ppid=14974 vsize=4405056 CPUtime=59814.1 cores=0-31
/proc/14976/stat : 14976 (claspmt) R 14974 14976 14950 0 -1 4202496 1059516 0 0 0 5976713 4698 0 0 25 0 1 0 9589021 4510777344 910285 270582939648 4194304 4964800 140735844669600 18446744073709551615 258650612750 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14976/statm: 1101264 910285 474 189 0 1095613 0
Current children cumulated CPU time (s) 59814.1
Current children cumulated vsize (KiB) 4405056
[startup+1895.5 s]
/proc/loadavg: 29.74 31.69 31.10 2/414 15061
/proc/meminfo: memFree=259724852/264257624 swapFree=67111528/67111528
[pid=14976] ppid=14974 vsize=4320736 CPUtime=59814.5 cores=0-31
/proc/14976/stat : 14976 (claspmt) R 14974 14976 14950 0 -1 4202496 1059516 0 0 0 5976752 4699 0 0 25 0 1 0 9589021 4424433664 867777 270582939648 4194304 4964800 140735844669600 18446744073709551615 258650612305 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14976/statm: 1080184 867777 474 189 0 1074533 0
Current children cumulated CPU time (s) 59814.5
Current children cumulated vsize (KiB) 4320736
[startup+1895.7 s]
/proc/loadavg: 29.74 31.69 31.10 2/414 15061
/proc/meminfo: memFree=259724852/264257624 swapFree=67111528/67111528
[pid=14976] ppid=14974 vsize=0 CPUtime=59814.7 cores=0-31
/proc/14976/stat : 14976 (claspmt) R 14974 14976 14950 0 -1 4202500 1059517 0 0 0 5976756 4716 0 0 25 0 1 0 9589021 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/14976/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 59814.7
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 1895.74
CPU time (s): 59814.8
CPU user time (s): 59767.6
CPU system time (s): 47.1938
CPU usage (%): 3155.23
Max. virtual memory (cumulated for all children) (KiB): 4858396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 59767.6
system time used= 47.1938
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1059517
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= 187244
involuntary context switches= 144539
runsolver used 11.0293 second user time and 42.5125 second system time
The end
Begin job on node200 at 2011-06-07 12:20:21
IDJOB=3472306
IDBENCH=70808
IDSOLVER=1961
FILE ID=node200/3472306-1307442020
RUNJOBID= node200-1307442020-14964
PBS_JOBID= 13509185
Free space on /tmp= 61732 MiB
SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxor/maxor128.cnf
COMMAND LINE= HOME/claspmt -tNBCORE -p HOME/sat11-port.txt --distribute=all,2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3472306-1307442020/watcher-3472306-1307442020 -o /tmp/evaluation-result-3472306-1307442020/solver-3472306-1307442020 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472306-1307442020.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 256000 MiB
NBCORE= 32
MD5SUM BENCH= e050fe11c7c50ba82ac7126f49db3c10
RANDOM SEED=2124888396
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.045
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.045
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.02
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.045
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.045
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.045
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.09
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.045
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.06
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.045
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.07
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.045
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.06
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.045
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 : 3989.99
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.045
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 8
apicid : 36
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
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.045
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.06
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.045
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.04
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.045
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.03
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.045
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 3
cpu cores : 8
apicid : 102
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 16
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
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.05
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.045
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.045
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.08
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.045
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.97
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.045
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.04
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.045
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.10
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.045
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.10
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.045
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.04
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.045
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.04
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.045
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 10
cpu cores : 8
apicid : 52
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 26
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
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.045
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.08
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.045
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.04
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.045
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.045
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.18
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.045
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: 263350308 kB
Buffers: 122012 kB
Cached: 513100 kB
SwapCached: 0 kB
Active: 179964 kB
Inactive: 518420 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263350308 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 11676 kB
Writeback: 0 kB
AnonPages: 63344 kB
Mapped: 14476 kB
Slab: 125624 kB
PageTables: 4440 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 165736 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= 61732 MiB
End job on node200 at 2011-06-07 12:51:57