0.00/0.01 c clasp version 2.0.0-RC2
0.00/0.01 c Reading from ...814819/instance-3472512-1307814819.cnf
0.00/0.02 c Solving...
1029.91/32.43 s UNSATISFIABLE
1029.91/32.43
1029.91/32.43 c Models : 0
1029.91/32.43 c Time : 32.390s (Solving: 32.38s 1st Model: 0.00s Unsat: 32.38s)
1029.91/32.43 c CPU Time : 1029.900s
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-3472512-1307814819/watcher-3472512-1307814819 -o /tmp/evaluation-result-3472512-1307814819/solver-3472512-1307814819 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472512-1307814819.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: 25.13 30.30 31.16 1/413 11236
/proc/meminfo: memFree=262036472/264257624 swapFree=67111528/67111528
[pid=11236] ppid=11234 vsize=713416 CPUtime=0.03 cores=0-31
/proc/11236/stat : 11236 (claspmt) D 11234 11236 11206 0 -1 4202496 1385 0 0 0 2 1 0 0 18 0 24 0 46868791 730537984 1230 270582939648 4194304 4964800 140734836379664 18446744073709551615 258650999207 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/11236/statm: 178354 1230 436 189 0 172703 0
[pid=11236/tid=11237] ppid=11234 vsize=713416 CPUtime=0 cores=0-31
/proc/11236/task/11237/stat : 11237 (claspmt) S 11234 11236 11206 0 -1 4202560 12 0 0 0 0 0 0 0 25 0 24 0 46868794 730537984 1237 270582939648 4194304 4964800 140734836379664 18446744073709551615 258662772457 0 0 4096 18946 18446604488491531744 0 0 -1 1 0 0 0
[pid=11236/tid=11238] ppid=11234 vsize=713416 CPUtime=0 cores=0-31
/proc/11236/task/11238/stat : 11238 (claspmt) S 11234 11236 11206 0 -1 4202560 38 0 0 0 0 0 0 0 18 0 25 0 46868794 730537984 1239 270582939648 4194304 4964800 140734836379664 18446744073709551615 258662772457 0 0 4096 18946 18446604497768168928 0 0 -1 2 0 0 0
[pid=11236/tid=11239] ppid=11234 vsize=713416 CPUtime=0 cores=0-31
/proc/11236/task/11239/stat : 11239 (claspmt) S 11234 11236 11206 0 -1 4202560 40 0 0 0 0 0 0 0 18 0 25 0 46868794 730537984 1244 270582939648 4194304 4964800 140734836379664 18446744073709551615 258662772457 0 0 4096 18946 18446744071566925184 0 0 -1 1 0 0 0
[pid=11236/tid=11240] ppid=11234 vsize=717516 CPUtime=0 cores=0-31
/proc/11236/task/11240/stat : 11240 (claspmt) S 11234 11236 11206 0 -1 4202560 33 0 0 0 0 0 0 0 18 0 25 0 46868794 734736384 1254 270582939648 4194304 4964800 140734836379664 18446744073709551615 258662772457 0 0 4096 18946 18446604498396184032 0 0 -1 1 0 0 0
[pid=11236/tid=11241] ppid=11234 vsize=717516 CPUtime=0 cores=0-31
/proc/11236/task/11241/stat : 11241 (claspmt) S 11234 11236 11206 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 25 0 46868794 734736384 1255 270582939648 4194304 4964800 140734836379664 18446744073709551615 258662772457 0 0 4096 18946 18446604561718164960 0 0 -1 4 0 0 0
[pid=11236/tid=11242] ppid=11234 vsize=717516 CPUtime=0 cores=0-31
/proc/11236/task/11242/stat : 11242 (claspmt) S 11234 11236 11206 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 25 0 46868794 734736384 1258 270582939648 4194304 4964800 140734836379664 18446744073709551615 258662772457 0 0 4096 18946 18446604567859043808 0 0 -1 20 0 0 0
[pid=11236/tid=11243] ppid=11234 vsize=717516 CPUtime=0 cores=0-31
/proc/11236/task/11243/stat : 11243 (claspmt) S 11234 11236 11206 0 -1 4202560 34 0 0 0 0 0 0 0 18 0 26 0 46868794 734736384 1263 270582939648 4194304 4964800 140734836379664 18446744073709551615 258662772457 0 0 4096 18946 18446604497631878624 0 0 -1 20 0 0 0
[pid=11236/tid=11244] ppid=11234 vsize=721616 CPUtime=0 cores=0-31
/proc/11236/task/11244/stat : 11244 (claspmt) S 11234 11236 11206 0 -1 4202560 30 0 0 0 0 0 0 0 18 0 26 0 46868794 738934784 1266 270582939648 4194304 4964800 140734836379664 18446744073709551615 258662772457 0 0 4096 18946 18446604502311206368 0 0 -1 2 0 0 0
[pid=11236/tid=11245] ppid=11234 vsize=721616 CPUtime=0 cores=0-31
/proc/11236/task/11245/stat : 11245 (claspmt) S 11234 11236 11206 0 -1 4202560 34 0 0 0 0 0 0 0 18 0 26 0 46868794 738934784 1273 270582939648 4194304 4964800 140734836379664 18446744073709551615 258662772457 0 0 4096 18946 18446604488528051680 0 0 -1 1 0 0 0
[pid=11236/tid=11246] ppid=11234 vsize=721616 CPUtime=0 cores=0-31
/proc/11236/task/11246/stat : 11246 (claspmt) S 11234 11236 11206 0 -1 4202560 36 0 0 0 0 0 0 0 17 0 26 0 46868794 738934784 1276 270582939648 4194304 4964800 140734836379664 18446744073709551615 258662772457 0 0 4096 18946 18446604568691539424 0 0 -1 5 0 0 0
[pid=11236/tid=11247] ppid=11234 vsize=721616 CPUtime=0 cores=0-31
/proc/11236/task/11247/stat : 11247 (claspmt) S 11234 11236 11206 0 -1 4202560 38 0 0 0 0 0 0 0 18 0 26 0 46868794 738934784 1278 270582939648 4194304 4964800 140734836379664 18446744073709551615 258662772457 0 0 4096 18946 18446604492188777952 0 0 -1 5 0 0 0
[pid=11236/tid=11248] ppid=11234 vsize=721616 CPUtime=0 cores=0-31
/proc/11236/task/11248/stat : 11248 (claspmt) S 11234 11236 11206 0 -1 4202560 26 0 0 0 0 0 0 0 18 0 27 0 46868794 738934784 1282 270582939648 4194304 4964800 140734836379664 18446744073709551615 258662772457 0 0 4096 18946 18446604500687035872 0 0 -1 13 0 0 0
[pid=11236/tid=11249] ppid=11234 vsize=721616 CPUtime=0 cores=0-31
/proc/11236/task/11249/stat : 11249 (claspmt) R 11234 11236 11206 0 -1 4202560 37 0 0 0 0 0 0 0 18 0 27 0 46868794 738934784 1285 270582939648 4194304 4964800 140734836379664 18446744073709551615 4670417 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=11236/tid=11250] ppid=11234 vsize=725716 CPUtime=0 cores=0-31
/proc/11236/task/11250/stat : 11250 (claspmt) S 11234 11236 11206 0 -1 4202560 35 0 0 0 0 0 0 0 18 0 27 0 46868794 743133184 1289 270582939648 4194304 4964800 140734836379664 18446744073709551615 258662772457 0 0 4096 18946 18446604567968251360 0 0 -1 6 0 0 0
[pid=11236/tid=11251] ppid=11234 vsize=725716 CPUtime=0 cores=0-31
/proc/11236/task/11251/stat : 11251 (claspmt) S 11234 11236 11206 0 -1 4202560 35 0 0 0 0 0 0 0 18 0 27 0 46868794 743133184 1290 270582939648 4194304 4964800 140734836379664 18446744073709551615 258662772457 0 0 4096 18946 18446604562982764000 0 0 -1 2 0 0 0
[pid=11236/tid=11252] ppid=11234 vsize=725716 CPUtime=0 cores=0-31
/proc/11236/task/11252/stat : 11252 (claspmt) S 11234 11236 11206 0 -1 4202560 34 0 0 0 0 0 0 0 18 0 27 0 46868794 743133184 1294 270582939648 4194304 4964800 140734836379664 18446744073709551615 258662772457 0 0 4096 18946 18446604572984597984 0 0 -1 1 0 0 0
[pid=11236/tid=11253] ppid=11234 vsize=725716 CPUtime=0 cores=0-31
/proc/11236/task/11253/stat : 11253 (claspmt) D 11234 11236 11206 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 28 0 46868794 743133184 1299 270582939648 4194304 4964800 140734836379664 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=11236/tid=11254] ppid=11234 vsize=725716 CPUtime=0 cores=0-31
/proc/11236/task/11254/stat : 11254 (claspmt) D 11234 11236 11206 0 -1 4202560 28 0 0 0 0 0 0 0 18 0 28 0 46868794 743133184 1304 270582939648 4194304 4964800 140734836379664 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=11236/tid=11255] ppid=11234 vsize=729816 CPUtime=0 cores=0-31
/proc/11236/task/11255/stat : 11255 (claspmt) D 11234 11236 11206 0 -1 4202560 26 0 0 0 0 0 0 0 18 0 28 0 46868794 747331584 1308 270582939648 4194304 4964800 140734836379664 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=11236/tid=11256] ppid=11234 vsize=729816 CPUtime=0 cores=0-31
/proc/11236/task/11256/stat : 11256 (claspmt) D 11234 11236 11206 0 -1 4202560 24 0 0 0 0 0 0 0 18 0 28 0 46868795 747331584 1315 270582939648 4194304 4964800 140734836379664 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=11236/tid=11257] ppid=11234 vsize=729816 CPUtime=0 cores=0-31
/proc/11236/task/11257/stat : 11257 (claspmt) R 11234 11236 11206 0 -1 4202560 20 0 0 0 0 0 0 0 18 0 29 0 46868795 747331584 1323 270582939648 4194304 4964800 140734836379664 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=11236/tid=11258] ppid=11234 vsize=729816 CPUtime=0 cores=0-31
/proc/11236/task/11258/stat : 11258 (claspmt) D 11234 11236 11206 0 -1 4202560 22 0 0 0 0 0 0 0 19 0 29 0 46868795 747331584 1328 270582939648 4194304 4964800 140734836379664 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=11236/tid=11259] ppid=11234 vsize=733916 CPUtime=0 cores=0-31
/proc/11236/task/11259/stat : 11259 (claspmt) D 11234 11236 11206 0 -1 4202560 14 0 0 0 0 0 0 0 19 0 29 0 46868795 751529984 1333 270582939648 4194304 4964800 140734836379664 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=11236/tid=11260] ppid=11234 vsize=733916 CPUtime=0 cores=0-31
/proc/11236/task/11260/stat : 11260 (claspmt) R 11234 11236 11206 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 29 0 46868795 751529984 1336 270582939648 4194304 4964800 140734836379664 18446744073709551615 4679091 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=11236/tid=11261] ppid=11234 vsize=733916 CPUtime=0 cores=0-31
/proc/11236/task/11261/stat : 11261 (claspmt) D 11234 11236 11206 0 -1 4202560 13 0 0 0 0 0 0 0 18 0 29 0 46868795 751529984 1342 270582939648 4194304 4964800 140734836379664 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=11236/tid=11262] ppid=11234 vsize=733916 CPUtime=0 cores=0-31
/proc/11236/task/11262/stat : 11262 (claspmt) D 11234 11236 11206 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 29 0 46868795 751529984 1343 270582939648 4194304 4964800 140734836379664 18446744073709551615 4679151 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=11236/tid=11263] ppid=11234 vsize=733916 CPUtime=0 cores=0-31
/proc/11236/task/11263/stat : 11263 (claspmt) D 11234 11236 11206 0 -1 4202560 3 0 0 0 0 0 0 0 19 0 30 0 46868795 751529984 1347 270582939648 4194304 4964800 140734836379664 18446744073709551615 4679091 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=11236/tid=11264] ppid=11234 vsize=733916 CPUtime=0 cores=0-31
/proc/11236/task/11264/stat : 11264 (claspmt) R 11234 11236 11206 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 30 0 46868795 751529984 1352 270582939648 4194304 4964800 140734836379664 18446744073709551615 4679132 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=11236/tid=11265] ppid=11234 vsize=733916 CPUtime=0 cores=0-31
/proc/11236/task/11265/stat : 11265 (claspmt) D 11234 11236 11206 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 30 0 46868795 751529984 1353 270582939648 4194304 4964800 140734836379664 18446744073709551615 4647954 0 0 4096 18946 0 0 0 -1 2 0 0 0
[startup+0.08801 s]
/proc/loadavg: 25.13 30.30 31.16 1/413 11236
/proc/meminfo: memFree=262036472/264257624 swapFree=67111528/67111528
[pid=11236] ppid=11234 vsize=1004684 CPUtime=0.43 cores=0-31
/proc/11236/stat : 11236 (claspmt) R 11234 11236 11206 0 -1 4202496 2374 0 0 0 37 6 0 0 18 0 32 0 46868791 1028796416 2181 270582939648 4194304 4964800 140734836379664 18446744073709551615 4334248 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/11236/statm: 251171 2188 455 189 0 245520 0
[pid=11236/tid=11237] ppid=11234 vsize=1004684 CPUtime=0.01 cores=0-31
/proc/11236/task/11237/stat : 11237 (claspmt) S 11234 11236 11206 0 -1 4202560 29 0 0 0 1 0 0 0 17 0 32 0 46868794 1028796416 2189 270582939648 4194304 4964800 140734836379664 18446744073709551615 258651060958 0 0 4096 18946 18446744071566929104 0 0 -1 6 0 0 0
[pid=11236/tid=11238] ppid=11234 vsize=1004684 CPUtime=0.01 cores=0-31
/proc/11236/task/11238/stat : 11238 (claspmt) S 11234 11236 11206 0 -1 4202560 64 0 0 0 1 0 0 0 17 0 32 0 46868794 1028796416 2198 270582939648 4194304 4964800 140734836379664 18446744073709551615 258651060958 0 0 4096 18946 18446744071566931784 0 0 -1 10 0 0 0
[pid=11236/tid=11239] ppid=11234 vsize=1004684 CPUtime=0.01 cores=0-31
/proc/11236/task/11239/stat : 11239 (claspmt) S 11234 11236 11206 0 -1 4202560 70 0 0 0 1 0 0 0 17 0 32 0 46868794 1028796416 2198 270582939648 4194304 4964800 140734836379664 18446744073709551615 258651060958 0 0 4096 18946 18446744071566932384 0 0 -1 31 0 0 0
[pid=11236/tid=11240] ppid=11234 vsize=1004684 CPUtime=0 cores=0-31
/proc/11236/task/11240/stat : 11240 (claspmt) R 11234 11236 11206 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 32 0 46868794 1028796416 2199 270582939648 4194304 4964800 140734836379664 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=11236/tid=11241] ppid=11234 vsize=1004684 CPUtime=0.02 cores=0-31
/proc/11236/task/11241/stat : 11241 (claspmt) R 11234 11236 11206 0 -1 4202560 46 0 0 0 2 0 0 0 17 0 32 0 46868794 1028796416 2199 270582939648 4194304 4964800 140734836379664 18446744073709551615 4320984 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=11236/tid=11242] ppid=11234 vsize=1004684 CPUtime=0 cores=0-31
/proc/11236/task/11242/stat : 11242 (claspmt) S 11234 11236 11206 0 -1 4202560 55 0 0 0 0 0 0 0 17 0 32 0 46868794 1028796416 2199 270582939648 4194304 4964800 140734836379664 18446744073709551615 258651060958 0 0 4096 18946 18446744071566923944 0 0 -1 20 0 0 0
[pid=11236/tid=11243] ppid=11234 vsize=1004684 CPUtime=0 cores=0-31
/proc/11236/task/11243/stat : 11243 (claspmt) D 11234 11236 11206 0 -1 4202560 57 0 0 0 0 0 0 0 17 0 32 0 46868794 1028796416 2199 270582939648 4194304 4964800 140734836379664 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=11236/tid=11244] ppid=11234 vsize=1004684 CPUtime=0.01 cores=0-31
/proc/11236/task/11244/stat : 11244 (claspmt) D 11234 11236 11206 0 -1 4202560 50 0 0 0 1 0 0 0 17 0 32 0 46868794 1028796416 2214 270582939648 4194304 4964800 140734836379664 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=11236/tid=11245] ppid=11234 vsize=1004684 CPUtime=0.01 cores=0-31
/proc/11236/task/11245/stat : 11245 (claspmt) D 11234 11236 11206 0 -1 4202560 59 0 0 0 1 0 0 0 17 0 32 0 46868794 1028796416 2214 270582939648 4194304 4964800 140734836379664 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=11236/tid=11246] ppid=11234 vsize=1004684 CPUtime=0.01 cores=0-31
/proc/11236/task/11246/stat : 11246 (claspmt) R 11234 11236 11206 0 -1 4202560 61 0 0 0 1 0 0 0 17 0 32 0 46868794 1028796416 2224 270582939648 4194304 4964800 140734836379664 18446744073709551615 258650623172 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=11236/tid=11247] ppid=11234 vsize=1004684 CPUtime=0.01 cores=0-31
/proc/11236/task/11247/stat : 11247 (claspmt) D 11234 11236 11206 0 -1 4202560 58 0 0 0 1 0 0 0 17 0 32 0 46868794 1028796416 2224 270582939648 4194304 4964800 140734836379664 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=11236/tid=11248] ppid=11234 vsize=1004684 CPUtime=0.01 cores=0-31
/proc/11236/task/11248/stat : 11248 (claspmt) S 11234 11236 11206 0 -1 4202560 43 0 0 0 1 0 0 0 17 0 32 0 46868794 1028796416 2225 270582939648 4194304 4964800 140734836379664 18446744073709551615 258651060958 0 0 4096 18946 18446744071566928184 0 0 -1 19 0 0 0
[pid=11236/tid=11249] ppid=11234 vsize=1004684 CPUtime=0.02 cores=0-31
/proc/11236/task/11249/stat : 11249 (claspmt) S 11234 11236 11206 0 -1 4202560 47 0 0 0 2 0 0 0 17 0 32 0 46868794 1028796416 2228 270582939648 4194304 4964800 140734836379664 18446744073709551615 258651060958 0 0 4096 18946 18446604570442898912 0 0 -1 1 0 0 0
[pid=11236/tid=11250] ppid=11234 vsize=1004684 CPUtime=0 cores=0-31
/proc/11236/task/11250/stat : 11250 (claspmt) D 11234 11236 11206 0 -1 4202560 52 0 0 0 0 0 0 0 17 0 32 0 46868794 1028796416 2228 270582939648 4194304 4964800 140734836379664 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=11236/tid=11251] ppid=11234 vsize=1070220 CPUtime=0 cores=0-31
/proc/11236/task/11251/stat : 11251 (claspmt) R 11234 11236 11206 0 -1 4202560 57 0 0 0 0 0 0 0 17 0 32 0 46868794 1095905280 2249 270582939648 4194304 4964800 140734836379664 18446744073709551615 4321023 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=11236/tid=11252] ppid=11234 vsize=1070220 CPUtime=0 cores=0-31
/proc/11236/task/11252/stat : 11252 (claspmt) R 11234 11236 11206 0 -1 4202560 52 0 0 0 0 0 0 0 17 0 32 0 46868794 1095905280 2249 270582939648 4194304 4964800 140734836379664 18446744073709551615 4334298 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=11236/tid=11253] ppid=11234 vsize=1070220 CPUtime=0 cores=0-31
/proc/11236/task/11253/stat : 11253 (claspmt) D 11234 11236 11206 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 32 0 46868794 1095905280 2270 270582939648 4194304 4964800 140734836379664 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=11236/tid=11254] ppid=11234 vsize=1070220 CPUtime=0 cores=0-31
/proc/11236/task/11254/stat : 11254 (claspmt) D 11234 11236 11206 0 -1 4202560 54 0 0 0 0 0 0 0 17 0 32 0 46868794 1095905280 2270 270582939648 4194304 4964800 140734836379664 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=11236/tid=11255] ppid=11234 vsize=1070220 CPUtime=0.01 cores=0-31
/proc/11236/task/11255/stat : 11255 (claspmt) D 11234 11236 11206 0 -1 4202560 57 0 0 0 1 0 0 0 17 0 32 0 46868794 1095905280 2271 270582939648 4194304 4964800 140734836379664 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=11236/tid=11256] ppid=11234 vsize=1070220 CPUtime=0.01 cores=0-31
/proc/11236/task/11256/stat : 11256 (claspmt) D 11234 11236 11206 0 -1 4202560 50 0 0 0 1 0 0 0 17 0 32 0 46868795 1095905280 2272 270582939648 4194304 4964800 140734836379664 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=11236/tid=11257] ppid=11234 vsize=1070220 CPUtime=0.02 cores=0-31
/proc/11236/task/11257/stat : 11257 (claspmt) R 11234 11236 11206 0 -1 4202560 47 0 0 0 2 0 0 0 17 0 32 0 46868795 1095905280 2275 270582939648 4194304 4964800 140734836379664 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=11236/tid=11258] ppid=11234 vsize=1070220 CPUtime=0 cores=0-31
/proc/11236/task/11258/stat : 11258 (claspmt) S 11234 11236 11206 0 -1 4202560 57 0 0 0 0 0 0 0 17 0 32 0 46868795 1095905280 2275 270582939648 4194304 4964800 140734836379664 18446744073709551615 258651060958 0 0 4096 18946 18446604567859043808 0 0 -1 24 0 0 0
[pid=11236/tid=11259] ppid=11234 vsize=1070220 CPUtime=0.01 cores=0-31
/proc/11236/task/11259/stat : 11259 (claspmt) S 11234 11236 11206 0 -1 4202560 61 0 0 0 1 0 0 0 17 0 32 0 46868795 1095905280 2275 270582939648 4194304 4964800 140734836379664 18446744073709551615 258651060958 0 0 4096 18946 18446604498396184032 0 0 -1 22 0 0 0
[pid=11236/tid=11260] ppid=11234 vsize=1070220 CPUtime=0 cores=0-31
/proc/11236/task/11260/stat : 11260 (claspmt) R 11234 11236 11206 0 -1 4202560 54 0 0 0 0 0 0 0 17 0 32 0 46868795 1095905280 2275 270582939648 4194304 4964800 140734836379664 18446744073709551615 4653382 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=11236/tid=11261] ppid=11234 vsize=1070220 CPUtime=0.01 cores=0-31
/proc/11236/task/11261/stat : 11261 (claspmt) R 11234 11236 11206 0 -1 4202560 51 0 0 0 1 0 0 0 17 0 32 0 46868795 1095905280 2279 270582939648 4194304 4964800 140734836379664 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=11236/tid=11262] ppid=11234 vsize=1070220 CPUtime=0.01 cores=0-31
/proc/11236/task/11262/stat : 11262 (claspmt) D 11234 11236 11206 0 -1 4202560 47 0 0 0 1 0 0 0 17 0 32 0 46868795 1095905280 2279 270582939648 4194304 4964800 140734836379664 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=11236/tid=11263] ppid=11234 vsize=1070220 CPUtime=0.01 cores=0-31
/proc/11236/task/11263/stat : 11263 (claspmt) R 11234 11236 11206 0 -1 4202560 64 0 0 0 1 0 0 0 17 0 32 0 46868795 1095905280 2281 270582939648 4194304 4964800 140734836379664 18446744073709551615 4361097 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=11236/tid=11264] ppid=11234 vsize=1070220 CPUtime=0 cores=0-31
/proc/11236/task/11264/stat : 11264 (claspmt) D 11234 11236 11206 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 32 0 46868795 1095905280 2283 270582939648 4194304 4964800 140734836379664 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=11236/tid=11265] ppid=11234 vsize=1070220 CPUtime=0.03 cores=0-31
/proc/11236/task/11265/stat : 11265 (claspmt) R 11234 11236 11206 0 -1 4202560 56 0 0 0 3 0 0 0 17 0 32 0 46868795 1095905280 2283 270582939648 4194304 4964800 140734836379664 18446744073709551615 4670538 0 0 4096 18946 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 1004684
[startup+0.110567 s]
/proc/loadavg: 25.13 30.30 31.16 1/413 11236
/proc/meminfo: memFree=262036472/264257624 swapFree=67111528/67111528
[pid=11236] ppid=11234 vsize=1070352 CPUtime=0.75 cores=0-31
/proc/11236/stat : 11236 (claspmt) R 11234 11236 11206 0 -1 4202496 2781 0 0 0 67 8 0 0 18 0 32 0 46868791 1096040448 2588 270582939648 4194304 4964800 140734836379664 18446744073709551615 4370264 0 0 4096 18946 18446744073709551615 0 0 17 25 0 0 0
/proc/11236/statm: 267588 2590 460 189 0 261937 0
[pid=11236/tid=11237] ppid=11234 vsize=1070352 CPUtime=0.02 cores=0-31
/proc/11236/task/11237/stat : 11237 (claspmt) R 11234 11236 11206 0 -1 4202560 44 0 0 0 2 0 0 0 17 0 32 0 46868794 1096040448 2604 270582939648 4194304 4964800 140734836379664 18446744073709551615 4670394 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=11236/tid=11238] ppid=11234 vsize=1070352 CPUtime=0.02 cores=0-31
/proc/11236/task/11238/stat : 11238 (claspmt) R 11234 11236 11206 0 -1 4202560 74 0 0 0 2 0 0 0 17 0 32 0 46868794 1096040448 2604 270582939648 4194304 4964800 140734836379664 18446744073709551615 4628033 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=11236/tid=11239] ppid=11234 vsize=1070352 CPUtime=0.02 cores=0-31
/proc/11236/task/11239/stat : 11239 (claspmt) S 11234 11236 11206 0 -1 4202560 85 0 0 0 2 0 0 0 17 0 32 0 46868794 1096040448 2609 270582939648 4194304 4964800 140734836379664 18446744073709551615 258651060958 0 0 4096 18946 18446744071566932624 0 0 -1 31 0 0 0
[pid=11236/tid=11240] ppid=11234 vsize=1070352 CPUtime=0.01 cores=0-31
/proc/11236/task/11240/stat : 11240 (claspmt) R 11234 11236 11206 0 -1 4202560 61 0 0 0 1 0 0 0 17 0 32 0 46868794 1096040448 2616 270582939648 4194304 4964800 140734836379664 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=11236/tid=11241] ppid=11234 vsize=1070352 CPUtime=0.03 cores=0-31
/proc/11236/task/11241/stat : 11241 (claspmt) R 11234 11236 11206 0 -1 4202560 55 0 0 0 3 0 0 0 17 0 32 0 46868794 1096040448 2616 270582939648 4194304 4964800 140734836379664 18446744073709551615 4670220 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=11236/tid=11242] ppid=11234 vsize=1070352 CPUtime=0.01 cores=0-31
/proc/11236/task/11242/stat : 11242 (claspmt) R 11234 11236 11206 0 -1 4202560 71 0 0 0 1 0 0 0 17 0 32 0 46868794 1096040448 2616 270582939648 4194304 4964800 140734836379664 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=11236/tid=11243] ppid=11234 vsize=1070352 CPUtime=0.01 cores=0-31
/proc/11236/task/11243/stat : 11243 (claspmt) S 11234 11236 11206 0 -1 4202560 76 0 0 0 1 0 0 0 17 0 32 0 46868794 1096040448 2616 270582939648 4194304 4964800 140734836379664 18446744073709551615 258651060958 0 0 4096 18946 18446744071566931384 0 0 -1 21 0 0 0
[pid=11236/tid=11244] ppid=11234 vsize=1070352 CPUtime=0.02 cores=0-31
/proc/11236/task/11244/stat : 11244 (claspmt) D 11234 11236 11206 0 -1 4202560 62 0 0 0 2 0 0 0 17 0 32 0 46868794 1096040448 2617 270582939648 4194304 4964800 140734836379664 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=11236/tid=11245] ppid=11234 vsize=1070352 CPUtime=0.02 cores=0-31
/proc/11236/task/11245/stat : 11245 (claspmt) R 11234 11236 11206 0 -1 4202560 69 0 0 0 2 0 0 0 17 0 32 0 46868794 1096040448 2617 270582939648 4194304 4964800 140734836379664 18446744073709551615 4660165 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=11236/tid=11246] ppid=11234 vsize=1070352 CPUtime=0.02 cores=0-31
/proc/11236/task/11246/stat : 11246 (claspmt) S 11234 11236 11206 0 -1 4202560 82 0 0 0 2 0 0 0 17 0 32 0 46868794 1096040448 2617 270582939648 4194304 4964800 140734836379664 18446744073709551615 258651060958 0 0 4096 18946 18446604575251332576 0 0 -1 25 0 0 0
[pid=11236/tid=11247] ppid=11234 vsize=1070352 CPUtime=0.01 cores=0-31
/proc/11236/task/11247/stat : 11247 (claspmt) D 11234 11236 11206 0 -1 4202560 70 0 0 0 1 0 0 0 17 0 32 0 46868794 1096040448 2618 270582939648 4194304 4964800 140734836379664 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=11236/tid=11248] ppid=11234 vsize=1070352 CPUtime=0.02 cores=0-31
/proc/11236/task/11248/stat : 11248 (claspmt) R 11234 11236 11206 0 -1 4202560 56 0 0 0 2 0 0 0 17 0 32 0 46868794 1096040448 2627 270582939648 4194304 4964800 140734836379664 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=11236/tid=11249] ppid=11234 vsize=1070352 CPUtime=0.03 cores=0-31
/proc/11236/task/11249/stat : 11249 (claspmt) R 11234 11236 11206 0 -1 4202560 59 0 0 0 3 0 0 0 17 0 32 0 46868794 1096040448 2627 270582939648 4194304 4964800 140734836379664 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=11236/tid=11250] ppid=11234 vsize=1070352 CPUtime=0.01 cores=0-31
/proc/11236/task/11250/stat : 11250 (claspmt) R 11234 11236 11206 0 -1 4202560 68 0 0 0 1 0 0 0 17 0 32 0 46868794 1096040448 2627 270582939648 4194304 4964800 140734836379664 18446744073709551615 4361097 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=11236/tid=11251] ppid=11234 vsize=1070352 CPUtime=0.01 cores=0-31
/proc/11236/task/11251/stat : 11251 (claspmt) D 11234 11236 11206 0 -1 4202560 68 0 0 0 1 0 0 0 17 0 32 0 46868794 1096040448 2627 270582939648 4194304 4964800 140734836379664 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=11236/tid=11252] ppid=11234 vsize=1070352 CPUtime=0.01 cores=0-31
/proc/11236/task/11252/stat : 11252 (claspmt) S 11234 11236 11206 0 -1 4202560 61 0 0 0 1 0 0 0 17 0 32 0 46868794 1096040448 2627 270582939648 4194304 4964800 140734836379664 18446744073709551615 258651060958 0 0 4096 18946 18446744071566931784 0 0 -1 9 0 0 0
[pid=11236/tid=11253] ppid=11234 vsize=1070352 CPUtime=0.01 cores=0-31
/proc/11236/task/11253/stat : 11253 (claspmt) R 11234 11236 11206 0 -1 4202560 57 0 0 0 1 0 0 0 18 0 32 0 46868794 1096040448 2627 270582939648 4194304 4964800 140734836379664 18446744073709551615 258651060958 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=11236/tid=11254] ppid=11234 vsize=1070352 CPUtime=0.01 cores=0-31
/proc/11236/task/11254/stat : 11254 (claspmt) S 11234 11236 11206 0 -1 4202560 66 0 0 0 1 0 0 0 17 0 32 0 46868794 1096040448 2627 270582939648 4194304 4964800 140734836379664 18446744073709551615 258651060958 0 0 4096 18946 18446604561718164960 0 0 -1 30 0 0 0
[pid=11236/tid=11255] ppid=11234 vsize=1070352 CPUtime=0.02 cores=0-31
/proc/11236/task/11255/stat : 11255 (claspmt) R 11234 11236 11206 0 -1 4202560 72 0 0 0 2 0 0 0 17 0 32 0 46868794 1096040448 2627 270582939648 4194304 4964800 140734836379664 18446744073709551615 4361097 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=11236/tid=11256] ppid=11234 vsize=1070352 CPUtime=0.02 cores=0-31
/proc/11236/task/11256/stat : 11256 (claspmt) R 11234 11236 11206 0 -1 4202560 61 0 0 0 2 0 0 0 17 0 32 0 46868795 1096040448 2627 270582939648 4194304 4964800 140734836379664 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=11236/tid=11257] ppid=11234 vsize=1070352 CPUtime=0.03 cores=0-31
################
# More data... #
################
/proc/11236/task/11259/stat : 11259 (claspmt) S 11234 11236 11206 0 -1 4202560 1059 0 0 0 3043 13 0 0 25 0 32 0 46868795 1171603456 34540 270582939648 4194304 4964800 140734836379664 18446744073709551615 258651060958 0 0 4096 18946 18446604572470812128 0 0 -1 27 0 0 0
[pid=11236/tid=11260] ppid=11234 vsize=1144144 CPUtime=30.91 cores=0-31
/proc/11236/task/11260/stat : 11260 (claspmt) R 11234 11236 11206 0 -1 4202560 620 0 0 0 3078 13 0 0 21 0 32 0 46868795 1171603456 34540 270582939648 4194304 4964800 140734836379664 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=11236/tid=11261] ppid=11234 vsize=1144144 CPUtime=30.88 cores=0-31
/proc/11236/task/11261/stat : 11261 (claspmt) R 11234 11236 11206 0 -1 4202560 1319 0 0 0 3081 7 0 0 22 0 32 0 46868795 1171603456 34540 270582939648 4194304 4964800 140734836379664 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=11236/tid=11262] ppid=11234 vsize=1144144 CPUtime=30.95 cores=0-31
/proc/11236/task/11262/stat : 11262 (claspmt) R 11234 11236 11206 0 -1 4202560 2138 0 0 0 3086 9 0 0 25 0 32 0 46868795 1171603456 34540 270582939648 4194304 4964800 140734836379664 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=11236/tid=11263] ppid=11234 vsize=1144144 CPUtime=30.91 cores=0-31
/proc/11236/task/11263/stat : 11263 (claspmt) R 11234 11236 11206 0 -1 4202560 689 0 0 0 3082 9 0 0 25 0 32 0 46868795 1171603456 34540 270582939648 4194304 4964800 140734836379664 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=11236/tid=11264] ppid=11234 vsize=1144144 CPUtime=30.53 cores=0-31
/proc/11236/task/11264/stat : 11264 (claspmt) R 11234 11236 11206 0 -1 4202560 1082 0 0 0 3041 12 0 0 25 0 32 0 46868795 1171603456 34540 270582939648 4194304 4964800 140734836379664 18446744073709551615 4627520 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=11236/tid=11265] ppid=11234 vsize=1144144 CPUtime=30.94 cores=0-31
/proc/11236/task/11265/stat : 11265 (claspmt) R 11234 11236 11206 0 -1 4202560 738 0 0 0 3085 9 0 0 25 0 32 0 46868795 1171603456 34540 270582939648 4194304 4964800 140734836379664 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=11236/tid=11266] ppid=11234 vsize=1144144 CPUtime=30.9 cores=0-31
/proc/11236/task/11266/stat : 11266 (claspmt) R 11234 11236 11206 0 -1 4202560 599 0 0 0 3078 12 0 0 25 0 32 0 46868795 1171603456 34540 270582939648 4194304 4964800 140734836379664 18446744073709551615 4670640 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=11236/tid=11268] ppid=11234 vsize=1144144 CPUtime=30.91 cores=0-31
/proc/11236/task/11268/stat : 11268 (claspmt) R 11234 11236 11206 0 -1 4202560 1148 0 0 0 3079 12 0 0 25 0 32 0 46868795 1171603456 34540 270582939648 4194304 4964800 140734836379664 18446744073709551615 4670343 0 0 4096 18946 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 988.74
Current children cumulated vsize (KiB) 1144144
[startup+31.9211 s]
/proc/loadavg: 27.92 30.48 31.20 33/445 11268
/proc/meminfo: memFree=261905324/264257624 swapFree=67111528/67111528
[pid=11236] ppid=11234 vsize=1144144 CPUtime=1014.9 cores=0-31
/proc/11236/stat : 11236 (claspmt) R 11234 11236 11206 0 -1 4202496 34827 0 0 0 101095 395 0 0 25 0 32 0 46868791 1171603456 34634 270582939648 4194304 4964800 140734836379664 18446744073709551615 4627252 0 0 4096 18946 18446744073709551615 0 0 17 25 0 0 0
/proc/11236/statm: 286036 34634 461 189 0 280385 0
[pid=11236/tid=11237] ppid=11234 vsize=1144144 CPUtime=31.72 cores=0-31
/proc/11236/task/11237/stat : 11237 (claspmt) R 11234 11236 11206 0 -1 4202560 1337 0 0 0 3161 11 0 0 23 0 32 0 46868794 1171603456 34634 270582939648 4194304 4964800 140734836379664 18446744073709551615 4627248 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=11236/tid=11238] ppid=11234 vsize=1144144 CPUtime=31.78 cores=0-31
/proc/11236/task/11238/stat : 11238 (claspmt) R 11234 11236 11206 0 -1 4202560 2472 0 0 0 3169 9 0 0 25 0 32 0 46868794 1171603456 34634 270582939648 4194304 4964800 140734836379664 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=11236/tid=11239] ppid=11234 vsize=1144144 CPUtime=31.74 cores=0-31
/proc/11236/task/11239/stat : 11239 (claspmt) R 11234 11236 11206 0 -1 4202560 621 0 0 0 3158 16 0 0 25 0 32 0 46868794 1171603456 34634 270582939648 4194304 4964800 140734836379664 18446744073709551615 4363552 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=11236/tid=11240] ppid=11234 vsize=1144144 CPUtime=31.72 cores=0-31
/proc/11236/task/11240/stat : 11240 (claspmt) R 11234 11236 11206 0 -1 4202560 1130 0 0 0 3161 11 0 0 25 0 32 0 46868794 1171603456 34634 270582939648 4194304 4964800 140734836379664 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=11236/tid=11241] ppid=11234 vsize=1144144 CPUtime=31.75 cores=0-31
/proc/11236/task/11241/stat : 11241 (claspmt) R 11234 11236 11206 0 -1 4202560 698 0 0 0 3166 9 0 0 18 0 32 0 46868794 1171603456 34634 270582939648 4194304 4964800 140734836379664 18446744073709551615 4321121 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=11236/tid=11242] ppid=11234 vsize=1144144 CPUtime=31.71 cores=0-31
/proc/11236/task/11242/stat : 11242 (claspmt) R 11234 11236 11206 0 -1 4202560 709 0 0 0 3158 13 0 0 25 0 32 0 46868794 1171603456 34634 270582939648 4194304 4964800 140734836379664 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=11236/tid=11243] ppid=11234 vsize=1144144 CPUtime=31.73 cores=0-31
/proc/11236/task/11243/stat : 11243 (claspmt) R 11234 11236 11206 0 -1 4202560 1135 0 0 0 3160 13 0 0 25 0 32 0 46868794 1171603456 34634 270582939648 4194304 4964800 140734836379664 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=11236/tid=11244] ppid=11234 vsize=1144144 CPUtime=31.68 cores=0-31
/proc/11236/task/11244/stat : 11244 (claspmt) R 11234 11236 11206 0 -1 4202560 639 0 0 0 3154 14 0 0 25 0 32 0 46868794 1171603456 34634 270582939648 4194304 4964800 140734836379664 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=11236/tid=11245] ppid=11234 vsize=1144144 CPUtime=31.73 cores=0-31
/proc/11236/task/11245/stat : 11245 (claspmt) R 11234 11236 11206 0 -1 4202560 1415 0 0 0 3162 11 0 0 25 0 32 0 46868794 1171603456 34634 270582939648 4194304 4964800 140734836379664 18446744073709551615 4670160 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=11236/tid=11246] ppid=11234 vsize=1144144 CPUtime=31.77 cores=0-31
/proc/11236/task/11246/stat : 11246 (claspmt) R 11234 11236 11206 0 -1 4202560 2305 0 0 0 3170 7 0 0 25 0 32 0 46868794 1171603456 34634 270582939648 4194304 4964800 140734836379664 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=11236/tid=11247] ppid=11234 vsize=1144144 CPUtime=31.74 cores=0-31
/proc/11236/task/11247/stat : 11247 (claspmt) R 11234 11236 11206 0 -1 4202560 669 0 0 0 3160 14 0 0 25 0 32 0 46868794 1171603456 34634 270582939648 4194304 4964800 140734836379664 18446744073709551615 4669386 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=11236/tid=11248] ppid=11234 vsize=1144144 CPUtime=31.73 cores=0-31
/proc/11236/task/11248/stat : 11248 (claspmt) R 11234 11236 11206 0 -1 4202560 1066 0 0 0 3163 10 0 0 25 0 32 0 46868794 1171603456 34634 270582939648 4194304 4964800 140734836379664 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=11236/tid=11249] ppid=11234 vsize=1144144 CPUtime=31.74 cores=0-31
/proc/11236/task/11249/stat : 11249 (claspmt) R 11234 11236 11206 0 -1 4202560 713 0 0 0 3161 13 0 0 25 0 32 0 46868794 1171603456 34634 270582939648 4194304 4964800 140734836379664 18446744073709551615 4321082 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=11236/tid=11250] ppid=11234 vsize=1144144 CPUtime=31.72 cores=0-31
/proc/11236/task/11250/stat : 11250 (claspmt) R 11234 11236 11206 0 -1 4202560 666 0 0 0 3163 9 0 0 18 0 32 0 46868794 1171603456 34634 270582939648 4194304 4964800 140734836379664 18446744073709551615 4627081 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=11236/tid=11251] ppid=11234 vsize=1144144 CPUtime=31.72 cores=0-31
/proc/11236/task/11251/stat : 11251 (claspmt) R 11234 11236 11206 0 -1 4202560 1103 0 0 0 3159 13 0 0 20 0 32 0 46868794 1171603456 34634 270582939648 4194304 4964800 140734836379664 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=11236/tid=11252] ppid=11234 vsize=1144144 CPUtime=31.73 cores=0-31
/proc/11236/task/11252/stat : 11252 (claspmt) R 11234 11236 11206 0 -1 4202560 595 0 0 0 3160 13 0 0 25 0 32 0 46868794 1171603456 34634 270582939648 4194304 4964800 140734836379664 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=11236/tid=11253] ppid=11234 vsize=1144144 CPUtime=31.71 cores=0-31
/proc/11236/task/11253/stat : 11253 (claspmt) R 11234 11236 11206 0 -1 4202560 1376 0 0 0 3156 15 0 0 19 0 32 0 46868794 1171603456 34634 270582939648 4194304 4964800 140734836379664 18446744073709551615 4659391 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=11236/tid=11254] ppid=11234 vsize=1144144 CPUtime=31.56 cores=0-31
/proc/11236/task/11254/stat : 11254 (claspmt) R 11234 11236 11206 0 -1 4202560 2418 0 0 0 3144 12 0 0 25 0 32 0 46868794 1171603456 34634 270582939648 4194304 4964800 140734836379664 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=11236/tid=11255] ppid=11234 vsize=1144144 CPUtime=31.74 cores=0-31
/proc/11236/task/11255/stat : 11255 (claspmt) R 11234 11236 11206 0 -1 4202560 652 0 0 0 3161 13 0 0 25 0 32 0 46868794 1171603456 34634 270582939648 4194304 4964800 140734836379664 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=11236/tid=11256] ppid=11234 vsize=1144144 CPUtime=31.73 cores=0-31
/proc/11236/task/11256/stat : 11256 (claspmt) R 11234 11236 11206 0 -1 4202560 1024 0 0 0 3160 13 0 0 25 0 32 0 46868795 1171603456 34634 270582939648 4194304 4964800 140734836379664 18446744073709551615 4320897 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=11236/tid=11257] ppid=11234 vsize=1144144 CPUtime=31.77 cores=0-31
/proc/11236/task/11257/stat : 11257 (claspmt) R 11234 11236 11206 0 -1 4202560 729 0 0 0 3165 12 0 0 25 0 32 0 46868795 1171603456 34634 270582939648 4194304 4964800 140734836379664 18446744073709551615 4627252 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=11236/tid=11258] ppid=11234 vsize=1144144 CPUtime=31.73 cores=0-31
/proc/11236/task/11258/stat : 11258 (claspmt) R 11234 11236 11206 0 -1 4202560 630 0 0 0 3159 14 0 0 18 0 32 0 46868795 1171603456 34634 270582939648 4194304 4964800 140734836379664 18446744073709551615 4320939 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=11236/tid=11259] ppid=11234 vsize=1144144 CPUtime=31.38 cores=0-31
/proc/11236/task/11259/stat : 11259 (claspmt) R 11234 11236 11206 0 -1 4202560 1059 0 0 0 3125 13 0 0 18 0 32 0 46868795 1171603456 34634 270582939648 4194304 4964800 140734836379664 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=11236/tid=11260] ppid=11234 vsize=1144144 CPUtime=31.73 cores=0-31
/proc/11236/task/11260/stat : 11260 (claspmt) R 11234 11236 11206 0 -1 4202560 620 0 0 0 3160 13 0 0 24 0 32 0 46868795 1171603456 34634 270582939648 4194304 4964800 140734836379664 18446744073709551615 258650614895 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=11236/tid=11261] ppid=11234 vsize=1144144 CPUtime=31.69 cores=0-31
/proc/11236/task/11261/stat : 11261 (claspmt) R 11234 11236 11206 0 -1 4202560 1320 0 0 0 3162 7 0 0 25 0 32 0 46868795 1171603456 34634 270582939648 4194304 4964800 140734836379664 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=11236/tid=11262] ppid=11234 vsize=1144144 CPUtime=31.78 cores=0-31
/proc/11236/task/11262/stat : 11262 (claspmt) R 11234 11236 11206 0 -1 4202560 2139 0 0 0 3168 10 0 0 25 0 32 0 46868795 1171603456 34634 270582939648 4194304 4964800 140734836379664 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=11236/tid=11263] ppid=11234 vsize=1144144 CPUtime=31.73 cores=0-31
/proc/11236/task/11263/stat : 11263 (claspmt) R 11234 11236 11206 0 -1 4202560 689 0 0 0 3164 9 0 0 25 0 32 0 46868795 1171603456 34634 270582939648 4194304 4964800 140734836379664 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=11236/tid=11264] ppid=11234 vsize=1144144 CPUtime=31.35 cores=0-31
/proc/11236/task/11264/stat : 11264 (claspmt) R 11234 11236 11206 0 -1 4202560 1087 0 0 0 3123 12 0 0 25 0 32 0 46868795 1171603456 34634 270582939648 4194304 4964800 140734836379664 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=11236/tid=11265] ppid=11234 vsize=1144144 CPUtime=31.75 cores=0-31
/proc/11236/task/11265/stat : 11265 (claspmt) R 11234 11236 11206 0 -1 4202560 738 0 0 0 3166 9 0 0 25 0 32 0 46868795 1171603456 34634 270582939648 4194304 4964800 140734836379664 18446744073709551615 4670415 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=11236/tid=11266] ppid=11234 vsize=1144144 CPUtime=31.73 cores=0-31
/proc/11236/task/11266/stat : 11266 (claspmt) R 11234 11236 11206 0 -1 4202560 599 0 0 0 3160 13 0 0 25 0 32 0 46868795 1171603456 34634 270582939648 4194304 4964800 140734836379664 18446744073709551615 4653426 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=11236/tid=11268] ppid=11234 vsize=1144144 CPUtime=31.73 cores=0-31
/proc/11236/task/11268/stat : 11268 (claspmt) R 11234 11236 11206 0 -1 4202560 1148 0 0 0 3160 13 0 0 25 0 32 0 46868795 1171603456 34634 270582939648 4194304 4964800 140734836379664 18446744073709551615 258650616463 0 0 4096 18946 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 1014.9
Current children cumulated vsize (KiB) 1144144
[startup+32.3021 s]
/proc/loadavg: 27.92 30.48 31.20 33/445 11268
/proc/meminfo: memFree=261905324/264257624 swapFree=67111528/67111528
[pid=11236] ppid=11234 vsize=1144144 CPUtime=1027.08 cores=0-31
/proc/11236/stat : 11236 (claspmt) R 11234 11236 11206 0 -1 4202496 34864 0 0 0 102311 397 0 0 25 0 32 0 46868791 1171603456 34671 270582939648 4194304 4964800 140734836379664 18446744073709551615 4670264 0 0 4096 18946 18446744073709551615 0 0 17 25 0 0 0
/proc/11236/statm: 286036 34671 461 189 0 280385 0
[pid=11236/tid=11237] ppid=11234 vsize=1144144 CPUtime=32.1 cores=0-31
/proc/11236/task/11237/stat : 11237 (claspmt) R 11234 11236 11206 0 -1 4202560 1345 0 0 0 3199 11 0 0 25 0 32 0 46868794 1171603456 34671 270582939648 4194304 4964800 140734836379664 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=11236/tid=11238] ppid=11234 vsize=1144144 CPUtime=32.16 cores=0-31
/proc/11236/task/11238/stat : 11238 (claspmt) R 11234 11236 11206 0 -1 4202560 2472 0 0 0 3207 9 0 0 25 0 32 0 46868794 1171603456 34671 270582939648 4194304 4964800 140734836379664 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=11236/tid=11239] ppid=11234 vsize=1144144 CPUtime=32.12 cores=0-31
/proc/11236/task/11239/stat : 11239 (claspmt) R 11234 11236 11206 0 -1 4202560 621 0 0 0 3196 16 0 0 25 0 32 0 46868794 1171603456 34671 270582939648 4194304 4964800 140734836379664 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=11236/tid=11240] ppid=11234 vsize=1144144 CPUtime=32.11 cores=0-31
/proc/11236/task/11240/stat : 11240 (claspmt) R 11234 11236 11206 0 -1 4202560 1130 0 0 0 3200 11 0 0 25 0 32 0 46868794 1171603456 34671 270582939648 4194304 4964800 140734836379664 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=11236/tid=11241] ppid=11234 vsize=1144144 CPUtime=32.14 cores=0-31
/proc/11236/task/11241/stat : 11241 (claspmt) R 11234 11236 11206 0 -1 4202560 698 0 0 0 3204 10 0 0 18 0 32 0 46868794 1171603456 34671 270582939648 4194304 4964800 140734836379664 18446744073709551615 4670371 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=11236/tid=11242] ppid=11234 vsize=1144144 CPUtime=32.09 cores=0-31
/proc/11236/task/11242/stat : 11242 (claspmt) R 11234 11236 11206 0 -1 4202560 709 0 0 0 3196 13 0 0 25 0 32 0 46868794 1171603456 34671 270582939648 4194304 4964800 140734836379664 18446744073709551615 4325352 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=11236/tid=11243] ppid=11234 vsize=1144144 CPUtime=32.11 cores=0-31
/proc/11236/task/11243/stat : 11243 (claspmt) R 11234 11236 11206 0 -1 4202560 1140 0 0 0 3198 13 0 0 25 0 32 0 46868794 1171603456 34671 270582939648 4194304 4964800 140734836379664 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=11236/tid=11244] ppid=11234 vsize=1144144 CPUtime=32.06 cores=0-31
/proc/11236/task/11244/stat : 11244 (claspmt) R 11234 11236 11206 0 -1 4202560 639 0 0 0 3192 14 0 0 25 0 32 0 46868794 1171603456 34671 270582939648 4194304 4964800 140734836379664 18446744073709551615 4670403 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=11236/tid=11245] ppid=11234 vsize=1144144 CPUtime=32.11 cores=0-31
/proc/11236/task/11245/stat : 11245 (claspmt) R 11234 11236 11206 0 -1 4202560 1415 0 0 0 3200 11 0 0 25 0 32 0 46868794 1171603456 34671 270582939648 4194304 4964800 140734836379664 18446744073709551615 4647573 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=11236/tid=11246] ppid=11234 vsize=1144144 CPUtime=32.15 cores=0-31
/proc/11236/task/11246/stat : 11246 (claspmt) R 11234 11236 11206 0 -1 4202560 2305 0 0 0 3208 7 0 0 25 0 32 0 46868794 1171603456 34671 270582939648 4194304 4964800 140734836379664 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=11236/tid=11247] ppid=11234 vsize=1144144 CPUtime=32.12 cores=0-31
/proc/11236/task/11247/stat : 11247 (claspmt) R 11234 11236 11206 0 -1 4202560 669 0 0 0 3198 14 0 0 25 0 32 0 46868794 1171603456 34671 270582939648 4194304 4964800 140734836379664 18446744073709551615 4669386 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=11236/tid=11248] ppid=11234 vsize=1144144 CPUtime=32.11 cores=0-31
/proc/11236/task/11248/stat : 11248 (claspmt) R 11234 11236 11206 0 -1 4202560 1068 0 0 0 3201 10 0 0 25 0 32 0 46868794 1171603456 34671 270582939648 4194304 4964800 140734836379664 18446744073709551615 4364602 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=11236/tid=11249] ppid=11234 vsize=1144144 CPUtime=32.12 cores=0-31
/proc/11236/task/11249/stat : 11249 (claspmt) R 11234 11236 11206 0 -1 4202560 713 0 0 0 3199 13 0 0 25 0 32 0 46868794 1171603456 34671 270582939648 4194304 4964800 140734836379664 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=11236/tid=11250] ppid=11234 vsize=1144144 CPUtime=32.1 cores=0-31
/proc/11236/task/11250/stat : 11250 (claspmt) R 11234 11236 11206 0 -1 4202560 666 0 0 0 3201 9 0 0 18 0 32 0 46868794 1171603456 34671 270582939648 4194304 4964800 140734836379664 18446744073709551615 258662782469 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=11236/tid=11251] ppid=11234 vsize=1144144 CPUtime=32.1 cores=0-31
/proc/11236/task/11251/stat : 11251 (claspmt) R 11234 11236 11206 0 -1 4202560 1103 0 0 0 3197 13 0 0 21 0 32 0 46868794 1171603456 34671 270582939648 4194304 4964800 140734836379664 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=11236/tid=11252] ppid=11234 vsize=1144144 CPUtime=32.11 cores=0-31
/proc/11236/task/11252/stat : 11252 (claspmt) R 11234 11236 11206 0 -1 4202560 595 0 0 0 3198 13 0 0 25 0 32 0 46868794 1171603456 34671 270582939648 4194304 4964800 140734836379664 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=11236/tid=11253] ppid=11234 vsize=1144144 CPUtime=32.1 cores=0-31
/proc/11236/task/11253/stat : 11253 (claspmt) R 11234 11236 11206 0 -1 4202560 1384 0 0 0 3194 16 0 0 20 0 32 0 46868794 1171603456 34671 270582939648 4194304 4964800 140734836379664 18446744073709551615 4660408 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=11236/tid=11254] ppid=11234 vsize=1144144 CPUtime=31.94 cores=0-31
/proc/11236/task/11254/stat : 11254 (claspmt) R 11234 11236 11206 0 -1 4202560 2418 0 0 0 3182 12 0 0 25 0 32 0 46868794 1171603456 34671 270582939648 4194304 4964800 140734836379664 18446744073709551615 4670310 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=11236/tid=11255] ppid=11234 vsize=1144144 CPUtime=32.13 cores=0-31
/proc/11236/task/11255/stat : 11255 (claspmt) R 11234 11236 11206 0 -1 4202560 652 0 0 0 3200 13 0 0 25 0 32 0 46868794 1171603456 34671 270582939648 4194304 4964800 140734836379664 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=11236/tid=11256] ppid=11234 vsize=1144144 CPUtime=32.11 cores=0-31
/proc/11236/task/11256/stat : 11256 (claspmt) R 11234 11236 11206 0 -1 4202560 1025 0 0 0 3198 13 0 0 25 0 32 0 46868795 1171603456 34671 270582939648 4194304 4964800 140734836379664 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=11236/tid=11257] ppid=11234 vsize=1144144 CPUtime=32.15 cores=0-31
/proc/11236/task/11257/stat : 11257 (claspmt) R 11234 11236 11206 0 -1 4202560 729 0 0 0 3203 12 0 0 25 0 32 0 46868795 1171603456 34671 270582939648 4194304 4964800 140734836379664 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=11236/tid=11258] ppid=11234 vsize=1144144 CPUtime=32.11 cores=0-31
/proc/11236/task/11258/stat : 11258 (claspmt) R 11234 11236 11206 0 -1 4202560 630 0 0 0 3197 14 0 0 19 0 32 0 46868795 1171603456 34671 270582939648 4194304 4964800 140734836379664 18446744073709551615 4669376 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=11236/tid=11259] ppid=11234 vsize=1144144 CPUtime=31.76 cores=0-31
/proc/11236/task/11259/stat : 11259 (claspmt) R 11234 11236 11206 0 -1 4202560 1059 0 0 0 3163 13 0 0 18 0 32 0 46868795 1171603456 34671 270582939648 4194304 4964800 140734836379664 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=11236/tid=11260] ppid=11234 vsize=1144144 CPUtime=32.11 cores=0-31
/proc/11236/task/11260/stat : 11260 (claspmt) R 11234 11236 11206 0 -1 4202560 620 0 0 0 3198 13 0 0 25 0 32 0 46868795 1171603456 34671 270582939648 4194304 4964800 140734836379664 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=11236/tid=11261] ppid=11234 vsize=1144144 CPUtime=32.08 cores=0-31
/proc/11236/task/11261/stat : 11261 (claspmt) R 11234 11236 11206 0 -1 4202560 1327 0 0 0 3201 7 0 0 25 0 32 0 46868795 1171603456 34671 270582939648 4194304 4964800 140734836379664 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=11236/tid=11262] ppid=11234 vsize=1144144 CPUtime=32.16 cores=0-31
/proc/11236/task/11262/stat : 11262 (claspmt) R 11234 11236 11206 0 -1 4202560 2145 0 0 0 3206 10 0 0 25 0 32 0 46868795 1171603456 34671 270582939648 4194304 4964800 140734836379664 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=11236/tid=11263] ppid=11234 vsize=1144144 CPUtime=32.11 cores=0-31
/proc/11236/task/11263/stat : 11263 (claspmt) R 11234 11236 11206 0 -1 4202560 689 0 0 0 3202 9 0 0 25 0 32 0 46868795 1171603456 34671 270582939648 4194304 4964800 140734836379664 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=11236/tid=11264] ppid=11234 vsize=1144144 CPUtime=31.73 cores=0-31
/proc/11236/task/11264/stat : 11264 (claspmt) R 11234 11236 11206 0 -1 4202560 1087 0 0 0 3161 12 0 0 25 0 32 0 46868795 1171603456 34671 270582939648 4194304 4964800 140734836379664 18446744073709551615 4631088 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=11236/tid=11265] ppid=11234 vsize=1144144 CPUtime=32.14 cores=0-31
/proc/11236/task/11265/stat : 11265 (claspmt) R 11234 11236 11206 0 -1 4202560 738 0 0 0 3205 9 0 0 25 0 32 0 46868795 1171603456 34671 270582939648 4194304 4964800 140734836379664 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=11236/tid=11266] ppid=11234 vsize=1144144 CPUtime=32.11 cores=0-31
/proc/11236/task/11266/stat : 11266 (claspmt) R 11234 11236 11206 0 -1 4202560 599 0 0 0 3198 13 0 0 25 0 32 0 46868795 1171603456 34671 270582939648 4194304 4964800 140734836379664 18446744073709551615 4670534 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=11236/tid=11268] ppid=11234 vsize=1144144 CPUtime=32.11 cores=0-31
/proc/11236/task/11268/stat : 11268 (claspmt) R 11234 11236 11206 0 -1 4202560 1148 0 0 0 3198 13 0 0 25 0 32 0 46868795 1171603456 34671 270582939648 4194304 4964800 140734836379664 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 1027.08
Current children cumulated vsize (KiB) 1144144
[startup+32.4023 s]
/proc/loadavg: 27.92 30.48 31.20 33/445 11268
/proc/meminfo: memFree=261905324/264257624 swapFree=67111528/67111528
[pid=11236] ppid=11234 vsize=1053944 CPUtime=1029.91 cores=0-31
/proc/11236/stat : 11236 (claspmt) R 11234 11236 11206 0 -1 4202496 34875 0 0 0 102584 407 0 0 17 0 1 0 46868791 1079238656 34634 270582939648 4194304 4964800 140734836379664 18446744073709551615 258650611751 0 0 4096 18946 0 0 0 17 25 0 0 0
/proc/11236/statm: 263486 34634 472 189 0 257835 0
Current children cumulated CPU time (s) 1029.91
Current children cumulated vsize (KiB) 1053944
Child status: 20
Real time (s): 32.4404
CPU time (s): 1029.96
CPU user time (s): 1025.86
CPU system time (s): 4.09638
CPU usage (%): 3174.92
Max. virtual memory (cumulated for all children) (KiB): 1144144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1025.86
system time used= 4.09638
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34876
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= 249439
involuntary context switches= 2312
runsolver used 0.199969 second user time and 0.763883 second system time
The end
Begin job on node200 at 2011-06-11 19:53:39
IDJOB=3472512
IDBENCH=84808
IDSOLVER=1961
FILE ID=node200/3472512-1307814819
RUNJOBID= node200-1307814819-11220
PBS_JOBID= 13550839
Free space on /tmp= 61744 MiB
SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT04/industrial/vangelder/cnf-color/myciel6-tr.used-as.sat04-320.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-3472512-1307814819/watcher-3472512-1307814819 -o /tmp/evaluation-result-3472512-1307814819/solver-3472512-1307814819 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472512-1307814819.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 256000 MiB
NBCORE= 32
MD5SUM BENCH= 5ba57e5cfd40b4a93356dbea5162016d
RANDOM SEED=193349197
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: 262038008 kB
Buffers: 293960 kB
Cached: 1599148 kB
SwapCached: 0 kB
Active: 321572 kB
Inactive: 1635116 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 262038008 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 780 kB
Writeback: 0 kB
AnonPages: 64404 kB
Mapped: 14024 kB
Slab: 185252 kB
PageTables: 4156 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 168872 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 19:54:12