0.00/0.00 c clasp version 2.0.0-RC2
0.00/0.00 c Reading from ...837427/instance-3472550-1307837427.cnf
3.49/3.57 c Solving...
29538.86/1600.05 s UNSATISFIABLE
29538.86/1600.05
29538.86/1600.05 c Models : 0
29538.86/1600.05 c Time : 1593.160s (Solving: 1589.59s 1st Model: 0.00s Unsat: 1589.59s)
29538.86/1600.05 c CPU Time : 29532.030s
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-3472550-1307837427/watcher-3472550-1307837427 -o /tmp/evaluation-result-3472550-1307837427/solver-3472550-1307837427 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472550-1307837427.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: 23.26 29.47 25.84 1/413 14745
/proc/meminfo: memFree=261650956/264257624 swapFree=67111528/67111528
[pid=14745] ppid=14743 vsize=93224 CPUtime=0.02 cores=0-31
/proc/14745/stat : 14745 (claspmt) R 14743 14745 14715 0 -1 4202496 4588 0 0 0 2 0 0 0 23 0 1 0 49130327 95461376 4517 270582939648 4194304 4964800 140736332760816 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/14745/statm: 23306 4525 373 189 0 18180 0
[startup+0.045052 s]
/proc/loadavg: 23.26 29.47 25.84 1/413 14745
/proc/meminfo: memFree=261650956/264257624 swapFree=67111528/67111528
[pid=14745] ppid=14743 vsize=93224 CPUtime=0.04 cores=0-31
/proc/14745/stat : 14745 (claspmt) R 14743 14745 14715 0 -1 4202496 6358 0 0 0 3 1 0 0 23 0 1 0 49130327 95461376 6287 270582939648 4194304 4964800 140736332760816 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/14745/statm: 23306 6297 373 189 0 18180 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 93224
[startup+0.101098 s]
/proc/loadavg: 23.26 29.47 25.84 1/413 14745
/proc/meminfo: memFree=261650956/264257624 swapFree=67111528/67111528
[pid=14745] ppid=14743 vsize=93224 CPUtime=0.09 cores=0-31
/proc/14745/stat : 14745 (claspmt) R 14743 14745 14715 0 -1 4202496 15685 0 0 0 6 3 0 0 23 0 1 0 49130327 95461376 15614 270582939648 4194304 4964800 140736332760816 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/14745/statm: 23306 15624 373 189 0 18180 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 93224
[startup+0.301102 s]
/proc/loadavg: 23.26 29.47 25.84 1/413 14745
/proc/meminfo: memFree=261650956/264257624 swapFree=67111528/67111528
[pid=14745] ppid=14743 vsize=141488 CPUtime=0.29 cores=0-31
/proc/14745/stat : 14745 (claspmt) R 14743 14745 14715 0 -1 4202496 34581 0 0 0 22 7 0 0 24 0 1 0 49130327 144883712 30026 270582939648 4194304 4964800 140736332760816 18446744073709551615 258650955760 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/14745/statm: 35372 30027 385 189 0 30246 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 141488
[startup+0.70112 s]
/proc/loadavg: 23.26 29.47 25.84 1/413 14745
/proc/meminfo: memFree=261650956/264257624 swapFree=67111528/67111528
[pid=14745] ppid=14743 vsize=161748 CPUtime=0.69 cores=0-31
/proc/14745/stat : 14745 (claspmt) R 14743 14745 14715 0 -1 4202496 39868 0 0 0 59 10 0 0 25 0 1 0 49130327 165629952 35076 270582939648 4194304 4964800 140736332760816 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/14745/statm: 40437 35077 385 189 0 35311 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 161748
[startup+1.50114 s]
/proc/loadavg: 23.26 29.47 25.84 2/414 14746
/proc/meminfo: memFree=261499948/264257624 swapFree=67111528/67111528
[pid=14745] ppid=14743 vsize=196824 CPUtime=1.49 cores=0-31
/proc/14745/stat : 14745 (claspmt) R 14743 14745 14715 0 -1 4202496 48825 0 0 0 134 15 0 0 25 0 1 0 49130327 201547776 43866 270582939648 4194304 4964800 140736332760816 18446744073709551615 258650955760 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/14745/statm: 49206 43866 385 189 0 44080 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 196824
[startup+3.10119 s]
/proc/loadavg: 23.26 29.47 25.84 2/414 14746
/proc/meminfo: memFree=261452116/264257624 swapFree=67111528/67111528
[pid=14745] ppid=14743 vsize=265224 CPUtime=3.09 cores=0-31
/proc/14745/stat : 14745 (claspmt) R 14743 14745 14715 0 -1 4202496 66473 0 0 0 283 26 0 0 25 0 1 0 49130327 271589376 60887 270582939648 4194304 4964800 140736332760816 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/14745/statm: 66306 60887 385 189 0 61180 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 265224
[startup+6.30221 s]
/proc/loadavg: 23.88 29.50 25.87 4/445 14777
/proc/meminfo: memFree=260357916/264257624 swapFree=67111528/67111528
[pid=14745] ppid=14743 vsize=3093668 CPUtime=59.22 cores=0-31
/proc/14745/stat : 14745 (claspmt) S 14743 14745 14715 0 -1 4202496 551166 0 0 0 579 5343 0 0 18 0 32 0 49130327 3167916032 399530 270582939648 4194304 4964800 140736332760816 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 8 0 0 0
/proc/14745/statm: 773417 399531 429 189 0 767766 0
[pid=14745/tid=14747] ppid=14743 vsize=3093668 CPUtime=1.82 cores=0-31
/proc/14745/task/14747/stat : 14747 (claspmt) D 14743 14745 14715 0 -1 4202560 14733 0 0 0 7 175 0 0 17 0 32 0 49130685 3167916032 399532 270582939648 4194304 4964800 140736332760816 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=14745/tid=14748] ppid=14743 vsize=3093668 CPUtime=1.81 cores=0-31
/proc/14745/task/14748/stat : 14748 (claspmt) D 14743 14745 14715 0 -1 4202560 10500 0 0 0 6 175 0 0 18 0 32 0 49130685 3167916032 399542 270582939648 4194304 4964800 140736332760816 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=14745/tid=14749] ppid=14743 vsize=3093668 CPUtime=1.71 cores=0-31
/proc/14745/task/14749/stat : 14749 (claspmt) D 14743 14745 14715 0 -1 4202560 16978 0 0 0 12 159 0 0 16 0 32 0 49130685 3167916032 399546 270582939648 4194304 4964800 140736332760816 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14745/tid=14750] ppid=14743 vsize=3093668 CPUtime=1.83 cores=0-31
/proc/14745/task/14750/stat : 14750 (claspmt) R 14743 14745 14715 0 -1 4202560 9763 0 0 0 3 180 0 0 18 0 32 0 49130685 3167916032 399559 270582939648 4194304 4964800 140736332760816 18446744073709551615 4679094 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14745/tid=14751] ppid=14743 vsize=3093668 CPUtime=1.82 cores=0-31
/proc/14745/task/14751/stat : 14751 (claspmt) D 14743 14745 14715 0 -1 4202560 14985 0 0 0 9 173 0 0 17 0 32 0 49130685 3167916032 399559 270582939648 4194304 4964800 140736332760816 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=14745/tid=14752] ppid=14743 vsize=3093668 CPUtime=1.82 cores=0-31
/proc/14745/task/14752/stat : 14752 (claspmt) S 14743 14745 14715 0 -1 4202560 15352 0 0 0 6 176 0 0 17 0 32 0 49130685 3167916032 399562 270582939648 4194304 4964800 140736332760816 18446744073709551615 258651060958 0 0 4096 18946 18446604568260632032 0 0 -1 28 0 0 0
[pid=14745/tid=14753] ppid=14743 vsize=3093668 CPUtime=1.72 cores=0-31
/proc/14745/task/14753/stat : 14753 (claspmt) R 14743 14745 14715 0 -1 4202560 18848 0 0 0 14 158 0 0 15 0 32 0 49130685 3167916032 399565 270582939648 4194304 4964800 140736332760816 18446744073709551615 258651060958 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=14745/tid=14754] ppid=14743 vsize=3093668 CPUtime=1.76 cores=0-31
/proc/14745/task/14754/stat : 14754 (claspmt) D 14743 14745 14715 0 -1 4202560 15466 0 0 0 7 169 0 0 16 0 32 0 49130685 3167916032 399568 270582939648 4194304 4964800 140736332760816 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=14745/tid=14755] ppid=14743 vsize=3093668 CPUtime=1.79 cores=0-31
/proc/14745/task/14755/stat : 14755 (claspmt) R 14743 14745 14715 0 -1 4202560 13066 0 0 0 4 175 0 0 18 0 32 0 49130685 3167916032 399578 270582939648 4194304 4964800 140736332760816 18446744073709551615 4367551 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=14745/tid=14756] ppid=14743 vsize=3093668 CPUtime=1.8 cores=0-31
/proc/14745/task/14756/stat : 14756 (claspmt) D 14743 14745 14715 0 -1 4202560 15464 0 0 0 7 173 0 0 17 0 32 0 49130685 3167916032 399583 270582939648 4194304 4964800 140736332760816 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=14745/tid=14757] ppid=14743 vsize=3093668 CPUtime=1.77 cores=0-31
/proc/14745/task/14757/stat : 14757 (claspmt) S 14743 14745 14715 0 -1 4202560 16352 0 0 0 6 171 0 0 16 0 32 0 49130685 3167916032 399588 270582939648 4194304 4964800 140736332760816 18446744073709551615 258651060958 0 0 4096 18946 18446604560940539360 0 0 -1 8 0 0 0
[pid=14745/tid=14758] ppid=14743 vsize=3093668 CPUtime=1.84 cores=0-31
/proc/14745/task/14758/stat : 14758 (claspmt) D 14743 14745 14715 0 -1 4202560 13528 0 0 0 8 176 0 0 18 0 32 0 49130685 3167916032 399595 270582939648 4194304 4964800 140736332760816 18446744073709551615 4367431 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=14745/tid=14759] ppid=14743 vsize=3093668 CPUtime=1.83 cores=0-31
/proc/14745/task/14759/stat : 14759 (claspmt) D 14743 14745 14715 0 -1 4202560 14528 0 0 0 6 177 0 0 17 0 32 0 49130685 3167916032 399599 270582939648 4194304 4964800 140736332760816 18446744073709551615 4697753 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=14745/tid=14760] ppid=14743 vsize=3093668 CPUtime=1.8 cores=0-31
/proc/14745/task/14760/stat : 14760 (claspmt) S 14743 14745 14715 0 -1 4202560 15931 0 0 0 8 172 0 0 17 0 32 0 49130685 3167916032 399605 270582939648 4194304 4964800 140736332760816 18446744073709551615 258651060958 0 0 4096 18946 18446744071566930224 0 0 -1 9 0 0 0
[pid=14745/tid=14761] ppid=14743 vsize=3093668 CPUtime=1.82 cores=0-31
/proc/14745/task/14761/stat : 14761 (claspmt) D 14743 14745 14715 0 -1 4202560 15865 0 0 0 5 177 0 0 18 0 32 0 49130685 3167916032 399605 270582939648 4194304 4964800 140736332760816 18446744073709551615 4381022 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=14745/tid=14762] ppid=14743 vsize=3093668 CPUtime=1.75 cores=0-31
/proc/14745/task/14762/stat : 14762 (claspmt) R 14743 14745 14715 0 -1 4202560 17485 0 0 0 16 159 0 0 16 0 32 0 49130686 3167916032 399608 270582939648 4194304 4964800 140736332760816 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=14745/tid=14763] ppid=14743 vsize=3093668 CPUtime=1.71 cores=0-31
/proc/14745/task/14763/stat : 14763 (claspmt) S 14743 14745 14715 0 -1 4202560 15784 0 0 0 9 162 0 0 16 0 32 0 49130686 3167916032 399616 270582939648 4194304 4964800 140736332760816 18446744073709551615 258651060958 0 0 4096 18946 18446604575319252448 0 0 -1 19 0 0 0
[pid=14745/tid=14764] ppid=14743 vsize=3093668 CPUtime=1.83 cores=0-31
/proc/14745/task/14764/stat : 14764 (claspmt) D 14743 14745 14715 0 -1 4202560 15530 0 0 0 8 175 0 0 17 0 32 0 49130686 3167916032 399617 270582939648 4194304 4964800 140736332760816 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=14745/tid=14765] ppid=14743 vsize=3093668 CPUtime=1.82 cores=0-31
/proc/14745/task/14765/stat : 14765 (claspmt) R 14743 14745 14715 0 -1 4202560 15817 0 0 0 5 177 0 0 17 0 32 0 49130686 3167916032 399628 270582939648 4194304 4964800 140736332760816 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=14745/tid=14766] ppid=14743 vsize=3093668 CPUtime=1.84 cores=0-31
/proc/14745/task/14766/stat : 14766 (claspmt) D 14743 14745 14715 0 -1 4202560 13486 0 0 0 6 178 0 0 18 0 32 0 49130686 3167916032 399629 270582939648 4194304 4964800 140736332760816 18446744073709551615 4367431 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=14745/tid=14767] ppid=14743 vsize=3093668 CPUtime=1.73 cores=0-31
/proc/14745/task/14767/stat : 14767 (claspmt) D 14743 14745 14715 0 -1 4202560 15945 0 0 0 10 163 0 0 16 0 32 0 49130686 3167916032 399633 270582939648 4194304 4964800 140736332760816 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=14745/tid=14768] ppid=14743 vsize=3093668 CPUtime=1.8 cores=0-31
/proc/14745/task/14768/stat : 14768 (claspmt) D 14743 14745 14715 0 -1 4202560 10144 0 0 0 4 176 0 0 18 0 32 0 49130686 3167916032 399638 270582939648 4194304 4964800 140736332760816 18446744073709551615 4679151 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14745/tid=14769] ppid=14743 vsize=3093668 CPUtime=1.77 cores=0-31
/proc/14745/task/14769/stat : 14769 (claspmt) D 14743 14745 14715 0 -1 4202560 17019 0 0 0 6 171 0 0 17 0 32 0 49130686 3167916032 399638 270582939648 4194304 4964800 140736332760816 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=14745/tid=14770] ppid=14743 vsize=3093668 CPUtime=1.76 cores=0-31
/proc/14745/task/14770/stat : 14770 (claspmt) D 14743 14745 14715 0 -1 4202560 15404 0 0 0 8 168 0 0 16 0 32 0 49130686 3167916032 399640 270582939648 4194304 4964800 140736332760816 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=14745/tid=14771] ppid=14743 vsize=3093668 CPUtime=1.82 cores=0-31
/proc/14745/task/14771/stat : 14771 (claspmt) D 14743 14745 14715 0 -1 4202560 14840 0 0 0 8 174 0 0 17 0 32 0 49130686 3167916032 399650 270582939648 4194304 4964800 140736332760816 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=14745/tid=14772] ppid=14743 vsize=3093668 CPUtime=1.83 cores=0-31
/proc/14745/task/14772/stat : 14772 (claspmt) D 14743 14745 14715 0 -1 4202560 15644 0 0 0 5 178 0 0 17 0 32 0 49130686 3167916032 399651 270582939648 4194304 4964800 140736332760816 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=14745/tid=14773] ppid=14743 vsize=3093668 CPUtime=1.8 cores=0-31
/proc/14745/task/14773/stat : 14773 (claspmt) D 14743 14745 14715 0 -1 4202560 15409 0 0 0 7 173 0 0 17 0 32 0 49130686 3167916032 399660 270582939648 4194304 4964800 140736332760816 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=14745/tid=14774] ppid=14743 vsize=3093668 CPUtime=1.76 cores=0-31
/proc/14745/task/14774/stat : 14774 (claspmt) D 14743 14745 14715 0 -1 4202560 15524 0 0 0 8 168 0 0 16 0 32 0 49130686 3167916032 399667 270582939648 4194304 4964800 140736332760816 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=14745/tid=14775] ppid=14743 vsize=3093668 CPUtime=1.72 cores=0-31
/proc/14745/task/14775/stat : 14775 (claspmt) D 14743 14745 14715 0 -1 4202560 15880 0 0 0 12 160 0 0 16 0 32 0 49130686 3167916032 399676 270582939648 4194304 4964800 140736332760816 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=14745/tid=14776] ppid=14743 vsize=3093668 CPUtime=1.68 cores=0-31
/proc/14745/task/14776/stat : 14776 (claspmt) D 14743 14745 14715 0 -1 4202560 16803 0 0 0 8 160 0 0 16 0 32 0 49130686 3167916032 399678 270582939648 4194304 4964800 140736332760816 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=14745/tid=14777] ppid=14743 vsize=3093668 CPUtime=1.74 cores=0-31
/proc/14745/task/14777/stat : 14777 (claspmt) D 14743 14745 14715 0 -1 4202560 16971 0 0 0 8 166 0 0 17 0 32 0 49130686 3167916032 399680 270582939648 4194304 4964800 140736332760816 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 59.22
Current children cumulated vsize (KiB) 3093668
[startup+12.7015 s]
/proc/loadavg: 23.73 29.37 25.85 5/445 14777
/proc/meminfo: memFree=258690988/264257624 swapFree=67111528/67111528
[pid=14745] ppid=14743 vsize=3946480 CPUtime=95.01 cores=0-31
/proc/14745/stat : 14745 (claspmt) S 14743 14745 14715 0 -1 4202496 906694 0 0 0 2978 6523 0 0 18 0 32 0 49130327 4041195520 751568 270582939648 4194304 4964800 140736332760816 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 8 0 0 0
/proc/14745/statm: 986620 751568 431 189 0 980969 0
[pid=14745/tid=14747] ppid=14743 vsize=3946480 CPUtime=2.35 cores=0-31
/proc/14745/task/14747/stat : 14747 (claspmt) S 14743 14745 14715 0 -1 4202560 22687 0 0 0 25 210 0 0 15 0 32 0 49130685 4041195520 751568 270582939648 4194304 4964800 140736332760816 18446744073709551615 258662772457 0 0 4096 18946 18446604570073128416 0 0 -1 30 0 0 0
[pid=14745/tid=14748] ppid=14743 vsize=3946480 CPUtime=3.06 cores=0-31
/proc/14745/task/14748/stat : 14748 (claspmt) S 14743 14745 14715 0 -1 4202560 26900 0 0 0 87 219 0 0 16 0 32 0 49130685 4041195520 751568 270582939648 4194304 4964800 140736332760816 18446744073709551615 258662772457 0 0 4096 18946 18446604565551300064 0 0 -1 28 0 0 0
[pid=14745/tid=14749] ppid=14743 vsize=3946480 CPUtime=2.89 cores=0-31
/proc/14745/task/14749/stat : 14749 (claspmt) S 14743 14745 14715 0 -1 4202560 31164 0 0 0 93 196 0 0 16 0 32 0 49130685 4041195520 751568 270582939648 4194304 4964800 140736332760816 18446744073709551615 258662772457 0 0 4096 18946 18446604561419656672 0 0 -1 6 0 0 0
[pid=14745/tid=14750] ppid=14743 vsize=3946480 CPUtime=2.5 cores=0-31
/proc/14745/task/14750/stat : 14750 (claspmt) S 14743 14745 14715 0 -1 4202560 21738 0 0 0 31 219 0 0 16 0 32 0 49130685 4041195520 751568 270582939648 4194304 4964800 140736332760816 18446744073709551615 258662772457 0 0 4096 18946 18446604562060721632 0 0 -1 0 0 0 0
[pid=14745/tid=14751] ppid=14743 vsize=3946480 CPUtime=4.19 cores=0-31
/proc/14745/task/14751/stat : 14751 (claspmt) R 14743 14745 14715 0 -1 4202560 28078 0 0 0 202 217 0 0 17 0 32 0 49130685 4041195520 751568 270582939648 4194304 4964800 140736332760816 18446744073709551615 4668607 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=14745/tid=14752] ppid=14743 vsize=3946480 CPUtime=2.98 cores=0-31
/proc/14745/task/14752/stat : 14752 (claspmt) S 14743 14745 14715 0 -1 4202560 28172 0 0 0 84 214 0 0 16 0 32 0 49130685 4041195520 751568 270582939648 4194304 4964800 140736332760816 18446744073709551615 258662772457 0 0 4096 18946 18446604567815445984 0 0 -1 28 0 0 0
[pid=14745/tid=14753] ppid=14743 vsize=3946480 CPUtime=3.63 cores=0-31
/proc/14745/task/14753/stat : 14753 (claspmt) S 14743 14745 14715 0 -1 4202560 27339 0 0 0 168 195 0 0 17 0 32 0 49130685 4041195520 751568 270582939648 4194304 4964800 140736332760816 18446744073709551615 258662772457 0 0 4096 18946 18446604564556242400 0 0 -1 10 0 0 0
[pid=14745/tid=14754] ppid=14743 vsize=3946480 CPUtime=2.23 cores=0-31
/proc/14745/task/14754/stat : 14754 (claspmt) S 14743 14745 14715 0 -1 4202560 22588 0 0 0 23 200 0 0 16 0 32 0 49130685 4041195520 751568 270582939648 4194304 4964800 140736332760816 18446744073709551615 258662772457 0 0 4096 18946 18446604566450003424 0 0 -1 16 0 0 0
[pid=14745/tid=14755] ppid=14743 vsize=3946480 CPUtime=2.41 cores=0-31
/proc/14745/task/14755/stat : 14755 (claspmt) S 14743 14745 14715 0 -1 4202560 22286 0 0 0 26 215 0 0 16 0 32 0 49130685 4041195520 751568 270582939648 4194304 4964800 140736332760816 18446744073709551615 258662772457 0 0 4096 18946 18446604574720736736 0 0 -1 18 0 0 0
[pid=14745/tid=14756] ppid=14743 vsize=3946480 CPUtime=2.94 cores=0-31
/proc/14745/task/14756/stat : 14756 (claspmt) S 14743 14745 14715 0 -1 4202560 30106 0 0 0 82 212 0 0 16 0 32 0 49130685 4041195520 751568 270582939648 4194304 4964800 140736332760816 18446744073709551615 258662772457 0 0 4096 18946 18446604568795504096 0 0 -1 4 0 0 0
[pid=14745/tid=14757] ppid=14743 vsize=3946480 CPUtime=2.93 cores=0-31
/proc/14745/task/14757/stat : 14757 (claspmt) S 14743 14745 14715 0 -1 4202560 31136 0 0 0 86 207 0 0 16 0 32 0 49130685 4041195520 751568 270582939648 4194304 4964800 140736332760816 18446744073709551615 258662772457 0 0 4096 18946 18446604498678152672 0 0 -1 8 0 0 0
[pid=14745/tid=14758] ppid=14743 vsize=3946480 CPUtime=2.41 cores=0-31
/proc/14745/task/14758/stat : 14758 (claspmt) S 14743 14745 14715 0 -1 4202560 22549 0 0 0 30 211 0 0 16 0 32 0 49130685 4041195520 751568 270582939648 4194304 4964800 140736332760816 18446744073709551615 258662772457 0 0 4096 18946 18446604566354525664 0 0 -1 5 0 0 0
[pid=14745/tid=14759] ppid=14743 vsize=3946480 CPUtime=4.11 cores=0-31
/proc/14745/task/14759/stat : 14759 (claspmt) R 14743 14745 14715 0 -1 4202560 27949 0 0 0 192 219 0 0 17 0 32 0 49130685 4041195520 751568 270582939648 4194304 4964800 140736332760816 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=14745/tid=14760] ppid=14743 vsize=3946480 CPUtime=2.98 cores=0-31
/proc/14745/task/14760/stat : 14760 (claspmt) S 14743 14745 14715 0 -1 4202560 29212 0 0 0 87 211 0 0 16 0 32 0 49130685 4041195520 751568 270582939648 4194304 4964800 140736332760816 18446744073709551615 258662772457 0 0 4096 18946 18446604575035219424 0 0 -1 1 0 0 0
[pid=14745/tid=14761] ppid=14743 vsize=3946480 CPUtime=3.3 cores=0-31
/proc/14745/task/14761/stat : 14761 (claspmt) S 14743 14745 14715 0 -1 4202560 27917 0 0 0 107 223 0 0 16 0 32 0 49130685 4041195520 751568 270582939648 4194304 4964800 140736332760816 18446744073709551615 258662772457 0 0 4096 18946 18446604498678160864 0 0 -1 12 0 0 0
[pid=14745/tid=14762] ppid=14743 vsize=3946480 CPUtime=2.12 cores=0-31
/proc/14745/task/14762/stat : 14762 (claspmt) S 14743 14745 14715 0 -1 4202560 22996 0 0 0 30 182 0 0 16 0 32 0 49130686 4041195520 751568 270582939648 4194304 4964800 140736332760816 18446744073709551615 258662772457 0 0 4096 18946 18446604572464995808 0 0 -1 26 0 0 0
[pid=14745/tid=14763] ppid=14743 vsize=3946480 CPUtime=2.18 cores=0-31
/proc/14745/task/14763/stat : 14763 (claspmt) S 14743 14745 14715 0 -1 4202560 22626 0 0 0 26 192 0 0 16 0 32 0 49130686 4041195520 751568 270582939648 4194304 4964800 140736332760816 18446744073709551615 258662772457 0 0 4096 18946 18446604560040418784 0 0 -1 19 0 0 0
[pid=14745/tid=14764] ppid=14743 vsize=3946480 CPUtime=3.03 cores=0-31
/proc/14745/task/14764/stat : 14764 (claspmt) S 14743 14745 14715 0 -1 4202560 29870 0 0 0 88 215 0 0 16 0 32 0 49130686 4041195520 751568 270582939648 4194304 4964800 140736332760816 18446744073709551615 258662772457 0 0 4096 18946 18446604568412339680 0 0 -1 9 0 0 0
[pid=14745/tid=14765] ppid=14743 vsize=3946480 CPUtime=2.97 cores=0-31
/proc/14745/task/14765/stat : 14765 (claspmt) S 14743 14745 14715 0 -1 4202560 29938 0 0 0 80 217 0 0 16 0 32 0 49130686 4041195520 751568 270582939648 4194304 4964800 140736332760816 18446744073709551615 258662772457 0 0 4096 18946 18446604568260632032 0 0 -1 13 0 0 0
[pid=14745/tid=14766] ppid=14743 vsize=3946480 CPUtime=2.38 cores=0-31
/proc/14745/task/14766/stat : 14766 (claspmt) S 14743 14745 14715 0 -1 4202560 22305 0 0 0 26 212 0 0 15 0 32 0 49130686 4041195520 751568 270582939648 4194304 4964800 140736332760816 18446744073709551615 258662772457 0 0 4096 18946 18446604560940539360 0 0 -1 2 0 0 0
[pid=14745/tid=14767] ppid=14743 vsize=3946480 CPUtime=4.17 cores=0-31
################
# More data... #
################
/proc/14745/task/14756/stat : 14756 (claspmt) R 14743 14745 14715 0 -1 4202560 84689 0 0 0 79503 421 0 0 25 0 32 0 49130685 5589409792 1095337 270582939648 4194304 4964800 140736332760816 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=14745/tid=14757] ppid=14743 vsize=5458408 CPUtime=797.72 cores=0-31
/proc/14745/task/14757/stat : 14757 (claspmt) R 14743 14745 14715 0 -1 4202560 35540 0 0 0 79548 224 0 0 25 0 32 0 49130685 5589409792 1095337 270582939648 4194304 4964800 140736332760816 18446744073709551615 4362944 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=14745/tid=14758] ppid=14743 vsize=5458408 CPUtime=799.9 cores=0-31
/proc/14745/task/14758/stat : 14758 (claspmt) R 14743 14745 14715 0 -1 4202560 28425 0 0 0 79755 235 0 0 25 0 32 0 49130685 5589409792 1095337 270582939648 4194304 4964800 140736332760816 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=14745/tid=14759] ppid=14743 vsize=5458408 CPUtime=1527.21 cores=0-31
/proc/14745/task/14759/stat : 14759 (claspmt) R 14743 14745 14715 0 -1 4202560 33336 0 0 0 152473 248 0 0 25 0 32 0 49130685 5589409792 1095338 270582939648 4194304 4964800 140736332760816 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=14745/tid=14760] ppid=14743 vsize=5458408 CPUtime=800.39 cores=0-31
/proc/14745/task/14760/stat : 14760 (claspmt) R 14743 14745 14715 0 -1 4202560 37919 0 0 0 79794 245 0 0 25 0 32 0 49130685 5589409792 1095338 270582939648 4194304 4964800 140736332760816 18446744073709551615 4653507 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14745/tid=14761] ppid=14743 vsize=5458408 CPUtime=800.75 cores=0-31
/proc/14745/task/14761/stat : 14761 (claspmt) R 14743 14745 14715 0 -1 4202560 36490 0 0 0 79814 261 0 0 25 0 32 0 49130685 5589409792 1095338 270582939648 4194304 4964800 140736332760816 18446744073709551615 4342202 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=14745/tid=14762] ppid=14743 vsize=5458408 CPUtime=799.56 cores=0-31
/proc/14745/task/14762/stat : 14762 (claspmt) R 14743 14745 14715 0 -1 4202560 26058 0 0 0 79762 194 0 0 25 0 32 0 49130686 5589409792 1095338 270582939648 4194304 4964800 140736332760816 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=14745/tid=14763] ppid=14743 vsize=5458408 CPUtime=799.63 cores=0-31
/proc/14745/task/14763/stat : 14763 (claspmt) R 14743 14745 14715 0 -1 4202560 26297 0 0 0 79758 205 0 0 25 0 32 0 49130686 5589409792 1095338 270582939648 4194304 4964800 140736332760816 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=14745/tid=14764] ppid=14743 vsize=5458408 CPUtime=798.57 cores=0-31
/proc/14745/task/14764/stat : 14764 (claspmt) R 14743 14745 14715 0 -1 4202560 70412 0 0 0 79479 378 0 0 25 0 32 0 49130686 5589409792 1095338 270582939648 4194304 4964800 140736332760816 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14745/tid=14765] ppid=14743 vsize=5458408 CPUtime=800.42 cores=0-31
/proc/14745/task/14765/stat : 14765 (claspmt) R 14743 14745 14715 0 -1 4202560 38751 0 0 0 79788 254 0 0 25 0 32 0 49130686 5589409792 1095338 270582939648 4194304 4964800 140736332760816 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=14745/tid=14766] ppid=14743 vsize=5458408 CPUtime=799.8 cores=0-31
/proc/14745/task/14766/stat : 14766 (claspmt) R 14743 14745 14715 0 -1 4202560 27588 0 0 0 79745 235 0 0 25 0 32 0 49130686 5589409792 1095338 270582939648 4194304 4964800 140736332760816 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=14745/tid=14767] ppid=14743 vsize=5458408 CPUtime=1552.58 cores=0-31
/proc/14745/task/14767/stat : 14767 (claspmt) R 14743 14745 14715 0 -1 4202560 33307 0 0 0 155036 222 0 0 25 0 32 0 49130686 5589409792 1095338 270582939648 4194304 4964800 140736332760816 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14745/tid=14768] ppid=14743 vsize=5458408 CPUtime=800.53 cores=0-31
/proc/14745/task/14768/stat : 14768 (claspmt) R 14743 14745 14715 0 -1 4202560 33872 0 0 0 79796 257 0 0 25 0 32 0 49130686 5589409792 1095338 270582939648 4194304 4964800 140736332760816 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=14745/tid=14769] ppid=14743 vsize=5458408 CPUtime=800.79 cores=0-31
/proc/14745/task/14769/stat : 14769 (claspmt) R 14743 14745 14715 0 -1 4202560 34108 0 0 0 79832 247 0 0 25 0 32 0 49130686 5589409792 1095338 270582939648 4194304 4964800 140736332760816 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=14745/tid=14770] ppid=14743 vsize=5458408 CPUtime=799.69 cores=0-31
/proc/14745/task/14770/stat : 14770 (claspmt) R 14743 14745 14715 0 -1 4202560 26289 0 0 0 79755 214 0 0 25 0 32 0 49130686 5589409792 1095338 270582939648 4194304 4964800 140736332760816 18446744073709551615 4669280 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=14745/tid=14771] ppid=14743 vsize=5458408 CPUtime=799.78 cores=0-31
/proc/14745/task/14771/stat : 14771 (claspmt) R 14743 14745 14715 0 -1 4202560 26669 0 0 0 79758 220 0 0 25 0 32 0 49130686 5589409792 1095338 270582939648 4194304 4964800 140736332760816 18446744073709551615 4370352 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=14745/tid=14772] ppid=14743 vsize=5458408 CPUtime=800.29 cores=0-31
/proc/14745/task/14772/stat : 14772 (claspmt) R 14743 14745 14715 0 -1 4202560 73247 0 0 0 79638 391 0 0 25 0 32 0 49130686 5589409792 1095338 270582939648 4194304 4964800 140736332760816 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=14745/tid=14773] ppid=14743 vsize=5458408 CPUtime=800.3 cores=0-31
/proc/14745/task/14773/stat : 14773 (claspmt) R 14743 14745 14715 0 -1 4202560 37901 0 0 0 79789 241 0 0 25 0 32 0 49130686 5589409792 1095338 270582939648 4194304 4964800 140736332760816 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=14745/tid=14774] ppid=14743 vsize=5458408 CPUtime=799.64 cores=0-31
/proc/14745/task/14774/stat : 14774 (claspmt) R 14743 14745 14715 0 -1 4202560 26148 0 0 0 79758 206 0 0 25 0 32 0 49130686 5589409792 1095338 270582939648 4194304 4964800 140736332760816 18446744073709551615 4670009 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=14745/tid=14775] ppid=14743 vsize=5458408 CPUtime=1532.02 cores=0-31
/proc/14745/task/14775/stat : 14775 (claspmt) R 14743 14745 14715 0 -1 4202560 32974 0 0 0 152979 223 0 0 25 0 32 0 49130686 5589409792 1095338 270582939648 4194304 4964800 140736332760816 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=14745/tid=14776] ppid=14743 vsize=5458408 CPUtime=800.37 cores=0-31
/proc/14745/task/14776/stat : 14776 (claspmt) R 14743 14745 14715 0 -1 4202560 41308 0 0 0 79789 248 0 0 25 0 32 0 49130686 5589409792 1095338 270582939648 4194304 4964800 140736332760816 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=14745/tid=14777] ppid=14743 vsize=5458408 CPUtime=800.71 cores=0-31
/proc/14745/task/14777/stat : 14777 (claspmt) R 14743 14745 14715 0 -1 4202560 33633 0 0 0 79833 238 0 0 25 0 32 0 49130686 5589409792 1095338 270582939648 4194304 4964800 140736332760816 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 28527.2
Current children cumulated vsize (KiB) 5458408
[startup+1587.1 s]
/proc/loadavg: 32.22 30.47 24.49 33/445 14819
/proc/meminfo: memFree=257223232/264257624 swapFree=67111528/67111528
[pid=14745] ppid=14743 vsize=5458408 CPUtime=29345.5 cores=0-31
/proc/14745/stat : 14745 (claspmt) R 14743 14745 14715 0 -1 4202496 1264030 0 0 0 2926572 7977 0 0 25 0 32 0 49130327 5589409792 1108628 270582939648 4194304 4964800 140736332760816 18446744073709551615 4372759 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/14745/statm: 1364602 1108628 455 189 0 1358951 0
[pid=14745/tid=14747] ppid=14743 vsize=5458408 CPUtime=825.37 cores=0-31
/proc/14745/task/14747/stat : 14747 (claspmt) R 14743 14745 14715 0 -1 4202560 27311 0 0 0 82307 230 0 0 25 0 32 0 49130685 5589409792 1108628 270582939648 4194304 4964800 140736332760816 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=14745/tid=14748] ppid=14743 vsize=5458408 CPUtime=826.07 cores=0-31
/proc/14745/task/14748/stat : 14748 (claspmt) R 14743 14745 14715 0 -1 4202560 70466 0 0 0 82224 383 0 0 25 0 32 0 49130685 5589409792 1108628 270582939648 4194304 4964800 140736332760816 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=14745/tid=14749] ppid=14743 vsize=5458408 CPUtime=825.87 cores=0-31
/proc/14745/task/14749/stat : 14749 (claspmt) R 14743 14745 14715 0 -1 4202560 39238 0 0 0 82354 233 0 0 25 0 32 0 49130685 5589409792 1108628 270582939648 4194304 4964800 140736332760816 18446744073709551615 4669560 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=14745/tid=14750] ppid=14743 vsize=5458408 CPUtime=825.39 cores=0-31
/proc/14745/task/14750/stat : 14750 (claspmt) R 14743 14745 14715 0 -1 4202560 27089 0 0 0 82298 241 0 0 25 0 32 0 49130685 5589409792 1108628 270582939648 4194304 4964800 140736332760816 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=14745/tid=14751] ppid=14743 vsize=5458408 CPUtime=1548.7 cores=0-31
/proc/14745/task/14751/stat : 14751 (claspmt) R 14743 14745 14715 0 -1 4202560 32128 0 0 0 154632 238 0 0 25 0 32 0 49130685 5589409792 1108628 270582939648 4194304 4964800 140736332760816 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=14745/tid=14752] ppid=14743 vsize=5458408 CPUtime=825.78 cores=0-31
/proc/14745/task/14752/stat : 14752 (claspmt) R 14743 14745 14715 0 -1 4202560 39184 0 0 0 82320 258 0 0 25 0 32 0 49130685 5589409792 1108628 270582939648 4194304 4964800 140736332760816 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=14745/tid=14753] ppid=14743 vsize=5458408 CPUtime=826.6 cores=0-31
/proc/14745/task/14753/stat : 14753 (claspmt) R 14743 14745 14715 0 -1 4202560 35601 0 0 0 82426 234 0 0 25 0 32 0 49130685 5589409792 1108628 270582939648 4194304 4964800 140736332760816 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=14745/tid=14754] ppid=14743 vsize=5458408 CPUtime=825.06 cores=0-31
/proc/14745/task/14754/stat : 14754 (claspmt) R 14743 14745 14715 0 -1 4202560 25536 0 0 0 82286 220 0 0 25 0 32 0 49130685 5589409792 1108628 270582939648 4194304 4964800 140736332760816 18446744073709551615 4652140 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=14745/tid=14755] ppid=14743 vsize=5458408 CPUtime=825.45 cores=0-31
/proc/14745/task/14755/stat : 14755 (claspmt) R 14743 14745 14715 0 -1 4202560 26440 0 0 0 82314 231 0 0 25 0 32 0 49130685 5589409792 1108628 270582939648 4194304 4964800 140736332760816 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=14745/tid=14756] ppid=14743 vsize=5458408 CPUtime=824.11 cores=0-31
/proc/14745/task/14756/stat : 14756 (claspmt) R 14743 14745 14715 0 -1 4202560 86034 0 0 0 81984 427 0 0 25 0 32 0 49130685 5589409792 1108628 270582939648 4194304 4964800 140736332760816 18446744073709551615 4378505 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=14745/tid=14757] ppid=14743 vsize=5458408 CPUtime=823.32 cores=0-31
/proc/14745/task/14757/stat : 14757 (claspmt) R 14743 14745 14715 0 -1 4202560 35547 0 0 0 82108 224 0 0 25 0 32 0 49130685 5589409792 1108628 270582939648 4194304 4964800 140736332760816 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=14745/tid=14758] ppid=14743 vsize=5458408 CPUtime=825.49 cores=0-31
/proc/14745/task/14758/stat : 14758 (claspmt) R 14743 14745 14715 0 -1 4202560 28428 0 0 0 82314 235 0 0 25 0 32 0 49130685 5589409792 1108628 270582939648 4194304 4964800 140736332760816 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=14745/tid=14759] ppid=14743 vsize=5458408 CPUtime=1552.81 cores=0-31
/proc/14745/task/14759/stat : 14759 (claspmt) R 14743 14745 14715 0 -1 4202560 33336 0 0 0 155033 248 0 0 25 0 32 0 49130685 5589409792 1108628 270582939648 4194304 4964800 140736332760816 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=14745/tid=14760] ppid=14743 vsize=5458408 CPUtime=825.98 cores=0-31
/proc/14745/task/14760/stat : 14760 (claspmt) R 14743 14745 14715 0 -1 4202560 37924 0 0 0 82353 245 0 0 25 0 32 0 49130685 5589409792 1108628 270582939648 4194304 4964800 140736332760816 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14745/tid=14761] ppid=14743 vsize=5458408 CPUtime=826.34 cores=0-31
/proc/14745/task/14761/stat : 14761 (claspmt) R 14743 14745 14715 0 -1 4202560 36518 0 0 0 82373 261 0 0 25 0 32 0 49130685 5589409792 1108628 270582939648 4194304 4964800 140736332760816 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=14745/tid=14762] ppid=14743 vsize=5458408 CPUtime=825.16 cores=0-31
/proc/14745/task/14762/stat : 14762 (claspmt) R 14743 14745 14715 0 -1 4202560 26149 0 0 0 82322 194 0 0 25 0 32 0 49130686 5589409792 1108628 270582939648 4194304 4964800 140736332760816 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=14745/tid=14763] ppid=14743 vsize=5458408 CPUtime=825.23 cores=0-31
/proc/14745/task/14763/stat : 14763 (claspmt) R 14743 14745 14715 0 -1 4202560 26350 0 0 0 82318 205 0 0 25 0 32 0 49130686 5589409792 1108628 270582939648 4194304 4964800 140736332760816 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=14745/tid=14764] ppid=14743 vsize=5458408 CPUtime=824.16 cores=0-31
/proc/14745/task/14764/stat : 14764 (claspmt) R 14743 14745 14715 0 -1 4202560 74229 0 0 0 82026 390 0 0 25 0 32 0 49130686 5589409792 1108628 270582939648 4194304 4964800 140736332760816 18446744073709551615 4678038 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14745/tid=14765] ppid=14743 vsize=5458408 CPUtime=826.01 cores=0-31
/proc/14745/task/14765/stat : 14765 (claspmt) R 14743 14745 14715 0 -1 4202560 39075 0 0 0 82346 255 0 0 25 0 32 0 49130686 5589409792 1108628 270582939648 4194304 4964800 140736332760816 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=14745/tid=14766] ppid=14743 vsize=5458408 CPUtime=825.39 cores=0-31
/proc/14745/task/14766/stat : 14766 (claspmt) R 14743 14745 14715 0 -1 4202560 27592 0 0 0 82304 235 0 0 25 0 32 0 49130686 5589409792 1108628 270582939648 4194304 4964800 140736332760816 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=14745/tid=14767] ppid=14743 vsize=5458408 CPUtime=1578.18 cores=0-31
/proc/14745/task/14767/stat : 14767 (claspmt) R 14743 14745 14715 0 -1 4202560 33307 0 0 0 157596 222 0 0 25 0 32 0 49130686 5589409792 1108628 270582939648 4194304 4964800 140736332760816 18446744073709551615 4669008 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14745/tid=14768] ppid=14743 vsize=5458408 CPUtime=826.12 cores=0-31
/proc/14745/task/14768/stat : 14768 (claspmt) R 14743 14745 14715 0 -1 4202560 34468 0 0 0 82352 260 0 0 25 0 32 0 49130686 5589409792 1108628 270582939648 4194304 4964800 140736332760816 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=14745/tid=14769] ppid=14743 vsize=5458408 CPUtime=826.38 cores=0-31
/proc/14745/task/14769/stat : 14769 (claspmt) R 14743 14745 14715 0 -1 4202560 34110 0 0 0 82391 247 0 0 25 0 32 0 49130686 5589409792 1108628 270582939648 4194304 4964800 140736332760816 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=14745/tid=14770] ppid=14743 vsize=5458408 CPUtime=825.28 cores=0-31
/proc/14745/task/14770/stat : 14770 (claspmt) R 14743 14745 14715 0 -1 4202560 26315 0 0 0 82314 214 0 0 25 0 32 0 49130686 5589409792 1108628 270582939648 4194304 4964800 140736332760816 18446744073709551615 4371527 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=14745/tid=14771] ppid=14743 vsize=5458408 CPUtime=825.38 cores=0-31
/proc/14745/task/14771/stat : 14771 (claspmt) R 14743 14745 14715 0 -1 4202560 26703 0 0 0 82317 221 0 0 25 0 32 0 49130686 5589409792 1108628 270582939648 4194304 4964800 140736332760816 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=14745/tid=14772] ppid=14743 vsize=5458408 CPUtime=825.88 cores=0-31
/proc/14745/task/14772/stat : 14772 (claspmt) R 14743 14745 14715 0 -1 4202560 76031 0 0 0 82186 402 0 0 25 0 32 0 49130686 5589409792 1108628 270582939648 4194304 4964800 140736332760816 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=14745/tid=14773] ppid=14743 vsize=5458408 CPUtime=825.89 cores=0-31
/proc/14745/task/14773/stat : 14773 (claspmt) R 14743 14745 14715 0 -1 4202560 38219 0 0 0 82347 242 0 0 25 0 32 0 49130686 5589409792 1108628 270582939648 4194304 4964800 140736332760816 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=14745/tid=14774] ppid=14743 vsize=5458408 CPUtime=825.24 cores=0-31
/proc/14745/task/14774/stat : 14774 (claspmt) R 14743 14745 14715 0 -1 4202560 26148 0 0 0 82318 206 0 0 25 0 32 0 49130686 5589409792 1108628 270582939648 4194304 4964800 140736332760816 18446744073709551615 4669001 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=14745/tid=14775] ppid=14743 vsize=5458408 CPUtime=1557.61 cores=0-31
/proc/14745/task/14775/stat : 14775 (claspmt) R 14743 14745 14715 0 -1 4202560 32974 0 0 0 155538 223 0 0 25 0 32 0 49130686 5589409792 1108628 270582939648 4194304 4964800 140736332760816 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=14745/tid=14776] ppid=14743 vsize=5458408 CPUtime=825.96 cores=0-31
/proc/14745/task/14776/stat : 14776 (claspmt) R 14743 14745 14715 0 -1 4202560 42404 0 0 0 82344 252 0 0 25 0 32 0 49130686 5589409792 1108628 270582939648 4194304 4964800 140736332760816 18446744073709551615 4683952 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=14745/tid=14777] ppid=14743 vsize=5458408 CPUtime=826.31 cores=0-31
/proc/14745/task/14777/stat : 14777 (claspmt) R 14743 14745 14715 0 -1 4202560 33896 0 0 0 82391 240 0 0 25 0 32 0 49130686 5589409792 1108628 270582939648 4194304 4964800 140736332760816 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 29345.5
Current children cumulated vsize (KiB) 5458408
[startup+1593.5 s]
/proc/loadavg: 32.20 30.50 24.53 33/445 14819
/proc/meminfo: memFree=257215052/264257624 swapFree=67111528/67111528
[pid=14745] ppid=14743 vsize=5368208 CPUtime=29532.4 cores=0-31
/proc/14745/stat : 14745 (claspmt) R 14743 14745 14715 0 -1 4202496 1265641 0 0 0 2945244 7992 0 0 25 0 1 0 49130327 5497044992 1110195 270582939648 4194304 4964800 140736332760816 18446744073709551615 258650613542 0 0 4096 18946 0 0 0 17 13 0 0 0
/proc/14745/statm: 1342052 1110195 466 189 0 1336401 0
Current children cumulated CPU time (s) 29532.4
Current children cumulated vsize (KiB) 5368208
[startup+1596.7 s]
/proc/loadavg: 29.70 30.01 24.40 2/414 14819
/proc/meminfo: memFree=257587532/264257624 swapFree=67111528/67111528
[pid=14745] ppid=14743 vsize=4895740 CPUtime=29535.6 cores=0-31
/proc/14745/stat : 14745 (claspmt) R 14743 14745 14715 0 -1 4202496 1265641 0 0 0 2945560 7996 0 0 25 0 1 0 49130327 5013237760 982681 270582939648 4194304 4964800 140736332760816 18446744073709551615 258650604748 0 0 4096 18946 0 0 0 17 13 0 0 0
/proc/14745/statm: 1223935 982681 466 189 0 1218284 0
Current children cumulated CPU time (s) 29535.6
Current children cumulated vsize (KiB) 4895740
[startup+1598.33 s]
/proc/loadavg: 29.70 30.01 24.40 2/414 14819
/proc/meminfo: memFree=257970696/264257624 swapFree=67111528/67111528
[pid=14745] ppid=14743 vsize=4550972 CPUtime=29537.2 cores=0-31
/proc/14745/stat : 14745 (claspmt) R 14743 14745 14715 0 -1 4202496 1265641 0 0 0 2945721 7998 0 0 25 0 1 0 49130327 4660195328 921008 270582939648 4194304 4964800 140736332760816 18446744073709551615 258650612746 0 0 4096 18946 0 0 0 17 13 0 0 0
/proc/14745/statm: 1137743 921008 466 189 0 1132092 0
Current children cumulated CPU time (s) 29537.2
Current children cumulated vsize (KiB) 4550972
[startup+1599.1 s]
/proc/loadavg: 29.70 30.01 24.40 2/414 14819
/proc/meminfo: memFree=257970696/264257624 swapFree=67111528/67111528
[pid=14745] ppid=14743 vsize=4444124 CPUtime=29538 cores=0-31
/proc/14745/stat : 14745 (claspmt) R 14743 14745 14715 0 -1 4202496 1265641 0 0 0 2945797 7999 0 0 25 0 1 0 49130327 4550782976 892350 270582939648 4194304 4964800 140736332760816 18446744073709551615 258650604641 0 0 4096 18946 0 0 0 17 13 0 0 0
/proc/14745/statm: 1111031 892350 466 189 0 1105380 0
Current children cumulated CPU time (s) 29538
Current children cumulated vsize (KiB) 4444124
[startup+1599.9 s]
/proc/loadavg: 27.41 29.53 24.28 2/414 14819
/proc/meminfo: memFree=258116396/264257624 swapFree=67111528/67111528
[pid=14745] ppid=14743 vsize=3616380 CPUtime=29538.8 cores=0-31
/proc/14745/stat : 14745 (claspmt) R 14743 14745 14715 0 -1 4202496 1265641 0 0 0 2945873 8003 0 0 25 0 1 0 49130327 3703173120 685878 270582939648 4194304 4964800 140736332760816 18446744073709551615 258650613570 0 0 4096 18946 0 0 0 17 13 0 0 0
/proc/14745/statm: 904095 685878 466 189 0 898444 0
Current children cumulated CPU time (s) 29538.8
Current children cumulated vsize (KiB) 3616380
[startup+1600.1 s]
/proc/loadavg: 27.41 29.53 24.28 2/414 14819
/proc/meminfo: memFree=258116396/264257624 swapFree=67111528/67111528
[pid=14745] ppid=14743 vsize=0 CPUtime=29539 cores=0-31
/proc/14745/stat : 14745 (claspmt) R 14743 14745 14715 0 -1 4202500 1265642 0 0 0 2945882 8014 0 0 25 0 1 0 49130327 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 13 0 0 0
/proc/14745/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 29539
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 1600.19
CPU time (s): 29539.1
CPU user time (s): 29458.8
CPU system time (s): 80.2378
CPU usage (%): 1845.97
Max. virtual memory (cumulated for all children) (KiB): 5458408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29458.8
system time used= 80.2378
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1265642
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= 825049
involuntary context switches= 65537
runsolver used 8.26274 second user time and 36.3475 second system time
The end
Begin job on node200 at 2011-06-12 02:10:34
IDJOB=3472550
IDBENCH=88159
IDSOLVER=1961
FILE ID=node200/3472550-1307837427
RUNJOBID= node200-1307837427-14729
PBS_JOBID= 13551067
Free space on /tmp= 61556 MiB
SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT-Race-2010-CNF/hardware-verification/velev/1dlx_c_iq57_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-3472550-1307837427/watcher-3472550-1307837427 -o /tmp/evaluation-result-3472550-1307837427/solver-3472550-1307837427 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472550-1307837427.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 256000 MiB
NBCORE= 32
MD5SUM BENCH= 953b9cb99bfd26cff0e1ac65be1241f6
RANDOM SEED=726454533
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: 261652368 kB
Buffers: 301992 kB
Cached: 1971984 kB
SwapCached: 0 kB
Active: 522680 kB
Inactive: 1814336 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 261652368 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 194568 kB
Writeback: 0 kB
AnonPages: 63468 kB
Mapped: 14480 kB
Slab: 189748 kB
PageTables: 4448 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 170604 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= 61552 MiB
End job on node200 at 2011-06-12 02:37:15