0.00/0.01 c clasp version 2.0.0-RC2
0.00/0.01 c Reading from ...458983/instance-3472310-1307458983.cnf
0.19/0.20 c Solving...
21358.59/669.33 s UNSATISFIABLE
21358.59/669.33
21358.59/669.33 c Models : 0
21358.59/669.33 c Time : 668.859s (Solving: 668.66s 1st Model: 0.00s Unsat: 668.66s)
21358.59/669.33 c CPU Time : 21358.150s
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-3472310-1307458983/watcher-3472310-1307458983 -o /tmp/evaluation-result-3472310-1307458983/solver-3472310-1307458983 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472310-1307458983.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: 29.54 31.50 31.83 1/413 15811
/proc/meminfo: memFree=263356144/264257624 swapFree=67111528/67111528
[pid=15811] ppid=15809 vsize=24640 CPUtime=0.02 cores=0-31
/proc/15811/stat : 15811 (claspmt) R 15809 15811 15785 0 -1 4202496 1587 0 0 0 2 0 0 0 22 0 1 0 11285168 25231360 1378 270582939648 4194304 4964800 140734134733616 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/15811/statm: 6160 1379 383 189 0 1034 0
[startup+0.052041 s]
/proc/loadavg: 29.54 31.50 31.83 1/413 15811
/proc/meminfo: memFree=263356144/264257624 swapFree=67111528/67111528
[pid=15811] ppid=15809 vsize=26224 CPUtime=0.04 cores=0-31
/proc/15811/stat : 15811 (claspmt) R 15809 15811 15785 0 -1 4202496 2159 0 0 0 4 0 0 0 22 0 1 0 11285168 26853376 1767 270582939648 4194304 4964800 140734134733616 18446744073709551615 4617330 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/15811/statm: 6556 1767 396 189 0 1430 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 26224
[startup+0.101026 s]
/proc/loadavg: 29.54 31.50 31.83 1/413 15811
/proc/meminfo: memFree=263356144/264257624 swapFree=67111528/67111528
[pid=15811] ppid=15809 vsize=27792 CPUtime=0.09 cores=0-31
/proc/15811/stat : 15811 (claspmt) R 15809 15811 15785 0 -1 4202496 2560 0 0 0 9 0 0 0 22 0 1 0 11285168 28459008 2168 270582939648 4194304 4964800 140734134733616 18446744073709551615 4612879 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/15811/statm: 6948 2169 401 189 0 1822 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27792
[startup+0.300913 s]
/proc/loadavg: 29.54 31.50 31.83 1/413 15811
/proc/meminfo: memFree=263356144/264257624 swapFree=67111528/67111528
[pid=15811] ppid=15809 vsize=1232536 CPUtime=1.22 cores=0-31
/proc/15811/stat : 15811 (claspmt) S 15809 15811 15785 0 -1 4202496 15744 0 0 0 32 90 0 0 18 0 32 0 11285168 1262116864 11960 270582939648 4194304 4964800 140734134733616 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 30 0 0 0
/proc/15811/statm: 308134 11965 434 189 0 302483 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 1232536
[startup+0.700924 s]
/proc/loadavg: 29.54 31.50 31.83 1/413 15811
/proc/meminfo: memFree=263356144/264257624 swapFree=67111528/67111528
[pid=15811] ppid=15809 vsize=1233688 CPUtime=9.76 cores=0-31
/proc/15811/stat : 15811 (claspmt) R 15809 15811 15785 0 -1 4202496 19408 0 0 0 876 100 0 0 16 0 32 0 11285168 1263296512 15612 270582939648 4194304 4964800 140734134733616 18446744073709551615 4652098 0 0 4096 18946 18446744073709551615 0 0 17 30 0 0 0
/proc/15811/statm: 308422 15613 461 189 0 302771 0
Current children cumulated CPU time (s) 9.76
Current children cumulated vsize (KiB) 1233688
[startup+1.50195 s]
/proc/loadavg: 29.54 31.50 31.83 33/445 15843
/proc/meminfo: memFree=263284448/264257624 swapFree=67111528/67111528
[pid=15811] ppid=15809 vsize=1236492 CPUtime=34.98 cores=0-31
/proc/15811/stat : 15811 (claspmt) R 15809 15811 15785 0 -1 4202496 29991 0 0 0 3362 136 0 0 18 0 32 0 11285168 1266167808 26195 270582939648 4194304 4964800 140734134733616 18446744073709551615 4669350 0 0 4096 18946 18446744073709551615 0 0 17 30 0 0 0
/proc/15811/statm: 309123 26198 461 189 0 303472 0
[pid=15811/tid=15813] ppid=15809 vsize=1236492 CPUtime=1.06 cores=0-31
/proc/15811/task/15813/stat : 15813 (claspmt) R 15809 15811 15785 0 -1 4202560 605 0 0 0 105 1 0 0 17 0 32 0 11285189 1266167808 26198 270582939648 4194304 4964800 140734134733616 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=15811/tid=15814] ppid=15809 vsize=1236492 CPUtime=1.07 cores=0-31
/proc/15811/task/15814/stat : 15814 (claspmt) R 15809 15811 15785 0 -1 4202560 1206 0 0 0 102 5 0 0 17 0 32 0 11285189 1266167808 26198 270582939648 4194304 4964800 140734134733616 18446744073709551615 4342206 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=15811/tid=15815] ppid=15809 vsize=1236492 CPUtime=1.06 cores=0-31
/proc/15811/task/15815/stat : 15815 (claspmt) R 15809 15811 15785 0 -1 4202560 971 0 0 0 102 4 0 0 17 0 32 0 11285189 1266167808 26198 270582939648 4194304 4964800 140734134733616 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=15811/tid=15816] ppid=15809 vsize=1236492 CPUtime=1.06 cores=0-31
/proc/15811/task/15816/stat : 15816 (claspmt) R 15809 15811 15785 0 -1 4202560 785 0 0 0 103 3 0 0 17 0 32 0 11285189 1266167808 26199 270582939648 4194304 4964800 140734134733616 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=15811/tid=15817] ppid=15809 vsize=1236492 CPUtime=1.16 cores=0-31
/proc/15811/task/15817/stat : 15817 (claspmt) R 15809 15811 15785 0 -1 4202560 503 0 0 0 114 2 0 0 19 0 32 0 11285189 1266167808 26200 270582939648 4194304 4964800 140734134733616 18446744073709551615 4668777 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=15811/tid=15818] ppid=15809 vsize=1236492 CPUtime=1.05 cores=0-31
/proc/15811/task/15818/stat : 15818 (claspmt) R 15809 15811 15785 0 -1 4202560 879 0 0 0 101 4 0 0 17 0 32 0 11285189 1266167808 26201 270582939648 4194304 4964800 140734134733616 18446744073709551615 4669272 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=15811/tid=15819] ppid=15809 vsize=1236492 CPUtime=1.06 cores=0-31
/proc/15811/task/15819/stat : 15819 (claspmt) R 15809 15811 15785 0 -1 4202560 1205 0 0 0 100 6 0 0 17 0 32 0 11285189 1266167808 26202 270582939648 4194304 4964800 140734134733616 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=15811/tid=15820] ppid=15809 vsize=1236492 CPUtime=1.08 cores=0-31
/proc/15811/task/15820/stat : 15820 (claspmt) R 15809 15811 15785 0 -1 4202560 685 0 0 0 105 3 0 0 17 0 32 0 11285189 1266167808 26202 270582939648 4194304 4964800 140734134733616 18446744073709551615 4320864 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=15811/tid=15821] ppid=15809 vsize=1236492 CPUtime=1.07 cores=0-31
/proc/15811/task/15821/stat : 15821 (claspmt) R 15809 15811 15785 0 -1 4202560 718 0 0 0 104 3 0 0 17 0 32 0 11285189 1266167808 26203 270582939648 4194304 4964800 140734134733616 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=15811/tid=15822] ppid=15809 vsize=1236492 CPUtime=1.06 cores=0-31
/proc/15811/task/15822/stat : 15822 (claspmt) R 15809 15811 15785 0 -1 4202560 1150 0 0 0 101 5 0 0 17 0 32 0 11285189 1266167808 26203 270582939648 4194304 4964800 140734134733616 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=15811/tid=15823] ppid=15809 vsize=1236492 CPUtime=1.07 cores=0-31
/proc/15811/task/15823/stat : 15823 (claspmt) R 15809 15811 15785 0 -1 4202560 984 0 0 0 102 5 0 0 17 0 32 0 11285189 1266167808 26204 270582939648 4194304 4964800 140734134733616 18446744073709551615 4653507 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=15811/tid=15824] ppid=15809 vsize=1236492 CPUtime=1.07 cores=0-31
/proc/15811/task/15824/stat : 15824 (claspmt) R 15809 15811 15785 0 -1 4202560 752 0 0 0 103 4 0 0 17 0 32 0 11285189 1266167808 26204 270582939648 4194304 4964800 140734134733616 18446744073709551615 4668737 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=15811/tid=15825] ppid=15809 vsize=1236492 CPUtime=1.18 cores=0-31
/proc/15811/task/15825/stat : 15825 (claspmt) R 15809 15811 15785 0 -1 4202560 490 0 0 0 115 3 0 0 19 0 32 0 11285189 1266167808 26204 270582939648 4194304 4964800 140734134733616 18446744073709551615 4670688 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=15811/tid=15826] ppid=15809 vsize=1236492 CPUtime=1.05 cores=0-31
/proc/15811/task/15826/stat : 15826 (claspmt) R 15809 15811 15785 0 -1 4202560 844 0 0 0 102 3 0 0 17 0 32 0 11285189 1266167808 26204 270582939648 4194304 4964800 140734134733616 18446744073709551615 4653595 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=15811/tid=15827] ppid=15809 vsize=1236492 CPUtime=1.06 cores=0-31
/proc/15811/task/15827/stat : 15827 (claspmt) R 15809 15811 15785 0 -1 4202560 1246 0 0 0 101 5 0 0 17 0 32 0 11285189 1266167808 26205 270582939648 4194304 4964800 140734134733616 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=15811/tid=15828] ppid=15809 vsize=1236492 CPUtime=1.08 cores=0-31
/proc/15811/task/15828/stat : 15828 (claspmt) R 15809 15811 15785 0 -1 4202560 691 0 0 0 104 4 0 0 17 0 32 0 11285189 1266167808 26205 270582939648 4194304 4964800 140734134733616 18446744073709551615 4658171 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=15811/tid=15829] ppid=15809 vsize=1236492 CPUtime=1.07 cores=0-31
/proc/15811/task/15829/stat : 15829 (claspmt) R 15809 15811 15785 0 -1 4202560 709 0 0 0 103 4 0 0 17 0 32 0 11285189 1266167808 26206 270582939648 4194304 4964800 140734134733616 18446744073709551615 4670361 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=15811/tid=15830] ppid=15809 vsize=1236492 CPUtime=1.07 cores=0-31
/proc/15811/task/15830/stat : 15830 (claspmt) R 15809 15811 15785 0 -1 4202560 1121 0 0 0 101 6 0 0 17 0 32 0 11285189 1266167808 26209 270582939648 4194304 4964800 140734134733616 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=15811/tid=15831] ppid=15809 vsize=1236492 CPUtime=1.05 cores=0-31
/proc/15811/task/15831/stat : 15831 (claspmt) R 15809 15811 15785 0 -1 4202560 932 0 0 0 101 4 0 0 17 0 32 0 11285189 1266167808 26209 270582939648 4194304 4964800 140734134733616 18446744073709551615 4668702 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=15811/tid=15832] ppid=15809 vsize=1236492 CPUtime=1.07 cores=0-31
/proc/15811/task/15832/stat : 15832 (claspmt) R 15809 15811 15785 0 -1 4202560 734 0 0 0 103 4 0 0 17 0 32 0 11285190 1266167808 26211 270582939648 4194304 4964800 140734134733616 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=15811/tid=15833] ppid=15809 vsize=1236492 CPUtime=1.22 cores=0-31
/proc/15811/task/15833/stat : 15833 (claspmt) R 15809 15811 15785 0 -1 4202560 524 0 0 0 118 4 0 0 19 0 32 0 11285190 1266167808 26212 270582939648 4194304 4964800 140734134733616 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=15811/tid=15834] ppid=15809 vsize=1236492 CPUtime=1.06 cores=0-31
/proc/15811/task/15834/stat : 15834 (claspmt) R 15809 15811 15785 0 -1 4202560 929 0 0 0 102 4 0 0 17 0 32 0 11285190 1266167808 26213 270582939648 4194304 4964800 140734134733616 18446744073709551615 4342199 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=15811/tid=15835] ppid=15809 vsize=1236492 CPUtime=1.05 cores=0-31
/proc/15811/task/15835/stat : 15835 (claspmt) R 15809 15811 15785 0 -1 4202560 1164 0 0 0 100 5 0 0 17 0 32 0 11285190 1266167808 26214 270582939648 4194304 4964800 140734134733616 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=15811/tid=15836] ppid=15809 vsize=1236492 CPUtime=1.08 cores=0-31
/proc/15811/task/15836/stat : 15836 (claspmt) R 15809 15811 15785 0 -1 4202560 706 0 0 0 104 4 0 0 17 0 32 0 11285190 1266167808 26214 270582939648 4194304 4964800 140734134733616 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=15811/tid=15837] ppid=15809 vsize=1236492 CPUtime=1.05 cores=0-31
/proc/15811/task/15837/stat : 15837 (claspmt) R 15809 15811 15785 0 -1 4202560 699 0 0 0 102 3 0 0 17 0 32 0 11285190 1266167808 26214 270582939648 4194304 4964800 140734134733616 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=15811/tid=15838] ppid=15809 vsize=1236492 CPUtime=1.04 cores=0-31
/proc/15811/task/15838/stat : 15838 (claspmt) R 15809 15811 15785 0 -1 4202560 1139 0 0 0 101 3 0 0 17 0 32 0 11285190 1266167808 26214 270582939648 4194304 4964800 140734134733616 18446744073709551615 4361293 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=15811/tid=15839] ppid=15809 vsize=1236492 CPUtime=1.07 cores=0-31
/proc/15811/task/15839/stat : 15839 (claspmt) R 15809 15811 15785 0 -1 4202560 962 0 0 0 102 5 0 0 17 0 32 0 11285190 1266167808 26214 270582939648 4194304 4964800 140734134733616 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=15811/tid=15840] ppid=15809 vsize=1236492 CPUtime=1.06 cores=0-31
/proc/15811/task/15840/stat : 15840 (claspmt) R 15809 15811 15785 0 -1 4202560 791 0 0 0 103 3 0 0 17 0 32 0 11285190 1266167808 26215 270582939648 4194304 4964800 140734134733616 18446744073709551615 4669078 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=15811/tid=15841] ppid=15809 vsize=1236492 CPUtime=1.18 cores=0-31
/proc/15811/task/15841/stat : 15841 (claspmt) R 15809 15811 15785 0 -1 4202560 511 0 0 0 116 2 0 0 19 0 32 0 11285190 1266167808 26215 270582939648 4194304 4964800 140734134733616 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=15811/tid=15842] ppid=15809 vsize=1236492 CPUtime=1.06 cores=0-31
/proc/15811/task/15842/stat : 15842 (claspmt) R 15809 15811 15785 0 -1 4202560 895 0 0 0 103 3 0 0 18 0 32 0 11285190 1266167808 26215 270582939648 4194304 4964800 140734134733616 18446744073709551615 4332205 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=15811/tid=15843] ppid=15809 vsize=1236492 CPUtime=1.05 cores=0-31
/proc/15811/task/15843/stat : 15843 (claspmt) R 15809 15811 15785 0 -1 4202560 1241 0 0 0 100 5 0 0 17 0 32 0 11285190 1266167808 26215 270582939648 4194304 4964800 140734134733616 18446744073709551615 4366965 0 0 4096 18946 0 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 34.98
Current children cumulated vsize (KiB) 1236492
[startup+3.10201 s]
/proc/loadavg: 29.54 31.50 31.83 33/445 15843
/proc/meminfo: memFree=263244024/264257624 swapFree=67111528/67111528
[pid=15811] ppid=15809 vsize=1237424 CPUtime=85.95 cores=0-31
/proc/15811/stat : 15811 (claspmt) R 15809 15811 15785 0 -1 4202496 36910 0 0 0 8436 159 0 0 20 0 32 0 11285168 1267122176 33114 270582939648 4194304 4964800 140734134733616 18446744073709551615 4669509 0 0 4096 18946 18446744073709551615 0 0 17 30 0 0 0
/proc/15811/statm: 309356 33114 461 189 0 303705 0
[pid=15811/tid=15813] ppid=15809 vsize=1237424 CPUtime=2.66 cores=0-31
/proc/15811/task/15813/stat : 15813 (claspmt) R 15809 15811 15785 0 -1 4202560 734 0 0 0 264 2 0 0 19 0 32 0 11285189 1267122176 33114 270582939648 4194304 4964800 140734134733616 18446744073709551615 4684754 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=15811/tid=15814] ppid=15809 vsize=1237424 CPUtime=2.66 cores=0-31
/proc/15811/task/15814/stat : 15814 (claspmt) R 15809 15811 15785 0 -1 4202560 1578 0 0 0 261 5 0 0 19 0 32 0 11285189 1267122176 33114 270582939648 4194304 4964800 140734134733616 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=15811/tid=15815] ppid=15809 vsize=1237424 CPUtime=2.65 cores=0-31
/proc/15811/task/15815/stat : 15815 (claspmt) R 15809 15811 15785 0 -1 4202560 1159 0 0 0 260 5 0 0 20 0 32 0 11285189 1267122176 33114 270582939648 4194304 4964800 140734134733616 18446744073709551615 4321097 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=15811/tid=15816] ppid=15809 vsize=1237424 CPUtime=2.66 cores=0-31
/proc/15811/task/15816/stat : 15816 (claspmt) R 15809 15811 15785 0 -1 4202560 927 0 0 0 262 4 0 0 19 0 32 0 11285189 1267122176 33114 270582939648 4194304 4964800 140734134733616 18446744073709551615 4333168 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=15811/tid=15817] ppid=15809 vsize=1237424 CPUtime=2.72 cores=0-31
/proc/15811/task/15817/stat : 15817 (claspmt) R 15809 15811 15785 0 -1 4202560 527 0 0 0 270 2 0 0 22 0 32 0 11285189 1267122176 33114 270582939648 4194304 4964800 140734134733616 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=15811/tid=15818] ppid=15809 vsize=1237424 CPUtime=2.65 cores=0-31
/proc/15811/task/15818/stat : 15818 (claspmt) R 15809 15811 15785 0 -1 4202560 1088 0 0 0 260 5 0 0 19 0 32 0 11285189 1267122176 33114 270582939648 4194304 4964800 140734134733616 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=15811/tid=15819] ppid=15809 vsize=1237424 CPUtime=2.65 cores=0-31
/proc/15811/task/15819/stat : 15819 (claspmt) R 15809 15811 15785 0 -1 4202560 1777 0 0 0 257 8 0 0 19 0 32 0 11285189 1267122176 33114 270582939648 4194304 4964800 140734134733616 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=15811/tid=15820] ppid=15809 vsize=1237424 CPUtime=2.67 cores=0-31
/proc/15811/task/15820/stat : 15820 (claspmt) R 15809 15811 15785 0 -1 4202560 828 0 0 0 264 3 0 0 19 0 32 0 11285189 1267122176 33114 270582939648 4194304 4964800 140734134733616 18446744073709551615 4660444 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=15811/tid=15821] ppid=15809 vsize=1237424 CPUtime=2.67 cores=0-31
/proc/15811/task/15821/stat : 15821 (claspmt) R 15809 15811 15785 0 -1 4202560 884 0 0 0 264 3 0 0 19 0 32 0 11285189 1267122176 33114 270582939648 4194304 4964800 140734134733616 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=15811/tid=15822] ppid=15809 vsize=1237424 CPUtime=2.65 cores=0-31
/proc/15811/task/15822/stat : 15822 (claspmt) R 15809 15811 15785 0 -1 4202560 1442 0 0 0 259 6 0 0 19 0 32 0 11285189 1267122176 33114 270582939648 4194304 4964800 140734134733616 18446744073709551615 4668681 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=15811/tid=15823] ppid=15809 vsize=1237424 CPUtime=2.66 cores=0-31
/proc/15811/task/15823/stat : 15823 (claspmt) R 15809 15811 15785 0 -1 4202560 1159 0 0 0 261 5 0 0 20 0 32 0 11285189 1267122176 33114 270582939648 4194304 4964800 140734134733616 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=15811/tid=15824] ppid=15809 vsize=1237424 CPUtime=2.65 cores=0-31
/proc/15811/task/15824/stat : 15824 (claspmt) R 15809 15811 15785 0 -1 4202560 992 0 0 0 261 4 0 0 19 0 32 0 11285189 1267122176 33114 270582939648 4194304 4964800 140734134733616 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=15811/tid=15825] ppid=15809 vsize=1237424 CPUtime=2.78 cores=0-31
/proc/15811/task/15825/stat : 15825 (claspmt) R 15809 15811 15785 0 -1 4202560 552 0 0 0 275 3 0 0 23 0 32 0 11285189 1267122176 33114 270582939648 4194304 4964800 140734134733616 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=15811/tid=15826] ppid=15809 vsize=1237424 CPUtime=2.65 cores=0-31
/proc/15811/task/15826/stat : 15826 (claspmt) R 15809 15811 15785 0 -1 4202560 986 0 0 0 261 4 0 0 19 0 32 0 11285189 1267122176 33115 270582939648 4194304 4964800 140734134733616 18446744073709551615 4321182 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=15811/tid=15827] ppid=15809 vsize=1237424 CPUtime=2.65 cores=0-31
/proc/15811/task/15827/stat : 15827 (claspmt) R 15809 15811 15785 0 -1 4202560 1732 0 0 0 258 7 0 0 19 0 32 0 11285189 1267122176 33115 270582939648 4194304 4964800 140734134733616 18446744073709551615 4365167 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=15811/tid=15828] ppid=15809 vsize=1237424 CPUtime=2.66 cores=0-31
/proc/15811/task/15828/stat : 15828 (claspmt) R 15809 15811 15785 0 -1 4202560 877 0 0 0 262 4 0 0 19 0 32 0 11285189 1267122176 33115 270582939648 4194304 4964800 140734134733616 18446744073709551615 4669376 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=15811/tid=15829] ppid=15809 vsize=1237424 CPUtime=2.66 cores=0-31
/proc/15811/task/15829/stat : 15829 (claspmt) R 15809 15811 15785 0 -1 4202560 849 0 0 0 262 4 0 0 20 0 32 0 11285189 1267122176 33115 270582939648 4194304 4964800 140734134733616 18446744073709551615 4669557 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=15811/tid=15830] ppid=15809 vsize=1237424 CPUtime=2.66 cores=0-31
/proc/15811/task/15830/stat : 15830 (claspmt) R 15809 15811 15785 0 -1 4202560 1457 0 0 0 259 7 0 0 18 0 32 0 11285189 1267122176 33115 270582939648 4194304 4964800 140734134733616 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=15811/tid=15831] ppid=15809 vsize=1237424 CPUtime=2.65 cores=0-31
/proc/15811/task/15831/stat : 15831 (claspmt) R 15809 15811 15785 0 -1 4202560 1092 0 0 0 260 5 0 0 19 0 32 0 11285189 1267122176 33115 270582939648 4194304 4964800 140734134733616 18446744073709551615 4378480 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=15811/tid=15832] ppid=15809 vsize=1237424 CPUtime=2.66 cores=0-31
/proc/15811/task/15832/stat : 15832 (claspmt) R 15809 15811 15785 0 -1 4202560 917 0 0 0 262 4 0 0 19 0 32 0 11285190 1267122176 33115 270582939648 4194304 4964800 140734134733616 18446744073709551615 4669557 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=15811/tid=15833] ppid=15809 vsize=1237424 CPUtime=2.82 cores=0-31
/proc/15811/task/15833/stat : 15833 (claspmt) R 15809 15811 15785 0 -1 4202560 573 0 0 0 278 4 0 0 24 0 32 0 11285190 1267122176 33115 270582939648 4194304 4964800 140734134733616 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=15811/tid=15834] ppid=15809 vsize=1237424 CPUtime=2.64 cores=0-31
/proc/15811/task/15834/stat : 15834 (claspmt) R 15809 15811 15785 0 -1 4202560 1124 0 0 0 260 4 0 0 20 0 32 0 11285190 1267122176 33115 270582939648 4194304 4964800 140734134733616 18446744073709551615 4668737 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=15811/tid=15835] ppid=15809 vsize=1237424 CPUtime=2.64 cores=0-31
/proc/15811/task/15835/stat : 15835 (claspmt) R 15809 15811 15785 0 -1 4202560 1595 0 0 0 258 6 0 0 19 0 32 0 11285190 1267122176 33115 270582939648 4194304 4964800 140734134733616 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=15811/tid=15836] ppid=15809 vsize=1237424 CPUtime=2.67 cores=0-31
/proc/15811/task/15836/stat : 15836 (claspmt) R 15809 15811 15785 0 -1 4202560 842 0 0 0 263 4 0 0 19 0 32 0 11285190 1267122176 33115 270582939648 4194304 4964800 140734134733616 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=15811/tid=15837] ppid=15809 vsize=1237424 CPUtime=2.65 cores=0-31
/proc/15811/task/15837/stat : 15837 (claspmt) R 15809 15811 15785 0 -1 4202560 854 0 0 0 261 4 0 0 20 0 32 0 11285190 1267122176 33115 270582939648 4194304 4964800 140734134733616 18446744073709551615 4670423 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=15811/tid=15838] ppid=15809 vsize=1237424 CPUtime=2.64 cores=0-31
/proc/15811/task/15838/stat : 15838 (claspmt) R 15809 15811 15785 0 -1 4202560 1422 0 0 0 260 4 0 0 20 0 32 0 11285190 1267122176 33115 270582939648 4194304 4964800 140734134733616 18446744073709551615 4670538 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=15811/tid=15839] ppid=15809 vsize=1237424 CPUtime=2.66 cores=0-31
/proc/15811/task/15839/stat : 15839 (claspmt) R 15809 15811 15785 0 -1 4202560 1218 0 0 0 260 6 0 0 20 0 32 0 11285190 1267122176 33115 270582939648 4194304 4964800 140734134733616 18446744073709551615 4668756 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=15811/tid=15840] ppid=15809 vsize=1237424 CPUtime=2.66 cores=0-31
/proc/15811/task/15840/stat : 15840 (claspmt) R 15809 15811 15785 0 -1 4202560 995 0 0 0 262 4 0 0 19 0 32 0 11285190 1267122176 33115 270582939648 4194304 4964800 140734134733616 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=15811/tid=15841] ppid=15809 vsize=1237424 CPUtime=2.78 cores=0-31
/proc/15811/task/15841/stat : 15841 (claspmt) R 15809 15811 15785 0 -1 4202560 524 0 0 0 276 2 0 0 23 0 32 0 11285190 1267122176 33115 270582939648 4194304 4964800 140734134733616 18446744073709551615 4320865 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=15811/tid=15842] ppid=15809 vsize=1237424 CPUtime=2.65 cores=0-31
################
# More data... #
################
Current children cumulated vsize (KiB) 2374236
[startup+667.102 s]
/proc/loadavg: 32.10 31.99 31.92 33/445 15861
/proc/meminfo: memFree=261892804/264257624 swapFree=67111528/67111528
[pid=15811] ppid=15809 vsize=2374236 CPUtime=21303.5 cores=0-31
/proc/15811/stat : 15811 (claspmt) R 15809 15811 15785 0 -1 4202496 373773 0 0 0 2128851 1497 0 0 25 0 32 0 11285168 2431217664 367239 270582939648 4194304 4964800 140734134733616 18446744073709551615 4669350 0 0 4096 18946 18446744073709551615 0 0 17 30 0 0 0
/proc/15811/statm: 593559 367239 463 189 0 587908 0
[pid=15811/tid=15813] ppid=15809 vsize=2374236 CPUtime=666.27 cores=0-31
/proc/15811/task/15813/stat : 15813 (claspmt) R 15809 15811 15785 0 -1 4202560 3498 0 0 0 66610 17 0 0 25 0 32 0 11285189 2431217664 367239 270582939648 4194304 4964800 140734134733616 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=15811/tid=15814] ppid=15809 vsize=2374236 CPUtime=666.32 cores=0-31
/proc/15811/task/15814/stat : 15814 (claspmt) R 15809 15811 15785 0 -1 4202560 14245 0 0 0 66583 49 0 0 25 0 32 0 11285189 2431217664 367239 270582939648 4194304 4964800 140734134733616 18446744073709551615 4647774 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=15811/tid=15815] ppid=15809 vsize=2374236 CPUtime=666.18 cores=0-31
/proc/15811/task/15815/stat : 15815 (claspmt) R 15809 15811 15785 0 -1 4202560 3436 0 0 0 66595 23 0 0 25 0 32 0 11285189 2431217664 367239 270582939648 4194304 4964800 140734134733616 18446744073709551615 4670313 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=15811/tid=15816] ppid=15809 vsize=2374236 CPUtime=666.21 cores=0-31
/proc/15811/task/15816/stat : 15816 (claspmt) R 15809 15811 15785 0 -1 4202560 8834 0 0 0 66582 39 0 0 25 0 32 0 11285189 2431217664 367239 270582939648 4194304 4964800 140734134733616 18446744073709551615 4342162 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=15811/tid=15817] ppid=15809 vsize=2374236 CPUtime=664.5 cores=0-31
/proc/15811/task/15817/stat : 15817 (claspmt) R 15809 15811 15785 0 -1 4202560 9868 0 0 0 66403 47 0 0 25 0 32 0 11285189 2431217664 367239 270582939648 4194304 4964800 140734134733616 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=15811/tid=15818] ppid=15809 vsize=2374236 CPUtime=666.34 cores=0-31
/proc/15811/task/15818/stat : 15818 (claspmt) R 15809 15811 15785 0 -1 4202560 3514 0 0 0 66607 27 0 0 18 0 32 0 11285189 2431217664 367239 270582939648 4194304 4964800 140734134733616 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=15811/tid=15819] ppid=15809 vsize=2374236 CPUtime=665.27 cores=0-31
/proc/15811/task/15819/stat : 15819 (claspmt) R 15809 15811 15785 0 -1 4202560 46263 0 0 0 66383 144 0 0 25 0 32 0 11285189 2431217664 367239 270582939648 4194304 4964800 140734134733616 18446744073709551615 4321065 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=15811/tid=15820] ppid=15809 vsize=2374236 CPUtime=666.31 cores=0-31
/proc/15811/task/15820/stat : 15820 (claspmt) R 15809 15811 15785 0 -1 4202560 2806 0 0 0 66612 19 0 0 25 0 32 0 11285189 2431217664 367239 270582939648 4194304 4964800 140734134733616 18446744073709551615 4668564 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=15811/tid=15821] ppid=15809 vsize=2374236 CPUtime=666.33 cores=0-31
/proc/15811/task/15821/stat : 15821 (claspmt) R 15809 15811 15785 0 -1 4202560 3323 0 0 0 66615 18 0 0 25 0 32 0 11285189 2431217664 367239 270582939648 4194304 4964800 140734134733616 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=15811/tid=15822] ppid=15809 vsize=2374236 CPUtime=666.29 cores=0-31
/proc/15811/task/15822/stat : 15822 (claspmt) R 15809 15811 15785 0 -1 4202560 14469 0 0 0 66576 53 0 0 25 0 32 0 11285189 2431217664 367239 270582939648 4194304 4964800 140734134733616 18446744073709551615 4321038 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=15811/tid=15823] ppid=15809 vsize=2374236 CPUtime=666.31 cores=0-31
/proc/15811/task/15823/stat : 15823 (claspmt) R 15809 15811 15785 0 -1 4202560 3288 0 0 0 66609 22 0 0 25 0 32 0 11285189 2431217664 367239 270582939648 4194304 4964800 140734134733616 18446744073709551615 4669338 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=15811/tid=15824] ppid=15809 vsize=2374236 CPUtime=666.27 cores=0-31
/proc/15811/task/15824/stat : 15824 (claspmt) R 15809 15811 15785 0 -1 4202560 9973 0 0 0 66584 43 0 0 25 0 32 0 11285189 2431217664 367239 270582939648 4194304 4964800 140734134733616 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=15811/tid=15825] ppid=15809 vsize=2374236 CPUtime=663.71 cores=0-31
/proc/15811/task/15825/stat : 15825 (claspmt) R 15809 15811 15785 0 -1 4202560 10924 0 0 0 66321 50 0 0 25 0 32 0 11285189 2431217664 367239 270582939648 4194304 4964800 140734134733616 18446744073709551615 4668924 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=15811/tid=15826] ppid=15809 vsize=2374236 CPUtime=663.37 cores=0-31
/proc/15811/task/15826/stat : 15826 (claspmt) R 15809 15811 15785 0 -1 4202560 3273 0 0 0 66317 20 0 0 25 0 32 0 11285189 2431217664 367239 270582939648 4194304 4964800 140734134733616 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=15811/tid=15827] ppid=15809 vsize=2374236 CPUtime=666.2 cores=0-31
/proc/15811/task/15827/stat : 15827 (claspmt) R 15809 15811 15785 0 -1 4202560 46706 0 0 0 66469 151 0 0 25 0 32 0 11285189 2431217664 367239 270582939648 4194304 4964800 140734134733616 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=15811/tid=15828] ppid=15809 vsize=2374236 CPUtime=666.24 cores=0-31
/proc/15811/task/15828/stat : 15828 (claspmt) R 15809 15811 15785 0 -1 4202560 3006 0 0 0 66602 22 0 0 25 0 32 0 11285189 2431217664 367239 270582939648 4194304 4964800 140734134733616 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=15811/tid=15829] ppid=15809 vsize=2374236 CPUtime=666.29 cores=0-31
/proc/15811/task/15829/stat : 15829 (claspmt) R 15809 15811 15785 0 -1 4202560 3661 0 0 0 66606 23 0 0 25 0 32 0 11285189 2431217664 367239 270582939648 4194304 4964800 140734134733616 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=15811/tid=15830] ppid=15809 vsize=2374236 CPUtime=666.34 cores=0-31
/proc/15811/task/15830/stat : 15830 (claspmt) R 15809 15811 15785 0 -1 4202560 10928 0 0 0 66595 39 0 0 25 0 32 0 11285189 2431217664 367239 270582939648 4194304 4964800 140734134733616 18446744073709551615 4313792 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=15811/tid=15831] ppid=15809 vsize=2374236 CPUtime=666.37 cores=0-31
/proc/15811/task/15831/stat : 15831 (claspmt) R 15809 15811 15785 0 -1 4202560 2890 0 0 0 66620 17 0 0 25 0 32 0 11285189 2431217664 367239 270582939648 4194304 4964800 140734134733616 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=15811/tid=15832] ppid=15809 vsize=2374236 CPUtime=666.3 cores=0-31
/proc/15811/task/15832/stat : 15832 (claspmt) R 15809 15811 15785 0 -1 4202560 11204 0 0 0 66587 43 0 0 25 0 32 0 11285190 2431217664 367239 270582939648 4194304 4964800 140734134733616 18446744073709551615 4627904 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=15811/tid=15833] ppid=15809 vsize=2374236 CPUtime=666.45 cores=0-31
/proc/15811/task/15833/stat : 15833 (claspmt) R 15809 15811 15785 0 -1 4202560 10064 0 0 0 66596 49 0 0 25 0 32 0 11285190 2431217664 367239 270582939648 4194304 4964800 140734134733616 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=15811/tid=15834] ppid=15809 vsize=2374236 CPUtime=666.08 cores=0-31
/proc/15811/task/15834/stat : 15834 (claspmt) R 15809 15811 15785 0 -1 4202560 3445 0 0 0 66582 26 0 0 25 0 32 0 11285190 2431217664 367239 270582939648 4194304 4964800 140734134733616 18446744073709551615 4342213 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=15811/tid=15835] ppid=15809 vsize=2374236 CPUtime=666.21 cores=0-31
/proc/15811/task/15835/stat : 15835 (claspmt) R 15809 15811 15785 0 -1 4202560 47895 0 0 0 66482 139 0 0 25 0 32 0 11285190 2431217664 367239 270582939648 4194304 4964800 140734134733616 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=15811/tid=15836] ppid=15809 vsize=2374236 CPUtime=666.37 cores=0-31
/proc/15811/task/15836/stat : 15836 (claspmt) R 15809 15811 15785 0 -1 4202560 2849 0 0 0 66617 20 0 0 25 0 32 0 11285190 2431217664 367239 270582939648 4194304 4964800 140734134733616 18446744073709551615 4669476 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=15811/tid=15837] ppid=15809 vsize=2374236 CPUtime=666.26 cores=0-31
/proc/15811/task/15837/stat : 15837 (claspmt) R 15809 15811 15785 0 -1 4202560 3622 0 0 0 66602 24 0 0 25 0 32 0 11285190 2431217664 367239 270582939648 4194304 4964800 140734134733616 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=15811/tid=15838] ppid=15809 vsize=2374236 CPUtime=666.31 cores=0-31
/proc/15811/task/15838/stat : 15838 (claspmt) R 15809 15811 15785 0 -1 4202560 12731 0 0 0 66579 52 0 0 25 0 32 0 11285190 2431217664 367239 270582939648 4194304 4964800 140734134733616 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=15811/tid=15839] ppid=15809 vsize=2374236 CPUtime=663.38 cores=0-31
/proc/15811/task/15839/stat : 15839 (claspmt) R 15809 15811 15785 0 -1 4202560 3392 0 0 0 66313 25 0 0 25 0 32 0 11285190 2431217664 367239 270582939648 4194304 4964800 140734134733616 18446744073709551615 4670538 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=15811/tid=15840] ppid=15809 vsize=2374236 CPUtime=664.21 cores=0-31
/proc/15811/task/15840/stat : 15840 (claspmt) R 15809 15811 15785 0 -1 4202560 8714 0 0 0 66381 40 0 0 25 0 32 0 11285190 2431217664 367239 270582939648 4194304 4964800 140734134733616 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=15811/tid=15841] ppid=15809 vsize=2374236 CPUtime=666.41 cores=0-31
/proc/15811/task/15841/stat : 15841 (claspmt) R 15809 15811 15785 0 -1 4202560 9351 0 0 0 66596 45 0 0 25 0 32 0 11285190 2431217664 367239 270582939648 4194304 4964800 140734134733616 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=15811/tid=15842] ppid=15809 vsize=2374236 CPUtime=662.25 cores=0-31
/proc/15811/task/15842/stat : 15842 (claspmt) R 15809 15811 15785 0 -1 4202560 3500 0 0 0 66207 18 0 0 25 0 32 0 11285190 2431217664 367239 270582939648 4194304 4964800 140734134733616 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=15811/tid=15843] ppid=15809 vsize=2374236 CPUtime=665.21 cores=0-31
/proc/15811/task/15843/stat : 15843 (claspmt) R 15809 15811 15785 0 -1 4202560 46838 0 0 0 66367 154 0 0 25 0 32 0 11285190 2431217664 367239 270582939648 4194304 4964800 140734134733616 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 21303.5
Current children cumulated vsize (KiB) 2374236
[startup+668.701 s]
/proc/loadavg: 32.09 31.99 31.92 33/445 15861
/proc/meminfo: memFree=261893156/264257624 swapFree=67111528/67111528
[pid=15811] ppid=15809 vsize=2374236 CPUtime=21355.2 cores=0-31
/proc/15811/stat : 15811 (claspmt) R 15809 15811 15785 0 -1 4202496 373773 0 0 0 2134018 1500 0 0 25 0 32 0 11285168 2431217664 367228 270582939648 4194304 4964800 140734134733616 18446744073709551615 4630059 0 0 4096 18946 18446744073709551615 0 0 17 30 0 0 0
/proc/15811/statm: 593559 367228 463 189 0 587908 0
[pid=15811/tid=15813] ppid=15809 vsize=2374236 CPUtime=667.89 cores=0-31
/proc/15811/task/15813/stat : 15813 (claspmt) R 15809 15811 15785 0 -1 4202560 3498 0 0 0 66772 17 0 0 25 0 32 0 11285189 2431217664 367228 270582939648 4194304 4964800 140734134733616 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=15811/tid=15814] ppid=15809 vsize=2374236 CPUtime=667.94 cores=0-31
/proc/15811/task/15814/stat : 15814 (claspmt) R 15809 15811 15785 0 -1 4202560 14245 0 0 0 66745 49 0 0 25 0 32 0 11285189 2431217664 367228 270582939648 4194304 4964800 140734134733616 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=15811/tid=15815] ppid=15809 vsize=2374236 CPUtime=667.8 cores=0-31
/proc/15811/task/15815/stat : 15815 (claspmt) R 15809 15811 15785 0 -1 4202560 3436 0 0 0 66757 23 0 0 25 0 32 0 11285189 2431217664 367228 270582939648 4194304 4964800 140734134733616 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=15811/tid=15816] ppid=15809 vsize=2374236 CPUtime=667.82 cores=0-31
/proc/15811/task/15816/stat : 15816 (claspmt) R 15809 15811 15785 0 -1 4202560 8834 0 0 0 66743 39 0 0 25 0 32 0 11285189 2431217664 367228 270582939648 4194304 4964800 140734134733616 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=15811/tid=15817] ppid=15809 vsize=2374236 CPUtime=666.12 cores=0-31
/proc/15811/task/15817/stat : 15817 (claspmt) R 15809 15811 15785 0 -1 4202560 9868 0 0 0 66565 47 0 0 25 0 32 0 11285189 2431217664 367228 270582939648 4194304 4964800 140734134733616 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=15811/tid=15818] ppid=15809 vsize=2374236 CPUtime=667.96 cores=0-31
/proc/15811/task/15818/stat : 15818 (claspmt) R 15809 15811 15785 0 -1 4202560 3514 0 0 0 66769 27 0 0 20 0 32 0 11285189 2431217664 367228 270582939648 4194304 4964800 140734134733616 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=15811/tid=15819] ppid=15809 vsize=2374236 CPUtime=666.83 cores=0-31
/proc/15811/task/15819/stat : 15819 (claspmt) R 15809 15811 15785 0 -1 4202560 46263 0 0 0 66539 144 0 0 25 0 32 0 11285189 2431217664 367228 270582939648 4194304 4964800 140734134733616 18446744073709551615 4669413 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=15811/tid=15820] ppid=15809 vsize=2374236 CPUtime=667.93 cores=0-31
/proc/15811/task/15820/stat : 15820 (claspmt) R 15809 15811 15785 0 -1 4202560 2806 0 0 0 66774 19 0 0 25 0 32 0 11285189 2431217664 367228 270582939648 4194304 4964800 140734134733616 18446744073709551615 4647774 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=15811/tid=15821] ppid=15809 vsize=2374236 CPUtime=667.95 cores=0-31
/proc/15811/task/15821/stat : 15821 (claspmt) R 15809 15811 15785 0 -1 4202560 3323 0 0 0 66777 18 0 0 25 0 32 0 11285189 2431217664 367228 270582939648 4194304 4964800 140734134733616 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=15811/tid=15822] ppid=15809 vsize=2374236 CPUtime=667.9 cores=0-31
/proc/15811/task/15822/stat : 15822 (claspmt) R 15809 15811 15785 0 -1 4202560 14469 0 0 0 66737 53 0 0 25 0 32 0 11285189 2431217664 367228 270582939648 4194304 4964800 140734134733616 18446744073709551615 4669512 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=15811/tid=15823] ppid=15809 vsize=2374236 CPUtime=667.92 cores=0-31
/proc/15811/task/15823/stat : 15823 (claspmt) R 15809 15811 15785 0 -1 4202560 3288 0 0 0 66770 22 0 0 25 0 32 0 11285189 2431217664 367228 270582939648 4194304 4964800 140734134733616 18446744073709551615 4669507 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=15811/tid=15824] ppid=15809 vsize=2374236 CPUtime=667.89 cores=0-31
/proc/15811/task/15824/stat : 15824 (claspmt) R 15809 15811 15785 0 -1 4202560 9973 0 0 0 66746 43 0 0 25 0 32 0 11285189 2431217664 367228 270582939648 4194304 4964800 140734134733616 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=15811/tid=15825] ppid=15809 vsize=2374236 CPUtime=665.33 cores=0-31
/proc/15811/task/15825/stat : 15825 (claspmt) S 15809 15811 15785 0 -1 4202560 10924 0 0 0 66483 50 0 0 25 0 32 0 11285189 2431217664 367228 270582939648 4194304 4964800 140734134733616 18446744073709551615 258651060958 0 0 4096 18946 18446604500137672160 0 0 -1 15 0 0 0
[pid=15811/tid=15826] ppid=15809 vsize=2374236 CPUtime=664.99 cores=0-31
/proc/15811/task/15826/stat : 15826 (claspmt) R 15809 15811 15785 0 -1 4202560 3273 0 0 0 66479 20 0 0 25 0 32 0 11285189 2431217664 367228 270582939648 4194304 4964800 140734134733616 18446744073709551615 4320905 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=15811/tid=15827] ppid=15809 vsize=2374236 CPUtime=667.82 cores=0-31
/proc/15811/task/15827/stat : 15827 (claspmt) R 15809 15811 15785 0 -1 4202560 46706 0 0 0 66631 151 0 0 25 0 32 0 11285189 2431217664 367228 270582939648 4194304 4964800 140734134733616 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=15811/tid=15828] ppid=15809 vsize=2374236 CPUtime=667.86 cores=0-31
/proc/15811/task/15828/stat : 15828 (claspmt) R 15809 15811 15785 0 -1 4202560 3006 0 0 0 66764 22 0 0 25 0 32 0 11285189 2431217664 367228 270582939648 4194304 4964800 140734134733616 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=15811/tid=15829] ppid=15809 vsize=2374236 CPUtime=667.91 cores=0-31
/proc/15811/task/15829/stat : 15829 (claspmt) R 15809 15811 15785 0 -1 4202560 3661 0 0 0 66768 23 0 0 25 0 32 0 11285189 2431217664 367228 270582939648 4194304 4964800 140734134733616 18446744073709551615 4669547 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=15811/tid=15830] ppid=15809 vsize=2374236 CPUtime=667.95 cores=0-31
/proc/15811/task/15830/stat : 15830 (claspmt) R 15809 15811 15785 0 -1 4202560 10928 0 0 0 66756 39 0 0 25 0 32 0 11285189 2431217664 367228 270582939648 4194304 4964800 140734134733616 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=15811/tid=15831] ppid=15809 vsize=2374236 CPUtime=668 cores=0-31
/proc/15811/task/15831/stat : 15831 (claspmt) R 15809 15811 15785 0 -1 4202560 2890 0 0 0 66782 18 0 0 25 0 32 0 11285189 2431217664 367228 270582939648 4194304 4964800 140734134733616 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=15811/tid=15832] ppid=15809 vsize=2374236 CPUtime=667.92 cores=0-31
/proc/15811/task/15832/stat : 15832 (claspmt) R 15809 15811 15785 0 -1 4202560 11204 0 0 0 66749 43 0 0 25 0 32 0 11285190 2431217664 367228 270582939648 4194304 4964800 140734134733616 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=15811/tid=15833] ppid=15809 vsize=2374236 CPUtime=668.07 cores=0-31
/proc/15811/task/15833/stat : 15833 (claspmt) R 15809 15811 15785 0 -1 4202560 10064 0 0 0 66758 49 0 0 25 0 32 0 11285190 2431217664 367228 270582939648 4194304 4964800 140734134733616 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=15811/tid=15834] ppid=15809 vsize=2374236 CPUtime=667.69 cores=0-31
/proc/15811/task/15834/stat : 15834 (claspmt) R 15809 15811 15785 0 -1 4202560 3445 0 0 0 66743 26 0 0 25 0 32 0 11285190 2431217664 367228 270582939648 4194304 4964800 140734134733616 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=15811/tid=15835] ppid=15809 vsize=2374236 CPUtime=667.83 cores=0-31
/proc/15811/task/15835/stat : 15835 (claspmt) R 15809 15811 15785 0 -1 4202560 47895 0 0 0 66644 139 0 0 25 0 32 0 11285190 2431217664 367228 270582939648 4194304 4964800 140734134733616 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=15811/tid=15836] ppid=15809 vsize=2374236 CPUtime=668 cores=0-31
/proc/15811/task/15836/stat : 15836 (claspmt) R 15809 15811 15785 0 -1 4202560 2849 0 0 0 66779 21 0 0 25 0 32 0 11285190 2431217664 367228 270582939648 4194304 4964800 140734134733616 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=15811/tid=15837] ppid=15809 vsize=2374236 CPUtime=667.89 cores=0-31
/proc/15811/task/15837/stat : 15837 (claspmt) R 15809 15811 15785 0 -1 4202560 3622 0 0 0 66764 25 0 0 25 0 32 0 11285190 2431217664 367228 270582939648 4194304 4964800 140734134733616 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=15811/tid=15838] ppid=15809 vsize=2374236 CPUtime=667.93 cores=0-31
/proc/15811/task/15838/stat : 15838 (claspmt) R 15809 15811 15785 0 -1 4202560 12731 0 0 0 66740 53 0 0 18 0 32 0 11285190 2431217664 367228 270582939648 4194304 4964800 140734134733616 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=15811/tid=15839] ppid=15809 vsize=2374236 CPUtime=665 cores=0-31
/proc/15811/task/15839/stat : 15839 (claspmt) R 15809 15811 15785 0 -1 4202560 3392 0 0 0 66475 25 0 0 25 0 32 0 11285190 2431217664 367228 270582939648 4194304 4964800 140734134733616 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=15811/tid=15840] ppid=15809 vsize=2374236 CPUtime=665.83 cores=0-31
/proc/15811/task/15840/stat : 15840 (claspmt) R 15809 15811 15785 0 -1 4202560 8714 0 0 0 66543 40 0 0 25 0 32 0 11285190 2431217664 367228 270582939648 4194304 4964800 140734134733616 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=15811/tid=15841] ppid=15809 vsize=2374236 CPUtime=668.03 cores=0-31
/proc/15811/task/15841/stat : 15841 (claspmt) R 15809 15811 15785 0 -1 4202560 9351 0 0 0 66758 45 0 0 25 0 32 0 11285190 2431217664 367228 270582939648 4194304 4964800 140734134733616 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=15811/tid=15842] ppid=15809 vsize=2374236 CPUtime=663.87 cores=0-31
/proc/15811/task/15842/stat : 15842 (claspmt) R 15809 15811 15785 0 -1 4202560 3500 0 0 0 66369 18 0 0 25 0 32 0 11285190 2431217664 367228 270582939648 4194304 4964800 140734134733616 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=15811/tid=15843] ppid=15809 vsize=2374236 CPUtime=666.82 cores=0-31
/proc/15811/task/15843/stat : 15843 (claspmt) R 15809 15811 15785 0 -1 4202560 46838 0 0 0 66528 154 0 0 18 0 32 0 11285190 2431217664 367228 270582939648 4194304 4964800 140734134733616 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 21355.2
Current children cumulated vsize (KiB) 2374236
[startup+669.101 s]
/proc/loadavg: 32.09 31.99 31.92 33/445 15861
/proc/meminfo: memFree=261893156/264257624 swapFree=67111528/67111528
[pid=15811] ppid=15809 vsize=2268152 CPUtime=21358.4 cores=0-31
/proc/15811/stat : 15811 (claspmt) R 15809 15811 15785 0 -1 4202496 373785 0 0 0 2134309 1529 0 0 17 0 1 0 11285168 2322587648 363039 270582939648 4194304 4964800 140734134733616 18446744073709551615 258650610907 0 0 4096 18946 0 0 0 17 30 0 0 0
/proc/15811/statm: 567038 363039 474 189 0 561387 0
Current children cumulated CPU time (s) 21358.4
Current children cumulated vsize (KiB) 2268152
[startup+669.301 s]
/proc/loadavg: 32.09 31.99 31.92 33/445 15861
/proc/meminfo: memFree=261893156/264257624 swapFree=67111528/67111528
[pid=15811] ppid=15809 vsize=1910828 CPUtime=21358.6 cores=0-31
/proc/15811/stat : 15811 (claspmt) R 15809 15811 15785 0 -1 4202496 373785 0 0 0 2134327 1532 0 0 17 0 1 0 11285168 1956687872 288178 270582939648 4194304 4964800 140734134733616 18446744073709551615 258650999159 0 0 4096 18946 0 0 0 17 30 0 0 0
/proc/15811/statm: 477707 288178 474 189 0 472056 0
Current children cumulated CPU time (s) 21358.6
Current children cumulated vsize (KiB) 1910828
[startup+669.401 s]
/proc/loadavg: 32.09 31.99 31.92 33/445 15861
/proc/meminfo: memFree=261893156/264257624 swapFree=67111528/67111528
[pid=15811] ppid=15809 vsize=0 CPUtime=21358.7 cores=0-31
/proc/15811/stat : 15811 (claspmt) S 15809 15811 15785 0 -1 4202500 373786 0 0 0 2134327 1542 0 0 17 0 1 0 11285168 0 0 270582939648 0 0 0 0 0 0 2147483391 4096 18946 18446744073709551615 0 0 17 30 0 0 0
/proc/15811/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 21358.7
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 669.401
CPU time (s): 21358.7
CPU user time (s): 21343.3
CPU system time (s): 15.4217
CPU usage (%): 3190.72
Max. virtual memory (cumulated for all children) (KiB): 2374236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21343.3
system time used= 15.4217
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 373786
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= 371219
involuntary context switches= 51761
runsolver used 4.11337 second user time and 14.7898 second system time
The end
Begin job on node200 at 2011-06-07 17:03:03
IDJOB=3472310
IDBENCH=70818
IDSOLVER=1961
FILE ID=node200/3472310-1307458983
RUNJOBID= node200-1307458983-15799
PBS_JOBID= 13509189
Free space on /tmp= 61744 MiB
SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxor/maxxor032.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-3472310-1307458983/watcher-3472310-1307458983 -o /tmp/evaluation-result-3472310-1307458983/solver-3472310-1307458983 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472310-1307458983.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 256000 MiB
NBCORE= 32
MD5SUM BENCH= e1a6f3a7c69cc7fbec84aac478eb151a
RANDOM SEED=410279634
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: 263356540 kB
Buffers: 131760 kB
Cached: 507152 kB
SwapCached: 0 kB
Active: 173476 kB
Inactive: 528816 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263356540 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 1460 kB
Writeback: 0 kB
AnonPages: 64608 kB
Mapped: 13748 kB
Slab: 119100 kB
PageTables: 5008 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 169020 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= 61744 MiB
End job on node200 at 2011-06-07 17:14:12