0.00/0.01 c clasp version 2.0.0-RC2
0.00/0.01 c Reading from ...832446/instance-3472532-1307832446.cnf
0.00/0.02 c Solving...
1135.05/35.71 s UNSATISFIABLE
1135.05/35.71
1135.05/35.71 c Models : 0
1135.05/35.71 c Time : 35.658s (Solving: 35.65s 1st Model: 0.00s Unsat: 35.65s)
1135.05/35.71 c CPU Time : 1135.010s
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3472532-1307832446/watcher-3472532-1307832446 -o /tmp/evaluation-result-3472532-1307832446/solver-3472532-1307832446 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472532-1307832446.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: 23.26 20.27 13.31 1/413 13284
/proc/meminfo: memFree=261912468/264257624 swapFree=67111528/67111528
[pid=13284] ppid=13282 vsize=742084 CPUtime=0.04 cores=0-31
/proc/13284/stat : 13284 (claspmt) S 13282 13284 13185 0 -1 4202496 1477 0 0 0 3 1 0 0 19 0 32 0 48631496 759894016 1353 270582939648 4194304 4964800 140735209294960 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 20 0 0 0
/proc/13284/statm: 185521 1354 444 189 0 179870 0
[pid=13284/tid=13285] ppid=13282 vsize=742084 CPUtime=0 cores=0-31
/proc/13284/task/13285/stat : 13285 (claspmt) S 13282 13284 13185 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 32 0 48631498 759894016 1365 270582939648 4194304 4964800 140735209294960 18446744073709551615 258662782148 0 0 4096 18946 18446604485304196576 0 0 -1 1 0 0 0
[pid=13284/tid=13286] ppid=13282 vsize=742084 CPUtime=0 cores=0-31
/proc/13284/task/13286/stat : 13286 (claspmt) R 13282 13284 13185 0 -1 4202560 29 0 0 0 0 0 0 0 17 0 32 0 48631498 759894016 1367 270582939648 4194304 4964800 140735209294960 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=13284/tid=13287] ppid=13282 vsize=742084 CPUtime=0 cores=0-31
/proc/13284/task/13287/stat : 13287 (claspmt) R 13282 13284 13185 0 -1 4202560 35 0 0 0 0 0 0 0 17 0 32 0 48631498 759894016 1369 270582939648 4194304 4964800 140735209294960 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=13284/tid=13288] ppid=13282 vsize=742084 CPUtime=0 cores=0-31
/proc/13284/task/13288/stat : 13288 (claspmt) R 13282 13284 13185 0 -1 4202560 29 0 0 0 0 0 0 0 19 0 32 0 48631498 759894016 1369 270582939648 4194304 4964800 140735209294960 18446744073709551615 4342232 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=13284/tid=13289] ppid=13282 vsize=742084 CPUtime=0 cores=0-31
/proc/13284/task/13289/stat : 13289 (claspmt) R 13282 13284 13185 0 -1 4202560 26 0 0 0 0 0 0 0 19 0 32 0 48631498 759894016 1369 270582939648 4194304 4964800 140735209294960 18446744073709551615 4670321 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=13284/tid=13290] ppid=13282 vsize=742084 CPUtime=0 cores=0-31
/proc/13284/task/13290/stat : 13290 (claspmt) R 13282 13284 13185 0 -1 4202560 26 0 0 0 0 0 0 0 17 0 32 0 48631498 759894016 1371 270582939648 4194304 4964800 140735209294960 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=13284/tid=13291] ppid=13282 vsize=742084 CPUtime=0 cores=0-31
/proc/13284/task/13291/stat : 13291 (claspmt) R 13282 13284 13185 0 -1 4202560 29 0 0 0 0 0 0 0 17 0 32 0 48631498 759894016 1374 270582939648 4194304 4964800 140735209294960 18446744073709551615 4366750 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=13284/tid=13292] ppid=13282 vsize=742084 CPUtime=0 cores=0-31
/proc/13284/task/13292/stat : 13292 (claspmt) R 13282 13284 13185 0 -1 4202560 20 0 0 0 0 0 0 0 17 0 32 0 48631498 759894016 1375 270582939648 4194304 4964800 140735209294960 18446744073709551615 258662772457 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=13284/tid=13293] ppid=13282 vsize=742084 CPUtime=0 cores=0-31
/proc/13284/task/13293/stat : 13293 (claspmt) S 13282 13284 13185 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 32 0 48631498 759894016 1376 270582939648 4194304 4964800 140735209294960 18446744073709551615 258662772457 0 0 4096 18946 18446744071566931224 0 0 -1 16 0 0 0
[pid=13284/tid=13294] ppid=13282 vsize=742084 CPUtime=0 cores=0-31
/proc/13284/task/13294/stat : 13294 (claspmt) R 13282 13284 13185 0 -1 4202560 25 0 0 0 0 0 0 0 17 0 32 0 48631498 759894016 1376 270582939648 4194304 4964800 140735209294960 18446744073709551615 4653216 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=13284/tid=13295] ppid=13282 vsize=742084 CPUtime=0 cores=0-31
/proc/13284/task/13295/stat : 13295 (claspmt) R 13282 13284 13185 0 -1 4202560 27 0 0 0 0 0 0 0 17 0 32 0 48631498 759894016 1376 270582939648 4194304 4964800 140735209294960 18446744073709551615 4467677 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=13284/tid=13296] ppid=13282 vsize=742084 CPUtime=0 cores=0-31
/proc/13284/task/13296/stat : 13296 (claspmt) R 13282 13284 13185 0 -1 4202560 24 0 0 0 0 0 0 0 17 0 32 0 48631498 759894016 1376 270582939648 4194304 4964800 140735209294960 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=13284/tid=13297] ppid=13282 vsize=742084 CPUtime=0 cores=0-31
/proc/13284/task/13297/stat : 13297 (claspmt) R 13282 13284 13185 0 -1 4202560 25 0 0 0 0 0 0 0 17 0 32 0 48631498 759894016 1376 270582939648 4194304 4964800 140735209294960 18446744073709551615 258662772457 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=13284/tid=13298] ppid=13282 vsize=742084 CPUtime=0 cores=0-31
/proc/13284/task/13298/stat : 13298 (claspmt) D 13282 13284 13185 0 -1 4202560 25 0 0 0 0 0 0 0 17 0 32 0 48631498 759894016 1376 270582939648 4194304 4964800 140735209294960 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=13284/tid=13299] ppid=13282 vsize=742084 CPUtime=0 cores=0-31
/proc/13284/task/13299/stat : 13299 (claspmt) S 13282 13284 13185 0 -1 4202560 28 0 0 0 0 0 0 0 18 0 32 0 48631498 759894016 1376 270582939648 4194304 4964800 140735209294960 18446744073709551615 258662772457 0 0 4096 18946 18446604487812431328 0 0 -1 5 0 0 0
[pid=13284/tid=13300] ppid=13282 vsize=742084 CPUtime=0 cores=0-31
/proc/13284/task/13300/stat : 13300 (claspmt) S 13282 13284 13185 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 32 0 48631499 759894016 1376 270582939648 4194304 4964800 140735209294960 18446744073709551615 258662772457 0 0 4096 18946 18446744071566931224 0 0 -1 20 0 0 0
[pid=13284/tid=13301] ppid=13282 vsize=742084 CPUtime=0 cores=0-31
/proc/13284/task/13301/stat : 13301 (claspmt) R 13282 13284 13185 0 -1 4202560 21 0 0 0 0 0 0 0 17 0 32 0 48631499 759894016 1376 270582939648 4194304 4964800 140735209294960 18446744073709551615 4467677 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=13284/tid=13302] ppid=13282 vsize=742084 CPUtime=0 cores=0-31
/proc/13284/task/13302/stat : 13302 (claspmt) S 13282 13284 13185 0 -1 4202560 26 0 0 0 0 0 0 0 18 0 32 0 48631499 759894016 1376 270582939648 4194304 4964800 140735209294960 18446744073709551615 258662772457 0 0 4096 18946 18446604505476783584 0 0 -1 2 0 0 0
[pid=13284/tid=13303] ppid=13282 vsize=742084 CPUtime=0 cores=0-31
/proc/13284/task/13303/stat : 13303 (claspmt) S 13282 13284 13185 0 -1 4202560 25 0 0 0 0 0 0 0 18 0 32 0 48631499 759894016 1376 270582939648 4194304 4964800 140735209294960 18446744073709551615 258662772457 0 0 4096 18946 18446604562766536160 0 0 -1 1 0 0 0
[pid=13284/tid=13304] ppid=13282 vsize=742084 CPUtime=0 cores=0-31
/proc/13284/task/13304/stat : 13304 (claspmt) S 13282 13284 13185 0 -1 4202560 24 0 0 0 0 0 0 0 18 0 32 0 48631499 759894016 1377 270582939648 4194304 4964800 140735209294960 18446744073709551615 258662772457 0 0 4096 18946 18446604504170528224 0 0 -1 2 0 0 0
[pid=13284/tid=13305] ppid=13282 vsize=742084 CPUtime=0 cores=0-31
/proc/13284/task/13305/stat : 13305 (claspmt) S 13282 13284 13185 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 32 0 48631499 759894016 1377 270582939648 4194304 4964800 140735209294960 18446744073709551615 258662772457 0 0 4096 18946 18446604500266950112 0 0 -1 5 0 0 0
[pid=13284/tid=13306] ppid=13282 vsize=742084 CPUtime=0 cores=0-31
/proc/13284/task/13306/stat : 13306 (claspmt) S 13282 13284 13185 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 32 0 48631499 759894016 1377 270582939648 4194304 4964800 140735209294960 18446744073709551615 258662772457 0 0 4096 18946 18446604501652151776 0 0 -1 20 0 0 0
[pid=13284/tid=13307] ppid=13282 vsize=742084 CPUtime=0 cores=0-31
/proc/13284/task/13307/stat : 13307 (claspmt) S 13282 13284 13185 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 32 0 48631499 759894016 1377 270582939648 4194304 4964800 140735209294960 18446744073709551615 258662772457 0 0 4096 18946 18446604500944625120 0 0 -1 2 0 0 0
[pid=13284/tid=13308] ppid=13282 vsize=742084 CPUtime=0 cores=0-31
/proc/13284/task/13308/stat : 13308 (claspmt) S 13282 13284 13185 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 32 0 48631499 759894016 1377 270582939648 4194304 4964800 140735209294960 18446744073709551615 258662772457 0 0 4096 18946 18446604501966732768 0 0 -1 5 0 0 0
[pid=13284/tid=13309] ppid=13282 vsize=742084 CPUtime=0 cores=0-31
/proc/13284/task/13309/stat : 13309 (claspmt) S 13282 13284 13185 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 32 0 48631499 759894016 1377 270582939648 4194304 4964800 140735209294960 18446744073709551615 258662772457 0 0 4096 18946 18446604499749141984 0 0 -1 20 0 0 0
[pid=13284/tid=13310] ppid=13282 vsize=742084 CPUtime=0 cores=0-31
/proc/13284/task/13310/stat : 13310 (claspmt) S 13282 13284 13185 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 32 0 48631499 759894016 1377 270582939648 4194304 4964800 140735209294960 18446744073709551615 258662772457 0 0 4096 18946 18446604502653435360 0 0 -1 5 0 0 0
[pid=13284/tid=13311] ppid=13282 vsize=742084 CPUtime=0 cores=0-31
/proc/13284/task/13311/stat : 13311 (claspmt) S 13282 13284 13185 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 32 0 48631499 759894016 1377 270582939648 4194304 4964800 140735209294960 18446744073709551615 258662772457 0 0 4096 18946 18446604488885583328 0 0 -1 5 0 0 0
[pid=13284/tid=13312] ppid=13282 vsize=742084 CPUtime=0 cores=0-31
/proc/13284/task/13312/stat : 13312 (claspmt) S 13282 13284 13185 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 32 0 48631499 759894016 1377 270582939648 4194304 4964800 140735209294960 18446744073709551615 258662772457 0 0 4096 18946 18446604503658069472 0 0 -1 5 0 0 0
[pid=13284/tid=13313] ppid=13282 vsize=742084 CPUtime=0 cores=0-31
/proc/13284/task/13313/stat : 13313 (claspmt) S 13282 13284 13185 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 32 0 48631499 759894016 1377 270582939648 4194304 4964800 140735209294960 18446744073709551615 258662772457 0 0 4096 18946 18446604492590390752 0 0 -1 2 0 0 0
[pid=13284/tid=13314] ppid=13282 vsize=742084 CPUtime=0 cores=0-31
/proc/13284/task/13314/stat : 13314 (claspmt) S 13282 13284 13185 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 32 0 48631499 759894016 1380 270582939648 4194304 4964800 140735209294960 18446744073709551615 258662772457 0 0 4096 18946 18446604504748277216 0 0 -1 20 0 0 0
[pid=13284/tid=13315] ppid=13282 vsize=742084 CPUtime=0 cores=0-31
/proc/13284/task/13315/stat : 13315 (claspmt) D 13282 13284 13185 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 32 0 48631499 759894016 1380 270582939648 4194304 4964800 140735209294960 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 10 0 0 0
[startup+0.139768 s]
/proc/loadavg: 23.26 20.27 13.31 1/413 13284
/proc/meminfo: memFree=261912468/264257624 swapFree=67111528/67111528
[pid=13284] ppid=13282 vsize=1070160 CPUtime=1.69 cores=0-31
/proc/13284/stat : 13284 (claspmt) R 13282 13284 13185 0 -1 4202496 2943 0 0 0 158 11 0 0 18 0 32 0 48631496 1095843840 2819 270582939648 4194304 4964800 140735209294960 18446744073709551615 258651061007 0 0 4096 18946 18446744073709551615 0 0 17 11 0 0 0
/proc/13284/statm: 267540 2820 461 189 0 261889 0
[pid=13284/tid=13285] ppid=13282 vsize=1070160 CPUtime=0.04 cores=0-31
/proc/13284/task/13285/stat : 13285 (claspmt) R 13282 13284 13185 0 -1 4202560 62 0 0 0 4 0 0 0 17 0 32 0 48631498 1095843840 2820 270582939648 4194304 4964800 140735209294960 18446744073709551615 4332387 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=13284/tid=13286] ppid=13282 vsize=1070160 CPUtime=0.04 cores=0-31
/proc/13284/task/13286/stat : 13286 (claspmt) R 13282 13284 13185 0 -1 4202560 90 0 0 0 4 0 0 0 17 0 32 0 48631498 1095843840 2820 270582939648 4194304 4964800 140735209294960 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=13284/tid=13287] ppid=13282 vsize=1070160 CPUtime=0.04 cores=0-31
/proc/13284/task/13287/stat : 13287 (claspmt) R 13282 13284 13185 0 -1 4202560 90 0 0 0 4 0 0 0 17 0 32 0 48631498 1095843840 2820 270582939648 4194304 4964800 140735209294960 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=13284/tid=13288] ppid=13282 vsize=1070160 CPUtime=0.03 cores=0-31
/proc/13284/task/13288/stat : 13288 (claspmt) R 13282 13284 13185 0 -1 4202560 69 0 0 0 3 0 0 0 17 0 32 0 48631498 1095843840 2820 270582939648 4194304 4964800 140735209294960 18446744073709551615 4642509 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=13284/tid=13289] ppid=13282 vsize=1070160 CPUtime=0.03 cores=0-31
/proc/13284/task/13289/stat : 13289 (claspmt) R 13282 13284 13185 0 -1 4202560 45 0 0 0 3 0 0 0 19 0 32 0 48631498 1095843840 2820 270582939648 4194304 4964800 140735209294960 18446744073709551615 4399627 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=13284/tid=13290] ppid=13282 vsize=1070160 CPUtime=0.04 cores=0-31
/proc/13284/task/13290/stat : 13290 (claspmt) R 13282 13284 13185 0 -1 4202560 65 0 0 0 4 0 0 0 17 0 32 0 48631498 1095843840 2821 270582939648 4194304 4964800 140735209294960 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=13284/tid=13291] ppid=13282 vsize=1070160 CPUtime=0.05 cores=0-31
/proc/13284/task/13291/stat : 13291 (claspmt) R 13282 13284 13185 0 -1 4202560 92 0 0 0 5 0 0 0 17 0 32 0 48631498 1095843840 2821 270582939648 4194304 4964800 140735209294960 18446744073709551615 4660123 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=13284/tid=13292] ppid=13282 vsize=1070160 CPUtime=0.05 cores=0-31
/proc/13284/task/13292/stat : 13292 (claspmt) R 13282 13284 13185 0 -1 4202560 71 0 0 0 5 0 0 0 17 0 32 0 48631498 1095843840 2821 270582939648 4194304 4964800 140735209294960 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=13284/tid=13293] ppid=13282 vsize=1070160 CPUtime=0.04 cores=0-31
/proc/13284/task/13293/stat : 13293 (claspmt) R 13282 13284 13185 0 -1 4202560 66 0 0 0 4 0 0 0 17 0 32 0 48631498 1095843840 2821 270582939648 4194304 4964800 140735209294960 18446744073709551615 4627456 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=13284/tid=13294] ppid=13282 vsize=1070160 CPUtime=0.04 cores=0-31
/proc/13284/task/13294/stat : 13294 (claspmt) R 13282 13284 13185 0 -1 4202560 82 0 0 0 4 0 0 0 17 0 32 0 48631498 1095843840 2823 270582939648 4194304 4964800 140735209294960 18446744073709551615 4660114 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=13284/tid=13295] ppid=13282 vsize=1070160 CPUtime=0.05 cores=0-31
/proc/13284/task/13295/stat : 13295 (claspmt) R 13282 13284 13185 0 -1 4202560 77 0 0 0 5 0 0 0 17 0 32 0 48631498 1095843840 2823 270582939648 4194304 4964800 140735209294960 18446744073709551615 4660157 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=13284/tid=13296] ppid=13282 vsize=1070160 CPUtime=0.05 cores=0-31
/proc/13284/task/13296/stat : 13296 (claspmt) R 13282 13284 13185 0 -1 4202560 85 0 0 0 5 0 0 0 17 0 32 0 48631498 1095843840 2823 270582939648 4194304 4964800 140735209294960 18446744073709551615 4380234 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=13284/tid=13297] ppid=13282 vsize=1070160 CPUtime=0.07 cores=0-31
/proc/13284/task/13297/stat : 13297 (claspmt) R 13282 13284 13185 0 -1 4202560 60 0 0 0 7 0 0 0 17 0 32 0 48631498 1095843840 2823 270582939648 4194304 4964800 140735209294960 18446744073709551615 4642509 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=13284/tid=13298] ppid=13282 vsize=1070160 CPUtime=0.05 cores=0-31
/proc/13284/task/13298/stat : 13298 (claspmt) R 13282 13284 13185 0 -1 4202560 68 0 0 0 5 0 0 0 17 0 32 0 48631498 1095843840 2823 270582939648 4194304 4964800 140735209294960 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=13284/tid=13299] ppid=13282 vsize=1070160 CPUtime=0.04 cores=0-31
/proc/13284/task/13299/stat : 13299 (claspmt) R 13282 13284 13185 0 -1 4202560 70 0 0 0 4 0 0 0 17 0 32 0 48631498 1095843840 2824 270582939648 4194304 4964800 140735209294960 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=13284/tid=13300] ppid=13282 vsize=1070160 CPUtime=0.05 cores=0-31
/proc/13284/task/13300/stat : 13300 (claspmt) R 13282 13284 13185 0 -1 4202560 67 0 0 0 5 0 0 0 17 0 32 0 48631499 1095843840 2824 270582939648 4194304 4964800 140735209294960 18446744073709551615 4670273 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=13284/tid=13301] ppid=13282 vsize=1070160 CPUtime=0.04 cores=0-31
/proc/13284/task/13301/stat : 13301 (claspmt) R 13282 13284 13185 0 -1 4202560 74 0 0 0 4 0 0 0 17 0 32 0 48631499 1095843840 2826 270582939648 4194304 4964800 140735209294960 18446744073709551615 4627248 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=13284/tid=13302] ppid=13282 vsize=1070160 CPUtime=0.04 cores=0-31
/proc/13284/task/13302/stat : 13302 (claspmt) R 13282 13284 13185 0 -1 4202560 83 0 0 0 4 0 0 0 17 0 32 0 48631499 1095843840 2827 270582939648 4194304 4964800 140735209294960 18446744073709551615 4361278 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=13284/tid=13303] ppid=13282 vsize=1070160 CPUtime=0.05 cores=0-31
/proc/13284/task/13303/stat : 13303 (claspmt) R 13282 13284 13185 0 -1 4202560 79 0 0 0 5 0 0 0 17 0 32 0 48631499 1095843840 2827 270582939648 4194304 4964800 140735209294960 18446744073709551615 4658618 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=13284/tid=13304] ppid=13282 vsize=1070160 CPUtime=0.05 cores=0-31
/proc/13284/task/13304/stat : 13304 (claspmt) R 13282 13284 13185 0 -1 4202560 73 0 0 0 5 0 0 0 17 0 32 0 48631499 1095843840 2827 270582939648 4194304 4964800 140735209294960 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=13284/tid=13305] ppid=13282 vsize=1070160 CPUtime=0.05 cores=0-31
/proc/13284/task/13305/stat : 13305 (claspmt) R 13282 13284 13185 0 -1 4202560 47 0 0 0 5 0 0 0 18 0 32 0 48631499 1095843840 2828 270582939648 4194304 4964800 140735209294960 18446744073709551615 258651060958 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=13284/tid=13306] ppid=13282 vsize=1070160 CPUtime=0.03 cores=0-31
/proc/13284/task/13306/stat : 13306 (claspmt) R 13282 13284 13185 0 -1 4202560 64 0 0 0 3 0 0 0 17 0 32 0 48631499 1095843840 2829 270582939648 4194304 4964800 140735209294960 18446744073709551615 4332351 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=13284/tid=13307] ppid=13282 vsize=1070160 CPUtime=0.04 cores=0-31
/proc/13284/task/13307/stat : 13307 (claspmt) R 13282 13284 13185 0 -1 4202560 65 0 0 0 4 0 0 0 17 0 32 0 48631499 1095843840 2830 270582939648 4194304 4964800 140735209294960 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=13284/tid=13308] ppid=13282 vsize=1070160 CPUtime=0.04 cores=0-31
/proc/13284/task/13308/stat : 13308 (claspmt) R 13282 13284 13185 0 -1 4202560 68 0 0 0 4 0 0 0 17 0 32 0 48631499 1095843840 2831 270582939648 4194304 4964800 140735209294960 18446744073709551615 4627536 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=13284/tid=13309] ppid=13282 vsize=1070160 CPUtime=0.04 cores=0-31
/proc/13284/task/13309/stat : 13309 (claspmt) R 13282 13284 13185 0 -1 4202560 62 0 0 0 4 0 0 0 17 0 32 0 48631499 1095843840 2832 270582939648 4194304 4964800 140735209294960 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=13284/tid=13310] ppid=13282 vsize=1070160 CPUtime=0.04 cores=0-31
/proc/13284/task/13310/stat : 13310 (claspmt) R 13282 13284 13185 0 -1 4202560 76 0 0 0 4 0 0 0 18 0 32 0 48631499 1095843840 2832 270582939648 4194304 4964800 140735209294960 18446744073709551615 4658562 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=13284/tid=13311] ppid=13282 vsize=1070160 CPUtime=0.05 cores=0-31
/proc/13284/task/13311/stat : 13311 (claspmt) R 13282 13284 13185 0 -1 4202560 84 0 0 0 5 0 0 0 17 0 32 0 48631499 1095843840 2832 270582939648 4194304 4964800 140735209294960 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=13284/tid=13312] ppid=13282 vsize=1070160 CPUtime=0.04 cores=0-31
/proc/13284/task/13312/stat : 13312 (claspmt) R 13282 13284 13185 0 -1 4202560 76 0 0 0 4 0 0 0 17 0 32 0 48631499 1095843840 2832 270582939648 4194304 4964800 140735209294960 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=13284/tid=13313] ppid=13282 vsize=1070160 CPUtime=0.06 cores=0-31
/proc/13284/task/13313/stat : 13313 (claspmt) R 13282 13284 13185 0 -1 4202560 49 0 0 0 6 0 0 0 18 0 32 0 48631499 1095843840 2833 270582939648 4194304 4964800 140735209294960 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=13284/tid=13314] ppid=13282 vsize=1070160 CPUtime=0.01 cores=0-31
/proc/13284/task/13314/stat : 13314 (claspmt) R 13282 13284 13185 0 -1 4202560 44 0 0 0 1 0 0 0 20 0 32 0 48631499 1095843840 2833 270582939648 4194304 4964800 140735209294960 18446744073709551615 258651060958 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=13284/tid=13315] ppid=13282 vsize=1070160 CPUtime=0.04 cores=0-31
/proc/13284/task/13315/stat : 13315 (claspmt) R 13282 13284 13185 0 -1 4202560 81 0 0 0 4 0 0 0 17 0 32 0 48631499 1095843840 2833 270582939648 4194304 4964800 140735209294960 18446744073709551615 4342232 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 1070160
[startup+0.205014 s]
/proc/loadavg: 23.26 20.27 13.31 1/413 13284
/proc/meminfo: memFree=261912468/264257624 swapFree=67111528/67111528
[pid=13284] ppid=13282 vsize=1135836 CPUtime=3.77 cores=0-31
/proc/13284/stat : 13284 (claspmt) R 13282 13284 13185 0 -1 4202496 3606 0 0 0 361 16 0 0 18 0 32 0 48631496 1163096064 3482 270582939648 4194304 4964800 140735209294960 18446744073709551615 4627177 0 0 4096 18946 18446744073709551615 0 0 17 11 0 0 0
/proc/13284/statm: 283959 3483 461 189 0 278308 0
[pid=13284/tid=13285] ppid=13282 vsize=1135836 CPUtime=0.1 cores=0-31
/proc/13284/task/13285/stat : 13285 (claspmt) R 13282 13284 13185 0 -1 4202560 73 0 0 0 10 0 0 0 17 0 32 0 48631498 1163096064 3485 270582939648 4194304 4964800 140735209294960 18446744073709551615 4362507 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=13284/tid=13286] ppid=13282 vsize=1135836 CPUtime=0.11 cores=0-31
/proc/13284/task/13286/stat : 13286 (claspmt) R 13282 13284 13185 0 -1 4202560 126 0 0 0 11 0 0 0 17 0 32 0 48631498 1163096064 3498 270582939648 4194304 4964800 140735209294960 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=13284/tid=13287] ppid=13282 vsize=1135836 CPUtime=0.11 cores=0-31
/proc/13284/task/13287/stat : 13287 (claspmt) R 13282 13284 13185 0 -1 4202560 107 0 0 0 11 0 0 0 17 0 32 0 48631498 1163096064 3498 270582939648 4194304 4964800 140735209294960 18446744073709551615 258650615338 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=13284/tid=13288] ppid=13282 vsize=1135836 CPUtime=0.1 cores=0-31
/proc/13284/task/13288/stat : 13288 (claspmt) R 13282 13284 13185 0 -1 4202560 95 0 0 0 10 0 0 0 17 0 32 0 48631498 1163096064 3500 270582939648 4194304 4964800 140735209294960 18446744073709551615 4342208 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=13284/tid=13289] ppid=13282 vsize=1135836 CPUtime=0.08 cores=0-31
/proc/13284/task/13289/stat : 13289 (claspmt) R 13282 13284 13185 0 -1 4202560 61 0 0 0 8 0 0 0 18 0 32 0 48631498 1163096064 3501 270582939648 4194304 4964800 140735209294960 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=13284/tid=13290] ppid=13282 vsize=1135836 CPUtime=0.1 cores=0-31
/proc/13284/task/13290/stat : 13290 (claspmt) R 13282 13284 13185 0 -1 4202560 81 0 0 0 10 0 0 0 17 0 32 0 48631498 1163096064 3502 270582939648 4194304 4964800 140735209294960 18446744073709551615 4660236 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=13284/tid=13291] ppid=13282 vsize=1135836 CPUtime=0.12 cores=0-31
/proc/13284/task/13291/stat : 13291 (claspmt) R 13282 13284 13185 0 -1 4202560 120 0 0 0 12 0 0 0 17 0 32 0 48631498 1163096064 3508 270582939648 4194304 4964800 140735209294960 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=13284/tid=13292] ppid=13282 vsize=1135836 CPUtime=0.11 cores=0-31
/proc/13284/task/13292/stat : 13292 (claspmt) R 13282 13284 13185 0 -1 4202560 85 0 0 0 11 0 0 0 17 0 32 0 48631498 1163096064 3508 270582939648 4194304 4964800 140735209294960 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=13284/tid=13293] ppid=13282 vsize=1135836 CPUtime=0.11 cores=0-31
/proc/13284/task/13293/stat : 13293 (claspmt) R 13282 13284 13185 0 -1 4202560 82 0 0 0 11 0 0 0 17 0 32 0 48631498 1163096064 3508 270582939648 4194304 4964800 140735209294960 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=13284/tid=13294] ppid=13282 vsize=1135836 CPUtime=0.11 cores=0-31
/proc/13284/task/13294/stat : 13294 (claspmt) R 13282 13284 13185 0 -1 4202560 123 0 0 0 11 0 0 0 17 0 32 0 48631498 1163096064 3512 270582939648 4194304 4964800 140735209294960 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=13284/tid=13295] ppid=13282 vsize=1135836 CPUtime=0.12 cores=0-31
/proc/13284/task/13295/stat : 13295 (claspmt) D 13282 13284 13185 0 -1 4202560 110 0 0 0 12 0 0 0 17 0 32 0 48631498 1163096064 3512 270582939648 4194304 4964800 140735209294960 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=13284/tid=13296] ppid=13282 vsize=1135836 CPUtime=0.12 cores=0-31
/proc/13284/task/13296/stat : 13296 (claspmt) D 13282 13284 13185 0 -1 4202560 105 0 0 0 12 0 0 0 17 0 32 0 48631498 1163096064 3515 270582939648 4194304 4964800 140735209294960 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=13284/tid=13297] ppid=13282 vsize=1135836 CPUtime=0.1 cores=0-31
/proc/13284/task/13297/stat : 13297 (claspmt) D 13282 13284 13185 0 -1 4202560 76 0 0 0 10 0 0 0 17 0 32 0 48631498 1163096064 3516 270582939648 4194304 4964800 140735209294960 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=13284/tid=13298] ppid=13282 vsize=1135836 CPUtime=0.11 cores=0-31
/proc/13284/task/13298/stat : 13298 (claspmt) R 13282 13284 13185 0 -1 4202560 79 0 0 0 11 0 0 0 17 0 32 0 48631498 1163096064 3532 270582939648 4194304 4964800 140735209294960 18446744073709551615 4332205 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=13284/tid=13299] ppid=13282 vsize=1135836 CPUtime=0.11 cores=0-31
/proc/13284/task/13299/stat : 13299 (claspmt) R 13282 13284 13185 0 -1 4202560 100 0 0 0 11 0 0 0 17 0 32 0 48631498 1163096064 3532 270582939648 4194304 4964800 140735209294960 18446744073709551615 4321023 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=13284/tid=13300] ppid=13282 vsize=1135836 CPUtime=0.12 cores=0-31
/proc/13284/task/13300/stat : 13300 (claspmt) R 13282 13284 13185 0 -1 4202560 86 0 0 0 11 1 0 0 17 0 32 0 48631499 1163096064 3532 270582939648 4194304 4964800 140735209294960 18446744073709551615 4660142 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=13284/tid=13301] ppid=13282 vsize=1135836 CPUtime=0.11 cores=0-31
################
# More data... #
################
/proc/13284/task/13307/stat : 13307 (claspmt) R 13282 13284 13185 0 -1 4202560 556 0 0 0 3408 17 0 0 25 0 32 0 48631499 1303175168 28693 270582939648 4194304 4964800 140735209294960 18446744073709551615 4365970 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=13284/tid=13308] ppid=13282 vsize=1272632 CPUtime=34.19 cores=0-31
/proc/13284/task/13308/stat : 13308 (claspmt) R 13282 13284 13185 0 -1 4202560 323 0 0 0 3411 8 0 0 25 0 32 0 48631499 1303175168 28693 270582939648 4194304 4964800 140735209294960 18446744073709551615 4659391 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=13284/tid=13309] ppid=13282 vsize=1272632 CPUtime=34.19 cores=0-31
/proc/13284/task/13309/stat : 13309 (claspmt) R 13282 13284 13185 0 -1 4202560 964 0 0 0 3399 20 0 0 25 0 32 0 48631499 1303175168 28693 270582939648 4194304 4964800 140735209294960 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=13284/tid=13310] ppid=13282 vsize=1272632 CPUtime=34.25 cores=0-31
/proc/13284/task/13310/stat : 13310 (claspmt) R 13282 13284 13185 0 -1 4202560 2015 0 0 0 3412 13 0 0 25 0 32 0 48631499 1303175168 28693 270582939648 4194304 4964800 140735209294960 18446744073709551615 4627365 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=13284/tid=13311] ppid=13282 vsize=1272632 CPUtime=34.24 cores=0-31
/proc/13284/task/13311/stat : 13311 (claspmt) R 13282 13284 13185 0 -1 4202560 630 0 0 0 3406 18 0 0 25 0 32 0 48631499 1303175168 28693 270582939648 4194304 4964800 140735209294960 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=13284/tid=13312] ppid=13282 vsize=1272632 CPUtime=34.23 cores=0-31
/proc/13284/task/13312/stat : 13312 (claspmt) R 13282 13284 13185 0 -1 4202560 1100 0 0 0 3409 14 0 0 22 0 32 0 48631499 1303175168 28693 270582939648 4194304 4964800 140735209294960 18446744073709551615 258650623178 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=13284/tid=13313] ppid=13282 vsize=1272632 CPUtime=34.21 cores=0-31
/proc/13284/task/13313/stat : 13313 (claspmt) R 13282 13284 13185 0 -1 4202560 768 0 0 0 3404 17 0 0 25 0 32 0 48631499 1303175168 28693 270582939648 4194304 4964800 140735209294960 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=13284/tid=13314] ppid=13282 vsize=1272632 CPUtime=34.04 cores=0-31
/proc/13284/task/13314/stat : 13314 (claspmt) R 13282 13284 13185 0 -1 4202560 502 0 0 0 3386 18 0 0 18 0 32 0 48631499 1303175168 28693 270582939648 4194304 4964800 140735209294960 18446744073709551615 4669507 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=13284/tid=13315] ppid=13282 vsize=1272632 CPUtime=34.23 cores=0-31
/proc/13284/task/13315/stat : 13315 (claspmt) R 13282 13284 13185 0 -1 4202560 574 0 0 0 3413 10 0 0 18 0 32 0 48631499 1303175168 28693 270582939648 4194304 4964800 140735209294960 18446744073709551615 4689021 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1094.67
Current children cumulated vsize (KiB) 1272632
[startup+35.2018 s]
/proc/loadavg: 27.21 21.58 14.00 33/445 13316
/proc/meminfo: memFree=261813036/264257624 swapFree=67111528/67111528
[pid=13284] ppid=13282 vsize=1272632 CPUtime=1120.82 cores=0-31
/proc/13284/stat : 13284 (claspmt) R 13282 13284 13185 0 -1 4202496 28834 0 0 0 111533 549 0 0 25 0 32 0 48631496 1303175168 28710 270582939648 4194304 4964800 140735209294960 18446744073709551615 4380234 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/13284/statm: 318158 28710 461 189 0 312507 0
[pid=13284/tid=13285] ppid=13282 vsize=1272632 CPUtime=34.7 cores=0-31
/proc/13284/task/13285/stat : 13285 (claspmt) R 13282 13284 13185 0 -1 4202560 914 0 0 0 3445 25 0 0 21 0 32 0 48631498 1303175168 28710 270582939648 4194304 4964800 140735209294960 18446744073709551615 258650652393 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=13284/tid=13286] ppid=13282 vsize=1272632 CPUtime=34.99 cores=0-31
/proc/13284/task/13286/stat : 13286 (claspmt) R 13282 13284 13185 0 -1 4202560 2167 0 0 0 3487 12 0 0 21 0 32 0 48631498 1303175168 28710 270582939648 4194304 4964800 140735209294960 18446744073709551615 4321105 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=13284/tid=13287] ppid=13282 vsize=1272632 CPUtime=35.04 cores=0-31
/proc/13284/task/13287/stat : 13287 (claspmt) R 13282 13284 13185 0 -1 4202560 516 0 0 0 3490 14 0 0 25 0 32 0 48631498 1303175168 28710 270582939648 4194304 4964800 140735209294960 18446744073709551615 4658574 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=13284/tid=13288] ppid=13282 vsize=1272632 CPUtime=35.04 cores=0-31
/proc/13284/task/13288/stat : 13288 (claspmt) R 13282 13284 13185 0 -1 4202560 1103 0 0 0 3492 12 0 0 19 0 32 0 48631498 1303175168 28710 270582939648 4194304 4964800 140735209294960 18446744073709551615 4321010 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=13284/tid=13289] ppid=13282 vsize=1272632 CPUtime=35.01 cores=0-31
/proc/13284/task/13289/stat : 13289 (claspmt) R 13282 13284 13185 0 -1 4202560 733 0 0 0 3478 23 0 0 25 0 32 0 48631498 1303175168 28710 270582939648 4194304 4964800 140735209294960 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=13284/tid=13290] ppid=13282 vsize=1272632 CPUtime=35.05 cores=0-31
/proc/13284/task/13290/stat : 13290 (claspmt) R 13282 13284 13185 0 -1 4202560 563 0 0 0 3486 19 0 0 25 0 32 0 48631498 1303175168 28710 270582939648 4194304 4964800 140735209294960 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=13284/tid=13291] ppid=13282 vsize=1272632 CPUtime=35.06 cores=0-31
/proc/13284/task/13291/stat : 13291 (claspmt) R 13282 13284 13185 0 -1 4202560 580 0 0 0 3488 18 0 0 25 0 32 0 48631498 1303175168 28710 270582939648 4194304 4964800 140735209294960 18446744073709551615 4670534 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=13284/tid=13292] ppid=13282 vsize=1272632 CPUtime=35.05 cores=0-31
/proc/13284/task/13292/stat : 13292 (claspmt) R 13282 13284 13185 0 -1 4202560 376 0 0 0 3489 16 0 0 25 0 32 0 48631498 1303175168 28710 270582939648 4194304 4964800 140735209294960 18446744073709551615 4669434 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=13284/tid=13293] ppid=13282 vsize=1272632 CPUtime=35.03 cores=0-31
/proc/13284/task/13293/stat : 13293 (claspmt) R 13282 13284 13185 0 -1 4202560 1058 0 0 0 3479 24 0 0 25 0 32 0 48631498 1303175168 28710 270582939648 4194304 4964800 140735209294960 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=13284/tid=13294] ppid=13282 vsize=1272632 CPUtime=35.08 cores=0-31
/proc/13284/task/13294/stat : 13294 (claspmt) R 13282 13284 13185 0 -1 4202560 2142 0 0 0 3499 9 0 0 25 0 32 0 48631498 1303175168 28710 270582939648 4194304 4964800 140735209294960 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=13284/tid=13295] ppid=13282 vsize=1272632 CPUtime=35.06 cores=0-31
/proc/13284/task/13295/stat : 13295 (claspmt) R 13282 13284 13185 0 -1 4202560 601 0 0 0 3488 18 0 0 25 0 32 0 48631498 1303175168 28710 270582939648 4194304 4964800 140735209294960 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=13284/tid=13296] ppid=13282 vsize=1272632 CPUtime=34.96 cores=0-31
/proc/13284/task/13296/stat : 13296 (claspmt) R 13282 13284 13185 0 -1 4202560 1131 0 0 0 3481 15 0 0 25 0 32 0 48631498 1303175168 28710 270582939648 4194304 4964800 140735209294960 18446744073709551615 4684107 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=13284/tid=13297] ppid=13282 vsize=1272632 CPUtime=35.05 cores=0-31
/proc/13284/task/13297/stat : 13297 (claspmt) R 13282 13284 13185 0 -1 4202560 731 0 0 0 3487 18 0 0 25 0 32 0 48631498 1303175168 28710 270582939648 4194304 4964800 140735209294960 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=13284/tid=13298] ppid=13282 vsize=1272632 CPUtime=35.05 cores=0-31
/proc/13284/task/13298/stat : 13298 (claspmt) R 13282 13284 13185 0 -1 4202560 591 0 0 0 3492 13 0 0 18 0 32 0 48631498 1303175168 28710 270582939648 4194304 4964800 140735209294960 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=13284/tid=13299] ppid=13282 vsize=1272632 CPUtime=35.04 cores=0-31
/proc/13284/task/13299/stat : 13299 (claspmt) R 13282 13284 13185 0 -1 4202560 669 0 0 0 3488 16 0 0 18 0 32 0 48631498 1303175168 28710 270582939648 4194304 4964800 140735209294960 18446744073709551615 4670155 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=13284/tid=13300] ppid=13282 vsize=1272632 CPUtime=35.06 cores=0-31
/proc/13284/task/13300/stat : 13300 (claspmt) R 13282 13284 13185 0 -1 4202560 333 0 0 0 3489 17 0 0 25 0 32 0 48631499 1303175168 28710 270582939648 4194304 4964800 140735209294960 18446744073709551615 4653547 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=13284/tid=13301] ppid=13282 vsize=1272632 CPUtime=35.04 cores=0-31
/proc/13284/task/13301/stat : 13301 (claspmt) R 13282 13284 13185 0 -1 4202560 993 0 0 0 3477 27 0 0 25 0 32 0 48631499 1303175168 28710 270582939648 4194304 4964800 140735209294960 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=13284/tid=13302] ppid=13282 vsize=1272632 CPUtime=35.07 cores=0-31
/proc/13284/task/13302/stat : 13302 (claspmt) R 13282 13284 13185 0 -1 4202560 2065 0 0 0 3496 11 0 0 23 0 32 0 48631499 1303175168 28710 270582939648 4194304 4964800 140735209294960 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=13284/tid=13303] ppid=13282 vsize=1272632 CPUtime=35.05 cores=0-31
/proc/13284/task/13303/stat : 13303 (claspmt) R 13282 13284 13185 0 -1 4202560 568 0 0 0 3489 16 0 0 25 0 32 0 48631499 1303175168 28710 270582939648 4194304 4964800 140735209294960 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=13284/tid=13304] ppid=13282 vsize=1272632 CPUtime=35.07 cores=0-31
/proc/13284/task/13304/stat : 13304 (claspmt) R 13282 13284 13185 0 -1 4202560 1163 0 0 0 3487 20 0 0 18 0 32 0 48631499 1303175168 28710 270582939648 4194304 4964800 140735209294960 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=13284/tid=13305] ppid=13282 vsize=1272632 CPUtime=35.03 cores=0-31
/proc/13284/task/13305/stat : 13305 (claspmt) R 13282 13284 13185 0 -1 4202560 785 0 0 0 3488 15 0 0 21 0 32 0 48631499 1303175168 28710 270582939648 4194304 4964800 140735209294960 18446744073709551615 4627290 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=13284/tid=13306] ppid=13282 vsize=1272632 CPUtime=35.02 cores=0-31
/proc/13284/task/13306/stat : 13306 (claspmt) R 13282 13284 13185 0 -1 4202560 541 0 0 0 3487 15 0 0 25 0 32 0 48631499 1303175168 28710 270582939648 4194304 4964800 140735209294960 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=13284/tid=13307] ppid=13282 vsize=1272632 CPUtime=35.06 cores=0-31
/proc/13284/task/13307/stat : 13307 (claspmt) R 13282 13284 13185 0 -1 4202560 556 0 0 0 3489 17 0 0 25 0 32 0 48631499 1303175168 28710 270582939648 4194304 4964800 140735209294960 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=13284/tid=13308] ppid=13282 vsize=1272632 CPUtime=35.01 cores=0-31
/proc/13284/task/13308/stat : 13308 (claspmt) R 13282 13284 13185 0 -1 4202560 331 0 0 0 3493 8 0 0 25 0 32 0 48631499 1303175168 28710 270582939648 4194304 4964800 140735209294960 18446744073709551615 4362287 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=13284/tid=13309] ppid=13282 vsize=1272632 CPUtime=35.01 cores=0-31
/proc/13284/task/13309/stat : 13309 (claspmt) R 13282 13284 13185 0 -1 4202560 964 0 0 0 3481 20 0 0 18 0 32 0 48631499 1303175168 28710 270582939648 4194304 4964800 140735209294960 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=13284/tid=13310] ppid=13282 vsize=1272632 CPUtime=35.07 cores=0-31
/proc/13284/task/13310/stat : 13310 (claspmt) R 13282 13284 13185 0 -1 4202560 2015 0 0 0 3494 13 0 0 25 0 32 0 48631499 1303175168 28710 270582939648 4194304 4964800 140735209294960 18446744073709551615 4658562 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=13284/tid=13311] ppid=13282 vsize=1272632 CPUtime=35.05 cores=0-31
/proc/13284/task/13311/stat : 13311 (claspmt) R 13282 13284 13185 0 -1 4202560 630 0 0 0 3487 18 0 0 25 0 32 0 48631499 1303175168 28710 270582939648 4194304 4964800 140735209294960 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=13284/tid=13312] ppid=13282 vsize=1272632 CPUtime=35.06 cores=0-31
/proc/13284/task/13312/stat : 13312 (claspmt) R 13282 13284 13185 0 -1 4202560 1100 0 0 0 3491 15 0 0 18 0 32 0 48631499 1303175168 28710 270582939648 4194304 4964800 140735209294960 18446744073709551615 4362339 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=13284/tid=13313] ppid=13282 vsize=1272632 CPUtime=35.03 cores=0-31
/proc/13284/task/13313/stat : 13313 (claspmt) R 13282 13284 13185 0 -1 4202560 768 0 0 0 3486 17 0 0 18 0 32 0 48631499 1303175168 28710 270582939648 4194304 4964800 140735209294960 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=13284/tid=13314] ppid=13282 vsize=1272632 CPUtime=34.87 cores=0-31
/proc/13284/task/13314/stat : 13314 (claspmt) R 13282 13284 13185 0 -1 4202560 502 0 0 0 3468 19 0 0 18 0 32 0 48631499 1303175168 28710 270582939648 4194304 4964800 140735209294960 18446744073709551615 4332409 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=13284/tid=13315] ppid=13282 vsize=1272632 CPUtime=35.05 cores=0-31
/proc/13284/task/13315/stat : 13315 (claspmt) R 13282 13284 13185 0 -1 4202560 574 0 0 0 3495 10 0 0 20 0 32 0 48631499 1303175168 28710 270582939648 4194304 4964800 140735209294960 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1120.82
Current children cumulated vsize (KiB) 1272632
[startup+35.6018 s]
/proc/loadavg: 27.21 21.58 14.00 33/445 13316
/proc/meminfo: memFree=261813036/264257624 swapFree=67111528/67111528
[pid=13284] ppid=13282 vsize=1272632 CPUtime=1132.99 cores=0-31
/proc/13284/stat : 13284 (claspmt) R 13282 13284 13185 0 -1 4202496 28842 0 0 0 112744 555 0 0 25 0 32 0 48631496 1303175168 28718 270582939648 4194304 4964800 140735209294960 18446744073709551615 4321020 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/13284/statm: 318158 28718 461 189 0 312507 0
[pid=13284/tid=13285] ppid=13282 vsize=1272632 CPUtime=35.08 cores=0-31
/proc/13284/task/13285/stat : 13285 (claspmt) R 13282 13284 13185 0 -1 4202560 914 0 0 0 3482 26 0 0 23 0 32 0 48631498 1303175168 28718 270582939648 4194304 4964800 140735209294960 18446744073709551615 258650613601 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=13284/tid=13286] ppid=13282 vsize=1272632 CPUtime=35.36 cores=0-31
/proc/13284/task/13286/stat : 13286 (claspmt) R 13282 13284 13185 0 -1 4202560 2167 0 0 0 3524 12 0 0 22 0 32 0 48631498 1303175168 28718 270582939648 4194304 4964800 140735209294960 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=13284/tid=13287] ppid=13282 vsize=1272632 CPUtime=35.42 cores=0-31
/proc/13284/task/13287/stat : 13287 (claspmt) R 13282 13284 13185 0 -1 4202560 516 0 0 0 3528 14 0 0 25 0 32 0 48631498 1303175168 28718 270582939648 4194304 4964800 140735209294960 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=13284/tid=13288] ppid=13282 vsize=1272632 CPUtime=35.42 cores=0-31
/proc/13284/task/13288/stat : 13288 (claspmt) R 13282 13284 13185 0 -1 4202560 1103 0 0 0 3530 12 0 0 20 0 32 0 48631498 1303175168 28718 270582939648 4194304 4964800 140735209294960 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=13284/tid=13289] ppid=13282 vsize=1272632 CPUtime=35.4 cores=0-31
/proc/13284/task/13289/stat : 13289 (claspmt) R 13282 13284 13185 0 -1 4202560 733 0 0 0 3516 24 0 0 25 0 32 0 48631498 1303175168 28718 270582939648 4194304 4964800 140735209294960 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=13284/tid=13290] ppid=13282 vsize=1272632 CPUtime=35.42 cores=0-31
/proc/13284/task/13290/stat : 13290 (claspmt) R 13282 13284 13185 0 -1 4202560 563 0 0 0 3523 19 0 0 25 0 32 0 48631498 1303175168 28718 270582939648 4194304 4964800 140735209294960 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=13284/tid=13291] ppid=13282 vsize=1272632 CPUtime=35.44 cores=0-31
/proc/13284/task/13291/stat : 13291 (claspmt) R 13282 13284 13185 0 -1 4202560 580 0 0 0 3526 18 0 0 25 0 32 0 48631498 1303175168 28718 270582939648 4194304 4964800 140735209294960 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=13284/tid=13292] ppid=13282 vsize=1272632 CPUtime=35.43 cores=0-31
/proc/13284/task/13292/stat : 13292 (claspmt) R 13282 13284 13185 0 -1 4202560 376 0 0 0 3527 16 0 0 25 0 32 0 48631498 1303175168 28718 270582939648 4194304 4964800 140735209294960 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=13284/tid=13293] ppid=13282 vsize=1272632 CPUtime=35.41 cores=0-31
/proc/13284/task/13293/stat : 13293 (claspmt) R 13282 13284 13185 0 -1 4202560 1058 0 0 0 3517 24 0 0 18 0 32 0 48631498 1303175168 28718 270582939648 4194304 4964800 140735209294960 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=13284/tid=13294] ppid=13282 vsize=1272632 CPUtime=35.46 cores=0-31
/proc/13284/task/13294/stat : 13294 (claspmt) R 13282 13284 13185 0 -1 4202560 2142 0 0 0 3537 9 0 0 18 0 32 0 48631498 1303175168 28718 270582939648 4194304 4964800 140735209294960 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=13284/tid=13295] ppid=13282 vsize=1272632 CPUtime=35.44 cores=0-31
/proc/13284/task/13295/stat : 13295 (claspmt) R 13282 13284 13185 0 -1 4202560 601 0 0 0 3526 18 0 0 25 0 32 0 48631498 1303175168 28718 270582939648 4194304 4964800 140735209294960 18446744073709551615 4670407 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=13284/tid=13296] ppid=13282 vsize=1272632 CPUtime=35.34 cores=0-31
/proc/13284/task/13296/stat : 13296 (claspmt) R 13282 13284 13185 0 -1 4202560 1131 0 0 0 3519 15 0 0 25 0 32 0 48631498 1303175168 28718 270582939648 4194304 4964800 140735209294960 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=13284/tid=13297] ppid=13282 vsize=1272632 CPUtime=35.43 cores=0-31
/proc/13284/task/13297/stat : 13297 (claspmt) R 13282 13284 13185 0 -1 4202560 731 0 0 0 3524 19 0 0 18 0 32 0 48631498 1303175168 28718 270582939648 4194304 4964800 140735209294960 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=13284/tid=13298] ppid=13282 vsize=1272632 CPUtime=35.43 cores=0-31
/proc/13284/task/13298/stat : 13298 (claspmt) R 13282 13284 13185 0 -1 4202560 591 0 0 0 3530 13 0 0 19 0 32 0 48631498 1303175168 28718 270582939648 4194304 4964800 140735209294960 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=13284/tid=13299] ppid=13282 vsize=1272632 CPUtime=35.42 cores=0-31
/proc/13284/task/13299/stat : 13299 (claspmt) R 13282 13284 13185 0 -1 4202560 669 0 0 0 3525 17 0 0 19 0 32 0 48631498 1303175168 28718 270582939648 4194304 4964800 140735209294960 18446744073709551615 4321097 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=13284/tid=13300] ppid=13282 vsize=1272632 CPUtime=35.44 cores=0-31
/proc/13284/task/13300/stat : 13300 (claspmt) R 13282 13284 13185 0 -1 4202560 333 0 0 0 3527 17 0 0 25 0 32 0 48631499 1303175168 28718 270582939648 4194304 4964800 140735209294960 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=13284/tid=13301] ppid=13282 vsize=1272632 CPUtime=35.42 cores=0-31
/proc/13284/task/13301/stat : 13301 (claspmt) R 13282 13284 13185 0 -1 4202560 993 0 0 0 3515 27 0 0 25 0 32 0 48631499 1303175168 28718 270582939648 4194304 4964800 140735209294960 18446744073709551615 4670321 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=13284/tid=13302] ppid=13282 vsize=1272632 CPUtime=35.45 cores=0-31
/proc/13284/task/13302/stat : 13302 (claspmt) R 13282 13284 13185 0 -1 4202560 2065 0 0 0 3534 11 0 0 25 0 32 0 48631499 1303175168 28718 270582939648 4194304 4964800 140735209294960 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=13284/tid=13303] ppid=13282 vsize=1272632 CPUtime=35.42 cores=0-31
/proc/13284/task/13303/stat : 13303 (claspmt) R 13282 13284 13185 0 -1 4202560 568 0 0 0 3526 16 0 0 25 0 32 0 48631499 1303175168 28718 270582939648 4194304 4964800 140735209294960 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=13284/tid=13304] ppid=13282 vsize=1272632 CPUtime=35.45 cores=0-31
/proc/13284/task/13304/stat : 13304 (claspmt) R 13282 13284 13185 0 -1 4202560 1163 0 0 0 3525 20 0 0 19 0 32 0 48631499 1303175168 28718 270582939648 4194304 4964800 140735209294960 18446744073709551615 4334248 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=13284/tid=13305] ppid=13282 vsize=1272632 CPUtime=35.41 cores=0-31
/proc/13284/task/13305/stat : 13305 (claspmt) R 13282 13284 13185 0 -1 4202560 785 0 0 0 3526 15 0 0 22 0 32 0 48631499 1303175168 28718 270582939648 4194304 4964800 140735209294960 18446744073709551615 4669507 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=13284/tid=13306] ppid=13282 vsize=1272632 CPUtime=35.4 cores=0-31
/proc/13284/task/13306/stat : 13306 (claspmt) R 13282 13284 13185 0 -1 4202560 541 0 0 0 3524 16 0 0 25 0 32 0 48631499 1303175168 28718 270582939648 4194304 4964800 140735209294960 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=13284/tid=13307] ppid=13282 vsize=1272632 CPUtime=35.45 cores=0-31
/proc/13284/task/13307/stat : 13307 (claspmt) R 13282 13284 13185 0 -1 4202560 556 0 0 0 3527 18 0 0 25 0 32 0 48631499 1303175168 28718 270582939648 4194304 4964800 140735209294960 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=13284/tid=13308] ppid=13282 vsize=1272632 CPUtime=35.4 cores=0-31
/proc/13284/task/13308/stat : 13308 (claspmt) R 13282 13284 13185 0 -1 4202560 331 0 0 0 3531 9 0 0 25 0 32 0 48631499 1303175168 28718 270582939648 4194304 4964800 140735209294960 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=13284/tid=13309] ppid=13282 vsize=1272632 CPUtime=35.4 cores=0-31
/proc/13284/task/13309/stat : 13309 (claspmt) R 13282 13284 13185 0 -1 4202560 964 0 0 0 3519 21 0 0 19 0 32 0 48631499 1303175168 28718 270582939648 4194304 4964800 140735209294960 18446744073709551615 4380234 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=13284/tid=13310] ppid=13282 vsize=1272632 CPUtime=35.44 cores=0-31
/proc/13284/task/13310/stat : 13310 (claspmt) R 13282 13284 13185 0 -1 4202560 2023 0 0 0 3531 13 0 0 18 0 32 0 48631499 1303175168 28718 270582939648 4194304 4964800 140735209294960 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=13284/tid=13311] ppid=13282 vsize=1272632 CPUtime=35.44 cores=0-31
/proc/13284/task/13311/stat : 13311 (claspmt) R 13282 13284 13185 0 -1 4202560 630 0 0 0 3525 19 0 0 25 0 32 0 48631499 1303175168 28718 270582939648 4194304 4964800 140735209294960 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=13284/tid=13312] ppid=13282 vsize=1272632 CPUtime=35.43 cores=0-31
/proc/13284/task/13312/stat : 13312 (claspmt) R 13282 13284 13185 0 -1 4202560 1100 0 0 0 3528 15 0 0 19 0 32 0 48631499 1303175168 28718 270582939648 4194304 4964800 140735209294960 18446744073709551615 4669552 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=13284/tid=13313] ppid=13282 vsize=1272632 CPUtime=35.41 cores=0-31
/proc/13284/task/13313/stat : 13313 (claspmt) R 13282 13284 13185 0 -1 4202560 768 0 0 0 3523 18 0 0 18 0 32 0 48631499 1303175168 28718 270582939648 4194304 4964800 140735209294960 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=13284/tid=13314] ppid=13282 vsize=1272632 CPUtime=35.25 cores=0-31
/proc/13284/task/13314/stat : 13314 (claspmt) R 13282 13284 13185 0 -1 4202560 502 0 0 0 3506 19 0 0 19 0 32 0 48631499 1303175168 28718 270582939648 4194304 4964800 140735209294960 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=13284/tid=13315] ppid=13282 vsize=1272632 CPUtime=35.43 cores=0-31
/proc/13284/task/13315/stat : 13315 (claspmt) R 13282 13284 13185 0 -1 4202560 574 0 0 0 3532 11 0 0 21 0 32 0 48631499 1303175168 28718 270582939648 4194304 4964800 140735209294960 18446744073709551615 4366057 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1132.99
Current children cumulated vsize (KiB) 1272632
[startup+35.702 s]
/proc/loadavg: 27.21 21.58 14.00 33/445 13316
/proc/meminfo: memFree=261813036/264257624 swapFree=67111528/67111528
[pid=13284] ppid=13282 vsize=1181840 CPUtime=1135.05 cores=0-31
/proc/13284/stat : 13284 (claspmt) R 13282 13284 13185 0 -1 4202496 28860 0 0 0 112948 557 0 0 25 0 1 0 48631496 1210204160 21307 270582939648 4194304 4964800 140735209294960 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13284/statm: 295460 21169 472 189 0 289809 0
Current children cumulated CPU time (s) 1135.05
Current children cumulated vsize (KiB) 1181840
Child status: 20
Real time (s): 35.7121
CPU time (s): 1135.07
CPU user time (s): 1129.49
CPU system time (s): 5.57915
CPU usage (%): 3178.39
Max. virtual memory (cumulated for all children) (KiB): 1272632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1129.49
system time used= 5.57915
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28861
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= 387345
involuntary context switches= 3122
runsolver used 0.202969 second user time and 0.843871 second system time
The end
Begin job on node200 at 2011-06-12 00:47:26
IDJOB=3472532
IDBENCH=87935
IDSOLVER=1961
FILE ID=node200/3472532-1307832446
RUNJOBID= node200-1307832446-13199
PBS_JOBID= 13551041
Free space on /tmp= 61744 MiB
SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT02/industrial/aloul/Homer/homer14.shuffled.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-3472532-1307832446/watcher-3472532-1307832446 -o /tmp/evaluation-result-3472532-1307832446/solver-3472532-1307832446 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472532-1307832446.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 256000 MiB
NBCORE= 32
MD5SUM BENCH= 1d9569aa70fee033c68469753053c259
RANDOM SEED=1480888210
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: 261913252 kB
Buffers: 299612 kB
Cached: 1710468 kB
SwapCached: 0 kB
Active: 326588 kB
Inactive: 1747208 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 261913252 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 1660 kB
Writeback: 0 kB
AnonPages: 66592 kB
Mapped: 14568 kB
Slab: 185532 kB
PageTables: 5964 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 168868 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= 61740 MiB
End job on node200 at 2011-06-12 00:48:02