0.00/0.00 c clasp version 2.0.0-RC2
0.00/0.00 c Reading from ...480514/instance-3472322-1307480514.cnf
7.39/7.49 c Solving...
3533.11/122.89 s UNSATISFIABLE
3533.11/122.89
3533.11/122.89 c Models : 0
3533.11/122.89 c Time : 120.447s (Solving: 112.96s 1st Model: 0.00s Unsat: 112.96s)
3533.11/122.89 c CPU Time : 3530.760s
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-3472322-1307480514/watcher-3472322-1307480514 -o /tmp/evaluation-result-3472322-1307480514/solver-3472322-1307480514 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472322-1307480514.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 262144000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 262195200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.43 3.96 4.11 1/413 17289
/proc/meminfo: memFree=263158112/264257624 swapFree=67111528/67111528
[pid=17289] ppid=17287 vsize=82704 CPUtime=0.02 cores=0-31
/proc/17289/stat : 17289 (claspmt) R 17287 17289 17263 0 -1 4202496 4427 0 0 0 2 0 0 0 21 0 1 0 13438571 84688896 4357 270582939648 4194304 4964800 140734170005392 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/17289/statm: 20676 4365 373 189 0 15550 0
[startup+0.083476 s]
/proc/loadavg: 3.43 3.96 4.11 1/413 17289
/proc/meminfo: memFree=263158112/264257624 swapFree=67111528/67111528
[pid=17289] ppid=17287 vsize=82704 CPUtime=0.07 cores=0-31
/proc/17289/stat : 17289 (claspmt) R 17287 17289 17263 0 -1 4202496 12211 0 0 0 5 2 0 0 21 0 1 0 13438571 84688896 12141 270582939648 4194304 4964800 140734170005392 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/17289/statm: 20676 12151 373 189 0 15550 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 82704
[startup+0.100479 s]
/proc/loadavg: 3.43 3.96 4.11 1/413 17289
/proc/meminfo: memFree=263158112/264257624 swapFree=67111528/67111528
[pid=17289] ppid=17287 vsize=82704 CPUtime=0.09 cores=0-31
/proc/17289/stat : 17289 (claspmt) R 17287 17289 17263 0 -1 4202496 14956 0 0 0 7 2 0 0 21 0 1 0 13438571 84688896 14886 270582939648 4194304 4964800 140734170005392 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/17289/statm: 20676 14895 373 189 0 15550 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 82704
[startup+0.300459 s]
/proc/loadavg: 3.43 3.96 4.11 1/413 17289
/proc/meminfo: memFree=263158112/264257624 swapFree=67111528/67111528
[pid=17289] ppid=17287 vsize=128116 CPUtime=0.28 cores=0-31
/proc/17289/stat : 17289 (claspmt) R 17287 17289 17263 0 -1 4202496 31623 0 0 0 24 4 0 0 22 0 1 0 13438571 131190784 26599 270582939648 4194304 4964800 140734170005392 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/17289/statm: 32029 26600 386 189 0 26903 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 128116
[startup+0.700576 s]
/proc/loadavg: 3.43 3.96 4.11 1/413 17289
/proc/meminfo: memFree=263158112/264257624 swapFree=67111528/67111528
[pid=17289] ppid=17287 vsize=149900 CPUtime=0.69 cores=0-31
/proc/17289/stat : 17289 (claspmt) R 17287 17289 17263 0 -1 4202496 38726 0 0 0 62 7 0 0 23 0 1 0 13438571 153497600 32182 270582939648 4194304 4964800 140734170005392 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/17289/statm: 37475 32183 386 189 0 32349 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 149900
[startup+1.50057 s]
/proc/loadavg: 3.43 3.96 4.11 2/414 17290
/proc/meminfo: memFree=262995044/264257624 swapFree=67111528/67111528
[pid=17289] ppid=17287 vsize=264312 CPUtime=1.49 cores=0-31
/proc/17289/stat : 17289 (claspmt) R 17287 17289 17263 0 -1 4202496 78674 0 0 0 133 16 0 0 25 0 1 0 13438571 270655488 60761 270582939648 4194304 4964800 140734170005392 18446744073709551615 4618467 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/17289/statm: 66078 60763 397 189 0 60952 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 264312
[startup+3.10062 s]
/proc/loadavg: 3.43 3.96 4.11 2/414 17290
/proc/meminfo: memFree=262870264/264257624 swapFree=67111528/67111528
[pid=17289] ppid=17287 vsize=312040 CPUtime=3.09 cores=0-31
/proc/17289/stat : 17289 (claspmt) R 17287 17289 17263 0 -1 4202496 89929 0 0 0 291 18 0 0 25 0 1 0 13438571 319528960 72016 270582939648 4194304 4964800 140734170005392 18446744073709551615 4612267 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/17289/statm: 78010 72016 401 189 0 72884 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 312040
[startup+6.30069 s]
/proc/loadavg: 3.24 3.91 4.09 2/414 17290
/proc/meminfo: memFree=262870664/264257624 swapFree=67111528/67111528
[pid=17289] ppid=17287 vsize=312572 CPUtime=6.28 cores=0-31
/proc/17289/stat : 17289 (claspmt) R 17287 17289 17263 0 -1 4202496 90169 0 0 0 610 18 0 0 25 0 1 0 13438571 320073728 72256 270582939648 4194304 4964800 140734170005392 18446744073709551615 4615070 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/17289/statm: 78143 72256 401 189 0 73017 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 312572
[startup+12.7018 s]
/proc/loadavg: 5.38 4.34 4.23 31/445 17321
/proc/meminfo: memFree=261350212/264257624 swapFree=67111528/67111528
[pid=17289] ppid=17287 vsize=2823016 CPUtime=88.14 cores=0-31
/proc/17289/stat : 17289 (claspmt) R 17287 17289 17263 0 -1 4202496 603114 0 0 0 4029 4785 0 0 18 0 32 0 13438571 2890768384 456790 270582939648 4194304 4964800 140734170005392 18446744073709551615 4370264 0 0 4096 18946 18446744073709551615 0 0 17 20 0 0 0
/proc/17289/statm: 705754 456790 461 189 0 700103 0
[pid=17289/tid=17291] ppid=17287 vsize=2823016 CPUtime=2.55 cores=0-31
/proc/17289/task/17291/stat : 17291 (claspmt) R 17287 17289 17263 0 -1 4202560 13711 0 0 0 88 167 0 0 16 0 32 0 13439321 2890768384 456790 270582939648 4194304 4964800 140734170005392 18446744073709551615 4370236 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=17289/tid=17292] ppid=17287 vsize=2823016 CPUtime=2.45 cores=0-31
/proc/17289/task/17292/stat : 17292 (claspmt) R 17287 17289 17263 0 -1 4202560 18600 0 0 0 91 154 0 0 16 0 32 0 13439321 2890768384 456790 270582939648 4194304 4964800 140734170005392 18446744073709551615 4362944 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=17289/tid=17293] ppid=17287 vsize=2823016 CPUtime=2.47 cores=0-31
/proc/17289/task/17293/stat : 17293 (claspmt) R 17287 17289 17263 0 -1 4202560 16871 0 0 0 87 160 0 0 18 0 32 0 13439321 2890768384 456790 270582939648 4194304 4964800 140734170005392 18446744073709551615 4670239 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17289/tid=17294] ppid=17287 vsize=2823016 CPUtime=2.29 cores=0-31
/proc/17289/task/17294/stat : 17294 (claspmt) R 17287 17289 17263 0 -1 4202560 15035 0 0 0 80 149 0 0 16 0 32 0 13439321 2890768384 456790 270582939648 4194304 4964800 140734170005392 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=17289/tid=17295] ppid=17287 vsize=2823016 CPUtime=3.71 cores=0-31
/proc/17289/task/17295/stat : 17295 (claspmt) R 17287 17289 17263 0 -1 4202560 16164 0 0 0 214 157 0 0 18 0 32 0 13439321 2890768384 456790 270582939648 4194304 4964800 140734170005392 18446744073709551615 4670624 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=17289/tid=17296] ppid=17287 vsize=2823016 CPUtime=2.48 cores=0-31
/proc/17289/task/17296/stat : 17296 (claspmt) R 17287 17289 17263 0 -1 4202560 19629 0 0 0 90 158 0 0 16 0 32 0 13439321 2890768384 456790 270582939648 4194304 4964800 140734170005392 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=17289/tid=17297] ppid=17287 vsize=2823016 CPUtime=2.41 cores=0-31
/proc/17289/task/17297/stat : 17297 (claspmt) R 17287 17289 17263 0 -1 4202560 17105 0 0 0 88 153 0 0 16 0 32 0 13439321 2890768384 456791 270582939648 4194304 4964800 140734170005392 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=17289/tid=17298] ppid=17287 vsize=2823016 CPUtime=2.5 cores=0-31
/proc/17289/task/17298/stat : 17298 (claspmt) R 17287 17289 17263 0 -1 4202560 14566 0 0 0 88 162 0 0 16 0 32 0 13439321 2890768384 456791 270582939648 4194304 4964800 140734170005392 18446744073709551615 4370295 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17289/tid=17299] ppid=17287 vsize=2823016 CPUtime=2.37 cores=0-31
/proc/17289/task/17299/stat : 17299 (claspmt) R 17287 17289 17263 0 -1 4202560 14750 0 0 0 84 153 0 0 16 0 32 0 13439321 2890768384 456791 270582939648 4194304 4964800 140734170005392 18446744073709551615 4370259 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=17289/tid=17300] ppid=17287 vsize=2823016 CPUtime=2.5 cores=0-31
/proc/17289/task/17300/stat : 17300 (claspmt) R 17287 17289 17263 0 -1 4202560 18110 0 0 0 88 162 0 0 16 0 32 0 13439321 2890768384 456791 270582939648 4194304 4964800 140734170005392 18446744073709551615 4342206 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=17289/tid=17301] ppid=17287 vsize=2823016 CPUtime=2.53 cores=0-31
/proc/17289/task/17301/stat : 17301 (claspmt) R 17287 17289 17263 0 -1 4202560 18781 0 0 0 89 164 0 0 16 0 32 0 13439321 2890768384 456791 270582939648 4194304 4964800 140734170005392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17289/tid=17302] ppid=17287 vsize=2823016 CPUtime=2.33 cores=0-31
/proc/17289/task/17302/stat : 17302 (claspmt) R 17287 17289 17263 0 -1 4202560 14863 0 0 0 87 146 0 0 16 0 32 0 13439321 2890768384 456791 270582939648 4194304 4964800 140734170005392 18446744073709551615 4370224 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=17289/tid=17303] ppid=17287 vsize=2823016 CPUtime=3.7 cores=0-31
/proc/17289/task/17303/stat : 17303 (claspmt) R 17287 17289 17263 0 -1 4202560 16824 0 0 0 219 151 0 0 18 0 32 0 13439321 2890768384 456791 270582939648 4194304 4964800 140734170005392 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17289/tid=17304] ppid=17287 vsize=2823016 CPUtime=2.47 cores=0-31
/proc/17289/task/17304/stat : 17304 (claspmt) R 17287 17289 17263 0 -1 4202560 19504 0 0 0 92 155 0 0 16 0 32 0 13439321 2890768384 456791 270582939648 4194304 4964800 140734170005392 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=17289/tid=17305] ppid=17287 vsize=2823016 CPUtime=2.58 cores=0-31
/proc/17289/task/17305/stat : 17305 (claspmt) R 17287 17289 17263 0 -1 4202560 15530 0 0 0 91 167 0 0 18 0 32 0 13439322 2890768384 456791 270582939648 4194304 4964800 140734170005392 18446744073709551615 4670534 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=17289/tid=17306] ppid=17287 vsize=2823016 CPUtime=1.95 cores=0-31
/proc/17289/task/17306/stat : 17306 (claspmt) R 17287 17289 17263 0 -1 4202560 13881 0 0 0 81 114 0 0 18 0 32 0 13439322 2890768384 456791 270582939648 4194304 4964800 140734170005392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=17289/tid=17307] ppid=17287 vsize=2823016 CPUtime=2.31 cores=0-31
/proc/17289/task/17307/stat : 17307 (claspmt) R 17287 17289 17263 0 -1 4202560 14770 0 0 0 84 147 0 0 16 0 32 0 13439322 2890768384 456791 270582939648 4194304 4964800 140734170005392 18446744073709551615 4370269 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17289/tid=17308] ppid=17287 vsize=2823016 CPUtime=2.49 cores=0-31
/proc/17289/task/17308/stat : 17308 (claspmt) R 17287 17289 17263 0 -1 4202560 18136 0 0 0 88 161 0 0 16 0 32 0 13439322 2890768384 456791 270582939648 4194304 4964800 140734170005392 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=17289/tid=17309] ppid=17287 vsize=2823016 CPUtime=2.58 cores=0-31
/proc/17289/task/17309/stat : 17309 (claspmt) R 17287 17289 17263 0 -1 4202560 15132 0 0 0 88 170 0 0 18 0 32 0 13439322 2890768384 456791 270582939648 4194304 4964800 140734170005392 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=17289/tid=17310] ppid=17287 vsize=2823016 CPUtime=2.36 cores=0-31
/proc/17289/task/17310/stat : 17310 (claspmt) R 17287 17289 17263 0 -1 4202560 14330 0 0 0 85 151 0 0 16 0 32 0 13439322 2890768384 456791 270582939648 4194304 4964800 140734170005392 18446744073709551615 4370295 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=17289/tid=17311] ppid=17287 vsize=2823016 CPUtime=3.75 cores=0-31
/proc/17289/task/17311/stat : 17311 (claspmt) R 17287 17289 17263 0 -1 4202560 15877 0 0 0 226 149 0 0 18 0 32 0 13439322 2890768384 456791 270582939648 4194304 4964800 140734170005392 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=17289/tid=17312] ppid=17287 vsize=2823016 CPUtime=2.61 cores=0-31
/proc/17289/task/17312/stat : 17312 (claspmt) R 17287 17289 17263 0 -1 4202560 19258 0 0 0 93 168 0 0 16 0 32 0 13439322 2890768384 456791 270582939648 4194304 4964800 140734170005392 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=17289/tid=17313] ppid=17287 vsize=2823016 CPUtime=2.57 cores=0-31
/proc/17289/task/17313/stat : 17313 (claspmt) R 17287 17289 17263 0 -1 4202560 16305 0 0 0 94 163 0 0 16 0 32 0 13439322 2890768384 456791 270582939648 4194304 4964800 140734170005392 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17289/tid=17314] ppid=17287 vsize=2823016 CPUtime=2.39 cores=0-31
/proc/17289/task/17314/stat : 17314 (claspmt) R 17287 17289 17263 0 -1 4202560 14919 0 0 0 84 155 0 0 16 0 32 0 13439322 2890768384 456791 270582939648 4194304 4964800 140734170005392 18446744073709551615 4370259 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=17289/tid=17315] ppid=17287 vsize=2823016 CPUtime=2.28 cores=0-31
/proc/17289/task/17315/stat : 17315 (claspmt) R 17287 17289 17263 0 -1 4202560 15046 0 0 0 82 146 0 0 16 0 32 0 13439322 2890768384 456791 270582939648 4194304 4964800 140734170005392 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=17289/tid=17316] ppid=17287 vsize=2823016 CPUtime=2.44 cores=0-31
/proc/17289/task/17316/stat : 17316 (claspmt) R 17287 17289 17263 0 -1 4202560 19526 0 0 0 89 155 0 0 16 0 32 0 13439322 2890768384 456791 270582939648 4194304 4964800 140734170005392 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=17289/tid=17317] ppid=17287 vsize=2823016 CPUtime=2.48 cores=0-31
/proc/17289/task/17317/stat : 17317 (claspmt) R 17287 17289 17263 0 -1 4202560 19364 0 0 0 89 159 0 0 16 0 32 0 13439322 2890768384 456791 270582939648 4194304 4964800 140734170005392 18446744073709551615 4668614 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=17289/tid=17318] ppid=17287 vsize=2823016 CPUtime=1.82 cores=0-31
/proc/17289/task/17318/stat : 17318 (claspmt) R 17287 17289 17263 0 -1 4202560 12251 0 0 0 83 99 0 0 18 0 32 0 13439322 2890768384 456791 270582939648 4194304 4964800 140734170005392 18446744073709551615 4369540 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=17289/tid=17319] ppid=17287 vsize=2823016 CPUtime=3.29 cores=0-31
/proc/17289/task/17319/stat : 17319 (claspmt) R 17287 17289 17263 0 -1 4202560 16015 0 0 0 188 141 0 0 18 0 32 0 13439322 2890768384 456791 270582939648 4194304 4964800 140734170005392 18446744073709551615 4650733 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17289/tid=17320] ppid=17287 vsize=2823016 CPUtime=2.46 cores=0-31
/proc/17289/task/17320/stat : 17320 (claspmt) R 17287 17289 17263 0 -1 4202560 19549 0 0 0 91 155 0 0 16 0 32 0 13439323 2890768384 456791 270582939648 4194304 4964800 140734170005392 18446744073709551615 4670371 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=17289/tid=17321] ppid=17287 vsize=2823016 CPUtime=2.49 cores=0-31
/proc/17289/task/17321/stat : 17321 (claspmt) R 17287 17289 17263 0 -1 4202560 16881 0 0 0 92 157 0 0 16 0 32 0 13439323 2890768384 456791 270582939648 4194304 4964800 140734170005392 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 88.14
Current children cumulated vsize (KiB) 2823016
[startup+25.5022 s]
/proc/loadavg: 11.28 5.70 4.67 33/445 17323
/proc/meminfo: memFree=261265568/264257624 swapFree=67111528/67111528
[pid=17289] ppid=17287 vsize=2824080 CPUtime=497.2 cores=0-31
/proc/17289/stat : 17289 (claspmt) R 17287 17289 17263 0 -1 4202496 621527 0 0 0 44872 4848 0 0 25 0 32 0 13438571 2891857920 475203 270582939648 4194304 4964800 140734170005392 18446744073709551615 4669962 0 0 4096 18946 18446744073709551615 0 0 17 20 0 0 0
/proc/17289/statm: 706020 475203 461 189 0 700369 0
[pid=17289/tid=17291] ppid=17287 vsize=2824080 CPUtime=15.34 cores=0-31
/proc/17289/task/17291/stat : 17291 (claspmt) R 17287 17289 17263 0 -1 4202560 14353 0 0 0 1366 168 0 0 25 0 32 0 13439321 2891857920 475203 270582939648 4194304 4964800 140734170005392 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=17289/tid=17292] ppid=17287 vsize=2824080 CPUtime=15.25 cores=0-31
/proc/17289/task/17292/stat : 17292 (claspmt) R 17287 17289 17263 0 -1 4202560 19193 0 0 0 1369 156 0 0 25 0 32 0 13439321 2891857920 475203 270582939648 4194304 4964800 140734170005392 18446744073709551615 4669022 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=17289/tid=17293] ppid=17287 vsize=2824080 CPUtime=15.27 cores=0-31
/proc/17289/task/17293/stat : 17293 (claspmt) R 17287 17289 17263 0 -1 4202560 17408 0 0 0 1365 162 0 0 25 0 32 0 13439321 2891857920 475203 270582939648 4194304 4964800 140734170005392 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17289/tid=17294] ppid=17287 vsize=2824080 CPUtime=15.09 cores=0-31
/proc/17289/task/17294/stat : 17294 (claspmt) R 17287 17289 17263 0 -1 4202560 15464 0 0 0 1359 150 0 0 18 0 32 0 13439321 2891857920 475203 270582939648 4194304 4964800 140734170005392 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=17289/tid=17295] ppid=17287 vsize=2824080 CPUtime=16.51 cores=0-31
/proc/17289/task/17295/stat : 17295 (claspmt) R 17287 17289 17263 0 -1 4202560 16193 0 0 0 1494 157 0 0 25 0 32 0 13439321 2891857920 475203 270582939648 4194304 4964800 140734170005392 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=17289/tid=17296] ppid=17287 vsize=2824080 CPUtime=15.27 cores=0-31
/proc/17289/task/17296/stat : 17296 (claspmt) R 17287 17289 17263 0 -1 4202560 20170 0 0 0 1368 159 0 0 25 0 32 0 13439321 2891857920 475203 270582939648 4194304 4964800 140734170005392 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=17289/tid=17297] ppid=17287 vsize=2824080 CPUtime=15.2 cores=0-31
/proc/17289/task/17297/stat : 17297 (claspmt) R 17287 17289 17263 0 -1 4202560 18294 0 0 0 1362 158 0 0 25 0 32 0 13439321 2891857920 475203 270582939648 4194304 4964800 140734170005392 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=17289/tid=17298] ppid=17287 vsize=2824080 CPUtime=15.3 cores=0-31
/proc/17289/task/17298/stat : 17298 (claspmt) R 17287 17289 17263 0 -1 4202560 14832 0 0 0 1367 163 0 0 25 0 32 0 13439321 2891857920 475203 270582939648 4194304 4964800 140734170005392 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17289/tid=17299] ppid=17287 vsize=2824080 CPUtime=15.16 cores=0-31
/proc/17289/task/17299/stat : 17299 (claspmt) R 17287 17289 17263 0 -1 4202560 15110 0 0 0 1362 154 0 0 25 0 32 0 13439321 2891857920 475203 270582939648 4194304 4964800 140734170005392 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=17289/tid=17300] ppid=17287 vsize=2824080 CPUtime=15.3 cores=0-31
/proc/17289/task/17300/stat : 17300 (claspmt) R 17287 17289 17263 0 -1 4202560 19070 0 0 0 1364 166 0 0 25 0 32 0 13439321 2891857920 475203 270582939648 4194304 4964800 140734170005392 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=17289/tid=17301] ppid=17287 vsize=2824080 CPUtime=15.33 cores=0-31
/proc/17289/task/17301/stat : 17301 (claspmt) R 17287 17289 17263 0 -1 4202560 19744 0 0 0 1365 168 0 0 25 0 32 0 13439321 2891857920 475203 270582939648 4194304 4964800 140734170005392 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17289/tid=17302] ppid=17287 vsize=2824080 CPUtime=15.12 cores=0-31
/proc/17289/task/17302/stat : 17302 (claspmt) R 17287 17289 17263 0 -1 4202560 15279 0 0 0 1364 148 0 0 25 0 32 0 13439321 2891857920 475203 270582939648 4194304 4964800 140734170005392 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=17289/tid=17303] ppid=17287 vsize=2824080 CPUtime=16.5 cores=0-31
/proc/17289/task/17303/stat : 17303 (claspmt) R 17287 17289 17263 0 -1 4202560 16836 0 0 0 1499 151 0 0 25 0 32 0 13439321 2891857920 475203 270582939648 4194304 4964800 140734170005392 18446744073709551615 4399339 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17289/tid=17304] ppid=17287 vsize=2824080 CPUtime=15.25 cores=0-31
/proc/17289/task/17304/stat : 17304 (claspmt) R 17287 17289 17263 0 -1 4202560 20122 0 0 0 1369 156 0 0 20 0 32 0 13439321 2891857920 475203 270582939648 4194304 4964800 140734170005392 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=17289/tid=17305] ppid=17287 vsize=2824080 CPUtime=15.36 cores=0-31
/proc/17289/task/17305/stat : 17305 (claspmt) R 17287 17289 17263 0 -1 4202560 16614 0 0 0 1366 170 0 0 25 0 32 0 13439322 2891857920 475203 270582939648 4194304 4964800 140734170005392 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=17289/tid=17306] ppid=17287 vsize=2824080 CPUtime=14.75 cores=0-31
/proc/17289/task/17306/stat : 17306 (claspmt) R 17287 17289 17263 0 -1 4202560 14375 0 0 0 1360 115 0 0 25 0 32 0 13439322 2891857920 475203 270582939648 4194304 4964800 140734170005392 18446744073709551615 4337472 0 0 4096 18946 0 0 0 -1 10 0 0 0
################
# More data... #
################
/proc/17289/task/17291/stat : 17291 (claspmt) R 17287 17289 17263 0 -1 4202560 14964 0 0 0 10322 171 0 0 25 0 32 0 13439321 2896945152 536974 270582939648 4194304 4964800 140734170005392 18446744073709551615 4342193 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=17289/tid=17292] ppid=17287 vsize=2829048 CPUtime=104.82 cores=0-31
/proc/17289/task/17292/stat : 17292 (claspmt) R 17287 17289 17263 0 -1 4202560 21576 0 0 0 10317 165 0 0 25 0 32 0 13439321 2896945152 536974 270582939648 4194304 4964800 140734170005392 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=17289/tid=17293] ppid=17287 vsize=2829048 CPUtime=104.84 cores=0-31
/proc/17289/task/17293/stat : 17293 (claspmt) R 17287 17289 17263 0 -1 4202560 19427 0 0 0 10318 166 0 0 25 0 32 0 13439321 2896945152 536974 270582939648 4194304 4964800 140734170005392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17289/tid=17294] ppid=17287 vsize=2829048 CPUtime=104.66 cores=0-31
/proc/17289/task/17294/stat : 17294 (claspmt) R 17287 17289 17263 0 -1 4202560 17296 0 0 0 10309 157 0 0 25 0 32 0 13439321 2896945152 536974 270582939648 4194304 4964800 140734170005392 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=17289/tid=17295] ppid=17287 vsize=2829048 CPUtime=106.08 cores=0-31
/proc/17289/task/17295/stat : 17295 (claspmt) R 17287 17289 17263 0 -1 4202560 16223 0 0 0 10451 157 0 0 25 0 32 0 13439321 2896945152 536974 270582939648 4194304 4964800 140734170005392 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=17289/tid=17296] ppid=17287 vsize=2829048 CPUtime=104.85 cores=0-31
/proc/17289/task/17296/stat : 17296 (claspmt) R 17287 17289 17263 0 -1 4202560 22239 0 0 0 10321 164 0 0 25 0 32 0 13439321 2896945152 536974 270582939648 4194304 4964800 140734170005392 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=17289/tid=17297] ppid=17287 vsize=2829048 CPUtime=104.77 cores=0-31
/proc/17289/task/17297/stat : 17297 (claspmt) R 17287 17289 17263 0 -1 4202560 23797 0 0 0 10298 179 0 0 25 0 32 0 13439321 2896945152 536974 270582939648 4194304 4964800 140734170005392 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=17289/tid=17298] ppid=17287 vsize=2829048 CPUtime=104.88 cores=0-31
/proc/17289/task/17298/stat : 17298 (claspmt) R 17287 17289 17263 0 -1 4202560 15533 0 0 0 10322 166 0 0 25 0 32 0 13439321 2896945152 536974 270582939648 4194304 4964800 140734170005392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17289/tid=17299] ppid=17287 vsize=2829048 CPUtime=104.66 cores=0-31
/proc/17289/task/17299/stat : 17299 (claspmt) R 17287 17289 17263 0 -1 4202560 15873 0 0 0 10307 159 0 0 25 0 32 0 13439321 2896945152 536974 270582939648 4194304 4964800 140734170005392 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=17289/tid=17300] ppid=17287 vsize=2829048 CPUtime=104.87 cores=0-31
/proc/17289/task/17300/stat : 17300 (claspmt) R 17287 17289 17263 0 -1 4202560 21764 0 0 0 10312 175 0 0 25 0 32 0 13439321 2896945152 536974 270582939648 4194304 4964800 140734170005392 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=17289/tid=17301] ppid=17287 vsize=2829048 CPUtime=104.91 cores=0-31
/proc/17289/task/17301/stat : 17301 (claspmt) R 17287 17289 17263 0 -1 4202560 21972 0 0 0 10317 174 0 0 25 0 32 0 13439321 2896945152 536974 270582939648 4194304 4964800 140734170005392 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17289/tid=17302] ppid=17287 vsize=2829048 CPUtime=104.68 cores=0-31
/proc/17289/task/17302/stat : 17302 (claspmt) R 17287 17289 17263 0 -1 4202560 17148 0 0 0 10315 153 0 0 25 0 32 0 13439321 2896945152 536974 270582939648 4194304 4964800 140734170005392 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=17289/tid=17303] ppid=17287 vsize=2829048 CPUtime=106.08 cores=0-31
/proc/17289/task/17303/stat : 17303 (claspmt) R 17287 17289 17263 0 -1 4202560 16869 0 0 0 10457 151 0 0 25 0 32 0 13439321 2896945152 536974 270582939648 4194304 4964800 140734170005392 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17289/tid=17304] ppid=17287 vsize=2829048 CPUtime=104.83 cores=0-31
/proc/17289/task/17304/stat : 17304 (claspmt) R 17287 17289 17263 0 -1 4202560 22227 0 0 0 10320 163 0 0 25 0 32 0 13439321 2896945152 536974 270582939648 4194304 4964800 140734170005392 18446744073709551615 4668748 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=17289/tid=17305] ppid=17287 vsize=2829048 CPUtime=104.94 cores=0-31
/proc/17289/task/17305/stat : 17305 (claspmt) R 17287 17289 17263 0 -1 4202560 21700 0 0 0 10302 192 0 0 25 0 32 0 13439322 2896945152 536975 270582939648 4194304 4964800 140734170005392 18446744073709551615 4668728 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=17289/tid=17306] ppid=17287 vsize=2829048 CPUtime=104.34 cores=0-31
/proc/17289/task/17306/stat : 17306 (claspmt) R 17287 17289 17263 0 -1 4202560 15055 0 0 0 10317 117 0 0 25 0 32 0 13439322 2896945152 536975 270582939648 4194304 4964800 140734170005392 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=17289/tid=17307] ppid=17287 vsize=2829048 CPUtime=104.68 cores=0-31
/proc/17289/task/17307/stat : 17307 (claspmt) R 17287 17289 17263 0 -1 4202560 15863 0 0 0 10317 151 0 0 25 0 32 0 13439322 2896945152 536975 270582939648 4194304 4964800 140734170005392 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17289/tid=17308] ppid=17287 vsize=2829048 CPUtime=104.86 cores=0-31
/proc/17289/task/17308/stat : 17308 (claspmt) R 17287 17289 17263 0 -1 4202560 21860 0 0 0 10312 174 0 0 25 0 32 0 13439322 2896945152 536975 270582939648 4194304 4964800 140734170005392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=17289/tid=17309] ppid=17287 vsize=2829048 CPUtime=103.27 cores=0-31
/proc/17289/task/17309/stat : 17309 (claspmt) R 17287 17289 17263 0 -1 4202560 17904 0 0 0 10148 179 0 0 25 0 32 0 13439322 2896945152 536975 270582939648 4194304 4964800 140734170005392 18446744073709551615 4670678 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=17289/tid=17310] ppid=17287 vsize=2829048 CPUtime=104.73 cores=0-31
/proc/17289/task/17310/stat : 17310 (claspmt) R 17287 17289 17263 0 -1 4202560 16889 0 0 0 10314 159 0 0 25 0 32 0 13439322 2896945152 536975 270582939648 4194304 4964800 140734170005392 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=17289/tid=17311] ppid=17287 vsize=2829048 CPUtime=106.13 cores=0-31
/proc/17289/task/17311/stat : 17311 (claspmt) R 17287 17289 17263 0 -1 4202560 15916 0 0 0 10464 149 0 0 25 0 32 0 13439322 2896945152 536975 270582939648 4194304 4964800 140734170005392 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=17289/tid=17312] ppid=17287 vsize=2829048 CPUtime=104.98 cores=0-31
/proc/17289/task/17312/stat : 17312 (claspmt) R 17287 17289 17263 0 -1 4202560 21834 0 0 0 10322 176 0 0 25 0 32 0 13439322 2896945152 536975 270582939648 4194304 4964800 140734170005392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=17289/tid=17313] ppid=17287 vsize=2829048 CPUtime=104.93 cores=0-31
/proc/17289/task/17313/stat : 17313 (claspmt) R 17287 17289 17263 0 -1 4202560 22578 0 0 0 10306 187 0 0 25 0 32 0 13439322 2896945152 536975 270582939648 4194304 4964800 140734170005392 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17289/tid=17314] ppid=17287 vsize=2829048 CPUtime=104.76 cores=0-31
/proc/17289/task/17314/stat : 17314 (claspmt) R 17287 17289 17263 0 -1 4202560 16039 0 0 0 10316 160 0 0 25 0 32 0 13439322 2896945152 536975 270582939648 4194304 4964800 140734170005392 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=17289/tid=17315] ppid=17287 vsize=2829048 CPUtime=104.65 cores=0-31
/proc/17289/task/17315/stat : 17315 (claspmt) R 17287 17289 17263 0 -1 4202560 16130 0 0 0 10315 150 0 0 25 0 32 0 13439322 2896945152 536976 270582939648 4194304 4964800 140734170005392 18446744073709551615 4669389 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=17289/tid=17316] ppid=17287 vsize=2829048 CPUtime=104.81 cores=0-31
/proc/17289/task/17316/stat : 17316 (claspmt) R 17287 17289 17263 0 -1 4202560 23340 0 0 0 10313 168 0 0 25 0 32 0 13439322 2896945152 536976 270582939648 4194304 4964800 140734170005392 18446744073709551615 4668737 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=17289/tid=17317] ppid=17287 vsize=2829048 CPUtime=104.85 cores=0-31
/proc/17289/task/17317/stat : 17317 (claspmt) R 17287 17289 17263 0 -1 4202560 22653 0 0 0 10316 169 0 0 25 0 32 0 13439322 2896945152 536976 270582939648 4194304 4964800 140734170005392 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=17289/tid=17318] ppid=17287 vsize=2829048 CPUtime=104.19 cores=0-31
/proc/17289/task/17318/stat : 17318 (claspmt) R 17287 17289 17263 0 -1 4202560 14640 0 0 0 10312 107 0 0 25 0 32 0 13439322 2896945152 536976 270582939648 4194304 4964800 140734170005392 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=17289/tid=17319] ppid=17287 vsize=2829048 CPUtime=105.67 cores=0-31
/proc/17289/task/17319/stat : 17319 (claspmt) R 17287 17289 17263 0 -1 4202560 16065 0 0 0 10426 141 0 0 25 0 32 0 13439322 2896945152 536976 270582939648 4194304 4964800 140734170005392 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17289/tid=17320] ppid=17287 vsize=2829048 CPUtime=104.83 cores=0-31
/proc/17289/task/17320/stat : 17320 (claspmt) R 17287 17289 17263 0 -1 4202560 22129 0 0 0 10320 163 0 0 25 0 32 0 13439323 2896945152 536976 270582939648 4194304 4964800 140734170005392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=17289/tid=17321] ppid=17287 vsize=2829048 CPUtime=103.65 cores=0-31
/proc/17289/task/17321/stat : 17321 (claspmt) R 17287 17289 17263 0 -1 4202560 22830 0 0 0 10181 184 0 0 25 0 32 0 13439323 2896945152 536976 270582939648 4194304 4964800 140734170005392 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 3361.02
Current children cumulated vsize (KiB) 2829048
[startup+118.301 s]
/proc/loadavg: 27.74 12.65 7.24 33/445 17325
/proc/meminfo: memFree=261001960/264257624 swapFree=67111528/67111528
[pid=17289] ppid=17287 vsize=2829048 CPUtime=3463.27 cores=0-31
/proc/17289/stat : 17289 (claspmt) R 17287 17289 17263 0 -1 4202496 687844 0 0 0 341244 5083 0 0 25 0 32 0 13438571 2896945152 541427 270582939648 4194304 4964800 140734170005392 18446744073709551615 4670299 0 0 4096 18946 18446744073709551615 0 0 17 20 0 0 0
/proc/17289/statm: 707262 541427 463 189 0 701611 0
[pid=17289/tid=17291] ppid=17287 vsize=2829048 CPUtime=108.13 cores=0-31
/proc/17289/task/17291/stat : 17291 (claspmt) R 17287 17289 17263 0 -1 4202560 15017 0 0 0 10642 171 0 0 25 0 32 0 13439321 2896945152 541427 270582939648 4194304 4964800 140734170005392 18446744073709551615 4668748 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=17289/tid=17292] ppid=17287 vsize=2829048 CPUtime=108.02 cores=0-31
/proc/17289/task/17292/stat : 17292 (claspmt) R 17287 17289 17263 0 -1 4202560 21704 0 0 0 10636 166 0 0 25 0 32 0 13439321 2896945152 541427 270582939648 4194304 4964800 140734170005392 18446744073709551615 4320984 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=17289/tid=17293] ppid=17287 vsize=2829048 CPUtime=108.04 cores=0-31
/proc/17289/task/17293/stat : 17293 (claspmt) R 17287 17289 17263 0 -1 4202560 19468 0 0 0 10637 167 0 0 25 0 32 0 13439321 2896945152 541427 270582939648 4194304 4964800 140734170005392 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17289/tid=17294] ppid=17287 vsize=2829048 CPUtime=107.86 cores=0-31
/proc/17289/task/17294/stat : 17294 (claspmt) R 17287 17289 17263 0 -1 4202560 17329 0 0 0 10629 157 0 0 25 0 32 0 13439321 2896945152 541427 270582939648 4194304 4964800 140734170005392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=17289/tid=17295] ppid=17287 vsize=2829048 CPUtime=109.28 cores=0-31
/proc/17289/task/17295/stat : 17295 (claspmt) R 17287 17289 17263 0 -1 4202560 16223 0 0 0 10771 157 0 0 25 0 32 0 13439321 2896945152 541427 270582939648 4194304 4964800 140734170005392 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=17289/tid=17296] ppid=17287 vsize=2829048 CPUtime=108.05 cores=0-31
/proc/17289/task/17296/stat : 17296 (claspmt) R 17287 17289 17263 0 -1 4202560 22316 0 0 0 10640 165 0 0 25 0 32 0 13439321 2896945152 541427 270582939648 4194304 4964800 140734170005392 18446744073709551615 4670363 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=17289/tid=17297] ppid=17287 vsize=2829048 CPUtime=107.97 cores=0-31
/proc/17289/task/17297/stat : 17297 (claspmt) R 17287 17289 17263 0 -1 4202560 24212 0 0 0 10616 181 0 0 25 0 32 0 13439321 2896945152 541427 270582939648 4194304 4964800 140734170005392 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=17289/tid=17298] ppid=17287 vsize=2829048 CPUtime=108.08 cores=0-31
/proc/17289/task/17298/stat : 17298 (claspmt) R 17287 17289 17263 0 -1 4202560 15557 0 0 0 10642 166 0 0 25 0 32 0 13439321 2896945152 541427 270582939648 4194304 4964800 140734170005392 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17289/tid=17299] ppid=17287 vsize=2829048 CPUtime=107.85 cores=0-31
/proc/17289/task/17299/stat : 17299 (claspmt) R 17287 17289 17263 0 -1 4202560 15884 0 0 0 10626 159 0 0 25 0 32 0 13439321 2896945152 541427 270582939648 4194304 4964800 140734170005392 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=17289/tid=17300] ppid=17287 vsize=2829048 CPUtime=108.07 cores=0-31
/proc/17289/task/17300/stat : 17300 (claspmt) R 17287 17289 17263 0 -1 4202560 21874 0 0 0 10631 176 0 0 25 0 32 0 13439321 2896945152 541427 270582939648 4194304 4964800 140734170005392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=17289/tid=17301] ppid=17287 vsize=2829048 CPUtime=108.11 cores=0-31
/proc/17289/task/17301/stat : 17301 (claspmt) R 17287 17289 17263 0 -1 4202560 22082 0 0 0 10636 175 0 0 25 0 32 0 13439321 2896945152 541428 270582939648 4194304 4964800 140734170005392 18446744073709551615 4668756 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17289/tid=17302] ppid=17287 vsize=2829048 CPUtime=107.89 cores=0-31
/proc/17289/task/17302/stat : 17302 (claspmt) R 17287 17289 17263 0 -1 4202560 17239 0 0 0 10635 154 0 0 25 0 32 0 13439321 2896945152 541428 270582939648 4194304 4964800 140734170005392 18446744073709551615 4370242 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=17289/tid=17303] ppid=17287 vsize=2829048 CPUtime=109.28 cores=0-31
/proc/17289/task/17303/stat : 17303 (claspmt) R 17287 17289 17263 0 -1 4202560 16869 0 0 0 10777 151 0 0 25 0 32 0 13439321 2896945152 541428 270582939648 4194304 4964800 140734170005392 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17289/tid=17304] ppid=17287 vsize=2829048 CPUtime=108.03 cores=0-31
/proc/17289/task/17304/stat : 17304 (claspmt) R 17287 17289 17263 0 -1 4202560 22484 0 0 0 10639 164 0 0 25 0 32 0 13439321 2896945152 541428 270582939648 4194304 4964800 140734170005392 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=17289/tid=17305] ppid=17287 vsize=2829048 CPUtime=108.13 cores=0-31
/proc/17289/task/17305/stat : 17305 (claspmt) R 17287 17289 17263 0 -1 4202560 22425 0 0 0 10619 194 0 0 18 0 32 0 13439322 2896945152 541428 270582939648 4194304 4964800 140734170005392 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=17289/tid=17306] ppid=17287 vsize=2829048 CPUtime=107.53 cores=0-31
/proc/17289/task/17306/stat : 17306 (claspmt) R 17287 17289 17263 0 -1 4202560 15077 0 0 0 10636 117 0 0 25 0 32 0 13439322 2896945152 541428 270582939648 4194304 4964800 140734170005392 18446744073709551615 4668756 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=17289/tid=17307] ppid=17287 vsize=2829048 CPUtime=107.88 cores=0-31
/proc/17289/task/17307/stat : 17307 (claspmt) R 17287 17289 17263 0 -1 4202560 15867 0 0 0 10637 151 0 0 25 0 32 0 13439322 2896945152 541428 270582939648 4194304 4964800 140734170005392 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17289/tid=17308] ppid=17287 vsize=2829048 CPUtime=108.05 cores=0-31
/proc/17289/task/17308/stat : 17308 (claspmt) R 17287 17289 17263 0 -1 4202560 22039 0 0 0 10631 174 0 0 25 0 32 0 13439322 2896945152 541428 270582939648 4194304 4964800 140734170005392 18446744073709551615 4668725 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=17289/tid=17309] ppid=17287 vsize=2829048 CPUtime=106.46 cores=0-31
/proc/17289/task/17309/stat : 17309 (claspmt) R 17287 17289 17263 0 -1 4202560 17971 0 0 0 10467 179 0 0 25 0 32 0 13439322 2896945152 541428 270582939648 4194304 4964800 140734170005392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=17289/tid=17310] ppid=17287 vsize=2829048 CPUtime=107.94 cores=0-31
/proc/17289/task/17310/stat : 17310 (claspmt) R 17287 17289 17263 0 -1 4202560 17033 0 0 0 10634 160 0 0 25 0 32 0 13439322 2896945152 541428 270582939648 4194304 4964800 140734170005392 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=17289/tid=17311] ppid=17287 vsize=2829048 CPUtime=109.33 cores=0-31
/proc/17289/task/17311/stat : 17311 (claspmt) R 17287 17289 17263 0 -1 4202560 15916 0 0 0 10784 149 0 0 25 0 32 0 13439322 2896945152 541428 270582939648 4194304 4964800 140734170005392 18446744073709551615 4399339 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=17289/tid=17312] ppid=17287 vsize=2829048 CPUtime=108.18 cores=0-31
/proc/17289/task/17312/stat : 17312 (claspmt) R 17287 17289 17263 0 -1 4202560 21869 0 0 0 10642 176 0 0 25 0 32 0 13439322 2896945152 541428 270582939648 4194304 4964800 140734170005392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=17289/tid=17313] ppid=17287 vsize=2829048 CPUtime=108.12 cores=0-31
/proc/17289/task/17313/stat : 17313 (claspmt) R 17287 17289 17263 0 -1 4202560 23177 0 0 0 10623 189 0 0 25 0 32 0 13439322 2896945152 541428 270582939648 4194304 4964800 140734170005392 18446744073709551615 4321076 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17289/tid=17314] ppid=17287 vsize=2829048 CPUtime=107.96 cores=0-31
/proc/17289/task/17314/stat : 17314 (claspmt) R 17287 17289 17263 0 -1 4202560 16074 0 0 0 10636 160 0 0 25 0 32 0 13439322 2896945152 541428 270582939648 4194304 4964800 140734170005392 18446744073709551615 4669399 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=17289/tid=17315] ppid=17287 vsize=2829048 CPUtime=107.85 cores=0-31
/proc/17289/task/17315/stat : 17315 (claspmt) R 17287 17289 17263 0 -1 4202560 16191 0 0 0 10635 150 0 0 25 0 32 0 13439322 2896945152 541428 270582939648 4194304 4964800 140734170005392 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=17289/tid=17316] ppid=17287 vsize=2829048 CPUtime=108.01 cores=0-31
/proc/17289/task/17316/stat : 17316 (claspmt) R 17287 17289 17263 0 -1 4202560 23555 0 0 0 10633 168 0 0 25 0 32 0 13439322 2896945152 541428 270582939648 4194304 4964800 140734170005392 18446744073709551615 4669389 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=17289/tid=17317] ppid=17287 vsize=2829048 CPUtime=108.05 cores=0-31
/proc/17289/task/17317/stat : 17317 (claspmt) R 17287 17289 17263 0 -1 4202560 22739 0 0 0 10636 169 0 0 25 0 32 0 13439322 2896945152 541428 270582939648 4194304 4964800 140734170005392 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=17289/tid=17318] ppid=17287 vsize=2829048 CPUtime=107.39 cores=0-31
/proc/17289/task/17318/stat : 17318 (claspmt) R 17287 17289 17263 0 -1 4202560 14785 0 0 0 10631 108 0 0 25 0 32 0 13439322 2896945152 541428 270582939648 4194304 4964800 140734170005392 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=17289/tid=17319] ppid=17287 vsize=2829048 CPUtime=108.87 cores=0-31
/proc/17289/task/17319/stat : 17319 (claspmt) R 17287 17289 17263 0 -1 4202560 16065 0 0 0 10746 141 0 0 25 0 32 0 13439322 2896945152 541428 270582939648 4194304 4964800 140734170005392 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17289/tid=17320] ppid=17287 vsize=2829048 CPUtime=108.03 cores=0-31
/proc/17289/task/17320/stat : 17320 (claspmt) R 17287 17289 17263 0 -1 4202560 22251 0 0 0 10640 163 0 0 25 0 32 0 13439323 2896945152 541428 270582939648 4194304 4964800 140734170005392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=17289/tid=17321] ppid=17287 vsize=2829048 CPUtime=106.76 cores=0-31
/proc/17289/task/17321/stat : 17321 (claspmt) R 17287 17289 17263 0 -1 4202560 23432 0 0 0 10489 187 0 0 25 0 32 0 13439323 2896945152 541428 270582939648 4194304 4964800 140734170005392 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 3463.27
Current children cumulated vsize (KiB) 2829048
[startup+121.501 s]
/proc/loadavg: 28.08 12.97 7.37 2/414 17325
/proc/meminfo: memFree=261054372/264257624 swapFree=67111528/67111528
[pid=17289] ppid=17287 vsize=2540528 CPUtime=3531.81 cores=0-31
/proc/17289/stat : 17289 (claspmt) R 17287 17289 17263 0 -1 4202496 689498 0 0 0 348081 5100 0 0 18 0 1 0 13438571 2601500672 493457 270582939648 4194304 4964800 140734170005392 18446744073709551615 258650612305 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/17289/statm: 635132 493457 474 189 0 629481 0
Current children cumulated CPU time (s) 3531.81
Current children cumulated vsize (KiB) 2540528
[startup+122.301 s]
/proc/loadavg: 28.08 12.97 7.37 2/414 17325
/proc/meminfo: memFree=261395876/264257624 swapFree=67111528/67111528
[pid=17289] ppid=17287 vsize=2220936 CPUtime=3532.61 cores=0-31
/proc/17289/stat : 17289 (claspmt) R 17287 17289 17263 0 -1 4202496 689498 0 0 0 348159 5102 0 0 19 0 1 0 13438571 2274238464 413425 270582939648 4194304 4964800 140734170005392 18446744073709551615 4342080 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/17289/statm: 555234 413425 474 189 0 549583 0
Current children cumulated CPU time (s) 3532.61
Current children cumulated vsize (KiB) 2220936
[startup+122.701 s]
/proc/loadavg: 28.08 12.97 7.37 2/414 17325
/proc/meminfo: memFree=261395876/264257624 swapFree=67111528/67111528
[pid=17289] ppid=17287 vsize=2038312 CPUtime=3533 cores=0-31
/proc/17289/stat : 17289 (claspmt) R 17287 17289 17263 0 -1 4202496 689498 0 0 0 348197 5103 0 0 20 0 1 0 13438571 2087231488 366357 270582939648 4194304 4964800 140734170005392 18446744073709551615 258650611142 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/17289/statm: 509578 366357 474 189 0 503927 0
Current children cumulated CPU time (s) 3533
Current children cumulated vsize (KiB) 2038312
[startup+122.901 s]
/proc/loadavg: 28.08 12.97 7.37 2/414 17325
/proc/meminfo: memFree=261395876/264257624 swapFree=67111528/67111528
[pid=17289] ppid=17287 vsize=0 CPUtime=3533.21 cores=0-31
/proc/17289/stat : 17289 (claspmt) R 17287 17289 17263 0 -1 4202500 689499 0 0 0 348213 5108 0 0 21 0 1 0 13438571 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 20 0 0 0
/proc/17289/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 3533.21
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 122.953
CPU time (s): 3533.27
CPU user time (s): 3482.13
CPU system time (s): 51.1342
CPU usage (%): 2873.68
Max. virtual memory (cumulated for all children) (KiB): 2829048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3482.13
system time used= 51.1342
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 689499
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= 272574
involuntary context switches= 8118
runsolver used 0.734888 second user time and 2.83857 second system time
The end
Begin job on node200 at 2011-06-07 23:01:57
IDJOB=3472322
IDBENCH=70961
IDSOLVER=1961
FILE ID=node200/3472322-1307480514
RUNJOBID= node200-1307480514-17277
PBS_JOBID= 13509195
Free space on /tmp= 61696 MiB
SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_L150_coli.sat.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-3472322-1307480514/watcher-3472322-1307480514 -o /tmp/evaluation-result-3472322-1307480514/solver-3472322-1307480514 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472322-1307480514.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 256000 MiB
NBCORE= 32
MD5SUM BENCH= ba6884aaa746378e56c38fd8b3d0255e
RANDOM SEED=985414764
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: 263158384 kB
Buffers: 144016 kB
Cached: 690464 kB
SwapCached: 0 kB
Active: 227072 kB
Inactive: 670772 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263158384 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 50204 kB
Writeback: 0 kB
AnonPages: 63372 kB
Mapped: 14476 kB
Slab: 122416 kB
PageTables: 4444 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 180220 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= 61696 MiB
End job on node200 at 2011-06-07 23:04:00