runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
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-3372690-1305962511/watcher-3372690-1305962511 -o /tmp/evaluation-result-3372690-1305962511/solver-3372690-1305962511 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372690-1305962511.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): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 29.58 31.58 31.88 1/413 12040
/proc/meminfo: memFree=255504952/264257624 swapFree=67111528/67111528
[pid=12040] ppid=12038 vsize=26788 CPUtime=0.02 cores=0-31
/proc/12040/stat : 12040 (plingeling) R 12038 12040 12014 0 -1 4202496 4755 1240 0 0 1 0 0 1 21 0 1 0 707737512 27430912 4687 268435456000 4194304 4417452 140736189282752 18446744073709551615 4264959 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12040/statm: 6697 4687 141 55 0 4583 0
[startup+0.0651891 s]
/proc/loadavg: 29.58 31.58 31.88 1/413 12040
/proc/meminfo: memFree=255504952/264257624 swapFree=67111528/67111528
[pid=12040] ppid=12038 vsize=30308 CPUtime=0.06 cores=0-31
/proc/12040/stat : 12040 (plingeling) R 12038 12040 12014 0 -1 4202496 5621 1240 0 0 4 1 0 1 21 0 1 0 707737512 31035392 5553 268435456000 4194304 4417452 140736189282752 18446744073709551615 258650652667 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12040/statm: 7577 5569 145 55 0 5463 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 30308
[startup+0.1012 s]
/proc/loadavg: 29.58 31.58 31.88 1/413 12040
/proc/meminfo: memFree=255504952/264257624 swapFree=67111528/67111528
[pid=12040] ppid=12038 vsize=32424 CPUtime=0.1 cores=0-31
/proc/12040/stat : 12040 (plingeling) R 12038 12040 12014 0 -1 4202496 6178 1240 0 0 8 1 0 1 21 0 1 0 707737512 33202176 6110 268435456000 4194304 4417452 140736189282752 18446744073709551615 4227760 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12040/statm: 8106 6110 145 55 0 5992 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 32424
[startup+0.301197 s]
/proc/loadavg: 29.58 31.58 31.88 1/413 12040
/proc/meminfo: memFree=255504952/264257624 swapFree=67111528/67111528
[pid=12040] ppid=12038 vsize=49952 CPUtime=0.29 cores=0-31
/proc/12040/stat : 12040 (plingeling) R 12038 12040 12014 0 -1 4202496 10553 1240 0 0 26 2 0 1 22 0 1 0 707737512 51150848 10485 268435456000 4194304 4417452 140736189282752 18446744073709551615 4261997 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12040/statm: 12488 10485 146 55 0 10374 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49952
[startup+0.701211 s]
/proc/loadavg: 29.58 31.58 31.88 1/413 12040
/proc/meminfo: memFree=255504952/264257624 swapFree=67111528/67111528
[pid=12040] ppid=12038 vsize=72828 CPUtime=0.7 cores=0-31
/proc/12040/stat : 12040 (plingeling) R 12038 12040 12014 0 -1 4202496 16264 1240 0 0 65 4 0 1 23 0 1 0 707737512 74575872 16196 268435456000 4194304 4417452 140736189282752 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12040/statm: 18207 16196 146 55 0 16093 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 72828
[startup+1.50113 s]
/proc/loadavg: 29.58 31.58 31.88 2/414 12046
/proc/meminfo: memFree=255421724/264257624 swapFree=67111528/67111528
[pid=12040] ppid=12038 vsize=363612 CPUtime=1.53 cores=0-31
/proc/12040/stat : 12040 (plingeling) D 12038 12040 12014 0 -1 4202496 36276 1240 0 0 144 8 0 1 19 0 15 0 707737512 372338688 34162 268435456000 4194304 4417452 140736189282752 18446744073709551615 258650999207 0 0 4096 17442 18446744073709551615 0 0 17 17 0 0 0
/proc/12040/statm: 90890 34149 153 55 0 88776 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 363612
[startup+3.10219 s]
/proc/loadavg: 27.29 31.08 31.72 33/446 12078
/proc/meminfo: memFree=255320192/264257624 swapFree=67111528/67111528
[pid=12040] ppid=12038 vsize=1022380 CPUtime=51.07 cores=0-31
/proc/12040/stat : 12040 (plingeling) S 12038 12040 12014 0 -1 4202496 102602 1240 0 0 5025 81 0 1 20 0 33 0 707737512 1046917120 47315 268435456000 4194304 4417452 140736189282752 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/12040/statm: 255595 47315 174 55 0 253481 0
[pid=12040/tid=12047] ppid=12038 vsize=1022380 CPUtime=1.55 cores=0-31
/proc/12040/task/12047/stat : 12047 (plingeling) R 12038 12040 12014 0 -1 4202560 1390 1240 0 0 153 1 0 1 19 0 33 0 707737661 1046917120 47315 268435456000 4194304 4417452 140736189282752 18446744073709551615 4275918 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=12040/tid=12048] ppid=12038 vsize=1022380 CPUtime=1.57 cores=0-31
/proc/12040/task/12048/stat : 12048 (plingeling) R 12038 12040 12014 0 -1 4202560 2353 1240 0 0 154 2 0 1 20 0 33 0 707737661 1046917120 47315 268435456000 4194304 4417452 140736189282752 18446744073709551615 4275969 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=12040/tid=12049] ppid=12038 vsize=1022380 CPUtime=1.55 cores=0-31
/proc/12040/task/12049/stat : 12049 (plingeling) R 12038 12040 12014 0 -1 4202560 646 1240 0 0 153 1 0 1 20 0 33 0 707737661 1046917120 47315 268435456000 4194304 4417452 140736189282752 18446744073709551615 4275944 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12040/tid=12050] ppid=12038 vsize=1022380 CPUtime=1.56 cores=0-31
/proc/12040/task/12050/stat : 12050 (plingeling) R 12038 12040 12014 0 -1 4202560 407 1240 0 0 154 1 0 1 20 0 33 0 707737661 1046917120 47315 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=12040/tid=12051] ppid=12038 vsize=1022380 CPUtime=1.57 cores=0-31
/proc/12040/task/12051/stat : 12051 (plingeling) R 12038 12040 12014 0 -1 4202560 3987 1240 0 0 153 3 0 1 20 0 33 0 707737661 1046917120 47315 268435456000 4194304 4417452 140736189282752 18446744073709551615 4276068 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12040/tid=12052] ppid=12038 vsize=1022380 CPUtime=1.54 cores=0-31
/proc/12040/task/12052/stat : 12052 (plingeling) R 12038 12040 12014 0 -1 4202560 2806 1240 0 0 151 2 0 1 17 0 33 0 707737661 1046917120 47315 268435456000 4194304 4417452 140736189282752 18446744073709551615 4302121 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12040/tid=12053] ppid=12038 vsize=1022380 CPUtime=1.56 cores=0-31
/proc/12040/task/12053/stat : 12053 (plingeling) R 12038 12040 12014 0 -1 4202560 529 1240 0 0 153 2 0 1 22 0 33 0 707737661 1046917120 47315 268435456000 4194304 4417452 140736189282752 18446744073709551615 4277567 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=12040/tid=12054] ppid=12038 vsize=1022380 CPUtime=1.56 cores=0-31
/proc/12040/task/12054/stat : 12054 (plingeling) R 12038 12040 12014 0 -1 4202560 860 1240 0 0 155 0 0 1 22 0 33 0 707737662 1046917120 47315 268435456000 4194304 4417452 140736189282752 18446744073709551615 4275892 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12040/tid=12055] ppid=12038 vsize=1022380 CPUtime=1.53 cores=0-31
/proc/12040/task/12055/stat : 12055 (plingeling) R 12038 12040 12014 0 -1 4202560 4263 1240 0 0 149 3 0 1 18 0 33 0 707737662 1046917120 47315 268435456000 4194304 4417452 140736189282752 18446744073709551615 4274913 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12040/tid=12056] ppid=12038 vsize=1022380 CPUtime=1.5 cores=0-31
/proc/12040/task/12056/stat : 12056 (plingeling) R 12038 12040 12014 0 -1 4202560 1329 1240 0 0 147 2 0 1 22 0 33 0 707737662 1046917120 47315 268435456000 4194304 4417452 140736189282752 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=12040/tid=12057] ppid=12038 vsize=1022380 CPUtime=1.56 cores=0-31
/proc/12040/task/12057/stat : 12057 (plingeling) R 12038 12040 12014 0 -1 4202560 2091 1240 0 0 154 1 0 1 22 0 33 0 707737662 1046917120 47315 268435456000 4194304 4417452 140736189282752 18446744073709551615 258651061007 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=12040/tid=12058] ppid=12038 vsize=1022380 CPUtime=1.56 cores=0-31
/proc/12040/task/12058/stat : 12058 (plingeling) R 12038 12040 12014 0 -1 4202560 1319 1240 0 0 153 2 0 1 20 0 33 0 707737662 1046917120 47315 268435456000 4194304 4417452 140736189282752 18446744073709551615 4277491 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=12040/tid=12059] ppid=12038 vsize=1022380 CPUtime=1.57 cores=0-31
/proc/12040/task/12059/stat : 12059 (plingeling) R 12038 12040 12014 0 -1 4202560 530 1240 0 0 154 2 0 1 25 0 33 0 707737662 1046917120 47315 268435456000 4194304 4417452 140736189282752 18446744073709551615 4275877 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=12040/tid=12060] ppid=12038 vsize=1022380 CPUtime=1.54 cores=0-31
/proc/12040/task/12060/stat : 12060 (plingeling) R 12038 12040 12014 0 -1 4202560 2998 1240 0 0 150 3 0 1 20 0 33 0 707737662 1046917120 47315 268435456000 4194304 4417452 140736189282752 18446744073709551615 4260062 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=12040/tid=12061] ppid=12038 vsize=1022380 CPUtime=1.56 cores=0-31
/proc/12040/task/12061/stat : 12061 (plingeling) R 12038 12040 12014 0 -1 4202560 1691 1240 0 0 153 2 0 1 25 0 33 0 707737662 1046917120 47315 268435456000 4194304 4417452 140736189282752 18446744073709551615 4277628 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=12040/tid=12062] ppid=12038 vsize=1022380 CPUtime=1.56 cores=0-31
/proc/12040/task/12062/stat : 12062 (plingeling) R 12038 12040 12014 0 -1 4202560 2124 1240 0 0 153 2 0 1 25 0 33 0 707737662 1046917120 47315 268435456000 4194304 4417452 140736189282752 18446744073709551615 4265360 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=12040/tid=12063] ppid=12038 vsize=1022380 CPUtime=1.56 cores=0-31
/proc/12040/task/12063/stat : 12063 (plingeling) R 12038 12040 12014 0 -1 4202560 1303 1240 0 0 153 2 0 1 25 0 33 0 707737662 1046917120 47315 268435456000 4194304 4417452 140736189282752 18446744073709551615 4277628 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=12040/tid=12064] ppid=12038 vsize=1022380 CPUtime=1.56 cores=0-31
/proc/12040/task/12064/stat : 12064 (plingeling) R 12038 12040 12014 0 -1 4202560 3139 1240 0 0 153 2 0 1 18 0 33 0 707737662 1046917120 47315 268435456000 4194304 4417452 140736189282752 18446744073709551615 4276031 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=12040/tid=12065] ppid=12038 vsize=1022380 CPUtime=1.55 cores=0-31
/proc/12040/task/12065/stat : 12065 (plingeling) R 12038 12040 12014 0 -1 4202560 1229 1240 0 0 153 1 0 1 25 0 33 0 707737662 1046917120 47315 268435456000 4194304 4417452 140736189282752 18446744073709551615 4326599 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=12040/tid=12066] ppid=12038 vsize=1022380 CPUtime=1.57 cores=0-31
/proc/12040/task/12066/stat : 12066 (plingeling) R 12038 12040 12014 0 -1 4202560 1281 1240 0 0 154 2 0 1 20 0 33 0 707737662 1046917120 47315 268435456000 4194304 4417452 140736189282752 18446744073709551615 4275892 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=12040/tid=12067] ppid=12038 vsize=1022380 CPUtime=1.51 cores=0-31
/proc/12040/task/12067/stat : 12067 (plingeling) R 12038 12040 12014 0 -1 4202560 1050 1240 0 0 149 1 0 1 25 0 33 0 707737662 1046917120 47315 268435456000 4194304 4417452 140736189282752 18446744073709551615 4259903 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=12040/tid=12068] ppid=12038 vsize=1022380 CPUtime=1.52 cores=0-31
/proc/12040/task/12068/stat : 12068 (plingeling) R 12038 12040 12014 0 -1 4202560 3025 1240 0 0 149 2 0 1 20 0 33 0 707737662 1046917120 47315 268435456000 4194304 4417452 140736189282752 18446744073709551615 4259618 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12040/tid=12069] ppid=12038 vsize=1022380 CPUtime=1.53 cores=0-31
/proc/12040/task/12069/stat : 12069 (plingeling) R 12038 12040 12014 0 -1 4202560 1318 1240 0 0 151 1 0 1 18 0 33 0 707737662 1046917120 47315 268435456000 4194304 4417452 140736189282752 18446744073709551615 4259092 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=12040/tid=12070] ppid=12038 vsize=1022380 CPUtime=1.56 cores=0-31
/proc/12040/task/12070/stat : 12070 (plingeling) R 12038 12040 12014 0 -1 4202560 3290 1240 0 0 153 2 0 1 20 0 33 0 707737662 1046917120 47315 268435456000 4194304 4417452 140736189282752 18446744073709551615 4277579 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=12040/tid=12071] ppid=12038 vsize=1022380 CPUtime=1.55 cores=0-31
/proc/12040/task/12071/stat : 12071 (plingeling) R 12038 12040 12014 0 -1 4202560 3285 1240 0 0 152 2 0 1 20 0 33 0 707737662 1046917120 47315 268435456000 4194304 4417452 140736189282752 18446744073709551615 4277577 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=12040/tid=12072] ppid=12038 vsize=1022380 CPUtime=1.56 cores=0-31
/proc/12040/task/12072/stat : 12072 (plingeling) R 12038 12040 12014 0 -1 4202560 3037 1240 0 0 154 1 0 1 25 0 33 0 707737662 1046917120 47315 268435456000 4194304 4417452 140736189282752 18446744073709551615 4277527 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=12040/tid=12073] ppid=12038 vsize=1022380 CPUtime=1.54 cores=0-31
/proc/12040/task/12073/stat : 12073 (plingeling) R 12038 12040 12014 0 -1 4202560 774 1240 0 0 152 1 0 1 25 0 33 0 707737662 1046917120 47315 268435456000 4194304 4417452 140736189282752 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=12040/tid=12074] ppid=12038 vsize=1022380 CPUtime=1.53 cores=0-31
/proc/12040/task/12074/stat : 12074 (plingeling) R 12038 12040 12014 0 -1 4202560 3945 1240 0 0 149 3 0 1 20 0 33 0 707737662 1046917120 47315 268435456000 4194304 4417452 140736189282752 18446744073709551615 4270960 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=12040/tid=12075] ppid=12038 vsize=1022380 CPUtime=1.54 cores=0-31
/proc/12040/task/12075/stat : 12075 (plingeling) R 12038 12040 12014 0 -1 4202560 2888 1240 0 0 150 3 0 1 18 0 33 0 707737662 1046917120 47315 268435456000 4194304 4417452 140736189282752 18446744073709551615 4302041 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=12040/tid=12076] ppid=12038 vsize=1022380 CPUtime=1.55 cores=0-31
/proc/12040/task/12076/stat : 12076 (plingeling) R 12038 12040 12014 0 -1 4202560 1735 1240 0 0 153 1 0 1 25 0 33 0 707737663 1046917120 47315 268435456000 4194304 4417452 140736189282752 18446744073709551615 4275911 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=12040/tid=12077] ppid=12038 vsize=1022380 CPUtime=1.53 cores=0-31
/proc/12040/task/12077/stat : 12077 (plingeling) R 12038 12040 12014 0 -1 4202560 1827 1240 0 0 151 1 0 1 25 0 33 0 707737663 1046917120 47315 268435456000 4194304 4417452 140736189282752 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=12040/tid=12078] ppid=12038 vsize=1022380 CPUtime=1.54 cores=0-31
/proc/12040/task/12078/stat : 12078 (plingeling) R 12038 12040 12014 0 -1 4202560 3880 1240 0 0 152 1 0 1 20 0 33 0 707737664 1046917120 47315 268435456000 4194304 4417452 140736189282752 18446744073709551615 4236603 0 0 4096 17442 0 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1022380
[startup+6.30229 s]
/proc/loadavg: 27.29 31.08 31.72 33/446 12080
/proc/meminfo: memFree=255279836/264257624 swapFree=67111528/67111528
[pid=12040] ppid=12038 vsize=1039796 CPUtime=153.32 cores=0-31
/proc/12040/stat : 12040 (plingeling) S 12038 12040 12014 0 -1 4202496 116474 1240 0 0 15246 85 0 1 20 0 33 0 707737512 1064751104 52476 268435456000 4194304 4417452 140736189282752 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/12040/statm: 259949 52476 175 55 0 257835 0
[pid=12040/tid=12047] ppid=12038 vsize=1039796 CPUtime=4.75 cores=0-31
/proc/12040/task/12047/stat : 12047 (plingeling) R 12038 12040 12014 0 -1 4202560 1520 1240 0 0 473 1 0 1 25 0 33 0 707737661 1064751104 52476 268435456000 4194304 4417452 140736189282752 18446744073709551615 4365936 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=12040/tid=12048] ppid=12038 vsize=1039796 CPUtime=4.77 cores=0-31
/proc/12040/task/12048/stat : 12048 (plingeling) R 12038 12040 12014 0 -1 4202560 2757 1240 0 0 474 2 0 1 25 0 33 0 707737661 1064751104 52476 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364466 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=12040/tid=12049] ppid=12038 vsize=1039796 CPUtime=4.74 cores=0-31
/proc/12040/task/12049/stat : 12049 (plingeling) R 12038 12040 12014 0 -1 4202560 997 1240 0 0 472 1 0 1 25 0 33 0 707737661 1064751104 52476 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12040/tid=12050] ppid=12038 vsize=1039796 CPUtime=4.76 cores=0-31
/proc/12040/task/12050/stat : 12050 (plingeling) R 12038 12040 12014 0 -1 4202560 1826 1240 0 0 474 1 0 1 25 0 33 0 707737661 1064751104 52476 268435456000 4194304 4417452 140736189282752 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=12040/tid=12051] ppid=12038 vsize=1039796 CPUtime=4.77 cores=0-31
/proc/12040/task/12051/stat : 12051 (plingeling) R 12038 12040 12014 0 -1 4202560 4182 1240 0 0 473 3 0 1 25 0 33 0 707737661 1064751104 52476 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364589 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12040/tid=12052] ppid=12038 vsize=1039796 CPUtime=4.74 cores=0-31
/proc/12040/task/12052/stat : 12052 (plingeling) R 12038 12040 12014 0 -1 4202560 3177 1240 0 0 471 2 0 1 25 0 33 0 707737661 1064751104 52476 268435456000 4194304 4417452 140736189282752 18446744073709551615 4365150 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12040/tid=12053] ppid=12038 vsize=1039796 CPUtime=4.76 cores=0-31
/proc/12040/task/12053/stat : 12053 (plingeling) R 12038 12040 12014 0 -1 4202560 841 1240 0 0 473 2 0 1 25 0 33 0 707737661 1064751104 52476 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364548 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=12040/tid=12054] ppid=12038 vsize=1039796 CPUtime=4.76 cores=0-31
/proc/12040/task/12054/stat : 12054 (plingeling) R 12038 12040 12014 0 -1 4202560 1042 1240 0 0 475 0 0 1 25 0 33 0 707737662 1064751104 52476 268435456000 4194304 4417452 140736189282752 18446744073709551615 4365103 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12040/tid=12055] ppid=12038 vsize=1039796 CPUtime=4.73 cores=0-31
/proc/12040/task/12055/stat : 12055 (plingeling) R 12038 12040 12014 0 -1 4202560 5578 1240 0 0 469 3 0 1 25 0 33 0 707737662 1064751104 52476 268435456000 4194304 4417452 140736189282752 18446744073709551615 4365936 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12040/tid=12056] ppid=12038 vsize=1039796 CPUtime=4.61 cores=0-31
/proc/12040/task/12056/stat : 12056 (plingeling) R 12038 12040 12014 0 -1 4202560 1418 1240 0 0 458 2 0 1 25 0 33 0 707737662 1064751104 52476 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=12040/tid=12057] ppid=12038 vsize=1039796 CPUtime=4.76 cores=0-31
/proc/12040/task/12057/stat : 12057 (plingeling) R 12038 12040 12014 0 -1 4202560 2453 1240 0 0 474 1 0 1 25 0 33 0 707737662 1064751104 52476 268435456000 4194304 4417452 140736189282752 18446744073709551615 4236544 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=12040/tid=12058] ppid=12038 vsize=1039796 CPUtime=4.76 cores=0-31
/proc/12040/task/12058/stat : 12058 (plingeling) R 12038 12040 12014 0 -1 4202560 1478 1240 0 0 473 2 0 1 25 0 33 0 707737662 1064751104 52476 268435456000 4194304 4417452 140736189282752 18446744073709551615 4236672 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=12040/tid=12059] ppid=12038 vsize=1039796 CPUtime=4.77 cores=0-31
/proc/12040/task/12059/stat : 12059 (plingeling) R 12038 12040 12014 0 -1 4202560 592 1240 0 0 474 2 0 1 25 0 33 0 707737662 1064751104 52476 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=12040/tid=12060] ppid=12038 vsize=1039796 CPUtime=4.73 cores=0-31
/proc/12040/task/12060/stat : 12060 (plingeling) R 12038 12040 12014 0 -1 4202560 3209 1240 0 0 469 3 0 1 25 0 33 0 707737662 1064751104 52476 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=12040/tid=12061] ppid=12038 vsize=1039796 CPUtime=4.76 cores=0-31
/proc/12040/task/12061/stat : 12061 (plingeling) R 12038 12040 12014 0 -1 4202560 2645 1240 0 0 473 2 0 1 25 0 33 0 707737662 1064751104 52476 268435456000 4194304 4417452 140736189282752 18446744073709551615 4250757 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=12040/tid=12062] ppid=12038 vsize=1039796 CPUtime=4.75 cores=0-31
/proc/12040/task/12062/stat : 12062 (plingeling) R 12038 12040 12014 0 -1 4202560 2747 1240 0 0 472 2 0 1 18 0 33 0 707737662 1064751104 52476 268435456000 4194304 4417452 140736189282752 18446744073709551615 4250882 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=12040/tid=12063] ppid=12038 vsize=1039796 CPUtime=4.76 cores=0-31
/proc/12040/task/12063/stat : 12063 (plingeling) R 12038 12040 12014 0 -1 4202560 1369 1240 0 0 473 2 0 1 25 0 33 0 707737662 1064751104 52476 268435456000 4194304 4417452 140736189282752 18446744073709551615 4250936 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=12040/tid=12064] ppid=12038 vsize=1039796 CPUtime=4.77 cores=0-31
/proc/12040/task/12064/stat : 12064 (plingeling) R 12038 12040 12014 0 -1 4202560 3505 1240 0 0 473 3 0 1 25 0 33 0 707737662 1064751104 52476 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=12040/tid=12065] ppid=12038 vsize=1039796 CPUtime=4.75 cores=0-31
/proc/12040/task/12065/stat : 12065 (plingeling) R 12038 12040 12014 0 -1 4202560 1670 1240 0 0 473 1 0 1 25 0 33 0 707737662 1064751104 52476 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=12040/tid=12066] ppid=12038 vsize=1039796 CPUtime=4.77 cores=0-31
/proc/12040/task/12066/stat : 12066 (plingeling) R 12038 12040 12014 0 -1 4202560 1490 1240 0 0 474 2 0 1 25 0 33 0 707737662 1064751104 52476 268435456000 4194304 4417452 140736189282752 18446744073709551615 4250936 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=12040/tid=12067] ppid=12038 vsize=1039796 CPUtime=4.71 cores=0-31
/proc/12040/task/12067/stat : 12067 (plingeling) R 12038 12040 12014 0 -1 4202560 1306 1240 0 0 469 1 0 1 25 0 33 0 707737662 1064751104 52476 268435456000 4194304 4417452 140736189282752 18446744073709551615 4237273 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=12040/tid=12068] ppid=12038 vsize=1039796 CPUtime=4.72 cores=0-31
/proc/12040/task/12068/stat : 12068 (plingeling) R 12038 12040 12014 0 -1 4202560 3446 1240 0 0 469 2 0 1 25 0 33 0 707737662 1064751104 52476 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364500 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12040/tid=12069] ppid=12038 vsize=1039796 CPUtime=4.72 cores=0-31
/proc/12040/task/12069/stat : 12069 (plingeling) R 12038 12040 12014 0 -1 4202560 1653 1240 0 0 470 1 0 1 25 0 33 0 707737662 1064751104 52476 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=12040/tid=12070] ppid=12038 vsize=1039796 CPUtime=4.76 cores=0-31
/proc/12040/task/12070/stat : 12070 (plingeling) R 12038 12040 12014 0 -1 4202560 4021 1240 0 0 473 2 0 1 25 0 33 0 707737662 1064751104 52476 268435456000 4194304 4417452 140736189282752 18446744073709551615 4354150 0 0 4096 17442 0 0 0 -1 22 0 0 0
################
# More data... #
################
/proc/12040/task/12072/stat : 12072 (plingeling) R 12038 12040 12014 0 -1 4202560 24137 1240 0 0 10181 27 0 1 25 0 33 0 707737662 1512640512 162536 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364819 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=12040/tid=12073] ppid=12038 vsize=1477188 CPUtime=102.25 cores=0-31
/proc/12040/task/12073/stat : 12073 (plingeling) R 12038 12040 12014 0 -1 4202560 27196 1240 0 0 10197 27 0 1 25 0 33 0 707737662 1512640512 162536 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364466 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=12040/tid=12074] ppid=12038 vsize=1477188 CPUtime=102.26 cores=0-31
/proc/12040/task/12074/stat : 12074 (plingeling) R 12038 12040 12014 0 -1 4202560 23850 1240 0 0 10201 24 0 1 25 0 33 0 707737662 1512640512 162536 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=12040/tid=12075] ppid=12038 vsize=1477188 CPUtime=102.15 cores=0-31
/proc/12040/task/12075/stat : 12075 (plingeling) R 12038 12040 12014 0 -1 4202560 22833 1240 0 0 10188 26 0 1 25 0 33 0 707737662 1512640512 162536 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=12040/tid=12076] ppid=12038 vsize=1477188 CPUtime=102.29 cores=0-31
/proc/12040/task/12076/stat : 12076 (plingeling) R 12038 12040 12014 0 -1 4202560 17329 1240 0 0 10212 16 0 1 25 0 33 0 707737663 1512640512 162536 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=12040/tid=12077] ppid=12038 vsize=1477188 CPUtime=102.23 cores=0-31
/proc/12040/task/12077/stat : 12077 (plingeling) R 12038 12040 12014 0 -1 4202560 19527 1240 0 0 10207 15 0 1 25 0 33 0 707737663 1512640512 162536 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=12040/tid=12078] ppid=12038 vsize=1477188 CPUtime=101.24 cores=0-31
/proc/12040/task/12078/stat : 12078 (plingeling) R 12038 12040 12014 0 -1 4202560 24722 1240 0 0 10103 20 0 1 25 0 33 0 707737664 1512640512 162536 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 3269.48
Current children cumulated vsize (KiB) 1477188
[startup+104.702 s]
/proc/loadavg: 31.20 31.36 31.75 33/446 12084
/proc/meminfo: memFree=254843588/264257624 swapFree=67111528/67111528
[pid=12040] ppid=12038 vsize=1482136 CPUtime=3295.05 cores=0-31
/proc/12040/stat : 12040 (plingeling) S 12038 12040 12014 0 -1 4202496 798195 1240 0 0 328636 868 0 1 20 0 33 0 707737512 1517707264 163773 268435456000 4194304 4417452 140736189282752 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/12040/statm: 370534 163773 175 55 0 368420 0
[pid=12040/tid=12047] ppid=12038 vsize=1482136 CPUtime=103.02 cores=0-31
/proc/12040/task/12047/stat : 12047 (plingeling) R 12038 12040 12014 0 -1 4202560 27810 1240 0 0 10265 36 0 1 25 0 33 0 707737661 1517707264 163773 268435456000 4194304 4417452 140736189282752 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=12040/tid=12048] ppid=12038 vsize=1482136 CPUtime=103.08 cores=0-31
/proc/12040/task/12048/stat : 12048 (plingeling) R 12038 12040 12014 0 -1 4202560 27755 1240 0 0 10275 32 0 1 25 0 33 0 707737661 1517707264 163773 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364724 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=12040/tid=12049] ppid=12038 vsize=1482136 CPUtime=102.98 cores=0-31
/proc/12040/task/12049/stat : 12049 (plingeling) R 12038 12040 12014 0 -1 4202560 22117 1240 0 0 10275 22 0 1 25 0 33 0 707737661 1517707264 163773 268435456000 4194304 4417452 140736189282752 18446744073709551615 4366169 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12040/tid=12050] ppid=12038 vsize=1482136 CPUtime=103.09 cores=0-31
/proc/12040/task/12050/stat : 12050 (plingeling) R 12038 12040 12014 0 -1 4202560 19447 1240 0 0 10280 28 0 1 25 0 33 0 707737661 1517707264 163773 268435456000 4194304 4417452 140736189282752 18446744073709551615 4353557 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=12040/tid=12051] ppid=12038 vsize=1482136 CPUtime=103.04 cores=0-31
/proc/12040/task/12051/stat : 12051 (plingeling) R 12038 12040 12014 0 -1 4202560 25856 1240 0 0 10269 34 0 1 25 0 33 0 707737661 1517707264 163773 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364807 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=12040/tid=12052] ppid=12038 vsize=1482136 CPUtime=102.94 cores=0-31
/proc/12040/task/12052/stat : 12052 (plingeling) R 12038 12040 12014 0 -1 4202560 25986 1240 0 0 10261 32 0 1 25 0 33 0 707737661 1517707264 163773 268435456000 4194304 4417452 140736189282752 18446744073709551615 4353900 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=12040/tid=12053] ppid=12038 vsize=1482136 CPUtime=103.07 cores=0-31
/proc/12040/task/12053/stat : 12053 (plingeling) R 12038 12040 12014 0 -1 4202560 21140 1240 0 0 10280 26 0 1 25 0 33 0 707737661 1517707264 163773 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=12040/tid=12054] ppid=12038 vsize=1482136 CPUtime=102.67 cores=0-31
/proc/12040/task/12054/stat : 12054 (plingeling) R 12038 12040 12014 0 -1 4202560 23117 1240 0 0 10247 19 0 1 25 0 33 0 707737662 1517707264 163773 268435456000 4194304 4417452 140736189282752 18446744073709551615 4236920 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=12040/tid=12055] ppid=12038 vsize=1482136 CPUtime=103.02 cores=0-31
/proc/12040/task/12055/stat : 12055 (plingeling) R 12038 12040 12014 0 -1 4202560 25077 1240 0 0 10274 27 0 1 25 0 33 0 707737662 1517707264 163773 268435456000 4194304 4417452 140736189282752 18446744073709551615 4366670 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12040/tid=12056] ppid=12038 vsize=1482136 CPUtime=102.45 cores=0-31
/proc/12040/task/12056/stat : 12056 (plingeling) R 12038 12040 12014 0 -1 4202560 19764 1240 0 0 10224 20 0 1 25 0 33 0 707737662 1517707264 163773 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12040/tid=12057] ppid=12038 vsize=1482136 CPUtime=102.73 cores=0-31
/proc/12040/task/12057/stat : 12057 (plingeling) R 12038 12040 12014 0 -1 4202560 23345 1240 0 0 10244 28 0 1 19 0 33 0 707737662 1517707264 163773 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=12040/tid=12058] ppid=12038 vsize=1482136 CPUtime=103.05 cores=0-31
/proc/12040/task/12058/stat : 12058 (plingeling) R 12038 12040 12014 0 -1 4202560 17891 1240 0 0 10284 20 0 1 25 0 33 0 707737662 1517707264 163773 268435456000 4194304 4417452 140736189282752 18446744073709551615 4251172 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12040/tid=12059] ppid=12038 vsize=1482136 CPUtime=102.96 cores=0-31
/proc/12040/task/12059/stat : 12059 (plingeling) R 12038 12040 12014 0 -1 4202560 23253 1240 0 0 10262 33 0 1 25 0 33 0 707737662 1517707264 163773 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=12040/tid=12060] ppid=12038 vsize=1482136 CPUtime=103 cores=0-31
/proc/12040/task/12060/stat : 12060 (plingeling) R 12038 12040 12014 0 -1 4202560 25540 1240 0 0 10269 30 0 1 25 0 33 0 707737662 1517707264 163773 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=12040/tid=12061] ppid=12038 vsize=1482136 CPUtime=103.03 cores=0-31
/proc/12040/task/12061/stat : 12061 (plingeling) R 12038 12040 12014 0 -1 4202560 21532 1240 0 0 10277 25 0 1 25 0 33 0 707737662 1517707264 163773 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=12040/tid=12062] ppid=12038 vsize=1482136 CPUtime=103.05 cores=0-31
/proc/12040/task/12062/stat : 12062 (plingeling) R 12038 12040 12014 0 -1 4202560 21671 1240 0 0 10282 22 0 1 25 0 33 0 707737662 1517707264 163773 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=12040/tid=12063] ppid=12038 vsize=1482136 CPUtime=103.03 cores=0-31
/proc/12040/task/12063/stat : 12063 (plingeling) R 12038 12040 12014 0 -1 4202560 25566 1240 0 0 10277 25 0 1 25 0 33 0 707737662 1517707264 163773 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=12040/tid=12064] ppid=12038 vsize=1482136 CPUtime=103.03 cores=0-31
/proc/12040/task/12064/stat : 12064 (plingeling) R 12038 12040 12014 0 -1 4202560 26520 1240 0 0 10268 34 0 1 25 0 33 0 707737662 1517707264 163773 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=12040/tid=12065] ppid=12038 vsize=1482136 CPUtime=103.05 cores=0-31
/proc/12040/task/12065/stat : 12065 (plingeling) R 12038 12040 12014 0 -1 4202560 28011 1240 0 0 10272 32 0 1 25 0 33 0 707737662 1517707264 163773 268435456000 4194304 4417452 140736189282752 18446744073709551615 4365058 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=12040/tid=12066] ppid=12038 vsize=1482136 CPUtime=102.91 cores=0-31
/proc/12040/task/12066/stat : 12066 (plingeling) R 12038 12040 12014 0 -1 4202560 27980 1240 0 0 10255 35 0 1 25 0 33 0 707737662 1517707264 163773 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364805 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=12040/tid=12067] ppid=12038 vsize=1482136 CPUtime=102.9 cores=0-31
/proc/12040/task/12067/stat : 12067 (plingeling) R 12038 12040 12014 0 -1 4202560 21536 1240 0 0 10263 26 0 1 25 0 33 0 707737662 1517707264 163773 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=12040/tid=12068] ppid=12038 vsize=1482136 CPUtime=102.87 cores=0-31
/proc/12040/task/12068/stat : 12068 (plingeling) R 12038 12040 12014 0 -1 4202560 24574 1240 0 0 10264 22 0 1 25 0 33 0 707737662 1517707264 163773 268435456000 4194304 4417452 140736189282752 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12040/tid=12069] ppid=12038 vsize=1482136 CPUtime=103.02 cores=0-31
/proc/12040/task/12069/stat : 12069 (plingeling) R 12038 12040 12014 0 -1 4202560 24840 1240 0 0 10276 25 0 1 25 0 33 0 707737662 1517707264 163773 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=12040/tid=12070] ppid=12038 vsize=1482136 CPUtime=103 cores=0-31
/proc/12040/task/12070/stat : 12070 (plingeling) R 12038 12040 12014 0 -1 4202560 23375 1240 0 0 10275 24 0 1 25 0 33 0 707737662 1517707264 163773 268435456000 4194304 4417452 140736189282752 18446744073709551615 4236945 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=12040/tid=12071] ppid=12038 vsize=1482136 CPUtime=102.47 cores=0-31
/proc/12040/task/12071/stat : 12071 (plingeling) R 12038 12040 12014 0 -1 4202560 26555 1240 0 0 10218 28 0 1 25 0 33 0 707737662 1517707264 163773 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12040/tid=12072] ppid=12038 vsize=1482136 CPUtime=102.89 cores=0-31
/proc/12040/task/12072/stat : 12072 (plingeling) R 12038 12040 12014 0 -1 4202560 24137 1240 0 0 10261 27 0 1 25 0 33 0 707737662 1517707264 163773 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=12040/tid=12073] ppid=12038 vsize=1482136 CPUtime=103.05 cores=0-31
/proc/12040/task/12073/stat : 12073 (plingeling) R 12038 12040 12014 0 -1 4202560 27196 1240 0 0 10277 27 0 1 25 0 33 0 707737662 1517707264 163773 268435456000 4194304 4417452 140736189282752 18446744073709551615 4309907 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=12040/tid=12074] ppid=12038 vsize=1482136 CPUtime=103.05 cores=0-31
/proc/12040/task/12074/stat : 12074 (plingeling) R 12038 12040 12014 0 -1 4202560 24141 1240 0 0 10280 24 0 1 25 0 33 0 707737662 1517707264 163773 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=12040/tid=12075] ppid=12038 vsize=1482136 CPUtime=102.95 cores=0-31
/proc/12040/task/12075/stat : 12075 (plingeling) R 12038 12040 12014 0 -1 4202560 22833 1240 0 0 10268 26 0 1 25 0 33 0 707737662 1517707264 163773 268435456000 4194304 4417452 140736189282752 18446744073709551615 4251133 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=12040/tid=12076] ppid=12038 vsize=1482136 CPUtime=103.09 cores=0-31
/proc/12040/task/12076/stat : 12076 (plingeling) R 12038 12040 12014 0 -1 4202560 17329 1240 0 0 10292 16 0 1 25 0 33 0 707737663 1517707264 163773 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=12040/tid=12077] ppid=12038 vsize=1482136 CPUtime=103.02 cores=0-31
/proc/12040/task/12077/stat : 12077 (plingeling) R 12038 12040 12014 0 -1 4202560 20551 1240 0 0 10286 15 0 1 25 0 33 0 707737663 1517707264 163773 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=12040/tid=12078] ppid=12038 vsize=1482136 CPUtime=102.05 cores=0-31
/proc/12040/task/12078/stat : 12078 (plingeling) R 12038 12040 12014 0 -1 4202560 25477 1240 0 0 10183 21 0 1 25 0 33 0 707737664 1517707264 163773 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 3295.05
Current children cumulated vsize (KiB) 1482136
[startup+105.102 s]
/proc/loadavg: 31.20 31.36 31.75 33/446 12084
/proc/meminfo: memFree=254843588/264257624 swapFree=67111528/67111528
[pid=12040] ppid=12038 vsize=1471472 CPUtime=3307.83 cores=0-31
/proc/12040/stat : 12040 (plingeling) S 12038 12040 12014 0 -1 4202496 799944 1240 0 0 329913 869 0 1 20 0 33 0 707737512 1506787328 161107 268435456000 4194304 4417452 140736189282752 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/12040/statm: 367868 161107 175 55 0 365754 0
[pid=12040/tid=12047] ppid=12038 vsize=1471472 CPUtime=103.42 cores=0-31
/proc/12040/task/12047/stat : 12047 (plingeling) R 12038 12040 12014 0 -1 4202560 27810 1240 0 0 10305 36 0 1 25 0 33 0 707737661 1506787328 161107 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=12040/tid=12048] ppid=12038 vsize=1471472 CPUtime=103.48 cores=0-31
/proc/12040/task/12048/stat : 12048 (plingeling) R 12038 12040 12014 0 -1 4202560 27812 1240 0 0 10315 32 0 1 25 0 33 0 707737661 1506787328 161107 268435456000 4194304 4417452 140736189282752 18446744073709551615 4365047 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=12040/tid=12049] ppid=12038 vsize=1471472 CPUtime=103.38 cores=0-31
/proc/12040/task/12049/stat : 12049 (plingeling) R 12038 12040 12014 0 -1 4202560 22117 1240 0 0 10315 22 0 1 25 0 33 0 707737661 1506787328 161107 268435456000 4194304 4417452 140736189282752 18446744073709551615 4366169 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12040/tid=12050] ppid=12038 vsize=1471472 CPUtime=103.49 cores=0-31
/proc/12040/task/12050/stat : 12050 (plingeling) R 12038 12040 12014 0 -1 4202560 19447 1240 0 0 10320 28 0 1 25 0 33 0 707737661 1506787328 161107 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=12040/tid=12051] ppid=12038 vsize=1471472 CPUtime=103.43 cores=0-31
/proc/12040/task/12051/stat : 12051 (plingeling) R 12038 12040 12014 0 -1 4202560 25937 1240 0 0 10308 34 0 1 25 0 33 0 707737661 1506787328 161107 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=12040/tid=12052] ppid=12038 vsize=1471472 CPUtime=103.34 cores=0-31
/proc/12040/task/12052/stat : 12052 (plingeling) R 12038 12040 12014 0 -1 4202560 26022 1240 0 0 10301 32 0 1 25 0 33 0 707737661 1506787328 161107 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=12040/tid=12053] ppid=12038 vsize=1471472 CPUtime=103.47 cores=0-31
/proc/12040/task/12053/stat : 12053 (plingeling) R 12038 12040 12014 0 -1 4202560 21140 1240 0 0 10320 26 0 1 25 0 33 0 707737661 1506787328 161107 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364572 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=12040/tid=12054] ppid=12038 vsize=1471472 CPUtime=103.06 cores=0-31
/proc/12040/task/12054/stat : 12054 (plingeling) R 12038 12040 12014 0 -1 4202560 23200 1240 0 0 10286 19 0 1 25 0 33 0 707737662 1506787328 161107 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=12040/tid=12055] ppid=12038 vsize=1471472 CPUtime=103.42 cores=0-31
/proc/12040/task/12055/stat : 12055 (plingeling) R 12038 12040 12014 0 -1 4202560 25077 1240 0 0 10314 27 0 1 25 0 33 0 707737662 1506787328 161107 268435456000 4194304 4417452 140736189282752 18446744073709551615 4236577 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12040/tid=12056] ppid=12038 vsize=1471472 CPUtime=102.85 cores=0-31
/proc/12040/task/12056/stat : 12056 (plingeling) R 12038 12040 12014 0 -1 4202560 19764 1240 0 0 10264 20 0 1 25 0 33 0 707737662 1506787328 161107 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364821 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12040/tid=12057] ppid=12038 vsize=1471472 CPUtime=103.13 cores=0-31
/proc/12040/task/12057/stat : 12057 (plingeling) R 12038 12040 12014 0 -1 4202560 23345 1240 0 0 10284 28 0 1 20 0 33 0 707737662 1506787328 161107 268435456000 4194304 4417452 140736189282752 18446744073709551615 18446744073699065913 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=12040/tid=12058] ppid=12038 vsize=1471472 CPUtime=103.45 cores=0-31
/proc/12040/task/12058/stat : 12058 (plingeling) R 12038 12040 12014 0 -1 4202560 17907 1240 0 0 10324 20 0 1 25 0 33 0 707737662 1506787328 161107 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12040/tid=12059] ppid=12038 vsize=1471472 CPUtime=103.36 cores=0-31
/proc/12040/task/12059/stat : 12059 (plingeling) R 12038 12040 12014 0 -1 4202560 23253 1240 0 0 10302 33 0 1 25 0 33 0 707737662 1506787328 161107 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=12040/tid=12060] ppid=12038 vsize=1471472 CPUtime=103.4 cores=0-31
/proc/12040/task/12060/stat : 12060 (plingeling) R 12038 12040 12014 0 -1 4202560 25540 1240 0 0 10309 30 0 1 25 0 33 0 707737662 1506787328 161107 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364657 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=12040/tid=12061] ppid=12038 vsize=1471472 CPUtime=103.43 cores=0-31
/proc/12040/task/12061/stat : 12061 (plingeling) R 12038 12040 12014 0 -1 4202560 21811 1240 0 0 10317 25 0 1 25 0 33 0 707737662 1506787328 161107 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=12040/tid=12062] ppid=12038 vsize=1471472 CPUtime=103.45 cores=0-31
/proc/12040/task/12062/stat : 12062 (plingeling) R 12038 12040 12014 0 -1 4202560 21671 1240 0 0 10322 22 0 1 25 0 33 0 707737662 1506787328 161107 268435456000 4194304 4417452 140736189282752 18446744073709551615 4354532 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=12040/tid=12063] ppid=12038 vsize=1471472 CPUtime=103.43 cores=0-31
/proc/12040/task/12063/stat : 12063 (plingeling) R 12038 12040 12014 0 -1 4202560 25734 1240 0 0 10317 25 0 1 25 0 33 0 707737662 1506787328 161107 268435456000 4194304 4417452 140736189282752 18446744073709551615 4357207 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=12040/tid=12064] ppid=12038 vsize=1471472 CPUtime=103.43 cores=0-31
/proc/12040/task/12064/stat : 12064 (plingeling) R 12038 12040 12014 0 -1 4202560 26520 1240 0 0 10308 34 0 1 25 0 33 0 707737662 1506787328 161107 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=12040/tid=12065] ppid=12038 vsize=1471472 CPUtime=103.45 cores=0-31
/proc/12040/task/12065/stat : 12065 (plingeling) R 12038 12040 12014 0 -1 4202560 28217 1240 0 0 10312 32 0 1 25 0 33 0 707737662 1506787328 161107 268435456000 4194304 4417452 140736189282752 18446744073709551615 4320821 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=12040/tid=12066] ppid=12038 vsize=1471472 CPUtime=103.31 cores=0-31
/proc/12040/task/12066/stat : 12066 (plingeling) R 12038 12040 12014 0 -1 4202560 27980 1240 0 0 10295 35 0 1 25 0 33 0 707737662 1506787328 161107 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=12040/tid=12067] ppid=12038 vsize=1471472 CPUtime=103.3 cores=0-31
/proc/12040/task/12067/stat : 12067 (plingeling) R 12038 12040 12014 0 -1 4202560 21814 1240 0 0 10303 26 0 1 25 0 33 0 707737662 1506787328 161107 268435456000 4194304 4417452 140736189282752 18446744073709551615 4357787 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=12040/tid=12068] ppid=12038 vsize=1471472 CPUtime=103.27 cores=0-31
/proc/12040/task/12068/stat : 12068 (plingeling) R 12038 12040 12014 0 -1 4202560 24574 1240 0 0 10304 22 0 1 25 0 33 0 707737662 1506787328 161107 268435456000 4194304 4417452 140736189282752 18446744073709551615 4365092 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12040/tid=12069] ppid=12038 vsize=1471472 CPUtime=103.42 cores=0-31
/proc/12040/task/12069/stat : 12069 (plingeling) R 12038 12040 12014 0 -1 4202560 24840 1240 0 0 10316 25 0 1 25 0 33 0 707737662 1506787328 161107 268435456000 4194304 4417452 140736189282752 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=12040/tid=12070] ppid=12038 vsize=1471472 CPUtime=103.4 cores=0-31
/proc/12040/task/12070/stat : 12070 (plingeling) R 12038 12040 12014 0 -1 4202560 23375 1240 0 0 10315 24 0 1 25 0 33 0 707737662 1506787328 161107 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=12040/tid=12071] ppid=12038 vsize=1471472 CPUtime=102.87 cores=0-31
/proc/12040/task/12071/stat : 12071 (plingeling) R 12038 12040 12014 0 -1 4202560 26555 1240 0 0 10258 28 0 1 25 0 33 0 707737662 1506787328 161107 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364809 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12040/tid=12072] ppid=12038 vsize=1471472 CPUtime=103.29 cores=0-31
/proc/12040/task/12072/stat : 12072 (plingeling) R 12038 12040 12014 0 -1 4202560 24330 1240 0 0 10301 27 0 1 25 0 33 0 707737662 1506787328 161107 268435456000 4194304 4417452 140736189282752 18446744073709551615 4357737 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=12040/tid=12073] ppid=12038 vsize=1471472 CPUtime=103.45 cores=0-31
/proc/12040/task/12073/stat : 12073 (plingeling) R 12038 12040 12014 0 -1 4202560 27196 1240 0 0 10317 27 0 1 25 0 33 0 707737662 1506787328 161107 268435456000 4194304 4417452 140736189282752 18446744073709551615 4309869 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=12040/tid=12074] ppid=12038 vsize=1471472 CPUtime=103.45 cores=0-31
/proc/12040/task/12074/stat : 12074 (plingeling) R 12038 12040 12014 0 -1 4202560 24141 1240 0 0 10320 24 0 1 25 0 33 0 707737662 1506787328 161107 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=12040/tid=12075] ppid=12038 vsize=1471472 CPUtime=103.34 cores=0-31
/proc/12040/task/12075/stat : 12075 (plingeling) R 12038 12040 12014 0 -1 4202560 23185 1240 0 0 10307 26 0 1 25 0 33 0 707737662 1506787328 161107 268435456000 4194304 4417452 140736189282752 18446744073709551615 4251104 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=12040/tid=12076] ppid=12038 vsize=1471472 CPUtime=103.49 cores=0-31
/proc/12040/task/12076/stat : 12076 (plingeling) R 12038 12040 12014 0 -1 4202560 17329 1240 0 0 10332 16 0 1 25 0 33 0 707737663 1506787328 161107 268435456000 4194304 4417452 140736189282752 18446744073709551615 4354506 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=12040/tid=12077] ppid=12038 vsize=1471472 CPUtime=103.42 cores=0-31
/proc/12040/task/12077/stat : 12077 (plingeling) R 12038 12040 12014 0 -1 4202560 20551 1240 0 0 10326 15 0 1 25 0 33 0 707737663 1506787328 161107 268435456000 4194304 4417452 140736189282752 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=12040/tid=12078] ppid=12038 vsize=1471472 CPUtime=102.45 cores=0-31
/proc/12040/task/12078/stat : 12078 (plingeling) R 12038 12040 12014 0 -1 4202560 25477 1240 0 0 10223 21 0 1 25 0 33 0 707737664 1506787328 161107 268435456000 4194304 4417452 140736189282752 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 3307.83
Current children cumulated vsize (KiB) 1471472
[startup+105.302 s]
/proc/loadavg: 31.20 31.36 31.75 33/446 12084
/proc/meminfo: memFree=254843588/264257624 swapFree=67111528/67111528
[pid=12040] ppid=12038 vsize=883000 CPUtime=3310.73 cores=0-31
/proc/12040/stat : 12040 (plingeling) R 12038 12040 12014 0 -1 4202496 800127 1240 0 0 330199 873 0 1 17 0 1 0 707737512 904192000 85916 268435456000 4194304 4417452 140736189282752 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12040/statm: 220750 85916 176 55 0 218636 0
Current children cumulated CPU time (s) 3310.73
Current children cumulated vsize (KiB) 883000
Child status: 20
Real time (s): 105.336
CPU time (s): 3310.78
CPU user time (s): 3302
CPU system time (s): 8.78166
CPU usage (%): 3143.07
Max. virtual memory (cumulated for all children) (KiB): 1490100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3302
system time used= 8.78166
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 801371
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= 7153
involuntary context switches= 7072
runsolver used 0.58791 second user time and 2.41963 second system time
The end
Begin job on node200 at 2011-05-21 09:21:51
IDJOB=3372690
IDBENCH=83117
IDSOLVER=1852
FILE ID=node200/3372690-1305962511
RUNJOBID= node200-1305962511-12028
PBS_JOBID= 13387787
Free space on /tmp= 62044 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom13.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372690-1305962511/watcher-3372690-1305962511 -o /tmp/evaluation-result-3372690-1305962511/solver-3372690-1305962511 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372690-1305962511.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= f3c2fb082f5fbc8fb1f714d6ee13929d
RANDOM SEED=1030290113
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.049
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.049
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.07
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.049
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.049
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.049
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.17
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.049
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.08
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.049
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.06
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.049
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.08
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.049
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 : 3990.04
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.049
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.09
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.049
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.049
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.02
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.049
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.17
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.049
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.09
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.049
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 : 3989.98
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.049
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.06
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.049
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.04
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.049
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.049
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.09
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.049
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 : 3990.09
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.049
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.05
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.049
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.07
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.049
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.08
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.049
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.23
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.049
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.06
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.049
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.09
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.049
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.049
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.09
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.049
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.05
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.049
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.09
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.049
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.05
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.049
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: 255504984 kB
Buffers: 453520 kB
Cached: 7897424 kB
SwapCached: 0 kB
Active: 7412024 kB
Inactive: 1007576 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255504984 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 1532 kB
Writeback: 0 kB
AnonPages: 69664 kB
Mapped: 14224 kB
Slab: 252676 kB
PageTables: 4932 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 187184 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= 62044 MiB
End job on node200 at 2011-05-21 09:23:36