0.00/0.01 c clasp version 2.0.0-RC2
0.00/0.01 c Reading from ...835290/instance-3472549-1307835290.cnf
4.59/4.63 c Solving...
40091.05/2126.11 s UNSATISFIABLE
40091.05/2126.11
40091.05/2126.11 c Models : 0
40091.05/2126.11 c Time : 2118.131s (Solving: 2113.51s 1st Model: 0.00s Unsat: 2113.51s)
40091.05/2126.11 c CPU Time : 40083.090s
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3472549-1307835290/watcher-3472549-1307835290 -o /tmp/evaluation-result-3472549-1307835290/solver-3472549-1307835290 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472549-1307835290.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: 22.16 28.65 29.88 1/413 14586
/proc/meminfo: memFree=261647692/264257624 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=103644 CPUtime=0.02 cores=0-31
/proc/14586/stat : 14586 (claspmt) R 14584 14586 14067 0 -1 4202496 1556 0 0 0 2 0 0 0 20 0 1 0 48916797 106131456 1485 270582939648 4194304 4964800 140737432710640 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 29 0 0 0
/proc/14586/statm: 25911 1489 373 189 0 20785 0
[startup+0.0412631 s]
/proc/loadavg: 22.16 28.65 29.88 1/413 14586
/proc/meminfo: memFree=261647692/264257624 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=103644 CPUtime=0.03 cores=0-31
/proc/14586/stat : 14586 (claspmt) R 14584 14586 14067 0 -1 4202496 2132 0 0 0 3 0 0 0 20 0 1 0 48916797 106131456 2061 270582939648 4194304 4964800 140737432710640 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 29 0 0 0
/proc/14586/statm: 25911 2067 373 189 0 20785 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 103644
[startup+0.101264 s]
/proc/loadavg: 22.16 28.65 29.88 1/413 14586
/proc/meminfo: memFree=261647692/264257624 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=103644 CPUtime=0.09 cores=0-31
/proc/14586/stat : 14586 (claspmt) R 14584 14586 14067 0 -1 4202496 6685 0 0 0 7 2 0 0 20 0 1 0 48916797 106131456 6614 270582939648 4194304 4964800 140737432710640 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 29 0 0 0
/proc/14586/statm: 25911 6618 373 189 0 20785 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 103644
[startup+0.301273 s]
/proc/loadavg: 22.16 28.65 29.88 1/413 14586
/proc/meminfo: memFree=261647692/264257624 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=141848 CPUtime=0.29 cores=0-31
/proc/14586/stat : 14586 (claspmt) R 14584 14586 14067 0 -1 4202496 23162 0 0 0 23 6 0 0 21 0 1 0 48916797 145252352 23074 270582939648 4194304 4964800 140737432710640 18446744073709551615 4679094 0 0 4096 18946 0 0 0 17 29 0 0 0
/proc/14586/statm: 35462 23080 375 189 0 30336 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 141848
[startup+0.701288 s]
/proc/loadavg: 22.16 28.65 29.88 1/413 14586
/proc/meminfo: memFree=261647692/264257624 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=159004 CPUtime=0.69 cores=0-31
/proc/14586/stat : 14586 (claspmt) R 14584 14586 14067 0 -1 4202496 39553 0 0 0 58 11 0 0 22 0 1 0 48916797 162820096 34356 270582939648 4194304 4964800 140737432710640 18446744073709551615 258650955760 0 0 4096 18946 0 0 0 17 29 0 0 0
/proc/14586/statm: 39751 34359 385 189 0 34625 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 159004
[startup+1.5003 s]
/proc/loadavg: 22.16 28.65 29.88 2/414 14587
/proc/meminfo: memFree=261497404/264257624 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=196092 CPUtime=1.48 cores=0-31
/proc/14586/stat : 14586 (claspmt) R 14584 14586 14067 0 -1 4202496 49146 0 0 0 132 16 0 0 25 0 1 0 48916797 200798208 43545 270582939648 4194304 4964800 140737432710640 18446744073709551615 258650955760 0 0 4096 18946 0 0 0 17 29 0 0 0
/proc/14586/statm: 49023 43545 385 189 0 43897 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 196092
[startup+3.10037 s]
/proc/loadavg: 22.16 28.65 29.88 2/414 14587
/proc/meminfo: memFree=261449964/264257624 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=260488 CPUtime=3.09 cores=0-31
/proc/14586/stat : 14586 (claspmt) R 14584 14586 14067 0 -1 4202496 65758 0 0 0 281 28 0 0 25 0 1 0 48916797 266739712 59530 270582939648 4194304 4964800 140737432710640 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 29 0 0 0
/proc/14586/statm: 65122 59530 385 189 0 59996 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 260488
[startup+6.30137 s]
/proc/loadavg: 20.46 28.20 29.72 33/445 14618
/proc/meminfo: memFree=260828340/264257624 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=1764748 CPUtime=53.96 cores=0-31
/proc/14586/stat : 14586 (claspmt) S 14584 14586 14067 0 -1 4202496 442483 0 0 0 547 4849 0 0 18 0 32 0 48916797 1807101952 308014 270582939648 4194304 4964800 140737432710640 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 27 0 0 0
/proc/14586/statm: 441187 308014 426 189 0 435536 0
[pid=14586/tid=14588] ppid=14584 vsize=1764748 CPUtime=1.59 cores=0-31
/proc/14586/task/14588/stat : 14588 (claspmt) R 14584 14586 14067 0 -1 4202560 11251 0 0 0 3 156 0 0 18 0 32 0 48917261 1807101952 308014 270582939648 4194304 4964800 140737432710640 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=14586/tid=14589] ppid=14584 vsize=1764748 CPUtime=1.58 cores=0-31
/proc/14586/task/14589/stat : 14589 (claspmt) R 14584 14586 14067 0 -1 4202560 13647 0 0 0 4 154 0 0 19 0 32 0 48917261 1807101952 308014 270582939648 4194304 4964800 140737432710640 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=14586/tid=14590] ppid=14584 vsize=1764748 CPUtime=1.6 cores=0-31
/proc/14586/task/14590/stat : 14590 (claspmt) D 14584 14586 14067 0 -1 4202560 3571 0 0 0 1 159 0 0 19 0 32 0 48917261 1807101952 308014 270582939648 4194304 4964800 140737432710640 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14586/tid=14591] ppid=14584 vsize=1764748 CPUtime=1.59 cores=0-31
/proc/14586/task/14591/stat : 14591 (claspmt) D 14584 14586 14067 0 -1 4202560 13136 0 0 0 4 155 0 0 18 0 32 0 48917261 1807101952 308014 270582939648 4194304 4964800 140737432710640 18446744073709551615 4679091 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=14586/tid=14592] ppid=14584 vsize=1764748 CPUtime=1.6 cores=0-31
/proc/14586/task/14592/stat : 14592 (claspmt) R 14584 14586 14067 0 -1 4202560 4423 0 0 0 2 158 0 0 18 0 32 0 48917261 1807101952 308014 270582939648 4194304 4964800 140737432710640 18446744073709551615 4679094 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=14586/tid=14593] ppid=14584 vsize=1764748 CPUtime=1.58 cores=0-31
/proc/14586/task/14593/stat : 14593 (claspmt) D 14584 14586 14067 0 -1 4202560 11141 0 0 0 2 156 0 0 18 0 32 0 48917261 1807101952 308014 270582939648 4194304 4964800 140737432710640 18446744073709551615 4679091 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=14586/tid=14594] ppid=14584 vsize=1764748 CPUtime=1.6 cores=0-31
/proc/14586/task/14594/stat : 14594 (claspmt) D 14584 14586 14067 0 -1 4202560 10998 0 0 0 4 156 0 0 18 0 32 0 48917261 1807101952 308014 270582939648 4194304 4964800 140737432710640 18446744073709551615 4679151 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=14586/tid=14595] ppid=14584 vsize=1764748 CPUtime=1.59 cores=0-31
/proc/14586/task/14595/stat : 14595 (claspmt) D 14584 14586 14067 0 -1 4202560 12937 0 0 0 5 154 0 0 19 0 32 0 48917261 1807101952 308014 270582939648 4194304 4964800 140737432710640 18446744073709551615 4679091 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=14586/tid=14596] ppid=14584 vsize=1764748 CPUtime=1.58 cores=0-31
/proc/14586/task/14596/stat : 14596 (claspmt) D 14584 14586 14067 0 -1 4202560 13885 0 0 0 5 153 0 0 19 0 32 0 48917261 1807101952 308014 270582939648 4194304 4964800 140737432710640 18446744073709551615 4679151 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=14586/tid=14597] ppid=14584 vsize=1764748 CPUtime=1.6 cores=0-31
/proc/14586/task/14597/stat : 14597 (claspmt) D 14584 14586 14067 0 -1 4202560 10307 0 0 0 7 153 0 0 18 0 32 0 48917261 1807101952 308024 270582939648 4194304 4964800 140737432710640 18446744073709551615 4679091 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=14586/tid=14598] ppid=14584 vsize=1764748 CPUtime=1.59 cores=0-31
/proc/14586/task/14598/stat : 14598 (claspmt) R 14584 14586 14067 0 -1 4202560 6404 0 0 0 2 157 0 0 18 0 32 0 48917261 1807101952 308034 270582939648 4194304 4964800 140737432710640 18446744073709551615 4679151 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=14586/tid=14599] ppid=14584 vsize=1764748 CPUtime=1.59 cores=0-31
/proc/14586/task/14599/stat : 14599 (claspmt) R 14584 14586 14067 0 -1 4202560 12500 0 0 0 3 156 0 0 18 0 32 0 48917261 1807101952 308043 270582939648 4194304 4964800 140737432710640 18446744073709551615 4679091 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=14586/tid=14600] ppid=14584 vsize=1764748 CPUtime=1.58 cores=0-31
/proc/14586/task/14600/stat : 14600 (claspmt) R 14584 14586 14067 0 -1 4202560 11166 0 0 0 1 157 0 0 18 0 32 0 48917261 1807101952 308055 270582939648 4194304 4964800 140737432710640 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=14586/tid=14601] ppid=14584 vsize=1764748 CPUtime=1.57 cores=0-31
/proc/14586/task/14601/stat : 14601 (claspmt) R 14584 14586 14067 0 -1 4202560 7787 0 0 0 2 155 0 0 18 0 32 0 48917261 1807101952 308057 270582939648 4194304 4964800 140737432710640 18446744073709551615 4679094 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=14586/tid=14602] ppid=14584 vsize=1764748 CPUtime=1.58 cores=0-31
/proc/14586/task/14602/stat : 14602 (claspmt) R 14584 14586 14067 0 -1 4202560 11041 0 0 0 2 156 0 0 18 0 32 0 48917261 1807101952 308057 270582939648 4194304 4964800 140737432710640 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=14586/tid=14603] ppid=14584 vsize=1764748 CPUtime=1.59 cores=0-31
/proc/14586/task/14603/stat : 14603 (claspmt) R 14584 14586 14067 0 -1 4202560 13240 0 0 0 6 153 0 0 19 0 32 0 48917261 1807101952 308057 270582939648 4194304 4964800 140737432710640 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14586/tid=14604] ppid=14584 vsize=1764748 CPUtime=1.58 cores=0-31
/proc/14586/task/14604/stat : 14604 (claspmt) R 14584 14586 14067 0 -1 4202560 13547 0 0 0 5 153 0 0 19 0 32 0 48917261 1807101952 308057 270582939648 4194304 4964800 140737432710640 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=14586/tid=14605] ppid=14584 vsize=1764748 CPUtime=1.6 cores=0-31
/proc/14586/task/14605/stat : 14605 (claspmt) D 14584 14586 14067 0 -1 4202560 9315 0 0 0 3 157 0 0 18 0 32 0 48917261 1807101952 308057 270582939648 4194304 4964800 140737432710640 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14586/tid=14606] ppid=14584 vsize=1764748 CPUtime=1.58 cores=0-31
/proc/14586/task/14606/stat : 14606 (claspmt) R 14584 14586 14067 0 -1 4202560 11229 0 0 0 2 156 0 0 18 0 32 0 48917261 1807101952 308057 270582939648 4194304 4964800 140737432710640 18446744073709551615 4679094 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=14586/tid=14607] ppid=14584 vsize=1764748 CPUtime=1.59 cores=0-31
/proc/14586/task/14607/stat : 14607 (claspmt) D 14584 14586 14067 0 -1 4202560 10199 0 0 0 2 157 0 0 19 0 32 0 48917261 1807101952 308057 270582939648 4194304 4964800 140737432710640 18446744073709551615 4679151 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=14586/tid=14608] ppid=14584 vsize=1764748 CPUtime=1.59 cores=0-31
/proc/14586/task/14608/stat : 14608 (claspmt) R 14584 14586 14067 0 -1 4202560 10892 0 0 0 2 157 0 0 23 0 32 0 48917261 1807101952 308057 270582939648 4194304 4964800 140737432710640 18446744073709551615 4679094 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=14586/tid=14609] ppid=14584 vsize=1764748 CPUtime=1.59 cores=0-31
/proc/14586/task/14609/stat : 14609 (claspmt) D 14584 14586 14067 0 -1 4202560 10178 0 0 0 2 157 0 0 18 0 32 0 48917261 1807101952 308057 270582939648 4194304 4964800 140737432710640 18446744073709551615 4679151 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=14586/tid=14610] ppid=14584 vsize=1764748 CPUtime=1.58 cores=0-31
/proc/14586/task/14610/stat : 14610 (claspmt) D 14584 14586 14067 0 -1 4202560 11622 0 0 0 2 156 0 0 19 0 32 0 48917261 1807101952 308057 270582939648 4194304 4964800 140737432710640 18446744073709551615 4679091 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=14586/tid=14611] ppid=14584 vsize=1764748 CPUtime=1.59 cores=0-31
/proc/14586/task/14611/stat : 14611 (claspmt) D 14584 14586 14067 0 -1 4202560 12924 0 0 0 5 154 0 0 18 0 32 0 48917261 1807101952 308057 270582939648 4194304 4964800 140737432710640 18446744073709551615 4679151 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=14586/tid=14612] ppid=14584 vsize=1764748 CPUtime=1.57 cores=0-31
/proc/14586/task/14612/stat : 14612 (claspmt) R 14584 14586 14067 0 -1 4202560 16241 0 0 0 10 147 0 0 19 0 32 0 48917261 1807101952 308057 270582939648 4194304 4964800 140737432710640 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=14586/tid=14613] ppid=14584 vsize=1764748 CPUtime=1.51 cores=0-31
/proc/14586/task/14613/stat : 14613 (claspmt) D 14584 14586 14067 0 -1 4202560 12353 0 0 0 4 147 0 0 23 0 32 0 48917261 1807101952 308062 270582939648 4194304 4964800 140737432710640 18446744073709551615 4679151 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=14586/tid=14614] ppid=14584 vsize=1764748 CPUtime=1.57 cores=0-31
/proc/14586/task/14614/stat : 14614 (claspmt) R 14584 14586 14067 0 -1 4202560 13844 0 0 0 5 152 0 0 19 0 32 0 48917263 1807101952 308075 270582939648 4194304 4964800 140737432710640 18446744073709551615 4679091 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=14586/tid=14615] ppid=14584 vsize=1764748 CPUtime=1.57 cores=0-31
/proc/14586/task/14615/stat : 14615 (claspmt) R 14584 14586 14067 0 -1 4202560 12285 0 0 0 3 154 0 0 18 0 32 0 48917263 1807101952 308102 270582939648 4194304 4964800 140737432710640 18446744073709551615 4679091 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=14586/tid=14616] ppid=14584 vsize=1764748 CPUtime=1.56 cores=0-31
/proc/14586/task/14616/stat : 14616 (claspmt) R 14584 14586 14067 0 -1 4202560 11251 0 0 0 3 153 0 0 18 0 32 0 48917263 1807101952 308106 270582939648 4194304 4964800 140737432710640 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=14586/tid=14617] ppid=14584 vsize=1764748 CPUtime=1.57 cores=0-31
/proc/14586/task/14617/stat : 14617 (claspmt) R 14584 14586 14067 0 -1 4202560 12856 0 0 0 3 154 0 0 19 0 32 0 48917263 1807101952 308106 270582939648 4194304 4964800 140737432710640 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=14586/tid=14618] ppid=14584 vsize=1764748 CPUtime=1.52 cores=0-31
/proc/14586/task/14618/stat : 14618 (claspmt) R 14584 14586 14067 0 -1 4202560 11765 0 0 0 4 148 0 0 19 0 32 0 48917264 1807101952 308106 270582939648 4194304 4964800 140737432710640 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 53.96
Current children cumulated vsize (KiB) 1764748
[startup+12.7026 s]
/proc/loadavg: 20.58 28.09 29.68 2/445 14618
/proc/meminfo: memFree=258856192/264257624 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=3778916 CPUtime=92.2 cores=0-31
/proc/14586/stat : 14586 (claspmt) S 14584 14586 14067 0 -1 4202496 923635 0 0 0 1543 7677 0 0 18 0 32 0 48916797 3869609984 746047 270582939648 4194304 4964800 140737432710640 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 27 0 0 0
/proc/14586/statm: 944729 746055 430 189 0 939078 0
[pid=14586/tid=14588] ppid=14584 vsize=3778916 CPUtime=2.75 cores=0-31
/proc/14586/task/14588/stat : 14588 (claspmt) S 14584 14586 14067 0 -1 4202560 25653 0 0 0 30 245 0 0 16 0 32 0 48917261 3869609984 746062 270582939648 4194304 4964800 140737432710640 18446744073709551615 258662772457 0 0 4096 18946 18446604567428603360 0 0 -1 14 0 0 0
[pid=14586/tid=14589] ppid=14584 vsize=3778916 CPUtime=2.92 cores=0-31
/proc/14586/task/14589/stat : 14589 (claspmt) D 14584 14586 14067 0 -1 4202560 30181 0 0 0 55 237 0 0 16 0 32 0 48917261 3869609984 746063 270582939648 4194304 4964800 140737432710640 18446744073709551615 258650653361 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=14586/tid=14590] ppid=14584 vsize=3778916 CPUtime=2.81 cores=0-31
/proc/14586/task/14590/stat : 14590 (claspmt) S 14584 14586 14067 0 -1 4202560 24183 0 0 0 27 254 0 0 16 0 32 0 48917261 3869609984 746064 270582939648 4194304 4964800 140737432710640 18446744073709551615 258651060958 0 0 4096 18946 18446744071566929224 0 0 -1 0 0 0 0
[pid=14586/tid=14591] ppid=14584 vsize=3778916 CPUtime=2.6 cores=0-31
/proc/14586/task/14591/stat : 14591 (claspmt) S 14584 14586 14067 0 -1 4202560 25715 0 0 0 28 232 0 0 15 0 32 0 48917261 3869609984 746073 270582939648 4194304 4964800 140737432710640 18446744073709551615 258662772457 0 0 4096 18946 18446604570513407456 0 0 -1 19 0 0 0
[pid=14586/tid=14592] ppid=14584 vsize=3778916 CPUtime=2.89 cores=0-31
/proc/14586/task/14592/stat : 14592 (claspmt) R 14584 14586 14067 0 -1 4202560 23935 0 0 0 31 258 0 0 16 0 32 0 48917261 3869609984 746080 270582939648 4194304 4964800 140737432710640 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=14586/tid=14593] ppid=14584 vsize=3778916 CPUtime=2.89 cores=0-31
/proc/14586/task/14593/stat : 14593 (claspmt) D 14584 14586 14067 0 -1 4202560 27522 0 0 0 35 254 0 0 16 0 32 0 48917261 3869609984 746083 270582939648 4194304 4964800 140737432710640 18446744073709551615 258650653371 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=14586/tid=14594] ppid=14584 vsize=3778916 CPUtime=2.86 cores=0-31
/proc/14586/task/14594/stat : 14594 (claspmt) R 14584 14586 14067 0 -1 4202560 28098 0 0 0 30 256 0 0 16 0 32 0 48917261 3869609984 746090 270582939648 4194304 4964800 140737432710640 18446744073709551615 4652195 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=14586/tid=14595] ppid=14584 vsize=3778916 CPUtime=2.66 cores=0-31
/proc/14586/task/14595/stat : 14595 (claspmt) S 14584 14586 14067 0 -1 4202560 25722 0 0 0 29 237 0 0 16 0 32 0 48917261 3869609984 746091 270582939648 4194304 4964800 140737432710640 18446744073709551615 258662772457 0 0 4096 18946 18446604563074358752 0 0 -1 28 0 0 0
[pid=14586/tid=14596] ppid=14584 vsize=3778916 CPUtime=2.59 cores=0-31
/proc/14586/task/14596/stat : 14596 (claspmt) S 14584 14586 14067 0 -1 4202560 25925 0 0 0 37 222 0 0 15 0 32 0 48917261 3869609984 746102 270582939648 4194304 4964800 140737432710640 18446744073709551615 258662772457 0 0 4096 18946 18446604566728711648 0 0 -1 12 0 0 0
[pid=14586/tid=14597] ppid=14584 vsize=3778916 CPUtime=2.92 cores=0-31
/proc/14586/task/14597/stat : 14597 (claspmt) D 14584 14586 14067 0 -1 4202560 26955 0 0 0 46 246 0 0 16 0 32 0 48917261 3869609984 746103 270582939648 4194304 4964800 140737432710640 18446744073709551615 258650653299 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=14586/tid=14598] ppid=14584 vsize=3778916 CPUtime=2.86 cores=0-31
/proc/14586/task/14598/stat : 14598 (claspmt) D 14584 14586 14067 0 -1 4202560 25239 0 0 0 26 260 0 0 16 0 32 0 48917261 3869609984 746105 270582939648 4194304 4964800 140737432710640 18446744073709551615 4697753 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=14586/tid=14599] ppid=14584 vsize=3778916 CPUtime=2.73 cores=0-31
/proc/14586/task/14599/stat : 14599 (claspmt) S 14584 14586 14067 0 -1 4202560 25773 0 0 0 33 240 0 0 16 0 32 0 48917261 3869609984 746105 270582939648 4194304 4964800 140737432710640 18446744073709551615 258662772457 0 0 4096 18946 18446604711412686304 0 0 -1 10 0 0 0
[pid=14586/tid=14600] ppid=14584 vsize=3778916 CPUtime=2.93 cores=0-31
/proc/14586/task/14600/stat : 14600 (claspmt) D 14584 14586 14067 0 -1 4202560 26941 0 0 0 33 260 0 0 16 0 32 0 48917261 3869609984 746107 270582939648 4194304 4964800 140737432710640 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=14586/tid=14601] ppid=14584 vsize=3778916 CPUtime=2.83 cores=0-31
/proc/14586/task/14601/stat : 14601 (claspmt) D 14584 14586 14067 0 -1 4202560 26067 0 0 0 31 252 0 0 16 0 32 0 48917261 3869609984 746112 270582939648 4194304 4964800 140737432710640 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=14586/tid=14602] ppid=14584 vsize=3778916 CPUtime=2.91 cores=0-31
/proc/14586/task/14602/stat : 14602 (claspmt) R 14584 14586 14067 0 -1 4202560 27871 0 0 0 34 257 0 0 16 0 32 0 48917261 3869609984 746116 270582939648 4194304 4964800 140737432710640 18446744073709551615 4342144 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=14586/tid=14603] ppid=14584 vsize=3778916 CPUtime=2.69 cores=0-31
/proc/14586/task/14603/stat : 14603 (claspmt) S 14584 14586 14067 0 -1 4202560 25779 0 0 0 33 236 0 0 16 0 32 0 48917261 3869609984 746126 270582939648 4194304 4964800 140737432710640 18446744073709551615 258662772457 0 0 4096 18946 18446604573023509984 0 0 -1 7 0 0 0
[pid=14586/tid=14604] ppid=14584 vsize=3778916 CPUtime=2.59 cores=0-31
/proc/14586/task/14604/stat : 14604 (claspmt) S 14584 14586 14067 0 -1 4202560 25846 0 0 0 29 230 0 0 16 0 32 0 48917261 3869609984 746128 270582939648 4194304 4964800 140737432710640 18446744073709551615 258662772457 0 0 4096 18946 18446604564248608224 0 0 -1 23 0 0 0
[pid=14586/tid=14605] ppid=14584 vsize=3778916 CPUtime=2.9 cores=0-31
/proc/14586/task/14605/stat : 14605 (claspmt) D 14584 14586 14067 0 -1 4202560 26422 0 0 0 32 258 0 0 16 0 32 0 48917261 3869609984 746132 270582939648 4194304 4964800 140737432710640 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14586/tid=14606] ppid=14584 vsize=3778916 CPUtime=2.96 cores=0-31
/proc/14586/task/14606/stat : 14606 (claspmt) D 14584 14586 14067 0 -1 4202560 27537 0 0 0 40 256 0 0 16 0 32 0 48917261 3869609984 746139 270582939648 4194304 4964800 140737432710640 18446744073709551615 4375558 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=14586/tid=14607] ppid=14584 vsize=3778916 CPUtime=2.85 cores=0-31
/proc/14586/task/14607/stat : 14607 (claspmt) S 14584 14586 14067 0 -1 4202560 25481 0 0 0 29 256 0 0 16 0 32 0 48917261 3869609984 746144 270582939648 4194304 4964800 140737432710640 18446744073709551615 258662772457 0 0 4096 18946 18446604559591620064 0 0 -1 30 0 0 0
[pid=14586/tid=14608] ppid=14584 vsize=3778916 CPUtime=2.88 cores=0-31
################
# More data... #
################
[pid=14586/tid=14602] ppid=14584 vsize=6264300 CPUtime=1116.22 cores=0-31
/proc/14586/task/14602/stat : 14602 (claspmt) R 14584 14586 14067 0 -1 4202560 40428 0 0 0 111308 314 0 0 25 0 32 0 48917261 6414643200 1323775 270582939648 4194304 4964800 140737432710640 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=14586/tid=14603] ppid=14584 vsize=6264300 CPUtime=1115.12 cores=0-31
/proc/14586/task/14603/stat : 14603 (claspmt) R 14584 14586 14067 0 -1 4202560 30366 0 0 0 111256 256 0 0 25 0 32 0 48917261 6414643200 1323775 270582939648 4194304 4964800 140737432710640 18446744073709551615 4370301 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=14586/tid=14604] ppid=14584 vsize=6264300 CPUtime=1115.01 cores=0-31
/proc/14586/task/14604/stat : 14604 (claspmt) R 14584 14586 14067 0 -1 4202560 30265 0 0 0 111253 248 0 0 25 0 32 0 48917261 6414643200 1323775 270582939648 4194304 4964800 140737432710640 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=14586/tid=14605] ppid=14584 vsize=6264300 CPUtime=1116.13 cores=0-31
/proc/14586/task/14605/stat : 14605 (claspmt) R 14584 14586 14067 0 -1 4202560 79825 0 0 0 111171 442 0 0 25 0 32 0 48917261 6414643200 1323775 270582939648 4194304 4964800 140737432710640 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14586/tid=14606] ppid=14584 vsize=6264300 CPUtime=1115.99 cores=0-31
/proc/14586/task/14606/stat : 14606 (claspmt) R 14584 14586 14067 0 -1 4202560 47110 0 0 0 111267 332 0 0 25 0 32 0 48917261 6414643200 1323775 270582939648 4194304 4964800 140737432710640 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=14586/tid=14607] ppid=14584 vsize=6264300 CPUtime=1115.24 cores=0-31
/proc/14586/task/14607/stat : 14607 (claspmt) R 14584 14586 14067 0 -1 4202560 32474 0 0 0 111241 283 0 0 25 0 32 0 48917261 6414643200 1323775 270582939648 4194304 4964800 140737432710640 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=14586/tid=14608] ppid=14584 vsize=6264300 CPUtime=2057.22 cores=0-31
/proc/14586/task/14608/stat : 14608 (claspmt) R 14584 14586 14067 0 -1 4202560 35867 0 0 0 205429 293 0 0 25 0 32 0 48917261 6414643200 1323775 270582939648 4194304 4964800 140737432710640 18446744073709551615 4678045 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=14586/tid=14609] ppid=14584 vsize=6264300 CPUtime=1116.18 cores=0-31
/proc/14586/task/14609/stat : 14609 (claspmt) R 14584 14586 14067 0 -1 4202560 51193 0 0 0 111259 359 0 0 25 0 32 0 48917261 6414643200 1323775 270582939648 4194304 4964800 140737432710640 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=14586/tid=14610] ppid=14584 vsize=6264300 CPUtime=1116.46 cores=0-31
/proc/14586/task/14610/stat : 14610 (claspmt) R 14584 14586 14067 0 -1 4202560 35544 0 0 0 111363 283 0 0 25 0 32 0 48917261 6414643200 1323775 270582939648 4194304 4964800 140737432710640 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=14586/tid=14611] ppid=14584 vsize=6264300 CPUtime=1115.11 cores=0-31
/proc/14586/task/14611/stat : 14611 (claspmt) R 14584 14586 14067 0 -1 4202560 29890 0 0 0 111261 250 0 0 25 0 32 0 48917261 6414643200 1323775 270582939648 4194304 4964800 140737432710640 18446744073709551615 4678045 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=14586/tid=14612] ppid=14584 vsize=6264300 CPUtime=1114.88 cores=0-31
/proc/14586/task/14612/stat : 14612 (claspmt) R 14584 14586 14067 0 -1 4202560 31465 0 0 0 111261 227 0 0 25 0 32 0 48917261 6414643200 1323775 270582939648 4194304 4964800 140737432710640 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=14586/tid=14613] ppid=14584 vsize=6264300 CPUtime=1115.95 cores=0-31
/proc/14586/task/14613/stat : 14613 (claspmt) R 14584 14586 14067 0 -1 4202560 111718 0 0 0 111041 554 0 0 25 0 32 0 48917261 6414643200 1323775 270582939648 4194304 4964800 140737432710640 18446744073709551615 4669280 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=14586/tid=14614] ppid=14584 vsize=6264300 CPUtime=1115.8 cores=0-31
/proc/14586/task/14614/stat : 14614 (claspmt) R 14584 14586 14067 0 -1 4202560 51145 0 0 0 111281 299 0 0 25 0 32 0 48917263 6414643200 1323775 270582939648 4194304 4964800 140737432710640 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=14586/tid=14615] ppid=14584 vsize=6264300 CPUtime=1115.11 cores=0-31
/proc/14586/task/14615/stat : 14615 (claspmt) R 14584 14586 14067 0 -1 4202560 29596 0 0 0 111255 256 0 0 25 0 32 0 48917263 6414643200 1323775 270582939648 4194304 4964800 140737432710640 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=14586/tid=14616] ppid=14584 vsize=6264300 CPUtime=2063.35 cores=0-31
/proc/14586/task/14616/stat : 14616 (claspmt) R 14584 14586 14067 0 -1 4202560 34398 0 0 0 206058 277 0 0 25 0 32 0 48917263 6414643200 1323775 270582939648 4194304 4964800 140737432710640 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=14586/tid=14617] ppid=14584 vsize=6264300 CPUtime=1116.1 cores=0-31
/proc/14586/task/14617/stat : 14617 (claspmt) R 14584 14586 14067 0 -1 4202560 49194 0 0 0 111302 308 0 0 25 0 32 0 48917263 6414643200 1323775 270582939648 4194304 4964800 140737432710640 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=14586/tid=14618] ppid=14584 vsize=6264300 CPUtime=1116.33 cores=0-31
/proc/14586/task/14618/stat : 14618 (claspmt) R 14584 14586 14067 0 -1 4202560 40238 0 0 0 111339 294 0 0 25 0 32 0 48917264 6414643200 1323775 270582939648 4194304 4964800 140737432710640 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 9 0 0 0
Current children cumulated CPU time (s) 39483
Current children cumulated vsize (KiB) 6264300
[startup+2111.9 s]
/proc/loadavg: 32.10 31.43 26.36 33/445 14686
/proc/meminfo: memFree=256331528/264257624 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=6267996 CPUtime=39892.8 cores=0-31
/proc/14586/stat : 14586 (claspmt) R 14584 14586 14067 0 -1 4202496 1508114 0 0 0 3979472 9807 0 0 25 0 32 0 48916797 6418427904 1329306 270582939648 4194304 4964800 140737432710640 18446744073709551615 4668734 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/14586/statm: 1566999 1329306 455 189 0 1561348 0
[pid=14586/tid=14588] ppid=14584 vsize=6267996 CPUtime=1121.9 cores=0-31
/proc/14586/task/14588/stat : 14588 (claspmt) R 14584 14586 14067 0 -1 4202560 29588 0 0 0 111928 262 0 0 25 0 32 0 48917261 6418427904 1329306 270582939648 4194304 4964800 140737432710640 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=14586/tid=14589] ppid=14584 vsize=6267996 CPUtime=1126.56 cores=0-31
/proc/14586/task/14589/stat : 14589 (claspmt) R 14584 14586 14067 0 -1 4202560 97821 0 0 0 112161 495 0 0 25 0 32 0 48917261 6418427904 1329306 270582939648 4194304 4964800 140737432710640 18446744073709551615 4678061 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=14586/tid=14590] ppid=14584 vsize=6267996 CPUtime=1128.69 cores=0-31
/proc/14586/task/14590/stat : 14590 (claspmt) R 14584 14586 14067 0 -1 4202560 44133 0 0 0 112552 317 0 0 25 0 32 0 48917261 6418427904 1329307 270582939648 4194304 4964800 140737432710640 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=14586/tid=14591] ppid=14584 vsize=6267996 CPUtime=1106.2 cores=0-31
/proc/14586/task/14591/stat : 14591 (claspmt) R 14584 14586 14067 0 -1 4202560 32439 0 0 0 110359 261 0 0 25 0 32 0 48917261 6418427904 1329307 270582939648 4194304 4964800 140737432710640 18446744073709551615 4370295 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=14586/tid=14592] ppid=14584 vsize=6267996 CPUtime=2078.71 cores=0-31
/proc/14586/task/14592/stat : 14592 (claspmt) R 14584 14586 14067 0 -1 4202560 33270 0 0 0 207583 288 0 0 25 0 32 0 48917261 6418427904 1329307 270582939648 4194304 4964800 140737432710640 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=14586/tid=14593] ppid=14584 vsize=6267996 CPUtime=1128.84 cores=0-31
/proc/14586/task/14593/stat : 14593 (claspmt) R 14584 14586 14067 0 -1 4202560 53787 0 0 0 112541 343 0 0 25 0 32 0 48917261 6418427904 1329307 270582939648 4194304 4964800 140737432710640 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=14586/tid=14594] ppid=14584 vsize=6267996 CPUtime=1129.08 cores=0-31
/proc/14586/task/14594/stat : 14594 (claspmt) R 14584 14586 14067 0 -1 4202560 38859 0 0 0 112606 302 0 0 25 0 32 0 48917261 6418427904 1329307 270582939648 4194304 4964800 140737432710640 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=14586/tid=14595] ppid=14584 vsize=6267996 CPUtime=1127.92 cores=0-31
/proc/14586/task/14595/stat : 14595 (claspmt) R 14584 14586 14067 0 -1 4202560 30561 0 0 0 112537 255 0 0 25 0 32 0 48917261 6418427904 1329307 270582939648 4194304 4964800 140737432710640 18446744073709551615 4370377 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=14586/tid=14596] ppid=14584 vsize=6267996 CPUtime=1127.51 cores=0-31
/proc/14586/task/14596/stat : 14596 (claspmt) R 14584 14586 14067 0 -1 4202560 32024 0 0 0 112504 247 0 0 25 0 32 0 48917261 6418427904 1329307 270582939648 4194304 4964800 140737432710640 18446744073709551615 4371542 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=14586/tid=14597] ppid=14584 vsize=6267996 CPUtime=1126.79 cores=0-31
/proc/14586/task/14597/stat : 14597 (claspmt) R 14584 14586 14067 0 -1 4202560 99889 0 0 0 112180 499 0 0 25 0 32 0 48917261 6418427904 1329307 270582939648 4194304 4964800 140737432710640 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14586/tid=14598] ppid=14584 vsize=6267996 CPUtime=1128.87 cores=0-31
/proc/14586/task/14598/stat : 14598 (claspmt) R 14584 14586 14067 0 -1 4202560 46998 0 0 0 112553 334 0 0 25 0 32 0 48917261 6418427904 1329307 270582939648 4194304 4964800 140737432710640 18446744073709551615 4632416 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=14586/tid=14599] ppid=14584 vsize=6267996 CPUtime=1127.98 cores=0-31
/proc/14586/task/14599/stat : 14599 (claspmt) R 14584 14586 14067 0 -1 4202560 32175 0 0 0 112532 266 0 0 25 0 32 0 48917261 6418427904 1329307 270582939648 4194304 4964800 140737432710640 18446744073709551615 4370224 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=14586/tid=14600] ppid=14584 vsize=6267996 CPUtime=2100.96 cores=0-31
/proc/14586/task/14600/stat : 14600 (claspmt) R 14584 14586 14067 0 -1 4202560 33081 0 0 0 209815 281 0 0 25 0 32 0 48917261 6418427904 1329307 270582939648 4194304 4964800 140737432710640 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=14586/tid=14601] ppid=14584 vsize=6267996 CPUtime=1128.6 cores=0-31
/proc/14586/task/14601/stat : 14601 (claspmt) R 14584 14586 14067 0 -1 4202560 39985 0 0 0 112571 289 0 0 25 0 32 0 48917261 6418427904 1329307 270582939648 4194304 4964800 140737432710640 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=14586/tid=14602] ppid=14584 vsize=6267996 CPUtime=1129.04 cores=0-31
/proc/14586/task/14602/stat : 14602 (claspmt) R 14584 14586 14067 0 -1 4202560 40428 0 0 0 112590 314 0 0 25 0 32 0 48917261 6418427904 1329307 270582939648 4194304 4964800 140737432710640 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=14586/tid=14603] ppid=14584 vsize=6267996 CPUtime=1127.94 cores=0-31
/proc/14586/task/14603/stat : 14603 (claspmt) R 14584 14586 14067 0 -1 4202560 30367 0 0 0 112538 256 0 0 25 0 32 0 48917261 6418427904 1329307 270582939648 4194304 4964800 140737432710640 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=14586/tid=14604] ppid=14584 vsize=6267996 CPUtime=1127.83 cores=0-31
/proc/14586/task/14604/stat : 14604 (claspmt) R 14584 14586 14067 0 -1 4202560 30268 0 0 0 112535 248 0 0 25 0 32 0 48917261 6418427904 1329307 270582939648 4194304 4964800 140737432710640 18446744073709551615 4652165 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=14586/tid=14605] ppid=14584 vsize=6267996 CPUtime=1128.95 cores=0-31
/proc/14586/task/14605/stat : 14605 (claspmt) R 14584 14586 14067 0 -1 4202560 80292 0 0 0 112450 445 0 0 25 0 32 0 48917261 6418427904 1329307 270582939648 4194304 4964800 140737432710640 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14586/tid=14606] ppid=14584 vsize=6267996 CPUtime=1128.81 cores=0-31
/proc/14586/task/14606/stat : 14606 (claspmt) R 14584 14586 14067 0 -1 4202560 47715 0 0 0 112545 336 0 0 25 0 32 0 48917261 6418427904 1329307 270582939648 4194304 4964800 140737432710640 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=14586/tid=14607] ppid=14584 vsize=6267996 CPUtime=1128.05 cores=0-31
/proc/14586/task/14607/stat : 14607 (claspmt) R 14584 14586 14067 0 -1 4202560 32475 0 0 0 112522 283 0 0 25 0 32 0 48917261 6418427904 1329307 270582939648 4194304 4964800 140737432710640 18446744073709551615 4372759 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=14586/tid=14608] ppid=14584 vsize=6267996 CPUtime=2070.04 cores=0-31
/proc/14586/task/14608/stat : 14608 (claspmt) R 14584 14586 14067 0 -1 4202560 35867 0 0 0 206711 293 0 0 25 0 32 0 48917261 6418427904 1329307 270582939648 4194304 4964800 140737432710640 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=14586/tid=14609] ppid=14584 vsize=6267996 CPUtime=1128.99 cores=0-31
/proc/14586/task/14609/stat : 14609 (claspmt) R 14584 14586 14067 0 -1 4202560 51799 0 0 0 112537 362 0 0 25 0 32 0 48917261 6418427904 1329307 270582939648 4194304 4964800 140737432710640 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=14586/tid=14610] ppid=14584 vsize=6267996 CPUtime=1129.28 cores=0-31
/proc/14586/task/14610/stat : 14610 (claspmt) R 14584 14586 14067 0 -1 4202560 35566 0 0 0 112645 283 0 0 25 0 32 0 48917261 6418427904 1329307 270582939648 4194304 4964800 140737432710640 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=14586/tid=14611] ppid=14584 vsize=6267996 CPUtime=1127.92 cores=0-31
/proc/14586/task/14611/stat : 14611 (claspmt) R 14584 14586 14067 0 -1 4202560 29896 0 0 0 112542 250 0 0 25 0 32 0 48917261 6418427904 1329307 270582939648 4194304 4964800 140737432710640 18446744073709551615 4673285 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=14586/tid=14612] ppid=14584 vsize=6267996 CPUtime=1127.7 cores=0-31
/proc/14586/task/14612/stat : 14612 (claspmt) R 14584 14586 14067 0 -1 4202560 31465 0 0 0 112543 227 0 0 25 0 32 0 48917261 6418427904 1329307 270582939648 4194304 4964800 140737432710640 18446744073709551615 4370242 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=14586/tid=14613] ppid=14584 vsize=6267996 CPUtime=1128.76 cores=0-31
/proc/14586/task/14613/stat : 14613 (claspmt) R 14584 14586 14067 0 -1 4202560 113172 0 0 0 112315 561 0 0 25 0 32 0 48917261 6418427904 1329307 270582939648 4194304 4964800 140737432710640 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=14586/tid=14614] ppid=14584 vsize=6267996 CPUtime=1128.61 cores=0-31
/proc/14586/task/14614/stat : 14614 (claspmt) R 14584 14586 14067 0 -1 4202560 51338 0 0 0 112562 299 0 0 25 0 32 0 48917263 6418427904 1329307 270582939648 4194304 4964800 140737432710640 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=14586/tid=14615] ppid=14584 vsize=6267996 CPUtime=1127.93 cores=0-31
/proc/14586/task/14615/stat : 14615 (claspmt) R 14584 14586 14067 0 -1 4202560 29596 0 0 0 112537 256 0 0 25 0 32 0 48917263 6418427904 1329307 270582939648 4194304 4964800 140737432710640 18446744073709551615 4370236 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=14586/tid=14616] ppid=14584 vsize=6267996 CPUtime=2076.16 cores=0-31
/proc/14586/task/14616/stat : 14616 (claspmt) R 14584 14586 14067 0 -1 4202560 34398 0 0 0 207339 277 0 0 25 0 32 0 48917263 6418427904 1329307 270582939648 4194304 4964800 140737432710640 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=14586/tid=14617] ppid=14584 vsize=6267996 CPUtime=1128.92 cores=0-31
/proc/14586/task/14617/stat : 14617 (claspmt) R 14584 14586 14067 0 -1 4202560 49253 0 0 0 112584 308 0 0 25 0 32 0 48917263 6418427904 1329307 270582939648 4194304 4964800 140737432710640 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=14586/tid=14618] ppid=14584 vsize=6267996 CPUtime=1129.15 cores=0-31
/proc/14586/task/14618/stat : 14618 (claspmt) R 14584 14586 14067 0 -1 4202560 40238 0 0 0 112621 294 0 0 25 0 32 0 48917264 6418427904 1329307 270582939648 4194304 4964800 140737432710640 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 9 0 0 0
Current children cumulated CPU time (s) 39892.8
Current children cumulated vsize (KiB) 6267996
[startup+2118.3 s]
/proc/loadavg: 32.09 31.44 26.39 33/445 14686
/proc/meminfo: memFree=256329432/264257624 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=6178192 CPUtime=40083.2 cores=0-31
/proc/14586/stat : 14586 (claspmt) R 14584 14586 14067 0 -1 4202496 1508652 0 0 0 3998502 9823 0 0 15 0 1 0 48916797 6326468608 1329800 270582939648 4194304 4964800 140737432710640 18446744073709551615 258650611620 0 0 4096 18946 0 0 0 17 10 0 0 0
/proc/14586/statm: 1544548 1329800 466 189 0 1538897 0
Current children cumulated CPU time (s) 40083.2
Current children cumulated vsize (KiB) 6178192
[startup+2121.5 s]
/proc/loadavg: 29.60 30.94 26.25 2/414 14686
/proc/meminfo: memFree=256660472/264257624 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=5729344 CPUtime=40086.4 cores=0-31
/proc/14586/stat : 14586 (claspmt) R 14584 14586 14067 0 -1 4202496 1508652 0 0 0 3998818 9827 0 0 20 0 1 0 48916797 5866848256 1216102 270582939648 4194304 4964800 140737432710640 18446744073709551615 258650604632 0 0 4096 18946 0 0 0 17 10 0 0 0
/proc/14586/statm: 1432336 1216102 466 189 0 1426685 0
Current children cumulated CPU time (s) 40086.4
Current children cumulated vsize (KiB) 5729344
[startup+2124.7 s]
/proc/loadavg: 29.60 30.94 26.25 2/414 14686
/proc/meminfo: memFree=257104160/264257624 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=5266528 CPUtime=40089.6 cores=0-31
/proc/14586/stat : 14586 (claspmt) R 14584 14586 14067 0 -1 4202496 1508652 0 0 0 3999135 9830 0 0 25 0 1 0 48916797 5392924672 1106965 270582939648 4194304 4964800 140737432710640 18446744073709551615 258650604940 0 0 4096 18946 0 0 0 17 10 0 0 0
/proc/14586/statm: 1316632 1106965 466 189 0 1310981 0
Current children cumulated CPU time (s) 40089.7
Current children cumulated vsize (KiB) 5266528
[startup+2125.5 s]
/proc/loadavg: 27.31 30.44 26.11 2/414 14686
/proc/meminfo: memFree=257282968/264257624 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=5144288 CPUtime=40090.4 cores=0-31
/proc/14586/stat : 14586 (claspmt) R 14584 14586 14067 0 -1 4202496 1508652 0 0 0 3999214 9831 0 0 25 0 1 0 48916797 5267750912 1073656 270582939648 4194304 4964800 140737432710640 18446744073709551615 258650604936 0 0 4096 18946 0 0 0 17 10 0 0 0
/proc/14586/statm: 1286072 1073656 466 189 0 1280421 0
Current children cumulated CPU time (s) 40090.4
Current children cumulated vsize (KiB) 5144288
[startup+2125.9 s]
/proc/loadavg: 27.31 30.44 26.11 2/414 14686
/proc/meminfo: memFree=257282968/264257624 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=4362272 CPUtime=40090.9 cores=0-31
/proc/14586/stat : 14586 (claspmt) R 14584 14586 14067 0 -1 4202496 1508652 0 0 0 3999249 9836 0 0 25 0 1 0 48916797 4466966528 855125 270582939648 4194304 4964800 140737432710640 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 10 0 0 0
/proc/14586/statm: 1090568 854621 466 189 0 1084917 0
Current children cumulated CPU time (s) 40090.8
Current children cumulated vsize (KiB) 4362272
[startup+2126.1 s]
/proc/loadavg: 27.31 30.44 26.11 2/414 14686
/proc/meminfo: memFree=257282968/264257624 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=3772152 CPUtime=40091.1 cores=0-31
/proc/14586/stat : 14586 (claspmt) R 14584 14586 14067 0 -1 4202496 1508652 0 0 0 3999265 9840 0 0 25 0 1 0 48916797 3862683648 698195 270582939648 4194304 4964800 140737432710640 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 10 0 0 0
/proc/14586/statm: 943038 698195 466 189 0 937387 0
Current children cumulated CPU time (s) 40091
Current children cumulated vsize (KiB) 3772152
[startup+2126.2 s]
/proc/loadavg: 27.31 30.44 26.11 2/414 14686
/proc/meminfo: memFree=260167448/264257624 swapFree=67111528/67111528
[pid=14586] ppid=14584 vsize=0 CPUtime=40091.2 cores=0-31
/proc/14586/stat : 14586 (claspmt) R 14584 14586 14067 0 -1 4202500 1508653 0 0 0 3999265 9853 0 0 25 0 1 0 48916797 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 10 0 0 0
/proc/14586/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 40091.2
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 2126.31
CPU time (s): 40091.3
CPU user time (s): 39992.7
CPU system time (s): 98.605
CPU usage (%): 1885.49
Max. virtual memory (cumulated for all children) (KiB): 6268392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39992.7
system time used= 98.605
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1508653
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= 961086
involuntary context switches= 95197
runsolver used 11.4213 second user time and 47.6688 second system time
The end
Begin job on node200 at 2011-06-12 01:34:59
IDJOB=3472549
IDBENCH=88158
IDSOLVER=1961
FILE ID=node200/3472549-1307835290
RUNJOBID= node200-1307835124-14081
PBS_JOBID= 13551066
Free space on /tmp= 61524 MiB
SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT-Race-2010-CNF/hardware-verification/velev/1dlx_c_iq60_a.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-3472549-1307835290/watcher-3472549-1307835290 -o /tmp/evaluation-result-3472549-1307835290/solver-3472549-1307835290 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472549-1307835290.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 256000 MiB
NBCORE= 32
MD5SUM BENCH= 1e60a63f1ba68b9b3c423ca413b4fa2b
RANDOM SEED=1906735589
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: 261648732 kB
Buffers: 301272 kB
Cached: 1976112 kB
SwapCached: 0 kB
Active: 555500 kB
Inactive: 1787016 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 261648732 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 226180 kB
Writeback: 0 kB
AnonPages: 64976 kB
Mapped: 14480 kB
Slab: 189772 kB
PageTables: 4344 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 162436 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= 61520 MiB
End job on node200 at 2011-06-12 02:10:26