0.00/0.00 c clasp version 2.0.0-RC2
0.00/0.00 c Reading from ...614513/instance-3472402-1307614513.cnf
3.49/3.51 c Solving...
481.04/19.62 s UNSATISFIABLE
481.04/19.62
481.04/19.62 c Models : 0
481.04/19.62 c Time : 18.797s (Solving: 15.29s 1st Model: 0.00s Unsat: 15.29s)
481.04/19.62 c CPU Time : 480.250s
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-3472402-1307614513/watcher-3472402-1307614513 -o /tmp/evaluation-result-3472402-1307614513/solver-3472402-1307614513 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472402-1307614513.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: 30.70 21.71 17.03 1/413 27736
/proc/meminfo: memFree=262411948/264257624 swapFree=67111528/67111528
[pid=27736] ppid=27734 vsize=53860 CPUtime=0.02 cores=0-31
/proc/27736/stat : 27736 (claspmt) R 27734 27736 27592 0 -1 4202496 4547 0 0 0 2 0 0 0 22 0 1 0 26838250 55152640 4476 270582939648 4194304 4964800 140733653853536 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/27736/statm: 13465 4484 373 189 0 8339 0
[startup+0.0673621 s]
/proc/loadavg: 30.70 21.71 17.03 1/413 27736
/proc/meminfo: memFree=262411948/264257624 swapFree=67111528/67111528
[pid=27736] ppid=27734 vsize=69088 CPUtime=0.05 cores=0-31
/proc/27736/stat : 27736 (claspmt) R 27734 27736 27592 0 -1 4202496 10812 0 0 0 4 1 0 0 22 0 1 0 26838250 70746112 10226 270582939648 4194304 4964800 140733653853536 18446744073709551615 4679094 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/27736/statm: 17272 10237 374 189 0 12146 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 69088
[startup+0.10132 s]
/proc/loadavg: 30.70 21.71 17.03 1/413 27736
/proc/meminfo: memFree=262411948/264257624 swapFree=67111528/67111528
[pid=27736] ppid=27734 vsize=74752 CPUtime=0.09 cores=0-31
/proc/27736/stat : 27736 (claspmt) R 27734 27736 27592 0 -1 4202496 15910 0 0 0 7 2 0 0 22 0 1 0 26838250 76546048 13639 270582939648 4194304 4964800 140733653853536 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/27736/statm: 18688 13641 383 189 0 13562 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 74752
[startup+0.300332 s]
/proc/loadavg: 30.70 21.71 17.03 1/413 27736
/proc/meminfo: memFree=262411948/264257624 swapFree=67111528/67111528
[pid=27736] ppid=27734 vsize=100068 CPUtime=0.29 cores=0-31
/proc/27736/stat : 27736 (claspmt) R 27734 27736 27592 0 -1 4202496 24594 0 0 0 25 4 0 0 23 0 1 0 26838250 102469632 19824 270582939648 4194304 4964800 140733653853536 18446744073709551615 4599599 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/27736/statm: 25017 19826 383 189 0 19891 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 100068
[startup+0.70039 s]
/proc/loadavg: 30.70 21.71 17.03 1/413 27736
/proc/meminfo: memFree=262411948/264257624 swapFree=67111528/67111528
[pid=27736] ppid=27734 vsize=138036 CPUtime=0.69 cores=0-31
/proc/27736/stat : 27736 (claspmt) R 27734 27736 27592 0 -1 4202496 36535 0 0 0 64 5 0 0 25 0 1 0 26838250 141348864 29165 270582939648 4194304 4964800 140733653853536 18446744073709551615 4611824 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/27736/statm: 34509 29165 401 189 0 29383 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 138036
[startup+1.50038 s]
/proc/loadavg: 30.70 21.71 17.03 3/414 27737
/proc/meminfo: memFree=262294988/264257624 swapFree=67111528/67111528
[pid=27736] ppid=27734 vsize=144448 CPUtime=1.49 cores=0-31
/proc/27736/stat : 27736 (claspmt) R 27734 27736 27592 0 -1 4202496 38071 0 0 0 143 6 0 0 25 0 1 0 26838250 147914752 30701 270582939648 4194304 4964800 140733653853536 18446744073709551615 258650653882 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/27736/statm: 36112 30701 401 189 0 30986 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 144448
[startup+3.10043 s]
/proc/loadavg: 28.33 21.37 16.95 2/414 27737
/proc/meminfo: memFree=262286224/264257624 swapFree=67111528/67111528
[pid=27736] ppid=27734 vsize=147692 CPUtime=3.09 cores=0-31
/proc/27736/stat : 27736 (claspmt) R 27734 27736 27592 0 -1 4202496 38904 0 0 0 303 6 0 0 25 0 1 0 26838250 151236608 31534 270582939648 4194304 4964800 140733653853536 18446744073709551615 4612288 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/27736/statm: 36923 31534 401 189 0 31797 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 147692
[startup+6.30141 s]
/proc/loadavg: 28.33 21.37 16.95 33/445 27770
/proc/meminfo: memFree=261606204/264257624 swapFree=67111528/67111528
[pid=27736] ppid=27734 vsize=1440996 CPUtime=85.16 cores=0-31
/proc/27736/stat : 27736 (claspmt) R 27734 27736 27592 0 -1 4202496 287714 0 0 0 6314 2202 0 0 20 0 32 0 26838250 1475579904 213198 270582939648 4194304 4964800 140733653853536 18446744073709551615 4370242 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/27736/statm: 360249 213199 461 189 0 354598 0
[pid=27736/tid=27738] ppid=27734 vsize=1440996 CPUtime=2.66 cores=0-31
/proc/27736/task/27738/stat : 27738 (claspmt) R 27734 27736 27592 0 -1 4202560 6350 0 0 0 189 77 0 0 18 0 32 0 26838601 1475579904 213199 270582939648 4194304 4964800 140733653853536 18446744073709551615 4371965 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=27736/tid=27739] ppid=27734 vsize=1440996 CPUtime=2.62 cores=0-31
/proc/27736/task/27739/stat : 27739 (claspmt) R 27734 27736 27592 0 -1 4202560 9435 0 0 0 183 79 0 0 18 0 32 0 26838601 1475579904 213199 270582939648 4194304 4964800 140733653853536 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=27736/tid=27740] ppid=27734 vsize=1440996 CPUtime=2.63 cores=0-31
/proc/27736/task/27740/stat : 27740 (claspmt) R 27734 27736 27592 0 -1 4202560 9248 0 0 0 184 79 0 0 18 0 32 0 26838601 1475579904 213199 270582939648 4194304 4964800 140733653853536 18446744073709551615 4642509 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=27736/tid=27741] ppid=27734 vsize=1440996 CPUtime=2.57 cores=0-31
/proc/27736/task/27741/stat : 27741 (claspmt) R 27734 27736 27592 0 -1 4202560 6587 0 0 0 191 66 0 0 18 0 32 0 26838601 1475579904 213199 270582939648 4194304 4964800 140733653853536 18446744073709551615 4668934 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=27736/tid=27742] ppid=27734 vsize=1440996 CPUtime=2.61 cores=0-31
/proc/27736/task/27742/stat : 27742 (claspmt) R 27734 27736 27592 0 -1 4202560 6835 0 0 0 194 67 0 0 20 0 32 0 26838601 1475579904 213199 270582939648 4194304 4964800 140733653853536 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=27736/tid=27743] ppid=27734 vsize=1440996 CPUtime=2.62 cores=0-31
/proc/27736/task/27743/stat : 27743 (claspmt) R 27734 27736 27592 0 -1 4202560 8407 0 0 0 186 76 0 0 18 0 32 0 26838601 1475579904 213199 270582939648 4194304 4964800 140733653853536 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=27736/tid=27744] ppid=27734 vsize=1440996 CPUtime=2.63 cores=0-31
/proc/27736/task/27744/stat : 27744 (claspmt) R 27734 27736 27592 0 -1 4202560 8958 0 0 0 179 84 0 0 18 0 32 0 26838601 1475579904 213199 270582939648 4194304 4964800 140733653853536 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=27736/tid=27745] ppid=27734 vsize=1440996 CPUtime=2.5 cores=0-31
/proc/27736/task/27745/stat : 27745 (claspmt) R 27734 27736 27592 0 -1 4202560 6195 0 0 0 190 60 0 0 18 0 32 0 26838601 1475579904 213199 270582939648 4194304 4964800 140733653853536 18446744073709551615 4364587 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=27736/tid=27746] ppid=27734 vsize=1440996 CPUtime=2.6 cores=0-31
/proc/27736/task/27746/stat : 27746 (claspmt) R 27734 27736 27592 0 -1 4202560 6669 0 0 0 190 70 0 0 19 0 32 0 26838601 1475579904 213199 270582939648 4194304 4964800 140733653853536 18446744073709551615 4370242 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=27736/tid=27747] ppid=27734 vsize=1440996 CPUtime=2.47 cores=0-31
/proc/27736/task/27747/stat : 27747 (claspmt) R 27734 27736 27592 0 -1 4202560 9314 0 0 0 182 65 0 0 18 0 32 0 26838601 1475579904 213199 270582939648 4194304 4964800 140733653853536 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=27736/tid=27748] ppid=27734 vsize=1440996 CPUtime=2.58 cores=0-31
/proc/27736/task/27748/stat : 27748 (claspmt) R 27734 27736 27592 0 -1 4202560 8958 0 0 0 180 78 0 0 18 0 32 0 26838601 1475579904 213199 270582939648 4194304 4964800 140733653853536 18446744073709551615 4362915 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=27736/tid=27749] ppid=27734 vsize=1440996 CPUtime=2.53 cores=0-31
/proc/27736/task/27749/stat : 27749 (claspmt) R 27734 27736 27592 0 -1 4202560 6580 0 0 0 190 63 0 0 18 0 32 0 26838601 1475579904 213199 270582939648 4194304 4964800 140733653853536 18446744073709551615 4364587 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=27736/tid=27750] ppid=27734 vsize=1440996 CPUtime=2.6 cores=0-31
/proc/27736/task/27750/stat : 27750 (claspmt) R 27734 27736 27592 0 -1 4202560 6576 0 0 0 198 62 0 0 18 0 32 0 26838601 1475579904 213199 270582939648 4194304 4964800 140733653853536 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=27736/tid=27751] ppid=27734 vsize=1440996 CPUtime=2.61 cores=0-31
/proc/27736/task/27751/stat : 27751 (claspmt) R 27734 27736 27592 0 -1 4202560 9581 0 0 0 185 76 0 0 18 0 32 0 26838601 1475579904 213199 270582939648 4194304 4964800 140733653853536 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=27736/tid=27752] ppid=27734 vsize=1440996 CPUtime=2.59 cores=0-31
/proc/27736/task/27752/stat : 27752 (claspmt) R 27734 27736 27592 0 -1 4202560 8832 0 0 0 180 79 0 0 18 0 32 0 26838601 1475579904 213199 270582939648 4194304 4964800 140733653853536 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=27736/tid=27753] ppid=27734 vsize=1440996 CPUtime=2.59 cores=0-31
/proc/27736/task/27753/stat : 27753 (claspmt) R 27734 27736 27592 0 -1 4202560 6626 0 0 0 191 68 0 0 18 0 32 0 26838601 1475579904 213199 270582939648 4194304 4964800 140733653853536 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=27736/tid=27754] ppid=27734 vsize=1440996 CPUtime=2.62 cores=0-31
/proc/27736/task/27754/stat : 27754 (claspmt) R 27734 27736 27592 0 -1 4202560 6612 0 0 0 190 72 0 0 19 0 32 0 26838601 1475579904 213199 270582939648 4194304 4964800 140733653853536 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=27736/tid=27755] ppid=27734 vsize=1440996 CPUtime=2.56 cores=0-31
/proc/27736/task/27755/stat : 27755 (claspmt) R 27734 27736 27592 0 -1 4202560 9669 0 0 0 183 73 0 0 18 0 32 0 26838601 1475579904 213199 270582939648 4194304 4964800 140733653853536 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=27736/tid=27756] ppid=27734 vsize=1440996 CPUtime=2.62 cores=0-31
/proc/27736/task/27756/stat : 27756 (claspmt) R 27734 27736 27592 0 -1 4202560 9349 0 0 0 185 77 0 0 18 0 32 0 26838601 1475579904 213199 270582939648 4194304 4964800 140733653853536 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=27736/tid=27757] ppid=27734 vsize=1440996 CPUtime=2.6 cores=0-31
/proc/27736/task/27757/stat : 27757 (claspmt) R 27734 27736 27592 0 -1 4202560 6573 0 0 0 189 71 0 0 20 0 32 0 26838601 1475579904 213199 270582939648 4194304 4964800 140733653853536 18446744073709551615 4370224 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=27736/tid=27758] ppid=27734 vsize=1440996 CPUtime=2.57 cores=0-31
/proc/27736/task/27758/stat : 27758 (claspmt) R 27734 27736 27592 0 -1 4202560 7017 0 0 0 190 67 0 0 18 0 32 0 26838601 1475579904 213199 270582939648 4194304 4964800 140733653853536 18446744073709551615 4370242 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=27736/tid=27759] ppid=27734 vsize=1440996 CPUtime=2.58 cores=0-31
/proc/27736/task/27759/stat : 27759 (claspmt) R 27734 27736 27592 0 -1 4202560 8922 0 0 0 185 73 0 0 18 0 32 0 26838601 1475579904 213199 270582939648 4194304 4964800 140733653853536 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=27736/tid=27760] ppid=27734 vsize=1440996 CPUtime=2.45 cores=0-31
/proc/27736/task/27760/stat : 27760 (claspmt) R 27734 27736 27592 0 -1 4202560 10250 0 0 0 174 71 0 0 18 0 32 0 26838601 1475579904 213199 270582939648 4194304 4964800 140733653853536 18446744073709551615 4670160 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=27736/tid=27761] ppid=27734 vsize=1440996 CPUtime=2.64 cores=0-31
/proc/27736/task/27761/stat : 27761 (claspmt) R 27734 27736 27592 0 -1 4202560 6103 0 0 0 190 74 0 0 20 0 32 0 26838601 1475579904 213199 270582939648 4194304 4964800 140733653853536 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=27736/tid=27762] ppid=27734 vsize=1440996 CPUtime=2.56 cores=0-31
/proc/27736/task/27762/stat : 27762 (claspmt) R 27734 27736 27592 0 -1 4202560 6571 0 0 0 190 66 0 0 18 0 32 0 26838601 1475579904 213199 270582939648 4194304 4964800 140733653853536 18446744073709551615 4364544 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=27736/tid=27763] ppid=27734 vsize=1440996 CPUtime=2.39 cores=0-31
/proc/27736/task/27763/stat : 27763 (claspmt) R 27734 27736 27592 0 -1 4202560 9955 0 0 0 182 57 0 0 17 0 32 0 26838601 1475579904 213199 270582939648 4194304 4964800 140733653853536 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=27736/tid=27764] ppid=27734 vsize=1440996 CPUtime=2.54 cores=0-31
/proc/27736/task/27764/stat : 27764 (claspmt) R 27734 27736 27592 0 -1 4202560 9676 0 0 0 182 72 0 0 18 0 32 0 26838601 1475579904 213199 270582939648 4194304 4964800 140733653853536 18446744073709551615 4659391 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=27736/tid=27765] ppid=27734 vsize=1440996 CPUtime=2.51 cores=0-31
/proc/27736/task/27765/stat : 27765 (claspmt) R 27734 27736 27592 0 -1 4202560 6567 0 0 0 190 61 0 0 18 0 32 0 26838602 1475579904 213199 270582939648 4194304 4964800 140733653853536 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=27736/tid=27766] ppid=27734 vsize=1440996 CPUtime=2.53 cores=0-31
/proc/27736/task/27766/stat : 27766 (claspmt) R 27734 27736 27592 0 -1 4202560 6905 0 0 0 188 65 0 0 25 0 32 0 26838602 1475579904 213199 270582939648 4194304 4964800 140733653853536 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=27736/tid=27767] ppid=27734 vsize=1440996 CPUtime=2.36 cores=0-31
/proc/27736/task/27767/stat : 27767 (claspmt) R 27734 27736 27592 0 -1 4202560 9373 0 0 0 183 53 0 0 17 0 32 0 26838602 1475579904 213199 270582939648 4194304 4964800 140733653853536 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=27736/tid=27768] ppid=27734 vsize=1440996 CPUtime=2.53 cores=0-31
/proc/27736/task/27768/stat : 27768 (claspmt) R 27734 27736 27592 0 -1 4202560 9555 0 0 0 177 76 0 0 18 0 32 0 26838602 1475579904 213199 270582939648 4194304 4964800 140733653853536 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 85.16
Current children cumulated vsize (KiB) 1440996
[startup+12.7016 s]
/proc/loadavg: 28.89 21.72 17.11 33/445 27770
/proc/meminfo: memFree=261446316/264257624 swapFree=67111528/67111528
[pid=27736] ppid=27734 vsize=1580000 CPUtime=289.13 cores=0-31
/proc/27736/stat : 27736 (claspmt) R 27734 27736 27592 0 -1 4202496 319470 0 0 0 26605 2308 0 0 21 0 32 0 26838250 1617920000 244954 270582939648 4194304 4964800 140733653853536 18446744073709551615 4370242 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/27736/statm: 395000 244954 461 189 0 389349 0
[pid=27736/tid=27738] ppid=27734 vsize=1580000 CPUtime=9.06 cores=0-31
/proc/27736/task/27738/stat : 27738 (claspmt) R 27734 27736 27592 0 -1 4202560 6454 0 0 0 828 78 0 0 20 0 32 0 26838601 1617920000 244954 270582939648 4194304 4964800 140733653853536 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=27736/tid=27739] ppid=27734 vsize=1580000 CPUtime=8.99 cores=0-31
/proc/27736/task/27739/stat : 27739 (claspmt) R 27734 27736 27592 0 -1 4202560 10480 0 0 0 817 82 0 0 19 0 32 0 26838601 1617920000 244954 270582939648 4194304 4964800 140733653853536 18446744073709551615 4669022 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=27736/tid=27740] ppid=27734 vsize=1580000 CPUtime=9.02 cores=0-31
/proc/27736/task/27740/stat : 27740 (claspmt) R 27734 27736 27592 0 -1 4202560 9875 0 0 0 820 82 0 0 18 0 32 0 26838601 1617920000 244954 270582939648 4194304 4964800 140733653853536 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=27736/tid=27741] ppid=27734 vsize=1580000 CPUtime=8.97 cores=0-31
/proc/27736/task/27741/stat : 27741 (claspmt) R 27734 27736 27592 0 -1 4202560 6790 0 0 0 830 67 0 0 20 0 32 0 26838601 1617920000 244954 270582939648 4194304 4964800 140733653853536 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=27736/tid=27742] ppid=27734 vsize=1580000 CPUtime=9.01 cores=0-31
/proc/27736/task/27742/stat : 27742 (claspmt) R 27734 27736 27592 0 -1 4202560 7063 0 0 0 834 67 0 0 20 0 32 0 26838601 1617920000 244954 270582939648 4194304 4964800 140733653853536 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=27736/tid=27743] ppid=27734 vsize=1580000 CPUtime=8.99 cores=0-31
/proc/27736/task/27743/stat : 27743 (claspmt) R 27734 27736 27592 0 -1 4202560 9504 0 0 0 817 82 0 0 19 0 32 0 26838601 1617920000 244954 270582939648 4194304 4964800 140733653853536 18446744073709551615 4378495 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=27736/tid=27744] ppid=27734 vsize=1580000 CPUtime=8.98 cores=0-31
/proc/27736/task/27744/stat : 27744 (claspmt) R 27734 27736 27592 0 -1 4202560 12987 0 0 0 801 97 0 0 18 0 32 0 26838601 1617920000 244954 270582939648 4194304 4964800 140733653853536 18446744073709551615 4660185 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=27736/tid=27745] ppid=27734 vsize=1580000 CPUtime=8.89 cores=0-31
/proc/27736/task/27745/stat : 27745 (claspmt) R 27734 27736 27592 0 -1 4202560 6371 0 0 0 828 61 0 0 19 0 32 0 26838601 1617920000 244954 270582939648 4194304 4964800 140733653853536 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=27736/tid=27746] ppid=27734 vsize=1580000 CPUtime=8.99 cores=0-31
/proc/27736/task/27746/stat : 27746 (claspmt) R 27734 27736 27592 0 -1 4202560 6791 0 0 0 829 70 0 0 19 0 32 0 26838601 1617920000 244954 270582939648 4194304 4964800 140733653853536 18446744073709551615 4364587 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=27736/tid=27747] ppid=27734 vsize=1580000 CPUtime=8.76 cores=0-31
/proc/27736/task/27747/stat : 27747 (claspmt) R 27734 27736 27592 0 -1 4202560 10435 0 0 0 808 68 0 0 21 0 32 0 26838601 1617920000 244954 270582939648 4194304 4964800 140733653853536 18446744073709551615 4670313 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=27736/tid=27748] ppid=27734 vsize=1580000 CPUtime=8.84 cores=0-31
/proc/27736/task/27748/stat : 27748 (claspmt) R 27734 27736 27592 0 -1 4202560 9658 0 0 0 803 81 0 0 19 0 32 0 26838601 1617920000 244954 270582939648 4194304 4964800 140733653853536 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=27736/tid=27749] ppid=27734 vsize=1580000 CPUtime=8.92 cores=0-31
/proc/27736/task/27749/stat : 27749 (claspmt) R 27734 27736 27592 0 -1 4202560 6788 0 0 0 829 63 0 0 25 0 32 0 26838601 1617920000 244954 270582939648 4194304 4964800 140733653853536 18446744073709551615 4370224 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=27736/tid=27750] ppid=27734 vsize=1580000 CPUtime=8.99 cores=0-31
/proc/27736/task/27750/stat : 27750 (claspmt) R 27734 27736 27592 0 -1 4202560 6880 0 0 0 837 62 0 0 19 0 32 0 26838601 1617920000 244954 270582939648 4194304 4964800 140733653853536 18446744073709551615 4364587 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=27736/tid=27751] ppid=27734 vsize=1580000 CPUtime=8.98 cores=0-31
/proc/27736/task/27751/stat : 27751 (claspmt) R 27734 27736 27592 0 -1 4202560 10479 0 0 0 818 80 0 0 20 0 32 0 26838601 1617920000 244954 270582939648 4194304 4964800 140733653853536 18446744073709551615 4342149 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=27736/tid=27752] ppid=27734 vsize=1580000 CPUtime=8.93 cores=0-31
/proc/27736/task/27752/stat : 27752 (claspmt) R 27734 27736 27592 0 -1 4202560 13144 0 0 0 801 92 0 0 18 0 32 0 26838601 1617920000 244954 270582939648 4194304 4964800 140733653853536 18446744073709551615 4669376 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=27736/tid=27753] ppid=27734 vsize=1580000 CPUtime=8.98 cores=0-31
/proc/27736/task/27753/stat : 27753 (claspmt) R 27734 27736 27592 0 -1 4202560 6765 0 0 0 829 69 0 0 21 0 32 0 26838601 1617920000 244954 270582939648 4194304 4964800 140733653853536 18446744073709551615 4364587 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=27736/tid=27754] ppid=27734 vsize=1580000 CPUtime=9.01 cores=0-31
/proc/27736/task/27754/stat : 27754 (claspmt) R 27734 27736 27592 0 -1 4202560 6730 0 0 0 828 73 0 0 25 0 32 0 26838601 1617920000 244955 270582939648 4194304 4964800 140733653853536 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=27736/tid=27755] ppid=27734 vsize=1580000 CPUtime=8.94 cores=0-31
/proc/27736/task/27755/stat : 27755 (claspmt) R 27734 27736 27592 0 -1 4202560 11043 0 0 0 816 78 0 0 19 0 32 0 26838601 1617920000 244955 270582939648 4194304 4964800 140733653853536 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=27736/tid=27756] ppid=27734 vsize=1580000 CPUtime=8.99 cores=0-31
/proc/27736/task/27756/stat : 27756 (claspmt) R 27734 27736 27592 0 -1 4202560 10263 0 0 0 820 79 0 0 20 0 32 0 26838601 1617920000 244955 270582939648 4194304 4964800 140733653853536 18446744073709551615 4321013 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=27736/tid=27757] ppid=27734 vsize=1580000 CPUtime=9 cores=0-31
/proc/27736/task/27757/stat : 27757 (claspmt) R 27734 27736 27592 0 -1 4202560 6803 0 0 0 828 72 0 0 25 0 32 0 26838601 1617920000 244955 270582939648 4194304 4964800 140733653853536 18446744073709551615 258650623088 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=27736/tid=27758] ppid=27734 vsize=1580000 CPUtime=8.96 cores=0-31
################
# More data... #
################
Current children cumulated vsize (KiB) 1583160
[startup+17.5018 s]
/proc/loadavg: 29.14 21.89 17.19 33/445 27770
/proc/meminfo: memFree=261379768/264257624 swapFree=67111528/67111528
[pid=27736] ppid=27734 vsize=1585052 CPUtime=443.03 cores=0-31
/proc/27736/stat : 27736 (claspmt) R 27734 27736 27592 0 -1 4202496 333096 0 0 0 41957 2346 0 0 25 0 32 0 26838250 1623093248 258580 270582939648 4194304 4964800 140733653853536 18446744073709551615 4370242 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/27736/statm: 396263 258580 463 189 0 390612 0
[pid=27736/tid=27738] ppid=27734 vsize=1585052 CPUtime=13.87 cores=0-31
/proc/27736/task/27738/stat : 27738 (claspmt) R 27734 27736 27592 0 -1 4202560 6588 0 0 0 1309 78 0 0 25 0 32 0 26838601 1623093248 258580 270582939648 4194304 4964800 140733653853536 18446744073709551615 4370229 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=27736/tid=27739] ppid=27734 vsize=1585052 CPUtime=13.81 cores=0-31
/proc/27736/task/27739/stat : 27739 (claspmt) R 27734 27736 27592 0 -1 4202560 11065 0 0 0 1298 83 0 0 25 0 32 0 26838601 1623093248 258580 270582939648 4194304 4964800 140733653853536 18446744073709551615 4670534 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=27736/tid=27740] ppid=27734 vsize=1585052 CPUtime=13.83 cores=0-31
/proc/27736/task/27740/stat : 27740 (claspmt) R 27734 27736 27592 0 -1 4202560 10479 0 0 0 1300 83 0 0 25 0 32 0 26838601 1623093248 258580 270582939648 4194304 4964800 140733653853536 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=27736/tid=27741] ppid=27734 vsize=1585052 CPUtime=13.78 cores=0-31
/proc/27736/task/27741/stat : 27741 (claspmt) R 27734 27736 27592 0 -1 4202560 6987 0 0 0 1311 67 0 0 25 0 32 0 26838601 1623093248 258580 270582939648 4194304 4964800 140733653853536 18446744073709551615 4370224 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=27736/tid=27742] ppid=27734 vsize=1585052 CPUtime=13.82 cores=0-31
/proc/27736/task/27742/stat : 27742 (claspmt) R 27734 27736 27592 0 -1 4202560 7228 0 0 0 1315 67 0 0 25 0 32 0 26838601 1623093248 258580 270582939648 4194304 4964800 140733653853536 18446744073709551615 4670310 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=27736/tid=27743] ppid=27734 vsize=1585052 CPUtime=13.8 cores=0-31
/proc/27736/task/27743/stat : 27743 (claspmt) R 27734 27736 27592 0 -1 4202560 9847 0 0 0 1297 83 0 0 25 0 32 0 26838601 1623093248 258580 270582939648 4194304 4964800 140733653853536 18446744073709551615 4668681 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=27736/tid=27744] ppid=27734 vsize=1585052 CPUtime=13.78 cores=0-31
/proc/27736/task/27744/stat : 27744 (claspmt) R 27734 27736 27592 0 -1 4202560 14511 0 0 0 1277 101 0 0 19 0 32 0 26838601 1623093248 258580 270582939648 4194304 4964800 140733653853536 18446744073709551615 4653216 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=27736/tid=27745] ppid=27734 vsize=1585052 CPUtime=13.7 cores=0-31
/proc/27736/task/27745/stat : 27745 (claspmt) R 27734 27736 27592 0 -1 4202560 6511 0 0 0 1309 61 0 0 25 0 32 0 26838601 1623093248 258580 270582939648 4194304 4964800 140733653853536 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=27736/tid=27746] ppid=27734 vsize=1585052 CPUtime=13.82 cores=0-31
/proc/27736/task/27746/stat : 27746 (claspmt) R 27734 27736 27592 0 -1 4202560 6889 0 0 0 1311 71 0 0 25 0 32 0 26838601 1623093248 258580 270582939648 4194304 4964800 140733653853536 18446744073709551615 4338788 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=27736/tid=27747] ppid=27734 vsize=1585052 CPUtime=13.48 cores=0-31
/proc/27736/task/27747/stat : 27747 (claspmt) R 27734 27736 27592 0 -1 4202560 11029 0 0 0 1279 69 0 0 19 0 32 0 26838601 1623093248 258581 270582939648 4194304 4964800 140733653853536 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=27736/tid=27748] ppid=27734 vsize=1585052 CPUtime=13.67 cores=0-31
/proc/27736/task/27748/stat : 27748 (claspmt) R 27734 27736 27592 0 -1 4202560 10038 0 0 0 1284 83 0 0 25 0 32 0 26838601 1623093248 258582 270582939648 4194304 4964800 140733653853536 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=27736/tid=27749] ppid=27734 vsize=1585052 CPUtime=13.74 cores=0-31
/proc/27736/task/27749/stat : 27749 (claspmt) R 27734 27736 27592 0 -1 4202560 6886 0 0 0 1311 63 0 0 25 0 32 0 26838601 1623093248 258582 270582939648 4194304 4964800 140733653853536 18446744073709551615 4684732 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=27736/tid=27750] ppid=27734 vsize=1585052 CPUtime=13.82 cores=0-31
/proc/27736/task/27750/stat : 27750 (claspmt) R 27734 27736 27592 0 -1 4202560 7008 0 0 0 1319 63 0 0 25 0 32 0 26838601 1623093248 258582 270582939648 4194304 4964800 140733653853536 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=27736/tid=27751] ppid=27734 vsize=1585052 CPUtime=13.8 cores=0-31
/proc/27736/task/27751/stat : 27751 (claspmt) R 27734 27736 27592 0 -1 4202560 10768 0 0 0 1299 81 0 0 25 0 32 0 26838601 1623093248 258582 270582939648 4194304 4964800 140733653853536 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=27736/tid=27752] ppid=27734 vsize=1585052 CPUtime=13.74 cores=0-31
/proc/27736/task/27752/stat : 27752 (claspmt) R 27734 27736 27592 0 -1 4202560 14477 0 0 0 1279 95 0 0 19 0 32 0 26838601 1623093248 258582 270582939648 4194304 4964800 140733653853536 18446744073709551615 4669022 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=27736/tid=27753] ppid=27734 vsize=1585052 CPUtime=13.8 cores=0-31
/proc/27736/task/27753/stat : 27753 (claspmt) R 27734 27736 27592 0 -1 4202560 6914 0 0 0 1311 69 0 0 25 0 32 0 26838601 1623093248 258582 270582939648 4194304 4964800 140733653853536 18446744073709551615 4370242 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=27736/tid=27754] ppid=27734 vsize=1585052 CPUtime=13.83 cores=0-31
/proc/27736/task/27754/stat : 27754 (claspmt) R 27734 27736 27592 0 -1 4202560 6863 0 0 0 1310 73 0 0 25 0 32 0 26838601 1623093248 258582 270582939648 4194304 4964800 140733653853536 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=27736/tid=27755] ppid=27734 vsize=1585052 CPUtime=13.76 cores=0-31
/proc/27736/task/27755/stat : 27755 (claspmt) R 27734 27736 27592 0 -1 4202560 11611 0 0 0 1297 79 0 0 25 0 32 0 26838601 1623093248 258582 270582939648 4194304 4964800 140733653853536 18446744073709551615 4670340 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=27736/tid=27756] ppid=27734 vsize=1585052 CPUtime=13.81 cores=0-31
/proc/27736/task/27756/stat : 27756 (claspmt) R 27734 27736 27592 0 -1 4202560 10542 0 0 0 1301 80 0 0 25 0 32 0 26838601 1623093248 258582 270582939648 4194304 4964800 140733653853536 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=27736/tid=27757] ppid=27734 vsize=1585052 CPUtime=13.81 cores=0-31
/proc/27736/task/27757/stat : 27757 (claspmt) R 27734 27736 27592 0 -1 4202560 6998 0 0 0 1309 72 0 0 25 0 32 0 26838601 1623093248 258582 270582939648 4194304 4964800 140733653853536 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=27736/tid=27758] ppid=27734 vsize=1585052 CPUtime=13.76 cores=0-31
/proc/27736/task/27758/stat : 27758 (claspmt) R 27734 27736 27592 0 -1 4202560 7503 0 0 0 1309 67 0 0 25 0 32 0 26838601 1623093248 258582 270582939648 4194304 4964800 140733653853536 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=27736/tid=27759] ppid=27734 vsize=1585052 CPUtime=13.78 cores=0-31
/proc/27736/task/27759/stat : 27759 (claspmt) R 27734 27736 27592 0 -1 4202560 10384 0 0 0 1298 80 0 0 25 0 32 0 26838601 1623093248 258582 270582939648 4194304 4964800 140733653853536 18446744073709551615 4361199 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=27736/tid=27760] ppid=27734 vsize=1585052 CPUtime=13.55 cores=0-31
/proc/27736/task/27760/stat : 27760 (claspmt) R 27734 27736 27592 0 -1 4202560 16644 0 0 0 1265 90 0 0 19 0 32 0 26838601 1623093248 258582 270582939648 4194304 4964800 140733653853536 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=27736/tid=27761] ppid=27734 vsize=1585052 CPUtime=13.86 cores=0-31
/proc/27736/task/27761/stat : 27761 (claspmt) R 27734 27736 27592 0 -1 4202560 6354 0 0 0 1311 75 0 0 25 0 32 0 26838601 1623093248 258583 270582939648 4194304 4964800 140733653853536 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=27736/tid=27762] ppid=27734 vsize=1585052 CPUtime=13.77 cores=0-31
/proc/27736/task/27762/stat : 27762 (claspmt) R 27734 27736 27592 0 -1 4202560 6825 0 0 0 1310 67 0 0 18 0 32 0 26838601 1623093248 258583 270582939648 4194304 4964800 140733653853536 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=27736/tid=27763] ppid=27734 vsize=1585052 CPUtime=13.59 cores=0-31
/proc/27736/task/27763/stat : 27763 (claspmt) R 27734 27736 27592 0 -1 4202560 11469 0 0 0 1296 63 0 0 25 0 32 0 26838601 1623093248 258583 270582939648 4194304 4964800 140733653853536 18446744073709551615 4668721 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=27736/tid=27764] ppid=27734 vsize=1585052 CPUtime=13.74 cores=0-31
/proc/27736/task/27764/stat : 27764 (claspmt) R 27734 27736 27592 0 -1 4202560 10684 0 0 0 1298 76 0 0 25 0 32 0 26838601 1623093248 258583 270582939648 4194304 4964800 140733653853536 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=27736/tid=27765] ppid=27734 vsize=1585052 CPUtime=13.72 cores=0-31
/proc/27736/task/27765/stat : 27765 (claspmt) R 27734 27736 27592 0 -1 4202560 6992 0 0 0 1310 62 0 0 25 0 32 0 26838602 1623093248 258583 270582939648 4194304 4964800 140733653853536 18446744073709551615 4370224 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=27736/tid=27766] ppid=27734 vsize=1585052 CPUtime=13.74 cores=0-31
/proc/27736/task/27766/stat : 27766 (claspmt) R 27734 27736 27592 0 -1 4202560 7282 0 0 0 1308 66 0 0 19 0 32 0 26838602 1623093248 258583 270582939648 4194304 4964800 140733653853536 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=27736/tid=27767] ppid=27734 vsize=1585052 CPUtime=13.55 cores=0-31
/proc/27736/task/27767/stat : 27767 (claspmt) R 27734 27736 27592 0 -1 4202560 10702 0 0 0 1297 58 0 0 25 0 32 0 26838602 1623093248 258583 270582939648 4194304 4964800 140733653853536 18446744073709551615 4670330 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=27736/tid=27768] ppid=27734 vsize=1585052 CPUtime=13.68 cores=0-31
/proc/27736/task/27768/stat : 27768 (claspmt) R 27734 27736 27592 0 -1 4202560 15305 0 0 0 1272 96 0 0 19 0 32 0 26838602 1623093248 258583 270582939648 4194304 4964800 140733653853536 18446744073709551615 258650623218 0 0 4096 18946 0 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 443.03
Current children cumulated vsize (KiB) 1585052
[startup+18.3018 s]
/proc/loadavg: 29.14 21.89 17.19 33/445 27770
/proc/meminfo: memFree=261379768/264257624 swapFree=67111528/67111528
[pid=27736] ppid=27734 vsize=1585712 CPUtime=467.93 cores=0-31
/proc/27736/stat : 27736 (claspmt) R 27734 27736 27592 0 -1 4202496 337406 0 0 0 44434 2359 0 0 25 0 32 0 26838250 1623769088 262890 270582939648 4194304 4964800 140733653853536 18446744073709551615 4370264 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/27736/statm: 396428 262890 463 189 0 390777 0
[pid=27736/tid=27738] ppid=27734 vsize=1585712 CPUtime=14.65 cores=0-31
/proc/27736/task/27738/stat : 27738 (claspmt) R 27734 27736 27592 0 -1 4202560 6601 0 0 0 1387 78 0 0 25 0 32 0 26838601 1623769088 262892 270582939648 4194304 4964800 140733653853536 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=27736/tid=27739] ppid=27734 vsize=1585712 CPUtime=14.59 cores=0-31
/proc/27736/task/27739/stat : 27739 (claspmt) R 27734 27736 27592 0 -1 4202560 11156 0 0 0 1375 84 0 0 25 0 32 0 26838601 1623769088 262892 270582939648 4194304 4964800 140733653853536 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=27736/tid=27740] ppid=27734 vsize=1585712 CPUtime=14.61 cores=0-31
/proc/27736/task/27740/stat : 27740 (claspmt) R 27734 27736 27592 0 -1 4202560 10724 0 0 0 1377 84 0 0 18 0 32 0 26838601 1623769088 262892 270582939648 4194304 4964800 140733653853536 18446744073709551615 4650620 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=27736/tid=27741] ppid=27734 vsize=1585712 CPUtime=14.56 cores=0-31
/proc/27736/task/27741/stat : 27741 (claspmt) R 27734 27736 27592 0 -1 4202560 7003 0 0 0 1389 67 0 0 25 0 32 0 26838601 1623769088 262892 270582939648 4194304 4964800 140733653853536 18446744073709551615 4670407 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=27736/tid=27742] ppid=27734 vsize=1585712 CPUtime=14.61 cores=0-31
/proc/27736/task/27742/stat : 27742 (claspmt) R 27734 27736 27592 0 -1 4202560 7272 0 0 0 1393 68 0 0 25 0 32 0 26838601 1623769088 262892 270582939648 4194304 4964800 140733653853536 18446744073709551615 258650652667 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=27736/tid=27743] ppid=27734 vsize=1585712 CPUtime=14.59 cores=0-31
/proc/27736/task/27743/stat : 27743 (claspmt) R 27734 27736 27592 0 -1 4202560 10123 0 0 0 1375 84 0 0 25 0 32 0 26838601 1623769088 262892 270582939648 4194304 4964800 140733653853536 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=27736/tid=27744] ppid=27734 vsize=1585712 CPUtime=14.56 cores=0-31
/proc/27736/task/27744/stat : 27744 (claspmt) R 27734 27736 27592 0 -1 4202560 15111 0 0 0 1353 103 0 0 20 0 32 0 26838601 1623769088 262892 270582939648 4194304 4964800 140733653853536 18446744073709551615 4660444 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=27736/tid=27745] ppid=27734 vsize=1585712 CPUtime=14.48 cores=0-31
/proc/27736/task/27745/stat : 27745 (claspmt) R 27734 27736 27592 0 -1 4202560 6569 0 0 0 1387 61 0 0 25 0 32 0 26838601 1623769088 262892 270582939648 4194304 4964800 140733653853536 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=27736/tid=27746] ppid=27734 vsize=1585712 CPUtime=14.59 cores=0-31
/proc/27736/task/27746/stat : 27746 (claspmt) R 27734 27736 27592 0 -1 4202560 6930 0 0 0 1388 71 0 0 18 0 32 0 26838601 1623769088 262892 270582939648 4194304 4964800 140733653853536 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=27736/tid=27747] ppid=27734 vsize=1585712 CPUtime=14.26 cores=0-31
/proc/27736/task/27747/stat : 27747 (claspmt) R 27734 27736 27592 0 -1 4202560 11381 0 0 0 1356 70 0 0 18 0 32 0 26838601 1623769088 262892 270582939648 4194304 4964800 140733653853536 18446744073709551615 4361072 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=27736/tid=27748] ppid=27734 vsize=1585712 CPUtime=14.44 cores=0-31
/proc/27736/task/27748/stat : 27748 (claspmt) R 27734 27736 27592 0 -1 4202560 10136 0 0 0 1361 83 0 0 25 0 32 0 26838601 1623769088 262892 270582939648 4194304 4964800 140733653853536 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=27736/tid=27749] ppid=27734 vsize=1585712 CPUtime=14.51 cores=0-31
/proc/27736/task/27749/stat : 27749 (claspmt) R 27734 27736 27592 0 -1 4202560 6921 0 0 0 1388 63 0 0 18 0 32 0 26838601 1623769088 262892 270582939648 4194304 4964800 140733653853536 18446744073709551615 4650926 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=27736/tid=27750] ppid=27734 vsize=1585712 CPUtime=14.59 cores=0-31
/proc/27736/task/27750/stat : 27750 (claspmt) R 27734 27736 27592 0 -1 4202560 7088 0 0 0 1396 63 0 0 18 0 32 0 26838601 1623769088 262892 270582939648 4194304 4964800 140733653853536 18446744073709551615 4321054 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=27736/tid=27751] ppid=27734 vsize=1585712 CPUtime=14.57 cores=0-31
/proc/27736/task/27751/stat : 27751 (claspmt) R 27734 27736 27592 0 -1 4202560 10841 0 0 0 1376 81 0 0 25 0 32 0 26838601 1623769088 262892 270582939648 4194304 4964800 140733653853536 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=27736/tid=27752] ppid=27734 vsize=1585712 CPUtime=14.52 cores=0-31
/proc/27736/task/27752/stat : 27752 (claspmt) R 27734 27736 27592 0 -1 4202560 14982 0 0 0 1355 97 0 0 18 0 32 0 26838601 1623769088 262892 270582939648 4194304 4964800 140733653853536 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=27736/tid=27753] ppid=27734 vsize=1585712 CPUtime=14.58 cores=0-31
/proc/27736/task/27753/stat : 27753 (claspmt) R 27734 27736 27592 0 -1 4202560 6930 0 0 0 1389 69 0 0 25 0 32 0 26838601 1623769088 262892 270582939648 4194304 4964800 140733653853536 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=27736/tid=27754] ppid=27734 vsize=1585712 CPUtime=14.6 cores=0-31
/proc/27736/task/27754/stat : 27754 (claspmt) R 27734 27736 27592 0 -1 4202560 6869 0 0 0 1387 73 0 0 25 0 32 0 26838601 1623769088 262892 270582939648 4194304 4964800 140733653853536 18446744073709551615 4364587 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=27736/tid=27755] ppid=27734 vsize=1585712 CPUtime=14.53 cores=0-31
/proc/27736/task/27755/stat : 27755 (claspmt) R 27734 27736 27592 0 -1 4202560 11721 0 0 0 1374 79 0 0 25 0 32 0 26838601 1623769088 262892 270582939648 4194304 4964800 140733653853536 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=27736/tid=27756] ppid=27734 vsize=1585712 CPUtime=14.6 cores=0-31
/proc/27736/task/27756/stat : 27756 (claspmt) R 27734 27736 27592 0 -1 4202560 10666 0 0 0 1379 81 0 0 18 0 32 0 26838601 1623769088 262892 270582939648 4194304 4964800 140733653853536 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=27736/tid=27757] ppid=27734 vsize=1585712 CPUtime=14.6 cores=0-31
/proc/27736/task/27757/stat : 27757 (claspmt) R 27734 27736 27592 0 -1 4202560 7016 0 0 0 1387 73 0 0 25 0 32 0 26838601 1623769088 262892 270582939648 4194304 4964800 140733653853536 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=27736/tid=27758] ppid=27734 vsize=1585712 CPUtime=14.54 cores=0-31
/proc/27736/task/27758/stat : 27758 (claspmt) R 27734 27736 27592 0 -1 4202560 7555 0 0 0 1387 67 0 0 25 0 32 0 26838601 1623769088 262892 270582939648 4194304 4964800 140733653853536 18446744073709551615 4370236 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=27736/tid=27759] ppid=27734 vsize=1585712 CPUtime=14.55 cores=0-31
/proc/27736/task/27759/stat : 27759 (claspmt) R 27734 27736 27592 0 -1 4202560 10465 0 0 0 1375 80 0 0 25 0 32 0 26838601 1623769088 262892 270582939648 4194304 4964800 140733653853536 18446744073709551615 4670273 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=27736/tid=27760] ppid=27734 vsize=1585712 CPUtime=14.32 cores=0-31
/proc/27736/task/27760/stat : 27760 (claspmt) R 27734 27736 27592 0 -1 4202560 17115 0 0 0 1340 92 0 0 18 0 32 0 26838601 1623769088 262892 270582939648 4194304 4964800 140733653853536 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=27736/tid=27761] ppid=27734 vsize=1585712 CPUtime=14.63 cores=0-31
/proc/27736/task/27761/stat : 27761 (claspmt) R 27734 27736 27592 0 -1 4202560 6375 0 0 0 1388 75 0 0 25 0 32 0 26838601 1623769088 262892 270582939648 4194304 4964800 140733653853536 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=27736/tid=27762] ppid=27734 vsize=1585712 CPUtime=14.55 cores=0-31
/proc/27736/task/27762/stat : 27762 (claspmt) R 27734 27736 27592 0 -1 4202560 6839 0 0 0 1388 67 0 0 19 0 32 0 26838601 1623769088 262892 270582939648 4194304 4964800 140733653853536 18446744073709551615 4653316 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=27736/tid=27763] ppid=27734 vsize=1585712 CPUtime=14.36 cores=0-31
/proc/27736/task/27763/stat : 27763 (claspmt) R 27734 27736 27592 0 -1 4202560 11554 0 0 0 1373 63 0 0 25 0 32 0 26838601 1623769088 262892 270582939648 4194304 4964800 140733653853536 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=27736/tid=27764] ppid=27734 vsize=1585712 CPUtime=14.51 cores=0-31
/proc/27736/task/27764/stat : 27764 (claspmt) R 27734 27736 27592 0 -1 4202560 10819 0 0 0 1375 76 0 0 25 0 32 0 26838601 1623769088 262892 270582939648 4194304 4964800 140733653853536 18446744073709551615 4342157 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=27736/tid=27765] ppid=27734 vsize=1585712 CPUtime=14.5 cores=0-31
/proc/27736/task/27765/stat : 27765 (claspmt) R 27734 27736 27592 0 -1 4202560 7007 0 0 0 1388 62 0 0 25 0 32 0 26838602 1623769088 262892 270582939648 4194304 4964800 140733653853536 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=27736/tid=27766] ppid=27734 vsize=1585712 CPUtime=14.52 cores=0-31
/proc/27736/task/27766/stat : 27766 (claspmt) R 27734 27736 27592 0 -1 4202560 7335 0 0 0 1386 66 0 0 20 0 32 0 26838602 1623769088 262893 270582939648 4194304 4964800 140733653853536 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=27736/tid=27767] ppid=27734 vsize=1585712 CPUtime=14.33 cores=0-31
/proc/27736/task/27767/stat : 27767 (claspmt) R 27734 27736 27592 0 -1 4202560 10738 0 0 0 1375 58 0 0 25 0 32 0 26838602 1623769088 262893 270582939648 4194304 4964800 140733653853536 18446744073709551615 4669022 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=27736/tid=27768] ppid=27734 vsize=1585712 CPUtime=14.46 cores=0-31
/proc/27736/task/27768/stat : 27768 (claspmt) R 27734 27736 27592 0 -1 4202560 15834 0 0 0 1348 98 0 0 18 0 32 0 26838602 1623769088 262893 270582939648 4194304 4964800 140733653853536 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 467.93
Current children cumulated vsize (KiB) 1585712
[startup+19.101 s]
/proc/loadavg: 29.14 21.89 17.19 33/445 27770
/proc/meminfo: memFree=261356828/264257624 swapFree=67111528/67111528
[pid=27736] ppid=27734 vsize=1426804 CPUtime=480.54 cores=0-31
/proc/27736/stat : 27736 (claspmt) R 27734 27736 27592 0 -1 4202496 338804 0 0 0 45466 2588 0 0 17 0 1 0 26838250 1461047296 246927 270582939648 4194304 4964800 140733653853536 18446744073709551615 258650612315 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27736/statm: 356701 246927 474 189 0 351050 0
Current children cumulated CPU time (s) 480.54
Current children cumulated vsize (KiB) 1426804
[startup+19.5011 s]
/proc/loadavg: 29.14 21.89 17.19 33/445 27770
/proc/meminfo: memFree=261356828/264257624 swapFree=67111528/67111528
[pid=27736] ppid=27734 vsize=1146664 CPUtime=480.94 cores=0-31
/proc/27736/stat : 27736 (claspmt) R 27734 27736 27592 0 -1 4202496 338804 0 0 0 45503 2591 0 0 17 0 1 0 26838250 1174183936 176620 270582939648 4194304 4964800 140733653853536 18446744073709551615 258650612305 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27736/statm: 286666 176620 474 189 0 281015 0
Current children cumulated CPU time (s) 480.94
Current children cumulated vsize (KiB) 1146664
[startup+19.6011 s]
/proc/loadavg: 29.14 21.89 17.19 33/445 27770
/proc/meminfo: memFree=261356828/264257624 swapFree=67111528/67111528
[pid=27736] ppid=27734 vsize=1085764 CPUtime=481.04 cores=0-31
/proc/27736/stat : 27736 (claspmt) R 27734 27736 27592 0 -1 4202496 338804 0 0 0 45511 2593 0 0 17 0 1 0 26838250 1111822336 126856 270582939648 4194304 4964800 140733653853536 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27736/statm: 271441 126524 474 189 0 265790 0
Current children cumulated CPU time (s) 481.04
Current children cumulated vsize (KiB) 1085764
Child status: 20
Real time (s): 19.6422
CPU time (s): 481.092
CPU user time (s): 455.12
CPU system time (s): 25.9721
CPU usage (%): 2449.28
Max. virtual memory (cumulated for all children) (KiB): 1586272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 455.12
system time used= 25.9721
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 338805
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= 90991
involuntary context switches= 857
runsolver used 0.136979 second user time and 0.495924 second system time
The end
Begin job on node200 at 2011-06-09 12:15:14
IDJOB=3472402
IDBENCH=82435
IDSOLVER=1961
FILE ID=node200/3472402-1307614513
RUNJOBID= node200-1307614385-27606
PBS_JOBID= 13547731
Free space on /tmp= 61732 MiB
SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.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-3472402-1307614513/watcher-3472402-1307614513 -o /tmp/evaluation-result-3472402-1307614513/solver-3472402-1307614513 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472402-1307614513.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 256000 MiB
NBCORE= 32
MD5SUM BENCH= ceca868d07951273fdc2de08c57f2b6a
RANDOM SEED=652375959
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: 262412352 kB
Buffers: 219388 kB
Cached: 1343176 kB
SwapCached: 0 kB
Active: 248304 kB
Inactive: 1377692 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 262412352 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 12340 kB
Writeback: 0 kB
AnonPages: 64452 kB
Mapped: 14484 kB
Slab: 144040 kB
PageTables: 4572 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 159568 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= 61732 MiB
End job on node200 at 2011-06-09 12:15:33