0.00/0.00 c clasp version 2.0.0-RC2
0.00/0.00 c Reading from ...592793/instance-3472381-1307592793.cnf
5.39/5.43 c Solving...
8636.10/1767.69 s UNSATISFIABLE
8636.10/1767.69
8636.10/1767.69 c Models : 0
8636.10/1767.69 c Time : 1766.805s (Solving: 1761.38s 1st Model: 0.00s Unsat: 1761.38s)
8636.10/1767.69 c CPU Time : 8635.310s
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-3472381-1307592793/watcher-3472381-1307592793 -o /tmp/evaluation-result-3472381-1307592793/solver-3472381-1307592793 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472381-1307592793.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 262144000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 262195200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 29.52 22.08 21.23 1/413 25734
/proc/meminfo: memFree=262602460/264257624 swapFree=67111528/67111528
[pid=25734] ppid=25732 vsize=53556 CPUtime=0.02 cores=0-31
/proc/25734/stat : 25734 (claspmt) R 25732 25734 25708 0 -1 4202496 5039 0 0 0 1 1 0 0 22 0 1 0 24666363 54841344 4968 270582939648 4194304 4964800 140734324153824 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/25734/statm: 13389 4976 373 189 0 8263 0
[startup+0.104506 s]
/proc/loadavg: 29.52 22.08 21.23 1/413 25734
/proc/meminfo: memFree=262602460/264257624 swapFree=67111528/67111528
[pid=25734] ppid=25732 vsize=71664 CPUtime=0.09 cores=0-31
/proc/25734/stat : 25734 (claspmt) R 25732 25734 25708 0 -1 4202496 15003 0 0 0 6 3 0 0 23 0 1 0 24666363 73383936 12921 270582939648 4194304 4964800 140734324153824 18446744073709551615 258650955760 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/25734/statm: 17916 12921 386 189 0 12790 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 71664
[startup+0.200459 s]
/proc/loadavg: 29.52 22.08 21.23 1/413 25734
/proc/meminfo: memFree=262602460/264257624 swapFree=67111528/67111528
[pid=25734] ppid=25732 vsize=74772 CPUtime=0.19 cores=0-31
/proc/25734/stat : 25734 (claspmt) R 25732 25734 25708 0 -1 4202496 16066 0 0 0 15 4 0 0 23 0 1 0 24666363 76566528 13692 270582939648 4194304 4964800 140734324153824 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/25734/statm: 18693 13695 386 189 0 13567 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 74772
[startup+0.300468 s]
/proc/loadavg: 29.52 22.08 21.23 1/413 25734
/proc/meminfo: memFree=262602460/264257624 swapFree=67111528/67111528
[pid=25734] ppid=25732 vsize=87728 CPUtime=0.29 cores=0-31
/proc/25734/stat : 25734 (claspmt) R 25732 25734 25708 0 -1 4202496 20636 0 0 0 24 5 0 0 23 0 1 0 24666363 89833472 16796 270582939648 4194304 4964800 140734324153824 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/25734/statm: 21932 16798 386 189 0 16806 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 87728
[startup+0.700477 s]
/proc/loadavg: 29.52 22.08 21.23 1/413 25734
/proc/meminfo: memFree=262602460/264257624 swapFree=67111528/67111528
[pid=25734] ppid=25732 vsize=135588 CPUtime=0.69 cores=0-31
/proc/25734/stat : 25734 (claspmt) R 25732 25734 25708 0 -1 4202496 37078 0 0 0 60 9 0 0 25 0 1 0 24666363 138842112 28907 270582939648 4194304 4964800 140734324153824 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/25734/statm: 33897 28909 386 189 0 28771 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 135588
[startup+1.50051 s]
/proc/loadavg: 27.31 21.74 21.13 2/414 25735
/proc/meminfo: memFree=262436212/264257624 swapFree=67111528/67111528
[pid=25734] ppid=25732 vsize=202436 CPUtime=1.49 cores=0-31
/proc/25734/stat : 25734 (claspmt) R 25732 25734 25708 0 -1 4202496 57397 0 0 0 136 13 0 0 25 0 1 0 24666363 207294464 43574 270582939648 4194304 4964800 140734324153824 18446744073709551615 4607766 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/25734/statm: 50609 43574 400 189 0 45483 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 202436
[startup+3.10061 s]
/proc/loadavg: 27.31 21.74 21.13 2/414 25735
/proc/meminfo: memFree=262427532/264257624 swapFree=67111528/67111528
[pid=25734] ppid=25732 vsize=202436 CPUtime=3.09 cores=0-31
/proc/25734/stat : 25734 (claspmt) R 25732 25734 25708 0 -1 4202496 57397 0 0 0 296 13 0 0 25 0 1 0 24666363 207294464 43574 270582939648 4194304 4964800 140734324153824 18446744073709551615 4607761 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/25734/statm: 50609 43574 400 189 0 45483 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 202436
[startup+6.30159 s]
/proc/loadavg: 25.21 21.40 21.02 32/445 25766
/proc/meminfo: memFree=262362416/264257624 swapFree=67111528/67111528
[pid=25734] ppid=25732 vsize=1043592 CPUtime=27.99 cores=0-31
/proc/25734/stat : 25734 (claspmt) S 25732 25734 25708 0 -1 4202496 224092 0 0 0 606 2193 0 0 18 0 32 0 24666363 1068638208 150231 270582939648 4194304 4964800 140734324153824 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/25734/statm: 260898 150239 436 189 0 255247 0
[pid=25734/tid=25736] ppid=25732 vsize=1043592 CPUtime=0.73 cores=0-31
/proc/25734/task/25736/stat : 25736 (claspmt) D 25732 25734 25708 0 -1 4202560 2448 0 0 0 1 72 0 0 18 0 32 0 24666907 1068638208 150241 270582939648 4194304 4964800 140734324153824 18446744073709551615 4679151 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25734/tid=25737] ppid=25732 vsize=1043592 CPUtime=0.73 cores=0-31
/proc/25734/task/25737/stat : 25737 (claspmt) D 25732 25734 25708 0 -1 4202560 3495 0 0 0 1 72 0 0 18 0 32 0 24666907 1068638208 150241 270582939648 4194304 4964800 140734324153824 18446744073709551615 4679091 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=25734/tid=25738] ppid=25732 vsize=1043592 CPUtime=0.73 cores=0-31
/proc/25734/task/25738/stat : 25738 (claspmt) D 25732 25734 25708 0 -1 4202560 3284 0 0 0 1 72 0 0 18 0 32 0 24666907 1068638208 150247 270582939648 4194304 4964800 140734324153824 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25734/tid=25739] ppid=25732 vsize=1043592 CPUtime=0.72 cores=0-31
/proc/25734/task/25739/stat : 25739 (claspmt) D 25732 25734 25708 0 -1 4202560 5439 0 0 0 1 71 0 0 18 0 32 0 24666907 1068638208 150254 270582939648 4194304 4964800 140734324153824 18446744073709551615 4679091 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=25734/tid=25740] ppid=25732 vsize=1043592 CPUtime=0.73 cores=0-31
/proc/25734/task/25740/stat : 25740 (claspmt) R 25732 25734 25708 0 -1 4202560 6107 0 0 0 1 72 0 0 18 0 32 0 24666907 1068638208 150255 270582939648 4194304 4964800 140734324153824 18446744073709551615 4687029 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=25734/tid=25741] ppid=25732 vsize=1043592 CPUtime=0.72 cores=0-31
/proc/25734/task/25741/stat : 25741 (claspmt) R 25732 25734 25708 0 -1 4202560 5264 0 0 0 2 70 0 0 18 0 32 0 24666907 1068638208 150258 270582939648 4194304 4964800 140734324153824 18446744073709551615 4679151 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=25734/tid=25742] ppid=25732 vsize=1043592 CPUtime=0.73 cores=0-31
/proc/25734/task/25742/stat : 25742 (claspmt) D 25732 25734 25708 0 -1 4202560 6074 0 0 0 1 72 0 0 18 0 32 0 24666907 1068638208 150269 270582939648 4194304 4964800 140734324153824 18446744073709551615 4380950 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=25734/tid=25743] ppid=25732 vsize=1043592 CPUtime=0.74 cores=0-31
/proc/25734/task/25743/stat : 25743 (claspmt) R 25732 25734 25708 0 -1 4202560 4111 0 0 0 2 72 0 0 18 0 32 0 24666907 1068638208 150275 270582939648 4194304 4964800 140734324153824 18446744073709551615 4679094 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25734/tid=25744] ppid=25732 vsize=1043592 CPUtime=0.7 cores=0-31
/proc/25734/task/25744/stat : 25744 (claspmt) D 25732 25734 25708 0 -1 4202560 5937 0 0 0 4 66 0 0 18 0 32 0 24666907 1068638208 150275 270582939648 4194304 4964800 140734324153824 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=25734/tid=25745] ppid=25732 vsize=1043592 CPUtime=0.7 cores=0-31
/proc/25734/task/25745/stat : 25745 (claspmt) D 25732 25734 25708 0 -1 4202560 5981 0 0 0 4 66 0 0 18 0 32 0 24666907 1068638208 150275 270582939648 4194304 4964800 140734324153824 18446744073709551615 4377868 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=25734/tid=25746] ppid=25732 vsize=1043592 CPUtime=0.74 cores=0-31
/proc/25734/task/25746/stat : 25746 (claspmt) D 25732 25734 25708 0 -1 4202560 6033 0 0 0 3 71 0 0 18 0 32 0 24666907 1068638208 150282 270582939648 4194304 4964800 140734324153824 18446744073709551615 4377891 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=25734/tid=25747] ppid=25732 vsize=1043592 CPUtime=0.74 cores=0-31
/proc/25734/task/25747/stat : 25747 (claspmt) D 25732 25734 25708 0 -1 4202560 4878 0 0 0 1 73 0 0 18 0 32 0 24666907 1068638208 150282 270582939648 4194304 4964800 140734324153824 18446744073709551615 4679091 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=25734/tid=25748] ppid=25732 vsize=1043592 CPUtime=0.74 cores=0-31
/proc/25734/task/25748/stat : 25748 (claspmt) R 25732 25734 25708 0 -1 4202560 5300 0 0 0 1 73 0 0 18 0 32 0 24666907 1068638208 150294 270582939648 4194304 4964800 140734324153824 18446744073709551615 4679094 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=25734/tid=25749] ppid=25732 vsize=1043592 CPUtime=0.72 cores=0-31
/proc/25734/task/25749/stat : 25749 (claspmt) R 25732 25734 25708 0 -1 4202560 5982 0 0 0 1 71 0 0 18 0 32 0 24666907 1068638208 150297 270582939648 4194304 4964800 140734324153824 18446744073709551615 4378021 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=25734/tid=25750] ppid=25732 vsize=1043592 CPUtime=0.73 cores=0-31
/proc/25734/task/25750/stat : 25750 (claspmt) R 25732 25734 25708 0 -1 4202560 2904 0 0 0 0 73 0 0 18 0 32 0 24666907 1068638208 150299 270582939648 4194304 4964800 140734324153824 18446744073709551615 4679094 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=25734/tid=25751] ppid=25732 vsize=1043592 CPUtime=0.72 cores=0-31
/proc/25734/task/25751/stat : 25751 (claspmt) D 25732 25734 25708 0 -1 4202560 5224 0 0 0 1 71 0 0 18 0 32 0 24666907 1068638208 150299 270582939648 4194304 4964800 140734324153824 18446744073709551615 4679094 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=25734/tid=25752] ppid=25732 vsize=1043592 CPUtime=0.7 cores=0-31
/proc/25734/task/25752/stat : 25752 (claspmt) R 25732 25734 25708 0 -1 4202560 5977 0 0 0 2 68 0 0 18 0 32 0 24666907 1068638208 150304 270582939648 4194304 4964800 140734324153824 18446744073709551615 4367461 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=25734/tid=25753] ppid=25732 vsize=1043592 CPUtime=0.67 cores=0-31
/proc/25734/task/25753/stat : 25753 (claspmt) R 25732 25734 25708 0 -1 4202560 2985 0 0 0 1 66 0 0 18 0 32 0 24666907 1068638208 150310 270582939648 4194304 4964800 140734324153824 18446744073709551615 4679091 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=25734/tid=25754] ppid=25732 vsize=1043592 CPUtime=0.72 cores=0-31
/proc/25734/task/25754/stat : 25754 (claspmt) D 25732 25734 25708 0 -1 4202560 5845 0 0 0 2 70 0 0 18 0 32 0 24666907 1068638208 150310 270582939648 4194304 4964800 140734324153824 18446744073709551615 4378056 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=25734/tid=25755] ppid=25732 vsize=1043592 CPUtime=0.7 cores=0-31
/proc/25734/task/25755/stat : 25755 (claspmt) D 25732 25734 25708 0 -1 4202560 6732 0 0 0 4 66 0 0 18 0 32 0 24666907 1068638208 150319 270582939648 4194304 4964800 140734324153824 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=25734/tid=25756] ppid=25732 vsize=1043592 CPUtime=0.73 cores=0-31
/proc/25734/task/25756/stat : 25756 (claspmt) R 25732 25734 25708 0 -1 4202560 5854 0 0 0 1 72 0 0 18 0 32 0 24666907 1068638208 150327 270582939648 4194304 4964800 140734324153824 18446744073709551615 4367404 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=25734/tid=25757] ppid=25732 vsize=1043592 CPUtime=0.73 cores=0-31
/proc/25734/task/25757/stat : 25757 (claspmt) D 25732 25734 25708 0 -1 4202560 6090 0 0 0 2 71 0 0 18 0 32 0 24666907 1068638208 150327 270582939648 4194304 4964800 140734324153824 18446744073709551615 4377868 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=25734/tid=25758] ppid=25732 vsize=1043592 CPUtime=0.73 cores=0-31
/proc/25734/task/25758/stat : 25758 (claspmt) D 25732 25734 25708 0 -1 4202560 5614 0 0 0 2 71 0 0 18 0 32 0 24666907 1068638208 150327 270582939648 4194304 4964800 140734324153824 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=25734/tid=25759] ppid=25732 vsize=1043592 CPUtime=0.66 cores=0-31
/proc/25734/task/25759/stat : 25759 (claspmt) D 25732 25734 25708 0 -1 4202560 5546 0 0 0 2 64 0 0 18 0 32 0 24666907 1068638208 150327 270582939648 4194304 4964800 140734324153824 18446744073709551615 4367404 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=25734/tid=25760] ppid=25732 vsize=1043592 CPUtime=0.72 cores=0-31
/proc/25734/task/25760/stat : 25760 (claspmt) D 25732 25734 25708 0 -1 4202560 6107 0 0 0 2 70 0 0 18 0 32 0 24666907 1068638208 150327 270582939648 4194304 4964800 140734324153824 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=25734/tid=25761] ppid=25732 vsize=1043592 CPUtime=0.71 cores=0-31
/proc/25734/task/25761/stat : 25761 (claspmt) D 25732 25734 25708 0 -1 4202560 6504 0 0 0 2 69 0 0 18 0 32 0 24666907 1068638208 150337 270582939648 4194304 4964800 140734324153824 18446744073709551615 4378056 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=25734/tid=25762] ppid=25732 vsize=1043592 CPUtime=0.73 cores=0-31
/proc/25734/task/25762/stat : 25762 (claspmt) D 25732 25734 25708 0 -1 4202560 6125 0 0 0 2 71 0 0 18 0 32 0 24666907 1068638208 150338 270582939648 4194304 4964800 140734324153824 18446744073709551615 4377868 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=25734/tid=25763] ppid=25732 vsize=1043592 CPUtime=0.71 cores=0-31
/proc/25734/task/25763/stat : 25763 (claspmt) D 25732 25734 25708 0 -1 4202560 6107 0 0 0 4 67 0 0 18 0 32 0 24666907 1068638208 150346 270582939648 4194304 4964800 140734324153824 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=25734/tid=25764] ppid=25732 vsize=1043592 CPUtime=0.68 cores=0-31
/proc/25734/task/25764/stat : 25764 (claspmt) D 25732 25734 25708 0 -1 4202560 5803 0 0 0 1 67 0 0 18 0 32 0 24666908 1068638208 150348 270582939648 4194304 4964800 140734324153824 18446744073709551615 4367581 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=25734/tid=25765] ppid=25732 vsize=1043592 CPUtime=0.69 cores=0-31
/proc/25734/task/25765/stat : 25765 (claspmt) D 25732 25734 25708 0 -1 4202560 6714 0 0 0 3 66 0 0 18 0 32 0 24666908 1068638208 150348 270582939648 4194304 4964800 140734324153824 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=25734/tid=25766] ppid=25732 vsize=1043592 CPUtime=0.69 cores=0-31
/proc/25734/task/25766/stat : 25766 (claspmt) D 25732 25734 25708 0 -1 4202560 6197 0 0 0 2 67 0 0 18 0 32 0 24666908 1068638208 150355 270582939648 4194304 4964800 140734324153824 18446744073709551615 4380986 0 0 4096 18946 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 27.99
Current children cumulated vsize (KiB) 1043592
[startup+12.7019 s]
/proc/loadavg: 23.51 21.11 20.93 5/445 25766
/proc/meminfo: memFree=261613936/264257624 swapFree=67111528/67111528
[pid=25734] ppid=25732 vsize=2132460 CPUtime=56.35 cores=0-31
/proc/25734/stat : 25734 (claspmt) S 25732 25734 25708 0 -1 4202496 326559 0 0 0 3099 2536 0 0 18 0 32 0 24666363 2183639040 247539 270582939648 4194304 4964800 140734324153824 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/25734/statm: 533115 247539 440 189 0 527464 0
[pid=25734/tid=25736] ppid=25732 vsize=2132460 CPUtime=0.9 cores=0-31
/proc/25734/task/25736/stat : 25736 (claspmt) S 25732 25734 25708 0 -1 4202560 5277 0 0 0 6 84 0 0 18 0 32 0 24666907 2183639040 247539 270582939648 4194304 4964800 140734324153824 18446744073709551615 258662772457 0 0 4096 18946 18446604500111171040 0 0 -1 1 0 0 0
[pid=25734/tid=25737] ppid=25732 vsize=2132460 CPUtime=1.05 cores=0-31
/proc/25734/task/25737/stat : 25737 (claspmt) S 25732 25734 25708 0 -1 4202560 9315 0 0 0 19 86 0 0 18 0 32 0 24666907 2183639040 247539 270582939648 4194304 4964800 140734324153824 18446744073709551615 258662772457 0 0 4096 18946 18446604712429239776 0 0 -1 6 0 0 0
[pid=25734/tid=25738] ppid=25732 vsize=2132460 CPUtime=1.04 cores=0-31
/proc/25734/task/25738/stat : 25738 (claspmt) S 25732 25734 25708 0 -1 4202560 9353 0 0 0 18 86 0 0 18 0 32 0 24666907 2183639040 247539 270582939648 4194304 4964800 140734324153824 18446744073709551615 258662772457 0 0 4096 18946 18446604484644789728 0 0 -1 3 0 0 0
[pid=25734/tid=25739] ppid=25732 vsize=2132460 CPUtime=0.88 cores=0-31
/proc/25734/task/25739/stat : 25739 (claspmt) S 25732 25734 25708 0 -1 4202560 7807 0 0 0 6 82 0 0 18 0 32 0 24666907 2183639040 247539 270582939648 4194304 4964800 140734324153824 18446744073709551615 258662772457 0 0 4096 18946 18446604484644773344 0 0 -1 12 0 0 0
[pid=25734/tid=25740] ppid=25732 vsize=2132460 CPUtime=6.24 cores=0-31
/proc/25734/task/25740/stat : 25740 (claspmt) R 25732 25734 25708 0 -1 4202560 9130 0 0 0 541 83 0 0 25 0 32 0 24666907 2183639040 247539 270582939648 4194304 4964800 140734324153824 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=25734/tid=25741] ppid=25732 vsize=2132460 CPUtime=1.01 cores=0-31
/proc/25734/task/25741/stat : 25741 (claspmt) S 25732 25734 25708 0 -1 4202560 9812 0 0 0 18 83 0 0 18 0 32 0 24666907 2183639040 247539 270582939648 4194304 4964800 140734324153824 18446744073709551615 258662772457 0 0 4096 18946 18446604556662357472 0 0 -1 2 0 0 0
[pid=25734/tid=25742] ppid=25732 vsize=2132460 CPUtime=1.11 cores=0-31
/proc/25734/task/25742/stat : 25742 (claspmt) S 25732 25734 25708 0 -1 4202560 10080 0 0 0 23 88 0 0 18 0 32 0 24666907 2183639040 247539 270582939648 4194304 4964800 140734324153824 18446744073709551615 258662772457 0 0 4096 18946 18446604500111195616 0 0 -1 24 0 0 0
[pid=25734/tid=25743] ppid=25732 vsize=2132460 CPUtime=0.89 cores=0-31
/proc/25734/task/25743/stat : 25743 (claspmt) S 25732 25734 25708 0 -1 4202560 6842 0 0 0 6 83 0 0 18 0 32 0 24666907 2183639040 247539 270582939648 4194304 4964800 140734324153824 18446744073709551615 258662772457 0 0 4096 18946 18446604573059218912 0 0 -1 5 0 0 0
[pid=25734/tid=25744] ppid=25732 vsize=2132460 CPUtime=0.73 cores=0-31
/proc/25734/task/25744/stat : 25744 (claspmt) S 25732 25734 25708 0 -1 4202560 6056 0 0 0 6 67 0 0 18 0 32 0 24666907 2183639040 247539 270582939648 4194304 4964800 140734324153824 18446744073709551615 258662772457 0 0 4096 18946 18446604570175397344 0 0 -1 6 0 0 0
[pid=25734/tid=25745] ppid=25732 vsize=2132460 CPUtime=0.95 cores=0-31
/proc/25734/task/25745/stat : 25745 (claspmt) S 25732 25734 25708 0 -1 4202560 8751 0 0 0 21 74 0 0 18 0 32 0 24666907 2183639040 247539 270582939648 4194304 4964800 140734324153824 18446744073709551615 258662772457 0 0 4096 18946 18446604705662787040 0 0 -1 11 0 0 0
[pid=25734/tid=25746] ppid=25732 vsize=2132460 CPUtime=1.04 cores=0-31
/proc/25734/task/25746/stat : 25746 (claspmt) S 25732 25734 25708 0 -1 4202560 10455 0 0 0 21 83 0 0 18 0 32 0 24666907 2183639040 247539 270582939648 4194304 4964800 140734324153824 18446744073709551615 258662772457 0 0 4096 18946 18446604709519490528 0 0 -1 13 0 0 0
[pid=25734/tid=25747] ppid=25732 vsize=2132460 CPUtime=0.9 cores=0-31
/proc/25734/task/25747/stat : 25747 (claspmt) S 25732 25734 25708 0 -1 4202560 7690 0 0 0 5 85 0 0 18 0 32 0 24666907 2183639040 247539 270582939648 4194304 4964800 140734324153824 18446744073709551615 258662772457 0 0 4096 18946 18446604709603941856 0 0 -1 20 0 0 0
[pid=25734/tid=25748] ppid=25732 vsize=2132460 CPUtime=6.15 cores=0-31
/proc/25734/task/25748/stat : 25748 (claspmt) R 25732 25734 25708 0 -1 4202560 9745 0 0 0 526 89 0 0 25 0 32 0 24666907 2183639040 247539 270582939648 4194304 4964800 140734324153824 18446744073709551615 4670349 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=25734/tid=25749] ppid=25732 vsize=2132460 CPUtime=1.03 cores=0-31
/proc/25734/task/25749/stat : 25749 (claspmt) S 25732 25734 25708 0 -1 4202560 10118 0 0 0 18 85 0 0 18 0 32 0 24666907 2183639040 247539 270582939648 4194304 4964800 140734324153824 18446744073709551615 258662772457 0 0 4096 18946 18446604484644781536 0 0 -1 16 0 0 0
[pid=25734/tid=25750] ppid=25732 vsize=2132460 CPUtime=1.14 cores=0-31
/proc/25734/task/25750/stat : 25750 (claspmt) S 25732 25734 25708 0 -1 4202560 10105 0 0 0 20 94 0 0 18 0 32 0 24666907 2183639040 247539 270582939648 4194304 4964800 140734324153824 18446744073709551615 258662772457 0 0 4096 18946 18446604558437055968 0 0 -1 2 0 0 0
[pid=25734/tid=25751] ppid=25732 vsize=2132460 CPUtime=0.88 cores=0-31
/proc/25734/task/25751/stat : 25751 (claspmt) S 25732 25734 25708 0 -1 4202560 7670 0 0 0 5 83 0 0 18 0 32 0 24666907 2183639040 247539 270582939648 4194304 4964800 140734324153824 18446744073709551615 258662772457 0 0 4096 18946 18446604497114168800 0 0 -1 29 0 0 0
[pid=25734/tid=25752] ppid=25732 vsize=2132460 CPUtime=0.75 cores=0-31
/proc/25734/task/25752/stat : 25752 (claspmt) S 25732 25734 25708 0 -1 4202560 6384 0 0 0 4 71 0 0 18 0 32 0 24666907 2183639040 247539 270582939648 4194304 4964800 140734324153824 18446744073709551615 258662772457 0 0 4096 18946 18446604500543421920 0 0 -1 15 0 0 0
[pid=25734/tid=25753] ppid=25732 vsize=2132460 CPUtime=0.95 cores=0-31
/proc/25734/task/25753/stat : 25753 (claspmt) S 25732 25734 25708 0 -1 4202560 9618 0 0 0 17 78 0 0 18 0 32 0 24666907 2183639040 247539 270582939648 4194304 4964800 140734324153824 18446744073709551615 258662772457 0 0 4096 18946 18446604505083690464 0 0 -1 23 0 0 0
[pid=25734/tid=25754] ppid=25732 vsize=2132460 CPUtime=1 cores=0-31
/proc/25734/task/25754/stat : 25754 (claspmt) S 25732 25734 25708 0 -1 4202560 9758 0 0 0 19 81 0 0 18 0 32 0 24666907 2183639040 247539 270582939648 4194304 4964800 140734324153824 18446744073709551615 258662772457 0 0 4096 18946 18446604712428936672 0 0 -1 10 0 0 0
[pid=25734/tid=25755] ppid=25732 vsize=2132460 CPUtime=0.76 cores=0-31
/proc/25734/task/25755/stat : 25755 (claspmt) S 25732 25734 25708 0 -1 4202560 7709 0 0 0 5 71 0 0 18 0 32 0 24666907 2183639040 247539 270582939648 4194304 4964800 140734324153824 18446744073709551615 258662772457 0 0 4096 18946 18446604562459524576 0 0 -1 14 0 0 0
[pid=25734/tid=25756] ppid=25732 vsize=2132460 CPUtime=6.28 cores=0-31
################
# More data... #
################
Current children cumulated vsize (KiB) 2806032
[startup+1764.8 s]
/proc/loadavg: 21.20 8.77 8.15 33/445 25812
/proc/meminfo: memFree=260741184/264257624 swapFree=67111528/67111528
[pid=25734] ppid=25732 vsize=2806032 CPUtime=8574.68 cores=0-31
/proc/25734/stat : 25734 (claspmt) R 25732 25734 25708 0 -1 4202496 545658 0 0 0 854535 2933 0 0 25 0 32 0 24666363 2873376768 466238 270582939648 4194304 4964800 140734324153824 18446744073709551615 4669011 0 0 4096 18946 18446744073709551615 0 0 17 19 0 0 0
/proc/25734/statm: 701508 466238 461 189 0 695857 0
[pid=25734/tid=25736] ppid=25732 vsize=2806032 CPUtime=60.73 cores=0-31
/proc/25734/task/25736/stat : 25736 (claspmt) R 25732 25734 25708 0 -1 4202560 9263 0 0 0 5982 91 0 0 25 0 32 0 24666907 2873376768 466238 270582939648 4194304 4964800 140734324153824 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25734/tid=25737] ppid=25732 vsize=2806032 CPUtime=60.92 cores=0-31
/proc/25734/task/25737/stat : 25737 (claspmt) R 25732 25734 25708 0 -1 4202560 21205 0 0 0 5989 103 0 0 25 0 32 0 24666907 2873376768 466238 270582939648 4194304 4964800 140734324153824 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=25734/tid=25738] ppid=25732 vsize=2806032 CPUtime=60.84 cores=0-31
/proc/25734/task/25738/stat : 25738 (claspmt) R 25732 25734 25708 0 -1 4202560 15626 0 0 0 5987 97 0 0 25 0 32 0 24666907 2873376768 466238 270582939648 4194304 4964800 140734324153824 18446744073709551615 4627252 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=25734/tid=25739] ppid=25732 vsize=2806032 CPUtime=60.63 cores=0-31
/proc/25734/task/25739/stat : 25739 (claspmt) R 25732 25734 25708 0 -1 4202560 16866 0 0 0 5967 96 0 0 25 0 32 0 24666907 2873376768 466238 270582939648 4194304 4964800 140734324153824 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=25734/tid=25740] ppid=25732 vsize=2806032 CPUtime=1758.01 cores=0-31
/proc/25734/task/25740/stat : 25740 (claspmt) R 25732 25734 25708 0 -1 4202560 11516 0 0 0 175707 94 0 0 25 0 32 0 24666907 2873376768 466238 270582939648 4194304 4964800 140734324153824 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=25734/tid=25741] ppid=25732 vsize=2806032 CPUtime=60.73 cores=0-31
/proc/25734/task/25741/stat : 25741 (claspmt) R 25732 25734 25708 0 -1 4202560 13201 0 0 0 5981 92 0 0 25 0 32 0 24666907 2873376768 466238 270582939648 4194304 4964800 140734324153824 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=25734/tid=25742] ppid=25732 vsize=2806032 CPUtime=60.93 cores=0-31
/proc/25734/task/25742/stat : 25742 (claspmt) R 25732 25734 25708 0 -1 4202560 20500 0 0 0 5989 104 0 0 25 0 32 0 24666907 2873376768 466238 270582939648 4194304 4964800 140734324153824 18446744073709551615 4629451 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=25734/tid=25743] ppid=25732 vsize=2806032 CPUtime=60.72 cores=0-31
/proc/25734/task/25743/stat : 25743 (claspmt) R 25732 25734 25708 0 -1 4202560 12730 0 0 0 5976 96 0 0 25 0 32 0 24666907 2873376768 466238 270582939648 4194304 4964800 140734324153824 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25734/tid=25744] ppid=25732 vsize=2806032 CPUtime=60.56 cores=0-31
/proc/25734/task/25744/stat : 25744 (claspmt) R 25732 25734 25708 0 -1 4202560 11067 0 0 0 5980 76 0 0 25 0 32 0 24666907 2873376768 466238 270582939648 4194304 4964800 140734324153824 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=25734/tid=25745] ppid=25732 vsize=2806032 CPUtime=59.87 cores=0-31
/proc/25734/task/25745/stat : 25745 (claspmt) R 25732 25734 25708 0 -1 4202560 18056 0 0 0 5898 89 0 0 25 0 32 0 24666907 2873376768 466238 270582939648 4194304 4964800 140734324153824 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=25734/tid=25746] ppid=25732 vsize=2806032 CPUtime=60.88 cores=0-31
/proc/25734/task/25746/stat : 25746 (claspmt) R 25732 25734 25708 0 -1 4202560 17359 0 0 0 5993 95 0 0 25 0 32 0 24666907 2873376768 466238 270582939648 4194304 4964800 140734324153824 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=25734/tid=25747] ppid=25732 vsize=2806032 CPUtime=60.76 cores=0-31
/proc/25734/task/25747/stat : 25747 (claspmt) R 25732 25734 25708 0 -1 4202560 14037 0 0 0 5980 96 0 0 25 0 32 0 24666907 2873376768 466238 270582939648 4194304 4964800 140734324153824 18446744073709551615 4342162 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=25734/tid=25748] ppid=25732 vsize=2806032 CPUtime=1658.44 cores=0-31
/proc/25734/task/25748/stat : 25748 (claspmt) R 25732 25734 25708 0 -1 4202560 13268 0 0 0 165740 104 0 0 25 0 32 0 24666907 2873376768 466238 270582939648 4194304 4964800 140734324153824 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=25734/tid=25749] ppid=25732 vsize=2806032 CPUtime=60.81 cores=0-31
/proc/25734/task/25749/stat : 25749 (claspmt) R 25732 25734 25708 0 -1 4202560 13207 0 0 0 5987 94 0 0 25 0 32 0 24666907 2873376768 466238 270582939648 4194304 4964800 140734324153824 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=25734/tid=25750] ppid=25732 vsize=2806032 CPUtime=60.93 cores=0-31
/proc/25734/task/25750/stat : 25750 (claspmt) R 25732 25734 25708 0 -1 4202560 20710 0 0 0 5985 108 0 0 25 0 32 0 24666907 2873376768 466238 270582939648 4194304 4964800 140734324153824 18446744073709551615 4342162 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=25734/tid=25751] ppid=25732 vsize=2806032 CPUtime=60.71 cores=0-31
/proc/25734/task/25751/stat : 25751 (claspmt) R 25732 25734 25708 0 -1 4202560 12864 0 0 0 5979 92 0 0 25 0 32 0 24666907 2873376768 466238 270582939648 4194304 4964800 140734324153824 18446744073709551615 4342204 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=25734/tid=25752] ppid=25732 vsize=2806032 CPUtime=60.62 cores=0-31
/proc/25734/task/25752/stat : 25752 (claspmt) R 25732 25734 25708 0 -1 4202560 11946 0 0 0 5981 81 0 0 25 0 32 0 24666907 2873376768 466238 270582939648 4194304 4964800 140734324153824 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=25734/tid=25753] ppid=25732 vsize=2806032 CPUtime=60.81 cores=0-31
/proc/25734/task/25753/stat : 25753 (claspmt) R 25732 25734 25708 0 -1 4202560 22508 0 0 0 5982 99 0 0 25 0 32 0 24666907 2873376768 466238 270582939648 4194304 4964800 140734324153824 18446744073709551615 4363044 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25734/tid=25754] ppid=25732 vsize=2806032 CPUtime=60.8 cores=0-31
/proc/25734/task/25754/stat : 25754 (claspmt) R 25732 25734 25708 0 -1 4202560 14879 0 0 0 5989 91 0 0 25 0 32 0 24666907 2873376768 466238 270582939648 4194304 4964800 140734324153824 18446744073709551615 4668998 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=25734/tid=25755] ppid=25732 vsize=2806032 CPUtime=60.68 cores=0-31
/proc/25734/task/25755/stat : 25755 (claspmt) R 25732 25734 25708 0 -1 4202560 18507 0 0 0 5978 90 0 0 25 0 32 0 24666907 2873376768 466238 270582939648 4194304 4964800 140734324153824 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=25734/tid=25756] ppid=25732 vsize=2806032 CPUtime=1712.67 cores=0-31
/proc/25734/task/25756/stat : 25756 (claspmt) R 25732 25734 25708 0 -1 4202560 11410 0 0 0 171172 95 0 0 25 0 32 0 24666907 2873376768 466238 270582939648 4194304 4964800 140734324153824 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=25734/tid=25757] ppid=25732 vsize=2806032 CPUtime=60.65 cores=0-31
/proc/25734/task/25757/stat : 25757 (claspmt) R 25732 25734 25708 0 -1 4202560 12918 0 0 0 5977 88 0 0 25 0 32 0 24666907 2873376768 466238 270582939648 4194304 4964800 140734324153824 18446744073709551615 4651371 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=25734/tid=25758] ppid=25732 vsize=2806032 CPUtime=60.89 cores=0-31
/proc/25734/task/25758/stat : 25758 (claspmt) R 25732 25734 25708 0 -1 4202560 24606 0 0 0 5981 108 0 0 25 0 32 0 24666907 2873376768 466238 270582939648 4194304 4964800 140734324153824 18446744073709551615 4313792 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=25734/tid=25759] ppid=25732 vsize=2806032 CPUtime=60.59 cores=0-31
/proc/25734/task/25759/stat : 25759 (claspmt) R 25732 25734 25708 0 -1 4202560 11921 0 0 0 5980 79 0 0 25 0 32 0 24666907 2873376768 466238 270582939648 4194304 4964800 140734324153824 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=25734/tid=25760] ppid=25732 vsize=2806032 CPUtime=60.66 cores=0-31
/proc/25734/task/25760/stat : 25760 (claspmt) R 25732 25734 25708 0 -1 4202560 12073 0 0 0 5980 86 0 0 25 0 32 0 24666907 2873376768 466238 270582939648 4194304 4964800 140734324153824 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=25734/tid=25761] ppid=25732 vsize=2806032 CPUtime=60.78 cores=0-31
/proc/25734/task/25761/stat : 25761 (claspmt) R 25732 25734 25708 0 -1 4202560 22071 0 0 0 5980 98 0 0 25 0 32 0 24666907 2873376768 466238 270582939648 4194304 4964800 140734324153824 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=25734/tid=25762] ppid=25732 vsize=2806032 CPUtime=60.94 cores=0-31
/proc/25734/task/25762/stat : 25762 (claspmt) R 25732 25734 25708 0 -1 4202560 15418 0 0 0 6001 93 0 0 25 0 32 0 24666907 2873376768 466238 270582939648 4194304 4964800 140734324153824 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=25734/tid=25763] ppid=25732 vsize=2806032 CPUtime=60.69 cores=0-31
/proc/25734/task/25763/stat : 25763 (claspmt) R 25732 25734 25708 0 -1 4202560 15041 0 0 0 5982 87 0 0 25 0 32 0 24666907 2873376768 466238 270582939648 4194304 4964800 140734324153824 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=25734/tid=25764] ppid=25732 vsize=2806032 CPUtime=1741.22 cores=0-31
/proc/25734/task/25764/stat : 25764 (claspmt) R 25732 25734 25708 0 -1 4202560 9812 0 0 0 174037 85 0 0 25 0 32 0 24666908 2873376768 466238 270582939648 4194304 4964800 140734324153824 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=25734/tid=25765] ppid=25732 vsize=2806032 CPUtime=60.58 cores=0-31
/proc/25734/task/25765/stat : 25765 (claspmt) R 25732 25734 25708 0 -1 4202560 14551 0 0 0 5972 86 0 0 25 0 32 0 24666908 2873376768 466238 270582939648 4194304 4964800 140734324153824 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=25734/tid=25766] ppid=25732 vsize=2806032 CPUtime=60.08 cores=0-31
/proc/25734/task/25766/stat : 25766 (claspmt) R 25732 25734 25708 0 -1 4202560 24055 0 0 0 5907 101 0 0 25 0 32 0 24666908 2873376768 466238 270582939648 4194304 4964800 140734324153824 18446744073709551615 4629451 0 0 4096 18946 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 8574.68
Current children cumulated vsize (KiB) 2806032
[startup+1766.4 s]
/proc/loadavg: 22.07 9.16 8.28 33/445 25812
/proc/meminfo: memFree=260741304/264257624 swapFree=67111528/67111528
[pid=25734] ppid=25732 vsize=2806032 CPUtime=8625.81 cores=0-31
/proc/25734/stat : 25734 (claspmt) R 25732 25734 25708 0 -1 4202496 545658 0 0 0 859648 2933 0 0 25 0 32 0 24666363 2873376768 466154 270582939648 4194304 4964800 140734324153824 18446744073709551615 4669136 0 0 4096 18946 18446744073709551615 0 0 17 19 0 0 0
/proc/25734/statm: 701508 466154 461 189 0 695857 0
[pid=25734/tid=25736] ppid=25732 vsize=2806032 CPUtime=62.33 cores=0-31
/proc/25734/task/25736/stat : 25736 (claspmt) R 25732 25734 25708 0 -1 4202560 9263 0 0 0 6142 91 0 0 25 0 32 0 24666907 2873376768 466154 270582939648 4194304 4964800 140734324153824 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25734/tid=25737] ppid=25732 vsize=2806032 CPUtime=62.52 cores=0-31
/proc/25734/task/25737/stat : 25737 (claspmt) R 25732 25734 25708 0 -1 4202560 21205 0 0 0 6149 103 0 0 25 0 32 0 24666907 2873376768 466154 270582939648 4194304 4964800 140734324153824 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=25734/tid=25738] ppid=25732 vsize=2806032 CPUtime=62.44 cores=0-31
/proc/25734/task/25738/stat : 25738 (claspmt) R 25732 25734 25708 0 -1 4202560 15626 0 0 0 6147 97 0 0 25 0 32 0 24666907 2873376768 466154 270582939648 4194304 4964800 140734324153824 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=25734/tid=25739] ppid=25732 vsize=2806032 CPUtime=62.22 cores=0-31
/proc/25734/task/25739/stat : 25739 (claspmt) R 25732 25734 25708 0 -1 4202560 16866 0 0 0 6126 96 0 0 25 0 32 0 24666907 2873376768 466154 270582939648 4194304 4964800 140734324153824 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=25734/tid=25740] ppid=25732 vsize=2806032 CPUtime=1759.61 cores=0-31
/proc/25734/task/25740/stat : 25740 (claspmt) R 25732 25734 25708 0 -1 4202560 11516 0 0 0 175867 94 0 0 25 0 32 0 24666907 2873376768 466154 270582939648 4194304 4964800 140734324153824 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=25734/tid=25741] ppid=25732 vsize=2806032 CPUtime=62.33 cores=0-31
/proc/25734/task/25741/stat : 25741 (claspmt) R 25732 25734 25708 0 -1 4202560 13201 0 0 0 6141 92 0 0 25 0 32 0 24666907 2873376768 466154 270582939648 4194304 4964800 140734324153824 18446744073709551615 4669033 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=25734/tid=25742] ppid=25732 vsize=2806032 CPUtime=62.53 cores=0-31
/proc/25734/task/25742/stat : 25742 (claspmt) R 25732 25734 25708 0 -1 4202560 20500 0 0 0 6149 104 0 0 25 0 32 0 24666907 2873376768 466154 270582939648 4194304 4964800 140734324153824 18446744073709551615 4629936 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=25734/tid=25743] ppid=25732 vsize=2806032 CPUtime=62.32 cores=0-31
/proc/25734/task/25743/stat : 25743 (claspmt) R 25732 25734 25708 0 -1 4202560 12730 0 0 0 6136 96 0 0 25 0 32 0 24666907 2873376768 466154 270582939648 4194304 4964800 140734324153824 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25734/tid=25744] ppid=25732 vsize=2806032 CPUtime=62.15 cores=0-31
/proc/25734/task/25744/stat : 25744 (claspmt) R 25732 25734 25708 0 -1 4202560 11067 0 0 0 6139 76 0 0 25 0 32 0 24666907 2873376768 466154 270582939648 4194304 4964800 140734324153824 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=25734/tid=25745] ppid=25732 vsize=2806032 CPUtime=61.43 cores=0-31
/proc/25734/task/25745/stat : 25745 (claspmt) R 25732 25734 25708 0 -1 4202560 18056 0 0 0 6054 89 0 0 25 0 32 0 24666907 2873376768 466154 270582939648 4194304 4964800 140734324153824 18446744073709551615 4362905 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=25734/tid=25746] ppid=25732 vsize=2806032 CPUtime=62.48 cores=0-31
/proc/25734/task/25746/stat : 25746 (claspmt) R 25732 25734 25708 0 -1 4202560 17359 0 0 0 6153 95 0 0 25 0 32 0 24666907 2873376768 466154 270582939648 4194304 4964800 140734324153824 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=25734/tid=25747] ppid=25732 vsize=2806032 CPUtime=62.35 cores=0-31
/proc/25734/task/25747/stat : 25747 (claspmt) R 25732 25734 25708 0 -1 4202560 14037 0 0 0 6139 96 0 0 25 0 32 0 24666907 2873376768 466154 270582939648 4194304 4964800 140734324153824 18446744073709551615 4669280 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=25734/tid=25748] ppid=25732 vsize=2806032 CPUtime=1660.04 cores=0-31
/proc/25734/task/25748/stat : 25748 (claspmt) R 25732 25734 25708 0 -1 4202560 13268 0 0 0 165900 104 0 0 25 0 32 0 24666907 2873376768 466154 270582939648 4194304 4964800 140734324153824 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=25734/tid=25749] ppid=25732 vsize=2806032 CPUtime=62.41 cores=0-31
/proc/25734/task/25749/stat : 25749 (claspmt) R 25732 25734 25708 0 -1 4202560 13207 0 0 0 6147 94 0 0 25 0 32 0 24666907 2873376768 466154 270582939648 4194304 4964800 140734324153824 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=25734/tid=25750] ppid=25732 vsize=2806032 CPUtime=62.53 cores=0-31
/proc/25734/task/25750/stat : 25750 (claspmt) R 25732 25734 25708 0 -1 4202560 20710 0 0 0 6145 108 0 0 25 0 32 0 24666907 2873376768 466154 270582939648 4194304 4964800 140734324153824 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=25734/tid=25751] ppid=25732 vsize=2806032 CPUtime=62.31 cores=0-31
/proc/25734/task/25751/stat : 25751 (claspmt) R 25732 25734 25708 0 -1 4202560 12864 0 0 0 6139 92 0 0 25 0 32 0 24666907 2873376768 466154 270582939648 4194304 4964800 140734324153824 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=25734/tid=25752] ppid=25732 vsize=2806032 CPUtime=62.22 cores=0-31
/proc/25734/task/25752/stat : 25752 (claspmt) R 25732 25734 25708 0 -1 4202560 11946 0 0 0 6141 81 0 0 25 0 32 0 24666907 2873376768 466154 270582939648 4194304 4964800 140734324153824 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=25734/tid=25753] ppid=25732 vsize=2806032 CPUtime=62.41 cores=0-31
/proc/25734/task/25753/stat : 25753 (claspmt) R 25732 25734 25708 0 -1 4202560 22508 0 0 0 6142 99 0 0 25 0 32 0 24666907 2873376768 466154 270582939648 4194304 4964800 140734324153824 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25734/tid=25754] ppid=25732 vsize=2806032 CPUtime=62.4 cores=0-31
/proc/25734/task/25754/stat : 25754 (claspmt) R 25732 25734 25708 0 -1 4202560 14879 0 0 0 6149 91 0 0 25 0 32 0 24666907 2873376768 466154 270582939648 4194304 4964800 140734324153824 18446744073709551615 4670160 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=25734/tid=25755] ppid=25732 vsize=2806032 CPUtime=62.28 cores=0-31
/proc/25734/task/25755/stat : 25755 (claspmt) R 25732 25734 25708 0 -1 4202560 18507 0 0 0 6138 90 0 0 25 0 32 0 24666907 2873376768 466154 270582939648 4194304 4964800 140734324153824 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=25734/tid=25756] ppid=25732 vsize=2806032 CPUtime=1714.27 cores=0-31
/proc/25734/task/25756/stat : 25756 (claspmt) R 25732 25734 25708 0 -1 4202560 11410 0 0 0 171332 95 0 0 25 0 32 0 24666907 2873376768 466154 270582939648 4194304 4964800 140734324153824 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=25734/tid=25757] ppid=25732 vsize=2806032 CPUtime=62.24 cores=0-31
/proc/25734/task/25757/stat : 25757 (claspmt) R 25732 25734 25708 0 -1 4202560 12918 0 0 0 6136 88 0 0 25 0 32 0 24666907 2873376768 466154 270582939648 4194304 4964800 140734324153824 18446744073709551615 4669008 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=25734/tid=25758] ppid=25732 vsize=2806032 CPUtime=62.49 cores=0-31
/proc/25734/task/25758/stat : 25758 (claspmt) R 25732 25734 25708 0 -1 4202560 24606 0 0 0 6141 108 0 0 25 0 32 0 24666907 2873376768 466154 270582939648 4194304 4964800 140734324153824 18446744073709551615 4313804 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=25734/tid=25759] ppid=25732 vsize=2806032 CPUtime=62.19 cores=0-31
/proc/25734/task/25759/stat : 25759 (claspmt) R 25732 25734 25708 0 -1 4202560 11921 0 0 0 6140 79 0 0 25 0 32 0 24666907 2873376768 466154 270582939648 4194304 4964800 140734324153824 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=25734/tid=25760] ppid=25732 vsize=2806032 CPUtime=62.26 cores=0-31
/proc/25734/task/25760/stat : 25760 (claspmt) R 25732 25734 25708 0 -1 4202560 12073 0 0 0 6140 86 0 0 25 0 32 0 24666907 2873376768 466154 270582939648 4194304 4964800 140734324153824 18446744073709551615 4670688 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=25734/tid=25761] ppid=25732 vsize=2806032 CPUtime=62.38 cores=0-31
/proc/25734/task/25761/stat : 25761 (claspmt) R 25732 25734 25708 0 -1 4202560 22071 0 0 0 6140 98 0 0 25 0 32 0 24666907 2873376768 466154 270582939648 4194304 4964800 140734324153824 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=25734/tid=25762] ppid=25732 vsize=2806032 CPUtime=62.54 cores=0-31
/proc/25734/task/25762/stat : 25762 (claspmt) R 25732 25734 25708 0 -1 4202560 15418 0 0 0 6161 93 0 0 18 0 32 0 24666907 2873376768 466154 270582939648 4194304 4964800 140734324153824 18446744073709551615 4337437 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=25734/tid=25763] ppid=25732 vsize=2806032 CPUtime=62.29 cores=0-31
/proc/25734/task/25763/stat : 25763 (claspmt) R 25732 25734 25708 0 -1 4202560 15041 0 0 0 6142 87 0 0 25 0 32 0 24666907 2873376768 466154 270582939648 4194304 4964800 140734324153824 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=25734/tid=25764] ppid=25732 vsize=2806032 CPUtime=1742.82 cores=0-31
/proc/25734/task/25764/stat : 25764 (claspmt) R 25732 25734 25708 0 -1 4202560 9812 0 0 0 174197 85 0 0 25 0 32 0 24666908 2873376768 466154 270582939648 4194304 4964800 140734324153824 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=25734/tid=25765] ppid=25732 vsize=2806032 CPUtime=62.18 cores=0-31
/proc/25734/task/25765/stat : 25765 (claspmt) R 25732 25734 25708 0 -1 4202560 14551 0 0 0 6132 86 0 0 25 0 32 0 24666908 2873376768 466154 270582939648 4194304 4964800 140734324153824 18446744073709551615 4378480 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=25734/tid=25766] ppid=25732 vsize=2806032 CPUtime=61.68 cores=0-31
/proc/25734/task/25766/stat : 25766 (claspmt) R 25732 25734 25708 0 -1 4202560 24055 0 0 0 6067 101 0 0 25 0 32 0 24666908 2873376768 466154 270582939648 4194304 4964800 140734324153824 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 8625.81
Current children cumulated vsize (KiB) 2806032
[startup+1767.2 s]
/proc/loadavg: 22.07 9.16 8.28 28/445 25812
/proc/meminfo: memFree=260741304/264257624 swapFree=67111528/67111528
[pid=25734] ppid=25732 vsize=2683404 CPUtime=8635.7 cores=0-31
/proc/25734/stat : 25734 (claspmt) R 25732 25734 25708 0 -1 4202496 545669 0 0 0 860634 2936 0 0 25 0 1 0 24666363 2747805696 452164 270582939648 4194304 4964800 140734324153824 18446744073709551615 4628834 0 0 4096 18946 0 0 0 17 23 0 0 0
/proc/25734/statm: 670851 452164 472 189 0 665200 0
Current children cumulated CPU time (s) 8635.7
Current children cumulated vsize (KiB) 2683404
[startup+1767.6 s]
/proc/loadavg: 22.07 9.16 8.28 28/445 25812
/proc/meminfo: memFree=260741304/264257624 swapFree=67111528/67111528
[pid=25734] ppid=25732 vsize=2552332 CPUtime=8636.1 cores=0-31
/proc/25734/stat : 25734 (claspmt) R 25732 25734 25708 0 -1 4202496 545669 0 0 0 860673 2937 0 0 25 0 1 0 24666363 2613587968 418445 270582939648 4194304 4964800 140734324153824 18446744073709551615 258650611751 0 0 4096 18946 0 0 0 17 23 0 0 0
/proc/25734/statm: 638083 418445 472 189 0 632432 0
Current children cumulated CPU time (s) 8636.1
Current children cumulated vsize (KiB) 2552332
[startup+1767.7 s]
/proc/loadavg: 22.07 9.16 8.28 2/414 25812
/proc/meminfo: memFree=261828828/264257624 swapFree=67111528/67111528
[pid=25734] ppid=25732 vsize=0 CPUtime=8636.22 cores=0-31
/proc/25734/stat : 25734 (claspmt) R 25732 25734 25708 0 -1 4202500 545670 0 0 0 860677 2945 0 0 25 0 1 0 24666363 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 23 0 0 0
/proc/25734/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 8636.22
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 1767.75
CPU time (s): 8636.26
CPU user time (s): 8606.78
CPU system time (s): 29.4845
CPU usage (%): 488.544
Max. virtual memory (cumulated for all children) (KiB): 2806032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8606.78
system time used= 29.4845
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 545670
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= 192148
involuntary context switches= 13305
runsolver used 9.57154 second user time and 38.7821 second system time
The end
Begin job on node200 at 2011-06-09 06:13:15
IDJOB=3472381
IDBENCH=82403
IDSOLVER=1961
FILE ID=node200/3472381-1307592793
RUNJOBID= node200-1307592793-25722
PBS_JOBID= 13547691
Free space on /tmp= 61704 MiB
SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/application/rintanen/SATPlanning/grid-strips-grid-y-3.035-NOTKNOWN.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-3472381-1307592793/watcher-3472381-1307592793 -o /tmp/evaluation-result-3472381-1307592793/solver-3472381-1307592793 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472381-1307592793.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 256000 MiB
NBCORE= 32
MD5SUM BENCH= a85b6db657886fb2a1a46ae1fe4d7999
RANDOM SEED=1020842264
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: 262602980 kB
Buffers: 210364 kB
Cached: 1159912 kB
SwapCached: 0 kB
Active: 268552 kB
Inactive: 1165100 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 262602980 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 41096 kB
Writeback: 0 kB
AnonPages: 63404 kB
Mapped: 14476 kB
Slab: 145004 kB
PageTables: 4452 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 162104 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= 61704 MiB
End job on node200 at 2011-06-09 06:42:43