0.00/0.01 c clasp version 2.0.0-RC2
0.00/0.01 c Reading from ...532251/instance-3472366-1307532251.cnf
3.32/3.39 c Solving...
15029.83/904.84 s UNSATISFIABLE
15029.83/904.84
15029.83/904.84 c Models : 0
15029.83/904.84 c Time : 901.848s (Solving: 898.47s 1st Model: 0.00s Unsat: 898.47s)
15029.83/904.84 c CPU Time : 15026.900s
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3472366-1307532251/watcher-3472366-1307532251 -o /tmp/evaluation-result-3472366-1307532251/solver-3472366-1307532251 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472366-1307532251.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: 11.02 7.09 12.70 1/413 22216
/proc/meminfo: memFree=262712888/264257624 swapFree=67111528/67111528
[pid=22216] ppid=22214 vsize=83048 CPUtime=0.02 cores=0-31
/proc/22216/stat : 22216 (claspmt) R 22214 22216 22100 0 -1 4202496 1813 0 0 0 2 0 0 0 20 0 1 0 18612586 85041152 1742 270582939648 4194304 4964800 140733894498944 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 29 0 0 0
/proc/22216/statm: 20762 1746 373 189 0 15636 0
[startup+0.13146 s]
/proc/loadavg: 11.02 7.09 12.70 1/413 22216
/proc/meminfo: memFree=262712888/264257624 swapFree=67111528/67111528
[pid=22216] ppid=22214 vsize=83048 CPUtime=0.11 cores=0-31
/proc/22216/stat : 22216 (claspmt) R 22214 22216 22100 0 -1 4202496 9219 0 0 0 9 2 0 0 20 0 1 0 18612586 85041152 9148 270582939648 4194304 4964800 140733894498944 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 29 0 0 0
/proc/22216/statm: 20762 9153 373 189 0 15636 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 83048
[startup+0.200464 s]
/proc/loadavg: 11.02 7.09 12.70 1/413 22216
/proc/meminfo: memFree=262712888/264257624 swapFree=67111528/67111528
[pid=22216] ppid=22214 vsize=83048 CPUtime=0.18 cores=0-31
/proc/22216/stat : 22216 (claspmt) R 22214 22216 22100 0 -1 4202496 14468 0 0 0 15 3 0 0 20 0 1 0 18612586 85041152 14397 270582939648 4194304 4964800 140733894498944 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 29 0 0 0
/proc/22216/statm: 20762 14402 373 189 0 15636 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 83048
[startup+0.300456 s]
/proc/loadavg: 11.02 7.09 12.70 1/413 22216
/proc/meminfo: memFree=262712888/264257624 swapFree=67111528/67111528
[pid=22216] ppid=22214 vsize=117492 CPUtime=0.28 cores=0-31
/proc/22216/stat : 22216 (claspmt) R 22214 22216 22100 0 -1 4202496 28030 0 0 0 22 6 0 0 21 0 1 0 18612586 120311808 24134 270582939648 4194304 4964800 140733894498944 18446744073709551615 4567250 0 0 4096 18946 0 0 0 17 29 0 0 0
/proc/22216/statm: 29373 24134 385 189 0 24247 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 117492
[startup+0.700468 s]
/proc/loadavg: 11.02 7.09 12.70 1/413 22216
/proc/meminfo: memFree=262712888/264257624 swapFree=67111528/67111528
[pid=22216] ppid=22214 vsize=118968 CPUtime=0.69 cores=0-31
/proc/22216/stat : 22216 (claspmt) R 22214 22216 22100 0 -1 4202496 28416 0 0 0 61 8 0 0 22 0 1 0 18612586 121823232 24520 270582939648 4194304 4964800 140733894498944 18446744073709551615 258650955760 0 0 4096 18946 0 0 0 17 29 0 0 0
/proc/22216/statm: 29742 24520 387 189 0 24616 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 118968
[startup+1.50049 s]
/proc/loadavg: 10.22 6.99 12.63 2/414 22217
/proc/meminfo: memFree=262607792/264257624 swapFree=67111528/67111528
[pid=22216] ppid=22214 vsize=138812 CPUtime=1.49 cores=0-31
/proc/22216/stat : 22216 (claspmt) R 22214 22216 22100 0 -1 4202496 33413 0 0 0 136 13 0 0 25 0 1 0 18612586 142143488 29517 270582939648 4194304 4964800 140733894498944 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 29 0 0 0
/proc/22216/statm: 34703 29517 387 189 0 29577 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 138812
[startup+3.10057 s]
/proc/loadavg: 10.22 6.99 12.63 2/414 22217
/proc/meminfo: memFree=262574808/264257624 swapFree=67111528/67111528
[pid=22216] ppid=22214 vsize=185476 CPUtime=3.08 cores=0-31
/proc/22216/stat : 22216 (claspmt) R 22214 22216 22100 0 -1 4202496 45062 0 0 0 285 23 0 0 25 0 1 0 18612586 189927424 41166 270582939648 4194304 4964800 140733894498944 18446744073709551615 258650955760 0 0 4096 18946 0 0 0 17 29 0 0 0
/proc/22216/statm: 46369 41166 387 189 0 41243 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 185476
[startup+6.30264 s]
/proc/loadavg: 10.22 6.99 12.63 16/445 22248
/proc/meminfo: memFree=261419088/264257624 swapFree=67111528/67111528
[pid=22216] ppid=22214 vsize=2305824 CPUtime=62.09 cores=0-31
/proc/22216/stat : 22216 (claspmt) S 22214 22216 22100 0 -1 4202496 526118 0 0 0 1497 4712 0 0 18 0 32 0 18612586 2361163776 393944 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/22216/statm: 576456 393945 434 189 0 570805 0
[pid=22216/tid=22218] ppid=22214 vsize=2305824 CPUtime=1.79 cores=0-31
/proc/22216/task/22218/stat : 22218 (claspmt) S 22214 22216 22100 0 -1 4202560 12471 0 0 0 12 167 0 0 18 0 32 0 18612925 2361163776 393945 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446604569844014560 0 0 -1 2 0 0 0
[pid=22216/tid=22219] ppid=22214 vsize=2305824 CPUtime=1.93 cores=0-31
/proc/22216/task/22219/stat : 22219 (claspmt) S 22214 22216 22100 0 -1 4202560 19329 0 0 0 54 139 0 0 18 0 32 0 18612925 2361163776 393945 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446604566788300256 0 0 -1 19 0 0 0
[pid=22216/tid=22220] ppid=22214 vsize=2305824 CPUtime=1.9 cores=0-31
/proc/22216/task/22220/stat : 22220 (claspmt) S 22214 22216 22100 0 -1 4202560 17975 0 0 0 34 156 0 0 18 0 32 0 18612925 2361163776 393946 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446604568487837152 0 0 -1 0 0 0 0
[pid=22216/tid=22221] ppid=22214 vsize=2305824 CPUtime=1.66 cores=0-31
/proc/22216/task/22221/stat : 22221 (claspmt) S 22214 22216 22100 0 -1 4202560 12428 0 0 0 13 153 0 0 18 0 32 0 18612926 2361163776 393946 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446604560617250272 0 0 -1 6 0 0 0
[pid=22216/tid=22222] ppid=22214 vsize=2305824 CPUtime=2.05 cores=0-31
/proc/22216/task/22222/stat : 22222 (claspmt) R 22214 22216 22100 0 -1 4202560 14628 0 0 0 41 164 0 0 18 0 32 0 18612926 2361163776 393947 270582939648 4194304 4964800 140733894498944 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=22216/tid=22223] ppid=22214 vsize=2305824 CPUtime=2.03 cores=0-31
/proc/22216/task/22223/stat : 22223 (claspmt) R 22214 22216 22100 0 -1 4202560 16109 0 0 0 34 169 0 0 18 0 32 0 18612926 2361163776 393948 270582939648 4194304 4964800 140733894498944 18446744073709551615 258650653381 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=22216/tid=22224] ppid=22214 vsize=2305824 CPUtime=2.13 cores=0-31
/proc/22216/task/22224/stat : 22224 (claspmt) R 22214 22216 22100 0 -1 4202560 15872 0 0 0 44 169 0 0 18 0 32 0 18612926 2361163776 393949 270582939648 4194304 4964800 140733894498944 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=22216/tid=22225] ppid=22214 vsize=2305824 CPUtime=1.76 cores=0-31
/proc/22216/task/22225/stat : 22225 (claspmt) S 22214 22216 22100 0 -1 4202560 12256 0 0 0 18 158 0 0 18 0 32 0 18612926 2361163776 393951 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446604560008142304 0 0 -1 11 0 0 0
[pid=22216/tid=22226] ppid=22214 vsize=2305824 CPUtime=1.28 cores=0-31
/proc/22216/task/22226/stat : 22226 (claspmt) S 22214 22216 22100 0 -1 4202560 12409 0 0 0 15 113 0 0 18 0 32 0 18612926 2361163776 393952 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446604639903194592 0 0 -1 7 0 0 0
[pid=22216/tid=22227] ppid=22214 vsize=2305824 CPUtime=1.94 cores=0-31
/proc/22216/task/22227/stat : 22227 (claspmt) S 22214 22216 22100 0 -1 4202560 17677 0 0 0 33 161 0 0 18 0 32 0 18612926 2361163776 393953 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446604568306630112 0 0 -1 4 0 0 0
[pid=22216/tid=22228] ppid=22214 vsize=2305824 CPUtime=2.09 cores=0-31
/proc/22216/task/22228/stat : 22228 (claspmt) S 22214 22216 22100 0 -1 4202560 17080 0 0 0 45 164 0 0 18 0 32 0 18612926 2361163776 393953 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446604567076167136 0 0 -1 23 0 0 0
[pid=22216/tid=22229] ppid=22214 vsize=2305824 CPUtime=1.56 cores=0-31
/proc/22216/task/22229/stat : 22229 (claspmt) S 22214 22216 22100 0 -1 4202560 12422 0 0 0 12 144 0 0 18 0 32 0 18612926 2361163776 393955 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446604560473284064 0 0 -1 10 0 0 0
[pid=22216/tid=22230] ppid=22214 vsize=2305824 CPUtime=1.98 cores=0-31
/proc/22216/task/22230/stat : 22230 (claspmt) R 22214 22216 22100 0 -1 4202560 15383 0 0 0 30 168 0 0 18 0 32 0 18612926 2361163776 393956 270582939648 4194304 4964800 140733894498944 18446744073709551615 4399292 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=22216/tid=22231] ppid=22214 vsize=2305824 CPUtime=2.09 cores=0-31
/proc/22216/task/22231/stat : 22231 (claspmt) S 22214 22216 22100 0 -1 4202560 15203 0 0 0 47 162 0 0 18 0 32 0 18612926 2361163776 393957 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446604565008236000 0 0 -1 3 0 0 0
[pid=22216/tid=22232] ppid=22214 vsize=2305824 CPUtime=2.02 cores=0-31
/proc/22216/task/22232/stat : 22232 (claspmt) S 22214 22216 22100 0 -1 4202560 16342 0 0 0 38 164 0 0 18 0 32 0 18612926 2361163776 393958 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446604574843469280 0 0 -1 28 0 0 0
[pid=22216/tid=22233] ppid=22214 vsize=2305824 CPUtime=1.47 cores=0-31
/proc/22216/task/22233/stat : 22233 (claspmt) S 22214 22216 22100 0 -1 4202560 12797 0 0 0 12 135 0 0 18 0 32 0 18612926 2361163776 393959 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446604570234158560 0 0 -1 27 0 0 0
[pid=22216/tid=22234] ppid=22214 vsize=2305824 CPUtime=1.52 cores=0-31
/proc/22216/task/22234/stat : 22234 (claspmt) S 22214 22216 22100 0 -1 4202560 12522 0 0 0 11 141 0 0 18 0 32 0 18612926 2361163776 393959 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446604574964489696 0 0 -1 7 0 0 0
[pid=22216/tid=22235] ppid=22214 vsize=2305824 CPUtime=2.12 cores=0-31
/proc/22216/task/22235/stat : 22235 (claspmt) S 22214 22216 22100 0 -1 4202560 17245 0 0 0 50 162 0 0 18 0 32 0 18612926 2361163776 393960 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446604567845027296 0 0 -1 22 0 0 0
[pid=22216/tid=22236] ppid=22214 vsize=2305824 CPUtime=2.05 cores=0-31
/proc/22216/task/22236/stat : 22236 (claspmt) S 22214 22216 22100 0 -1 4202560 17785 0 0 0 49 156 0 0 18 0 32 0 18612926 2361163776 393960 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446604560533495264 0 0 -1 26 0 0 0
[pid=22216/tid=22237] ppid=22214 vsize=2305824 CPUtime=1.68 cores=0-31
/proc/22216/task/22237/stat : 22237 (claspmt) S 22214 22216 22100 0 -1 4202560 12537 0 0 0 12 156 0 0 18 0 32 0 18612926 2361163776 393960 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446604560589077984 0 0 -1 5 0 0 0
[pid=22216/tid=22238] ppid=22214 vsize=2305824 CPUtime=1.99 cores=0-31
/proc/22216/task/22238/stat : 22238 (claspmt) R 22214 22216 22100 0 -1 4202560 14820 0 0 0 36 163 0 0 18 0 32 0 18612926 2361163776 393960 270582939648 4194304 4964800 140733894498944 18446744073709551615 4669978 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=22216/tid=22239] ppid=22214 vsize=2305824 CPUtime=1.93 cores=0-31
/proc/22216/task/22239/stat : 22239 (claspmt) S 22214 22216 22100 0 -1 4202560 19280 0 0 0 37 156 0 0 18 0 32 0 18612926 2361163776 393960 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446604567359626720 0 0 -1 12 0 0 0
[pid=22216/tid=22240] ppid=22214 vsize=2305824 CPUtime=2.05 cores=0-31
/proc/22216/task/22240/stat : 22240 (claspmt) S 22214 22216 22100 0 -1 4202560 16132 0 0 0 72 133 0 0 18 0 32 0 18612926 2361163776 393960 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446604574968978912 0 0 -1 15 0 0 0
[pid=22216/tid=22241] ppid=22214 vsize=2305824 CPUtime=1.65 cores=0-31
/proc/22216/task/22241/stat : 22241 (claspmt) S 22214 22216 22100 0 -1 4202560 12713 0 0 0 11 154 0 0 18 0 32 0 18612926 2361163776 393960 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446604564859960800 0 0 -1 13 0 0 0
[pid=22216/tid=22242] ppid=22214 vsize=2305824 CPUtime=1.8 cores=0-31
/proc/22216/task/22242/stat : 22242 (claspmt) S 22214 22216 22100 0 -1 4202560 12506 0 0 0 14 166 0 0 18 0 32 0 18612926 2361163776 393961 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446604560589069792 0 0 -1 3 0 0 0
[pid=22216/tid=22243] ppid=22214 vsize=2305824 CPUtime=2.08 cores=0-31
/proc/22216/task/22243/stat : 22243 (claspmt) S 22214 22216 22100 0 -1 4202560 16262 0 0 0 49 159 0 0 18 0 32 0 18612927 2361163776 393961 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446604568572845536 0 0 -1 29 0 0 0
[pid=22216/tid=22244] ppid=22214 vsize=2305824 CPUtime=1.54 cores=0-31
/proc/22216/task/22244/stat : 22244 (claspmt) S 22214 22216 22100 0 -1 4202560 18220 0 0 0 48 106 0 0 18 0 32 0 18612927 2361163776 393961 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446604567315889632 0 0 -1 16 0 0 0
[pid=22216/tid=22245] ppid=22214 vsize=2305824 CPUtime=1.53 cores=0-31
/proc/22216/task/22245/stat : 22245 (claspmt) S 22214 22216 22100 0 -1 4202560 12415 0 0 0 10 143 0 0 18 0 32 0 18612927 2361163776 393961 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446604567315881440 0 0 -1 18 0 0 0
[pid=22216/tid=22246] ppid=22214 vsize=2305824 CPUtime=2.8 cores=0-31
/proc/22216/task/22246/stat : 22246 (claspmt) R 22214 22216 22100 0 -1 4202560 12660 0 0 0 194 86 0 0 25 0 32 0 18612927 2361163776 393962 270582939648 4194304 4964800 140733894498944 18446744073709551615 4627248 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=22216/tid=22247] ppid=22214 vsize=2305824 CPUtime=1.93 cores=0-31
/proc/22216/task/22247/stat : 22247 (claspmt) S 22214 22216 22100 0 -1 4202560 18862 0 0 0 53 140 0 0 18 0 32 0 18612927 2361163776 393962 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446604563900390880 0 0 -1 23 0 0 0
[pid=22216/tid=22248] ppid=22214 vsize=2305824 CPUtime=2.01 cores=0-31
/proc/22216/task/22248/stat : 22248 (claspmt) S 22214 22216 22100 0 -1 4202560 16596 0 0 0 40 161 0 0 18 0 32 0 18612927 2361163776 393962 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446604565539601888 0 0 -1 20 0 0 0
Current children cumulated CPU time (s) 62.09
Current children cumulated vsize (KiB) 2305824
[startup+12.7018 s]
/proc/loadavg: 10.59 7.18 12.64 5/445 22248
/proc/meminfo: memFree=261132988/264257624 swapFree=67111528/67111528
[pid=22216] ppid=22214 vsize=2305824 CPUtime=87.98 cores=0-31
/proc/22216/stat : 22216 (claspmt) S 22214 22216 22100 0 -1 4202496 527622 0 0 0 4084 4714 0 0 18 0 32 0 18612586 2361163776 395448 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/22216/statm: 576456 395448 434 189 0 570805 0
[pid=22216/tid=22218] ppid=22214 vsize=2305824 CPUtime=1.79 cores=0-31
/proc/22216/task/22218/stat : 22218 (claspmt) S 22214 22216 22100 0 -1 4202560 12471 0 0 0 12 167 0 0 18 0 32 0 18612925 2361163776 395448 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446604569844014560 0 0 -1 2 0 0 0
[pid=22216/tid=22219] ppid=22214 vsize=2305824 CPUtime=1.93 cores=0-31
/proc/22216/task/22219/stat : 22219 (claspmt) S 22214 22216 22100 0 -1 4202560 19329 0 0 0 54 139 0 0 18 0 32 0 18612925 2361163776 395448 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446604566788300256 0 0 -1 19 0 0 0
[pid=22216/tid=22220] ppid=22214 vsize=2305824 CPUtime=1.9 cores=0-31
/proc/22216/task/22220/stat : 22220 (claspmt) S 22214 22216 22100 0 -1 4202560 17975 0 0 0 34 156 0 0 18 0 32 0 18612925 2361163776 395448 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446604568487837152 0 0 -1 0 0 0 0
[pid=22216/tid=22221] ppid=22214 vsize=2305824 CPUtime=1.66 cores=0-31
/proc/22216/task/22221/stat : 22221 (claspmt) S 22214 22216 22100 0 -1 4202560 12428 0 0 0 13 153 0 0 18 0 32 0 18612926 2361163776 395448 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446604560617250272 0 0 -1 6 0 0 0
[pid=22216/tid=22222] ppid=22214 vsize=2305824 CPUtime=8.45 cores=0-31
/proc/22216/task/22222/stat : 22222 (claspmt) R 22214 22216 22100 0 -1 4202560 14671 0 0 0 681 164 0 0 25 0 32 0 18612926 2361163776 395448 270582939648 4194304 4964800 140733894498944 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=22216/tid=22223] ppid=22214 vsize=2305824 CPUtime=2.16 cores=0-31
/proc/22216/task/22223/stat : 22223 (claspmt) S 22214 22216 22100 0 -1 4202560 16926 0 0 0 47 169 0 0 18 0 32 0 18612926 2361163776 395448 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446604564156849632 0 0 -1 19 0 0 0
[pid=22216/tid=22224] ppid=22214 vsize=2305824 CPUtime=2.27 cores=0-31
/proc/22216/task/22224/stat : 22224 (claspmt) S 22214 22216 22100 0 -1 4202560 16050 0 0 0 58 169 0 0 18 0 32 0 18612926 2361163776 395448 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446604574022008288 0 0 -1 30 0 0 0
[pid=22216/tid=22225] ppid=22214 vsize=2305824 CPUtime=1.76 cores=0-31
/proc/22216/task/22225/stat : 22225 (claspmt) S 22214 22216 22100 0 -1 4202560 12256 0 0 0 18 158 0 0 18 0 32 0 18612926 2361163776 395448 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446604560008142304 0 0 -1 11 0 0 0
[pid=22216/tid=22226] ppid=22214 vsize=2305824 CPUtime=1.28 cores=0-31
/proc/22216/task/22226/stat : 22226 (claspmt) S 22214 22216 22100 0 -1 4202560 12409 0 0 0 15 113 0 0 18 0 32 0 18612926 2361163776 395448 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446604639903194592 0 0 -1 7 0 0 0
[pid=22216/tid=22227] ppid=22214 vsize=2305824 CPUtime=1.94 cores=0-31
/proc/22216/task/22227/stat : 22227 (claspmt) S 22214 22216 22100 0 -1 4202560 17677 0 0 0 33 161 0 0 18 0 32 0 18612926 2361163776 395448 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446604568306630112 0 0 -1 4 0 0 0
[pid=22216/tid=22228] ppid=22214 vsize=2305824 CPUtime=2.09 cores=0-31
/proc/22216/task/22228/stat : 22228 (claspmt) S 22214 22216 22100 0 -1 4202560 17080 0 0 0 45 164 0 0 18 0 32 0 18612926 2361163776 395448 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446604567076167136 0 0 -1 23 0 0 0
[pid=22216/tid=22229] ppid=22214 vsize=2305824 CPUtime=1.56 cores=0-31
/proc/22216/task/22229/stat : 22229 (claspmt) S 22214 22216 22100 0 -1 4202560 12422 0 0 0 12 144 0 0 18 0 32 0 18612926 2361163776 395448 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446604560473284064 0 0 -1 10 0 0 0
[pid=22216/tid=22230] ppid=22214 vsize=2305824 CPUtime=8.38 cores=0-31
/proc/22216/task/22230/stat : 22230 (claspmt) R 22214 22216 22100 0 -1 4202560 15592 0 0 0 670 168 0 0 25 0 32 0 18612926 2361163776 395448 270582939648 4194304 4964800 140733894498944 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=22216/tid=22231] ppid=22214 vsize=2305824 CPUtime=2.09 cores=0-31
/proc/22216/task/22231/stat : 22231 (claspmt) S 22214 22216 22100 0 -1 4202560 15203 0 0 0 47 162 0 0 18 0 32 0 18612926 2361163776 395448 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446604565008236000 0 0 -1 3 0 0 0
[pid=22216/tid=22232] ppid=22214 vsize=2305824 CPUtime=2.02 cores=0-31
/proc/22216/task/22232/stat : 22232 (claspmt) S 22214 22216 22100 0 -1 4202560 16342 0 0 0 38 164 0 0 18 0 32 0 18612926 2361163776 395448 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446604574843469280 0 0 -1 28 0 0 0
[pid=22216/tid=22233] ppid=22214 vsize=2305824 CPUtime=1.47 cores=0-31
/proc/22216/task/22233/stat : 22233 (claspmt) S 22214 22216 22100 0 -1 4202560 12797 0 0 0 12 135 0 0 18 0 32 0 18612926 2361163776 395448 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446604570234158560 0 0 -1 27 0 0 0
[pid=22216/tid=22234] ppid=22214 vsize=2305824 CPUtime=1.52 cores=0-31
/proc/22216/task/22234/stat : 22234 (claspmt) S 22214 22216 22100 0 -1 4202560 12522 0 0 0 11 141 0 0 18 0 32 0 18612926 2361163776 395448 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446604574964489696 0 0 -1 7 0 0 0
[pid=22216/tid=22235] ppid=22214 vsize=2305824 CPUtime=2.12 cores=0-31
/proc/22216/task/22235/stat : 22235 (claspmt) S 22214 22216 22100 0 -1 4202560 17245 0 0 0 50 162 0 0 18 0 32 0 18612926 2361163776 395448 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446604567845027296 0 0 -1 22 0 0 0
[pid=22216/tid=22236] ppid=22214 vsize=2305824 CPUtime=2.05 cores=0-31
/proc/22216/task/22236/stat : 22236 (claspmt) S 22214 22216 22100 0 -1 4202560 17785 0 0 0 49 156 0 0 18 0 32 0 18612926 2361163776 395448 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446604560533495264 0 0 -1 26 0 0 0
[pid=22216/tid=22237] ppid=22214 vsize=2305824 CPUtime=1.68 cores=0-31
/proc/22216/task/22237/stat : 22237 (claspmt) S 22214 22216 22100 0 -1 4202560 12537 0 0 0 12 156 0 0 18 0 32 0 18612926 2361163776 395448 270582939648 4194304 4964800 140733894498944 18446744073709551615 258662772457 0 0 4096 18946 18446604560589077984 0 0 -1 5 0 0 0
[pid=22216/tid=22238] ppid=22214 vsize=2305824 CPUtime=8.39 cores=0-31
################
# More data... #
################
[pid=22216/tid=22223] ppid=22214 vsize=4376592 CPUtime=403.7 cores=0-31
/proc/22216/task/22223/stat : 22223 (claspmt) R 22214 22216 22100 0 -1 4202560 23969 0 0 0 40180 190 0 0 25 0 32 0 18612926 4481630208 963029 270582939648 4194304 4964800 140733894498944 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=22216/tid=22224] ppid=22214 vsize=4376592 CPUtime=403.85 cores=0-31
/proc/22216/task/22224/stat : 22224 (claspmt) R 22214 22216 22100 0 -1 4202560 43280 0 0 0 40154 231 0 0 25 0 32 0 18612926 4481630208 963029 270582939648 4194304 4964800 140733894498944 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=22216/tid=22225] ppid=22214 vsize=4376592 CPUtime=403.03 cores=0-31
/proc/22216/task/22225/stat : 22225 (claspmt) R 22214 22216 22100 0 -1 4202560 15807 0 0 0 40131 172 0 0 25 0 32 0 18612926 4481630208 963029 270582939648 4194304 4964800 140733894498944 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=22216/tid=22226] ppid=22214 vsize=4376592 CPUtime=402.93 cores=0-31
/proc/22216/task/22226/stat : 22226 (claspmt) R 22214 22216 22100 0 -1 4202560 16502 0 0 0 40168 125 0 0 25 0 32 0 18612926 4481630208 963029 270582939648 4194304 4964800 140733894498944 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=22216/tid=22227] ppid=22214 vsize=4376592 CPUtime=403.48 cores=0-31
/proc/22216/task/22227/stat : 22227 (claspmt) R 22214 22216 22100 0 -1 4202560 84850 0 0 0 40081 267 0 0 25 0 32 0 18612926 4481630208 963029 270582939648 4194304 4964800 140733894498944 18446744073709551615 4653186 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=22216/tid=22228] ppid=22214 vsize=4376592 CPUtime=403.71 cores=0-31
/proc/22216/task/22228/stat : 22228 (claspmt) R 22214 22216 22100 0 -1 4202560 24840 0 0 0 40182 189 0 0 25 0 32 0 18612926 4481630208 963029 270582939648 4194304 4964800 140733894498944 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=22216/tid=22229] ppid=22214 vsize=4376592 CPUtime=403.18 cores=0-31
/proc/22216/task/22229/stat : 22229 (claspmt) R 22214 22216 22100 0 -1 4202560 30427 0 0 0 40124 194 0 0 25 0 32 0 18612926 4481630208 963029 270582939648 4194304 4964800 140733894498944 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=22216/tid=22230] ppid=22214 vsize=4376592 CPUtime=887.64 cores=0-31
/proc/22216/task/22230/stat : 22230 (claspmt) R 22214 22216 22100 0 -1 4202560 19331 0 0 0 88585 179 0 0 25 0 32 0 18612926 4481630208 963029 270582939648 4194304 4964800 140733894498944 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=22216/tid=22231] ppid=22214 vsize=4376592 CPUtime=403.68 cores=0-31
/proc/22216/task/22231/stat : 22231 (claspmt) R 22214 22216 22100 0 -1 4202560 21871 0 0 0 40181 187 0 0 25 0 32 0 18612926 4481630208 963029 270582939648 4194304 4964800 140733894498944 18446744073709551615 4678038 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=22216/tid=22232] ppid=22214 vsize=4376592 CPUtime=403.54 cores=0-31
/proc/22216/task/22232/stat : 22232 (claspmt) R 22214 22216 22100 0 -1 4202560 47614 0 0 0 40128 226 0 0 25 0 32 0 18612926 4481630208 963029 270582939648 4194304 4964800 140733894498944 18446744073709551615 4627365 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=22216/tid=22233] ppid=22214 vsize=4376592 CPUtime=403.15 cores=0-31
/proc/22216/task/22233/stat : 22233 (claspmt) R 22214 22216 22100 0 -1 4202560 16797 0 0 0 40166 149 0 0 25 0 32 0 18612926 4481630208 963029 270582939648 4194304 4964800 140733894498944 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=22216/tid=22234] ppid=22214 vsize=4376592 CPUtime=403.11 cores=0-31
/proc/22216/task/22234/stat : 22234 (claspmt) R 22214 22216 22100 0 -1 4202560 16023 0 0 0 40158 153 0 0 25 0 32 0 18612926 4481630208 963029 270582939648 4194304 4964800 140733894498944 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=22216/tid=22235] ppid=22214 vsize=4376592 CPUtime=403.63 cores=0-31
/proc/22216/task/22235/stat : 22235 (claspmt) R 22214 22216 22100 0 -1 4202560 91400 0 0 0 40079 284 0 0 25 0 32 0 18612926 4481630208 963029 270582939648 4194304 4964800 140733894498944 18446744073709551615 4313845 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=22216/tid=22236] ppid=22214 vsize=4376592 CPUtime=403.68 cores=0-31
/proc/22216/task/22236/stat : 22236 (claspmt) R 22214 22216 22100 0 -1 4202560 26432 0 0 0 40182 186 0 0 25 0 32 0 18612926 4481630208 963029 270582939648 4194304 4964800 140733894498944 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=22216/tid=22237] ppid=22214 vsize=4376592 CPUtime=403.33 cores=0-31
/proc/22216/task/22237/stat : 22237 (claspmt) R 22214 22216 22100 0 -1 4202560 28293 0 0 0 40131 202 0 0 25 0 32 0 18612926 4481630208 963029 270582939648 4194304 4964800 140733894498944 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=22216/tid=22238] ppid=22214 vsize=4376592 CPUtime=890.59 cores=0-31
/proc/22216/task/22238/stat : 22238 (claspmt) R 22214 22216 22100 0 -1 4202560 18930 0 0 0 88886 173 0 0 25 0 32 0 18612926 4481630208 963029 270582939648 4194304 4964800 140733894498944 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=22216/tid=22239] ppid=22214 vsize=4376592 CPUtime=403.49 cores=0-31
/proc/22216/task/22239/stat : 22239 (claspmt) R 22214 22216 22100 0 -1 4202560 27653 0 0 0 40165 184 0 0 25 0 32 0 18612926 4481630208 963029 270582939648 4194304 4964800 140733894498944 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=22216/tid=22240] ppid=22214 vsize=4376592 CPUtime=403.59 cores=0-31
/proc/22216/task/22240/stat : 22240 (claspmt) R 22214 22216 22100 0 -1 4202560 46882 0 0 0 40156 203 0 0 25 0 32 0 18612926 4481630208 963029 270582939648 4194304 4964800 140733894498944 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=22216/tid=22241] ppid=22214 vsize=4376592 CPUtime=403.33 cores=0-31
/proc/22216/task/22241/stat : 22241 (claspmt) R 22214 22216 22100 0 -1 4202560 16326 0 0 0 40165 168 0 0 25 0 32 0 18612926 4481630208 963029 270582939648 4194304 4964800 140733894498944 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=22216/tid=22242] ppid=22214 vsize=4376592 CPUtime=403.47 cores=0-31
/proc/22216/task/22242/stat : 22242 (claspmt) R 22214 22216 22100 0 -1 4202560 16455 0 0 0 40166 181 0 0 25 0 32 0 18612926 4481630208 963029 270582939648 4194304 4964800 140733894498944 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=22216/tid=22243] ppid=22214 vsize=4376592 CPUtime=403.63 cores=0-31
/proc/22216/task/22243/stat : 22243 (claspmt) R 22214 22216 22100 0 -1 4202560 82309 0 0 0 40083 280 0 0 25 0 32 0 18612927 4481630208 963029 270582939648 4194304 4964800 140733894498944 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=22216/tid=22244] ppid=22214 vsize=4376592 CPUtime=403.12 cores=0-31
/proc/22216/task/22244/stat : 22244 (claspmt) R 22214 22216 22100 0 -1 4202560 26735 0 0 0 40182 130 0 0 25 0 32 0 18612927 4481630208 963029 270582939648 4194304 4964800 140733894498944 18446744073709551615 4669389 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=22216/tid=22245] ppid=22214 vsize=4376592 CPUtime=403.17 cores=0-31
/proc/22216/task/22245/stat : 22245 (claspmt) R 22214 22216 22100 0 -1 4202560 33133 0 0 0 40124 193 0 0 25 0 32 0 18612927 4481630208 963029 270582939648 4194304 4964800 140733894498944 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=22216/tid=22246] ppid=22214 vsize=4376592 CPUtime=891.7 cores=0-31
/proc/22216/task/22246/stat : 22246 (claspmt) R 22214 22216 22100 0 -1 4202560 13460 0 0 0 89081 89 0 0 25 0 32 0 18612927 4481630208 963029 270582939648 4194304 4964800 140733894498944 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=22216/tid=22247] ppid=22214 vsize=4376592 CPUtime=403.23 cores=0-31
/proc/22216/task/22247/stat : 22247 (claspmt) R 22214 22216 22100 0 -1 4202560 26034 0 0 0 40157 166 0 0 25 0 32 0 18612927 4481630208 963029 270582939648 4194304 4964800 140733894498944 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=22216/tid=22248] ppid=22214 vsize=4376592 CPUtime=403.61 cores=0-31
/proc/22216/task/22248/stat : 22248 (claspmt) R 22214 22216 22100 0 -1 4202560 45497 0 0 0 40140 221 0 0 25 0 32 0 18612927 4481630208 963029 270582939648 4194304 4964800 140733894498944 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 14848.3
Current children cumulated vsize (KiB) 4376592
[startup+899.202 s]
/proc/loadavg: 31.97 24.95 17.21 33/445 22272
/proc/meminfo: memFree=258863096/264257624 swapFree=67111528/67111528
[pid=22216] ppid=22214 vsize=4376592 CPUtime=14950.5 cores=0-31
/proc/22216/stat : 22216 (claspmt) R 22214 22216 22100 0 -1 4202496 1095511 0 0 0 1489078 5975 0 0 25 0 32 0 18612586 4481630208 963000 270582939648 4194304 4964800 140733894498944 18446744073709551615 4670180 0 0 4096 18946 18446744073709551615 0 0 17 21 0 0 0
/proc/22216/statm: 1094148 963000 457 189 0 1088497 0
[pid=22216/tid=22218] ppid=22214 vsize=4376592 CPUtime=406.65 cores=0-31
/proc/22216/task/22218/stat : 22218 (claspmt) R 22214 22216 22100 0 -1 4202560 16009 0 0 0 40486 179 0 0 25 0 32 0 18612925 4481630208 963000 270582939648 4194304 4964800 140733894498944 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=22216/tid=22219] ppid=22214 vsize=4376592 CPUtime=395.71 cores=0-31
/proc/22216/task/22219/stat : 22219 (claspmt) R 22214 22216 22100 0 -1 4202560 83530 0 0 0 39311 260 0 0 25 0 32 0 18612925 4481630208 963000 270582939648 4194304 4964800 140733894498944 18446744073709551615 4313804 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=22216/tid=22220] ppid=22214 vsize=4376592 CPUtime=406.65 cores=0-31
/proc/22216/task/22220/stat : 22220 (claspmt) R 22214 22216 22100 0 -1 4202560 27051 0 0 0 40480 185 0 0 25 0 32 0 18612925 4481630208 963000 270582939648 4194304 4964800 140733894498944 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=22216/tid=22221] ppid=22214 vsize=4376592 CPUtime=406.55 cores=0-31
/proc/22216/task/22221/stat : 22221 (claspmt) R 22214 22216 22100 0 -1 4202560 31201 0 0 0 40456 199 0 0 25 0 32 0 18612926 4481630208 963000 270582939648 4194304 4964800 140733894498944 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=22216/tid=22222] ppid=22214 vsize=4376592 CPUtime=894.77 cores=0-31
/proc/22216/task/22222/stat : 22222 (claspmt) R 22214 22216 22100 0 -1 4202560 17485 0 0 0 89306 171 0 0 25 0 32 0 18612926 4481630208 963000 270582939648 4194304 4964800 140733894498944 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=22216/tid=22223] ppid=22214 vsize=4376592 CPUtime=406.89 cores=0-31
/proc/22216/task/22223/stat : 22223 (claspmt) R 22214 22216 22100 0 -1 4202560 23969 0 0 0 40499 190 0 0 25 0 32 0 18612926 4481630208 963000 270582939648 4194304 4964800 140733894498944 18446744073709551615 4668636 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=22216/tid=22224] ppid=22214 vsize=4376592 CPUtime=407.05 cores=0-31
/proc/22216/task/22224/stat : 22224 (claspmt) R 22214 22216 22100 0 -1 4202560 43280 0 0 0 40474 231 0 0 25 0 32 0 18612926 4481630208 963000 270582939648 4194304 4964800 140733894498944 18446744073709551615 4647774 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=22216/tid=22225] ppid=22214 vsize=4376592 CPUtime=406.14 cores=0-31
/proc/22216/task/22225/stat : 22225 (claspmt) R 22214 22216 22100 0 -1 4202560 15807 0 0 0 40442 172 0 0 25 0 32 0 18612926 4481630208 963000 270582939648 4194304 4964800 140733894498944 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=22216/tid=22226] ppid=22214 vsize=4376592 CPUtime=406.13 cores=0-31
/proc/22216/task/22226/stat : 22226 (claspmt) R 22214 22216 22100 0 -1 4202560 16502 0 0 0 40488 125 0 0 25 0 32 0 18612926 4481630208 963000 270582939648 4194304 4964800 140733894498944 18446744073709551615 4670678 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=22216/tid=22227] ppid=22214 vsize=4376592 CPUtime=406.68 cores=0-31
/proc/22216/task/22227/stat : 22227 (claspmt) R 22214 22216 22100 0 -1 4202560 84850 0 0 0 40401 267 0 0 25 0 32 0 18612926 4481630208 963000 270582939648 4194304 4964800 140733894498944 18446744073709551615 4313845 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=22216/tid=22228] ppid=22214 vsize=4376592 CPUtime=406.9 cores=0-31
/proc/22216/task/22228/stat : 22228 (claspmt) R 22214 22216 22100 0 -1 4202560 24840 0 0 0 40501 189 0 0 25 0 32 0 18612926 4481630208 963000 270582939648 4194304 4964800 140733894498944 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=22216/tid=22229] ppid=22214 vsize=4376592 CPUtime=406.38 cores=0-31
/proc/22216/task/22229/stat : 22229 (claspmt) R 22214 22216 22100 0 -1 4202560 30427 0 0 0 40444 194 0 0 25 0 32 0 18612926 4481630208 963000 270582939648 4194304 4964800 140733894498944 18446744073709551615 4669022 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=22216/tid=22230] ppid=22214 vsize=4376592 CPUtime=890.83 cores=0-31
/proc/22216/task/22230/stat : 22230 (claspmt) R 22214 22216 22100 0 -1 4202560 19331 0 0 0 88904 179 0 0 25 0 32 0 18612926 4481630208 963000 270582939648 4194304 4964800 140733894498944 18446744073709551615 4669283 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=22216/tid=22231] ppid=22214 vsize=4376592 CPUtime=406.88 cores=0-31
/proc/22216/task/22231/stat : 22231 (claspmt) R 22214 22216 22100 0 -1 4202560 21871 0 0 0 40501 187 0 0 25 0 32 0 18612926 4481630208 963000 270582939648 4194304 4964800 140733894498944 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=22216/tid=22232] ppid=22214 vsize=4376592 CPUtime=406.74 cores=0-31
/proc/22216/task/22232/stat : 22232 (claspmt) R 22214 22216 22100 0 -1 4202560 47614 0 0 0 40448 226 0 0 25 0 32 0 18612926 4481630208 963000 270582939648 4194304 4964800 140733894498944 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=22216/tid=22233] ppid=22214 vsize=4376592 CPUtime=406.35 cores=0-31
/proc/22216/task/22233/stat : 22233 (claspmt) R 22214 22216 22100 0 -1 4202560 16797 0 0 0 40486 149 0 0 25 0 32 0 18612926 4481630208 963000 270582939648 4194304 4964800 140733894498944 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=22216/tid=22234] ppid=22214 vsize=4376592 CPUtime=406.31 cores=0-31
/proc/22216/task/22234/stat : 22234 (claspmt) R 22214 22216 22100 0 -1 4202560 16023 0 0 0 40478 153 0 0 25 0 32 0 18612926 4481630208 963000 270582939648 4194304 4964800 140733894498944 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=22216/tid=22235] ppid=22214 vsize=4376592 CPUtime=406.82 cores=0-31
/proc/22216/task/22235/stat : 22235 (claspmt) R 22214 22216 22100 0 -1 4202560 91400 0 0 0 40398 284 0 0 25 0 32 0 18612926 4481630208 963000 270582939648 4194304 4964800 140733894498944 18446744073709551615 4669547 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=22216/tid=22236] ppid=22214 vsize=4376592 CPUtime=406.88 cores=0-31
/proc/22216/task/22236/stat : 22236 (claspmt) R 22214 22216 22100 0 -1 4202560 26432 0 0 0 40502 186 0 0 25 0 32 0 18612926 4481630208 963000 270582939648 4194304 4964800 140733894498944 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=22216/tid=22237] ppid=22214 vsize=4376592 CPUtime=406.53 cores=0-31
/proc/22216/task/22237/stat : 22237 (claspmt) R 22214 22216 22100 0 -1 4202560 28294 0 0 0 40451 202 0 0 25 0 32 0 18612926 4481630208 963000 270582939648 4194304 4964800 140733894498944 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=22216/tid=22238] ppid=22214 vsize=4376592 CPUtime=893.79 cores=0-31
/proc/22216/task/22238/stat : 22238 (claspmt) R 22214 22216 22100 0 -1 4202560 18930 0 0 0 89206 173 0 0 25 0 32 0 18612926 4481630208 963000 270582939648 4194304 4964800 140733894498944 18446744073709551615 4399339 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=22216/tid=22239] ppid=22214 vsize=4376592 CPUtime=406.69 cores=0-31
/proc/22216/task/22239/stat : 22239 (claspmt) R 22214 22216 22100 0 -1 4202560 27653 0 0 0 40485 184 0 0 25 0 32 0 18612926 4481630208 963000 270582939648 4194304 4964800 140733894498944 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=22216/tid=22240] ppid=22214 vsize=4376592 CPUtime=406.79 cores=0-31
/proc/22216/task/22240/stat : 22240 (claspmt) R 22214 22216 22100 0 -1 4202560 46882 0 0 0 40476 203 0 0 25 0 32 0 18612926 4481630208 963000 270582939648 4194304 4964800 140733894498944 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=22216/tid=22241] ppid=22214 vsize=4376592 CPUtime=406.53 cores=0-31
/proc/22216/task/22241/stat : 22241 (claspmt) R 22214 22216 22100 0 -1 4202560 16326 0 0 0 40485 168 0 0 25 0 32 0 18612926 4481630208 963000 270582939648 4194304 4964800 140733894498944 18446744073709551615 4669376 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=22216/tid=22242] ppid=22214 vsize=4376592 CPUtime=406.67 cores=0-31
/proc/22216/task/22242/stat : 22242 (claspmt) R 22214 22216 22100 0 -1 4202560 16455 0 0 0 40486 181 0 0 25 0 32 0 18612926 4481630208 963000 270582939648 4194304 4964800 140733894498944 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=22216/tid=22243] ppid=22214 vsize=4376592 CPUtime=406.83 cores=0-31
/proc/22216/task/22243/stat : 22243 (claspmt) R 22214 22216 22100 0 -1 4202560 82309 0 0 0 40403 280 0 0 25 0 32 0 18612927 4481630208 963000 270582939648 4194304 4964800 140733894498944 18446744073709551615 4313839 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=22216/tid=22244] ppid=22214 vsize=4376592 CPUtime=406.32 cores=0-31
/proc/22216/task/22244/stat : 22244 (claspmt) R 22214 22216 22100 0 -1 4202560 26735 0 0 0 40502 130 0 0 25 0 32 0 18612927 4481630208 963000 270582939648 4194304 4964800 140733894498944 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=22216/tid=22245] ppid=22214 vsize=4376592 CPUtime=406.36 cores=0-31
/proc/22216/task/22245/stat : 22245 (claspmt) R 22214 22216 22100 0 -1 4202560 33133 0 0 0 40443 193 0 0 25 0 32 0 18612927 4481630208 963000 270582939648 4194304 4964800 140733894498944 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=22216/tid=22246] ppid=22214 vsize=4376592 CPUtime=894.9 cores=0-31
/proc/22216/task/22246/stat : 22246 (claspmt) R 22214 22216 22100 0 -1 4202560 13460 0 0 0 89401 89 0 0 25 0 32 0 18612927 4481630208 963000 270582939648 4194304 4964800 140733894498944 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=22216/tid=22247] ppid=22214 vsize=4376592 CPUtime=406.43 cores=0-31
/proc/22216/task/22247/stat : 22247 (claspmt) R 22214 22216 22100 0 -1 4202560 26034 0 0 0 40477 166 0 0 25 0 32 0 18612927 4481630208 963000 270582939648 4194304 4964800 140733894498944 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=22216/tid=22248] ppid=22214 vsize=4376592 CPUtime=406.81 cores=0-31
/proc/22216/task/22248/stat : 22248 (claspmt) R 22214 22216 22100 0 -1 4202560 45497 0 0 0 40460 221 0 0 25 0 32 0 18612927 4481630208 963000 270582939648 4194304 4964800 140733894498944 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 14950.5
Current children cumulated vsize (KiB) 4376592
[startup+902.401 s]
/proc/loadavg: 31.97 25.07 17.29 2/414 22272
/proc/meminfo: memFree=258863824/264257624 swapFree=67111528/67111528
[pid=22216] ppid=22214 vsize=4285432 CPUtime=15027.4 cores=0-31
/proc/22216/stat : 22216 (claspmt) R 22214 22216 22100 0 -1 4202496 1095523 0 0 0 1496758 5986 0 0 16 0 1 0 18612586 4388282368 962713 270582939648 4194304 4964800 140733894498944 18446744073709551615 4454134 0 0 4096 18946 0 0 0 17 21 0 0 0
/proc/22216/statm: 1071358 962713 468 189 0 1065707 0
Current children cumulated CPU time (s) 15027.4
Current children cumulated vsize (KiB) 4285432
[startup+904.001 s]
/proc/loadavg: 31.97 25.07 17.29 2/414 22272
/proc/meminfo: memFree=259137244/264257624 swapFree=67111528/67111528
[pid=22216] ppid=22214 vsize=3676128 CPUtime=15029 cores=0-31
/proc/22216/stat : 22216 (claspmt) R 22214 22216 22100 0 -1 4202496 1095523 0 0 0 1496914 5990 0 0 18 0 1 0 18612586 3764355072 819125 270582939648 4194304 4964800 140733894498944 18446744073709551615 4628834 0 0 4096 18946 0 0 0 17 21 0 0 0
/proc/22216/statm: 919032 819125 468 189 0 913381 0
Current children cumulated CPU time (s) 15029
Current children cumulated vsize (KiB) 3676128
[startup+904.401 s]
/proc/loadavg: 31.97 25.07 17.29 2/414 22272
/proc/meminfo: memFree=259483700/264257624 swapFree=67111528/67111528
[pid=22216] ppid=22214 vsize=3561348 CPUtime=15029.4 cores=0-31
/proc/22216/stat : 22216 (claspmt) R 22214 22216 22100 0 -1 4202496 1095523 0 0 0 1496953 5991 0 0 19 0 1 0 18612586 3646820352 789808 270582939648 4194304 4964800 140733894498944 18446744073709551615 258650604632 0 0 4096 18946 0 0 0 17 21 0 0 0
/proc/22216/statm: 890337 789808 468 189 0 884686 0
Current children cumulated CPU time (s) 15029.4
Current children cumulated vsize (KiB) 3561348
[startup+904.801 s]
/proc/loadavg: 31.97 25.07 17.29 2/414 22272
/proc/meminfo: memFree=259483700/264257624 swapFree=67111528/67111528
[pid=22216] ppid=22214 vsize=2660136 CPUtime=15029.8 cores=0-31
/proc/22216/stat : 22216 (claspmt) R 22214 22216 22100 0 -1 4202496 1095523 0 0 0 1496987 5996 0 0 19 0 1 0 18612586 2723979264 546377 270582939648 4194304 4964800 140733894498944 18446744073709551615 258650999159 0 0 4096 18946 0 0 0 17 21 0 0 0
/proc/22216/statm: 665034 545865 468 189 0 659383 0
Current children cumulated CPU time (s) 15029.8
Current children cumulated vsize (KiB) 2660136
[startup+904.901 s]
/proc/loadavg: 31.97 25.07 17.29 2/414 22272
/proc/meminfo: memFree=259483700/264257624 swapFree=67111528/67111528
[pid=22216] ppid=22214 vsize=0 CPUtime=15029.9 cores=0-31
/proc/22216/stat : 22216 (claspmt) R 22214 22216 22100 0 -1 4202500 1095524 0 0 0 1496987 6006 0 0 19 0 1 0 18612586 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 21 0 0 0
/proc/22216/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 15029.9
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 904.942
CPU time (s): 15030
CPU user time (s): 14969.9
CPU system time (s): 60.1079
CPU usage (%): 1660.88
Max. virtual memory (cumulated for all children) (KiB): 4376592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14969.9
system time used= 60.1079
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1095524
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= 193520
involuntary context switches= 34001
runsolver used 5.15921 second user time and 18.5072 second system time
The end
Begin job on node200 at 2011-06-08 13:24:17
IDJOB=3472366
IDBENCH=82371
IDSOLVER=1961
FILE ID=node200/3472366-1307532251
RUNJOBID= node200-1307531080-22114
PBS_JOBID= 13514241
Free space on /tmp= 61588 MiB
SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/application/rintanen/SATPlanning/blocks-blocks-36-0.120-NOTKNOWN.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-3472366-1307532251/watcher-3472366-1307532251 -o /tmp/evaluation-result-3472366-1307532251/solver-3472366-1307532251 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472366-1307532251.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 256000 MiB
NBCORE= 32
MD5SUM BENCH= 8d94c04f870c828c80bd9a45ae3dedff
RANDOM SEED=1526989215
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: 262713036 kB
Buffers: 175120 kB
Cached: 1102740 kB
SwapCached: 0 kB
Active: 356688 kB
Inactive: 987392 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 262713036 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 160268 kB
Writeback: 0 kB
AnonPages: 66464 kB
Mapped: 14532 kB
Slab: 122868 kB
PageTables: 4456 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 167448 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= 61588 MiB
End job on node200 at 2011-06-08 13:39:22