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-3372867-1306114839/watcher-3372867-1306114839 -o /tmp/evaluation-result-3372867-1306114839/solver-3372867-1306114839 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372867-1306114839.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: 28.04 30.79 31.62 2/413 29010
/proc/meminfo: memFree=255431048/264257624 swapFree=67111528/67111528
[pid=29010] ppid=29008 vsize=24172 CPUtime=0 cores=0-31
/proc/29010/stat : 29010 (plingeling) R 29008 29010 28790 0 -1 4202496 4062 1241 0 0 0 0 0 0 24 0 1 0 722970288 24752128 3994 268435456000 4194304 4417452 140733852888912 18446744073709551615 258650653381 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/29010/statm: 6043 4001 142 55 0 3929 0
[startup+0.116533 s]
/proc/loadavg: 28.04 30.79 31.62 2/413 29010
/proc/meminfo: memFree=255431048/264257624 swapFree=67111528/67111528
[pid=29010] ppid=29008 vsize=33828 CPUtime=0.1 cores=0-31
/proc/29010/stat : 29010 (plingeling) R 29008 29010 28790 0 -1 4202496 6558 1241 0 0 9 1 0 0 24 0 1 0 722970288 34639872 6458 268435456000 4194304 4417452 140733852888912 18446744073709551615 4262065 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/29010/statm: 8457 6458 146 55 0 6343 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 33828
[startup+0.200538 s]
/proc/loadavg: 28.04 30.79 31.62 2/413 29010
/proc/meminfo: memFree=255431048/264257624 swapFree=67111528/67111528
[pid=29010] ppid=29008 vsize=42044 CPUtime=0.18 cores=0-31
/proc/29010/stat : 29010 (plingeling) R 29008 29010 28790 0 -1 4202496 8614 1241 0 0 17 1 0 0 24 0 1 0 722970288 43053056 8514 268435456000 4194304 4417452 140733852888912 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/29010/statm: 10511 8514 146 55 0 8397 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 42044
[startup+0.300536 s]
/proc/loadavg: 28.04 30.79 31.62 2/413 29010
/proc/meminfo: memFree=255431048/264257624 swapFree=67111528/67111528
[pid=29010] ppid=29008 vsize=49224 CPUtime=0.28 cores=0-31
/proc/29010/stat : 29010 (plingeling) R 29008 29010 28790 0 -1 4202496 10419 1241 0 0 26 2 0 0 25 0 1 0 722970288 50405376 10319 268435456000 4194304 4417452 140733852888912 18446744073709551615 4260130 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/29010/statm: 12306 10319 146 55 0 10192 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 49224
[startup+0.700589 s]
/proc/loadavg: 28.04 30.79 31.62 2/413 29010
/proc/meminfo: memFree=255431048/264257624 swapFree=67111528/67111528
[pid=29010] ppid=29008 vsize=72420 CPUtime=0.68 cores=0-31
/proc/29010/stat : 29010 (plingeling) R 29008 29010 28790 0 -1 4202496 16210 1241 0 0 65 3 0 0 25 0 1 0 722970288 74158080 16110 268435456000 4194304 4417452 140733852888912 18446744073709551615 4262065 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/29010/statm: 18105 16110 146 55 0 15991 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 72420
[startup+1.50046 s]
/proc/loadavg: 28.04 30.79 31.62 2/414 29016
/proc/meminfo: memFree=255320672/264257624 swapFree=67111528/67111528
[pid=29010] ppid=29008 vsize=794396 CPUtime=7.69 cores=0-31
/proc/29010/stat : 29010 (plingeling) S 29008 29010 28790 0 -1 4202496 59459 1241 0 0 725 44 0 0 19 0 33 0 722970288 813461504 42350 268435456000 4194304 4417452 140733852888912 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/29010/statm: 198599 42350 168 55 0 196485 0
Current children cumulated CPU time (s) 7.69
Current children cumulated vsize (KiB) 794396
[startup+3.10151 s]
/proc/loadavg: 28.04 30.79 31.62 34/446 29048
/proc/meminfo: memFree=255255464/264257624 swapFree=67111528/67111528
[pid=29010] ppid=29008 vsize=831836 CPUtime=58.49 cores=0-31
/proc/29010/stat : 29010 (plingeling) S 29008 29010 28790 0 -1 4202496 82977 1241 0 0 5792 57 0 0 19 0 33 0 722970288 851800064 53398 268435456000 4194304 4417452 140733852888912 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/29010/statm: 207959 53398 174 55 0 205845 0
[pid=29010/tid=29017] ppid=29008 vsize=831836 CPUtime=1.78 cores=0-31
/proc/29010/task/29017/stat : 29017 (plingeling) R 29008 29010 28790 0 -1 4202560 799 1241 0 0 177 1 0 0 18 0 33 0 722970415 851800064 53398 268435456000 4194304 4417452 140733852888912 18446744073709551615 4330515 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=29010/tid=29018] ppid=29008 vsize=831836 CPUtime=1.8 cores=0-31
/proc/29010/task/29018/stat : 29018 (plingeling) R 29008 29010 28790 0 -1 4202560 1291 1241 0 0 179 1 0 0 20 0 33 0 722970415 851800064 53398 268435456000 4194304 4417452 140733852888912 18446744073709551615 4271639 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=29010/tid=29019] ppid=29008 vsize=831836 CPUtime=1.78 cores=0-31
/proc/29010/task/29019/stat : 29019 (plingeling) R 29008 29010 28790 0 -1 4202560 783 1241 0 0 177 1 0 0 25 0 33 0 722970415 851800064 53398 268435456000 4194304 4417452 140733852888912 18446744073709551615 4264959 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=29010/tid=29020] ppid=29008 vsize=831836 CPUtime=1.8 cores=0-31
/proc/29010/task/29020/stat : 29020 (plingeling) R 29008 29010 28790 0 -1 4202560 359 1241 0 0 180 0 0 0 20 0 33 0 722970415 851800064 53398 268435456000 4194304 4417452 140733852888912 18446744073709551615 4366494 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=29010/tid=29021] ppid=29008 vsize=831836 CPUtime=1.79 cores=0-31
/proc/29010/task/29021/stat : 29021 (plingeling) R 29008 29010 28790 0 -1 4202560 1413 1241 0 0 177 2 0 0 20 0 33 0 722970415 851800064 53398 268435456000 4194304 4417452 140733852888912 18446744073709551615 4258472 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=29010/tid=29022] ppid=29008 vsize=831836 CPUtime=1.78 cores=0-31
/proc/29010/task/29022/stat : 29022 (plingeling) R 29008 29010 28790 0 -1 4202560 2800 1241 0 0 176 2 0 0 20 0 33 0 722970415 851800064 53398 268435456000 4194304 4417452 140733852888912 18446744073709551615 4235985 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=29010/tid=29023] ppid=29008 vsize=831836 CPUtime=1.79 cores=0-31
/proc/29010/task/29023/stat : 29023 (plingeling) R 29008 29010 28790 0 -1 4202560 924 1241 0 0 178 1 0 0 20 0 33 0 722970415 851800064 53398 268435456000 4194304 4417452 140733852888912 18446744073709551615 4258565 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=29010/tid=29024] ppid=29008 vsize=831836 CPUtime=1.8 cores=0-31
/proc/29010/task/29024/stat : 29024 (plingeling) R 29008 29010 28790 0 -1 4202560 1492 1241 0 0 179 1 0 0 20 0 33 0 722970415 851800064 53398 268435456000 4194304 4417452 140733852888912 18446744073709551615 4253167 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=29010/tid=29025] ppid=29008 vsize=831836 CPUtime=1.79 cores=0-31
/proc/29010/task/29025/stat : 29025 (plingeling) R 29008 29010 28790 0 -1 4202560 2562 1241 0 0 176 3 0 0 20 0 33 0 722970416 851800064 53398 268435456000 4194304 4417452 140733852888912 18446744073709551615 4320800 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=29010/tid=29026] ppid=29008 vsize=831836 CPUtime=1.8 cores=0-31
/proc/29010/task/29026/stat : 29026 (plingeling) R 29008 29010 28790 0 -1 4202560 816 1241 0 0 179 1 0 0 20 0 33 0 722970416 851800064 53398 268435456000 4194304 4417452 140733852888912 18446744073709551615 4216434 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=29010/tid=29027] ppid=29008 vsize=831836 CPUtime=1.76 cores=0-31
/proc/29010/task/29027/stat : 29027 (plingeling) R 29008 29010 28790 0 -1 4202560 1982 1241 0 0 175 1 0 0 20 0 33 0 722970416 851800064 53398 268435456000 4194304 4417452 140733852888912 18446744073709551615 4248212 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=29010/tid=29028] ppid=29008 vsize=831836 CPUtime=1.78 cores=0-31
/proc/29010/task/29028/stat : 29028 (plingeling) R 29008 29010 28790 0 -1 4202560 1963 1241 0 0 177 1 0 0 25 0 33 0 722970416 851800064 53398 268435456000 4194304 4417452 140733852888912 18446744073709551615 4346453 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=29010/tid=29029] ppid=29008 vsize=831836 CPUtime=1.75 cores=0-31
/proc/29010/task/29029/stat : 29029 (plingeling) R 29008 29010 28790 0 -1 4202560 1110 1241 0 0 174 1 0 0 25 0 33 0 722970416 851800064 53398 268435456000 4194304 4417452 140733852888912 18446744073709551615 4346513 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=29010/tid=29030] ppid=29008 vsize=831836 CPUtime=1.8 cores=0-31
/proc/29010/task/29030/stat : 29030 (plingeling) R 29008 29010 28790 0 -1 4202560 2008 1241 0 0 179 1 0 0 25 0 33 0 722970416 851800064 53398 268435456000 4194304 4417452 140733852888912 18446744073709551615 4252979 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=29010/tid=29031] ppid=29008 vsize=831836 CPUtime=1.79 cores=0-31
/proc/29010/task/29031/stat : 29031 (plingeling) R 29008 29010 28790 0 -1 4202560 705 1241 0 0 178 1 0 0 20 0 33 0 722970416 851800064 53398 268435456000 4194304 4417452 140733852888912 18446744073709551615 4377419 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=29010/tid=29032] ppid=29008 vsize=831836 CPUtime=1.78 cores=0-31
/proc/29010/task/29032/stat : 29032 (plingeling) R 29008 29010 28790 0 -1 4202560 854 1241 0 0 177 1 0 0 25 0 33 0 722970416 851800064 53398 268435456000 4194304 4417452 140733852888912 18446744073709551615 4253848 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=29010/tid=29033] ppid=29008 vsize=831836 CPUtime=1.8 cores=0-31
/proc/29010/task/29033/stat : 29033 (plingeling) R 29008 29010 28790 0 -1 4202560 828 1241 0 0 179 1 0 0 25 0 33 0 722970416 851800064 53398 268435456000 4194304 4417452 140733852888912 18446744073709551615 4233255 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=29010/tid=29034] ppid=29008 vsize=831836 CPUtime=1.79 cores=0-31
/proc/29010/task/29034/stat : 29034 (plingeling) R 29008 29010 28790 0 -1 4202560 2623 1241 0 0 178 1 0 0 20 0 33 0 722970416 851800064 53398 268435456000 4194304 4417452 140733852888912 18446744073709551615 4346458 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=29010/tid=29035] ppid=29008 vsize=831836 CPUtime=1.79 cores=0-31
/proc/29010/task/29035/stat : 29035 (plingeling) R 29008 29010 28790 0 -1 4202560 1202 1241 0 0 178 1 0 0 20 0 33 0 722970416 851800064 53398 268435456000 4194304 4417452 140733852888912 18446744073709551615 4366486 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=29010/tid=29036] ppid=29008 vsize=831836 CPUtime=1.78 cores=0-31
/proc/29010/task/29036/stat : 29036 (plingeling) R 29008 29010 28790 0 -1 4202560 2868 1241 0 0 176 2 0 0 20 0 33 0 722970416 851800064 53398 268435456000 4194304 4417452 140733852888912 18446744073709551615 4236017 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=29010/tid=29037] ppid=29008 vsize=831836 CPUtime=1.77 cores=0-31
/proc/29010/task/29037/stat : 29037 (plingeling) R 29008 29010 28790 0 -1 4202560 2419 1241 0 0 175 2 0 0 20 0 33 0 722970416 851800064 53398 268435456000 4194304 4417452 140733852888912 18446744073709551615 4239395 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=29010/tid=29038] ppid=29008 vsize=831836 CPUtime=1.78 cores=0-31
/proc/29010/task/29038/stat : 29038 (plingeling) R 29008 29010 28790 0 -1 4202560 1583 1241 0 0 177 1 0 0 18 0 33 0 722970416 851800064 53398 268435456000 4194304 4417452 140733852888912 18446744073709551615 4346677 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=29010/tid=29039] ppid=29008 vsize=831836 CPUtime=1.74 cores=0-31
/proc/29010/task/29039/stat : 29039 (plingeling) R 29008 29010 28790 0 -1 4202560 823 1241 0 0 173 1 0 0 25 0 33 0 722970416 851800064 53398 268435456000 4194304 4417452 140733852888912 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=29010/tid=29040] ppid=29008 vsize=831836 CPUtime=1.76 cores=0-31
/proc/29010/task/29040/stat : 29040 (plingeling) R 29008 29010 28790 0 -1 4202560 3263 1241 0 0 174 2 0 0 20 0 33 0 722970416 851800064 53398 268435456000 4194304 4417452 140733852888912 18446744073709551615 4233516 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=29010/tid=29041] ppid=29008 vsize=831836 CPUtime=1.78 cores=0-31
/proc/29010/task/29041/stat : 29041 (plingeling) R 29008 29010 28790 0 -1 4202560 859 1241 0 0 177 1 0 0 20 0 33 0 722970416 851800064 53398 268435456000 4194304 4417452 140733852888912 18446744073709551615 4252365 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=29010/tid=29042] ppid=29008 vsize=833884 CPUtime=1.77 cores=0-31
/proc/29010/task/29042/stat : 29042 (plingeling) R 29008 29010 28790 0 -1 4202560 841 1241 0 0 176 1 0 0 20 0 33 0 722970416 853897216 53404 268435456000 4194304 4417452 140733852888912 18446744073709551615 4330513 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=29010/tid=29043] ppid=29008 vsize=833884 CPUtime=1.79 cores=0-31
/proc/29010/task/29043/stat : 29043 (plingeling) R 29008 29010 28790 0 -1 4202560 1226 1241 0 0 179 0 0 0 20 0 33 0 722970416 853897216 53412 268435456000 4194304 4417452 140733852888912 18446744073709551615 4258469 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=29010/tid=29044] ppid=29008 vsize=833884 CPUtime=1.8 cores=0-31
/proc/29010/task/29044/stat : 29044 (plingeling) R 29008 29010 28790 0 -1 4202560 855 1241 0 0 179 1 0 0 20 0 33 0 722970416 853897216 53422 268435456000 4194304 4417452 140733852888912 18446744073709551615 4320247 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=29010/tid=29045] ppid=29008 vsize=833884 CPUtime=1.78 cores=0-31
/proc/29010/task/29045/stat : 29045 (plingeling) R 29008 29010 28790 0 -1 4202560 947 1241 0 0 177 1 0 0 20 0 33 0 722970417 853897216 53432 268435456000 4194304 4417452 140733852888912 18446744073709551615 4330515 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=29010/tid=29046] ppid=29008 vsize=833884 CPUtime=1.79 cores=0-31
/proc/29010/task/29046/stat : 29046 (plingeling) R 29008 29010 28790 0 -1 4202560 2221 1241 0 0 178 1 0 0 20 0 33 0 722970417 853897216 53441 268435456000 4194304 4417452 140733852888912 18446744073709551615 4271594 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=29010/tid=29047] ppid=29008 vsize=833884 CPUtime=1.77 cores=0-31
/proc/29010/task/29047/stat : 29047 (plingeling) R 29008 29010 28790 0 -1 4202560 1000 1241 0 0 177 0 0 0 20 0 33 0 722970417 853897216 53450 268435456000 4194304 4417452 140733852888912 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=29010/tid=29048] ppid=29008 vsize=833884 CPUtime=1.66 cores=0-31
/proc/29010/task/29048/stat : 29048 (plingeling) R 29008 29010 28790 0 -1 4202560 1742 1241 0 0 165 1 0 0 24 0 33 0 722970417 853897216 53460 268435456000 4194304 4417452 140733852888912 18446744073709551615 4346501 0 0 4096 17442 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 58.49
Current children cumulated vsize (KiB) 831836
[startup+6.30161 s]
/proc/loadavg: 28.36 30.81 31.62 33/446 29048
/proc/meminfo: memFree=255178644/264257624 swapFree=67111528/67111528
[pid=29010] ppid=29008 vsize=860496 CPUtime=160.28 cores=0-31
/proc/29010/stat : 29010 (plingeling) S 29008 29010 28790 0 -1 4202496 112392 1241 0 0 15951 77 0 0 19 0 33 0 722970288 881147904 59746 268435456000 4194304 4417452 140733852888912 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/29010/statm: 215124 59746 175 55 0 213010 0
[pid=29010/tid=29017] ppid=29008 vsize=860496 CPUtime=4.93 cores=0-31
/proc/29010/task/29017/stat : 29017 (plingeling) R 29008 29010 28790 0 -1 4202560 2598 1241 0 0 492 1 0 0 25 0 33 0 722970415 881147904 59746 268435456000 4194304 4417452 140733852888912 18446744073709551615 4273030 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=29010/tid=29018] ppid=29008 vsize=860496 CPUtime=4.99 cores=0-31
/proc/29010/task/29018/stat : 29018 (plingeling) R 29008 29010 28790 0 -1 4202560 2832 1241 0 0 497 2 0 0 25 0 33 0 722970415 881147904 59746 268435456000 4194304 4417452 140733852888912 18446744073709551615 4336015 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=29010/tid=29019] ppid=29008 vsize=860496 CPUtime=4.98 cores=0-31
/proc/29010/task/29019/stat : 29019 (plingeling) R 29008 29010 28790 0 -1 4202560 783 1241 0 0 497 1 0 0 24 0 33 0 722970415 881147904 59746 268435456000 4194304 4417452 140733852888912 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=29010/tid=29020] ppid=29008 vsize=860496 CPUtime=5 cores=0-31
/proc/29010/task/29020/stat : 29020 (plingeling) R 29008 29010 28790 0 -1 4202560 359 1241 0 0 500 0 0 0 25 0 33 0 722970415 881147904 59746 268435456000 4194304 4417452 140733852888912 18446744073709551615 4358345 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=29010/tid=29021] ppid=29008 vsize=860496 CPUtime=4.98 cores=0-31
/proc/29010/task/29021/stat : 29021 (plingeling) R 29008 29010 28790 0 -1 4202560 2182 1241 0 0 496 2 0 0 25 0 33 0 722970415 881147904 59746 268435456000 4194304 4417452 140733852888912 18446744073709551615 4364476 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=29010/tid=29022] ppid=29008 vsize=860496 CPUtime=4.97 cores=0-31
/proc/29010/task/29022/stat : 29022 (plingeling) R 29008 29010 28790 0 -1 4202560 3569 1241 0 0 495 2 0 0 25 0 33 0 722970415 881147904 59746 268435456000 4194304 4417452 140733852888912 18446744073709551615 18446744073699065927 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=29010/tid=29023] ppid=29008 vsize=860496 CPUtime=4.97 cores=0-31
/proc/29010/task/29023/stat : 29023 (plingeling) R 29008 29010 28790 0 -1 4202560 934 1241 0 0 496 1 0 0 25 0 33 0 722970415 881147904 59746 268435456000 4194304 4417452 140733852888912 18446744073709551615 4357939 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=29010/tid=29024] ppid=29008 vsize=860496 CPUtime=4.98 cores=0-31
/proc/29010/task/29024/stat : 29024 (plingeling) R 29008 29010 28790 0 -1 4202560 2264 1241 0 0 495 3 0 0 25 0 33 0 722970415 881147904 59746 268435456000 4194304 4417452 140733852888912 18446744073709551615 4365936 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=29010/tid=29025] ppid=29008 vsize=860496 CPUtime=4.99 cores=0-31
/proc/29010/task/29025/stat : 29025 (plingeling) R 29008 29010 28790 0 -1 4202560 3080 1241 0 0 496 3 0 0 25 0 33 0 722970416 881147904 59746 268435456000 4194304 4417452 140733852888912 18446744073709551615 4242099 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=29010/tid=29026] ppid=29008 vsize=860496 CPUtime=4.97 cores=0-31
/proc/29010/task/29026/stat : 29026 (plingeling) R 29008 29010 28790 0 -1 4202560 2102 1241 0 0 494 3 0 0 25 0 33 0 722970416 881147904 59746 268435456000 4194304 4417452 140733852888912 18446744073709551615 4331796 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=29010/tid=29027] ppid=29008 vsize=860496 CPUtime=4.94 cores=0-31
/proc/29010/task/29027/stat : 29027 (plingeling) R 29008 29010 28790 0 -1 4202560 1992 1241 0 0 493 1 0 0 25 0 33 0 722970416 881147904 59746 268435456000 4194304 4417452 140733852888912 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=29010/tid=29028] ppid=29008 vsize=860496 CPUtime=4.89 cores=0-31
/proc/29010/task/29028/stat : 29028 (plingeling) R 29008 29010 28790 0 -1 4202560 3510 1241 0 0 487 2 0 0 25 0 33 0 722970416 881147904 59746 268435456000 4194304 4417452 140733852888912 18446744073709551615 4252404 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=29010/tid=29029] ppid=29008 vsize=860496 CPUtime=4.94 cores=0-31
/proc/29010/task/29029/stat : 29029 (plingeling) R 29008 29010 28790 0 -1 4202560 2396 1241 0 0 492 2 0 0 25 0 33 0 722970416 881147904 59746 268435456000 4194304 4417452 140733852888912 18446744073709551615 4248895 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=29010/tid=29030] ppid=29008 vsize=860496 CPUtime=5 cores=0-31
/proc/29010/task/29030/stat : 29030 (plingeling) R 29008 29010 28790 0 -1 4202560 3293 1241 0 0 499 1 0 0 25 0 33 0 722970416 881147904 59746 268435456000 4194304 4417452 140733852888912 18446744073709551615 4320876 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=29010/tid=29031] ppid=29008 vsize=860496 CPUtime=4.99 cores=0-31
/proc/29010/task/29031/stat : 29031 (plingeling) R 29008 29010 28790 0 -1 4202560 705 1241 0 0 498 1 0 0 25 0 33 0 722970416 881147904 59746 268435456000 4194304 4417452 140733852888912 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=29010/tid=29032] ppid=29008 vsize=860496 CPUtime=4.97 cores=0-31
/proc/29010/task/29032/stat : 29032 (plingeling) R 29008 29010 28790 0 -1 4202560 2653 1241 0 0 495 2 0 0 25 0 33 0 722970416 881147904 59746 268435456000 4194304 4417452 140733852888912 18446744073709551615 4248926 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=29010/tid=29033] ppid=29008 vsize=860496 CPUtime=4.97 cores=0-31
/proc/29010/task/29033/stat : 29033 (plingeling) R 29008 29010 28790 0 -1 4202560 2371 1241 0 0 495 2 0 0 25 0 33 0 722970416 881147904 59746 268435456000 4194304 4417452 140733852888912 18446744073709551615 4232831 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=29010/tid=29034] ppid=29008 vsize=860496 CPUtime=4.98 cores=0-31
/proc/29010/task/29034/stat : 29034 (plingeling) R 29008 29010 28790 0 -1 4202560 4584 1241 0 0 495 3 0 0 25 0 33 0 722970416 881147904 59746 268435456000 4194304 4417452 140733852888912 18446744073709551615 4254821 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=29010/tid=29035] ppid=29008 vsize=860496 CPUtime=4.98 cores=0-31
/proc/29010/task/29035/stat : 29035 (plingeling) R 29008 29010 28790 0 -1 4202560 1212 1241 0 0 497 1 0 0 25 0 33 0 722970416 881147904 59746 268435456000 4194304 4417452 140733852888912 18446744073709551615 4237194 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=29010/tid=29036] ppid=29008 vsize=860496 CPUtime=4.98 cores=0-31
/proc/29010/task/29036/stat : 29036 (plingeling) R 29008 29010 28790 0 -1 4202560 3637 1241 0 0 496 2 0 0 25 0 33 0 722970416 881147904 59746 268435456000 4194304 4417452 140733852888912 18446744073709551615 4364737 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=29010/tid=29037] ppid=29008 vsize=860496 CPUtime=4.95 cores=0-31
/proc/29010/task/29037/stat : 29037 (plingeling) R 29008 29010 28790 0 -1 4202560 2680 1241 0 0 493 2 0 0 25 0 33 0 722970416 881147904 59746 268435456000 4194304 4417452 140733852888912 18446744073709551615 4353830 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=29010/tid=29038] ppid=29008 vsize=860496 CPUtime=4.97 cores=0-31
/proc/29010/task/29038/stat : 29038 (plingeling) R 29008 29010 28790 0 -1 4202560 3027 1241 0 0 496 1 0 0 25 0 33 0 722970416 881147904 59746 268435456000 4194304 4417452 140733852888912 18446744073709551615 4302950 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=29010/tid=29039] ppid=29008 vsize=860496 CPUtime=4.93 cores=0-31
/proc/29010/task/29039/stat : 29039 (plingeling) R 29008 29010 28790 0 -1 4202560 823 1241 0 0 492 1 0 0 25 0 33 0 722970416 881147904 59746 268435456000 4194304 4417452 140733852888912 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=29010/tid=29040] ppid=29008 vsize=860496 CPUtime=4.95 cores=0-31
/proc/29010/task/29040/stat : 29040 (plingeling) R 29008 29010 28790 0 -1 4202560 4036 1241 0 0 493 2 0 0 25 0 33 0 722970416 881147904 59746 268435456000 4194304 4417452 140733852888912 18446744073709551615 18446744073699065980 0 0 4096 17442 0 0 0 -1 21 0 0 0
################
# More data... #
################
/proc/29010/task/29042/stat : 29042 (plingeling) R 29008 29010 28790 0 -1 4202560 2900 1241 0 0 822 1 0 0 25 0 33 0 722970416 897355776 63480 268435456000 4194304 4417452 140733852888912 18446744073709551615 4353557 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=29010/tid=29043] ppid=29008 vsize=876324 CPUtime=8.28 cores=0-31
/proc/29010/task/29043/stat : 29043 (plingeling) R 29008 29010 28790 0 -1 4202560 1236 1241 0 0 827 1 0 0 25 0 33 0 722970416 897355776 63480 268435456000 4194304 4417452 140733852888912 18446744073709551615 4236845 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=29010/tid=29044] ppid=29008 vsize=876324 CPUtime=8.26 cores=0-31
/proc/29010/task/29044/stat : 29044 (plingeling) R 29008 29010 28790 0 -1 4202560 2851 1241 0 0 825 1 0 0 25 0 33 0 722970416 897355776 63480 268435456000 4194304 4417452 140733852888912 18446744073709551615 4353554 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=29010/tid=29045] ppid=29008 vsize=876324 CPUtime=8.2 cores=0-31
/proc/29010/task/29045/stat : 29045 (plingeling) R 29008 29010 28790 0 -1 4202560 2497 1241 0 0 819 1 0 0 25 0 33 0 722970417 897355776 63480 268435456000 4194304 4417452 140733852888912 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=29010/tid=29046] ppid=29008 vsize=876324 CPUtime=8.27 cores=0-31
/proc/29010/task/29046/stat : 29046 (plingeling) R 29008 29010 28790 0 -1 4202560 3758 1241 0 0 825 2 0 0 25 0 33 0 722970417 897355776 63480 268435456000 4194304 4417452 140733852888912 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=29010/tid=29047] ppid=29008 vsize=876324 CPUtime=8.27 cores=0-31
/proc/29010/task/29047/stat : 29047 (plingeling) R 29008 29010 28790 0 -1 4202560 1000 1241 0 0 827 0 0 0 25 0 33 0 722970417 897355776 63480 268435456000 4194304 4417452 140733852888912 18446744073709551615 4364442 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=29010/tid=29048] ppid=29008 vsize=876324 CPUtime=8.13 cores=0-31
/proc/29010/task/29048/stat : 29048 (plingeling) R 29008 29010 28790 0 -1 4202560 4028 1241 0 0 811 2 0 0 25 0 33 0 722970417 897355776 63480 268435456000 4194304 4417452 140733852888912 18446744073709551615 4365150 0 0 4096 17442 0 0 0 -1 10 0 0 0
Current children cumulated CPU time (s) 265.76
Current children cumulated vsize (KiB) 876324
[startup+10.4018 s]
/proc/loadavg: 28.65 30.83 31.62 33/446 29048
/proc/meminfo: memFree=255172028/264257624 swapFree=67111528/67111528
[pid=29010] ppid=29008 vsize=880580 CPUtime=291.33 cores=0-31
/proc/29010/stat : 29010 (plingeling) S 29008 29010 28790 0 -1 4202496 119474 1241 0 0 29054 79 0 0 19 0 33 0 722970288 901713920 64544 268435456000 4194304 4417452 140733852888912 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/29010/statm: 220145 64544 175 55 0 218031 0
[pid=29010/tid=29017] ppid=29008 vsize=880580 CPUtime=9.02 cores=0-31
/proc/29010/task/29017/stat : 29017 (plingeling) R 29008 29010 28790 0 -1 4202560 3017 1241 0 0 901 1 0 0 25 0 33 0 722970415 901713920 64544 268435456000 4194304 4417452 140733852888912 18446744073709551615 4236574 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=29010/tid=29018] ppid=29008 vsize=880580 CPUtime=9.1 cores=0-31
/proc/29010/task/29018/stat : 29018 (plingeling) R 29008 29010 28790 0 -1 4202560 3092 1241 0 0 907 3 0 0 25 0 33 0 722970415 901713920 64544 268435456000 4194304 4417452 140733852888912 18446744073709551615 4236800 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=29010/tid=29019] ppid=29008 vsize=880580 CPUtime=9.07 cores=0-31
/proc/29010/task/29019/stat : 29019 (plingeling) R 29008 29010 28790 0 -1 4202560 783 1241 0 0 906 1 0 0 25 0 33 0 722970415 901713920 64544 268435456000 4194304 4417452 140733852888912 18446744073709551615 4353838 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=29010/tid=29020] ppid=29008 vsize=880580 CPUtime=9.09 cores=0-31
/proc/29010/task/29020/stat : 29020 (plingeling) R 29008 29010 28790 0 -1 4202560 871 1241 0 0 909 0 0 0 25 0 33 0 722970415 901713920 64544 268435456000 4194304 4417452 140733852888912 18446744073709551615 4364558 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=29010/tid=29021] ppid=29008 vsize=880580 CPUtime=9.07 cores=0-31
/proc/29010/task/29021/stat : 29021 (plingeling) R 29008 29010 28790 0 -1 4202560 2438 1241 0 0 905 2 0 0 25 0 33 0 722970415 901713920 64544 268435456000 4194304 4417452 140733852888912 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=29010/tid=29022] ppid=29008 vsize=880580 CPUtime=9.07 cores=0-31
/proc/29010/task/29022/stat : 29022 (plingeling) R 29008 29010 28790 0 -1 4202560 4194 1241 0 0 904 3 0 0 25 0 33 0 722970415 901713920 64544 268435456000 4194304 4417452 140733852888912 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=29010/tid=29023] ppid=29008 vsize=880580 CPUtime=9.07 cores=0-31
/proc/29010/task/29023/stat : 29023 (plingeling) R 29008 29010 28790 0 -1 4202560 934 1241 0 0 906 1 0 0 25 0 33 0 722970415 901713920 64544 268435456000 4194304 4417452 140733852888912 18446744073709551615 4232808 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=29010/tid=29024] ppid=29008 vsize=880580 CPUtime=9.08 cores=0-31
/proc/29010/task/29024/stat : 29024 (plingeling) R 29008 29010 28790 0 -1 4202560 2524 1241 0 0 905 3 0 0 25 0 33 0 722970415 901713920 64544 268435456000 4194304 4417452 140733852888912 18446744073709551615 4237211 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=29010/tid=29025] ppid=29008 vsize=880580 CPUtime=9.08 cores=0-31
/proc/29010/task/29025/stat : 29025 (plingeling) R 29008 29010 28790 0 -1 4202560 3084 1241 0 0 905 3 0 0 25 0 33 0 722970416 901713920 64544 268435456000 4194304 4417452 140733852888912 18446744073709551615 4236816 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=29010/tid=29026] ppid=29008 vsize=880580 CPUtime=9.07 cores=0-31
/proc/29010/task/29026/stat : 29026 (plingeling) R 29008 29010 28790 0 -1 4202560 2358 1241 0 0 904 3 0 0 25 0 33 0 722970416 901713920 64544 268435456000 4194304 4417452 140733852888912 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=29010/tid=29027] ppid=29008 vsize=880580 CPUtime=9.04 cores=0-31
/proc/29010/task/29027/stat : 29027 (plingeling) R 29008 29010 28790 0 -1 4202560 1992 1241 0 0 903 1 0 0 25 0 33 0 722970416 901713920 64544 268435456000 4194304 4417452 140733852888912 18446744073709551615 4250876 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=29010/tid=29028] ppid=29008 vsize=880580 CPUtime=8.86 cores=0-31
/proc/29010/task/29028/stat : 29028 (plingeling) R 29008 29010 28790 0 -1 4202560 3770 1241 0 0 884 2 0 0 25 0 33 0 722970416 901713920 64544 268435456000 4194304 4417452 140733852888912 18446744073709551615 4321590 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=29010/tid=29029] ppid=29008 vsize=880580 CPUtime=9.04 cores=0-31
/proc/29010/task/29029/stat : 29029 (plingeling) R 29008 29010 28790 0 -1 4202560 2619 1241 0 0 902 2 0 0 25 0 33 0 722970416 901713920 64544 268435456000 4194304 4417452 140733852888912 18446744073709551615 4364812 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=29010/tid=29030] ppid=29008 vsize=880580 CPUtime=9.09 cores=0-31
/proc/29010/task/29030/stat : 29030 (plingeling) R 29008 29010 28790 0 -1 4202560 3553 1241 0 0 908 1 0 0 25 0 33 0 722970416 901713920 64544 268435456000 4194304 4417452 140733852888912 18446744073709551615 4364616 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=29010/tid=29031] ppid=29008 vsize=880580 CPUtime=9.09 cores=0-31
/proc/29010/task/29031/stat : 29031 (plingeling) R 29008 29010 28790 0 -1 4202560 705 1241 0 0 908 1 0 0 25 0 33 0 722970416 901713920 64544 268435456000 4194304 4417452 140733852888912 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=29010/tid=29032] ppid=29008 vsize=880580 CPUtime=9.07 cores=0-31
/proc/29010/task/29032/stat : 29032 (plingeling) R 29008 29010 28790 0 -1 4202560 2682 1241 0 0 905 2 0 0 25 0 33 0 722970416 901713920 64544 268435456000 4194304 4417452 140733852888912 18446744073709551615 4236616 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=29010/tid=29033] ppid=29008 vsize=880580 CPUtime=9.07 cores=0-31
/proc/29010/task/29033/stat : 29033 (plingeling) R 29008 29010 28790 0 -1 4202560 2627 1241 0 0 905 2 0 0 25 0 33 0 722970416 901713920 64544 268435456000 4194304 4417452 140733852888912 18446744073709551615 4353594 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=29010/tid=29034] ppid=29008 vsize=880580 CPUtime=9.08 cores=0-31
/proc/29010/task/29034/stat : 29034 (plingeling) R 29008 29010 28790 0 -1 4202560 4844 1241 0 0 905 3 0 0 25 0 33 0 722970416 901713920 64544 268435456000 4194304 4417452 140733852888912 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=29010/tid=29035] ppid=29008 vsize=880580 CPUtime=9.08 cores=0-31
/proc/29010/task/29035/stat : 29035 (plingeling) R 29008 29010 28790 0 -1 4202560 1212 1241 0 0 907 1 0 0 25 0 33 0 722970416 901713920 64544 268435456000 4194304 4417452 140733852888912 18446744073709551615 4236910 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=29010/tid=29036] ppid=29008 vsize=880580 CPUtime=9.08 cores=0-31
/proc/29010/task/29036/stat : 29036 (plingeling) R 29008 29010 28790 0 -1 4202560 3915 1241 0 0 906 2 0 0 25 0 33 0 722970416 901713920 64544 268435456000 4194304 4417452 140733852888912 18446744073709551615 4353879 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=29010/tid=29037] ppid=29008 vsize=880580 CPUtime=9.05 cores=0-31
/proc/29010/task/29037/stat : 29037 (plingeling) R 29008 29010 28790 0 -1 4202560 2940 1241 0 0 903 2 0 0 25 0 33 0 722970416 901713920 64544 268435456000 4194304 4417452 140733852888912 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=29010/tid=29038] ppid=29008 vsize=880580 CPUtime=9.06 cores=0-31
/proc/29010/task/29038/stat : 29038 (plingeling) R 29008 29010 28790 0 -1 4202560 3283 1241 0 0 905 1 0 0 25 0 33 0 722970416 901713920 64544 268435456000 4194304 4417452 140733852888912 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=29010/tid=29039] ppid=29008 vsize=880580 CPUtime=9.03 cores=0-31
/proc/29010/task/29039/stat : 29039 (plingeling) R 29008 29010 28790 0 -1 4202560 823 1241 0 0 902 1 0 0 25 0 33 0 722970416 901713920 64544 268435456000 4194304 4417452 140733852888912 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=29010/tid=29040] ppid=29008 vsize=880580 CPUtime=9.05 cores=0-31
/proc/29010/task/29040/stat : 29040 (plingeling) R 29008 29010 28790 0 -1 4202560 4513 1241 0 0 903 2 0 0 25 0 33 0 722970416 901713920 64544 268435456000 4194304 4417452 140733852888912 18446744073709551615 4364466 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=29010/tid=29041] ppid=29008 vsize=880580 CPUtime=9.06 cores=0-31
/proc/29010/task/29041/stat : 29041 (plingeling) R 29008 29010 28790 0 -1 4202560 2396 1241 0 0 904 2 0 0 25 0 33 0 722970416 901713920 64544 268435456000 4194304 4417452 140733852888912 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=29010/tid=29042] ppid=29008 vsize=880580 CPUtime=9.03 cores=0-31
/proc/29010/task/29042/stat : 29042 (plingeling) R 29008 29010 28790 0 -1 4202560 2904 1241 0 0 902 1 0 0 25 0 33 0 722970416 901713920 64544 268435456000 4194304 4417452 140733852888912 18446744073709551615 4365023 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=29010/tid=29043] ppid=29008 vsize=880580 CPUtime=9.08 cores=0-31
/proc/29010/task/29043/stat : 29043 (plingeling) R 29008 29010 28790 0 -1 4202560 1236 1241 0 0 907 1 0 0 25 0 33 0 722970416 901713920 64544 268435456000 4194304 4417452 140733852888912 18446744073709551615 4250927 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=29010/tid=29044] ppid=29008 vsize=880580 CPUtime=9.06 cores=0-31
/proc/29010/task/29044/stat : 29044 (plingeling) R 29008 29010 28790 0 -1 4202560 2851 1241 0 0 905 1 0 0 25 0 33 0 722970416 901713920 64544 268435456000 4194304 4417452 140733852888912 18446744073709551615 4251063 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=29010/tid=29045] ppid=29008 vsize=880580 CPUtime=9.01 cores=0-31
/proc/29010/task/29045/stat : 29045 (plingeling) R 29008 29010 28790 0 -1 4202560 2712 1241 0 0 899 2 0 0 25 0 33 0 722970417 901713920 64544 268435456000 4194304 4417452 140733852888912 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=29010/tid=29046] ppid=29008 vsize=880580 CPUtime=9.07 cores=0-31
/proc/29010/task/29046/stat : 29046 (plingeling) R 29008 29010 28790 0 -1 4202560 3758 1241 0 0 905 2 0 0 25 0 33 0 722970417 901713920 64544 268435456000 4194304 4417452 140733852888912 18446744073709551615 4364861 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=29010/tid=29047] ppid=29008 vsize=880580 CPUtime=9.07 cores=0-31
/proc/29010/task/29047/stat : 29047 (plingeling) R 29008 29010 28790 0 -1 4202560 1000 1241 0 0 907 0 0 0 25 0 33 0 722970417 901713920 64544 268435456000 4194304 4417452 140733852888912 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=29010/tid=29048] ppid=29008 vsize=880580 CPUtime=8.93 cores=0-31
/proc/29010/task/29048/stat : 29048 (plingeling) R 29008 29010 28790 0 -1 4202560 4028 1241 0 0 891 2 0 0 25 0 33 0 722970417 901713920 64544 268435456000 4194304 4417452 140733852888912 18446744073709551615 4364442 0 0 4096 17442 0 0 0 -1 10 0 0 0
Current children cumulated CPU time (s) 291.33
Current children cumulated vsize (KiB) 880580
[startup+11.2018 s]
/proc/loadavg: 28.65 30.83 31.62 33/446 29048
/proc/meminfo: memFree=255166820/264257624 swapFree=67111528/67111528
[pid=29010] ppid=29008 vsize=881752 CPUtime=316.9 cores=0-31
/proc/29010/stat : 29010 (plingeling) S 29008 29010 28790 0 -1 4202496 120308 1241 0 0 31610 80 0 0 19 0 33 0 722970288 902914048 64837 268435456000 4194304 4417452 140733852888912 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/29010/statm: 220438 64837 175 55 0 218324 0
[pid=29010/tid=29017] ppid=29008 vsize=881752 CPUtime=9.82 cores=0-31
/proc/29010/task/29017/stat : 29017 (plingeling) R 29008 29010 28790 0 -1 4202560 3017 1241 0 0 981 1 0 0 25 0 33 0 722970415 902914048 64837 268435456000 4194304 4417452 140733852888912 18446744073709551615 18446744073699065980 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=29010/tid=29018] ppid=29008 vsize=881752 CPUtime=9.9 cores=0-31
/proc/29010/task/29018/stat : 29018 (plingeling) R 29008 29010 28790 0 -1 4202560 3092 1241 0 0 987 3 0 0 25 0 33 0 722970415 902914048 64837 268435456000 4194304 4417452 140733852888912 18446744073709551615 4236693 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=29010/tid=29019] ppid=29008 vsize=881752 CPUtime=9.87 cores=0-31
/proc/29010/task/29019/stat : 29019 (plingeling) R 29008 29010 28790 0 -1 4202560 783 1241 0 0 986 1 0 0 25 0 33 0 722970415 902914048 64837 268435456000 4194304 4417452 140733852888912 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=29010/tid=29020] ppid=29008 vsize=881752 CPUtime=9.89 cores=0-31
/proc/29010/task/29020/stat : 29020 (plingeling) R 29008 29010 28790 0 -1 4202560 871 1241 0 0 989 0 0 0 25 0 33 0 722970415 902914048 64837 268435456000 4194304 4417452 140733852888912 18446744073709551615 4320936 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=29010/tid=29021] ppid=29008 vsize=881752 CPUtime=9.87 cores=0-31
/proc/29010/task/29021/stat : 29021 (plingeling) R 29008 29010 28790 0 -1 4202560 2438 1241 0 0 985 2 0 0 25 0 33 0 722970415 902914048 64837 268435456000 4194304 4417452 140733852888912 18446744073709551615 18446744073699065964 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=29010/tid=29022] ppid=29008 vsize=881752 CPUtime=9.87 cores=0-31
/proc/29010/task/29022/stat : 29022 (plingeling) R 29008 29010 28790 0 -1 4202560 4194 1241 0 0 984 3 0 0 25 0 33 0 722970415 902914048 64837 268435456000 4194304 4417452 140733852888912 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=29010/tid=29023] ppid=29008 vsize=881752 CPUtime=9.87 cores=0-31
/proc/29010/task/29023/stat : 29023 (plingeling) R 29008 29010 28790 0 -1 4202560 934 1241 0 0 986 1 0 0 25 0 33 0 722970415 902914048 64837 268435456000 4194304 4417452 140733852888912 18446744073709551615 4236816 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=29010/tid=29024] ppid=29008 vsize=881752 CPUtime=9.88 cores=0-31
/proc/29010/task/29024/stat : 29024 (plingeling) R 29008 29010 28790 0 -1 4202560 2524 1241 0 0 985 3 0 0 25 0 33 0 722970415 902914048 64837 268435456000 4194304 4417452 140733852888912 18446744073709551615 4232721 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=29010/tid=29025] ppid=29008 vsize=881752 CPUtime=9.88 cores=0-31
/proc/29010/task/29025/stat : 29025 (plingeling) R 29008 29010 28790 0 -1 4202560 3084 1241 0 0 985 3 0 0 25 0 33 0 722970416 902914048 64837 268435456000 4194304 4417452 140733852888912 18446744073709551615 4364741 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=29010/tid=29026] ppid=29008 vsize=881752 CPUtime=9.87 cores=0-31
/proc/29010/task/29026/stat : 29026 (plingeling) R 29008 29010 28790 0 -1 4202560 2358 1241 0 0 984 3 0 0 25 0 33 0 722970416 902914048 64837 268435456000 4194304 4417452 140733852888912 18446744073709551615 4364958 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=29010/tid=29027] ppid=29008 vsize=881752 CPUtime=9.84 cores=0-31
/proc/29010/task/29027/stat : 29027 (plingeling) R 29008 29010 28790 0 -1 4202560 1992 1241 0 0 983 1 0 0 25 0 33 0 722970416 902914048 64837 268435456000 4194304 4417452 140733852888912 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=29010/tid=29028] ppid=29008 vsize=881752 CPUtime=9.63 cores=0-31
/proc/29010/task/29028/stat : 29028 (plingeling) R 29008 29010 28790 0 -1 4202560 3770 1241 0 0 961 2 0 0 25 0 33 0 722970416 902914048 64837 268435456000 4194304 4417452 140733852888912 18446744073709551615 4365162 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=29010/tid=29029] ppid=29008 vsize=881752 CPUtime=9.84 cores=0-31
/proc/29010/task/29029/stat : 29029 (plingeling) R 29008 29010 28790 0 -1 4202560 2619 1241 0 0 982 2 0 0 25 0 33 0 722970416 902914048 64837 268435456000 4194304 4417452 140733852888912 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=29010/tid=29030] ppid=29008 vsize=881752 CPUtime=9.89 cores=0-31
/proc/29010/task/29030/stat : 29030 (plingeling) R 29008 29010 28790 0 -1 4202560 3553 1241 0 0 988 1 0 0 25 0 33 0 722970416 902914048 64837 268435456000 4194304 4417452 140733852888912 18446744073709551615 4237136 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=29010/tid=29031] ppid=29008 vsize=881752 CPUtime=9.89 cores=0-31
/proc/29010/task/29031/stat : 29031 (plingeling) R 29008 29010 28790 0 -1 4202560 705 1241 0 0 988 1 0 0 25 0 33 0 722970416 902914048 64837 268435456000 4194304 4417452 140733852888912 18446744073709551615 4354506 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=29010/tid=29032] ppid=29008 vsize=881752 CPUtime=9.87 cores=0-31
/proc/29010/task/29032/stat : 29032 (plingeling) R 29008 29010 28790 0 -1 4202560 2682 1241 0 0 985 2 0 0 25 0 33 0 722970416 902914048 64837 268435456000 4194304 4417452 140733852888912 18446744073709551615 4357265 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=29010/tid=29033] ppid=29008 vsize=881752 CPUtime=9.87 cores=0-31
/proc/29010/task/29033/stat : 29033 (plingeling) R 29008 29010 28790 0 -1 4202560 2627 1241 0 0 985 2 0 0 25 0 33 0 722970416 902914048 64837 268435456000 4194304 4417452 140733852888912 18446744073709551615 4236549 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=29010/tid=29034] ppid=29008 vsize=881752 CPUtime=9.88 cores=0-31
/proc/29010/task/29034/stat : 29034 (plingeling) R 29008 29010 28790 0 -1 4202560 5183 1241 0 0 985 3 0 0 25 0 33 0 722970416 902914048 64837 268435456000 4194304 4417452 140733852888912 18446744073709551615 4245619 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=29010/tid=29035] ppid=29008 vsize=881752 CPUtime=9.88 cores=0-31
/proc/29010/task/29035/stat : 29035 (plingeling) R 29008 29010 28790 0 -1 4202560 1212 1241 0 0 987 1 0 0 25 0 33 0 722970416 902914048 64837 268435456000 4194304 4417452 140733852888912 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=29010/tid=29036] ppid=29008 vsize=881752 CPUtime=9.88 cores=0-31
/proc/29010/task/29036/stat : 29036 (plingeling) R 29008 29010 28790 0 -1 4202560 4080 1241 0 0 986 2 0 0 25 0 33 0 722970416 902914048 64837 268435456000 4194304 4417452 140733852888912 18446744073709551615 4364835 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=29010/tid=29037] ppid=29008 vsize=881752 CPUtime=9.85 cores=0-31
/proc/29010/task/29037/stat : 29037 (plingeling) R 29008 29010 28790 0 -1 4202560 3014 1241 0 0 983 2 0 0 25 0 33 0 722970416 902914048 64837 268435456000 4194304 4417452 140733852888912 18446744073709551615 18446744073699065913 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=29010/tid=29038] ppid=29008 vsize=881752 CPUtime=9.86 cores=0-31
/proc/29010/task/29038/stat : 29038 (plingeling) R 29008 29010 28790 0 -1 4202560 3283 1241 0 0 985 1 0 0 25 0 33 0 722970416 902914048 64837 268435456000 4194304 4417452 140733852888912 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=29010/tid=29039] ppid=29008 vsize=881752 CPUtime=9.83 cores=0-31
/proc/29010/task/29039/stat : 29039 (plingeling) R 29008 29010 28790 0 -1 4202560 823 1241 0 0 982 1 0 0 25 0 33 0 722970416 902914048 64837 268435456000 4194304 4417452 140733852888912 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=29010/tid=29040] ppid=29008 vsize=881752 CPUtime=9.85 cores=0-31
/proc/29010/task/29040/stat : 29040 (plingeling) R 29008 29010 28790 0 -1 4202560 4513 1241 0 0 983 2 0 0 25 0 33 0 722970416 902914048 64837 268435456000 4194304 4417452 140733852888912 18446744073709551615 4356856 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=29010/tid=29041] ppid=29008 vsize=881752 CPUtime=9.86 cores=0-31
/proc/29010/task/29041/stat : 29041 (plingeling) R 29008 29010 28790 0 -1 4202560 2396 1241 0 0 984 2 0 0 25 0 33 0 722970416 902914048 64837 268435456000 4194304 4417452 140733852888912 18446744073709551615 4364669 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=29010/tid=29042] ppid=29008 vsize=881752 CPUtime=9.83 cores=0-31
/proc/29010/task/29042/stat : 29042 (plingeling) R 29008 29010 28790 0 -1 4202560 3160 1241 0 0 982 1 0 0 25 0 33 0 722970416 902914048 64837 268435456000 4194304 4417452 140733852888912 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=29010/tid=29043] ppid=29008 vsize=881752 CPUtime=9.88 cores=0-31
/proc/29010/task/29043/stat : 29043 (plingeling) R 29008 29010 28790 0 -1 4202560 1236 1241 0 0 987 1 0 0 25 0 33 0 722970416 902914048 64837 268435456000 4194304 4417452 140733852888912 18446744073709551615 4236544 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=29010/tid=29044] ppid=29008 vsize=881752 CPUtime=9.86 cores=0-31
/proc/29010/task/29044/stat : 29044 (plingeling) R 29008 29010 28790 0 -1 4202560 2851 1241 0 0 985 1 0 0 25 0 33 0 722970416 902914048 64837 268435456000 4194304 4417452 140733852888912 18446744073709551615 18446744073699066103 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=29010/tid=29045] ppid=29008 vsize=881752 CPUtime=9.81 cores=0-31
/proc/29010/task/29045/stat : 29045 (plingeling) R 29008 29010 28790 0 -1 4202560 2712 1241 0 0 979 2 0 0 25 0 33 0 722970417 902914048 64837 268435456000 4194304 4417452 140733852888912 18446744073709551615 4236549 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=29010/tid=29046] ppid=29008 vsize=881752 CPUtime=9.87 cores=0-31
/proc/29010/task/29046/stat : 29046 (plingeling) R 29008 29010 28790 0 -1 4202560 3758 1241 0 0 985 2 0 0 25 0 33 0 722970417 902914048 64837 268435456000 4194304 4417452 140733852888912 18446744073709551615 4352152 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=29010/tid=29047] ppid=29008 vsize=881752 CPUtime=9.87 cores=0-31
/proc/29010/task/29047/stat : 29047 (plingeling) R 29008 29010 28790 0 -1 4202560 1000 1241 0 0 987 0 0 0 25 0 33 0 722970417 902914048 64837 268435456000 4194304 4417452 140733852888912 18446744073709551615 4365512 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=29010/tid=29048] ppid=29008 vsize=881752 CPUtime=9.73 cores=0-31
/proc/29010/task/29048/stat : 29048 (plingeling) R 29008 29010 28790 0 -1 4202560 4028 1241 0 0 971 2 0 0 25 0 33 0 722970417 902914048 64837 268435456000 4194304 4417452 140733852888912 18446744073709551615 4236593 0 0 4096 17442 0 0 0 -1 10 0 0 0
Current children cumulated CPU time (s) 316.9
Current children cumulated vsize (KiB) 881752
[startup+11.602 s]
/proc/loadavg: 28.65 30.83 31.62 33/446 29048
/proc/meminfo: memFree=255166820/264257624 swapFree=67111528/67111528
[pid=29010] ppid=29008 vsize=430348 CPUtime=328.26 cores=0-31
/proc/29010/stat : 29010 (plingeling) R 29008 29010 28790 0 -1 4202496 121522 1241 0 0 32743 83 0 0 17 0 1 0 722970288 440676352 3399 268435456000 4194304 4417452 140733852888912 18446744073709551615 258650981722 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/29010/statm: 107587 3399 176 55 0 105473 0
Current children cumulated CPU time (s) 328.26
Current children cumulated vsize (KiB) 430348
Child status: 20
Real time (s): 11.6037
CPU time (s): 328.279
CPU user time (s): 327.437
CPU system time (s): 0.841872
CPU usage (%): 2829.09
Max. virtual memory (cumulated for all children) (KiB): 895756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 327.437
system time used= 0.841872
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122767
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= 3982
involuntary context switches= 940
runsolver used 0.078987 second user time and 0.250961 second system time
The end
Begin job on node200 at 2011-05-23 03:40:39
IDJOB=3372867
IDBENCH=84958
IDSOLVER=1852
FILE ID=node200/3372867-1306114839
RUNJOBID= node200-1306114802-28804
PBS_JOBID= 13387826
Free space on /tmp= 62044 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT04/industrial/hoonsang/vis-bmc/all.used-as.sat04-986.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372867-1306114839/watcher-3372867-1306114839 -o /tmp/evaluation-result-3372867-1306114839/solver-3372867-1306114839 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372867-1306114839.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 51fef6c1c8ac21be9eb125cde1cdd08e
RANDOM SEED=558774699
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: 255431212 kB
Buffers: 456404 kB
Cached: 7945820 kB
SwapCached: 0 kB
Active: 7499556 kB
Inactive: 971932 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255431212 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 1052 kB
Writeback: 0 kB
AnonPages: 69896 kB
Mapped: 15992 kB
Slab: 253220 kB
PageTables: 5984 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 181596 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-23 03:40:50