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-3372975-1306156148/watcher-3372975-1306156148 -o /tmp/evaluation-result-3372975-1306156148/solver-3372975-1306156148 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372975-1306156148.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: 24.74 29.75 30.09 1/413 3209
/proc/meminfo: memFree=255063012/264257624 swapFree=67111528/67111528
[pid=3209] ppid=3207 vsize=17380 CPUtime=0.01 cores=0-31
/proc/3209/stat : 3209 (plingeling) R 3207 3209 3183 0 -1 4202496 2405 1239 0 0 1 0 0 0 22 0 1 0 727102010 17797120 2335 268435456000 4194304 4417452 140735492728288 18446744073709551615 4227769 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3209/statm: 4345 2335 145 55 0 2231 0
[startup+0.052205 s]
/proc/loadavg: 24.74 29.75 30.09 1/413 3209
/proc/meminfo: memFree=255063012/264257624 swapFree=67111528/67111528
[pid=3209] ppid=3207 vsize=21120 CPUtime=0.04 cores=0-31
/proc/3209/stat : 3209 (plingeling) R 3207 3209 3183 0 -1 4202496 3370 1239 0 0 4 0 0 0 22 0 1 0 727102010 21626880 3300 268435456000 4194304 4417452 140735492728288 18446744073709551615 4264976 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3209/statm: 5280 3300 145 55 0 3166 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 21120
[startup+0.101228 s]
/proc/loadavg: 24.74 29.75 30.09 1/413 3209
/proc/meminfo: memFree=255063012/264257624 swapFree=67111528/67111528
[pid=3209] ppid=3207 vsize=25572 CPUtime=0.08 cores=0-31
/proc/3209/stat : 3209 (plingeling) R 3207 3209 3183 0 -1 4202496 4479 1239 0 0 7 1 0 0 22 0 1 0 727102010 26185728 4409 268435456000 4194304 4417452 140735492728288 18446744073709551615 4262069 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3209/statm: 6393 4409 145 55 0 4279 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 25572
[startup+0.301246 s]
/proc/loadavg: 24.74 29.75 30.09 1/413 3209
/proc/meminfo: memFree=255063012/264257624 swapFree=67111528/67111528
[pid=3209] ppid=3207 vsize=46388 CPUtime=0.28 cores=0-31
/proc/3209/stat : 3209 (plingeling) R 3207 3209 3183 0 -1 4202496 9684 1239 0 0 25 3 0 0 23 0 1 0 727102010 47501312 9614 268435456000 4194304 4417452 140735492728288 18446744073709551615 4231477 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3209/statm: 11597 9614 146 55 0 9483 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 46388
[startup+0.701226 s]
/proc/loadavg: 24.74 29.75 30.09 1/413 3209
/proc/meminfo: memFree=255063012/264257624 swapFree=67111528/67111528
[pid=3209] ppid=3207 vsize=59792 CPUtime=0.68 cores=0-31
/proc/3209/stat : 3209 (plingeling) R 3207 3209 3183 0 -1 4202496 13039 1239 0 0 64 4 0 0 25 0 1 0 727102010 61227008 12969 268435456000 4194304 4417452 140735492728288 18446744073709551615 4231454 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3209/statm: 14948 12969 146 55 0 12834 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 59792
[startup+1.50126 s]
/proc/loadavg: 24.74 29.75 30.09 2/414 3215
/proc/meminfo: memFree=254995656/264257624 swapFree=67111528/67111528
[pid=3209] ppid=3207 vsize=136896 CPUtime=1.49 cores=0-31
/proc/3209/stat : 3209 (plingeling) R 3207 3209 3183 0 -1 4202496 32299 1239 0 0 141 8 0 0 25 0 1 0 727102010 140181504 32229 268435456000 4194304 4417452 140735492728288 18446744073709551615 4274426 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3209/statm: 34224 32229 146 55 0 32110 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 136896
[startup+3.10031 s]
/proc/loadavg: 24.74 29.75 30.09 2/414 3215
/proc/meminfo: memFree=254935128/264257624 swapFree=67111528/67111528
[pid=3209] ppid=3207 vsize=255400 CPUtime=3.08 cores=0-31
/proc/3209/stat : 3209 (plingeling) R 3207 3209 3183 0 -1 4202496 61941 1239 0 0 294 14 0 0 25 0 1 0 727102010 261529600 61871 268435456000 4194304 4417452 140735492728288 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3209/statm: 63850 61871 146 55 0 61736 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 255400
[startup+6.30042 s]
/proc/loadavg: 22.84 29.28 29.94 2/414 3215
/proc/meminfo: memFree=254577272/264257624 swapFree=67111528/67111528
[pid=3209] ppid=3207 vsize=494724 CPUtime=6.29 cores=0-31
/proc/3209/stat : 3209 (plingeling) R 3207 3209 3183 0 -1 4202496 121773 1239 0 0 603 26 0 0 25 0 1 0 727102010 506597376 121702 268435456000 4194304 4417452 140735492728288 18446744073709551615 4262041 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3209/statm: 123681 121702 146 55 0 121567 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 494724
[startup+12.7006 s]
/proc/loadavg: 21.09 28.81 29.78 2/414 3215
/proc/meminfo: memFree=254100444/264257624 swapFree=67111528/67111528
[pid=3209] ppid=3207 vsize=972500 CPUtime=12.68 cores=0-31
/proc/3209/stat : 3209 (plingeling) R 3207 3209 3183 0 -1 4202496 241217 1239 0 0 1218 50 0 0 25 0 1 0 727102010 995840000 241146 268435456000 4194304 4417452 140735492728288 18446744073709551615 4262065 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3209/statm: 243125 241146 146 55 0 241011 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 972500
[startup+25.5011 s]
/proc/loadavg: 16.80 27.48 29.33 2/414 3215
/proc/meminfo: memFree=253146524/264257624 swapFree=67111528/67111528
[pid=3209] ppid=3207 vsize=1926632 CPUtime=25.48 cores=0-31
/proc/3209/stat : 3209 (plingeling) R 3207 3209 3183 0 -1 4202496 480016 1239 0 0 2452 96 0 0 25 0 1 0 727102010 1972871168 479679 268435456000 4194304 4417452 140735492728288 18446744073709551615 4264909 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3209/statm: 481658 479679 146 55 0 479544 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1926632
[startup+51.101 s]
/proc/loadavg: 11.41 25.35 28.58 2/414 3217
/proc/meminfo: memFree=251835160/264257624 swapFree=67111528/67111528
[pid=3209] ppid=3207 vsize=3237352 CPUtime=51.08 cores=0-31
/proc/3209/stat : 3209 (plingeling) R 3207 3209 3183 0 -1 4202496 807696 1239 0 0 4947 161 0 0 25 0 1 0 727102010 3315048448 807359 268435456000 4194304 4417452 140735492728288 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3209/statm: 809338 807359 146 55 0 807224 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 3237352
[startup+102.334 s]
/proc/loadavg: 5.63 21.63 27.14 2/414 3217
/proc/meminfo: memFree=248608692/264257624 swapFree=67111528/67111528
[pid=3209] ppid=3207 vsize=6458148 CPUtime=102.3 cores=0-31
/proc/3209/stat : 3209 (plingeling) R 3207 3209 3183 0 -1 4202496 1613151 1239 0 0 9910 320 0 0 25 0 1 0 727102010 6613143552 1612558 268435456000 4194304 4417452 140735492728288 18446744073709551615 4231537 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3209/statm: 1614537 1612558 146 55 0 1612423 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 6458148
[startup+162.302 s]
/proc/loadavg: 9.27 19.33 25.98 19/446 3251
/proc/meminfo: memFree=244782020/264257624 swapFree=67111528/67111528
[pid=3209] ppid=3207 vsize=11114840 CPUtime=564.03 cores=0-31
/proc/3209/stat : 3209 (plingeling) S 3207 3209 3183 0 -1 4202496 3800049 1239 0 0 53429 2974 0 0 19 0 33 0 727102010 11381596160 2518092 268435456000 4194304 4417452 140735492728288 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/3209/statm: 2778710 2518141 172 55 0 2776596 0
[pid=3209/tid=3220] ppid=3207 vsize=11114840 CPUtime=12.53 cores=0-31
/proc/3209/task/3220/stat : 3220 (plingeling) R 3207 3209 3183 0 -1 4202560 71147 1239 0 0 1150 103 0 0 16 0 33 0 727116612 11381596160 2518167 268435456000 4194304 4417452 140735492728288 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=3209/tid=3221] ppid=3207 vsize=11114840 CPUtime=12.15 cores=0-31
/proc/3209/task/3221/stat : 3221 (plingeling) R 3207 3209 3183 0 -1 4202560 68121 1239 0 0 1116 99 0 0 18 0 33 0 727116612 11381596160 2518194 268435456000 4194304 4417452 140735492728288 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=3209/tid=3222] ppid=3207 vsize=11114840 CPUtime=13.92 cores=0-31
/proc/3209/task/3222/stat : 3222 (plingeling) R 3207 3209 3183 0 -1 4202560 52915 1239 0 0 1334 58 0 0 19 0 33 0 727116612 11381596160 2518221 268435456000 4194304 4417452 140735492728288 18446744073709551615 4317061 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=3209/tid=3223] ppid=3207 vsize=11114840 CPUtime=15.69 cores=0-31
/proc/3209/task/3223/stat : 3223 (plingeling) R 3207 3209 3183 0 -1 4202560 14316 1239 0 0 1560 9 0 0 25 0 33 0 727116613 11381596160 2518244 268435456000 4194304 4417452 140735492728288 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=3209/tid=3224] ppid=3207 vsize=11114840 CPUtime=13.84 cores=0-31
/proc/3209/task/3224/stat : 3224 (plingeling) R 3207 3209 3183 0 -1 4202560 66153 1239 0 0 1317 67 0 0 16 0 33 0 727116613 11381596160 2518268 268435456000 4194304 4417452 140735492728288 18446744073709551615 4302078 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=3209/tid=3225] ppid=3207 vsize=11114840 CPUtime=14.08 cores=0-31
/proc/3209/task/3225/stat : 3225 (plingeling) R 3207 3209 3183 0 -1 4202560 72028 1239 0 0 1338 70 0 0 16 0 33 0 727116614 11381596160 2518293 268435456000 4194304 4417452 140735492728288 18446744073709551615 4302058 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=3209/tid=3226] ppid=3207 vsize=11114840 CPUtime=14.14 cores=0-31
/proc/3209/task/3226/stat : 3226 (plingeling) R 3207 3209 3183 0 -1 4202560 68972 1239 0 0 1331 83 0 0 19 0 33 0 727116614 11381596160 2518317 268435456000 4194304 4417452 140735492728288 18446744073709551615 258650649918 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=3209/tid=3227] ppid=3207 vsize=11114840 CPUtime=12.07 cores=0-31
/proc/3209/task/3227/stat : 3227 (plingeling) R 3207 3209 3183 0 -1 4202560 63048 1239 0 0 1112 95 0 0 17 0 33 0 727116614 11381596160 2518342 268435456000 4194304 4417452 140735492728288 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=3209/tid=3228] ppid=3207 vsize=11114840 CPUtime=11.99 cores=0-31
/proc/3209/task/3228/stat : 3228 (plingeling) R 3207 3209 3183 0 -1 4202560 42202 1239 0 0 1142 57 0 0 16 0 33 0 727116614 11381596160 2518367 268435456000 4194304 4417452 140735492728288 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=3209/tid=3229] ppid=3207 vsize=11114840 CPUtime=13.96 cores=0-31
/proc/3209/task/3229/stat : 3229 (plingeling) R 3207 3209 3183 0 -1 4202560 60174 1239 0 0 1314 82 0 0 19 0 33 0 727116614 11381596160 2518392 268435456000 4194304 4417452 140735492728288 18446744073709551615 4260694 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=3209/tid=3230] ppid=3207 vsize=11114840 CPUtime=13.51 cores=0-31
/proc/3209/task/3230/stat : 3230 (plingeling) R 3207 3209 3183 0 -1 4202560 66785 1239 0 0 1279 72 0 0 16 0 33 0 727116615 11381596160 2518417 268435456000 4194304 4417452 140735492728288 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=3209/tid=3231] ppid=3207 vsize=11114840 CPUtime=12.32 cores=0-31
/proc/3209/task/3231/stat : 3231 (plingeling) R 3207 3209 3183 0 -1 4202560 62492 1239 0 0 1131 101 0 0 17 0 33 0 727116615 11381596160 2518443 268435456000 4194304 4417452 140735492728288 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=3209/tid=3232] ppid=3207 vsize=11114840 CPUtime=12.34 cores=0-31
/proc/3209/task/3232/stat : 3232 (plingeling) R 3207 3209 3183 0 -1 4202560 59979 1239 0 0 1138 96 0 0 16 0 33 0 727116615 11381596160 2518470 268435456000 4194304 4417452 140735492728288 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=3209/tid=3233] ppid=3207 vsize=11114840 CPUtime=12.54 cores=0-31
/proc/3209/task/3233/stat : 3233 (plingeling) R 3207 3209 3183 0 -1 4202560 54363 1239 0 0 1166 88 0 0 16 0 33 0 727116615 11381596160 2518496 268435456000 4194304 4417452 140735492728288 18446744073709551615 4261418 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=3209/tid=3234] ppid=3207 vsize=11114840 CPUtime=12.92 cores=0-31
/proc/3209/task/3234/stat : 3234 (plingeling) R 3207 3209 3183 0 -1 4202560 54996 1239 0 0 1232 60 0 0 17 0 33 0 727116616 11381596160 2518518 268435456000 4194304 4417452 140735492728288 18446744073709551615 4234253 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=3209/tid=3235] ppid=3207 vsize=11114840 CPUtime=12.14 cores=0-31
/proc/3209/task/3235/stat : 3235 (plingeling) R 3207 3209 3183 0 -1 4202560 50223 1239 0 0 1148 66 0 0 16 0 33 0 727116616 11381596160 2518546 268435456000 4194304 4417452 140735492728288 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=3209/tid=3236] ppid=3207 vsize=11114840 CPUtime=13.27 cores=0-31
/proc/3209/task/3236/stat : 3236 (plingeling) R 3207 3209 3183 0 -1 4202560 69556 1239 0 0 1231 96 0 0 17 0 33 0 727116616 11381596160 2518567 268435456000 4194304 4417452 140735492728288 18446744073709551615 4255662 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=3209/tid=3237] ppid=3207 vsize=11114840 CPUtime=12.47 cores=0-31
/proc/3209/task/3237/stat : 3237 (plingeling) R 3207 3209 3183 0 -1 4202560 67498 1239 0 0 1139 108 0 0 16 0 33 0 727116616 11381596160 2518593 268435456000 4194304 4417452 140735492728288 18446744073709551615 4261256 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=3209/tid=3238] ppid=3207 vsize=11114840 CPUtime=13.12 cores=0-31
/proc/3209/task/3238/stat : 3238 (plingeling) R 3207 3209 3183 0 -1 4202560 57419 1239 0 0 1261 51 0 0 18 0 33 0 727116616 11381596160 2518624 268435456000 4194304 4417452 140735492728288 18446744073709551615 4317553 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=3209/tid=3239] ppid=3207 vsize=11114840 CPUtime=13.79 cores=0-31
/proc/3209/task/3239/stat : 3239 (plingeling) R 3207 3209 3183 0 -1 4202560 63520 1239 0 0 1318 61 0 0 17 0 33 0 727116617 11381596160 2518650 268435456000 4194304 4417452 140735492728288 18446744073709551615 4265832 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=3209/tid=3240] ppid=3207 vsize=11114840 CPUtime=12.52 cores=0-31
/proc/3209/task/3240/stat : 3240 (plingeling) R 3207 3209 3183 0 -1 4202560 56988 1239 0 0 1141 111 0 0 17 0 33 0 727116620 11381596160 2518676 268435456000 4194304 4417452 140735492728288 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=3209/tid=3241] ppid=3207 vsize=11114840 CPUtime=13.81 cores=0-31
/proc/3209/task/3241/stat : 3241 (plingeling) R 3207 3209 3183 0 -1 4202560 66398 1239 0 0 1269 112 0 0 20 0 33 0 727116623 11381596160 2518706 268435456000 4194304 4417452 140735492728288 18446744073709551615 4260694 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=3209/tid=3242] ppid=3207 vsize=11114840 CPUtime=13.24 cores=0-31
/proc/3209/task/3242/stat : 3242 (plingeling) R 3207 3209 3183 0 -1 4202560 62760 1239 0 0 1237 87 0 0 17 0 33 0 727116623 11381596160 2518725 268435456000 4194304 4417452 140735492728288 18446744073709551615 4268074 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=3209/tid=3243] ppid=3207 vsize=11114840 CPUtime=12.02 cores=0-31
/proc/3209/task/3243/stat : 3243 (plingeling) R 3207 3209 3183 0 -1 4202560 30926 1239 0 0 1162 40 0 0 16 0 33 0 727116624 11381596160 2518750 268435456000 4194304 4417452 140735492728288 18446744073709551615 4261342 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=3209/tid=3244] ppid=3207 vsize=11114840 CPUtime=12.89 cores=0-31
/proc/3209/task/3244/stat : 3244 (plingeling) R 3207 3209 3183 0 -1 4202560 60894 1239 0 0 1173 116 0 0 16 0 33 0 727116624 11381596160 2518770 268435456000 4194304 4417452 140735492728288 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=3209/tid=3245] ppid=3207 vsize=11114840 CPUtime=13.77 cores=0-31
/proc/3209/task/3245/stat : 3245 (plingeling) R 3207 3209 3183 0 -1 4202560 68576 1239 0 0 1278 99 0 0 19 0 33 0 727116624 11381596160 2518795 268435456000 4194304 4417452 140735492728288 18446744073709551615 4259140 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=3209/tid=3246] ppid=3207 vsize=11114840 CPUtime=13.47 cores=0-31
/proc/3209/task/3246/stat : 3246 (plingeling) R 3207 3209 3183 0 -1 4202560 69431 1239 0 0 1257 90 0 0 18 0 33 0 727116625 11381596160 2518822 268435456000 4194304 4417452 140735492728288 18446744073709551615 4261349 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=3209/tid=3247] ppid=3207 vsize=11114840 CPUtime=12.62 cores=0-31
/proc/3209/task/3247/stat : 3247 (plingeling) R 3207 3209 3183 0 -1 4202560 56923 1239 0 0 1178 84 0 0 18 0 33 0 727116626 11381596160 2518846 268435456000 4194304 4417452 140735492728288 18446744073709551615 4255662 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=3209/tid=3248] ppid=3207 vsize=11114840 CPUtime=12.87 cores=0-31
/proc/3209/task/3248/stat : 3248 (plingeling) R 3207 3209 3183 0 -1 4202560 66354 1239 0 0 1232 55 0 0 16 0 33 0 727116628 11381596160 2518866 268435456000 4194304 4417452 140735492728288 18446744073709551615 4270966 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=3209/tid=3249] ppid=3207 vsize=11114840 CPUtime=12.63 cores=0-31
/proc/3209/task/3249/stat : 3249 (plingeling) R 3207 3209 3183 0 -1 4202560 50004 1239 0 0 1176 87 0 0 17 0 33 0 727116629 11381596160 2518891 268435456000 4194304 4417452 140735492728288 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=3209/tid=3250] ppid=3207 vsize=11114840 CPUtime=12.95 cores=0-31
/proc/3209/task/3250/stat : 3250 (plingeling) R 3207 3209 3183 0 -1 4202560 70886 1239 0 0 1218 77 0 0 17 0 33 0 727116629 11381596160 2518914 268435456000 4194304 4417452 140735492728288 18446744073709551615 4234242 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=3209/tid=3251] ppid=3207 vsize=11114840 CPUtime=12.16 cores=0-31
/proc/3209/task/3251/stat : 3251 (plingeling) R 3207 3209 3183 0 -1 4202560 42132 1239 0 0 1126 90 0 0 16 0 33 0 727116637 11381596160 2518937 268435456000 4194304 4417452 140735492728288 18446744073709551615 4261333 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 564.03
Current children cumulated vsize (KiB) 11114840
################
# More data... #
################
/proc/3209/task/3224/stat : 3224 (plingeling) R 3207 3209 3183 0 -1 4202560 199116 1239 0 0 142130 216 0 0 25 0 33 0 727116613 9236090880 2115422 268435456000 4194304 4417452 140735492728288 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=3209/tid=3225] ppid=3207 vsize=9019620 CPUtime=1428.04 cores=0-31
/proc/3209/task/3225/stat : 3225 (plingeling) R 3207 3209 3183 0 -1 4202560 209701 1239 0 0 142610 194 0 0 25 0 33 0 727116614 9236090880 2115422 268435456000 4194304 4417452 140735492728288 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=3209/tid=3226] ppid=3207 vsize=9019620 CPUtime=1425.41 cores=0-31
/proc/3209/task/3226/stat : 3226 (plingeling) R 3207 3209 3183 0 -1 4202560 218310 1239 0 0 142276 265 0 0 25 0 33 0 727116614 9236090880 2115422 268435456000 4194304 4417452 140735492728288 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=3209/tid=3227] ppid=3207 vsize=9019620 CPUtime=1425.23 cores=0-31
/proc/3209/task/3227/stat : 3227 (plingeling) R 3207 3209 3183 0 -1 4202560 246461 1239 0 0 142316 207 0 0 25 0 33 0 727116614 9236090880 2115422 268435456000 4194304 4417452 140735492728288 18446744073709551615 4366491 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=3209/tid=3228] ppid=3207 vsize=9019620 CPUtime=1421.22 cores=0-31
/proc/3209/task/3228/stat : 3228 (plingeling) R 3207 3209 3183 0 -1 4202560 169608 1239 0 0 141984 138 0 0 25 0 33 0 727116614 9236090880 2115422 268435456000 4194304 4417452 140735492728288 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=3209/tid=3229] ppid=3207 vsize=9019620 CPUtime=1425.63 cores=0-31
/proc/3209/task/3229/stat : 3229 (plingeling) R 3207 3209 3183 0 -1 4202560 204869 1239 0 0 142280 283 0 0 25 0 33 0 727116614 9236090880 2115422 268435456000 4194304 4417452 140735492728288 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=3209/tid=3230] ppid=3207 vsize=9019620 CPUtime=1427.51 cores=0-31
/proc/3209/task/3230/stat : 3230 (plingeling) R 3207 3209 3183 0 -1 4202560 182167 1239 0 0 142533 218 0 0 25 0 33 0 727116615 9236090880 2115422 268435456000 4194304 4417452 140735492728288 18446744073709551615 4287643 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=3209/tid=3231] ppid=3207 vsize=9019620 CPUtime=1426.08 cores=0-31
/proc/3209/task/3231/stat : 3231 (plingeling) R 3207 3209 3183 0 -1 4202560 181125 1239 0 0 142421 187 0 0 25 0 33 0 727116615 9236090880 2115422 268435456000 4194304 4417452 140735492728288 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=3209/tid=3232] ppid=3207 vsize=9019620 CPUtime=1422.68 cores=0-31
/proc/3209/task/3232/stat : 3232 (plingeling) R 3207 3209 3183 0 -1 4202560 160977 1239 0 0 142101 167 0 0 25 0 33 0 727116615 9236090880 2115422 268435456000 4194304 4417452 140735492728288 18446744073709551615 4275748 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=3209/tid=3233] ppid=3207 vsize=9019620 CPUtime=1426.79 cores=0-31
/proc/3209/task/3233/stat : 3233 (plingeling) R 3207 3209 3183 0 -1 4202560 197802 1239 0 0 142444 235 0 0 25 0 33 0 727116615 9236090880 2115422 268435456000 4194304 4417452 140735492728288 18446744073709551615 4366548 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=3209/tid=3234] ppid=3207 vsize=9019620 CPUtime=1401.63 cores=0-31
/proc/3209/task/3234/stat : 3234 (plingeling) R 3207 3209 3183 0 -1 4202560 206566 1239 0 0 139949 214 0 0 25 0 33 0 727116616 9236090880 2115422 268435456000 4194304 4417452 140735492728288 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=3209/tid=3235] ppid=3207 vsize=9019620 CPUtime=1425.72 cores=0-31
/proc/3209/task/3235/stat : 3235 (plingeling) R 3207 3209 3183 0 -1 4202560 199958 1239 0 0 142396 176 0 0 25 0 33 0 727116616 9236090880 2115422 268435456000 4194304 4417452 140735492728288 18446744073709551615 4254706 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=3209/tid=3236] ppid=3207 vsize=9019620 CPUtime=1421.17 cores=0-31
/proc/3209/task/3236/stat : 3236 (plingeling) R 3207 3209 3183 0 -1 4202560 209615 1239 0 0 141913 204 0 0 25 0 33 0 727116616 9236090880 2115422 268435456000 4194304 4417452 140735492728288 18446744073709551615 4365579 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=3209/tid=3237] ppid=3207 vsize=9019620 CPUtime=1422.47 cores=0-31
/proc/3209/task/3237/stat : 3237 (plingeling) R 3207 3209 3183 0 -1 4202560 319980 1239 0 0 141967 280 0 0 25 0 33 0 727116616 9236090880 2115422 268435456000 4194304 4417452 140735492728288 18446744073709551615 4232654 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=3209/tid=3238] ppid=3207 vsize=9019620 CPUtime=1421.63 cores=0-31
/proc/3209/task/3238/stat : 3238 (plingeling) R 3207 3209 3183 0 -1 4202560 207707 1239 0 0 141916 247 0 0 25 0 33 0 727116616 9236090880 2115422 268435456000 4194304 4417452 140735492728288 18446744073709551615 4236675 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=3209/tid=3239] ppid=3207 vsize=9019620 CPUtime=1421.74 cores=0-31
/proc/3209/task/3239/stat : 3239 (plingeling) R 3207 3209 3183 0 -1 4202560 197843 1239 0 0 141990 184 0 0 25 0 33 0 727116617 9236090880 2115422 268435456000 4194304 4417452 140735492728288 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=3209/tid=3240] ppid=3207 vsize=9019620 CPUtime=1421.49 cores=0-31
/proc/3209/task/3240/stat : 3240 (plingeling) R 3207 3209 3183 0 -1 4202560 197921 1239 0 0 141919 230 0 0 25 0 33 0 727116620 9236090880 2115422 268435456000 4194304 4417452 140735492728288 18446744073709551615 4365579 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=3209/tid=3241] ppid=3207 vsize=9019620 CPUtime=1416.58 cores=0-31
/proc/3209/task/3241/stat : 3241 (plingeling) R 3207 3209 3183 0 -1 4202560 198876 1239 0 0 141301 357 0 0 25 0 33 0 727116623 9236090880 2115422 268435456000 4194304 4417452 140735492728288 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=3209/tid=3242] ppid=3207 vsize=9019620 CPUtime=1426.37 cores=0-31
/proc/3209/task/3242/stat : 3242 (plingeling) R 3207 3209 3183 0 -1 4202560 205202 1239 0 0 142430 207 0 0 25 0 33 0 727116623 9236090880 2115422 268435456000 4194304 4417452 140735492728288 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=3209/tid=3243] ppid=3207 vsize=9019620 CPUtime=1425.7 cores=0-31
/proc/3209/task/3243/stat : 3243 (plingeling) R 3207 3209 3183 0 -1 4202560 184863 1239 0 0 142372 198 0 0 25 0 33 0 727116624 9236090880 2115422 268435456000 4194304 4417452 140735492728288 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=3209/tid=3244] ppid=3207 vsize=9019620 CPUtime=1422.54 cores=0-31
/proc/3209/task/3244/stat : 3244 (plingeling) R 3207 3209 3183 0 -1 4202560 198514 1239 0 0 141978 276 0 0 25 0 33 0 727116624 9236090880 2115422 268435456000 4194304 4417452 140735492728288 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=3209/tid=3245] ppid=3207 vsize=9019620 CPUtime=1427.5 cores=0-31
/proc/3209/task/3245/stat : 3245 (plingeling) R 3207 3209 3183 0 -1 4202560 205480 1239 0 0 142569 181 0 0 25 0 33 0 727116624 9236090880 2115422 268435456000 4194304 4417452 140735492728288 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=3209/tid=3246] ppid=3207 vsize=9019620 CPUtime=1425.74 cores=0-31
/proc/3209/task/3246/stat : 3246 (plingeling) R 3207 3209 3183 0 -1 4202560 200671 1239 0 0 142318 256 0 0 25 0 33 0 727116625 9236090880 2115422 268435456000 4194304 4417452 140735492728288 18446744073709551615 4277527 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=3209/tid=3247] ppid=3207 vsize=9019620 CPUtime=1426.07 cores=0-31
/proc/3209/task/3247/stat : 3247 (plingeling) R 3207 3209 3183 0 -1 4202560 155955 1239 0 0 142446 161 0 0 25 0 33 0 727116626 9236090880 2115422 268435456000 4194304 4417452 140735492728288 18446744073709551615 4232584 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=3209/tid=3248] ppid=3207 vsize=9019620 CPUtime=1420.14 cores=0-31
/proc/3209/task/3248/stat : 3248 (plingeling) R 3207 3209 3183 0 -1 4202560 195995 1239 0 0 141810 204 0 0 25 0 33 0 727116628 9236090880 2115422 268435456000 4194304 4417452 140735492728288 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=3209/tid=3249] ppid=3207 vsize=9019620 CPUtime=1426.5 cores=0-31
/proc/3209/task/3249/stat : 3249 (plingeling) R 3207 3209 3183 0 -1 4202560 224910 1239 0 0 142427 223 0 0 25 0 33 0 727116629 9236090880 2115422 268435456000 4194304 4417452 140735492728288 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=3209/tid=3250] ppid=3207 vsize=9019620 CPUtime=1426.32 cores=0-31
/proc/3209/task/3250/stat : 3250 (plingeling) R 3207 3209 3183 0 -1 4202560 197388 1239 0 0 142375 257 0 0 25 0 33 0 727116629 9236090880 2115422 268435456000 4194304 4417452 140735492728288 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=3209/tid=3251] ppid=3207 vsize=9019620 CPUtime=1423.43 cores=0-31
/proc/3209/task/3251/stat : 3251 (plingeling) R 3207 3209 3183 0 -1 4202560 158490 1239 0 0 142108 235 0 0 25 0 33 0 727116637 9236090880 2115422 268435456000 4194304 4417452 140735492728288 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 45709.9
Current children cumulated vsize (KiB) 9019620
[startup+1587.1 s]
/proc/loadavg: 32.13 32.03 30.79 33/446 3293
/proc/meminfo: memFree=246606208/264257624 swapFree=67111528/67111528
[pid=3209] ppid=3207 vsize=8998212 CPUtime=45913.8 cores=0-31
/proc/3209/stat : 3209 (plingeling) S 3207 3209 3183 0 -1 4202496 8244449 1239 0 0 4584059 7322 0 0 19 0 33 0 727102010 9214169088 2110070 268435456000 4194304 4417452 140735492728288 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/3209/statm: 2249553 2110070 175 55 0 2247439 0
[pid=3209/tid=3220] ppid=3207 vsize=8998212 CPUtime=1430.99 cores=0-31
/proc/3209/task/3220/stat : 3220 (plingeling) R 3207 3209 3183 0 -1 4202560 193359 1239 0 0 142872 227 0 0 25 0 33 0 727116612 9214169088 2110070 268435456000 4194304 4417452 140735492728288 18446744073709551615 4278727 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=3209/tid=3221] ppid=3207 vsize=8998212 CPUtime=1432.71 cores=0-31
/proc/3209/task/3221/stat : 3221 (plingeling) R 3207 3209 3183 0 -1 4202560 289169 1239 0 0 143034 237 0 0 25 0 33 0 727116612 9214169088 2110070 268435456000 4194304 4417452 140735492728288 18446744073709551615 4364756 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=3209/tid=3222] ppid=3207 vsize=8998212 CPUtime=1433.17 cores=0-31
/proc/3209/task/3222/stat : 3222 (plingeling) R 3207 3209 3183 0 -1 4202560 197765 1239 0 0 143083 234 0 0 25 0 33 0 727116612 9214169088 2110070 268435456000 4194304 4417452 140735492728288 18446744073709551615 4358082 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=3209/tid=3223] ppid=3207 vsize=8998212 CPUtime=1437.41 cores=0-31
/proc/3209/task/3223/stat : 3223 (plingeling) R 3207 3209 3183 0 -1 4202560 15464 1239 0 0 143719 22 0 0 25 0 33 0 727116613 9214169088 2110070 268435456000 4194304 4417452 140735492728288 18446744073709551615 4281949 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=3209/tid=3224] ppid=3207 vsize=8998212 CPUtime=1429.84 cores=0-31
/proc/3209/task/3224/stat : 3224 (plingeling) R 3207 3209 3183 0 -1 4202560 199116 1239 0 0 142768 216 0 0 25 0 33 0 727116613 9214169088 2110070 268435456000 4194304 4417452 140735492728288 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=3209/tid=3225] ppid=3207 vsize=8998212 CPUtime=1434.42 cores=0-31
/proc/3209/task/3225/stat : 3225 (plingeling) R 3207 3209 3183 0 -1 4202560 209701 1239 0 0 143248 194 0 0 25 0 33 0 727116614 9214169088 2110070 268435456000 4194304 4417452 140735492728288 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=3209/tid=3226] ppid=3207 vsize=8998212 CPUtime=1431.79 cores=0-31
/proc/3209/task/3226/stat : 3226 (plingeling) R 3207 3209 3183 0 -1 4202560 218310 1239 0 0 142914 265 0 0 25 0 33 0 727116614 9214169088 2110070 268435456000 4194304 4417452 140735492728288 18446744073709551615 4265465 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=3209/tid=3227] ppid=3207 vsize=8998212 CPUtime=1431.61 cores=0-31
/proc/3209/task/3227/stat : 3227 (plingeling) R 3207 3209 3183 0 -1 4202560 246461 1239 0 0 142954 207 0 0 25 0 33 0 727116614 9214169088 2110070 268435456000 4194304 4417452 140735492728288 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=3209/tid=3228] ppid=3207 vsize=8998212 CPUtime=1427.59 cores=0-31
/proc/3209/task/3228/stat : 3228 (plingeling) R 3207 3209 3183 0 -1 4202560 169608 1239 0 0 142621 138 0 0 25 0 33 0 727116614 9214169088 2110070 268435456000 4194304 4417452 140735492728288 18446744073709551615 4278246 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=3209/tid=3229] ppid=3207 vsize=8998212 CPUtime=1432.01 cores=0-31
/proc/3209/task/3229/stat : 3229 (plingeling) R 3207 3209 3183 0 -1 4202560 204869 1239 0 0 142918 283 0 0 25 0 33 0 727116614 9214169088 2110070 268435456000 4194304 4417452 140735492728288 18446744073709551615 4275748 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=3209/tid=3230] ppid=3207 vsize=8998212 CPUtime=1433.89 cores=0-31
/proc/3209/task/3230/stat : 3230 (plingeling) R 3207 3209 3183 0 -1 4202560 182167 1239 0 0 143171 218 0 0 25 0 33 0 727116615 9214169088 2110070 268435456000 4194304 4417452 140735492728288 18446744073709551615 4260519 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=3209/tid=3231] ppid=3207 vsize=8998212 CPUtime=1432.46 cores=0-31
/proc/3209/task/3231/stat : 3231 (plingeling) R 3207 3209 3183 0 -1 4202560 181125 1239 0 0 143059 187 0 0 25 0 33 0 727116615 9214169088 2110070 268435456000 4194304 4417452 140735492728288 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=3209/tid=3232] ppid=3207 vsize=8998212 CPUtime=1429.06 cores=0-31
/proc/3209/task/3232/stat : 3232 (plingeling) R 3207 3209 3183 0 -1 4202560 160977 1239 0 0 142739 167 0 0 25 0 33 0 727116615 9214169088 2110070 268435456000 4194304 4417452 140735492728288 18446744073709551615 4264413 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=3209/tid=3233] ppid=3207 vsize=8998212 CPUtime=1433.17 cores=0-31
/proc/3209/task/3233/stat : 3233 (plingeling) R 3207 3209 3183 0 -1 4202560 197802 1239 0 0 143082 235 0 0 25 0 33 0 727116615 9214169088 2110070 268435456000 4194304 4417452 140735492728288 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=3209/tid=3234] ppid=3207 vsize=8998212 CPUtime=1408.01 cores=0-31
/proc/3209/task/3234/stat : 3234 (plingeling) R 3207 3209 3183 0 -1 4202560 206566 1239 0 0 140587 214 0 0 25 0 33 0 727116616 9214169088 2110070 268435456000 4194304 4417452 140735492728288 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=3209/tid=3235] ppid=3207 vsize=8998212 CPUtime=1432.1 cores=0-31
/proc/3209/task/3235/stat : 3235 (plingeling) R 3207 3209 3183 0 -1 4202560 199958 1239 0 0 143034 176 0 0 25 0 33 0 727116616 9214169088 2110070 268435456000 4194304 4417452 140735492728288 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=3209/tid=3236] ppid=3207 vsize=8998212 CPUtime=1427.55 cores=0-31
/proc/3209/task/3236/stat : 3236 (plingeling) R 3207 3209 3183 0 -1 4202560 209615 1239 0 0 142551 204 0 0 25 0 33 0 727116616 9214169088 2110070 268435456000 4194304 4417452 140735492728288 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=3209/tid=3237] ppid=3207 vsize=8998212 CPUtime=1428.85 cores=0-31
/proc/3209/task/3237/stat : 3237 (plingeling) R 3207 3209 3183 0 -1 4202560 319980 1239 0 0 142605 280 0 0 25 0 33 0 727116616 9214169088 2110070 268435456000 4194304 4417452 140735492728288 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=3209/tid=3238] ppid=3207 vsize=8998212 CPUtime=1428 cores=0-31
/proc/3209/task/3238/stat : 3238 (plingeling) R 3207 3209 3183 0 -1 4202560 207910 1239 0 0 142553 247 0 0 25 0 33 0 727116616 9214169088 2110070 268435456000 4194304 4417452 140735492728288 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=3209/tid=3239] ppid=3207 vsize=8998212 CPUtime=1428.12 cores=0-31
/proc/3209/task/3239/stat : 3239 (plingeling) R 3207 3209 3183 0 -1 4202560 197843 1239 0 0 142628 184 0 0 25 0 33 0 727116617 9214169088 2110070 268435456000 4194304 4417452 140735492728288 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=3209/tid=3240] ppid=3207 vsize=8998212 CPUtime=1427.87 cores=0-31
/proc/3209/task/3240/stat : 3240 (plingeling) R 3207 3209 3183 0 -1 4202560 197921 1239 0 0 142557 230 0 0 25 0 33 0 727116620 9214169088 2110070 268435456000 4194304 4417452 140735492728288 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=3209/tid=3241] ppid=3207 vsize=8998212 CPUtime=1422.79 cores=0-31
/proc/3209/task/3241/stat : 3241 (plingeling) R 3207 3209 3183 0 -1 4202560 198876 1239 0 0 141922 357 0 0 25 0 33 0 727116623 9214169088 2110070 268435456000 4194304 4417452 140735492728288 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=3209/tid=3242] ppid=3207 vsize=8998212 CPUtime=1432.75 cores=0-31
/proc/3209/task/3242/stat : 3242 (plingeling) R 3207 3209 3183 0 -1 4202560 205202 1239 0 0 143068 207 0 0 25 0 33 0 727116623 9214169088 2110070 268435456000 4194304 4417452 140735492728288 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=3209/tid=3243] ppid=3207 vsize=8998212 CPUtime=1432.07 cores=0-31
/proc/3209/task/3243/stat : 3243 (plingeling) R 3207 3209 3183 0 -1 4202560 184863 1239 0 0 143009 198 0 0 25 0 33 0 727116624 9214169088 2110070 268435456000 4194304 4417452 140735492728288 18446744073709551615 4277534 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=3209/tid=3244] ppid=3207 vsize=8998212 CPUtime=1428.92 cores=0-31
/proc/3209/task/3244/stat : 3244 (plingeling) R 3207 3209 3183 0 -1 4202560 198514 1239 0 0 142616 276 0 0 25 0 33 0 727116624 9214169088 2110070 268435456000 4194304 4417452 140735492728288 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=3209/tid=3245] ppid=3207 vsize=8998212 CPUtime=1433.88 cores=0-31
/proc/3209/task/3245/stat : 3245 (plingeling) R 3207 3209 3183 0 -1 4202560 205480 1239 0 0 143207 181 0 0 25 0 33 0 727116624 9214169088 2110070 268435456000 4194304 4417452 140735492728288 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=3209/tid=3246] ppid=3207 vsize=8998212 CPUtime=1432.12 cores=0-31
/proc/3209/task/3246/stat : 3246 (plingeling) R 3207 3209 3183 0 -1 4202560 200671 1239 0 0 142956 256 0 0 25 0 33 0 727116625 9214169088 2110070 268435456000 4194304 4417452 140735492728288 18446744073709551615 4265480 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=3209/tid=3247] ppid=3207 vsize=8998212 CPUtime=1432.45 cores=0-31
/proc/3209/task/3247/stat : 3247 (plingeling) R 3207 3209 3183 0 -1 4202560 155955 1239 0 0 143084 161 0 0 25 0 33 0 727116626 9214169088 2110070 268435456000 4194304 4417452 140735492728288 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=3209/tid=3248] ppid=3207 vsize=8998212 CPUtime=1426.52 cores=0-31
/proc/3209/task/3248/stat : 3248 (plingeling) R 3207 3209 3183 0 -1 4202560 195995 1239 0 0 142448 204 0 0 25 0 33 0 727116628 9214169088 2110070 268435456000 4194304 4417452 140735492728288 18446744073709551615 4236956 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=3209/tid=3249] ppid=3207 vsize=8998212 CPUtime=1432.88 cores=0-31
/proc/3209/task/3249/stat : 3249 (plingeling) R 3207 3209 3183 0 -1 4202560 225122 1239 0 0 143065 223 0 0 25 0 33 0 727116629 9214169088 2110070 268435456000 4194304 4417452 140735492728288 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=3209/tid=3250] ppid=3207 vsize=8998212 CPUtime=1432.7 cores=0-31
/proc/3209/task/3250/stat : 3250 (plingeling) R 3207 3209 3183 0 -1 4202560 197388 1239 0 0 143013 257 0 0 25 0 33 0 727116629 9214169088 2110070 268435456000 4194304 4417452 140735492728288 18446744073709551615 4236945 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=3209/tid=3251] ppid=3207 vsize=8998212 CPUtime=1429.81 cores=0-31
/proc/3209/task/3251/stat : 3251 (plingeling) R 3207 3209 3183 0 -1 4202560 158490 1239 0 0 142746 235 0 0 25 0 33 0 727116637 9214169088 2110070 268435456000 4194304 4417452 140735492728288 18446744073709551615 4265465 0 0 4096 17442 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 45913.8
Current children cumulated vsize (KiB) 8998212
[startup+1590.3 s]
/proc/loadavg: 32.12 32.03 30.79 6/419 3293
/proc/meminfo: memFree=246680588/264257624 swapFree=67111528/67111528
[pid=3209] ppid=3207 vsize=8862816 CPUtime=45971.3 cores=0-31
/proc/3209/stat : 3209 (plingeling) S 3207 3209 3183 0 -1 4202496 8244450 1239 0 0 4589811 7323 0 0 18 0 2 0 727102010 9075523584 2090931 268435456000 4194304 4417452 140735492728288 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/3209/statm: 2215704 2090931 176 55 0 2213590 0
[pid=3209/tid=3230] ppid=3207 vsize=8862816 CPUtime=1437.08 cores=0-31
/proc/3209/task/3230/stat : 3230 (plingeling) R 3207 3209 3183 0 -1 4202560 182167 1239 0 0 143490 218 0 0 25 0 2 0 727116615 9075523584 2090931 268435456000 4194304 4417452 140735492728288 18446744073709551615 4233457 0 0 4096 17442 0 0 0 -1 28 0 0 0
Current children cumulated CPU time (s) 45971.3
Current children cumulated vsize (KiB) 8862816
[startup+1591.1 s]
/proc/loadavg: 32.12 32.03 30.79 2/415 3293
/proc/meminfo: memFree=246664360/264257624 swapFree=67111528/67111528
[pid=3209] ppid=3207 vsize=8880156 CPUtime=45972.1 cores=0-31
/proc/3209/stat : 3209 (plingeling) S 3207 3209 3183 0 -1 4202496 8248799 1239 0 0 4589891 7324 0 0 18 0 2 0 727102010 9093279744 2095266 268435456000 4194304 4417452 140735492728288 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/3209/statm: 2220039 2095266 176 55 0 2217925 0
[pid=3209/tid=3230] ppid=3207 vsize=8880156 CPUtime=1437.88 cores=0-31
/proc/3209/task/3230/stat : 3230 (plingeling) R 3207 3209 3183 0 -1 4202560 186516 1239 0 0 143570 218 0 0 25 0 2 0 727116615 9093279744 2095266 268435456000 4194304 4417452 140735492728288 18446744073709551615 4270186 0 0 4096 17442 0 0 0 -1 28 0 0 0
Current children cumulated CPU time (s) 45972.1
Current children cumulated vsize (KiB) 8880156
[startup+1591.5 s]
/proc/loadavg: 32.12 32.03 30.79 2/415 3293
/proc/meminfo: memFree=246664360/264257624 swapFree=67111528/67111528
[pid=3209] ppid=3207 vsize=3770772 CPUtime=45972.5 cores=0-31
/proc/3209/stat : 3209 (plingeling) R 3207 3209 3183 0 -1 4202496 8248799 1239 0 0 4589899 7355 0 0 18 0 1 0 727102010 3861270528 856438 268435456000 4194304 4417452 140735492728288 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 20 0 0 0
/proc/3209/statm: 942693 856438 176 55 0 940579 0
Current children cumulated CPU time (s) 45972.5
Current children cumulated vsize (KiB) 3770772
[startup+1591.73 s]
/proc/loadavg: 32.12 32.03 30.79 2/414 3293
/proc/meminfo: memFree=253044648/264257624 swapFree=67111528/67111528
[pid=3209] ppid=3207 vsize=0 CPUtime=45972.8 cores=0-31
/proc/3209/stat : 3209 (plingeling) R 3207 3209 3183 0 -1 4202500 8248803 1239 0 0 4589899 7378 0 0 18 0 1 0 727102010 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 20 0 0 0
/proc/3209/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 45972.8
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 1591.76
CPU time (s): 45972.8
CPU user time (s): 45899
CPU system time (s): 73.8258
CPU usage (%): 2888.17
Max. virtual memory (cumulated for all children) (KiB): 12359036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 45899
system time used= 73.8258
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8250042
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= 8331
involuntary context switches= 116184
runsolver used 8.22575 second user time and 37.1454 second system time
The end
Begin job on node200 at 2011-05-23 15:09:16
IDJOB=3372975
IDBENCH=88159
IDSOLVER=1852
FILE ID=node200/3372975-1306156148
RUNJOBID= node200-1306156148-3197
PBS_JOBID= 13387849
Free space on /tmp= 61856 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT-Race-2010-CNF/hardware-verification/velev/1dlx_c_iq57_a.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372975-1306156148/watcher-3372975-1306156148 -o /tmp/evaluation-result-3372975-1306156148/solver-3372975-1306156148 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372975-1306156148.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 953b9cb99bfd26cff0e1ac65be1241f6
RANDOM SEED=1192631757
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: 255063168 kB
Buffers: 461344 kB
Cached: 8320888 kB
SwapCached: 0 kB
Active: 7872200 kB
Inactive: 979108 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255063168 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 193768 kB
Writeback: 0 kB
AnonPages: 68824 kB
Mapped: 14424 kB
Slab: 258156 kB
PageTables: 4324 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 196604 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= 61856 MiB
End job on node200 at 2011-05-23 15:35:48