0.00/0.00 c clasp version 2.0.0-RC2
0.00/0.00 c Reading from ...397108/instance-3472284-1307397108.cnf
2.33/2.39 c Solving...
41888.74/1719.19 s UNSATISFIABLE
41888.74/1719.19
41888.74/1719.19 c Models : 0
41888.74/1719.19 c Time : 1713.971s (Solving: 1711.58s 1st Model: 0.00s Unsat: 1711.58s)
41888.74/1719.19 c CPU Time : 41883.610s
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-3472284-1307397108/watcher-3472284-1307397108 -o /tmp/evaluation-result-3472284-1307397108/solver-3472284-1307397108 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472284-1307397108.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: 27.25 30.45 31.23 1/413 11536
/proc/meminfo: memFree=263493088/264257624 swapFree=67111528/67111528
[pid=11536] ppid=11534 vsize=59740 CPUtime=0.02 cores=0-31
/proc/11536/stat : 11536 (claspmt) R 11534 11536 11510 0 -1 4202496 4653 0 0 0 2 0 0 0 18 0 1 0 5098165 61173760 4582 270582939648 4194304 4964800 140735017965776 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/11536/statm: 14935 4589 373 189 0 9809 0
[startup+0.118969 s]
/proc/loadavg: 27.25 30.45 31.23 1/413 11536
/proc/meminfo: memFree=263493088/264257624 swapFree=67111528/67111528
[pid=11536] ppid=11534 vsize=83072 CPUtime=0.11 cores=0-31
/proc/11536/stat : 11536 (claspmt) R 11534 11536 11510 0 -1 4202496 18158 0 0 0 9 2 0 0 18 0 1 0 5098165 85065728 15696 270582939648 4194304 4964800 140735017965776 18446744073709551615 258650955760 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/11536/statm: 20768 15697 385 189 0 15642 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 83072
[startup+0.200976 s]
/proc/loadavg: 27.25 30.45 31.23 1/413 11536
/proc/meminfo: memFree=263493088/264257624 swapFree=67111528/67111528
[pid=11536] ppid=11534 vsize=88236 CPUtime=0.19 cores=0-31
/proc/11536/stat : 11536 (claspmt) R 11534 11536 11510 0 -1 4202496 19481 0 0 0 16 3 0 0 18 0 1 0 5098165 90353664 16986 270582939648 4194304 4964800 140735017965776 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/11536/statm: 22059 16988 385 189 0 16933 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 88236
[startup+0.301002 s]
/proc/loadavg: 27.25 30.45 31.23 1/413 11536
/proc/meminfo: memFree=263493088/264257624 swapFree=67111528/67111528
[pid=11536] ppid=11534 vsize=94292 CPUtime=0.29 cores=0-31
/proc/11536/stat : 11536 (claspmt) R 11534 11536 11510 0 -1 4202496 21046 0 0 0 26 3 0 0 18 0 1 0 5098165 96555008 18501 270582939648 4194304 4964800 140735017965776 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/11536/statm: 23573 18502 385 189 0 18447 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 94292
[startup+0.700987 s]
/proc/loadavg: 27.25 30.45 31.23 1/413 11536
/proc/meminfo: memFree=263493088/264257624 swapFree=67111528/67111528
[pid=11536] ppid=11534 vsize=117652 CPUtime=0.69 cores=0-31
/proc/11536/stat : 11536 (claspmt) R 11534 11536 11510 0 -1 4202496 27115 0 0 0 62 7 0 0 18 0 1 0 5098165 120475648 24216 270582939648 4194304 4964800 140735017965776 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/11536/statm: 29413 24216 385 189 0 24287 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 117652
[startup+1.50102 s]
/proc/loadavg: 25.15 29.96 31.07 2/414 11537
/proc/meminfo: memFree=263377500/264257624 swapFree=67111528/67111528
[pid=11536] ppid=11534 vsize=159716 CPUtime=1.49 cores=0-31
/proc/11536/stat : 11536 (claspmt) R 11534 11536 11510 0 -1 4202496 37863 0 0 0 136 13 0 0 20 0 1 0 5098165 163549184 34713 270582939648 4194304 4964800 140735017965776 18446744073709551615 258650955760 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/11536/statm: 39929 34713 385 189 0 34803 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 159716
[startup+3.10107 s]
/proc/loadavg: 25.15 29.96 31.07 2/414 11537
/proc/meminfo: memFree=263320572/264257624 swapFree=67111528/67111528
[pid=11536] ppid=11534 vsize=986140 CPUtime=21.56 cores=0-31
/proc/11536/stat : 11536 (claspmt) S 11534 11536 11510 0 -1 4202496 200010 0 0 0 279 1877 0 0 18 0 32 0 5098165 1009807360 144177 270582939648 4194304 4964800 140735017965776 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 16 0 0 0
/proc/11536/statm: 246535 144177 428 189 0 240884 0
Current children cumulated CPU time (s) 21.56
Current children cumulated vsize (KiB) 986140
[startup+6.30311 s]
/proc/loadavg: 25.54 29.96 31.06 2/445 11568
/proc/meminfo: memFree=262244168/264257624 swapFree=67111528/67111528
[pid=11536] ppid=11534 vsize=2992692 CPUtime=39.11 cores=0-31
/proc/11536/stat : 11536 (claspmt) S 11534 11536 11510 0 -1 4202496 443948 0 0 0 647 3264 0 0 18 0 32 0 5098165 3064516608 360246 270582939648 4194304 4964800 140735017965776 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 16 0 0 0
/proc/11536/statm: 748173 360249 428 189 0 742522 0
[pid=11536/tid=11538] ppid=11534 vsize=2992692 CPUtime=1.21 cores=0-31
/proc/11536/task/11538/stat : 11538 (claspmt) S 11534 11536 11510 0 -1 4202560 12354 0 0 0 13 108 0 0 16 0 32 0 5098405 3064516608 360259 270582939648 4194304 4964800 140735017965776 18446744073709551615 258651060958 0 0 4096 18946 18446744071566924104 0 0 -1 29 0 0 0
[pid=11536/tid=11539] ppid=11534 vsize=2992692 CPUtime=1.17 cores=0-31
/proc/11536/task/11539/stat : 11539 (claspmt) D 11534 11536 11510 0 -1 4202560 12793 0 0 0 13 104 0 0 16 0 32 0 5098405 3064516608 360261 270582939648 4194304 4964800 140735017965776 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=11536/tid=11540] ppid=11534 vsize=2992692 CPUtime=1.19 cores=0-31
/proc/11536/task/11540/stat : 11540 (claspmt) D 11534 11536 11510 0 -1 4202560 11713 0 0 0 12 107 0 0 17 0 32 0 5098405 3064516608 360263 270582939648 4194304 4964800 140735017965776 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=11536/tid=11541] ppid=11534 vsize=2992692 CPUtime=1.23 cores=0-31
/proc/11536/task/11541/stat : 11541 (claspmt) D 11534 11536 11510 0 -1 4202560 11273 0 0 0 13 110 0 0 17 0 32 0 5098405 3064516608 360270 270582939648 4194304 4964800 140735017965776 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=11536/tid=11542] ppid=11534 vsize=2992692 CPUtime=1.08 cores=0-31
/proc/11536/task/11542/stat : 11542 (claspmt) D 11534 11536 11510 0 -1 4202560 14512 0 0 0 20 88 0 0 15 0 32 0 5098405 3064516608 360271 270582939648 4194304 4964800 140735017965776 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=11536/tid=11543] ppid=11534 vsize=2992692 CPUtime=1.2 cores=0-31
/proc/11536/task/11543/stat : 11543 (claspmt) D 11534 11536 11510 0 -1 4202560 12411 0 0 0 13 107 0 0 16 0 32 0 5098405 3064516608 360273 270582939648 4194304 4964800 140735017965776 18446744073709551615 258650653351 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=11536/tid=11544] ppid=11534 vsize=2992692 CPUtime=1.19 cores=0-31
/proc/11536/task/11544/stat : 11544 (claspmt) D 11534 11536 11510 0 -1 4202560 12828 0 0 0 12 107 0 0 16 0 32 0 5098405 3064516608 360280 270582939648 4194304 4964800 140735017965776 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=11536/tid=11545] ppid=11534 vsize=2992692 CPUtime=1.14 cores=0-31
/proc/11536/task/11545/stat : 11545 (claspmt) D 11534 11536 11510 0 -1 4202560 12674 0 0 0 17 97 0 0 16 0 32 0 5098405 3064516608 360283 270582939648 4194304 4964800 140735017965776 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=11536/tid=11546] ppid=11534 vsize=2992692 CPUtime=1.17 cores=0-31
/proc/11536/task/11546/stat : 11546 (claspmt) D 11534 11536 11510 0 -1 4202560 12705 0 0 0 11 106 0 0 16 0 32 0 5098405 3064516608 360287 270582939648 4194304 4964800 140735017965776 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=11536/tid=11547] ppid=11534 vsize=2992692 CPUtime=1.21 cores=0-31
/proc/11536/task/11547/stat : 11547 (claspmt) D 11534 11536 11510 0 -1 4202560 12623 0 0 0 14 107 0 0 16 0 32 0 5098405 3064516608 360290 270582939648 4194304 4964800 140735017965776 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=11536/tid=11548] ppid=11534 vsize=2992692 CPUtime=1.15 cores=0-31
/proc/11536/task/11548/stat : 11548 (claspmt) D 11534 11536 11510 0 -1 4202560 12412 0 0 0 11 104 0 0 16 0 32 0 5098405 3064516608 360295 270582939648 4194304 4964800 140735017965776 18446744073709551615 258650653381 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=11536/tid=11549] ppid=11534 vsize=2992692 CPUtime=1.1 cores=0-31
/proc/11536/task/11549/stat : 11549 (claspmt) S 11534 11536 11510 0 -1 4202560 14745 0 0 0 20 90 0 0 16 0 32 0 5098405 3064516608 360300 270582939648 4194304 4964800 140735017965776 18446744073709551615 258651060958 0 0 4096 18946 18446744071566932384 0 0 -1 23 0 0 0
[pid=11536/tid=11550] ppid=11534 vsize=2992692 CPUtime=1.2 cores=0-31
/proc/11536/task/11550/stat : 11550 (claspmt) D 11534 11536 11510 0 -1 4202560 11724 0 0 0 14 106 0 0 16 0 32 0 5098405 3064516608 360300 270582939648 4194304 4964800 140735017965776 18446744073709551615 258650653280 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=11536/tid=11551] ppid=11534 vsize=2992692 CPUtime=1.19 cores=0-31
/proc/11536/task/11551/stat : 11551 (claspmt) D 11534 11536 11510 0 -1 4202560 12495 0 0 0 11 108 0 0 16 0 32 0 5098405 3064516608 360301 270582939648 4194304 4964800 140735017965776 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=11536/tid=11552] ppid=11534 vsize=2992692 CPUtime=1.18 cores=0-31
/proc/11536/task/11552/stat : 11552 (claspmt) S 11534 11536 11510 0 -1 4202560 11985 0 0 0 14 104 0 0 17 0 32 0 5098405 3064516608 360302 270582939648 4194304 4964800 140735017965776 18446744073709551615 258651060958 0 0 4096 18946 18446744071566932264 0 0 -1 10 0 0 0
[pid=11536/tid=11553] ppid=11534 vsize=2992692 CPUtime=1.19 cores=0-31
/proc/11536/task/11553/stat : 11553 (claspmt) D 11534 11536 11510 0 -1 4202560 12395 0 0 0 12 107 0 0 16 0 32 0 5098405 3064516608 360308 270582939648 4194304 4964800 140735017965776 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=11536/tid=11554] ppid=11534 vsize=2992692 CPUtime=1.19 cores=0-31
/proc/11536/task/11554/stat : 11554 (claspmt) D 11534 11536 11510 0 -1 4202560 12349 0 0 0 13 106 0 0 16 0 32 0 5098405 3064516608 360312 270582939648 4194304 4964800 140735017965776 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=11536/tid=11555] ppid=11534 vsize=2992692 CPUtime=1.2 cores=0-31
/proc/11536/task/11555/stat : 11555 (claspmt) D 11534 11536 11510 0 -1 4202560 12672 0 0 0 15 105 0 0 16 0 32 0 5098405 3064516608 360315 270582939648 4194304 4964800 140735017965776 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=11536/tid=11556] ppid=11534 vsize=2992692 CPUtime=1.13 cores=0-31
/proc/11536/task/11556/stat : 11556 (claspmt) D 11534 11536 11510 0 -1 4202560 13044 0 0 0 12 101 0 0 16 0 32 0 5098405 3064516608 360322 270582939648 4194304 4964800 140735017965776 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=11536/tid=11557] ppid=11534 vsize=2992692 CPUtime=1.21 cores=0-31
/proc/11536/task/11557/stat : 11557 (claspmt) D 11534 11536 11510 0 -1 4202560 12438 0 0 0 15 106 0 0 16 0 32 0 5098405 3064516608 360325 270582939648 4194304 4964800 140735017965776 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=11536/tid=11558] ppid=11534 vsize=2992692 CPUtime=1.22 cores=0-31
/proc/11536/task/11558/stat : 11558 (claspmt) R 11534 11536 11510 0 -1 4202560 10749 0 0 0 12 110 0 0 17 0 32 0 5098405 3064516608 360331 270582939648 4194304 4964800 140735017965776 18446744073709551615 4687004 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=11536/tid=11559] ppid=11534 vsize=2992692 CPUtime=1.18 cores=0-31
/proc/11536/task/11559/stat : 11559 (claspmt) D 11534 11536 11510 0 -1 4202560 12830 0 0 0 13 105 0 0 16 0 32 0 5098405 3064516608 360333 270582939648 4194304 4964800 140735017965776 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=11536/tid=11560] ppid=11534 vsize=2992692 CPUtime=1.17 cores=0-31
/proc/11536/task/11560/stat : 11560 (claspmt) D 11534 11536 11510 0 -1 4202560 13247 0 0 0 11 106 0 0 16 0 32 0 5098405 3064516608 360336 270582939648 4194304 4964800 140735017965776 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=11536/tid=11561] ppid=11534 vsize=2992692 CPUtime=1.12 cores=0-31
/proc/11536/task/11561/stat : 11561 (claspmt) D 11534 11536 11510 0 -1 4202560 11255 0 0 0 12 100 0 0 17 0 32 0 5098405 3064516608 360343 270582939648 4194304 4964800 140735017965776 18446744073709551615 4697753 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=11536/tid=11562] ppid=11534 vsize=2992692 CPUtime=1.22 cores=0-31
/proc/11536/task/11562/stat : 11562 (claspmt) D 11534 11536 11510 0 -1 4202560 11708 0 0 0 14 108 0 0 16 0 32 0 5098405 3064516608 360348 270582939648 4194304 4964800 140735017965776 18446744073709551615 258650653289 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=11536/tid=11563] ppid=11534 vsize=2992692 CPUtime=1.15 cores=0-31
/proc/11536/task/11563/stat : 11563 (claspmt) S 11534 11536 11510 0 -1 4202560 12734 0 0 0 10 105 0 0 16 0 32 0 5098405 3064516608 360350 270582939648 4194304 4964800 140735017965776 18446744073709551615 258651060958 0 0 4096 18946 18446744071566932264 0 0 -1 12 0 0 0
[pid=11536/tid=11564] ppid=11534 vsize=2992692 CPUtime=1.17 cores=0-31
/proc/11536/task/11564/stat : 11564 (claspmt) S 11534 11536 11510 0 -1 4202560 13034 0 0 0 13 104 0 0 16 0 32 0 5098405 3064516608 360352 270582939648 4194304 4964800 140735017965776 18446744073709551615 258651060958 0 0 4096 18946 18446744071566927104 0 0 -1 16 0 0 0
[pid=11536/tid=11565] ppid=11534 vsize=2992692 CPUtime=1.17 cores=0-31
/proc/11536/task/11565/stat : 11565 (claspmt) D 11534 11536 11510 0 -1 4202560 12448 0 0 0 13 104 0 0 16 0 32 0 5098405 3064516608 360358 270582939648 4194304 4964800 140735017965776 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=11536/tid=11566] ppid=11534 vsize=2992692 CPUtime=1.17 cores=0-31
/proc/11536/task/11566/stat : 11566 (claspmt) D 11534 11536 11510 0 -1 4202560 13133 0 0 0 15 102 0 0 15 0 32 0 5098405 3064516608 360359 270582939648 4194304 4964800 140735017965776 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=11536/tid=11567] ppid=11534 vsize=2992692 CPUtime=1.2 cores=0-31
/proc/11536/task/11567/stat : 11567 (claspmt) R 11534 11536 11510 0 -1 4202560 12734 0 0 0 12 108 0 0 16 0 32 0 5098405 3064516608 360369 270582939648 4194304 4964800 140735017965776 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=11536/tid=11568] ppid=11534 vsize=2992692 CPUtime=1.1 cores=0-31
/proc/11536/task/11568/stat : 11568 (claspmt) R 11534 11536 11510 0 -1 4202560 13274 0 0 0 13 97 0 0 16 0 32 0 5098405 3064516608 360371 270582939648 4194304 4964800 140735017965776 18446744073709551615 258650623218 0 0 4096 18946 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 39.11
Current children cumulated vsize (KiB) 2992692
[startup+12.7024 s]
/proc/loadavg: 23.89 29.54 30.92 5/445 11569
/proc/meminfo: memFree=261361156/264257624 swapFree=67111528/67111528
[pid=11536] ppid=11534 vsize=3076876 CPUtime=71.25 cores=0-31
/proc/11536/stat : 11536 (claspmt) S 11534 11536 11510 0 -1 4202496 617737 0 0 0 3391 3734 0 0 18 0 32 0 5098165 3150721024 533428 270582939648 4194304 4964800 140735017965776 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 16 0 0 0
/proc/11536/statm: 769219 533428 433 189 0 763568 0
[pid=11536/tid=11538] ppid=11534 vsize=3076876 CPUtime=1.4 cores=0-31
/proc/11536/task/11538/stat : 11538 (claspmt) S 11534 11536 11510 0 -1 4202560 15908 0 0 0 22 118 0 0 16 0 32 0 5098405 3150721024 533428 270582939648 4194304 4964800 140735017965776 18446744073709551615 258662772457 0 0 4096 18946 18446604501444353504 0 0 -1 29 0 0 0
[pid=11536/tid=11539] ppid=11534 vsize=3076876 CPUtime=1.83 cores=0-31
/proc/11536/task/11539/stat : 11539 (claspmt) S 11534 11536 11510 0 -1 4202560 19601 0 0 0 66 117 0 0 16 0 32 0 5098405 3150721024 533428 270582939648 4194304 4964800 140735017965776 18446744073709551615 258662772457 0 0 4096 18946 18446604506008403424 0 0 -1 19 0 0 0
[pid=11536/tid=11540] ppid=11534 vsize=3076876 CPUtime=1.9 cores=0-31
/proc/11536/task/11540/stat : 11540 (claspmt) S 11534 11536 11510 0 -1 4202560 18817 0 0 0 65 125 0 0 16 0 32 0 5098405 3150721024 533428 270582939648 4194304 4964800 140735017965776 18446744073709551615 258662772457 0 0 4096 18946 18446604501640338912 0 0 -1 3 0 0 0
[pid=11536/tid=11541] ppid=11534 vsize=3076876 CPUtime=1.47 cores=0-31
/proc/11536/task/11541/stat : 11541 (claspmt) S 11534 11536 11510 0 -1 4202560 15826 0 0 0 23 124 0 0 16 0 32 0 5098405 3150721024 533428 270582939648 4194304 4964800 140735017965776 18446744073709551615 258662772457 0 0 4096 18946 18446604505376947680 0 0 -1 1 0 0 0
[pid=11536/tid=11542] ppid=11534 vsize=3076876 CPUtime=5.77 cores=0-31
/proc/11536/task/11542/stat : 11542 (claspmt) R 11534 11536 11510 0 -1 4202560 19630 0 0 0 473 104 0 0 22 0 32 0 5098405 3150721024 533428 270582939648 4194304 4964800 140735017965776 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=11536/tid=11543] ppid=11534 vsize=3076876 CPUtime=1.9 cores=0-31
/proc/11536/task/11543/stat : 11543 (claspmt) S 11534 11536 11510 0 -1 4202560 19350 0 0 0 68 122 0 0 16 0 32 0 5098405 3150721024 533428 270582939648 4194304 4964800 140735017965776 18446744073709551615 258662772457 0 0 4096 18946 18446604504402304480 0 0 -1 14 0 0 0
[pid=11536/tid=11544] ppid=11534 vsize=3076876 CPUtime=2.13 cores=0-31
/proc/11536/task/11544/stat : 11544 (claspmt) S 11534 11536 11510 0 -1 4202560 19426 0 0 0 86 127 0 0 16 0 32 0 5098405 3150721024 533428 270582939648 4194304 4964800 140735017965776 18446744073709551615 258662772457 0 0 4096 18946 18446604506037263840 0 0 -1 21 0 0 0
[pid=11536/tid=11545] ppid=11534 vsize=3076876 CPUtime=1.33 cores=0-31
/proc/11536/task/11545/stat : 11545 (claspmt) S 11534 11536 11510 0 -1 4202560 16038 0 0 0 25 108 0 0 16 0 32 0 5098405 3150721024 533428 270582939648 4194304 4964800 140735017965776 18446744073709551615 258662772457 0 0 4096 18946 18446604501706350048 0 0 -1 27 0 0 0
[pid=11536/tid=11546] ppid=11534 vsize=3076876 CPUtime=1.35 cores=0-31
/proc/11536/task/11546/stat : 11546 (claspmt) S 11534 11536 11510 0 -1 4202560 16081 0 0 0 18 117 0 0 16 0 32 0 5098405 3150721024 533428 270582939648 4194304 4964800 140735017965776 18446744073709551615 258662772457 0 0 4096 18946 18446604504402312672 0 0 -1 24 0 0 0
[pid=11536/tid=11547] ppid=11534 vsize=3076876 CPUtime=1.88 cores=0-31
/proc/11536/task/11547/stat : 11547 (claspmt) S 11534 11536 11510 0 -1 4202560 20189 0 0 0 65 123 0 0 16 0 32 0 5098405 3150721024 533428 270582939648 4194304 4964800 140735017965776 18446744073709551615 258662772457 0 0 4096 18946 18446604503870586336 0 0 -1 10 0 0 0
[pid=11536/tid=11548] ppid=11534 vsize=3076876 CPUtime=1.85 cores=0-31
/proc/11536/task/11548/stat : 11548 (claspmt) S 11534 11536 11510 0 -1 4202560 19503 0 0 0 63 122 0 0 16 0 32 0 5098405 3150721024 533428 270582939648 4194304 4964800 140735017965776 18446744073709551615 258662772457 0 0 4096 18946 18446604504402320864 0 0 -1 6 0 0 0
[pid=11536/tid=11549] ppid=11534 vsize=3076876 CPUtime=1.21 cores=0-31
/proc/11536/task/11549/stat : 11549 (claspmt) S 11534 11536 11510 0 -1 4202560 16410 0 0 0 25 96 0 0 16 0 32 0 5098405 3150721024 533428 270582939648 4194304 4964800 140735017965776 18446744073709551615 258662772457 0 0 4096 18946 18446604574228536800 0 0 -1 23 0 0 0
[pid=11536/tid=11550] ppid=11534 vsize=3076876 CPUtime=5.6 cores=0-31
/proc/11536/task/11550/stat : 11550 (claspmt) R 11534 11536 11510 0 -1 4202560 17528 0 0 0 436 124 0 0 22 0 32 0 5098405 3150721024 533428 270582939648 4194304 4964800 140735017965776 18446744073709551615 4399328 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=11536/tid=11551] ppid=11534 vsize=3076876 CPUtime=1.87 cores=0-31
/proc/11536/task/11551/stat : 11551 (claspmt) S 11534 11536 11510 0 -1 4202560 19206 0 0 0 62 125 0 0 16 0 32 0 5098405 3150721024 533428 270582939648 4194304 4964800 140735017965776 18446744073709551615 258662772457 0 0 4096 18946 18446604506008411616 0 0 -1 26 0 0 0
[pid=11536/tid=11552] ppid=11534 vsize=3076876 CPUtime=2.12 cores=0-31
/proc/11536/task/11552/stat : 11552 (claspmt) S 11534 11536 11510 0 -1 4202560 18490 0 0 0 87 125 0 0 16 0 32 0 5098405 3150721024 533428 270582939648 4194304 4964800 140735017965776 18446744073709551615 258662772457 0 0 4096 18946 18446604505376996832 0 0 -1 21 0 0 0
[pid=11536/tid=11553] ppid=11534 vsize=3076876 CPUtime=1.37 cores=0-31
/proc/11536/task/11553/stat : 11553 (claspmt) S 11534 11536 11510 0 -1 4202560 16054 0 0 0 19 118 0 0 16 0 32 0 5098405 3150721024 533428 270582939648 4194304 4964800 140735017965776 18446744073709551615 258662772457 0 0 4096 18946 18446604504402361824 0 0 -1 10 0 0 0
[pid=11536/tid=11554] ppid=11534 vsize=3076876 CPUtime=1.39 cores=0-31
/proc/11536/task/11554/stat : 11554 (claspmt) S 11534 11536 11510 0 -1 4202560 16062 0 0 0 22 117 0 0 16 0 32 0 5098405 3150721024 533428 270582939648 4194304 4964800 140735017965776 18446744073709551615 258662772457 0 0 4096 18946 18446604501640363488 0 0 -1 30 0 0 0
[pid=11536/tid=11555] ppid=11534 vsize=3076876 CPUtime=1.87 cores=0-31
/proc/11536/task/11555/stat : 11555 (claspmt) S 11534 11536 11510 0 -1 4202560 19686 0 0 0 67 120 0 0 16 0 32 0 5098405 3150721024 533428 270582939648 4194304 4964800 140735017965776 18446744073709551615 258662772457 0 0 4096 18946 18446604501706358240 0 0 -1 9 0 0 0
[pid=11536/tid=11556] ppid=11534 vsize=3076876 CPUtime=1.78 cores=0-31
/proc/11536/task/11556/stat : 11556 (claspmt) S 11534 11536 11510 0 -1 4202560 20190 0 0 0 61 117 0 0 16 0 32 0 5098405 3150721024 533428 270582939648 4194304 4964800 140735017965776 18446744073709551615 258662772457 0 0 4096 18946 18446604505635331552 0 0 -1 8 0 0 0
[pid=11536/tid=11557] ppid=11534 vsize=3076876 CPUtime=1.41 cores=0-31
/proc/11536/task/11557/stat : 11557 (claspmt) S 11534 11536 11510 0 -1 4202560 15911 0 0 0 23 118 0 0 16 0 32 0 5098405 3150721024 533428 270582939648 4194304 4964800 140735017965776 18446744073709551615 258662772457 0 0 4096 18946 18446604501775728096 0 0 -1 13 0 0 0
[pid=11536/tid=11558] ppid=11534 vsize=3076876 CPUtime=5.61 cores=0-31
################
# More data... #
################
[pid=11536/tid=11543] ppid=11534 vsize=11246368 CPUtime=1243 cores=0-31
/proc/11536/task/11543/stat : 11543 (claspmt) R 11534 11536 11510 0 -1 4202560 102716 0 0 0 123914 386 0 0 25 0 32 0 5098405 11516280832 2525085 270582939648 4194304 4964800 140735017965776 18446744073709551615 4670670 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=11536/tid=11544] ppid=11534 vsize=11246368 CPUtime=1243.49 cores=0-31
/proc/11536/task/11544/stat : 11544 (claspmt) R 11534 11536 11510 0 -1 4202560 65797 0 0 0 124067 282 0 0 25 0 32 0 5098405 11516280832 2525086 270582939648 4194304 4964800 140735017965776 18446744073709551615 4651367 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=11536/tid=11545] ppid=11534 vsize=11246368 CPUtime=1240.54 cores=0-31
/proc/11536/task/11545/stat : 11545 (claspmt) R 11534 11536 11510 0 -1 4202560 23841 0 0 0 123923 131 0 0 25 0 32 0 5098405 11516280832 2525086 270582939648 4194304 4964800 140735017965776 18446744073709551615 4369950 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=11536/tid=11546] ppid=11534 vsize=11246368 CPUtime=1242.9 cores=0-31
/proc/11536/task/11546/stat : 11546 (claspmt) R 11534 11536 11510 0 -1 4202560 24712 0 0 0 124145 145 0 0 25 0 32 0 5098405 11516280832 2525086 270582939648 4194304 4964800 140735017965776 18446744073709551615 4684749 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=11536/tid=11547] ppid=11534 vsize=11246368 CPUtime=1237.96 cores=0-31
/proc/11536/task/11547/stat : 11547 (claspmt) R 11534 11536 11510 0 -1 4202560 300722 0 0 0 123054 742 0 0 25 0 32 0 5098405 11516280832 2525086 270582939648 4194304 4964800 140735017965776 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=11536/tid=11548] ppid=11534 vsize=11246368 CPUtime=1243.15 cores=0-31
/proc/11536/task/11548/stat : 11548 (claspmt) R 11534 11536 11510 0 -1 4202560 81862 0 0 0 124001 314 0 0 25 0 32 0 5098405 11516280832 2525086 270582939648 4194304 4964800 140735017965776 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=11536/tid=11549] ppid=11534 vsize=11246368 CPUtime=1242.71 cores=0-31
/proc/11536/task/11549/stat : 11549 (claspmt) R 11534 11536 11510 0 -1 4202560 40449 0 0 0 124105 166 0 0 25 0 32 0 5098405 11516280832 2525086 270582939648 4194304 4964800 140735017965776 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=11536/tid=11550] ppid=11534 vsize=11246368 CPUtime=1694.82 cores=0-31
/proc/11536/task/11550/stat : 11550 (claspmt) R 11534 11536 11510 0 -1 4202560 18184 0 0 0 169355 127 0 0 25 0 32 0 5098405 11516280832 2525086 270582939648 4194304 4964800 140735017965776 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=11536/tid=11551] ppid=11534 vsize=11246368 CPUtime=1238.28 cores=0-31
/proc/11536/task/11551/stat : 11551 (claspmt) R 11534 11536 11510 0 -1 4202560 83301 0 0 0 123499 329 0 0 25 0 32 0 5098405 11516280832 2525086 270582939648 4194304 4964800 140735017965776 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=11536/tid=11552] ppid=11534 vsize=11246368 CPUtime=1243.43 cores=0-31
/proc/11536/task/11552/stat : 11552 (claspmt) R 11534 11536 11510 0 -1 4202560 69132 0 0 0 124032 311 0 0 25 0 32 0 5098405 11516280832 2525086 270582939648 4194304 4964800 140735017965776 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=11536/tid=11553] ppid=11534 vsize=11246368 CPUtime=1242.89 cores=0-31
/proc/11536/task/11553/stat : 11553 (claspmt) R 11534 11536 11510 0 -1 4202560 30198 0 0 0 124123 166 0 0 25 0 32 0 5098405 11516280832 2525086 270582939648 4194304 4964800 140735017965776 18446744073709551615 4370236 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=11536/tid=11554] ppid=11534 vsize=11246368 CPUtime=1242.97 cores=0-31
/proc/11536/task/11554/stat : 11554 (claspmt) R 11534 11536 11510 0 -1 4202560 21917 0 0 0 124163 134 0 0 25 0 32 0 5098405 11516280832 2525086 270582939648 4194304 4964800 140735017965776 18446744073709551615 4652165 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=11536/tid=11555] ppid=11534 vsize=11246368 CPUtime=1242.92 cores=0-31
/proc/11536/task/11555/stat : 11555 (claspmt) R 11534 11536 11510 0 -1 4202560 259659 0 0 0 123553 739 0 0 21 0 32 0 5098405 11516280832 2525086 270582939648 4194304 4964800 140735017965776 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=11536/tid=11556] ppid=11534 vsize=11246368 CPUtime=1243.05 cores=0-31
/proc/11536/task/11556/stat : 11556 (claspmt) R 11534 11536 11510 0 -1 4202560 82981 0 0 0 124007 298 0 0 25 0 32 0 5098405 11516280832 2525086 270582939648 4194304 4964800 140735017965776 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=11536/tid=11557] ppid=11534 vsize=11246368 CPUtime=1242.81 cores=0-31
/proc/11536/task/11557/stat : 11557 (claspmt) R 11534 11536 11510 0 -1 4202560 44428 0 0 0 124076 205 0 0 25 0 32 0 5098405 11516280832 2525086 270582939648 4194304 4964800 140735017965776 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=11536/tid=11558] ppid=11534 vsize=11246368 CPUtime=1694.97 cores=0-31
/proc/11536/task/11558/stat : 11558 (claspmt) R 11534 11536 11510 0 -1 4202560 18588 0 0 0 169364 133 0 0 25 0 32 0 5098405 11516280832 2525086 270582939648 4194304 4964800 140735017965776 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=11536/tid=11559] ppid=11534 vsize=11246368 CPUtime=1242.89 cores=0-31
/proc/11536/task/11559/stat : 11559 (claspmt) R 11534 11536 11510 0 -1 4202560 93950 0 0 0 123942 347 0 0 25 0 32 0 5098405 11516280832 2525086 270582939648 4194304 4964800 140735017965776 18446744073709551615 4670273 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=11536/tid=11560] ppid=11534 vsize=11246368 CPUtime=1243.5 cores=0-31
/proc/11536/task/11560/stat : 11560 (claspmt) R 11534 11536 11510 0 -1 4202560 73486 0 0 0 124029 321 0 0 25 0 32 0 5098405 11516280832 2525087 270582939648 4194304 4964800 140735017965776 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=11536/tid=11561] ppid=11534 vsize=11246368 CPUtime=1238.47 cores=0-31
/proc/11536/task/11561/stat : 11561 (claspmt) R 11534 11536 11510 0 -1 4202560 30796 0 0 0 123686 161 0 0 25 0 32 0 5098405 11516280832 2525087 270582939648 4194304 4964800 140735017965776 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=11536/tid=11562] ppid=11534 vsize=11246368 CPUtime=1242.93 cores=0-31
/proc/11536/task/11562/stat : 11562 (claspmt) R 11534 11536 11510 0 -1 4202560 26777 0 0 0 124140 153 0 0 25 0 32 0 5098405 11516280832 2525087 270582939648 4194304 4964800 140735017965776 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=11536/tid=11563] ppid=11534 vsize=11246368 CPUtime=1242.55 cores=0-31
/proc/11536/task/11563/stat : 11563 (claspmt) R 11534 11536 11510 0 -1 4202560 369118 0 0 0 123417 838 0 0 18 0 32 0 5098405 11516280832 2525087 270582939648 4194304 4964800 140735017965776 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=11536/tid=11564] ppid=11534 vsize=11246368 CPUtime=1242.97 cores=0-31
/proc/11536/task/11564/stat : 11564 (claspmt) R 11534 11536 11510 0 -1 4202560 78365 0 0 0 124000 297 0 0 22 0 32 0 5098405 11516280832 2525087 270582939648 4194304 4964800 140735017965776 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=11536/tid=11565] ppid=11534 vsize=11246368 CPUtime=1242.89 cores=0-31
/proc/11536/task/11565/stat : 11565 (claspmt) R 11534 11536 11510 0 -1 4202560 37494 0 0 0 124106 183 0 0 25 0 32 0 5098405 11516280832 2525087 270582939648 4194304 4964800 140735017965776 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=11536/tid=11566] ppid=11534 vsize=11246368 CPUtime=1688.7 cores=0-31
/proc/11536/task/11566/stat : 11566 (claspmt) R 11534 11536 11510 0 -1 4202560 21780 0 0 0 168740 130 0 0 25 0 32 0 5098405 11516280832 2525087 270582939648 4194304 4964800 140735017965776 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=11536/tid=11567] ppid=11534 vsize=11246368 CPUtime=1242.66 cores=0-31
/proc/11536/task/11567/stat : 11567 (claspmt) R 11534 11536 11510 0 -1 4202560 82665 0 0 0 123952 314 0 0 25 0 32 0 5098405 11516280832 2525087 270582939648 4194304 4964800 140735017965776 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=11536/tid=11568] ppid=11534 vsize=11246368 CPUtime=1241.46 cores=0-31
/proc/11536/task/11568/stat : 11568 (claspmt) R 11534 11536 11510 0 -1 4202560 82261 0 0 0 123812 334 0 0 25 0 32 0 5098405 11516280832 2525087 270582939648 4194304 4964800 140735017965776 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 41542.1
Current children cumulated vsize (KiB) 11246368
[startup+1708.8 s]
/proc/loadavg: 32.04 31.69 29.02 33/445 11623
/proc/meminfo: memFree=253365872/264257624 swapFree=67111528/67111528
[pid=11536] ppid=11534 vsize=11311904 CPUtime=41746.7 cores=0-31
/proc/11536/stat : 11536 (claspmt) R 11534 11536 11510 0 -1 4202496 2615134 0 0 0 4165521 9151 0 0 25 0 32 0 5098165 11583389696 2529203 270582939648 4194304 4964800 140735017965776 18446744073709551615 4668900 0 0 4096 18946 18446744073709551615 0 0 17 19 0 0 0
/proc/11536/statm: 2827976 2529203 457 189 0 2822325 0
[pid=11536/tid=11538] ppid=11534 vsize=11311904 CPUtime=1249.36 cores=0-31
/proc/11536/task/11538/stat : 11538 (claspmt) R 11534 11536 11510 0 -1 4202560 22066 0 0 0 124795 141 0 0 25 0 32 0 5098405 11583389696 2529203 270582939648 4194304 4964800 140735017965776 18446744073709551615 4652182 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=11536/tid=11539] ppid=11534 vsize=11311904 CPUtime=1249.34 cores=0-31
/proc/11536/task/11539/stat : 11539 (claspmt) R 11534 11536 11510 0 -1 4202560 217590 0 0 0 124292 642 0 0 25 0 32 0 5098405 11583389696 2529203 270582939648 4194304 4964800 140735017965776 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=11536/tid=11540] ppid=11534 vsize=11311904 CPUtime=1249.45 cores=0-31
/proc/11536/task/11540/stat : 11540 (claspmt) R 11534 11536 11510 0 -1 4202560 79979 0 0 0 124641 304 0 0 25 0 32 0 5098405 11583389696 2529203 270582939648 4194304 4964800 140735017965776 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=11536/tid=11541] ppid=11534 vsize=11311904 CPUtime=1246.31 cores=0-31
/proc/11536/task/11541/stat : 11541 (claspmt) R 11534 11536 11510 0 -1 4202560 35850 0 0 0 124449 182 0 0 25 0 32 0 5098405 11583389696 2529203 270582939648 4194304 4964800 140735017965776 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=11536/tid=11542] ppid=11534 vsize=11311904 CPUtime=1699.7 cores=0-31
/proc/11536/task/11542/stat : 11542 (claspmt) R 11534 11536 11510 0 -1 4202560 21571 0 0 0 169861 109 0 0 25 0 32 0 5098405 11583389696 2529203 270582939648 4194304 4964800 140735017965776 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=11536/tid=11543] ppid=11534 vsize=11311904 CPUtime=1249.4 cores=0-31
/proc/11536/task/11543/stat : 11543 (claspmt) R 11534 11536 11510 0 -1 4202560 102721 0 0 0 124554 386 0 0 25 0 32 0 5098405 11583389696 2529203 270582939648 4194304 4964800 140735017965776 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=11536/tid=11544] ppid=11534 vsize=11311904 CPUtime=1249.88 cores=0-31
/proc/11536/task/11544/stat : 11544 (claspmt) R 11534 11536 11510 0 -1 4202560 65807 0 0 0 124706 282 0 0 25 0 32 0 5098405 11583389696 2529203 270582939648 4194304 4964800 140735017965776 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=11536/tid=11545] ppid=11534 vsize=11311904 CPUtime=1246.94 cores=0-31
/proc/11536/task/11545/stat : 11545 (claspmt) R 11534 11536 11510 0 -1 4202560 23841 0 0 0 124563 131 0 0 25 0 32 0 5098405 11583389696 2529203 270582939648 4194304 4964800 140735017965776 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=11536/tid=11546] ppid=11534 vsize=11311904 CPUtime=1249.3 cores=0-31
/proc/11536/task/11546/stat : 11546 (claspmt) R 11534 11536 11510 0 -1 4202560 24712 0 0 0 124785 145 0 0 25 0 32 0 5098405 11583389696 2529203 270582939648 4194304 4964800 140735017965776 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=11536/tid=11547] ppid=11534 vsize=11311904 CPUtime=1244.36 cores=0-31
/proc/11536/task/11547/stat : 11547 (claspmt) R 11534 11536 11510 0 -1 4202560 301133 0 0 0 123693 743 0 0 25 0 32 0 5098405 11583389696 2529203 270582939648 4194304 4964800 140735017965776 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=11536/tid=11548] ppid=11534 vsize=11311904 CPUtime=1249.55 cores=0-31
/proc/11536/task/11548/stat : 11548 (claspmt) R 11534 11536 11510 0 -1 4202560 81868 0 0 0 124641 314 0 0 25 0 32 0 5098405 11583389696 2529203 270582939648 4194304 4964800 140735017965776 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=11536/tid=11549] ppid=11534 vsize=11311904 CPUtime=1249.11 cores=0-31
/proc/11536/task/11549/stat : 11549 (claspmt) R 11534 11536 11510 0 -1 4202560 40451 0 0 0 124745 166 0 0 25 0 32 0 5098405 11583389696 2529203 270582939648 4194304 4964800 140735017965776 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=11536/tid=11550] ppid=11534 vsize=11311904 CPUtime=1701.22 cores=0-31
/proc/11536/task/11550/stat : 11550 (claspmt) R 11534 11536 11510 0 -1 4202560 18184 0 0 0 169995 127 0 0 25 0 32 0 5098405 11583389696 2529203 270582939648 4194304 4964800 140735017965776 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=11536/tid=11551] ppid=11534 vsize=11311904 CPUtime=1244.68 cores=0-31
/proc/11536/task/11551/stat : 11551 (claspmt) R 11534 11536 11510 0 -1 4202560 83302 0 0 0 124139 329 0 0 25 0 32 0 5098405 11583389696 2529203 270582939648 4194304 4964800 140735017965776 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=11536/tid=11552] ppid=11534 vsize=11311904 CPUtime=1249.83 cores=0-31
/proc/11536/task/11552/stat : 11552 (claspmt) R 11534 11536 11510 0 -1 4202560 69132 0 0 0 124672 311 0 0 25 0 32 0 5098405 11583389696 2529203 270582939648 4194304 4964800 140735017965776 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=11536/tid=11553] ppid=11534 vsize=11311904 CPUtime=1249.29 cores=0-31
/proc/11536/task/11553/stat : 11553 (claspmt) R 11534 11536 11510 0 -1 4202560 30202 0 0 0 124763 166 0 0 25 0 32 0 5098405 11583389696 2529203 270582939648 4194304 4964800 140735017965776 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=11536/tid=11554] ppid=11534 vsize=11311904 CPUtime=1249.37 cores=0-31
/proc/11536/task/11554/stat : 11554 (claspmt) R 11534 11536 11510 0 -1 4202560 21917 0 0 0 124803 134 0 0 25 0 32 0 5098405 11583389696 2529203 270582939648 4194304 4964800 140735017965776 18446744073709551615 4627252 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=11536/tid=11555] ppid=11534 vsize=11311904 CPUtime=1249.32 cores=0-31
/proc/11536/task/11555/stat : 11555 (claspmt) R 11534 11536 11510 0 -1 4202560 260118 0 0 0 124192 740 0 0 25 0 32 0 5098405 11583389696 2529203 270582939648 4194304 4964800 140735017965776 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=11536/tid=11556] ppid=11534 vsize=11311904 CPUtime=1249.44 cores=0-31
/proc/11536/task/11556/stat : 11556 (claspmt) R 11534 11536 11510 0 -1 4202560 82983 0 0 0 124646 298 0 0 25 0 32 0 5098405 11583389696 2529203 270582939648 4194304 4964800 140735017965776 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=11536/tid=11557] ppid=11534 vsize=11311904 CPUtime=1249.21 cores=0-31
/proc/11536/task/11557/stat : 11557 (claspmt) R 11534 11536 11510 0 -1 4202560 44429 0 0 0 124716 205 0 0 25 0 32 0 5098405 11583389696 2529203 270582939648 4194304 4964800 140735017965776 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=11536/tid=11558] ppid=11534 vsize=11311904 CPUtime=1701.37 cores=0-31
/proc/11536/task/11558/stat : 11558 (claspmt) R 11534 11536 11510 0 -1 4202560 18588 0 0 0 170004 133 0 0 25 0 32 0 5098405 11583389696 2529203 270582939648 4194304 4964800 140735017965776 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=11536/tid=11559] ppid=11534 vsize=11311904 CPUtime=1249.29 cores=0-31
/proc/11536/task/11559/stat : 11559 (claspmt) R 11534 11536 11510 0 -1 4202560 93953 0 0 0 124582 347 0 0 25 0 32 0 5098405 11583389696 2529203 270582939648 4194304 4964800 140735017965776 18446744073709551615 4668998 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=11536/tid=11560] ppid=11534 vsize=11311904 CPUtime=1249.9 cores=0-31
/proc/11536/task/11560/stat : 11560 (claspmt) R 11534 11536 11510 0 -1 4202560 73497 0 0 0 124669 321 0 0 25 0 32 0 5098405 11583389696 2529203 270582939648 4194304 4964800 140735017965776 18446744073709551615 4342206 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=11536/tid=11561] ppid=11534 vsize=11311904 CPUtime=1244.87 cores=0-31
/proc/11536/task/11561/stat : 11561 (claspmt) R 11534 11536 11510 0 -1 4202560 30796 0 0 0 124326 161 0 0 25 0 32 0 5098405 11583389696 2529203 270582939648 4194304 4964800 140735017965776 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=11536/tid=11562] ppid=11534 vsize=11311904 CPUtime=1249.33 cores=0-31
/proc/11536/task/11562/stat : 11562 (claspmt) R 11534 11536 11510 0 -1 4202560 26777 0 0 0 124780 153 0 0 25 0 32 0 5098405 11583389696 2529203 270582939648 4194304 4964800 140735017965776 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=11536/tid=11563] ppid=11534 vsize=11311904 CPUtime=1248.95 cores=0-31
/proc/11536/task/11563/stat : 11563 (claspmt) R 11534 11536 11510 0 -1 4202560 370250 0 0 0 124056 839 0 0 25 0 32 0 5098405 11583389696 2529203 270582939648 4194304 4964800 140735017965776 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=11536/tid=11564] ppid=11534 vsize=11311904 CPUtime=1249.36 cores=0-31
/proc/11536/task/11564/stat : 11564 (claspmt) R 11534 11536 11510 0 -1 4202560 78410 0 0 0 124639 297 0 0 25 0 32 0 5098405 11583389696 2529203 270582939648 4194304 4964800 140735017965776 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=11536/tid=11565] ppid=11534 vsize=11311904 CPUtime=1249.29 cores=0-31
/proc/11536/task/11565/stat : 11565 (claspmt) R 11534 11536 11510 0 -1 4202560 37494 0 0 0 124746 183 0 0 25 0 32 0 5098405 11583389696 2529203 270582939648 4194304 4964800 140735017965776 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=11536/tid=11566] ppid=11534 vsize=11311904 CPUtime=1695.1 cores=0-31
/proc/11536/task/11566/stat : 11566 (claspmt) R 11534 11536 11510 0 -1 4202560 21780 0 0 0 169380 130 0 0 25 0 32 0 5098405 11583389696 2529203 270582939648 4194304 4964800 140735017965776 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=11536/tid=11567] ppid=11534 vsize=11311904 CPUtime=1249.07 cores=0-31
/proc/11536/task/11567/stat : 11567 (claspmt) R 11534 11536 11510 0 -1 4202560 83776 0 0 0 124592 315 0 0 25 0 32 0 5098405 11583389696 2529203 270582939648 4194304 4964800 140735017965776 18446744073709551615 4669574 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=11536/tid=11568] ppid=11534 vsize=11311904 CPUtime=1247.86 cores=0-31
/proc/11536/task/11568/stat : 11568 (claspmt) R 11534 11536 11510 0 -1 4202560 82413 0 0 0 124451 335 0 0 25 0 32 0 5098405 11583389696 2529203 270582939648 4194304 4964800 140735017965776 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 41746.7
Current children cumulated vsize (KiB) 11311904
[startup+1715.2 s]
/proc/loadavg: 32.03 31.70 29.03 2/414 11623
/proc/meminfo: memFree=253446740/264257624 swapFree=67111528/67111528
[pid=11536] ppid=11534 vsize=11111380 CPUtime=41884.8 cores=0-31
/proc/11536/stat : 11536 (claspmt) R 11534 11536 11510 0 -1 4202496 2615189 0 0 0 4179212 9272 0 0 17 0 1 0 5098165 11378053120 2501239 270582939648 4194304 4964800 140735017965776 18446744073709551615 258650611056 0 0 4096 18946 0 0 0 17 19 0 0 0
/proc/11536/statm: 2777845 2501239 468 189 0 2772194 0
Current children cumulated CPU time (s) 41884.8
Current children cumulated vsize (KiB) 11111380
[startup+1716.8 s]
/proc/loadavg: 29.55 31.19 28.88 2/414 11623
/proc/meminfo: memFree=253574088/264257624 swapFree=67111528/67111528
[pid=11536] ppid=11534 vsize=10728196 CPUtime=41886.4 cores=0-31
/proc/11536/stat : 11536 (claspmt) R 11534 11536 11510 0 -1 4202496 2615189 0 0 0 4179370 9274 0 0 19 0 1 0 5098165 10985672704 2425558 270582939648 4194304 4964800 140735017965776 18446744073709551615 258650611751 0 0 4096 18946 0 0 0 17 19 0 0 0
/proc/11536/statm: 2682049 2425558 468 189 0 2676398 0
Current children cumulated CPU time (s) 41886.4
Current children cumulated vsize (KiB) 10728196
[startup+1718.4 s]
/proc/loadavg: 29.55 31.19 28.88 2/414 11623
/proc/meminfo: memFree=254246788/264257624 swapFree=67111528/67111528
[pid=11536] ppid=11534 vsize=9980500 CPUtime=41888 cores=0-31
/proc/11536/stat : 11536 (claspmt) R 11534 11536 11510 0 -1 4202496 2615189 0 0 0 4179527 9277 0 0 23 0 1 0 5098165 10220032000 2258559 270582939648 4194304 4964800 140735017965776 18446744073709551615 4646607 0 0 4096 18946 0 0 0 17 19 0 0 0
/proc/11536/statm: 2495125 2258559 468 189 0 2489474 0
Current children cumulated CPU time (s) 41888
Current children cumulated vsize (KiB) 9980500
[startup+1718.8 s]
/proc/loadavg: 29.55 31.19 28.88 2/414 11623
/proc/meminfo: memFree=254246788/264257624 swapFree=67111528/67111528
[pid=11536] ppid=11534 vsize=8871700 CPUtime=41888.4 cores=0-31
/proc/11536/stat : 11536 (claspmt) R 11534 11536 11510 0 -1 4202496 2615189 0 0 0 4179561 9283 0 0 25 0 1 0 5098165 9084620800 1957628 270582939648 4194304 4964800 140735017965776 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 19 0 0 0
/proc/11536/statm: 2217925 1957239 468 189 0 2212274 0
Current children cumulated CPU time (s) 41888.4
Current children cumulated vsize (KiB) 8871700
[startup+1719.2 s]
/proc/loadavg: 29.55 31.19 28.88 2/414 11623
/proc/meminfo: memFree=254246788/264257624 swapFree=67111528/67111528
[pid=11536] ppid=11534 vsize=0 CPUtime=41888.8 cores=0-31
/proc/11536/stat : 11536 (claspmt) R 11534 11536 11510 0 -1 4202500 2615190 0 0 0 4179565 9319 0 0 25 0 1 0 5098165 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 19 0 0 0
/proc/11536/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 41888.8
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 1719.26
CPU time (s): 41888.9
CPU user time (s): 41795.7
CPU system time (s): 93.2498
CPU usage (%): 2436.45
Max. virtual memory (cumulated for all children) (KiB): 11311904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41795.7
system time used= 93.2498
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2615190
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= 872217
involuntary context switches= 89059
runsolver used 8.86865 second user time and 39.0711 second system time
The end
Begin job on node200 at 2011-06-06 23:51:53
IDJOB=3472284
IDBENCH=20580
IDSOLVER=1961
FILE ID=node200/3472284-1307397108
RUNJOBID= node200-1307397108-11524
PBS_JOBID= 13509171
Free space on /tmp= 61616 MiB
SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq7.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-3472284-1307397108/watcher-3472284-1307397108 -o /tmp/evaluation-result-3472284-1307397108/solver-3472284-1307397108 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472284-1307397108.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 256000 MiB
NBCORE= 32
MD5SUM BENCH= 0fbc00fde383cec371bb97d621c5e7e5
RANDOM SEED=2029931394
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: 263493608 kB
Buffers: 55736 kB
Cached: 496952 kB
SwapCached: 0 kB
Active: 271976 kB
Inactive: 343636 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263493608 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 132628 kB
Writeback: 0 kB
AnonPages: 63116 kB
Mapped: 14472 kB
Slab: 69108 kB
PageTables: 4384 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 160224 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= 61612 MiB
End job on node200 at 2011-06-07 00:20:32