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-3372177-1305478595/watcher-3372177-1305478595 -o /tmp/evaluation-result-3372177-1305478595/solver-3372177-1305478595 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372177-1305478595.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: 27.47 29.50 30.83 1/413 12310
/proc/meminfo: memFree=255453832/264257624 swapFree=67111528/67111528
[pid=12310] ppid=12308 vsize=17436 CPUtime=0.02 cores=0-31
/proc/12310/stat : 12310 (plingeling) R 12308 12310 12216 0 -1 4202496 2416 1241 0 0 2 0 0 0 22 0 1 0 659346435 17854464 2347 268435456000 4194304 4417452 140735576550496 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12310/statm: 4359 2347 145 55 0 2245 0
[startup+0.094073 s]
/proc/loadavg: 27.47 29.50 30.83 1/413 12310
/proc/meminfo: memFree=255453832/264257624 swapFree=67111528/67111528
[pid=12310] ppid=12308 vsize=22632 CPUtime=0.08 cores=0-31
/proc/12310/stat : 12310 (plingeling) R 12308 12310 12216 0 -1 4202496 3723 1241 0 0 8 0 0 0 22 0 1 0 659346435 23175168 3654 268435456000 4194304 4417452 140735576550496 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12310/statm: 5658 3654 145 55 0 3544 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 22632
[startup+0.101087 s]
/proc/loadavg: 27.47 29.50 30.83 1/413 12310
/proc/meminfo: memFree=255453832/264257624 swapFree=67111528/67111528
[pid=12310] ppid=12308 vsize=25984 CPUtime=0.08 cores=0-31
/proc/12310/stat : 12310 (plingeling) R 12308 12310 12216 0 -1 4202496 4536 1241 0 0 8 0 0 0 22 0 1 0 659346435 26607616 4467 268435456000 4194304 4417452 140735576550496 18446744073709551615 258650649821 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12310/statm: 6561 4496 146 55 0 4447 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 25984
[startup+0.301087 s]
/proc/loadavg: 27.47 29.50 30.83 1/413 12310
/proc/meminfo: memFree=255453832/264257624 swapFree=67111528/67111528
[pid=12310] ppid=12308 vsize=43372 CPUtime=0.28 cores=0-31
/proc/12310/stat : 12310 (plingeling) R 12308 12310 12216 0 -1 4202496 8917 1241 0 0 27 1 0 0 23 0 1 0 659346435 44412928 8848 268435456000 4194304 4417452 140735576550496 18446744073709551615 4262130 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12310/statm: 10843 8848 146 55 0 8729 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 43372
[startup+0.701139 s]
/proc/loadavg: 27.47 29.50 30.83 1/413 12310
/proc/meminfo: memFree=255453832/264257624 swapFree=67111528/67111528
[pid=12310] ppid=12308 vsize=73956 CPUtime=0.68 cores=0-31
/proc/12310/stat : 12310 (plingeling) R 12308 12310 12216 0 -1 4202496 16563 1241 0 0 65 3 0 0 25 0 1 0 659346435 75730944 16494 268435456000 4194304 4417452 140735576550496 18446744073709551615 4235997 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12310/statm: 18489 16494 146 55 0 16375 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 73956
[startup+1.50112 s]
/proc/loadavg: 25.35 29.03 30.67 2/414 12316
/proc/meminfo: memFree=255378540/264257624 swapFree=67111528/67111528
[pid=12310] ppid=12308 vsize=133828 CPUtime=1.48 cores=0-31
/proc/12310/stat : 12310 (plingeling) R 12308 12310 12216 0 -1 4202496 31531 1241 0 0 142 6 0 0 25 0 1 0 659346435 137039872 31462 268435456000 4194304 4417452 140735576550496 18446744073709551615 4231291 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12310/statm: 33457 31462 146 55 0 31343 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 133828
[startup+3.10122 s]
/proc/loadavg: 25.35 29.03 30.67 2/414 12316
/proc/meminfo: memFree=255310548/264257624 swapFree=67111528/67111528
[pid=12310] ppid=12308 vsize=252604 CPUtime=3.08 cores=0-31
/proc/12310/stat : 12310 (plingeling) R 12308 12310 12216 0 -1 4202496 61241 1241 0 0 295 13 0 0 25 0 1 0 659346435 258666496 61172 268435456000 4194304 4417452 140735576550496 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12310/statm: 63151 61172 146 55 0 61037 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 252604
[startup+6.30032 s]
/proc/loadavg: 23.40 28.56 30.51 2/414 12316
/proc/meminfo: memFree=255043992/264257624 swapFree=67111528/67111528
[pid=12310] ppid=12308 vsize=491404 CPUtime=6.29 cores=0-31
/proc/12310/stat : 12310 (plingeling) R 12308 12310 12216 0 -1 4202496 120941 1241 0 0 603 26 0 0 25 0 1 0 659346435 503197696 120872 268435456000 4194304 4417452 140735576550496 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12310/statm: 122851 120872 146 55 0 120737 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 491404
[startup+12.7005 s]
/proc/loadavg: 21.60 28.10 30.35 2/414 12316
/proc/meminfo: memFree=254642848/264257624 swapFree=67111528/67111528
[pid=12310] ppid=12308 vsize=819084 CPUtime=12.68 cores=0-31
/proc/12310/stat : 12310 (plingeling) R 12308 12310 12216 0 -1 4202496 202861 1241 0 0 1227 41 0 0 25 0 1 0 659346435 838742016 202792 268435456000 4194304 4417452 140735576550496 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12310/statm: 204771 202792 146 55 0 202657 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 819084
[startup+25.501 s]
/proc/loadavg: 17.04 26.77 29.88 2/414 12316
/proc/meminfo: memFree=253837888/264257624 swapFree=67111528/67111528
[pid=12310] ppid=12308 vsize=1624552 CPUtime=25.48 cores=0-31
/proc/12310/stat : 12310 (plingeling) R 12308 12310 12216 0 -1 4202496 404228 1241 0 0 2467 81 0 0 25 0 1 0 659346435 1663541248 404159 268435456000 4194304 4417452 140735576550496 18446744073709551615 4227769 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12310/statm: 406138 404159 146 55 0 404024 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1624552
[startup+51.1009 s]
/proc/loadavg: 11.57 24.70 29.11 2/414 12316
/proc/meminfo: memFree=252225628/264257624 swapFree=67111528/67111528
[pid=12310] ppid=12308 vsize=3234668 CPUtime=51.08 cores=0-31
/proc/12310/stat : 12310 (plingeling) R 12308 12310 12216 0 -1 4202496 806994 1241 0 0 4945 163 0 0 25 0 1 0 659346435 3312300032 806688 268435456000 4194304 4417452 140735576550496 18446744073709551615 4231477 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12310/statm: 808667 806688 146 55 0 806553 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 3234668
[startup+102.322 s]
/proc/loadavg: 11.43 22.33 28.05 19/446 12350
/proc/meminfo: memFree=248058848/264257624 swapFree=67111528/67111528
[pid=12310] ppid=12308 vsize=7672272 CPUtime=460.77 cores=0-31
/proc/12310/stat : 12310 (plingeling) S 12308 12310 12216 0 -1 4202496 2389475 1241 0 0 45293 784 0 0 18 0 33 0 659346435 7856406528 1789119 268435456000 4194304 4417452 140735576550496 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 12 0 0 0
/proc/12310/statm: 1918068 1789151 173 55 0 1915954 0
[pid=12310/tid=12319] ppid=12308 vsize=7672272 CPUtime=11.85 cores=0-31
/proc/12310/task/12319/stat : 12319 (plingeling) R 12308 12310 12216 0 -1 4202560 8920 1241 0 0 1182 3 0 0 25 0 33 0 659355436 7856406528 1789168 268435456000 4194304 4417452 140735576550496 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=12310/tid=12320] ppid=12308 vsize=7672272 CPUtime=11.82 cores=0-31
/proc/12310/task/12320/stat : 12320 (plingeling) R 12308 12310 12216 0 -1 4202560 24459 1241 0 0 1175 7 0 0 25 0 33 0 659355436 7856406528 1789187 268435456000 4194304 4417452 140735576550496 18446744073709551615 4301955 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=12310/tid=12321] ppid=12308 vsize=7672272 CPUtime=11.56 cores=0-31
/proc/12310/task/12321/stat : 12321 (plingeling) R 12308 12310 12216 0 -1 4202560 10044 1241 0 0 1152 4 0 0 24 0 33 0 659355436 7856406528 1789205 268435456000 4194304 4417452 140735576550496 18446744073709551615 4261393 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12310/tid=12322] ppid=12308 vsize=7672272 CPUtime=12.27 cores=0-31
/proc/12310/task/12322/stat : 12322 (plingeling) R 12308 12310 12216 0 -1 4202560 7433 1241 0 0 1225 2 0 0 25 0 33 0 659355436 7856406528 1789223 268435456000 4194304 4417452 140735576550496 18446744073709551615 4281949 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=12310/tid=12323] ppid=12308 vsize=7672272 CPUtime=11.59 cores=0-31
/proc/12310/task/12323/stat : 12323 (plingeling) R 12308 12310 12216 0 -1 4202560 26952 1241 0 0 1141 18 0 0 25 0 33 0 659355437 7856406528 1789240 268435456000 4194304 4417452 140735576550496 18446744073709551615 4259140 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=12310/tid=12324] ppid=12308 vsize=7672272 CPUtime=11.72 cores=0-31
/proc/12310/task/12324/stat : 12324 (plingeling) R 12308 12310 12216 0 -1 4202560 24830 1241 0 0 1163 9 0 0 16 0 33 0 659355437 7856406528 1789258 268435456000 4194304 4417452 140735576550496 18446744073709551615 4275364 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=12310/tid=12325] ppid=12308 vsize=7672272 CPUtime=11.82 cores=0-31
/proc/12310/task/12325/stat : 12325 (plingeling) R 12308 12310 12216 0 -1 4202560 77139 1241 0 0 1162 20 0 0 24 0 33 0 659355437 7856406528 1789276 268435456000 4194304 4417452 140735576550496 18446744073709551615 4269682 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=12310/tid=12326] ppid=12308 vsize=7672272 CPUtime=11.73 cores=0-31
/proc/12310/task/12326/stat : 12326 (plingeling) R 12308 12310 12216 0 -1 4202560 24896 1241 0 0 1163 10 0 0 25 0 33 0 659355438 7856406528 1789293 268435456000 4194304 4417452 140735576550496 18446744073709551615 4275357 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=12310/tid=12327] ppid=12308 vsize=7672272 CPUtime=11.54 cores=0-31
/proc/12310/task/12327/stat : 12327 (plingeling) R 12308 12310 12216 0 -1 4202560 44681 1241 0 0 1100 54 0 0 23 0 33 0 659355438 7856406528 1789310 268435456000 4194304 4417452 140735576550496 18446744073709551615 4269682 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=12310/tid=12328] ppid=12308 vsize=7672272 CPUtime=11.9 cores=0-31
/proc/12310/task/12328/stat : 12328 (plingeling) R 12308 12310 12216 0 -1 4202560 25025 1241 0 0 1183 7 0 0 25 0 33 0 659355438 7856406528 1789327 268435456000 4194304 4417452 140735576550496 18446744073709551615 4302058 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=12310/tid=12329] ppid=12308 vsize=7672272 CPUtime=11.59 cores=0-31
/proc/12310/task/12329/stat : 12329 (plingeling) R 12308 12310 12216 0 -1 4202560 10703 1241 0 0 1154 5 0 0 17 0 33 0 659355439 7856406528 1789343 268435456000 4194304 4417452 140735576550496 18446744073709551615 4261319 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=12310/tid=12330] ppid=12308 vsize=7672272 CPUtime=11.8 cores=0-31
/proc/12310/task/12330/stat : 12330 (plingeling) R 12308 12310 12216 0 -1 4202560 25342 1241 0 0 1154 26 0 0 18 0 33 0 659355439 7856406528 1789362 268435456000 4194304 4417452 140735576550496 18446744073709551615 4274888 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=12310/tid=12331] ppid=12308 vsize=7672272 CPUtime=11.75 cores=0-31
/proc/12310/task/12331/stat : 12331 (plingeling) R 12308 12310 12216 0 -1 4202560 9336 1241 0 0 1170 5 0 0 25 0 33 0 659355439 7856406528 1789378 268435456000 4194304 4417452 140735576550496 18446744073709551615 4269685 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=12310/tid=12332] ppid=12308 vsize=7672272 CPUtime=11.24 cores=0-31
/proc/12310/task/12332/stat : 12332 (plingeling) R 12308 12310 12216 0 -1 4202560 25237 1241 0 0 1092 32 0 0 18 0 33 0 659355440 7856406528 1789396 268435456000 4194304 4417452 140735576550496 18446744073709551615 4255662 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=12310/tid=12333] ppid=12308 vsize=7672272 CPUtime=11.61 cores=0-31
/proc/12310/task/12333/stat : 12333 (plingeling) R 12308 12310 12216 0 -1 4202560 24820 1241 0 0 1151 10 0 0 17 0 33 0 659355440 7856406528 1789412 268435456000 4194304 4417452 140735576550496 18446744073709551615 4260032 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=12310/tid=12334] ppid=12308 vsize=7672272 CPUtime=11.94 cores=0-31
/proc/12310/task/12334/stat : 12334 (plingeling) R 12308 12310 12216 0 -1 4202560 28303 1241 0 0 1186 8 0 0 25 0 33 0 659355440 7856406528 1789428 268435456000 4194304 4417452 140735576550496 18446744073709551615 4301953 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12310/tid=12335] ppid=12308 vsize=7672272 CPUtime=11.44 cores=0-31
/proc/12310/task/12335/stat : 12335 (plingeling) R 12308 12310 12216 0 -1 4202560 32382 1241 0 0 1125 19 0 0 24 0 33 0 659355440 7856406528 1789444 268435456000 4194304 4417452 140735576550496 18446744073709551615 4274781 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=12310/tid=12336] ppid=12308 vsize=7688660 CPUtime=11.51 cores=0-31
/proc/12310/task/12336/stat : 12336 (plingeling) R 12308 12310 12216 0 -1 4202560 31064 1241 0 0 1113 38 0 0 24 0 33 0 659355440 7873187840 1789455 268435456000 4194304 4417452 140735576550496 18446744073709551615 4261313 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=12310/tid=12337] ppid=12308 vsize=7688660 CPUtime=11.54 cores=0-31
/proc/12310/task/12337/stat : 12337 (plingeling) R 12308 12310 12216 0 -1 4202560 27210 1241 0 0 1143 11 0 0 18 0 33 0 659355440 7873187840 1789481 268435456000 4194304 4417452 140735576550496 18446744073709551615 4255662 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=12310/tid=12338] ppid=12308 vsize=7688660 CPUtime=11.86 cores=0-31
/proc/12310/task/12338/stat : 12338 (plingeling) R 12308 12310 12216 0 -1 4202560 28385 1241 0 0 1177 9 0 0 25 0 33 0 659355440 7873187840 1789508 268435456000 4194304 4417452 140735576550496 18446744073709551615 4234178 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12310/tid=12339] ppid=12308 vsize=7688660 CPUtime=11.6 cores=0-31
/proc/12310/task/12339/stat : 12339 (plingeling) R 12308 12310 12216 0 -1 4202560 30671 1241 0 0 1135 25 0 0 17 0 33 0 659355441 7873187840 1789532 268435456000 4194304 4417452 140735576550496 18446744073709551615 4259035 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=12310/tid=12340] ppid=12308 vsize=7688660 CPUtime=11.6 cores=0-31
/proc/12310/task/12340/stat : 12340 (plingeling) R 12308 12310 12216 0 -1 4202560 13401 1241 0 0 1154 6 0 0 23 0 33 0 659355441 7873187840 1789557 268435456000 4194304 4417452 140735576550496 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=12310/tid=12341] ppid=12308 vsize=7688660 CPUtime=10.57 cores=0-31
/proc/12310/task/12341/stat : 12341 (plingeling) R 12308 12310 12216 0 -1 4202560 10378 1241 0 0 1055 2 0 0 16 0 33 0 659355441 7873187840 1789583 268435456000 4194304 4417452 140735576550496 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=12310/tid=12342] ppid=12308 vsize=7688660 CPUtime=11.6 cores=0-31
/proc/12310/task/12342/stat : 12342 (plingeling) R 12308 12310 12216 0 -1 4202560 13436 1241 0 0 1155 5 0 0 23 0 33 0 659355441 7873187840 1789606 268435456000 4194304 4417452 140735576550496 18446744073709551615 4325002 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12310/tid=12343] ppid=12308 vsize=7688660 CPUtime=11.67 cores=0-31
/proc/12310/task/12343/stat : 12343 (plingeling) R 12308 12310 12216 0 -1 4202560 28805 1241 0 0 1131 36 0 0 22 0 33 0 659355441 7873187840 1789629 268435456000 4194304 4417452 140735576550496 18446744073709551615 4274781 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=12310/tid=12344] ppid=12308 vsize=7688660 CPUtime=11.49 cores=0-31
/proc/12310/task/12344/stat : 12344 (plingeling) R 12308 12310 12216 0 -1 4202560 11624 1241 0 0 1143 6 0 0 23 0 33 0 659355441 7873187840 1789654 268435456000 4194304 4417452 140735576550496 18446744073709551615 4259186 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=12310/tid=12345] ppid=12308 vsize=7688660 CPUtime=10.75 cores=0-31
/proc/12310/task/12345/stat : 12345 (plingeling) R 12308 12310 12216 0 -1 4202560 9613 1241 0 0 1072 3 0 0 18 0 33 0 659355441 7873187840 1789678 268435456000 4194304 4417452 140735576550496 18446744073709551615 4236870 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=12310/tid=12346] ppid=12308 vsize=7688660 CPUtime=11.64 cores=0-31
/proc/12310/task/12346/stat : 12346 (plingeling) R 12308 12310 12216 0 -1 4202560 12101 1241 0 0 1159 5 0 0 18 0 33 0 659355441 7873187840 1789701 268435456000 4194304 4417452 140735576550496 18446744073709551615 4234264 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=12310/tid=12347] ppid=12308 vsize=7688660 CPUtime=11.68 cores=0-31
/proc/12310/task/12347/stat : 12347 (plingeling) R 12308 12310 12216 0 -1 4202560 8766 1241 0 0 1164 4 0 0 24 0 33 0 659355442 7873187840 1789726 268435456000 4194304 4417452 140735576550496 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12310/tid=12348] ppid=12308 vsize=7688660 CPUtime=11.21 cores=0-31
/proc/12310/task/12348/stat : 12348 (plingeling) R 12308 12310 12216 0 -1 4202560 24541 1241 0 0 1098 23 0 0 18 0 33 0 659355442 7873187840 1789751 268435456000 4194304 4417452 140735576550496 18446744073709551615 4261313 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12310/tid=12349] ppid=12308 vsize=7688660 CPUtime=11.1 cores=0-31
/proc/12310/task/12349/stat : 12349 (plingeling) R 12308 12310 12216 0 -1 4202560 72115 1241 0 0 1090 20 0 0 23 0 33 0 659355444 7873187840 1789776 268435456000 4194304 4417452 140735576550496 18446744073709551615 4259612 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=12310/tid=12350] ppid=12308 vsize=7688660 CPUtime=11.47 cores=0-31
/proc/12310/task/12350/stat : 12350 (plingeling) R 12308 12310 12216 0 -1 4202560 25027 1241 0 0 1134 13 0 0 18 0 33 0 659355444 7873187840 1789801 268435456000 4194304 4417452 140735576550496 18446744073709551615 4255664 0 0 4096 17442 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 460.77
Current children cumulated vsize (KiB) 7672272
[startup+162.302 s]
/proc/loadavg: 24.48 24.10 28.30 33/446 12352
/proc/meminfo: memFree=248604288/264257624 swapFree=67111528/67111528
[pid=12310] ppid=12308 vsize=7249668 CPUtime=2323.85 cores=0-31
/proc/12310/stat : 12310 (plingeling) S 12308 12310 12216 0 -1 4202496 3198672 1241 0 0 230577 1808 0 0 18 0 33 0 659346435 7423660032 1708826 268435456000 4194304 4417452 140735576550496 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 12 0 0 0
/proc/12310/statm: 1812417 1708826 175 55 0 1810303 0
[pid=12310/tid=12319] ppid=12308 vsize=7249668 CPUtime=70.18 cores=0-31
/proc/12310/task/12319/stat : 12319 (plingeling) R 12308 12310 12216 0 -1 4202560 33455 1241 0 0 6989 29 0 0 25 0 33 0 659355436 7423660032 1708826 268435456000 4194304 4417452 140735576550496 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=12310/tid=12320] ppid=12308 vsize=7249668 CPUtime=69.71 cores=0-31
################
# More data... #
################
/proc/12310/task/12324/stat : 12324 (plingeling) R 12308 12310 12216 0 -1 4202560 204524 1241 0 0 175291 125 0 0 25 0 33 0 659355437 6887002112 1578385 268435456000 4194304 4417452 140735576550496 18446744073709551615 4281949 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=12310/tid=12325] ppid=12308 vsize=6725588 CPUtime=1763.24 cores=0-31
/proc/12310/task/12325/stat : 12325 (plingeling) R 12308 12310 12216 0 -1 4202560 292800 1241 0 0 176131 193 0 0 25 0 33 0 659355437 6887002112 1578385 268435456000 4194304 4417452 140735576550496 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=12310/tid=12326] ppid=12308 vsize=6725588 CPUtime=1762.58 cores=0-31
/proc/12310/task/12326/stat : 12326 (plingeling) R 12308 12310 12216 0 -1 4202560 252251 1241 0 0 176116 142 0 0 25 0 33 0 659355438 6887002112 1578385 268435456000 4194304 4417452 140735576550496 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=12310/tid=12327] ppid=12308 vsize=6725588 CPUtime=1758.53 cores=0-31
/proc/12310/task/12327/stat : 12327 (plingeling) R 12308 12310 12216 0 -1 4202560 254547 1241 0 0 175612 241 0 0 25 0 33 0 659355438 6887002112 1578385 268435456000 4194304 4417452 140735576550496 18446744073709551615 4357554 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12310/tid=12328] ppid=12308 vsize=6725588 CPUtime=1762.56 cores=0-31
/proc/12310/task/12328/stat : 12328 (plingeling) R 12308 12310 12216 0 -1 4202560 237002 1241 0 0 176148 108 0 0 25 0 33 0 659355438 6887002112 1578385 268435456000 4194304 4417452 140735576550496 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=12310/tid=12329] ppid=12308 vsize=6725588 CPUtime=1761.57 cores=0-31
/proc/12310/task/12329/stat : 12329 (plingeling) R 12308 12310 12216 0 -1 4202560 251033 1241 0 0 175994 163 0 0 25 0 33 0 659355439 6887002112 1578385 268435456000 4194304 4417452 140735576550496 18446744073709551615 4232623 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=12310/tid=12330] ppid=12308 vsize=6725588 CPUtime=1757 cores=0-31
/proc/12310/task/12330/stat : 12330 (plingeling) R 12308 12310 12216 0 -1 4202560 230634 1241 0 0 175516 184 0 0 25 0 33 0 659355439 6887002112 1578385 268435456000 4194304 4417452 140735576550496 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=12310/tid=12331] ppid=12308 vsize=6725588 CPUtime=1762.86 cores=0-31
/proc/12310/task/12331/stat : 12331 (plingeling) R 12308 12310 12216 0 -1 4202560 250814 1241 0 0 176072 214 0 0 25 0 33 0 659355439 6887002112 1578385 268435456000 4194304 4417452 140735576550496 18446744073709551615 4278246 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=12310/tid=12332] ppid=12308 vsize=6725588 CPUtime=1761.67 cores=0-31
/proc/12310/task/12332/stat : 12332 (plingeling) R 12308 12310 12216 0 -1 4202560 300764 1241 0 0 175996 171 0 0 25 0 33 0 659355440 6887002112 1578385 268435456000 4194304 4417452 140735576550496 18446744073709551615 4236888 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=12310/tid=12333] ppid=12308 vsize=6725588 CPUtime=1762.83 cores=0-31
/proc/12310/task/12333/stat : 12333 (plingeling) R 12308 12310 12216 0 -1 4202560 213734 1241 0 0 176129 154 0 0 25 0 33 0 659355440 6887002112 1578385 268435456000 4194304 4417452 140735576550496 18446744073709551615 4259140 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=12310/tid=12334] ppid=12308 vsize=6725588 CPUtime=1763.08 cores=0-31
/proc/12310/task/12334/stat : 12334 (plingeling) R 12308 12310 12216 0 -1 4202560 266112 1241 0 0 176098 210 0 0 25 0 33 0 659355440 6887002112 1578385 268435456000 4194304 4417452 140735576550496 18446744073709551615 4265480 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=12310/tid=12335] ppid=12308 vsize=6725588 CPUtime=1762.34 cores=0-31
/proc/12310/task/12335/stat : 12335 (plingeling) R 12308 12310 12216 0 -1 4202560 252282 1241 0 0 176085 149 0 0 25 0 33 0 659355440 6887002112 1578385 268435456000 4194304 4417452 140735576550496 18446744073709551615 4237157 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=12310/tid=12336] ppid=12308 vsize=6725588 CPUtime=1754.56 cores=0-31
/proc/12310/task/12336/stat : 12336 (plingeling) R 12308 12310 12216 0 -1 4202560 207771 1241 0 0 175264 192 0 0 25 0 33 0 659355440 6887002112 1578385 268435456000 4194304 4417452 140735576550496 18446744073709551615 4364780 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=12310/tid=12337] ppid=12308 vsize=6725588 CPUtime=1763.14 cores=0-31
/proc/12310/task/12337/stat : 12337 (plingeling) R 12308 12310 12216 0 -1 4202560 238585 1241 0 0 176153 161 0 0 25 0 33 0 659355440 6887002112 1578385 268435456000 4194304 4417452 140735576550496 18446744073709551615 4232693 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=12310/tid=12338] ppid=12308 vsize=6725588 CPUtime=1762.86 cores=0-31
/proc/12310/task/12338/stat : 12338 (plingeling) R 12308 12310 12216 0 -1 4202560 256783 1241 0 0 176127 159 0 0 25 0 33 0 659355440 6887002112 1578385 268435456000 4194304 4417452 140735576550496 18446744073709551615 4346501 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=12310/tid=12339] ppid=12308 vsize=6725588 CPUtime=1761.58 cores=0-31
/proc/12310/task/12339/stat : 12339 (plingeling) R 12308 12310 12216 0 -1 4202560 244585 1241 0 0 175988 170 0 0 25 0 33 0 659355441 6887002112 1578385 268435456000 4194304 4417452 140735576550496 18446744073709551615 4281949 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=12310/tid=12340] ppid=12308 vsize=6725588 CPUtime=1759 cores=0-31
/proc/12310/task/12340/stat : 12340 (plingeling) R 12308 12310 12216 0 -1 4202560 216703 1241 0 0 175749 151 0 0 25 0 33 0 659355441 6887002112 1578385 268435456000 4194304 4417452 140735576550496 18446744073709551615 4232636 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12310/tid=12341] ppid=12308 vsize=6725588 CPUtime=1761.11 cores=0-31
/proc/12310/task/12341/stat : 12341 (plingeling) R 12308 12310 12216 0 -1 4202560 260260 1241 0 0 175964 147 0 0 25 0 33 0 659355441 6887002112 1578385 268435456000 4194304 4417452 140735576550496 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12310/tid=12342] ppid=12308 vsize=6725588 CPUtime=1761.99 cores=0-31
/proc/12310/task/12342/stat : 12342 (plingeling) R 12308 12310 12216 0 -1 4202560 231004 1241 0 0 176060 139 0 0 25 0 33 0 659355441 6887002112 1578385 268435456000 4194304 4417452 140735576550496 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=12310/tid=12343] ppid=12308 vsize=6725588 CPUtime=1762.59 cores=0-31
/proc/12310/task/12343/stat : 12343 (plingeling) R 12308 12310 12216 0 -1 4202560 252870 1241 0 0 176045 214 0 0 25 0 33 0 659355441 6887002112 1578385 268435456000 4194304 4417452 140735576550496 18446744073709551615 4234231 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=12310/tid=12344] ppid=12308 vsize=6725588 CPUtime=1762.22 cores=0-31
/proc/12310/task/12344/stat : 12344 (plingeling) R 12308 12310 12216 0 -1 4202560 240011 1241 0 0 176095 127 0 0 25 0 33 0 659355441 6887002112 1578385 268435456000 4194304 4417452 140735576550496 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=12310/tid=12345] ppid=12308 vsize=6725588 CPUtime=1758.76 cores=0-31
/proc/12310/task/12345/stat : 12345 (plingeling) R 12308 12310 12216 0 -1 4202560 213910 1241 0 0 175761 115 0 0 25 0 33 0 659355441 6887002112 1578385 268435456000 4194304 4417452 140735576550496 18446744073709551615 4233224 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=12310/tid=12346] ppid=12308 vsize=6725588 CPUtime=1763.67 cores=0-31
/proc/12310/task/12346/stat : 12346 (plingeling) R 12308 12310 12216 0 -1 4202560 237960 1241 0 0 176255 112 0 0 25 0 33 0 659355441 6887002112 1578385 268435456000 4194304 4417452 140735576550496 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=12310/tid=12347] ppid=12308 vsize=6725588 CPUtime=1756.32 cores=0-31
/proc/12310/task/12347/stat : 12347 (plingeling) R 12308 12310 12216 0 -1 4202560 243905 1241 0 0 175446 186 0 0 25 0 33 0 659355442 6887002112 1578385 268435456000 4194304 4417452 140735576550496 18446744073709551615 4277628 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=12310/tid=12348] ppid=12308 vsize=6725588 CPUtime=1761.62 cores=0-31
/proc/12310/task/12348/stat : 12348 (plingeling) R 12308 12310 12216 0 -1 4202560 208402 1241 0 0 176006 156 0 0 25 0 33 0 659355442 6887002112 1578385 268435456000 4194304 4417452 140735576550496 18446744073709551615 4232470 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=12310/tid=12349] ppid=12308 vsize=6725588 CPUtime=1757.7 cores=0-31
/proc/12310/task/12349/stat : 12349 (plingeling) R 12308 12310 12216 0 -1 4202560 282264 1241 0 0 175600 170 0 0 25 0 33 0 659355444 6887002112 1578385 268435456000 4194304 4417452 140735576550496 18446744073709551615 4232695 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=12310/tid=12350] ppid=12308 vsize=6725588 CPUtime=1760.44 cores=0-31
/proc/12310/task/12350/stat : 12350 (plingeling) R 12308 12310 12216 0 -1 4202560 234898 1241 0 0 175892 152 0 0 25 0 33 0 659355444 6887002112 1578385 268435456000 4194304 4417452 140735576550496 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 20 0 0 0
Current children cumulated CPU time (s) 56440.2
Current children cumulated vsize (KiB) 6725588
[startup+1862.32 s]
/proc/loadavg: 32.44 32.13 31.48 34/447 12408
/proc/meminfo: memFree=249110944/264257624 swapFree=67111528/67111528
[pid=12310] ppid=12308 vsize=6713116 CPUtime=56645.1 cores=0-31
/proc/12310/stat : 12310 (plingeling) S 12308 12310 12216 0 -1 4202496 9352277 1241 0 0 5658906 5609 0 0 18 0 33 0 659346435 6874230784 1575236 268435456000 4194304 4417452 140735576550496 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 12 0 0 0
/proc/12310/statm: 1678279 1575236 175 55 0 1676165 0
[pid=12310/tid=12319] ppid=12308 vsize=6713116 CPUtime=1768.73 cores=0-31
/proc/12310/task/12319/stat : 12319 (plingeling) R 12308 12310 12216 0 -1 4202560 219977 1241 0 0 176706 167 0 0 25 0 33 0 659355436 6874230784 1575236 268435456000 4194304 4417452 140735576550496 18446744073709551615 4262651 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=12310/tid=12320] ppid=12308 vsize=6713116 CPUtime=1768.7 cores=0-31
/proc/12310/task/12320/stat : 12320 (plingeling) R 12308 12310 12216 0 -1 4202560 272108 1241 0 0 176728 142 0 0 25 0 33 0 659355436 6874230784 1575236 268435456000 4194304 4417452 140735576550496 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12310/tid=12321] ppid=12308 vsize=6713116 CPUtime=1768.93 cores=0-31
/proc/12310/task/12321/stat : 12321 (plingeling) R 12308 12310 12216 0 -1 4202560 231272 1241 0 0 176739 154 0 0 25 0 33 0 659355436 6874230784 1575236 268435456000 4194304 4417452 140735576550496 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12310/tid=12322] ppid=12308 vsize=6713116 CPUtime=1770.11 cores=0-31
/proc/12310/task/12322/stat : 12322 (plingeling) R 12308 12310 12216 0 -1 4202560 173852 1241 0 0 176794 217 0 0 25 0 33 0 659355436 6874230784 1575236 268435456000 4194304 4417452 140735576550496 18446744073709551615 4364675 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=12310/tid=12323] ppid=12308 vsize=6713116 CPUtime=1765.46 cores=0-31
/proc/12310/task/12323/stat : 12323 (plingeling) R 12308 12310 12216 0 -1 4202560 254135 1241 0 0 176382 164 0 0 25 0 33 0 659355437 6874230784 1575236 268435456000 4194304 4417452 140735576550496 18446744073709551615 4236930 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12310/tid=12324] ppid=12308 vsize=6713116 CPUtime=1760.58 cores=0-31
/proc/12310/task/12324/stat : 12324 (plingeling) R 12308 12310 12216 0 -1 4202560 204524 1241 0 0 175933 125 0 0 25 0 33 0 659355437 6874230784 1575236 268435456000 4194304 4417452 140735576550496 18446744073709551615 4353520 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=12310/tid=12325] ppid=12308 vsize=6713116 CPUtime=1769.66 cores=0-31
/proc/12310/task/12325/stat : 12325 (plingeling) R 12308 12310 12216 0 -1 4202560 292800 1241 0 0 176773 193 0 0 25 0 33 0 659355437 6874230784 1575236 268435456000 4194304 4417452 140735576550496 18446744073709551615 4364583 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=12310/tid=12326] ppid=12308 vsize=6713116 CPUtime=1769 cores=0-31
/proc/12310/task/12326/stat : 12326 (plingeling) R 12308 12310 12216 0 -1 4202560 252251 1241 0 0 176758 142 0 0 25 0 33 0 659355438 6874230784 1575236 268435456000 4194304 4417452 140735576550496 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=12310/tid=12327] ppid=12308 vsize=6713116 CPUtime=1764.95 cores=0-31
/proc/12310/task/12327/stat : 12327 (plingeling) R 12308 12310 12216 0 -1 4202560 254547 1241 0 0 176254 241 0 0 25 0 33 0 659355438 6874230784 1575236 268435456000 4194304 4417452 140735576550496 18446744073709551615 4365036 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12310/tid=12328] ppid=12308 vsize=6713116 CPUtime=1768.97 cores=0-31
/proc/12310/task/12328/stat : 12328 (plingeling) R 12308 12310 12216 0 -1 4202560 237002 1241 0 0 176789 108 0 0 25 0 33 0 659355438 6874230784 1575236 268435456000 4194304 4417452 140735576550496 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=12310/tid=12329] ppid=12308 vsize=6713116 CPUtime=1767.99 cores=0-31
/proc/12310/task/12329/stat : 12329 (plingeling) R 12308 12310 12216 0 -1 4202560 251033 1241 0 0 176636 163 0 0 25 0 33 0 659355439 6874230784 1575236 268435456000 4194304 4417452 140735576550496 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=12310/tid=12330] ppid=12308 vsize=6713116 CPUtime=1763.42 cores=0-31
/proc/12310/task/12330/stat : 12330 (plingeling) R 12308 12310 12216 0 -1 4202560 230634 1241 0 0 176158 184 0 0 25 0 33 0 659355439 6874230784 1575236 268435456000 4194304 4417452 140735576550496 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=12310/tid=12331] ppid=12308 vsize=6713116 CPUtime=1769.28 cores=0-31
/proc/12310/task/12331/stat : 12331 (plingeling) R 12308 12310 12216 0 -1 4202560 250818 1241 0 0 176714 214 0 0 25 0 33 0 659355439 6874230784 1575236 268435456000 4194304 4417452 140735576550496 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=12310/tid=12332] ppid=12308 vsize=6713116 CPUtime=1768.09 cores=0-31
/proc/12310/task/12332/stat : 12332 (plingeling) R 12308 12310 12216 0 -1 4202560 300764 1241 0 0 176638 171 0 0 25 0 33 0 659355440 6874230784 1575236 268435456000 4194304 4417452 140735576550496 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=12310/tid=12333] ppid=12308 vsize=6713116 CPUtime=1769.25 cores=0-31
/proc/12310/task/12333/stat : 12333 (plingeling) R 12308 12310 12216 0 -1 4202560 213734 1241 0 0 176771 154 0 0 25 0 33 0 659355440 6874230784 1575236 268435456000 4194304 4417452 140735576550496 18446744073709551615 4354070 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=12310/tid=12334] ppid=12308 vsize=6713116 CPUtime=1769.5 cores=0-31
/proc/12310/task/12334/stat : 12334 (plingeling) R 12308 12310 12216 0 -1 4202560 266112 1241 0 0 176740 210 0 0 25 0 33 0 659355440 6874230784 1575236 268435456000 4194304 4417452 140735576550496 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=12310/tid=12335] ppid=12308 vsize=6713116 CPUtime=1768.57 cores=0-31
/proc/12310/task/12335/stat : 12335 (plingeling) R 12308 12310 12216 0 -1 4202560 252282 1241 0 0 176708 149 0 0 25 0 33 0 659355440 6874230784 1575236 268435456000 4194304 4417452 140735576550496 18446744073709551615 4275856 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=12310/tid=12336] ppid=12308 vsize=6713116 CPUtime=1760.98 cores=0-31
/proc/12310/task/12336/stat : 12336 (plingeling) R 12308 12310 12216 0 -1 4202560 207771 1241 0 0 175906 192 0 0 25 0 33 0 659355440 6874230784 1575236 268435456000 4194304 4417452 140735576550496 18446744073709551615 4354506 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=12310/tid=12337] ppid=12308 vsize=6713116 CPUtime=1769.56 cores=0-31
/proc/12310/task/12337/stat : 12337 (plingeling) R 12308 12310 12216 0 -1 4202560 238585 1241 0 0 176795 161 0 0 25 0 33 0 659355440 6874230784 1575236 268435456000 4194304 4417452 140735576550496 18446744073709551615 4311812 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=12310/tid=12338] ppid=12308 vsize=6713116 CPUtime=1769.29 cores=0-31
/proc/12310/task/12338/stat : 12338 (plingeling) R 12308 12310 12216 0 -1 4202560 264975 1241 0 0 176747 182 0 0 25 0 33 0 659355440 6874230784 1575236 268435456000 4194304 4417452 140735576550496 18446744073709551615 4254821 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=12310/tid=12339] ppid=12308 vsize=6713116 CPUtime=1767.99 cores=0-31
/proc/12310/task/12339/stat : 12339 (plingeling) R 12308 12310 12216 0 -1 4202560 244585 1241 0 0 176629 170 0 0 25 0 33 0 659355441 6874230784 1575236 268435456000 4194304 4417452 140735576550496 18446744073709551615 4281957 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=12310/tid=12340] ppid=12308 vsize=6713116 CPUtime=1765.42 cores=0-31
/proc/12310/task/12340/stat : 12340 (plingeling) R 12308 12310 12216 0 -1 4202560 216703 1241 0 0 176391 151 0 0 25 0 33 0 659355441 6874230784 1575236 268435456000 4194304 4417452 140735576550496 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12310/tid=12341] ppid=12308 vsize=6713116 CPUtime=1767.53 cores=0-31
/proc/12310/task/12341/stat : 12341 (plingeling) R 12308 12310 12216 0 -1 4202560 260260 1241 0 0 176606 147 0 0 25 0 33 0 659355441 6874230784 1575236 268435456000 4194304 4417452 140735576550496 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12310/tid=12342] ppid=12308 vsize=6713116 CPUtime=1768.41 cores=0-31
/proc/12310/task/12342/stat : 12342 (plingeling) R 12308 12310 12216 0 -1 4202560 231004 1241 0 0 176702 139 0 0 25 0 33 0 659355441 6874230784 1575236 268435456000 4194304 4417452 140735576550496 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=12310/tid=12343] ppid=12308 vsize=6713116 CPUtime=1769.02 cores=0-31
/proc/12310/task/12343/stat : 12343 (plingeling) R 12308 12310 12216 0 -1 4202560 252870 1241 0 0 176687 215 0 0 25 0 33 0 659355441 6874230784 1575236 268435456000 4194304 4417452 140735576550496 18446744073709551615 4275960 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=12310/tid=12344] ppid=12308 vsize=6713116 CPUtime=1768.64 cores=0-31
/proc/12310/task/12344/stat : 12344 (plingeling) R 12308 12310 12216 0 -1 4202560 240011 1241 0 0 176737 127 0 0 25 0 33 0 659355441 6874230784 1575236 268435456000 4194304 4417452 140735576550496 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=12310/tid=12345] ppid=12308 vsize=6713116 CPUtime=1765.17 cores=0-31
/proc/12310/task/12345/stat : 12345 (plingeling) R 12308 12310 12216 0 -1 4202560 213910 1241 0 0 176402 115 0 0 25 0 33 0 659355441 6874230784 1575236 268435456000 4194304 4417452 140735576550496 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=12310/tid=12346] ppid=12308 vsize=6713116 CPUtime=1770.09 cores=0-31
/proc/12310/task/12346/stat : 12346 (plingeling) R 12308 12310 12216 0 -1 4202560 237960 1241 0 0 176897 112 0 0 25 0 33 0 659355441 6874230784 1575236 268435456000 4194304 4417452 140735576550496 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=12310/tid=12347] ppid=12308 vsize=6713116 CPUtime=1762.55 cores=0-31
/proc/12310/task/12347/stat : 12347 (plingeling) R 12308 12310 12216 0 -1 4202560 248003 1241 0 0 176068 187 0 0 25 0 33 0 659355442 6874230784 1575236 268435456000 4194304 4417452 140735576550496 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=12310/tid=12348] ppid=12308 vsize=6713116 CPUtime=1768.02 cores=0-31
/proc/12310/task/12348/stat : 12348 (plingeling) R 12308 12310 12216 0 -1 4202560 208402 1241 0 0 176646 156 0 0 25 0 33 0 659355442 6874230784 1575236 268435456000 4194304 4417452 140735576550496 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=12310/tid=12349] ppid=12308 vsize=6713116 CPUtime=1764.12 cores=0-31
/proc/12310/task/12349/stat : 12349 (plingeling) R 12308 12310 12216 0 -1 4202560 282264 1241 0 0 176242 170 0 0 25 0 33 0 659355444 6874230784 1575236 268435456000 4194304 4417452 140735576550496 18446744073709551615 4264940 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=12310/tid=12350] ppid=12308 vsize=6713116 CPUtime=1766.86 cores=0-31
/proc/12310/task/12350/stat : 12350 (plingeling) R 12308 12310 12216 0 -1 4202560 234898 1241 0 0 176534 152 0 0 25 0 33 0 659355444 6874230784 1575236 268435456000 4194304 4417452 140735576550496 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 20 0 0 0
Current children cumulated CPU time (s) 56645.1
Current children cumulated vsize (KiB) 6713116
[startup+1863.9 s]
/proc/loadavg: 32.44 32.13 31.48 10/423 12408
/proc/meminfo: memFree=249107168/264257624 swapFree=67111528/67111528
[pid=12310] ppid=12308 vsize=6675956 CPUtime=56677.3 cores=0-31
/proc/12310/stat : 12310 (plingeling) S 12308 12310 12216 0 -1 4202496 9356411 1241 0 0 5662119 5611 0 0 18 0 3 0 659346435 6836178944 1565916 268435456000 4194304 4417452 140735576550496 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 12 0 0 0
/proc/12310/statm: 1668989 1565916 176 55 0 1666875 0
[pid=12310/tid=12322] ppid=12308 vsize=6675956 CPUtime=1771.69 cores=0-31
/proc/12310/task/12322/stat : 12322 (plingeling) R 12308 12310 12216 0 -1 4202560 173852 1241 0 0 176951 218 0 0 25 0 3 0 659355436 6836178944 1565916 268435456000 4194304 4417452 140735576550496 18446744073709551615 4343423 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=12310/tid=12338] ppid=12308 vsize=6675956 CPUtime=1770.87 cores=0-31
/proc/12310/task/12338/stat : 12338 (plingeling) R 12308 12310 12216 0 -1 4202560 264975 1241 0 0 176905 182 0 0 25 0 3 0 659355440 6836178944 1565916 268435456000 4194304 4417452 140735576550496 18446744073709551615 4253440 0 0 4096 17442 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 56677.3
Current children cumulated vsize (KiB) 6675956
[startup+1864.7 s]
/proc/loadavg: 32.44 32.13 31.48 2/415 12408
/proc/meminfo: memFree=249304600/264257624 swapFree=67111528/67111528
[pid=12310] ppid=12308 vsize=6391472 CPUtime=56678.3 cores=0-31
/proc/12310/stat : 12310 (plingeling) S 12308 12310 12216 0 -1 4202496 9359051 1241 0 0 5662220 5612 0 0 18 0 2 0 659346435 6544867328 1535649 268435456000 4194304 4417452 140735576550496 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 12 0 0 0
/proc/12310/statm: 1597868 1535649 176 55 0 1595754 0
[pid=12310/tid=12338] ppid=12308 vsize=6391472 CPUtime=1771.66 cores=0-31
/proc/12310/task/12338/stat : 12338 (plingeling) R 12308 12310 12216 0 -1 4202560 267615 1241 0 0 176984 182 0 0 25 0 2 0 659355440 6544867328 1535649 268435456000 4194304 4417452 140735576550496 18446744073709551615 258650614760 0 0 4096 17442 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 56678.3
Current children cumulated vsize (KiB) 6391472
[startup+1865.1 s]
/proc/loadavg: 32.44 32.13 31.48 2/415 12408
/proc/meminfo: memFree=249304600/264257624 swapFree=67111528/67111528
[pid=12310] ppid=12308 vsize=2874132 CPUtime=56678.7 cores=0-31
/proc/12310/stat : 12310 (plingeling) R 12308 12310 12216 0 -1 4202496 9359051 1241 0 0 5662225 5647 0 0 16 0 1 0 659346435 2943111168 685715 268435456000 4194304 4417452 140735576550496 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 12 0 0 0
/proc/12310/statm: 718533 685715 176 55 0 716419 0
Current children cumulated CPU time (s) 56678.7
Current children cumulated vsize (KiB) 2874132
[startup+1865.3 s]
/proc/loadavg: 32.44 32.13 31.48 2/415 12408
/proc/meminfo: memFree=249304600/264257624 swapFree=67111528/67111528
[pid=12310] ppid=12308 vsize=0 CPUtime=56678.9 cores=0-31
/proc/12310/stat : 12310 (plingeling) R 12308 12310 12216 0 -1 4202500 9359055 1241 0 0 5662225 5667 0 0 16 0 1 0 659346435 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 12 0 0 0
/proc/12310/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 56678.9
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 1865.38
CPU time (s): 56679
CPU user time (s): 56622.3
CPU system time (s): 56.7624
CPU usage (%): 3038.47
Max. virtual memory (cumulated for all children) (KiB): 7951048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 56622.3
system time used= 56.7624
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9360296
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= 6217
involuntary context switches= 142939
runsolver used 9.94349 second user time and 43.2044 second system time
The end
Begin job on node200 at 2011-05-15 18:56:40
IDJOB=3372177
IDBENCH=20580
IDSOLVER=1852
FILE ID=node200/3372177-1305478595
RUNJOBID= node200-1305478502-12230
PBS_JOBID= 13285518
Free space on /tmp= 61924 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq7.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372177-1305478595/watcher-3372177-1305478595 -o /tmp/evaluation-result-3372177-1305478595/solver-3372177-1305478595 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372177-1305478595.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 0fbc00fde383cec371bb97d621c5e7e5
RANDOM SEED=1234539107
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: 255453988 kB
Buffers: 440512 kB
Cached: 7963600 kB
SwapCached: 0 kB
Active: 7513156 kB
Inactive: 959820 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255453988 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 132024 kB
Writeback: 0 kB
AnonPages: 68848 kB
Mapped: 14536 kB
Slab: 252064 kB
PageTables: 4436 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 162864 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= 61920 MiB
End job on node200 at 2011-05-15 19:27:46