0.00/0.01 c clasp version 2.0.0-RC2
0.00/0.01 c Reading from ...433380/instance-3472304-1307433380.cnf
1.49/1.59 c Solving...
108288.59/3396.04 s UNSATISFIABLE
108288.59/3396.04
108288.59/3396.04 c Models : 0
108288.59/3396.04 c Time : 3393.227s (Solving: 3391.64s 1st Model: 0.00s Unsat: 3391.64s)
108288.59/3396.04 c CPU Time : 108285.840s
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-3472304-1307433380/watcher-3472304-1307433380 -o /tmp/evaluation-result-3472304-1307433380/solver-3472304-1307433380 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472304-1307433380.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.46 31.50 31.87 1/413 14552
/proc/meminfo: memFree=263426744/264257624 swapFree=67111528/67111528
[pid=14552] ppid=14550 vsize=32612 CPUtime=0.02 cores=0-31
/proc/14552/stat : 14552 (claspmt) R 14550 14552 14526 0 -1 4202496 2309 0 0 0 2 0 0 0 20 0 1 0 8724917 33394688 2238 270582939648 4194304 4964800 140736162247008 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/14552/statm: 8153 2242 373 189 0 3027 0
[startup+0.046998 s]
/proc/loadavg: 29.46 31.50 31.87 1/413 14552
/proc/meminfo: memFree=263426744/264257624 swapFree=67111528/67111528
[pid=14552] ppid=14550 vsize=32612 CPUtime=0.03 cores=0-31
/proc/14552/stat : 14552 (claspmt) R 14550 14552 14526 0 -1 4202496 3231 0 0 0 3 0 0 0 20 0 1 0 8724917 33394688 3160 270582939648 4194304 4964800 140736162247008 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/14552/statm: 8153 3164 373 189 0 3027 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 32612
[startup+0.101002 s]
/proc/loadavg: 29.46 31.50 31.87 1/413 14552
/proc/meminfo: memFree=263426744/264257624 swapFree=67111528/67111528
[pid=14552] ppid=14550 vsize=41612 CPUtime=0.08 cores=0-31
/proc/14552/stat : 14552 (claspmt) R 14550 14552 14526 0 -1 4202496 6485 0 0 0 7 1 0 0 20 0 1 0 8724917 42610688 5521 270582939648 4194304 4964800 140736162247008 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/14552/statm: 10403 5522 383 189 0 5277 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 41612
[startup+0.301001 s]
/proc/loadavg: 29.46 31.50 31.87 1/413 14552
/proc/meminfo: memFree=263426744/264257624 swapFree=67111528/67111528
[pid=14552] ppid=14550 vsize=57908 CPUtime=0.29 cores=0-31
/proc/14552/stat : 14552 (claspmt) R 14550 14552 14526 0 -1 4202496 12348 0 0 0 25 4 0 0 20 0 1 0 8724917 59297792 9503 270582939648 4194304 4964800 140736162247008 18446744073709551615 4615676 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/14552/statm: 14477 9504 396 189 0 9351 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 57908
[startup+0.70103 s]
/proc/loadavg: 29.46 31.50 31.87 1/413 14552
/proc/meminfo: memFree=263426744/264257624 swapFree=67111528/67111528
[pid=14552] ppid=14550 vsize=72204 CPUtime=0.69 cores=0-31
/proc/14552/stat : 14552 (claspmt) R 14550 14552 14526 0 -1 4202496 15804 0 0 0 64 5 0 0 21 0 1 0 8724917 73936896 12959 270582939648 4194304 4964800 140736162247008 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/14552/statm: 18051 12959 401 189 0 12925 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 72204
[startup+1.50107 s]
/proc/loadavg: 29.46 31.50 31.87 2/414 14553
/proc/meminfo: memFree=263367432/264257624 swapFree=67111528/67111528
[pid=14552] ppid=14550 vsize=83664 CPUtime=1.49 cores=0-31
/proc/14552/stat : 14552 (claspmt) R 14550 14552 14526 0 -1 4202496 18674 0 0 0 143 6 0 0 23 0 1 0 8724917 85671936 15829 270582939648 4194304 4964800 140736162247008 18446744073709551615 4607744 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/14552/statm: 20916 15829 401 189 0 15790 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83664
[startup+3.10313 s]
/proc/loadavg: 29.46 31.50 31.87 12/445 14584
/proc/meminfo: memFree=263144684/264257624 swapFree=67111528/67111528
[pid=14552] ppid=14550 vsize=1623364 CPUtime=15.56 cores=0-31
/proc/14552/stat : 14552 (claspmt) S 14550 14552 14526 0 -1 4202496 121451 0 0 0 595 961 0 0 18 0 32 0 8724917 1662324736 94618 270582939648 4194304 4964800 140736162247008 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/14552/statm: 405841 94618 435 189 0 400190 0
[pid=14552/tid=14554] ppid=14550 vsize=1623364 CPUtime=0.33 cores=0-31
/proc/14552/task/14554/stat : 14554 (claspmt) S 14550 14552 14526 0 -1 4202560 2978 0 0 0 2 31 0 0 17 0 32 0 8725077 1662324736 94618 270582939648 4194304 4964800 140736162247008 18446744073709551615 258662772457 0 0 4096 18946 18446604505214615008 0 0 -1 21 0 0 0
[pid=14552/tid=14555] ppid=14550 vsize=1623364 CPUtime=0.38 cores=0-31
/proc/14552/task/14555/stat : 14555 (claspmt) S 14550 14552 14526 0 -1 4202560 3441 0 0 0 3 35 0 0 17 0 32 0 8725077 1662324736 94618 270582939648 4194304 4964800 140736162247008 18446744073709551615 258662772457 0 0 4096 18946 18446604501673909728 0 0 -1 2 0 0 0
[pid=14552/tid=14556] ppid=14550 vsize=1623364 CPUtime=0.39 cores=0-31
/proc/14552/task/14556/stat : 14556 (claspmt) S 14550 14552 14526 0 -1 4202560 3537 0 0 0 4 35 0 0 17 0 32 0 8725077 1662324736 94618 270582939648 4194304 4964800 140736162247008 18446744073709551615 258662772457 0 0 4096 18946 18446604712341290464 0 0 -1 11 0 0 0
[pid=14552/tid=14557] ppid=14550 vsize=1623364 CPUtime=0.37 cores=0-31
/proc/14552/task/14557/stat : 14557 (claspmt) S 14550 14552 14526 0 -1 4202560 2876 0 0 0 3 34 0 0 17 0 32 0 8725077 1662324736 94618 270582939648 4194304 4964800 140736162247008 18446744073709551615 258662772457 0 0 4096 18946 18446604709493964256 0 0 -1 0 0 0 0
[pid=14552/tid=14558] ppid=14550 vsize=1623364 CPUtime=1.1 cores=0-31
/proc/14552/task/14558/stat : 14558 (claspmt) R 14550 14552 14526 0 -1 4202560 3253 0 0 0 82 28 0 0 17 0 32 0 8725077 1662324736 94618 270582939648 4194304 4964800 140736162247008 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14552/tid=14559] ppid=14550 vsize=1623364 CPUtime=0.37 cores=0-31
/proc/14552/task/14559/stat : 14559 (claspmt) S 14550 14552 14526 0 -1 4202560 3793 0 0 0 4 33 0 0 17 0 32 0 8725077 1662324736 94618 270582939648 4194304 4964800 140736162247008 18446744073709551615 258662772457 0 0 4096 18946 18446604709711609312 0 0 -1 6 0 0 0
[pid=14552/tid=14560] ppid=14550 vsize=1623364 CPUtime=0.37 cores=0-31
/proc/14552/task/14560/stat : 14560 (claspmt) S 14550 14552 14526 0 -1 4202560 3374 0 0 0 6 31 0 0 17 0 32 0 8725077 1662324736 94618 270582939648 4194304 4964800 140736162247008 18446744073709551615 258662772457 0 0 4096 18946 18446604501474459104 0 0 -1 26 0 0 0
[pid=14552/tid=14561] ppid=14550 vsize=1623364 CPUtime=0.34 cores=0-31
/proc/14552/task/14561/stat : 14561 (claspmt) S 14550 14552 14526 0 -1 4202560 2881 0 0 0 4 30 0 0 17 0 32 0 8725077 1662324736 94618 270582939648 4194304 4964800 140736162247008 18446744073709551615 258662772457 0 0 4096 18946 18446604712224087520 0 0 -1 20 0 0 0
[pid=14552/tid=14562] ppid=14550 vsize=1623364 CPUtime=0.32 cores=0-31
/proc/14552/task/14562/stat : 14562 (claspmt) S 14550 14552 14526 0 -1 4202560 2916 0 0 0 3 29 0 0 17 0 32 0 8725077 1662324736 94618 270582939648 4194304 4964800 140736162247008 18446744073709551615 258662772457 0 0 4096 18946 18446604505214606816 0 0 -1 8 0 0 0
[pid=14552/tid=14563] ppid=14550 vsize=1623364 CPUtime=0.34 cores=0-31
/proc/14552/task/14563/stat : 14563 (claspmt) S 14550 14552 14526 0 -1 4202560 3693 0 0 0 4 30 0 0 17 0 32 0 8725077 1662324736 94618 270582939648 4194304 4964800 140736162247008 18446744073709551615 258662772457 0 0 4096 18946 18446604504053284320 0 0 -1 28 0 0 0
[pid=14552/tid=14564] ppid=14550 vsize=1623364 CPUtime=0.39 cores=0-31
/proc/14552/task/14564/stat : 14564 (claspmt) S 14550 14552 14526 0 -1 4202560 3562 0 0 0 6 33 0 0 17 0 32 0 8725077 1662324736 94618 270582939648 4194304 4964800 140736162247008 18446744073709551615 258662772457 0 0 4096 18946 18446604712246304224 0 0 -1 5 0 0 0
[pid=14552/tid=14565] ppid=14550 vsize=1623364 CPUtime=0.32 cores=0-31
/proc/14552/task/14565/stat : 14565 (claspmt) S 14550 14552 14526 0 -1 4202560 2965 0 0 0 3 29 0 0 17 0 32 0 8725077 1662324736 94618 270582939648 4194304 4964800 140736162247008 18446744073709551615 258662772457 0 0 4096 18946 18446604501345787360 0 0 -1 18 0 0 0
[pid=14552/tid=14566] ppid=14550 vsize=1623364 CPUtime=1.1 cores=0-31
/proc/14552/task/14566/stat : 14566 (claspmt) R 14550 14552 14526 0 -1 4202560 2826 0 0 0 77 33 0 0 18 0 32 0 8725077 1662324736 94618 270582939648 4194304 4964800 140736162247008 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14552/tid=14567] ppid=14550 vsize=1623364 CPUtime=0.3 cores=0-31
/proc/14552/task/14567/stat : 14567 (claspmt) S 14550 14552 14526 0 -1 4202560 3963 0 0 0 5 25 0 0 17 0 32 0 8725077 1662324736 94618 270582939648 4194304 4964800 140736162247008 18446744073709551615 258662772457 0 0 4096 18946 18446604709067791840 0 0 -1 19 0 0 0
[pid=14552/tid=14568] ppid=14550 vsize=1623364 CPUtime=0.36 cores=0-31
/proc/14552/task/14568/stat : 14568 (claspmt) S 14550 14552 14526 0 -1 4202560 3430 0 0 0 5 31 0 0 17 0 32 0 8725077 1662324736 94618 270582939648 4194304 4964800 140736162247008 18446744073709551615 258662772457 0 0 4096 18946 18446604501673917920 0 0 -1 17 0 0 0
[pid=14552/tid=14569] ppid=14550 vsize=1623364 CPUtime=0.35 cores=0-31
/proc/14552/task/14569/stat : 14569 (claspmt) S 14550 14552 14526 0 -1 4202560 2832 0 0 0 2 33 0 0 17 0 32 0 8725077 1662324736 94618 270582939648 4194304 4964800 140736162247008 18446744073709551615 258662772457 0 0 4096 18946 18446604503628971488 0 0 -1 10 0 0 0
[pid=14552/tid=14570] ppid=14550 vsize=1623364 CPUtime=0.34 cores=0-31
/proc/14552/task/14570/stat : 14570 (claspmt) S 14550 14552 14526 0 -1 4202560 2951 0 0 0 3 31 0 0 17 0 32 0 8725077 1662324736 94618 270582939648 4194304 4964800 140736162247008 18446744073709551615 258662772457 0 0 4096 18946 18446604709711650272 0 0 -1 29 0 0 0
[pid=14552/tid=14571] ppid=14550 vsize=1623364 CPUtime=0.36 cores=0-31
/proc/14552/task/14571/stat : 14571 (claspmt) S 14550 14552 14526 0 -1 4202560 3878 0 0 0 4 32 0 0 17 0 32 0 8725077 1662324736 94618 270582939648 4194304 4964800 140736162247008 18446744073709551615 258662772457 0 0 4096 18946 18446604501345795552 0 0 -1 24 0 0 0
[pid=14552/tid=14572] ppid=14550 vsize=1623364 CPUtime=0.35 cores=0-31
/proc/14552/task/14572/stat : 14572 (claspmt) S 14550 14552 14526 0 -1 4202560 3867 0 0 0 5 30 0 0 17 0 32 0 8725077 1662324736 94618 270582939648 4194304 4964800 140736162247008 18446744073709551615 258662772457 0 0 4096 18946 18446604710805093856 0 0 -1 9 0 0 0
[pid=14552/tid=14573] ppid=14550 vsize=1623364 CPUtime=0.27 cores=0-31
/proc/14552/task/14573/stat : 14573 (claspmt) S 14550 14552 14526 0 -1 4202560 2722 0 0 0 3 24 0 0 17 0 32 0 8725077 1662324736 94618 270582939648 4194304 4964800 140736162247008 18446744073709551615 258662772457 0 0 4096 18946 18446604709068250592 0 0 -1 15 0 0 0
[pid=14552/tid=14574] ppid=14550 vsize=1623364 CPUtime=1.12 cores=0-31
/proc/14552/task/14574/stat : 14574 (claspmt) R 14550 14552 14526 0 -1 4202560 3264 0 0 0 80 32 0 0 17 0 32 0 8725077 1662324736 94618 270582939648 4194304 4964800 140736162247008 18446744073709551615 4670151 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=14552/tid=14575] ppid=14550 vsize=1623364 CPUtime=0.37 cores=0-31
/proc/14552/task/14575/stat : 14575 (claspmt) S 14550 14552 14526 0 -1 4202560 3933 0 0 0 4 33 0 0 17 0 32 0 8725077 1662324736 94618 270582939648 4194304 4964800 140736162247008 18446744073709551615 258662772457 0 0 4096 18946 18446604710805224928 0 0 -1 4 0 0 0
[pid=14552/tid=14576] ppid=14550 vsize=1623364 CPUtime=0.38 cores=0-31
/proc/14552/task/14576/stat : 14576 (claspmt) S 14550 14552 14526 0 -1 4202560 3338 0 0 0 6 32 0 0 17 0 32 0 8725077 1662324736 94618 270582939648 4194304 4964800 140736162247008 18446744073709551615 258662772457 0 0 4096 18946 18446604505497845216 0 0 -1 13 0 0 0
[pid=14552/tid=14577] ppid=14550 vsize=1623364 CPUtime=0.33 cores=0-31
/proc/14552/task/14577/stat : 14577 (claspmt) S 14550 14552 14526 0 -1 4202560 2935 0 0 0 4 29 0 0 17 0 32 0 8725078 1662324736 94618 270582939648 4194304 4964800 140736162247008 18446744073709551615 258662772457 0 0 4096 18946 18446604505984916960 0 0 -1 30 0 0 0
[pid=14552/tid=14578] ppid=14550 vsize=1623364 CPUtime=0.3 cores=0-31
/proc/14552/task/14578/stat : 14578 (claspmt) S 14550 14552 14526 0 -1 4202560 2965 0 0 0 4 26 0 0 17 0 32 0 8725078 1662324736 94618 270582939648 4194304 4964800 140736162247008 18446744073709551615 258662772457 0 0 4096 18946 18446604503812423136 0 0 -1 23 0 0 0
[pid=14552/tid=14579] ppid=14550 vsize=1623364 CPUtime=0.35 cores=0-31
/proc/14552/task/14579/stat : 14579 (claspmt) S 14550 14552 14526 0 -1 4202560 3915 0 0 0 5 30 0 0 17 0 32 0 8725078 1662324736 94618 270582939648 4194304 4964800 140736162247008 18446744073709551615 258662772457 0 0 4096 18946 18446604503812414944 0 0 -1 25 0 0 0
[pid=14552/tid=14580] ppid=14550 vsize=1623364 CPUtime=0.35 cores=0-31
/proc/14552/task/14580/stat : 14580 (claspmt) S 14550 14552 14526 0 -1 4202560 3627 0 0 0 4 31 0 0 17 0 32 0 8725078 1662324736 94618 270582939648 4194304 4964800 140736162247008 18446744073709551615 258662772457 0 0 4096 18946 18446604505784622560 0 0 -1 3 0 0 0
[pid=14552/tid=14581] ppid=14550 vsize=1623364 CPUtime=0.32 cores=0-31
/proc/14552/task/14581/stat : 14581 (claspmt) S 14550 14552 14526 0 -1 4202560 2902 0 0 0 3 29 0 0 17 0 32 0 8725078 1662324736 94618 270582939648 4194304 4964800 140736162247008 18446744073709551615 258662772457 0 0 4096 18946 18446604505784630752 0 0 -1 16 0 0 0
[pid=14552/tid=14582] ppid=14550 vsize=1623364 CPUtime=1.09 cores=0-31
/proc/14552/task/14582/stat : 14582 (claspmt) R 14550 14552 14526 0 -1 4202560 3241 0 0 0 77 32 0 0 17 0 32 0 8725078 1662324736 94618 270582939648 4194304 4964800 140736162247008 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=14552/tid=14583] ppid=14550 vsize=1623364 CPUtime=0.36 cores=0-31
/proc/14552/task/14583/stat : 14583 (claspmt) S 14550 14552 14526 0 -1 4202560 3750 0 0 0 4 32 0 0 17 0 32 0 8725078 1662324736 94618 270582939648 4194304 4964800 140736162247008 18446744073709551615 258662772457 0 0 4096 18946 18446604504053276128 0 0 -1 22 0 0 0
[pid=14552/tid=14584] ppid=14550 vsize=1623364 CPUtime=0.23 cores=0-31
/proc/14552/task/14584/stat : 14584 (claspmt) S 14550 14552 14526 0 -1 4202560 2717 0 0 0 7 16 0 0 18 0 32 0 8725078 1662324736 94618 270582939648 4194304 4964800 140736162247008 18446744073709551615 258662772457 0 0 4096 18946 18446604572953656800 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 15.56
Current children cumulated vsize (KiB) 1623364
[startup+6.3021 s]
/proc/loadavg: 27.43 31.04 31.72 33/445 14584
/proc/meminfo: memFree=263027356/264257624 swapFree=67111528/67111528
[pid=14552] ppid=14550 vsize=1624692 CPUtime=62.67 cores=0-31
/proc/14552/stat : 14552 (claspmt) R 14550 14552 14526 0 -1 4202496 131892 0 0 0 5267 1000 0 0 19 0 32 0 8724917 1663684608 105059 270582939648 4194304 4964800 140736162247008 18446744073709551615 4669350 0 0 4096 18946 18446744073709551615 0 0 17 31 0 0 0
/proc/14552/statm: 406173 105059 461 189 0 400522 0
[pid=14552/tid=14554] ppid=14550 vsize=1624692 CPUtime=1.56 cores=0-31
/proc/14552/task/14554/stat : 14554 (claspmt) R 14550 14552 14526 0 -1 4202560 3292 0 0 0 124 32 0 0 17 0 32 0 8725077 1663684608 105060 270582939648 4194304 4964800 140736162247008 18446744073709551615 258650614517 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=14552/tid=14555] ppid=14550 vsize=1624692 CPUtime=1.61 cores=0-31
/proc/14552/task/14555/stat : 14555 (claspmt) R 14550 14552 14526 0 -1 4202560 3828 0 0 0 125 36 0 0 17 0 32 0 8725077 1663684608 105060 270582939648 4194304 4964800 140736162247008 18446744073709551615 4668611 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=14552/tid=14556] ppid=14550 vsize=1624692 CPUtime=1.61 cores=0-31
/proc/14552/task/14556/stat : 14556 (claspmt) R 14550 14552 14526 0 -1 4202560 3926 0 0 0 125 36 0 0 17 0 32 0 8725077 1663684608 105060 270582939648 4194304 4964800 140736162247008 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=14552/tid=14557] ppid=14550 vsize=1624692 CPUtime=1.6 cores=0-31
/proc/14552/task/14557/stat : 14557 (claspmt) R 14550 14552 14526 0 -1 4202560 3186 0 0 0 125 35 0 0 17 0 32 0 8725077 1663684608 105060 270582939648 4194304 4964800 140736162247008 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14552/tid=14558] ppid=14550 vsize=1624692 CPUtime=4.26 cores=0-31
/proc/14552/task/14558/stat : 14558 (claspmt) R 14550 14552 14526 0 -1 4202560 3293 0 0 0 398 28 0 0 22 0 32 0 8725077 1663684608 105060 270582939648 4194304 4964800 140736162247008 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14552/tid=14559] ppid=14550 vsize=1624692 CPUtime=1.61 cores=0-31
/proc/14552/task/14559/stat : 14559 (claspmt) R 14550 14552 14526 0 -1 4202560 4019 0 0 0 127 34 0 0 17 0 32 0 8725077 1663684608 105060 270582939648 4194304 4964800 140736162247008 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=14552/tid=14560] ppid=14550 vsize=1624692 CPUtime=1.6 cores=0-31
/proc/14552/task/14560/stat : 14560 (claspmt) R 14550 14552 14526 0 -1 4202560 3812 0 0 0 127 33 0 0 17 0 32 0 8725077 1663684608 105060 270582939648 4194304 4964800 140736162247008 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=14552/tid=14561] ppid=14550 vsize=1624692 CPUtime=1.56 cores=0-31
/proc/14552/task/14561/stat : 14561 (claspmt) R 14550 14552 14526 0 -1 4202560 3174 0 0 0 125 31 0 0 17 0 32 0 8725077 1663684608 105061 270582939648 4194304 4964800 140736162247008 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=14552/tid=14562] ppid=14550 vsize=1624692 CPUtime=1.55 cores=0-31
/proc/14552/task/14562/stat : 14562 (claspmt) R 14550 14552 14526 0 -1 4202560 3219 0 0 0 125 30 0 0 17 0 32 0 8725077 1663684608 105061 270582939648 4194304 4964800 140736162247008 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=14552/tid=14563] ppid=14550 vsize=1624692 CPUtime=1.56 cores=0-31
/proc/14552/task/14563/stat : 14563 (claspmt) R 14550 14552 14526 0 -1 4202560 3973 0 0 0 125 31 0 0 17 0 32 0 8725077 1663684608 105061 270582939648 4194304 4964800 140736162247008 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=14552/tid=14564] ppid=14550 vsize=1624692 CPUtime=1.61 cores=0-31
/proc/14552/task/14564/stat : 14564 (claspmt) R 14550 14552 14526 0 -1 4202560 3978 0 0 0 128 33 0 0 17 0 32 0 8725077 1663684608 105061 270582939648 4194304 4964800 140736162247008 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=14552/tid=14565] ppid=14550 vsize=1624692 CPUtime=1.56 cores=0-31
/proc/14552/task/14565/stat : 14565 (claspmt) R 14550 14552 14526 0 -1 4202560 3230 0 0 0 126 30 0 0 17 0 32 0 8725077 1663684608 105061 270582939648 4194304 4964800 140736162247008 18446744073709551615 4670112 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=14552/tid=14566] ppid=14550 vsize=1624692 CPUtime=4.31 cores=0-31
/proc/14552/task/14566/stat : 14566 (claspmt) R 14550 14552 14526 0 -1 4202560 2943 0 0 0 397 34 0 0 25 0 32 0 8725077 1663684608 105061 270582939648 4194304 4964800 140736162247008 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14552/tid=14567] ppid=14550 vsize=1624692 CPUtime=1.54 cores=0-31
/proc/14552/task/14567/stat : 14567 (claspmt) R 14550 14552 14526 0 -1 4202560 4328 0 0 0 127 27 0 0 17 0 32 0 8725077 1663684608 105061 270582939648 4194304 4964800 140736162247008 18446744073709551615 4668839 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=14552/tid=14568] ppid=14550 vsize=1624692 CPUtime=1.59 cores=0-31
/proc/14552/task/14568/stat : 14568 (claspmt) R 14550 14552 14526 0 -1 4202560 3993 0 0 0 126 33 0 0 17 0 32 0 8725077 1663684608 105062 270582939648 4194304 4964800 140736162247008 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=14552/tid=14569] ppid=14550 vsize=1624692 CPUtime=1.59 cores=0-31
/proc/14552/task/14569/stat : 14569 (claspmt) R 14550 14552 14526 0 -1 4202560 3170 0 0 0 125 34 0 0 17 0 32 0 8725077 1663684608 105062 270582939648 4194304 4964800 140736162247008 18446744073709551615 4669276 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=14552/tid=14570] ppid=14550 vsize=1624692 CPUtime=1.57 cores=0-31
/proc/14552/task/14570/stat : 14570 (claspmt) R 14550 14552 14526 0 -1 4202560 3273 0 0 0 124 33 0 0 17 0 32 0 8725077 1663684608 105062 270582939648 4194304 4964800 140736162247008 18446744073709551615 4370295 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=14552/tid=14571] ppid=14550 vsize=1624692 CPUtime=1.59 cores=0-31
/proc/14552/task/14571/stat : 14571 (claspmt) R 14550 14552 14526 0 -1 4202560 4180 0 0 0 125 34 0 0 17 0 32 0 8725077 1663684608 105062 270582939648 4194304 4964800 140736162247008 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=14552/tid=14572] ppid=14550 vsize=1624692 CPUtime=1.59 cores=0-31
/proc/14552/task/14572/stat : 14572 (claspmt) R 14550 14552 14526 0 -1 4202560 4326 0 0 0 127 32 0 0 17 0 32 0 8725077 1663684608 105062 270582939648 4194304 4964800 140736162247008 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=14552/tid=14573] ppid=14550 vsize=1624692 CPUtime=1.52 cores=0-31
/proc/14552/task/14573/stat : 14573 (claspmt) R 14550 14552 14526 0 -1 4202560 3052 0 0 0 126 26 0 0 17 0 32 0 8725077 1663684608 105062 270582939648 4194304 4964800 140736162247008 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=14552/tid=14574] ppid=14550 vsize=1624692 CPUtime=4.26 cores=0-31
/proc/14552/task/14574/stat : 14574 (claspmt) R 14550 14552 14526 0 -1 4202560 3372 0 0 0 394 32 0 0 25 0 32 0 8725077 1663684608 105062 270582939648 4194304 4964800 140736162247008 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=14552/tid=14575] ppid=14550 vsize=1624692 CPUtime=1.6 cores=0-31
/proc/14552/task/14575/stat : 14575 (claspmt) R 14550 14552 14526 0 -1 4202560 4279 0 0 0 126 34 0 0 17 0 32 0 8725077 1663684608 105062 270582939648 4194304 4964800 140736162247008 18446744073709551615 4669272 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=14552/tid=14576] ppid=14550 vsize=1624692 CPUtime=1.59 cores=0-31
/proc/14552/task/14576/stat : 14576 (claspmt) R 14550 14552 14526 0 -1 4202560 3931 0 0 0 126 33 0 0 17 0 32 0 8725077 1663684608 105062 270582939648 4194304 4964800 140736162247008 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=14552/tid=14577] ppid=14550 vsize=1624692 CPUtime=1.56 cores=0-31
/proc/14552/task/14577/stat : 14577 (claspmt) R 14550 14552 14526 0 -1 4202560 3217 0 0 0 126 30 0 0 17 0 32 0 8725078 1663684608 105065 270582939648 4194304 4964800 140736162247008 18446744073709551615 4334258 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=14552/tid=14578] ppid=14550 vsize=1624692 CPUtime=1.54 cores=0-31
/proc/14552/task/14578/stat : 14578 (claspmt) R 14550 14552 14526 0 -1 4202560 3335 0 0 0 126 28 0 0 17 0 32 0 8725078 1663684608 105065 270582939648 4194304 4964800 140736162247008 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 23 0 0 0
################
# More data... #
################
[pid=14552/tid=14559] ppid=14550 vsize=10901640 CPUtime=3359.17 cores=0-31
/proc/14552/task/14559/stat : 14559 (claspmt) R 14550 14552 14526 0 -1 4202560 34907 0 0 0 335772 145 0 0 25 0 32 0 8725077 11163279360 2532308 270582939648 4194304 4964800 140736162247008 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=14552/tid=14560] ppid=14550 vsize=10901640 CPUtime=3379.26 cores=0-31
/proc/14552/task/14560/stat : 14560 (claspmt) R 14550 14552 14526 0 -1 4202560 303841 0 0 0 337166 760 0 0 25 0 32 0 8725077 11163279360 2532308 270582939648 4194304 4964800 140736162247008 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=14552/tid=14561] ppid=14550 vsize=10901640 CPUtime=3379.87 cores=0-31
/proc/14552/task/14561/stat : 14561 (claspmt) R 14550 14552 14526 0 -1 4202560 16823 0 0 0 337901 86 0 0 25 0 32 0 8725077 11163279360 2532308 270582939648 4194304 4964800 140736162247008 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=14552/tid=14562] ppid=14550 vsize=10901640 CPUtime=3369.56 cores=0-31
/proc/14552/task/14562/stat : 14562 (claspmt) R 14550 14552 14526 0 -1 4202560 18113 0 0 0 336869 87 0 0 25 0 32 0 8725077 11163279360 2532308 270582939648 4194304 4964800 140736162247008 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=14552/tid=14563] ppid=14550 vsize=10901640 CPUtime=3378.59 cores=0-31
/proc/14552/task/14563/stat : 14563 (claspmt) R 14550 14552 14526 0 -1 4202560 111617 0 0 0 337538 321 0 0 25 0 32 0 8725077 11163279360 2532308 270582939648 4194304 4964800 140736162247008 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=14552/tid=14564] ppid=14550 vsize=10901640 CPUtime=3379.85 cores=0-31
/proc/14552/task/14564/stat : 14564 (claspmt) R 14550 14552 14526 0 -1 4202560 24320 0 0 0 337877 108 0 0 25 0 32 0 8725077 11163279360 2532308 270582939648 4194304 4964800 140736162247008 18446744073709551615 4669389 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=14552/tid=14565] ppid=14550 vsize=10901640 CPUtime=3379.6 cores=0-31
/proc/14552/task/14565/stat : 14565 (claspmt) R 14550 14552 14526 0 -1 4202560 72781 0 0 0 337737 223 0 0 25 0 32 0 8725077 11163279360 2532308 270582939648 4194304 4964800 140736162247008 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=14552/tid=14566] ppid=14550 vsize=10901640 CPUtime=3378.74 cores=0-31
/proc/14552/task/14566/stat : 14566 (claspmt) R 14550 14552 14526 0 -1 4202560 87086 0 0 0 337615 259 0 0 25 0 32 0 8725077 11163279360 2532308 270582939648 4194304 4964800 140736162247008 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=14552/tid=14567] ppid=14550 vsize=10901640 CPUtime=3379.48 cores=0-31
/proc/14552/task/14567/stat : 14567 (claspmt) R 14550 14552 14526 0 -1 4202560 22912 0 0 0 337849 99 0 0 25 0 32 0 8725077 11163279360 2532308 270582939648 4194304 4964800 140736162247008 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14552/tid=14568] ppid=14550 vsize=10901640 CPUtime=3379.21 cores=0-31
/proc/14552/task/14568/stat : 14568 (claspmt) R 14550 14552 14526 0 -1 4202560 269068 0 0 0 337257 664 0 0 25 0 32 0 8725077 11163279360 2532308 270582939648 4194304 4964800 140736162247008 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=14552/tid=14569] ppid=14550 vsize=10901640 CPUtime=3379.89 cores=0-31
/proc/14552/task/14569/stat : 14569 (claspmt) R 14550 14552 14526 0 -1 4202560 29705 0 0 0 337860 129 0 0 25 0 32 0 8725077 11163279360 2532308 270582939648 4194304 4964800 140736162247008 18446744073709551615 4653507 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=14552/tid=14570] ppid=14550 vsize=10901640 CPUtime=3378.6 cores=0-31
/proc/14552/task/14570/stat : 14570 (claspmt) R 14550 14552 14526 0 -1 4202560 25608 0 0 0 337741 119 0 0 25 0 32 0 8725077 11163279360 2532308 270582939648 4194304 4964800 140736162247008 18446744073709551615 4670434 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=14552/tid=14571] ppid=14550 vsize=10901640 CPUtime=3374.38 cores=0-31
/proc/14552/task/14571/stat : 14571 (claspmt) R 14550 14552 14526 0 -1 4202560 109480 0 0 0 337123 315 0 0 25 0 32 0 8725077 11163279360 2532308 270582939648 4194304 4964800 140736162247008 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14552/tid=14572] ppid=14550 vsize=10901640 CPUtime=3379.83 cores=0-31
/proc/14552/task/14572/stat : 14572 (claspmt) R 14550 14552 14526 0 -1 4202560 34869 0 0 0 337843 140 0 0 25 0 32 0 8725077 11163279360 2532308 270582939648 4194304 4964800 140736162247008 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=14552/tid=14573] ppid=14550 vsize=10901640 CPUtime=3376.52 cores=0-31
/proc/14552/task/14573/stat : 14573 (claspmt) R 14550 14552 14526 0 -1 4202560 80870 0 0 0 337405 247 0 0 25 0 32 0 8725077 11163279360 2532308 270582939648 4194304 4964800 140736162247008 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=14552/tid=14574] ppid=14550 vsize=10901640 CPUtime=3381.31 cores=0-31
/proc/14552/task/14574/stat : 14574 (claspmt) R 14550 14552 14526 0 -1 4202560 83985 0 0 0 337886 245 0 0 25 0 32 0 8725077 11163279360 2532308 270582939648 4194304 4964800 140736162247008 18446744073709551615 4380040 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=14552/tid=14575] ppid=14550 vsize=10901640 CPUtime=3378.96 cores=0-31
/proc/14552/task/14575/stat : 14575 (claspmt) R 14550 14552 14526 0 -1 4202560 32881 0 0 0 337752 144 0 0 25 0 32 0 8725077 11163279360 2532308 270582939648 4194304 4964800 140736162247008 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14552/tid=14576] ppid=14550 vsize=10901640 CPUtime=3378.23 cores=0-31
/proc/14552/task/14576/stat : 14576 (claspmt) R 14550 14552 14526 0 -1 4202560 235785 0 0 0 337215 608 0 0 25 0 32 0 8725077 11163279360 2532308 270582939648 4194304 4964800 140736162247008 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=14552/tid=14577] ppid=14550 vsize=10901640 CPUtime=3379.81 cores=0-31
/proc/14552/task/14577/stat : 14577 (claspmt) R 14550 14552 14526 0 -1 4202560 17785 0 0 0 337899 82 0 0 25 0 32 0 8725078 11163279360 2532308 270582939648 4194304 4964800 140736162247008 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=14552/tid=14578] ppid=14550 vsize=10901640 CPUtime=3379.28 cores=0-31
/proc/14552/task/14578/stat : 14578 (claspmt) R 14550 14552 14526 0 -1 4202560 20782 0 0 0 337840 88 0 0 25 0 32 0 8725078 11163279360 2532308 270582939648 4194304 4964800 140736162247008 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=14552/tid=14579] ppid=14550 vsize=10901640 CPUtime=3373.98 cores=0-31
/proc/14552/task/14579/stat : 14579 (claspmt) R 14550 14552 14526 0 -1 4202560 85701 0 0 0 337136 262 0 0 25 0 32 0 8725078 11163279360 2532308 270582939648 4194304 4964800 140736162247008 18446744073709551615 4313807 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=14552/tid=14580] ppid=14550 vsize=10901640 CPUtime=3367.54 cores=0-31
/proc/14552/task/14580/stat : 14580 (claspmt) R 14550 14552 14526 0 -1 4202560 31784 0 0 0 336617 137 0 0 25 0 32 0 8725078 11163279360 2532308 270582939648 4194304 4964800 140736162247008 18446744073709551615 4336761 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=14552/tid=14581] ppid=14550 vsize=10901640 CPUtime=3379.31 cores=0-31
/proc/14552/task/14581/stat : 14581 (claspmt) R 14550 14552 14526 0 -1 4202560 76990 0 0 0 337672 259 0 0 24 0 32 0 8725078 11163279360 2532308 270582939648 4194304 4964800 140736162247008 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=14552/tid=14582] ppid=14550 vsize=10901640 CPUtime=3382.26 cores=0-31
/proc/14552/task/14582/stat : 14582 (claspmt) R 14550 14552 14526 0 -1 4202560 87469 0 0 0 337979 247 0 0 23 0 32 0 8725078 11163279360 2532308 270582939648 4194304 4964800 140736162247008 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=14552/tid=14583] ppid=14550 vsize=10901640 CPUtime=3370.55 cores=0-31
/proc/14552/task/14583/stat : 14583 (claspmt) R 14550 14552 14526 0 -1 4202560 26581 0 0 0 336934 121 0 0 25 0 32 0 8725078 11163279360 2532308 270582939648 4194304 4964800 140736162247008 18446744073709551615 4669490 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=14552/tid=14584] ppid=14550 vsize=10901640 CPUtime=3368.47 cores=0-31
/proc/14552/task/14584/stat : 14584 (claspmt) R 14550 14552 14526 0 -1 4202560 279896 0 0 0 336169 678 0 0 25 0 32 0 8725078 11163279360 2532308 270582939648 4194304 4964800 140736162247008 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 108061
Current children cumulated vsize (KiB) 10901640
[startup+3391.9 s]
/proc/loadavg: 32.17 32.06 32.01 33/445 14686
/proc/meminfo: memFree=253281728/264257624 swapFree=67111528/67111528
[pid=14552] ppid=14550 vsize=10901640 CPUtime=108265 cores=0-31
/proc/14552/stat : 14552 (claspmt) R 14550 14552 14526 0 -1 4202496 2577732 0 0 0 10818817 7719 0 0 25 0 32 0 8724917 11163279360 2532280 270582939648 4194304 4964800 140736162247008 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/14552/statm: 2725410 2532280 463 189 0 2719759 0
[pid=14552/tid=14554] ppid=14550 vsize=10901640 CPUtime=3385.99 cores=0-31
/proc/14552/task/14554/stat : 14554 (claspmt) R 14550 14552 14526 0 -1 4202560 25616 0 0 0 338487 112 0 0 18 0 32 0 8725077 11163279360 2532280 270582939648 4194304 4964800 140736162247008 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=14552/tid=14555] ppid=14550 vsize=10901640 CPUtime=3385.12 cores=0-31
/proc/14552/task/14555/stat : 14555 (claspmt) R 14550 14552 14526 0 -1 4202560 104231 0 0 0 338197 315 0 0 25 0 32 0 8725077 11163279360 2532280 270582939648 4194304 4964800 140736162247008 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=14552/tid=14556] ppid=14550 vsize=10901640 CPUtime=3380.11 cores=0-31
/proc/14552/task/14556/stat : 14556 (claspmt) R 14550 14552 14526 0 -1 4202560 28141 0 0 0 337881 130 0 0 25 0 32 0 8725077 11163279360 2532280 270582939648 4194304 4964800 140736162247008 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=14552/tid=14557] ppid=14550 vsize=10901640 CPUtime=3385.46 cores=0-31
/proc/14552/task/14557/stat : 14557 (claspmt) R 14550 14552 14526 0 -1 4202560 92178 0 0 0 338244 302 0 0 25 0 32 0 8725077 11163279360 2532280 270582939648 4194304 4964800 140736162247008 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=14552/tid=14558] ppid=14550 vsize=10901640 CPUtime=3383.01 cores=0-31
/proc/14552/task/14558/stat : 14558 (claspmt) R 14550 14552 14526 0 -1 4202560 65760 0 0 0 338115 186 0 0 25 0 32 0 8725077 11163279360 2532280 270582939648 4194304 4964800 140736162247008 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=14552/tid=14559] ppid=14550 vsize=10901640 CPUtime=3365.57 cores=0-31
/proc/14552/task/14559/stat : 14559 (claspmt) R 14550 14552 14526 0 -1 4202560 34907 0 0 0 336411 146 0 0 25 0 32 0 8725077 11163279360 2532280 270582939648 4194304 4964800 140736162247008 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=14552/tid=14560] ppid=14550 vsize=10901640 CPUtime=3385.65 cores=0-31
/proc/14552/task/14560/stat : 14560 (claspmt) R 14550 14552 14526 0 -1 4202560 303841 0 0 0 337805 760 0 0 25 0 32 0 8725077 11163279360 2532280 270582939648 4194304 4964800 140736162247008 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=14552/tid=14561] ppid=14550 vsize=10901640 CPUtime=3386.26 cores=0-31
/proc/14552/task/14561/stat : 14561 (claspmt) R 14550 14552 14526 0 -1 4202560 16823 0 0 0 338540 86 0 0 18 0 32 0 8725077 11163279360 2532280 270582939648 4194304 4964800 140736162247008 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=14552/tid=14562] ppid=14550 vsize=10901640 CPUtime=3375.94 cores=0-31
/proc/14552/task/14562/stat : 14562 (claspmt) R 14550 14552 14526 0 -1 4202560 18113 0 0 0 337507 87 0 0 25 0 32 0 8725077 11163279360 2532280 270582939648 4194304 4964800 140736162247008 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=14552/tid=14563] ppid=14550 vsize=10901640 CPUtime=3384.98 cores=0-31
/proc/14552/task/14563/stat : 14563 (claspmt) R 14550 14552 14526 0 -1 4202560 111617 0 0 0 338177 321 0 0 25 0 32 0 8725077 11163279360 2532280 270582939648 4194304 4964800 140736162247008 18446744073709551615 4313853 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=14552/tid=14564] ppid=14550 vsize=10901640 CPUtime=3386.24 cores=0-31
/proc/14552/task/14564/stat : 14564 (claspmt) R 14550 14552 14526 0 -1 4202560 24320 0 0 0 338516 108 0 0 25 0 32 0 8725077 11163279360 2532280 270582939648 4194304 4964800 140736162247008 18446744073709551615 4320905 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=14552/tid=14565] ppid=14550 vsize=10901640 CPUtime=3385.99 cores=0-31
/proc/14552/task/14565/stat : 14565 (claspmt) R 14550 14552 14526 0 -1 4202560 72781 0 0 0 338376 223 0 0 25 0 32 0 8725077 11163279360 2532280 270582939648 4194304 4964800 140736162247008 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=14552/tid=14566] ppid=14550 vsize=10901640 CPUtime=3385.14 cores=0-31
/proc/14552/task/14566/stat : 14566 (claspmt) R 14550 14552 14526 0 -1 4202560 87086 0 0 0 338255 259 0 0 25 0 32 0 8725077 11163279360 2532280 270582939648 4194304 4964800 140736162247008 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=14552/tid=14567] ppid=14550 vsize=10901640 CPUtime=3385.87 cores=0-31
/proc/14552/task/14567/stat : 14567 (claspmt) R 14550 14552 14526 0 -1 4202560 22912 0 0 0 338488 99 0 0 25 0 32 0 8725077 11163279360 2532280 270582939648 4194304 4964800 140736162247008 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14552/tid=14568] ppid=14550 vsize=10901640 CPUtime=3385.6 cores=0-31
/proc/14552/task/14568/stat : 14568 (claspmt) R 14550 14552 14526 0 -1 4202560 269068 0 0 0 337896 664 0 0 25 0 32 0 8725077 11163279360 2532280 270582939648 4194304 4964800 140736162247008 18446744073709551615 4668920 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=14552/tid=14569] ppid=14550 vsize=10901640 CPUtime=3386.28 cores=0-31
/proc/14552/task/14569/stat : 14569 (claspmt) R 14550 14552 14526 0 -1 4202560 29705 0 0 0 338499 129 0 0 25 0 32 0 8725077 11163279360 2532280 270582939648 4194304 4964800 140736162247008 18446744073709551615 4342213 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=14552/tid=14570] ppid=14550 vsize=10901640 CPUtime=3384.98 cores=0-31
/proc/14552/task/14570/stat : 14570 (claspmt) R 14550 14552 14526 0 -1 4202560 25608 0 0 0 338379 119 0 0 25 0 32 0 8725077 11163279360 2532280 270582939648 4194304 4964800 140736162247008 18446744073709551615 4670190 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=14552/tid=14571] ppid=14550 vsize=10901640 CPUtime=3380.77 cores=0-31
/proc/14552/task/14571/stat : 14571 (claspmt) R 14550 14552 14526 0 -1 4202560 109480 0 0 0 337762 315 0 0 25 0 32 0 8725077 11163279360 2532280 270582939648 4194304 4964800 140736162247008 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14552/tid=14572] ppid=14550 vsize=10901640 CPUtime=3386.21 cores=0-31
/proc/14552/task/14572/stat : 14572 (claspmt) R 14550 14552 14526 0 -1 4202560 34869 0 0 0 338481 140 0 0 17 0 32 0 8725077 11163279360 2532280 270582939648 4194304 4964800 140736162247008 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=14552/tid=14573] ppid=14550 vsize=10901640 CPUtime=3382.91 cores=0-31
/proc/14552/task/14573/stat : 14573 (claspmt) R 14550 14552 14526 0 -1 4202560 80870 0 0 0 338044 247 0 0 25 0 32 0 8725077 11163279360 2532280 270582939648 4194304 4964800 140736162247008 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=14552/tid=14574] ppid=14550 vsize=10901640 CPUtime=3387.51 cores=0-31
/proc/14552/task/14574/stat : 14574 (claspmt) R 14550 14552 14526 0 -1 4202560 83985 0 0 0 338505 246 0 0 25 0 32 0 8725077 11163279360 2532280 270582939648 4194304 4964800 140736162247008 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=14552/tid=14575] ppid=14550 vsize=10901640 CPUtime=3385.36 cores=0-31
/proc/14552/task/14575/stat : 14575 (claspmt) R 14550 14552 14526 0 -1 4202560 32881 0 0 0 338392 144 0 0 25 0 32 0 8725077 11163279360 2532280 270582939648 4194304 4964800 140736162247008 18446744073709551615 4668728 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14552/tid=14576] ppid=14550 vsize=10901640 CPUtime=3384.62 cores=0-31
/proc/14552/task/14576/stat : 14576 (claspmt) R 14550 14552 14526 0 -1 4202560 235785 0 0 0 337854 608 0 0 25 0 32 0 8725077 11163279360 2532280 270582939648 4194304 4964800 140736162247008 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=14552/tid=14577] ppid=14550 vsize=10901640 CPUtime=3386.21 cores=0-31
/proc/14552/task/14577/stat : 14577 (claspmt) R 14550 14552 14526 0 -1 4202560 17785 0 0 0 338539 82 0 0 25 0 32 0 8725078 11163279360 2532280 270582939648 4194304 4964800 140736162247008 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=14552/tid=14578] ppid=14550 vsize=10901640 CPUtime=3385.66 cores=0-31
/proc/14552/task/14578/stat : 14578 (claspmt) R 14550 14552 14526 0 -1 4202560 20782 0 0 0 338478 88 0 0 25 0 32 0 8725078 11163279360 2532280 270582939648 4194304 4964800 140736162247008 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=14552/tid=14579] ppid=14550 vsize=10901640 CPUtime=3380.37 cores=0-31
/proc/14552/task/14579/stat : 14579 (claspmt) R 14550 14552 14526 0 -1 4202560 85701 0 0 0 337775 262 0 0 25 0 32 0 8725078 11163279360 2532280 270582939648 4194304 4964800 140736162247008 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=14552/tid=14580] ppid=14550 vsize=10901640 CPUtime=3373.93 cores=0-31
/proc/14552/task/14580/stat : 14580 (claspmt) R 14550 14552 14526 0 -1 4202560 31784 0 0 0 337256 137 0 0 25 0 32 0 8725078 11163279360 2532280 270582939648 4194304 4964800 140736162247008 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=14552/tid=14581] ppid=14550 vsize=10901640 CPUtime=3385.7 cores=0-31
/proc/14552/task/14581/stat : 14581 (claspmt) R 14550 14552 14526 0 -1 4202560 76990 0 0 0 338310 260 0 0 25 0 32 0 8725078 11163279360 2532280 270582939648 4194304 4964800 140736162247008 18446744073709551615 4653186 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=14552/tid=14582] ppid=14550 vsize=10901640 CPUtime=3388.62 cores=0-31
/proc/14552/task/14582/stat : 14582 (claspmt) R 14550 14552 14526 0 -1 4202560 87469 0 0 0 338615 247 0 0 25 0 32 0 8725078 11163279360 2532280 270582939648 4194304 4964800 140736162247008 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=14552/tid=14583] ppid=14550 vsize=10901640 CPUtime=3376.94 cores=0-31
/proc/14552/task/14583/stat : 14583 (claspmt) R 14550 14552 14526 0 -1 4202560 26581 0 0 0 337573 121 0 0 25 0 32 0 8725078 11163279360 2532280 270582939648 4194304 4964800 140736162247008 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=14552/tid=14584] ppid=14550 vsize=10901640 CPUtime=3374.87 cores=0-31
/proc/14552/task/14584/stat : 14584 (claspmt) R 14550 14552 14526 0 -1 4202560 279896 0 0 0 336809 678 0 0 25 0 32 0 8725078 11163279360 2532280 270582939648 4194304 4964800 140736162247008 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 108265
Current children cumulated vsize (KiB) 10901640
[startup+3393.54 s]
/proc/loadavg: 32.17 32.06 32.01 2/414 14686
/proc/meminfo: memFree=253294732/264257624 swapFree=67111528/67111528
[pid=14552] ppid=14550 vsize=10799880 CPUtime=108286 cores=0-31
/proc/14552/stat : 14552 (claspmt) R 14550 14552 14526 0 -1 4202496 2577743 0 0 0 10820777 7836 0 0 16 0 1 0 8724917 11059077120 2528847 270582939648 4194304 4964800 140736162247008 18446744073709551615 258650613570 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/14552/statm: 2699970 2528847 474 189 0 2694319 0
Current children cumulated CPU time (s) 108286
Current children cumulated vsize (KiB) 10799880
[startup+3395.1 s]
/proc/loadavg: 29.68 31.54 31.84 2/414 14686
/proc/meminfo: memFree=253357832/264257624 swapFree=67111528/67111528
[pid=14552] ppid=14550 vsize=10701528 CPUtime=108288 cores=0-31
/proc/14552/stat : 14552 (claspmt) R 14550 14552 14526 0 -1 4202496 2577743 0 0 0 10820932 7837 0 0 17 0 1 0 8724917 10958364672 2502628 270582939648 4194304 4964800 140736162247008 18446744073709551615 258650610907 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/14552/statm: 2675382 2502628 474 189 0 2669731 0
Current children cumulated CPU time (s) 108288
Current children cumulated vsize (KiB) 10701528
[startup+3395.9 s]
/proc/loadavg: 29.68 31.54 31.84 2/414 14686
/proc/meminfo: memFree=253450460/264257624 swapFree=67111528/67111528
[pid=14552] ppid=14550 vsize=10524136 CPUtime=108288 cores=0-31
/proc/14552/stat : 14552 (claspmt) R 14550 14552 14526 0 -1 4202496 2577743 0 0 0 10821011 7839 0 0 19 0 1 0 8724917 10776715264 2457098 270582939648 4194304 4964800 140736162247008 18446744073709551615 258650999159 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/14552/statm: 2631034 2456596 474 189 0 2625383 0
Current children cumulated CPU time (s) 108288
Current children cumulated vsize (KiB) 10524136
[startup+3396.3 s]
/proc/loadavg: 29.68 31.54 31.84 2/414 14686
/proc/meminfo: memFree=253450460/264257624 swapFree=67111528/67111528
[pid=14552] ppid=14550 vsize=0 CPUtime=108289 cores=0-31
/proc/14552/stat : 14552 (claspmt) R 14550 14552 14526 0 -1 4202500 2577744 0 0 0 10821015 7874 0 0 19 0 1 0 8724917 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/14552/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 108289
Current children cumulated vsize (KiB) 0
[startup+3396.4 s]
/proc/loadavg: 29.68 31.54 31.84 2/414 14686
/proc/meminfo: memFree=253450460/264257624 swapFree=67111528/67111528
[pid=14552] ppid=14550 vsize=0 CPUtime=108289 cores=0-31
/proc/14552/stat : 14552 (claspmt) R 14550 14552 14526 0 -1 4202500 2577744 0 0 0 10821015 7884 0 0 19 0 1 0 8724917 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/14552/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 108289
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 3396.43
CPU time (s): 108289
CPU user time (s): 108210
CPU system time (s): 78.873
CPU usage (%): 3188.32
Max. virtual memory (cumulated for all children) (KiB): 10901640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 108210
system time used= 78.873
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2577744
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= 503014
involuntary context switches= 264690
runsolver used 19.963 second user time and 75.8025 second system time
The end
Begin job on node200 at 2011-06-07 09:56:20
IDJOB=3472304
IDBENCH=70797
IDSOLVER=1961
FILE ID=node200/3472304-1307433380
RUNJOBID= node200-1307433380-14540
PBS_JOBID= 13509183
Free space on /tmp= 61740 MiB
SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxororand/maxxororand064.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-3472304-1307433380/watcher-3472304-1307433380 -o /tmp/evaluation-result-3472304-1307433380/solver-3472304-1307433380 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472304-1307433380.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 256000 MiB
NBCORE= 32
MD5SUM BENCH= 49dbd2fb16b3d5ce554d30c48729a56d
RANDOM SEED=1270277107
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: 263427148 kB
Buffers: 100668 kB
Cached: 503380 kB
SwapCached: 0 kB
Active: 155688 kB
Inactive: 511172 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263427148 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 5236 kB
Writeback: 4 kB
AnonPages: 63764 kB
Mapped: 13892 kB
Slab: 85496 kB
PageTables: 4288 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 163732 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= 61736 MiB
End job on node200 at 2011-06-07 10:52:57