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-3372657-1305699836/watcher-3372657-1305699836 -o /tmp/evaluation-result-3372657-1305699836/solver-3372657-1305699836 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372657-1305699836.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: 19.16 24.54 25.17 1/413 32152
/proc/meminfo: memFree=255501256/264257624 swapFree=67111528/67111528
[pid=32152] ppid=32150 vsize=20188 CPUtime=0.02 cores=0-31
/proc/32152/stat : 32152 (plingeling) R 32150 32152 32126 0 -1 4202496 3102 1247 0 0 2 0 0 0 21 0 1 0 681470076 20672512 3034 268435456000 4194304 4417452 140734239963376 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/32152/statm: 5047 3034 144 55 0 2933 0
[startup+0.107079 s]
/proc/loadavg: 19.16 24.54 25.17 1/413 32152
/proc/meminfo: memFree=255501256/264257624 swapFree=67111528/67111528
[pid=32152] ppid=32150 vsize=30772 CPUtime=0.09 cores=0-31
/proc/32152/stat : 32152 (plingeling) R 32150 32152 32126 0 -1 4202496 5749 1247 0 0 8 1 0 0 21 0 1 0 681470076 31510528 5681 268435456000 4194304 4417452 140734239963376 18446744073709551615 4264934 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/32152/statm: 7693 5681 145 55 0 5579 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30772
[startup+0.201058 s]
/proc/loadavg: 19.16 24.54 25.17 1/413 32152
/proc/meminfo: memFree=255501256/264257624 swapFree=67111528/67111528
[pid=32152] ppid=32150 vsize=51592 CPUtime=0.19 cores=0-31
/proc/32152/stat : 32152 (plingeling) R 32150 32152 32126 0 -1 4202496 10986 1247 0 0 17 2 0 0 21 0 1 0 681470076 52830208 10918 268435456000 4194304 4417452 140734239963376 18446744073709551615 4232651 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/32152/statm: 12898 10918 145 55 0 10784 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 51592
[startup+0.301068 s]
/proc/loadavg: 19.16 24.54 25.17 1/413 32152
/proc/meminfo: memFree=255501256/264257624 swapFree=67111528/67111528
[pid=32152] ppid=32150 vsize=51592 CPUtime=0.29 cores=0-31
/proc/32152/stat : 32152 (plingeling) R 32150 32152 32126 0 -1 4202496 10986 1247 0 0 27 2 0 0 22 0 1 0 681470076 52830208 10918 268435456000 4194304 4417452 140734239963376 18446744073709551615 4260166 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/32152/statm: 12898 10918 145 55 0 10784 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51592
[startup+0.701096 s]
/proc/loadavg: 19.16 24.54 25.17 1/413 32152
/proc/meminfo: memFree=255501256/264257624 swapFree=67111528/67111528
[pid=32152] ppid=32150 vsize=94084 CPUtime=0.68 cores=0-31
/proc/32152/stat : 32152 (plingeling) R 32150 32152 32126 0 -1 4202496 21626 1247 0 0 63 5 0 0 23 0 1 0 681470076 96342016 21541 268435456000 4194304 4417452 140734239963376 18446744073709551615 4231506 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/32152/statm: 23521 21541 145 55 0 21407 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 94084
[startup+1.50112 s]
/proc/loadavg: 19.16 24.54 25.17 2/414 32158
/proc/meminfo: memFree=255330348/264257624 swapFree=67111528/67111528
[pid=32152] ppid=32150 vsize=243160 CPUtime=1.48 cores=0-31
/proc/32152/stat : 32152 (plingeling) R 32150 32152 32126 0 -1 4202496 59024 1247 0 0 136 12 0 0 25 0 1 0 681470076 248995840 58811 268435456000 4194304 4417452 140734239963376 18446744073709551615 4320992 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/32152/statm: 60790 58811 146 55 0 58676 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 243160
[startup+3.10119 s]
/proc/loadavg: 17.71 24.15 25.04 2/414 32158
/proc/meminfo: memFree=255205108/264257624 swapFree=67111528/67111528
[pid=32152] ppid=32150 vsize=388072 CPUtime=3.09 cores=0-31
/proc/32152/stat : 32152 (plingeling) R 32150 32152 32126 0 -1 4202496 94999 1247 0 0 289 20 0 0 25 0 1 0 681470076 397385728 94658 268435456000 4194304 4417452 140734239963376 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/32152/statm: 97018 94677 146 55 0 94904 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 388072
[startup+6.30028 s]
/proc/loadavg: 17.71 24.15 25.04 2/414 32158
/proc/meminfo: memFree=254820620/264257624 swapFree=67111528/67111528
[pid=32152] ppid=32150 vsize=711656 CPUtime=6.28 cores=0-31
/proc/32152/stat : 32152 (plingeling) R 32150 32152 32126 0 -1 4202496 176255 1247 0 0 593 35 0 0 25 0 1 0 681470076 728735744 175914 268435456000 4194304 4417452 140734239963376 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/32152/statm: 177914 175931 146 55 0 175800 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 711656
[startup+12.7024 s]
/proc/loadavg: 17.62 23.90 24.95 33/446 32190
/proc/meminfo: memFree=254508748/264257624 swapFree=67111528/67111528
[pid=32152] ppid=32150 vsize=1401052 CPUtime=102.21 cores=0-31
/proc/32152/stat : 32152 (plingeling) S 32150 32152 32126 0 -1 4202496 301027 1247 0 0 10139 82 0 0 18 0 33 0 681470076 1434677248 243636 268435456000 4194304 4417452 140734239963376 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 18 0 0 0
/proc/32152/statm: 350263 243636 174 55 0 348149 0
[pid=32152/tid=32159] ppid=32150 vsize=1401052 CPUtime=2.92 cores=0-31
/proc/32152/task/32159/stat : 32159 (plingeling) R 32150 32152 32126 0 -1 4202560 2056 1247 0 0 292 0 0 0 25 0 33 0 681471052 1434677248 243636 268435456000 4194304 4417452 140734239963376 18446744073709551615 4261313 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=32152/tid=32160] ppid=32150 vsize=1401052 CPUtime=2.92 cores=0-31
/proc/32152/task/32160/stat : 32160 (plingeling) R 32150 32152 32126 0 -1 4202560 1571 1247 0 0 292 0 0 0 25 0 33 0 681471052 1434677248 243636 268435456000 4194304 4417452 140734239963376 18446744073709551615 4346361 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=32152/tid=32161] ppid=32150 vsize=1401052 CPUtime=2.89 cores=0-31
/proc/32152/task/32161/stat : 32161 (plingeling) R 32150 32152 32126 0 -1 4202560 1445 1247 0 0 289 0 0 0 25 0 33 0 681471052 1434677248 243636 268435456000 4194304 4417452 140734239963376 18446744073709551615 4303670 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=32152/tid=32162] ppid=32150 vsize=1401052 CPUtime=2.83 cores=0-31
/proc/32152/task/32162/stat : 32162 (plingeling) R 32150 32152 32126 0 -1 4202560 4534 1247 0 0 275 8 0 0 25 0 33 0 681471052 1434677248 243636 268435456000 4194304 4417452 140734239963376 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=32152/tid=32163] ppid=32150 vsize=1401052 CPUtime=2.88 cores=0-31
/proc/32152/task/32163/stat : 32163 (plingeling) R 32150 32152 32126 0 -1 4202560 1224 1247 0 0 288 0 0 0 20 0 33 0 681471052 1434677248 243636 268435456000 4194304 4417452 140734239963376 18446744073709551615 4260714 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=32152/tid=32164] ppid=32150 vsize=1401052 CPUtime=2.86 cores=0-31
/proc/32152/task/32164/stat : 32164 (plingeling) R 32150 32152 32126 0 -1 4202560 3011 1247 0 0 285 1 0 0 20 0 33 0 681471052 1434677248 243636 268435456000 4194304 4417452 140734239963376 18446744073709551615 4339846 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=32152/tid=32165] ppid=32150 vsize=1401052 CPUtime=2.86 cores=0-31
/proc/32152/task/32165/stat : 32165 (plingeling) R 32150 32152 32126 0 -1 4202560 3402 1247 0 0 285 1 0 0 20 0 33 0 681471052 1434677248 243636 268435456000 4194304 4417452 140734239963376 18446744073709551615 4331796 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=32152/tid=32166] ppid=32150 vsize=1401052 CPUtime=2.92 cores=0-31
/proc/32152/task/32166/stat : 32166 (plingeling) R 32150 32152 32126 0 -1 4202560 2622 1247 0 0 292 0 0 0 25 0 33 0 681471052 1434677248 243636 268435456000 4194304 4417452 140734239963376 18446744073709551615 4331715 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=32152/tid=32167] ppid=32150 vsize=1401052 CPUtime=2.87 cores=0-31
/proc/32152/task/32167/stat : 32167 (plingeling) R 32150 32152 32126 0 -1 4202560 1843 1247 0 0 287 0 0 0 23 0 33 0 681471052 1434677248 243636 268435456000 4194304 4417452 140734239963376 18446744073709551615 4259618 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=32152/tid=32168] ppid=32150 vsize=1401052 CPUtime=2.91 cores=0-31
/proc/32152/task/32168/stat : 32168 (plingeling) R 32150 32152 32126 0 -1 4202560 3117 1247 0 0 290 1 0 0 25 0 33 0 681471052 1434677248 243636 268435456000 4194304 4417452 140734239963376 18446744073709551615 4301955 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=32152/tid=32169] ppid=32150 vsize=1401052 CPUtime=2.89 cores=0-31
/proc/32152/task/32169/stat : 32169 (plingeling) R 32150 32152 32126 0 -1 4202560 1252 1247 0 0 289 0 0 0 20 0 33 0 681471052 1434677248 243636 268435456000 4194304 4417452 140734239963376 18446744073709551615 4331715 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=32152/tid=32170] ppid=32150 vsize=1401052 CPUtime=2.9 cores=0-31
/proc/32152/task/32170/stat : 32170 (plingeling) R 32150 32152 32126 0 -1 4202560 2769 1247 0 0 289 1 0 0 25 0 33 0 681471052 1434677248 243636 268435456000 4194304 4417452 140734239963376 18446744073709551615 4260985 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=32152/tid=32171] ppid=32150 vsize=1401052 CPUtime=2.87 cores=0-31
/proc/32152/task/32171/stat : 32171 (plingeling) R 32150 32152 32126 0 -1 4202560 537 1247 0 0 287 0 0 0 22 0 33 0 681471052 1434677248 243636 268435456000 4194304 4417452 140734239963376 18446744073709551615 4259603 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=32152/tid=32172] ppid=32150 vsize=1401052 CPUtime=2.88 cores=0-31
/proc/32152/task/32172/stat : 32172 (plingeling) R 32150 32152 32126 0 -1 4202560 2115 1247 0 0 288 0 0 0 25 0 33 0 681471052 1434677248 243636 268435456000 4194304 4417452 140734239963376 18446744073709551615 4255643 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=32152/tid=32173] ppid=32150 vsize=1401052 CPUtime=2.85 cores=0-31
/proc/32152/task/32173/stat : 32173 (plingeling) R 32150 32152 32126 0 -1 4202560 1682 1247 0 0 285 0 0 0 20 0 33 0 681471054 1434677248 243636 268435456000 4194304 4417452 140734239963376 18446744073709551615 4260714 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=32152/tid=32174] ppid=32150 vsize=1401052 CPUtime=2.9 cores=0-31
/proc/32152/task/32174/stat : 32174 (plingeling) R 32150 32152 32126 0 -1 4202560 1419 1247 0 0 290 0 0 0 25 0 33 0 681471054 1434677248 243636 268435456000 4194304 4417452 140734239963376 18446744073709551615 4301955 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=32152/tid=32175] ppid=32150 vsize=1401052 CPUtime=2.86 cores=0-31
/proc/32152/task/32175/stat : 32175 (plingeling) R 32150 32152 32126 0 -1 4202560 2591 1247 0 0 286 0 0 0 25 0 33 0 681471054 1434677248 243636 268435456000 4194304 4417452 140734239963376 18446744073709551615 4302058 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=32152/tid=32176] ppid=32150 vsize=1401052 CPUtime=2.9 cores=0-31
/proc/32152/task/32176/stat : 32176 (plingeling) R 32150 32152 32126 0 -1 4202560 2518 1247 0 0 290 0 0 0 25 0 33 0 681471054 1434677248 243636 268435456000 4194304 4417452 140734239963376 18446744073709551615 4256374 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=32152/tid=32177] ppid=32150 vsize=1401052 CPUtime=2.91 cores=0-31
/proc/32152/task/32177/stat : 32177 (plingeling) R 32150 32152 32126 0 -1 4202560 844 1247 0 0 291 0 0 0 20 0 33 0 681471054 1434677248 243636 268435456000 4194304 4417452 140734239963376 18446744073709551615 4260776 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=32152/tid=32178] ppid=32150 vsize=1401052 CPUtime=2.79 cores=0-31
/proc/32152/task/32178/stat : 32178 (plingeling) R 32150 32152 32126 0 -1 4202560 1518 1247 0 0 279 0 0 0 25 0 33 0 681471054 1434677248 243636 268435456000 4194304 4417452 140734239963376 18446744073709551615 4270927 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=32152/tid=32179] ppid=32150 vsize=1401052 CPUtime=2.91 cores=0-31
/proc/32152/task/32179/stat : 32179 (plingeling) R 32150 32152 32126 0 -1 4202560 1377 1247 0 0 291 0 0 0 25 0 33 0 681471054 1434677248 243636 268435456000 4194304 4417452 140734239963376 18446744073709551615 4275873 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=32152/tid=32180] ppid=32150 vsize=1401052 CPUtime=2.9 cores=0-31
/proc/32152/task/32180/stat : 32180 (plingeling) R 32150 32152 32126 0 -1 4202560 2200 1247 0 0 290 0 0 0 25 0 33 0 681471054 1434677248 243636 268435456000 4194304 4417452 140734239963376 18446744073709551615 4260608 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=32152/tid=32181] ppid=32150 vsize=1401052 CPUtime=2.9 cores=0-31
/proc/32152/task/32181/stat : 32181 (plingeling) R 32150 32152 32126 0 -1 4202560 1529 1247 0 0 290 0 0 0 25 0 33 0 681471054 1434677248 243636 268435456000 4194304 4417452 140734239963376 18446744073709551615 4277727 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=32152/tid=32182] ppid=32150 vsize=1401052 CPUtime=2.9 cores=0-31
/proc/32152/task/32182/stat : 32182 (plingeling) R 32150 32152 32126 0 -1 4202560 2253 1247 0 0 290 0 0 0 18 0 33 0 681471054 1434677248 243636 268435456000 4194304 4417452 140734239963376 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=32152/tid=32183] ppid=32150 vsize=1401052 CPUtime=2.91 cores=0-31
/proc/32152/task/32183/stat : 32183 (plingeling) R 32150 32152 32126 0 -1 4202560 841 1247 0 0 291 0 0 0 25 0 33 0 681471054 1434677248 243636 268435456000 4194304 4417452 140734239963376 18446744073709551615 4234242 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=32152/tid=32184] ppid=32150 vsize=1401052 CPUtime=2.87 cores=0-31
/proc/32152/task/32184/stat : 32184 (plingeling) R 32150 32152 32126 0 -1 4202560 2508 1247 0 0 286 1 0 0 22 0 33 0 681471054 1434677248 243636 268435456000 4194304 4417452 140734239963376 18446744073709551615 4346493 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=32152/tid=32185] ppid=32150 vsize=1401052 CPUtime=2.83 cores=0-31
/proc/32152/task/32185/stat : 32185 (plingeling) R 32150 32152 32126 0 -1 4202560 537 1247 0 0 283 0 0 0 22 0 33 0 681471054 1434677248 243636 268435456000 4194304 4417452 140734239963376 18446744073709551615 4261313 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=32152/tid=32186] ppid=32150 vsize=1401052 CPUtime=2.8 cores=0-31
/proc/32152/task/32186/stat : 32186 (plingeling) R 32150 32152 32126 0 -1 4202560 3288 1247 0 0 279 1 0 0 25 0 33 0 681471055 1434677248 243636 268435456000 4194304 4417452 140734239963376 18446744073709551615 4301953 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=32152/tid=32187] ppid=32150 vsize=1401052 CPUtime=2.84 cores=0-31
/proc/32152/task/32187/stat : 32187 (plingeling) R 32150 32152 32126 0 -1 4202560 2024 1247 0 0 284 0 0 0 25 0 33 0 681471055 1434677248 243636 268435456000 4194304 4417452 140734239963376 18446744073709551615 4301955 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=32152/tid=32188] ppid=32150 vsize=1401052 CPUtime=2.87 cores=0-31
/proc/32152/task/32188/stat : 32188 (plingeling) R 32150 32152 32126 0 -1 4202560 2705 1247 0 0 287 0 0 0 25 0 33 0 681471055 1434677248 243636 268435456000 4194304 4417452 140734239963376 18446744073709551615 4259085 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=32152/tid=32189] ppid=32150 vsize=1401052 CPUtime=2.86 cores=0-31
/proc/32152/task/32189/stat : 32189 (plingeling) R 32150 32152 32126 0 -1 4202560 1913 1247 0 0 286 0 0 0 22 0 33 0 681471055 1434677248 243636 268435456000 4194304 4417452 140734239963376 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=32152/tid=32190] ppid=32150 vsize=1401052 CPUtime=2.89 cores=0-31
/proc/32152/task/32190/stat : 32190 (plingeling) R 32150 32152 32126 0 -1 4202560 2074 1247 0 0 289 0 0 0 25 0 33 0 681471055 1434677248 243636 268435456000 4194304 4417452 140734239963376 18446744073709551615 4345943 0 0 4096 17442 0 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 1401052
[startup+25.5018 s]
/proc/loadavg: 19.83 24.17 25.02 33/446 32190
/proc/meminfo: memFree=254267020/264257624 swapFree=67111528/67111528
[pid=32152] ppid=32150 vsize=1657428 CPUtime=508.11 cores=0-31
/proc/32152/stat : 32152 (plingeling) S 32150 32152 32126 0 -1 4202496 369565 1247 0 0 50607 204 0 0 18 0 33 0 681470076 1697206272 306499 268435456000 4194304 4417452 140734239963376 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 18 0 0 0
/proc/32152/statm: 414357 306499 175 55 0 412243 0
[pid=32152/tid=32159] ppid=32150 vsize=1657428 CPUtime=15.62 cores=0-31
/proc/32152/task/32159/stat : 32159 (plingeling) R 32150 32152 32126 0 -1 4202560 4086 1247 0 0 1561 1 0 0 25 0 33 0 681471052 1697206272 306499 268435456000 4194304 4417452 140734239963376 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=32152/tid=32160] ppid=32150 vsize=1657428 CPUtime=15.55 cores=0-31
/proc/32152/task/32160/stat : 32160 (plingeling) R 32150 32152 32126 0 -1 4202560 3618 1247 0 0 1549 6 0 0 25 0 33 0 681471052 1697206272 306499 268435456000 4194304 4417452 140734239963376 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=32152/tid=32161] ppid=32150 vsize=1657428 CPUtime=15.69 cores=0-31
/proc/32152/task/32161/stat : 32161 (plingeling) R 32150 32152 32126 0 -1 4202560 3486 1247 0 0 1563 6 0 0 25 0 33 0 681471052 1697206272 306499 268435456000 4194304 4417452 140734239963376 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=32152/tid=32162] ppid=32150 vsize=1657428 CPUtime=15.6 cores=0-31
/proc/32152/task/32162/stat : 32162 (plingeling) R 32150 32152 32126 0 -1 4202560 4534 1247 0 0 1552 8 0 0 25 0 33 0 681471052 1697206272 306499 268435456000 4194304 4417452 140734239963376 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=32152/tid=32163] ppid=32150 vsize=1657428 CPUtime=15.18 cores=0-31
/proc/32152/task/32163/stat : 32163 (plingeling) R 32150 32152 32126 0 -1 4202560 3248 1247 0 0 1518 0 0 0 25 0 33 0 681471052 1697206272 306499 268435456000 4194304 4417452 140734239963376 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=32152/tid=32164] ppid=32150 vsize=1657428 CPUtime=15.51 cores=0-31
/proc/32152/task/32164/stat : 32164 (plingeling) R 32150 32152 32126 0 -1 4202560 5058 1247 0 0 1545 6 0 0 25 0 33 0 681471052 1697206272 306499 268435456000 4194304 4417452 140734239963376 18446744073709551615 4364780 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=32152/tid=32165] ppid=32150 vsize=1657428 CPUtime=15.64 cores=0-31
/proc/32152/task/32165/stat : 32165 (plingeling) R 32150 32152 32126 0 -1 4202560 5530 1247 0 0 1556 8 0 0 25 0 33 0 681471052 1697206272 306499 268435456000 4194304 4417452 140734239963376 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=32152/tid=32166] ppid=32150 vsize=1657428 CPUtime=15.72 cores=0-31
/proc/32152/task/32166/stat : 32166 (plingeling) R 32150 32152 32126 0 -1 4202560 4700 1247 0 0 1566 6 0 0 25 0 33 0 681471052 1697206272 306499 268435456000 4194304 4417452 140734239963376 18446744073709551615 4237290 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=32152/tid=32167] ppid=32150 vsize=1657428 CPUtime=15.51 cores=0-31
/proc/32152/task/32167/stat : 32167 (plingeling) R 32150 32152 32126 0 -1 4202560 3890 1247 0 0 1545 6 0 0 25 0 33 0 681471052 1697206272 306499 268435456000 4194304 4417452 140734239963376 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=32152/tid=32168] ppid=32150 vsize=1657428 CPUtime=15.67 cores=0-31
/proc/32152/task/32168/stat : 32168 (plingeling) R 32150 32152 32126 0 -1 4202560 5164 1247 0 0 1561 6 0 0 25 0 33 0 681471052 1697206272 306499 268435456000 4194304 4417452 140734239963376 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=32152/tid=32169] ppid=32150 vsize=1657428 CPUtime=15.63 cores=0-31
/proc/32152/task/32169/stat : 32169 (plingeling) R 32150 32152 32126 0 -1 4202560 3293 1247 0 0 1557 6 0 0 25 0 33 0 681471052 1697206272 306499 268435456000 4194304 4417452 140734239963376 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=32152/tid=32170] ppid=32150 vsize=1657428 CPUtime=15.62 cores=0-31
/proc/32152/task/32170/stat : 32170 (plingeling) R 32150 32152 32126 0 -1 4202560 5494 1247 0 0 1556 6 0 0 25 0 33 0 681471052 1697206272 306499 268435456000 4194304 4417452 140734239963376 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=32152/tid=32171] ppid=32150 vsize=1657428 CPUtime=15.65 cores=0-31
/proc/32152/task/32171/stat : 32171 (plingeling) R 32150 32152 32126 0 -1 4202560 2957 1247 0 0 1565 0 0 0 25 0 33 0 681471052 1697206272 306499 268435456000 4194304 4417452 140734239963376 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=32152/tid=32172] ppid=32150 vsize=1657428 CPUtime=15.48 cores=0-31
/proc/32152/task/32172/stat : 32172 (plingeling) R 32150 32152 32126 0 -1 4202560 4139 1247 0 0 1547 1 0 0 25 0 33 0 681471052 1697206272 306499 268435456000 4194304 4417452 140734239963376 18446744073709551615 4365959 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=32152/tid=32173] ppid=32150 vsize=1657428 CPUtime=15.59 cores=0-31
/proc/32152/task/32173/stat : 32173 (plingeling) R 32150 32152 32126 0 -1 4202560 4276 1247 0 0 1553 6 0 0 25 0 33 0 681471054 1697206272 306499 268435456000 4194304 4417452 140734239963376 18446744073709551615 4364621 0 0 4096 17442 0 0 0 -1 30 0 0 0
################
# More data... #
################
/proc/32152/task/32173/stat : 32173 (plingeling) R 32150 32152 32126 0 -1 4202560 10769 1247 0 0 22981 18 0 0 25 0 33 0 681471054 2043203584 395507 268435456000 4194304 4417452 140734239963376 18446744073709551615 4259140 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=32152/tid=32174] ppid=32150 vsize=1995316 CPUtime=230.11 cores=0-31
/proc/32152/task/32174/stat : 32174 (plingeling) R 32150 32152 32126 0 -1 4202560 9521 1247 0 0 23004 7 0 0 25 0 33 0 681471054 2043203584 395507 268435456000 4194304 4417452 140734239963376 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=32152/tid=32175] ppid=32150 vsize=1995316 CPUtime=229.75 cores=0-31
/proc/32152/task/32175/stat : 32175 (plingeling) R 32150 32152 32126 0 -1 4202560 9891 1247 0 0 22958 17 0 0 25 0 33 0 681471054 2043203584 395507 268435456000 4194304 4417452 140734239963376 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=32152/tid=32176] ppid=32150 vsize=1995316 CPUtime=229.82 cores=0-31
/proc/32152/task/32176/stat : 32176 (plingeling) R 32150 32152 32126 0 -1 4202560 9435 1247 0 0 22979 3 0 0 25 0 33 0 681471054 2043203584 395507 268435456000 4194304 4417452 140734239963376 18446744073709551615 4364675 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=32152/tid=32177] ppid=32150 vsize=1995316 CPUtime=230.16 cores=0-31
/proc/32152/task/32177/stat : 32177 (plingeling) R 32150 32152 32126 0 -1 4202560 8833 1247 0 0 22999 17 0 0 25 0 33 0 681471054 2043203584 395507 268435456000 4194304 4417452 140734239963376 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=32152/tid=32178] ppid=32150 vsize=1995316 CPUtime=229.69 cores=0-31
/proc/32152/task/32178/stat : 32178 (plingeling) R 32150 32152 32126 0 -1 4202560 19021 1247 0 0 22948 21 0 0 25 0 33 0 681471054 2043203584 395507 268435456000 4194304 4417452 140734239963376 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=32152/tid=32179] ppid=32150 vsize=1995316 CPUtime=230.07 cores=0-31
/proc/32152/task/32179/stat : 32179 (plingeling) R 32150 32152 32126 0 -1 4202560 10702 1247 0 0 22989 18 0 0 25 0 33 0 681471054 2043203584 395507 268435456000 4194304 4417452 140734239963376 18446744073709551615 4310483 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=32152/tid=32180] ppid=32150 vsize=1995316 CPUtime=230.06 cores=0-31
/proc/32152/task/32180/stat : 32180 (plingeling) R 32150 32152 32126 0 -1 4202560 9652 1247 0 0 22999 7 0 0 25 0 33 0 681471054 2043203584 395507 268435456000 4194304 4417452 140734239963376 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=32152/tid=32181] ppid=32150 vsize=1995316 CPUtime=229.97 cores=0-31
/proc/32152/task/32181/stat : 32181 (plingeling) R 32150 32152 32126 0 -1 4202560 17924 1247 0 0 22991 6 0 0 25 0 33 0 681471054 2043203584 395507 268435456000 4194304 4417452 140734239963376 18446744073709551615 4364737 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=32152/tid=32182] ppid=32150 vsize=1995316 CPUtime=229.75 cores=0-31
/proc/32152/task/32182/stat : 32182 (plingeling) R 32150 32152 32126 0 -1 4202560 8902 1247 0 0 22962 13 0 0 25 0 33 0 681471054 2043203584 395507 268435456000 4194304 4417452 140734239963376 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=32152/tid=32183] ppid=32150 vsize=1995316 CPUtime=230.05 cores=0-31
/proc/32152/task/32183/stat : 32183 (plingeling) R 32150 32152 32126 0 -1 4202560 7898 1247 0 0 22988 17 0 0 25 0 33 0 681471054 2043203584 395507 268435456000 4194304 4417452 140734239963376 18446744073709551615 4365075 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=32152/tid=32184] ppid=32150 vsize=1995316 CPUtime=229.13 cores=0-31
/proc/32152/task/32184/stat : 32184 (plingeling) R 32150 32152 32126 0 -1 4202560 10201 1247 0 0 22900 13 0 0 25 0 33 0 681471054 2043203584 395507 268435456000 4194304 4417452 140734239963376 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=32152/tid=32185] ppid=32150 vsize=1995316 CPUtime=230.07 cores=0-31
/proc/32152/task/32185/stat : 32185 (plingeling) R 32150 32152 32126 0 -1 4202560 9678 1247 0 0 22990 17 0 0 25 0 33 0 681471054 2043203584 395507 268435456000 4194304 4417452 140734239963376 18446744073709551615 4262236 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=32152/tid=32186] ppid=32150 vsize=1995316 CPUtime=229.85 cores=0-31
/proc/32152/task/32186/stat : 32186 (plingeling) R 32150 32152 32126 0 -1 4202560 12394 1247 0 0 22971 14 0 0 25 0 33 0 681471055 2043203584 395507 268435456000 4194304 4417452 140734239963376 18446744073709551615 4353711 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=32152/tid=32187] ppid=32150 vsize=1995316 CPUtime=229.79 cores=0-31
/proc/32152/task/32187/stat : 32187 (plingeling) R 32150 32152 32126 0 -1 4202560 11873 1247 0 0 22962 17 0 0 25 0 33 0 681471055 2043203584 395507 268435456000 4194304 4417452 140734239963376 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=32152/tid=32188] ppid=32150 vsize=1995316 CPUtime=230.08 cores=0-31
/proc/32152/task/32188/stat : 32188 (plingeling) R 32150 32152 32126 0 -1 4202560 11063 1247 0 0 22990 18 0 0 25 0 33 0 681471055 2043203584 395507 268435456000 4194304 4417452 140734239963376 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=32152/tid=32189] ppid=32150 vsize=1995316 CPUtime=229.91 cores=0-31
/proc/32152/task/32189/stat : 32189 (plingeling) R 32150 32152 32126 0 -1 4202560 11363 1247 0 0 22975 16 0 0 25 0 33 0 681471055 2043203584 395507 268435456000 4194304 4417452 140734239963376 18446744073709551615 4364819 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=32152/tid=32190] ppid=32150 vsize=1995316 CPUtime=230.14 cores=0-31
/proc/32152/task/32190/stat : 32190 (plingeling) R 32150 32152 32126 0 -1 4202560 19106 1247 0 0 23010 4 0 0 25 0 33 0 681471055 2043203584 395507 268435456000 4194304 4417452 140734239963376 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 7362.1
Current children cumulated vsize (KiB) 1995316
[startup+243.222 s]
/proc/loadavg: 32.06 28.37 26.53 33/446 32197
/proc/meminfo: memFree=253916144/264257624 swapFree=67111528/67111528
[pid=32152] ppid=32150 vsize=1994076 CPUtime=7464.99 cores=0-31
/proc/32152/stat : 32152 (plingeling) S 32150 32152 32126 0 -1 4202496 596426 1247 0 0 746019 480 0 0 18 0 33 0 681470076 2041933824 395197 268435456000 4194304 4417452 140734239963376 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 18 0 0 0
/proc/32152/statm: 498519 395197 175 55 0 496405 0
[pid=32152/tid=32159] ppid=32150 vsize=1994076 CPUtime=233.22 cores=0-31
/proc/32152/task/32159/stat : 32159 (plingeling) R 32150 32152 32126 0 -1 4202560 9007 1247 0 0 23319 3 0 0 25 0 33 0 681471052 2041933824 395197 268435456000 4194304 4417452 140734239963376 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=32152/tid=32160] ppid=32150 vsize=1994076 CPUtime=233.22 cores=0-31
/proc/32152/task/32160/stat : 32160 (plingeling) R 32150 32152 32126 0 -1 4202560 8011 1247 0 0 23305 17 0 0 25 0 33 0 681471052 2041933824 395197 268435456000 4194304 4417452 140734239963376 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=32152/tid=32161] ppid=32150 vsize=1994076 CPUtime=233.35 cores=0-31
/proc/32152/task/32161/stat : 32161 (plingeling) R 32150 32152 32126 0 -1 4202560 9283 1247 0 0 23328 7 0 0 25 0 33 0 681471052 2041933824 395197 268435456000 4194304 4417452 140734239963376 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=32152/tid=32162] ppid=32150 vsize=1994076 CPUtime=233.27 cores=0-31
/proc/32152/task/32162/stat : 32162 (plingeling) R 32150 32152 32126 0 -1 4202560 14313 1247 0 0 23317 10 0 0 25 0 33 0 681471052 2041933824 395197 268435456000 4194304 4417452 140734239963376 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=32152/tid=32163] ppid=32150 vsize=1994076 CPUtime=226.67 cores=0-31
/proc/32152/task/32163/stat : 32163 (plingeling) R 32150 32152 32126 0 -1 4202560 10824 1247 0 0 22654 13 0 0 25 0 33 0 681471052 2041933824 395197 268435456000 4194304 4417452 140734239963376 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=32152/tid=32164] ppid=32150 vsize=1994076 CPUtime=233.14 cores=0-31
/proc/32152/task/32164/stat : 32164 (plingeling) R 32150 32152 32126 0 -1 4202560 10523 1247 0 0 23297 17 0 0 25 0 33 0 681471052 2041933824 395197 268435456000 4194304 4417452 140734239963376 18446744073709551615 4366400 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=32152/tid=32165] ppid=32150 vsize=1994076 CPUtime=233.11 cores=0-31
/proc/32152/task/32165/stat : 32165 (plingeling) R 32150 32152 32126 0 -1 4202560 12501 1247 0 0 23291 20 0 0 25 0 33 0 681471052 2041933824 395197 268435456000 4194304 4417452 140734239963376 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=32152/tid=32166] ppid=32150 vsize=1994076 CPUtime=233.33 cores=0-31
/proc/32152/task/32166/stat : 32166 (plingeling) R 32150 32152 32126 0 -1 4202560 9710 1247 0 0 23316 17 0 0 25 0 33 0 681471052 2041933824 395197 268435456000 4194304 4417452 140734239963376 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=32152/tid=32167] ppid=32150 vsize=1994076 CPUtime=232.87 cores=0-31
/proc/32152/task/32167/stat : 32167 (plingeling) R 32150 32152 32126 0 -1 4202560 10704 1247 0 0 23269 18 0 0 25 0 33 0 681471052 2041933824 395197 268435456000 4194304 4417452 140734239963376 18446744073709551615 4330612 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=32152/tid=32168] ppid=32150 vsize=1994076 CPUtime=233.34 cores=0-31
/proc/32152/task/32168/stat : 32168 (plingeling) R 32150 32152 32126 0 -1 4202560 16850 1247 0 0 23325 9 0 0 25 0 33 0 681471052 2041933824 395197 268435456000 4194304 4417452 140734239963376 18446744073709551615 4366447 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=32152/tid=32169] ppid=32150 vsize=1994076 CPUtime=233.31 cores=0-31
/proc/32152/task/32169/stat : 32169 (plingeling) R 32150 32152 32126 0 -1 4202560 7605 1247 0 0 23324 7 0 0 25 0 33 0 681471052 2041933824 395197 268435456000 4194304 4417452 140734239963376 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=32152/tid=32170] ppid=32150 vsize=1994076 CPUtime=233.25 cores=0-31
/proc/32152/task/32170/stat : 32170 (plingeling) R 32150 32152 32126 0 -1 4202560 12834 1247 0 0 23307 18 0 0 25 0 33 0 681471052 2041933824 395197 268435456000 4194304 4417452 140734239963376 18446744073709551615 4364442 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=32152/tid=32171] ppid=32150 vsize=1994076 CPUtime=233.33 cores=0-31
/proc/32152/task/32171/stat : 32171 (plingeling) R 32150 32152 32126 0 -1 4202560 10562 1247 0 0 23331 2 0 0 25 0 33 0 681471052 2041933824 395197 268435456000 4194304 4417452 140734239963376 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=32152/tid=32172] ppid=32150 vsize=1994076 CPUtime=233.15 cores=0-31
/proc/32152/task/32172/stat : 32172 (plingeling) R 32150 32152 32126 0 -1 4202560 9261 1247 0 0 23303 12 0 0 25 0 33 0 681471052 2041933824 395197 268435456000 4194304 4417452 140734239963376 18446744073709551615 4353661 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=32152/tid=32173] ppid=32150 vsize=1994076 CPUtime=233.21 cores=0-31
/proc/32152/task/32173/stat : 32173 (plingeling) R 32150 32152 32126 0 -1 4202560 10769 1247 0 0 23303 18 0 0 25 0 33 0 681471054 2041933824 395197 268435456000 4194304 4417452 140734239963376 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=32152/tid=32174] ppid=32150 vsize=1994076 CPUtime=233.32 cores=0-31
/proc/32152/task/32174/stat : 32174 (plingeling) R 32150 32152 32126 0 -1 4202560 9521 1247 0 0 23325 7 0 0 25 0 33 0 681471054 2041933824 395197 268435456000 4194304 4417452 140734239963376 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=32152/tid=32175] ppid=32150 vsize=1994076 CPUtime=232.97 cores=0-31
/proc/32152/task/32175/stat : 32175 (plingeling) R 32150 32152 32126 0 -1 4202560 9891 1247 0 0 23280 17 0 0 25 0 33 0 681471054 2041933824 395197 268435456000 4194304 4417452 140734239963376 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=32152/tid=32176] ppid=32150 vsize=1994076 CPUtime=233.04 cores=0-31
/proc/32152/task/32176/stat : 32176 (plingeling) R 32150 32152 32126 0 -1 4202560 9435 1247 0 0 23301 3 0 0 25 0 33 0 681471054 2041933824 395197 268435456000 4194304 4417452 140734239963376 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=32152/tid=32177] ppid=32150 vsize=1994076 CPUtime=233.38 cores=0-31
/proc/32152/task/32177/stat : 32177 (plingeling) R 32150 32152 32126 0 -1 4202560 8833 1247 0 0 23321 17 0 0 25 0 33 0 681471054 2041933824 395197 268435456000 4194304 4417452 140734239963376 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=32152/tid=32178] ppid=32150 vsize=1994076 CPUtime=232.91 cores=0-31
/proc/32152/task/32178/stat : 32178 (plingeling) R 32150 32152 32126 0 -1 4202560 19021 1247 0 0 23270 21 0 0 25 0 33 0 681471054 2041933824 395197 268435456000 4194304 4417452 140734239963376 18446744073709551615 4275960 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=32152/tid=32179] ppid=32150 vsize=1994076 CPUtime=233.29 cores=0-31
/proc/32152/task/32179/stat : 32179 (plingeling) R 32150 32152 32126 0 -1 4202560 10702 1247 0 0 23311 18 0 0 25 0 33 0 681471054 2041933824 395197 268435456000 4194304 4417452 140734239963376 18446744073709551615 4301955 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=32152/tid=32180] ppid=32150 vsize=1994076 CPUtime=233.28 cores=0-31
/proc/32152/task/32180/stat : 32180 (plingeling) R 32150 32152 32126 0 -1 4202560 9652 1247 0 0 23321 7 0 0 25 0 33 0 681471054 2041933824 395197 268435456000 4194304 4417452 140734239963376 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=32152/tid=32181] ppid=32150 vsize=1994076 CPUtime=233.19 cores=0-31
/proc/32152/task/32181/stat : 32181 (plingeling) R 32150 32152 32126 0 -1 4202560 17924 1247 0 0 23313 6 0 0 25 0 33 0 681471054 2041933824 395197 268435456000 4194304 4417452 140734239963376 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=32152/tid=32182] ppid=32150 vsize=1994076 CPUtime=232.97 cores=0-31
/proc/32152/task/32182/stat : 32182 (plingeling) R 32150 32152 32126 0 -1 4202560 8902 1247 0 0 23284 13 0 0 25 0 33 0 681471054 2041933824 395197 268435456000 4194304 4417452 140734239963376 18446744073709551615 4366126 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=32152/tid=32183] ppid=32150 vsize=1994076 CPUtime=233.27 cores=0-31
/proc/32152/task/32183/stat : 32183 (plingeling) R 32150 32152 32126 0 -1 4202560 7898 1247 0 0 23310 17 0 0 25 0 33 0 681471054 2041933824 395197 268435456000 4194304 4417452 140734239963376 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=32152/tid=32184] ppid=32150 vsize=1994076 CPUtime=232.35 cores=0-31
/proc/32152/task/32184/stat : 32184 (plingeling) R 32150 32152 32126 0 -1 4202560 10201 1247 0 0 23222 13 0 0 25 0 33 0 681471054 2041933824 395197 268435456000 4194304 4417452 140734239963376 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=32152/tid=32185] ppid=32150 vsize=1994076 CPUtime=233.29 cores=0-31
/proc/32152/task/32185/stat : 32185 (plingeling) R 32150 32152 32126 0 -1 4202560 9678 1247 0 0 23312 17 0 0 25 0 33 0 681471054 2041933824 395197 268435456000 4194304 4417452 140734239963376 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=32152/tid=32186] ppid=32150 vsize=1994076 CPUtime=233.07 cores=0-31
/proc/32152/task/32186/stat : 32186 (plingeling) R 32150 32152 32126 0 -1 4202560 12394 1247 0 0 23293 14 0 0 25 0 33 0 681471055 2041933824 395197 268435456000 4194304 4417452 140734239963376 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=32152/tid=32187] ppid=32150 vsize=1994076 CPUtime=233.01 cores=0-31
/proc/32152/task/32187/stat : 32187 (plingeling) R 32150 32152 32126 0 -1 4202560 11873 1247 0 0 23284 17 0 0 25 0 33 0 681471055 2041933824 395197 268435456000 4194304 4417452 140734239963376 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=32152/tid=32188] ppid=32150 vsize=1994076 CPUtime=233.3 cores=0-31
/proc/32152/task/32188/stat : 32188 (plingeling) R 32150 32152 32126 0 -1 4202560 11063 1247 0 0 23312 18 0 0 25 0 33 0 681471055 2041933824 395197 268435456000 4194304 4417452 140734239963376 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=32152/tid=32189] ppid=32150 vsize=1994076 CPUtime=233.13 cores=0-31
/proc/32152/task/32189/stat : 32189 (plingeling) R 32150 32152 32126 0 -1 4202560 11867 1247 0 0 23296 17 0 0 25 0 33 0 681471055 2041933824 395197 268435456000 4194304 4417452 140734239963376 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=32152/tid=32190] ppid=32150 vsize=1994076 CPUtime=233.36 cores=0-31
/proc/32152/task/32190/stat : 32190 (plingeling) R 32150 32152 32126 0 -1 4202560 19106 1247 0 0 23332 4 0 0 25 0 33 0 681471055 2041933824 395197 268435456000 4194304 4417452 140734239963376 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 7464.99
Current children cumulated vsize (KiB) 1994076
[startup+244.802 s]
/proc/loadavg: 32.06 28.37 26.53 33/446 32197
/proc/meminfo: memFree=253917136/264257624 swapFree=67111528/67111528
[pid=32152] ppid=32150 vsize=1990956 CPUtime=7514.11 cores=0-31
/proc/32152/stat : 32152 (plingeling) S 32150 32152 32126 0 -1 4202496 596914 1247 0 0 750929 482 0 0 18 0 12 0 681470076 2038738944 394158 268435456000 4194304 4417452 140734239963376 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 18 0 0 0
/proc/32152/statm: 497739 394158 176 55 0 495625 0
[pid=32152/tid=32160] ppid=32150 vsize=1990956 CPUtime=234.8 cores=0-31
/proc/32152/task/32160/stat : 32160 (plingeling) R 32150 32152 32126 0 -1 4202560 8011 1247 0 0 23463 17 0 0 25 0 12 0 681471052 2038738944 394158 268435456000 4194304 4417452 140734239963376 18446744073709551615 4282356 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=32152/tid=32161] ppid=32150 vsize=1990956 CPUtime=234.93 cores=0-31
/proc/32152/task/32161/stat : 32161 (plingeling) R 32150 32152 32126 0 -1 4202560 9283 1247 0 0 23486 7 0 0 25 0 12 0 681471052 2038738944 394158 268435456000 4194304 4417452 140734239963376 18446744073709551615 4259140 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=32152/tid=32163] ppid=32150 vsize=1990956 CPUtime=228.22 cores=0-31
/proc/32152/task/32163/stat : 32163 (plingeling) R 32150 32152 32126 0 -1 4202560 10824 1247 0 0 22809 13 0 0 25 0 12 0 681471052 2038738944 394158 268435456000 4194304 4417452 140734239963376 18446744073709551615 4282356 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=32152/tid=32167] ppid=32150 vsize=1990956 CPUtime=234.45 cores=0-31
/proc/32152/task/32167/stat : 32167 (plingeling) R 32150 32152 32126 0 -1 4202560 10704 1247 0 0 23427 18 0 0 25 0 12 0 681471052 2038738944 394158 268435456000 4194304 4417452 140734239963376 18446744073709551615 4330515 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=32152/tid=32169] ppid=32150 vsize=1990956 CPUtime=234.89 cores=0-31
/proc/32152/task/32169/stat : 32169 (plingeling) R 32150 32152 32126 0 -1 4202560 7605 1247 0 0 23482 7 0 0 25 0 12 0 681471052 2038738944 394158 268435456000 4194304 4417452 140734239963376 18446744073709551615 4287187 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=32152/tid=32173] ppid=32150 vsize=1990956 CPUtime=234.79 cores=0-31
/proc/32152/task/32173/stat : 32173 (plingeling) R 32150 32152 32126 0 -1 4202560 10769 1247 0 0 23461 18 0 0 25 0 12 0 681471054 2038738944 394158 268435456000 4194304 4417452 140734239963376 18446744073709551615 4260763 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=32152/tid=32178] ppid=32150 vsize=1990956 CPUtime=234.49 cores=0-31
/proc/32152/task/32178/stat : 32178 (plingeling) R 32150 32152 32126 0 -1 4202560 19021 1247 0 0 23428 21 0 0 25 0 12 0 681471054 2038738944 394158 268435456000 4194304 4417452 140734239963376 18446744073709551615 4260714 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=32152/tid=32179] ppid=32150 vsize=1990956 CPUtime=234.87 cores=0-31
/proc/32152/task/32179/stat : 32179 (plingeling) R 32150 32152 32126 0 -1 4202560 10702 1247 0 0 23469 18 0 0 25 0 12 0 681471054 2038738944 394158 268435456000 4194304 4417452 140734239963376 18446744073709551615 4256110 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=32152/tid=32184] ppid=32150 vsize=1990956 CPUtime=233.93 cores=0-31
/proc/32152/task/32184/stat : 32184 (plingeling) R 32150 32152 32126 0 -1 4202560 10201 1247 0 0 23380 13 0 0 25 0 12 0 681471054 2038738944 394158 268435456000 4194304 4417452 140734239963376 18446744073709551615 4283524 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=32152/tid=32187] ppid=32150 vsize=1990956 CPUtime=234.59 cores=0-31
/proc/32152/task/32187/stat : 32187 (plingeling) R 32150 32152 32126 0 -1 4202560 11873 1247 0 0 23442 17 0 0 25 0 12 0 681471055 2038738944 394158 268435456000 4194304 4417452 140734239963376 18446744073709551615 4284484 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=32152/tid=32189] ppid=32150 vsize=1990956 CPUtime=234.71 cores=0-31
/proc/32152/task/32189/stat : 32189 (plingeling) R 32150 32152 32126 0 -1 4202560 11867 1247 0 0 23454 17 0 0 25 0 12 0 681471055 2038738944 394158 268435456000 4194304 4417452 140734239963376 18446744073709551615 258650649913 0 0 4096 17442 0 0 0 -1 10 0 0 0
Current children cumulated CPU time (s) 7514.11
Current children cumulated vsize (KiB) 1990956
[startup+245.2 s]
/proc/loadavg: 32.06 28.37 26.53 33/446 32197
/proc/meminfo: memFree=253917136/264257624 swapFree=67111528/67111528
[pid=32152] ppid=32150 vsize=1939648 CPUtime=7514.98 cores=0-31
/proc/32152/stat : 32152 (plingeling) S 32150 32152 32126 0 -1 4202496 596914 1247 0 0 751016 482 0 0 16 0 2 0 681470076 1986199552 394102 268435456000 4194304 4417452 140734239963376 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 18 0 0 0
/proc/32152/statm: 484912 394102 176 55 0 482798 0
[pid=32152/tid=32167] ppid=32150 vsize=1939648 CPUtime=234.85 cores=0-31
/proc/32152/task/32167/stat : 32167 (plingeling) R 32150 32152 32126 0 -1 4202560 10704 1247 0 0 23467 18 0 0 25 0 2 0 681471052 1986199552 394102 268435456000 4194304 4417452 140734239963376 18446744073709551615 4253167 0 0 4096 17442 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 7514.98
Current children cumulated vsize (KiB) 1939648
[startup+245.436 s]
/proc/loadavg: 32.06 28.37 26.53 2/415 32197
/proc/meminfo: memFree=253918132/264257624 swapFree=67111528/67111528
[pid=32152] ppid=32150 vsize=1325096 CPUtime=7515.21 cores=0-31
/proc/32152/stat : 32152 (plingeling) R 32150 32152 32126 0 -1 4202496 596914 1247 0 0 751035 486 0 0 15 0 1 0 681470076 1356898304 299224 268435456000 4194304 4417452 140734239963376 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 18 0 0 0
/proc/32152/statm: 331274 299224 176 55 0 329160 0
Current children cumulated CPU time (s) 7515.21
Current children cumulated vsize (KiB) 1325096
[startup+245.501 s]
/proc/loadavg: 32.06 28.37 26.53 2/415 32197
/proc/meminfo: memFree=253918132/264257624 swapFree=67111528/67111528
[pid=32152] ppid=32150 vsize=813224 CPUtime=7515.28 cores=0-31
/proc/32152/stat : 32152 (plingeling) R 32150 32152 32126 0 -1 4202496 596914 1247 0 0 751035 493 0 0 15 0 1 0 681470076 832741376 164823 268435456000 4194304 4417452 140734239963376 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 18 0 0 0
/proc/32152/statm: 195049 164759 176 55 0 192935 0
Current children cumulated CPU time (s) 7515.28
Current children cumulated vsize (KiB) 813224
Child status: 20
Real time (s): 245.584
CPU time (s): 7515.38
CPU user time (s): 7510.36
CPU system time (s): 5.02324
CPU usage (%): 3060.21
Max. virtual memory (cumulated for all children) (KiB): 1996912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7510.36
system time used= 5.02324
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 598165
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= 1277
involuntary context switches= 19035
runsolver used 1.52277 second user time and 5.53016 second system time
The end
Begin job on node200 at 2011-05-18 08:23:57
IDJOB=3372657
IDBENCH=82502
IDSOLVER=1852
FILE ID=node200/3372657-1305699836
RUNJOBID= node200-1305699828-32140
PBS_JOBID= 13357388
Free space on /tmp= 62040 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/manthey/traffic/traffic_3b_unknown.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372657-1305699836/watcher-3372657-1305699836 -o /tmp/evaluation-result-3372657-1305699836/solver-3372657-1305699836 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372657-1305699836.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= b8621ec1841e055a001ab32c33f2b68c
RANDOM SEED=1562170930
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: 255501668 kB
Buffers: 452872 kB
Cached: 7902348 kB
SwapCached: 0 kB
Active: 7414628 kB
Inactive: 1009544 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255501668 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 13108 kB
Writeback: 0 kB
AnonPages: 69420 kB
Mapped: 14360 kB
Slab: 251772 kB
PageTables: 4324 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 191916 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= 62040 MiB
End job on node200 at 2011-05-18 08:28:02