0.00/0.00 c clasp version 2.0.0-RC2
0.00/0.00 c Reading from ...508598/instance-3472355-1307508598.cnf
3.19/3.21 c Solving...
85900.62/2715.95 s UNSATISFIABLE
85900.62/2715.95
85900.62/2715.95 c Models : 0
85900.62/2715.95 c Time : 2713.517s (Solving: 2710.31s 1st Model: 0.00s Unsat: 2710.31s)
85900.62/2715.95 c CPU Time : 85898.210s
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-3472355-1307508598/watcher-3472355-1307508598 -o /tmp/evaluation-result-3472355-1307508598/solver-3472355-1307508598 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472355-1307508598.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: 11.02 8.77 6.01 1/413 20731
/proc/meminfo: memFree=263008396/264257624 swapFree=67111528/67111528
[pid=20731] ppid=20729 vsize=59228 CPUtime=0.02 cores=0-31
/proc/20731/stat : 20731 (claspmt) R 20729 20731 20117 0 -1 4202496 4564 0 0 0 2 0 0 0 21 0 1 0 16246866 60649472 4494 270582939648 4194304 4964800 140734491242784 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/20731/statm: 14807 4502 373 189 0 9681 0
[startup+0.12955 s]
/proc/loadavg: 11.02 8.77 6.01 1/413 20731
/proc/meminfo: memFree=263008396/264257624 swapFree=67111528/67111528
[pid=20731] ppid=20729 vsize=85568 CPUtime=0.12 cores=0-31
/proc/20731/stat : 20731 (claspmt) R 20729 20731 20117 0 -1 4202496 19147 0 0 0 9 3 0 0 21 0 1 0 16246866 87621632 16244 270582939648 4194304 4964800 140734491242784 18446744073709551615 258650955760 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/20731/statm: 21392 16247 386 189 0 16266 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 85568
[startup+0.200547 s]
/proc/loadavg: 11.02 8.77 6.01 1/413 20731
/proc/meminfo: memFree=263008396/264257624 swapFree=67111528/67111528
[pid=20731] ppid=20729 vsize=94836 CPUtime=0.18 cores=0-31
/proc/20731/stat : 20731 (claspmt) R 20729 20731 20117 0 -1 4202496 22186 0 0 0 15 3 0 0 21 0 1 0 16246866 97112064 18606 270582939648 4194304 4964800 140734491242784 18446744073709551615 4599599 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/20731/statm: 23709 18608 386 189 0 18583 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 94836
[startup+0.300555 s]
/proc/loadavg: 11.02 8.77 6.01 1/413 20731
/proc/meminfo: memFree=263008396/264257624 swapFree=67111528/67111528
[pid=20731] ppid=20729 vsize=108040 CPUtime=0.29 cores=0-31
/proc/20731/stat : 20731 (claspmt) R 20729 20731 20117 0 -1 4202496 26719 0 0 0 25 4 0 0 22 0 1 0 16246866 110632960 21619 270582939648 4194304 4964800 140734491242784 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/20731/statm: 27010 21621 386 189 0 21884 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 108040
[startup+0.700584 s]
/proc/loadavg: 11.02 8.77 6.01 1/413 20731
/proc/meminfo: memFree=263008396/264257624 swapFree=67111528/67111528
[pid=20731] ppid=20729 vsize=162928 CPUtime=0.69 cores=0-31
/proc/20731/stat : 20731 (claspmt) R 20729 20731 20117 0 -1 4202496 44922 0 0 0 60 9 0 0 23 0 1 0 16246866 166838272 35431 270582939648 4194304 4964800 140734491242784 18446744073709551615 4617330 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/20731/statm: 40732 35431 397 189 0 35606 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 162928
[startup+1.5006 s]
/proc/loadavg: 11.02 8.77 6.01 2/414 20732
/proc/meminfo: memFree=262851884/264257624 swapFree=67111528/67111528
[pid=20731] ppid=20729 vsize=188848 CPUtime=1.49 cores=0-31
/proc/20731/stat : 20731 (claspmt) R 20729 20731 20117 0 -1 4202496 51410 0 0 0 138 11 0 0 25 0 1 0 16246866 193380352 41919 270582939648 4194304 4964800 140734491242784 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/20731/statm: 47212 41919 401 189 0 42086 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 188848
[startup+3.10066 s]
/proc/loadavg: 10.22 8.65 5.98 2/414 20732
/proc/meminfo: memFree=262826492/264257624 swapFree=67111528/67111528
[pid=20731] ppid=20729 vsize=213904 CPUtime=3.08 cores=0-31
/proc/20731/stat : 20731 (claspmt) R 20729 20731 20117 0 -1 4202496 57514 0 0 0 297 11 0 0 25 0 1 0 16246866 219037696 48023 270582939648 4194304 4964800 140734491242784 18446744073709551615 4678987 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/20731/statm: 53476 48023 403 189 0 48350 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 213904
[startup+6.30263 s]
/proc/loadavg: 10.22 8.65 5.98 5/445 20763
/proc/meminfo: memFree=261890712/264257624 swapFree=67111528/67111528
[pid=20731] ppid=20729 vsize=2878492 CPUtime=37.14 cores=0-31
/proc/20731/stat : 20731 (claspmt) S 20729 20731 20117 0 -1 4202496 424523 0 0 0 665 3049 0 0 18 0 32 0 16246866 2947575808 336929 270582939648 4194304 4964800 140734491242784 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 20 0 0 0
/proc/20731/statm: 719623 336929 433 189 0 713972 0
[pid=20731/tid=20733] ppid=20729 vsize=2878492 CPUtime=1.12 cores=0-31
/proc/20731/task/20733/stat : 20733 (claspmt) D 20729 20731 20117 0 -1 4202560 9970 0 0 0 8 104 0 0 17 0 32 0 16247188 2947575808 336929 270582939648 4194304 4964800 140734491242784 18446744073709551615 258650653381 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=20731/tid=20734] ppid=20729 vsize=2878492 CPUtime=1.11 cores=0-31
/proc/20731/task/20734/stat : 20734 (claspmt) D 20729 20731 20117 0 -1 4202560 10516 0 0 0 9 102 0 0 18 0 32 0 16247188 2947575808 336929 270582939648 4194304 4964800 140734491242784 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=20731/tid=20735] ppid=20729 vsize=2878492 CPUtime=1.02 cores=0-31
/proc/20731/task/20735/stat : 20735 (claspmt) D 20729 20731 20117 0 -1 4202560 9647 0 0 0 6 96 0 0 17 0 32 0 16247188 2947575808 336929 270582939648 4194304 4964800 140734491242784 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=20731/tid=20736] ppid=20729 vsize=2878492 CPUtime=1.1 cores=0-31
/proc/20731/task/20736/stat : 20736 (claspmt) D 20729 20731 20117 0 -1 4202560 11508 0 0 0 10 100 0 0 18 0 32 0 16247188 2947575808 336929 270582939648 4194304 4964800 140734491242784 18446744073709551615 4697753 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=20731/tid=20737] ppid=20729 vsize=2878492 CPUtime=1.08 cores=0-31
/proc/20731/task/20737/stat : 20737 (claspmt) D 20729 20731 20117 0 -1 4202560 12188 0 0 0 12 96 0 0 17 0 32 0 16247189 2947575808 336929 270582939648 4194304 4964800 140734491242784 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=20731/tid=20738] ppid=20729 vsize=2878492 CPUtime=1.07 cores=0-31
/proc/20731/task/20738/stat : 20738 (claspmt) D 20729 20731 20117 0 -1 4202560 12616 0 0 0 10 97 0 0 17 0 32 0 16247189 2947575808 336929 270582939648 4194304 4964800 140734491242784 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=20731/tid=20739] ppid=20729 vsize=2878492 CPUtime=1.08 cores=0-31
/proc/20731/task/20739/stat : 20739 (claspmt) D 20729 20731 20117 0 -1 4202560 9971 0 0 0 6 102 0 0 17 0 32 0 16247189 2947575808 336929 270582939648 4194304 4964800 140734491242784 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=20731/tid=20740] ppid=20729 vsize=2878492 CPUtime=1.09 cores=0-31
/proc/20731/task/20740/stat : 20740 (claspmt) D 20729 20731 20117 0 -1 4202560 11498 0 0 0 11 98 0 0 17 0 32 0 16247189 2947575808 336929 270582939648 4194304 4964800 140734491242784 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=20731/tid=20741] ppid=20729 vsize=2878492 CPUtime=1.08 cores=0-31
/proc/20731/task/20741/stat : 20741 (claspmt) S 20729 20731 20117 0 -1 4202560 12131 0 0 0 13 95 0 0 17 0 32 0 16247189 2947575808 336929 270582939648 4194304 4964800 140734491242784 18446744073709551615 258662772457 0 0 4096 18946 18446604506113433056 0 0 -1 25 0 0 0
[pid=20731/tid=20742] ppid=20729 vsize=2878492 CPUtime=1.11 cores=0-31
/proc/20731/task/20742/stat : 20742 (claspmt) D 20729 20731 20117 0 -1 4202560 11523 0 0 0 10 101 0 0 18 0 32 0 16247189 2947575808 336929 270582939648 4194304 4964800 140734491242784 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=20731/tid=20743] ppid=20729 vsize=2878492 CPUtime=1.09 cores=0-31
/proc/20731/task/20743/stat : 20743 (claspmt) D 20729 20731 20117 0 -1 4202560 11485 0 0 0 8 101 0 0 17 0 32 0 16247189 2947575808 336929 270582939648 4194304 4964800 140734491242784 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=20731/tid=20744] ppid=20729 vsize=2878492 CPUtime=1.08 cores=0-31
/proc/20731/task/20744/stat : 20744 (claspmt) R 20729 20731 20117 0 -1 4202560 12053 0 0 0 12 96 0 0 17 0 32 0 16247189 2947575808 336929 270582939648 4194304 4964800 140734491242784 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=20731/tid=20745] ppid=20729 vsize=2878492 CPUtime=1.08 cores=0-31
/proc/20731/task/20745/stat : 20745 (claspmt) D 20729 20731 20117 0 -1 4202560 12273 0 0 0 12 96 0 0 17 0 32 0 16247189 2947575808 336929 270582939648 4194304 4964800 140734491242784 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=20731/tid=20746] ppid=20729 vsize=2878492 CPUtime=0.99 cores=0-31
/proc/20731/task/20746/stat : 20746 (claspmt) D 20729 20731 20117 0 -1 4202560 13821 0 0 0 11 88 0 0 17 0 32 0 16247189 2947575808 336929 270582939648 4194304 4964800 140734491242784 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=20731/tid=20747] ppid=20729 vsize=2878492 CPUtime=1.09 cores=0-31
/proc/20731/task/20747/stat : 20747 (claspmt) D 20729 20731 20117 0 -1 4202560 13191 0 0 0 9 100 0 0 17 0 32 0 16247189 2947575808 336929 270582939648 4194304 4964800 140734491242784 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=20731/tid=20748] ppid=20729 vsize=2878492 CPUtime=1.08 cores=0-31
/proc/20731/task/20748/stat : 20748 (claspmt) D 20729 20731 20117 0 -1 4202560 12007 0 0 0 11 97 0 0 17 0 32 0 16247189 2947575808 336929 270582939648 4194304 4964800 140734491242784 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=20731/tid=20749] ppid=20729 vsize=2878492 CPUtime=1.07 cores=0-31
/proc/20731/task/20749/stat : 20749 (claspmt) D 20729 20731 20117 0 -1 4202560 12226 0 0 0 10 97 0 0 17 0 32 0 16247189 2947575808 336929 270582939648 4194304 4964800 140734491242784 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=20731/tid=20750] ppid=20729 vsize=2878492 CPUtime=1.11 cores=0-31
/proc/20731/task/20750/stat : 20750 (claspmt) D 20729 20731 20117 0 -1 4202560 11801 0 0 0 11 100 0 0 18 0 32 0 16247189 2947575808 336929 270582939648 4194304 4964800 140734491242784 18446744073709551615 258650653289 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=20731/tid=20751] ppid=20729 vsize=2878492 CPUtime=1.11 cores=0-31
/proc/20731/task/20751/stat : 20751 (claspmt) D 20729 20731 20117 0 -1 4202560 11846 0 0 0 10 101 0 0 17 0 32 0 16247189 2947575808 336929 270582939648 4194304 4964800 140734491242784 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=20731/tid=20752] ppid=20729 vsize=2878492 CPUtime=1.09 cores=0-31
/proc/20731/task/20752/stat : 20752 (claspmt) D 20729 20731 20117 0 -1 4202560 12278 0 0 0 10 99 0 0 17 0 32 0 16247189 2947575808 336929 270582939648 4194304 4964800 140734491242784 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=20731/tid=20753] ppid=20729 vsize=2878492 CPUtime=1.13 cores=0-31
/proc/20731/task/20753/stat : 20753 (claspmt) D 20729 20731 20117 0 -1 4202560 12193 0 0 0 13 100 0 0 17 0 32 0 16247189 2947575808 336929 270582939648 4194304 4964800 140734491242784 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=20731/tid=20754] ppid=20729 vsize=2878492 CPUtime=1.07 cores=0-31
/proc/20731/task/20754/stat : 20754 (claspmt) D 20729 20731 20117 0 -1 4202560 12408 0 0 0 9 98 0 0 17 0 32 0 16247189 2947575808 336929 270582939648 4194304 4964800 140734491242784 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=20731/tid=20755] ppid=20729 vsize=2878492 CPUtime=1.1 cores=0-31
/proc/20731/task/20755/stat : 20755 (claspmt) D 20729 20731 20117 0 -1 4202560 12112 0 0 0 10 100 0 0 18 0 32 0 16247189 2947575808 336929 270582939648 4194304 4964800 140734491242784 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=20731/tid=20756] ppid=20729 vsize=2878492 CPUtime=1.12 cores=0-31
/proc/20731/task/20756/stat : 20756 (claspmt) D 20729 20731 20117 0 -1 4202560 12300 0 0 0 15 97 0 0 17 0 32 0 16247189 2947575808 336929 270582939648 4194304 4964800 140734491242784 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=20731/tid=20757] ppid=20729 vsize=2878492 CPUtime=1.09 cores=0-31
/proc/20731/task/20757/stat : 20757 (claspmt) D 20729 20731 20117 0 -1 4202560 9657 0 0 0 9 100 0 0 18 0 32 0 16247189 2947575808 336929 270582939648 4194304 4964800 140734491242784 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=20731/tid=20758] ppid=20729 vsize=2878492 CPUtime=1.08 cores=0-31
/proc/20731/task/20758/stat : 20758 (claspmt) D 20729 20731 20117 0 -1 4202560 12495 0 0 0 11 97 0 0 17 0 32 0 16247189 2947575808 336929 270582939648 4194304 4964800 140734491242784 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=20731/tid=20759] ppid=20729 vsize=2878492 CPUtime=1.06 cores=0-31
/proc/20731/task/20759/stat : 20759 (claspmt) D 20729 20731 20117 0 -1 4202560 11645 0 0 0 9 97 0 0 18 0 32 0 16247189 2947575808 336929 270582939648 4194304 4964800 140734491242784 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=20731/tid=20760] ppid=20729 vsize=2878492 CPUtime=1.08 cores=0-31
/proc/20731/task/20760/stat : 20760 (claspmt) D 20729 20731 20117 0 -1 4202560 11460 0 0 0 13 95 0 0 18 0 32 0 16247189 2947575808 336929 270582939648 4194304 4964800 140734491242784 18446744073709551615 258650653280 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=20731/tid=20761] ppid=20729 vsize=2878492 CPUtime=1.06 cores=0-31
/proc/20731/task/20761/stat : 20761 (claspmt) D 20729 20731 20117 0 -1 4202560 11867 0 0 0 11 95 0 0 17 0 32 0 16247189 2947575808 336929 270582939648 4194304 4964800 140734491242784 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=20731/tid=20762] ppid=20729 vsize=2878492 CPUtime=1.11 cores=0-31
/proc/20731/task/20762/stat : 20762 (claspmt) S 20729 20731 20117 0 -1 4202560 14269 0 0 0 34 77 0 0 18 0 32 0 16247190 2947575808 336930 270582939648 4194304 4964800 140734491242784 18446744073709551615 258662772457 0 0 4096 18946 18446604562974318048 0 0 -1 13 0 0 0
[pid=20731/tid=20763] ppid=20729 vsize=2878492 CPUtime=1.08 cores=0-31
/proc/20731/task/20763/stat : 20763 (claspmt) D 20729 20731 20117 0 -1 4202560 11891 0 0 0 9 99 0 0 18 0 32 0 16247190 2947575808 336931 270582939648 4194304 4964800 140734491242784 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 37.14
Current children cumulated vsize (KiB) 2878492
[startup+12.702 s]
/proc/loadavg: 10.51 8.77 6.05 5/445 20763
/proc/meminfo: memFree=261354544/264257624 swapFree=67111528/67111528
[pid=20731] ppid=20729 vsize=2884848 CPUtime=64.58 cores=0-31
/proc/20731/stat : 20731 (claspmt) S 20729 20731 20117 0 -1 4202496 502320 0 0 0 3209 3249 0 0 18 0 32 0 16246866 2954084352 413905 270582939648 4194304 4964800 140734491242784 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 20 0 0 0
/proc/20731/statm: 721212 413905 440 189 0 715561 0
[pid=20731/tid=20733] ppid=20729 vsize=2884848 CPUtime=1.28 cores=0-31
/proc/20731/task/20733/stat : 20733 (claspmt) S 20729 20731 20117 0 -1 4202560 12759 0 0 0 15 113 0 0 18 0 32 0 16247188 2954084352 413905 270582939648 4194304 4964800 140734491242784 18446744073709551615 258662772457 0 0 4096 18946 18446604505649642976 0 0 -1 17 0 0 0
[pid=20731/tid=20734] ppid=20729 vsize=2884848 CPUtime=1.35 cores=0-31
/proc/20731/task/20734/stat : 20734 (claspmt) S 20729 20731 20117 0 -1 4202560 15077 0 0 0 23 112 0 0 18 0 32 0 16247188 2954084352 413905 270582939648 4194304 4964800 140734491242784 18446744073709551615 258662772457 0 0 4096 18946 18446604502102056416 0 0 -1 9 0 0 0
[pid=20731/tid=20735] ppid=20729 vsize=2884848 CPUtime=1.29 cores=0-31
/proc/20731/task/20735/stat : 20735 (claspmt) S 20729 20731 20117 0 -1 4202560 14802 0 0 0 22 107 0 0 17 0 32 0 16247188 2954084352 413905 270582939648 4194304 4964800 140734491242784 18446744073709551615 258662772457 0 0 4096 18946 18446604499265969632 0 0 -1 27 0 0 0
[pid=20731/tid=20736] ppid=20729 vsize=2884848 CPUtime=1.17 cores=0-31
/proc/20731/task/20736/stat : 20736 (claspmt) S 20729 20731 20117 0 -1 4202560 13245 0 0 0 12 105 0 0 18 0 32 0 16247188 2954084352 413905 270582939648 4194304 4964800 140734491242784 18446744073709551615 258662772457 0 0 4096 18946 18446604504315559392 0 0 -1 28 0 0 0
[pid=20731/tid=20737] ppid=20729 vsize=2884848 CPUtime=6.94 cores=0-31
/proc/20731/task/20737/stat : 20737 (claspmt) R 20729 20731 20117 0 -1 4202560 14293 0 0 0 592 102 0 0 25 0 32 0 16247189 2954084352 413905 270582939648 4194304 4964800 140734491242784 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=20731/tid=20738] ppid=20729 vsize=2884848 CPUtime=1.26 cores=0-31
/proc/20731/task/20738/stat : 20738 (claspmt) S 20729 20731 20117 0 -1 4202560 16466 0 0 0 22 104 0 0 18 0 32 0 16247189 2954084352 413905 270582939648 4194304 4964800 140734491242784 18446744073709551615 258662772457 0 0 4096 18946 18446604506042146272 0 0 -1 7 0 0 0
[pid=20731/tid=20739] ppid=20729 vsize=2884848 CPUtime=1.41 cores=0-31
/proc/20731/task/20739/stat : 20739 (claspmt) S 20729 20731 20117 0 -1 4202560 14127 0 0 0 27 114 0 0 18 0 32 0 16247189 2954084352 413905 270582939648 4194304 4964800 140734491242784 18446744073709551615 258662772457 0 0 4096 18946 18446604505676963296 0 0 -1 0 0 0 0
[pid=20731/tid=20740] ppid=20729 vsize=2884848 CPUtime=1.16 cores=0-31
/proc/20731/task/20740/stat : 20740 (claspmt) S 20729 20731 20117 0 -1 4202560 13089 0 0 0 14 102 0 0 17 0 32 0 16247189 2954084352 413905 270582939648 4194304 4964800 140734491242784 18446744073709551615 258662772457 0 0 4096 18946 18446604502102064608 0 0 -1 5 0 0 0
[pid=20731/tid=20741] ppid=20729 vsize=2884848 CPUtime=1.08 cores=0-31
/proc/20731/task/20741/stat : 20741 (claspmt) S 20729 20731 20117 0 -1 4202560 12131 0 0 0 13 95 0 0 17 0 32 0 16247189 2954084352 413905 270582939648 4194304 4964800 140734491242784 18446744073709551615 258662772457 0 0 4096 18946 18446604506113433056 0 0 -1 25 0 0 0
[pid=20731/tid=20742] ppid=20729 vsize=2884848 CPUtime=1.32 cores=0-31
/proc/20731/task/20742/stat : 20742 (claspmt) S 20729 20731 20117 0 -1 4202560 14875 0 0 0 22 110 0 0 18 0 32 0 16247189 2954084352 413905 270582939648 4194304 4964800 140734491242784 18446744073709551615 258662772457 0 0 4096 18946 18446604497616354784 0 0 -1 17 0 0 0
[pid=20731/tid=20743] ppid=20729 vsize=2884848 CPUtime=1.3 cores=0-31
/proc/20731/task/20743/stat : 20743 (claspmt) S 20729 20731 20117 0 -1 4202560 16089 0 0 0 21 109 0 0 18 0 32 0 16247189 2954084352 413905 270582939648 4194304 4964800 140734491242784 18446744073709551615 258662772457 0 0 4096 18946 18446604501999705568 0 0 -1 22 0 0 0
[pid=20731/tid=20744] ppid=20729 vsize=2884848 CPUtime=1.11 cores=0-31
/proc/20731/task/20744/stat : 20744 (claspmt) S 20729 20731 20117 0 -1 4202560 12860 0 0 0 13 98 0 0 17 0 32 0 16247189 2954084352 413905 270582939648 4194304 4964800 140734491242784 18446744073709551615 258662772457 0 0 4096 18946 18446604497616371168 0 0 -1 23 0 0 0
[pid=20731/tid=20745] ppid=20729 vsize=2884848 CPUtime=6.93 cores=0-31
/proc/20731/task/20745/stat : 20745 (claspmt) R 20729 20731 20117 0 -1 4202560 14144 0 0 0 591 102 0 0 25 0 32 0 16247189 2954084352 413905 270582939648 4194304 4964800 140734491242784 18446744073709551615 4669038 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=20731/tid=20746] ppid=20729 vsize=2884848 CPUtime=1.17 cores=0-31
/proc/20731/task/20746/stat : 20746 (claspmt) S 20729 20731 20117 0 -1 4202560 17375 0 0 0 22 95 0 0 18 0 32 0 16247189 2954084352 413905 270582939648 4194304 4964800 140734491242784 18446744073709551615 258662772457 0 0 4096 18946 18446604500804672992 0 0 -1 29 0 0 0
[pid=20731/tid=20747] ppid=20729 vsize=2884848 CPUtime=1.35 cores=0-31
/proc/20731/task/20747/stat : 20747 (claspmt) S 20729 20731 20117 0 -1 4202560 15049 0 0 0 29 106 0 0 18 0 32 0 16247189 2954084352 413905 270582939648 4194304 4964800 140734491242784 18446744073709551615 258662772457 0 0 4096 18946 18446604497616362976 0 0 -1 21 0 0 0
[pid=20731/tid=20748] ppid=20729 vsize=2884848 CPUtime=1.11 cores=0-31
/proc/20731/task/20748/stat : 20748 (claspmt) S 20729 20731 20117 0 -1 4202560 12991 0 0 0 12 99 0 0 17 0 32 0 16247189 2954084352 413905 270582939648 4194304 4964800 140734491242784 18446744073709551615 258662772457 0 0 4096 18946 18446604498059476448 0 0 -1 18 0 0 0
[pid=20731/tid=20749] ppid=20729 vsize=2884848 CPUtime=1.09 cores=0-31
/proc/20731/task/20749/stat : 20749 (claspmt) S 20729 20731 20117 0 -1 4202560 12682 0 0 0 12 97 0 0 17 0 32 0 16247189 2954084352 413905 270582939648 4194304 4964800 140734491242784 18446744073709551615 258662772457 0 0 4096 18946 18446604499265977824 0 0 -1 24 0 0 0
[pid=20731/tid=20750] ppid=20729 vsize=2884848 CPUtime=1.31 cores=0-31
/proc/20731/task/20750/stat : 20750 (claspmt) S 20729 20731 20117 0 -1 4202560 15393 0 0 0 23 108 0 0 18 0 32 0 16247189 2954084352 413905 270582939648 4194304 4964800 140734491242784 18446744073709551615 258662772457 0 0 4096 18946 18446604501999697376 0 0 -1 20 0 0 0
[pid=20731/tid=20751] ppid=20729 vsize=2884848 CPUtime=1.3 cores=0-31
/proc/20731/task/20751/stat : 20751 (claspmt) S 20729 20731 20117 0 -1 4202560 15949 0 0 0 21 109 0 0 18 0 32 0 16247189 2954084352 413905 270582939648 4194304 4964800 140734491242784 18446744073709551615 258662772457 0 0 4096 18946 18446604499265961440 0 0 -1 10 0 0 0
[pid=20731/tid=20752] ppid=20729 vsize=2884848 CPUtime=1.12 cores=0-31
/proc/20731/task/20752/stat : 20752 (claspmt) S 20729 20731 20117 0 -1 4202560 13003 0 0 0 11 101 0 0 17 0 32 0 16247189 2954084352 413905 270582939648 4194304 4964800 140734491242784 18446744073709551615 258662772457 0 0 4096 18946 18446604497616346592 0 0 -1 8 0 0 0
[pid=20731/tid=20753] ppid=20729 vsize=2884848 CPUtime=6.93 cores=0-31
################
# More data... #
################
[pid=20731/tid=20738] ppid=20729 vsize=6063712 CPUtime=2677.82 cores=0-31
/proc/20731/task/20738/stat : 20738 (claspmt) R 20729 20731 20117 0 -1 4202560 29657 0 0 0 267640 142 0 0 25 0 32 0 16247189 6209241088 1247990 270582939648 4194304 4964800 140734491242784 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=20731/tid=20739] ppid=20729 vsize=6063712 CPUtime=2677.93 cores=0-31
/proc/20731/task/20739/stat : 20739 (claspmt) R 20729 20731 20117 0 -1 4202560 110795 0 0 0 267267 526 0 0 25 0 32 0 16247189 6209241088 1247990 270582939648 4194304 4964800 140734491242784 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=20731/tid=20740] ppid=20729 vsize=6063712 CPUtime=2677.78 cores=0-31
/proc/20731/task/20740/stat : 20740 (claspmt) R 20729 20731 20117 0 -1 4202560 19653 0 0 0 267645 133 0 0 25 0 32 0 16247189 6209241088 1247990 270582939648 4194304 4964800 140734491242784 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=20731/tid=20741] ppid=20729 vsize=6063712 CPUtime=2677.68 cores=0-31
/proc/20731/task/20741/stat : 20741 (claspmt) R 20729 20731 20117 0 -1 4202560 19146 0 0 0 267644 124 0 0 25 0 32 0 16247189 6209241088 1247990 270582939648 4194304 4964800 140734491242784 18446744073709551615 4370269 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=20731/tid=20742] ppid=20729 vsize=6063712 CPUtime=2677.9 cores=0-31
/proc/20731/task/20742/stat : 20742 (claspmt) R 20729 20731 20117 0 -1 4202560 52574 0 0 0 267537 253 0 0 25 0 32 0 16247189 6209241088 1247990 270582939648 4194304 4964800 140734491242784 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=20731/tid=20743] ppid=20729 vsize=6063712 CPUtime=2677.89 cores=0-31
/proc/20731/task/20743/stat : 20743 (claspmt) R 20729 20731 20117 0 -1 4202560 28576 0 0 0 267644 145 0 0 25 0 32 0 16247189 6209241088 1247990 270582939648 4194304 4964800 140734491242784 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=20731/tid=20744] ppid=20729 vsize=6063712 CPUtime=2677.7 cores=0-31
/proc/20731/task/20744/stat : 20744 (claspmt) R 20729 20731 20117 0 -1 4202560 47276 0 0 0 267532 238 0 0 25 0 32 0 16247189 6209241088 1247990 270582939648 4194304 4964800 140734491242784 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=20731/tid=20745] ppid=20729 vsize=6063712 CPUtime=2700.85 cores=0-31
/proc/20731/task/20745/stat : 20745 (claspmt) R 20729 20731 20117 0 -1 4202560 14674 0 0 0 269982 103 0 0 25 0 32 0 16247189 6209241088 1247990 270582939648 4194304 4964800 140734491242784 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=20731/tid=20746] ppid=20729 vsize=6063712 CPUtime=2677.77 cores=0-31
/proc/20731/task/20746/stat : 20746 (claspmt) R 20729 20731 20117 0 -1 4202560 29165 0 0 0 267650 127 0 0 25 0 32 0 16247189 6209241088 1247990 270582939648 4194304 4964800 140734491242784 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=20731/tid=20747] ppid=20729 vsize=6063712 CPUtime=2677.88 cores=0-31
/proc/20731/task/20747/stat : 20747 (claspmt) R 20729 20731 20117 0 -1 4202560 142327 0 0 0 267110 678 0 0 25 0 32 0 16247189 6209241088 1247990 270582939648 4194304 4964800 140734491242784 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=20731/tid=20748] ppid=20729 vsize=6063712 CPUtime=2677.74 cores=0-31
/proc/20731/task/20748/stat : 20748 (claspmt) R 20729 20731 20117 0 -1 4202560 18069 0 0 0 267651 123 0 0 25 0 32 0 16247189 6209241088 1247990 270582939648 4194304 4964800 140734491242784 18446744073709551615 4670295 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=20731/tid=20749] ppid=20729 vsize=6063712 CPUtime=2677.67 cores=0-31
/proc/20731/task/20749/stat : 20749 (claspmt) R 20729 20731 20117 0 -1 4202560 18240 0 0 0 267649 118 0 0 25 0 32 0 16247189 6209241088 1247990 270582939648 4194304 4964800 140734491242784 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=20731/tid=20750] ppid=20729 vsize=6063712 CPUtime=2677.89 cores=0-31
/proc/20731/task/20750/stat : 20750 (claspmt) R 20729 20731 20117 0 -1 4202560 51362 0 0 0 267551 238 0 0 25 0 32 0 16247189 6209241088 1247990 270582939648 4194304 4964800 140734491242784 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=20731/tid=20751] ppid=20729 vsize=6063712 CPUtime=2677.89 cores=0-31
/proc/20731/task/20751/stat : 20751 (claspmt) R 20729 20731 20117 0 -1 4202560 29401 0 0 0 267637 152 0 0 25 0 32 0 16247189 6209241088 1247990 270582939648 4194304 4964800 140734491242784 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=20731/tid=20752] ppid=20729 vsize=6063712 CPUtime=2677.18 cores=0-31
/proc/20731/task/20752/stat : 20752 (claspmt) R 20729 20731 20117 0 -1 4202560 37093 0 0 0 267496 222 0 0 25 0 32 0 16247189 6209241088 1247990 270582939648 4194304 4964800 140734491242784 18446744073709551615 4370224 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=20731/tid=20753] ppid=20729 vsize=6063712 CPUtime=2700.74 cores=0-31
/proc/20731/task/20753/stat : 20753 (claspmt) R 20729 20731 20117 0 -1 4202560 20935 0 0 0 269940 134 0 0 25 0 32 0 16247189 6209241088 1247990 270582939648 4194304 4964800 140734491242784 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=20731/tid=20754] ppid=20729 vsize=6063712 CPUtime=2677.88 cores=0-31
/proc/20731/task/20754/stat : 20754 (claspmt) R 20729 20731 20117 0 -1 4202560 29300 0 0 0 267643 145 0 0 25 0 32 0 16247189 6209241088 1247990 270582939648 4194304 4964800 140734491242784 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=20731/tid=20755] ppid=20729 vsize=6063712 CPUtime=2675.22 cores=0-31
/proc/20731/task/20755/stat : 20755 (claspmt) R 20729 20731 20117 0 -1 4202560 111348 0 0 0 266990 532 0 0 25 0 32 0 16247189 6209241088 1247990 270582939648 4194304 4964800 140734491242784 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=20731/tid=20756] ppid=20729 vsize=6063712 CPUtime=2677.72 cores=0-31
/proc/20731/task/20756/stat : 20756 (claspmt) R 20729 20731 20117 0 -1 4202560 16797 0 0 0 267655 117 0 0 25 0 32 0 16247189 6209241088 1247990 270582939648 4194304 4964800 140734491242784 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=20731/tid=20757] ppid=20729 vsize=6063712 CPUtime=2677.71 cores=0-31
/proc/20731/task/20757/stat : 20757 (claspmt) R 20729 20731 20117 0 -1 4202560 17404 0 0 0 267639 132 0 0 25 0 32 0 16247189 6209241088 1247990 270582939648 4194304 4964800 140734491242784 18446744073709551615 4647774 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=20731/tid=20758] ppid=20729 vsize=6063712 CPUtime=2677.88 cores=0-31
/proc/20731/task/20758/stat : 20758 (claspmt) R 20729 20731 20117 0 -1 4202560 58742 0 0 0 267512 276 0 0 25 0 32 0 16247189 6209241088 1247990 270582939648 4194304 4964800 140734491242784 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=20731/tid=20759] ppid=20729 vsize=6063712 CPUtime=2677.89 cores=0-31
/proc/20731/task/20759/stat : 20759 (claspmt) R 20729 20731 20117 0 -1 4202560 31655 0 0 0 267630 159 0 0 25 0 32 0 16247189 6209241088 1247990 270582939648 4194304 4964800 140734491242784 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=20731/tid=20760] ppid=20729 vsize=6063712 CPUtime=2676.9 cores=0-31
/proc/20731/task/20760/stat : 20760 (claspmt) R 20729 20731 20117 0 -1 4202560 43235 0 0 0 267474 216 0 0 25 0 32 0 16247189 6209241088 1247990 270582939648 4194304 4964800 140734491242784 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=20731/tid=20761] ppid=20729 vsize=6063712 CPUtime=2700.75 cores=0-31
/proc/20731/task/20761/stat : 20761 (claspmt) R 20729 20731 20117 0 -1 4202560 18690 0 0 0 269956 119 0 0 25 0 32 0 16247189 6209241088 1247990 270582939648 4194304 4964800 140734491242784 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=20731/tid=20762] ppid=20729 vsize=6063712 CPUtime=2677.7 cores=0-31
/proc/20731/task/20762/stat : 20762 (claspmt) R 20729 20731 20117 0 -1 4202560 25306 0 0 0 267662 108 0 0 25 0 32 0 16247190 6209241088 1247990 270582939648 4194304 4964800 140734491242784 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=20731/tid=20763] ppid=20729 vsize=6063712 CPUtime=2627.12 cores=0-31
/proc/20731/task/20763/stat : 20763 (claspmt) R 20729 20731 20117 0 -1 4202560 98105 0 0 0 262270 442 0 0 25 0 32 0 16247190 6209241088 1247990 270582939648 4194304 4964800 140734491242784 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 85705.6
Current children cumulated vsize (KiB) 6063712
[startup+2710.4 s]
/proc/loadavg: 32.20 32.21 30.70 33/445 20844
/proc/meminfo: memFree=258015316/264257624 swapFree=67111528/67111528
[pid=20731] ppid=20729 vsize=6063712 CPUtime=85807.9 cores=0-31
/proc/20731/stat : 20731 (claspmt) R 20729 20731 20117 0 -1 4202496 1337577 0 0 0 8574177 6609 0 0 25 0 32 0 16246866 6209241088 1247994 270582939648 4194304 4964800 140734491242784 18446744073709551615 4668712 0 0 4096 18946 18446744073709551615 0 0 17 16 0 0 0
/proc/20731/statm: 1515928 1247994 463 189 0 1510277 0
[pid=20731/tid=20733] ppid=20729 vsize=6063712 CPUtime=2679.6 cores=0-31
/proc/20731/task/20733/stat : 20733 (claspmt) R 20729 20731 20117 0 -1 4202560 18910 0 0 0 267814 146 0 0 25 0 32 0 16247188 6209241088 1247994 270582939648 4194304 4964800 140734491242784 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=20731/tid=20734] ppid=20729 vsize=6063712 CPUtime=2681.12 cores=0-31
/proc/20731/task/20734/stat : 20734 (claspmt) R 20729 20731 20117 0 -1 4202560 55013 0 0 0 267851 261 0 0 25 0 32 0 16247188 6209241088 1247994 270582939648 4194304 4964800 140734491242784 18446744073709551615 4361114 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=20731/tid=20735] ppid=20729 vsize=6063712 CPUtime=2659.13 cores=0-31
/proc/20731/task/20735/stat : 20735 (claspmt) R 20729 20731 20117 0 -1 4202560 27450 0 0 0 265769 144 0 0 25 0 32 0 16247188 6209241088 1247994 270582939648 4194304 4964800 140734491242784 18446744073709551615 4669973 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=20731/tid=20736] ppid=20729 vsize=6063712 CPUtime=2680.95 cores=0-31
/proc/20731/task/20736/stat : 20736 (claspmt) R 20729 20731 20117 0 -1 4202560 38275 0 0 0 267896 199 0 0 25 0 32 0 16247188 6209241088 1247994 270582939648 4194304 4964800 140734491242784 18446744073709551615 4670190 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=20731/tid=20737] ppid=20729 vsize=6063712 CPUtime=2703.66 cores=0-31
/proc/20731/task/20737/stat : 20737 (claspmt) R 20729 20731 20117 0 -1 4202560 14909 0 0 0 270262 104 0 0 25 0 32 0 16247189 6209241088 1247994 270582939648 4194304 4964800 140734491242784 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=20731/tid=20738] ppid=20729 vsize=6063712 CPUtime=2681.02 cores=0-31
/proc/20731/task/20738/stat : 20738 (claspmt) R 20729 20731 20117 0 -1 4202560 29657 0 0 0 267960 142 0 0 25 0 32 0 16247189 6209241088 1247994 270582939648 4194304 4964800 140734491242784 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=20731/tid=20739] ppid=20729 vsize=6063712 CPUtime=2681.13 cores=0-31
/proc/20731/task/20739/stat : 20739 (claspmt) R 20729 20731 20117 0 -1 4202560 110795 0 0 0 267587 526 0 0 25 0 32 0 16247189 6209241088 1247994 270582939648 4194304 4964800 140734491242784 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=20731/tid=20740] ppid=20729 vsize=6063712 CPUtime=2680.98 cores=0-31
/proc/20731/task/20740/stat : 20740 (claspmt) R 20729 20731 20117 0 -1 4202560 19653 0 0 0 267965 133 0 0 25 0 32 0 16247189 6209241088 1247994 270582939648 4194304 4964800 140734491242784 18446744073709551615 4370352 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=20731/tid=20741] ppid=20729 vsize=6063712 CPUtime=2680.87 cores=0-31
/proc/20731/task/20741/stat : 20741 (claspmt) R 20729 20731 20117 0 -1 4202560 19146 0 0 0 267963 124 0 0 25 0 32 0 16247189 6209241088 1247994 270582939648 4194304 4964800 140734491242784 18446744073709551615 4670688 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=20731/tid=20742] ppid=20729 vsize=6063712 CPUtime=2681.1 cores=0-31
/proc/20731/task/20742/stat : 20742 (claspmt) R 20729 20731 20117 0 -1 4202560 52574 0 0 0 267857 253 0 0 25 0 32 0 16247189 6209241088 1247994 270582939648 4194304 4964800 140734491242784 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=20731/tid=20743] ppid=20729 vsize=6063712 CPUtime=2681.09 cores=0-31
/proc/20731/task/20743/stat : 20743 (claspmt) R 20729 20731 20117 0 -1 4202560 28576 0 0 0 267964 145 0 0 25 0 32 0 16247189 6209241088 1247994 270582939648 4194304 4964800 140734491242784 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=20731/tid=20744] ppid=20729 vsize=6063712 CPUtime=2680.9 cores=0-31
/proc/20731/task/20744/stat : 20744 (claspmt) R 20729 20731 20117 0 -1 4202560 47276 0 0 0 267852 238 0 0 25 0 32 0 16247189 6209241088 1247994 270582939648 4194304 4964800 140734491242784 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=20731/tid=20745] ppid=20729 vsize=6063712 CPUtime=2704.05 cores=0-31
/proc/20731/task/20745/stat : 20745 (claspmt) R 20729 20731 20117 0 -1 4202560 14674 0 0 0 270302 103 0 0 25 0 32 0 16247189 6209241088 1247994 270582939648 4194304 4964800 140734491242784 18446744073709551615 4670097 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=20731/tid=20746] ppid=20729 vsize=6063712 CPUtime=2680.96 cores=0-31
/proc/20731/task/20746/stat : 20746 (claspmt) R 20729 20731 20117 0 -1 4202560 29165 0 0 0 267969 127 0 0 25 0 32 0 16247189 6209241088 1247994 270582939648 4194304 4964800 140734491242784 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=20731/tid=20747] ppid=20729 vsize=6063712 CPUtime=2681.08 cores=0-31
/proc/20731/task/20747/stat : 20747 (claspmt) R 20729 20731 20117 0 -1 4202560 142327 0 0 0 267430 678 0 0 25 0 32 0 16247189 6209241088 1247994 270582939648 4194304 4964800 140734491242784 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=20731/tid=20748] ppid=20729 vsize=6063712 CPUtime=2680.94 cores=0-31
/proc/20731/task/20748/stat : 20748 (claspmt) R 20729 20731 20117 0 -1 4202560 18069 0 0 0 267971 123 0 0 25 0 32 0 16247189 6209241088 1247994 270582939648 4194304 4964800 140734491242784 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=20731/tid=20749] ppid=20729 vsize=6063712 CPUtime=2680.88 cores=0-31
/proc/20731/task/20749/stat : 20749 (claspmt) R 20729 20731 20117 0 -1 4202560 18240 0 0 0 267969 119 0 0 25 0 32 0 16247189 6209241088 1247994 270582939648 4194304 4964800 140734491242784 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=20731/tid=20750] ppid=20729 vsize=6063712 CPUtime=2681.08 cores=0-31
/proc/20731/task/20750/stat : 20750 (claspmt) R 20729 20731 20117 0 -1 4202560 51362 0 0 0 267870 238 0 0 25 0 32 0 16247189 6209241088 1247994 270582939648 4194304 4964800 140734491242784 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=20731/tid=20751] ppid=20729 vsize=6063712 CPUtime=2681.09 cores=0-31
/proc/20731/task/20751/stat : 20751 (claspmt) R 20729 20731 20117 0 -1 4202560 29401 0 0 0 267957 152 0 0 25 0 32 0 16247189 6209241088 1247994 270582939648 4194304 4964800 140734491242784 18446744073709551615 4321042 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=20731/tid=20752] ppid=20729 vsize=6063712 CPUtime=2680.37 cores=0-31
/proc/20731/task/20752/stat : 20752 (claspmt) R 20729 20731 20117 0 -1 4202560 37093 0 0 0 267815 222 0 0 25 0 32 0 16247189 6209241088 1247994 270582939648 4194304 4964800 140734491242784 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=20731/tid=20753] ppid=20729 vsize=6063712 CPUtime=2703.93 cores=0-31
/proc/20731/task/20753/stat : 20753 (claspmt) R 20729 20731 20117 0 -1 4202560 20935 0 0 0 270259 134 0 0 25 0 32 0 16247189 6209241088 1247994 270582939648 4194304 4964800 140734491242784 18446744073709551615 4670194 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=20731/tid=20754] ppid=20729 vsize=6063712 CPUtime=2681.07 cores=0-31
/proc/20731/task/20754/stat : 20754 (claspmt) R 20729 20731 20117 0 -1 4202560 29300 0 0 0 267961 146 0 0 25 0 32 0 16247189 6209241088 1247994 270582939648 4194304 4964800 140734491242784 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=20731/tid=20755] ppid=20729 vsize=6063712 CPUtime=2678.42 cores=0-31
/proc/20731/task/20755/stat : 20755 (claspmt) R 20729 20731 20117 0 -1 4202560 111348 0 0 0 267310 532 0 0 25 0 32 0 16247189 6209241088 1247994 270582939648 4194304 4964800 140734491242784 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=20731/tid=20756] ppid=20729 vsize=6063712 CPUtime=2680.92 cores=0-31
/proc/20731/task/20756/stat : 20756 (claspmt) R 20729 20731 20117 0 -1 4202560 16797 0 0 0 267975 117 0 0 25 0 32 0 16247189 6209241088 1247994 270582939648 4194304 4964800 140734491242784 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=20731/tid=20757] ppid=20729 vsize=6063712 CPUtime=2680.9 cores=0-31
/proc/20731/task/20757/stat : 20757 (claspmt) R 20729 20731 20117 0 -1 4202560 17404 0 0 0 267958 132 0 0 25 0 32 0 16247189 6209241088 1247994 270582939648 4194304 4964800 140734491242784 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=20731/tid=20758] ppid=20729 vsize=6063712 CPUtime=2681.08 cores=0-31
/proc/20731/task/20758/stat : 20758 (claspmt) R 20729 20731 20117 0 -1 4202560 58742 0 0 0 267832 276 0 0 25 0 32 0 16247189 6209241088 1247994 270582939648 4194304 4964800 140734491242784 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=20731/tid=20759] ppid=20729 vsize=6063712 CPUtime=2681.09 cores=0-31
/proc/20731/task/20759/stat : 20759 (claspmt) R 20729 20731 20117 0 -1 4202560 31655 0 0 0 267950 159 0 0 25 0 32 0 16247189 6209241088 1247994 270582939648 4194304 4964800 140734491242784 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=20731/tid=20760] ppid=20729 vsize=6063712 CPUtime=2680.09 cores=0-31
/proc/20731/task/20760/stat : 20760 (claspmt) R 20729 20731 20117 0 -1 4202560 43235 0 0 0 267793 216 0 0 25 0 32 0 16247189 6209241088 1247994 270582939648 4194304 4964800 140734491242784 18446744073709551615 4370224 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=20731/tid=20761] ppid=20729 vsize=6063712 CPUtime=2703.95 cores=0-31
/proc/20731/task/20761/stat : 20761 (claspmt) R 20729 20731 20117 0 -1 4202560 18692 0 0 0 270276 119 0 0 25 0 32 0 16247189 6209241088 1247994 270582939648 4194304 4964800 140734491242784 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=20731/tid=20762] ppid=20729 vsize=6063712 CPUtime=2680.89 cores=0-31
/proc/20731/task/20762/stat : 20762 (claspmt) R 20729 20731 20117 0 -1 4202560 25306 0 0 0 267981 108 0 0 25 0 32 0 16247190 6209241088 1247994 270582939648 4194304 4964800 140734491242784 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=20731/tid=20763] ppid=20729 vsize=6063712 CPUtime=2630.22 cores=0-31
/proc/20731/task/20763/stat : 20763 (claspmt) R 20729 20731 20117 0 -1 4202560 98105 0 0 0 262580 442 0 0 25 0 32 0 16247190 6209241088 1247994 270582939648 4194304 4964800 140734491242784 18446744073709551615 4670371 0 0 4096 18946 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 85807.9
Current children cumulated vsize (KiB) 6063712
[startup+2713.6 s]
/proc/loadavg: 32.26 32.23 30.72 33/445 20844
/proc/meminfo: memFree=258015452/264257624 swapFree=67111528/67111528
[pid=20731] ppid=20729 vsize=5973512 CPUtime=85898.3 cores=0-31
/proc/20731/stat : 20731 (claspmt) R 20729 20731 20117 0 -1 4202496 1337590 0 0 0 8583169 6660 0 0 15 0 1 0 16246866 6116876288 1247913 270582939648 4194304 4964800 140734491242784 18446744073709551615 4627081 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/20731/statm: 1493378 1247913 474 189 0 1487727 0
Current children cumulated CPU time (s) 85898.3
Current children cumulated vsize (KiB) 5973512
[startup+2715.2 s]
/proc/loadavg: 32.26 32.23 30.72 2/414 20844
/proc/meminfo: memFree=258296932/264257624 swapFree=67111528/67111528
[pid=20731] ppid=20729 vsize=5581456 CPUtime=85899.9 cores=0-31
/proc/20731/stat : 20731 (claspmt) R 20729 20731 20117 0 -1 4202496 1337590 0 0 0 8583325 6663 0 0 17 0 1 0 16246866 5715410944 1137024 270582939648 4194304 4964800 140734491242784 18446744073709551615 4646559 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/20731/statm: 1395364 1137024 474 189 0 1389713 0
Current children cumulated CPU time (s) 85899.9
Current children cumulated vsize (KiB) 5581456
[startup+2715.6 s]
/proc/loadavg: 32.26 32.23 30.72 2/414 20844
/proc/meminfo: memFree=258296932/264257624 swapFree=67111528/67111528
[pid=20731] ppid=20729 vsize=5459280 CPUtime=85900.3 cores=0-31
/proc/20731/stat : 20731 (claspmt) R 20729 20731 20117 0 -1 4202496 1337590 0 0 0 8583365 6664 0 0 18 0 1 0 16246866 5590302720 1116022 270582939648 4194304 4964800 140734491242784 18446744073709551615 258650610907 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/20731/statm: 1364820 1116022 474 189 0 1359169 0
Current children cumulated CPU time (s) 85900.3
Current children cumulated vsize (KiB) 5459280
[startup+2715.8 s]
/proc/loadavg: 32.26 32.23 30.72 2/414 20844
/proc/meminfo: memFree=258296932/264257624 swapFree=67111528/67111528
[pid=20731] ppid=20729 vsize=4477296 CPUtime=85900.5 cores=0-31
/proc/20731/stat : 20731 (claspmt) R 20729 20731 20117 0 -1 4202496 1337590 0 0 0 8583381 6668 0 0 18 0 1 0 16246866 4584751104 906577 270582939648 4194304 4964800 140734491242784 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/20731/statm: 1119324 906065 474 189 0 1113673 0
Current children cumulated CPU time (s) 85900.5
Current children cumulated vsize (KiB) 4477296
[startup+2715.9 s]
/proc/loadavg: 32.26 32.23 30.72 2/414 20844
/proc/meminfo: memFree=261134716/264257624 swapFree=67111528/67111528
[pid=20731] ppid=20729 vsize=2555376 CPUtime=85900.6 cores=0-31
/proc/20731/stat : 20731 (claspmt) R 20729 20731 20117 0 -1 4202496 1337590 0 0 0 8583381 6681 0 0 18 0 1 0 16246866 2616705024 337730 270582939648 4194304 4964800 140734491242784 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/20731/statm: 638844 337730 474 189 0 633193 0
Current children cumulated CPU time (s) 85900.6
Current children cumulated vsize (KiB) 2555376
Child status: 20
Real time (s): 2716.02
CPU time (s): 85900.7
CPU user time (s): 85833.8
CPU system time (s): 66.9038
CPU usage (%): 3162.74
Max. virtual memory (cumulated for all children) (KiB): 6063712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 85833.8
system time used= 66.9038
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1337591
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= 401191
involuntary context switches= 206626
runsolver used 15.0647 second user time and 61.6416 second system time
The end
Begin job on node200 at 2011-06-08 06:50:00
IDJOB=3472355
IDBENCH=82354
IDSOLVER=1961
FILE ID=node200/3472355-1307508598
RUNJOBID= node200-1307508300-20131
PBS_JOBID= 13509205
Free space on /tmp= 61724 MiB
SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/application/fuhs/AProVE11/AProVE11-06.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-3472355-1307508598/watcher-3472355-1307508598 -o /tmp/evaluation-result-3472355-1307508598/solver-3472355-1307508598 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472355-1307508598.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 256000 MiB
NBCORE= 32
MD5SUM BENCH= 6fd7d026c372988cefc364000243d13f
RANDOM SEED=1692626327
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: 263008668 kB
Buffers: 162880 kB
Cached: 821544 kB
SwapCached: 0 kB
Active: 209012 kB
Inactive: 838900 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263008668 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 22176 kB
Writeback: 0 kB
AnonPages: 63396 kB
Mapped: 14532 kB
Slab: 121324 kB
PageTables: 4184 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 170156 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= 61724 MiB
End job on node200 at 2011-06-08 07:35:16