SAT 2011 Competition: 32 cores track competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
claspmt 2.0-R4095-patched (fixed)	SAT	66518.3	2081.47

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-3472479-1307764682/watcher-3472479-1307764682 -o /tmp/evaluation-result-3472479-1307764682/solver-3472479-1307764682 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472479-1307764682.cnf 

running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 262144000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 262195200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 30.72 31.85 32.00 1/413 7110
/proc/meminfo: memFree=262109512/264257624 swapFree=67111528/67111528
[pid=7110] ppid=7108 vsize=106984 CPUtime=0.02 cores=0-31
/proc/7110/stat : 7110 (claspmt) R 7108 7110 6939 0 -1 4202496 850 0 0 0 2 0 0 0 18 0 5 0 41855071 109551616 756 270582939648 4194304 4964800 140736964809840 18446744073709551615 258651012321 0 0 4096 18946 18446744073709551615 0 0 17 24 0 0 0
/proc/7110/statm: 26746 759 426 189 0 21095 0
[pid=7110/tid=7111] ppid=7108 vsize=541656 CPUtime=0 cores=0-31
/proc/7110/task/7111/stat : 7111 (claspmt) D 7108 7110 6939 0 -1 4202560 34 0 0 0 0 0 0 0 18 0 15 0 41855074 554655744 1044 270582939648 4194304 4964800 140736964809840 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=7110/tid=7112] ppid=7108 vsize=545756 CPUtime=0 cores=0-31
/proc/7110/task/7112/stat : 7112 (claspmt) D 7108 7110 6939 0 -1 4202560 44 0 0 0 0 0 0 0 18 0 15 0 41855074 558854144 1058 270582939648 4194304 4964800 140736964809840 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=7110/tid=7113] ppid=7108 vsize=545756 CPUtime=0 cores=0-31
/proc/7110/task/7113/stat : 7113 (claspmt) D 7108 7110 6939 0 -1 4202560 68 0 0 0 0 0 0 0 18 0 16 0 41855074 558854144 1067 270582939648 4194304 4964800 140736964809840 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=7110/tid=7114] ppid=7108 vsize=545756 CPUtime=0 cores=0-31
/proc/7110/task/7114/stat : 7114 (claspmt) D 7108 7110 6939 0 -1 4202560 36 0 0 0 0 0 0 0 18 0 16 0 41855074 558854144 1075 270582939648 4194304 4964800 140736964809840 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7110/tid=7115] ppid=7108 vsize=549856 CPUtime=0 cores=0-31
/proc/7110/task/7115/stat : 7115 (claspmt) R 7108 7110 6939 0 -1 4202560 41 0 0 0 0 0 0 0 18 0 16 0 41855074 563052544 1076 270582939648 4194304 4964800 140736964809840 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7110/tid=7116] ppid=7108 vsize=549856 CPUtime=0 cores=0-31
/proc/7110/task/7116/stat : 7116 (claspmt) D 7108 7110 6939 0 -1 4202560 42 0 0 0 0 0 0 0 18 0 16 0 41855074 563052544 1089 270582939648 4194304 4964800 140736964809840 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=7110/tid=7117] ppid=7108 vsize=549856 CPUtime=0 cores=0-31
/proc/7110/task/7117/stat : 7117 (claspmt) D 7108 7110 6939 0 -1 4202560 37 0 0 0 0 0 0 0 18 0 17 0 41855074 563052544 1093 270582939648 4194304 4964800 140736964809840 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=7110/tid=7118] ppid=7108 vsize=549856 CPUtime=0 cores=0-31
/proc/7110/task/7118/stat : 7118 (claspmt) D 7108 7110 6939 0 -1 4202560 25 0 0 0 0 0 0 0 19 0 17 0 41855074 563052544 1101 270582939648 4194304 4964800 140736964809840 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=7110/tid=7119] ppid=7108 vsize=553956 CPUtime=0 cores=0-31
/proc/7110/task/7119/stat : 7119 (claspmt) R 7108 7110 6939 0 -1 4202560 19 0 0 0 0 0 0 0 19 0 17 0 41855074 567250944 1106 270582939648 4194304 4964800 140736964809840 18446744073709551615 4679094 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=7110/tid=7120] ppid=7108 vsize=553956 CPUtime=0 cores=0-31
/proc/7110/task/7120/stat : 7120 (claspmt) D 7108 7110 6939 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 17 0 41855074 567250944 1115 270582939648 4194304 4964800 140736964809840 18446744073709551615 4679151 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=7110/tid=7121] ppid=7108 vsize=553956 CPUtime=0 cores=0-31
/proc/7110/task/7121/stat : 7121 (claspmt) D 7108 7110 6939 0 -1 4202560 13 0 0 0 0 0 0 0 18 0 18 0 41855074 567250944 1119 270582939648 4194304 4964800 140736964809840 18446744073709551615 4679094 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7110/tid=7122] ppid=7108 vsize=553956 CPUtime=0 cores=0-31
/proc/7110/task/7122/stat : 7122 (claspmt) D 7108 7110 6939 0 -1 4202560 15 0 0 0 0 0 0 0 18 0 18 0 41855074 567250944 1122 270582939648 4194304 4964800 140736964809840 18446744073709551615 4679151 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7110/tid=7123] ppid=7108 vsize=689128 CPUtime=0 cores=0-31
/proc/7110/task/7123/stat : 7123 (claspmt) D 7108 7110 6939 0 -1 4202560 13 0 0 0 0 0 0 0 19 0 18 0 41855075 705667072 1131 270582939648 4194304 4964800 140736964809840 18446744073709551615 4679094 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=7110/tid=7124] ppid=7108 vsize=623592 CPUtime=0 cores=0-31
/proc/7110/task/7124/stat : 7124 (claspmt) D 7108 7110 6939 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 41855075 638558208 1137 270582939648 4194304 4964800 140736964809840 18446744073709551615 4679091 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7110/tid=7125] ppid=7108 vsize=623592 CPUtime=0 cores=0-31
/proc/7110/task/7125/stat : 7125 (claspmt) D 7108 7110 6939 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 18 0 41855075 638558208 1143 270582939648 4194304 4964800 140736964809840 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=7110/tid=7126] ppid=7108 vsize=623592 CPUtime=0 cores=0-31
/proc/7110/task/7126/stat : 7126 (claspmt) S 7108 7110 6939 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 18 0 41855075 638558208 1146 270582939648 4194304 4964800 140736964809840 18446744073709551615 258651060958 0 0 4096 18946 18446744071566929864 0 0 -1 0 0 0 0
[pid=7110/tid=7127] ppid=7108 vsize=623592 CPUtime=0 cores=0-31
/proc/7110/task/7127/stat : 7127 (claspmt) R 7108 7110 6939 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 18 0 41855075 638558208 1152 270582939648 4194304 4964800 140736964809840 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 -1 1 0 0 0

[startup+0.083884 s]
/proc/loadavg: 30.72 31.85 32.00 1/413 7110
/proc/meminfo: memFree=262109512/264257624 swapFree=67111528/67111528
[pid=7110] ppid=7108 vsize=1332980 CPUtime=0.23 cores=0-31
/proc/7110/stat : 7110 (claspmt) R 7108 7110 6939 0 -1 4202496 3729 0 0 0 19 4 0 0 18 0 32 0 41855071 1364971520 3394 270582939648 4194304 4964800 140736964809840 18446744073709551615 4670437 0 0 4096 18946 18446744073709551615 0 0 17 20 0 0 0
/proc/7110/statm: 333245 3394 454 189 0 327594 0
[pid=7110/tid=7111] ppid=7108 vsize=1332980 CPUtime=0 cores=0-31
/proc/7110/task/7111/stat : 7111 (claspmt) R 7108 7110 6939 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 32 0 41855074 1364971520 3394 270582939648 4194304 4964800 140736964809840 18446744073709551615 4371928 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=7110/tid=7112] ppid=7108 vsize=1332980 CPUtime=0 cores=0-31
/proc/7110/task/7112/stat : 7112 (claspmt) D 7108 7110 6939 0 -1 4202560 113 0 0 0 0 0 0 0 17 0 32 0 41855074 1364971520 3394 270582939648 4194304 4964800 140736964809840 18446744073709551615 258654409707 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=7110/tid=7113] ppid=7108 vsize=1332980 CPUtime=0 cores=0-31
/proc/7110/task/7113/stat : 7113 (claspmt) S 7108 7110 6939 0 -1 4202560 108 0 0 0 0 0 0 0 17 0 32 0 41855074 1364971520 3394 270582939648 4194304 4964800 140736964809840 18446744073709551615 258651060958 0 0 4096 18946 18446744071566931104 0 0 -1 5 0 0 0
[pid=7110/tid=7114] ppid=7108 vsize=1332980 CPUtime=0 cores=0-31
/proc/7110/task/7114/stat : 7114 (claspmt) D 7108 7110 6939 0 -1 4202560 91 0 0 0 0 0 0 0 17 0 32 0 41855074 1364971520 3394 270582939648 4194304 4964800 140736964809840 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=7110/tid=7115] ppid=7108 vsize=1332980 CPUtime=0.01 cores=0-31
/proc/7110/task/7115/stat : 7115 (claspmt) S 7108 7110 6939 0 -1 4202560 93 0 0 0 1 0 0 0 17 0 32 0 41855074 1364971520 3394 270582939648 4194304 4964800 140736964809840 18446744073709551615 258651060958 0 0 4096 18946 18446744071566931384 0 0 -1 18 0 0 0
[pid=7110/tid=7116] ppid=7108 vsize=1332980 CPUtime=0 cores=0-31
/proc/7110/task/7116/stat : 7116 (claspmt) D 7108 7110 6939 0 -1 4202560 102 0 0 0 0 0 0 0 17 0 32 0 41855074 1364971520 3394 270582939648 4194304 4964800 140736964809840 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=7110/tid=7117] ppid=7108 vsize=1332980 CPUtime=0 cores=0-31
/proc/7110/task/7117/stat : 7117 (claspmt) D 7108 7110 6939 0 -1 4202560 101 0 0 0 0 0 0 0 17 0 32 0 41855074 1364971520 3394 270582939648 4194304 4964800 140736964809840 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=7110/tid=7118] ppid=7108 vsize=1332980 CPUtime=0 cores=0-31
/proc/7110/task/7118/stat : 7118 (claspmt) D 7108 7110 6939 0 -1 4202560 88 0 0 0 0 0 0 0 19 0 32 0 41855074 1364971520 3394 270582939648 4194304 4964800 140736964809840 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=7110/tid=7119] ppid=7108 vsize=1332980 CPUtime=0 cores=0-31
/proc/7110/task/7119/stat : 7119 (claspmt) S 7108 7110 6939 0 -1 4202560 95 0 0 0 0 0 0 0 17 0 32 0 41855074 1364971520 3394 270582939648 4194304 4964800 140736964809840 18446744073709551615 258651060958 0 0 4096 18946 18446744071566923944 0 0 -1 0 0 0 0
[pid=7110/tid=7120] ppid=7108 vsize=1332980 CPUtime=0 cores=0-31
/proc/7110/task/7120/stat : 7120 (claspmt) S 7108 7110 6939 0 -1 4202560 98 0 0 0 0 0 0 0 17 0 32 0 41855074 1364971520 3394 270582939648 4194304 4964800 140736964809840 18446744073709551615 258651060958 0 0 4096 18946 18446604499752271328 0 0 -1 2 0 0 0
[pid=7110/tid=7121] ppid=7108 vsize=1332980 CPUtime=0 cores=0-31
/proc/7110/task/7121/stat : 7121 (claspmt) S 7108 7110 6939 0 -1 4202560 93 0 0 0 0 0 0 0 17 0 32 0 41855074 1364971520 3395 270582939648 4194304 4964800 140736964809840 18446744073709551615 258651060958 0 0 4096 18946 18446744071566924984 0 0 -1 10 0 0 0
[pid=7110/tid=7122] ppid=7108 vsize=1332980 CPUtime=0 cores=0-31
/proc/7110/task/7122/stat : 7122 (claspmt) D 7108 7110 6939 0 -1 4202560 79 0 0 0 0 0 0 0 17 0 32 0 41855074 1364971520 3395 270582939648 4194304 4964800 140736964809840 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7110/tid=7123] ppid=7108 vsize=1332980 CPUtime=0.01 cores=0-31
/proc/7110/task/7123/stat : 7123 (claspmt) R 7108 7110 6939 0 -1 4202560 96 0 0 0 1 0 0 0 19 0 32 0 41855075 1364971520 3396 270582939648 4194304 4964800 140736964809840 18446744073709551615 4674733 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=7110/tid=7124] ppid=7108 vsize=1332980 CPUtime=0 cores=0-31
/proc/7110/task/7124/stat : 7124 (claspmt) D 7108 7110 6939 0 -1 4202560 96 0 0 0 0 0 0 0 17 0 32 0 41855075 1364971520 3396 270582939648 4194304 4964800 140736964809840 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7110/tid=7125] ppid=7108 vsize=1332980 CPUtime=0 cores=0-31
/proc/7110/task/7125/stat : 7125 (claspmt) R 7108 7110 6939 0 -1 4202560 98 0 0 0 0 0 0 0 19 0 32 0 41855075 1364971520 3396 270582939648 4194304 4964800 140736964809840 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=7110/tid=7126] ppid=7108 vsize=1332980 CPUtime=0 cores=0-31
/proc/7110/task/7126/stat : 7126 (claspmt) S 7108 7110 6939 0 -1 4202560 88 0 0 0 0 0 0 0 17 0 32 0 41855075 1364971520 3402 270582939648 4194304 4964800 140736964809840 18446744073709551615 258651060958 0 0 4096 18946 18446604501793496544 0 0 -1 7 0 0 0
[pid=7110/tid=7127] ppid=7108 vsize=1332980 CPUtime=0 cores=0-31
/proc/7110/task/7127/stat : 7127 (claspmt) S 7108 7110 6939 0 -1 4202560 89 0 0 0 0 0 0 0 19 0 32 0 41855075 1364971520 3404 270582939648 4194304 4964800 140736964809840 18446744073709551615 258651060958 0 0 4096 18946 18446604501620366816 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 1332980

[startup+0.102059 s]
/proc/loadavg: 30.72 31.85 32.00 1/413 7110
/proc/meminfo: memFree=262109512/264257624 swapFree=67111528/67111528
[pid=7110] ppid=7108 vsize=1332980 CPUtime=0.43 cores=0-31
/proc/7110/stat : 7110 (claspmt) R 7108 7110 6939 0 -1 4202496 3888 0 0 0 38 5 0 0 18 0 32 0 41855071 1364971520 3553 270582939648 4194304 4964800 140736964809840 18446744073709551615 4688993 0 0 4096 18946 18446744073709551615 0 0 17 28 0 0 0
/proc/7110/statm: 333245 3554 455 189 0 327594 0
[pid=7110/tid=7111] ppid=7108 vsize=1332980 CPUtime=0.01 cores=0-31
/proc/7110/task/7111/stat : 7111 (claspmt) R 7108 7110 6939 0 -1 4202560 53 0 0 0 1 0 0 0 17 0 32 0 41855074 1364971520 3554 270582939648 4194304 4964800 140736964809840 18446744073709551615 4651962 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=7110/tid=7112] ppid=7108 vsize=1332980 CPUtime=0.01 cores=0-31
/proc/7110/task/7112/stat : 7112 (claspmt) D 7108 7110 6939 0 -1 4202560 121 0 0 0 1 0 0 0 17 0 32 0 41855074 1364971520 3555 270582939648 4194304 4964800 140736964809840 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=7110/tid=7113] ppid=7108 vsize=1333112 CPUtime=0.01 cores=0-31
/proc/7110/task/7113/stat : 7113 (claspmt) R 7108 7110 6939 0 -1 4202560 111 0 0 0 1 0 0 0 17 0 32 0 41855074 1365106688 3566 270582939648 4194304 4964800 140736964809840 18446744073709551615 4342180 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=7110/tid=7114] ppid=7108 vsize=1333112 CPUtime=0.01 cores=0-31
/proc/7110/task/7114/stat : 7114 (claspmt) R 7108 7110 6939 0 -1 4202560 96 0 0 0 1 0 0 0 17 0 32 0 41855074 1365106688 3568 270582939648 4194304 4964800 140736964809840 18446744073709551615 4668777 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=7110/tid=7115] ppid=7108 vsize=1333112 CPUtime=0.02 cores=0-31
/proc/7110/task/7115/stat : 7115 (claspmt) R 7108 7110 6939 0 -1 4202560 94 0 0 0 2 0 0 0 17 0 32 0 41855074 1365106688 3579 270582939648 4194304 4964800 140736964809840 18446744073709551615 4399415 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=7110/tid=7116] ppid=7108 vsize=1333112 CPUtime=0 cores=0-31
/proc/7110/task/7116/stat : 7116 (claspmt) D 7108 7110 6939 0 -1 4202560 109 0 0 0 0 0 0 0 17 0 32 0 41855074 1365106688 3585 270582939648 4194304 4964800 140736964809840 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=7110/tid=7117] ppid=7108 vsize=1333112 CPUtime=0.01 cores=0-31
/proc/7110/task/7117/stat : 7117 (claspmt) D 7108 7110 6939 0 -1 4202560 110 0 0 0 1 0 0 0 17 0 32 0 41855074 1365106688 3587 270582939648 4194304 4964800 140736964809840 18446744073709551615 258654392752 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=7110/tid=7118] ppid=7108 vsize=1333112 CPUtime=0.01 cores=0-31
/proc/7110/task/7118/stat : 7118 (claspmt) R 7108 7110 6939 0 -1 4202560 95 0 0 0 1 0 0 0 19 0 32 0 41855074 1365106688 3611 270582939648 4194304 4964800 140736964809840 18446744073709551615 4325696 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=7110/tid=7119] ppid=7108 vsize=1333112 CPUtime=0.01 cores=0-31
/proc/7110/task/7119/stat : 7119 (claspmt) R 7108 7110 6939 0 -1 4202560 101 0 0 0 1 0 0 0 17 0 32 0 41855074 1365106688 3665 270582939648 4194304 4964800 140736964809840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=7110/tid=7120] ppid=7108 vsize=1333112 CPUtime=0 cores=0-31
/proc/7110/task/7120/stat : 7120 (claspmt) R 7108 7110 6939 0 -1 4202560 109 0 0 0 0 0 0 0 17 0 32 0 41855074 1365106688 3667 270582939648 4194304 4964800 140736964809840 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=7110/tid=7121] ppid=7108 vsize=1333112 CPUtime=0.02 cores=0-31
/proc/7110/task/7121/stat : 7121 (claspmt) R 7108 7110 6939 0 -1 4202560 103 0 0 0 2 0 0 0 17 0 32 0 41855074 1365106688 3681 270582939648 4194304 4964800 140736964809840 18446744073709551615 4668698 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=7110/tid=7122] ppid=7108 vsize=1333112 CPUtime=0.01 cores=0-31
/proc/7110/task/7122/stat : 7122 (claspmt) R 7108 7110 6939 0 -1 4202560 88 0 0 0 1 0 0 0 17 0 32 0 41855074 1365106688 3681 270582939648 4194304 4964800 140736964809840 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7110/tid=7123] ppid=7108 vsize=1333112 CPUtime=0.03 cores=0-31
/proc/7110/task/7123/stat : 7123 (claspmt) R 7108 7110 6939 0 -1 4202560 97 0 0 0 3 0 0 0 19 0 32 0 41855075 1365106688 3683 270582939648 4194304 4964800 140736964809840 18446744073709551615 4674783 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=7110/tid=7124] ppid=7108 vsize=1333112 CPUtime=0.01 cores=0-31
/proc/7110/task/7124/stat : 7124 (claspmt) R 7108 7110 6939 0 -1 4202560 105 0 0 0 1 0 0 0 17 0 32 0 41855075 1365106688 3683 270582939648 4194304 4964800 140736964809840 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7110/tid=7125] ppid=7108 vsize=1333112 CPUtime=0.01 cores=0-31
/proc/7110/task/7125/stat : 7125 (claspmt) D 7108 7110 6939 0 -1 4202560 109 0 0 0 1 0 0 0 19 0 32 0 41855075 1365106688 3683 270582939648 4194304 4964800 140736964809840 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=7110/tid=7126] ppid=7108 vsize=1333112 CPUtime=0.02 cores=0-31
/proc/7110/task/7126/stat : 7126 (claspmt) R 7108 7110 6939 0 -1 4202560 96 0 0 0 2 0 0 0 17 0 32 0 41855075 1365106688 3683 270582939648 4194304 4964800 140736964809840 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=7110/tid=7127] ppid=7108 vsize=1333112 CPUtime=0.01 cores=0-31
/proc/7110/task/7127/stat : 7127 (claspmt) R 7108 7110 6939 0 -1 4202560 98 0 0 0 1 0 0 0 18 0 32 0 41855075 1365106688 3683 270582939648 4194304 4964800 140736964809840 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 1332980

[startup+1.0944 s]
/proc/loadavg: 30.72 31.85 32.00 1/413 7110
/proc/meminfo: memFree=262109512/264257624 swapFree=67111528/67111528
[pid=7110] ppid=7108 vsize=1333776 CPUtime=31.97 cores=0-31
/proc/7110/stat : 7110 (claspmt) R 7108 7110 6939 0 -1 4202496 7808 0 0 0 3175 22 0 0 19 0 32 0 41855071 1365786624 7473 270582939648 4194304 4964800 140736964809840 18446744073709551615 258651061007 0 0 4096 18946 18446744073709551615 0 0 17 14 0 0 0
/proc/7110/statm: 333444 7483 461 189 0 327793 0
[pid=7110/tid=7111] ppid=7108 vsize=1333776 CPUtime=1 cores=0-31
/proc/7110/task/7111/stat : 7111 (claspmt) R 7108 7110 6939 0 -1 4202560 158 0 0 0 100 0 0 0 18 0 32 0 41855074 1365786624 7483 270582939648 4194304 4964800 140736964809840 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=7110/tid=7112] ppid=7108 vsize=1333776 CPUtime=1 cores=0-31
/proc/7110/task/7112/stat : 7112 (claspmt) R 7108 7110 6939 0 -1 4202560 273 0 0 0 100 0 0 0 19 0 32 0 41855074 1365786624 7483 270582939648 4194304 4964800 140736964809840 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=7110/tid=7113] ppid=7108 vsize=1333776 CPUtime=1 cores=0-31
/proc/7110/task/7113/stat : 7113 (claspmt) R 7108 7110 6939 0 -1 4202560 214 0 0 0 100 0 0 0 18 0 32 0 41855074 1365786624 7483 270582939648 4194304 4964800 140736964809840 18446744073709551615 4342174 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=7110/tid=7114] ppid=7108 vsize=1333776 CPUtime=1 cores=0-31
/proc/7110/task/7114/stat : 7114 (claspmt) R 7108 7110 6939 0 -1 4202560 231 0 0 0 100 0 0 0 18 0 32 0 41855074 1365786624 7483 270582939648 4194304 4964800 140736964809840 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=7110/tid=7115] ppid=7108 vsize=1333776 CPUtime=1.01 cores=0-31
/proc/7110/task/7115/stat : 7115 (claspmt) R 7108 7110 6939 0 -1 4202560 232 0 0 0 101 0 0 0 19 0 32 0 41855074 1365786624 7483 270582939648 4194304 4964800 140736964809840 18446744073709551615 4660187 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=7110/tid=7116] ppid=7108 vsize=1333776 CPUtime=1 cores=0-31
/proc/7110/task/7116/stat : 7116 (claspmt) R 7108 7110 6939 0 -1 4202560 222 0 0 0 100 0 0 0 19 0 32 0 41855074 1365786624 7483 270582939648 4194304 4964800 140736964809840 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=7110/tid=7117] ppid=7108 vsize=1333776 CPUtime=1 cores=0-31
/proc/7110/task/7117/stat : 7117 (claspmt) R 7108 7110 6939 0 -1 4202560 269 0 0 0 100 0 0 0 19 0 32 0 41855074 1365786624 7483 270582939648 4194304 4964800 140736964809840 18446744073709551615 4360553 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=7110/tid=7118] ppid=7108 vsize=1333776 CPUtime=0.94 cores=0-31
/proc/7110/task/7118/stat : 7118 (claspmt) R 7108 7110 6939 0 -1 4202560 175 0 0 0 94 0 0 0 21 0 32 0 41855074 1365786624 7483 270582939648 4194304 4964800 140736964809840 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=7110/tid=7119] ppid=7108 vsize=1333776 CPUtime=1 cores=0-31
/proc/7110/task/7119/stat : 7119 (claspmt) R 7108 7110 6939 0 -1 4202560 191 0 0 0 100 0 0 0 19 0 32 0 41855074 1365786624 7483 270582939648 4194304 4964800 140736964809840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=7110/tid=7120] ppid=7108 vsize=1333776 CPUtime=0.99 cores=0-31
/proc/7110/task/7120/stat : 7120 (claspmt) R 7108 7110 6939 0 -1 4202560 233 0 0 0 99 0 0 0 19 0 32 0 41855074 1365786624 7483 270582939648 4194304 4964800 140736964809840 18446744073709551615 4684074 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=7110/tid=7121] ppid=7108 vsize=1333776 CPUtime=1 cores=0-31
/proc/7110/task/7121/stat : 7121 (claspmt) R 7108 7110 6939 0 -1 4202560 172 0 0 0 100 0 0 0 19 0 32 0 41855074 1365786624 7483 270582939648 4194304 4964800 140736964809840 18446744073709551615 4660163 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=7110/tid=7122] ppid=7108 vsize=1333776 CPUtime=0.99 cores=0-31
/proc/7110/task/7122/stat : 7122 (claspmt) R 7108 7110 6939 0 -1 4202560 216 0 0 0 99 0 0 0 19 0 32 0 41855074 1365786624 7483 270582939648 4194304 4964800 140736964809840 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7110/tid=7123] ppid=7108 vsize=1333776 CPUtime=1.01 cores=0-31
/proc/7110/task/7123/stat : 7123 (claspmt) R 7108 7110 6939 0 -1 4202560 237 0 0 0 101 0 0 0 19 0 32 0 41855075 1365786624 7483 270582939648 4194304 4964800 140736964809840 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=7110/tid=7124] ppid=7108 vsize=1333776 CPUtime=1 cores=0-31
/proc/7110/task/7124/stat : 7124 (claspmt) R 7108 7110 6939 0 -1 4202560 186 0 0 0 100 0 0 0 19 0 32 0 41855075 1365786624 7483 270582939648 4194304 4964800 140736964809840 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7110/tid=7125] ppid=7108 vsize=1333776 CPUtime=1 cores=0-31
/proc/7110/task/7125/stat : 7125 (claspmt) R 7108 7110 6939 0 -1 4202560 253 0 0 0 99 1 0 0 19 0 32 0 41855075 1365786624 7483 270582939648 4194304 4964800 140736964809840 18446744073709551615 4670538 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=7110/tid=7126] ppid=7108 vsize=1333776 CPUtime=1 cores=0-31
/proc/7110/task/7126/stat : 7126 (claspmt) R 7108 7110 6939 0 -1 4202560 199 0 0 0 100 0 0 0 19 0 32 0 41855075 1365786624 7485 270582939648 4194304 4964800 140736964809840 18446744073709551615 4660425 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=7110/tid=7127] ppid=7108 vsize=1333776 CPUtime=0.99 cores=0-31
/proc/7110/task/7127/stat : 7127 (claspmt) R 7108 7110 6939 0 -1 4202560 204 0 0 0 99 0 0 0 19 0 32 0 41855075 1365786624 7485 270582939648 4194304 4964800 140736964809840 18446744073709551615 4668698 0 0 4096 18946 0 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 31.97
Current children cumulated vsize (KiB) 1333776

[startup+1.20684 s]
/proc/loadavg: 30.72 31.85 32.00 1/413 7110
/proc/meminfo: memFree=262109512/264257624 swapFree=67111528/67111528
[pid=7110] ppid=7108 vsize=1333776 CPUtime=35.33 cores=0-31
/proc/7110/stat : 7110 (claspmt) R 7108 7110 6939 0 -1 4202496 7940 0 0 0 3510 23 0 0 19 0 32 0 41855071 1365786624 7605 270582939648 4194304 4964800 140736964809840 18446744073709551615 4653388 0 0 4096 18946 18446744073709551615 0 0 17 14 0 0 0
/proc/7110/statm: 333444 7605 461 189 0 327793 0
[pid=7110/tid=7111] ppid=7108 vsize=1333776 CPUtime=1.1 cores=0-31
/proc/7110/task/7111/stat : 7111 (claspmt) R 7108 7110 6939 0 -1 4202560 160 0 0 0 110 0 0 0 18 0 32 0 41855074 1365786624 7605 270582939648 4194304 4964800 140736964809840 18446744073709551615 4653296 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=7110/tid=7112] ppid=7108 vsize=1333776 CPUtime=1.1 cores=0-31

################
# More data... #
################

[pid=7110/tid=7141] ppid=7108 vsize=1362020 CPUtime=2078.32 cores=0-31
/proc/7110/task/7141/stat : 7141 (claspmt) R 7108 7110 6939 0 -1 4202560 3394 0 0 0 207776 56 0 0 25 0 32 0 41855076 1394708480 118971 270582939648 4194304 4964800 140736964809840 18446744073709551615 258650611899 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=7110/tid=7142] ppid=7108 vsize=1362020 CPUtime=2078.37 cores=0-31
/proc/7110/task/7142/stat : 7142 (claspmt) R 7108 7110 6939 0 -1 4202560 2921 0 0 0 207792 45 0 0 25 0 32 0 41855076 1394708480 118971 270582939648 4194304 4964800 140736964809840 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 66447.8
Current children cumulated vsize (KiB) 1362020

[startup+2080.7 s]
/proc/loadavg: 32.07 32.10 32.08 33/445 7209
/proc/meminfo: memFree=261653468/264257624 swapFree=67111528/67111528
[pid=7110] ppid=7108 vsize=1362020 CPUtime=66499 cores=0-31
/proc/7110/stat : 7110 (claspmt) R 7108 7110 6939 0 -1 4202496 119403 0 0 0 6648246 1650 0 0 25 0 32 0 41855071 1394708480 119011 270582939648 4194304 4964800 140736964809840 18446744073709551615 4321079 0 0 4096 18946 18446744073709551615 0 0 17 14 0 0 0
/proc/7110/statm: 340505 119011 461 189 0 334854 0
[pid=7110/tid=7111] ppid=7108 vsize=1362020 CPUtime=2079.81 cores=0-31
/proc/7110/task/7111/stat : 7111 (claspmt) R 7108 7110 6939 0 -1 4202560 7673 0 0 0 207939 42 0 0 25 0 32 0 41855074 1394708480 119011 270582939648 4194304 4964800 140736964809840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=7110/tid=7112] ppid=7108 vsize=1362020 CPUtime=2079.99 cores=0-31
/proc/7110/task/7112/stat : 7112 (claspmt) R 7108 7110 6939 0 -1 4202560 3515 0 0 0 207947 52 0 0 25 0 32 0 41855074 1394708480 119011 270582939648 4194304 4964800 140736964809840 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=7110/tid=7113] ppid=7108 vsize=1362020 CPUtime=2079.94 cores=0-31
/proc/7110/task/7113/stat : 7113 (claspmt) R 7108 7110 6939 0 -1 4202560 2167 0 0 0 207936 58 0 0 25 0 32 0 41855074 1394708480 119011 270582939648 4194304 4964800 140736964809840 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=7110/tid=7114] ppid=7108 vsize=1362020 CPUtime=2075.4 cores=0-31
/proc/7110/task/7114/stat : 7114 (claspmt) R 7108 7110 6939 0 -1 4202560 3458 0 0 0 207487 53 0 0 25 0 32 0 41855074 1394708480 119011 270582939648 4194304 4964800 140736964809840 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=7110/tid=7115] ppid=7108 vsize=1362020 CPUtime=2073.7 cores=0-31
/proc/7110/task/7115/stat : 7115 (claspmt) R 7108 7110 6939 0 -1 4202560 3006 0 0 0 207316 54 0 0 25 0 32 0 41855074 1394708480 119011 270582939648 4194304 4964800 140736964809840 18446744073709551615 4668777 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=7110/tid=7116] ppid=7108 vsize=1362020 CPUtime=2074.77 cores=0-31
/proc/7110/task/7116/stat : 7116 (claspmt) R 7108 7110 6939 0 -1 4202560 2972 0 0 0 207427 50 0 0 25 0 32 0 41855074 1394708480 119011 270582939648 4194304 4964800 140736964809840 18446744073709551615 4669429 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=7110/tid=7117] ppid=7108 vsize=1362020 CPUtime=2079.97 cores=0-31
/proc/7110/task/7117/stat : 7117 (claspmt) R 7108 7110 6939 0 -1 4202560 3720 0 0 0 207950 47 0 0 25 0 32 0 41855074 1394708480 119011 270582939648 4194304 4964800 140736964809840 18446744073709551615 4668777 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=7110/tid=7118] ppid=7108 vsize=1362020 CPUtime=2064.7 cores=0-31
/proc/7110/task/7118/stat : 7118 (claspmt) R 7108 7110 6939 0 -1 4202560 3003 0 0 0 206410 60 0 0 25 0 32 0 41855074 1394708480 119011 270582939648 4194304 4964800 140736964809840 18446744073709551615 4669434 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=7110/tid=7119] ppid=7108 vsize=1362020 CPUtime=2079.77 cores=0-31
/proc/7110/task/7119/stat : 7119 (claspmt) R 7108 7110 6939 0 -1 4202560 7505 0 0 0 207938 39 0 0 25 0 32 0 41855074 1394708480 119011 270582939648 4194304 4964800 140736964809840 18446744073709551615 4320919 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=7110/tid=7120] ppid=7108 vsize=1362020 CPUtime=2080 cores=0-31
/proc/7110/task/7120/stat : 7120 (claspmt) R 7108 7110 6939 0 -1 4202560 3689 0 0 0 207959 41 0 0 25 0 32 0 41855074 1394708480 119011 270582939648 4194304 4964800 140736964809840 18446744073709551615 4670330 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=7110/tid=7121] ppid=7108 vsize=1362020 CPUtime=2075.58 cores=0-31
/proc/7110/task/7121/stat : 7121 (claspmt) R 7108 7110 6939 0 -1 4202560 2215 0 0 0 207509 49 0 0 25 0 32 0 41855074 1394708480 119011 270582939648 4194304 4964800 140736964809840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=7110/tid=7122] ppid=7108 vsize=1362020 CPUtime=2079.99 cores=0-31
/proc/7110/task/7122/stat : 7122 (claspmt) R 7108 7110 6939 0 -1 4202560 3316 0 0 0 207955 44 0 0 23 0 32 0 41855074 1394708480 119011 270582939648 4194304 4964800 140736964809840 18446744073709551615 4670332 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7110/tid=7123] ppid=7108 vsize=1362020 CPUtime=2078.95 cores=0-31
/proc/7110/task/7123/stat : 7123 (claspmt) R 7108 7110 6939 0 -1 4202560 3113 0 0 0 207830 65 0 0 25 0 32 0 41855075 1394708480 119011 270582939648 4194304 4964800 140736964809840 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=7110/tid=7124] ppid=7108 vsize=1362020 CPUtime=2079.93 cores=0-31
/proc/7110/task/7124/stat : 7124 (claspmt) R 7108 7110 6939 0 -1 4202560 3106 0 0 0 207943 50 0 0 25 0 32 0 41855075 1394708480 119011 270582939648 4194304 4964800 140736964809840 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7110/tid=7125] ppid=7108 vsize=1362020 CPUtime=2079.31 cores=0-31
/proc/7110/task/7125/stat : 7125 (claspmt) R 7108 7110 6939 0 -1 4202560 3524 0 0 0 207897 34 0 0 25 0 32 0 41855075 1394708480 119011 270582939648 4194304 4964800 140736964809840 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=7110/tid=7126] ppid=7108 vsize=1362020 CPUtime=2073.81 cores=0-31
/proc/7110/task/7126/stat : 7126 (claspmt) R 7108 7110 6939 0 -1 4202560 2601 0 0 0 207327 54 0 0 25 0 32 0 41855075 1394708480 119011 270582939648 4194304 4964800 140736964809840 18446744073709551615 4669507 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=7110/tid=7127] ppid=7108 vsize=1362020 CPUtime=2079.87 cores=0-31
/proc/7110/task/7127/stat : 7127 (claspmt) R 7108 7110 6939 0 -1 4202560 7841 0 0 0 207932 55 0 0 25 0 32 0 41855075 1394708480 119011 270582939648 4194304 4964800 140736964809840 18446744073709551615 4669413 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=7110/tid=7128] ppid=7108 vsize=1362020 CPUtime=2080.01 cores=0-31
/proc/7110/task/7128/stat : 7128 (claspmt) R 7108 7110 6939 0 -1 4202560 3334 0 0 0 207950 51 0 0 25 0 32 0 41855075 1394708480 119011 270582939648 4194304 4964800 140736964809840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=7110/tid=7130] ppid=7108 vsize=1362020 CPUtime=2078.6 cores=0-31
/proc/7110/task/7130/stat : 7130 (claspmt) R 7108 7110 6939 0 -1 4202560 2985 0 0 0 207804 56 0 0 25 0 32 0 41855075 1394708480 119011 270582939648 4194304 4964800 140736964809840 18446744073709551615 4320890 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=7110/tid=7131] ppid=7108 vsize=1362020 CPUtime=2079.98 cores=0-31
/proc/7110/task/7131/stat : 7131 (claspmt) R 7108 7110 6939 0 -1 4202560 3490 0 0 0 207961 37 0 0 25 0 32 0 41855075 1394708480 119011 270582939648 4194304 4964800 140736964809840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=7110/tid=7132] ppid=7108 vsize=1362020 CPUtime=2080.01 cores=0-31
/proc/7110/task/7132/stat : 7132 (claspmt) R 7108 7110 6939 0 -1 4202560 3102 0 0 0 207951 50 0 0 25 0 32 0 41855075 1394708480 119011 270582939648 4194304 4964800 140736964809840 18446744073709551615 4321161 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=7110/tid=7133] ppid=7108 vsize=1362020 CPUtime=2073.26 cores=0-31
/proc/7110/task/7133/stat : 7133 (claspmt) R 7108 7110 6939 0 -1 4202560 2973 0 0 0 207260 66 0 0 25 0 32 0 41855075 1394708480 119011 270582939648 4194304 4964800 140736964809840 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=7110/tid=7134] ppid=7108 vsize=1362020 CPUtime=2079.99 cores=0-31
/proc/7110/task/7134/stat : 7134 (claspmt) R 7108 7110 6939 0 -1 4202560 3697 0 0 0 207965 34 0 0 25 0 32 0 41855075 1394708480 119011 270582939648 4194304 4964800 140736964809840 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=7110/tid=7135] ppid=7108 vsize=1362020 CPUtime=2079.93 cores=0-31
/proc/7110/task/7135/stat : 7135 (claspmt) R 7108 7110 6939 0 -1 4202560 2964 0 0 0 207942 51 0 0 25 0 32 0 41855075 1394708480 119011 270582939648 4194304 4964800 140736964809840 18446744073709551615 4321099 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=7110/tid=7136] ppid=7108 vsize=1362020 CPUtime=2076.19 cores=0-31
/proc/7110/task/7136/stat : 7136 (claspmt) R 7108 7110 6939 0 -1 4202560 7715 0 0 0 207544 75 0 0 25 0 32 0 41855075 1394708480 119011 270582939648 4194304 4964800 140736964809840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=7110/tid=7137] ppid=7108 vsize=1362020 CPUtime=2079.97 cores=0-31
/proc/7110/task/7137/stat : 7137 (claspmt) R 7108 7110 6939 0 -1 4202560 3636 0 0 0 207950 47 0 0 25 0 32 0 41855075 1394708480 119011 270582939648 4194304 4964800 140736964809840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=7110/tid=7138] ppid=7108 vsize=1362020 CPUtime=2079.97 cores=0-31
/proc/7110/task/7138/stat : 7138 (claspmt) R 7108 7110 6939 0 -1 4202560 2663 0 0 0 207939 58 0 0 25 0 32 0 41855075 1394708480 119011 270582939648 4194304 4964800 140736964809840 18446744073709551615 4670313 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=7110/tid=7139] ppid=7108 vsize=1362020 CPUtime=2079.97 cores=0-31
/proc/7110/task/7139/stat : 7139 (claspmt) R 7108 7110 6939 0 -1 4202560 3323 0 0 0 207942 55 0 0 25 0 32 0 41855075 1394708480 119011 270582939648 4194304 4964800 140736964809840 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=7110/tid=7140] ppid=7108 vsize=1362020 CPUtime=2075.39 cores=0-31
/proc/7110/task/7140/stat : 7140 (claspmt) R 7108 7110 6939 0 -1 4202560 2887 0 0 0 207488 51 0 0 25 0 32 0 41855076 1394708480 119011 270582939648 4194304 4964800 140736964809840 18446744073709551615 4670332 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=7110/tid=7141] ppid=7108 vsize=1362020 CPUtime=2079.92 cores=0-31
/proc/7110/task/7141/stat : 7141 (claspmt) R 7108 7110 6939 0 -1 4202560 3394 0 0 0 207936 56 0 0 25 0 32 0 41855076 1394708480 119011 270582939648 4194304 4964800 140736964809840 18446744073709551615 4670349 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=7110/tid=7142] ppid=7108 vsize=1362020 CPUtime=2079.97 cores=0-31
/proc/7110/task/7142/stat : 7142 (claspmt) R 7108 7110 6939 0 -1 4202560 2921 0 0 0 207952 45 0 0 25 0 32 0 41855076 1394708480 119011 270582939648 4194304 4964800 140736964809840 18446744073709551615 4321182 0 0 4096 18946 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 66499
Current children cumulated vsize (KiB) 1362020

[startup+2081.1 s]
/proc/loadavg: 32.07 32.10 32.08 33/445 7209
/proc/meminfo: memFree=261653584/264257624 swapFree=67111528/67111528
[pid=7110] ppid=7108 vsize=1362020 CPUtime=66511.7 cores=0-31
/proc/7110/stat : 7110 (claspmt) R 7108 7110 6939 0 -1 4202496 119415 0 0 0 6649523 1650 0 0 25 0 32 0 41855071 1394708480 119023 270582939648 4194304 4964800 140736964809840 18446744073709551615 4321079 0 0 4096 18946 18446744073709551615 0 0 17 14 0 0 0
/proc/7110/statm: 340505 119023 461 189 0 334854 0
[pid=7110/tid=7111] ppid=7108 vsize=1362020 CPUtime=2080.21 cores=0-31
/proc/7110/task/7111/stat : 7111 (claspmt) R 7108 7110 6939 0 -1 4202560 7673 0 0 0 207979 42 0 0 25 0 32 0 41855074 1394708480 119023 270582939648 4194304 4964800 140736964809840 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=7110/tid=7112] ppid=7108 vsize=1362020 CPUtime=2080.39 cores=0-31
/proc/7110/task/7112/stat : 7112 (claspmt) R 7108 7110 6939 0 -1 4202560 3515 0 0 0 207987 52 0 0 25 0 32 0 41855074 1394708480 119023 270582939648 4194304 4964800 140736964809840 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=7110/tid=7113] ppid=7108 vsize=1362020 CPUtime=2080.34 cores=0-31
/proc/7110/task/7113/stat : 7113 (claspmt) R 7108 7110 6939 0 -1 4202560 2167 0 0 0 207976 58 0 0 25 0 32 0 41855074 1394708480 119023 270582939648 4194304 4964800 140736964809840 18446744073709551615 4669532 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=7110/tid=7114] ppid=7108 vsize=1362020 CPUtime=2075.8 cores=0-31
/proc/7110/task/7114/stat : 7114 (claspmt) R 7108 7110 6939 0 -1 4202560 3458 0 0 0 207527 53 0 0 25 0 32 0 41855074 1394708480 119023 270582939648 4194304 4964800 140736964809840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=7110/tid=7115] ppid=7108 vsize=1362020 CPUtime=2074.1 cores=0-31
/proc/7110/task/7115/stat : 7115 (claspmt) R 7108 7110 6939 0 -1 4202560 3006 0 0 0 207356 54 0 0 25 0 32 0 41855074 1394708480 119023 270582939648 4194304 4964800 140736964809840 18446744073709551615 4668822 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=7110/tid=7116] ppid=7108 vsize=1362020 CPUtime=2075.17 cores=0-31
/proc/7110/task/7116/stat : 7116 (claspmt) R 7108 7110 6939 0 -1 4202560 2972 0 0 0 207467 50 0 0 25 0 32 0 41855074 1394708480 119023 270582939648 4194304 4964800 140736964809840 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=7110/tid=7117] ppid=7108 vsize=1362020 CPUtime=2080.37 cores=0-31
/proc/7110/task/7117/stat : 7117 (claspmt) R 7108 7110 6939 0 -1 4202560 3720 0 0 0 207990 47 0 0 25 0 32 0 41855074 1394708480 119023 270582939648 4194304 4964800 140736964809840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=7110/tid=7118] ppid=7108 vsize=1362020 CPUtime=2065.1 cores=0-31
/proc/7110/task/7118/stat : 7118 (claspmt) R 7108 7110 6939 0 -1 4202560 3014 0 0 0 206450 60 0 0 25 0 32 0 41855074 1394708480 119023 270582939648 4194304 4964800 140736964809840 18446744073709551615 4670394 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=7110/tid=7119] ppid=7108 vsize=1362020 CPUtime=2080.17 cores=0-31
/proc/7110/task/7119/stat : 7119 (claspmt) R 7108 7110 6939 0 -1 4202560 7505 0 0 0 207978 39 0 0 25 0 32 0 41855074 1394708480 119023 270582939648 4194304 4964800 140736964809840 18446744073709551615 4321038 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=7110/tid=7120] ppid=7108 vsize=1362020 CPUtime=2080.4 cores=0-31
/proc/7110/task/7120/stat : 7120 (claspmt) R 7108 7110 6939 0 -1 4202560 3689 0 0 0 207999 41 0 0 25 0 32 0 41855074 1394708480 119023 270582939648 4194304 4964800 140736964809840 18446744073709551615 4669429 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=7110/tid=7121] ppid=7108 vsize=1362020 CPUtime=2075.96 cores=0-31
/proc/7110/task/7121/stat : 7121 (claspmt) R 7108 7110 6939 0 -1 4202560 2215 0 0 0 207547 49 0 0 25 0 32 0 41855074 1394708480 119023 270582939648 4194304 4964800 140736964809840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=7110/tid=7122] ppid=7108 vsize=1362020 CPUtime=2080.39 cores=0-31
/proc/7110/task/7122/stat : 7122 (claspmt) R 7108 7110 6939 0 -1 4202560 3316 0 0 0 207995 44 0 0 25 0 32 0 41855074 1394708480 119023 270582939648 4194304 4964800 140736964809840 18446744073709551615 4669552 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7110/tid=7123] ppid=7108 vsize=1362020 CPUtime=2079.35 cores=0-31
/proc/7110/task/7123/stat : 7123 (claspmt) R 7108 7110 6939 0 -1 4202560 3113 0 0 0 207870 65 0 0 25 0 32 0 41855075 1394708480 119023 270582939648 4194304 4964800 140736964809840 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=7110/tid=7124] ppid=7108 vsize=1362020 CPUtime=2080.33 cores=0-31
/proc/7110/task/7124/stat : 7124 (claspmt) R 7108 7110 6939 0 -1 4202560 3106 0 0 0 207983 50 0 0 25 0 32 0 41855075 1394708480 119023 270582939648 4194304 4964800 140736964809840 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7110/tid=7125] ppid=7108 vsize=1362020 CPUtime=2079.71 cores=0-31
/proc/7110/task/7125/stat : 7125 (claspmt) R 7108 7110 6939 0 -1 4202560 3524 0 0 0 207937 34 0 0 25 0 32 0 41855075 1394708480 119023 270582939648 4194304 4964800 140736964809840 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=7110/tid=7126] ppid=7108 vsize=1362020 CPUtime=2074.21 cores=0-31
/proc/7110/task/7126/stat : 7126 (claspmt) R 7108 7110 6939 0 -1 4202560 2601 0 0 0 207367 54 0 0 25 0 32 0 41855075 1394708480 119023 270582939648 4194304 4964800 140736964809840 18446744073709551615 4670310 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=7110/tid=7127] ppid=7108 vsize=1362020 CPUtime=2080.27 cores=0-31
/proc/7110/task/7127/stat : 7127 (claspmt) R 7108 7110 6939 0 -1 4202560 7841 0 0 0 207972 55 0 0 25 0 32 0 41855075 1394708480 119023 270582939648 4194304 4964800 140736964809840 18446744073709551615 4670343 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=7110/tid=7128] ppid=7108 vsize=1362020 CPUtime=2080.41 cores=0-31
/proc/7110/task/7128/stat : 7128 (claspmt) R 7108 7110 6939 0 -1 4202560 3334 0 0 0 207990 51 0 0 25 0 32 0 41855075 1394708480 119023 270582939648 4194304 4964800 140736964809840 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=7110/tid=7130] ppid=7108 vsize=1362020 CPUtime=2079 cores=0-31
/proc/7110/task/7130/stat : 7130 (claspmt) R 7108 7110 6939 0 -1 4202560 2985 0 0 0 207844 56 0 0 25 0 32 0 41855075 1394708480 119023 270582939648 4194304 4964800 140736964809840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=7110/tid=7131] ppid=7108 vsize=1362020 CPUtime=2080.38 cores=0-31
/proc/7110/task/7131/stat : 7131 (claspmt) R 7108 7110 6939 0 -1 4202560 3490 0 0 0 208001 37 0 0 25 0 32 0 41855075 1394708480 119023 270582939648 4194304 4964800 140736964809840 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=7110/tid=7132] ppid=7108 vsize=1362020 CPUtime=2080.41 cores=0-31
/proc/7110/task/7132/stat : 7132 (claspmt) R 7108 7110 6939 0 -1 4202560 3102 0 0 0 207991 50 0 0 25 0 32 0 41855075 1394708480 119023 270582939648 4194304 4964800 140736964809840 18446744073709551615 4689125 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=7110/tid=7133] ppid=7108 vsize=1362020 CPUtime=2073.66 cores=0-31
/proc/7110/task/7133/stat : 7133 (claspmt) R 7108 7110 6939 0 -1 4202560 2973 0 0 0 207300 66 0 0 25 0 32 0 41855075 1394708480 119023 270582939648 4194304 4964800 140736964809840 18446744073709551615 4669441 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=7110/tid=7134] ppid=7108 vsize=1362020 CPUtime=2080.39 cores=0-31
/proc/7110/task/7134/stat : 7134 (claspmt) R 7108 7110 6939 0 -1 4202560 3697 0 0 0 208005 34 0 0 25 0 32 0 41855075 1394708480 119023 270582939648 4194304 4964800 140736964809840 18446744073709551615 4660114 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=7110/tid=7135] ppid=7108 vsize=1362020 CPUtime=2080.33 cores=0-31
/proc/7110/task/7135/stat : 7135 (claspmt) R 7108 7110 6939 0 -1 4202560 2965 0 0 0 207982 51 0 0 25 0 32 0 41855075 1394708480 119023 270582939648 4194304 4964800 140736964809840 18446744073709551615 4669376 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=7110/tid=7136] ppid=7108 vsize=1362020 CPUtime=2076.59 cores=0-31
/proc/7110/task/7136/stat : 7136 (claspmt) R 7108 7110 6939 0 -1 4202560 7715 0 0 0 207584 75 0 0 25 0 32 0 41855075 1394708480 119023 270582939648 4194304 4964800 140736964809840 18446744073709551615 4658592 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=7110/tid=7137] ppid=7108 vsize=1362020 CPUtime=2080.38 cores=0-31
/proc/7110/task/7137/stat : 7137 (claspmt) R 7108 7110 6939 0 -1 4202560 3636 0 0 0 207991 47 0 0 25 0 32 0 41855075 1394708480 119023 270582939648 4194304 4964800 140736964809840 18446744073709551615 4653191 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=7110/tid=7138] ppid=7108 vsize=1362020 CPUtime=2080.37 cores=0-31
/proc/7110/task/7138/stat : 7138 (claspmt) R 7108 7110 6939 0 -1 4202560 2663 0 0 0 207979 58 0 0 25 0 32 0 41855075 1394708480 119023 270582939648 4194304 4964800 140736964809840 18446744073709551615 4361330 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=7110/tid=7139] ppid=7108 vsize=1362020 CPUtime=2080.37 cores=0-31
/proc/7110/task/7139/stat : 7139 (claspmt) R 7108 7110 6939 0 -1 4202560 3323 0 0 0 207982 55 0 0 25 0 32 0 41855075 1394708480 119023 270582939648 4194304 4964800 140736964809840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=7110/tid=7140] ppid=7108 vsize=1362020 CPUtime=2075.79 cores=0-31
/proc/7110/task/7140/stat : 7140 (claspmt) R 7108 7110 6939 0 -1 4202560 2887 0 0 0 207528 51 0 0 25 0 32 0 41855076 1394708480 119023 270582939648 4194304 4964800 140736964809840 18446744073709551615 4670295 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=7110/tid=7141] ppid=7108 vsize=1362020 CPUtime=2080.32 cores=0-31
/proc/7110/task/7141/stat : 7141 (claspmt) R 7108 7110 6939 0 -1 4202560 3394 0 0 0 207976 56 0 0 25 0 32 0 41855076 1394708480 119023 270582939648 4194304 4964800 140736964809840 18446744073709551615 4342144 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=7110/tid=7142] ppid=7108 vsize=1362020 CPUtime=2080.37 cores=0-31
/proc/7110/task/7142/stat : 7142 (claspmt) R 7108 7110 6939 0 -1 4202560 2921 0 0 0 207992 45 0 0 25 0 32 0 41855076 1394708480 119023 270582939648 4194304 4964800 140736964809840 18446744073709551615 4669496 0 0 4096 18946 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 66511.7
Current children cumulated vsize (KiB) 1362020

[startup+2081.3 s]
/proc/loadavg: 32.07 32.10 32.08 33/445 7209
/proc/meminfo: memFree=261653584/264257624 swapFree=67111528/67111528
[pid=7110] ppid=7108 vsize=1362020 CPUtime=66518.1 cores=0-31
/proc/7110/stat : 7110 (claspmt) R 7108 7110 6939 0 -1 4202496 119421 0 0 0 6650159 1650 0 0 25 0 3 0 41855071 1394708480 119028 270582939648 4194304 4964800 140736964809840 18446744073709551615 258662759221 0 0 4096 18946 18446744073709551615 0 0 17 14 0 0 0
/proc/7110/statm: 340505 119026 463 189 0 334854 0
[pid=7110/tid=7121] ppid=7108 vsize=1357920 CPUtime=2076.15 cores=0-31
/proc/7110/task/7121/stat : 7121 (claspmt) R 7108 7110 6939 0 -1 4202560 2215 0 0 0 207566 49 0 0 25 0 3 0 41855074 1390510080 119026 270582939648 4194304 4964800 140736964809840 18446744073709551615 4628834 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=7110/tid=7130] ppid=7108 vsize=1357920 CPUtime=2079.19 cores=0-31
/proc/7110/task/7130/stat : 7130 (claspmt) R 7108 7110 6939 0 -1 4202560 2985 0 0 0 207863 56 0 0 25 0 3 0 41855075 1390510080 119026 270582939648 4194304 4964800 140736964809840 18446744073709551615 4644923 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 66518.1
Current children cumulated vsize (KiB) 1362020

[startup+2081.4 s]
/proc/loadavg: 32.07 32.10 32.08 33/445 7209
/proc/meminfo: memFree=261653584/264257624 swapFree=67111528/67111528
[pid=7110] ppid=7108 vsize=1267916 CPUtime=66518.2 cores=0-31
/proc/7110/stat : 7110 (claspmt) R 7108 7110 6939 0 -1 4202496 119430 0 0 0 6650169 1651 0 0 25 0 1 0 41855071 1298345984 118029 270582939648 4194304 4964800 140736964809840 18446744073709551615 258650612323 0 0 4096 18946 0 0 0 17 14 0 0 0
/proc/7110/statm: 316979 118029 472 189 0 311328 0
Current children cumulated CPU time (s) 66518.2
Current children cumulated vsize (KiB) 1267916

Child status: 10
Real time (s): 2081.47
CPU time (s): 66518.3
CPU user time (s): 66501.7
CPU system time (s): 16.5545
CPU usage (%): 3195.74
Max. virtual memory (cumulated for all children) (KiB): 1362020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 66501.7
system time used= 16.5545
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119431
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= 1052446
involuntary context switches= 162633

runsolver used 12.1532 second user time and 45.82 second system time

The end

Begin job on node200 at 2011-06-11 05:58:02
IDJOB=3472479
IDBENCH=83430
IDSOLVER=1961
FILE ID=node200/3472479-1307764682
RUNJOBID= node200-1307764681-6954
PBS_JOBID= 13550736
Free space on /tmp= 61744 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/application/kullmann/AES/Benchmarks/32/aes_32_5_keyfind_1.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-3472479-1307764682/watcher-3472479-1307764682 -o /tmp/evaluation-result-3472479-1307764682/solver-3472479-1307764682 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472479-1307764682.cnf

TIME LIMIT= 160000 seconds
MEMORY LIMIT= 256000 MiB
NBCORE= 32

MD5SUM BENCH= 3f4ea4cf17e734bbe947db7c1dc9fde7
RANDOM SEED=181932820

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:      262110528 kB
Buffers:        282928 kB
Cached:        1525824 kB
SwapCached:          0 kB
Active:         305728 kB
Inactive:      1566772 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262110528 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:             564 kB
Writeback:           0 kB
AnonPages:       62612 kB
Mapped:          13756 kB
Slab:           184824 kB
PageTables:       7480 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   169652 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= 61740 MiB
End job on node200 at 2011-06-11 06:32:43

Name	application/kullmann/AES/Benchmarks/ 32/aes_32_5_keyfind_1.cnf
MD5SUM	3f4ea4cf17e734bbe947db7c1dc9fde7
Bench Category	APPLICATION (applications instances)
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	66518.3
Satisfiable
(Un)Satisfiability was proved
Number of variables	1116
Number of clauses	4312
Sum of the clauses size	13688
Maximum clause length	5
Minimum clause length	1
Number of clauses of size 1	84
Number of clauses of size 2	200
Number of clauses of size 3	3008
Number of clauses of size 4	920
Number of clauses of size 5	100
Number of clauses of size over 5	0

Trace number 3472479

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data